0.00/0.00 c Parsing...
1.32/1.35 c ==============================================================================
1.32/1.35 c | | ORIGINAL | LEARNT | |
1.32/1.35 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.32/1.35 c ==============================================================================
1.32/1.35 c | 0 | 1291713 3013997 | 387513 0 0 nan | 0.000 % |
8.88/8.99 c | 0 | 547995 2160666 | -- 0 -- -- | -- | -743716/-853326
8.88/9.00 c ==============================================================================
8.88/9.00 c Result : #vars: 68748 #clauses: 547995 #literals: 2160666
8.88/9.00 c CPU time: 8.43 s
8.88/9.00 c ==============================================================================
9.68/9.79 c This is MiniSat 2.0 beta
9.68/9.79 c WARNING: for repeatability, setting FPU to use double precision
9.68/9.79 c ============================[ Problem Statistics ]=============================
9.68/9.79 c | |
9.68/9.79 c | Number of variables: 68748 |
9.68/9.79 c | Number of clauses: 547995 |
10.17/10.23 c | Parsing time: 0.40 s |
10.17/10.27 c ============================[ Search Statistics ]==============================
10.17/10.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
10.17/10.27 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.17/10.27 c ===============================================================================
10.17/10.27 c | 0 | 68748 547995 2160666 | 182665 0 nan | 0.000 % |
10.67/10.75 c | 512 | 68730 547995 2160666 | 182665 510 16 | 0.173 % |
10.87/10.95 c | 1024 | 68730 547995 2160666 | 182665 1022 13 | 0.173 % |
10.97/11.04 c | 1537 | 68730 547995 2160666 | 182665 1535 20 | 0.173 % |
11.27/11.36 c | 2562 | 68730 547995 2160666 | 182665 2560 23 | 0.173 % |
11.37/11.49 c | 3075 | 68729 547995 2160666 | 182665 3072 21 | 0.182 % |
11.47/11.58 c | 3587 | 68722 547995 2160666 | 182665 3582 26 | 0.215 % |
11.77/11.82 c | 4612 | 68710 547995 2160666 | 182665 4605 29 | 0.239 % |
11.97/12.04 c | 6660 | 68705 547995 2160666 | 182665 6651 31 | 0.356 % |
12.17/12.27 c | 7173 | 68500 541786 2137390 | 182665 7156 30 | 0.361 % |
12.37/12.47 c | 7685 | 68500 541786 2137390 | 182665 7668 29 | 0.361 % |
12.47/12.56 c | 8710 | 68494 541786 2137390 | 182665 8692 27 | 0.381 % |
12.57/12.66 c | 9223 | 68494 541786 2137390 | 182665 9205 27 | 0.381 % |
12.77/12.83 c | 9736 | 68471 541786 2137390 | 182665 9717 27 | 0.499 % |
12.77/12.90 c | 10761 | 68471 541786 2137390 | 2147483647 10742 26 | 0.499 % |
13.17/13.25 c | 12811 | 68463 541786 2137390 | 2147483647 12791 28 | 0.593 % |
14.27/14.40 c | 16908 | 68449 541786 2137390 | 2147483647 16884 33 | 0.813 % |
14.37/14.50 c | 17420 | 68189 535815 2114845 | 2147483647 17186 33 | 0.813 % |
14.57/14.61 c | 17933 | 68189 535815 2114845 | 2147483647 17699 33 | 0.813 % |
14.67/14.78 c | 18958 | 68189 535815 2114845 | 2147483647 18724 32 | 0.813 % |
14.87/14.91 c | 19471 | 68189 535815 2114845 | 2147483647 19237 32 | 0.813 % |
15.07/15.11 c | 19983 | 68189 535815 2114845 | 2147483647 19749 32 | 0.813 % |
15.27/15.33 c | 21012 | 68189 535815 2114845 | 2147483647 20778 31 | 0.813 % |
15.37/15.47 c | 23060 | 68189 535815 2114845 | 2147483647 22826 31 | 0.813 % |
15.47/15.58 c | 23573 | 68164 535815 2114845 | 2147483647 23337 31 | 0.975 % |
15.67/15.71 c | 24086 | 68132 535815 2114845 | 2147483647 23849 31 | 1.153 % |
15.77/15.89 c | 25110 | 68131 535815 2114845 | 2147483647 24872 30 | 1.155 % |
16.07/16.20 c | 25622 | 68121 535815 2114845 | 2147483647 25384 30 | 1.155 % |
16.17/16.30 c | 26134 | 68115 535815 2114845 | 2147483647 25894 29 | 1.164 % |
16.77/16.85 c | 27161 | 68115 535815 2114845 | 2147483647 26921 30 | 1.164 % |
17.37/17.44 c | 29209 | 67948 530424 2094412 | 2147483647 28946 31 | 1.164 % |
18.07/18.13 c | 33306 | 67948 530424 2094412 | 2147483647 33043 31 | 1.164 % |
20.37/20.46 c | 41500 | 67948 530424 2094412 | 2147483647 41237 38 | 1.164 % |
20.57/20.62 c | 42012 | 67941 530356 2094159 | 2147483647 41747 38 | 1.174 % |
20.67/20.79 c | 42524 | 67941 530356 2094159 | 2147483647 42259 37 | 1.174 % |
20.77/20.89 c | 43548 | 67935 530356 2094159 | 2147483647 43281 37 | 1.183 % |
20.87/20.95 c | 44062 | 67933 530356 2094159 | 2147483647 43794 37 | 1.363 % |
20.97/21.05 c | 44574 | 67932 530356 2094159 | 2147483647 44306 37 | 1.363 % |
21.17/21.22 c | 45599 | 67932 530356 2094159 | 2147483647 45331 36 | 1.363 % |
21.47/21.58 c | 47648 | 67932 530356 2094159 | 2147483647 47380 36 | 1.363 % |
21.67/21.75 c | 48161 | 67919 530356 2094159 | 2147483647 47889 36 | 1.393 % |
21.97/22.09 c | 48674 | 67879 530356 2094159 | 2147483647 48402 36 | 1.393 % |
22.77/22.89 c | 49699 | 67860 530356 2094159 | 2147483647 49427 35 | 1.393 % |
23.18/23.28 c | 50211 | 67859 530356 2094159 | 2147483647 49938 35 | 1.395 % |
23.27/23.39 c | 50724 | 67859 530356 2094159 | 2147483647 50451 35 | 1.395 % |
23.47/23.55 c | 51748 | 67859 530356 2094159 | 2147483647 51475 35 | 1.395 % |
23.67/23.74 c | 53796 | 67859 530356 2094159 | 2147483647 53523 35 | 1.395 % |
25.77/25.85 c | 57893 | 67785 526796 2080903 | 2147483647 57601 36 | 1.408 % |
25.87/25.93 c | 58405 | 67780 526796 2080903 | 2147483647 58112 36 | 1.415 % |
25.97/26.06 c | 58918 | 67780 526796 2080903 | 2147483647 58625 35 | 1.415 % |
26.37/26.44 c | 59943 | 67780 526796 2080903 | 2147483647 59650 35 | 1.415 % |
26.48/26.56 c | 60455 | 67780 526796 2080903 | 2147483647 60162 35 | 1.415 % |
26.77/26.88 c | 60968 | 67780 526796 2080903 | 2147483647 60675 35 | 1.415 % |
27.17/27.25 c | 61993 | 67780 526796 2080903 | 2147483647 61700 35 | 1.415 % |
27.47/27.58 c | 64041 | 67780 526796 2080903 | 2147483647 63748 36 | 1.415 % |
27.58/27.67 c | 64556 | 67780 526796 2080903 | 2147483647 64263 36 | 1.415 % |
27.77/27.82 c | 65070 | 67780 526796 2080903 | 2147483647 64777 36 | 1.415 % |
27.77/27.84 c | 66096 | 67780 526796 2080903 | 2147483647 65803 36 | 1.415 % |
27.87/27.93 c | 66609 | 67780 526796 2080903 | 2147483647 66316 36 | 1.415 % |
28.07/28.19 c | 67122 | 67765 526796 2080903 | 2147483647 66828 36 | 1.510 % |
28.77/28.87 c | 68146 | 67759 526796 2080903 | 2147483647 67852 35 | 1.510 % |
29.27/29.34 c | 70195 | 67710 525083 2074548 | 2147483647 69880 35 | 1.510 % |
30.88/30.96 c | 74291 | 67708 525083 2074548 | 2147483647 73975 34 | 1.514 % |
32.07/32.12 c | 82483 | 67707 525083 2074548 | 2147483647 82166 34 | 1.516 % |
37.27/37.36 c | 98867 | 67700 524906 2073887 | 2147483647 98539 34 | 1.524 % |
37.87/37.97 c | 99380 | 67700 524906 2073887 | 2147483647 99052 34 | 1.524 % |
37.97/38.06 c | 99896 | 67700 524906 2073887 | 2147483647 99568 34 | 1.524 % |
38.27/38.36 c | 100920 | 67700 524906 2073887 | 2147483647 100592 34 | 1.524 % |
38.47/38.58 c | 101432 | 67700 524906 2073887 | 2147483647 101104 34 | 1.524 % |
38.77/38.82 c | 101944 | 67700 524906 2073887 | 2147483647 101616 34 | 1.524 % |
39.07/39.18 c | 102968 | 67699 524906 2073887 | 2147483647 102639 34 | 1.526 % |
39.57/39.67 c | 105016 | 67699 524906 2073887 | 2147483647 104687 34 | 1.526 % |
39.77/39.83 c | 105529 | 67699 524906 2073887 | 2147483647 105200 34 | 1.526 % |
40.17/40.23 c | 106043 | 67699 524906 2073887 | 2147483647 105714 34 | 1.526 % |
40.47/40.53 c | 107067 | 67699 524906 2073887 | 2147483647 106738 34 | 1.526 % |
40.67/40.73 c | 107580 | 67698 524906 2073887 | 2147483647 107250 34 | 1.535 % |
40.87/40.92 c | 108093 | 67698 524906 2073887 | 2147483647 107763 34 | 1.535 % |
41.27/41.31 c | 109120 | 67697 524906 2073887 | 2147483647 108789 34 | 1.536 % |
41.77/41.87 c | 111169 | 67669 524906 2073887 | 2147483647 110836 34 | 1.650 % |
42.98/43.08 c | 115268 | 67664 524906 2073887 | 2147483647 114935 35 | 1.650 % |
43.47/43.56 c | 115780 | 67574 523015 2067002 | 2147483647 115414 35 | 1.940 % |
43.67/43.79 c | 116293 | 67574 523015 2067002 | 2147483647 115927 35 | 1.940 % |
44.47/44.51 c | 117318 | 67538 523015 2067002 | 2147483647 116951 35 | 1.945 % |
44.77/44.87 c | 117830 | 67532 523015 2067002 | 2147483647 117461 35 | 1.954 % |
44.97/45.02 c | 118343 | 67532 523015 2067002 | 2147483647 117974 35 | 1.954 % |
45.57/45.68 c | 119368 | 67532 523015 2067002 | 2147483647 118999 34 | 1.954 % |
46.47/46.60 c | 121417 | 67532 523015 2067002 | 2147483647 121048 34 | 1.954 % |
46.67/46.73 c | 121929 | 67532 523015 2067002 | 2147483647 121560 34 | 1.954 % |
47.07/47.18 c | 122442 | 67532 523015 2067002 | 2147483647 122073 34 | 1.954 % |
47.57/47.65 c | 123466 | 67532 523015 2067002 | 2147483647 123097 34 | 1.954 % |
47.57/47.68 c | 123979 | 67532 523015 2067002 | 2147483647 123610 34 | 1.954 % |
47.77/47.88 c | 124492 | 67531 523015 2067002 | 2147483647 124122 34 | 1.955 % |
48.07/48.14 c | 125517 | 67531 523015 2067002 | 2147483647 125147 34 | 1.955 % |
49.07/49.15 c | 127565 | 67531 523015 2067002 | 2147483647 127195 34 | 1.955 % |
49.77/49.82 c | 131662 | 67531 523015 2067002 | 2147483647 131292 34 | 1.955 % |
50.37/50.45 c | 139855 | 67531 523015 2067002 | 2147483647 139485 33 | 1.955 % |
50.68/50.75 c | 140367 | 67404 518131 2048560 | 2147483647 139979 33 | 1.955 % |
51.07/51.17 c | 140880 | 67404 518131 2048560 | 2147483647 140492 33 | 1.955 % |
51.37/51.44 c | 141905 | 67403 518131 2048560 | 2147483647 141516 33 | 1.956 % |
51.37/51.49 c | 142417 | 67403 518131 2048560 | 2147483647 142028 33 | 1.956 % |
51.47/51.60 c | 142929 | 67403 518131 2048560 | 2147483647 142540 33 | 1.956 % |
52.37/52.48 c | 143954 | 67403 518131 2048560 | 2147483647 143565 33 | 1.956 % |
52.88/52.96 c | 146002 | 67403 518131 2048560 | 2147483647 145613 33 | 1.956 % |
53.07/53.18 c | 146514 | 67403 518131 2048560 | 2147483647 146125 33 | 1.956 % |
53.17/53.30 c | 147027 | 67403 518131 2048560 | 2147483647 146638 33 | 1.956 % |
53.57/53.62 c | 148052 | 67403 518131 2048560 | 2147483647 147663 33 | 1.956 % |
53.87/53.92 c | 148564 | 67403 518131 2048560 | 2147483647 148175 33 | 1.956 % |
53.98/54.08 c | 149077 | 67403 518131 2048560 | 2147483647 148688 33 | 1.956 % |
54.37/54.41 c | 150101 | 67403 518131 2048560 | 2147483647 149712 33 | 1.956 % |
54.97/55.04 c | 152151 | 67403 518131 2048560 | 2147483647 151762 33 | 1.956 % |
55.77/55.88 c | 156249 | 67403 518131 2048560 | 2147483647 155860 33 | 1.956 % |
55.97/56.05 c | 156765 | 67403 518131 2048560 | 2147483647 156376 33 | 1.956 % |
56.27/56.36 c | 157278 | 67403 518131 2048560 | 2147483647 156889 33 | 1.956 % |
56.67/56.74 c | 158302 | 67403 518131 2048560 | 2147483647 157913 33 | 1.956 % |
56.97/57.07 c | 158815 | 67400 518131 2048560 | 2147483647 158425 33 | 1.965 % |
57.17/57.26 c | 159328 | 67400 518131 2048560 | 2147483647 158938 33 | 1.965 % |
57.47/57.54 c | 160353 | 67400 518131 2048560 | 2147483647 159963 33 | 1.965 % |
58.67/58.72 c | 162401 | 67398 518131 2048560 | 2147483647 162011 33 | 1.965 % |
59.07/59.12 c | 162915 | 67398 518131 2048560 | 2147483647 162525 33 | 1.965 % |
59.48/59.56 c | 163428 | 67397 518001 2048097 | 2147483647 163035 33 | 1.965 % |
59.97/60.08 c | 164453 | 67397 518001 2048097 | 2147483647 164060 33 | 1.965 % |
60.37/60.48 c | 164966 | 67397 518001 2048097 | 2147483647 164573 33 | 1.965 % |
60.47/60.58 c | 165478 | 67397 518001 2048097 | 2147483647 165085 32 | 1.965 % |
60.87/60.96 c | 166502 | 67397 518001 2048097 | 2147483647 166109 32 | 1.965 % |
61.47/61.56 c | 168550 | 67397 518001 2048097 | 2147483647 168157 32 | 1.965 % |
63.27/63.39 c | 172646 | 67397 518001 2048097 | 2147483647 172253 32 | 1.965 % |
65.77/65.87 c | 180840 | 67397 518001 2048097 | 2147483647 180447 32 | 1.965 % |
70.97/71.01 c | 197224 | 67346 518001 2048097 | 189603 196826 32 | 2.208 % |
82.48/82.61 c | 229992 | 67227 514670 2035070 | 147255 96119 37 | 2.212 % |
82.98/83.03 c | 230504 | 67226 514670 2035070 | 96128 96630 37 | 2.214 % |
83.18/83.29 c | 231017 | 67226 514670 2035070 | 96128 97143 37 | 2.214 % |
83.48/83.54 c | 232042 | 67226 514670 2035070 | 96128 98168 37 | 2.214 % |
83.68/83.80 c | 232556 | 67226 514670 2035070 | 96128 78807 39 | 2.214 % |
83.88/83.96 c | 233068 | 67226 514670 2035070 | 96128 79319 39 | 2.214 % |
84.38/84.50 c | 234094 | 67226 514670 2035070 | 96128 80345 39 | 2.214 % |
85.18/85.30 c | 236142 | 67226 514670 2035070 | 96128 82393 39 | 2.214 % |
85.28/85.39 c | 236654 | 67226 514670 2035070 | 96128 82905 39 | 2.214 % |
85.48/85.53 c | 237170 | 67226 514670 2035070 | 96128 83421 39 | 2.214 % |
85.88/85.98 c | 238194 | 67226 514670 2035070 | 96128 84445 38 | 2.214 % |
86.08/86.15 c | 238708 | 67226 514670 2035070 | 96128 84959 38 | 2.214 % |
86.28/86.32 c | 239221 | 67226 514670 2035070 | 96128 85472 38 | 2.214 % |
87.08/87.12 c | 240245 | 67225 514670 2035070 | 2147483647 86495 38 | 2.220 % |
88.28/88.39 c | 242294 | 67216 514531 2034511 | 2147483647 88523 38 | 2.228 % |
89.08/89.19 c | 246390 | 67215 514531 2034511 | 2147483647 92618 38 | 2.230 % |
89.48/89.60 c | 246902 | 67215 514531 2034511 | 2147483647 93130 38 | 2.230 % |
89.68/89.79 c | 247414 | 67215 514531 2034511 | 2147483647 93642 38 | 2.230 % |
90.08/90.15 c | 248438 | 67209 514531 2034511 | 2147483647 94665 38 | 2.239 % |
90.18/90.28 c | 248951 | 67209 514531 2034511 | 2147483647 95178 38 | 2.239 % |
90.38/90.51 c | 249464 | 67209 514531 2034511 | 2147483647 95691 38 | 2.239 % |
90.98/91.07 c | 250488 | 67209 514531 2034511 | 2147483647 96715 37 | 2.239 % |
91.88/91.93 c | 252537 | 67209 514531 2034511 | 2147483647 98764 38 | 2.239 % |
92.18/92.26 c | 253052 | 67209 514531 2034511 | 2147483647 99279 37 | 2.239 % |
92.38/92.43 c | 253565 | 67209 514531 2034511 | 2147483647 99792 37 | 2.239 % |
92.78/92.88 c | 254589 | 67209 514531 2034511 | 2147483647 100816 37 | 2.239 % |
92.88/92.97 c | 255101 | 67209 514531 2034511 | 2147483647 101328 37 | 2.239 % |
93.18/93.26 c | 255615 | 67209 514531 2034511 | 2147483647 101842 37 | 2.239 % |
93.68/93.71 c | 256639 | 67209 514531 2034511 | 2147483647 102866 37 | 2.239 % |
94.38/94.47 c | 258687 | 67209 514333 2033927 | 2147483647 104911 37 | 2.239 % |
96.78/96.84 c | 262783 | 67209 514333 2033927 | 2147483647 109007 36 | 2.239 % |
99.48/99.58 c | 270975 | 67203 514333 2033927 | 2147483647 117198 36 | 2.247 % |
99.88/100.00 c | 271487 | 67203 514333 2033927 | 2147483647 117710 36 | 2.247 % |
100.18/100.25 c | 272000 | 67203 514333 2033927 | 2147483647 118223 36 | 2.247 % |
100.68/100.71 c | 273026 | 67201 514333 2033927 | 2147483647 119247 36 | 2.259 % |
100.88/100.94 c | 273538 | 67195 514206 2033482 | 2147483647 118659 36 | 2.259 % |
100.88/100.99 c | 274052 | 67195 514206 2033482 | 2147483647 119173 36 | 2.259 % |
101.28/101.37 c | 275076 | 67195 514206 2033482 | 2147483647 120197 36 | 2.259 % |
101.58/101.65 c | 277124 | 67188 514206 2033482 | 2147483647 122242 36 | 2.271 % |
101.88/101.99 c | 277636 | 67187 514206 2033482 | 2147483647 122753 36 | 2.272 % |
102.08/102.12 c | 278149 | 67187 514206 2033482 | 2147483647 123266 36 | 2.272 % |
102.28/102.35 c | 279174 | 67187 514206 2033482 | 2147483647 124291 36 | 2.272 % |
102.48/102.53 c | 279686 | 67187 514206 2033482 | 2147483647 124803 36 | 2.272 % |
102.78/102.84 c | 280198 | 67187 514206 2033482 | 2147483647 125315 36 | 2.272 % |
102.98/103.05 c | 281223 | 67187 514206 2033482 | 2147483647 126340 36 | 2.272 % |
103.28/103.33 c | 283271 | 67187 514206 2033482 | 2147483647 128388 36 | 2.272 % |
104.28/104.37 c | 287368 | 67187 514206 2033482 | 2147483647 132485 35 | 2.272 % |
104.58/104.69 c | 287881 | 67187 514206 2033482 | 2147483647 132998 35 | 2.272 % |
104.98/105.07 c | 288393 | 67187 514206 2033482 | 2147483647 133510 35 | 2.272 % |
105.68/105.75 c | 289417 | 67187 514206 2033482 | 2147483647 134534 35 | 2.272 % |
106.28/106.36 c | 289929 | 67187 514206 2033482 | 2147483647 135046 35 | 2.272 % |
106.68/106.74 c | 290442 | 67187 514206 2033482 | 2147483647 135559 35 | 2.272 % |
106.88/106.92 c | 291467 | 67184 514206 2033482 | 2147483647 136583 35 | 2.276 % |
107.68/107.77 c | 293515 | 67184 514206 2033482 | 2147483647 138631 35 | 2.276 % |
107.98/108.11 c | 294027 | 67184 514206 2033482 | 2147483647 139143 35 | 2.276 % |
108.08/108.19 c | 294544 | 67184 514206 2033482 | 2147483647 139660 35 | 2.276 % |
108.58/108.65 c | 295569 | 67184 514206 2033482 | 2147483647 140685 35 | 2.276 % |
108.78/108.84 c | 296082 | 67184 514206 2033482 | 2147483647 141198 35 | 2.276 % |
108.98/109.11 c | 296595 | 67183 514068 2032981 | 2147483647 141709 35 | 2.276 % |
109.98/110.04 c | 297619 | 67183 514068 2032981 | 2147483647 142733 35 | 2.276 % |
110.28/110.38 c | 299667 | 67183 514068 2032981 | 2147483647 144781 35 | 2.276 % |
111.68/111.76 c | 303764 | 67183 514068 2032981 | 2147483647 148878 36 | 2.276 % |
114.48/114.59 c | 311957 | 67171 514068 2032981 | 155110 157067 36 | 2.303 % |
120.78/120.83 c | 328341 | 67168 514068 2032981 | 2147483647 136407 37 | 2.303 % |
121.38/121.42 c | 328854 | 67165 513715 2031882 | 2147483647 136912 37 | 2.303 % |
121.78/121.84 c | 329366 | 67162 513715 2031882 | 2147483647 137423 37 | 2.308 % |
122.68/122.80 c | 330391 | 67162 513715 2031882 | 2147483647 138448 37 | 2.308 % |
122.88/123.01 c | 330903 | 67160 513715 2031882 | 2147483647 138958 37 | 2.314 % |
123.28/123.35 c | 331415 | 67160 513715 2031882 | 2147483647 139470 36 | 2.314 % |
124.08/124.16 c | 332439 | 67160 513715 2031882 | 2147483647 140494 36 | 2.314 % |
124.88/125.01 c | 334487 | 67156 513715 2031882 | 2147483647 142541 36 | 2.349 % |
125.18/125.21 c | 334999 | 67156 513715 2031882 | 2147483647 143053 36 | 2.349 % |
125.28/125.39 c | 335512 | 67156 513715 2031882 | 2147483647 143566 36 | 2.349 % |
126.08/126.12 c | 336537 | 67155 513715 2031882 | 2147483647 144590 36 | 2.351 % |
126.28/126.39 c | 337050 | 67155 513715 2031882 | 2147483647 145103 36 | 2.351 % |
126.68/126.72 c | 337562 | 67154 513715 2031882 | 2147483647 145614 36 | 2.356 % |
127.58/127.70 c | 338586 | 67151 513715 2031882 | 2147483647 146638 36 | 2.356 % |
128.88/128.91 c | 340634 | 67149 513715 2031882 | 2147483647 148685 36 | 2.361 % |
130.88/130.98 c | 344731 | 67149 513715 2031882 | 2147483647 152782 36 | 2.361 % |
131.28/131.35 c | 345245 | 67125 513398 2030350 | 2147483647 149228 36 | 2.361 % |
131.78/131.83 c | 345757 | 67125 513398 2030350 | 2147483647 149740 36 | 2.361 % |
132.58/132.67 c | 346783 | 67124 513398 2030350 | 2147483647 150765 36 | 2.362 % |
132.68/132.76 c | 347295 | 67124 513398 2030350 | 2147483647 151277 36 | 2.362 % |
133.08/133.15 c | 347807 | 67100 513398 2030350 | 2147483647 151788 36 | 2.468 % |
133.58/133.70 c | 348831 | 67099 513398 2030350 | 2147483647 152811 36 | 2.470 % |
134.28/134.38 c | 350879 | 67099 513398 2030350 | 2147483647 154859 36 | 2.470 % |
134.58/134.65 c | 351392 | 67099 513398 2030350 | 2147483647 155372 36 | 2.470 % |
134.88/134.98 c | 351905 | 67099 513398 2030350 | 2147483647 155885 36 | 2.470 % |
135.08/135.18 c | 352930 | 67099 513398 2030350 | 2147483647 156910 36 | 2.470 % |
135.78/135.83 c | 353442 | 67085 513398 2030350 | 2147483647 157421 36 | 2.479 % |
136.18/136.24 c | 353955 | 67085 513398 2030350 | 2147483647 157934 36 | 2.479 % |
136.78/136.81 c | 354981 | 67085 513398 2030350 | 2147483647 158960 36 | 2.479 % |
137.28/137.34 c | 357029 | 67084 513398 2030350 | 2147483647 161007 36 | 2.484 % |
137.98/138.07 c | 361126 | 67084 513398 2030350 | 2147483647 165104 35 | 2.484 % |
141.78/141.83 c | 369318 | 67084 513398 2030350 | 2147483647 173296 36 | 2.484 % |
142.38/142.41 c | 369830 | 67040 511691 2024034 | 2147483647 173786 36 | 2.484 % |
142.58/142.61 c | 370342 | 67040 511691 2024034 | 2147483647 174298 36 | 2.484 % |
143.18/143.27 c | 371367 | 67040 511691 2024034 | 2147483647 175323 36 | 2.484 % |
143.58/143.63 c | 371880 | 67040 511691 2024034 | 2147483647 175836 36 | 2.484 % |
143.88/143.95 c | 372392 | 67040 511691 2024034 | 2147483647 176348 36 | 2.484 % |
144.78/144.84 c | 373416 | 67040 511691 2024034 | 2147483647 177372 36 | 2.484 % |
145.58/145.70 c | 375464 | 67040 511691 2024034 | 2147483647 179420 36 | 2.484 % |
145.88/145.99 c | 375976 | 67040 511691 2024034 | 2147483647 179932 36 | 2.484 % |
146.48/146.51 c | 376488 | 67040 511691 2024034 | 2147483647 180444 36 | 2.484 % |
147.28/147.37 c | 377512 | 67040 511691 2024034 | 2147483647 181468 36 | 2.484 % |
147.49/147.56 c | 378024 | 67040 511691 2024034 | 2147483647 181980 36 | 2.484 % |
147.78/147.83 c | 378537 | 67040 511691 2024034 | 2147483647 182493 36 | 2.484 % |
148.08/148.15 c | 379561 | 67040 511691 2024034 | 2147483647 183517 36 | 2.484 % |
149.69/149.80 c | 381609 | 67040 511691 2024034 | 2147483647 185565 36 | 2.484 % |
150.79/150.87 c | 385707 | 67040 511691 2024034 | 2147483647 189663 36 | 2.484 % |
151.08/151.16 c | 386219 | 67040 511691 2024034 | 2147483647 190175 36 | 2.484 % |
151.48/151.55 c | 386731 | 67040 511691 2024034 | 2147483647 190687 36 | 2.484 % |
152.18/152.24 c | 387755 | 67040 511691 2024034 | 2147483647 191711 36 | 2.484 % |
152.58/152.61 c | 388269 | 67040 511691 2024034 | 2147483647 192225 35 | 2.484 % |
152.78/152.90 c | 388782 | 67040 511691 2024034 | 2147483647 192738 35 | 2.484 % |
153.58/153.62 c | 389808 | 67040 511691 2024034 | 2147483647 193764 35 | 2.484 % |
154.28/154.36 c | 391857 | 67040 511691 2024034 | 2147483647 195813 35 | 2.484 % |
154.58/154.67 c | 392370 | 67040 511691 2024034 | 2147483647 196326 35 | 2.484 % |
154.88/154.93 c | 392882 | 67040 511691 2024034 | 2147483647 196838 35 | 2.484 % |
155.58/155.69 c | 393908 | 67040 511691 2024034 | 2147483647 197864 35 | 2.484 % |
155.78/155.89 c | 394420 | 67040 511691 2024034 | 2147483647 198376 35 | 2.484 % |
156.18/156.22 c | 394935 | 67040 511691 2024034 | 2147483647 198891 35 | 2.484 % |
156.78/156.82 c | 395959 | 67040 511691 2024034 | 2147483647 199915 35 | 2.484 % |
157.78/157.85 c | 398009 | 67040 511691 2024034 | 2147483647 201965 35 | 2.484 % |
158.38/158.46 c | 402105 | 67040 511691 2024034 | 203956 206061 35 | 2.484 % |
162.89/162.92 c | 410298 | 67040 511691 2024034 | 2147483647 178379 35 | 2.484 % |
166.88/166.97 c | 426683 | 67040 511691 2024034 | 2147483647 194764 35 | 2.484 % |
186.49/186.53 c | 459452 | 67037 511671 2023956 | 2147483647 179518 32 | 2.489 % |
202.19/202.29 c | 524990 | 67037 511671 2023956 | 94971 99960 26 | 2.489 % |
202.49/202.54 c | 525502 | 67033 511593 2023657 | 94971 84207 26 | 2.495 % |
202.69/202.77 c | 526015 | 67033 511593 2023657 | 94971 84720 26 | 2.495 % |
203.59/203.66 c | 527039 | 67033 511593 2023657 | 94971 85744 26 | 2.495 % |
203.89/203.94 c | 527552 | 67033 511593 2023657 | 94971 86257 26 | 2.495 % |
204.09/204.20 c | 528065 | 67033 511593 2023657 | 94971 86770 25 | 2.495 % |
204.39/204.44 c | 529090 | 67032 511593 2023657 | 94971 87794 26 | 2.496 % |
205.39/205.50 c | 531138 | 67032 511593 2023657 | 2147483647 89842 26 | 2.496 % |
205.79/205.82 c | 531650 | 67032 511593 2023657 | 2147483647 90354 26 | 2.496 % |
205.99/206.07 c | 532162 | 67031 511593 2023657 | 2147483647 90865 26 | 2.498 % |
206.19/206.23 c | 533186 | 67031 511593 2023657 | 2147483647 91889 26 | 2.498 % |
206.39/206.44 c | 533698 | 67031 511593 2023657 | 2147483647 92401 26 | 2.498 % |
206.59/206.70 c | 534210 | 67031 511593 2023657 | 2147483647 92913 26 | 2.498 % |
207.19/207.26 c | 535235 | 67030 511593 2023657 | 2147483647 93937 25 | 2.502 % |
208.09/208.17 c | 537283 | 67028 511518 2023432 | 2147483647 95984 26 | 2.502 % |
209.39/209.50 c | 541381 | 67028 511518 2023432 | 2147483647 100082 26 | 2.502 % |
209.59/209.71 c | 541894 | 67028 511518 2023432 | 2147483647 100595 25 | 2.502 % |
210.09/210.19 c | 542407 | 67028 511518 2023432 | 2147483647 101108 26 | 2.502 % |
210.59/210.70 c | 543431 | 67028 511518 2023432 | 2147483647 102132 25 | 2.502 % |
210.89/210.97 c | 543943 | 67020 511518 2023432 | 2147483647 102643 25 | 2.541 % |
211.09/211.18 c | 544456 | 67020 511518 2023432 | 2147483647 103156 25 | 2.541 % |
211.99/212.07 c | 545480 | 67004 511518 2023432 | 2147483647 104180 25 | 2.541 % |
212.39/212.51 c | 547530 | 67002 511518 2023432 | 2147483647 106229 26 | 2.544 % |
212.79/212.83 c | 548042 | 66999 510972 2021060 | 2147483647 103683 25 | 2.544 % |
212.99/213.02 c | 548555 | 66999 510972 2021060 | 2147483647 104196 25 | 2.544 % |
213.29/213.36 c | 549580 | 66999 510972 2021060 | 2147483647 105221 25 | 2.544 % |
213.29/213.41 c | 550092 | 66999 510972 2021060 | 2147483647 105733 25 | 2.544 % |
213.99/214.09 c | 550605 | 66999 510972 2021060 | 2147483647 106246 25 | 2.544 % |
214.29/214.41 c | 551629 | 66999 510972 2021060 | 2147483647 107270 25 | 2.544 % |
215.29/215.36 c | 553677 | 66999 510972 2021060 | 2147483647 109318 25 | 2.544 % |
216.69/216.79 c | 557775 | 66999 510972 2021060 | 2147483647 113416 26 | 2.544 % |
218.09/218.19 c | 565967 | 66999 510972 2021060 | 2147483647 121608 26 | 2.544 % |
218.39/218.47 c | 566479 | 66999 510972 2021060 | 2147483647 122120 26 | 2.544 % |
218.69/218.74 c | 566991 | 66999 510972 2021060 | 2147483647 122632 26 | 2.544 % |
219.18/219.28 c | 568015 | 66999 510972 2021060 | 2147483647 123656 26 | 2.544 % |
219.38/219.47 c | 568527 | 66999 510972 2021060 | 2147483647 124168 26 | 2.544 % |
219.68/219.72 c | 569040 | 66999 510972 2021060 | 2147483647 124681 26 | 2.544 % |
220.08/220.15 c | 570064 | 66999 510972 2021060 | 2147483647 125705 26 | 2.544 % |
220.88/220.93 c | 572114 | 66999 510972 2021060 | 2147483647 127755 26 | 2.544 % |
221.18/221.23 c | 572628 | 66999 510972 2021060 | 2147483647 128269 26 | 2.544 % |
221.48/221.60 c | 573141 | 66999 510972 2021060 | 2147483647 128782 26 | 2.544 % |
222.28/222.31 c | 574166 | 66937 509593 2016124 | 2147483647 129804 26 | 2.634 % |
222.58/222.67 c | 574678 | 66937 509593 2016124 | 2147483647 130316 26 | 2.634 % |
222.68/222.79 c | 575190 | 66937 509593 2016124 | 2147483647 130828 26 | 2.634 % |
223.28/223.38 c | 576214 | 66937 509593 2016124 | 2147483647 131852 26 | 2.634 % |
224.78/224.82 c | 578262 | 66937 509593 2016124 | 2147483647 133900 26 | 2.634 % |
226.08/226.14 c | 582358 | 66937 509593 2016124 | 2147483647 137996 27 | 2.634 % |
226.38/226.47 c | 582871 | 66936 509593 2016124 | 2147483647 138508 27 | 2.636 % |
226.78/226.89 c | 583383 | 66936 509593 2016124 | 2147483647 139020 27 | 2.636 % |
227.38/227.41 c | 584407 | 66935 509593 2016124 | 2147483647 140043 26 | 2.637 % |
227.58/227.68 c | 584920 | 66935 509593 2016124 | 2147483647 140556 26 | 2.637 % |
227.78/227.87 c | 585432 | 66935 509593 2016124 | 2147483647 141068 26 | 2.637 % |
228.58/228.66 c | 586456 | 66935 509593 2016124 | 2147483647 142092 26 | 2.637 % |
229.48/229.56 c | 588506 | 66935 509461 2015709 | 2147483647 144135 26 | 2.637 % |
229.58/229.66 c | 589019 | 66922 509461 2015709 | 2147483647 144646 26 | 2.675 % |
229.68/229.80 c | 589531 | 66922 509461 2015709 | 2147483647 145158 26 | 2.675 % |
230.08/230.16 c | 590556 | 66922 509461 2015709 | 2147483647 146183 26 | 2.675 % |
230.38/230.41 c | 591069 | 66922 509461 2015709 | 2147483647 146696 26 | 2.675 % |
230.58/230.62 c | 591582 | 66913 509461 2015709 | 2147483647 147209 26 | 2.675 % |
230.78/230.88 c | 592606 | 66913 509461 2015709 | 2147483647 148233 26 | 2.675 % |
232.48/232.57 c | 594654 | 66912 509461 2015709 | 2147483647 150281 26 | 2.675 % |
234.08/234.12 c | 598750 | 66912 509461 2015709 | 2147483647 154377 26 | 2.675 % |
236.08/236.17 c | 606943 | 66912 509461 2015709 | 2147483647 162570 27 | 2.675 % |
239.98/240.02 c | 623327 | 66854 509041 2013887 | 174807 178134 27 | 2.790 % |
240.58/240.65 c | 623840 | 66854 509041 2013887 | 174807 149846 26 | 2.790 % |
240.78/240.84 c | 624353 | 66854 509041 2013887 | 174807 150359 26 | 2.790 % |
241.48/241.58 c | 625378 | 66854 509041 2013887 | 174807 151384 26 | 2.790 % |
241.78/241.83 c | 625891 | 66854 509041 2013887 | 174807 151897 26 | 2.790 % |
242.08/242.13 c | 626403 | 66854 509041 2013887 | 174807 152409 26 | 2.790 % |
242.78/242.90 c | 627428 | 66853 509041 2013887 | 174807 153434 26 | 2.790 % |
243.48/243.51 c | 629476 | 66853 509041 2013887 | 174807 155482 26 | 2.790 % |
243.78/243.81 c | 629989 | 66853 509041 2013887 | 174807 155995 26 | 2.790 % |
243.98/244.07 c | 630502 | 66853 509041 2013887 | 2147483647 156508 26 | 2.790 % |
244.98/245.07 c | 631526 | 66848 509041 2013887 | 2147483647 157532 26 | 2.790 % |
245.28/245.31 c | 632039 | 66830 507292 2006805 | 2147483647 156664 26 | 2.790 % |
245.48/245.59 c | 632554 | 66830 507292 2006805 | 2147483647 157179 26 | 2.790 % |
245.98/246.07 c | 633578 | 66825 507292 2006805 | 2147483647 158202 26 | 2.797 % |
246.58/246.69 c | 635627 | 66825 507292 2006805 | 2147483647 160251 26 | 2.797 % |
247.88/247.96 c | 639723 | 66824 507292 2006805 | 2147483647 164346 26 | 2.879 % |
248.18/248.20 c | 640236 | 66824 507292 2006805 | 2147483647 164859 26 | 2.879 % |
248.48/248.53 c | 640748 | 66824 507292 2006805 | 2147483647 165371 26 | 2.879 % |
248.68/248.78 c | 641772 | 66824 507292 2006805 | 2147483647 166395 26 | 2.879 % |
249.28/249.35 c | 642285 | 66802 507292 2006805 | 2147483647 166907 26 | 2.893 % |
249.38/249.46 c | 642797 | 66802 507292 2006805 | 2147483647 167419 26 | 2.893 % |
249.98/250.01 c | 643822 | 66802 507292 2006805 | 2147483647 168444 26 | 2.893 % |
250.58/250.61 c | 645870 | 66802 507292 2006805 | 2147483647 170492 27 | 2.893 % |
250.78/250.88 c | 646382 | 66796 507292 2006805 | 2147483647 171003 27 | 2.911 % |
251.08/251.15 c | 646894 | 66796 507292 2006805 | 2147483647 171515 27 | 2.911 % |
251.38/251.44 c | 647919 | 66793 507292 2006805 | 2147483647 172539 27 | 3.050 % |
251.58/251.66 c | 648432 | 66793 507292 2006805 | 2147483647 173052 26 | 3.050 % |
251.88/251.91 c | 648945 | 66793 507292 2006805 | 2147483647 173565 26 | 3.050 % |
252.48/252.60 c | 649970 | 66651 503910 1993681 | 2147483647 171202 27 | 3.050 % |
253.98/254.03 c | 652020 | 66651 503910 1993681 | 2147483647 173252 27 | 3.050 % |
254.98/255.10 c | 656118 | 66651 503910 1993681 | 2147483647 177350 27 | 3.050 % |
257.28/257.41 c | 664311 | 66651 503910 1993681 | 2147483647 185543 27 | 3.050 % |
257.38/257.45 c | 664824 | 66651 503910 1993681 | 2147483647 186056 27 | 3.050 % |
257.49/257.57 c | 665336 | 66651 503910 1993681 | 2147483647 186568 27 | 3.050 % |
257.98/258.08 c | 666360 | 66651 503910 1993681 | 2147483647 187592 27 | 3.050 % |
258.38/258.43 c | 666872 | 66651 503910 1993681 | 2147483647 188104 27 | 3.050 % |
258.59/258.68 c | 667385 | 66651 503910 1993681 | 2147483647 188617 27 | 3.050 % |
259.28/259.31 c | 668410 | 66651 503910 1993681 | 2147483647 189642 28 | 3.050 % |
259.98/260.07 c | 670458 | 66650 503864 1993541 | 2147483647 191688 28 | 3.052 % |
260.18/260.28 c | 670971 | 66650 503864 1993541 | 2147483647 192201 28 | 3.052 % |
260.48/260.60 c | 671483 | 66650 503864 1993541 | 2147483647 192713 28 | 3.052 % |
260.79/260.89 c | 672507 | 66650 503864 1993541 | 2147483647 193737 27 | 3.052 % |
260.98/261.03 c | 673020 | 66650 503864 1993541 | 2147483647 194250 27 | 3.052 % |
261.08/261.14 c | 673532 | 66650 503864 1993541 | 2147483647 194762 27 | 3.052 % |
261.18/261.25 c | 674557 | 66650 503864 1993541 | 2147483647 195787 27 | 3.052 % |
261.89/261.92 c | 676606 | 66650 503864 1993541 | 2147483647 197836 27 | 3.052 % |
264.18/264.25 c | 680704 | 66649 503864 1993541 | 2147483647 201933 28 | 3.053 % |
264.78/264.90 c | 681216 | 66649 503864 1993541 | 2147483647 202445 28 | 3.053 % |
265.38/265.45 c | 681729 | 66649 503864 1993541 | 2147483647 202958 28 | 3.053 % |
265.98/266.00 c | 682754 | 66646 503864 1993541 | 2147483647 203982 28 | 3.063 % |
266.29/266.33 c | 683266 | 66646 503864 1993541 | 2147483647 204494 28 | 3.063 % |
266.68/266.74 c | 683779 | 66646 503864 1993541 | 2147483647 205007 28 | 3.063 % |
267.18/267.27 c | 684803 | 66646 503864 1993541 | 2147483647 206031 28 | 3.063 % |
268.18/268.29 c | 686851 | 66646 503864 1993541 | 2147483647 208079 28 | 3.063 % |
268.49/268.58 c | 687364 | 66642 503722 1993054 | 2147483647 208586 28 | 3.063 % |
268.68/268.75 c | 687876 | 66642 503722 1993054 | 2147483647 209098 28 | 3.063 % |
269.08/269.12 c | 688901 | 66642 503722 1993054 | 2147483647 210123 28 | 3.063 % |
269.38/269.48 c | 689413 | 66642 503722 1993054 | 2147483647 210635 28 | 3.063 % |
269.48/269.61 c | 689925 | 66642 503722 1993054 | 2147483647 211147 28 | 3.063 % |
270.08/270.17 c | 690950 | 66642 503722 1993054 | 2147483647 212172 28 | 3.063 % |
271.68/271.74 c | 692998 | 66636 503722 1993054 | 2147483647 214218 28 | 3.172 % |
272.68/272.75 c | 697099 | 66636 503722 1993054 | 2147483647 218319 28 | 3.172 % |
275.78/275.81 c | 705291 | 66636 503722 1993054 | 2147483647 226511 28 | 3.172 % |
281.78/281.88 c | 721675 | 66614 503722 1993054 | 2147483647 242895 28 | 3.172 % |
291.08/291.12 c | 754443 | 66565 502147 1987347 | 168375 172818 27 | 3.190 % |
291.59/291.69 c | 754955 | 66565 502147 1987347 | 168375 105675 25 | 3.190 % |
291.78/291.83 c | 755467 | 66565 502147 1987347 | 168375 106187 25 | 3.190 % |
292.18/292.21 c | 756492 | 66565 502147 1987347 | 168375 107212 25 | 3.190 % |
292.28/292.37 c | 757005 | 66565 502147 1987347 | 168375 107725 25 | 3.190 % |
292.58/292.63 c | 757517 | 66555 502147 1987347 | 168375 108234 25 | 3.203 % |
293.08/293.11 c | 758541 | 66555 502147 1987347 | 168375 109258 25 | 3.203 % |
293.68/293.74 c | 760589 | 66544 502147 1987347 | 110722 111305 25 | 3.220 % |
294.38/294.47 c | 761103 | 66539 502147 1987347 | 110722 111819 25 | 3.220 % |
294.89/294.95 c | 761616 | 66534 501697 1985630 | 110722 111384 25 | 3.220 % |
295.28/295.31 c | 762640 | 66534 501697 1985630 | 110722 112408 25 | 3.220 % |
295.38/295.45 c | 763152 | 66534 501697 1985630 | 110722 112920 25 | 3.220 % |
295.78/295.83 c | 763665 | 66534 501697 1985630 | 110722 113433 25 | 3.220 % |
296.18/296.29 c | 764692 | 66534 501697 1985630 | 110722 103117 24 | 3.220 % |
297.18/297.24 c | 766742 | 66534 501697 1985630 | 110722 105167 24 | 3.220 % |
298.59/298.65 c | 770838 | 66534 501697 1985630 | 2147483647 109263 24 | 3.220 % |
298.89/298.93 c | 771350 | 66534 501697 1985630 | 2147483647 109775 24 | 3.220 % |
299.09/299.16 c | 771862 | 66534 501697 1985630 | 2147483647 110287 24 | 3.220 % |
299.39/299.51 c | 772888 | 66534 501697 1985630 | 2147483647 111313 24 | 3.220 % |
299.59/299.64 c | 773401 | 66534 501697 1985630 | 2147483647 111826 24 | 3.220 % |
299.89/299.99 c | 773913 | 66533 501689 1985602 | 2147483647 112337 24 | 3.222 % |
300.39/300.45 c | 774937 | 66533 501689 1985602 | 2147483647 113361 24 | 3.222 % |
300.99/301.02 c | 776986 | 66526 501689 1985602 | 2147483647 115409 24 | 3.238 % |
300.99/301.04 c | 777501 | 66526 501689 1985602 | 2147483647 115924 24 | 3.238 % |
301.19/301.27 c | 778014 | 66526 501689 1985602 | 2147483647 116437 24 | 3.238 % |
301.49/301.56 c | 779040 | 66526 501689 1985602 | 2147483647 117463 24 | 3.238 % |
301.59/301.71 c | 779554 | 66526 501689 1985602 | 2147483647 117977 24 | 3.238 % |
302.39/302.42 c | 780066 | 66526 501689 1985602 | 2147483647 118489 24 | 3.238 % |
302.69/302.74 c | 781090 | 66526 501689 1985602 | 2147483647 119513 24 | 3.238 % |
303.89/303.94 c | 783138 | 66518 501689 1985602 | 2147483647 121560 24 | 3.250 % |
304.89/304.92 c | 787234 | 66518 501689 1985602 | 2147483647 125656 24 | 3.250 % |
307.59/307.68 c | 795427 | 66514 501496 1984547 | 2147483647 132330 26 | 3.250 % |
307.89/307.91 c | 795940 | 66514 501496 1984547 | 2147483647 132843 26 | 3.250 % |
308.09/308.14 c | 796452 | 66514 501496 1984547 | 2147483647 133355 26 | 3.250 % |
308.49/308.60 c | 797476 | 66513 501496 1984547 | 2147483647 134378 26 | 3.251 % |
308.89/308.97 c | 797988 | 66513 501496 1984547 | 2147483647 134890 26 | 3.251 % |
309.29/309.38 c | 798500 | 66513 501496 1984547 | 2147483647 135402 26 | 3.251 % |
309.79/309.88 c | 799525 | 66511 501496 1984547 | 2147483647 136426 26 | 3.254 % |
310.69/310.79 c | 801574 | 66511 501440 1984359 | 2147483647 138423 26 | 3.254 % |
310.99/311.08 c | 802086 | 66511 501440 1984359 | 2147483647 138935 26 | 3.254 % |
311.49/311.53 c | 802598 | 66511 501440 1984359 | 2147483647 139447 26 | 3.254 % |
311.89/311.99 c | 803622 | 66511 501440 1984359 | 2147483647 140471 26 | 3.254 % |
312.29/312.38 c | 804134 | 66511 501440 1984359 | 2147483647 140983 26 | 3.254 % |
313.09/313.14 c | 804646 | 66511 501440 1984359 | 2147483647 141495 26 | 3.254 % |
313.59/313.62 c | 805671 | 66511 501440 1984359 | 2147483647 142520 26 | 3.254 % |
314.39/314.46 c | 807721 | 66511 501440 1984359 | 2147483647 144570 26 | 3.254 % |
315.19/315.23 c | 811817 | 66511 501440 1984359 | 2147483647 148666 26 | 3.254 % |
315.49/315.54 c | 812329 | 66511 501440 1984359 | 2147483647 149178 26 | 3.254 % |
315.59/315.65 c | 812843 | 66511 501440 1984359 | 2147483647 149692 26 | 3.254 % |
316.09/316.18 c | 813867 | 66511 501440 1984359 | 2147483647 150716 26 | 3.254 % |
316.39/316.43 c | 814380 | 66511 501440 1984359 | 2147483647 151229 26 | 3.254 % |
316.59/316.69 c | 814894 | 66511 501440 1984359 | 2147483647 151743 26 | 3.254 % |
317.19/317.25 c | 815922 | 66511 501440 1984359 | 2147483647 152771 26 | 3.254 % |
318.09/318.16 c | 817971 | 66511 501440 1984359 | 2147483647 154820 26 | 3.254 % |
318.29/318.40 c | 818483 | 66511 501440 1984359 | 2147483647 155332 26 | 3.254 % |
318.69/318.73 c | 818995 | 66511 501440 1984359 | 2147483647 155844 26 | 3.254 % |
319.19/319.27 c | 820020 | 66511 501440 1984359 | 2147483647 156869 26 | 3.254 % |
319.39/319.43 c | 820533 | 66511 501440 1984359 | 2147483647 157382 26 | 3.254 % |
319.49/319.54 c | 821045 | 66511 501440 1984359 | 2147483647 157894 26 | 3.254 % |
319.99/320.09 c | 822073 | 66511 501440 1984359 | 2147483647 158922 26 | 3.254 % |
320.79/320.83 c | 824122 | 66511 501440 1984359 | 2147483647 160971 26 | 3.254 % |
321.99/322.09 c | 828218 | 66511 501440 1984359 | 2147483647 165067 26 | 3.254 % |
323.49/323.53 c | 836410 | 66511 501440 1984359 | 2147483647 173259 27 | 3.254 % |
329.99/330.02 c | 852794 | 66511 501440 1984359 | 117147 119940 26 | 3.254 % |
330.29/330.34 c | 853306 | 66511 501440 1984359 | 117147 92591 27 | 3.254 % |
330.39/330.50 c | 853819 | 66511 501440 1984359 | 117147 93104 27 | 3.254 % |
331.39/331.49 c | 854844 | 66511 501440 1984359 | 117147 94129 27 | 3.254 % |
331.59/331.67 c | 855356 | 66511 501440 1984359 | 117147 94641 27 | 3.254 % |
331.89/331.95 c | 855869 | 66511 501440 1984359 | 117147 95154 27 | 3.254 % |
332.79/332.83 c | 856893 | 66511 501440 1984359 | 117147 96178 27 | 3.254 % |
333.69/333.73 c | 858942 | 66511 501440 1984359 | 117147 98227 27 | 3.254 % |
333.99/334.10 c | 859455 | 66511 501440 1984359 | 117147 98740 27 | 3.254 % |
334.29/334.31 c | 859967 | 66511 501440 1984359 | 117147 99252 27 | 3.254 % |
334.69/334.80 c | 860991 | 66511 501440 1984359 | 2147483647 100276 27 | 3.254 % |
334.79/334.84 c | 861506 | 66511 501440 1984359 | 2147483647 100791 27 | 3.254 % |
334.99/335.05 c | 862018 | 66511 501440 1984359 | 2147483647 101303 27 | 3.254 % |
335.29/335.34 c | 863043 | 66511 501440 1984359 | 2147483647 102328 27 | 3.254 % |
335.99/336.10 c | 865092 | 66511 501440 1984359 | 2147483647 104377 27 | 3.254 % |
336.69/336.72 c | 869192 | 66511 501440 1984359 | 2147483647 108477 27 | 3.254 % |
336.79/336.86 c | 869706 | 66511 501440 1984359 | 2147483647 108991 27 | 3.254 % |
337.09/337.17 c | 870218 | 66511 501440 1984359 | 2147483647 109503 27 | 3.254 % |
337.69/337.80 c | 871243 | 66510 501435 1984333 | 2147483647 110425 27 | 3.255 % |
337.99/338.07 c | 871755 | 66510 501435 1984333 | 2147483647 110937 27 | 3.255 % |
338.29/338.31 c | 872267 | 66510 501435 1984333 | 2147483647 111449 27 | 3.255 % |
338.69/338.80 c | 873292 | 66510 501435 1984333 | 2147483647 112474 27 | 3.255 % |
339.29/339.36 c | 875343 | 66506 501435 1984333 | 2147483647 114523 27 | 3.266 % |
339.59/339.68 c | 875855 | 66506 501435 1984333 | 2147483647 115035 27 | 3.266 % |
339.79/339.85 c | 876368 | 66506 501435 1984333 | 2147483647 115548 27 | 3.266 % |
340.19/340.23 c | 877393 | 66506 501435 1984333 | 2147483647 116573 27 | 3.266 % |
340.39/340.45 c | 877905 | 66506 501435 1984333 | 2147483647 117085 27 | 3.266 % |
340.59/340.61 c | 878418 | 66506 501435 1984333 | 2147483647 117598 27 | 3.266 % |
340.89/340.93 c | 879442 | 66506 501435 1984333 | 2147483647 118622 27 | 3.266 % |
342.29/342.37 c | 881491 | 66506 501435 1984333 | 2147483647 120671 28 | 3.266 % |
344.39/344.43 c | 885588 | 66503 501334 1984012 | 2147483647 124765 28 | 3.266 % |
346.79/346.87 c | 893780 | 66503 501334 1984012 | 2147483647 132957 28 | 3.266 % |
346.99/347.07 c | 894294 | 66503 501334 1984012 | 2147483647 133471 28 | 3.266 % |
347.29/347.34 c | 894806 | 66503 501334 1984012 | 2147483647 133983 28 | 3.266 % |
347.69/347.72 c | 895830 | 66503 501334 1984012 | 2147483647 135007 28 | 3.266 % |
348.29/348.38 c | 896343 | 66503 501334 1984012 | 2147483647 135520 28 | 3.266 % |
348.59/348.63 c | 896855 | 66503 501334 1984012 | 2147483647 136032 28 | 3.266 % |
348.79/348.89 c | 897884 | 66503 501334 1984012 | 2147483647 137061 28 | 3.266 % |
349.49/349.54 c | 899932 | 66503 501334 1984012 | 2147483647 139109 28 | 3.266 % |
349.69/349.79 c | 900446 | 66503 501334 1984012 | 2147483647 139623 28 | 3.266 % |
350.19/350.25 c | 900959 | 66503 501334 1984012 | 2147483647 140136 28 | 3.266 % |
350.59/350.68 c | 901983 | 66503 501334 1984012 | 2147483647 141160 28 | 3.266 % |
350.89/350.95 c | 902495 | 66503 501334 1984012 | 2147483647 141672 28 | 3.266 % |
351.09/351.13 c | 903007 | 66503 501334 1984012 | 2147483647 142184 28 | 3.266 % |
351.39/351.44 c | 904032 | 66503 501334 1984012 | 2147483647 143209 28 | 3.266 % |
352.09/352.17 c | 906080 | 66503 501334 1984012 | 2147483647 145257 27 | 3.266 % |
353.39/353.46 c | 910178 | 66502 501325 1983946 | 2147483647 149353 27 | 3.267 % |
353.69/353.73 c | 910691 | 66502 501325 1983946 | 2147483647 149866 27 | 3.267 % |
353.99/354.09 c | 911204 | 66502 501325 1983946 | 2147483647 150379 28 | 3.267 % |
354.49/354.53 c | 912230 | 66502 501325 1983946 | 2147483647 151405 28 | 3.267 % |
354.69/354.76 c | 912742 | 66502 501325 1983946 | 2147483647 151917 28 | 3.267 % |
354.99/355.08 c | 913256 | 66497 501325 1983946 | 2147483647 152430 28 | 3.274 % |
355.59/355.61 c | 914280 | 66497 501325 1983946 | 2147483647 153454 28 | 3.274 % |
356.19/356.29 c | 916328 | 66497 501325 1983946 | 2147483647 155502 28 | 3.274 % |
356.29/356.40 c | 916843 | 66497 501325 1983946 | 2147483647 156017 28 | 3.274 % |
356.49/356.59 c | 917356 | 66497 501325 1983946 | 2147483647 156530 28 | 3.274 % |
356.99/357.10 c | 918381 | 66497 501325 1983946 | 2147483647 157555 28 | 3.274 % |
357.69/357.75 c | 918893 | 66497 501325 1983946 | 2147483647 158067 28 | 3.274 % |
357.99/358.08 c | 919406 | 66497 501325 1983946 | 2147483647 158580 28 | 3.274 % |
358.59/358.68 c | 920431 | 66497 501325 1983946 | 2147483647 159605 28 | 3.274 % |
359.69/359.73 c | 922479 | 66497 501325 1983946 | 2147483647 161653 28 | 3.274 % |
361.19/361.25 c | 926578 | 66497 501241 1983579 | 2147483647 165718 28 | 3.274 % |
363.89/363.96 c | 934770 | 66497 501241 1983579 | 2147483647 173910 28 | 3.274 % |
366.89/366.92 c | 951154 | 66497 501241 1983579 | 2147483647 190294 28 | 3.274 % |
380.70/380.80 c | 983924 | 66496 501236 1983557 | 2147483647 223047 31 | 3.276 % |
397.89/397.91 c | 1049461 | 66495 501189 1983415 | 279115 288574 32 | 3.277 % |
457.90/457.97 c | 1180533 | 66493 501189 1983415 | 266020 266551 34 | 3.280 % |
458.60/458.66 c | 1181046 | 66493 501102 1983193 | 266020 267064 34 | 3.280 % |
459.00/459.08 c | 1181559 | 66493 501102 1983193 | 266020 267577 34 | 3.280 % |
459.60/459.64 c | 1182585 | 66493 501102 1983193 | 266020 268603 34 | 3.280 % |
460.50/460.55 c | 1183098 | 66493 501102 1983193 | 266020 183191 32 | 3.280 % |
460.60/460.62 c | 1183610 | 66493 501102 1983193 | 266020 183703 32 | 3.280 % |
461.50/461.55 c | 1184634 | 66493 501102 1983193 | 266020 184727 32 | 3.280 % |
462.00/462.05 c | 1186685 | 66493 501102 1983193 | 266020 186778 32 | 3.280 % |
462.10/462.13 c | 1187198 | 66493 501102 1983193 | 266020 187291 32 | 3.280 % |
462.40/462.45 c | 1187710 | 66493 501102 1983193 | 266020 187803 32 | 3.280 % |
462.80/462.90 c | 1188734 | 66493 501102 1983193 | 266020 188827 32 | 3.280 % |
463.10/463.14 c | 1189246 | 66493 501102 1983193 | 266020 189339 32 | 3.280 % |
463.60/463.64 c | 1189758 | 66493 501102 1983193 | 266020 189851 32 | 3.280 % |
464.10/464.11 c | 1190782 | 66493 501102 1983193 | 190094 190875 32 | 3.280 % |
464.60/464.62 c | 1192830 | 66493 501102 1983193 | 190094 192923 32 | 3.280 % |
466.20/466.26 c | 1196926 | 66493 501102 1983193 | 190094 176979 33 | 3.280 % |
466.30/466.38 c | 1197438 | 66493 501102 1983193 | 190094 177491 33 | 3.280 % |
466.40/466.50 c | 1197951 | 66493 501102 1983193 | 190094 178004 33 | 3.280 % |
466.60/466.68 c | 1198976 | 66493 501102 1983193 | 190094 179029 33 | 3.280 % |
466.70/466.75 c | 1199488 | 66493 501102 1983193 | 190094 179541 32 | 3.280 % |
466.80/466.82 c | 1200000 | 66493 501102 1983193 | 190094 180053 32 | 3.280 % |
467.40/467.43 c | 1201027 | 66492 501102 1983193 | 2147483647 181079 32 | 3.282 % |
468.30/468.32 c | 1203075 | 66492 501102 1983193 | 2147483647 183127 32 | 3.282 % |
468.60/468.68 c | 1203588 | 66492 501102 1983193 | 2147483647 183640 32 | 3.282 % |
468.80/468.87 c | 1204103 | 66492 501102 1983193 | 2147483647 184155 32 | 3.282 % |
469.60/469.62 c | 1205127 | 66485 501102 1983193 | 2147483647 185176 32 | 3.303 % |
469.80/469.89 c | 1205640 | 66485 501102 1983193 | 2147483647 185689 32 | 3.303 % |
470.10/470.19 c | 1206152 | 66485 501102 1983193 | 2147483647 186201 32 | 3.303 % |
470.60/470.71 c | 1207176 | 66485 501102 1983193 | 2147483647 187225 32 | 3.303 % |
471.60/471.69 c | 1209224 | 66472 500787 1982124 | 2147483647 189263 32 | 3.311 % |
472.90/472.98 c | 1213321 | 66472 500787 1982124 | 2147483647 193360 32 | 3.311 % |
476.70/476.78 c | 1221513 | 66472 500787 1982124 | 2147483647 201552 32 | 3.311 % |
477.00/477.09 c | 1222025 | 66472 500787 1982124 | 2147483647 202064 32 | 3.311 % |
477.20/477.29 c | 1222537 | 66472 500787 1982124 | 2147483647 202576 32 | 3.311 % |
477.70/477.78 c | 1223562 | 66472 500787 1982124 | 2147483647 203601 32 | 3.311 % |
478.10/478.17 c | 1224076 | 66472 500787 1982124 | 2147483647 204115 32 | 3.311 % |
478.60/478.71 c | 1224589 | 66472 500787 1982124 | 2147483647 204628 32 | 3.311 % |
479.10/479.11 c | 1225617 | 66472 500787 1982124 | 2147483647 205656 32 | 3.311 % |
479.20/479.31 c | 1227666 | 66472 500787 1982124 | 2147483647 207705 32 | 3.311 % |
479.71/479.77 c | 1228178 | 66472 500787 1982124 | 2147483647 208217 32 | 3.311 % |
480.00/480.09 c | 1228691 | 66472 500787 1982124 | 2147483647 208730 32 | 3.311 % |
480.81/480.87 c | 1229715 | 66472 500787 1982124 | 2147483647 209754 32 | 3.311 % |
481.40/481.51 c | 1230227 | 66472 500787 1982124 | 2147483647 210266 32 | 3.311 % |
481.80/481.89 c | 1230739 | 66472 500787 1982124 | 2147483647 210778 32 | 3.311 % |
482.40/482.43 c | 1231765 | 66472 500787 1982124 | 2147483647 211804 32 | 3.311 % |
483.40/483.46 c | 1233816 | 66472 500787 1982124 | 2147483647 213855 32 | 3.311 % |
486.20/486.30 c | 1237914 | 66472 500787 1982124 | 2147483647 217953 32 | 3.311 % |
486.60/486.69 c | 1238429 | 66472 500787 1982124 | 2147483647 218468 32 | 3.311 % |
487.10/487.12 c | 1238942 | 66472 500787 1982124 | 2147483647 218981 32 | 3.311 % |
487.30/487.37 c | 1239966 | 66472 500787 1982124 | 2147483647 220005 32 | 3.311 % |
487.70/487.77 c | 1240481 | 66464 500666 1981731 | 2147483647 220517 32 | 3.322 % |
487.90/487.97 c | 1240993 | 66464 500666 1981731 | 2147483647 221029 32 | 3.322 % |
488.40/488.42 c | 1242020 | 66464 500666 1981731 | 2147483647 222056 32 | 3.322 % |
489.40/489.50 c | 1244068 | 66464 500666 1981731 | 2147483647 224104 32 | 3.322 % |
489.61/489.66 c | 1244581 | 66464 500666 1981731 | 2147483647 224617 32 | 3.322 % |
490.00/490.03 c | 1245093 | 66464 500666 1981731 | 2147483647 225129 32 | 3.322 % |
490.50/490.51 c | 1246118 | 66464 500666 1981731 | 2147483647 226154 32 | 3.322 % |
490.80/490.82 c | 1246630 | 66464 500666 1981731 | 2147483647 226666 32 | 3.322 % |
491.30/491.36 c | 1247142 | 66464 500666 1981731 | 2147483647 227178 32 | 3.322 % |
492.10/492.15 c | 1248166 | 66461 500666 1981731 | 2147483647 228201 32 | 3.327 % |
493.10/493.18 c | 1250214 | 66461 500666 1981731 | 2147483647 230249 32 | 3.327 % |
494.60/494.70 c | 1254310 | 66461 500666 1981731 | 2147483647 234345 33 | 3.327 % |
497.70/497.74 c | 1262502 | 66461 500666 1981731 | 2147483647 242537 33 | 3.327 % |
504.50/504.58 c | 1278886 | 66461 500641 1981631 | 2147483647 258921 33 | 3.327 % |
505.10/505.13 c | 1279399 | 66461 500641 1981631 | 2147483647 259434 33 | 3.327 % |
505.30/505.41 c | 1279911 | 66461 500641 1981631 | 2147483647 259946 33 | 3.327 % |
505.40/505.50 c | 1280935 | 66461 500641 1981631 | 2147483647 260970 33 | 3.327 % |
505.80/505.82 c | 1281449 | 66461 500641 1981631 | 2147483647 261484 33 | 3.327 % |
506.30/506.33 c | 1281961 | 66461 500641 1981631 | 2147483647 261996 33 | 3.327 % |
506.70/506.75 c | 1282986 | 66461 500641 1981631 | 2147483647 263021 33 | 3.327 % |
509.30/509.35 c | 1285035 | 66461 500641 1981631 | 2147483647 265070 33 | 3.327 % |
509.70/509.79 c | 1285547 | 66461 500641 1981631 | 2147483647 265582 33 | 3.327 % |
510.10/510.19 c | 1286060 | 66461 500641 1981631 | 2147483647 266095 33 | 3.327 % |
510.70/510.81 c | 1287085 | 66461 500641 1981631 | 2147483647 267120 33 | 3.327 % |
511.10/511.18 c | 1287597 | 66461 500641 1981631 | 2147483647 267632 33 | 3.327 % |
511.61/511.64 c | 1288109 | 66461 500641 1981631 | 2147483647 268144 33 | 3.327 % |
512.60/512.66 c | 1289133 | 66461 500641 1981631 | 2147483647 269168 33 | 3.327 % |
513.50/513.53 c | 1291183 | 66461 500641 1981631 | 2147483647 271218 33 | 3.327 % |
516.10/516.15 c | 1295280 | 66461 500641 1981631 | 2147483647 275315 33 | 3.327 % |
516.20/516.31 c | 1295792 | 66461 500641 1981631 | 2147483647 275827 33 | 3.327 % |
516.80/516.84 c | 1296304 | 66461 500641 1981631 | 2147483647 276339 33 | 3.327 % |
517.30/517.35 c | 1297330 | 66461 500641 1981631 | 2147483647 277365 33 | 3.327 % |
517.60/517.70 c | 1297843 | 66461 500641 1981631 | 2147483647 277878 33 | 3.327 % |
518.21/518.22 c | 1298356 | 66452 500502 1981222 | 2147483647 278388 33 | 3.340 % |
518.50/518.55 c | 1299381 | 66452 500502 1981222 | 2147483647 279413 33 | 3.340 % |
520.20/520.22 c | 1301430 | 66452 500502 1981222 | 2147483647 281462 33 | 3.340 % |
521.60/521.69 c | 1301943 | 66452 500502 1981222 | 2147483647 281975 33 | 3.340 % |
522.00/522.03 c | 1302457 | 66452 500502 1981222 | 2147483647 282489 33 | 3.340 % |
522.50/522.62 c | 1303481 | 66452 500502 1981222 | 2147483647 283513 33 | 3.340 % |
523.00/523.09 c | 1303993 | 66452 500502 1981222 | 2147483647 284025 33 | 3.340 % |
523.40/523.49 c | 1304505 | 66452 500502 1981222 | 2147483647 284537 33 | 3.340 % |
523.80/523.91 c | 1305529 | 66452 500502 1981222 | 2147483647 285561 33 | 3.340 % |
524.50/524.60 c | 1307577 | 66452 500502 1981222 | 2147483647 287609 33 | 3.340 % |
526.51/526.59 c | 1311673 | 66452 500502 1981222 | 2147483647 291705 33 | 3.340 % |
531.71/531.74 c | 1319866 | 66452 500502 1981222 | 2147483647 299898 33 | 3.340 % |
532.11/532.13 c | 1320378 | 66452 500502 1981222 | 2147483647 300410 33 | 3.340 % |
532.61/532.71 c | 1320890 | 66452 500502 1981222 | 2147483647 300922 33 | 3.340 % |
532.91/533.02 c | 1321914 | 66452 500502 1981222 | 2147483647 301946 33 | 3.340 % |
533.71/533.73 c | 1322426 | 66452 500502 1981222 | 2147483647 302458 33 | 3.340 % |
534.61/534.64 c | 1322940 | 66452 500502 1981222 | 2147483647 302972 33 | 3.340 % |
535.31/535.41 c | 1323967 | 66452 500502 1981222 | 2147483647 303999 33 | 3.340 % |
536.31/536.34 c | 1326015 | 66452 500502 1981222 | 2147483647 306047 33 | 3.340 % |
536.61/536.71 c | 1326529 | 66452 500502 1981222 | 2147483647 306561 33 | 3.340 % |
536.91/536.97 c | 1327042 | 66452 500502 1981222 | 2147483647 307074 33 | 3.340 % |
537.81/537.83 c | 1328066 | 66452 500502 1981222 | 2147483647 308098 33 | 3.340 % |
538.11/538.19 c | 1328579 | 66452 500502 1981222 | 2147483647 308611 33 | 3.340 % |
538.51/538.62 c | 1329091 | 66452 500502 1981222 | 2147483647 309123 33 | 3.340 % |
539.21/539.28 c | 1330117 | 66452 500502 1981222 | 2147483647 310149 33 | 3.340 % |
540.01/540.03 c | 1332166 | 66452 500502 1981222 | 2147483647 312198 33 | 3.340 % |
543.71/543.77 c | 1336263 | 66452 500502 1981222 | 2147483647 316295 33 | 3.340 % |
544.31/544.34 c | 1336775 | 66452 500502 1981222 | 2147483647 316807 33 | 3.340 % |
544.71/544.72 c | 1337287 | 66452 500502 1981222 | 2147483647 317319 33 | 3.340 % |
545.51/545.53 c | 1338311 | 66452 500502 1981222 | 2147483647 318343 33 | 3.340 % |
545.91/546.00 c | 1338824 | 66452 500502 1981222 | 2147483647 318856 33 | 3.340 % |
546.61/546.63 c | 1339336 | 66452 500502 1981222 | 2147483647 319368 33 | 3.340 % |
547.31/547.35 c | 1340360 | 66452 500502 1981222 | 2147483647 320392 33 | 3.340 % |
548.41/548.47 c | 1342408 | 66452 500502 1981222 | 2147483647 322440 33 | 3.340 % |
549.01/549.04 c | 1342921 | 66452 500502 1981222 | 2147483647 322953 33 | 3.340 % |
549.11/549.20 c | 1343433 | 66452 500502 1981222 | 2147483647 323465 33 | 3.340 % |
550.01/550.07 c | 1344457 | 66452 500502 1981222 | 2147483647 324489 33 | 3.340 % |
550.31/550.36 c | 1344971 | 66452 500502 1981222 | 2147483647 325003 33 | 3.340 % |
551.01/551.10 c | 1345483 | 66452 500502 1981222 | 2147483647 325515 33 | 3.340 % |
551.31/551.37 c | 1346508 | 66452 500502 1981222 | 2147483647 326540 33 | 3.340 % |
552.01/552.07 c | 1348557 | 66452 500502 1981222 | 2147483647 328589 33 | 3.340 % |
554.91/554.94 c | 1352653 | 66452 500502 1981222 | 2147483647 332685 33 | 3.340 % |
556.41/556.45 c | 1360846 | 66452 500502 1981222 | 2147483647 340878 33 | 3.340 % |
563.21/563.31 c | 1377230 | 66452 500502 1981222 | 350032 357262 33 | 3.340 % |
576.90/576.96 c | 1409999 | 66452 500502 1981222 | 2147483647 254276 33 | 3.340 % |
577.40/577.51 c | 1410511 | 66452 500502 1981222 | 254278 254788 33 | 3.340 % |
578.00/578.03 c | 1411024 | 66452 500502 1981222 | 254278 255301 33 | 3.340 % |
578.80/578.89 c | 1412048 | 66452 500502 1981222 | 254278 256325 33 | 3.340 % |
579.30/579.35 c | 1412560 | 66452 500502 1981222 | 254278 256837 33 | 3.340 % |
579.90/579.98 c | 1413072 | 66452 500502 1981222 | 254278 231666 33 | 3.340 % |
580.50/580.58 c | 1414096 | 66452 500502 1981222 | 254278 232690 33 | 3.340 % |
581.20/581.28 c | 1416145 | 66452 500502 1981222 | 254278 234739 33 | 3.340 % |
581.80/581.83 c | 1416657 | 66452 500502 1981222 | 254278 235251 33 | 3.340 % |
582.10/582.15 c | 1417169 | 66452 500502 1981222 | 254278 235763 33 | 3.340 % |
582.70/582.80 c | 1418193 | 66452 500502 1981222 | 254278 236787 33 | 3.340 % |
583.00/583.08 c | 1418706 | 66452 500502 1981222 | 254278 237300 33 | 3.340 % |
583.40/583.49 c | 1419218 | 66452 500502 1981222 | 254278 237812 33 | 3.340 % |
584.30/584.41 c | 1420242 | 66452 500502 1981222 | 2147483647 238836 33 | 3.340 % |
585.90/586.01 c | 1422290 | 66452 500502 1981222 | 2147483647 240884 33 | 3.340 % |
587.90/588.00 c | 1426386 | 66452 500502 1981222 | 2147483647 244980 33 | 3.340 % |
588.10/588.11 c | 1426898 | 66452 500502 1981222 | 2147483647 245492 33 | 3.340 % |
588.50/588.53 c | 1427410 | 66452 500502 1981222 | 2147483647 246004 33 | 3.340 % |
588.80/588.87 c | 1428434 | 66452 500502 1981222 | 2147483647 247028 33 | 3.340 % |
589.20/589.24 c | 1428946 | 66452 500502 1981222 | 2147483647 247540 33 | 3.340 % |
589.70/589.79 c | 1429458 | 66452 500502 1981222 | 2147483647 248052 33 | 3.340 % |
590.50/590.55 c | 1430482 | 66452 500502 1981222 | 2147483647 249076 33 | 3.340 % |
591.80/591.84 c | 1432531 | 66452 500502 1981222 | 2147483647 251125 33 | 3.340 % |
592.20/592.25 c | 1433043 | 66452 500502 1981222 | 2147483647 251637 33 | 3.340 % |
592.60/592.70 c | 1433558 | 66452 500502 1981222 | 2147483647 252152 33 | 3.340 % |
593.50/593.56 c | 1434582 | 66452 500502 1981222 | 2147483647 253176 33 | 3.340 % |
594.00/594.09 c | 1435094 | 66452 500502 1981222 | 2147483647 253688 33 | 3.340 % |
594.40/594.50 c | 1435606 | 66452 500502 1981222 | 2147483647 254200 33 | 3.340 % |
594.60/594.69 c | 1436633 | 66452 500502 1981222 | 2147483647 255227 33 | 3.340 % |
596.00/596.05 c | 1438681 | 66447 500438 1981039 | 2147483647 257273 33 | 3.347 % |
598.70/598.80 c | 1442777 | 66447 500438 1981039 | 2147483647 261369 33 | 3.347 % |
602.50/602.54 c | 1450969 | 66447 500438 1981039 | 2147483647 269561 32 | 3.347 % |
603.10/603.15 c | 1451481 | 66447 500438 1981039 | 2147483647 270073 32 | 3.347 % |
603.40/603.42 c | 1451993 | 66447 500438 1981039 | 2147483647 270585 32 | 3.347 % |
604.01/604.06 c | 1453018 | 66447 500438 1981039 | 2147483647 271610 32 | 3.347 % |
604.30/604.33 c | 1453533 | 66447 500438 1981039 | 2147483647 272125 32 | 3.347 % |
604.80/604.87 c | 1454046 | 66447 500438 1981039 | 2147483647 272638 32 | 3.347 % |
605.70/605.75 c | 1455071 | 66447 500438 1981039 | 2147483647 273663 32 | 3.347 % |
606.60/606.69 c | 1457120 | 66447 500438 1981039 | 2147483647 275712 32 | 3.347 % |
607.10/607.15 c | 1457633 | 66447 500438 1981039 | 2147483647 276225 32 | 3.347 % |
607.50/607.53 c | 1458145 | 66447 500438 1981039 | 2147483647 276737 32 | 3.347 % |
608.20/608.25 c | 1459170 | 66447 500438 1981039 | 2147483647 277762 32 | 3.347 % |
608.80/608.86 c | 1459682 | 66447 500438 1981039 | 2147483647 278274 32 | 3.347 % |
609.10/609.15 c | 1460194 | 66447 500438 1981039 | 2147483647 278786 32 | 3.347 % |
609.90/609.91 c | 1461219 | 66447 500438 1981039 | 2147483647 279811 32 | 3.347 % |
610.90/610.98 c | 1463267 | 66447 500438 1981039 | 2147483647 281859 32 | 3.347 % |
611.20/611.26 c | 1467363 | 66447 500438 1981039 | 2147483647 285955 32 | 3.347 % |
611.60/611.66 c | 1467876 | 66447 500438 1981039 | 2147483647 286468 32 | 3.347 % |
612.70/612.71 c | 1468388 | 66447 500438 1981039 | 2147483647 286980 32 | 3.347 % |
613.10/613.16 c | 1469414 | 66447 500438 1981039 | 2147483647 288006 32 | 3.347 % |
613.91/613.93 c | 1469926 | 66438 500309 1980574 | 2147483647 288513 32 | 3.360 % |
614.30/614.36 c | 1470438 | 66437 500309 1980574 | 2147483647 289024 32 | 3.362 % |
615.30/615.38 c | 1471462 | 66437 500309 1980574 | 2147483647 290048 32 | 3.362 % |
616.30/616.37 c | 1473510 | 66437 500309 1980574 | 2147483647 292096 32 | 3.362 % |
616.90/616.97 c | 1474023 | 66437 500309 1980574 | 2147483647 292609 32 | 3.362 % |
617.40/617.46 c | 1474535 | 66437 500309 1980574 | 2147483647 293121 32 | 3.362 % |
617.90/617.92 c | 1475560 | 66437 500309 1980574 | 2147483647 294146 32 | 3.362 % |
618.31/618.33 c | 1476073 | 66437 500309 1980574 | 2147483647 294659 32 | 3.362 % |
618.50/618.53 c | 1476585 | 66437 500309 1980574 | 2147483647 295171 32 | 3.362 % |
619.00/619.05 c | 1477609 | 66437 500309 1980574 | 2147483647 296195 32 | 3.362 % |
620.10/620.17 c | 1479659 | 66437 500309 1980574 | 2147483647 298245 32 | 3.362 % |
621.10/621.17 c | 1483760 | 66437 500309 1980574 | 2147483647 302346 32 | 3.362 % |
625.10/625.11 c | 1491952 | 66437 500309 1980574 | 308587 310538 32 | 3.362 % |
629.60/629.64 c | 1508336 | 66437 500309 1980574 | 260929 196345 30 | 3.362 % |
629.90/629.96 c | 1508850 | 66437 500309 1980574 | 260929 196859 30 | 3.362 % |
630.20/630.27 c | 1509362 | 66437 500309 1980574 | 260929 197371 30 | 3.362 % |
630.80/630.84 c | 1510389 | 66437 500309 1980574 | 198009 198398 30 | 3.362 % |
631.10/631.13 c | 1510901 | 66437 500309 1980574 | 198009 198910 30 | 3.362 % |
631.40/631.48 c | 1511413 | 66437 500309 1980574 | 198009 199422 30 | 3.362 % |
631.70/631.74 c | 1512439 | 66437 500309 1980574 | 198009 200448 30 | 3.362 % |
633.90/633.97 c | 1514487 | 66437 500309 1980574 | 198009 164316 29 | 3.362 % |
634.50/634.52 c | 1515000 | 66437 500301 1980546 | 198009 164828 29 | 3.362 % |
634.81/634.88 c | 1515513 | 66437 500301 1980546 | 198009 165341 29 | 3.362 % |
635.60/635.62 c | 1516537 | 66437 500301 1980546 | 198009 166365 29 | 3.362 % |
635.91/635.94 c | 1517049 | 66437 500301 1980546 | 198009 166877 29 | 3.362 % |
636.30/636.39 c | 1517562 | 66437 500301 1980546 | 198009 167390 29 | 3.362 % |
637.10/637.17 c | 1518586 | 66437 500301 1980546 | 198009 168414 29 | 3.362 % |
637.70/637.77 c | 1520635 | 66437 500301 1980546 | 2147483647 170463 29 | 3.362 % |
639.00/639.10 c | 1524731 | 66437 500301 1980546 | 2147483647 174559 29 | 3.362 % |
639.21/639.28 c | 1525243 | 66437 500301 1980546 | 2147483647 175071 29 | 3.362 % |
640.01/640.07 c | 1525756 | 66437 500301 1980546 | 2147483647 175584 29 | 3.362 % |
640.81/640.84 c | 1526780 | 66437 500301 1980546 | 2147483647 176608 29 | 3.362 % |
641.21/641.27 c | 1527292 | 66437 500301 1980546 | 2147483647 177120 29 | 3.362 % |
641.61/641.62 c | 1527804 | 66437 500301 1980546 | 2147483647 177632 29 | 3.362 % |
641.91/641.99 c | 1528828 | 66437 500301 1980546 | 2147483647 178656 29 | 3.362 % |
642.71/642.71 c | 1530876 | 66437 500301 1980546 | 2147483647 180704 30 | 3.362 % |
642.81/642.86 c | 1531388 | 66437 500301 1980546 | 2147483647 181216 30 | 3.362 % |
643.21/643.27 c | 1531901 | 66437 500301 1980546 | 2147483647 181729 30 | 3.362 % |
643.81/643.87 c | 1532925 | 66437 500301 1980546 | 2147483647 182753 30 | 3.362 % |
644.21/644.28 c | 1533437 | 66432 500261 1980410 | 2147483647 183264 30 | 3.369 % |
644.61/644.63 c | 1533949 | 66432 500261 1980410 | 2147483647 183776 30 | 3.369 % |
645.81/645.82 c | 1534974 | 66432 500261 1980410 | 2147483647 184801 30 | 3.369 % |
646.41/646.50 c | 1537023 | 66432 500261 1980410 | 2147483647 186850 30 | 3.369 % |
648.91/649.02 c | 1541121 | 66432 500261 1980410 | 2147483647 190948 30 | 3.369 % |
654.61/654.68 c | 1549316 | 66432 500261 1980410 | 2147483647 199143 30 | 3.369 % |
655.01/655.02 c | 1549828 | 66432 500261 1980410 | 2147483647 199655 29 | 3.369 % |
655.21/655.28 c | 1550341 | 66432 500261 1980410 | 2147483647 200168 29 | 3.369 % |
656.11/656.20 c | 1551365 | 66432 500261 1980410 | 2147483647 201192 29 | 3.369 % |
656.41/656.50 c | 1551878 | 66432 500261 1980410 | 2147483647 201705 29 | 3.369 % |
656.91/656.92 c | 1552391 | 66432 500261 1980410 | 2147483647 202218 29 | 3.369 % |
657.31/657.33 c | 1553415 | 66432 500261 1980410 | 2147483647 203242 29 | 3.369 % |
658.91/659.00 c | 1555463 | 66432 500261 1980410 | 2147483647 205290 29 | 3.369 % |
659.41/659.47 c | 1555976 | 66432 500261 1980410 | 2147483647 205803 29 | 3.369 % |
659.61/659.62 c | 1556489 | 66432 500261 1980410 | 2147483647 206316 29 | 3.369 % |
660.21/660.23 c | 1557513 | 66432 500261 1980410 | 2147483647 207340 29 | 3.369 % |
660.71/660.75 c | 1558025 | 66423 500132 1979840 | 2147483647 207462 30 | 3.382 % |
661.21/661.26 c | 1558538 | 66423 500132 1979840 | 2147483647 207975 30 | 3.382 % |
662.01/662.03 c | 1559564 | 66423 500132 1979840 | 2147483647 209001 29 | 3.382 % |
663.61/663.67 c | 1561613 | 66423 500132 1979840 | 2147483647 211050 29 | 3.382 % |
665.21/665.23 c | 1565709 | 66423 500132 1979840 | 2147483647 215146 29 | 3.382 % |
665.51/665.55 c | 1566222 | 66414 500132 1979840 | 2147483647 215658 29 | 3.395 % |
665.91/665.99 c | 1566734 | 66414 500132 1979840 | 2147483647 216170 29 | 3.395 % |
666.61/666.70 c | 1567758 | 66414 500132 1979840 | 2147483647 217194 30 | 3.395 % |
666.91/666.97 c | 1568270 | 66414 500132 1979840 | 2147483647 217706 30 | 3.395 % |
667.21/667.26 c | 1568787 | 66414 500132 1979840 | 2147483647 218223 30 | 3.395 % |
668.01/668.07 c | 1569813 | 66414 500132 1979840 | 2147483647 219249 30 | 3.395 % |
669.21/669.30 c | 1571862 | 66414 500132 1979840 | 2147483647 221298 30 | 3.395 % |
669.61/669.63 c | 1572375 | 66414 500132 1979840 | 2147483647 221811 30 | 3.395 % |
669.91/669.96 c | 1572891 | 66414 500132 1979840 | 2147483647 222327 30 | 3.395 % |
670.61/670.68 c | 1573915 | 66414 500132 1979840 | 2147483647 223351 30 | 3.395 % |
671.01/671.09 c | 1574427 | 66414 500132 1979840 | 2147483647 223863 30 | 3.395 % |
671.51/671.61 c | 1574940 | 66414 499850 1978975 | 2147483647 224367 30 | 3.395 % |
671.91/671.92 c | 1575967 | 66414 499850 1978975 | 2147483647 225394 30 | 3.395 % |
673.31/673.37 c | 1578015 | 66414 499850 1978975 | 2147483647 227442 30 | 3.395 % |
674.11/674.16 c | 1582111 | 66414 499850 1978975 | 2147483647 231538 30 | 3.395 % |
679.51/679.58 c | 1590305 | 66414 499850 1978975 | 2147483647 239732 29 | 3.395 % |
685.01/685.05 c | 1606689 | 66412 499850 1978975 | 249429 256115 29 | 3.410 % |
695.41/695.48 c | 1639457 | 66397 499644 1978203 | 192692 121336 27 | 3.421 % |
711.71/711.81 c | 1704993 | 66397 499644 1978203 | 65320 70313 35 | 3.421 % |
712.11/712.14 c | 1705505 | 66396 499617 1978091 | 65320 51898 36 | 3.421 % |
712.21/712.25 c | 1706018 | 66393 499617 1978091 | 65320 52409 36 | 3.426 % |
712.81/712.92 c | 1707043 | 66393 499617 1978091 | 65320 53434 35 | 3.426 % |
713.11/713.19 c | 1707555 | 66393 499617 1978091 | 65320 53946 35 | 3.426 % |
713.41/713.45 c | 1708067 | 66393 499617 1978091 | 65320 54458 35 | 3.426 % |
713.51/713.58 c | 1709093 | 66393 499617 1978091 | 65320 55484 35 | 3.426 % |
714.21/714.29 c | 1711141 | 66393 499617 1978091 | 2147483647 57532 35 | 3.426 % |
714.41/714.49 c | 1711656 | 66393 499617 1978091 | 2147483647 58047 35 | 3.426 % |
714.61/714.65 c | 1712169 | 66393 499617 1978091 | 2147483647 58560 35 | 3.426 % |
714.91/715.01 c | 1713194 | 66393 499617 1978091 | 2147483647 59585 34 | 3.426 % |
715.31/715.35 c | 1713707 | 66393 499617 1978091 | 2147483647 60098 34 | 3.426 % |
715.41/715.50 c | 1714219 | 66393 499617 1978091 | 2147483647 60610 34 | 3.426 % |
716.01/716.03 c | 1715243 | 66393 499577 1977910 | 2147483647 61619 34 | 3.426 % |
716.81/716.86 c | 1717294 | 66393 499577 1977910 | 2147483647 63670 34 | 3.426 % |
717.41/717.43 c | 1721390 | 66393 499577 1977910 | 2147483647 67766 34 | 3.426 % |
717.51/717.53 c | 1721903 | 66393 499577 1977910 | 2147483647 68279 33 | 3.426 % |
717.71/717.78 c | 1722420 | 66393 499577 1977910 | 2147483647 68796 33 | 3.426 % |
717.91/717.92 c | 1723444 | 66393 499577 1977910 | 2147483647 69820 34 | 3.426 % |
718.11/718.18 c | 1723957 | 66393 499577 1977910 | 2147483647 70333 34 | 3.426 % |
718.31/718.36 c | 1724470 | 66393 499577 1977910 | 2147483647 70846 34 | 3.426 % |
718.42/718.49 c | 1725495 | 66393 499577 1977910 | 2147483647 71871 34 | 3.426 % |
718.71/718.74 c | 1727546 | 66393 499577 1977910 | 2147483647 73922 34 | 3.426 % |
718.91/718.96 c | 1728058 | 66393 499577 1977910 | 2147483647 74434 34 | 3.426 % |
719.01/719.05 c | 1728570 | 66393 499577 1977910 | 2147483647 74946 34 | 3.426 % |
720.11/720.16 c | 1729595 | 66393 499577 1977910 | 2147483647 75971 33 | 3.426 % |
720.41/720.45 c | 1730107 | 66393 499577 1977910 | 2147483647 76483 33 | 3.426 % |
720.41/720.51 c | 1730619 | 66393 499577 1977910 | 2147483647 76995 33 | 3.426 % |
720.91/720.98 c | 1731644 | 66393 499577 1977910 | 2147483647 78020 33 | 3.426 % |
721.51/721.51 c | 1733692 | 66391 499531 1977770 | 2147483647 80066 34 | 3.436 % |
722.01/722.09 c | 1737791 | 66391 499531 1977770 | 2147483647 84165 34 | 3.436 % |
723.21/723.29 c | 1745983 | 66387 499531 1977770 | 2147483647 92357 33 | 3.436 % |
723.61/723.64 c | 1746496 | 66387 499531 1977770 | 2147483647 92870 33 | 3.436 % |
723.71/723.72 c | 1747009 | 66387 499531 1977770 | 2147483647 93383 33 | 3.436 % |
723.81/723.90 c | 1748033 | 66387 499531 1977770 | 2147483647 94407 33 | 3.436 % |
724.01/724.08 c | 1748545 | 66385 499531 1977770 | 2147483647 94918 33 | 3.440 % |
724.21/724.28 c | 1749057 | 66385 499531 1977770 | 2147483647 95430 33 | 3.440 % |
724.41/724.43 c | 1750082 | 66385 499531 1977770 | 2147483647 96455 32 | 3.440 % |
725.11/725.14 c | 1752130 | 66385 499531 1977770 | 2147483647 98503 33 | 3.440 % |
725.51/725.52 c | 1752642 | 66384 499531 1977770 | 2147483647 99015 33 | 3.440 % |
725.91/725.94 c | 1753158 | 66383 499352 1977233 | 2147483647 99524 32 | 3.440 % |
726.12/726.15 c | 1754182 | 66383 499352 1977233 | 2147483647 100548 32 | 3.440 % |
726.61/726.61 c | 1754694 | 66383 499352 1977233 | 2147483647 101060 33 | 3.440 % |
726.61/726.69 c | 1755207 | 66383 499352 1977233 | 2147483647 101573 33 | 3.440 % |
727.01/727.08 c | 1756232 | 66383 499352 1977233 | 2147483647 102598 32 | 3.440 % |
727.91/727.93 c | 1758281 | 66383 499352 1977233 | 2147483647 104647 32 | 3.440 % |
728.81/728.88 c | 1762379 | 66383 499352 1977233 | 2147483647 108745 32 | 3.440 % |
728.91/729.01 c | 1762891 | 66370 499352 1977233 | 2147483647 109256 32 | 3.492 % |
729.01/729.10 c | 1763403 | 66370 499352 1977233 | 2147483647 109768 32 | 3.492 % |
729.42/729.44 c | 1764428 | 66370 499352 1977233 | 2147483647 110793 32 | 3.492 % |
729.61/729.65 c | 1764940 | 66370 499352 1977233 | 2147483647 111305 32 | 3.492 % |
729.91/729.94 c | 1765454 | 66370 499352 1977233 | 2147483647 111819 32 | 3.492 % |
730.52/730.55 c | 1766478 | 66347 498740 1974867 | 2147483647 112841 32 | 3.492 % |
730.81/730.91 c | 1768526 | 66347 498740 1974867 | 2147483647 114889 32 | 3.492 % |
731.01/731.03 c | 1769039 | 66347 498740 1974867 | 2147483647 115402 32 | 3.492 % |
731.01/731.10 c | 1769551 | 66347 498740 1974867 | 2147483647 115914 32 | 3.492 % |
731.81/731.84 c | 1770577 | 66347 498740 1974867 | 2147483647 116940 32 | 3.492 % |
732.11/732.20 c | 1771091 | 66347 498740 1974867 | 2147483647 117454 32 | 3.492 % |
732.61/732.71 c | 1771604 | 66347 498740 1974867 | 2147483647 117967 32 | 3.492 % |
732.81/732.91 c | 1772629 | 66347 498740 1974867 | 2147483647 118992 32 | 3.492 % |
733.11/733.18 c | 1774677 | 66347 498740 1974867 | 2147483647 121040 32 | 3.492 % |
735.51/735.55 c | 1778775 | 66347 498740 1974867 | 2147483647 125138 32 | 3.492 % |
736.41/736.47 c | 1786967 | 66347 498740 1974867 | 2147483647 133330 32 | 3.492 % |
738.81/738.83 c | 1803351 | 66347 498740 1974867 | 146363 149714 32 | 3.492 % |
739.21/739.28 c | 1803864 | 66347 498740 1974867 | 146363 109827 30 | 3.492 % |
739.41/739.46 c | 1804378 | 66347 498740 1974867 | 146363 110341 30 | 3.492 % |
740.21/740.21 c | 1805402 | 66347 498740 1974867 | 146363 111365 30 | 3.492 % |
740.21/740.27 c | 1805915 | 66347 498740 1974867 | 146363 111878 30 | 3.492 % |
740.42/740.51 c | 1806429 | 66347 498740 1974867 | 146363 112392 30 | 3.492 % |
741.01/741.04 c | 1807455 | 66347 498740 1974867 | 146363 113418 30 | 3.492 % |
742.11/742.14 c | 1809503 | 66347 498740 1974867 | 146363 115466 30 | 3.492 % |
742.31/742.37 c | 1810015 | 66347 498740 1974867 | 2147483647 115978 30 | 3.492 % |
742.51/742.57 c | 1810530 | 66347 498740 1974867 | 2147483647 116493 30 | 3.492 % |
742.81/742.86 c | 1811554 | 66347 498740 1974867 | 2147483647 117517 30 | 3.492 % |
743.01/743.08 c | 1812067 | 66347 498740 1974867 | 2147483647 118030 30 | 3.492 % |
743.11/743.16 c | 1812581 | 66347 498740 1974867 | 2147483647 118544 30 | 3.492 % |
743.61/743.67 c | 1813606 | 66347 498740 1974867 | 2147483647 119569 30 | 3.492 % |
744.21/744.22 c | 1815654 | 66347 498740 1974867 | 2147483647 121617 30 | 3.492 % |
744.82/744.90 c | 1819751 | 66347 498740 1974867 | 2147483647 125714 29 | 3.492 % |
745.31/745.36 c | 1820268 | 66347 498740 1974867 | 2147483647 126231 30 | 3.492 % |
745.61/745.68 c | 1820781 | 66347 498740 1974867 | 2147483647 126744 29 | 3.492 % |
746.11/746.20 c | 1821805 | 66347 498740 1974867 | 2147483647 127768 29 | 3.492 % |
746.31/746.31 c | 1822317 | 66347 498740 1974867 | 2147483647 128280 29 | 3.492 % |
746.31/746.40 c | 1822829 | 66347 498740 1974867 | 2147483647 128792 29 | 3.492 % |
746.51/746.54 c | 1823853 | 66347 498740 1974867 | 2147483647 129816 29 | 3.492 % |
747.02/747.03 c | 1825901 | 66346 498695 1974759 | 2147483647 131863 29 | 3.494 % |
747.21/747.30 c | 1826413 | 66346 498695 1974759 | 2147483647 132375 29 | 3.494 % |
747.51/747.56 c | 1826925 | 66346 498695 1974759 | 2147483647 132887 29 | 3.494 % |
748.01/748.10 c | 1827949 | 66346 498695 1974759 | 2147483647 133911 29 | 3.494 % |
748.41/748.42 c | 1828461 | 66346 498695 1974759 | 2147483647 134423 29 | 3.494 % |
748.61/748.64 c | 1828973 | 66346 498695 1974759 | 2147483647 134935 29 | 3.494 % |
749.11/749.17 c | 1829997 | 66346 498695 1974759 | 2147483647 135959 29 | 3.494 % |
749.91/749.94 c | 1832046 | 66346 498695 1974759 | 2147483647 138008 29 | 3.494 % |
750.91/750.96 c | 1836142 | 66346 498695 1974759 | 2147483647 142104 29 | 3.494 % |
753.52/753.57 c | 1844334 | 66346 498695 1974759 | 2147483647 150296 29 | 3.494 % |
753.82/753.85 c | 1844846 | 66346 498695 1974759 | 2147483647 150808 29 | 3.494 % |
754.02/754.02 c | 1845358 | 66346 498695 1974759 | 2147483647 151320 29 | 3.494 % |
754.42/754.43 c | 1846383 | 66346 498695 1974759 | 2147483647 152345 29 | 3.494 % |
754.52/754.60 c | 1846896 | 66346 498695 1974759 | 2147483647 152858 29 | 3.494 % |
754.72/754.76 c | 1847416 | 66346 498695 1974759 | 2147483647 153378 29 | 3.494 % |
754.92/755.00 c | 1848440 | 66346 498695 1974759 | 2147483647 154402 29 | 3.494 % |
755.12/755.21 c | 1850489 | 66346 498695 1974759 | 2147483647 156451 29 | 3.494 % |
755.32/755.41 c | 1851003 | 66346 498695 1974759 | 2147483647 156965 29 | 3.494 % |
755.82/755.87 c | 1851515 | 66343 498671 1974678 | 2147483647 157476 29 | 3.498 % |
756.12/756.17 c | 1852543 | 66343 498671 1974678 | 2147483647 158504 29 | 3.498 % |
756.32/756.41 c | 1853055 | 66343 498671 1974678 | 2147483647 159016 29 | 3.498 % |
756.62/756.64 c | 1853567 | 66343 498671 1974678 | 2147483647 159528 29 | 3.498 % |
756.92/756.99 c | 1854591 | 66343 498671 1974678 | 2147483647 160552 29 | 3.498 % |
757.22/757.30 c | 1856640 | 66343 498671 1974678 | 2147483647 162601 29 | 3.498 % |
758.62/758.65 c | 1860737 | 66343 498671 1974678 | 2147483647 166698 29 | 3.498 % |
758.92/759.00 c | 1861249 | 66343 498671 1974678 | 2147483647 167210 29 | 3.498 % |
759.32/759.32 c | 1861762 | 66343 498671 1974678 | 2147483647 167723 29 | 3.498 % |
759.52/759.59 c | 1862787 | 66343 498671 1974678 | 2147483647 168748 29 | 3.498 % |
760.02/760.05 c | 1863299 | 66343 498671 1974678 | 2147483647 169260 29 | 3.498 % |
760.32/760.33 c | 1863812 | 66343 498671 1974678 | 2147483647 169773 29 | 3.498 % |
760.72/760.77 c | 1864837 | 66343 498671 1974678 | 2147483647 170798 29 | 3.498 % |
761.82/761.82 c | 1866885 | 66343 498671 1974678 | 2147483647 172846 29 | 3.498 % |
761.92/762.02 c | 1867397 | 66343 498671 1974678 | 2147483647 173358 29 | 3.498 % |
762.22/762.30 c | 1867909 | 66343 498671 1974678 | 2147483647 173870 29 | 3.498 % |
762.72/762.76 c | 1868933 | 66343 498671 1974678 | 2147483647 174894 29 | 3.498 % |
762.92/762.95 c | 1869445 | 66343 498671 1974678 | 2147483647 175406 29 | 3.498 % |
763.12/763.16 c | 1869957 | 66343 498671 1974678 | 2147483647 175918 29 | 3.498 % |
763.62/763.64 c | 1870982 | 66343 498671 1974678 | 2147483647 176943 29 | 3.498 % |
764.32/764.36 c | 1873030 | 66343 498671 1974678 | 2147483647 178991 29 | 3.498 % |
765.52/765.58 c | 1877127 | 66343 498671 1974678 | 2147483647 183088 29 | 3.498 % |
766.92/767.02 c | 1885319 | 66343 498671 1974678 | 2147483647 191280 30 | 3.498 % |
773.72/773.81 c | 1901703 | 66338 498643 1974597 | 2147483647 187387 31 | 3.506 % |
785.82/785.91 c | 1934471 | 66331 498614 1974506 | 2147483647 220152 31 | 3.516 % |
785.92/785.96 c | 1934983 | 66331 498614 1974506 | 2147483647 220664 31 | 3.516 % |
786.02/786.11 c | 1935496 | 66331 498614 1974506 | 2147483647 221177 31 | 3.516 % |
786.72/786.76 c | 1936520 | 66331 498614 1974506 | 2147483647 222201 31 | 3.516 % |
786.92/786.96 c | 1937033 | 66331 498614 1974506 | 2147483647 222714 31 | 3.516 % |
787.22/787.31 c | 1937545 | 66331 498550 1974306 | 2147483647 223226 31 | 3.516 % |
787.72/787.80 c | 1938570 | 66331 498550 1974306 | 2147483647 224251 31 | 3.516 % |
788.92/788.96 c | 1940619 | 66331 498550 1974306 | 2147483647 226300 31 | 3.516 % |
789.22/789.23 c | 1941133 | 66331 498550 1974306 | 2147483647 226814 31 | 3.516 % |
789.62/789.67 c | 1941645 | 66331 498550 1974306 | 2147483647 227326 31 | 3.516 % |
790.12/790.20 c | 1942669 | 66331 498550 1974306 | 2147483647 228350 31 | 3.516 % |
790.42/790.45 c | 1943181 | 66331 498550 1974306 | 2147483647 228862 31 | 3.516 % |
790.62/790.70 c | 1943694 | 66331 498550 1974306 | 2147483647 229375 31 | 3.516 % |
791.22/791.27 c | 1944718 | 66331 498550 1974306 | 2147483647 230399 31 | 3.516 % |
792.12/792.15 c | 1946768 | 66331 498550 1974306 | 2147483647 232449 31 | 3.516 % |
794.12/794.14 c | 1950864 | 66331 498550 1974306 | 2147483647 236545 31 | 3.516 % |
794.42/794.45 c | 1951379 | 66331 498550 1974306 | 2147483647 237060 31 | 3.516 % |
794.72/794.74 c | 1951892 | 66331 498550 1974306 | 2147483647 237573 31 | 3.516 % |
795.12/795.18 c | 1952916 | 66331 498550 1974306 | 2147483647 238597 31 | 3.516 % |
795.42/795.44 c | 1953428 | 66331 498550 1974306 | 2147483647 239109 31 | 3.516 % |
795.72/795.72 c | 1953940 | 66331 498550 1974306 | 2147483647 239621 31 | 3.516 % |
796.22/796.28 c | 1954964 | 66327 498550 1974306 | 2147483647 240644 31 | 3.533 % |
797.12/797.21 c | 1957012 | 66327 498550 1974306 | 2147483647 242692 31 | 3.533 % |
797.42/797.50 c | 1957525 | 66327 498550 1974306 | 2147483647 243205 31 | 3.533 % |
797.62/797.62 c | 1958037 | 66327 498550 1974306 | 2147483647 243717 31 | 3.533 % |
798.22/798.29 c | 1959062 | 66319 498387 1973657 | 2147483647 244739 31 | 3.533 % |
798.62/798.68 c | 1959575 | 66319 498387 1973657 | 2147483647 245252 31 | 3.533 % |
799.02/799.04 c | 1960087 | 66319 498387 1973657 | 2147483647 245764 31 | 3.533 % |
799.62/799.64 c | 1961111 | 66319 498387 1973657 | 2147483647 246788 31 | 3.533 % |
800.42/800.46 c | 1963159 | 66319 498387 1973657 | 2147483647 248836 31 | 3.533 % |
802.22/802.25 c | 1967255 | 66319 498387 1973657 | 2147483647 252932 31 | 3.533 % |
806.22/806.26 c | 1975449 | 66319 498387 1973657 | 2147483647 261126 31 | 3.533 % |
806.42/806.49 c | 1975961 | 66319 498387 1973657 | 2147483647 261638 31 | 3.533 % |
806.62/806.66 c | 1976473 | 66319 498387 1973657 | 2147483647 262150 31 | 3.533 % |
807.12/807.21 c | 1977497 | 66319 498387 1973657 | 2147483647 263174 31 | 3.533 % |
807.52/807.55 c | 1978010 | 66319 498387 1973657 | 2147483647 263687 31 | 3.533 % |
807.92/807.93 c | 1978522 | 66319 498387 1973657 | 2147483647 264199 31 | 3.533 % |
808.12/808.14 c | 1979549 | 66319 498387 1973657 | 2147483647 265226 31 | 3.533 % |
809.52/809.61 c | 1981597 | 66319 498387 1973657 | 2147483647 267274 31 | 3.533 % |
809.82/809.88 c | 1982109 | 66319 498387 1973657 | 2147483647 267786 31 | 3.533 % |
810.32/810.40 c | 1982622 | 66319 498387 1973657 | 2147483647 268299 31 | 3.533 % |
811.12/811.16 c | 1983646 | 66319 498387 1973657 | 2147483647 269323 31 | 3.533 % |
811.72/811.77 c | 1984160 | 66319 498387 1973657 | 2147483647 269837 31 | 3.533 % |
812.02/812.08 c | 1984674 | 66319 498387 1973657 | 2147483647 270351 31 | 3.533 % |
812.52/812.58 c | 1985698 | 66319 498387 1973657 | 2147483647 271375 31 | 3.533 % |
813.32/813.38 c | 1987747 | 66319 498387 1973657 | 2147483647 273424 31 | 3.533 % |
814.62/814.63 c | 1991845 | 66319 498387 1973657 | 2147483647 277522 31 | 3.533 % |
814.92/814.94 c | 1992357 | 66319 498387 1973657 | 2147483647 278034 31 | 3.533 % |
815.02/815.06 c | 1992869 | 66319 498387 1973657 | 2147483647 278546 31 | 3.533 % |
815.62/815.67 c | 1993893 | 66319 498387 1973657 | 2147483647 279570 31 | 3.533 % |
815.82/815.84 c | 1994406 | 66319 498387 1973657 | 2147483647 280083 31 | 3.533 % |
816.02/816.10 c | 1994919 | 66316 498358 1973569 | 2147483647 280594 31 | 3.538 % |
816.32/816.32 c | 1995944 | 66316 498358 1973569 | 2147483647 281619 31 | 3.538 % |
817.52/817.54 c | 1997994 | 66316 498358 1973569 | 2147483647 283669 31 | 3.538 % |
817.52/817.58 c | 1998507 | 66316 498358 1973569 | 2147483647 284182 31 | 3.538 % |
818.02/818.04 c | 1999021 | 66316 498358 1973569 | 2147483647 284696 31 | 3.538 % |
818.32/818.41 c | 2000049 | 66316 498358 1973569 | 2147483647 285724 31 | 3.538 % |
818.52/818.61 c | 2000565 | 66316 498358 1973569 | 2147483647 286240 31 | 3.538 % |
819.02/819.03 c | 2001078 | 66316 498358 1973569 | 2147483647 286753 31 | 3.538 % |
819.72/819.77 c | 2002106 | 66316 498358 1973569 | 2147483647 287781 31 | 3.538 % |
820.92/820.99 c | 2004154 | 66316 498358 1973569 | 2147483647 289829 31 | 3.538 % |
822.22/822.28 c | 2008251 | 66316 498358 1973569 | 2147483647 293926 31 | 3.538 % |
824.22/824.28 c | 2016443 | 66316 498358 1973569 | 295675 302118 31 | 3.538 % |
828.92/828.99 c | 2032827 | 66316 498358 1973569 | 285464 288291 32 | 3.538 % |
829.92/829.97 c | 2033340 | 66316 498358 1973569 | 285464 259975 32 | 3.538 % |
830.02/830.02 c | 2033853 | 66316 498358 1973569 | 285464 260488 32 | 3.538 % |
830.72/830.75 c | 2034877 | 66316 498358 1973569 | 285464 261512 32 | 3.538 % |
831.12/831.20 c | 2035389 | 66316 498358 1973569 | 285464 262024 32 | 3.538 % |
831.62/831.68 c | 2035901 | 66316 498358 1973569 | 285464 262536 32 | 3.538 % |
831.92/831.93 c | 2036925 | 66316 498358 1973569 | 285464 263560 32 | 3.538 % |
832.42/832.42 c | 2038973 | 66316 498358 1973569 | 285464 265608 32 | 3.538 % |
832.72/832.81 c | 2039485 | 66316 498358 1973569 | 285464 266120 32 | 3.538 % |
833.12/833.18 c | 2039998 | 66316 498358 1973569 | 285464 266633 32 | 3.538 % |
834.02/834.10 c | 2041022 | 66313 498332 1973472 | 2147483647 267656 32 | 3.542 % |
834.52/834.55 c | 2041534 | 66313 498332 1973472 | 2147483647 268168 32 | 3.542 % |
834.82/834.89 c | 2042047 | 66313 498332 1973472 | 2147483647 268681 32 | 3.542 % |
835.42/835.50 c | 2043074 | 66313 498332 1973472 | 2147483647 269708 32 | 3.542 % |
835.82/835.89 c | 2045122 | 66313 498332 1973472 | 2147483647 271756 32 | 3.542 % |
838.82/838.88 c | 2049219 | 66313 498332 1973472 | 2147483647 275853 32 | 3.542 % |
838.92/838.99 c | 2049731 | 66313 498332 1973472 | 2147483647 276365 32 | 3.542 % |
839.12/839.15 c | 2050245 | 66313 498332 1973472 | 2147483647 276879 32 | 3.542 % |
839.52/839.55 c | 2051269 | 66313 498332 1973472 | 2147483647 277903 32 | 3.542 % |
840.02/840.07 c | 2051781 | 66313 498332 1973472 | 2147483647 278415 32 | 3.542 % |
840.32/840.40 c | 2052293 | 66313 498332 1973472 | 2147483647 278927 32 | 3.542 % |
841.32/841.37 c | 2053318 | 66310 498332 1973472 | 2147483647 279951 31 | 3.546 % |
841.72/841.81 c | 2055366 | 66310 498332 1973472 | 2147483647 281999 31 | 3.546 % |
842.62/842.70 c | 2055878 | 66310 498332 1973472 | 2147483647 282511 31 | 3.546 % |
842.92/842.97 c | 2056390 | 66307 498332 1973472 | 2147483647 283022 31 | 3.552 % |
843.42/843.47 c | 2057414 | 66307 498332 1973472 | 2147483647 284046 31 | 3.552 % |
843.72/843.77 c | 2057929 | 66307 498332 1973472 | 2147483647 284561 31 | 3.552 % |
844.02/844.04 c | 2058441 | 66307 498332 1973472 | 2147483647 285073 31 | 3.552 % |
844.52/844.59 c | 2059465 | 66307 498332 1973472 | 2147483647 286097 31 | 3.552 % |
845.62/845.69 c | 2061513 | 66307 498332 1973472 | 2147483647 288145 31 | 3.552 % |
847.62/847.62 c | 2065609 | 66306 498332 1973472 | 2147483647 292240 31 | 3.554 % |
851.22/851.26 c | 2073801 | 66305 498268 1973178 | 2147483647 300429 31 | 3.554 % |
851.72/851.73 c | 2074320 | 66305 498268 1973178 | 2147483647 300948 31 | 3.554 % |
851.72/851.75 c | 2074832 | 66305 498268 1973178 | 2147483647 301460 31 | 3.554 % |
853.02/853.02 c | 2075857 | 66305 498268 1973178 | 2147483647 302485 31 | 3.554 % |
853.82/853.91 c | 2076370 | 66305 498268 1973178 | 2147483647 302998 31 | 3.554 % |
854.12/854.15 c | 2076883 | 66304 498268 1973178 | 2147483647 303510 31 | 3.555 % |
855.42/855.46 c | 2077908 | 66300 498268 1973178 | 2147483647 304534 32 | 3.561 % |
856.62/856.66 c | 2079956 | 66300 498268 1973178 | 2147483647 306582 32 | 3.561 % |
856.92/856.95 c | 2080468 | 66300 498268 1973178 | 2147483647 307094 32 | 3.561 % |
857.52/857.61 c | 2080980 | 66300 498268 1973178 | 2147483647 307606 32 | 3.561 % |
858.02/858.08 c | 2082007 | 66300 498268 1973178 | 2147483647 308633 32 | 3.561 % |
858.32/858.31 c | 2082520 | 66300 498268 1973178 | 2147483647 309146 32 | 3.561 % |
858.52/858.54 c | 2083033 | 66300 498268 1973178 | 2147483647 309659 32 | 3.561 % |
859.41/859.41 c | 2084057 | 66300 498268 1973178 | 2147483647 310683 31 | 3.561 % |
860.01/860.02 c | 2086106 | 66300 498268 1973178 | 2147483647 312732 32 | 3.561 % |
862.52/862.52 c | 2090203 | 66300 498268 1973178 | 316626 316829 32 | 3.561 % |
863.01/863.09 c | 2090715 | 66300 498268 1973178 | 316626 317341 32 | 3.561 % |
863.51/863.52 c | 2091227 | 66300 498268 1973178 | 316626 317853 31 | 3.561 % |
864.21/864.27 c | 2092253 | 66300 498268 1973178 | 316626 318879 31 | 3.561 % |
864.51/864.58 c | 2092766 | 66300 498215 1972943 | 316626 319168 31 | 3.561 % |
865.41/865.45 c | 2093278 | 66300 498215 1972943 | 316626 282500 31 | 3.561 % |
865.91/865.99 c | 2094302 | 66300 498215 1972943 | 316626 283524 31 | 3.561 % |
867.31/867.41 c | 2096350 | 66300 498215 1972943 | 316626 285572 31 | 3.561 % |
867.72/867.74 c | 2096862 | 66300 498215 1972943 | 316626 286084 31 | 3.561 % |
867.82/867.88 c | 2097375 | 66300 498215 1972943 | 316626 286597 31 | 3.561 % |
869.22/869.28 c | 2098399 | 66300 498215 1972943 | 316626 287621 31 | 3.561 % |
869.72/869.79 c | 2098911 | 66300 498215 1972943 | 316626 288133 31 | 3.561 % |
870.22/870.25 c | 2099423 | 66300 498215 1972943 | 316626 288645 31 | 3.561 % |
870.72/870.77 c | 2100447 | 66300 498215 1972943 | 2147483647 289669 31 | 3.561 % |
871.42/871.44 c | 2102497 | 66300 498215 1972943 | 2147483647 291719 31 | 3.561 % |
872.52/872.57 c | 2106594 | 66300 498215 1972943 | 2147483647 295816 31 | 3.561 % |
873.62/873.65 c | 2114786 | 66300 498215 1972943 | 299224 238087 30 | 3.561 % |
883.12/883.11 c | 2131173 | 66300 498215 1972943 | 2147483647 254474 31 | 3.561 % |
891.72/891.76 c | 2163941 | 66300 498215 1972943 | 2147483647 287242 31 | 3.561 % |
912.92/912.94 c | 2229477 | 66300 498215 1972943 | 266701 276175 30 | 3.561 % |
955.21/955.21 c | 2360549 | 66298 498199 1972887 | 196769 197318 31 | 3.564 % |
1091.02/1091.04 c | 2622693 | 66298 498199 1972887 | 120988 123677 37 | 3.564 % |
1094.22/1094.21 c | 2623205 | 66298 498199 1972887 | 120988 68965 35 | 3.564 % |
1094.42/1094.47 c | 2623718 | 66298 498199 1972887 | 120988 69478 35 | 3.564 % |
1094.63/1094.63 c | 2624742 | 66298 498199 1972887 | 120988 70502 34 | 3.564 % |
1095.63/1095.71 c | 2625254 | 66298 498199 1972887 | 120988 71014 34 | 3.564 % |
1095.83/1095.85 c | 2625766 | 66298 498199 1972887 | 120988 71526 35 | 3.564 % |
1096.33/1096.41 c | 2626791 | 66298 498199 1972887 | 120988 72551 34 | 3.564 % |
1097.13/1097.19 c | 2628840 | 66298 498199 1972887 | 120988 74600 35 | 3.564 % |
1097.23/1097.31 c | 2629353 | 66298 498199 1972887 | 120988 75113 35 | 3.564 % |
1097.33/1097.34 c | 2629865 | 66298 498199 1972887 | 120988 75625 35 | 3.564 % |
1097.53/1097.59 c | 2630889 | 66298 498199 1972887 | 2147483647 76649 35 | 3.564 % |
1097.73/1097.80 c | 2631402 | 66298 498199 1972887 | 2147483647 77162 35 | 3.564 % |
1097.93/1098.00 c | 2631915 | 66298 498199 1972887 | 2147483647 77675 35 | 3.564 % |
1098.83/1098.86 c | 2632939 | 66298 498199 1972887 | 2147483647 78699 34 | 3.564 % |
1099.83/1099.88 c | 2634987 | 66297 498147 1972751 | 2147483647 80746 35 | 3.565 % |
1101.53/1101.56 c | 2639083 | 66297 498147 1972751 | 2147483647 84842 37 | 3.565 % |
1101.83/1101.82 c | 2639596 | 66297 498147 1972751 | 2147483647 85355 37 | 3.565 % |
1102.13/1102.15 c | 2640108 | 66297 498147 1972751 | 2147483647 85867 37 | 3.565 % |
1102.23/1102.29 c | 2641135 | 66297 498147 1972751 | 2147483647 86894 37 | 3.565 % |
1102.63/1102.62 c | 2641648 | 66297 498147 1972751 | 2147483647 87407 37 | 3.565 % |
1102.93/1102.92 c | 2642160 | 66297 498147 1972751 | 2147483647 87919 37 | 3.565 % |
1103.83/1103.85 c | 2643184 | 66297 498147 1972751 | 2147483647 88943 37 | 3.565 % |
1104.33/1104.36 c | 2645232 | 66297 498147 1972751 | 2147483647 90991 36 | 3.565 % |
1104.53/1104.58 c | 2645745 | 66297 498147 1972751 | 2147483647 91504 36 | 3.565 % |
1104.73/1104.77 c | 2646258 | 66297 498147 1972751 | 2147483647 92017 36 | 3.565 % |
1104.93/1104.94 c | 2647282 | 66297 498147 1972751 | 2147483647 93041 36 | 3.565 % |
1105.23/1105.24 c | 2647794 | 66297 498147 1972751 | 2147483647 93553 36 | 3.565 % |
1105.43/1105.44 c | 2648306 | 66297 498147 1972751 | 2147483647 94065 36 | 3.565 % |
1105.53/1105.56 c | 2649330 | 66297 498147 1972751 | 2147483647 95089 36 | 3.565 % |
1105.63/1105.69 c | 2651378 | 66297 498147 1972751 | 2147483647 97137 36 | 3.565 % |
1107.43/1107.50 c | 2655474 | 66297 498147 1972751 | 2147483647 101233 36 | 3.565 % |
1109.33/1109.40 c | 2663667 | 66297 498147 1972751 | 2147483647 109426 37 | 3.565 % |
1109.53/1109.56 c | 2664179 | 66297 498147 1972751 | 2147483647 109938 37 | 3.565 % |
1109.73/1109.78 c | 2664691 | 66297 498147 1972751 | 2147483647 110450 37 | 3.565 % |
1110.13/1110.20 c | 2665715 | 66297 498147 1972751 | 2147483647 111474 37 | 3.565 % |
1110.73/1110.72 c | 2666227 | 66296 498100 1972609 | 2147483647 111984 37 | 3.567 % |
1110.83/1110.85 c | 2666739 | 66296 498100 1972609 | 2147483647 112496 37 | 3.567 % |
1111.43/1111.43 c | 2667763 | 66296 498100 1972609 | 2147483647 113520 37 | 3.567 % |
1112.23/1112.26 c | 2669811 | 66296 498100 1972609 | 2147483647 115568 36 | 3.567 % |
1112.33/1112.38 c | 2670323 | 66296 498100 1972609 | 2147483647 116080 36 | 3.567 % |
1112.63/1112.70 c | 2670836 | 66296 498100 1972609 | 2147483647 116593 36 | 3.567 % |
1113.23/1113.30 c | 2671860 | 66290 498100 1972609 | 2147483647 117615 36 | 3.575 % |
1113.33/1113.34 c | 2672373 | 66290 498100 1972609 | 2147483647 118128 36 | 3.575 % |
1113.43/1113.46 c | 2672885 | 66290 498100 1972609 | 2147483647 118640 36 | 3.575 % |
1113.73/1113.78 c | 2673909 | 66290 498100 1972609 | 2147483647 119664 36 | 3.575 % |
1114.53/1114.53 c | 2675957 | 66290 498100 1972609 | 2147483647 121712 36 | 3.575 % |
1116.03/1116.11 c | 2680053 | 66290 498100 1972609 | 2147483647 125808 36 | 3.575 % |
1116.33/1116.36 c | 2680566 | 66290 497992 1972286 | 2147483647 126317 36 | 3.575 % |
1116.73/1116.77 c | 2681080 | 66290 497992 1972286 | 2147483647 126831 36 | 3.575 % |
1117.03/1117.05 c | 2682106 | 66290 497992 1972286 | 2147483647 127857 36 | 3.575 % |
1117.23/1117.21 c | 2682618 | 66290 497992 1972286 | 2147483647 128369 36 | 3.575 % |
1117.23/1117.28 c | 2683132 | 66290 497992 1972286 | 2147483647 128883 36 | 3.575 % |
1118.03/1118.08 c | 2684159 | 66290 497992 1972286 | 2147483647 129910 36 | 3.575 % |
1119.13/1119.12 c | 2686207 | 66290 497992 1972286 | 2147483647 131958 36 | 3.575 % |
1119.13/1119.18 c | 2686720 | 66290 497992 1972286 | 2147483647 132471 36 | 3.575 % |
1119.33/1119.34 c | 2687233 | 66290 497992 1972286 | 2147483647 132984 36 | 3.575 % |
1119.43/1119.48 c | 2688257 | 66290 497992 1972286 | 2147483647 134008 36 | 3.575 % |
1119.63/1119.68 c | 2688769 | 66290 497992 1972286 | 2147483647 134520 36 | 3.575 % |
1119.83/1119.89 c | 2689282 | 66290 497992 1972286 | 2147483647 135033 36 | 3.575 % |
1120.33/1120.33 c | 2690307 | 66290 497992 1972286 | 2147483647 136058 36 | 3.575 % |
1121.13/1121.17 c | 2692356 | 66290 497992 1972286 | 2147483647 138107 35 | 3.575 % |
1122.63/1122.61 c | 2696453 | 66290 497992 1972286 | 2147483647 142204 35 | 3.575 % |
1124.23/1124.24 c | 2704646 | 66290 497992 1972286 | 2147483647 150397 36 | 3.575 % |
1127.73/1127.77 c | 2721030 | 66290 497992 1972286 | 2147483647 166781 36 | 3.575 % |
1128.03/1128.08 c | 2721542 | 66290 497992 1972286 | 2147483647 167293 36 | 3.575 % |
1128.23/1128.25 c | 2722054 | 66290 497992 1972286 | 2147483647 167805 36 | 3.575 % |
1128.93/1128.95 c | 2723078 | 66290 497992 1972286 | 2147483647 168829 36 | 3.575 % |
1129.13/1129.18 c | 2723590 | 66290 497992 1972286 | 2147483647 169341 36 | 3.575 % |
1129.33/1129.31 c | 2724103 | 66290 497992 1972286 | 2147483647 169854 36 | 3.575 % |
1129.93/1129.93 c | 2725129 | 66290 497992 1972286 | 2147483647 170880 36 | 3.575 % |
1130.73/1130.74 c | 2727177 | 66289 497940 1972150 | 2147483647 172927 35 | 3.577 % |
1131.13/1131.19 c | 2727690 | 66289 497940 1972150 | 2147483647 173440 35 | 3.577 % |
1131.23/1131.28 c | 2728202 | 66289 497940 1972150 | 2147483647 173952 35 | 3.577 % |
1131.53/1131.60 c | 2729226 | 66286 497940 1972150 | 2147483647 174975 35 | 3.581 % |
1131.83/1131.83 c | 2729738 | 66286 497940 1972150 | 2147483647 175487 35 | 3.581 % |
1132.33/1132.40 c | 2730250 | 66286 497940 1972150 | 2147483647 175999 35 | 3.581 % |
1133.03/1133.03 c | 2731274 | 66281 497940 1972150 | 2147483647 177022 35 | 3.588 % |
1133.63/1133.68 c | 2733322 | 66281 497940 1972150 | 2147483647 179070 35 | 3.588 % |
1134.83/1134.82 c | 2737418 | 66281 497940 1972150 | 2147483647 183166 35 | 3.588 % |
1135.03/1135.01 c | 2737933 | 66281 497940 1972150 | 2147483647 183681 35 | 3.588 % |
1135.23/1135.26 c | 2738446 | 66281 497940 1972150 | 2147483647 184194 35 | 3.588 % |
1135.63/1135.66 c | 2739470 | 66281 497940 1972150 | 2147483647 185218 35 | 3.588 % |
1136.03/1136.02 c | 2739982 | 66281 497940 1972150 | 2147483647 185730 35 | 3.588 % |
1136.13/1136.18 c | 2740495 | 66281 497940 1972150 | 2147483647 186243 35 | 3.588 % |
1136.73/1136.77 c | 2741520 | 66281 497940 1972150 | 2147483647 187268 35 | 3.588 % |
1137.63/1137.68 c | 2743568 | 66281 497940 1972150 | 2147483647 189316 35 | 3.588 % |
1138.03/1138.04 c | 2744080 | 66281 497940 1972150 | 2147483647 189828 35 | 3.588 % |
1138.33/1138.35 c | 2744593 | 66281 497851 1971872 | 2147483647 190341 35 | 3.588 % |
1138.83/1138.82 c | 2745617 | 66281 497851 1971872 | 2147483647 191365 35 | 3.588 % |
1139.03/1139.07 c | 2746130 | 66281 497851 1971872 | 2147483647 191878 35 | 3.588 % |
1139.23/1139.26 c | 2746644 | 66281 497851 1971872 | 2147483647 192392 35 | 3.588 % |
1140.13/1140.12 c | 2747668 | 66281 497851 1971872 | 2147483647 193416 35 | 3.588 % |
1140.63/1140.62 c | 2749716 | 66281 497851 1971872 | 2147483647 195464 35 | 3.588 % |
1141.83/1141.89 c | 2753812 | 66281 497851 1971872 | 2147483647 199560 35 | 3.588 % |
1144.13/1144.16 c | 2762006 | 66281 497851 1971872 | 2147483647 207754 35 | 3.588 % |
1144.53/1144.53 c | 2762518 | 66281 497851 1971872 | 2147483647 208266 35 | 3.588 % |
1144.63/1144.62 c | 2763031 | 66281 497851 1971872 | 2147483647 208779 34 | 3.588 % |
1145.13/1145.19 c | 2764057 | 66279 497851 1971872 | 2147483647 209804 34 | 3.591 % |
1145.43/1145.44 c | 2764569 | 66279 497851 1971872 | 2147483647 210316 34 | 3.591 % |
1145.73/1145.71 c | 2765081 | 66279 497851 1971872 | 2147483647 210828 34 | 3.591 % |
1145.83/1145.91 c | 2766106 | 66279 497851 1971872 | 2147483647 211853 34 | 3.591 % |
1146.73/1146.75 c | 2768154 | 66279 497851 1971872 | 2147483647 213901 34 | 3.591 % |
1146.83/1146.90 c | 2768667 | 66279 497851 1971872 | 2147483647 214414 34 | 3.591 % |
1147.23/1147.23 c | 2769179 | 66279 497851 1971872 | 2147483647 214926 34 | 3.591 % |
1147.53/1147.60 c | 2770204 | 66279 497851 1971872 | 2147483647 215951 34 | 3.591 % |
1147.83/1147.89 c | 2770716 | 66279 497841 1971824 | 2147483647 216090 34 | 3.591 % |
1148.23/1148.26 c | 2771231 | 66279 497841 1971824 | 2147483647 216605 34 | 3.591 % |
1148.73/1148.71 c | 2772255 | 66279 497841 1971824 | 2147483647 217629 34 | 3.591 % |
1149.93/1149.95 c | 2774303 | 66279 497841 1971824 | 2147483647 219677 34 | 3.591 % |
1151.13/1151.14 c | 2778401 | 66279 497841 1971824 | 2147483647 223775 34 | 3.591 % |
1151.43/1151.46 c | 2778913 | 66279 497841 1971824 | 2147483647 224287 34 | 3.591 % |
1152.03/1152.08 c | 2779426 | 66279 497841 1971824 | 2147483647 224800 34 | 3.591 % |
1152.63/1152.66 c | 2780450 | 66279 497841 1971824 | 2147483647 225824 34 | 3.591 % |
1152.93/1152.95 c | 2780962 | 66279 497841 1971824 | 2147483647 226336 34 | 3.591 % |
1153.03/1153.08 c | 2781474 | 66279 497841 1971824 | 2147483647 226848 34 | 3.591 % |
1153.53/1153.52 c | 2782500 | 66279 497841 1971824 | 2147483647 227874 34 | 3.591 % |
1154.53/1154.53 c | 2784549 | 66279 497841 1971824 | 2147483647 229923 34 | 3.591 % |
1154.63/1154.68 c | 2785061 | 66279 497841 1971824 | 2147483647 230435 34 | 3.591 % |
1154.93/1154.94 c | 2785574 | 66279 497841 1971824 | 2147483647 230948 34 | 3.591 % |
1155.53/1155.54 c | 2786602 | 66279 497841 1971824 | 2147483647 231976 34 | 3.591 % |
1155.83/1155.83 c | 2787116 | 66279 497841 1971824 | 2147483647 232490 34 | 3.591 % |
1155.93/1156.00 c | 2787628 | 66279 497841 1971824 | 2147483647 233002 34 | 3.591 % |
1156.23/1156.29 c | 2788653 | 66279 497841 1971824 | 2147483647 234027 34 | 3.591 % |
1157.33/1157.39 c | 2790701 | 66279 497841 1971824 | 2147483647 236075 34 | 3.591 % |
1159.03/1159.01 c | 2794797 | 66279 497841 1971824 | 2147483647 240171 34 | 3.591 % |
1162.23/1162.25 c | 2802992 | 66279 497841 1971824 | 2147483647 248366 34 | 3.591 % |
1170.63/1170.65 c | 2819376 | 66279 497841 1971824 | 2147483647 264750 36 | 3.591 % |
1181.73/1181.76 c | 2852144 | 66279 497841 1971824 | 2147483647 297518 36 | 3.591 % |
1182.13/1182.17 c | 2852656 | 66279 497841 1971824 | 2147483647 298030 36 | 3.591 % |
1182.43/1182.47 c | 2853169 | 66279 497841 1971824 | 2147483647 298543 36 | 3.591 % |
1183.43/1183.44 c | 2854194 | 66279 497841 1971824 | 2147483647 299568 36 | 3.591 % |
1183.63/1183.63 c | 2854706 | 66279 497841 1971824 | 2147483647 300080 36 | 3.591 % |
1183.83/1183.88 c | 2855219 | 66279 497841 1971824 | 2147483647 300593 36 | 3.591 % |
1184.53/1184.53 c | 2856244 | 66279 497841 1971824 | 2147483647 301618 36 | 3.591 % |
1186.13/1186.16 c | 2858293 | 66279 497841 1971824 | 2147483647 303667 36 | 3.591 % |
1186.53/1186.53 c | 2858805 | 66279 497841 1971824 | 2147483647 304179 36 | 3.591 % |
1186.83/1186.90 c | 2859318 | 66279 497841 1971824 | 2147483647 304692 36 | 3.591 % |
1187.04/1187.10 c | 2860342 | 66279 497841 1971824 | 2147483647 305716 36 | 3.591 % |
1187.43/1187.41 c | 2860854 | 66279 497841 1971824 | 2147483647 306228 36 | 3.591 % |
1187.73/1187.76 c | 2861367 | 66279 497841 1971824 | 2147483647 306741 36 | 3.591 % |
1188.23/1188.25 c | 2862391 | 66279 497841 1971824 | 2147483647 307765 36 | 3.591 % |
1189.03/1189.07 c | 2864440 | 66279 497841 1971824 | 2147483647 309814 36 | 3.591 % |
1191.03/1191.04 c | 2868536 | 66279 497841 1971824 | 2147483647 313910 36 | 3.591 % |
1191.13/1191.17 c | 2869053 | 66279 497841 1971824 | 2147483647 314427 36 | 3.591 % |
1191.73/1191.71 c | 2869566 | 66279 497841 1971824 | 2147483647 314940 36 | 3.591 % |
1192.03/1192.06 c | 2870600 | 66279 497841 1971824 | 2147483647 315974 36 | 3.591 % |
1192.33/1192.36 c | 2871115 | 66279 497841 1971824 | 2147483647 316489 35 | 3.591 % |
1192.73/1192.77 c | 2871627 | 66279 497841 1971824 | 2147483647 317001 35 | 3.591 % |
1193.13/1193.17 c | 2872653 | 66279 497841 1971824 | 2147483647 318027 35 | 3.591 % |
1194.33/1194.38 c | 2874701 | 66279 497841 1971824 | 2147483647 320075 36 | 3.591 % |
1194.63/1194.65 c | 2875213 | 66279 497841 1971824 | 2147483647 320587 36 | 3.591 % |
1195.03/1195.04 c | 2875726 | 66279 497841 1971824 | 2147483647 321100 36 | 3.591 % |
1195.73/1195.81 c | 2876751 | 66279 497841 1971824 | 2147483647 322125 35 | 3.591 % |
1195.93/1195.95 c | 2877263 | 66279 497841 1971824 | 2147483647 322637 35 | 3.591 % |
1196.23/1196.24 c | 2877776 | 66279 497841 1971824 | 2147483647 323150 35 | 3.591 % |
1197.03/1197.04 c | 2878800 | 66279 497841 1971824 | 2147483647 324174 35 | 3.591 % |
1197.53/1197.59 c | 2880848 | 66279 497841 1971824 | 2147483647 326222 36 | 3.591 % |
1197.83/1197.85 c | 2884944 | 66279 497841 1971824 | 2147483647 330318 35 | 3.591 % |
1200.03/1200.02 HOME/SatELiteGTI: line 36: 24009 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820777-1242475923/watcher-1820777-1242475923 -o /tmp/evaluation-result-1820777-1242475923/solver-1820777-1242475923 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820777-1242475923.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.97 1.01 1.00 2/93 24001
/proc/meminfo: memFree=1468264/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2416 CPUtime=0.01
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 367 645 0 0 0 1 0 0 25 0 1 0 1012093359 2473984 276 4294967295 134512640 135169312 3220822736 3220821272 3085278958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24001/statm: 604 276 235 161 0 43 0
[pid=24005] ppid=24001 vsize=952 CPUtime=0
/proc/24005/stat : 24005 (SatELite_releas) R 24001 24001 10114 0 -1 4202496 119 0 0 0 0 0 0 0 25 0 1 0 1012093359 974848 55 4294967295 134512640 135223648 3219739088 3219737964 134576032 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24005/statm: 238 57 46 174 0 63 0
[startup+0.110364 s]
/proc/loadavg: 0.97 1.01 1.00 2/93 24001
/proc/meminfo: memFree=1468264/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2416 CPUtime=0.01
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 367 645 0 0 0 1 0 0 25 0 1 0 1012093359 2473984 276 4294967295 134512640 135169312 3220822736 3220821272 3085278958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24001/statm: 604 276 235 161 0 43 0
[pid=24005] ppid=24001 vsize=17072 CPUtime=0.11
/proc/24005/stat : 24005 (SatELite_releas) R 24001 24001 10114 0 -1 4202496 3743 0 0 0 9 2 0 0 25 0 1 0 1012093359 17481728 3679 4294967295 134512640 135223648 3219739088 3219737656 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24005/statm: 4268 3680 46 174 0 4093 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 19488
[startup+0.210357 s]
/proc/loadavg: 0.97 1.01 1.00 2/93 24001
/proc/meminfo: memFree=1468264/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2416 CPUtime=0.01
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 367 645 0 0 0 1 0 0 25 0 1 0 1012093359 2473984 276 4294967295 134512640 135169312 3220822736 3220821272 3085278958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24001/statm: 604 276 235 161 0 43 0
[pid=24005] ppid=24001 vsize=32576 CPUtime=0.21
/proc/24005/stat : 24005 (SatELite_releas) R 24001 24001 10114 0 -1 4202496 6997 0 0 0 19 2 0 0 25 0 1 0 1012093359 33357824 6933 4294967295 134512640 135223648 3219739088 3219738040 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24005/statm: 8144 6934 46 174 0 7969 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 34992
[startup+0.310353 s]
/proc/loadavg: 0.97 1.01 1.00 2/93 24001
/proc/meminfo: memFree=1468264/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2416 CPUtime=0.01
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 367 645 0 0 0 1 0 0 25 0 1 0 1012093359 2473984 276 4294967295 134512640 135169312 3220822736 3220821272 3085278958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24001/statm: 604 276 235 161 0 43 0
[pid=24005] ppid=24001 vsize=42444 CPUtime=0.31
/proc/24005/stat : 24005 (SatELite_releas) R 24001 24001 10114 0 -1 4202496 10175 0 0 0 24 7 0 0 25 0 1 0 1012093359 43462656 10111 4294967295 134512640 135223648 3219739088 3219738040 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24005/statm: 10611 10111 46 174 0 10436 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 44860
[startup+0.710334 s]
/proc/loadavg: 0.97 1.01 1.00 2/93 24001
/proc/meminfo: memFree=1468264/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2416 CPUtime=0.01
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 367 645 0 0 0 1 0 0 25 0 1 0 1012093359 2473984 276 4294967295 134512640 135169312 3220822736 3220821272 3085278958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24001/statm: 604 276 235 161 0 43 0
[pid=24005] ppid=24001 vsize=113456 CPUtime=0.71
/proc/24005/stat : 24005 (SatELite_releas) R 24001 24001 10114 0 -1 4202496 22168 0 0 0 59 12 0 0 25 0 1 0 1012093359 116178944 22104 4294967295 134512640 135223648 3219739088 3219738040 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24005/statm: 28364 22106 46 174 0 28189 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 115872
[startup+1.51029 s]
/proc/loadavg: 0.97 1.01 1.00 2/95 24008
/proc/meminfo: memFree=1332360/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2416 CPUtime=0.01
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 367 645 0 0 0 1 0 0 25 0 1 0 1012093359 2473984 276 4294967295 134512640 135169312 3220822736 3220821272 3085278958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24001/statm: 604 276 235 161 0 43 0
[pid=24005] ppid=24001 vsize=190388 CPUtime=1.51
/proc/24005/stat : 24005 (SatELite_releas) R 24001 24001 10114 0 -1 4202496 46874 0 0 0 123 28 0 0 25 0 1 0 1012093359 194957312 43227 4294967295 134512640 135223648 3219739088 3219737088 134548155 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24005/statm: 47597 43227 73 174 0 47422 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 192804
[startup+3.11022 s]
/proc/loadavg: 0.97 1.01 1.00 3/95 24008
/proc/meminfo: memFree=1286976/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2416 CPUtime=0.01
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 367 645 0 0 0 1 0 0 25 0 1 0 1012093359 2473984 276 4294967295 134512640 135169312 3220822736 3220821272 3085278958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24001/statm: 604 276 235 161 0 43 0
[pid=24005] ppid=24001 vsize=198280 CPUtime=3.11
/proc/24005/stat : 24005 (SatELite_releas) R 24001 24001 10114 0 -1 4202496 48719 0 0 0 276 35 0 0 25 0 1 0 1012093359 203038720 45072 4294967295 134512640 135223648 3219739088 3219736856 134737406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24005/statm: 49570 45072 73 174 0 49395 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 200696
[startup+6.31006 s]
/proc/loadavg: 0.97 1.01 1.00 2/95 24008
/proc/meminfo: memFree=1252288/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2416 CPUtime=0.01
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 367 645 0 0 0 1 0 0 25 0 1 0 1012093359 2473984 276 4294967295 134512640 135169312 3220822736 3220821272 3085278958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24001/statm: 604 276 235 161 0 43 0
[pid=24005] ppid=24001 vsize=211876 CPUtime=6.28
/proc/24005/stat : 24005 (SatELite_releas) R 24001 24001 10114 0 -1 4202496 51810 0 0 0 579 49 0 0 25 0 1 0 1012093359 216961024 48163 4294967295 134512640 135223648 3219739088 3219737088 134549033 0 0 0 3 0 0 0 17 1 0 0 0
/proc/24005/statm: 52969 48163 73 174 0 52794 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 214292
[startup+12.7098 s]
/proc/loadavg: 0.97 1.01 1.00 2/95 24009
/proc/meminfo: memFree=1382304/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=36432 CPUtime=2.91
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 8757 0 0 0 287 4 0 0 25 0 1 0 1012094338 37306368 8679 4294967295 134512640 135216591 3219438064 3219436256 134529317 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24009/statm: 9108 8679 75 172 0 8935 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 38852
[startup+25.5091 s]
/proc/loadavg: 0.98 1.01 1.00 2/95 24011
/proc/meminfo: memFree=1372480/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=45780 CPUtime=15.71
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 11058 0 0 0 1567 4 0 0 25 0 1 0 1012094338 46878720 10980 4294967295 134512640 135216591 3219438064 3219436256 134529041 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24009/statm: 11445 10980 75 172 0 11272 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 48200
[startup+51.1079 s]
/proc/loadavg: 0.98 1.00 1.00 2/95 24013
/proc/meminfo: memFree=1358980/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=59680 CPUtime=41.31
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 14466 0 0 0 4127 4 0 0 25 0 1 0 1012094338 61112320 14388 4294967295 134512640 135216591 3219438064 3219436064 134527579 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24009/statm: 14920 14388 75 172 0 14747 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62100
[startup+102.315 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 24204
/proc/meminfo: memFree=1347084/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=71184 CPUtime=92.52
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 17426 0 0 0 9248 4 0 0 25 0 1 0 1012094338 72892416 17348 4294967295 134512640 135216591 3219438064 3219436256 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24009/statm: 17796 17348 75 172 0 17623 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 73604
[startup+162.312 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 24391
/proc/meminfo: memFree=1343820/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=74352 CPUtime=152.52
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 18219 0 0 0 15248 4 0 0 25 0 1 0 1012094338 76136448 18141 4294967295 134512640 135216591 3219438064 3219436256 134528962 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24009/statm: 18588 18141 75 172 0 18415 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 76772
[startup+222.31 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 24578
/proc/meminfo: memFree=1343340/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=74932 CPUtime=212.52
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 18346 0 0 0 21248 4 0 0 25 0 1 0 1012094338 76730368 18268 4294967295 134512640 135216591 3219438064 3219436256 134529317 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24009/statm: 18733 18268 75 172 0 18560 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 77352
[startup+282.307 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 24767
/proc/meminfo: memFree=1341644/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=77480 CPUtime=272.52
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 18922 0 0 0 27245 7 0 0 25 0 1 0 1012094338 79339520 18844 4294967295 134512640 135216591 3219438064 3219436256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 19370 18844 75 172 0 19197 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 79900
[startup+342.314 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 24960
/proc/meminfo: memFree=1337040/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=81228 CPUtime=332.53
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 19870 0 0 0 33245 8 0 0 25 0 1 0 1012094338 83177472 19792 4294967295 134512640 135216591 3219438064 3219436256 134529032 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 20307 19792 75 172 0 20134 0
Current children cumulated CPU time (s) 342.29
################
# More data... #
################
[pid=24009] ppid=24001 vsize=95580 CPUtime=512.54
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 23446 0 0 0 51242 12 0 0 25 0 1 0 1012094338 97873920 23368 4294967295 134512640 135216591 3219438064 3219436256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 23895 23368 75 172 0 23722 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 98000
[startup+582.312 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 25715
/proc/meminfo: memFree=1311380/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=107320 CPUtime=572.54
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 26273 0 0 0 57238 16 0 0 25 0 1 0 1012094338 109895680 26195 4294967295 134512640 135216591 3219438064 3219436240 134525196 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 26830 26195 75 172 0 26657 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 109740
[startup+642.319 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 25903
/proc/meminfo: memFree=1310992/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=107452 CPUtime=632.55
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 26323 0 0 0 63239 16 0 0 25 0 1 0 1012094338 110030848 26245 4294967295 134512640 135216591 3219438064 3219436032 134538270 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 26863 26245 75 172 0 26690 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 109872
[startup+702.316 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 26091
/proc/meminfo: memFree=1310992/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=107612 CPUtime=692.55
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 26344 0 0 0 69239 16 0 0 25 0 1 0 1012094338 110194688 26266 4294967295 134512640 135216591 3219438064 3219436256 134528962 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 26903 26266 75 172 0 26730 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 110032
[startup+762.323 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 26278
/proc/meminfo: memFree=1311016/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=107612 CPUtime=752.56
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 26344 0 0 0 75240 16 0 0 25 0 1 0 1012094338 110194688 26266 4294967295 134512640 135216591 3219438064 3219436256 134529259 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 26903 26266 75 172 0 26730 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 110032
[startup+822.32 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 26465
/proc/meminfo: memFree=1311016/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=107612 CPUtime=812.56
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 26346 0 0 0 81238 18 0 0 25 0 1 0 1012094338 110194688 26268 4294967295 134512640 135216591 3219438064 3219436256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 26903 26268 75 172 0 26730 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 110032
[startup+882.318 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 26658
/proc/meminfo: memFree=1310808/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=107612 CPUtime=872.56
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 26348 0 0 0 87238 18 0 0 25 0 1 0 1012094338 110194688 26270 4294967295 134512640 135216591 3219438064 3219436256 134529211 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 26903 26270 75 172 0 26730 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 110032
[startup+942.305 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 26846
/proc/meminfo: memFree=1310808/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=107752 CPUtime=932.55
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 26369 0 0 0 93237 18 0 0 25 0 1 0 1012094338 110338048 26291 4294967295 134512640 135216591 3219438064 3219436256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 26938 26291 75 172 0 26765 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 110172
[startup+1002.31 s]
/proc/loadavg: 1.05 1.02 1.00 2/95 27034
/proc/meminfo: memFree=1310180/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=108336 CPUtime=992.56
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 26522 0 0 0 99238 18 0 0 25 0 1 0 1012094338 110936064 26444 4294967295 134512640 135216591 3219438064 3219436256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 27084 26444 75 172 0 26911 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 110756
[startup+1062.31 s]
/proc/loadavg: 1.05 1.03 1.00 3/95 27221
/proc/meminfo: memFree=1307336/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=111284 CPUtime=1052.56
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 27195 0 0 0 105236 20 0 0 25 0 1 0 1012094338 113954816 27117 4294967295 134512640 135216591 3219438064 3219436256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 27821 27117 75 172 0 27648 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 113704
[startup+1122.32 s]
/proc/loadavg: 1.09 1.05 1.01 2/95 27408
/proc/meminfo: memFree=1306096/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=112696 CPUtime=1112.57
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 27512 0 0 0 111235 22 0 0 25 0 1 0 1012094338 115400704 27434 4294967295 134512640 135216591 3219438064 3219436256 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 28174 27434 75 172 0 28001 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 115116
[startup+1182.31 s]
/proc/loadavg: 1.07 1.05 1.01 2/95 27597
/proc/meminfo: memFree=1303492/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=115344 CPUtime=1172.57
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 28192 0 0 0 117235 22 0 0 25 0 1 0 1012094338 118112256 28114 4294967295 134512640 135216591 3219438064 3219436256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 28836 28114 75 172 0 28663 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 117764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.21 1.08 1.02 2/95 27780
/proc/meminfo: memFree=1297804/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=120436 CPUtime=1190.27
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 29447 0 0 0 119004 23 0 0 25 0 1 0 1012094338 123326464 29369 4294967295 134512640 135216591 3219438064 3219436256 134529090 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 30109 29369 75 172 0 29936 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 122856
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.01 s]
/proc/loadavg: 1.21 1.08 1.02 2/95 27780
/proc/meminfo: memFree=1297804/2074464 swapFree=1950884/1959888
[pid=24001] ppid=23999 vsize=2420 CPUtime=9.76
/proc/24001/stat : 24001 (SatELiteGTI) S 23999 24001 10114 0 -1 4194304 386 57509 0 0 0 1 919 56 20 0 1 0 1012093359 2478080 277 4294967295 134512640 135169312 3220822736 3220818952 3085278958 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24001/statm: 605 277 235 161 0 44 0
[pid=24009] ppid=24001 vsize=120436 CPUtime=1190.27
/proc/24009/stat : 24009 (minisat_static) R 24001 24001 10114 0 -1 4202496 29447 0 0 0 119004 23 0 0 25 0 1 0 1012094338 123326464 29369 4294967295 134512640 135216591 3219438064 3219436256 134529090 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24009/statm: 30109 29369 75 172 0 29936 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 122856
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.04
CPU time (s): 1200.04
CPU user time (s): 1199.23
CPU system time (s): 0.81
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 219700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.23
system time used= 0.81
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87433
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= 28
involuntary context switches= 3242
runsolver used 0.02 second user time and 0.04 second system time
The end
Begin job on tipi13 at 2009-05-16 14:12:03
IDJOB=1820777
IDBENCH=69591
IDSOLVER=658
FILE ID=tipi13/1820777-1242475923
PBS_JOBID=
Free space on /tmp= 7274 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820777-1242475923/watcher-1820777-1242475923 -o /tmp/evaluation-result-1820777-1242475923/solver-1820777-1242475923 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820777-1242475923.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED= 1514732511
Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1468264 kB
Buffers: 37160 kB
Cached: 477124 kB
SwapCached: 3452 kB
Active: 319084 kB
Inactive: 204820 kB
HighTotal: 1178688 kB
HighFree: 725448 kB
LowTotal: 895776 kB
LowFree: 742816 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 25740 kB
Writeback: 0 kB
AnonPages: 8532 kB
Mapped: 2972 kB
Slab: 74396 kB
PageTables: 524 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90592 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 7274 MiB
End job on tipi13 at 2009-05-16 14:32:08