0.00/0.00 c Parsing...
1.18/1.27 c ==============================================================================
1.18/1.27 c | | ORIGINAL | LEARNT | |
1.18/1.27 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.18/1.27 c ==============================================================================
1.18/1.27 c | 0 | 1543625 3616766 | 463087 0 0 nan | 0.000 % |
11.69/11.76 c | 0 | 616629 1615529 | -- 0 -- -- | -- | -584573/-1226581
11.69/11.77 c ==============================================================================
11.69/11.77 c Result : #vars: 93490 #clauses: 616629 #literals: 1615529
11.69/11.77 c CPU time: 11.3783 s
11.69/11.77 c ==============================================================================
12.37/12.43 c This is MiniSat 2.0 beta
12.37/12.43 c WARNING: for repeatability, setting FPU to use double precision
12.37/12.44 c ============================[ Problem Statistics ]=============================
12.37/12.44 c | |
12.37/12.44 c | Number of variables: 93490 |
12.37/12.44 c | Number of clauses: 616629 |
12.40/12.81 c | Parsing time: 0.34 s |
12.40/12.84 c ============================[ Search Statistics ]==============================
12.40/12.84 c | Conflicts | ORIGINAL | LEARNT | Progress |
12.40/12.84 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
12.40/12.84 c ===============================================================================
12.40/12.84 c | 0 | 93490 616629 1615529 | 205543 0 nan | 0.000 % |
13.05/13.17 c | 100 | 93302 616629 1615529 | 205543 92 30 | 2.567 % |
13.35/13.46 c | 200 | 93301 616629 1615529 | 205543 191 32 | 2.576 % |
13.65/13.72 c | 301 | 93301 616629 1615529 | 205543 292 35 | 2.576 % |
14.25/14.38 c | 412 | 90261 595358 1565642 | 205543 390 41 | 5.821 % |
14.75/14.82 c | 512 | 90259 595358 1565642 | 205543 488 41 | 5.843 % |
15.35/15.43 c | 627 | 88015 580679 1530753 | 205543 598 45 | 6.225 % |
16.05/16.11 c | 748 | 87746 580679 1530753 | 205543 709 45 | 12.949 % |
16.45/16.56 c | 848 | 81051 529912 1407458 | 205543 769 47 | 13.305 % |
16.95/17.07 c | 961 | 81038 529912 1407458 | 205543 880 57 | 13.687 % |
17.35/17.48 c | 1083 | 81038 529912 1407458 | 205543 1002 60 | 13.687 % |
17.75/17.89 c | 1217 | 76476 496784 1325215 | 205543 1119 60 | 19.179 % |
18.35/18.44 c | 1317 | 75783 496784 1325215 | 205543 1214 59 | 22.987 % |
18.65/18.77 c | 1430 | 75781 496784 1325215 | 205543 1327 64 | 22.987 % |
19.35/19.48 c | 1553 | 71988 464717 1245484 | 205543 1428 68 | 37.091 % |
19.65/19.71 c | 1687 | 70995 464717 1245484 | 205543 1560 67 | 48.975 % |
20.15/20.27 c | 1835 | 70995 464717 1245484 | 205543 1707 70 | 49.514 % |
20.65/20.77 c | 1935 | 47195 276853 758286 | 205543 1690 73 | 50.818 % |
21.15/21.21 c | 2051 | 45959 265454 726328 | 205543 1792 74 | 50.992 % |
21.25/21.36 c | 2174 | 45944 265454 726328 | 205543 1915 73 | 50.992 % |
21.75/21.80 c | 2308 | 45944 265454 726328 | 205543 2048 73 | 51.249 % |
21.85/21.97 c | 2455 | 45577 259474 709662 | 205543 2194 72 | 51.249 % |
22.35/22.48 c | 2615 | 45577 259474 709662 | 205543 2354 86 | 51.249 % |
22.65/22.74 c | 2718 | 45564 259387 709418 | 205543 2456 89 | 51.263 % |
22.95/23.05 c | 2828 | 45564 259387 709418 | 205543 2566 90 | 51.263 % |
23.55/23.61 c | 2949 | 45563 259387 709418 | 205543 2686 91 | 51.273 % |
23.95/24.02 c | 3084 | 45551 259318 709255 | 205543 2819 92 | 51.388 % |
24.35/24.42 c | 3231 | 45541 259318 709255 | 205543 2965 92 | 51.404 % |
24.85/24.91 c | 3393 | 45394 258552 707427 | 205543 3123 91 | 52.116 % |
25.45/25.59 c | 3570 | 44362 250673 687976 | 205543 3290 91 | 54.135 % |
25.75/25.80 c | 3670 | 44358 250673 687976 | 205543 3389 90 | 54.164 % |
25.95/26.06 c | 3782 | 44358 250673 687976 | 205543 3501 93 | 54.164 % |
26.45/26.54 c | 3903 | 42848 240726 661928 | 205543 3585 97 | 60.476 % |
26.85/26.91 c | 4036 | 42847 240726 661928 | 205543 3717 98 | 60.486 % |
27.25/27.35 c | 4182 | 36933 203001 559025 | 205543 3670 99 | 61.786 % |
27.45/27.55 c | 4344 | 36921 203001 559025 | 205543 3831 100 | 61.796 % |
27.85/27.96 c | 4522 | 36921 203001 559025 | 205543 4009 103 | 61.796 % |
27.95/28.09 c | 4716 | 35717 195876 539200 | 205543 4182 102 | 61.796 % |
28.35/28.41 c | 4816 | 35717 195876 539200 | 205543 4282 100 | 61.796 % |
28.45/28.57 c | 4927 | 35717 195876 539200 | 205543 4393 102 | 61.796 % |
28.55/28.68 c | 5048 | 35717 195876 539200 | 205543 4514 101 | 61.796 % |
28.74/28.87 c | 5183 | 35717 195876 539200 | 205543 4647 102 | 61.816 % |
29.14/29.27 c | 5332 | 35698 195734 538848 | 205543 4795 103 | 61.826 % |
29.54/29.66 c | 5492 | 35695 195734 538848 | 205543 4954 102 | 61.871 % |
29.94/30.06 c | 5673 | 35695 195734 538848 | 205543 5135 104 | 61.871 % |
30.44/30.57 c | 5866 | 35647 195357 537949 | 205543 5328 104 | 61.871 % |
30.84/30.91 c | 6078 | 35647 195357 537949 | 205543 5540 107 | 61.871 % |
30.94/31.00 c | 6180 | 35647 195357 537949 | 205543 5642 106 | 61.871 % |
31.04/31.18 c | 6290 | 35647 195357 537949 | 205543 5752 105 | 61.871 % |
31.34/31.43 c | 6411 | 35647 195357 537949 | 205543 5873 105 | 61.871 % |
31.74/31.85 c | 6544 | 35647 195357 537949 | 205543 6006 106 | 61.871 % |
32.04/32.13 c | 6691 | 35643 195310 537817 | 205543 6152 105 | 61.875 % |
32.34/32.50 c | 6851 | 35643 195310 537817 | 205543 6311 106 | 61.889 % |
32.74/32.87 c | 7027 | 35641 195310 537817 | 205543 6487 106 | 61.889 % |
33.13/33.23 c | 7221 | 35161 192439 529760 | 205543 6668 106 | 62.391 % |
33.53/33.62 c | 7436 | 35161 192439 529760 | 205543 6882 107 | 62.594 % |
34.13/34.25 c | 7671 | 35161 192439 529760 | 205543 7117 105 | 62.594 % |
34.33/34.47 c | 7772 | 34971 188506 518536 | 205543 7218 105 | 62.594 % |
34.53/34.69 c | 7883 | 34971 188506 518536 | 205543 7329 105 | 62.594 % |
34.73/34.86 c | 8004 | 34971 188506 518536 | 205543 7450 106 | 62.594 % |
34.93/35.02 c | 8137 | 34966 188506 518536 | 205543 7582 105 | 64.226 % |
35.33/35.42 c | 8283 | 34966 188506 518536 | 205543 7728 106 | 64.226 % |
35.73/35.81 c | 8444 | 33434 179705 494190 | 205543 7742 108 | 64.248 % |
36.03/36.11 c | 8622 | 33430 179705 494190 | 205543 7919 109 | 64.326 % |
36.23/36.39 c | 8815 | 33430 179705 494190 | 205543 8112 109 | 64.326 % |
36.63/36.72 c | 9028 | 33430 179705 494190 | 205543 8325 108 | 64.326 % |
36.93/37.07 c | 9261 | 33429 179705 494190 | 205543 8557 107 | 64.335 % |
37.53/37.69 c | 9519 | 33343 179091 492620 | 205543 8815 106 | 64.335 % |
37.73/37.90 c | 9621 | 33343 179091 492620 | 205543 8917 106 | 64.335 % |
38.03/38.12 c | 9731 | 33343 179091 492620 | 205543 9027 107 | 64.335 % |
38.13/38.30 c | 9852 | 33343 179091 492620 | 205543 9148 107 | 64.335 % |
38.43/38.57 c | 9986 | 33343 179091 492620 | 205543 9282 108 | 64.335 % |
38.64/38.79 c | 10132 | 33343 179091 492620 | 2147483647 9428 109 | 64.335 % |
38.94/39.08 c | 10293 | 33343 179091 492620 | 2147483647 9589 108 | 64.335 % |
39.24/39.35 c | 10469 | 33343 179091 492620 | 2147483647 9765 108 | 64.335 % |
39.64/39.74 c | 10662 | 33343 179091 492620 | 2147483647 9958 109 | 64.335 % |
40.24/40.32 c | 10878 | 33343 179091 492620 | 2147483647 10174 109 | 64.335 % |
40.54/40.61 c | 11111 | 33343 179091 492620 | 2147483647 10407 109 | 64.335 % |
41.13/41.22 c | 11367 | 33343 179091 492620 | 2147483647 10663 110 | 64.335 % |
41.74/41.82 c | 11648 | 33343 179091 492620 | 2147483647 10944 111 | 64.335 % |
41.93/42.04 c | 11748 | 33343 179091 492620 | 2147483647 11044 111 | 64.335 % |
42.23/42.36 c | 11860 | 33343 179091 492620 | 2147483647 11156 112 | 64.335 % |
42.74/42.81 c | 11981 | 33332 179009 492410 | 2147483647 11276 112 | 64.347 % |
42.93/43.01 c | 12115 | 33332 179009 492410 | 2147483647 11410 112 | 64.347 % |
43.23/43.30 c | 12261 | 33332 179009 492410 | 2147483647 11556 113 | 64.347 % |
43.33/43.45 c | 12421 | 33332 179009 492410 | 2147483647 11716 113 | 64.347 % |
43.83/43.93 c | 12597 | 33332 179009 492410 | 2147483647 11892 114 | 64.347 % |
44.02/44.19 c | 12790 | 33332 179009 492410 | 2147483647 12085 114 | 64.347 % |
44.72/44.80 c | 13003 | 33332 179009 492410 | 2147483647 12298 113 | 64.347 % |
45.03/45.14 c | 13236 | 33332 179009 492410 | 2147483647 12531 113 | 64.347 % |
45.62/45.74 c | 13496 | 33154 175383 482066 | 2147483647 12790 113 | 64.537 % |
45.92/46.03 c | 13777 | 33154 175383 482066 | 2147483647 13071 113 | 64.537 % |
46.82/46.97 c | 14087 | 33147 175383 482066 | 2147483647 13379 113 | 64.778 % |
47.02/47.13 c | 14188 | 33146 175383 482066 | 2147483647 13479 113 | 64.849 % |
47.22/47.33 c | 14299 | 32863 173912 478048 | 2147483647 13568 113 | 64.849 % |
47.52/47.61 c | 14420 | 32863 173912 478048 | 2147483647 13689 114 | 64.849 % |
47.62/47.74 c | 14554 | 32863 173912 478048 | 2147483647 13823 114 | 64.849 % |
47.82/47.92 c | 14700 | 32863 173912 478048 | 2147483647 13969 113 | 64.849 % |
48.52/48.60 c | 14861 | 32863 173912 478048 | 2147483647 14130 112 | 64.849 % |
49.02/49.18 c | 15037 | 32863 173912 478048 | 2147483647 14306 113 | 64.849 % |
49.42/49.53 c | 15230 | 32863 173912 478048 | 2147483647 14499 112 | 64.849 % |
49.62/49.73 c | 15442 | 32863 173912 478048 | 2147483647 14711 112 | 64.849 % |
50.12/50.28 c | 15675 | 32863 173912 478048 | 2147483647 14944 111 | 64.849 % |
50.92/51.02 c | 15932 | 32863 173912 478048 | 2147483647 15201 111 | 64.849 % |
51.82/51.98 c | 16213 | 32863 173912 478048 | 2147483647 15482 110 | 64.849 % |
52.31/52.43 c | 16526 | 31804 168801 463270 | 2147483647 15636 110 | 65.981 % |
52.91/53.02 c | 16865 | 31803 168801 463270 | 2147483647 15974 110 | 66.062 % |
53.01/53.18 c | 16965 | 31803 168801 463270 | 2147483647 16074 110 | 66.062 % |
53.22/53.34 c | 17075 | 31803 168801 463270 | 2147483647 16184 110 | 66.062 % |
53.42/53.50 c | 17196 | 31803 168801 463270 | 2147483647 16305 110 | 66.062 % |
53.73/53.87 c | 17329 | 31803 168801 463270 | 2147483647 16438 111 | 66.062 % |
53.92/54.06 c | 17475 | 31803 168801 463270 | 2147483647 16584 111 | 66.062 % |
54.42/54.56 c | 17635 | 31803 168801 463270 | 2147483647 16744 111 | 66.062 % |
55.12/55.21 c | 17813 | 31729 168519 462348 | 2147483647 16911 111 | 66.062 % |
55.32/55.45 c | 18006 | 31729 168519 462348 | 2147483647 17104 111 | 66.062 % |
55.82/55.90 c | 18218 | 31729 168519 462348 | 2147483647 17316 111 | 66.062 % |
56.22/56.38 c | 18451 | 31729 168519 462348 | 2147483647 17549 112 | 66.062 % |
56.72/56.85 c | 18708 | 31729 168519 462348 | 2147483647 17806 112 | 66.062 % |
57.42/57.58 c | 18989 | 31729 168519 462348 | 2147483647 18087 112 | 66.062 % |
58.02/58.18 c | 19299 | 31729 168519 462348 | 2147483647 18397 113 | 66.062 % |
58.82/58.96 c | 19641 | 31729 168519 462348 | 2147483647 18739 114 | 66.062 % |
59.32/59.48 c | 20013 | 31729 168519 462348 | 2147483647 19111 113 | 66.062 % |
59.61/59.71 c | 20114 | 31729 168519 462348 | 2147483647 19212 114 | 66.062 % |
59.71/59.86 c | 20225 | 31729 168519 462348 | 2147483647 19323 113 | 66.062 % |
59.91/60.08 c | 20346 | 31729 168519 462348 | 2147483647 19444 113 | 66.062 % |
60.32/60.44 c | 20480 | 31729 168519 462348 | 2147483647 19578 113 | 66.062 % |
60.71/60.80 c | 20626 | 31729 168519 462348 | 2147483647 19724 113 | 66.062 % |
61.01/61.17 c | 20790 | 31729 168519 462348 | 2147483647 19888 113 | 66.062 % |
61.31/61.47 c | 20966 | 31719 168437 462158 | 2147483647 20063 113 | 66.072 % |
61.71/61.83 c | 21159 | 31719 168437 462158 | 2147483647 20256 113 | 66.072 % |
62.41/62.52 c | 21372 | 31719 168437 462158 | 2147483647 20469 112 | 66.072 % |
62.81/62.94 c | 21608 | 31719 168437 462158 | 2147483647 20705 113 | 66.072 % |
63.31/63.47 c | 21864 | 31719 168437 462158 | 2147483647 20961 112 | 66.072 % |
63.91/64.03 c | 22145 | 31719 168437 462158 | 2147483647 21242 113 | 66.072 % |
64.21/64.38 c | 22454 | 31719 168437 462158 | 2147483647 21551 113 | 66.072 % |
64.92/65.02 c | 22793 | 31719 168437 462158 | 2147483647 21890 112 | 66.072 % |
65.62/65.74 c | 23166 | 31708 168350 461934 | 2147483647 22262 114 | 66.084 % |
67.02/67.12 c | 23575 | 31708 168350 461934 | 2147483647 22671 116 | 66.084 % |
67.12/67.23 c | 23675 | 31708 168350 461934 | 2147483647 22771 115 | 66.084 % |
67.52/67.63 c | 23788 | 31708 168350 461934 | 2147483647 22884 115 | 66.084 % |
67.72/67.85 c | 23909 | 31708 168350 461934 | 2147483647 23005 115 | 66.084 % |
68.02/68.15 c | 24042 | 31708 168350 461934 | 2147483647 23138 116 | 66.084 % |
68.22/68.39 c | 24188 | 31708 168350 461934 | 2147483647 23284 115 | 66.084 % |
68.92/69.02 c | 24351 | 31708 168350 461934 | 2147483647 23447 116 | 66.084 % |
69.12/69.30 c | 24527 | 31708 168350 461934 | 2147483647 23623 116 | 66.084 % |
69.41/69.58 c | 24721 | 31708 168350 461934 | 2147483647 23817 116 | 66.084 % |
69.91/70.00 c | 24934 | 31708 168350 461934 | 2147483647 24030 115 | 66.084 % |
70.91/71.03 c | 25167 | 31699 168286 461788 | 2147483647 24262 115 | 66.094 % |
72.01/72.10 c | 25424 | 31699 168286 461788 | 2147483647 24519 115 | 66.094 % |
72.91/73.04 c | 25706 | 31699 168286 461788 | 2147483647 24801 115 | 66.094 % |
73.51/73.66 c | 26015 | 31699 168286 461788 | 2147483647 25110 115 | 66.094 % |
74.01/74.14 c | 26354 | 31699 168286 461788 | 2147483647 25449 115 | 66.094 % |
74.71/74.84 c | 26729 | 31699 168286 461788 | 2147483647 25824 116 | 66.094 % |
75.60/75.75 c | 27138 | 31699 168286 461788 | 2147483647 26233 116 | 66.094 % |
76.50/76.69 c | 27588 | 31699 168286 461788 | 2147483647 26683 116 | 66.094 % |
76.70/76.88 c | 27688 | 31699 168286 461788 | 2147483647 26783 116 | 66.094 % |
76.91/77.05 c | 27800 | 31699 168286 461788 | 2147483647 26895 116 | 66.094 % |
77.30/77.41 c | 27921 | 31699 168286 461788 | 2147483647 27016 116 | 66.094 % |
77.50/77.63 c | 28054 | 31699 168286 461788 | 2147483647 27149 116 | 66.094 % |
77.80/77.90 c | 28203 | 31699 168286 461788 | 2147483647 27298 116 | 66.094 % |
78.10/78.21 c | 28367 | 31503 166917 458466 | 2147483647 27461 116 | 66.303 % |
78.60/78.72 c | 28543 | 31503 166917 458466 | 2147483647 27637 116 | 66.303 % |
79.00/79.10 c | 28737 | 31503 166917 458466 | 2147483647 27831 116 | 66.303 % |
79.30/79.49 c | 28949 | 31503 166917 458466 | 2147483647 28043 117 | 66.303 % |
79.80/79.98 c | 29182 | 31503 166917 458466 | 2147483647 28276 116 | 66.303 % |
80.40/80.56 c | 29439 | 31503 166917 458466 | 2147483647 28533 117 | 66.303 % |
80.80/80.91 c | 29720 | 31503 166917 458466 | 2147483647 28814 116 | 66.303 % |
81.70/81.86 c | 30031 | 31503 166917 458466 | 2147483647 29125 116 | 66.303 % |
82.20/82.30 c | 30370 | 31503 166917 458466 | 2147483647 29464 116 | 66.303 % |
82.91/83.02 c | 30742 | 31503 166917 458466 | 2147483647 29836 117 | 66.303 % |
83.51/83.65 c | 31151 | 31503 166917 458466 | 2147483647 30245 117 | 66.303 % |
84.20/84.38 c | 31600 | 31503 166917 458466 | 2147483647 30694 118 | 66.303 % |
85.20/85.30 c | 32093 | 31503 166917 458466 | 2147483647 31187 117 | 66.303 % |
85.40/85.51 c | 32195 | 31503 166917 458466 | 2147483647 31289 117 | 66.303 % |
85.60/85.73 c | 32305 | 31503 166917 458466 | 2147483647 31399 117 | 66.303 % |
85.80/85.97 c | 32428 | 31503 166917 458466 | 2147483647 31522 117 | 66.303 % |
86.10/86.27 c | 32561 | 31503 166917 458466 | 2147483647 31655 117 | 66.303 % |
86.40/86.53 c | 32707 | 31503 166917 458466 | 2147483647 31801 117 | 66.303 % |
86.80/86.91 c | 32868 | 31503 166917 458466 | 2147483647 31962 116 | 66.303 % |
87.10/87.22 c | 33047 | 31503 166917 458466 | 2147483647 32141 116 | 66.303 % |
87.40/87.50 c | 33240 | 31503 166917 458466 | 2147483647 32334 116 | 66.303 % |
87.70/87.87 c | 33452 | 31503 166917 458466 | 2147483647 32546 116 | 66.303 % |
88.10/88.28 c | 33685 | 31503 166917 458466 | 2147483647 32779 116 | 66.303 % |
88.49/88.68 c | 33941 | 31503 166917 458466 | 2147483647 33035 116 | 66.303 % |
88.90/89.04 c | 34223 | 31503 166917 458466 | 2147483647 33317 116 | 66.303 % |
89.49/89.63 c | 34535 | 31503 166917 458466 | 2147483647 33629 115 | 66.303 % |
90.00/90.11 c | 34874 | 31503 166917 458466 | 2147483647 33968 115 | 66.303 % |
90.69/90.83 c | 35247 | 31503 166917 458466 | 2147483647 34341 115 | 66.303 % |
91.79/91.93 c | 35656 | 31503 166917 458466 | 2147483647 34750 116 | 66.303 % |
92.79/92.98 c | 36107 | 31490 166838 458247 | 2147483647 35200 117 | 66.317 % |
93.49/93.69 c | 36601 | 31490 166838 458247 | 2147483647 35694 117 | 66.317 % |
94.49/94.64 c | 37144 | 31490 166838 458247 | 2147483647 36237 117 | 66.317 % |
94.69/94.82 c | 37244 | 31490 166838 458247 | 2147483647 36337 117 | 66.317 % |
94.89/95.03 c | 37354 | 31490 166838 458247 | 2147483647 36447 117 | 66.317 % |
95.09/95.25 c | 37475 | 31490 166838 458247 | 2147483647 36568 117 | 66.317 % |
95.59/95.71 c | 37608 | 31490 166838 458247 | 2147483647 36701 117 | 66.317 % |
95.99/96.11 c | 37754 | 31490 166838 458247 | 2147483647 36847 117 | 66.317 % |
96.49/96.60 c | 37914 | 31490 166838 458247 | 2147483647 37007 117 | 66.317 % |
96.89/97.07 c | 38090 | 31490 166838 458247 | 2147483647 37183 117 | 66.317 % |
97.19/97.35 c | 38283 | 31490 166838 458247 | 2147483647 37376 117 | 66.317 % |
97.59/97.71 c | 38496 | 31490 166838 458247 | 2147483647 37589 117 | 66.317 % |
97.99/98.14 c | 38730 | 31490 166838 458247 | 2147483647 37823 117 | 66.317 % |
98.49/98.70 c | 38987 | 31490 166838 458247 | 2147483647 38080 117 | 66.317 % |
98.99/99.18 c | 39269 | 31490 166838 458247 | 2147483647 38362 117 | 66.317 % |
99.49/99.62 c | 39578 | 31490 166838 458247 | 2147483647 38671 118 | 66.317 % |
100.09/100.25 c | 39917 | 31490 166838 458247 | 2147483647 39010 118 | 66.317 % |
101.09/101.26 c | 40291 | 31490 166838 458247 | 2147483647 39384 118 | 66.317 % |
102.09/102.26 c | 40700 | 31490 166838 458247 | 2147483647 39793 118 | 66.317 % |
103.49/103.63 c | 41149 | 31490 166838 458247 | 2147483647 40242 118 | 66.317 % |
104.88/105.07 c | 41642 | 31480 166768 458082 | 2147483647 40734 119 | 66.328 % |
106.28/106.49 c | 42185 | 31480 166768 458082 | 2147483647 41277 119 | 66.328 % |
107.38/107.55 c | 42784 | 31480 166768 458082 | 2147483647 41876 119 | 66.328 % |
107.59/107.80 c | 42885 | 31480 166768 458082 | 2147483647 41977 119 | 66.328 % |
107.99/108.12 c | 42996 | 31480 166768 458082 | 2147483647 42088 119 | 66.328 % |
108.19/108.36 c | 43117 | 31480 166768 458082 | 2147483647 42209 119 | 66.328 % |
108.59/108.75 c | 43255 | 31480 166768 458082 | 2147483647 42347 119 | 66.328 % |
108.99/109.13 c | 43401 | 31480 166768 458082 | 2147483647 42493 119 | 66.328 % |
109.39/109.51 c | 43562 | 31480 166768 458082 | 2147483647 42654 119 | 66.328 % |
109.69/109.84 c | 43739 | 31480 166768 458082 | 2147483647 42831 119 | 66.328 % |
110.09/110.23 c | 43932 | 31480 166768 458082 | 2147483647 43024 120 | 66.328 % |
110.89/111.03 c | 44145 | 31480 166768 458082 | 2147483647 43237 119 | 66.328 % |
111.49/111.65 c | 44379 | 31480 166768 458082 | 2147483647 43471 120 | 66.328 % |
111.99/112.11 c | 44636 | 31480 166768 458082 | 2147483647 43728 119 | 66.328 % |
112.49/112.60 c | 44920 | 31480 166768 458082 | 2147483647 44012 119 | 66.328 % |
113.09/113.23 c | 45230 | 31480 166768 458082 | 2147483647 44322 119 | 66.328 % |
114.09/114.26 c | 45569 | 31480 166768 458082 | 2147483647 44661 120 | 66.328 % |
114.79/114.92 c | 45942 | 31480 166768 458082 | 2147483647 45034 120 | 66.328 % |
115.48/115.62 c | 46351 | 31480 166768 458082 | 2147483647 45443 119 | 66.328 % |
116.19/116.35 c | 46803 | 31480 166768 458082 | 2147483647 45895 119 | 66.328 % |
117.08/117.24 c | 47298 | 31480 166768 458082 | 2147483647 46390 119 | 66.328 % |
118.18/118.34 c | 47840 | 31480 166768 458082 | 2147483647 46932 118 | 66.328 % |
119.28/119.50 c | 48438 | 31480 166768 458082 | 2147483647 47530 119 | 66.328 % |
120.79/120.92 c | 49093 | 31480 166768 458082 | 2147483647 48185 118 | 66.328 % |
121.09/121.21 c | 49196 | 31480 166768 458082 | 2147483647 48288 118 | 66.328 % |
121.39/121.50 c | 49307 | 31480 166768 458082 | 2147483647 48399 118 | 66.328 % |
121.59/121.79 c | 49428 | 31480 166768 458082 | 2147483647 48520 118 | 66.328 % |
121.89/122.08 c | 49561 | 31480 166768 458082 | 2147483647 48653 118 | 66.328 % |
122.29/122.48 c | 49707 | 31480 166768 458082 | 2147483647 48799 118 | 66.328 % |
122.59/122.75 c | 49867 | 31480 166768 458082 | 2147483647 48959 118 | 66.328 % |
123.39/123.56 c | 50043 | 31471 166704 457915 | 2147483647 49131 118 | 66.338 % |
123.79/123.96 c | 50236 | 31471 166704 457915 | 2147483647 49324 118 | 66.338 % |
124.48/124.63 c | 50449 | 31471 166704 457915 | 2147483647 49537 118 | 66.338 % |
125.19/125.34 c | 50682 | 31471 166704 457915 | 2147483647 49769 118 | 66.353 % |
125.98/126.12 c | 50938 | 31471 166704 457915 | 2147483647 50024 118 | 66.502 % |
126.78/126.90 c | 51219 | 31471 166704 457915 | 2147483647 50305 118 | 66.502 % |
127.68/127.85 c | 51530 | 31471 166704 457915 | 2147483647 50616 118 | 66.502 % |
128.38/128.57 c | 51870 | 31471 166704 457915 | 2147483647 50956 118 | 66.502 % |
129.08/129.26 c | 52244 | 31471 166704 457915 | 2147483647 51330 119 | 66.502 % |
130.18/130.30 c | 52653 | 31471 166704 457915 | 2147483647 51739 119 | 66.502 % |
131.08/131.29 c | 53104 | 31471 166704 457915 | 2147483647 52190 119 | 66.502 % |
132.28/132.45 c | 53600 | 31304 165623 455021 | 2147483647 52685 119 | 66.516 % |
133.58/133.71 c | 54146 | 31304 165623 455021 | 2147483647 53231 119 | 66.516 % |
135.08/135.23 c | 54743 | 31304 165623 455021 | 2147483647 53828 120 | 66.516 % |
136.48/136.68 c | 55398 | 31304 165623 455021 | 2147483647 54482 120 | 66.522 % |
139.08/139.24 c | 56118 | 31304 165623 455021 | 2147483647 55202 120 | 66.522 % |
139.49/139.62 c | 56219 | 31304 165623 455021 | 2147483647 55303 120 | 66.522 % |
139.78/139.94 c | 56330 | 31304 165623 455021 | 2147483647 55414 120 | 66.522 % |
140.08/140.25 c | 56454 | 31304 165623 455021 | 2147483647 55538 120 | 66.522 % |
140.38/140.52 c | 56587 | 31299 165576 454893 | 2147483647 55671 120 | 66.522 % |
140.69/140.87 c | 56733 | 31299 165576 454893 | 2147483647 55817 120 | 66.522 % |
141.28/141.45 c | 56894 | 31299 165576 454893 | 2147483647 55978 120 | 66.522 % |
142.18/142.31 c | 57074 | 31299 165576 454893 | 2147483647 56158 120 | 66.522 % |
142.58/142.74 c | 57267 | 31299 165576 454893 | 2147483647 56351 120 | 66.522 % |
143.28/143.42 c | 57480 | 31299 165576 454893 | 2147483647 56564 120 | 66.522 % |
144.08/144.22 c | 57713 | 31299 165576 454893 | 2147483647 56797 120 | 66.522 % |
144.88/145.08 c | 57970 | 31299 165576 454893 | 2147483647 57054 120 | 66.522 % |
146.08/146.20 c | 58255 | 31299 165576 454893 | 2147483647 57339 120 | 66.522 % |
146.58/146.78 c | 58567 | 31299 165576 454893 | 2147483647 57651 120 | 66.522 % |
147.08/147.29 c | 58906 | 31299 165576 454893 | 2147483647 57990 120 | 66.522 % |
148.18/148.35 c | 59278 | 31299 165576 454893 | 2147483647 58362 120 | 66.522 % |
149.08/149.20 c | 59687 | 31299 165576 454893 | 2147483647 58771 120 | 66.522 % |
150.88/151.02 c | 60136 | 31299 165576 454893 | 2147483647 59220 120 | 66.522 % |
152.17/152.32 c | 60629 | 31299 165576 454893 | 2147483647 59713 119 | 66.522 % |
153.17/153.37 c | 61171 | 31299 165576 454893 | 2147483647 60255 119 | 66.522 % |
154.17/154.32 c | 61768 | 31299 165576 454893 | 2147483647 60852 119 | 66.522 % |
155.87/156.00 c | 62424 | 28698 149062 411911 | 2147483647 61324 119 | 69.319 % |
156.98/157.18 c | 63146 | 28698 149062 411911 | 2147483647 62046 118 | 69.319 % |
158.78/158.97 c | 63940 | 28698 149062 411911 | 2147483647 62840 119 | 69.319 % |
159.18/159.30 c | 64040 | 28698 149062 411911 | 2147483647 62940 119 | 69.319 % |
159.38/159.51 c | 64150 | 28698 149062 411911 | 2147483647 63050 119 | 69.319 % |
159.88/160.02 c | 64271 | 28698 149062 411911 | 2147483647 63171 119 | 69.319 % |
160.18/160.30 c | 64404 | 28698 149062 411911 | 2147483647 63304 119 | 69.319 % |
160.38/160.58 c | 64551 | 28698 149062 411911 | 2147483647 63451 119 | 69.319 % |
160.88/161.02 c | 64711 | 28698 149062 411911 | 2147483647 63611 119 | 69.319 % |
161.18/161.39 c | 64888 | 28698 149062 411911 | 2147483647 63788 119 | 69.319 % |
161.67/161.81 c | 65083 | 28698 149062 411911 | 2147483647 63983 119 | 69.319 % |
162.07/162.26 c | 65298 | 28698 149062 411911 | 2147483647 64198 119 | 69.319 % |
162.68/162.86 c | 65531 | 28698 149062 411911 | 2147483647 64431 119 | 69.319 % |
163.17/163.34 c | 65789 | 28698 149062 411911 | 2147483647 64689 119 | 69.319 % |
163.77/163.92 c | 66071 | 28698 149062 411911 | 2147483647 64971 119 | 69.319 % |
164.37/164.50 c | 66381 | 28698 149062 411911 | 2147483647 65281 119 | 69.319 % |
165.37/165.55 c | 66721 | 28698 149062 411911 | 2147483647 65621 119 | 69.319 % |
166.07/166.25 c | 67097 | 28698 149062 411911 | 2147483647 65996 119 | 69.329 % |
166.87/167.08 c | 67508 | 28698 149062 411911 | 2147483647 66407 119 | 69.329 % |
167.97/168.13 c | 67958 | 28674 148889 411460 | 2147483647 66857 119 | 69.329 % |
168.78/168.94 c | 68452 | 28674 148889 411460 | 2147483647 67351 118 | 69.329 % |
169.78/169.96 c | 68994 | 28674 148889 411460 | 2147483647 67893 118 | 69.329 % |
170.98/171.13 c | 69591 | 28674 148889 411460 | 2147483647 68490 118 | 69.329 % |
171.98/172.13 c | 70247 | 28674 148889 411460 | 2147483647 69146 118 | 69.329 % |
173.97/174.19 c | 70968 | 28674 148889 411460 | 2147483647 69867 117 | 69.329 % |
175.98/176.11 c | 71760 | 28674 148889 411460 | 2147483647 70659 117 | 69.329 % |
179.07/179.24 c | 72633 | 28674 148889 411460 | 2147483647 71532 117 | 69.329 % |
179.37/179.58 c | 72733 | 28674 148889 411460 | 2147483647 71632 117 | 69.329 % |
179.67/179.88 c | 72844 | 28674 148889 411460 | 2147483647 71743 117 | 69.329 % |
179.97/180.14 c | 72966 | 28674 148889 411460 | 2147483647 71865 117 | 69.329 % |
180.37/180.51 c | 73100 | 28674 148889 411460 | 2147483647 71999 117 | 69.329 % |
180.87/181.08 c | 73246 | 28674 148889 411460 | 2147483647 72145 117 | 69.329 % |
181.37/181.56 c | 73409 | 28674 148889 411460 | 2147483647 72308 117 | 69.329 % |
181.87/182.02 c | 73586 | 28674 148889 411460 | 2147483647 72485 117 | 69.329 % |
182.27/182.50 c | 73779 | 28674 148889 411460 | 2147483647 72678 117 | 69.329 % |
182.67/182.89 c | 73991 | 28674 148889 411460 | 2147483647 72890 117 | 69.329 % |
183.27/183.44 c | 74224 | 28674 148889 411460 | 2147483647 73123 117 | 69.329 % |
183.87/184.09 c | 74480 | 28674 148889 411460 | 2147483647 73379 117 | 69.329 % |
184.67/184.81 c | 74763 | 28674 148889 411460 | 2147483647 73662 117 | 69.329 % |
185.37/185.57 c | 75073 | 28674 148889 411460 | 2147483647 73972 117 | 69.329 % |
186.36/186.53 c | 75414 | 28674 148889 411460 | 2147483647 74313 117 | 69.329 % |
187.16/187.39 c | 75787 | 28674 148889 411460 | 2147483647 74686 117 | 69.329 % |
188.06/188.23 c | 76197 | 28674 148889 411460 | 2147483647 75096 117 | 69.329 % |
189.07/189.28 c | 76646 | 28674 148889 411460 | 2147483647 75545 117 | 69.329 % |
190.17/190.32 c | 77140 | 28674 148889 411460 | 2147483647 76039 117 | 69.329 % |
191.37/191.56 c | 77682 | 28674 148889 411460 | 2147483647 76581 117 | 69.329 % |
192.76/192.97 c | 78278 | 28674 148889 411460 | 2147483647 77177 117 | 69.329 % |
194.16/194.38 c | 78936 | 28674 148889 411460 | 2147483647 77835 117 | 69.329 % |
195.96/196.18 c | 79656 | 28674 148889 411460 | 2147483647 78555 117 | 69.329 % |
197.66/197.90 c | 80448 | 28674 148889 411460 | 2147483647 79347 116 | 69.329 % |
199.56/199.77 c | 81319 | 28674 148889 411460 | 2147483647 80218 116 | 69.329 % |
201.96/202.14 c | 82280 | 28674 148889 411460 | 2147483647 81179 116 | 69.329 % |
202.36/202.53 c | 82382 | 28674 148889 411460 | 2147483647 81281 116 | 69.329 % |
202.66/202.85 c | 82494 | 28674 148889 411460 | 2147483647 81393 116 | 69.329 % |
202.96/203.19 c | 82616 | 28674 148889 411460 | 2147483647 81515 116 | 69.329 % |
203.45/203.66 c | 82749 | 28674 148889 411460 | 2147483647 81648 117 | 69.329 % |
203.95/204.12 c | 82896 | 28674 148889 411460 | 2147483647 81795 117 | 69.329 % |
204.25/204.43 c | 83057 | 28674 148889 411460 | 2147483647 81956 117 | 69.329 % |
204.85/205.09 c | 83233 | 28674 148889 411460 | 2147483647 82132 117 | 69.329 % |
205.56/205.79 c | 83427 | 28674 148889 411460 | 2147483647 82326 117 | 69.329 % |
206.36/206.56 c | 83644 | 28674 148889 411460 | 2147483647 82543 117 | 69.329 % |
206.96/207.13 c | 83877 | 28674 148889 411460 | 2147483647 82776 117 | 69.329 % |
207.76/207.99 c | 84134 | 28674 148889 411460 | 2147483647 83033 117 | 69.329 % |
208.56/208.73 c | 84419 | 28674 148889 411460 | 2147483647 83318 117 | 69.329 % |
209.26/209.47 c | 84731 | 28663 148806 411245 | 2147483647 83627 117 | 69.341 % |
210.66/210.81 c | 85073 | 28663 148806 411245 | 2147483647 83969 117 | 69.341 % |
211.65/211.89 c | 85447 | 28663 148806 411245 | 2147483647 84343 117 | 69.341 % |
213.05/213.21 c | 85856 | 28663 148806 411245 | 2147483647 84752 117 | 69.341 % |
213.86/214.09 c | 86306 | 28663 148806 411245 | 2147483647 85202 117 | 69.341 % |
215.56/215.80 c | 86803 | 28663 148806 411245 | 2147483647 85699 117 | 69.341 % |
217.86/218.07 c | 87346 | 28663 148806 411245 | 2147483647 86241 117 | 69.345 % |
219.26/219.44 c | 87943 | 28663 148806 411245 | 2147483647 86838 117 | 69.345 % |
221.05/221.29 c | 88598 | 28663 148806 411245 | 2147483647 87493 117 | 69.345 % |
222.35/222.57 c | 89318 | 28663 148806 411245 | 2147483647 88213 117 | 69.345 % |
224.75/224.98 c | 90110 | 28663 148806 411245 | 2147483647 89005 117 | 69.345 % |
226.85/227.07 c | 90982 | 28659 148773 411162 | 2147483647 89877 117 | 69.345 % |
229.25/229.46 c | 91943 | 28659 148773 411162 | 2147483647 90838 117 | 69.345 % |
233.25/233.46 c | 92997 | 28659 148773 411162 | 2147483647 91892 117 | 69.345 % |
233.65/233.83 c | 93100 | 28659 148773 411162 | 2147483647 91994 117 | 69.358 % |
233.95/234.18 c | 93212 | 28659 148773 411162 | 2147483647 92106 117 | 69.358 % |
234.25/234.48 c | 93333 | 28658 148773 411162 | 2147483647 92226 117 | 69.369 % |
234.85/235.07 c | 93466 | 28658 148773 411162 | 2147483647 92359 117 | 69.369 % |
235.15/235.34 c | 93613 | 28658 148773 411162 | 2147483647 92506 117 | 69.369 % |
235.75/235.97 c | 93774 | 28658 148773 411162 | 2147483647 92667 117 | 69.369 % |
236.65/236.89 c | 93952 | 28658 148773 411162 | 2147483647 92845 117 | 69.369 % |
237.35/237.55 c | 94153 | 28658 148773 411162 | 2147483647 93046 117 | 69.369 % |
238.15/238.39 c | 94366 | 28658 148773 411162 | 2147483647 93259 117 | 69.369 % |
238.95/239.14 c | 94599 | 28658 148773 411162 | 2147483647 93492 117 | 69.369 % |
239.55/239.80 c | 94856 | 28658 148773 411162 | 2147483647 93749 118 | 69.369 % |
240.44/240.61 c | 95138 | 28658 148773 411162 | 2147483647 94031 118 | 69.369 % |
241.64/241.90 c | 95447 | 28626 148533 410542 | 2147483647 94331 118 | 69.381 % |
242.74/242.95 c | 95787 | 28626 148533 410542 | 2147483647 94671 118 | 69.381 % |
243.95/244.11 c | 96160 | 28626 148533 410542 | 2147483647 95043 118 | 69.391 % |
245.15/245.35 c | 96570 | 28626 148533 410542 | 2147483647 95453 118 | 69.391 % |
246.25/246.46 c | 97021 | 28626 148533 410542 | 2147483647 95904 118 | 69.391 % |
247.55/247.73 c | 97514 | 28626 148533 410542 | 2147483647 96397 118 | 69.391 % |
248.85/249.08 c | 98056 | 28626 148533 410542 | 2147483647 96939 117 | 69.391 % |
250.34/250.59 c | 98654 | 28626 148533 410542 | 2147483647 97537 117 | 69.391 % |
252.04/252.23 c | 99309 | 28626 148533 410542 | 2147483647 98192 117 | 69.391 % |
254.54/254.74 c | 100030 | 28626 148533 410542 | 2147483647 98913 117 | 69.391 % |
256.74/256.93 c | 100823 | 28626 148533 410542 | 2147483647 99706 117 | 69.391 % |
260.04/260.24 c | 101696 | 28626 148533 410542 | 2147483647 100579 117 | 69.391 % |
262.44/262.69 c | 102657 | 28626 148533 410542 | 2147483647 101540 117 | 69.391 % |
265.34/265.52 c | 103710 | 28615 148454 410345 | 2147483647 102590 117 | 69.401 % |
268.15/268.33 c | 104869 | 28615 148454 410345 | 2147483647 103749 116 | 69.401 % |
268.34/268.58 c | 104972 | 28615 148454 410345 | 2147483647 103852 116 | 69.401 % |
268.74/268.91 c | 105085 | 28615 148454 410345 | 2147483647 103965 116 | 69.401 % |
269.04/269.27 c | 105206 | 28615 148454 410345 | 2147483647 104086 116 | 69.401 % |
269.44/269.66 c | 105344 | 28615 148454 410345 | 2147483647 104224 116 | 69.401 % |
269.84/270.09 c | 105491 | 28615 148454 410345 | 2147483647 104371 116 | 69.401 % |
270.35/270.54 c | 105654 | 28615 148454 410345 | 2147483647 104534 116 | 69.401 % |
270.94/271.17 c | 105830 | 28615 148454 410345 | 2147483647 104710 116 | 69.401 % |
271.64/271.80 c | 106023 | 28615 148454 410345 | 2147483647 104903 116 | 69.401 % |
272.24/272.43 c | 106236 | 28615 148454 410345 | 2147483647 105116 116 | 69.401 % |
272.94/273.14 c | 106469 | 28615 148454 410345 | 2147483647 105349 116 | 69.401 % |
273.75/273.97 c | 106727 | 28615 148454 410345 | 2147483647 105607 116 | 69.401 % |
274.54/274.73 c | 107010 | 28615 148454 410345 | 2147483647 105890 116 | 69.401 % |
275.34/275.60 c | 107323 | 28615 148454 410345 | 2147483647 106203 116 | 69.401 % |
276.24/276.44 c | 107664 | 28615 148454 410345 | 2147483647 106544 116 | 69.401 % |
277.34/277.54 c | 108039 | 28615 148454 410345 | 2147483647 106919 116 | 69.401 % |
278.34/278.60 c | 108448 | 28615 148454 410345 | 2147483647 107328 116 | 69.401 % |
279.74/279.97 c | 108897 | 28615 148454 410345 | 2147483647 107777 116 | 69.401 % |
281.53/281.70 c | 109392 | 28615 148454 410345 | 2147483647 108272 116 | 69.401 % |
282.73/282.99 c | 109934 | 28615 148454 410345 | 2147483647 108814 116 | 69.401 % |
285.33/285.55 c | 110530 | 28581 148184 409671 | 2147483647 109407 117 | 69.429 % |
287.23/287.41 c | 111185 | 28581 148184 409671 | 2147483647 110062 117 | 69.429 % |
289.83/290.00 c | 111906 | 28581 148184 409671 | 2147483647 110783 116 | 69.429 % |
292.13/292.32 c | 112698 | 28581 148184 409671 | 2147483647 111575 117 | 69.429 % |
294.63/294.86 c | 113569 | 28581 148184 409671 | 2147483647 112446 117 | 69.429 % |
296.83/297.04 c | 114529 | 28581 148184 409671 | 2147483647 113406 117 | 69.429 % |
299.52/299.75 c | 115582 | 28581 148184 409671 | 2147483647 114459 117 | 69.429 % |
303.33/303.59 c | 116741 | 28580 148184 409671 | 2147483647 115617 117 | 69.437 % |
308.93/309.12 c | 118016 | 28579 148184 409671 | 2147483647 116890 116 | 69.461 % |
309.33/309.55 c | 118117 | 28551 147977 409147 | 2147483647 116982 116 | 69.461 % |
309.73/309.92 c | 118227 | 28551 147977 409147 | 2147483647 117092 116 | 69.461 % |
309.93/310.20 c | 118348 | 28551 147977 409147 | 2147483647 117213 116 | 69.461 % |
310.53/310.70 c | 118481 | 28551 147977 409147 | 2147483647 117346 117 | 69.461 % |
310.93/311.11 c | 118630 | 28551 147977 409147 | 2147483647 117495 116 | 69.461 % |
311.63/311.86 c | 118791 | 28551 147977 409147 | 2147483647 117656 117 | 69.461 % |
312.43/312.61 c | 118967 | 28551 147977 409147 | 2147483647 117832 116 | 69.461 % |
313.13/313.40 c | 119163 | 28551 147977 409147 | 2147483647 118028 116 | 69.461 % |
314.03/314.22 c | 119377 | 28551 147977 409147 | 2147483647 118242 116 | 69.461 % |
315.03/315.21 c | 119610 | 28551 147977 409147 | 2147483647 118475 116 | 69.461 % |
315.82/316.03 c | 119866 | 28551 147977 409147 | 2147483647 118731 117 | 69.461 % |
316.63/316.83 c | 120147 | 28551 147977 409147 | 2147483647 119012 117 | 69.461 % |
317.82/318.09 c | 120456 | 28551 147977 409147 | 2147483647 119321 117 | 69.461 % |
318.83/319.03 c | 120796 | 28551 147977 409147 | 2147483647 119661 118 | 69.461 % |
320.62/320.84 c | 121168 | 28551 147977 409147 | 2147483647 120033 118 | 69.461 % |
322.22/322.49 c | 121580 | 28551 147977 409147 | 2147483647 120445 118 | 69.461 % |
323.72/323.90 c | 122029 | 28551 147977 409147 | 2147483647 120894 118 | 69.461 % |
324.82/325.03 c | 122522 | 28551 147977 409147 | 2147483647 121387 118 | 69.461 % |
326.02/326.20 c | 123064 | 28551 147977 409147 | 2147483647 121929 118 | 69.461 % |
327.81/328.00 c | 123660 | 28551 147977 409147 | 2147483647 122525 118 | 69.461 % |
329.61/329.86 c | 124317 | 28551 147977 409147 | 2147483647 123182 118 | 69.461 % |
331.41/331.64 c | 125037 | 28551 147977 409147 | 2147483647 123902 118 | 69.461 % |
333.52/333.76 c | 125831 | 28551 147977 409147 | 2147483647 124696 118 | 69.461 % |
336.32/336.55 c | 126702 | 28551 147977 409147 | 2147483647 125567 119 | 69.461 % |
339.41/339.65 c | 127662 | 28551 147977 409147 | 2147483647 126527 119 | 69.461 % |
343.21/343.49 c | 128716 | 28551 147977 409147 | 2147483647 127581 119 | 69.461 % |
347.51/347.76 c | 129874 | 28551 147977 409147 | 2147483647 128739 119 | 69.461 % |
353.01/353.20 c | 131149 | 28551 147977 409147 | 2147483647 130014 119 | 69.461 % |
359.81/360.03 c | 132549 | 28551 147977 409147 | 2147483647 131414 118 | 69.461 % |
360.11/360.36 c | 132649 | 28551 147977 409147 | 2147483647 131514 118 | 69.461 % |
360.51/360.71 c | 132759 | 28551 147977 409147 | 2147483647 131624 118 | 69.461 % |
360.91/361.10 c | 132885 | 28551 147977 409147 | 2147483647 131750 118 | 69.461 % |
361.41/361.67 c | 133018 | 28551 147977 409147 | 2147483647 131883 118 | 69.461 % |
361.81/362.07 c | 133164 | 28551 147977 409147 | 2147483647 132029 118 | 69.461 % |
362.61/362.88 c | 133324 | 28551 147977 409147 | 2147483647 132189 118 | 69.461 % |
363.21/363.47 c | 133500 | 28551 147977 409147 | 2147483647 132365 118 | 69.461 % |
363.71/363.98 c | 133698 | 28551 147977 409147 | 2147483647 132563 118 | 69.461 % |
364.91/365.18 c | 133910 | 28551 147977 409147 | 2147483647 132775 118 | 69.461 % |
366.11/366.32 c | 134144 | 28551 147977 409147 | 2147483647 133009 118 | 69.461 % |
367.31/367.54 c | 134403 | 28551 147977 409147 | 2147483647 133268 118 | 69.461 % |
368.31/368.58 c | 134684 | 28551 147977 409147 | 2147483647 133549 118 | 69.461 % |
369.41/369.62 c | 134994 | 28551 147977 409147 | 2147483647 133859 118 | 69.461 % |
371.30/371.50 c | 135335 | 28551 147977 409147 | 2147483647 134200 118 | 69.461 % |
373.31/373.53 c | 135708 | 28551 147977 409147 | 2147483647 134573 118 | 69.461 % |
374.81/375.04 c | 136117 | 28551 147977 409147 | 2147483647 134982 118 | 69.461 % |
376.01/376.23 c | 136569 | 28551 147977 409147 | 2147483647 135434 118 | 69.461 % |
377.70/377.90 c | 137063 | 28551 147977 409147 | 2147483647 135928 118 | 69.461 % |
379.40/379.62 c | 137605 | 28551 147977 409147 | 2147483647 136470 118 | 69.461 % |
380.90/381.12 c | 138202 | 28551 147977 409147 | 2147483647 137067 118 | 69.461 % |
382.40/382.67 c | 138857 | 28551 147977 409147 | 2147483647 137722 118 | 69.461 % |
384.60/384.81 c | 139577 | 28551 147977 409147 | 2147483647 138442 118 | 69.461 % |
386.80/387.06 c | 140369 | 28391 146873 406411 | 2147483647 139233 118 | 69.632 % |
389.90/390.15 c | 141242 | 28391 146873 406411 | 2147483647 140106 118 | 69.632 % |
392.30/392.59 c | 142200 | 28391 146873 406411 | 2147483647 141064 119 | 69.632 % |
395.70/395.97 c | 143253 | 28391 146873 406411 | 2147483647 142117 119 | 69.632 % |
398.80/399.01 c | 144411 | 28391 146873 406411 | 2147483647 143275 119 | 69.632 % |
402.99/403.22 c | 145685 | 28391 146873 406411 | 2147483647 144549 119 | 69.632 % |
406.90/407.13 c | 147086 | 28391 146873 406411 | 2147483647 145950 120 | 69.632 % |
410.69/410.90 c | 148626 | 28391 146873 406411 | 2147483647 147490 120 | 69.632 % |
410.99/411.27 c | 148726 | 28391 146873 406411 | 2147483647 147590 120 | 69.632 % |
411.69/411.91 c | 148837 | 28391 146873 406411 | 2147483647 147701 120 | 69.632 % |
412.39/412.65 c | 148960 | 28391 146873 406411 | 2147483647 147824 120 | 69.632 % |
413.09/413.34 c | 149093 | 28391 146873 406411 | 2147483647 147957 120 | 69.632 % |
413.49/413.78 c | 149239 | 28391 146873 406411 | 2147483647 148103 120 | 69.632 % |
413.99/414.24 c | 149399 | 28391 146873 406411 | 2147483647 148263 120 | 69.632 % |
414.89/415.17 c | 149575 | 28391 146873 406411 | 2147483647 148439 120 | 69.632 % |
415.49/415.72 c | 149768 | 28391 146873 406411 | 2147483647 148632 120 | 69.632 % |
416.29/416.50 c | 149981 | 28391 146873 406411 | 2147483647 148845 120 | 69.632 % |
416.99/417.22 c | 150214 | 28391 146873 406411 | 2147483647 149078 120 | 69.632 % |
418.48/418.70 c | 150470 | 28391 146873 406411 | 2147483647 149334 120 | 69.632 % |
419.38/419.63 c | 150751 | 28391 146873 406411 | 2147483647 149615 120 | 69.632 % |
420.28/420.59 c | 151065 | 28391 146873 406411 | 2147483647 149929 120 | 69.632 % |
421.38/421.68 c | 151404 | 28391 146873 406411 | 2147483647 150268 119 | 69.632 % |
422.78/423.08 c | 151776 | 28391 146873 406411 | 2147483647 150640 120 | 69.632 % |
424.48/424.77 c | 152185 | 28391 146873 406411 | 2147483647 151049 120 | 69.632 % |
426.39/426.68 c | 152634 | 28391 146873 406411 | 2147483647 151498 120 | 69.632 % |
428.59/428.81 c | 153128 | 28391 146873 406411 | 2147483647 151992 120 | 69.632 % |
430.59/430.85 c | 153670 | 28391 146873 406411 | 2147483647 152534 120 | 69.632 % |
432.59/432.89 c | 154266 | 28391 146873 406411 | 2147483647 153130 120 | 69.632 % |
434.68/434.96 c | 154922 | 28391 146873 406411 | 2147483647 153786 120 | 69.632 % |
437.38/437.64 c | 155643 | 28391 146873 406411 | 2147483647 154507 120 | 69.632 % |
440.38/440.70 c | 156440 | 28391 146873 406411 | 2147483647 155304 119 | 69.632 % |
443.78/444.10 c | 157313 | 28391 146873 406411 | 2147483647 156177 119 | 69.632 % |
447.58/447.84 c | 158274 | 28391 146873 406411 | 2147483647 157138 119 | 69.632 % |
450.18/450.49 c | 159330 | 28391 146873 406411 | 2147483647 158194 119 | 69.632 % |
455.68/455.98 c | 160493 | 28391 146873 406411 | 2147483647 159357 119 | 69.632 % |
460.07/460.37 c | 161772 | 28391 146873 406411 | 2147483647 160636 119 | 69.632 % |
466.27/466.53 c | 163174 | 28391 146873 406411 | 2147483647 162038 119 | 69.632 % |
472.27/472.54 c | 164717 | 28391 146873 406411 | 2147483647 163581 119 | 69.632 % |
477.67/477.98 c | 166412 | 28391 146873 406411 | 2147483647 165276 120 | 69.632 % |
478.17/478.46 c | 166513 | 28391 146873 406411 | 2147483647 165377 120 | 69.632 % |
478.67/478.97 c | 166624 | 28391 146873 406411 | 2147483647 165488 120 | 69.632 % |
479.27/479.59 c | 166749 | 28391 146873 406411 | 2147483647 165613 120 | 69.632 % |
479.77/480.09 c | 166883 | 28391 146873 406411 | 2147483647 165747 120 | 69.632 % |
480.37/480.63 c | 167030 | 28391 146873 406411 | 2147483647 165894 120 | 69.632 % |
480.97/481.23 c | 167192 | 28391 146873 406411 | 2147483647 166056 120 | 69.632 % |
481.47/481.70 c | 167369 | 28391 146873 406411 | 2147483647 166233 120 | 69.632 % |
482.07/482.34 c | 167562 | 28391 146873 406411 | 2147483647 166426 120 | 69.632 % |
482.67/482.96 c | 167774 | 28391 146873 406411 | 2147483647 166638 120 | 69.632 % |
483.47/483.76 c | 168010 | 28391 146873 406411 | 2147483647 166874 120 | 69.632 % |
484.37/484.62 c | 168267 | 28391 146873 406411 | 2147483647 167131 120 | 69.632 % |
485.27/485.55 c | 168548 | 28391 146873 406411 | 2147483647 167412 119 | 69.632 % |
486.57/486.81 c | 168857 | 28391 146873 406411 | 2147483647 167721 119 | 69.632 % |
487.87/488.13 c | 169199 | 28391 146873 406411 | 2147483647 168063 119 | 69.632 % |
489.47/489.72 c | 169572 | 28096 144870 401526 | 2147483647 168435 119 | 69.948 % |
490.77/491.06 c | 169982 | 28096 144870 401526 | 2147483647 168845 119 | 69.948 % |
492.17/492.48 c | 170431 | 28096 144870 401526 | 2147483647 169294 119 | 69.948 % |
494.57/494.85 c | 170928 | 28096 144870 401526 | 2147483647 169791 120 | 69.948 % |
496.36/496.65 c | 171470 | 28096 144870 401526 | 2147483647 170333 120 | 69.948 % |
498.16/498.44 c | 172067 | 28096 144870 401526 | 2147483647 170930 120 | 69.948 % |
500.36/500.68 c | 172724 | 28096 144870 401526 | 2147483647 171586 120 | 69.963 % |
503.16/503.41 c | 173444 | 28096 144870 401526 | 2147483647 172306 120 | 69.963 % |
506.87/507.11 c | 174236 | 28096 144870 401526 | 2147483647 173098 120 | 69.963 % |
510.27/510.54 c | 175109 | 28096 144870 401526 | 2147483647 173971 120 | 69.963 % |
513.66/513.94 c | 176071 | 28096 144870 401526 | 2147483647 174933 120 | 69.963 % |
516.66/516.91 c | 177125 | 28096 144870 401526 | 2147483647 175987 120 | 69.963 % |
520.07/520.34 c | 178283 | 28096 144870 401526 | 2147483647 177145 120 | 69.963 % |
523.96/524.26 c | 179557 | 28096 144870 401526 | 2147483647 178419 119 | 69.963 % |
528.26/528.52 c | 180959 | 28096 144870 401526 | 2147483647 179821 119 | 69.963 % |
535.36/535.64 c | 182499 | 28095 144870 401526 | 2147483647 181360 119 | 69.975 % |
542.45/542.76 c | 184194 | 28095 144870 401526 | 2147483647 183055 119 | 69.975 % |
549.95/550.21 c | 186057 | 28070 144688 401060 | 2147483647 184906 119 | 69.975 % |
550.15/550.49 c | 186157 | 28070 144688 401060 | 2147483647 185006 119 | 69.975 % |
550.66/550.91 c | 186267 | 28070 144688 401060 | 2147483647 185116 119 | 69.975 % |
551.26/551.54 c | 186389 | 28070 144688 401060 | 2147483647 185238 119 | 69.975 % |
551.76/552.07 c | 186522 | 28070 144688 401060 | 2147483647 185371 119 | 69.975 % |
552.46/552.71 c | 186670 | 28070 144688 401060 | 2147483647 185519 119 | 69.975 % |
552.96/553.29 c | 186838 | 28070 144688 401060 | 2147483647 185687 119 | 69.975 % |
553.95/554.21 c | 187016 | 28070 144688 401060 | 2147483647 185865 119 | 69.975 % |
554.85/555.11 c | 187209 | 28070 144688 401060 | 2147483647 186058 119 | 69.975 % |
555.75/556.08 c | 187422 | 28070 144688 401060 | 2147483647 186271 119 | 69.975 % |
557.05/557.30 c | 187658 | 28070 144688 401060 | 2147483647 186507 119 | 69.975 % |
558.45/558.72 c | 187918 | 28070 144688 401060 | 2147483647 186767 119 | 69.975 % |
559.65/559.92 c | 188199 | 28070 144688 401060 | 2147483647 187048 119 | 69.975 % |
560.85/561.11 c | 188508 | 28070 144688 401060 | 2147483647 187357 119 | 69.975 % |
562.04/562.37 c | 188848 | 28070 144688 401060 | 2147483647 187697 119 | 69.975 % |
563.44/563.73 c | 189225 | 28070 144688 401060 | 2147483647 188074 119 | 69.975 % |
564.74/565.09 c | 189634 | 28070 144688 401060 | 2147483647 188483 119 | 69.975 % |
566.35/566.68 c | 190084 | 28070 144688 401060 | 2147483647 188933 119 | 69.975 % |
568.15/568.45 c | 190577 | 28070 144688 401060 | 2147483647 189426 119 | 69.975 % |
570.35/570.69 c | 191119 | 28070 144688 401060 | 2147483647 189968 119 | 69.975 % |
573.25/573.51 c | 191719 | 28070 144688 401060 | 2147483647 190568 119 | 69.975 % |
575.85/576.11 c | 192375 | 28070 144688 401060 | 2147483647 191224 119 | 69.975 % |
578.74/579.06 c | 193095 | 28070 144688 401060 | 2147483647 191944 119 | 69.975 % |
581.44/581.80 c | 193889 | 28070 144688 401060 | 2147483647 192738 119 | 69.975 % |
585.94/586.28 c | 194766 | 28070 144688 401060 | 2147483647 193614 119 | 69.986 % |
589.04/589.32 c | 195724 | 28070 144688 401060 | 2147483647 194572 119 | 69.986 % |
592.33/592.61 c | 196777 | 28070 144688 401060 | 2147483647 195625 119 | 69.986 % |
596.24/596.50 c | 197935 | 28070 144688 401060 | 2147483647 196783 119 | 69.986 % |
600.34/600.64 c | 199208 | 28070 144688 401060 | 2147483647 198056 118 | 69.986 % |
604.84/605.19 c | 200610 | 28070 144688 401060 | 2147483647 199458 118 | 69.986 % |
610.14/610.46 c | 202150 | 28060 144610 400850 | 2147483647 200995 118 | 69.986 % |
616.03/616.34 c | 203846 | 28060 144610 400850 | 2147483647 202691 118 | 69.986 % |
621.94/622.27 c | 205710 | 28060 144610 400850 | 2147483647 204555 117 | 69.986 % |
630.23/630.57 c | 207763 | 28060 144610 400850 | 2147483647 206608 117 | 69.986 % |
630.73/631.05 c | 207865 | 28060 144610 400850 | 2147483647 206710 117 | 69.986 % |
631.13/631.47 c | 207976 | 28060 144610 400850 | 2147483647 206821 117 | 69.986 % |
631.63/631.90 c | 208097 | 28060 144610 400850 | 2147483647 206942 117 | 69.986 % |
632.23/632.58 c | 208230 | 28060 144610 400850 | 2147483647 207075 117 | 69.986 % |
632.83/633.11 c | 208376 | 28060 144610 400850 | 2147483647 207221 117 | 69.986 % |
633.33/633.68 c | 208537 | 28060 144610 400850 | 2147483647 207382 117 | 69.986 % |
634.13/634.48 c | 208714 | 28060 144610 400850 | 2147483647 207559 117 | 69.986 % |
635.43/635.78 c | 208907 | 28060 144610 400850 | 2147483647 207752 117 | 69.986 % |
636.43/636.70 c | 209122 | 28060 144610 400850 | 2147483647 207967 117 | 69.986 % |
637.52/637.87 c | 209356 | 28060 144610 400850 | 2147483647 208201 117 | 69.986 % |
638.22/638.55 c | 209612 | 28060 144610 400850 | 2147483647 208457 117 | 69.986 % |
639.42/639.73 c | 209893 | 28060 144610 400850 | 2147483647 208738 117 | 69.986 % |
640.42/640.74 c | 210204 | 28060 144610 400850 | 2147483647 209049 117 | 69.986 % |
642.03/642.33 c | 210543 | 28060 144610 400850 | 2147483647 209388 117 | 69.986 % |
643.43/643.79 c | 210915 | 28060 144610 400850 | 2147483647 209760 117 | 69.986 % |
644.93/645.30 c | 211325 | 28060 144610 400850 | 2147483647 210170 117 | 69.986 % |
646.93/647.25 c | 211774 | 28059 144610 400850 | 2147483647 210618 117 | 70.011 % |
648.93/649.29 c | 212271 | 28059 144610 400850 | 2147483647 211115 117 | 70.011 % |
651.62/651.91 c | 212813 | 28059 144610 400850 | 2147483647 211657 117 | 70.011 % |
654.42/654.76 c | 213411 | 28058 144610 400850 | 2147483647 212254 117 | 70.357 % |
657.62/657.97 c | 214069 | 28058 144610 400850 | 2147483647 212912 117 | 70.357 % |
660.33/660.68 c | 214789 | 28058 144610 400850 | 2147483647 213632 117 | 70.357 % |
665.02/665.31 c | 215581 | 28057 144610 400850 | 2147483647 214423 117 | 70.374 % |
668.12/668.45 c | 216452 | 28056 144610 400850 | 2147483647 215293 117 | 70.380 % |
672.22/672.53 c | 217412 | 28056 144610 400850 | 2147483647 216252 117 | 70.394 % |
677.22/677.56 c | 218465 | 28056 144610 400850 | 2147483647 217305 118 | 70.394 % |
682.52/682.86 c | 219623 | 27679 142647 394521 | 2147483647 218452 117 | 70.394 % |
688.51/688.89 c | 220898 | 27679 142647 394521 | 2147483647 219727 117 | 70.394 % |
694.92/695.29 c | 222298 | 27679 142647 394521 | 2147483647 221127 117 | 70.394 % |
702.91/703.27 c | 223839 | 27679 142647 394521 | 2147483647 222668 117 | 70.394 % |
708.81/709.16 c | 225534 | 27679 142647 394521 | 2147483647 224363 117 | 70.394 % |
717.70/718.02 c | 227400 | 27679 142647 394521 | 2147483647 226229 117 | 70.394 % |
726.81/727.13 c | 229454 | 27679 142647 394521 | 2147483647 228282 118 | 70.406 % |
739.10/739.43 c | 231708 | 27679 142647 394521 | 2147483647 230536 118 | 70.406 % |
739.90/740.24 c | 231808 | 27667 142554 394292 | 2147483647 230636 118 | 70.406 % |
740.50/740.82 c | 231918 | 27667 142554 394292 | 2147483647 230746 118 | 70.406 % |
740.90/741.29 c | 232039 | 27667 142554 394292 | 2147483647 230867 118 | 70.406 % |
741.80/742.17 c | 232172 | 27667 142554 394292 | 2147483647 231000 118 | 70.406 % |
742.60/742.90 c | 232318 | 27667 142554 394292 | 2147483647 231146 118 | 70.406 % |
743.40/743.72 c | 232481 | 27667 142554 394292 | 2147483647 231309 118 | 70.406 % |
744.19/744.58 c | 232657 | 27667 142554 394292 | 2147483647 231485 118 | 70.406 % |
745.09/745.46 c | 232850 | 27667 142554 394292 | 2147483647 231678 118 | 70.406 % |
746.19/746.59 c | 233062 | 27667 142554 394292 | 2147483647 231890 118 | 70.406 % |
747.29/747.66 c | 233295 | 27667 142554 394292 | 2147483647 232123 118 | 70.406 % |
748.90/749.28 c | 233552 | 27667 142554 394292 | 2147483647 232380 118 | 70.406 % |
750.20/750.52 c | 233833 | 27667 142554 394292 | 2147483647 232661 118 | 70.406 % |
751.90/752.26 c | 234143 | 27667 142554 394292 | 2147483647 232971 118 | 70.406 % |
753.50/753.85 c | 234487 | 27667 142554 394292 | 2147483647 233315 118 | 70.406 % |
755.40/755.74 c | 234859 | 27667 142554 394292 | 2147483647 233687 118 | 70.406 % |
757.00/757.31 c | 235270 | 27667 142554 394292 | 2147483647 234098 118 | 70.406 % |
758.89/759.29 c | 235720 | 27667 142554 394292 | 2147483647 234548 118 | 70.406 % |
760.80/761.17 c | 236213 | 27667 142554 394292 | 2147483647 235041 118 | 70.406 % |
763.09/763.43 c | 236755 | 27667 142554 394292 | 2147483647 235583 118 | 70.406 % |
765.89/766.23 c | 237353 | 27667 142554 394292 | 2147483647 236181 118 | 70.406 % |
768.39/768.77 c | 238008 | 27667 142554 394292 | 2147483647 236836 118 | 70.406 % |
771.39/771.77 c | 238729 | 27667 142554 394292 | 2147483647 237557 118 | 70.406 % |
774.99/775.34 c | 239521 | 27667 142554 394292 | 2147483647 238349 118 | 70.406 % |
777.99/778.32 c | 240392 | 27667 142554 394292 | 2147483647 239220 118 | 70.406 % |
782.19/782.53 c | 241351 | 27667 142554 394292 | 2147483647 240179 117 | 70.406 % |
787.69/788.01 c | 242406 | 27667 142554 394292 | 2147483647 241234 117 | 70.406 % |
793.19/793.51 c | 243565 | 27667 142554 394292 | 2147483647 242393 117 | 70.406 % |
799.29/799.62 c | 244838 | 27667 142554 394292 | 2147483647 243666 117 | 70.406 % |
805.98/806.40 c | 246238 | 27667 142554 394292 | 2147483647 245066 117 | 70.406 % |
812.68/813.03 c | 247779 | 27667 142554 394292 | 2147483647 246607 117 | 70.406 % |
819.88/820.22 c | 249473 | 27667 142554 394292 | 2147483647 248301 118 | 70.406 % |
828.38/828.70 c | 251336 | 27667 142554 394292 | 2147483647 250164 118 | 70.406 % |
837.97/838.31 c | 253385 | 27667 142554 394292 | 2147483647 252213 119 | 70.406 % |
848.47/848.86 c | 255638 | 27667 142554 394292 | 2147483647 254466 119 | 70.406 % |
860.77/861.11 c | 258119 | 27667 142554 394292 | 2147483647 256947 119 | 70.406 % |
861.27/861.62 c | 258219 | 27667 142554 394292 | 2147483647 257047 119 | 70.406 % |
861.87/862.22 c | 258330 | 27667 142554 394292 | 2147483647 257158 119 | 70.406 % |
862.37/862.72 c | 258456 | 27667 142554 394292 | 2147483647 257284 119 | 70.406 % |
863.27/863.60 c | 258590 | 27667 142554 394292 | 2147483647 257418 119 | 70.406 % |
863.87/864.29 c | 258738 | 27667 142554 394292 | 2147483647 257566 119 | 70.406 % |
864.77/865.10 c | 258899 | 27667 142554 394292 | 2147483647 257727 119 | 70.406 % |
865.87/866.20 c | 259075 | 27667 142554 394292 | 2147483647 257903 119 | 70.406 % |
866.67/867.06 c | 259269 | 27667 142554 394292 | 2147483647 258097 119 | 70.406 % |
867.97/868.35 c | 259481 | 27667 142554 394292 | 2147483647 258309 119 | 70.406 % |
869.07/869.42 c | 259716 | 27667 142554 394292 | 2147483647 258544 119 | 70.406 % |
870.17/870.58 c | 259972 | 27667 142554 394292 | 2147483647 258800 119 | 70.406 % |
872.27/872.60 c | 260255 | 27667 142554 394292 | 2147483647 259083 119 | 70.406 % |
873.67/874.09 c | 260564 | 27667 142554 394292 | 2147483647 259392 119 | 70.406 % |
875.27/875.63 c | 260903 | 27667 142554 394292 | 2147483647 259731 119 | 70.406 % |
877.37/877.72 c | 261276 | 27667 142554 394292 | 2147483647 260104 118 | 70.406 % |
879.26/879.66 c | 261685 | 27667 142554 394292 | 2147483647 260513 118 | 70.406 % |
881.46/881.82 c | 262135 | 27667 142554 394292 | 2147483647 260963 118 | 70.406 % |
883.76/884.12 c | 262629 | 27642 142414 393913 | 2147483647 261453 118 | 70.433 % |
885.66/886.03 c | 263172 | 27642 142414 393913 | 2147483647 261996 118 | 70.433 % |
887.96/888.35 c | 263768 | 27642 142414 393913 | 2147483647 262592 119 | 70.433 % |
890.56/891.00 c | 264424 | 27642 142414 393913 | 2147483647 263248 118 | 70.433 % |
893.15/893.50 c | 265145 | 27642 142414 393913 | 2147483647 263969 118 | 70.433 % |
896.17/896.55 c | 265938 | 27642 142414 393913 | 2147483647 264762 118 | 70.433 % |
899.26/899.69 c | 266810 | 27642 142414 393913 | 2147483647 265634 118 | 70.433 % |
902.76/903.13 c | 267771 | 27642 142414 393913 | 2147483647 266595 118 | 70.433 % |
907.45/907.89 c | 268830 | 27642 142414 393913 | 2147483647 267654 118 | 70.433 % |
912.75/913.17 c | 269988 | 27642 142414 393913 | 2147483647 268812 118 | 70.433 % |
917.95/918.33 c | 271265 | 27642 142414 393913 | 2147483647 270089 118 | 70.433 % |
924.85/925.27 c | 272665 | 27642 142414 393913 | 2147483647 271489 119 | 70.433 % |
933.15/933.53 c | 274205 | 27642 142414 393913 | 2147483647 273029 119 | 70.433 % |
942.34/942.77 c | 275900 | 27637 142414 393913 | 2147483647 274722 119 | 71.479 % |
951.05/951.45 c | 277763 | 27637 142414 393913 | 2147483647 276585 119 | 71.479 % |
961.44/961.86 c | 279814 | 27637 142414 393913 | 2147483647 278636 119 | 71.479 % |
972.33/972.70 c | 282068 | 27637 142414 393913 | 2147483647 280890 119 | 71.479 % |
982.44/982.81 c | 284546 | 26664 138126 380946 | 2147483647 283136 119 | 71.479 % |
993.63/994.00 c | 287272 | 26664 138126 380946 | 2147483647 285862 119 | 71.479 % |
994.43/994.80 c | 287373 | 26664 138126 380946 | 2147483647 285963 119 | 71.479 % |
995.23/995.67 c | 287484 | 26664 138126 380946 | 2147483647 286074 119 | 71.479 % |
995.93/996.34 c | 287605 | 26664 138126 380946 | 2147483647 286195 119 | 71.479 % |
996.83/997.29 c | 287739 | 26664 138126 380946 | 2147483647 286329 119 | 71.479 % |
997.93/998.38 c | 287885 | 26664 138126 380946 | 2147483647 286475 119 | 71.479 % |
999.13/999.52 c | 288047 | 26664 138126 380946 | 2147483647 286637 119 | 71.479 % |
1000.43/1000.85 c | 288225 | 26664 138126 380946 | 2147483647 286815 119 | 71.479 % |
1001.63/1002.04 c | 288422 | 26664 138126 380946 | 2147483647 287012 119 | 71.479 % |
1002.63/1003.09 c | 288634 | 26664 138126 380946 | 2147483647 287224 119 | 71.479 % |
1003.73/1004.18 c | 288870 | 26664 138126 380946 | 2147483647 287460 119 | 71.479 % |
1005.03/1005.42 c | 289135 | 26664 138126 380946 | 2147483647 287725 119 | 71.479 % |
1006.23/1006.66 c | 289416 | 26664 138126 380946 | 2147483647 288006 119 | 71.479 % |
1007.52/1007.92 c | 289725 | 26664 138126 380946 | 2147483647 288315 119 | 71.479 % |
1009.02/1009.46 c | 290064 | 26664 138126 380946 | 288593 288654 119 | 71.479 % |
1011.42/1011.84 c | 290441 | 26664 138126 380946 | 288593 289031 119 | 71.479 % |
1013.32/1013.77 c | 290851 | 26664 138126 380946 | 288593 289441 119 | 71.479 % |
1016.63/1017.06 c | 291301 | 26664 138126 380946 | 288593 289891 119 | 71.479 % |
1021.13/1021.51 c | 291797 | 26664 138126 380946 | 288593 290387 119 | 71.479 % |
1024.43/1024.83 c | 292339 | 26664 138126 380946 | 288593 290929 119 | 71.479 % |
1027.12/1027.57 c | 292936 | 26664 138126 380946 | 288593 291526 119 | 71.479 % |
1030.12/1030.56 c | 293591 | 26664 138126 380946 | 288593 292181 119 | 71.479 % |
1033.42/1033.86 c | 294313 | 26664 138126 380946 | 288593 292903 119 | 71.479 % |
1038.32/1038.71 c | 295107 | 26664 138126 380946 | 288593 293697 119 | 71.479 % |
1043.81/1044.28 c | 295981 | 26664 138126 380946 | 288593 294571 119 | 71.479 % |
1049.02/1049.46 c | 296941 | 26664 138126 380946 | 288593 295530 119 | 71.580 % |
1054.41/1054.84 c | 297997 | 26664 138126 380946 | 288593 296586 119 | 71.580 % |
1060.72/1061.18 c | 299158 | 26664 138126 380946 | 288593 297747 119 | 71.580 % |
1068.11/1068.56 c | 300432 | 26664 138126 380946 | 2147483647 299021 119 | 71.580 % |
1074.81/1075.29 c | 301832 | 26664 138126 380946 | 2147483647 300421 119 | 71.580 % |
1081.31/1081.77 c | 303373 | 26664 138126 380946 | 2147483647 301962 119 | 71.580 % |
1089.30/1089.71 c | 305067 | 26664 138126 380946 | 2147483647 303656 119 | 71.580 % |
1099.51/1099.99 c | 306934 | 26664 138126 380946 | 2147483647 305523 119 | 71.580 % |
1110.70/1111.16 c | 308986 | 26569 137657 379515 | 2147483647 307572 119 | 71.592 % |
1120.29/1120.79 c | 311239 | 26569 137657 379515 | 308587 309825 119 | 71.592 % |
1131.10/1131.57 c | 313718 | 26569 137657 379515 | 308587 312304 119 | 71.592 % |
1147.09/1147.59 c | 316444 | 26569 137657 379515 | 308587 315030 119 | 71.592 % |
1164.09/1164.50 c | 319442 | 26569 137657 379515 | 308587 318028 119 | 71.592 % |
1164.58/1165.03 c | 319542 | 26569 137657 379515 | 308587 318128 119 | 71.592 % |
1165.28/1165.71 c | 319654 | 26569 137657 379515 | 308587 318240 119 | 71.592 % |
1165.98/1166.43 c | 319776 | 26569 137657 379515 | 308587 318362 119 | 71.592 % |
1166.69/1167.10 c | 319909 | 26569 137657 379515 | 308587 318495 119 | 71.592 % |
1167.58/1168.06 c | 320060 | 26569 137657 379515 | 2147483647 318646 119 | 71.592 % |
1168.48/1168.96 c | 320221 | 26569 137657 379515 | 2147483647 318807 119 | 71.592 % |
1169.78/1170.22 c | 320400 | 26569 137657 379515 | 2147483647 318986 119 | 71.592 % |
1170.78/1171.22 c | 320593 | 26569 137657 379515 | 2147483647 319179 119 | 71.592 % |
1171.78/1172.23 c | 320805 | 26569 137657 379515 | 2147483647 319391 119 | 71.592 % |
1173.29/1173.70 c | 321041 | 26569 137657 379515 | 2147483647 319627 119 | 71.592 % |
1174.78/1175.25 c | 321297 | 26569 137657 379515 | 2147483647 319883 119 | 71.592 % |
1176.18/1176.69 c | 321578 | 26569 137657 379515 | 2147483647 320164 119 | 71.592 % |
1177.58/1178.02 c | 321890 | 26569 137657 379515 | 2147483647 320476 119 | 71.592 % |
1179.18/1179.67 c | 322229 | 26569 137657 379515 | 2147483647 320815 119 | 71.592 % |
1181.48/1181.90 c | 322601 | 26569 137657 379515 | 2147483647 321187 119 | 71.592 % |
1182.78/1183.23 c | 323011 | 26569 137657 379515 | 2147483647 321597 119 | 71.592 % |
1184.68/1185.11 c | 323461 | 26569 137657 379515 | 2147483647 322047 119 | 71.592 % |
1186.78/1187.29 c | 323954 | 26569 137657 379515 | 2147483647 322540 119 | 71.592 % |
1189.18/1189.68 c | 324496 | 26569 137657 379515 | 2147483647 323082 119 | 71.592 % |
1192.98/1193.45 c | 325096 | 26569 137657 379515 | 2147483647 323682 119 | 71.592 % |
1195.57/1196.07 c | 325753 | 26569 137657 379515 | 2147483647 324339 119 | 71.592 % |
1200.87/1201.31 c | 326474 | 26569 137657 379515 | 2147483647 325060 119 | 71.592 % |
1205.47/1205.99 c | 327273 | 26569 137657 379515 | 2147483647 325859 119 | 71.592 % |
1210.17/1210.68 c | 328145 | 26569 137657 379515 | 2147483647 326731 119 | 71.592 % |
1215.88/1216.30 c | 329106 | 26569 137657 379515 | 2147483647 327692 119 | 71.592 % |
1222.27/1222.72 c | 330159 | 26559 137564 379287 | 2147483647 328745 119 | 71.592 % |
1227.97/1228.47 c | 331318 | 26559 137564 379287 | 2147483647 329903 119 | 71.596 % |
1234.77/1235.23 c | 332591 | 26559 137564 379287 | 2147483647 331176 119 | 71.596 % |
1241.47/1241.95 c | 333991 | 26559 137564 379287 | 2147483647 332576 119 | 71.596 % |
1248.86/1249.33 c | 335532 | 26559 137564 379287 | 2147483647 334117 119 | 71.596 % |
1258.86/1259.39 c | 337227 | 26559 137564 379287 | 2147483647 335809 119 | 71.678 % |
1269.96/1270.44 c | 339095 | 26559 137564 379287 | 2147483647 337677 119 | 71.678 % |
1281.06/1281.53 c | 341145 | 26559 137564 379287 | 338582 339727 119 | 71.678 % |
1291.35/1291.85 c | 343400 | 26559 137564 379287 | 338582 341982 119 | 71.678 % |
1304.15/1304.67 c | 345880 | 26555 137564 379287 | 338582 344461 119 | 71.785 % |
1319.45/1319.97 c | 348605 | 26555 137564 379287 | 338582 347186 119 | 71.785 % |
1335.94/1336.47 c | 351603 | 26555 137564 379287 | 348581 350184 119 | 71.785 % |
1352.64/1353.11 c | 354902 | 26555 137564 379287 | 348581 353483 119 | 71.785 % |
1353.24/1353.73 c | 355002 | 26555 137564 379287 | 348581 353583 119 | 71.785 % |
1353.73/1354.29 c | 355113 | 26555 137564 379287 | 348581 353694 119 | 71.785 % |
1354.83/1355.31 c | 355234 | 26378 136319 376088 | 348581 353720 119 | 71.785 % |
1356.03/1356.54 c | 355367 | 26378 136319 376088 | 348581 353853 119 | 71.785 % |
1357.03/1357.57 c | 355514 | 26378 136319 376088 | 348581 354000 119 | 71.785 % |
1357.93/1358.47 c | 355675 | 26378 136319 376088 | 348581 354161 119 | 71.785 % |
1359.23/1359.75 c | 355852 | 26378 136319 376088 | 348581 354338 119 | 71.785 % |
1360.53/1361.09 c | 356045 | 26378 136319 376088 | 348581 354531 119 | 71.785 % |
1361.73/1362.29 c | 356258 | 26378 136319 376088 | 348581 354744 119 | 71.785 % |
1363.13/1363.66 c | 356492 | 26378 136319 376088 | 348581 354978 119 | 71.785 % |
1364.43/1364.97 c | 356749 | 26378 136319 376088 | 348581 355235 119 | 71.785 % |
1365.83/1366.36 c | 357031 | 26378 136319 376088 | 348581 355517 119 | 71.785 % |
1367.43/1367.94 c | 357341 | 26378 136319 376088 | 348581 355827 119 | 71.785 % |
1369.13/1369.65 c | 357680 | 26378 136319 376088 | 348581 356166 119 | 71.785 % |
1371.33/1371.80 c | 358052 | 26378 136319 376088 | 348581 356538 119 | 71.785 % |
1374.23/1374.75 c | 358462 | 26378 136319 376088 | 348581 356948 119 | 71.785 % |
1376.93/1377.45 c | 358913 | 26378 136319 376088 | 348581 357399 119 | 71.785 % |
1379.43/1379.91 c | 359407 | 26378 136319 376088 | 348581 357893 119 | 71.785 % |
1382.43/1382.94 c | 359950 | 26378 136319 376088 | 348581 358436 119 | 71.785 % |
1386.93/1387.49 c | 360547 | 26378 136319 376088 | 358486 359033 119 | 71.785 % |
1390.02/1390.58 c | 361202 | 26378 136319 376088 | 358486 359688 119 | 71.785 % |
1393.92/1394.45 c | 361922 | 26378 136319 376088 | 358486 360408 119 | 71.785 % |
1398.42/1398.97 c | 362715 | 26378 136319 376088 | 358486 361201 119 | 71.785 % |
1403.82/1404.31 c | 363586 | 26378 136319 376088 | 358486 362072 119 | 71.785 % |
1408.01/1408.58 c | 364544 | 26378 136319 376088 | 358486 363030 119 | 71.785 % |
1413.21/1413.79 c | 365597 | 26378 136319 376088 | 358486 364083 119 | 71.785 % |
1420.02/1420.53 c | 366756 | 26378 136319 376088 | 358486 365242 119 | 71.785 % |
1427.11/1427.61 c | 368029 | 26377 136319 376088 | 358486 366514 119 | 71.797 % |
1433.71/1434.23 c | 369429 | 26377 136319 376088 | 358486 367914 119 | 71.797 % |
1441.41/1441.99 c | 370969 | 26377 136319 376088 | 368485 369453 119 | 71.812 % |
1452.70/1453.21 c | 372664 | 26377 136319 376088 | 368485 371147 119 | 71.824 % |
1466.00/1466.53 c | 374527 | 26377 136319 376088 | 368485 373010 119 | 71.824 % |
1481.10/1481.61 c | 376583 | 26377 136319 376088 | 368485 375066 119 | 71.824 % |
1493.50/1494.03 c | 378837 | 26377 136319 376088 | 368485 377319 120 | 71.834 % |
1506.69/1507.21 c | 381315 | 26377 136319 376088 | 378482 379797 120 | 71.834 % |
1521.59/1522.13 c | 384041 | 26377 136319 376088 | 378482 382523 121 | 71.834 % |
1536.79/1537.32 c | 387040 | 26332 136021 375315 | 378482 385517 121 | 71.834 % |
1554.18/1554.73 c | 390338 | 26332 136021 375315 | 388477 388815 121 | 71.834 % |
1574.17/1574.78 c | 393963 | 26332 136021 375315 | 388477 392440 120 | 71.834 % |
1574.87/1575.42 c | 394063 | 26332 136021 375315 | 388477 392540 120 | 71.834 % |
1575.47/1576.04 c | 394174 | 26332 136021 375315 | 388477 392651 120 | 71.834 % |
1576.07/1576.61 c | 394295 | 26332 136021 375315 | 388477 392772 120 | 71.834 % |
1576.87/1577.47 c | 394430 | 26332 136021 375315 | 388477 392907 120 | 71.834 % |
1578.17/1578.77 c | 394584 | 26332 136021 375315 | 388477 393061 120 | 71.834 % |
1579.27/1579.85 c | 394744 | 26332 136021 375315 | 388477 393221 120 | 71.834 % |
1580.57/1581.13 c | 394921 | 26332 136021 375315 | 388477 393398 120 | 71.834 % |
1581.97/1582.57 c | 395116 | 26332 136021 375315 | 388477 393593 120 | 71.834 % |
1583.38/1583.96 c | 395328 | 26332 136021 375315 | 388477 393805 120 | 71.834 % |
1584.87/1585.40 c | 395563 | 26332 136021 375315 | 388477 394040 120 | 71.834 % |
1586.77/1587.37 c | 395822 | 26332 136021 375315 | 388477 394299 120 | 71.834 % |
1588.47/1589.10 c | 396104 | 26332 136021 375315 | 388477 394581 120 | 71.834 % |
1590.97/1591.56 c | 396414 | 26332 136021 375315 | 388477 394891 120 | 71.834 % |
1593.06/1593.66 c | 396755 | 26332 136021 375315 | 388477 395232 120 | 71.834 % |
1595.86/1596.43 c | 397127 | 26332 136021 375315 | 388477 395604 120 | 71.834 % |
1599.46/1600.06 c | 397538 | 26332 136021 375315 | 388477 396015 120 | 71.834 % |
1602.37/1602.99 c | 397990 | 26332 136021 375315 | 388477 396467 120 | 71.834 % |
1605.27/1605.80 c | 398483 | 26332 136021 375315 | 388477 396960 120 | 71.834 % |
1609.77/1610.38 c | 399025 | 26332 136021 375315 | 388477 397502 120 | 71.834 % |
1612.96/1613.57 c | 399622 | 26332 136021 375315 | 388477 398099 120 | 71.834 % |
1616.76/1617.37 c | 400279 | 26332 136021 375315 | 398477 398756 120 | 71.834 % |
1623.16/1623.77 c | 400999 | 26332 136021 375315 | 398477 399476 120 | 71.834 % |
1628.96/1629.53 c | 401793 | 26332 136021 375315 | 398477 400270 120 | 71.834 % |
1634.45/1635.08 c | 402665 | 26332 136021 375315 | 398477 401142 120 | 71.834 % |
1639.76/1640.34 c | 403623 | 26332 136021 375315 | 398477 402100 120 | 71.834 % |
1644.56/1645.11 c | 404676 | 26332 136021 375315 | 398477 403153 120 | 71.834 % |
1651.25/1651.80 c | 405837 | 26332 136021 375315 | 398477 404314 120 | 71.834 % |
1659.75/1660.35 c | 407110 | 26332 136021 375315 | 398477 405587 120 | 71.834 % |
1667.34/1667.93 c | 408512 | 26332 136021 375315 | 398477 406989 121 | 71.834 % |
1677.14/1677.72 c | 410053 | 26332 136021 375315 | 408477 408530 121 | 71.834 % |
1687.54/1688.13 c | 411748 | 26332 136021 375315 | 408477 410225 121 | 71.834 % |
1698.85/1699.46 c | 413612 | 26332 136021 375315 | 408477 412089 121 | 71.834 % |
1712.14/1712.79 c | 415662 | 26332 136021 375315 | 408477 414139 122 | 71.834 % |
1728.43/1729.04 c | 417915 | 26321 135952 375139 | 408477 416389 122 | 71.858 % |
1740.03/1740.65 c | 420393 | 26321 135952 375139 | 418476 418867 122 | 71.858 % |
1755.23/1755.85 c | 423119 | 26321 135952 375139 | 418476 421593 122 | 71.858 % |
1775.01/1775.61 c | 426116 | 26321 135952 375139 | 418476 424590 122 | 71.858 % |
1794.71/1795.33 c | 429416 | 26321 135952 375139 | 418476 427890 122 | 71.858 % |
1820.31/1820.93 c | 433043 | 26321 135952 375139 | 428474 431517 122 | 71.858 % |
1844.30/1844.90 c | 437030 | 26321 135952 375139 | 428474 435504 123 | 71.858 % |
1845.21/1845.82 c | 437131 | 26321 135952 375139 | 428474 435605 123 | 71.858 % |
1846.00/1846.68 c | 437242 | 26321 135952 375139 | 428474 435716 123 | 71.858 % |
1846.90/1847.50 c | 437363 | 26321 135952 375139 | 428474 435837 123 | 71.858 % |
1847.70/1848.33 c | 437496 | 26321 135952 375139 | 428474 435970 123 | 71.858 % |
1848.80/1849.49 c | 437645 | 26321 135952 375139 | 428474 436119 123 | 71.858 % |
1850.00/1850.64 c | 437806 | 26321 135952 375139 | 428474 436280 123 | 71.858 % |
1851.20/1851.80 c | 437984 | 26321 135952 375139 | 428474 436458 123 | 71.858 % |
1852.70/1853.30 c | 438177 | 26321 135952 375139 | 428474 436651 123 | 71.858 % |
1854.90/1855.53 c | 438390 | 26319 135952 375139 | 428474 436863 123 | 71.870 % |
1856.60/1857.23 c | 438624 | 26319 135952 375139 | 428474 437097 123 | 71.870 % |
1858.50/1859.10 c | 438880 | 26319 135952 375139 | 428474 437353 123 | 71.870 % |
1860.20/1860.82 c | 439163 | 26319 135952 375139 | 428474 437636 123 | 71.870 % |
1861.80/1862.46 c | 439473 | 26319 135952 375139 | 428474 437946 123 | 71.870 % |
1864.89/1865.56 c | 439812 | 26319 135952 375139 | 428474 438285 123 | 71.870 % |
1868.49/1869.18 c | 440186 | 26319 135952 375139 | 438474 438659 123 | 71.870 % |
1870.99/1871.63 c | 440596 | 26319 135952 375139 | 438474 439068 123 | 71.878 % |
1874.69/1875.37 c | 441045 | 26319 135952 375139 | 438474 439517 123 | 71.878 % |
1878.70/1879.32 c | 441539 | 26319 135952 375139 | 438474 440011 123 | 71.878 % |
1882.09/1882.78 c | 442083 | 26319 135952 375139 | 438474 440555 123 | 71.878 % |
1885.09/1885.73 c | 442679 | 26319 135952 375139 | 438474 441151 123 | 71.878 % |
1889.49/1890.11 c | 443335 | 26319 135952 375139 | 438474 441807 122 | 71.878 % |
1896.89/1897.56 c | 444058 | 26319 135952 375139 | 438474 442530 122 | 71.878 % |
1901.48/1902.13 c | 444850 | 26319 135952 375139 | 438474 443322 122 | 71.878 % |
1906.38/1907.01 c | 445723 | 26319 135952 375139 | 438474 444195 122 | 71.878 % |
1911.58/1912.30 c | 446681 | 26319 135952 375139 | 438474 445153 122 | 71.878 % |
1918.88/1919.51 c | 447734 | 26319 135952 375139 | 438474 446206 122 | 71.878 % |
1926.58/1927.22 c | 448892 | 26319 135952 375139 | 438474 447364 122 | 71.878 % |
1935.58/1936.28 c | 450166 | 26319 135952 375139 | 448475 448638 122 | 71.878 % |
1946.67/1947.33 c | 451568 | 26319 135952 375139 | 448475 450040 122 | 71.878 % |
1956.07/1956.78 c | 453109 | 26291 135756 374642 | 448475 451568 122 | 71.878 % |
1965.07/1965.78 c | 454803 | 26291 135756 374642 | 448475 453262 122 | 71.878 % |
1974.86/1975.59 c | 456666 | 26291 135756 374642 | 448475 455125 121 | 71.878 % |
1987.66/1988.37 c | 458717 | 26291 135756 374642 | 448475 457176 121 | 71.878 % |
2000.26/2000.94 c | 460970 | 26291 135756 374642 | 458460 459429 121 | 71.878 % |
2016.06/2016.79 c | 463448 | 26291 135756 374642 | 458460 461907 121 | 71.878 % |
2033.35/2034.05 c | 466175 | 26291 135756 374642 | 458460 464634 121 | 71.878 % |
2051.44/2052.11 c | 469173 | 26291 135756 374642 | 458460 467632 121 | 71.878 % |
2073.04/2073.77 c | 472470 | 26291 135756 374642 | 468459 470929 122 | 71.878 % |
2094.53/2095.29 c | 476095 | 26291 135756 374642 | 468459 474554 121 | 71.878 % |
2120.72/2121.42 c | 480082 | 26291 135756 374642 | 478459 478541 122 | 71.878 % |
2151.01/2151.71 c | 484467 | 26291 135756 374642 | 478459 482926 121 | 71.878 % |
2151.61/2152.40 c | 484567 | 26291 135756 374642 | 478459 483026 121 | 71.878 % |
2152.31/2153.06 c | 484678 | 26291 135756 374642 | 478459 483137 121 | 71.878 % |
2153.41/2154.17 c | 484799 | 26291 135756 374642 | 478459 483258 121 | 71.878 % |
2154.51/2155.29 c | 484936 | 26291 135756 374642 | 478459 483395 121 | 71.878 % |
2155.71/2156.41 c | 485083 | 26291 135756 374642 | 478459 483542 121 | 71.878 % |
2156.72/2157.41 c | 485243 | 26291 135756 374642 | 478459 483702 121 | 71.878 % |
2158.32/2159.06 c | 485419 | 26291 135756 374642 | 478459 483878 121 | 71.878 % |
2159.82/2160.53 c | 485613 | 26291 135756 374642 | 478459 484072 121 | 71.878 % |
2161.22/2161.92 c | 485826 | 26291 135756 374642 | 478459 484285 121 | 71.878 % |
2163.62/2164.32 c | 486059 | 26291 135756 374642 | 478459 484518 121 | 71.878 % |
2165.51/2166.28 c | 486316 | 26291 135756 374642 | 478459 484775 121 | 71.878 % |
2167.61/2168.35 c | 486598 | 26291 135756 374642 | 478459 485057 121 | 71.878 % |
2170.12/2170.84 c | 486907 | 26291 135756 374642 | 478459 485366 121 | 71.878 % |
2172.92/2173.62 c | 487248 | 26291 135756 374642 | 478459 485707 121 | 71.878 % |
2175.01/2175.73 c | 487621 | 26291 135756 374642 | 478459 486080 121 | 71.878 % |
2177.41/2178.13 c | 488030 | 26291 135756 374642 | 478459 486489 121 | 71.878 % |
2180.41/2181.12 c | 488480 | 26291 135756 374642 | 478459 486939 121 | 71.878 % |
2183.40/2184.18 c | 488973 | 26291 135756 374642 | 478459 487432 121 | 71.878 % |
2187.21/2187.98 c | 489516 | 26291 135756 374642 | 478459 487975 121 | 71.878 % |
2191.20/2191.92 c | 490112 | 26291 135756 374642 | 488461 488571 121 | 71.878 % |
2196.31/2197.03 c | 490768 | 26291 135756 374642 | 488461 489226 121 | 71.883 % |
2201.41/2202.10 c | 491491 | 26291 135756 374642 | 488461 489949 121 | 71.883 % |
2209.00/2209.74 c | 492284 | 26291 135756 374642 | 488461 490742 121 | 71.883 % |
2216.40/2217.17 c | 493155 | 26291 135756 374642 | 488461 491613 121 | 71.883 % |
2223.99/2224.71 c | 494113 | 26291 135756 374642 | 488461 492571 121 | 71.883 % |
2231.29/2232.00 c | 495167 | 26291 135756 374642 | 488461 493625 121 | 71.883 % |
2238.89/2239.68 c | 496325 | 26291 135756 374642 | 488461 494783 121 | 71.883 % |
2249.69/2250.47 c | 497600 | 26287 135718 374543 | 488461 496058 121 | 71.883 % |
2260.09/2260.82 c | 499000 | 26287 135718 374543 | 488461 497458 121 | 71.883 % |
2269.38/2270.16 c | 500543 | 26287 135718 374543 | 498459 499001 121 | 71.883 % |
2280.69/2281.48 c | 502238 | 26287 135718 374543 | 498459 500696 121 | 71.883 % |
2294.38/2295.15 c | 504103 | 26287 135718 374543 | 498459 502561 121 | 71.883 % |
2309.67/2310.49 c | 506152 | 26287 135718 374543 | 498459 504610 121 | 71.883 % |
2326.36/2327.13 c | 508406 | 26287 135718 374543 | 498459 506864 121 | 71.883 % |
2344.97/2345.73 c | 510884 | 26287 135718 374543 | 508459 509341 121 | 71.904 % |
2365.36/2366.19 c | 513610 | 26287 135718 374543 | 508459 512067 121 | 71.904 % |
2388.25/2389.10 c | 516609 | 26287 135718 374543 | 508459 515066 121 | 71.904 % |
2413.14/2413.98 c | 519909 | 26287 135718 374543 | 508459 518366 121 | 71.904 % |
2437.74/2438.52 c | 523536 | 26287 135718 374543 | 518457 521993 121 | 71.904 % |
2466.33/2467.12 c | 527524 | 26287 135718 374543 | 518457 525981 121 | 71.904 % |
2497.33/2498.16 c | 531910 | 26287 135718 374543 | 528457 530367 121 | 71.904 % |
2528.02/2528.90 c | 536733 | 26287 135718 374543 | 528457 535190 121 | 71.904 % |
2529.02/2529.88 c | 536834 | 26267 135613 374250 | 528457 535289 121 | 71.904 % |
2529.81/2530.69 c | 536944 | 26267 135613 374250 | 528457 535399 121 | 71.904 % |
2530.81/2531.69 c | 537065 | 26267 135613 374250 | 528457 535520 121 | 71.904 % |
2532.01/2532.84 c | 537199 | 26267 135613 374250 | 528457 535654 121 | 71.904 % |
2533.52/2534.31 c | 537352 | 26267 135613 374250 | 528457 535807 121 | 71.904 % |
2535.11/2535.90 c | 537513 | 26267 135613 374250 | 528457 535968 121 | 71.904 % |
2536.61/2537.48 c | 537689 | 26267 135613 374250 | 528457 536144 121 | 71.904 % |
2538.11/2538.92 c | 537882 | 26267 135613 374250 | 528457 536337 121 | 71.904 % |
2539.51/2540.35 c | 538097 | 26267 135613 374250 | 528457 536552 121 | 71.904 % |
2541.21/2542.10 c | 538333 | 26267 135613 374250 | 528457 536788 121 | 71.904 % |
2543.51/2544.39 c | 538592 | 26267 135613 374250 | 528457 537047 121 | 71.904 % |
2545.81/2546.61 c | 538873 | 26267 135613 374250 | 528457 537328 121 | 71.904 % |
2548.11/2548.91 c | 539185 | 26267 135613 374250 | 528457 537640 121 | 71.904 % |
2551.80/2552.65 c | 539525 | 26267 135613 374250 | 528457 537980 121 | 71.904 % |
2554.10/2554.94 c | 539899 | 26267 135613 374250 | 528457 538354 121 | 71.904 % |
2557.71/2558.53 c | 540310 | 26267 135613 374250 | 538456 538765 121 | 71.904 % |
2559.80/2560.60 c | 540759 | 26266 135613 374250 | 538456 539213 121 | 71.915 % |
2563.80/2564.60 c | 541253 | 26266 135613 374250 | 538456 539707 121 | 71.915 % |
2567.70/2568.58 c | 541797 | 26266 135613 374250 | 538456 540251 121 | 71.915 % |
2571.70/2572.57 c | 542394 | 26266 135613 374250 | 538456 540848 121 | 71.915 % |
2577.10/2577.94 c | 543049 | 26266 135613 374250 | 538456 541502 121 | 71.926 % |
2583.19/2584.02 c | 543769 | 26266 135613 374250 | 538456 542222 121 | 71.926 % |
2589.70/2590.56 c | 544562 | 26266 135613 374250 | 538456 543015 121 | 71.926 % |
2595.69/2596.52 c | 545433 | 26266 135613 374250 | 538456 543886 121 | 71.926 % |
2603.59/2604.40 c | 546392 | 26266 135613 374250 | 538456 544845 121 | 71.926 % |
2612.69/2613.53 c | 547445 | 26266 135613 374250 | 538456 545898 121 | 71.926 % |
2621.59/2622.45 c | 548605 | 26266 135613 374250 | 538456 547058 121 | 71.926 % |
2632.28/2633.10 c | 549886 | 26266 135613 374250 | 538456 548339 121 | 71.926 % |
2643.98/2644.83 c | 551289 | 26266 135613 374250 | 548454 549742 121 | 71.926 % |
2656.47/2657.35 c | 552831 | 26266 135613 374250 | 548454 551284 121 | 71.926 % |
2670.37/2671.24 c | 554527 | 26266 135613 374250 | 548454 552980 121 | 71.926 % |
2684.67/2685.52 c | 556392 | 26266 135613 374250 | 548454 554845 121 | 71.926 % |
2701.16/2702.06 c | 558441 | 26266 135613 374250 | 548454 556894 121 | 71.926 % |
2718.36/2719.29 c | 560695 | 26266 135613 374250 | 558454 559148 121 | 71.926 % |
2734.35/2735.20 c | 563179 | 26266 135613 374250 | 558454 561632 120 | 71.926 % |
2754.15/2755.01 c | 565904 | 26266 135613 374250 | 558454 564355 121 | 71.951 % |
2778.34/2779.20 c | 568903 | 26266 135613 374250 | 558454 567354 120 | 71.951 % |
2806.03/2806.93 c | 572199 | 26266 135613 374250 | 568452 570650 120 | 71.951 % |
2831.22/2832.15 c | 575824 | 26266 135613 374250 | 568452 574275 121 | 71.951 % |
2862.52/2863.43 c | 579811 | 26223 135309 373439 | 568452 578209 121 | 71.951 % |
2902.80/2903.74 c | 584198 | 26223 135309 373439 | 578398 582596 120 | 71.951 % |
2941.10/2942.00 c | 589022 | 26223 135309 373439 | 578398 587420 120 | 71.951 % |
2977.28/2978.27 c | 594327 | 26223 135309 373439 | 588399 592725 120 | 71.951 % |
2978.38/2979.37 c | 594427 | 26223 135309 373439 | 588399 592825 120 | 71.951 % |
2979.58/2980.52 c | 594538 | 26223 135309 373439 | 588399 592936 120 | 71.951 % |
2980.58/2981.52 c | 594660 | 26223 135309 373439 | 588399 593058 120 | 71.951 % |
2981.48/2982.46 c | 594793 | 26223 135309 373439 | 588399 593191 120 | 71.951 % |
2982.59/2983.58 c | 594942 | 26223 135309 373439 | 588399 593340 120 | 71.951 % |
2983.49/2984.47 c | 595103 | 26223 135309 373439 | 588399 593501 120 | 71.951 % |
2984.88/2985.84 c | 595285 | 26223 135309 373439 | 588399 593683 120 | 71.951 % |
2986.78/2987.71 c | 595480 | 26223 135309 373439 | 588399 593878 120 | 71.951 % |
2988.48/2989.48 c | 595693 | 26223 135309 373439 | 588399 594091 120 | 71.951 % |
2990.99/2991.91 c | 595927 | 26223 135309 373439 | 588399 594325 120 | 71.951 % |
2992.58/2993.59 c | 596183 | 26223 135309 373439 | 588399 594581 120 | 71.951 % |
2994.68/2995.68 c | 596464 | 26223 135309 373439 | 588399 594862 120 | 71.951 % |
2996.98/2997.91 c | 596774 | 26223 135309 373439 | 588399 595172 120 | 71.951 % |
2999.38/3000.33 c | 597114 | 26223 135309 373439 | 588399 595512 120 | 71.951 % |
3003.58/3004.52 c | 597487 | 26223 135309 373439 | 588399 595885 120 | 71.951 % |
3007.27/3008.22 c | 597898 | 26223 135309 373439 | 588399 596296 120 | 71.951 % |
3010.78/3011.75 c | 598349 | 26223 135309 373439 | 588399 596747 120 | 71.951 % |
3014.47/3015.42 c | 598845 | 26223 135309 373439 | 588399 597243 120 | 71.951 % |
3018.57/3019.55 c | 599387 | 26223 135309 373439 | 588399 597785 120 | 71.951 % |
3022.37/3023.30 c | 599983 | 26223 135309 373439 | 588399 598381 120 | 71.951 % |
3027.17/3028.12 c | 600641 | 26223 135309 373439 | 598399 599039 120 | 71.951 % |
3031.57/3032.58 c | 601361 | 26223 135309 373439 | 598399 599759 120 | 71.951 % |
3037.77/3038.79 c | 602153 | 26223 135309 373439 | 598399 600551 120 | 71.951 % |
3046.37/3047.38 c | 603025 | 26223 135309 373439 | 598399 601423 120 | 71.951 % |
3053.16/3054.15 c | 603983 | 26223 135309 373439 | 598399 602381 120 | 71.951 % |
3063.36/3064.34 c | 605041 | 26223 135309 373439 | 598399 603439 120 | 71.951 % |
3070.46/3071.46 c | 606200 | 26223 135309 373439 | 598399 604598 120 | 71.951 % |
3079.75/3080.70 c | 607473 | 26223 135309 373439 | 598399 605871 120 | 71.951 % |
3092.55/3093.55 c | 608875 | 26223 135309 373439 | 598399 607273 120 | 71.951 % |
3103.74/3104.78 c | 610418 | 26223 135309 373439 | 608403 608816 120 | 71.951 % |
3116.75/3117.74 c | 612112 | 26223 135309 373439 | 608403 610510 120 | 71.951 % |
3135.24/3136.26 c | 613975 | 26223 135309 373439 | 608403 612373 120 | 71.951 % |
3154.74/3155.72 c | 616025 | 26223 135309 373439 | 608403 614423 120 | 71.951 % |
3174.33/3175.34 c | 618278 | 26223 135309 373439 | 608403 616676 120 | 71.951 % |
3198.22/3199.20 c | 620756 | 26223 135309 373439 | 618401 619154 120 | 71.951 % |
3220.72/3221.76 c | 623482 | 26223 135309 373439 | 618401 621880 120 | 71.951 % |
3243.61/3244.69 c | 626481 | 26223 135309 373439 | 618401 624879 120 | 71.951 % |
3268.30/3269.31 c | 629777 | 26223 135309 373439 | 618401 628175 120 | 71.951 % |
3297.39/3298.42 c | 633403 | 26205 135199 373150 | 628398 631800 120 | 71.970 % |
3328.59/3329.69 c | 637390 | 26205 135199 373150 | 628398 635787 120 | 71.970 % |
3363.47/3364.56 c | 641775 | 26205 135199 373150 | 638399 640171 120 | 71.982 % |
3398.97/3400.08 c | 646598 | 26205 135199 373150 | 638399 644992 121 | 72.004 % |
3443.85/3444.99 c | 651903 | 26205 135199 373150 | 648395 650297 120 | 72.004 % |
3493.74/3494.83 c | 657741 | 26205 135199 373150 | 648395 656135 120 | 72.004 % |
3494.94/3496.07 c | 657847 | 26205 135199 373150 | 648395 656241 120 | 72.004 % |
3495.84/3496.92 c | 657958 | 26205 135199 373150 | 648395 656352 120 | 72.004 % |
3497.03/3498.12 c | 658082 | 26205 135199 373150 | 648395 656476 120 | 72.004 % |
3498.43/3499.54 c | 658219 | 26205 135199 373150 | 648395 656613 120 | 72.004 % |
3499.93/3501.07 c | 658365 | 26205 135199 373150 | 648395 656759 120 | 72.004 % |
3501.53/3502.65 c | 658526 | 26205 135199 373150 | 648395 656920 121 | 72.004 % |
3502.93/3504.08 c | 658702 | 26205 135199 373150 | 648395 657096 121 | 72.004 % |
3504.63/3505.79 c | 658895 | 26205 135199 373150 | 648395 657289 120 | 72.004 % |
3506.73/3507.89 c | 659108 | 26205 135199 373150 | 648395 657502 120 | 72.004 % |
3509.03/3510.20 c | 659342 | 26205 135199 373150 | 648395 657736 121 | 72.004 % |
3511.43/3512.52 c | 659599 | 26205 135199 373150 | 648395 657993 121 | 72.004 % |
3513.92/3515.09 c | 659880 | 26205 135199 373150 | 648395 658274 121 | 72.004 % |
3519.42/3520.57 c | 660191 | 26205 135199 373150 | 658395 658585 121 | 72.004 % |
3522.32/3523.44 c | 660531 | 26205 135199 373150 | 658395 658925 121 | 72.004 % |
3526.22/3527.37 c | 660904 | 26205 135199 373150 | 658395 659298 121 | 72.004 % |
3529.72/3530.81 c | 661313 | 26205 135199 373150 | 658395 659707 121 | 72.005 % |
3534.42/3535.54 c | 661762 | 26205 135199 373150 | 658395 660156 121 | 72.004 % |
3539.61/3540.73 c | 662258 | 26205 135199 373150 | 658395 660652 121 | 72.004 % |
3546.01/3547.15 c | 662800 | 26205 135199 373150 | 658395 661194 121 | 72.004 % |
3551.31/3552.40 c | 663398 | 26205 135199 373150 | 658395 661792 121 | 72.004 % |
3557.01/3558.13 c | 664053 | 26205 135199 373150 | 658395 662447 121 | 72.004 % |
3562.81/3563.96 c | 664775 | 26205 135199 373150 | 658395 663169 121 | 72.004 % |
3569.41/3570.55 c | 665568 | 26205 135199 373150 | 658395 663962 121 | 72.004 % |
3575.81/3576.98 c | 666442 | 26205 135199 373150 | 658395 664836 121 | 72.004 % |
3582.40/3583.52 c | 667402 | 26205 135199 373150 | 658395 665796 121 | 72.004 % |
3590.70/3591.84 c | 668460 | 26205 135199 373150 | 658395 666854 121 | 72.004 % |
3600.70/3601.86 c | 669618 | 26205 135199 373150 | 658395 668012 121 | 72.004 % |
3611.30/3612.46 c | 670892 | 26205 135199 373150 | 668396 669286 121 | 72.004 % |
3622.30/3623.45 c | 672292 | 26205 135199 373150 | 668396 670686 121 | 72.004 % |
3635.79/3636.97 c | 673835 | 26205 135199 373150 | 668396 672229 121 | 72.004 % |
3649.59/3650.77 c | 675532 | 26205 135199 373150 | 668396 673926 121 | 72.004 % |
3664.08/3665.21 c | 677397 | 26205 135199 373150 | 668396 675791 121 | 72.004 % |
3681.78/3682.95 c | 679446 | 26205 135199 373150 | 668396 677840 121 | 72.004 % |
3702.77/3703.99 c | 681699 | 26205 135199 373150 | 678394 680093 121 | 72.004 % |
3721.57/3722.73 c | 684177 | 26205 135199 373150 | 678394 682571 121 | 72.005 % |
3742.66/3743.85 c | 686902 | 26205 135199 373150 | 678394 685296 121 | 72.004 % |
3763.66/3764.88 c | 689899 | 26205 135199 373150 | 678394 688293 121 | 72.004 % |
3788.95/3790.10 c | 693198 | 26173 134981 372574 | 688392 691590 121 | 72.004 % |
3818.74/3819.94 c | 696824 | 26173 134981 372574 | 688392 695216 121 | 72.004 % |
3854.24/3855.41 c | 700811 | 26173 134981 372574 | 698393 699203 121 | 72.004 % |
3891.82/3893.02 c | 705196 | 26173 134981 372574 | 698393 703588 121 | 72.004 % |
3935.71/3936.97 c | 710019 | 26173 134981 372574 | 708392 708411 121 | 72.004 % |
3984.29/3985.52 c | 715326 | 26173 134981 372574 | 708392 713718 121 | 72.004 % |
4039.57/4040.82 c | 721161 | 26173 134981 372574 | 718393 719553 121 | 72.004 % |
4097.56/4098.89 c | 727583 | 26173 134981 372574 | 718393 725975 121 | 72.005 % |
4099.06/4100.32 c | 727683 | 26173 134981 372574 | 718393 726075 121 | 72.004 % |
4100.46/4101.76 c | 727793 | 26173 134981 372574 | 718393 726185 121 | 72.004 % |
4101.76/4103.08 c | 727915 | 26173 134981 372574 | 718393 726307 121 | 72.004 % |
4103.86/4105.19 c | 728049 | 26173 134981 372574 | 718393 726441 121 | 72.004 % |
4104.96/4106.26 c | 728195 | 26173 134981 372574 | 718393 726587 121 | 72.004 % |
4106.46/4107.74 c | 728356 | 26173 134981 372574 | 718393 726748 121 | 72.004 % |
4108.97/4110.24 c | 728532 | 26173 134981 372574 | 718393 726924 121 | 72.004 % |
4111.17/4112.48 c | 728725 | 26173 134981 372574 | 718393 727117 121 | 72.004 % |
4113.06/4114.36 c | 728937 | 26173 134981 372574 | 718393 727329 121 | 72.004 % |
4116.26/4117.56 c | 729170 | 26173 134981 372574 | 718393 727562 121 | 72.004 % |
4119.16/4120.42 c | 729426 | 26173 134981 372574 | 718393 727818 121 | 72.005 % |
4122.26/4123.57 c | 729707 | 26173 134981 372574 | 718393 728099 121 | 72.004 % |
4127.56/4128.84 c | 730019 | 26173 134981 372574 | 728392 728411 121 | 72.004 % |
4130.56/4131.84 c | 730359 | 26173 134981 372574 | 728392 728751 121 | 72.004 % |
4134.76/4136.04 c | 730736 | 26173 134981 372574 | 728392 729128 121 | 72.004 % |
4139.06/4140.36 c | 731145 | 26173 134981 372574 | 728392 729537 121 | 72.004 % |
4143.15/4144.40 c | 731594 | 26173 134981 372574 | 728392 729986 121 | 72.004 % |
4149.75/4151.04 c | 732087 | 26173 134981 372574 | 728392 730479 121 | 72.004 % |
4153.95/4155.25 c | 732629 | 26173 134981 372574 | 728392 731021 121 | 72.004 % |
4159.35/4160.63 c | 733225 | 26173 134981 372574 | 728392 731617 121 | 72.004 % |
4168.34/4169.67 c | 733886 | 26173 134981 372574 | 728392 732278 121 | 72.004 % |
4176.55/4177.81 c | 734606 | 26173 134981 372574 | 728392 732998 121 | 72.004 % |
4185.34/4186.66 c | 735400 | 26173 134981 372574 | 728392 733792 121 | 72.004 % |
4194.33/4195.63 c | 736273 | 26173 134981 372574 | 728392 734665 122 | 72.004 % |
4203.34/4204.65 c | 737233 | 26173 134981 372574 | 728392 735625 122 | 72.004 % |
4216.53/4217.83 c | 738288 | 26173 134981 372574 | 728392 736680 122 | 72.004 % |
4230.53/4231.88 c | 739447 | 26173 134981 372574 | 728392 737839 121 | 72.004 % |
4246.42/4247.76 c | 740722 | 26173 134981 372574 | 738392 739114 121 | 72.004 % |
4263.32/4264.62 c | 742126 | 26173 134981 372574 | 738392 740518 121 | 72.004 % |
4281.22/4282.55 c | 743667 | 26173 134981 372574 | 738392 742059 121 | 72.004 % |
4299.91/4301.23 c | 745361 | 26173 134981 372574 | 738392 743753 121 | 72.004 % |
4318.20/4319.56 c | 747227 | 26173 134981 372574 | 738392 745619 121 | 72.004 % |
4338.11/4339.49 c | 749276 | 26162 134901 372374 | 738392 747641 122 | 72.016 % |
4356.80/4358.11 c | 751529 | 26162 134901 372374 | 748366 749894 122 | 72.016 % |
4378.89/4380.24 c | 754007 | 26162 134901 372374 | 748366 752372 122 | 72.016 % |
4404.78/4406.19 c | 756732 | 26162 134901 372374 | 748366 755097 123 | 72.016 % |
4431.58/4432.94 c | 759732 | 26162 134901 372374 | 748366 758097 123 | 72.016 % |
4460.27/4461.63 c | 763028 | 26162 134901 372374 | 758368 761393 124 | 72.016 % |
4496.75/4498.11 c | 766654 | 26162 134901 372374 | 758368 765019 124 | 72.016 % |
4538.25/4539.63 c | 770642 | 26162 134901 372374 | 768365 769007 123 | 72.016 % |
4572.44/4573.81 c | 775031 | 26162 134901 372374 | 768365 773396 123 | 72.016 % |
4614.42/4615.86 c | 779868 | 26162 134901 372374 | 768365 778233 123 | 72.016 % |
4658.71/4660.10 c | 785173 | 26162 134901 372374 | 778367 783538 123 | 72.016 % |
4720.39/4721.83 c | 791008 | 26162 134901 372374 | 788370 789373 123 | 72.016 % |
4779.18/4780.66 c | 797428 | 26162 134901 372374 | 788370 795793 123 | 72.016 % |
4857.46/4858.90 c | 804492 | 26162 134901 372374 | 798366 802857 123 | 72.016 % |
4858.37/4859.88 c | 804593 | 26162 134901 372374 | 798366 802958 123 | 72.016 % |
4859.86/4861.34 c | 804703 | 26162 134901 372374 | 798366 803068 123 | 72.016 % |
4861.06/4862.57 c | 804826 | 26162 134901 372374 | 798366 803191 123 | 72.016 % |
4862.66/4864.13 c | 804959 | 26162 134901 372374 | 798366 803324 123 | 72.016 % |
4864.36/4865.88 c | 805105 | 26162 134901 372374 | 798366 803470 122 | 72.016 % |
4866.96/4868.46 c | 805266 | 26162 134901 372374 | 798366 803631 122 | 72.016 % |
4869.36/4870.83 c | 805442 | 26162 134901 372374 | 798366 803807 122 | 72.016 % |
4872.05/4873.50 c | 805635 | 26162 134901 372374 | 798366 804000 122 | 72.016 % |
4874.25/4875.71 c | 805847 | 26162 134901 372374 | 798366 804212 122 | 72.016 % |
4876.35/4877.89 c | 806080 | 26162 134901 372374 | 798366 804445 122 | 72.016 % |
4878.95/4880.41 c | 806336 | 26162 134901 372374 | 798366 804701 122 | 72.016 % |
4881.36/4882.84 c | 806620 | 26162 134901 372374 | 798366 804985 122 | 72.016 % |
4884.05/4885.51 c | 806930 | 26162 134901 372374 | 798366 805295 122 | 72.016 % |
4887.45/4888.95 c | 807271 | 26162 134901 372374 | 798366 805636 122 | 72.016 % |
4891.75/4893.22 c | 807644 | 26162 134901 372374 | 798366 806009 122 | 72.016 % |
4895.35/4896.85 c | 808055 | 26162 134901 372374 | 798366 806420 122 | 72.016 % |
4899.84/4901.36 c | 808505 | 26162 134901 372374 | 798366 806870 122 | 72.016 % |
4905.64/4907.11 c | 808998 | 26162 134901 372374 | 798366 807363 122 | 72.016 % |
4911.94/4913.48 c | 809542 | 26162 134901 372374 | 798366 807907 122 | 72.016 % |
4919.24/4920.72 c | 810138 | 26162 134901 372374 | 808366 808503 122 | 72.016 % |
4929.33/4930.80 c | 810794 | 26162 134901 372374 | 808366 809159 122 | 72.016 % |
4935.83/4937.34 c | 811516 | 26162 134901 372374 | 808366 809881 122 | 72.016 % |
4943.63/4945.15 c | 812308 | 26162 134901 372374 | 808366 810673 123 | 72.016 % |
4951.63/4953.16 c | 813181 | 26162 134901 372374 | 808366 811546 123 | 72.016 % |
4962.33/4963.85 c | 814139 | 26162 134901 372374 | 808366 812504 123 | 72.016 % |
4974.02/4975.59 c | 815192 | 26162 134901 372374 | 808366 813557 123 | 72.016 % |
4986.81/4988.32 c | 816350 | 26162 134901 372374 | 808366 814715 123 | 72.016 % |
5002.11/5003.63 c | 817623 | 26162 134901 372374 | 808366 815988 123 | 72.016 % |
5018.81/5020.31 c | 819024 | 26162 134901 372374 | 808366 817389 123 | 72.016 % |
5033.00/5034.54 c | 820565 | 26162 134901 372374 | 818365 818930 123 | 72.016 % |
5049.20/5050.77 c | 822261 | 26162 134901 372374 | 818365 820626 123 | 72.016 % |
5067.39/5068.91 c | 824124 | 26162 134901 372374 | 818365 822489 123 | 72.016 % |
5088.99/5090.55 c | 826173 | 26162 134901 372374 | 818365 824538 123 | 72.016 % |
5111.69/5113.25 c | 828426 | 26162 134901 372374 | 818365 826791 122 | 72.016 % |
5138.78/5140.38 c | 830905 | 26162 134901 372374 | 828366 829270 122 | 72.016 % |
5162.77/5164.34 c | 833631 | 26162 134901 372374 | 828366 831996 122 | 72.016 % |
5194.36/5195.94 c | 836629 | 26162 134901 372374 | 828366 834994 122 | 72.016 % |
5227.15/5228.72 c | 839927 | 26162 134901 372374 | 828366 838292 123 | 72.016 % |
5269.34/5270.90 c | 843553 | 26162 134901 372374 | 838367 841918 123 | 72.016 % |
5307.83/5309.46 c | 847540 | 26162 134901 372374 | 838367 845905 123 | 72.016 % |
5349.22/5350.82 c | 851925 | 26162 134901 372374 | 848366 850290 123 | 72.016 % |
5407.60/5409.26 c | 856748 | 26162 134901 372374 | 848366 855113 123 | 72.016 % |
5458.59/5460.21 c | 862054 | 26162 134901 372374 | 858365 860419 123 | 72.016 % |
5524.27/5525.99 c | 867889 | 26162 134901 372374 | 858365 866254 123 | 72.016 % |
5584.96/5586.65 c | 874310 | 26162 134901 372374 | 868365 872675 122 | 72.016 % |
5659.83/5661.58 c | 881369 | 26162 134901 372374 | 878368 879734 122 | 72.016 % |
5745.91/5747.61 c | 889134 | 26162 134901 372374 | 878368 887499 122 | 72.016 % |
5747.31/5749.08 c | 889234 | 26162 134901 372374 | 878368 887599 122 | 72.016 % |
5749.51/5751.21 c | 889347 | 26162 134901 372374 | 878368 887712 122 | 72.016 % |
5751.71/5753.49 c | 889470 | 26162 134901 372374 | 878368 887835 122 | 72.016 % |
5753.61/5755.38 c | 889603 | 26162 134901 372374 | 878368 887968 122 | 72.016 % |
5755.71/5757.44 c | 889750 | 26162 134901 372374 | 878368 888115 122 | 72.016 % |
5758.11/5759.85 c | 889911 | 26162 134901 372374 | 878368 888276 122 | 72.016 % |
5760.61/5762.39 c | 890087 | 26162 134901 372374 | 888368 888452 122 | 72.016 % |
5763.00/5764.75 c | 890283 | 26162 134901 372374 | 888368 888648 122 | 72.016 % |
5765.30/5767.04 c | 890496 | 26162 134901 372374 | 888368 888861 122 | 72.016 % |
5768.20/5770.00 c | 890733 | 26162 134901 372374 | 888368 889098 122 | 72.016 % |
5771.90/5773.61 c | 890989 | 26162 134901 372374 | 888368 889354 122 | 72.016 % |
5775.60/5777.30 c | 891274 | 26162 134901 372374 | 888368 889639 122 | 72.016 % |
5778.49/5780.27 c | 891584 | 26162 134901 372374 | 888368 889949 122 | 72.016 % |
5782.19/5783.94 c | 891925 | 26162 134901 372374 | 888368 890290 122 | 72.016 % |
5786.29/5788.08 c | 892299 | 26162 134901 372374 | 888368 890664 122 | 72.016 % |
5790.80/5792.59 c | 892708 | 26162 134901 372374 | 888368 891073 122 | 72.016 % |
5796.40/5798.15 c | 893158 | 26162 134901 372374 | 888368 891523 122 | 72.016 % |
5801.99/5803.77 c | 893651 | 26162 134901 372374 | 888368 892016 122 | 72.016 % |
5809.29/5811.07 c | 894195 | 26162 134901 372374 | 888368 892560 122 | 72.016 % |
5815.69/5817.48 c | 894791 | 26162 134901 372374 | 888368 893156 122 | 72.016 % |
5823.98/5825.72 c | 895447 | 26162 134901 372374 | 888368 893812 122 | 72.016 % |
5836.08/5837.81 c | 896168 | 26162 134901 372374 | 888368 894533 122 | 72.016 % |
5845.68/5847.50 c | 896961 | 26162 134901 372374 | 888368 895326 122 | 72.016 % |
5854.58/5856.31 c | 897832 | 26162 134901 372374 | 888368 896197 123 | 72.016 % |
5864.08/5865.89 c | 898793 | 26162 134901 372374 | 888368 897158 123 | 72.016 % |
5877.27/5879.00 c | 899847 | 26162 134901 372374 | 888368 898212 123 | 72.016 % |
5892.87/5894.68 c | 901007 | 26162 134901 372374 | 898365 899372 123 | 72.016 % |
5907.37/5909.13 c | 902281 | 26162 134901 372374 | 898365 900646 123 | 72.016 % |
5923.06/5924.80 c | 903684 | 26162 134901 372374 | 898365 902049 123 | 72.016 % |
5940.76/5942.55 c | 905225 | 26162 134901 372374 | 898365 903590 123 | 72.016 % |
5958.75/5960.59 c | 906920 | 26162 134901 372374 | 898365 905285 123 | 72.016 % |
5981.64/5983.43 c | 908784 | 26162 134901 372374 | 898365 907149 123 | 72.016 % |
6004.44/6006.23 c | 910834 | 26162 134901 372374 | 908365 909199 123 | 72.016 % |
6032.13/6033.90 c | 913090 | 26162 134901 372374 | 908365 911455 123 | 72.016 % |
6060.22/6062.04 c | 915569 | 26162 134901 372374 | 908365 913934 123 | 72.016 % |
6093.01/6094.83 c | 918294 | 26162 134901 372374 | 908365 916659 123 | 72.016 % |
6125.30/6127.11 c | 921292 | 26162 134901 372374 | 918374 919657 123 | 72.016 % |
6158.59/6160.40 c | 924588 | 26162 134901 372374 | 918374 922953 123 | 72.016 % |
6197.39/6199.25 c | 928213 | 26162 134901 372374 | 918374 926578 123 | 72.016 % |
6243.67/6245.54 c | 932200 | 26162 134901 372374 | 928366 930565 123 | 72.016 % |
6289.86/6291.79 c | 936586 | 26162 134901 372374 | 928366 934951 123 | 72.016 % |
6346.14/6348.09 c | 941409 | 26162 134901 372374 | 938365 939774 123 | 72.016 % |
6412.62/6414.50 c | 946715 | 26162 134901 372374 | 938365 945080 123 | 72.016 % |
6474.20/6476.18 c | 952550 | 26162 134901 372374 | 948365 950915 123 | 72.016 % |
6538.29/6540.22 c | 958970 | 26162 134901 372374 | 948365 957335 123 | 72.016 % |
6610.77/6612.74 c | 966029 | 26162 134901 372374 | 958366 964394 123 | 72.016 % |
6683.65/6685.63 c | 973795 | 26162 134901 372374 | 968366 972160 123 | 72.016 % |
6775.63/6777.63 c | 982337 | 26162 134901 372374 | 978376 980702 122 | 72.016 % |
6776.83/6778.83 c | 982438 | 26162 134901 372374 | 978376 980803 122 | 72.016 % |
6777.83/6779.84 c | 982550 | 26162 134901 372374 | 978376 980915 122 | 72.016 % |
6779.93/6781.98 c | 982671 | 26162 134901 372374 | 978376 981036 122 | 72.016 % |
6781.63/6783.61 c | 982804 | 26162 134901 372374 | 978376 981169 122 | 72.016 % |
6783.62/6785.67 c | 982950 | 26162 134901 372374 | 978376 981315 122 | 72.016 % |
6786.03/6788.01 c | 983112 | 26162 134901 372374 | 978376 981477 122 | 72.016 % |
6788.02/6790.01 c | 983289 | 26162 134901 372374 | 978376 981654 122 | 72.016 % |
6790.32/6792.36 c | 983484 | 26162 134901 372374 | 978376 981849 122 | 72.016 % |
6794.12/6796.14 c | 983698 | 26162 134901 372374 | 978376 982063 122 | 72.016 % |
6797.02/6799.05 c | 983931 | 26162 134901 372374 | 978376 982296 122 | 72.016 % |
6800.92/6802.99 c | 984191 | 26162 134901 372374 | 978376 982556 122 | 72.016 % |
6804.21/6806.23 c | 984474 | 26162 134901 372374 | 978376 982839 122 | 72.016 % |
6808.21/6810.24 c | 984783 | 26162 134901 372374 | 978376 983148 122 | 72.016 % |
6811.91/6813.97 c | 985127 | 26162 134901 372374 | 978376 983492 122 | 72.016 % |
6816.31/6818.38 c | 985502 | 26162 134901 372374 | 978376 983867 122 | 72.016 % |
6821.41/6823.44 c | 985915 | 26162 134901 372374 | 978376 984280 122 | 72.016 % |
6827.61/6829.68 c | 986365 | 26162 134901 372374 | 978376 984730 122 | 72.016 % |
6835.21/6837.29 c | 986859 | 26162 134901 372374 | 978376 985224 122 | 72.016 % |
6841.81/6843.85 c | 987402 | 26162 134901 372374 | 978376 985767 122 | 72.016 % |
6850.00/6852.02 c | 988002 | 26157 134857 372257 | 978376 986366 122 | 72.022 % |
6857.90/6859.93 c | 988657 | 26157 134857 372257 | 978376 987021 122 | 72.022 % |
6867.19/6869.26 c | 989379 | 26157 134857 372257 | 978376 987743 122 | 72.022 % |
6877.79/6879.86 c | 990173 | 26157 134857 372257 | 988364 988537 122 | 72.022 % |
6889.40/6891.45 c | 991045 | 26157 134857 372257 | 988364 989409 122 | 72.022 % |
6901.79/6903.84 c | 992010 | 26157 134857 372257 | 988364 990374 122 | 72.022 % |
6916.49/6918.56 c | 993063 | 26157 134857 372257 | 988364 991427 122 | 72.022 % |
6934.18/6936.28 c | 994221 | 26157 134857 372257 | 988364 992585 122 | 72.022 % |
6948.47/6950.54 c | 995498 | 26157 134857 372257 | 988364 993862 122 | 72.022 % |
6966.17/6968.23 c | 996898 | 26157 134857 372257 | 988364 995262 122 | 72.022 % |
6984.87/6986.91 c | 998438 | 26157 134857 372257 | 988364 996802 122 | 72.022 % |
7001.86/7003.94 c | 1000132 | 26157 134857 372257 | 998364 998496 122 | 72.022 % |
7027.55/7029.69 c | 1001995 | 26157 134857 372257 | 998364 1000359 122 | 72.022 % |
7047.94/7050.04 c | 1004044 | 26157 134857 372257 | 998364 1002408 122 | 72.022 % |
7070.74/7072.83 c | 1006298 | 26157 134857 372257 | 998364 1004662 122 | 72.022 % |
7100.54/7102.61 c | 1008778 | 26157 134857 372257 | 998364 1007142 122 | 72.022 % |
7134.92/7137.02 c | 1011503 | 26157 134857 372257 | 1008366 1009867 123 | 72.022 % |
7173.21/7175.39 c | 1014500 | 26157 134857 372257 | 1008366 1012864 123 | 72.022 % |
7212.70/7214.87 c | 1017796 | 26157 134857 372257 | 1008366 1016160 123 | 72.022 % |
7260.78/7262.97 c | 1021421 | 26157 134857 372257 | 1018365 1019785 123 | 72.022 % |
7306.97/7309.14 c | 1025409 | 26157 134857 372257 | 1018365 1023773 123 | 72.022 % |
7356.76/7358.96 c | 1029796 | 26157 134857 372257 | 1018365 1028160 123 | 72.022 % |
7411.75/7413.97 c | 1034621 | 26157 134857 372257 | 1028368 1032985 123 | 72.022 % |
7467.73/7469.90 c | 1039926 | 26157 134857 372257 | 1028368 1038290 123 | 72.022 % |
7527.01/7529.27 c | 1045761 | 26157 134857 372257 | 1038364 1044125 123 | 72.022 % |
7596.69/7598.99 c | 1052182 | 26157 134857 372257 | 1048365 1050546 123 | 72.022 % |
7680.47/7682.77 c | 1059245 | 26157 134857 372257 | 1048365 1057609 123 | 72.022 % |
7766.95/7769.24 c | 1067012 | 26157 134857 372257 | 1058364 1065376 123 | 72.022 % |
7885.31/7887.66 c | 1075553 | 26157 134857 372257 | 1068364 1073917 122 | 72.022 % |
8003.48/8005.86 c | 1084949 | 26157 134857 372257 | 1078364 1083313 122 | 72.022 % |
8005.08/8007.46 c | 1085051 | 26157 134857 372257 | 1078364 1083415 122 | 72.022 % |
8006.58/8008.99 c | 1085162 | 26157 134857 372257 | 1078364 1083526 122 | 72.022 % |
8008.28/8010.60 c | 1085283 | 26157 134857 372257 | 1078364 1083647 122 | 72.022 % |
8010.48/8012.88 c | 1085416 | 26157 134857 372257 | 1078364 1083780 122 | 72.022 % |
8012.77/8015.14 c | 1085564 | 26157 134857 372257 | 1078364 1083928 122 | 72.022 % |
8015.07/8017.48 c | 1085724 | 26157 134857 372257 | 1078364 1084088 122 | 72.022 % |
8017.57/8019.93 c | 1085900 | 26157 134857 372257 | 1078364 1084264 122 | 72.022 % |
8020.48/8022.87 c | 1086093 | 26157 134857 372257 | 1078364 1084457 122 | 72.022 % |
8023.78/8026.12 c | 1086307 | 26157 134857 372257 | 1078364 1084671 122 | 72.022 % |
8026.98/8029.33 c | 1086540 | 26157 134857 372257 | 1078364 1084904 122 | 72.022 % |
8031.08/8033.44 c | 1086796 | 26157 134857 372257 | 1078364 1085160 122 | 72.022 % |
8034.68/8037.01 c | 1087077 | 26157 134857 372257 | 1078364 1085441 122 | 72.022 % |
8039.07/8041.45 c | 1087387 | 26157 134857 372257 | 1078364 1085751 122 | 72.022 % |
8043.27/8045.64 c | 1087728 | 26157 134857 372257 | 1078364 1086092 122 | 72.022 % |
8048.87/8051.27 c | 1088101 | 26157 134857 372257 | 1078364 1086465 122 | 72.022 % |
8054.66/8057.05 c | 1088511 | 26157 134857 372257 | 1078364 1086875 122 | 72.022 % |
8059.57/8061.94 c | 1088961 | 26157 134857 372257 | 1078364 1087325 122 | 72.022 % |
8065.37/8067.76 c | 1089454 | 26157 134857 372257 | 1078364 1087818 122 | 72.022 % |
8070.87/8073.29 c | 1089996 | 26157 134857 372257 | 1078364 1088360 122 | 72.022 % |
8079.66/8082.06 c | 1090592 | 26157 134857 372257 | 1088365 1088956 122 | 72.022 % |
8090.26/8092.62 c | 1091255 | 26157 134857 372257 | 1088365 1089619 122 | 72.022 % |
8100.55/8102.98 c | 1091976 | 26157 134857 372257 | 1088365 1090340 122 | 72.022 % |
8111.65/8114.02 c | 1092768 | 26157 134857 372257 | 1088365 1091132 122 | 72.022 % |
8121.85/8124.23 c | 1093639 | 26157 134857 372257 | 1088365 1092003 122 | 72.022 % |
8136.45/8138.89 c | 1094597 | 26157 134857 372257 | 1088365 1092961 122 | 72.022 % |
8150.04/8152.43 c | 1095651 | 26157 134857 372257 | 1088365 1094015 122 | 72.022 % |
8168.54/8170.94 c | 1096810 | 26157 134857 372257 | 1088365 1095174 122 | 72.022 % |
8187.33/8189.79 c | 1098083 | 26128 134640 371697 | 1088365 1096415 122 | 72.053 % |
8206.22/8208.60 c | 1099483 | 26128 134640 371697 | 1088365 1097815 122 | 72.053 % |
8222.42/8224.89 c | 1101024 | 26128 134640 371697 | 1098333 1099356 122 | 72.053 % |
8239.01/8241.40 c | 1102718 | 26128 134640 371697 | 1098333 1101050 122 | 72.053 % |
8257.71/8260.10 c | 1104583 | 26128 134640 371697 | 1098333 1102915 122 | 72.053 % |
8287.30/8289.73 c | 1106632 | 26128 134640 371697 | 1098333 1104964 122 | 72.053 % |
8317.59/8320.04 c | 1108885 | 26128 134640 371697 | 1098333 1107217 122 | 72.053 % |
8345.98/8348.41 c | 1111364 | 26128 134640 371697 | 1108334 1109696 122 | 72.053 % |
8375.48/8377.96 c | 1114089 | 26128 134640 371697 | 1108334 1112421 122 | 72.053 % |
8412.67/8415.19 c | 1117087 | 26128 134640 371697 | 1108334 1115419 122 | 72.053 % |
8452.36/8454.80 c | 1120384 | 26128 134640 371697 | 1118333 1118716 122 | 72.053 % |
8497.15/8499.63 c | 1124009 | 26128 134640 371697 | 1118333 1122339 122 | 72.061 % |
8548.43/8550.90 c | 1128000 | 26128 134640 371697 | 1118333 1126330 122 | 72.061 % |
8599.12/8601.65 c | 1132389 | 26128 134640 371697 | 1128331 1130719 122 | 72.061 % |
8655.80/8658.34 c | 1137215 | 26128 134640 371697 | 1128331 1135545 122 | 72.061 % |
8723.29/8725.82 c | 1142520 | 26128 134640 371697 | 1138330 1140850 122 | 72.061 % |
8787.67/8790.24 c | 1148356 | 26128 134640 371697 | 1138330 1146686 122 | 72.061 % |
8865.54/8868.13 c | 1154778 | 26128 134640 371697 | 1148330 1153108 122 | 72.061 % |
8964.22/8966.80 c | 1161837 | 26128 134640 371697 | 1158330 1160167 122 | 72.061 % |
9064.49/9067.16 c | 1169603 | 26128 134640 371697 | 1158330 1167933 122 | 72.061 % |
9172.66/9175.40 c | 1178144 | 26128 134640 371697 | 1168330 1176474 122 | 72.061 % |
9310.93/9313.67 c | 1187540 | 26128 134640 371697 | 1178330 1185870 122 | 72.061 % |
9467.48/9470.28 c | 1197874 | 26128 134640 371697 | 1188330 1196204 122 | 72.061 % |
9469.18/9471.98 c | 1197975 | 26128 134640 371697 | 1188330 1196305 122 | 72.061 % |
9470.88/9473.63 c | 1198086 | 26128 134640 371697 | 1188330 1196416 122 | 72.061 % |
9473.28/9476.06 c | 1198208 | 26128 134640 371697 | 1188330 1196538 122 | 72.061 % |
9476.08/9478.85 c | 1198341 | 26128 134640 371697 | 1188330 1196671 122 | 72.061 % |
9478.68/9481.46 c | 1198488 | 26128 134640 371697 | 1188330 1196818 122 | 72.061 % |
9481.88/9484.69 c | 1198649 | 26128 134640 371697 | 1188330 1196979 122 | 72.061 % |
9484.68/9487.42 c | 1198825 | 26128 134640 371697 | 1188330 1197155 122 | 72.061 % |
9487.98/9490.73 c | 1199019 | 26128 134640 371697 | 1188330 1197349 122 | 72.061 % |
9490.68/9493.44 c | 1199232 | 26128 134640 371697 | 1188330 1197562 122 | 72.061 % |
9494.17/9496.91 c | 1199467 | 26128 134640 371697 | 1188330 1197797 122 | 72.061 % |
9498.47/9501.26 c | 1199723 | 26128 134640 371697 | 1188330 1198053 122 | 72.061 % |
9503.77/9506.51 c | 1200006 | 26128 134640 371697 | 1198330 1198336 122 | 72.061 % |
9509.57/9512.31 c | 1200316 | 26128 134640 371697 | 1198330 1198646 122 | 72.061 % |
9513.87/9516.66 c | 1200655 | 26128 134640 371697 | 1198330 1198985 122 | 72.061 % |
9519.07/9521.90 c | 1201028 | 26128 134640 371697 | 1198330 1199358 122 | 72.061 % |
9527.06/9529.87 c | 1201438 | 26128 134640 371697 | 1198330 1199768 122 | 72.061 % |
9534.76/9537.53 c | 1201891 | 26128 134640 371697 | 1198330 1200221 122 | 72.061 % |
9541.26/9544.07 c | 1202384 | 26128 134640 371697 | 1198330 1200714 122 | 72.061 % |
9553.55/9556.38 c | 1202928 | 26128 134640 371697 | 1198330 1201258 122 | 72.061 % |
9563.26/9566.07 c | 1203530 | 26128 134640 371697 | 1198330 1201860 122 | 72.061 % |
9574.45/9577.27 c | 1204189 | 26128 134640 371697 | 1198330 1202519 122 | 72.061 % |
9586.75/9589.59 c | 1204909 | 26128 134640 371697 | 1198330 1203239 122 | 72.061 % |
9597.74/9600.59 c | 1205701 | 26128 134640 371697 | 1198330 1204031 122 | 72.061 % |
9612.54/9615.30 c | 1206572 | 26120 134559 371477 | 1198330 1204902 122 | 72.061 % |
9626.33/9629.14 c | 1207530 | 26120 134559 371477 | 1198330 1205860 122 | 72.061 % |
9643.13/9645.92 c | 1208584 | 26120 134559 371477 | 1198330 1206914 122 | 72.061 % |
9658.33/9661.15 c | 1209743 | 26120 134559 371477 | 1198330 1208073 122 | 72.061 % |
9675.43/9678.21 c | 1211016 | 26120 134559 371477 | 1208330 1209346 122 | 72.061 % |
9693.12/9695.91 c | 1212417 | 26120 134559 371477 | 1208330 1210747 122 | 72.061 % |
9714.71/9717.59 c | 1213959 | 26120 134559 371477 | 1208330 1212289 122 | 72.061 % |
9735.81/9738.61 c | 1215653 | 26120 134559 371477 | 1208330 1213983 122 | 72.061 % |
9759.20/9762.03 c | 1217524 | 26120 134559 371477 | 1208330 1215854 122 | 72.061 % |
9783.90/9786.79 c | 1219574 | 26120 134559 371477 | 1208330 1217904 122 | 72.061 % |
9815.68/9818.50 c | 1221827 | 26120 134559 371477 | 1218331 1220157 122 | 72.061 % |
9860.18/9863.07 c | 1224305 | 26120 134559 371477 | 1218331 1222635 122 | 72.061 % |
9912.96/9915.88 c | 1227033 | 26120 134559 371477 | 1218331 1225363 122 | 72.061 % |
9955.35/9958.28 c | 1230033 | 26120 134559 371477 | 1228332 1228363 122 | 72.061 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837062-1242857019/watcher-1837062-1242857019 -o /tmp/evaluation-result-1837062-1242857019/solver-1837062-1242857019 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837062-1242857019.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 7427
/proc/meminfo: memFree=1751416/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=0
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 313734754 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 210824298578 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/7427/statm: 1339 235 195 169 0 50 0
[pid=7428] ppid=7427 vsize=5356 CPUtime=0
/proc/7428/stat : 7428 (SatELiteGTI) S 7427 7427 7390 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 313734754 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/7428/statm: 1339 238 198 169 0 50 0
[pid=7430] ppid=7428 vsize=2452 CPUtime=0
/proc/7430/stat : 7430 (sed) R 7428 7427 7390 0 -1 4194304 104 0 0 0 0 0 0 0 18 0 1 0 313734754 2510848 78 1992294400 4194304 4240196 548682069056 18446744073709551615 210823969536 0 0 4096 0 0 0 0 17 0 0 0
/proc/7430/statm: 646 93 75 11 0 50 0
[startup+0.026514 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 7427
/proc/meminfo: memFree=1751416/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=0
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313734754 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7427/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101518 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 7427
/proc/meminfo: memFree=1751416/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=0
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313734754 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7427/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301541 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 7427
/proc/meminfo: memFree=1751416/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=0
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313734754 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7427/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701588 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 7427
/proc/meminfo: memFree=1751416/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=0
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313734754 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7427/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50168 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 7432
/proc/meminfo: memFree=1633768/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=0
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313734754 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7427/statm: 1339 237 197 169 0 50 0
[pid=7432] ppid=7427 vsize=170328 CPUtime=1.48
/proc/7432/stat : 7432 (SatELite_releas) R 7427 7427 7390 0 -1 4194304 36284 0 0 0 129 19 0 0 25 0 1 0 313734755 174415872 36178 1992294400 134512640 135223648 4294956128 18446744073709551615 134546390 0 0 4096 3 0 0 0 17 1 0 0
/proc/7432/statm: 42582 36178 71 173 0 42407 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 175684
[startup+3.10187 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 7432
/proc/meminfo: memFree=1596584/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=0
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313734754 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7427/statm: 1339 237 197 169 0 50 0
[pid=7432] ppid=7427 vsize=185372 CPUtime=3.08
/proc/7432/stat : 7432 (SatELite_releas) R 7427 7427 7390 0 -1 4194304 43240 0 0 0 284 24 0 0 25 0 1 0 313734755 189820928 39472 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/7432/statm: 46343 39472 76 173 0 46168 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 190728
[startup+6.30124 s]
/proc/loadavg: 0.23 0.05 0.02 2/66 7432
/proc/meminfo: memFree=1584360/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=0
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313734754 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7427/statm: 1339 237 197 169 0 50 0
[pid=7432] ppid=7427 vsize=204604 CPUtime=6.28
/proc/7432/stat : 7432 (SatELite_releas) R 7427 7427 7390 0 -1 4194304 47902 0 0 0 601 27 0 0 25 0 1 0 313734755 209514496 43403 1992294400 134512640 135223648 4294956128 18446744073709551615 134578179 0 0 4096 3 0 0 0 17 1 0 0
/proc/7432/statm: 51151 43403 76 173 0 50976 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 209960
[startup+12.702 s]
/proc/loadavg: 0.29 0.06 0.02 2/66 7432
/proc/meminfo: memFree=1572136/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 5356
[startup+25.5015 s]
/proc/loadavg: 0.45 0.11 0.04 2/66 7433
/proc/meminfo: memFree=1697512/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=35328 CPUtime=13.05
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 8269 0 0 0 1300 5 0 0 25 0 1 0 313735998 36175872 8218 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 8832 8218 77 171 0 8659 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 40684
[startup+51.1015 s]
/proc/loadavg: 0.64 0.18 0.06 2/66 7433
/proc/meminfo: memFree=1694376/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=38636 CPUtime=38.62
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 9102 0 0 0 3856 6 0 0 25 0 1 0 313735998 39563264 9051 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 9659 9051 77 171 0 9486 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 43992
[startup+102.306 s]
/proc/loadavg: 0.88 0.32 0.11 2/66 7433
/proc/meminfo: memFree=1683304/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=49772 CPUtime=89.79
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 11888 0 0 0 8969 10 0 0 25 0 1 0 313735998 50966528 11837 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 12443 11837 77 171 0 12270 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 55128
[startup+162.302 s]
/proc/loadavg: 0.99 0.45 0.17 2/66 7433
/proc/meminfo: memFree=1671528/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=61764 CPUtime=149.77
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 14849 0 0 0 14963 14 0 0 25 0 1 0 313735998 63246336 14798 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 15441 14798 77 171 0 15268 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 67120
[startup+222.302 s]
/proc/loadavg: 1.03 0.57 0.22 2/66 7433
/proc/meminfo: memFree=1660008/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=72948 CPUtime=209.75
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 17665 0 0 0 20957 18 0 0 25 0 1 0 313735998 74698752 17614 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 18237 17614 77 171 0 18064 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 78304
[startup+282.302 s]
/proc/loadavg: 1.12 0.67 0.28 2/66 7433
/proc/meminfo: memFree=1650280/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=82832 CPUtime=269.73
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 20112 0 0 0 26951 22 0 0 25 0 1 0 313735998 84819968 20061 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 20708 20061 77 171 0 20535 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 88188
[startup+342.302 s]
/proc/loadavg: 1.12 0.74 0.33 2/66 7433
/proc/meminfo: memFree=1639464/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=93476 CPUtime=329.71
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 22788 0 0 0 32946 25 0 0 25 0 1 0 313735998 95719424 22737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 23369 22737 77 171 0 23196 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 98832
[startup+402.301 s]
/proc/loadavg: 1.11 0.80 0.37 2/66 7433
/proc/meminfo: memFree=1630888/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=102428 CPUtime=389.69
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 24953 0 0 0 38942 27 0 0 25 0 1 0 313735998 104886272 24902 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 25607 24902 77 171 0 25434 0
Current children cumulated CPU time (s) 402.09
################
# More data... #
################
/proc/7433/statm: 165592 163248 77 171 0 165419 0
Current children cumulated CPU time (s) 9399.6
Current children cumulated vsize (KiB) 667724
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7449
/proc/meminfo: memFree=1069224/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=664632 CPUtime=9447.18
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 163834 0 0 0 944515 203 0 0 25 0 1 0 313735998 680583168 163783 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 166158 163783 77 171 0 165985 0
Current children cumulated CPU time (s) 9459.58
Current children cumulated vsize (KiB) 669988
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7449
/proc/meminfo: memFree=1066344/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=667676 CPUtime=9507.16
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 164547 0 0 0 950512 204 0 0 25 0 1 0 313735998 683700224 164496 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 166919 164496 77 171 0 166746 0
Current children cumulated CPU time (s) 9519.56
Current children cumulated vsize (KiB) 673032
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7449
/proc/meminfo: memFree=1064488/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=669632 CPUtime=9567.15
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 164998 0 0 0 956510 205 0 0 25 0 1 0 313735998 685703168 164947 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 167408 164947 77 171 0 167235 0
Current children cumulated CPU time (s) 9579.55
Current children cumulated vsize (KiB) 674988
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7451
/proc/meminfo: memFree=1062696/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=671216 CPUtime=9627.13
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 165422 0 0 0 962508 205 0 0 25 0 1 0 313735998 687325184 165371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 167804 165371 77 171 0 167631 0
Current children cumulated CPU time (s) 9639.53
Current children cumulated vsize (KiB) 676572
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7451
/proc/meminfo: memFree=1060328/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=673444 CPUtime=9687.12
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 165999 0 0 0 968506 206 0 0 25 0 1 0 313735998 689606656 165948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 168361 165948 77 171 0 168188 0
Current children cumulated CPU time (s) 9699.52
Current children cumulated vsize (KiB) 678800
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7451
/proc/meminfo: memFree=1057384/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=676412 CPUtime=9747.1
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 166751 0 0 0 974503 207 0 0 25 0 1 0 313735998 692645888 166700 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 169103 166700 77 171 0 168930 0
Current children cumulated CPU time (s) 9759.5
Current children cumulated vsize (KiB) 681768
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7451
/proc/meminfo: memFree=1054824/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=679168 CPUtime=9807.09
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 167373 0 0 0 980500 209 0 0 25 0 1 0 313735998 695468032 167322 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 169792 167322 77 171 0 169619 0
Current children cumulated CPU time (s) 9819.49
Current children cumulated vsize (KiB) 684524
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7451
/proc/meminfo: memFree=1053288/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=680612 CPUtime=9867.07
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 167755 0 0 0 986498 209 0 0 25 0 1 0 313735998 696946688 167704 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 170153 167704 77 171 0 169980 0
Current children cumulated CPU time (s) 9879.47
Current children cumulated vsize (KiB) 685968
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7451
/proc/meminfo: memFree=1051048/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=683152 CPUtime=9927.05
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 168321 0 0 0 992496 209 0 0 25 0 1 0 313735998 699547648 168270 1992294400 134512640 135215339 4294956240 18446744073709551615 134538087 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 170788 168270 77 171 0 170615 0
Current children cumulated CPU time (s) 9939.45
Current children cumulated vsize (KiB) 688508
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7451
/proc/meminfo: memFree=1049192/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=685000 CPUtime=9987.04
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 168781 0 0 0 998494 210 0 0 25 0 1 0 313735998 701440000 168730 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 171250 168730 77 171 0 171077 0
Current children cumulated CPU time (s) 9999.44
Current children cumulated vsize (KiB) 690356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7451
/proc/meminfo: memFree=1049128/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=685000 CPUtime=9987.64
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 168785 0 0 0 998554 210 0 0 25 0 1 0 313735998 701440000 168734 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 171250 168734 77 171 0 171077 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 690356
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7451
/proc/meminfo: memFree=1049128/2055920 swapFree=4179668/4192956
[pid=7427] ppid=7425 vsize=5356 CPUtime=12.4
/proc/7427/stat : 7427 (SatELiteGTI) S 7425 7427 7390 0 -1 4194304 336 67209 0 0 0 0 1194 46 16 0 1 0 313734754 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7427/statm: 1339 239 197 169 0 50 0
[pid=7433] ppid=7427 vsize=685000 CPUtime=9987.64
/proc/7433/stat : 7433 (minisat_static) R 7427 7427 7390 0 -1 4194304 168785 0 0 0 998554 210 0 0 25 0 1 0 313735998 701440000 168734 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7433/statm: 171250 168734 77 171 0 171077 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 690356
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7427 and gives
# childrusage.ru_utime.tv_sec=11
# childrusage.ru_utime.tv_usec=950183
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=469928
# CPU time returned by wait4() is 12.4201
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10002.9
CPU time (s): 10000
CPU user time (s): 9997.48
CPU system time (s): 2.56
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 690356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9502
system time used= 0.469928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67545
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= 15
involuntary context switches= 30
runsolver used 11.8182 second user time and 24.6263 second system time
The end
Begin job on node33 at 2009-05-21 00:03:41
IDJOB=1837062
IDBENCH=20375
IDSOLVER=674
FILE ID=node33/1837062-1242857019
PBS_JOBID= 9328481
Free space on /tmp= 66252 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-10-19-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837062-1242857019/watcher-1837062-1242857019 -o /tmp/evaluation-result-1837062-1242857019/solver-1837062-1242857019 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837062-1242857019.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a2687a8a1b0deeabfd7eddcfa56549a2
RANDOM SEED=1093825867
node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1751896 kB
Buffers: 33020 kB
Cached: 231764 kB
SwapCached: 7352 kB
Active: 107352 kB
Inactive: 166076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1751896 kB
SwapTotal: 4192956 kB
SwapFree: 4179668 kB
Dirty: 30660 kB
Writeback: 0 kB
Mapped: 13796 kB
Slab: 16600 kB
Committed_AS: 1075936 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66228 MiB
End job on node33 at 2009-05-21 02:50:26