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.98/8.04 c | 0 | 822458 2306194 | -- 0 -- -- | -- | -102366/26047
7.98/8.05 c ==============================================================================
7.98/8.05 c Result : #vars: 120834 #clauses: 822458 #literals: 2306194
7.98/8.05 c CPU time: 7.77582 s
7.98/8.05 c ==============================================================================
8.78/8.85 c This is MiniSat 2.0 beta
8.78/8.85 c WARNING: for repeatability, setting FPU to use double precision
8.78/8.85 c ============================[ Problem Statistics ]=============================
8.78/8.85 c | |
8.78/8.86 c | Number of variables: 120834 |
8.78/8.86 c | Number of clauses: 822458 |
8.84/9.41 c | Parsing time: 0.49 s |
8.84/9.43 c ============================[ Search Statistics ]==============================
8.84/9.43 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.84/9.43 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.84/9.43 c ===============================================================================
8.84/9.43 c | 0 | 120834 822458 2306194 | 274152 0 nan | 0.000 % |
8.84/9.58 c | 102 | 120824 822458 2306194 | 274152 101 71 | 0.114 % |
9.77/9.80 c | 202 | 120799 822458 2306194 | 274152 200 56 | 0.650 % |
10.06/10.15 c | 302 | 120564 822458 2306194 | 274152 295 49 | 4.516 % |
10.36/10.48 c | 413 | 120036 822458 2306194 | 274152 406 52 | 4.516 % |
10.76/10.84 c | 513 | 119987 822458 2306194 | 274152 502 50 | 5.565 % |
11.07/11.11 c | 624 | 114060 776971 2191245 | 274152 604 44 | 6.660 % |
11.47/11.50 c | 745 | 113881 776971 2191245 | 274152 723 44 | 6.842 % |
11.57/11.64 c | 847 | 113881 776971 2191245 | 274152 825 45 | 6.842 % |
11.87/11.90 c | 957 | 113872 776971 2191245 | 274152 932 44 | 6.872 % |
12.07/12.13 c | 1078 | 113833 776971 2191245 | 274152 1050 42 | 7.461 % |
12.27/12.30 c | 1221 | 113830 776971 2191245 | 274152 1193 44 | 7.461 % |
12.47/12.50 c | 1321 | 111708 761776 2153170 | 274152 1273 45 | 7.847 % |
12.47/12.55 c | 1434 | 111670 761776 2153170 | 274152 1385 45 | 8.842 % |
12.66/12.73 c | 1555 | 111446 761776 2153170 | 274152 1499 43 | 10.120 % |
12.87/12.90 c | 1689 | 111137 761776 2153170 | 274152 1633 43 | 10.120 % |
12.97/13.08 c | 1835 | 111007 761776 2153170 | 274152 1776 43 | 12.413 % |
13.18/13.22 c | 1936 | 110977 761776 2153170 | 274152 1877 42 | 12.413 % |
13.27/13.38 c | 2046 | 110918 761776 2153170 | 274152 1985 44 | 12.762 % |
13.47/13.53 c | 2167 | 110917 761776 2153170 | 274152 2106 46 | 12.762 % |
13.97/14.00 c | 2300 | 105273 715915 2035247 | 274152 2220 46 | 12.904 % |
14.37/14.43 c | 2446 | 105118 715915 2035247 | 274152 2361 45 | 14.188 % |
14.57/14.68 c | 2606 | 105116 715915 2035247 | 274152 2520 45 | 14.268 % |
14.87/14.92 c | 2707 | 105036 715915 2035247 | 274152 2621 44 | 14.268 % |
14.97/15.05 c | 2817 | 105004 715915 2035247 | 274152 2729 45 | 14.401 % |
15.17/15.25 c | 2938 | 105004 715915 2035247 | 274152 2850 45 | 14.401 % |
15.47/15.56 c | 3071 | 103399 703110 2002798 | 274152 2974 46 | 14.557 % |
15.87/15.94 c | 3217 | 103163 703110 2002798 | 274152 3113 45 | 15.775 % |
16.17/16.23 c | 3379 | 103141 703110 2002798 | 274152 3274 46 | 15.784 % |
16.57/16.66 c | 3555 | 102947 703110 2002798 | 274152 3449 45 | 15.811 % |
16.67/16.76 c | 3656 | 102947 703110 2002798 | 274152 3550 45 | 15.811 % |
16.87/16.94 c | 3766 | 101728 692132 1975553 | 274152 3641 45 | 15.812 % |
17.27/17.30 c | 3892 | 101727 692132 1975553 | 274152 3766 45 | 15.835 % |
17.47/17.53 c | 4025 | 101727 692132 1975553 | 274152 3899 45 | 15.835 % |
17.67/17.70 c | 4171 | 101682 692132 1975553 | 274152 4044 45 | 16.763 % |
17.87/17.93 c | 4332 | 101671 692132 1975553 | 274152 4203 45 | 16.916 % |
18.17/18.24 c | 4509 | 100241 682680 1951724 | 274152 4372 46 | 17.714 % |
18.47/18.56 c | 4702 | 100198 682680 1951724 | 274152 4564 45 | 17.781 % |
18.57/18.70 c | 4802 | 100160 682680 1951724 | 274152 4664 45 | 17.781 % |
18.77/18.85 c | 4914 | 100159 682680 1951724 | 274152 4775 45 | 17.790 % |
18.87/18.99 c | 5035 | 100159 682680 1951724 | 274152 4896 47 | 17.790 % |
19.07/19.15 c | 5169 | 100158 682680 1951724 | 274152 5029 47 | 17.798 % |
19.27/19.38 c | 5315 | 100149 682680 1951724 | 274152 5174 47 | 17.839 % |
19.87/19.93 c | 5475 | 99237 675708 1933633 | 274152 5327 47 | 18.038 % |
20.17/20.20 c | 5654 | 99236 675708 1933633 | 274152 5505 47 | 18.310 % |
20.37/20.45 c | 5847 | 99233 675708 1933633 | 274152 5696 48 | 18.331 % |
20.67/20.77 c | 6059 | 99203 675708 1933633 | 274152 5905 48 | 18.500 % |
20.87/20.91 c | 6159 | 99203 675708 1933633 | 274152 6005 49 | 18.500 % |
21.17/21.21 c | 6269 | 94294 641020 1843412 | 274152 6082 48 | 21.964 % |
21.37/21.45 c | 6392 | 94287 641020 1843412 | 274152 6204 49 | 21.984 % |
21.57/21.63 c | 6525 | 94287 641020 1843412 | 274152 6337 49 | 21.984 % |
21.87/21.99 c | 6672 | 94285 641020 1843412 | 274152 6483 49 | 22.024 % |
22.16/22.24 c | 6837 | 94285 641020 1843412 | 274152 6648 50 | 22.024 % |
22.36/22.48 c | 7013 | 94285 641020 1843412 | 274152 6824 50 | 22.024 % |
23.07/23.12 c | 7207 | 94196 640501 1842163 | 274152 7003 50 | 22.077 % |
23.16/23.23 c | 7420 | 94196 640501 1842163 | 274152 7216 50 | 22.077 % |
23.56/23.66 c | 7654 | 94162 640501 1842163 | 274152 7448 50 | 22.167 % |
23.66/23.72 c | 7755 | 94162 640501 1842163 | 274152 7549 50 | 22.167 % |
23.86/23.95 c | 7867 | 94162 640501 1842163 | 274152 7660 50 | 22.243 % |
23.96/24.07 c | 7990 | 94120 640501 1842163 | 274152 7783 50 | 22.243 % |
24.17/24.22 c | 8123 | 93894 638969 1838446 | 274152 7904 50 | 22.402 % |
24.56/24.60 c | 8270 | 93869 638969 1838446 | 274152 8049 50 | 23.833 % |
24.86/24.99 c | 8432 | 93868 638969 1838446 | 274152 8210 50 | 23.835 % |
25.06/25.18 c | 8608 | 93868 638969 1838446 | 274152 8386 51 | 23.835 % |
25.27/25.38 c | 8801 | 93867 638969 1838446 | 274152 8578 51 | 23.918 % |
25.86/25.96 c | 9016 | 90661 612992 1769665 | 274152 8706 51 | 25.065 % |
26.16/26.21 c | 9249 | 90661 612992 1769665 | 274152 8939 51 | 25.065 % |
26.66/26.73 c | 9505 | 90658 612992 1769665 | 274152 9192 51 | 25.079 % |
26.76/26.81 c | 9607 | 90658 612992 1769665 | 274152 9293 52 | 25.090 % |
26.86/26.91 c | 9717 | 90655 612992 1769665 | 274152 9400 52 | 25.764 % |
26.96/27.04 c | 9840 | 90655 612992 1769665 | 274152 9523 53 | 25.764 % |
27.06/27.15 c | 9975 | 90654 612992 1769665 | 274152 9657 53 | 25.772 % |
27.26/27.33 c | 10122 | 89677 605386 1749404 | 2147483647 9771 53 | 25.802 % |
27.66/27.74 c | 10286 | 89677 605386 1749404 | 2147483647 9935 54 | 25.802 % |
27.76/27.87 c | 10462 | 89675 605386 1749404 | 2147483647 10110 54 | 25.821 % |
27.96/28.02 c | 10656 | 89675 605386 1749404 | 2147483647 10304 56 | 25.821 % |
28.16/28.26 c | 10868 | 89675 605386 1749404 | 2147483647 10516 57 | 25.821 % |
28.66/28.76 c | 11101 | 89665 605386 1749404 | 2147483647 10746 57 | 25.874 % |
29.36/29.49 c | 11357 | 89557 604261 1746468 | 2147483647 10983 57 | 26.085 % |
29.76/29.84 c | 11638 | 89530 604261 1746468 | 2147483647 11261 58 | 26.474 % |
30.06/30.14 c | 11741 | 89485 604261 1746468 | 2147483647 11364 59 | 26.474 % |
30.26/30.36 c | 11851 | 89485 604261 1746468 | 2147483647 11474 60 | 26.474 % |
30.46/30.52 c | 11972 | 89485 604261 1746468 | 2147483647 11595 60 | 26.474 % |
30.56/30.69 c | 12108 | 88844 597919 1729545 | 2147483647 11717 60 | 26.561 % |
31.05/31.10 c | 12256 | 88844 597919 1729545 | 2147483647 11865 61 | 26.561 % |
31.25/31.37 c | 12418 | 88844 597919 1729545 | 2147483647 12027 61 | 26.561 % |
31.86/31.91 c | 12594 | 88749 597919 1729545 | 2147483647 12197 60 | 27.227 % |
32.25/32.30 c | 12790 | 88658 597919 1729545 | 2147483647 12389 60 | 27.310 % |
32.55/32.67 c | 13002 | 87834 591667 1714023 | 2147483647 12552 62 | 27.310 % |
33.05/33.18 c | 13235 | 87834 591667 1714023 | 2147483647 12785 62 | 27.310 % |
33.76/33.80 c | 13493 | 87833 591667 1714023 | 2147483647 13042 63 | 27.318 % |
34.06/34.15 c | 13775 | 87821 591667 1714023 | 2147483647 13323 64 | 27.395 % |
34.46/34.58 c | 14085 | 87821 591667 1714023 | 2147483647 13633 66 | 27.395 % |
34.76/34.86 c | 14186 | 87699 591205 1713035 | 2147483647 13731 66 | 27.634 % |
35.06/35.10 c | 14296 | 87699 591205 1713035 | 2147483647 13841 66 | 27.634 % |
35.26/35.37 c | 14417 | 87699 591205 1713035 | 2147483647 13962 66 | 27.634 % |
35.46/35.50 c | 14550 | 87699 591205 1713035 | 2147483647 14095 66 | 27.634 % |
35.76/35.86 c | 14697 | 87699 591205 1713035 | 2147483647 14242 66 | 27.634 % |
36.36/36.48 c | 14857 | 87697 591205 1713035 | 2147483647 14400 67 | 27.644 % |
36.56/36.68 c | 15033 | 87693 591205 1713035 | 2147483647 14575 67 | 27.654 % |
37.26/37.32 c | 15232 | 87415 588675 1706190 | 2147483647 14770 68 | 27.665 % |
37.46/37.56 c | 15445 | 87376 588675 1706190 | 2147483647 14982 68 | 27.804 % |
37.66/37.73 c | 15678 | 87376 588675 1706190 | 2147483647 15215 67 | 27.804 % |
38.05/38.10 c | 15934 | 87322 588675 1706190 | 2147483647 15470 67 | 28.118 % |
38.46/38.56 c | 16216 | 87321 588675 1706190 | 2147483647 15751 67 | 28.126 % |
39.05/39.12 c | 16525 | 87319 588675 1706190 | 2147483647 16060 68 | 28.126 % |
39.85/39.92 c | 16864 | 86844 584350 1694769 | 2147483647 16383 69 | 28.135 % |
39.95/40.04 c | 16964 | 86844 584350 1694769 | 2147483647 16483 69 | 28.135 % |
40.05/40.18 c | 17074 | 86842 584350 1694769 | 2147483647 16591 69 | 28.153 % |
40.35/40.47 c | 17196 | 86842 584350 1694769 | 2147483647 16713 69 | 28.153 % |
40.65/40.74 c | 17329 | 86842 584350 1694769 | 2147483647 16846 69 | 28.153 % |
41.34/41.44 c | 17476 | 86841 584350 1694769 | 2147483647 16992 69 | 28.197 % |
41.54/41.67 c | 17636 | 86763 583858 1693564 | 2147483647 17146 69 | 28.197 % |
42.04/42.12 c | 17812 | 86763 583858 1693564 | 2147483647 17322 70 | 28.197 % |
42.34/42.45 c | 18005 | 86759 583858 1693564 | 2147483647 17513 70 | 28.209 % |
43.04/43.19 c | 18218 | 86759 583858 1693564 | 2147483647 17726 71 | 28.209 % |
43.64/43.78 c | 18451 | 86756 583858 1693564 | 2147483647 17957 71 | 28.227 % |
44.44/44.56 c | 18707 | 86726 583559 1692759 | 2147483647 18209 72 | 28.227 % |
45.24/45.33 c | 18990 | 86709 583559 1692759 | 2147483647 18489 73 | 28.322 % |
45.94/46.00 c | 19300 | 86706 583559 1692759 | 2147483647 18797 74 | 28.344 % |
46.64/46.72 c | 19639 | 86706 583559 1692759 | 2147483647 19136 74 | 28.344 % |
47.54/47.66 c | 20021 | 86583 582684 1690546 | 2147483647 19514 75 | 28.360 % |
47.84/47.91 c | 20126 | 86583 582684 1690546 | 2147483647 19619 75 | 28.360 % |
48.04/48.16 c | 20238 | 86583 582684 1690546 | 2147483647 19731 75 | 28.360 % |
48.14/48.25 c | 20366 | 86583 582684 1690546 | 2147483647 19859 75 | 28.360 % |
48.34/48.42 c | 20501 | 86583 582684 1690546 | 2147483647 19994 75 | 28.360 % |
48.44/48.60 c | 20648 | 86583 582684 1690546 | 2147483647 20141 75 | 28.360 % |
48.74/48.81 c | 20808 | 86583 582684 1690546 | 2147483647 20301 75 | 28.360 % |
48.84/48.98 c | 20985 | 86580 582684 1690546 | 2147483647 20477 74 | 28.388 % |
49.03/49.15 c | 21179 | 86532 582383 1689800 | 2147483647 20670 74 | 28.388 % |
49.33/49.48 c | 21391 | 86532 582383 1689800 | 2147483647 20882 74 | 28.388 % |
49.74/49.82 c | 21624 | 86532 582383 1689800 | 2147483647 21115 74 | 28.388 % |
49.94/50.01 c | 21881 | 86532 582383 1689800 | 2147483647 21372 74 | 28.388 % |
50.14/50.28 c | 22162 | 86532 582383 1689800 | 2147483647 21653 74 | 28.388 % |
50.54/50.67 c | 22472 | 86532 582383 1689800 | 2147483647 21963 74 | 28.388 % |
51.34/51.40 c | 22813 | 86531 582383 1689800 | 2147483647 22303 74 | 28.389 % |
52.04/52.12 c | 23186 | 86448 582066 1689166 | 2147483647 22672 75 | 28.480 % |
52.94/53.02 c | 23596 | 86444 582066 1689166 | 2147483647 23080 74 | 28.499 % |
53.14/53.27 c | 23698 | 86432 582066 1689166 | 2147483647 23180 74 | 28.624 % |
53.34/53.43 c | 23811 | 86430 582066 1689166 | 2147483647 23292 74 | 28.633 % |
53.74/53.86 c | 23933 | 86429 582066 1689166 | 2147483647 23413 75 | 28.634 % |
54.04/54.15 c | 24066 | 86428 582066 1689166 | 2147483647 23545 75 | 28.635 % |
54.44/54.56 c | 24214 | 86232 580687 1685880 | 2147483647 23609 75 | 28.641 % |
55.03/55.12 c | 24374 | 86230 580687 1685880 | 2147483647 23764 76 | 29.097 % |
55.53/55.62 c | 24550 | 86226 580687 1685880 | 2147483647 23940 76 | 29.097 % |
55.83/55.95 c | 24743 | 86226 580687 1685880 | 2147483647 24133 76 | 29.097 % |
56.63/56.75 c | 24955 | 86201 580687 1685880 | 2147483647 24344 77 | 29.376 % |
57.33/57.41 c | 25188 | 86197 580687 1685880 | 2147483647 24576 77 | 29.387 % |
57.93/58.06 c | 25444 | 85324 573137 1665465 | 2147483647 24818 78 | 29.396 % |
58.33/58.43 c | 25725 | 85324 573137 1665465 | 2147483647 25099 78 | 29.396 % |
59.03/59.14 c | 26034 | 85322 573137 1665465 | 2147483647 25407 78 | 29.447 % |
59.73/59.82 c | 26376 | 85320 573137 1665465 | 2147483647 25748 79 | 29.483 % |
60.63/60.70 c | 26748 | 85203 572588 1664280 | 2147483647 26112 80 | 29.488 % |
61.43/61.53 c | 27157 | 85203 572588 1664280 | 2147483647 26521 80 | 29.488 % |
62.13/62.23 c | 27606 | 85203 572588 1664280 | 2147483647 26970 81 | 29.488 % |
62.43/62.55 c | 27706 | 85196 572588 1664280 | 2147483647 27067 81 | 29.516 % |
62.53/62.70 c | 27816 | 85196 572588 1664280 | 2147483647 27177 81 | 29.516 % |
62.93/63.09 c | 27940 | 85188 572588 1664280 | 2147483647 27297 81 | 29.551 % |
63.23/63.30 c | 28076 | 85182 572588 1664280 | 2147483647 27432 81 | 29.734 % |
63.53/63.67 c | 28224 | 85182 572588 1664280 | 2147483647 27580 81 | 29.734 % |
63.93/64.06 c | 28384 | 84833 567518 1650140 | 2147483647 27220 81 | 29.818 % |
64.43/64.55 c | 28561 | 84831 567518 1650140 | 2147483647 27396 81 | 29.828 % |
65.03/65.18 c | 28754 | 84830 567518 1650140 | 2147483647 27588 81 | 29.838 % |
65.83/65.99 c | 28966 | 84829 567518 1650140 | 2147483647 27799 82 | 29.838 % |
66.22/66.30 c | 29200 | 84829 567518 1650140 | 2147483647 28033 82 | 29.838 % |
67.32/67.49 c | 29456 | 84829 567518 1650140 | 2147483647 28289 84 | 29.838 % |
68.22/68.37 c | 29737 | 84776 566751 1648193 | 2147483647 28561 85 | 29.849 % |
68.82/68.95 c | 30047 | 84773 566751 1648193 | 2147483647 28870 85 | 29.858 % |
69.82/69.95 c | 30386 | 84772 566751 1648193 | 2147483647 29208 86 | 29.859 % |
70.72/70.84 c | 30758 | 84771 566751 1648193 | 2147483647 29579 87 | 29.867 % |
72.22/72.36 c | 31171 | 84743 566445 1647365 | 2147483647 29984 90 | 29.868 % |
72.92/73.03 c | 31621 | 84742 566445 1647365 | 2147483647 30432 91 | 29.879 % |
74.63/74.79 c | 32118 | 84738 566445 1647365 | 2147483647 30929 93 | 29.879 % |
74.92/75.01 c | 32221 | 84736 566445 1647365 | 2147483647 31028 94 | 29.903 % |
75.02/75.17 c | 32335 | 84733 566445 1647365 | 2147483647 31142 94 | 29.903 % |
75.32/75.48 c | 32456 | 84733 566445 1647365 | 2147483647 31263 94 | 29.903 % |
75.62/75.77 c | 32590 | 84733 566445 1647365 | 2147483647 31397 94 | 29.903 % |
76.02/76.15 c | 32736 | 84733 566445 1647365 | 2147483647 31543 94 | 29.903 % |
76.62/76.77 c | 32898 | 84701 566075 1646469 | 2147483647 31670 95 | 29.913 % |
77.02/77.15 c | 33079 | 84699 566075 1646469 | 2147483647 31849 95 | 29.922 % |
77.32/77.43 c | 33275 | 84699 566075 1646469 | 2147483647 32045 95 | 29.922 % |
78.32/78.42 c | 33487 | 84699 566075 1646469 | 2147483647 32257 95 | 29.922 % |
78.82/78.93 c | 33725 | 84697 566075 1646469 | 2147483647 32493 96 | 29.933 % |
79.92/80.01 c | 33981 | 84697 566075 1646469 | 2147483647 32749 97 | 29.933 % |
80.92/81.06 c | 34264 | 84665 565716 1645531 | 2147483647 33009 98 | 29.933 % |
82.01/82.13 c | 34575 | 84663 565716 1645531 | 2147483647 33318 99 | 29.942 % |
83.11/83.29 c | 34914 | 84661 565716 1645531 | 2147483647 33656 100 | 29.952 % |
84.41/84.59 c | 35290 | 84661 565716 1645531 | 2147483647 34031 103 | 29.959 % |
85.82/85.94 c | 35699 | 84630 565440 1644781 | 2147483647 34433 105 | 29.968 % |
87.22/87.30 c | 36148 | 84629 565440 1644781 | 2147483647 34881 107 | 29.969 % |
88.71/88.88 c | 36641 | 84629 565440 1644781 | 2147483647 35374 107 | 29.969 % |
90.02/90.16 c | 37183 | 84625 565440 1644781 | 2147483647 35915 111 | 29.977 % |
90.41/90.57 c | 37284 | 84611 565258 1644360 | 2147483647 35988 111 | 29.984 % |
90.61/90.79 c | 37395 | 84609 565258 1644360 | 2147483647 36098 111 | 30.002 % |
91.01/91.19 c | 37522 | 84606 565258 1644360 | 2147483647 36223 111 | 30.020 % |
91.31/91.49 c | 37655 | 84605 565258 1644360 | 2147483647 36354 111 | 30.022 % |
91.71/91.83 c | 37803 | 84604 565258 1644360 | 2147483647 36502 112 | 30.022 % |
92.51/92.66 c | 37965 | 84603 565258 1644360 | 2147483647 36663 112 | 30.023 % |
92.91/93.07 c | 38141 | 84603 565258 1644360 | 2147483647 36839 113 | 30.023 % |
93.91/94.02 c | 38338 | 84603 565258 1644360 | 2147483647 37035 114 | 30.032 % |
94.60/94.71 c | 38551 | 84601 565258 1644360 | 2147483647 37247 115 | 30.041 % |
95.00/95.12 c | 38784 | 84601 565258 1644360 | 2147483647 37479 115 | 30.044 % |
95.80/95.92 c | 39042 | 84531 564634 1642696 | 2147483647 37720 116 | 30.044 % |
96.60/96.79 c | 39327 | 84531 564634 1642696 | 2147483647 38005 118 | 30.044 % |
97.10/97.24 c | 39637 | 84531 564634 1642696 | 2147483647 38315 118 | 30.044 % |
97.50/97.67 c | 39976 | 84530 564634 1642696 | 2147483647 38652 117 | 30.254 % |
98.10/98.23 c | 40349 | 84529 564634 1642696 | 2147483647 39025 117 | 30.254 % |
99.50/99.62 c | 40759 | 84525 564634 1642696 | 2147483647 39431 118 | 30.261 % |
100.60/100.80 c | 41211 | 84525 564634 1642696 | 2147483647 39883 119 | 30.261 % |
102.30/102.43 c | 41704 | 84269 562612 1637216 | 2147483647 40374 120 | 30.261 % |
104.20/104.38 c | 42246 | 84267 562612 1637216 | 2147483647 40914 120 | 30.275 % |
106.40/106.58 c | 42842 | 84215 562239 1636193 | 2147483647 41478 120 | 30.316 % |
106.60/106.76 c | 42942 | 84215 562239 1636193 | 2147483647 41578 121 | 30.316 % |
106.90/107.03 c | 43052 | 84215 562239 1636193 | 2147483647 41688 121 | 30.316 % |
107.20/107.35 c | 43174 | 84215 562239 1636193 | 2147483647 41810 121 | 30.316 % |
107.70/107.81 c | 43312 | 84213 562239 1636193 | 2147483647 41947 121 | 30.346 % |
108.19/108.31 c | 43458 | 84207 562239 1636193 | 2147483647 42090 121 | 30.365 % |
108.89/109.08 c | 43621 | 84207 562239 1636193 | 2147483647 42253 121 | 30.365 % |
109.69/109.89 c | 43797 | 84207 562239 1636193 | 2147483647 42428 122 | 30.366 % |
110.30/110.43 c | 43990 | 84206 562239 1636193 | 2147483647 42621 122 | 30.366 % |
111.10/111.29 c | 44202 | 84206 562239 1636193 | 2147483647 42833 123 | 30.366 % |
112.00/112.17 c | 44439 | 84139 561593 1634458 | 2147483647 43046 123 | 30.368 % |
112.90/113.00 c | 44696 | 84138 561593 1634458 | 2147483647 43302 124 | 30.374 % |
114.20/114.38 c | 44977 | 84138 561593 1634458 | 2147483647 43583 125 | 30.374 % |
115.19/115.34 c | 45288 | 84138 561593 1634458 | 2147483647 43894 126 | 30.374 % |
116.19/116.31 c | 45627 | 84135 561593 1634458 | 2147483647 44230 127 | 30.383 % |
117.60/117.79 c | 45999 | 84133 561593 1634458 | 2147483647 44599 128 | 30.408 % |
118.89/119.04 c | 46410 | 84080 561073 1633057 | 2147483647 44998 128 | 30.417 % |
119.39/119.59 c | 46860 | 84079 561073 1633057 | 2147483647 45447 128 | 30.423 % |
121.69/121.88 c | 47353 | 84077 561073 1633057 | 2147483647 45938 130 | 30.432 % |
123.60/123.77 c | 47896 | 84053 561073 1633057 | 2147483647 46479 131 | 30.515 % |
125.60/125.75 c | 48495 | 83868 559888 1630190 | 2147483647 47022 133 | 30.595 % |
128.19/128.30 c | 49155 | 83863 559888 1630190 | 2147483647 47679 134 | 30.612 % |
128.60/128.79 c | 49255 | 83863 559888 1630190 | 2147483647 47779 135 | 30.612 % |
128.79/129.00 c | 49365 | 83863 559888 1630190 | 2147483647 47889 135 | 30.612 % |
129.09/129.20 c | 49486 | 83863 559888 1630190 | 2147483647 48010 135 | 30.612 % |
129.59/129.74 c | 49619 | 83863 559888 1630190 | 2147483647 48143 135 | 30.612 % |
130.19/130.35 c | 49765 | 83843 559888 1630190 | 2147483647 48286 135 | 30.704 % |
130.59/130.78 c | 49925 | 83837 559888 1630190 | 2147483647 48443 135 | 30.720 % |
131.09/131.22 c | 50103 | 83837 559888 1630190 | 2147483647 48621 136 | 30.720 % |
131.89/132.05 c | 50296 | 83837 559888 1630190 | 2147483647 48814 136 | 30.720 % |
132.39/132.51 c | 50510 | 83837 559888 1630190 | 2147483647 49028 136 | 30.720 % |
132.80/132.92 c | 50743 | 83837 559888 1630190 | 2147483647 49261 137 | 30.720 % |
133.50/133.68 c | 51000 | 83714 558970 1628024 | 2147483647 49495 137 | 30.720 % |
134.99/135.17 c | 51282 | 83714 558970 1628024 | 2147483647 49777 137 | 30.720 % |
135.49/135.64 c | 51592 | 83713 558970 1628024 | 2147483647 50086 138 | 30.726 % |
137.09/137.26 c | 51932 | 83711 558970 1628024 | 2147483647 50426 139 | 30.726 % |
138.59/138.73 c | 52304 | 83709 558970 1628024 | 2147483647 50797 140 | 30.747 % |
139.88/140.01 c | 52715 | 83708 558970 1628024 | 2147483647 51207 140 | 30.748 % |
141.68/141.83 c | 53164 | 83669 558580 1626963 | 2147483647 51631 141 | 30.757 % |
143.58/143.70 c | 53657 | 83668 558580 1626963 | 2147483647 52123 143 | 30.776 % |
144.58/144.78 c | 54199 | 83659 558580 1626963 | 2147483647 52661 143 | 30.880 % |
145.48/145.68 c | 54796 | 83640 558580 1626963 | 2147483647 53251 143 | 31.048 % |
147.69/147.85 c | 55451 | 83545 558580 1626963 | 2147483647 53906 144 | 31.048 % |
150.58/150.72 c | 56171 | 83288 555333 1618710 | 2147483647 54362 146 | 31.072 % |
151.08/151.25 c | 56272 | 83287 555333 1618710 | 2147483647 54462 146 | 31.082 % |
151.38/151.57 c | 56382 | 83287 555333 1618710 | 2147483647 54572 147 | 31.081 % |
151.78/151.91 c | 56506 | 83287 555333 1618710 | 2147483647 54695 147 | 31.082 % |
152.38/152.57 c | 56640 | 83287 555333 1618710 | 2147483647 54829 147 | 31.082 % |
153.08/153.22 c | 56786 | 83287 555333 1618710 | 2147483647 54975 147 | 31.082 % |
153.68/153.84 c | 56947 | 83286 555333 1618710 | 2147483647 55134 148 | 31.091 % |
153.98/154.11 c | 57123 | 83286 555333 1618710 | 2147483647 55310 148 | 31.091 % |
154.28/154.48 c | 57316 | 83286 555333 1618710 | 2147483647 55503 148 | 31.091 % |
155.38/155.57 c | 57537 | 83286 555333 1618710 | 2147483647 55724 148 | 31.091 % |
156.58/156.70 c | 57770 | 83284 555333 1618710 | 2147483647 55955 149 | 31.093 % |
156.98/157.15 c | 58026 | 83284 555333 1618710 | 2147483647 56211 150 | 31.093 % |
158.18/158.34 c | 58307 | 83283 555333 1618710 | 2147483647 56491 151 | 31.101 % |
159.28/159.44 c | 58616 | 83280 555333 1618710 | 2147483647 56798 151 | 31.110 % |
160.68/160.82 c | 58955 | 83243 554942 1617658 | 2147483647 57116 152 | 31.110 % |
161.58/161.75 c | 59331 | 83242 554942 1617658 | 2147483647 57491 153 | 31.110 % |
163.27/163.41 c | 59742 | 83236 554942 1617658 | 2147483647 57898 154 | 31.140 % |
164.68/164.86 c | 60191 | 83235 554942 1617658 | 2147483647 58346 154 | 31.141 % |
165.89/166.06 c | 60689 | 83234 554942 1617658 | 2147483647 58843 154 | 31.142 % |
167.68/167.88 c | 61232 | 83231 554942 1617658 | 2147483647 59384 155 | 31.152 % |
169.68/169.86 c | 61828 | 83227 554942 1617658 | 2147483647 59977 155 | 31.175 % |
173.07/173.30 c | 62483 | 83163 554251 1615791 | 2147483647 60609 158 | 31.176 % |
174.68/174.85 c | 63203 | 83163 554251 1615791 | 2147483647 61329 159 | 31.176 % |
176.88/177.09 c | 63996 | 83159 554251 1615791 | 2147483647 62118 159 | 31.218 % |
177.08/177.20 c | 64096 | 83159 554251 1615791 | 2147483647 62218 159 | 31.218 % |
177.58/177.71 c | 64207 | 83159 554251 1615791 | 2147483647 62329 159 | 31.218 % |
178.18/178.35 c | 64329 | 83158 554251 1615791 | 2147483647 62450 159 | 31.227 % |
178.88/179.03 c | 64463 | 83158 554251 1615791 | 2147483647 62583 159 | 31.236 % |
179.78/179.92 c | 64610 | 83158 554251 1615791 | 2147483647 62730 160 | 31.236 % |
179.98/180.15 c | 64770 | 83158 554251 1615791 | 2147483647 62890 159 | 31.236 % |
180.67/180.83 c | 64949 | 83158 554251 1615791 | 2147483647 63069 160 | 31.236 % |
181.47/181.69 c | 65143 | 83089 553648 1614238 | 2147483647 63226 160 | 31.245 % |
181.87/182.09 c | 65355 | 83089 553648 1614238 | 2147483647 63438 160 | 31.245 % |
183.17/183.38 c | 65594 | 83089 553648 1614238 | 2147483647 63677 161 | 31.245 % |
184.07/184.23 c | 65851 | 83089 553648 1614238 | 2147483647 63934 161 | 31.245 % |
185.36/185.56 c | 66132 | 83089 553648 1614238 | 2147483647 64215 161 | 31.245 % |
186.66/186.83 c | 66441 | 83089 553648 1614238 | 2147483647 64524 162 | 31.245 % |
187.87/188.04 c | 66780 | 83089 553648 1614238 | 2147483647 64863 163 | 31.245 % |
189.07/189.26 c | 67152 | 83086 553648 1614238 | 2147483647 65234 163 | 31.254 % |
190.47/190.63 c | 67562 | 83086 553648 1614238 | 2147483647 65644 163 | 31.254 % |
192.07/192.22 c | 68013 | 83085 553648 1614238 | 2147483647 66094 164 | 31.255 % |
193.06/193.28 c | 68507 | 83085 553648 1614238 | 2147483647 66588 165 | 31.255 % |
195.16/195.31 c | 69051 | 83085 553648 1614238 | 2147483647 67132 166 | 31.255 % |
197.27/197.49 c | 69649 | 83065 553454 1613724 | 2147483647 67721 167 | 31.264 % |
199.47/199.67 c | 70304 | 83065 553454 1613724 | 2147483647 68376 167 | 31.264 % |
202.17/202.30 c | 71024 | 83064 553454 1613724 | 2147483647 69094 167 | 31.408 % |
205.26/205.46 c | 71816 | 83064 553454 1613724 | 2147483647 69885 170 | 31.410 % |
208.87/209.04 c | 72689 | 82876 552460 1611449 | 2147483647 70645 171 | 31.413 % |
209.46/209.68 c | 72790 | 82875 552460 1611449 | 2147483647 70745 171 | 31.422 % |
210.06/210.26 c | 72900 | 82875 552460 1611449 | 2147483647 70855 170 | 31.422 % |
210.76/210.94 c | 73025 | 82875 552460 1611449 | 2147483647 70980 170 | 31.422 % |
211.46/211.67 c | 73161 | 82871 552460 1611449 | 2147483647 71115 170 | 31.435 % |
212.26/212.45 c | 73310 | 82870 552460 1611449 | 2147483647 71264 171 | 31.435 % |
212.86/213.07 c | 73471 | 82869 552460 1611449 | 2147483647 71424 171 | 31.436 % |
213.36/213.53 c | 73650 | 82869 552460 1611449 | 2147483647 71603 171 | 31.436 % |
214.46/214.67 c | 73843 | 82859 552460 1611449 | 2147483647 71794 171 | 31.482 % |
215.46/215.63 c | 74056 | 82857 552460 1611449 | 2147483647 72006 172 | 31.485 % |
216.16/216.35 c | 74292 | 82853 552460 1611449 | 2147483647 72238 172 | 31.488 % |
216.76/216.99 c | 74548 | 82852 552460 1611449 | 2147483647 72492 171 | 31.505 % |
217.56/217.70 c | 74829 | 82852 552460 1611449 | 2147483647 72773 172 | 31.505 % |
218.85/219.09 c | 75138 | 82852 552460 1611449 | 2147483647 73082 172 | 31.505 % |
220.36/220.54 c | 75479 | 82851 552460 1611449 | 2147483647 73421 172 | 31.510 % |
222.06/222.29 c | 75862 | 82851 552460 1611449 | 2147483647 73804 173 | 31.510 % |
223.36/223.55 c | 76273 | 82759 551518 1608863 | 2147483647 74173 173 | 31.510 % |
224.56/224.71 c | 76723 | 82759 551518 1608863 | 2147483647 74623 173 | 31.510 % |
226.75/226.94 c | 77216 | 82759 551518 1608863 | 2147483647 75116 174 | 31.510 % |
229.55/229.73 c | 77759 | 82758 551518 1608863 | 2147483647 75658 175 | 31.511 % |
232.45/232.64 c | 78355 | 82757 551518 1608863 | 2147483647 76253 175 | 31.512 % |
235.75/235.93 c | 79010 | 82757 551518 1608863 | 2147483647 76907 176 | 31.514 % |
238.45/238.64 c | 79731 | 82756 551518 1608863 | 2147483647 77627 178 | 31.523 % |
242.24/242.40 c | 80524 | 82737 551387 1608527 | 2147483647 78416 179 | 31.528 % |
246.75/246.95 c | 81395 | 82736 551387 1608527 | 2147483647 79283 180 | 31.666 % |
250.94/251.16 c | 82353 | 82736 551387 1608527 | 2147483647 80240 182 | 31.699 % |
251.54/251.78 c | 82453 | 82736 551387 1608527 | 2147483647 80339 182 | 31.707 % |
251.94/252.19 c | 82566 | 82734 551387 1608527 | 2147483647 80451 182 | 31.708 % |
252.55/252.76 c | 82689 | 82704 551387 1608527 | 2147483647 80572 182 | 31.911 % |
253.15/253.32 c | 82825 | 82703 551387 1608527 | 2147483647 80707 182 | 31.912 % |
254.05/254.28 c | 82973 | 82703 551387 1608527 | 2147483647 80855 182 | 31.912 % |
254.45/254.68 c | 83133 | 82703 551387 1608527 | 2147483647 81015 182 | 31.912 % |
255.25/255.43 c | 83309 | 82702 551387 1608527 | 2147483647 81190 182 | 31.912 % |
255.85/256.04 c | 83507 | 82273 548162 1600106 | 2147483647 81316 183 | 31.912 % |
256.85/257.02 c | 83720 | 82273 548162 1600106 | 2147483647 81529 183 | 31.912 % |
258.35/258.52 c | 83953 | 82273 548162 1600106 | 2147483647 81762 184 | 31.912 % |
259.74/259.92 c | 84209 | 82272 548162 1600106 | 2147483647 82017 184 | 31.913 % |
261.14/261.36 c | 84491 | 82272 548162 1600106 | 2147483647 82299 185 | 31.913 % |
262.14/262.33 c | 84800 | 82272 548162 1600106 | 2147483647 82608 185 | 31.913 % |
263.44/263.62 c | 85140 | 82271 548162 1600106 | 2147483647 82947 185 | 31.914 % |
265.55/265.78 c | 85515 | 82270 548162 1600106 | 2147483647 83321 186 | 31.921 % |
266.84/267.01 c | 85926 | 82269 548162 1600106 | 2147483647 83731 186 | 31.930 % |
269.44/269.64 c | 86376 | 82268 548162 1600106 | 2147483647 84180 187 | 31.932 % |
271.54/271.74 c | 86869 | 82262 548162 1600106 | 2147483647 84671 186 | 32.038 % |
273.53/273.74 c | 87411 | 82106 547200 1597658 | 2147483647 85173 187 | 32.051 % |
276.33/276.50 c | 88007 | 82105 547200 1597658 | 2147483647 85768 187 | 32.051 % |
279.02/279.25 c | 88662 | 82100 547200 1597658 | 2147483647 86418 187 | 32.138 % |
282.53/282.73 c | 89383 | 82100 547200 1597658 | 2147483647 87139 189 | 32.138 % |
286.93/287.18 c | 90176 | 82100 547200 1597658 | 2147483647 87931 191 | 32.161 % |
289.03/289.28 c | 91047 | 82097 547200 1597658 | 2147483647 88799 191 | 32.170 % |
290.53/290.71 c | 92010 | 82097 547200 1597658 | 2147483647 89762 190 | 32.170 % |
293.33/293.60 c | 93063 | 81949 546226 1595256 | 2147483647 90773 190 | 32.181 % |
293.63/293.81 c | 93164 | 81949 546226 1595256 | 2147483647 90874 190 | 32.181 % |
294.03/294.28 c | 93275 | 81949 546226 1595256 | 2147483647 90985 190 | 32.181 % |
294.53/294.72 c | 93396 | 81949 546226 1595256 | 2147483647 91105 190 | 32.187 % |
295.13/295.36 c | 93530 | 81949 546226 1595256 | 2147483647 91239 190 | 32.187 % |
296.23/296.45 c | 93676 | 81947 546226 1595256 | 2147483647 91383 190 | 32.203 % |
297.23/297.46 c | 93844 | 81947 546226 1595256 | 2147483647 91551 191 | 32.203 % |
297.83/298.07 c | 94020 | 81947 546226 1595256 | 2147483647 91727 191 | 32.203 % |
298.93/299.12 c | 94213 | 81947 546226 1595256 | 2147483647 91920 191 | 32.203 % |
299.52/299.74 c | 94425 | 81941 546226 1595256 | 2147483647 92128 191 | 32.224 % |
300.72/300.93 c | 94658 | 81941 546226 1595256 | 2147483647 92361 191 | 32.224 % |
302.22/302.45 c | 94923 | 81941 546226 1595256 | 2147483647 92626 192 | 32.224 % |
303.62/303.88 c | 95204 | 81941 546226 1595256 | 2147483647 92907 192 | 32.224 % |
305.52/305.72 c | 95513 | 81941 546226 1595256 | 2147483647 93216 193 | 32.224 % |
307.33/307.56 c | 95854 | 81941 546226 1595256 | 2147483647 93557 194 | 32.224 % |
309.12/309.34 c | 96226 | 81941 546226 1595256 | 2147483647 93929 194 | 32.224 % |
311.03/311.28 c | 96635 | 81941 546226 1595256 | 2147483647 94338 194 | 32.224 % |
312.92/313.13 c | 97085 | 81882 545658 1593752 | 2147483647 94742 194 | 32.243 % |
315.22/315.43 c | 97579 | 81880 545658 1593752 | 2147483647 95233 194 | 32.270 % |
318.62/318.82 c | 98132 | 81866 545658 1593752 | 2147483647 95784 195 | 32.634 % |
321.31/321.58 c | 98730 | 81866 545658 1593752 | 2147483647 96382 196 | 32.634 % |
324.91/325.11 c | 99386 | 81866 545658 1593752 | 2147483647 97037 197 | 32.635 % |
328.41/328.69 c | 100106 | 81863 545658 1593752 | 2147483647 97755 198 | 32.650 % |
331.51/331.75 c | 100898 | 81863 545658 1593752 | 2147483647 98547 198 | 32.650 % |
332.71/332.98 c | 101770 | 81863 545658 1593752 | 2147483647 99419 198 | 32.650 % |
336.81/337.05 c | 102728 | 81859 545658 1593752 | 2147483647 100375 199 | 32.662 % |
342.21/342.46 c | 103784 | 81358 541655 1583208 | 2147483647 101173 200 | 32.775 % |
347.31/347.55 c | 104943 | 81345 541655 1583208 | 2147483647 102327 199 | 32.826 % |
347.80/348.09 c | 105045 | 81341 541655 1583208 | 2147483647 102427 199 | 32.839 % |
348.60/348.83 c | 105157 | 81341 541655 1583208 | 2147483647 102539 199 | 32.839 % |
349.30/349.50 c | 105278 | 81341 541655 1583208 | 2147483647 102660 199 | 32.839 % |
349.90/350.11 c | 105417 | 81341 541655 1583208 | 2147483647 102798 199 | 32.850 % |
350.20/350.41 c | 105563 | 81341 541655 1583208 | 2147483647 102944 199 | 32.850 % |
350.60/350.86 c | 105723 | 81339 541655 1583208 | 2147483647 103103 199 | 32.908 % |
351.50/351.71 c | 105899 | 81339 541655 1583208 | 2147483647 103279 199 | 32.908 % |
352.81/353.00 c | 106092 | 81339 541655 1583208 | 2147483647 103472 200 | 32.908 % |
353.81/354.09 c | 106304 | 81338 541655 1583208 | 2147483647 103683 200 | 32.909 % |
354.70/354.99 c | 106537 | 81338 541655 1583208 | 2147483647 103916 200 | 32.909 % |
355.80/356.06 c | 106793 | 81338 541655 1583208 | 2147483647 104172 200 | 32.909 % |
357.50/357.73 c | 107075 | 81337 541655 1583208 | 2147483647 104453 201 | 32.917 % |
359.00/359.27 c | 107384 | 81336 541655 1583208 | 2147483647 104761 201 | 32.926 % |
361.30/361.52 c | 107723 | 80980 538604 1575146 | 2147483647 104892 201 | 32.982 % |
363.00/363.26 c | 108095 | 80979 538604 1575146 | 2147483647 105263 202 | 32.983 % |
364.39/364.60 c | 108505 | 80979 538604 1575146 | 2147483647 105673 201 | 32.983 % |
365.59/365.86 c | 108954 | 80979 538604 1575146 | 2147483647 106122 201 | 32.983 % |
368.59/368.81 c | 109448 | 80979 538604 1575146 | 2147483647 106615 202 | 33.219 % |
371.29/371.56 c | 109990 | 80970 538604 1575146 | 2147483647 107153 202 | 33.261 % |
373.39/373.66 c | 110592 | 80970 538604 1575146 | 2147483647 107755 203 | 33.261 % |
376.99/377.27 c | 111248 | 80970 538604 1575146 | 2147483647 108411 204 | 33.261 % |
380.79/381.03 c | 111969 | 80965 538604 1575146 | 2147483647 109128 204 | 33.284 % |
385.09/385.36 c | 112762 | 80965 538604 1575146 | 2147483647 109921 206 | 33.284 % |
389.79/390.01 c | 113634 | 80593 536639 1570417 | 2147483647 110686 206 | 33.303 % |
394.08/394.35 c | 114594 | 80577 536639 1570417 | 2147483647 111641 206 | 33.371 % |
399.09/399.31 c | 115651 | 80576 536639 1570417 | 2147483647 112697 207 | 33.372 % |
403.48/403.74 c | 116813 | 80564 536639 1570417 | 2147483647 113857 206 | 33.576 % |
409.27/409.55 c | 118086 | 80562 536639 1570417 | 2147483647 115127 207 | 33.584 % |
409.57/409.81 c | 118186 | 80562 536639 1570417 | 2147483647 115227 207 | 33.584 % |
409.97/410.27 c | 118297 | 80562 536639 1570417 | 2147483647 115338 207 | 33.584 % |
410.87/411.12 c | 118418 | 80562 536639 1570417 | 2147483647 115459 207 | 33.584 % |
411.17/411.42 c | 118553 | 80562 536639 1570417 | 2147483647 115594 207 | 33.584 % |
411.87/412.16 c | 118706 | 80562 536639 1570417 | 2147483647 115747 207 | 33.584 % |
412.57/412.84 c | 118866 | 80560 536639 1570417 | 2147483647 115906 207 | 33.590 % |
413.17/413.40 c | 119042 | 80560 536639 1570417 | 2147483647 116082 207 | 33.590 % |
414.27/414.59 c | 119235 | 80560 536639 1570417 | 2147483647 116275 207 | 33.590 % |
415.47/415.70 c | 119447 | 80559 536639 1570417 | 2147483647 116485 207 | 33.621 % |
416.47/416.77 c | 119681 | 80558 536639 1570417 | 2147483647 116716 207 | 33.648 % |
417.67/417.98 c | 119939 | 80174 533988 1563948 | 2147483647 116385 208 | 33.661 % |
419.26/419.50 c | 120220 | 80174 533988 1563948 | 2147483647 116666 208 | 33.661 % |
421.07/421.38 c | 120529 | 80174 533988 1563948 | 2147483647 116975 208 | 33.661 % |
422.86/423.19 c | 120871 | 80173 533988 1563948 | 2147483647 117315 208 | 33.680 % |
425.77/426.01 c | 121243 | 80173 533988 1563948 | 2147483647 117687 208 | 33.680 % |
428.07/428.38 c | 121653 | 80173 533988 1563948 | 2147483647 118097 209 | 33.680 % |
430.47/430.77 c | 122103 | 80173 533988 1563948 | 2147483647 118547 209 | 33.680 % |
432.97/433.20 c | 122598 | 80173 533988 1563948 | 2147483647 119041 209 | 33.681 % |
435.27/435.55 c | 123144 | 80173 533988 1563948 | 2147483647 119587 210 | 33.681 % |
437.57/437.84 c | 123741 | 80170 533988 1563948 | 2147483647 120183 210 | 33.693 % |
439.26/439.59 c | 124398 | 80170 533988 1563948 | 2147483647 120840 210 | 33.693 % |
443.86/444.17 c | 125118 | 80168 533988 1563948 | 2147483647 121557 211 | 33.793 % |
447.56/447.86 c | 125911 | 80000 532580 1560166 | 2147483647 122274 211 | 33.793 % |
452.06/452.32 c | 126783 | 80000 532580 1560166 | 2147483647 123146 212 | 33.793 % |
455.85/456.18 c | 127741 | 80000 532580 1560166 | 2147483647 124104 212 | 33.793 % |
461.25/461.52 c | 128794 | 79998 532580 1560166 | 2147483647 125155 213 | 33.795 % |
467.44/467.76 c | 129957 | 79993 532580 1560166 | 2147483647 126315 213 | 33.805 % |
474.25/474.57 c | 131231 | 79992 532580 1560166 | 2147483647 127588 215 | 33.806 % |
478.44/478.77 c | 132632 | 79957 532580 1560166 | 2147483647 128987 215 | 33.885 % |
478.74/479.07 c | 132732 | 79889 531930 1558552 | 2147483647 129046 215 | 33.885 % |
479.04/479.36 c | 132843 | 79889 531930 1558552 | 2147483647 129157 215 | 33.885 % |
479.44/479.71 c | 132964 | 79889 531930 1558552 | 2147483647 129278 215 | 33.885 % |
480.64/480.94 c | 133097 | 79889 531930 1558552 | 2147483647 129411 215 | 33.885 % |
481.14/481.40 c | 133245 | 79889 531930 1558552 | 2147483647 129558 215 | 33.892 % |
481.84/482.17 c | 133407 | 79889 531930 1558552 | 2147483647 129719 215 | 33.893 % |
482.94/483.26 c | 133584 | 79889 531930 1558552 | 2147483647 129895 215 | 33.905 % |
483.75/484.08 c | 133777 | 79889 531930 1558552 | 2147483647 130088 215 | 33.905 % |
484.75/485.00 c | 133990 | 79889 531930 1558552 | 2147483647 130301 215 | 33.905 % |
485.95/486.25 c | 134226 | 79889 531930 1558552 | 2147483647 130537 215 | 33.905 % |
487.35/487.64 c | 134482 | 79889 531930 1558552 | 2147483647 130793 216 | 33.905 % |
488.95/489.28 c | 134763 | 79889 531930 1558552 | 2147483647 131074 216 | 33.905 % |
490.84/491.10 c | 135074 | 79889 531930 1558552 | 2147483647 131385 216 | 33.905 % |
492.24/492.50 c | 135415 | 79889 531930 1558552 | 2147483647 131726 216 | 33.905 % |
495.74/496.04 c | 135792 | 79889 531930 1558552 | 2147483647 132101 216 | 33.912 % |
499.13/499.47 c | 136201 | 79888 531930 1558552 | 2147483647 132509 216 | 33.913 % |
502.24/502.51 c | 136650 | 79886 531930 1558552 | 2147483647 132956 216 | 33.930 % |
504.54/504.84 c | 137146 | 79886 531930 1558552 | 2147483647 133452 217 | 33.930 % |
507.94/508.23 c | 137688 | 79886 531930 1558552 | 2147483647 133994 217 | 33.930 % |
511.03/511.38 c | 138285 | 79886 531930 1558552 | 2147483647 134589 217 | 33.933 % |
515.42/515.75 c | 138954 | 79820 531324 1556990 | 2147483647 135219 217 | 33.942 % |
519.53/519.85 c | 139675 | 79818 531324 1556990 | 2147483647 135939 218 | 33.953 % |
523.23/523.54 c | 140472 | 79818 531324 1556990 | 2147483647 136736 219 | 33.953 % |
528.32/528.67 c | 141345 | 79818 531324 1556990 | 2147483647 137608 220 | 33.962 % |
535.82/536.15 c | 142309 | 79818 531324 1556990 | 2147483647 138572 221 | 33.962 % |
542.03/542.38 c | 143363 | 79818 531324 1556990 | 2147483647 139625 222 | 33.971 % |
548.41/548.72 c | 144521 | 79817 531324 1556990 | 2147483647 140782 222 | 33.977 % |
555.51/555.88 c | 145794 | 79816 531324 1556990 | 2147483647 142054 224 | 33.978 % |
563.61/563.90 c | 147194 | 79776 530989 1556070 | 2147483647 143440 225 | 34.000 % |
572.30/572.65 c | 148740 | 79775 530989 1556070 | 2147483647 144986 225 | 34.000 % |
572.81/573.16 c | 148840 | 79775 530989 1556070 | 2147483647 145086 225 | 34.000 % |
573.60/573.95 c | 148950 | 79771 530989 1556070 | 2147483647 145195 225 | 34.010 % |
574.50/574.80 c | 149071 | 79771 530989 1556070 | 2147483647 145316 226 | 34.010 % |
575.60/575.91 c | 149205 | 79771 530989 1556070 | 2147483647 145450 226 | 34.010 % |
576.50/576.88 c | 149352 | 79771 530989 1556070 | 2147483647 145597 226 | 34.010 % |
577.60/577.95 c | 149512 | 79771 530989 1556070 | 2147483647 145757 226 | 34.010 % |
578.51/578.80 c | 149690 | 79770 530989 1556070 | 2147483647 145933 226 | 34.021 % |
579.71/580.08 c | 149887 | 79770 530989 1556070 | 2147483647 146130 226 | 34.021 % |
581.10/581.44 c | 150099 | 79770 530989 1556070 | 2147483647 146342 226 | 34.021 % |
582.00/582.39 c | 150334 | 79770 530989 1556070 | 2147483647 146577 226 | 34.021 % |
582.71/583.04 c | 150591 | 79769 530989 1556070 | 2147483647 146833 226 | 34.062 % |
584.50/584.89 c | 150873 | 79769 530989 1556070 | 2147483647 147115 226 | 34.062 % |
586.80/587.18 c | 151182 | 79768 530989 1556070 | 2147483647 147423 227 | 34.063 % |
588.60/588.95 c | 151521 | 79768 530989 1556070 | 2147483647 147762 227 | 34.063 % |
590.90/591.25 c | 151893 | 79768 530989 1556070 | 2147483647 148134 227 | 34.063 % |
593.90/594.25 c | 152302 | 79768 530989 1556070 | 2147483647 148541 227 | 34.067 % |
596.90/597.23 c | 152751 | 79764 530989 1556070 | 2147483647 148986 227 | 34.091 % |
599.20/599.56 c | 153244 | 79763 530989 1556070 | 2147483647 149478 228 | 34.091 % |
602.90/603.24 c | 153786 | 79640 529945 1553347 | 2147483647 149968 227 | 34.100 % |
606.19/606.55 c | 154382 | 79636 529945 1553347 | 2147483647 150560 228 | 34.120 % |
609.79/610.12 c | 155040 | 79636 529945 1553347 | 2147483647 151218 228 | 34.120 % |
613.90/614.21 c | 155760 | 79636 529945 1553347 | 2147483647 151938 229 | 34.120 % |
617.69/618.00 c | 156552 | 79636 529945 1553347 | 2147483647 152730 229 | 34.120 % |
622.30/622.66 c | 157425 | 79636 529945 1553347 | 2147483647 153603 229 | 34.120 % |
628.59/628.94 c | 158384 | 79636 529945 1553347 | 2147483647 154562 230 | 34.120 % |
634.38/634.73 c | 159438 | 79636 529945 1553347 | 2147483647 155616 230 | 34.120 % |
641.57/641.91 c | 160597 | 79635 529945 1553347 | 2147483647 156774 230 | 34.120 % |
648.38/648.72 c | 161870 | 79635 529945 1553347 | 2147483647 158047 230 | 34.120 % |
658.07/658.47 c | 163270 | 79605 529629 1552485 | 2147483647 159431 231 | 34.120 % |
668.27/668.63 c | 164811 | 79605 529629 1552485 | 2147483647 160971 233 | 34.128 % |
677.87/678.21 c | 166506 | 79604 529629 1552485 | 2147483647 162665 233 | 34.136 % |
678.07/678.46 c | 166606 | 79604 529629 1552485 | 2147483647 162765 233 | 34.136 % |
678.77/679.11 c | 166717 | 79604 529629 1552485 | 2147483647 162876 233 | 34.136 % |
679.36/679.74 c | 166840 | 79604 529629 1552485 | 2147483647 162999 233 | 34.136 % |
680.46/680.80 c | 166975 | 79604 529629 1552485 | 2147483647 163134 233 | 34.136 % |
681.76/682.12 c | 167121 | 79604 529629 1552485 | 2147483647 163280 233 | 34.136 % |
682.66/683.06 c | 167282 | 79604 529629 1552485 | 2147483647 163441 233 | 34.136 % |
683.86/684.23 c | 167462 | 79604 529629 1552485 | 2147483647 163621 233 | 34.136 % |
685.25/685.68 c | 167659 | 79604 529629 1552485 | 2147483647 163818 233 | 34.136 % |
686.66/687.08 c | 167873 | 79604 529629 1552485 | 2147483647 164032 234 | 34.136 % |
688.26/688.61 c | 168107 | 79604 529629 1552485 | 2147483647 164266 234 | 34.136 % |
689.46/689.86 c | 168363 | 79604 529629 1552485 | 2147483647 164520 234 | 34.139 % |
691.66/692.00 c | 168645 | 79604 529629 1552485 | 2147483647 164802 234 | 34.139 % |
693.26/693.62 c | 168954 | 79604 529629 1552485 | 2147483647 165111 234 | 34.139 % |
695.56/695.98 c | 169294 | 79604 529629 1552485 | 2147483647 165451 234 | 34.139 % |
698.25/698.60 c | 169666 | 79604 529629 1552485 | 2147483647 165823 235 | 34.139 % |
700.35/700.78 c | 170075 | 79582 529437 1551973 | 2147483647 166212 235 | 34.139 % |
702.85/703.28 c | 170525 | 79581 529437 1551973 | 2147483647 166661 235 | 34.140 % |
705.96/706.31 c | 171018 | 79580 529437 1551973 | 2147483647 167153 235 | 34.143 % |
709.95/710.37 c | 171560 | 79580 529437 1551973 | 2147483647 167695 235 | 34.143 % |
714.65/715.06 c | 172156 | 79579 529437 1551973 | 2147483647 168290 235 | 34.144 % |
718.65/719.05 c | 172812 | 79577 529437 1551973 | 2147483647 168942 236 | 34.168 % |
723.85/724.28 c | 173532 | 79575 529437 1551973 | 2147483647 169660 236 | 34.177 % |
728.24/728.62 c | 174326 | 79575 529437 1551973 | 2147483647 170454 236 | 34.177 % |
733.43/733.85 c | 175197 | 79574 529437 1551973 | 2147483647 171324 237 | 34.185 % |
740.23/740.69 c | 176155 | 79573 529437 1551973 | 2147483647 172281 237 | 34.196 % |
747.54/747.91 c | 177208 | 79573 529437 1551973 | 2147483647 173332 238 | 34.199 % |
755.23/755.69 c | 178366 | 79572 529437 1551973 | 2147483647 174489 239 | 34.211 % |
761.83/762.27 c | 179639 | 79496 528704 1550001 | 2147483647 175720 239 | 34.211 % |
770.82/771.25 c | 181040 | 79495 528704 1550001 | 2147483647 177119 240 | 34.212 % |
780.82/781.23 c | 182581 | 79493 528704 1550001 | 2147483647 178658 241 | 34.221 % |
794.12/794.54 c | 184275 | 79490 528704 1550001 | 2147483647 180348 242 | 34.248 % |
810.51/810.90 c | 186138 | 79487 528704 1550001 | 2147483647 182209 242 | 34.292 % |
811.61/812.07 c | 186242 | 79487 528704 1550001 | 2147483647 182313 242 | 34.292 % |
812.42/812.83 c | 186353 | 79398 527883 1547828 | 2147483647 182326 242 | 34.292 % |
813.31/813.76 c | 186474 | 79398 527883 1547828 | 2147483647 182447 242 | 34.292 % |
813.91/814.33 c | 186609 | 79398 527883 1547828 | 2147483647 182582 242 | 34.292 % |
814.41/814.80 c | 186755 | 79398 527883 1547828 | 2147483647 182728 242 | 34.292 % |
814.81/815.21 c | 186915 | 79397 527883 1547828 | 2147483647 182887 242 | 34.293 % |
815.11/815.55 c | 187091 | 79397 527883 1547828 | 2147483647 183063 241 | 34.293 % |
816.01/816.44 c | 187284 | 79397 527883 1547828 | 2147483647 183256 241 | 34.293 % |
816.81/817.24 c | 187497 | 79397 527883 1547828 | 2147483647 183469 241 | 34.293 % |
818.40/818.87 c | 187734 | 79395 527883 1547828 | 2147483647 183705 241 | 34.301 % |
820.10/820.52 c | 187996 | 79395 527883 1547828 | 2147483647 183967 241 | 34.301 % |
821.90/822.31 c | 188277 | 79395 527883 1547828 | 2147483647 184248 242 | 34.301 % |
823.50/823.96 c | 188587 | 79395 527883 1547828 | 2147483647 184558 242 | 34.301 % |
826.00/826.44 c | 188926 | 79395 527883 1547828 | 2147483647 184897 242 | 34.301 % |
828.20/828.66 c | 189299 | 79395 527883 1547828 | 2147483647 185270 242 | 34.301 % |
830.90/831.33 c | 189708 | 79395 527883 1547828 | 2147483647 185679 242 | 34.301 % |
834.20/834.67 c | 190157 | 79395 527883 1547828 | 2147483647 186128 242 | 34.301 % |
836.80/837.25 c | 190653 | 79395 527883 1547828 | 2147483647 186624 242 | 34.301 % |
840.30/840.72 c | 191195 | 79395 527883 1547828 | 2147483647 187166 242 | 34.301 % |
843.80/844.24 c | 191792 | 79395 527883 1547828 | 2147483647 187761 243 | 34.306 % |
848.99/849.49 c | 192449 | 79392 527883 1547828 | 2147483647 188414 243 | 34.325 % |
853.69/854.19 c | 193172 | 79392 527883 1547828 | 2147483647 189136 244 | 34.335 % |
859.18/859.68 c | 193964 | 79392 527883 1547828 | 2147483647 189928 244 | 34.335 % |
863.68/864.12 c | 194837 | 79392 527883 1547828 | 2147483647 190801 244 | 34.335 % |
868.98/869.49 c | 195797 | 79391 527883 1547828 | 2147483647 191760 245 | 34.336 % |
876.68/877.16 c | 196850 | 79391 527883 1547828 | 2147483647 192813 246 | 34.336 % |
884.68/885.13 c | 198008 | 79345 527460 1546672 | 2147483647 193949 246 | 34.336 % |
891.88/892.35 c | 199282 | 79345 527460 1546672 | 2147483647 195223 246 | 34.336 % |
902.07/902.52 c | 200682 | 79302 527460 1546672 | 2147483647 196619 246 | 34.460 % |
912.47/912.96 c | 202224 | 79297 527460 1546672 | 2147483647 198155 246 | 34.484 % |
920.56/921.01 c | 203918 | 79294 527460 1546672 | 2147483647 199845 246 | 34.495 % |
930.96/931.47 c | 205781 | 79290 527460 1546672 | 2147483647 201702 247 | 34.528 % |
943.06/943.58 c | 207830 | 78305 520537 1528755 | 2147483647 203241 247 | 35.205 % |
944.16/944.64 c | 207930 | 78305 520537 1528755 | 2147483647 203341 247 | 35.204 % |
944.96/945.41 c | 208043 | 78305 520537 1528755 | 2147483647 203454 247 | 35.204 % |
945.96/946.40 c | 208164 | 78305 520537 1528755 | 2147483647 203575 247 | 35.204 % |
946.76/947.25 c | 208297 | 78305 520537 1528755 | 2147483647 203708 247 | 35.205 % |
947.76/948.24 c | 208443 | 78305 520537 1528755 | 2147483647 203854 247 | 35.204 % |
948.85/949.34 c | 208607 | 78305 520537 1528755 | 2147483647 204018 247 | 35.204 % |
949.85/950.39 c | 208783 | 78305 520537 1528755 | 2147483647 204194 247 | 35.204 % |
951.05/951.56 c | 208976 | 78305 520537 1528755 | 2147483647 204386 247 | 35.216 % |
953.04/953.57 c | 209189 | 78305 520537 1528755 | 2147483647 204599 247 | 35.216 % |
954.35/954.82 c | 209425 | 78304 520537 1528755 | 2147483647 204834 247 | 35.217 % |
956.34/956.87 c | 209681 | 78304 520537 1528755 | 2147483647 205090 247 | 35.217 % |
958.55/959.01 c | 209962 | 78296 520537 1528755 | 2147483647 205368 248 | 35.226 % |
960.75/961.22 c | 210273 | 78296 520537 1528755 | 2147483647 205679 248 | 35.226 % |
963.05/963.56 c | 210612 | 78296 520537 1528755 | 2147483647 206018 248 | 35.226 % |
965.94/966.41 c | 210985 | 78293 520537 1528755 | 2147483647 206389 248 | 35.241 % |
969.04/969.55 c | 211394 | 78293 520537 1528755 | 2147483647 206798 249 | 35.241 % |
973.05/973.53 c | 211843 | 78293 520537 1528755 | 2147483647 207247 249 | 35.241 % |
977.04/977.54 c | 212336 | 78293 520537 1528755 | 2147483647 207740 249 | 35.241 % |
980.64/981.13 c | 212881 | 78293 520537 1528755 | 2147483647 208285 250 | 35.241 % |
984.04/984.53 c | 213480 | 78293 520537 1528755 | 2147483647 208884 250 | 35.241 % |
988.44/988.99 c | 214137 | 78293 520537 1528755 | 2147483647 209541 250 | 35.241 % |
993.43/993.93 c | 214858 | 78293 520537 1528755 | 2147483647 210262 250 | 35.241 % |
997.83/998.35 c | 215651 | 78293 520537 1528755 | 2147483647 211055 251 | 35.241 % |
1003.33/1003.83 c | 216522 | 78293 520537 1528755 | 2147483647 211926 251 | 35.241 % |
1009.12/1009.68 c | 217480 | 78293 520537 1528755 | 2147483647 212884 252 | 35.241 % |
1015.22/1015.77 c | 218534 | 78286 520537 1528755 | 2147483647 213929 252 | 35.276 % |
1020.92/1021.43 c | 219693 | 78286 520537 1528755 | 2147483647 215088 253 | 35.276 % |
1029.91/1030.46 c | 220967 | 78209 519773 1526604 | 2147483647 216304 253 | 35.277 % |
1037.92/1038.45 c | 222367 | 78209 519773 1526604 | 2147483647 217704 253 | 35.277 % |
1047.31/1047.88 c | 223908 | 78209 519773 1526604 | 2147483647 219245 253 | 35.277 % |
1059.61/1060.15 c | 225603 | 78209 519773 1526604 | 2147483647 220940 254 | 35.277 % |
1075.30/1075.80 c | 227468 | 78208 519773 1526604 | 2147483647 222803 255 | 35.281 % |
1089.29/1089.81 c | 229518 | 78208 519773 1526604 | 2147483647 224851 256 | 35.283 % |
1103.18/1103.70 c | 231771 | 78207 519773 1526604 | 2147483647 227102 257 | 35.286 % |
1103.89/1104.47 c | 231871 | 78196 519719 1526459 | 2147483647 227198 257 | 35.286 % |
1104.68/1105.23 c | 231983 | 78196 519719 1526459 | 2147483647 227310 257 | 35.286 % |
1105.38/1105.96 c | 232104 | 78196 519719 1526459 | 2147483647 227431 257 | 35.286 % |
1106.48/1107.03 c | 232237 | 78196 519719 1526459 | 2147483647 227564 257 | 35.286 % |
1107.58/1108.15 c | 232385 | 78196 519719 1526459 | 2147483647 227712 257 | 35.286 % |
1109.39/1109.97 c | 232550 | 78196 519719 1526459 | 2147483647 227877 257 | 35.286 % |
1111.28/1111.84 c | 232728 | 78196 519719 1526459 | 2147483647 228055 257 | 35.286 % |
1113.28/1113.89 c | 232924 | 78196 519719 1526459 | 2147483647 228251 257 | 35.286 % |
1115.28/1115.84 c | 233136 | 78196 519719 1526459 | 2147483647 228463 257 | 35.286 % |
1116.98/1117.57 c | 233370 | 78196 519719 1526459 | 2147483647 228697 257 | 35.286 % |
1118.97/1119.55 c | 233633 | 78196 519719 1526459 | 2147483647 228960 257 | 35.286 % |
1120.78/1121.37 c | 233914 | 78196 519719 1526459 | 2147483647 229241 257 | 35.286 % |
1122.28/1122.83 c | 234224 | 78195 519719 1526459 | 2147483647 229550 257 | 35.287 % |
1123.68/1124.25 c | 234566 | 78195 519719 1526459 | 2147483647 229892 257 | 35.287 % |
1126.68/1127.27 c | 234940 | 78195 519719 1526459 | 2147483647 230266 257 | 35.287 % |
1129.47/1130.06 c | 235349 | 78195 519719 1526459 | 2147483647 230674 258 | 35.297 % |
1132.57/1133.17 c | 235799 | 78195 519719 1526459 | 2147483647 231124 257 | 35.297 % |
1136.57/1137.19 c | 236292 | 78195 519719 1526459 | 2147483647 231617 257 | 35.297 % |
1140.87/1141.42 c | 236840 | 78195 519719 1526459 | 2147483647 232165 257 | 35.297 % |
1146.67/1147.24 c | 237436 | 78195 519719 1526459 | 2147483647 232761 257 | 35.297 % |
1152.76/1153.34 c | 238092 | 78194 519719 1526459 | 2147483647 233416 257 | 35.332 % |
1157.46/1158.04 c | 238815 | 78192 519719 1526459 | 2147483647 234137 257 | 35.350 % |
1162.35/1162.92 c | 239609 | 78191 519719 1526459 | 2147483647 234930 258 | 35.351 % |
1168.35/1168.98 c | 240480 | 78190 519719 1526459 | 2147483647 235799 258 | 35.425 % |
1175.04/1175.60 c | 241441 | 78187 519719 1526459 | 2147483647 236759 258 | 35.434 % |
1182.45/1183.00 c | 242494 | 78187 519719 1526459 | 2147483647 237812 258 | 35.434 % |
1191.05/1191.64 c | 243655 | 78187 519719 1526459 | 2147483647 238973 258 | 35.434 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833877-1242825718/watcher-1833877-1242825718 -o /tmp/evaluation-result-1833877-1242825718/solver-1833877-1242825718 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833877-1242825718.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9391
/proc/meminfo: memFree=1810848/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=0
/proc/9391/stat : 9391 (SatELiteGTI) R 9389 9391 9211 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 310605369 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482318323 0 0 4100 65536 0 0 0 17 0 0 0
/proc/9391/statm: 1339 237 197 169 0 50 0
[startup+0.0157781 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9391
/proc/meminfo: memFree=1810848/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=0
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310605369 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9391/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101785 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9391
/proc/meminfo: memFree=1810848/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=0
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310605369 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9391/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301806 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9391
/proc/meminfo: memFree=1810848/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=0
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310605369 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9391/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701847 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9391
/proc/meminfo: memFree=1810848/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=0
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310605369 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9391/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50193 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 9396
/proc/meminfo: memFree=1710864/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=0
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310605369 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9391/statm: 1339 237 197 169 0 50 0
[pid=9395] ppid=9391 vsize=115372 CPUtime=1.48
/proc/9395/stat : 9395 (SatELite_releas) R 9391 9391 9211 0 -1 4194304 26575 0 0 0 133 15 0 0 25 0 1 0 310605369 118140928 26457 1992294400 134512640 135223648 4294956128 18446744073709551615 134549070 0 0 4096 3 0 0 0 17 0 0 0
/proc/9395/statm: 28843 26457 71 173 0 28668 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 120728
[startup+3.10209 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 9396
/proc/meminfo: memFree=1690704/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=0
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310605369 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9391/statm: 1339 237 197 169 0 50 0
[pid=9395] ppid=9391 vsize=136868 CPUtime=3.08
/proc/9395/stat : 9395 (SatELite_releas) R 9391 9391 9211 0 -1 4194304 34137 0 0 0 287 21 0 0 25 0 1 0 310605369 140152832 31168 1992294400 134512640 135223648 4294956128 18446744073709551615 134595772 0 0 4096 3 0 0 0 17 0 0 0
/proc/9395/statm: 34217 31168 76 173 0 34042 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 142224
[startup+6.30142 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 9396
/proc/meminfo: memFree=1679704/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=0
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310605369 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9391/statm: 1339 237 197 169 0 50 0
[pid=9395] ppid=9391 vsize=137092 CPUtime=6.27
/proc/9395/stat : 9395 (SatELite_releas) R 9391 9391 9211 0 -1 4194304 36735 0 0 0 604 23 0 0 25 0 1 0 310605369 140382208 31317 1992294400 134512640 135223648 4294956128 18446744073709551615 134596089 0 0 4096 3 0 0 0 17 0 0 0
/proc/9395/statm: 34273 31317 76 173 0 34098 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 142448
[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 9397
/proc/meminfo: memFree=1741720/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=46520 CPUtime=3.82
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 10963 0 0 0 376 6 0 0 25 0 1 0 310606255 47636480 10918 1992294400 134512640 135215339 4294956240 18446744073709551615 134529139 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 11630 10918 77 171 0 11457 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 51876
[startup+25.5014 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 9397
/proc/meminfo: memFree=1741720/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=46680 CPUtime=16.62
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 11013 0 0 0 1655 7 0 0 25 0 1 0 310606255 47800320 10968 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 11670 10968 77 171 0 11497 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 52036
[startup+51.102 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 9397
/proc/meminfo: memFree=1737752/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=51120 CPUtime=42.2
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 12117 0 0 0 4211 9 0 0 25 0 1 0 310606255 52346880 12072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 12780 12072 77 171 0 12607 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 56476
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9397
/proc/meminfo: memFree=1724120/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=64484 CPUtime=93.37
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 15463 0 0 0 9325 12 0 0 25 0 1 0 310606255 66031616 15418 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 16121 15418 77 171 0 15948 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 69840
[startup+162.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 9397
/proc/meminfo: memFree=1707544/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=81200 CPUtime=153.33
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 19649 0 0 0 15316 17 0 0 25 0 1 0 310606255 83148800 19604 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 20300 19604 77 171 0 20127 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 86556
[startup+222.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/66 9397
/proc/meminfo: memFree=1690840/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=97704 CPUtime=213.32
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 23755 0 0 0 21309 23 0 0 25 0 1 0 310606255 100048896 23710 1992294400 134512640 135215339 4294956240 18446744073709551615 134525933 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 24426 23710 77 171 0 24253 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 103060
[startup+282.302 s]
/proc/loadavg: 1.09 1.04 1.00 2/66 9397
/proc/meminfo: memFree=1675864/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=112756 CPUtime=273.29
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 27518 0 0 0 27301 28 0 0 25 0 1 0 310606255 115462144 27473 1992294400 134512640 135215339 4294956240 18446744073709551615 134532704 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 28189 27473 77 171 0 28016 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 118112
[startup+342.302 s]
/proc/loadavg: 1.08 1.04 1.00 2/66 9397
/proc/meminfo: memFree=1660120/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=128384 CPUtime=333.27
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 31418 0 0 0 33295 32 0 0 25 0 1 0 310606255 131465216 31373 1992294400 134512640 135215339 4294956240 18446744073709551615 134532956 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 32096 31373 77 171 0 31923 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 133740
[startup+402.302 s]
/proc/loadavg: 1.12 1.06 1.01 2/66 9397
/proc/meminfo: memFree=1646616/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=141856 CPUtime=393.24
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 34792 0 0 0 39288 36 0 0 25 0 1 0 310606255 145260544 34747 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 35464 34747 77 171 0 35291 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 147212
[startup+462.301 s]
################
# More data... #
################
/proc/9397/statm: 42037 41347 77 171 0 41864 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 173504
[startup+582.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/66 9397
/proc/meminfo: memFree=1606360/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=182172 CPUtime=573.16
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 44816 0 0 0 57269 47 0 0 25 0 1 0 310606255 186544128 44771 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 45543 44771 77 171 0 45370 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 187528
[startup+642.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 9397
/proc/meminfo: memFree=1594008/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=194068 CPUtime=633.14
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 47819 0 0 0 63265 49 0 0 25 0 1 0 310606255 198725632 47774 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 48517 47774 77 171 0 48344 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 199424
[startup+702.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 9397
/proc/meminfo: memFree=1581656/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=206500 CPUtime=693.11
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 50919 0 0 0 69258 53 0 0 25 0 1 0 310606255 211456000 50874 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 51625 50874 77 171 0 51452 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 211856
[startup+762.306 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 9397
/proc/meminfo: memFree=1569560/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=218380 CPUtime=753.09
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 53901 0 0 0 75252 57 0 0 25 0 1 0 310606255 223621120 53856 1992294400 134512640 135215339 4294956240 18446744073709551615 134532769 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 54595 53856 77 171 0 54422 0
Current children cumulated CPU time (s) 761.93
Current children cumulated vsize (KiB) 223736
[startup+822.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 9397
/proc/meminfo: memFree=1559512/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=228428 CPUtime=813.06
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 56429 0 0 0 81246 60 0 0 25 0 1 0 310606255 233910272 56384 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 57107 56384 77 171 0 56934 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 233784
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9397
/proc/meminfo: memFree=1546648/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=241100 CPUtime=873.03
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 59613 0 0 0 87240 63 0 0 25 0 1 0 310606255 246886400 59568 1992294400 134512640 135215339 4294956240 18446744073709551615 134538068 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 60275 59568 77 171 0 60102 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 246456
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9397
/proc/meminfo: memFree=1536344/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=251528 CPUtime=933.02
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 62202 0 0 0 93235 67 0 0 25 0 1 0 310606255 257564672 62157 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 62882 62157 77 171 0 62709 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 256884
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9397
/proc/meminfo: memFree=1524056/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=264076 CPUtime=992.99
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 65261 0 0 0 99228 71 0 0 25 0 1 0 310606255 270413824 65216 1992294400 134512640 135215339 4294956240 18446744073709551615 134532646 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 66019 65216 77 171 0 65846 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 269432
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9397
/proc/meminfo: memFree=1511192/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=276908 CPUtime=1052.96
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 68468 0 0 0 105222 74 0 0 25 0 1 0 310606255 283553792 68423 1992294400 134512640 135215339 4294956240 18446744073709551615 134529112 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 69227 68423 77 171 0 69054 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 282264
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9397
/proc/meminfo: memFree=1499736/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=288276 CPUtime=1112.94
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 71312 0 0 0 111215 79 0 0 25 0 1 0 310606255 295194624 71267 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 72069 71267 77 171 0 71896 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 293632
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9397
/proc/meminfo: memFree=1490008/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=297988 CPUtime=1172.91
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 73732 0 0 0 117209 82 0 0 25 0 1 0 310606255 305139712 73687 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 74497 73687 77 171 0 74324 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 303344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9397
/proc/meminfo: memFree=1487192/2055920 swapFree=4179992/4192956
[pid=9391] ppid=9389 vsize=5356 CPUtime=8.84
/proc/9391/stat : 9391 (SatELiteGTI) S 9389 9391 9211 0 -1 4194304 336 40935 0 0 0 0 849 35 16 0 1 0 310605369 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9391/statm: 1339 239 197 169 0 50 0
[pid=9397] ppid=9391 vsize=300628 CPUtime=1191.21
/proc/9397/stat : 9397 (minisat_static) R 9391 9391 9211 0 -1 4194304 74399 0 0 0 119038 83 0 0 25 0 1 0 310606255 307843072 74354 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/9397/statm: 75157 74354 77 171 0 74984 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 305984
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9391 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=491709
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=356945
# CPU time returned by wait4() is 8.84865
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.05
CPU user time (s): 1198.87
CPU system time (s): 1.18
CPU usage (%): 99.9531
Max. virtual memory (cumulated for all children) (KiB): 305984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.49171
system time used= 0.356945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41271
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= 13
involuntary context switches= 51
runsolver used 1.04084 second user time and 3.38948 second system time
The end
Begin job on node17 at 2009-05-20 15:22:00
IDJOB=1833877
IDBENCH=71011
IDSOLVER=671
FILE ID=node17/1833877-1242825718
PBS_JOBID= 9322555
Free space on /tmp= 66428 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-1833877-1242825718/watcher-1833877-1242825718 -o /tmp/evaluation-result-1833877-1242825718/solver-1833877-1242825718 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833877-1242825718.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 782c70d5631cbc24bc659543ee69ca8b
RANDOM SEED=1994175183
node17.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.234
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.234
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: 1811328 kB
Buffers: 46204 kB
Cached: 127108 kB
SwapCached: 7296 kB
Active: 54980 kB
Inactive: 127376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1811328 kB
SwapTotal: 4192956 kB
SwapFree: 4179992 kB
Dirty: 23960 kB
Writeback: 0 kB
Mapped: 14076 kB
Slab: 48248 kB
Committed_AS: 1038668 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66400 MiB
End job on node17 at 2009-05-20 15:42:03