0.00/0.19 c Parsing...
1.00/1.26 c ==============================================================================
1.00/1.26 c | | ORIGINAL | LEARNT | |
1.00/1.26 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.00/1.26 c ==============================================================================
1.00/1.26 c | 0 | 994873 2381294 | 298461 0 0 nan | 0.000 % |
7.19/7.49 c | 0 | 654137 1815422 | -- 0 -- -- | -- | -89707/7915
7.19/7.49 c ==============================================================================
7.19/7.49 c Result : #vars: 101800 #clauses: 654137 #literals: 1815422
7.19/7.49 c CPU time: 7.08292 s
7.19/7.49 c ==============================================================================
7.89/8.17 c This is MiniSat 2.0 beta
7.89/8.17 c WARNING: for repeatability, setting FPU to use double precision
7.89/8.17 c ============================[ Problem Statistics ]=============================
7.89/8.17 c | |
7.89/8.17 c | Number of variables: 101800 |
7.89/8.17 c | Number of clauses: 654137 |
7.97/8.59 c | Parsing time: 0.36 s |
7.97/8.61 c ============================[ Search Statistics ]==============================
7.97/8.61 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.97/8.61 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.97/8.61 c ===============================================================================
7.97/8.61 c | 0 | 101800 654137 1815422 | 218045 0 nan | 0.000 % |
8.59/8.84 c | 100 | 101781 654137 1815422 | 218045 98 79 | 0.267 % |
8.88/9.11 c | 200 | 101631 654137 1815422 | 218045 196 64 | 1.275 % |
9.08/9.32 c | 300 | 101513 654137 1815422 | 218045 295 55 | 1.666 % |
9.38/9.61 c | 410 | 101467 654137 1815422 | 218045 403 52 | 2.076 % |
9.49/9.76 c | 510 | 99680 639065 1777901 | 218045 500 49 | 2.083 % |
9.69/9.94 c | 620 | 99679 639065 1777901 | 218045 609 50 | 2.224 % |
9.89/10.14 c | 741 | 99679 639065 1777901 | 218045 730 51 | 2.224 % |
9.99/10.26 c | 841 | 99679 639065 1777901 | 218045 830 49 | 2.224 % |
10.08/10.37 c | 951 | 99679 639065 1777901 | 218045 940 49 | 2.224 % |
10.18/10.44 c | 1074 | 99677 639065 1777901 | 218045 1062 50 | 2.237 % |
10.48/10.77 c | 1207 | 99677 639065 1777901 | 218045 1195 50 | 2.237 % |
10.69/10.92 c | 1308 | 99523 638231 1776159 | 218045 1294 51 | 2.237 % |
10.79/11.04 c | 1422 | 99523 638231 1776159 | 218045 1408 51 | 2.237 % |
10.88/11.13 c | 1543 | 99523 638231 1776159 | 218045 1529 52 | 2.237 % |
11.08/11.32 c | 1679 | 99523 638231 1776159 | 218045 1665 54 | 2.237 % |
11.58/11.88 c | 1825 | 98646 632331 1760661 | 218045 1806 57 | 3.098 % |
11.89/12.15 c | 1925 | 98577 632331 1760661 | 218045 1902 61 | 4.182 % |
12.08/12.38 c | 2036 | 98531 632331 1760661 | 218045 2011 62 | 4.454 % |
12.38/12.60 c | 2158 | 98241 632331 1760661 | 218045 2130 61 | 4.925 % |
12.58/12.84 c | 2296 | 98241 632331 1760661 | 218045 2268 60 | 4.925 % |
12.99/13.23 c | 2442 | 96767 620562 1732545 | 218045 2406 61 | 4.944 % |
13.38/13.64 c | 2602 | 96766 620562 1732545 | 218045 2565 62 | 5.285 % |
13.58/13.87 c | 2703 | 96766 620562 1732545 | 218045 2666 61 | 5.285 % |
13.99/14.22 c | 2813 | 96765 620562 1732545 | 218045 2775 63 | 5.286 % |
14.18/14.47 c | 2934 | 96415 618819 1728362 | 218045 2893 64 | 5.561 % |
14.38/14.68 c | 3067 | 96415 618819 1728362 | 218045 3026 64 | 5.561 % |
14.58/14.81 c | 3215 | 96415 618819 1728362 | 218045 3174 63 | 5.561 % |
14.88/15.13 c | 3381 | 96415 618819 1728362 | 218045 3340 66 | 5.561 % |
15.18/15.48 c | 3558 | 96413 618819 1728362 | 218045 3515 71 | 5.575 % |
15.48/15.76 c | 3661 | 96125 616794 1723146 | 218045 3618 73 | 5.575 % |
15.58/15.89 c | 3771 | 96125 616794 1723146 | 218045 3728 75 | 5.575 % |
15.88/16.11 c | 3892 | 96125 616794 1723146 | 218045 3849 76 | 5.575 % |
16.38/16.60 c | 4026 | 96123 616794 1723146 | 218045 3982 79 | 5.752 % |
16.68/16.97 c | 4172 | 95915 615666 1720751 | 218045 4126 80 | 5.781 % |
16.98/17.22 c | 4333 | 95915 615666 1720751 | 218045 4287 80 | 5.781 % |
17.48/17.74 c | 4509 | 95915 615666 1720751 | 218045 4463 82 | 5.781 % |
18.09/18.34 c | 4703 | 95914 615666 1720751 | 218045 4656 84 | 5.782 % |
18.58/18.87 c | 4804 | 95914 615663 1720745 | 218045 4756 86 | 5.830 % |
18.88/19.18 c | 4915 | 95900 615663 1720745 | 218045 4865 86 | 5.862 % |
19.18/19.42 c | 5036 | 95883 615663 1720745 | 218045 4984 86 | 5.889 % |
19.59/19.85 c | 5169 | 95883 615663 1720745 | 218045 5117 89 | 5.889 % |
19.98/20.22 c | 5316 | 95794 615088 1719477 | 218045 5261 90 | 5.915 % |
20.38/20.61 c | 5476 | 95751 615088 1719477 | 218045 5420 89 | 6.204 % |
20.69/20.97 c | 5653 | 95749 615088 1719477 | 218045 5596 91 | 6.217 % |
20.88/21.15 c | 5848 | 95749 615088 1719477 | 218045 5791 91 | 6.217 % |
21.08/21.35 c | 6061 | 95749 615088 1719477 | 218045 6004 91 | 6.217 % |
21.18/21.47 c | 6161 | 95471 612809 1713682 | 218045 6090 92 | 6.217 % |
21.48/21.74 c | 6271 | 95471 612809 1713682 | 218045 6200 92 | 6.217 % |
21.68/21.99 c | 6392 | 95471 612809 1713682 | 218045 6321 94 | 6.217 % |
22.08/22.34 c | 6526 | 95471 612809 1713682 | 218045 6455 93 | 6.217 % |
22.38/22.69 c | 6672 | 95468 612809 1713682 | 218045 6600 94 | 6.230 % |
22.98/23.26 c | 6832 | 95468 612809 1713682 | 218045 6760 98 | 6.230 % |
23.38/23.66 c | 7008 | 95428 612705 1713407 | 218045 6935 101 | 7.446 % |
23.88/24.14 c | 7204 | 95426 612705 1713407 | 218045 7130 100 | 7.449 % |
24.38/24.62 c | 7416 | 95426 612705 1713407 | 218045 7341 102 | 8.103 % |
24.68/24.99 c | 7651 | 95426 612705 1713407 | 218045 7576 102 | 8.103 % |
24.88/25.16 c | 7753 | 93548 599578 1679596 | 218045 7673 101 | 8.117 % |
25.18/25.44 c | 7863 | 93546 599578 1679596 | 218045 7783 101 | 8.117 % |
25.59/25.81 c | 7986 | 93540 599578 1679596 | 218045 7905 101 | 8.125 % |
25.79/26.04 c | 8119 | 93538 599578 1679596 | 218045 8036 101 | 8.127 % |
26.48/26.76 c | 8265 | 93538 599578 1679596 | 218045 8182 104 | 8.127 % |
26.88/27.16 c | 8427 | 93527 599424 1679218 | 218045 8342 104 | 8.127 % |
27.48/27.71 c | 8604 | 93527 599424 1679218 | 218045 8519 104 | 8.127 % |
27.88/28.13 c | 8799 | 93519 599424 1679218 | 218045 8710 104 | 8.177 % |
28.68/28.96 c | 9011 | 93326 598420 1676985 | 218045 8920 108 | 8.324 % |
28.98/29.25 c | 9248 | 93325 598420 1676985 | 218045 9156 108 | 8.339 % |
29.98/30.24 c | 9505 | 93324 598420 1676985 | 218045 9413 111 | 8.339 % |
30.18/30.41 c | 9606 | 93324 598420 1676985 | 218045 9514 110 | 8.339 % |
30.58/30.80 c | 9717 | 93324 598420 1676985 | 218045 9625 112 | 8.339 % |
30.88/31.16 c | 9838 | 93311 598307 1676693 | 218045 9744 113 | 8.339 % |
31.28/31.54 c | 9971 | 93311 598307 1676693 | 218045 9877 113 | 8.339 % |
31.58/31.86 c | 10117 | 93311 598307 1676693 | 2147483647 10023 114 | 8.339 % |
32.38/32.69 c | 10277 | 93311 598307 1676693 | 2147483647 10183 116 | 8.339 % |
32.68/32.99 c | 10454 | 93311 598307 1676693 | 2147483647 10360 118 | 8.339 % |
33.28/33.54 c | 10647 | 93311 598307 1676693 | 2147483647 10553 120 | 8.339 % |
33.58/33.83 c | 10859 | 93311 598307 1676693 | 2147483647 10765 119 | 8.339 % |
34.18/34.45 c | 11093 | 93311 598307 1676693 | 2147483647 10999 120 | 8.339 % |
34.58/34.86 c | 11349 | 93311 598307 1676693 | 2147483647 11255 120 | 8.339 % |
36.27/36.57 c | 11630 | 93311 598307 1676693 | 2147483647 11536 124 | 8.339 % |
36.77/37.04 c | 11735 | 93311 598307 1676693 | 2147483647 11641 125 | 8.339 % |
37.08/37.35 c | 11847 | 93310 598303 1676685 | 2147483647 11752 125 | 8.340 % |
37.37/37.69 c | 11968 | 93310 598303 1676685 | 2147483647 11873 125 | 8.340 % |
37.67/37.94 c | 12101 | 93310 598303 1676685 | 2147483647 12006 126 | 8.340 % |
37.87/38.13 c | 12253 | 93310 598303 1676685 | 2147483647 12158 126 | 8.340 % |
38.47/38.71 c | 12413 | 93298 598303 1676685 | 2147483647 12315 126 | 8.380 % |
38.97/39.22 c | 12591 | 93297 598303 1676685 | 2147483647 12492 127 | 8.393 % |
39.57/39.89 c | 12785 | 93297 598303 1676685 | 2147483647 12686 127 | 8.393 % |
40.07/40.39 c | 12997 | 93256 597913 1675705 | 2147483647 12893 127 | 8.393 % |
40.68/40.94 c | 13231 | 93255 597913 1675705 | 2147483647 13126 128 | 8.404 % |
41.38/41.68 c | 13487 | 93254 597913 1675705 | 2147483647 13380 130 | 8.472 % |
41.98/42.21 c | 13770 | 93253 597913 1675705 | 2147483647 13662 129 | 8.491 % |
42.88/43.17 c | 14083 | 93155 597221 1674111 | 2147483647 13965 130 | 8.497 % |
43.08/43.35 c | 14184 | 93155 597221 1674111 | 2147483647 14066 130 | 8.497 % |
43.28/43.55 c | 14294 | 93155 597221 1674111 | 2147483647 14176 130 | 8.497 % |
43.48/43.71 c | 14417 | 93155 597221 1674111 | 2147483647 14299 130 | 8.497 % |
43.58/43.84 c | 14554 | 93155 597221 1674111 | 2147483647 14436 129 | 8.497 % |
43.78/44.03 c | 14700 | 93155 597221 1674111 | 2147483647 14582 129 | 8.497 % |
44.78/45.02 c | 14862 | 93155 597221 1674111 | 2147483647 14744 132 | 8.497 % |
45.38/45.66 c | 15038 | 93115 597152 1673946 | 2147483647 14916 133 | 8.580 % |
46.17/46.46 c | 15232 | 93111 597152 1673946 | 2147483647 15108 134 | 8.839 % |
46.67/46.93 c | 15445 | 93109 597152 1673946 | 2147483647 15320 134 | 8.846 % |
47.57/47.89 c | 15678 | 93108 597152 1673946 | 2147483647 15553 138 | 8.846 % |
48.37/48.68 c | 15935 | 92794 595239 1669748 | 2147483647 15808 139 | 8.944 % |
48.97/49.20 c | 16217 | 92794 595239 1669748 | 2147483647 16090 139 | 8.944 % |
50.27/50.55 c | 16527 | 92794 595239 1669748 | 2147483647 16400 142 | 8.944 % |
50.97/51.23 c | 16866 | 92794 595239 1669748 | 2147483647 16739 141 | 8.944 % |
51.37/51.63 c | 16968 | 92694 594833 1668905 | 2147483647 16831 141 | 8.956 % |
51.67/51.96 c | 17078 | 92694 594833 1668905 | 2147483647 16941 141 | 8.956 % |
51.98/52.22 c | 17199 | 92694 594833 1668905 | 2147483647 17062 140 | 8.956 % |
52.58/52.84 c | 17335 | 92694 594833 1668905 | 2147483647 17198 142 | 8.956 % |
53.18/53.43 c | 17481 | 92694 594833 1668905 | 2147483647 17344 143 | 8.956 % |
53.88/54.14 c | 17642 | 92694 594833 1668905 | 2147483647 17505 144 | 8.956 % |
54.68/55.00 c | 17818 | 92694 594833 1668905 | 2147483647 17681 146 | 8.956 % |
55.47/55.76 c | 18011 | 92683 594737 1668647 | 2147483647 17873 146 | 8.956 % |
56.88/57.15 c | 18224 | 92651 594737 1668647 | 2147483647 18085 150 | 9.295 % |
58.27/58.54 c | 18457 | 92650 594737 1668647 | 2147483647 18317 154 | 9.296 % |
59.27/59.52 c | 18715 | 92325 592132 1661750 | 2147483647 18568 155 | 9.307 % |
59.87/60.17 c | 18997 | 92325 592132 1661750 | 2147483647 18850 154 | 9.307 % |
60.37/60.69 c | 19306 | 92304 592132 1661750 | 2147483647 19156 154 | 9.494 % |
61.07/61.32 c | 19645 | 92302 592132 1661750 | 2147483647 19494 154 | 9.500 % |
62.57/62.83 c | 20019 | 92298 592132 1661750 | 2147483647 19867 155 | 9.506 % |
62.97/63.21 c | 20120 | 92123 590684 1658026 | 2147483647 19962 155 | 9.506 % |
63.17/63.47 c | 20230 | 92123 590684 1658026 | 2147483647 20072 155 | 9.506 % |
63.77/64.04 c | 20353 | 92122 590684 1658026 | 2147483647 20194 156 | 9.520 % |
64.07/64.39 c | 20489 | 92118 590684 1658026 | 2147483647 20327 156 | 9.532 % |
64.57/64.81 c | 20635 | 92104 590684 1658026 | 2147483647 20472 155 | 9.590 % |
64.77/65.02 c | 20795 | 92095 590684 1658026 | 2147483647 20629 154 | 9.632 % |
65.47/65.74 c | 20971 | 92094 590684 1658026 | 2147483647 20804 156 | 9.635 % |
65.97/66.28 c | 21166 | 92092 590684 1658026 | 2147483647 20997 157 | 9.874 % |
66.97/67.29 c | 21381 | 91720 588210 1652348 | 2147483647 21103 160 | 9.902 % |
67.97/68.29 c | 21614 | 91719 588210 1652348 | 2147483647 21335 162 | 9.908 % |
69.46/69.70 c | 21873 | 91710 588210 1652348 | 2147483647 21591 164 | 9.984 % |
70.87/71.15 c | 22159 | 91710 588210 1652348 | 2147483647 21877 165 | 9.984 % |
71.77/72.01 c | 22468 | 91636 587799 1651513 | 2147483647 22181 167 | 9.984 % |
72.76/73.05 c | 22807 | 91636 587799 1651513 | 2147483647 22520 167 | 9.984 % |
74.15/74.45 c | 23179 | 91636 587799 1651513 | 2147483647 22892 168 | 9.984 % |
75.25/75.56 c | 23590 | 91636 587799 1651513 | 2147483647 23303 168 | 9.984 % |
75.65/75.93 c | 23693 | 91636 587799 1651513 | 2147483647 23406 168 | 9.984 % |
75.95/76.27 c | 23803 | 91636 587799 1651513 | 2147483647 23516 168 | 9.984 % |
76.55/76.87 c | 23924 | 91466 587214 1650273 | 2147483647 23591 169 | 10.151 % |
77.15/77.40 c | 24060 | 91466 587214 1650273 | 2147483647 23727 169 | 10.151 % |
77.85/78.12 c | 24206 | 91464 587214 1650273 | 2147483647 23872 170 | 10.250 % |
78.45/78.79 c | 24366 | 91464 587214 1650273 | 2147483647 24032 170 | 10.250 % |
79.15/79.45 c | 24543 | 91464 587214 1650273 | 2147483647 24209 171 | 10.250 % |
79.45/79.74 c | 24736 | 91464 587214 1650273 | 2147483647 24402 171 | 10.250 % |
80.45/80.78 c | 24949 | 91464 587214 1650273 | 2147483647 24614 171 | 10.259 % |
81.06/81.37 c | 25184 | 91355 586580 1648726 | 2147483647 24837 171 | 10.263 % |
81.65/81.96 c | 25444 | 91353 586580 1648726 | 2147483647 25095 171 | 10.310 % |
82.35/82.70 c | 25725 | 91351 586580 1648726 | 2147483647 25375 172 | 10.322 % |
82.95/83.26 c | 26037 | 91351 586580 1648726 | 2147483647 25687 171 | 10.322 % |
84.65/84.94 c | 26376 | 91349 586580 1648726 | 2147483647 26024 174 | 10.348 % |
85.56/85.87 c | 26749 | 91346 586580 1648726 | 2147483647 26396 173 | 10.355 % |
88.05/88.33 c | 27159 | 91259 585778 1646617 | 2147483647 26789 175 | 10.355 % |
90.54/90.89 c | 27608 | 91258 585774 1646609 | 2147483647 27237 179 | 10.356 % |
90.95/91.23 c | 27708 | 91255 585774 1646609 | 2147483647 27335 179 | 10.383 % |
91.34/91.62 c | 27818 | 91255 585774 1646609 | 2147483647 27445 179 | 10.383 % |
92.05/92.30 c | 27939 | 91255 585774 1646609 | 2147483647 27566 180 | 10.383 % |
92.54/92.83 c | 28074 | 91255 585774 1646609 | 2147483647 27701 180 | 10.383 % |
93.15/93.45 c | 28220 | 91255 585774 1646609 | 2147483647 27847 181 | 10.383 % |
93.55/93.84 c | 28381 | 91255 585774 1646609 | 2147483647 28008 181 | 10.383 % |
94.04/94.39 c | 28558 | 91252 585774 1646609 | 2147483647 28181 181 | 10.419 % |
94.35/94.62 c | 28752 | 91252 585774 1646609 | 2147483647 28375 181 | 10.419 % |
94.65/94.97 c | 28970 | 91251 585774 1646609 | 2147483647 28592 181 | 10.425 % |
95.65/95.92 c | 29203 | 91250 585774 1646609 | 2147483647 28825 182 | 10.425 % |
97.25/97.59 c | 29460 | 91187 585183 1645060 | 2147483647 29071 183 | 10.425 % |
98.55/98.87 c | 29741 | 91186 585183 1645060 | 2147483647 29351 185 | 10.437 % |
99.55/99.82 c | 30050 | 91186 585183 1645060 | 2147483647 29660 186 | 10.437 % |
100.54/100.80 c | 30389 | 91186 585183 1645060 | 2147483647 29999 187 | 10.437 % |
101.44/101.75 c | 30762 | 91186 585183 1645060 | 2147483647 30372 188 | 10.437 % |
103.74/104.04 c | 31171 | 91175 585081 1644797 | 2147483647 30779 191 | 10.437 % |
105.74/106.03 c | 31620 | 91175 585081 1644797 | 2147483647 31228 193 | 10.437 % |
106.85/107.14 c | 32113 | 91174 585081 1644797 | 2147483647 31720 193 | 10.438 % |
106.95/107.27 c | 32213 | 91174 585081 1644797 | 2147483647 31820 193 | 10.438 % |
107.25/107.52 c | 32323 | 91174 585081 1644797 | 2147483647 31930 193 | 10.438 % |
107.75/108.09 c | 32447 | 91174 585081 1644797 | 2147483647 32054 193 | 10.438 % |
108.35/108.67 c | 32581 | 91174 585077 1644789 | 2147483647 32188 194 | 10.438 % |
108.85/109.12 c | 32728 | 91174 585077 1644789 | 2147483647 32335 194 | 10.438 % |
109.25/109.59 c | 32889 | 91174 585077 1644789 | 2147483647 32496 194 | 10.438 % |
109.55/109.81 c | 33066 | 91174 585077 1644789 | 2147483647 32673 194 | 10.438 % |
110.65/110.95 c | 33259 | 91174 585077 1644789 | 2147483647 32866 194 | 10.438 % |
111.25/111.60 c | 33471 | 91174 585077 1644789 | 2147483647 33078 194 | 10.438 % |
112.25/112.58 c | 33705 | 91174 585077 1644789 | 2147483647 33312 195 | 10.438 % |
113.45/113.74 c | 33963 | 91166 585077 1644789 | 2147483647 33568 195 | 10.451 % |
114.75/115.00 c | 34246 | 91166 585077 1644789 | 2147483647 33851 196 | 10.451 % |
115.94/116.25 c | 34556 | 91155 584976 1644542 | 2147483647 34157 198 | 10.596 % |
117.84/118.10 c | 34896 | 91106 584976 1644542 | 2147483647 34496 200 | 10.607 % |
119.14/119.45 c | 35268 | 91106 584976 1644542 | 2147483647 34868 200 | 10.607 % |
120.24/120.55 c | 35680 | 91106 584976 1644542 | 2147483647 35280 202 | 10.607 % |
121.04/121.33 c | 36130 | 91105 584976 1644542 | 2147483647 35729 201 | 10.608 % |
122.84/123.20 c | 36623 | 91105 584976 1644542 | 2147483647 36222 202 | 10.608 % |
124.73/125.09 c | 37165 | 91001 584117 1642561 | 2147483647 36757 203 | 10.608 % |
125.54/125.87 c | 37265 | 90999 584117 1642561 | 2147483647 36856 203 | 10.613 % |
126.04/126.33 c | 37377 | 90998 584117 1642561 | 2147483647 36967 203 | 10.624 % |
126.34/126.61 c | 37498 | 90998 584117 1642561 | 2147483647 37088 203 | 10.624 % |
126.64/126.99 c | 37634 | 90998 584117 1642561 | 2147483647 37224 203 | 10.624 % |
127.24/127.55 c | 37781 | 90998 584117 1642561 | 2147483647 37371 203 | 10.624 % |
127.84/128.12 c | 37943 | 90998 584117 1642561 | 2147483647 37533 203 | 10.624 % |
128.84/129.15 c | 38119 | 90998 584117 1642561 | 2147483647 37709 204 | 10.624 % |
129.94/130.26 c | 38314 | 90995 584117 1642561 | 2147483647 37902 204 | 10.646 % |
130.84/131.17 c | 38528 | 90962 583797 1641718 | 2147483647 38109 204 | 10.646 % |
132.14/132.40 c | 38763 | 90961 583797 1641718 | 2147483647 38343 205 | 10.658 % |
133.23/133.53 c | 39019 | 90961 583797 1641718 | 2147483647 38598 205 | 10.659 % |
133.94/134.26 c | 39300 | 90961 583797 1641718 | 2147483647 38879 205 | 10.659 % |
134.33/134.69 c | 39613 | 90961 583797 1641718 | 2147483647 39192 204 | 10.659 % |
135.43/135.74 c | 39952 | 90961 583797 1641718 | 2147483647 39531 205 | 10.659 % |
136.63/136.91 c | 40325 | 90961 583797 1641718 | 2147483647 39904 206 | 10.659 % |
138.83/139.11 c | 40734 | 90961 583797 1641718 | 2147483647 40313 208 | 10.659 % |
141.33/141.61 c | 41185 | 90946 583689 1641439 | 2147483647 40759 209 | 10.662 % |
143.03/143.38 c | 41678 | 90946 583689 1641439 | 2147483647 41252 208 | 10.662 % |
145.63/145.99 c | 42224 | 90942 583689 1641439 | 2147483647 41797 211 | 10.676 % |
149.63/149.91 c | 42820 | 90942 583689 1641439 | 2147483647 42393 211 | 10.676 % |
149.93/150.22 c | 42920 | 90932 583570 1641129 | 2147483647 42487 211 | 10.676 % |
150.23/150.56 c | 43030 | 90932 583570 1641129 | 2147483647 42597 211 | 10.676 % |
150.53/150.83 c | 43151 | 90932 583570 1641129 | 2147483647 42718 211 | 10.676 % |
151.13/151.44 c | 43284 | 90932 583570 1641129 | 2147483647 42851 211 | 10.676 % |
151.93/152.22 c | 43431 | 90932 583570 1641129 | 2147483647 42998 212 | 10.676 % |
152.54/152.87 c | 43592 | 90932 583570 1641129 | 2147483647 43159 212 | 10.676 % |
153.53/153.82 c | 43768 | 90932 583570 1641129 | 2147483647 43335 212 | 10.676 % |
154.43/154.78 c | 43961 | 90932 583570 1641129 | 2147483647 43528 213 | 10.676 % |
155.03/155.35 c | 44177 | 90932 583570 1641129 | 2147483647 43744 213 | 10.676 % |
156.53/156.82 c | 44410 | 90932 583570 1641129 | 2147483647 43977 213 | 10.676 % |
157.53/157.84 c | 44667 | 90932 583570 1641129 | 2147483647 44234 213 | 10.676 % |
159.13/159.46 c | 44948 | 90932 583570 1641129 | 2147483647 44515 213 | 10.676 % |
160.92/161.20 c | 45257 | 90928 583513 1641002 | 2147483647 44816 216 | 10.680 % |
162.62/162.98 c | 45596 | 90928 583513 1641002 | 2147483647 45155 215 | 10.680 % |
164.43/164.75 c | 45968 | 90928 583513 1641002 | 2147483647 45527 216 | 10.680 % |
165.83/166.11 c | 46380 | 90927 583513 1641002 | 2147483647 45938 216 | 10.684 % |
168.53/168.88 c | 46830 | 90927 583513 1641002 | 2147483647 46388 218 | 10.684 % |
170.83/171.19 c | 47325 | 90927 583513 1641002 | 2147483647 46883 219 | 10.684 % |
172.43/172.78 c | 47867 | 90924 583458 1640879 | 2147483647 47419 219 | 10.691 % |
175.93/176.25 c | 48463 | 90922 583458 1640879 | 2147483647 48013 221 | 10.701 % |
178.53/178.87 c | 49131 | 90921 583458 1640879 | 2147483647 48680 221 | 10.712 % |
179.03/179.38 c | 49231 | 90921 583458 1640879 | 2147483647 48780 221 | 10.712 % |
179.63/179.96 c | 49342 | 90921 583458 1640879 | 2147483647 48891 221 | 10.712 % |
180.33/180.65 c | 49463 | 90921 583458 1640879 | 2147483647 49011 221 | 10.752 % |
181.13/181.43 c | 49596 | 90853 583021 1639833 | 2147483647 49123 221 | 10.753 % |
181.53/181.82 c | 49747 | 90853 583021 1639833 | 2147483647 49274 221 | 10.753 % |
182.23/182.58 c | 49908 | 90853 583021 1639833 | 2147483647 49435 221 | 10.753 % |
183.03/183.33 c | 50085 | 90853 583021 1639833 | 2147483647 49612 221 | 10.753 % |
183.92/184.23 c | 50279 | 90853 583021 1639833 | 2147483647 49806 222 | 10.753 % |
185.22/185.53 c | 50493 | 90852 583021 1639833 | 2147483647 50018 222 | 10.772 % |
186.12/186.45 c | 50728 | 90852 583021 1639833 | 2147483647 50252 222 | 10.779 % |
186.52/186.83 c | 50984 | 90850 583021 1639833 | 2147483647 50507 221 | 10.786 % |
187.12/187.49 c | 51267 | 90850 583021 1639833 | 2147483647 50789 221 | 10.787 % |
188.22/188.58 c | 51576 | 90845 583021 1639833 | 2147483647 51096 221 | 10.801 % |
189.62/189.93 c | 51916 | 90844 583021 1639833 | 2147483647 51435 222 | 10.802 % |
192.23/192.50 c | 52290 | 90844 583021 1639833 | 2147483647 51809 223 | 10.802 % |
194.72/195.09 c | 52700 | 90803 582537 1638663 | 2147483647 52169 223 | 10.803 % |
197.12/197.45 c | 53154 | 90802 582537 1638663 | 2147483647 52622 223 | 10.804 % |
199.51/199.90 c | 53647 | 90802 582537 1638663 | 2147483647 53115 225 | 10.804 % |
202.31/202.63 c | 54191 | 90799 582537 1638663 | 2147483647 53655 225 | 10.807 % |
204.22/204.60 c | 54788 | 90798 582537 1638663 | 2147483647 54251 225 | 10.812 % |
205.71/206.08 c | 55444 | 90793 582448 1638469 | 2147483647 54894 225 | 10.812 % |
209.52/209.88 c | 56164 | 90792 582448 1638469 | 2147483647 55613 227 | 10.813 % |
209.72/210.07 c | 56267 | 90792 582448 1638469 | 2147483647 55716 227 | 10.813 % |
210.02/210.35 c | 56379 | 90792 582448 1638469 | 2147483647 55828 226 | 10.813 % |
210.82/211.16 c | 56503 | 90792 582448 1638469 | 2147483647 55952 227 | 10.813 % |
211.32/211.69 c | 56636 | 90789 582448 1638469 | 2147483647 56083 227 | 10.831 % |
211.72/212.08 c | 56782 | 90788 582448 1638469 | 2147483647 56228 227 | 10.851 % |
212.92/213.28 c | 56942 | 90786 582448 1638469 | 2147483647 56388 227 | 10.851 % |
213.92/214.23 c | 57120 | 90786 582448 1638469 | 2147483647 56566 227 | 10.851 % |
214.71/215.03 c | 57316 | 90786 582448 1638469 | 2147483647 56762 227 | 10.851 % |
215.61/215.99 c | 57528 | 90785 582448 1638469 | 2147483647 56973 227 | 10.860 % |
216.01/216.33 c | 57763 | 90784 582448 1638469 | 2147483647 57207 227 | 11.706 % |
218.11/218.40 c | 58021 | 90783 582448 1638469 | 2147483647 57464 228 | 11.707 % |
219.51/219.80 c | 58302 | 89882 570879 1607358 | 2147483647 56561 230 | 11.711 % |
220.81/221.12 c | 58613 | 89882 570879 1607358 | 2147483647 56872 231 | 11.711 % |
222.21/222.51 c | 58952 | 89881 570879 1607358 | 2147483647 57210 230 | 11.722 % |
224.12/224.46 c | 59324 | 89881 570879 1607358 | 2147483647 57582 231 | 11.722 % |
225.01/225.37 c | 59733 | 89881 570879 1607358 | 2147483647 57991 231 | 11.722 % |
226.91/227.24 c | 60183 | 89880 570879 1607358 | 2147483647 58440 232 | 11.760 % |
229.91/230.22 c | 60677 | 89879 570879 1607358 | 2147483647 58933 234 | 11.761 % |
232.71/233.04 c | 61220 | 89822 570558 1606612 | 2147483647 59442 235 | 11.773 % |
236.01/236.33 c | 61817 | 89822 570558 1606612 | 2147483647 60038 237 | 11.783 % |
238.90/239.23 c | 62474 | 89822 570558 1606612 | 2147483647 60694 239 | 11.794 % |
241.30/241.61 c | 63195 | 89819 570558 1606612 | 2147483647 61412 241 | 12.012 % |
245.90/246.28 c | 63987 | 89819 570558 1606612 | 2147483647 62204 241 | 12.012 % |
246.20/246.51 c | 64087 | 89572 568703 1601735 | 2147483647 62268 241 | 12.012 % |
246.50/246.81 c | 64197 | 89572 568703 1601735 | 2147483647 62378 241 | 12.012 % |
247.31/247.61 c | 64321 | 89572 568703 1601735 | 2147483647 62502 241 | 12.012 % |
248.31/248.62 c | 64454 | 89572 568703 1601735 | 2147483647 62634 241 | 12.128 % |
249.41/249.75 c | 64600 | 89572 568703 1601735 | 2147483647 62780 241 | 12.128 % |
250.31/250.64 c | 64767 | 89572 568703 1601735 | 2147483647 62947 241 | 12.128 % |
251.11/251.42 c | 64946 | 89572 568703 1601735 | 2147483647 63126 241 | 12.128 % |
252.21/252.59 c | 65139 | 89564 568703 1601735 | 2147483647 63318 241 | 12.143 % |
253.30/253.60 c | 65351 | 89564 568703 1601735 | 2147483647 63530 241 | 12.143 % |
254.10/254.45 c | 65592 | 89563 568703 1601735 | 2147483647 63770 241 | 12.155 % |
255.70/256.01 c | 65849 | 89563 568703 1601735 | 2147483647 64027 241 | 12.155 % |
257.40/257.75 c | 66130 | 89551 568703 1601735 | 2147483647 64307 241 | 12.306 % |
258.30/258.62 c | 66440 | 89551 568703 1601735 | 2147483647 64617 241 | 12.306 % |
260.10/260.43 c | 66780 | 89551 568703 1601735 | 2147483647 64957 242 | 12.306 % |
261.70/262.04 c | 67152 | 89551 568703 1601735 | 2147483647 65329 242 | 12.306 % |
263.90/264.28 c | 67562 | 89273 566869 1597421 | 2147483647 65606 243 | 12.318 % |
265.10/265.48 c | 68011 | 89273 566869 1597421 | 2147483647 66055 244 | 12.318 % |
267.80/268.18 c | 68505 | 89273 566869 1597421 | 2147483647 66548 244 | 12.402 % |
269.70/270.00 c | 69047 | 89273 566869 1597421 | 2147483647 67089 244 | 12.408 % |
271.00/271.34 c | 69643 | 89273 566869 1597421 | 2147483647 67685 243 | 12.408 % |
274.80/275.18 c | 70301 | 89272 566869 1597421 | 2147483647 68343 245 | 12.408 % |
278.80/279.10 c | 71022 | 89168 566076 1595326 | 2147483647 69053 244 | 12.437 % |
282.30/282.70 c | 71816 | 89168 566076 1595326 | 2147483647 69847 245 | 12.437 % |
288.39/288.75 c | 72691 | 89168 566076 1595326 | 2147483647 70722 247 | 12.437 % |
289.09/289.40 c | 72791 | 89168 566076 1595326 | 2147483647 70822 247 | 12.437 % |
289.49/289.83 c | 72901 | 89167 566076 1595326 | 2147483647 70931 247 | 12.554 % |
290.10/290.45 c | 73022 | 89167 566076 1595326 | 2147483647 71052 247 | 12.554 % |
290.89/291.27 c | 73155 | 89167 566076 1595326 | 2147483647 71185 247 | 12.554 % |
291.49/291.83 c | 73304 | 89167 566076 1595326 | 2147483647 71334 247 | 12.554 % |
291.79/292.16 c | 73464 | 89167 566076 1595326 | 2147483647 71494 247 | 12.554 % |
292.89/293.20 c | 73643 | 89167 566076 1595326 | 2147483647 71673 247 | 12.554 % |
294.29/294.67 c | 73839 | 89167 566076 1595326 | 2147483647 71869 247 | 12.554 % |
295.79/296.19 c | 74051 | 89167 566076 1595326 | 2147483647 72081 247 | 12.554 % |
296.49/296.90 c | 74284 | 89019 565421 1593858 | 2147483647 72297 247 | 12.555 % |
296.99/297.36 c | 74541 | 89019 565421 1593858 | 2147483647 72554 247 | 12.555 % |
298.39/298.74 c | 74826 | 89019 565421 1593858 | 2147483647 72839 247 | 12.555 % |
299.19/299.52 c | 75138 | 89019 565421 1593858 | 2147483647 73151 247 | 12.555 % |
301.28/301.61 c | 75483 | 89019 565421 1593858 | 2147483647 73495 247 | 12.644 % |
303.68/304.05 c | 75857 | 89017 565421 1593858 | 2147483647 73866 247 | 12.648 % |
305.59/305.90 c | 76267 | 89017 565421 1593858 | 2147483647 74275 247 | 12.651 % |
307.69/308.04 c | 76718 | 89017 565421 1593858 | 2147483647 74725 247 | 12.655 % |
309.89/310.28 c | 77212 | 89016 565421 1593858 | 2147483647 75218 247 | 12.659 % |
311.78/312.12 c | 77757 | 89016 565421 1593858 | 2147483647 75763 248 | 12.659 % |
316.18/316.52 c | 78355 | 89016 565421 1593858 | 2147483647 76361 248 | 12.659 % |
318.99/319.30 c | 79010 | 88911 564758 1592223 | 2147483647 76968 249 | 12.661 % |
321.09/321.42 c | 79731 | 88910 564758 1592223 | 2147483647 77688 248 | 12.662 % |
325.58/325.97 c | 80523 | 88909 564758 1592223 | 2147483647 78479 250 | 12.674 % |
329.58/329.94 c | 81394 | 88909 564758 1592223 | 2147483647 79350 250 | 12.674 % |
333.88/334.29 c | 82353 | 88909 564758 1592223 | 2147483647 80309 250 | 12.674 % |
334.18/334.50 c | 82453 | 88909 564758 1592223 | 2147483647 80409 249 | 12.674 % |
334.87/335.28 c | 82564 | 88907 564758 1592223 | 2147483647 80518 250 | 13.078 % |
335.67/336.07 c | 82685 | 88907 564758 1592223 | 2147483647 80639 249 | 13.078 % |
336.37/336.73 c | 82818 | 88485 561754 1584421 | 2147483647 80757 249 | 13.080 % |
336.78/337.18 c | 82967 | 88471 561754 1584421 | 2147483647 80904 249 | 13.183 % |
337.88/338.28 c | 83130 | 88471 561754 1584421 | 2147483647 81067 249 | 13.183 % |
339.18/339.52 c | 83306 | 88470 561754 1584421 | 2147483647 81242 249 | 13.195 % |
340.48/340.87 c | 83499 | 88470 561754 1584421 | 2147483647 81435 249 | 13.194 % |
341.98/342.33 c | 83711 | 88470 561754 1584421 | 2147483647 81647 248 | 13.194 % |
343.28/343.69 c | 83945 | 88469 561754 1584421 | 2147483647 81880 248 | 13.195 % |
344.98/345.31 c | 84204 | 88469 561754 1584421 | 2147483647 82139 249 | 13.195 % |
346.17/346.53 c | 84485 | 88469 561754 1584421 | 2147483647 82420 250 | 13.195 % |
347.37/347.77 c | 84795 | 88469 561754 1584421 | 2147483647 82730 250 | 13.195 % |
348.87/349.20 c | 85134 | 88467 561754 1584421 | 2147483647 83068 249 | 13.204 % |
351.27/351.68 c | 85509 | 88467 561754 1584421 | 2147483647 83443 249 | 13.204 % |
353.17/353.56 c | 85920 | 88467 561754 1584421 | 2147483647 83854 250 | 13.204 % |
355.77/356.14 c | 86370 | 88467 561754 1584421 | 2147483647 84304 251 | 13.204 % |
359.37/359.74 c | 86863 | 88358 560858 1582108 | 2147483647 84771 251 | 13.204 % |
363.36/363.73 c | 87409 | 88358 560858 1582108 | 2147483647 85317 251 | 13.204 % |
366.06/366.44 c | 88012 | 88358 560858 1582108 | 2147483647 85920 250 | 13.204 % |
370.57/370.90 c | 88671 | 88358 560858 1582108 | 2147483647 86579 250 | 13.204 % |
373.47/373.89 c | 89392 | 88358 560858 1582108 | 2147483647 87300 250 | 13.204 % |
378.76/379.13 c | 90185 | 88358 560858 1582108 | 2147483647 88093 253 | 13.204 % |
384.66/385.08 c | 91057 | 88346 560757 1581839 | 2147483647 88958 252 | 13.216 % |
391.06/391.41 c | 92015 | 88346 560757 1581839 | 2147483647 89916 253 | 13.216 % |
398.86/399.30 c | 93069 | 88346 560757 1581839 | 2147483647 90970 255 | 13.216 % |
399.45/399.84 c | 93169 | 88346 560757 1581839 | 2147483647 91070 255 | 13.216 % |
400.16/400.50 c | 93282 | 88346 560757 1581839 | 2147483647 91183 255 | 13.216 % |
400.66/401.04 c | 93405 | 88346 560757 1581839 | 2147483647 91306 255 | 13.216 % |
401.46/401.80 c | 93542 | 88346 560757 1581839 | 2147483647 91443 255 | 13.216 % |
402.26/402.65 c | 93689 | 88346 560757 1581839 | 2147483647 91590 255 | 13.216 % |
402.86/403.23 c | 93851 | 88346 560757 1581839 | 2147483647 91752 255 | 13.216 % |
403.96/404.32 c | 94029 | 88346 560757 1581839 | 2147483647 91930 255 | 13.216 % |
404.96/405.34 c | 94223 | 88346 560757 1581839 | 2147483647 92124 255 | 13.216 % |
405.65/406.04 c | 94437 | 88346 560757 1581839 | 2147483647 92338 255 | 13.216 % |
407.25/407.60 c | 94673 | 88346 560757 1581839 | 2147483647 92574 255 | 13.216 % |
408.65/409.09 c | 94929 | 88346 560757 1581839 | 2147483647 92830 255 | 13.216 % |
410.15/410.55 c | 95210 | 88346 560757 1581839 | 2147483647 93111 255 | 13.216 % |
412.25/412.62 c | 95522 | 88341 560740 1581804 | 2147483647 93422 256 | 13.221 % |
413.95/414.37 c | 95864 | 88341 560740 1581804 | 2147483647 93764 256 | 13.221 % |
415.15/415.56 c | 96236 | 88341 560740 1581804 | 2147483647 94136 255 | 13.221 % |
418.05/418.47 c | 96646 | 88341 560740 1581804 | 2147483647 94546 256 | 13.221 % |
421.15/421.59 c | 97097 | 88341 560740 1581804 | 2147483647 94997 256 | 13.221 % |
423.75/424.19 c | 97590 | 88341 560740 1581804 | 2147483647 95490 255 | 13.221 % |
426.35/426.75 c | 98132 | 88341 560740 1581804 | 2147483647 96032 255 | 13.221 % |
429.35/429.72 c | 98729 | 88340 560740 1581804 | 2147483647 96628 255 | 13.226 % |
432.75/433.13 c | 99384 | 88340 560740 1581804 | 2147483647 97283 255 | 13.226 % |
437.75/438.14 c | 100109 | 88340 560740 1581804 | 2147483647 98008 255 | 13.226 % |
440.85/441.22 c | 100901 | 88336 560678 1581653 | 2147483647 98799 254 | 13.226 % |
445.24/445.67 c | 101775 | 88336 560678 1581653 | 2147483647 99673 254 | 13.226 % |
450.24/450.61 c | 102733 | 88336 560678 1581653 | 2147483647 100631 255 | 13.226 % |
456.04/456.42 c | 103786 | 88335 560678 1581653 | 2147483647 101683 255 | 13.227 % |
460.73/461.20 c | 104944 | 88335 560678 1581653 | 2147483647 102841 253 | 13.227 % |
460.93/461.39 c | 105045 | 88335 560678 1581653 | 2147483647 102942 253 | 13.227 % |
461.73/462.13 c | 105155 | 88335 560678 1581653 | 2147483647 103052 253 | 13.227 % |
462.53/462.92 c | 105276 | 88335 560678 1581653 | 2147483647 103173 253 | 13.227 % |
463.44/463.84 c | 105409 | 88335 560678 1581653 | 2147483647 103306 253 | 13.227 % |
464.14/464.52 c | 105555 | 88335 560678 1581653 | 2147483647 103452 253 | 13.227 % |
464.84/465.20 c | 105718 | 88335 560678 1581653 | 2147483647 103615 253 | 13.227 % |
465.94/466.39 c | 105895 | 88333 560670 1581637 | 2147483647 103788 253 | 13.230 % |
467.04/467.41 c | 106089 | 88333 560670 1581637 | 2147483647 103982 253 | 13.230 % |
468.04/468.43 c | 106301 | 88333 560670 1581637 | 2147483647 104194 253 | 13.230 % |
468.93/469.31 c | 106536 | 88333 560670 1581637 | 2147483647 104429 253 | 13.230 % |
470.03/470.40 c | 106794 | 88333 560670 1581637 | 2147483647 104687 253 | 13.230 % |
471.44/471.82 c | 107076 | 88333 560670 1581637 | 2147483647 104969 252 | 13.230 % |
473.43/473.84 c | 107385 | 88333 560670 1581637 | 2147483647 105278 253 | 13.230 % |
476.33/476.72 c | 107724 | 88333 560670 1581637 | 2147483647 105617 253 | 13.230 % |
478.73/479.14 c | 108096 | 88332 560670 1581637 | 2147483647 105988 252 | 13.242 % |
480.23/480.67 c | 108507 | 88332 560670 1581637 | 2147483647 106399 252 | 13.242 % |
481.83/482.23 c | 108956 | 88332 560670 1581637 | 2147483647 106847 251 | 13.243 % |
484.13/484.58 c | 109452 | 88332 560670 1581637 | 2147483647 107343 252 | 13.243 % |
488.73/489.14 c | 109994 | 88332 560670 1581637 | 2147483647 107884 252 | 13.251 % |
492.43/492.88 c | 110590 | 88332 560670 1581637 | 2147483647 108480 252 | 13.251 % |
496.03/496.43 c | 111248 | 88309 560477 1581142 | 2147483647 109126 252 | 13.256 % |
501.33/501.75 c | 111968 | 88309 560477 1581142 | 2147483647 109846 254 | 13.256 % |
504.43/504.86 c | 112761 | 88308 560477 1581142 | 2147483647 110637 253 | 13.267 % |
508.32/508.72 c | 113635 | 88308 560477 1581142 | 2147483647 111511 253 | 13.267 % |
514.42/514.82 c | 114593 | 88306 560477 1581142 | 2147483647 112468 255 | 13.273 % |
520.61/521.01 c | 115648 | 88306 560477 1581142 | 2147483647 113523 255 | 13.273 % |
527.31/527.78 c | 116810 | 88277 560200 1580450 | 2147483647 114657 256 | 13.284 % |
534.92/535.30 c | 118083 | 88277 560200 1580450 | 2147483647 115928 256 | 13.340 % |
535.41/535.81 c | 118184 | 88277 560200 1580450 | 2147483647 116029 256 | 13.340 % |
536.32/536.71 c | 118294 | 88277 560200 1580450 | 2147483647 116139 256 | 13.340 % |
537.21/537.66 c | 118415 | 88277 560200 1580450 | 2147483647 116260 256 | 13.340 % |
538.41/538.81 c | 118548 | 88277 560200 1580450 | 2147483647 116393 256 | 13.340 % |
539.91/540.33 c | 118694 | 88277 560200 1580450 | 2147483647 116539 256 | 13.340 % |
541.41/541.85 c | 118855 | 88277 560200 1580450 | 2147483647 116700 256 | 13.340 % |
542.51/542.94 c | 119034 | 88276 560200 1580450 | 2147483647 116878 256 | 13.341 % |
543.81/544.28 c | 119227 | 88276 560200 1580450 | 2147483647 117071 256 | 13.341 % |
545.01/545.43 c | 119439 | 88276 560200 1580450 | 2147483647 117283 256 | 13.341 % |
546.11/546.55 c | 119672 | 88276 560200 1580450 | 2147483647 117516 256 | 13.341 % |
547.42/547.86 c | 119930 | 88276 560200 1580450 | 2147483647 117774 256 | 13.341 % |
549.52/549.95 c | 120212 | 88276 560200 1580450 | 2147483647 118056 256 | 13.341 % |
551.21/551.62 c | 120522 | 88276 560200 1580450 | 2147483647 118366 256 | 13.341 % |
553.11/553.58 c | 120863 | 88276 560200 1580450 | 2147483647 118707 256 | 13.341 % |
555.41/555.87 c | 121236 | 88219 559824 1579530 | 2147483647 119068 256 | 13.341 % |
557.51/557.92 c | 121645 | 88219 559824 1579530 | 2147483647 119477 257 | 13.341 % |
559.21/559.69 c | 122100 | 88219 559824 1579530 | 2147483647 119932 257 | 13.341 % |
560.81/561.27 c | 122595 | 88219 559824 1579530 | 2147483647 120427 257 | 13.341 % |
564.30/564.79 c | 123137 | 88219 559824 1579530 | 2147483647 120969 258 | 13.341 % |
568.40/568.88 c | 123733 | 88218 559824 1579530 | 2147483647 121563 258 | 13.365 % |
572.70/573.17 c | 124388 | 88216 559824 1579530 | 2147483647 122216 257 | 13.367 % |
577.81/578.24 c | 125108 | 88215 559824 1579530 | 2147483647 122935 257 | 13.371 % |
583.50/583.98 c | 125900 | 88215 559824 1579530 | 2147483647 123727 258 | 13.371 % |
589.49/589.96 c | 126773 | 88180 559541 1578846 | 2147483647 124576 259 | 13.379 % |
597.20/597.65 c | 127731 | 88180 559541 1578846 | 2147483647 125534 258 | 13.379 % |
604.79/605.21 c | 128786 | 88179 559541 1578846 | 2147483647 126588 258 | 13.380 % |
612.09/612.51 c | 129944 | 88176 559541 1578846 | 2147483647 127741 258 | 13.400 % |
619.89/620.39 c | 131217 | 88176 559541 1578846 | 2147483647 129013 258 | 13.401 % |
629.08/629.55 c | 132618 | 88157 559363 1578409 | 2147483647 130398 259 | 13.402 % |
629.68/630.11 c | 132718 | 88156 559363 1578409 | 2147483647 130497 259 | 13.403 % |
630.38/630.87 c | 132828 | 88156 559363 1578409 | 2147483647 130607 259 | 13.403 % |
630.68/631.17 c | 132949 | 88156 559363 1578409 | 2147483647 130728 259 | 13.403 % |
631.58/632.06 c | 133084 | 88156 559363 1578409 | 2147483647 130863 259 | 13.403 % |
632.48/632.96 c | 133234 | 88156 559363 1578409 | 2147483647 131013 259 | 13.403 % |
633.29/633.73 c | 133394 | 88155 559363 1578409 | 2147483647 131171 259 | 13.405 % |
634.49/634.91 c | 133570 | 88155 559363 1578409 | 2147483647 131347 259 | 13.405 % |
635.79/636.22 c | 133764 | 88155 559363 1578409 | 2147483647 131541 259 | 13.405 % |
638.08/638.50 c | 133976 | 88153 559363 1578409 | 2147483647 131752 259 | 13.468 % |
639.88/640.34 c | 134210 | 88153 559363 1578409 | 2147483647 131986 259 | 13.468 % |
642.18/642.64 c | 134467 | 88153 559363 1578409 | 2147483647 132243 259 | 13.468 % |
643.48/643.93 c | 134749 | 88153 559363 1578409 | 2147483647 132525 259 | 13.468 % |
645.38/645.84 c | 135065 | 88152 559363 1578409 | 2147483647 132840 259 | 13.469 % |
647.58/648.08 c | 135409 | 88152 559363 1578409 | 2147483647 133184 259 | 13.469 % |
650.97/651.44 c | 135785 | 88152 559363 1578409 | 2147483647 133560 259 | 13.469 % |
653.77/654.28 c | 136195 | 88152 559363 1578409 | 2147483647 133970 259 | 13.469 % |
657.17/657.67 c | 136644 | 88152 559363 1578409 | 2147483647 134419 260 | 13.469 % |
660.97/661.49 c | 137139 | 88151 559363 1578409 | 2147483647 134913 260 | 13.470 % |
663.57/664.05 c | 137684 | 88151 559363 1578409 | 2147483647 135458 260 | 13.470 % |
668.37/668.87 c | 138280 | 88081 559021 1577725 | 2147483647 136033 260 | 13.485 % |
674.27/674.72 c | 138935 | 88081 559021 1577725 | 2147483647 136688 260 | 13.485 % |
680.27/680.71 c | 139657 | 88081 559021 1577725 | 2147483647 137410 260 | 13.485 % |
684.57/685.06 c | 140449 | 88079 559021 1577725 | 2147483647 138199 260 | 13.858 % |
690.16/690.69 c | 141320 | 88079 559021 1577725 | 2147483647 139070 260 | 13.858 % |
697.36/697.81 c | 142278 | 88079 559021 1577725 | 2147483647 140027 260 | 13.859 % |
704.57/705.07 c | 143331 | 88079 559021 1577725 | 2147483647 141079 260 | 13.871 % |
711.76/712.29 c | 144490 | 87679 557249 1573983 | 2147483647 142190 260 | 13.871 % |
720.06/720.54 c | 145763 | 87678 557249 1573983 | 2147483647 143462 260 | 13.883 % |
730.95/731.46 c | 147164 | 87678 557249 1573983 | 2147483647 144863 260 | 13.883 % |
741.95/742.41 c | 148705 | 87677 557249 1573983 | 2147483647 146403 260 | 13.884 % |
742.55/743.08 c | 148806 | 87677 557249 1573983 | 2147483647 146504 260 | 13.884 % |
743.55/744.05 c | 148916 | 87677 557249 1573983 | 2147483647 146614 259 | 13.884 % |
744.45/744.93 c | 149038 | 87677 557249 1573983 | 2147483647 146736 259 | 13.884 % |
745.55/746.08 c | 149171 | 87666 557148 1573712 | 2147483647 146868 259 | 13.884 % |
747.05/747.57 c | 149320 | 87666 557148 1573712 | 2147483647 147017 259 | 13.884 % |
747.95/748.50 c | 149482 | 87666 557148 1573712 | 2147483647 147179 259 | 13.884 % |
748.75/749.22 c | 149661 | 87666 557148 1573712 | 2147483647 147358 259 | 13.884 % |
749.55/750.00 c | 149854 | 87664 557148 1573712 | 2147483647 147549 259 | 13.886 % |
751.34/751.84 c | 150066 | 87664 557148 1573712 | 2147483647 147761 259 | 13.886 % |
752.84/753.31 c | 150300 | 87664 557148 1573712 | 2147483647 147995 259 | 13.886 % |
754.24/754.78 c | 150557 | 87661 557148 1573712 | 2147483647 148251 260 | 13.919 % |
755.94/756.43 c | 150838 | 87661 557148 1573712 | 2147483647 148532 259 | 13.919 % |
758.44/758.91 c | 151147 | 87661 557148 1573712 | 2147483647 148841 260 | 13.919 % |
760.74/761.28 c | 151487 | 87660 557148 1573712 | 2147483647 149180 259 | 13.923 % |
762.84/763.32 c | 151859 | 87647 557148 1573712 | 2147483647 149539 259 | 13.943 % |
766.44/766.93 c | 152268 | 87646 557148 1573712 | 2147483647 149947 259 | 13.950 % |
769.64/770.18 c | 152720 | 87646 557148 1573712 | 2147483647 150399 259 | 13.950 % |
773.84/774.37 c | 153214 | 87646 557148 1573712 | 2147483647 150893 260 | 13.950 % |
779.03/779.56 c | 153756 | 87646 557148 1573712 | 2147483647 151435 260 | 13.950 % |
783.44/783.94 c | 154354 | 87646 557148 1573712 | 2147483647 152033 260 | 13.950 % |
788.14/788.64 c | 155013 | 87646 557148 1573712 | 2147483647 152692 260 | 13.950 % |
793.14/793.68 c | 155733 | 87599 556647 1572439 | 2147483647 153339 260 | 13.950 % |
799.33/799.89 c | 156525 | 87599 556647 1572439 | 2147483647 154131 259 | 13.950 % |
806.03/806.57 c | 157396 | 87599 556647 1572439 | 2147483647 155002 259 | 13.950 % |
813.54/814.08 c | 158354 | 87599 556647 1572439 | 2147483647 155960 260 | 13.950 % |
822.73/823.29 c | 159407 | 87599 556647 1572439 | 2147483647 157012 260 | 13.951 % |
832.22/832.73 c | 160566 | 87599 556647 1572439 | 2147483647 158171 260 | 13.951 % |
841.42/841.99 c | 161841 | 87597 556640 1572425 | 2147483647 159443 259 | 13.953 % |
851.52/852.07 c | 163242 | 87596 556640 1572425 | 2147483647 160841 259 | 14.232 % |
863.61/864.11 c | 164787 | 87596 556640 1572425 | 2147483647 162386 258 | 14.232 % |
876.81/877.31 c | 166483 | 87595 556640 1572425 | 2147483647 164081 258 | 14.233 % |
877.61/878.11 c | 166587 | 87595 556640 1572425 | 2147483647 164185 258 | 14.233 % |
878.71/879.20 c | 166697 | 87595 556640 1572425 | 2147483647 164295 258 | 14.233 % |
879.71/880.30 c | 166818 | 87595 556640 1572425 | 2147483647 164416 258 | 14.233 % |
881.01/881.58 c | 166952 | 87595 556640 1572425 | 2147483647 164550 258 | 14.233 % |
882.21/882.73 c | 167098 | 87595 556640 1572425 | 2147483647 164696 258 | 14.233 % |
883.81/884.34 c | 167258 | 87595 556640 1572425 | 2147483647 164856 258 | 14.233 % |
885.31/885.84 c | 167434 | 86694 545598 1542948 | 2147483647 135755 255 | 14.839 % |
886.81/887.31 c | 167627 | 86693 545598 1542948 | 2147483647 135947 255 | 14.851 % |
888.41/888.90 c | 167840 | 86693 545598 1542948 | 2147483647 136160 255 | 14.851 % |
889.61/890.17 c | 168073 | 86693 545598 1542948 | 2147483647 136393 255 | 14.851 % |
891.31/891.85 c | 168330 | 86693 545598 1542948 | 2147483647 136650 255 | 14.851 % |
892.21/892.78 c | 168616 | 86693 545598 1542948 | 2147483647 136936 255 | 14.851 % |
893.51/894.00 c | 168925 | 86693 545598 1542948 | 2147483647 137245 255 | 14.851 % |
896.21/896.70 c | 169265 | 86693 545598 1542948 | 2147483647 137585 255 | 14.851 % |
899.31/899.86 c | 169637 | 86693 545598 1542948 | 2147483647 137957 257 | 14.851 % |
902.70/903.27 c | 170046 | 86693 545598 1542948 | 2147483647 138366 257 | 14.851 % |
905.91/906.42 c | 170495 | 86693 545598 1542948 | 2147483647 138815 257 | 14.851 % |
909.90/910.48 c | 170989 | 86693 545598 1542948 | 2147483647 139309 258 | 14.851 % |
914.00/914.51 c | 171533 | 86693 545598 1542948 | 2147483647 139852 258 | 14.877 % |
918.90/919.48 c | 172129 | 86693 545598 1542948 | 2147483647 140448 258 | 14.877 % |
924.00/924.52 c | 172784 | 86692 545598 1542948 | 2147483647 141101 258 | 14.893 % |
929.10/929.66 c | 173504 | 86692 545598 1542948 | 2147483647 141821 258 | 14.893 % |
935.10/935.60 c | 174298 | 86639 545283 1542154 | 2147483647 142592 258 | 14.893 % |
943.20/943.71 c | 175169 | 86639 545283 1542154 | 2147483647 143463 258 | 14.893 % |
951.29/951.82 c | 176127 | 86639 545283 1542154 | 2147483647 144420 258 | 14.898 % |
958.79/959.37 c | 177188 | 86639 545283 1542154 | 2147483647 145481 257 | 14.898 % |
967.68/968.28 c | 178347 | 86639 545283 1542154 | 2147483647 146640 259 | 14.898 % |
977.88/978.45 c | 179622 | 86628 545243 1542060 | 2147483647 147914 258 | 14.904 % |
990.98/991.59 c | 181022 | 86627 545243 1542060 | 2147483647 149312 257 | 14.906 % |
1002.87/1003.48 c | 182562 | 86627 545243 1542060 | 2147483647 150852 256 | 14.906 % |
1017.07/1017.69 c | 184256 | 86627 545243 1542060 | 2147483647 152546 256 | 14.906 % |
1032.37/1032.98 c | 186120 | 86625 545231 1542036 | 2147483647 154407 255 | 14.913 % |
1032.96/1033.53 c | 186223 | 86625 545231 1542036 | 2147483647 154510 255 | 14.913 % |
1033.76/1034.32 c | 186336 | 86625 545231 1542036 | 2147483647 154623 255 | 14.913 % |
1034.76/1035.37 c | 186459 | 86625 545231 1542036 | 2147483647 154746 255 | 14.913 % |
1035.76/1036.30 c | 186594 | 86625 545231 1542036 | 2147483647 154881 255 | 14.913 % |
1036.66/1037.24 c | 186740 | 86625 545231 1542036 | 2147483647 155027 255 | 14.913 % |
1038.06/1038.63 c | 186900 | 86625 545231 1542036 | 2147483647 155187 255 | 14.913 % |
1039.46/1040.00 c | 187076 | 86625 545231 1542036 | 2147483647 155363 255 | 14.913 % |
1041.36/1041.93 c | 187269 | 86625 545231 1542036 | 2147483647 155555 256 | 15.092 % |
1043.56/1044.11 c | 187487 | 86625 545231 1542036 | 2147483647 155773 255 | 15.092 % |
1045.36/1045.97 c | 187720 | 86625 545231 1542036 | 2147483647 156006 255 | 15.092 % |
1047.46/1048.02 c | 187979 | 86625 545231 1542036 | 2147483647 156265 255 | 15.092 % |
1049.26/1049.86 c | 188260 | 86625 545231 1542036 | 2147483647 156546 255 | 15.092 % |
1050.66/1051.28 c | 188571 | 86625 545231 1542036 | 2147483647 156857 255 | 15.092 % |
1052.65/1053.27 c | 188914 | 86625 545231 1542036 | 2147483647 157200 255 | 15.092 % |
1055.05/1055.67 c | 189286 | 86624 545231 1542036 | 2147483647 157571 255 | 15.096 % |
1057.85/1058.48 c | 189695 | 86624 545231 1542036 | 2147483647 157979 255 | 15.102 % |
1061.45/1062.02 c | 190148 | 86624 545231 1542036 | 2147483647 158432 255 | 15.102 % |
1065.05/1065.68 c | 190641 | 86624 545231 1542036 | 2147483647 158925 255 | 15.102 % |
1069.65/1070.21 c | 191185 | 86624 545231 1542036 | 2147483647 159469 255 | 15.102 % |
1072.75/1073.37 c | 191781 | 86623 545231 1542036 | 2147483647 160063 255 | 15.117 % |
1077.74/1078.31 c | 192436 | 86411 544357 1540145 | 2147483647 160684 255 | 15.118 % |
1084.74/1085.32 c | 193156 | 86411 544357 1540145 | 2147483647 161404 255 | 15.118 % |
1090.14/1090.74 c | 193951 | 86410 544357 1540145 | 2147483647 162198 255 | 15.122 % |
1098.54/1099.17 c | 194822 | 86410 544357 1540145 | 2147483647 163069 255 | 15.122 % |
1105.64/1106.25 c | 195780 | 86410 544357 1540145 | 2147483647 164027 254 | 15.122 % |
1113.53/1114.16 c | 196833 | 86409 544357 1540145 | 2147483647 165079 254 | 15.123 % |
1122.93/1123.53 c | 197991 | 86409 544357 1540145 | 2147483647 166237 254 | 15.123 % |
1131.64/1132.24 c | 199265 | 86405 544331 1540091 | 2147483647 167503 253 | 15.123 % |
1143.03/1143.68 c | 200665 | 86405 544331 1540091 | 2147483647 168903 252 | 15.123 % |
1153.42/1154.01 c | 202206 | 86403 544331 1540091 | 2147483647 170440 253 | 15.153 % |
1164.12/1164.77 c | 203900 | 86403 544331 1540091 | 2147483647 172133 254 | 15.157 % |
1177.52/1178.19 c | 205763 | 86403 544331 1540091 | 2147483647 173996 254 | 15.157 % |
1194.31/1194.91 c | 207813 | 86370 544100 1539501 | 2147483647 176027 254 | 15.171 % |
1195.21/1195.83 c | 207914 | 86370 544100 1539501 | 2147483647 176128 254 | 15.171 % |
1196.21/1196.81 c | 208024 | 86370 544100 1539501 | 2147483647 176238 254 | 15.171 % |
1197.31/1197.97 c | 208148 | 86370 544100 1539501 | 2147483647 176362 254 | 15.171 % |
1198.61/1199.28 c | 208287 | 86370 544100 1539501 | 2147483647 176501 254 | 15.171 % |
1199.91/1200.54 c | 208439 | 86370 544100 1539501 | 2147483647 176653 254 | 15.171 % |
1201.41/1202.05 c | 208604 | 86370 544100 1539501 | 2147483647 176818 254 | 15.171 % |
1203.71/1204.32 c | 208782 | 86370 544100 1539501 | 2147483647 176996 254 | 15.171 % |
1205.51/1206.18 c | 208977 | 86370 544100 1539501 | 2147483647 177190 254 | 15.174 % |
1206.91/1207.52 c | 209191 | 86370 544100 1539501 | 2147483647 177404 253 | 15.174 % |
1208.71/1209.37 c | 209426 | 86370 544100 1539501 | 2147483647 177639 253 | 15.174 % |
1211.41/1212.05 c | 209682 | 86370 544100 1539501 | 2147483647 177895 253 | 15.174 % |
1213.71/1214.34 c | 209963 | 86370 544100 1539501 | 2147483647 178176 253 | 15.174 % |
1216.21/1216.85 c | 210274 | 86370 544100 1539501 | 2147483647 178487 253 | 15.174 % |
1219.81/1220.43 c | 210629 | 86370 544100 1539501 | 2147483647 178841 253 | 15.176 % |
1223.40/1224.04 c | 211003 | 86370 544100 1539501 | 2147483647 179215 253 | 15.176 % |
1227.50/1228.14 c | 211413 | 86370 544100 1539501 | 2147483647 179625 253 | 15.176 % |
1231.90/1232.54 c | 211862 | 86350 543976 1539172 | 2147483647 180062 253 | 15.192 % |
1235.59/1236.25 c | 212355 | 86350 543976 1539172 | 2147483647 180555 253 | 15.192 % |
1240.11/1240.70 c | 212898 | 86350 543976 1539172 | 2147483647 181098 253 | 15.192 % |
1245.00/1245.61 c | 213495 | 86350 543976 1539172 | 2147483647 181695 253 | 15.192 % |
1248.90/1249.53 c | 214151 | 86350 543976 1539172 | 2147483647 182351 253 | 15.192 % |
1255.79/1256.43 c | 214873 | 86350 543976 1539172 | 2147483647 183073 253 | 15.192 % |
1262.10/1262.74 c | 215665 | 86350 543976 1539172 | 2147483647 183865 253 | 15.192 % |
1270.39/1271.08 c | 216542 | 86350 543976 1539172 | 2147483647 184742 253 | 15.192 % |
1277.49/1278.12 c | 217504 | 86350 543976 1539172 | 2147483647 185704 253 | 15.192 % |
1286.68/1287.38 c | 218557 | 86334 543863 1538892 | 2147483647 186742 253 | 15.193 % |
1295.98/1296.66 c | 219715 | 86334 543863 1538892 | 2147483647 187900 253 | 15.193 % |
1306.08/1306.75 c | 220990 | 86334 543863 1538892 | 2147483647 189174 253 | 15.208 % |
1317.68/1318.36 c | 222390 | 86334 543863 1538892 | 2147483647 190574 253 | 15.208 % |
1330.47/1331.16 c | 223930 | 86331 543863 1538892 | 2147483647 192111 253 | 15.235 % |
1345.47/1346.11 c | 225624 | 86331 543863 1538892 | 2147483647 193805 253 | 15.235 % |
1358.36/1359.00 c | 227488 | 86285 543553 1538146 | 2147483647 195652 252 | 15.241 % |
1373.56/1374.27 c | 229537 | 86277 543553 1538146 | 2147483647 197698 252 | 15.254 % |
1391.95/1392.68 c | 231792 | 86277 543553 1538146 | 2147483647 199953 253 | 15.254 % |
1393.05/1393.74 c | 231892 | 86277 543553 1538146 | 2147483647 200053 253 | 15.254 % |
1394.15/1394.81 c | 232002 | 86277 543553 1538146 | 2147483647 200163 253 | 15.254 % |
1395.15/1395.83 c | 232123 | 86277 543553 1538146 | 2147483647 200284 253 | 15.254 % |
1396.35/1397.07 c | 232257 | 86277 543553 1538146 | 2147483647 200418 253 | 15.254 % |
1397.45/1398.15 c | 232405 | 86277 543553 1538146 | 2147483647 200566 253 | 15.254 % |
1398.56/1399.26 c | 232566 | 86277 543553 1538146 | 2147483647 200727 253 | 15.254 % |
1399.26/1399.92 c | 232742 | 86277 543553 1538146 | 2147483647 200903 252 | 15.254 % |
1401.16/1401.89 c | 232935 | 86277 543553 1538146 | 2147483647 201096 252 | 15.254 % |
1403.05/1403.71 c | 233148 | 86277 543553 1538146 | 2147483647 201309 252 | 15.254 % |
1404.55/1405.26 c | 233381 | 86270 543421 1537860 | 2147483647 201502 253 | 15.255 % |
1406.95/1407.64 c | 233641 | 86269 543421 1537860 | 2147483647 201761 253 | 15.256 % |
1409.55/1410.24 c | 233926 | 86268 543421 1537860 | 2147483647 202045 253 | 15.265 % |
1412.25/1412.92 c | 234239 | 86268 543421 1537860 | 2147483647 202358 253 | 15.265 % |
1414.25/1414.98 c | 234578 | 86268 543421 1537860 | 2147483647 202697 253 | 15.265 % |
1417.25/1417.98 c | 234951 | 86268 543421 1537860 | 2147483647 203070 252 | 15.265 % |
1421.35/1422.08 c | 235364 | 86268 543421 1537860 | 2147483647 203481 252 | 15.271 % |
1424.85/1425.50 c | 235813 | 86268 543421 1537860 | 2147483647 203929 252 | 15.273 % |
1430.14/1430.81 c | 236306 | 86268 543421 1537860 | 2147483647 204422 253 | 15.273 % |
1434.14/1434.88 c | 236849 | 86268 543421 1537860 | 2147483647 204965 252 | 15.273 % |
1438.44/1439.15 c | 237446 | 86268 543421 1537860 | 2147483647 205562 252 | 15.273 % |
1442.83/1443.50 c | 238102 | 86268 543421 1537860 | 2147483647 206218 252 | 15.273 % |
1447.74/1448.45 c | 238823 | 86268 543421 1537860 | 2147483647 206939 252 | 15.273 % |
1454.74/1455.41 c | 239618 | 86268 543421 1537860 | 2147483647 207734 252 | 15.273 % |
1463.83/1464.52 c | 240490 | 86268 543421 1537860 | 2147483647 208606 252 | 15.273 % |
1472.83/1473.56 c | 241448 | 86268 543421 1537860 | 2147483647 209564 252 | 15.273 % |
1482.72/1483.49 c | 242505 | 86252 543307 1537564 | 2147483647 210615 251 | 15.273 % |
1493.83/1494.58 c | 243664 | 86252 543307 1537564 | 2147483647 211773 252 | 15.274 % |
1504.22/1504.90 c | 244937 | 86252 543307 1537564 | 2147483647 213046 252 | 15.274 % |
1517.72/1518.47 c | 246337 | 86251 543307 1537564 | 2147483647 214445 251 | 15.275 % |
1530.51/1531.20 c | 247880 | 86250 543307 1537564 | 2147483647 215986 251 | 15.317 % |
1541.51/1542.21 c | 249574 | 86250 543307 1537564 | 2147483647 217680 251 | 15.317 % |
1559.50/1560.24 c | 251443 | 86207 543089 1537128 | 2147483647 219545 251 | 15.317 % |
1577.10/1577.81 c | 253494 | 86207 543089 1537128 | 2147483647 221596 250 | 15.317 % |
1599.59/1600.35 c | 255747 | 86207 543089 1537128 | 2147483647 223849 249 | 15.317 % |
1620.59/1621.39 c | 258229 | 86207 543089 1537128 | 2147483647 226331 249 | 15.317 % |
1621.99/1622.71 c | 258330 | 86207 543089 1537128 | 2147483647 226432 248 | 15.317 % |
1623.09/1623.89 c | 258440 | 86207 543089 1537128 | 2147483647 226542 248 | 15.317 % |
1624.09/1624.83 c | 258561 | 86207 543089 1537128 | 2147483647 226663 248 | 15.317 % |
1625.49/1626.21 c | 258695 | 86207 543089 1537128 | 2147483647 226797 248 | 15.317 % |
1626.89/1627.66 c | 258852 | 86207 543089 1537128 | 2147483647 226954 248 | 15.317 % |
1627.88/1628.66 c | 259015 | 86207 543089 1537128 | 2147483647 227117 248 | 15.317 % |
1629.78/1630.54 c | 259191 | 86207 543089 1537128 | 2147483647 227293 248 | 15.317 % |
1631.78/1632.60 c | 259385 | 86207 543089 1537128 | 2147483647 227487 248 | 15.317 % |
1633.48/1634.26 c | 259602 | 86207 543089 1537128 | 2147483647 227704 248 | 15.317 % |
1636.29/1637.06 c | 259837 | 86207 543089 1537128 | 2147483647 227939 248 | 15.317 % |
1638.98/1639.70 c | 260094 | 86207 543089 1537128 | 2147483647 228196 249 | 15.317 % |
1642.48/1643.27 c | 260375 | 86207 543089 1537128 | 2147483647 228477 249 | 15.317 % |
1645.58/1646.32 c | 260684 | 86207 543089 1537128 | 2147483647 228786 249 | 15.317 % |
1649.28/1650.07 c | 261024 | 86207 543089 1537128 | 2147483647 229126 248 | 15.317 % |
1652.77/1653.52 c | 261396 | 86199 543013 1536935 | 2147483647 229494 248 | 15.325 % |
1657.37/1658.10 c | 261806 | 86199 543013 1536935 | 2147483647 229903 248 | 15.387 % |
1661.67/1662.49 c | 262255 | 86199 543013 1536935 | 2147483647 230352 248 | 15.387 % |
1665.87/1666.65 c | 262748 | 86199 543013 1536935 | 2147483647 230845 248 | 15.387 % |
1670.67/1671.43 c | 263290 | 86199 543013 1536935 | 2147483647 231387 249 | 15.387 % |
1675.17/1675.99 c | 263886 | 86199 543013 1536935 | 2147483647 231983 249 | 15.387 % |
1681.47/1682.23 c | 264543 | 86199 543013 1536935 | 2147483647 232640 249 | 15.387 % |
1687.46/1688.26 c | 265263 | 86199 543013 1536935 | 2147483647 233360 248 | 15.387 % |
1693.96/1694.73 c | 266056 | 86199 543013 1536935 | 2147483647 234153 248 | 15.387 % |
1699.06/1699.82 c | 266932 | 86197 543013 1536935 | 2147483647 235025 248 | 15.396 % |
1703.76/1704.59 c | 267890 | 86194 543013 1536935 | 2147483647 235979 248 | 16.418 % |
1712.96/1713.70 c | 268943 | 86194 543013 1536935 | 2147483647 237032 247 | 16.418 % |
1719.95/1720.75 c | 270102 | 86194 543013 1536935 | 2147483647 238191 247 | 16.418 % |
1731.55/1732.30 c | 271376 | 85080 527266 1494065 | 2147483647 215651 245 | 16.424 % |
1744.75/1745.52 c | 272779 | 85080 527266 1494065 | 2147483647 217053 245 | 16.426 % |
1758.34/1759.16 c | 274320 | 85080 527266 1494065 | 2147483647 218594 245 | 16.426 % |
1774.14/1774.95 c | 276017 | 85080 527266 1494065 | 2147483647 220289 245 | 16.436 % |
1792.14/1792.91 c | 277880 | 85080 527266 1494065 | 2147483647 222152 245 | 16.436 % |
1810.24/1811.08 c | 279930 | 85068 527174 1493826 | 2147483647 224196 244 | 16.437 % |
1831.53/1832.30 c | 282184 | 85067 527174 1493826 | 2147483647 226449 244 | 16.438 % |
1857.92/1858.71 c | 284662 | 85067 527174 1493826 | 2147483647 228926 243 | 16.440 % |
1883.61/1884.48 c | 287390 | 85064 527154 1493780 | 2147483647 231643 242 | 16.441 % |
1884.71/1885.53 c | 287495 | 85064 527154 1493780 | 2147483647 231748 242 | 16.441 % |
1885.51/1886.36 c | 287605 | 85064 527154 1493780 | 2147483647 231858 242 | 16.441 % |
1886.91/1887.73 c | 287729 | 85064 527154 1493780 | 2147483647 231982 242 | 16.441 % |
1888.21/1889.08 c | 287862 | 85064 527154 1493780 | 2147483647 232115 242 | 16.441 % |
1889.41/1890.27 c | 288009 | 85064 527154 1493780 | 2147483647 232262 242 | 16.441 % |
1891.31/1892.12 c | 288169 | 85064 527154 1493780 | 2147483647 232422 242 | 16.441 % |
1893.71/1894.54 c | 288346 | 85064 527154 1493780 | 2147483647 232599 242 | 16.441 % |
1895.31/1896.11 c | 288539 | 85064 527154 1493780 | 2147483647 232792 242 | 16.441 % |
1897.01/1897.87 c | 288752 | 85064 527154 1493780 | 2147483647 233005 242 | 16.441 % |
1899.31/1900.14 c | 288987 | 85064 527154 1493780 | 2147483647 233240 242 | 16.441 % |
1901.71/1902.58 c | 289244 | 85064 527154 1493780 | 2147483647 233497 242 | 16.441 % |
1904.51/1905.32 c | 289527 | 85064 527154 1493780 | 2147483647 233780 242 | 16.441 % |
1907.61/1908.42 c | 289836 | 85064 527154 1493780 | 2147483647 234089 242 | 16.441 % |
1910.20/1911.01 c | 290175 | 85064 527154 1493780 | 2147483647 234428 242 | 16.441 % |
1913.30/1914.18 c | 290552 | 85064 527154 1493780 | 2147483647 234805 242 | 16.441 % |
1916.40/1917.23 c | 290963 | 85064 527154 1493780 | 2147483647 235216 242 | 16.441 % |
1919.30/1920.14 c | 291413 | 85064 527154 1493780 | 2147483647 235666 242 | 16.441 % |
1924.60/1925.45 c | 291909 | 85064 527154 1493780 | 2147483647 236162 241 | 16.441 % |
1931.10/1931.99 c | 292452 | 85064 527154 1493780 | 2147483647 236705 241 | 16.441 % |
1936.39/1937.28 c | 293048 | 85063 527150 1493772 | 2147483647 237300 241 | 16.441 % |
1943.69/1944.60 c | 293703 | 85063 527150 1493772 | 2147483647 237955 241 | 16.441 % |
1951.99/1952.84 c | 294425 | 85063 527150 1493772 | 2147483647 238677 241 | 16.441 % |
1956.49/1957.39 c | 295220 | 85063 527150 1493772 | 2147483647 239472 240 | 16.441 % |
1964.08/1964.92 c | 296091 | 85063 527150 1493772 | 2147483647 240343 240 | 16.441 % |
1972.98/1973.84 c | 297057 | 85063 527150 1493772 | 2147483647 241308 240 | 16.442 % |
1982.58/1983.43 c | 298110 | 85063 527150 1493772 | 2147483647 242361 240 | 16.442 % |
1994.08/1994.99 c | 299269 | 85062 527150 1493772 | 2147483647 243519 239 | 16.443 % |
2007.87/2008.74 c | 300544 | 85062 527150 1493772 | 2147483647 244794 239 | 16.443 % |
2021.77/2022.64 c | 301944 | 85061 527140 1493739 | 2147483647 246192 239 | 16.443 % |
2037.76/2038.64 c | 303485 | 85061 527140 1493739 | 2147483647 247733 238 | 16.443 % |
2053.76/2054.60 c | 305179 | 85061 527140 1493739 | 2147483647 249426 237 | 16.444 % |
2072.05/2072.96 c | 307044 | 85060 527140 1493739 | 2147483647 251290 237 | 16.453 % |
2092.05/2092.94 c | 309097 | 85060 527140 1493739 | 2147483647 253343 237 | 16.453 % |
2116.55/2117.45 c | 311350 | 85050 527054 1493526 | 2147483647 255586 236 | 16.458 % |
2141.44/2142.33 c | 313828 | 85050 527054 1493526 | 2147483647 258063 236 | 16.459 % |
2162.13/2163.03 c | 316557 | 85050 527054 1493526 | 2147483647 260792 236 | 16.459 % |
2192.42/2193.35 c | 319559 | 84990 526715 1492662 | 2147483647 263785 236 | 16.513 % |
2193.12/2194.08 c | 319659 | 84990 526715 1492662 | 2147483647 263885 236 | 16.513 % |
2194.12/2195.04 c | 319771 | 84990 526715 1492662 | 2147483647 263997 236 | 16.513 % |
2195.32/2196.27 c | 319892 | 84990 526715 1492662 | 2147483647 264118 236 | 16.513 % |
2196.42/2197.38 c | 320027 | 84990 526715 1492662 | 2147483647 264253 235 | 16.513 % |
2198.32/2199.23 c | 320173 | 84990 526715 1492662 | 2147483647 264399 235 | 16.513 % |
2199.91/2200.80 c | 320333 | 84990 526715 1492662 | 2147483647 264559 235 | 16.513 % |
2201.71/2202.61 c | 320509 | 84990 526715 1492662 | 2147483647 264735 235 | 16.513 % |
2203.71/2204.66 c | 320703 | 84990 526715 1492662 | 2147483647 264929 235 | 16.513 % |
2205.91/2206.89 c | 320915 | 84990 526715 1492662 | 2147483647 265141 235 | 16.513 % |
2208.91/2209.89 c | 321149 | 84990 526715 1492662 | 2147483647 265375 235 | 16.513 % |
2212.11/2213.04 c | 321405 | 84990 526715 1492662 | 2147483647 265631 235 | 16.513 % |
2215.71/2216.65 c | 321687 | 84990 526715 1492662 | 2147483647 265913 235 | 16.513 % |
2219.61/2220.52 c | 321996 | 84990 526715 1492662 | 2147483647 266222 235 | 16.513 % |
2223.11/2224.06 c | 322336 | 84990 526715 1492662 | 2147483647 266562 235 | 16.513 % |
2228.11/2229.05 c | 322709 | 84990 526715 1492662 | 2147483647 266935 235 | 16.513 % |
2232.81/2233.75 c | 323123 | 84990 526715 1492662 | 2147483647 267349 235 | 16.513 % |
2237.51/2238.42 c | 323574 | 84990 526715 1492662 | 2147483647 267800 235 | 16.513 % |
2243.20/2244.10 c | 324067 | 84990 526715 1492662 | 2147483647 268293 235 | 16.513 % |
2248.20/2249.12 c | 324609 | 84990 526715 1492662 | 2147483647 268835 235 | 16.513 % |
2254.60/2255.51 c | 325206 | 84990 526715 1492662 | 2147483647 269432 235 | 16.513 % |
2259.60/2260.57 c | 325861 | 84990 526715 1492662 | 2147483647 270087 235 | 16.513 % |
2267.60/2268.52 c | 326582 | 84990 526715 1492662 | 2147483647 270808 236 | 16.513 % |
2276.29/2277.20 c | 327375 | 84984 526679 1492572 | 2147483647 271598 235 | 16.519 % |
2286.29/2287.22 c | 328248 | 84984 526679 1492572 | 2147483647 272471 236 | 16.519 % |
2296.19/2297.14 c | 329206 | 84984 526679 1492572 | 2147483647 273429 235 | 16.519 % |
2308.58/2309.54 c | 330259 | 84984 526679 1492572 | 2147483647 274481 235 | 16.520 % |
2317.58/2318.59 c | 331421 | 84983 526679 1492572 | 2147483647 275642 235 | 16.521 % |
2331.17/2332.15 c | 332695 | 84982 526679 1492572 | 2147483647 276915 235 | 16.522 % |
2342.28/2343.21 c | 334096 | 84982 526679 1492572 | 2147483647 278316 235 | 16.522 % |
2358.87/2359.81 c | 335636 | 84955 526451 1491968 | 2147483647 279840 235 | 16.547 % |
2378.47/2379.46 c | 337331 | 84954 526451 1491968 | 2147483647 281533 234 | 16.592 % |
2398.46/2399.44 c | 339195 | 84954 526451 1491968 | 2147483647 283397 234 | 16.592 % |
2419.45/2420.47 c | 341244 | 84952 526451 1491968 | 2147483647 285443 233 | 16.795 % |
2443.65/2444.62 c | 343497 | 84952 526451 1491968 | 2147483647 287696 232 | 16.795 % |
2468.74/2469.77 c | 345978 | 84702 524644 1487282 | 2147483647 290151 232 | 16.800 % |
2497.03/2498.09 c | 348706 | 84699 524644 1487282 | 2147483647 292875 232 | 16.804 % |
2531.82/2532.87 c | 351703 | 84699 524644 1487282 | 2147483647 295871 232 | 16.805 % |
2560.01/2561.05 c | 355000 | 84690 524604 1487202 | 2147483647 299162 231 | 16.812 % |
2561.11/2562.18 c | 355101 | 84690 524604 1487202 | 2147483647 299263 231 | 16.812 % |
2562.30/2563.31 c | 355211 | 84690 524604 1487202 | 2147483647 299373 231 | 16.812 % |
2563.20/2564.27 c | 355335 | 84690 524604 1487202 | 2147483647 299497 231 | 16.812 % |
2563.80/2564.86 c | 355468 | 84690 524604 1487202 | 2147483647 299630 231 | 16.812 % |
2565.31/2566.39 c | 355615 | 84690 524604 1487202 | 2147483647 299777 231 | 16.812 % |
2567.30/2568.33 c | 355775 | 84690 524604 1487202 | 2147483647 299937 231 | 16.812 % |
2569.31/2570.36 c | 355951 | 84690 524604 1487202 | 2147483647 300113 231 | 16.812 % |
2570.91/2571.98 c | 356148 | 84690 524604 1487202 | 2147483647 300310 231 | 16.812 % |
2573.11/2574.19 c | 356360 | 84690 524604 1487202 | 2147483647 300522 231 | 16.812 % |
2575.00/2576.08 c | 356594 | 84690 524604 1487202 | 2147483647 300756 230 | 16.812 % |
2578.80/2579.89 c | 356850 | 84690 524604 1487202 | 2147483647 301012 230 | 16.812 % |
2581.60/2582.67 c | 357131 | 84690 524604 1487202 | 2147483647 301293 230 | 16.812 % |
2585.40/2586.40 c | 357440 | 84690 524604 1487202 | 2147483647 301602 230 | 16.812 % |
2589.40/2590.45 c | 357779 | 84690 524604 1487202 | 2147483647 301941 230 | 16.812 % |
2594.20/2595.26 c | 358151 | 84690 524604 1487202 | 2147483647 302313 230 | 16.812 % |
2599.30/2600.34 c | 358562 | 84690 524604 1487202 | 2147483647 302724 230 | 16.812 % |
2604.29/2605.35 c | 359013 | 84690 524604 1487202 | 2147483647 303175 230 | 16.812 % |
2608.19/2609.25 c | 359507 | 84690 524604 1487202 | 2147483647 303669 230 | 16.812 % |
2614.49/2615.56 c | 360051 | 84690 524604 1487202 | 2147483647 304213 230 | 16.812 % |
2621.18/2622.26 c | 360650 | 84690 524604 1487202 | 2147483647 304812 230 | 16.812 % |
2627.38/2628.48 c | 361306 | 84690 524604 1487202 | 2147483647 305468 230 | 16.812 % |
2636.48/2637.52 c | 362032 | 84685 524579 1487138 | 2147483647 306194 230 | 16.812 % |
2647.18/2648.20 c | 362824 | 84685 524579 1487138 | 2147483647 306986 229 | 16.812 % |
2655.88/2656.99 c | 363697 | 84684 524579 1487138 | 2147483647 307857 229 | 16.814 % |
2666.57/2667.62 c | 364655 | 84684 524579 1487138 | 2147483647 308814 229 | 16.821 % |
2678.97/2680.06 c | 365708 | 84684 524579 1487138 | 2147483647 309867 229 | 16.821 % |
2690.87/2691.93 c | 366873 | 84683 524579 1487138 | 2147483647 311031 228 | 16.822 % |
2705.36/2706.48 c | 368151 | 84683 524579 1487138 | 2147483647 312309 228 | 16.822 % |
2722.35/2723.49 c | 369552 | 84683 524579 1487138 | 2147483647 313710 227 | 16.822 % |
2739.26/2740.35 c | 371092 | 84675 524493 1486925 | 2147483647 315244 227 | 16.822 % |
2755.05/2756.16 c | 372786 | 84675 524493 1486925 | 2147483647 316938 227 | 16.822 % |
2773.04/2774.19 c | 374652 | 84675 524493 1486925 | 2147483647 318804 227 | 16.822 % |
2795.04/2796.19 c | 376703 | 84675 524493 1486925 | 2147483647 320854 227 | 16.823 % |
2816.53/2817.64 c | 378956 | 84674 524493 1486925 | 2147483647 323106 227 | 16.824 % |
2841.12/2842.28 c | 381437 | 84669 524471 1486881 | 2147483647 325586 227 | 16.828 % |
2871.51/2872.67 c | 384163 | 84668 524471 1486881 | 2147483647 328311 228 | 16.830 % |
2906.00/2907.13 c | 387160 | 84668 524471 1486881 | 2147483647 331307 227 | 16.831 % |
2946.99/2948.14 c | 390457 | 84167 515999 1463450 | 2147483647 238962 215 | 17.484 % |
2985.48/2986.69 c | 394087 | 84167 515999 1463450 | 2147483647 242591 214 | 17.485 % |
2986.98/2988.18 c | 394187 | 84167 515999 1463450 | 2147483647 242691 214 | 17.485 % |
2988.59/2989.80 c | 394297 | 84167 515999 1463450 | 2147483647 242801 214 | 17.485 % |
2989.79/2990.93 c | 394418 | 84167 515999 1463450 | 2147483647 242922 214 | 17.485 % |
2990.78/2991.97 c | 394552 | 84167 515999 1463450 | 2147483647 243056 214 | 17.485 % |
2992.08/2993.25 c | 394698 | 84167 515999 1463450 | 2147483647 243202 214 | 17.485 % |
2993.68/2994.85 c | 394858 | 84167 515999 1463450 | 2147483647 243362 214 | 17.485 % |
2995.68/2996.84 c | 395035 | 84167 515999 1463450 | 2147483647 243539 214 | 17.485 % |
2999.98/3001.13 c | 395230 | 84000 513639 1457016 | 2147483647 198265 206 | 17.485 % |
3001.98/3003.16 c | 395443 | 84000 513639 1457016 | 2147483647 198478 206 | 17.485 % |
3004.48/3005.69 c | 395676 | 84000 513639 1457016 | 2147483647 198710 206 | 17.486 % |
3007.18/3008.31 c | 395934 | 84000 513639 1457016 | 2147483647 198967 205 | 17.488 % |
3010.28/3011.47 c | 396218 | 84000 513639 1457016 | 2147483647 199250 205 | 17.492 % |
3012.97/3014.11 c | 396530 | 84000 513639 1457016 | 2147483647 199562 205 | 17.492 % |
3014.77/3015.99 c | 396873 | 84000 513639 1457016 | 2147483647 199905 205 | 17.492 % |
3018.38/3019.57 c | 397245 | 84000 513639 1457016 | 2147483647 200276 205 | 18.106 % |
3020.77/3021.93 c ===============================================================================
3020.77/3021.93 c restarts : 797
3020.77/3021.93 c conflicts : 397523 (132 /sec)
3020.77/3021.93 c decisions : 2178824 (1.32 % random) (723 /sec)
3020.77/3021.93 c propagations : 2733995455 (907754 /sec)
3020.77/3021.93 c conflict literals : 91282173 (44.63 % deleted)
3020.77/3021.93 c Memory used : 346.16 MB
3020.77/3021.93 c CPU time : 3011.82 s
3020.77/3021.93 c
3020.77/3021.93 s UNSATISFIABLE
3020.77/3021.99 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837496-1242874787/watcher-1837496-1242874787 -o /tmp/evaluation-result-1837496-1242874787/solver-1837496-1242874787 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837496-1242874787.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13415
/proc/meminfo: memFree=1423804/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=0
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 315512370 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 237788430418 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13415/statm: 1339 235 195 169 0 50 0
[startup+0.0388891 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13415
/proc/meminfo: memFree=1423804/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=0
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315512370 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13415/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102894 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13415
/proc/meminfo: memFree=1423804/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=0
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315512370 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13415/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302913 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13415
/proc/meminfo: memFree=1423804/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=0
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315512370 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13415/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701955 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13415
/proc/meminfo: memFree=1423804/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=0
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315512370 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13415/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50104 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13420
/proc/meminfo: memFree=1350264/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=0
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315512370 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13415/statm: 1339 237 197 169 0 50 0
[pid=13419] ppid=13415 vsize=99320 CPUtime=1.29
/proc/13419/stat : 13419 (SatELite_releas) R 13415 13415 13342 0 -1 4194304 22853 0 0 0 117 12 0 0 25 0 1 0 315512371 101703680 22671 1992294400 134512640 135223648 4294956128 18446744073709551615 134565758 0 0 4096 3 0 0 0 17 1 0 0
/proc/13419/statm: 24830 22671 70 173 0 24655 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 104676
[startup+3.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13420
/proc/meminfo: memFree=1322168/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=0
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315512370 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13415/statm: 1339 237 197 169 0 50 0
[pid=13419] ppid=13415 vsize=116768 CPUtime=2.89
/proc/13419/stat : 13419 (SatELite_releas) R 13415 13415 13342 0 -1 4194304 29334 0 0 0 272 17 0 0 25 0 1 0 315512371 119570432 26704 1992294400 134512640 135223648 4294956128 18446744073709551615 134586706 0 0 4096 3 0 0 0 17 1 0 0
/proc/13419/statm: 29192 26704 76 173 0 29017 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 122124
[startup+6.30153 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13420
/proc/meminfo: memFree=1310904/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=0
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315512370 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13415/statm: 1339 237 197 169 0 50 0
[pid=13419] ppid=13415 vsize=125164 CPUtime=6.09
/proc/13419/stat : 13419 (SatELite_releas) R 13415 13415 13342 0 -1 4194304 33516 0 0 0 590 19 0 0 25 0 1 0 315512371 128167936 28481 1992294400 134512640 135223648 4294956128 18446744073709551615 134578194 0 0 4096 3 0 0 0 17 1 0 0
/proc/13419/statm: 31291 28481 76 173 0 31116 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 130520
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 13421
/proc/meminfo: memFree=1368128/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=37676 CPUtime=4.51
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 8981 0 0 0 445 6 0 0 25 0 1 0 315513187 38580224 8951 1992294400 134512640 135215339 4294956240 18446744073709551615 134538087 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 9419 8951 77 171 0 9246 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 43032
[startup+25.5025 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13421
/proc/meminfo: memFree=1365568/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=40448 CPUtime=17.31
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 9670 0 0 0 1724 7 0 0 25 0 1 0 315513187 41418752 9640 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 10112 9640 77 171 0 9939 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 45804
[startup+51.1022 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13421
/proc/meminfo: memFree=1358976/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=47188 CPUtime=42.9
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 11359 0 0 0 4281 9 0 0 25 0 1 0 315513187 48320512 11329 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 11797 11329 77 171 0 11624 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 52544
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13427
/proc/meminfo: memFree=1344568/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=61364 CPUtime=94.08
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 14892 0 0 0 9395 13 0 0 25 0 1 0 315513187 62836736 14862 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 15341 14862 77 171 0 15168 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 66720
[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13427
/proc/meminfo: memFree=1328184/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=77828 CPUtime=154.05
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 18994 0 0 0 15389 16 0 0 25 0 1 0 315513187 79695872 18964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 19457 18964 77 171 0 19284 0
Current children cumulated CPU time (s) 162.02
Current children cumulated vsize (KiB) 83184
[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13427
/proc/meminfo: memFree=1313656/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=92100 CPUtime=214.04
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 22604 0 0 0 21384 20 0 0 25 0 1 0 315513187 94310400 22574 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 23025 22574 77 171 0 22852 0
Current children cumulated CPU time (s) 222.01
Current children cumulated vsize (KiB) 97456
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13427
/proc/meminfo: memFree=1297976/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=108192 CPUtime=274.02
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 26588 0 0 0 27377 25 0 0 25 0 1 0 315513187 110788608 26558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 27048 26558 77 171 0 26875 0
Current children cumulated CPU time (s) 281.99
Current children cumulated vsize (KiB) 113548
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13427
/proc/meminfo: memFree=1284280/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=121540 CPUtime=334.01
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 29925 0 0 0 33372 29 0 0 25 0 1 0 315513187 124456960 29895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 30385 29895 77 171 0 30212 0
Current children cumulated CPU time (s) 341.98
Current children cumulated vsize (KiB) 126896
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13427
/proc/meminfo: memFree=1271936/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=133852 CPUtime=393.99
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 33041 0 0 0 39366 33 0 0 25 0 1 0 315513187 137064448 33011 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 33463 33011 77 171 0 33290 0
Current children cumulated CPU time (s) 401.96
Current children cumulated vsize (KiB) 139208
[startup+462.303 s]
################
# More data... #
################
/proc/13421/statm: 83500 82858 77 171 0 83327 0
Current children cumulated CPU time (s) 2681.27
Current children cumulated vsize (KiB) 339356
[startup+2742.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13429
/proc/meminfo: memFree=1066752/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=338636 CPUtime=2733.29
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 83858 0 0 0 273232 97 0 0 25 0 1 0 315513187 346763264 83828 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 84659 83828 77 171 0 84486 0
Current children cumulated CPU time (s) 2741.26
Current children cumulated vsize (KiB) 343992
[startup+2802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13429
/proc/meminfo: memFree=1061632/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=343800 CPUtime=2793.26
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 85151 0 0 0 279228 98 0 0 25 0 1 0 315513187 352051200 85121 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 85950 85121 77 171 0 85777 0
Current children cumulated CPU time (s) 2801.23
Current children cumulated vsize (KiB) 349156
[startup+2862.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13429
/proc/meminfo: memFree=1055680/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=349732 CPUtime=2853.24
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 86615 0 0 0 285224 100 0 0 25 0 1 0 315513187 358125568 86585 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 87433 86585 77 171 0 87260 0
Current children cumulated CPU time (s) 2861.21
Current children cumulated vsize (KiB) 355088
[startup+2922.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13429
/proc/meminfo: memFree=1051328/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=353908 CPUtime=2913.23
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 87688 0 0 0 291221 102 0 0 25 0 1 0 315513187 362401792 87658 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 88477 87658 77 171 0 88304 0
Current children cumulated CPU time (s) 2921.2
Current children cumulated vsize (KiB) 359264
[startup+2982.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13429
/proc/meminfo: memFree=1050880/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=354468 CPUtime=2973.22
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 87797 0 0 0 297220 102 0 0 25 0 1 0 315513187 362975232 87767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 88617 87767 77 171 0 88444 0
Current children cumulated CPU time (s) 2981.19
Current children cumulated vsize (KiB) 359824
Solver just ended. Dumping a history of the last processes samples
[startup+2995.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13429
/proc/meminfo: memFree=1050816/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=354468 CPUtime=2986.01
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 87797 0 0 0 298499 102 0 0 25 0 1 0 315513187 362975232 87767 1992294400 134512640 135215339 4294956240 18446744073709551615 134525415 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 88617 87767 77 171 0 88444 0
Current children cumulated CPU time (s) 2993.98
Current children cumulated vsize (KiB) 359824
[startup+3007.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13429
/proc/meminfo: memFree=1050816/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=354468 CPUtime=2998.81
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 87797 0 0 0 299779 102 0 0 25 0 1 0 315513187 362975232 87767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 88617 87767 77 171 0 88444 0
Current children cumulated CPU time (s) 3006.78
Current children cumulated vsize (KiB) 359824
[startup+3014.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13429
/proc/meminfo: memFree=1050816/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=354468 CPUtime=3005.2
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 87797 0 0 0 300418 102 0 0 25 0 1 0 315513187 362975232 87767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 88617 87767 77 171 0 88444 0
Current children cumulated CPU time (s) 3013.17
Current children cumulated vsize (KiB) 359824
[startup+3017.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13429
/proc/meminfo: memFree=1050816/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=354468 CPUtime=3008.4
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 87797 0 0 0 300738 102 0 0 25 0 1 0 315513187 362975232 87767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 88617 87767 77 171 0 88444 0
Current children cumulated CPU time (s) 3016.37
Current children cumulated vsize (KiB) 359824
[startup+3019.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13429
/proc/meminfo: memFree=1050816/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=354468 CPUtime=3010
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 87797 0 0 0 300898 102 0 0 25 0 1 0 315513187 362975232 87767 1992294400 134512640 135215339 4294956240 18446744073709551615 134529183 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 88617 87767 77 171 0 88444 0
Current children cumulated CPU time (s) 3017.97
Current children cumulated vsize (KiB) 359824
[startup+3020.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13429
/proc/meminfo: memFree=1050816/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=354468 CPUtime=3011.6
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 87797 0 0 0 301058 102 0 0 25 0 1 0 315513187 362975232 87767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 88617 87767 77 171 0 88444 0
Current children cumulated CPU time (s) 3019.57
Current children cumulated vsize (KiB) 359824
[startup+3021.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13429
/proc/meminfo: memFree=1050816/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=354468 CPUtime=3012.4
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 87797 0 0 0 301138 102 0 0 25 0 1 0 315513187 362975232 87767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 88617 87767 77 171 0 88444 0
Current children cumulated CPU time (s) 3020.37
Current children cumulated vsize (KiB) 359824
[startup+3021.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13429
/proc/meminfo: memFree=1050816/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5356 CPUtime=7.97
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 336 37071 0 0 0 0 768 29 16 0 1 0 315512370 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13415/statm: 1339 239 197 169 0 50 0
[pid=13421] ppid=13415 vsize=354468 CPUtime=3012.8
/proc/13421/stat : 13421 (minisat_static) R 13415 13415 13342 0 -1 4194304 87797 0 0 0 301178 102 0 0 25 0 1 0 315513187 362975232 87767 1992294400 134512640 135215339 4294956240 18446744073709551615 134538068 0 0 4096 3 0 0 0 17 1 0 0
/proc/13421/statm: 88617 87767 77 171 0 88444 0
Current children cumulated CPU time (s) 3020.77
Current children cumulated vsize (KiB) 359824
[startup+3022 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13429
/proc/meminfo: memFree=1050816/2055920 swapFree=4180484/4192956
[pid=13415] ppid=13413 vsize=5360 CPUtime=3020.87
/proc/13415/stat : 13415 (SatELiteGTI) S 13413 13415 13342 0 -1 4194304 363 124874 0 0 0 0 301950 137 18 0 1 0 315512370 5488640 241 1992294400 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13415/statm: 1340 241 198 169 0 51 0
Current children cumulated CPU time (s) 3020.87
Current children cumulated vsize (KiB) 5360
Child status: 20
Real time (s): 3022.01
CPU time (s): 3020.9
CPU user time (s): 3019.51
CPU system time (s): 1.39079
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 359824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3019.51
system time used= 1.39079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125365
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= 48
involuntary context switches= 6931
runsolver used 3.56846 second user time and 7.47786 second system time
The end
Begin job on node24 at 2009-05-21 04:59:49
IDJOB=1837496
IDBENCH=71047
IDSOLVER=674
FILE ID=node24/1837496-1242874787
PBS_JOBID= 9328607
Free space on /tmp= 66028 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-15-10p0.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837496-1242874787/watcher-1837496-1242874787 -o /tmp/evaluation-result-1837496-1242874787/solver-1837496-1242874787 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837496-1242874787.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a860cf613d4e0cb34c00f8b79611121d
RANDOM SEED=2049146821
node24.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.232
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.232
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: 1424248 kB
Buffers: 46636 kB
Cached: 529972 kB
SwapCached: 6356 kB
Active: 204212 kB
Inactive: 380892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1424248 kB
SwapTotal: 4192956 kB
SwapFree: 4180484 kB
Dirty: 20084 kB
Writeback: 0 kB
Mapped: 14060 kB
Slab: 32468 kB
Committed_AS: 1063624 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= 66028 MiB
End job on node24 at 2009-05-21 05:50:11