0.00/0.00 c Parsing...
0.00/0.94 c ==============================================================================
0.00/0.94 c | | ORIGINAL | LEARNT | |
0.00/0.94 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.94 c ==============================================================================
0.00/0.94 c | 0 | 1148725 2691446 | 344617 0 0 nan | 0.000 % |
8.39/8.49 c | 0 | 447274 1174513 | -- 0 -- -- | -- | -454311/-958149
8.39/8.49 c ==============================================================================
8.39/8.49 c Result : #vars: 68668 #clauses: 447274 #literals: 1174513
8.39/8.49 c CPU time: 8.19275 s
8.39/8.49 c ==============================================================================
8.88/8.99 c This is MiniSat 2.0 beta
8.88/8.99 c WARNING: for repeatability, setting FPU to use double precision
8.88/8.99 c ============================[ Problem Statistics ]=============================
8.88/8.99 c | |
8.88/8.99 c | Number of variables: 68668 |
8.88/8.99 c | Number of clauses: 447274 |
8.98/9.27 c | Parsing time: 0.24 s |
8.98/9.28 c ============================[ Search Statistics ]==============================
8.98/9.28 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.98/9.28 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.98/9.28 c ===============================================================================
8.98/9.28 c | 0 | 68668 447274 1174513 | 149091 0 nan | 0.000 % |
8.98/9.66 c | 101 | 68364 447274 1174513 | 149091 88 37 | 3.441 % |
9.97/10.05 c | 201 | 68356 447274 1174513 | 149091 185 43 | 3.600 % |
10.37/10.46 c | 301 | 66191 431196 1135638 | 149091 276 62 | 3.711 % |
10.77/10.88 c | 411 | 64873 422677 1115112 | 149091 383 56 | 5.527 % |
11.07/11.14 c | 513 | 64869 422677 1115112 | 149091 481 56 | 6.135 % |
11.37/11.48 c | 623 | 64843 422677 1115112 | 149091 586 56 | 7.118 % |
11.87/11.93 c | 744 | 63354 413274 1092784 | 149091 695 52 | 8.787 % |
12.27/12.31 c | 846 | 63311 413274 1092784 | 149091 788 49 | 18.601 % |
12.67/12.78 c | 956 | 55876 354580 946482 | 149091 717 50 | 19.117 % |
12.97/13.10 c | 1078 | 55357 350874 937485 | 149091 836 50 | 20.069 % |
13.47/13.56 c | 1211 | 55239 350874 937485 | 149091 959 51 | 21.167 % |
13.77/13.83 c | 1311 | 55239 350874 937485 | 149091 1059 61 | 21.167 % |
14.07/14.12 c | 1421 | 54133 342221 916230 | 149091 1167 59 | 21.167 % |
14.37/14.47 c | 1542 | 54121 342221 916230 | 149091 1284 59 | 21.227 % |
14.77/14.82 c | 1675 | 54085 341920 915483 | 149091 1408 59 | 22.485 % |
15.07/15.16 c | 1821 | 54083 341920 915483 | 149091 1553 65 | 22.497 % |
15.38/15.44 c | 1923 | 53216 335977 900940 | 149091 1648 66 | 22.638 % |
15.77/15.84 c | 2033 | 53214 335977 900940 | 149091 1756 65 | 22.667 % |
16.17/16.26 c | 2156 | 53022 335143 899038 | 149091 1876 63 | 28.316 % |
16.47/16.52 c | 2291 | 51885 335143 899038 | 149091 2010 64 | 28.331 % |
16.87/16.98 c | 2439 | 49191 303182 817669 | 149091 1264 44 | 28.782 % |
17.17/17.27 c | 2599 | 48446 298469 806401 | 149091 1411 41 | 30.661 % |
17.37/17.44 c | 2701 | 48408 298469 806401 | 149091 1505 42 | 33.320 % |
17.47/17.54 c | 2811 | 48408 298469 806401 | 149091 1614 46 | 33.340 % |
17.67/17.77 c | 2932 | 41485 247123 672113 | 149091 1590 48 | 47.389 % |
17.97/18.02 c | 3065 | 40856 247123 672113 | 149091 1720 46 | 47.441 % |
18.17/18.27 c | 3211 | 40854 247123 672113 | 149091 1865 45 | 47.585 % |
18.47/18.53 c | 3371 | 35992 206659 566184 | 149091 1917 46 | 47.585 % |
18.97/19.06 c | 3547 | 35992 206659 566184 | 149091 2093 57 | 47.585 % |
19.17/19.26 c | 3647 | 35296 201436 552858 | 149091 2177 56 | 48.746 % |
19.57/19.65 c | 3758 | 35295 201436 552858 | 149091 2287 57 | 48.828 % |
19.77/19.88 c | 3883 | 35139 200389 550128 | 149091 2408 57 | 48.828 % |
20.37/20.49 c | 4016 | 35124 200295 549893 | 149091 2538 56 | 48.890 % |
20.77/20.81 c | 4162 | 35121 200295 549893 | 149091 2683 56 | 49.447 % |
20.97/21.09 c | 4322 | 34698 197511 542465 | 149091 2828 55 | 49.511 % |
21.17/21.25 c | 4499 | 34687 197511 542465 | 149091 3001 54 | 49.567 % |
21.47/21.58 c | 4693 | 34502 194139 533174 | 149091 3173 55 | 49.770 % |
21.67/21.75 c | 4793 | 34502 194139 533174 | 149091 3272 58 | 49.787 % |
21.87/21.96 c | 4905 | 34500 194139 533174 | 149091 3383 58 | 49.830 % |
22.27/22.31 c | 5026 | 34451 193788 532274 | 149091 3502 61 | 49.831 % |
22.37/22.45 c | 5162 | 34451 193788 532274 | 149091 3638 62 | 49.831 % |
22.77/22.85 c | 5311 | 34451 193788 532274 | 149091 3786 65 | 49.833 % |
23.07/23.15 c | 5471 | 34449 193778 532243 | 149091 3946 65 | 49.833 % |
23.37/23.45 c | 5647 | 34449 193778 532243 | 149091 4122 64 | 49.833 % |
23.77/23.81 c | 5841 | 34449 193778 532243 | 149091 4316 67 | 49.833 % |
24.17/24.26 c | 6053 | 34436 193675 531979 | 149091 4525 68 | 49.867 % |
24.37/24.49 c | 6156 | 34408 193675 531979 | 149091 4620 67 | 51.008 % |
24.57/24.61 c | 6269 | 34396 193675 531979 | 149091 4733 67 | 51.008 % |
24.87/24.92 c | 6391 | 34396 193675 531979 | 149091 4855 67 | 51.008 % |
24.97/25.10 c | 6524 | 33640 188824 518424 | 149091 4953 67 | 51.022 % |
25.27/25.32 c | 6670 | 33640 188824 518424 | 149091 5098 68 | 51.155 % |
25.46/25.50 c | 6834 | 33640 188824 518424 | 149091 5262 68 | 51.155 % |
25.76/25.89 c | 7012 | 33640 188824 518424 | 149091 5440 70 | 51.155 % |
25.96/26.08 c | 7205 | 33541 188130 516564 | 149091 5631 71 | 51.155 % |
26.37/26.42 c | 7419 | 33541 188130 516564 | 149091 5845 72 | 51.155 % |
26.96/27.02 c | 7652 | 33495 187818 515792 | 149091 6076 73 | 51.222 % |
27.06/27.13 c | 7752 | 33495 187818 515792 | 149091 6176 74 | 51.222 % |
27.26/27.30 c | 7864 | 33495 187818 515792 | 149091 6288 75 | 51.222 % |
27.37/27.49 c | 7985 | 33495 187818 515792 | 149091 6409 76 | 51.222 % |
27.56/27.67 c | 8118 | 33495 187818 515792 | 149091 6542 77 | 51.222 % |
27.76/27.86 c | 8264 | 33495 187818 515792 | 149091 6688 79 | 51.222 % |
27.96/28.01 c | 8424 | 33495 187818 515792 | 149091 6848 79 | 51.222 % |
28.26/28.33 c | 8601 | 33495 187818 515792 | 149091 7025 80 | 51.222 % |
28.57/28.62 c | 8794 | 33495 187818 515792 | 149091 7218 80 | 51.222 % |
28.96/29.00 c | 9007 | 33495 187818 515792 | 149091 7431 80 | 51.222 % |
29.16/29.28 c | 9243 | 33495 187818 515792 | 149091 7667 81 | 51.222 % |
29.67/29.76 c | 9499 | 33495 187818 515792 | 149091 7923 81 | 51.222 % |
29.86/29.94 c | 9600 | 33495 187818 515792 | 149091 8024 82 | 51.222 % |
30.06/30.16 c | 9710 | 33495 187818 515792 | 149091 8134 82 | 51.222 % |
30.26/30.37 c | 9832 | 33495 187818 515792 | 149091 8256 82 | 51.222 % |
30.46/30.56 c | 9965 | 33495 187818 515792 | 149091 8389 82 | 51.222 % |
30.66/30.73 c | 10111 | 33495 187818 515792 | 2147483647 8535 83 | 51.222 % |
31.06/31.12 c | 10272 | 33479 187750 515617 | 2147483647 8693 83 | 51.274 % |
31.36/31.40 c | 10448 | 33479 187750 515617 | 2147483647 8869 83 | 51.274 % |
31.76/31.82 c | 10642 | 33479 187750 515617 | 2147483647 9063 84 | 51.274 % |
32.06/32.18 c | 10855 | 33479 187750 515617 | 2147483647 9276 86 | 51.274 % |
32.36/32.45 c | 11088 | 33459 187566 515142 | 2147483647 9509 88 | 51.274 % |
32.76/32.80 c | 11346 | 33459 187566 515142 | 2147483647 9767 89 | 51.274 % |
33.25/33.38 c | 11627 | 33459 187566 515142 | 2147483647 10048 89 | 51.274 % |
33.55/33.67 c | 11730 | 33459 187566 515142 | 2147483647 10151 88 | 51.274 % |
33.75/33.89 c | 11841 | 33447 187483 514939 | 2147483647 10260 88 | 51.302 % |
34.06/34.14 c | 11962 | 33447 187483 514939 | 2147483647 10381 88 | 51.302 % |
34.25/34.30 c | 12095 | 33447 187483 514939 | 2147483647 10514 88 | 51.302 % |
34.45/34.54 c | 12243 | 33435 187483 514939 | 2147483647 10661 88 | 51.372 % |
34.75/34.82 c | 12405 | 33435 187483 514939 | 2147483647 10823 90 | 51.372 % |
34.95/35.06 c | 12581 | 33435 187483 514939 | 2147483647 10999 90 | 51.372 % |
35.25/35.39 c | 12777 | 32873 187077 513955 | 2147483647 11194 90 | 59.397 % |
35.65/35.75 c | 12989 | 32873 187077 513955 | 2147483647 11406 90 | 59.397 % |
35.95/36.07 c | 13224 | 32873 187077 513955 | 2147483647 11641 89 | 59.397 % |
36.45/36.51 c | 13480 | 32873 187077 513955 | 2147483647 11897 89 | 59.397 % |
36.86/36.92 c | 13761 | 27881 151298 418071 | 2147483647 11448 91 | 59.397 % |
37.26/37.33 c | 14070 | 27881 151298 418071 | 2147483647 11757 92 | 59.397 % |
37.36/37.46 c | 14171 | 27861 151298 418071 | 2147483647 11857 91 | 65.873 % |
37.56/37.60 c | 14285 | 27861 151298 418071 | 2147483647 11971 91 | 65.873 % |
37.66/37.79 c | 14410 | 27861 151298 418071 | 2147483647 12096 91 | 65.873 % |
37.86/37.98 c | 14546 | 27861 151298 418071 | 2147483647 12232 90 | 65.873 % |
38.06/38.14 c | 14692 | 23434 125181 348008 | 2147483647 11940 91 | 66.281 % |
38.36/38.48 c | 14853 | 23434 125181 348008 | 2147483647 12101 91 | 66.281 % |
38.56/38.68 c | 15030 | 23434 125181 348008 | 2147483647 12278 91 | 66.281 % |
38.86/38.91 c | 15225 | 23434 125181 348008 | 2147483647 12473 92 | 66.281 % |
39.06/39.10 c | 15438 | 23434 125181 348008 | 2147483647 12686 92 | 66.281 % |
39.46/39.53 c | 15671 | 23434 125181 348008 | 2147483647 12919 92 | 66.281 % |
39.76/39.82 c | 15927 | 23154 123615 343661 | 2147483647 13158 93 | 66.281 % |
40.16/40.29 c | 16211 | 23154 123615 343661 | 2147483647 13442 92 | 66.281 % |
40.76/40.83 c | 16521 | 23154 123615 343661 | 2147483647 13752 92 | 66.281 % |
41.06/41.19 c | 16860 | 23154 123615 343661 | 2147483647 14091 92 | 66.281 % |
41.26/41.37 c | 16962 | 23154 123615 343661 | 2147483647 14193 92 | 66.281 % |
41.36/41.45 c | 17072 | 23154 123615 343661 | 2147483647 14303 92 | 66.281 % |
41.46/41.58 c | 17193 | 23154 123615 343661 | 2147483647 14424 92 | 66.281 % |
41.66/41.77 c | 17326 | 23154 123615 343661 | 2147483647 14557 92 | 66.281 % |
41.86/41.90 c | 17474 | 23154 123615 343661 | 2147483647 14705 92 | 66.281 % |
42.05/42.15 c | 17636 | 23154 123615 343661 | 2147483647 14867 92 | 66.281 % |
42.25/42.39 c | 17812 | 22949 122432 340886 | 2147483647 15042 92 | 66.580 % |
42.55/42.65 c | 18005 | 22949 122432 340886 | 2147483647 15233 92 | 66.610 % |
42.76/42.88 c | 18218 | 22949 122432 340886 | 2147483647 15446 92 | 66.610 % |
43.35/43.42 c | 18452 | 22947 122432 340886 | 2147483647 15678 91 | 67.081 % |
43.75/43.90 c | 18709 | 22946 122432 340886 | 2147483647 15933 91 | 67.174 % |
44.35/44.47 c | 18993 | 22541 119454 333583 | 2147483647 16206 92 | 67.174 % |
44.75/44.88 c | 19302 | 22541 119454 333583 | 2147483647 16515 93 | 67.174 % |
45.15/45.22 c | 19641 | 22541 119454 333583 | 2147483647 16854 93 | 67.174 % |
45.65/45.79 c | 20013 | 22541 119454 333583 | 2147483647 17226 92 | 67.174 % |
45.75/45.89 c | 20113 | 22541 119454 333583 | 2147483647 17326 92 | 67.174 % |
46.05/46.10 c | 20225 | 22541 119454 333583 | 2147483647 17438 92 | 67.174 % |
46.24/46.30 c | 20346 | 22541 119454 333583 | 2147483647 17559 92 | 67.174 % |
46.34/46.49 c | 20481 | 22541 119454 333583 | 2147483647 17694 91 | 67.174 % |
46.64/46.72 c | 20627 | 22541 119454 333583 | 2147483647 17840 91 | 67.174 % |
46.74/46.87 c | 20788 | 22541 119454 333583 | 2147483647 18001 91 | 67.174 % |
46.94/47.06 c | 20964 | 22541 119454 333583 | 2147483647 18177 91 | 67.174 % |
47.15/47.25 c | 21157 | 22541 119454 333583 | 2147483647 18370 92 | 67.174 % |
47.44/47.58 c | 21369 | 22531 119385 333402 | 2147483647 18581 92 | 67.189 % |
47.74/47.89 c | 21604 | 22531 119385 333402 | 2147483647 18816 92 | 67.189 % |
48.14/48.28 c | 21860 | 22531 119385 333402 | 2147483647 19072 92 | 67.189 % |
48.54/48.60 c | 22142 | 22529 119385 333402 | 2147483647 19352 91 | 67.221 % |
49.14/49.25 c | 22456 | 22529 119385 333402 | 2147483647 19666 92 | 67.221 % |
49.74/49.89 c | 22799 | 22529 119385 333402 | 2147483647 20009 93 | 67.221 % |
50.54/50.69 c | 23172 | 22509 119221 332976 | 2147483647 20377 93 | 67.221 % |
51.34/51.40 c | 23581 | 22509 119221 332976 | 2147483647 20786 93 | 67.221 % |
51.34/51.49 c | 23682 | 22509 119221 332976 | 2147483647 20887 92 | 67.221 % |
51.64/51.79 c | 23793 | 22509 119221 332976 | 2147483647 20997 92 | 67.417 % |
52.03/52.13 c | 23915 | 22374 118295 330619 | 2147483647 21119 92 | 67.417 % |
52.23/52.33 c | 24048 | 22374 118295 330619 | 2147483647 21252 92 | 67.417 % |
52.44/52.51 c | 24194 | 22374 118295 330619 | 2147483647 21398 92 | 67.417 % |
52.65/52.78 c | 24356 | 22374 118295 330619 | 2147483647 21560 92 | 67.417 % |
52.94/53.07 c | 24532 | 22374 118295 330619 | 2147483647 21736 93 | 67.417 % |
53.14/53.26 c | 24725 | 22374 118295 330619 | 2147483647 21929 93 | 67.417 % |
53.44/53.56 c | 24937 | 22374 118295 330619 | 2147483647 22141 93 | 67.417 % |
53.64/53.80 c | 25170 | 22374 118295 330619 | 2147483647 22374 93 | 67.417 % |
54.14/54.20 c | 25428 | 22374 118295 330619 | 2147483647 22632 94 | 67.417 % |
54.54/54.66 c | 25710 | 22067 116063 325218 | 2147483647 22913 94 | 67.864 % |
54.95/55.06 c | 26022 | 22067 116063 325218 | 2147483647 23225 94 | 67.864 % |
55.44/55.51 c | 26364 | 22067 116063 325218 | 2147483647 23567 94 | 67.864 % |
56.04/56.10 c | 26737 | 22067 116063 325218 | 2147483647 23940 94 | 67.864 % |
56.74/56.81 c | 27146 | 22067 116063 325218 | 2147483647 24349 95 | 67.864 % |
57.44/57.51 c | 27596 | 22067 116063 325218 | 2147483647 24799 95 | 67.864 % |
57.54/57.63 c | 27696 | 22067 116063 325218 | 2147483647 24899 95 | 67.864 % |
57.74/57.84 c | 27807 | 22067 116063 325218 | 2147483647 25010 95 | 67.864 % |
57.84/57.97 c | 27928 | 22067 116063 325218 | 2147483647 25131 95 | 67.864 % |
58.04/58.11 c | 28061 | 22067 116063 325218 | 2147483647 25264 95 | 67.864 % |
58.14/58.23 c | 28208 | 22067 116063 325218 | 2147483647 25411 95 | 67.864 % |
58.34/58.47 c | 28372 | 22067 116063 325218 | 2147483647 25575 95 | 67.864 % |
58.74/58.82 c | 28548 | 22038 115877 324718 | 2147483647 25741 95 | 67.906 % |
58.94/59.06 c | 28741 | 22038 115877 324718 | 2147483647 25934 95 | 67.906 % |
59.34/59.46 c | 28957 | 22038 115877 324718 | 2147483647 26150 95 | 67.906 % |
59.74/59.85 c | 29190 | 22038 115877 324718 | 2147483647 26383 95 | 67.906 % |
60.14/60.21 c | 29447 | 22038 115877 324718 | 2147483647 26640 95 | 67.906 % |
60.54/60.62 c | 29729 | 22038 115877 324718 | 2147483647 26922 95 | 67.906 % |
60.94/61.08 c | 30038 | 22038 115877 324718 | 2147483647 27231 95 | 67.906 % |
61.34/61.45 c | 30377 | 22038 115877 324718 | 2147483647 27570 95 | 67.906 % |
61.74/61.86 c | 30751 | 22038 115877 324718 | 2147483647 27944 95 | 67.906 % |
62.33/62.40 c | 31160 | 22038 115877 324718 | 2147483647 28353 95 | 67.906 % |
63.03/63.12 c | 31610 | 21858 114975 322189 | 2147483647 28752 95 | 68.169 % |
63.74/63.81 c | 32105 | 21858 114975 322189 | 2147483647 29247 95 | 68.169 % |
63.93/64.01 c | 32205 | 21858 114975 322189 | 2147483647 29347 95 | 68.169 % |
64.03/64.15 c | 32316 | 21858 114975 322189 | 2147483647 29458 95 | 68.169 % |
64.23/64.32 c | 32437 | 21858 114975 322189 | 2147483647 29579 95 | 68.169 % |
64.43/64.52 c | 32570 | 21858 114975 322189 | 2147483647 29712 95 | 68.169 % |
64.53/64.68 c | 32720 | 21858 114975 322189 | 2147483647 29862 96 | 68.169 % |
64.84/64.97 c | 32883 | 21858 114975 322189 | 2147483647 30025 96 | 68.169 % |
65.23/65.35 c | 33060 | 21858 114975 322189 | 2147483647 30202 96 | 68.169 % |
65.43/65.59 c | 33255 | 21858 114975 322189 | 2147483647 30397 96 | 68.169 % |
65.73/65.83 c | 33467 | 21858 114975 322189 | 2147483647 30609 96 | 68.169 % |
66.03/66.20 c | 33700 | 21858 114975 322189 | 2147483647 30841 96 | 68.179 % |
66.43/66.55 c | 33956 | 21858 114975 322189 | 2147483647 31097 96 | 68.179 % |
66.83/66.97 c | 34237 | 21851 114909 322027 | 2147483647 31370 96 | 68.284 % |
67.23/67.35 c | 34547 | 21851 114909 322027 | 2147483647 31680 97 | 68.284 % |
67.63/67.79 c | 34887 | 21850 114909 322027 | 2147483647 32019 96 | 68.301 % |
68.23/68.35 c | 35260 | 21850 114909 322027 | 2147483647 32392 96 | 68.301 % |
68.62/68.77 c | 35671 | 21850 114909 322027 | 2147483647 32803 96 | 68.301 % |
69.53/69.68 c | 36121 | 21850 114909 322027 | 2147483647 33253 96 | 68.301 % |
70.43/70.55 c | 36615 | 21850 114909 322027 | 2147483647 33745 95 | 68.340 % |
71.53/71.62 c | 37157 | 21740 113138 317017 | 2147483647 34286 95 | 68.340 % |
71.73/71.89 c | 37258 | 21740 113138 317017 | 2147483647 34387 95 | 68.340 % |
71.93/72.05 c | 37371 | 21740 113138 317017 | 2147483647 34500 95 | 68.340 % |
72.03/72.19 c | 37494 | 21740 113138 317017 | 2147483647 34623 95 | 68.340 % |
72.33/72.43 c | 37627 | 21740 113138 317017 | 2147483647 34756 95 | 68.340 % |
72.63/72.71 c | 37773 | 21740 113138 317017 | 2147483647 34902 95 | 68.340 % |
72.93/73.06 c | 37933 | 21740 113138 317017 | 2147483647 35062 95 | 68.340 % |
73.23/73.35 c | 38110 | 21740 113138 317017 | 2147483647 35239 95 | 68.340 % |
73.54/73.67 c | 38303 | 21740 113138 317017 | 2147483647 35432 95 | 68.340 % |
73.93/74.09 c | 38516 | 21740 113138 317017 | 2147483647 35645 95 | 68.340 % |
74.43/74.50 c | 38749 | 21740 113138 317017 | 2147483647 35878 95 | 68.340 % |
74.83/74.90 c | 39005 | 21740 113138 317017 | 2147483647 36134 95 | 68.340 % |
75.03/75.16 c | 39286 | 21740 113138 317017 | 2147483647 36415 95 | 68.340 % |
75.53/75.62 c | 39595 | 21740 113138 317017 | 2147483647 36724 95 | 68.340 % |
75.93/76.05 c | 39934 | 21740 113138 317017 | 2147483647 37063 95 | 68.340 % |
76.53/76.60 c | 40306 | 21740 113138 317017 | 2147483647 37435 95 | 68.340 % |
77.03/77.15 c | 40716 | 21740 113138 317017 | 2147483647 37845 95 | 68.340 % |
77.63/77.76 c | 41165 | 21740 113138 317017 | 2147483647 38294 95 | 68.340 % |
78.63/78.70 c | 41662 | 21740 113138 317017 | 2147483647 38791 95 | 68.340 % |
79.53/79.64 c | 42206 | 21740 113138 317017 | 2147483647 39335 95 | 68.340 % |
80.63/80.78 c | 42802 | 21740 113138 317017 | 2147483647 39931 95 | 68.340 % |
80.83/80.91 c | 42904 | 21740 113138 317017 | 2147483647 40033 95 | 68.340 % |
80.93/81.07 c | 43016 | 21740 113138 317017 | 2147483647 40145 95 | 68.340 % |
81.13/81.23 c | 43137 | 21740 113138 317017 | 2147483647 40266 95 | 68.340 % |
81.33/81.49 c | 43270 | 21740 113138 317017 | 2147483647 40399 95 | 68.340 % |
81.63/81.75 c | 43419 | 21740 113138 317017 | 2147483647 40548 95 | 68.340 % |
81.82/81.98 c | 43579 | 21740 113138 317017 | 2147483647 40708 95 | 68.340 % |
82.12/82.26 c | 43755 | 21740 113138 317017 | 2147483647 40884 95 | 68.340 % |
82.52/82.66 c | 43948 | 21740 113138 317017 | 2147483647 41077 95 | 68.340 % |
83.02/83.11 c | 44161 | 21740 113138 317017 | 2147483647 41290 95 | 68.340 % |
83.42/83.59 c | 44394 | 21740 113138 317017 | 2147483647 41523 94 | 68.340 % |
83.92/84.01 c | 44650 | 21740 113138 317017 | 2147483647 41779 94 | 68.340 % |
84.32/84.49 c | 44931 | 21740 113138 317017 | 2147483647 42060 94 | 68.340 % |
85.02/85.11 c | 45240 | 21740 113138 317017 | 2147483647 42369 94 | 68.340 % |
85.62/85.70 c | 45580 | 21740 113138 317017 | 2147483647 42709 94 | 68.340 % |
86.21/86.31 c | 45954 | 21740 113138 317017 | 2147483647 43083 95 | 68.340 % |
87.02/87.17 c | 46364 | 21730 113062 316825 | 2147483647 43490 95 | 68.355 % |
87.92/88.07 c | 46817 | 21729 113062 316825 | 2147483647 43942 95 | 68.372 % |
88.41/88.58 c | 47311 | 21729 113062 316825 | 2147483647 44436 95 | 68.372 % |
89.31/89.49 c | 47854 | 21728 113062 316825 | 2147483647 44978 95 | 68.394 % |
90.41/90.58 c | 48453 | 21728 113062 316825 | 2147483647 45577 95 | 68.394 % |
91.61/91.72 c | 49108 | 21728 113062 316825 | 2147483647 46231 95 | 68.412 % |
91.81/91.99 c | 49209 | 21681 112737 315961 | 2147483647 46315 95 | 68.426 % |
92.11/92.23 c | 49319 | 21681 112737 315961 | 2147483647 46425 95 | 68.426 % |
92.32/92.47 c | 49441 | 21681 112737 315961 | 2147483647 46547 95 | 68.426 % |
92.61/92.75 c | 49576 | 21681 112737 315961 | 2147483647 46682 95 | 68.426 % |
92.91/93.06 c | 49722 | 21681 112737 315961 | 2147483647 46828 95 | 68.426 % |
93.21/93.35 c | 49882 | 21681 112737 315961 | 2147483647 46988 95 | 68.426 % |
93.51/93.62 c | 50059 | 21681 112737 315961 | 2147483647 47165 95 | 68.426 % |
93.71/93.87 c | 50252 | 21681 112737 315961 | 2147483647 47358 95 | 68.426 % |
94.01/94.18 c | 50464 | 21681 112737 315961 | 2147483647 47570 95 | 68.426 % |
94.42/94.55 c | 50697 | 21681 112737 315961 | 2147483647 47803 95 | 68.426 % |
94.81/94.90 c | 50954 | 21681 112737 315961 | 2147483647 48060 95 | 68.426 % |
95.32/95.41 c | 51235 | 21681 112737 315961 | 2147483647 48341 95 | 68.426 % |
95.72/95.87 c | 51544 | 21681 112737 315961 | 2147483647 48650 95 | 68.426 % |
96.12/96.29 c | 51886 | 21681 112737 315961 | 2147483647 48992 95 | 68.426 % |
96.82/96.94 c | 52259 | 21681 112737 315961 | 2147483647 49365 96 | 68.426 % |
97.62/97.78 c | 52668 | 21679 112737 315961 | 2147483647 49772 95 | 68.457 % |
98.22/98.31 c | 53119 | 21679 112737 315961 | 2147483647 50223 95 | 68.457 % |
99.11/99.27 c | 53612 | 21679 112737 315961 | 2147483647 50716 95 | 68.457 % |
100.41/100.56 c | 54156 | 21660 112572 315537 | 2147483647 51255 95 | 68.457 % |
101.51/101.65 c | 54758 | 21660 112572 315537 | 2147483647 51857 95 | 68.457 % |
103.11/103.20 c | 55413 | 21660 112572 315537 | 2147483647 52512 95 | 68.457 % |
104.61/104.70 c | 56134 | 21658 112572 315537 | 2147483647 53230 95 | 68.656 % |
104.71/104.88 c | 56234 | 21658 112572 315537 | 2147483647 53330 95 | 68.656 % |
105.01/105.11 c | 56345 | 21658 112572 315537 | 2147483647 53441 95 | 68.656 % |
105.21/105.32 c | 56467 | 21658 112572 315537 | 2147483647 53563 95 | 68.656 % |
105.52/105.62 c | 56600 | 21523 111852 313626 | 2147483647 53675 95 | 68.656 % |
105.72/105.86 c | 56750 | 21523 111852 313626 | 2147483647 53825 95 | 68.656 % |
106.12/106.26 c | 56913 | 21523 111852 313626 | 2147483647 53988 95 | 68.656 % |
106.42/106.57 c | 57090 | 21523 111852 313626 | 2147483647 54165 95 | 68.656 % |
106.81/106.93 c | 57285 | 21522 111852 313626 | 2147483647 54359 95 | 68.672 % |
107.21/107.32 c | 57497 | 21521 111852 313626 | 2147483647 54570 95 | 68.693 % |
107.62/107.76 c | 57733 | 21521 111852 313626 | 2147483647 54806 95 | 68.693 % |
108.11/108.20 c | 57989 | 21520 111852 313626 | 2147483647 55061 95 | 68.707 % |
108.61/108.70 c | 58271 | 21520 111852 313626 | 2147483647 55343 95 | 68.707 % |
109.41/109.50 c | 58584 | 21520 111852 313626 | 2147483647 55656 95 | 68.707 % |
109.92/110.08 c | 58923 | 21517 111852 313626 | 2147483647 55994 95 | 68.721 % |
110.61/110.70 c | 59295 | 21517 111852 313626 | 2147483647 56366 95 | 68.721 % |
111.51/111.62 c | 59705 | 21517 111852 313626 | 2147483647 56775 95 | 68.737 % |
112.41/112.53 c | 60155 | 21514 111852 313626 | 2147483647 57224 95 | 68.750 % |
113.31/113.46 c | 60649 | 21459 111376 312361 | 2147483647 57677 95 | 68.770 % |
114.31/114.48 c | 61193 | 21459 111376 312361 | 2147483647 58221 95 | 68.770 % |
115.31/115.44 c | 61789 | 21458 111376 312361 | 2147483647 58815 95 | 68.939 % |
116.31/116.48 c | 62444 | 21458 111376 312361 | 2147483647 59470 95 | 68.939 % |
117.61/117.70 c | 63165 | 21458 111376 312361 | 2147483647 60191 95 | 68.939 % |
118.51/118.70 c | 63957 | 21458 111376 312361 | 2147483647 60983 95 | 68.939 % |
118.71/118.84 c | 64058 | 21458 111376 312361 | 2147483647 61084 95 | 68.939 % |
118.90/119.06 c | 64170 | 21458 111376 312361 | 2147483647 61196 95 | 68.939 % |
119.10/119.30 c | 64292 | 21458 111376 312361 | 2147483647 61318 95 | 68.939 % |
119.40/119.58 c | 64425 | 21458 111376 312361 | 2147483647 61451 95 | 68.939 % |
119.81/119.92 c | 64571 | 21458 111376 312361 | 2147483647 61597 95 | 68.939 % |
120.10/120.26 c | 64731 | 21458 111376 312361 | 2147483647 61757 95 | 68.939 % |
120.40/120.57 c | 64907 | 21458 111376 312361 | 2147483647 61932 95 | 68.962 % |
120.70/120.84 c | 65101 | 21458 111376 312361 | 2147483647 62126 95 | 68.962 % |
121.10/121.23 c | 65318 | 21457 111376 312361 | 2147483647 62342 95 | 68.974 % |
121.41/121.52 c | 65552 | 21457 111376 312361 | 2147483647 62576 95 | 68.974 % |
121.71/121.86 c | 65808 | 21457 111376 312361 | 2147483647 62832 95 | 68.974 % |
122.21/122.33 c | 66089 | 21305 110511 309567 | 2147483647 63079 95 | 68.974 % |
122.61/122.78 c | 66398 | 21305 110511 309567 | 2147483647 63388 95 | 68.974 % |
123.61/123.79 c | 66737 | 21305 110511 309567 | 2147483647 63727 95 | 68.974 % |
124.51/124.69 c | 67109 | 21305 110511 309567 | 2147483647 64099 95 | 68.974 % |
125.21/125.35 c | 67518 | 21305 110511 309567 | 2147483647 64508 95 | 68.974 % |
126.01/126.18 c | 67967 | 21305 110511 309567 | 2147483647 64957 96 | 68.974 % |
127.01/127.13 c | 68460 | 21305 110511 309567 | 2147483647 65450 96 | 68.974 % |
128.11/128.26 c | 69005 | 21305 110511 309567 | 2147483647 65995 96 | 68.974 % |
129.21/129.35 c | 69601 | 21305 110511 309567 | 2147483647 66591 96 | 68.974 % |
130.21/130.35 c | 70257 | 21305 110511 309567 | 2147483647 67247 96 | 68.974 % |
131.70/131.89 c | 70977 | 21305 110511 309567 | 2147483647 67967 96 | 68.974 % |
133.30/133.45 c | 71769 | 21305 110511 309567 | 2147483647 68759 95 | 68.974 % |
135.21/135.37 c | 72641 | 21294 110420 309325 | 2147483647 69630 96 | 68.990 % |
135.50/135.64 c | 72742 | 21294 110420 309325 | 2147483647 69731 96 | 68.990 % |
135.70/135.88 c | 72852 | 21294 110420 309325 | 2147483647 69841 96 | 68.990 % |
136.00/136.17 c | 72974 | 21294 110420 309325 | 2147483647 69962 96 | 69.153 % |
136.31/136.48 c | 73109 | 21294 110420 309325 | 2147483647 70097 96 | 69.153 % |
136.60/136.78 c | 73255 | 21294 110420 309325 | 2147483647 70243 96 | 69.153 % |
137.00/137.11 c | 73415 | 21294 110420 309325 | 2147483647 70403 96 | 69.153 % |
137.30/137.47 c | 73591 | 21294 110420 309325 | 2147483647 70579 96 | 69.153 % |
137.70/137.81 c | 73784 | 21294 110420 309325 | 2147483647 70772 96 | 69.153 % |
138.11/138.21 c | 73997 | 21294 110420 309325 | 2147483647 70984 96 | 69.543 % |
138.81/138.95 c | 74232 | 21294 110420 309325 | 2147483647 71219 96 | 69.543 % |
139.51/139.66 c | 74488 | 21294 110420 309325 | 2147483647 71475 96 | 69.543 % |
140.21/140.36 c | 74769 | 21294 110420 309325 | 2147483647 71756 96 | 69.543 % |
140.81/140.94 c | 75078 | 21294 110420 309325 | 2147483647 72065 96 | 69.543 % |
141.31/141.43 c | 75417 | 21294 110420 309325 | 2147483647 72404 96 | 69.543 % |
142.10/142.28 c | 75791 | 21294 110420 309325 | 2147483647 72778 96 | 69.543 % |
143.00/143.13 c | 76202 | 21294 110420 309325 | 2147483647 73189 96 | 69.543 % |
144.20/144.30 c | 76652 | 21289 110420 309325 | 2147483647 73637 96 | 69.577 % |
145.10/145.27 c | 77146 | 21289 110420 309325 | 2147483647 74131 96 | 69.577 % |
145.90/146.09 c | 77688 | 20891 108006 302914 | 2147483647 74622 96 | 69.577 % |
146.80/146.98 c | 78284 | 20888 108006 302914 | 2147483647 75217 96 | 69.599 % |
148.00/148.16 c | 78940 | 20888 108006 302914 | 2147483647 75873 96 | 69.599 % |
149.80/149.90 c | 79660 | 20888 108006 302914 | 2147483647 76593 96 | 69.599 % |
151.79/151.95 c | 80452 | 20887 108006 302914 | 2147483647 77384 95 | 69.634 % |
153.30/153.48 c | 81324 | 20884 108006 302914 | 2147483647 78254 95 | 69.667 % |
155.30/155.43 c | 82283 | 20884 108006 302914 | 2147483647 79213 95 | 69.667 % |
155.50/155.65 c | 82383 | 20884 108006 302914 | 2147483647 79313 95 | 69.667 % |
155.80/155.94 c | 82494 | 20884 108006 302914 | 2147483647 79424 95 | 69.667 % |
156.11/156.22 c | 82618 | 20884 108006 302914 | 2147483647 79548 95 | 69.667 % |
156.40/156.51 c | 82751 | 20829 107529 301679 | 2147483647 79657 95 | 69.667 % |
156.70/156.89 c | 82899 | 20829 107529 301679 | 2147483647 79805 95 | 69.667 % |
157.10/157.24 c | 83059 | 20829 107529 301679 | 2147483647 79965 95 | 69.667 % |
157.40/157.57 c | 83237 | 20829 107529 301679 | 2147483647 80143 95 | 69.667 % |
157.90/158.00 c | 83431 | 20829 107529 301679 | 2147483647 80337 95 | 69.667 % |
158.30/158.47 c | 83643 | 20829 107529 301679 | 2147483647 80549 95 | 69.667 % |
158.90/159.06 c | 83876 | 20829 107529 301679 | 2147483647 80782 95 | 69.667 % |
159.30/159.48 c | 84135 | 20829 107529 301679 | 2147483647 81041 95 | 69.667 % |
160.10/160.21 c | 84416 | 20829 107529 301679 | 2147483647 81322 95 | 69.667 % |
160.50/160.66 c | 84725 | 20829 107529 301679 | 2147483647 81631 95 | 69.667 % |
161.40/161.51 c | 85070 | 20829 107529 301679 | 2147483647 81976 95 | 69.667 % |
162.00/162.10 c | 85443 | 20829 107529 301679 | 2147483647 82349 95 | 69.667 % |
162.70/162.88 c | 85853 | 20829 107529 301679 | 2147483647 82759 95 | 69.667 % |
163.60/163.74 c | 86306 | 20829 107529 301679 | 2147483647 83212 94 | 69.667 % |
164.60/164.80 c | 86799 | 20829 107529 301679 | 2147483647 83705 94 | 69.667 % |
165.80/165.93 c | 87343 | 20829 107529 301679 | 2147483647 84249 94 | 69.667 % |
166.89/167.02 c | 87939 | 20829 107529 301679 | 2147483647 84845 95 | 69.667 % |
168.29/168.41 c | 88594 | 20829 107529 301679 | 2147483647 85500 95 | 69.667 % |
169.59/169.75 c | 89317 | 20829 107529 301679 | 2147483647 86223 95 | 69.667 % |
170.99/171.13 c | 90110 | 20829 107529 301679 | 2147483647 87016 95 | 69.667 % |
173.09/173.25 c | 90982 | 20829 107529 301679 | 2147483647 87888 95 | 69.667 % |
175.39/175.58 c | 91941 | 20829 107529 301679 | 2147483647 88847 96 | 69.667 % |
177.89/178.04 c | 93001 | 20829 107529 301679 | 2147483647 89907 96 | 69.667 % |
178.09/178.28 c | 93101 | 20829 107529 301679 | 2147483647 90007 96 | 69.667 % |
178.40/178.59 c | 93211 | 20829 107529 301679 | 2147483647 90117 96 | 69.667 % |
178.80/178.93 c | 93332 | 20829 107529 301679 | 2147483647 90238 96 | 69.667 % |
179.10/179.21 c | 93466 | 20829 107529 301679 | 2147483647 90372 96 | 69.667 % |
179.30/179.49 c | 93612 | 20829 107529 301679 | 2147483647 90518 96 | 69.667 % |
179.80/179.95 c | 93773 | 20829 107529 301679 | 2147483647 90679 96 | 69.667 % |
180.20/180.31 c | 93950 | 20829 107529 301679 | 2147483647 90856 96 | 69.667 % |
180.59/180.72 c | 94144 | 20829 107529 301679 | 2147483647 91050 96 | 69.667 % |
180.89/181.04 c | 94356 | 20829 107529 301679 | 2147483647 91262 96 | 69.667 % |
181.30/181.44 c | 94590 | 20829 107529 301679 | 2147483647 91496 96 | 69.667 % |
181.69/181.89 c | 94850 | 20829 107529 301679 | 2147483647 91756 96 | 69.667 % |
182.29/182.46 c | 95137 | 20829 107529 301679 | 2147483647 92043 96 | 69.667 % |
183.19/183.34 c | 95448 | 20817 107438 301438 | 2147483647 92348 96 | 69.685 % |
183.89/184.05 c | 95788 | 20817 107438 301438 | 2147483647 92688 96 | 69.685 % |
184.69/184.81 c | 96161 | 20817 107438 301438 | 2147483647 93061 96 | 69.685 % |
185.49/185.61 c | 96572 | 20817 107438 301438 | 2147483647 93472 96 | 69.685 % |
186.49/186.65 c | 97027 | 20817 107438 301438 | 2147483647 93927 96 | 69.685 % |
187.49/187.67 c | 97521 | 20816 107438 301438 | 2147483647 94420 96 | 69.702 % |
188.39/188.55 c | 98064 | 20816 107438 301438 | 2147483647 94963 96 | 69.702 % |
189.59/189.74 c | 98661 | 20816 107438 301438 | 2147483647 95560 96 | 69.702 % |
191.19/191.40 c | 99316 | 20816 107438 301438 | 2147483647 96215 97 | 69.702 % |
193.19/193.38 c | 100037 | 20815 107438 301438 | 2147483647 96935 96 | 69.718 % |
194.59/194.71 c | 100832 | 20815 107438 301438 | 2147483647 97730 97 | 69.718 % |
196.48/196.64 c | 101703 | 20815 107438 301438 | 2147483647 98600 97 | 69.725 % |
198.79/198.97 c | 102665 | 20815 107438 301438 | 2147483647 99562 97 | 69.725 % |
201.09/201.20 c | 103720 | 20815 107438 301438 | 2147483647 100617 97 | 69.725 % |
203.89/204.05 c | 104880 | 20789 107197 300810 | 2147483647 101762 97 | 69.741 % |
204.19/204.31 c | 104980 | 20789 107197 300810 | 2147483647 101862 97 | 69.741 % |
204.39/204.59 c | 105091 | 20789 107197 300810 | 2147483647 101973 97 | 69.741 % |
204.59/204.80 c | 105213 | 20789 107197 300810 | 2147483647 102095 97 | 69.741 % |
204.99/205.14 c | 105349 | 20789 107197 300810 | 2147483647 102231 97 | 69.741 % |
205.29/205.42 c | 105496 | 20789 107197 300810 | 2147483647 102378 97 | 69.741 % |
205.59/205.73 c | 105656 | 20789 107197 300810 | 2147483647 102538 97 | 69.741 % |
206.09/206.23 c | 105833 | 20789 107197 300810 | 2147483647 102715 97 | 69.741 % |
206.69/206.80 c | 106026 | 20789 107197 300810 | 2147483647 102908 97 | 69.741 % |
206.98/207.18 c | 106238 | 20789 107197 300810 | 2147483647 103120 97 | 69.741 % |
207.48/207.63 c | 106472 | 20789 107197 300810 | 2147483647 103354 97 | 69.741 % |
208.08/208.23 c | 106729 | 20789 107197 300810 | 2147483647 103611 97 | 69.741 % |
208.58/208.77 c | 107012 | 20789 107197 300810 | 2147483647 103894 97 | 69.741 % |
209.18/209.34 c | 107321 | 20789 107197 300810 | 2147483647 104203 97 | 69.741 % |
209.78/209.98 c | 107660 | 20789 107197 300810 | 2147483647 104542 97 | 69.741 % |
210.68/210.88 c | 108036 | 20789 107197 300810 | 2147483647 104918 97 | 69.741 % |
211.58/211.70 c | 108447 | 20789 107197 300810 | 2147483647 105329 97 | 69.741 % |
212.88/213.00 c | 108898 | 20789 107197 300810 | 2147483647 105780 97 | 69.741 % |
214.28/214.45 c | 109391 | 20789 107197 300810 | 2147483647 106273 97 | 69.741 % |
215.89/216.08 c | 109934 | 20789 107197 300810 | 2147483647 106816 97 | 69.741 % |
217.29/217.47 c | 110531 | 20789 107197 300810 | 2147483647 107413 97 | 69.741 % |
218.69/218.88 c | 111186 | 20789 107197 300810 | 2147483647 108068 97 | 69.741 % |
220.48/220.65 c | 111906 | 20778 107112 300593 | 2147483647 108782 97 | 69.741 % |
222.68/222.89 c | 112701 | 20778 107112 300593 | 2147483647 109577 97 | 69.741 % |
224.98/225.17 c | 113572 | 20778 107112 300593 | 2147483647 110448 97 | 69.741 % |
226.88/227.02 c | 114530 | 20776 107112 300593 | 2147483647 111405 97 | 69.820 % |
229.57/229.74 c | 115585 | 20776 107112 300593 | 2147483647 112460 97 | 69.820 % |
231.07/231.22 c | 116743 | 20776 107112 300593 | 2147483647 113618 97 | 69.820 % |
233.27/233.42 c | 118018 | 20776 107112 300593 | 2147483647 114893 97 | 69.820 % |
233.57/233.71 c | 118118 | 20776 107112 300593 | 2147483647 114993 97 | 69.820 % |
233.97/234.10 c | 118230 | 20776 107112 300593 | 2147483647 115105 97 | 69.820 % |
234.37/234.55 c | 118352 | 20776 107112 300593 | 2147483647 115227 97 | 69.820 % |
234.77/234.91 c | 118487 | 20776 107112 300593 | 2147483647 115362 97 | 69.820 % |
235.07/235.29 c | 118633 | 20776 107112 300593 | 2147483647 115508 97 | 69.820 % |
235.57/235.72 c | 118794 | 20776 107112 300593 | 2147483647 115669 97 | 69.820 % |
235.97/236.12 c | 118970 | 20776 107112 300593 | 2147483647 115845 97 | 69.820 % |
236.48/236.67 c | 119163 | 20776 107112 300593 | 2147483647 116038 97 | 69.820 % |
237.08/237.23 c | 119375 | 20776 107112 300593 | 2147483647 116250 97 | 69.820 % |
237.68/237.89 c | 119608 | 20776 107112 300593 | 2147483647 116483 97 | 69.820 % |
238.58/238.74 c | 119864 | 20776 107112 300593 | 2147483647 116739 97 | 69.820 % |
239.28/239.49 c | 120147 | 20776 107112 300593 | 2147483647 117022 97 | 69.820 % |
240.18/240.34 c | 120457 | 20776 107112 300593 | 2147483647 117332 97 | 69.820 % |
241.28/241.40 c | 120797 | 20776 107112 300593 | 2147483647 117672 97 | 69.820 % |
242.08/242.28 c | 121169 | 20776 107112 300593 | 2147483647 118044 97 | 69.820 % |
243.28/243.49 c | 121578 | 20724 106839 299926 | 2147483647 118437 97 | 69.820 % |
244.28/244.48 c | 122028 | 20724 106839 299926 | 2147483647 118886 97 | 69.836 % |
245.18/245.33 c | 122522 | 20724 106839 299926 | 2147483647 119380 97 | 69.836 % |
246.57/246.70 c | 123064 | 20724 106839 299926 | 2147483647 119922 97 | 69.836 % |
247.97/248.13 c | 123660 | 20724 106839 299926 | 2147483647 120518 97 | 69.836 % |
249.48/249.63 c | 124315 | 20724 106839 299926 | 2147483647 121173 97 | 69.836 % |
251.47/251.62 c | 125036 | 20724 106839 299926 | 2147483647 121894 97 | 69.836 % |
252.78/252.99 c | 125830 | 20724 106839 299926 | 2147483647 122688 97 | 69.836 % |
255.08/255.26 c | 126701 | 20724 106839 299926 | 2147483647 123559 97 | 69.836 % |
258.38/258.52 c | 127661 | 20723 106839 299926 | 2147483647 124518 98 | 69.852 % |
260.97/261.14 c | 128714 | 20723 106839 299926 | 2147483647 125571 98 | 69.852 % |
263.67/263.83 c | 129872 | 20723 106839 299926 | 2147483647 126729 98 | 69.852 % |
266.87/267.07 c | 131145 | 20723 106839 299926 | 2147483647 128002 98 | 69.852 % |
269.47/269.68 c | 132545 | 20723 106839 299926 | 2147483647 129402 98 | 69.852 % |
269.77/269.95 c | 132647 | 20702 106672 299496 | 2147483647 129495 98 | 69.852 % |
270.07/270.29 c | 132759 | 20702 106672 299496 | 2147483647 129607 98 | 69.852 % |
270.47/270.62 c | 132880 | 20702 106672 299496 | 2147483647 129728 98 | 69.852 % |
270.87/271.04 c | 133014 | 20702 106672 299496 | 2147483647 129862 98 | 69.852 % |
271.27/271.47 c | 133160 | 20702 106672 299496 | 2147483647 130008 98 | 69.852 % |
271.87/272.02 c | 133320 | 20702 106672 299496 | 2147483647 130168 98 | 69.852 % |
272.36/272.52 c | 133499 | 20702 106672 299496 | 2147483647 130347 98 | 69.852 % |
272.86/273.06 c | 133693 | 20702 106672 299496 | 2147483647 130541 98 | 69.852 % |
273.46/273.61 c | 133905 | 20702 106672 299496 | 2147483647 130752 98 | 70.043 % |
274.26/274.40 c | 134138 | 20702 106672 299496 | 2147483647 130985 98 | 70.043 % |
275.07/275.20 c | 134394 | 20702 106672 299496 | 2147483647 131241 98 | 70.043 % |
275.87/276.05 c | 134675 | 20702 106672 299496 | 2147483647 131522 98 | 70.043 % |
276.67/276.87 c | 134984 | 20702 106672 299496 | 2147483647 131831 98 | 70.043 % |
277.47/277.67 c | 135324 | 20702 106672 299496 | 2147483647 132171 98 | 70.043 % |
278.47/278.69 c | 135697 | 20702 106672 299496 | 2147483647 132544 98 | 70.043 % |
279.37/279.54 c | 136106 | 20702 106672 299496 | 2147483647 132953 98 | 70.043 % |
280.67/280.82 c | 136557 | 20702 106672 299496 | 2147483647 133404 98 | 70.043 % |
281.66/281.86 c | 137050 | 20702 106672 299496 | 2147483647 133897 98 | 70.043 % |
283.16/283.37 c | 137593 | 20702 106672 299496 | 2147483647 134440 98 | 70.043 % |
284.67/284.81 c | 138197 | 20702 106672 299496 | 2147483647 135044 98 | 70.043 % |
286.36/286.52 c | 138854 | 20702 106672 299496 | 2147483647 135701 98 | 70.043 % |
287.76/287.90 c | 139577 | 20702 106672 299496 | 2147483647 136424 98 | 70.043 % |
289.86/290.06 c | 140372 | 20702 106672 299496 | 2147483647 137219 98 | 70.043 % |
292.36/292.51 c | 141243 | 20702 106672 299496 | 2147483647 138090 98 | 70.043 % |
294.76/294.99 c | 142203 | 20702 106672 299496 | 2147483647 139050 98 | 70.043 % |
298.85/299.08 c | 143256 | 20702 106672 299496 | 2147483647 140103 98 | 70.043 % |
302.05/302.22 c | 144414 | 20695 106672 299496 | 2147483647 141259 98 | 71.623 % |
305.35/305.58 c | 145689 | 19486 99467 279995 | 2147483647 142302 98 | 71.623 % |
307.65/307.86 c | 147089 | 19486 99467 279995 | 2147483647 143702 98 | 71.623 % |
310.95/311.12 c | 148630 | 19486 99467 279995 | 2147483647 145243 98 | 71.623 % |
311.35/311.51 c | 148731 | 19486 99467 279995 | 2147483647 145344 98 | 71.623 % |
311.55/311.79 c | 148841 | 19486 99467 279995 | 2147483647 145454 98 | 71.623 % |
311.95/312.12 c | 148962 | 19486 99467 279995 | 2147483647 145575 98 | 71.623 % |
312.25/312.46 c | 149095 | 19486 99467 279995 | 2147483647 145708 98 | 71.623 % |
312.85/313.07 c | 149242 | 19486 99467 279995 | 2147483647 145855 98 | 71.623 % |
313.25/313.42 c | 149402 | 19486 99467 279995 | 2147483647 146015 98 | 71.623 % |
313.75/313.95 c | 149579 | 19486 99467 279995 | 2147483647 146192 98 | 71.623 % |
314.25/314.42 c | 149774 | 19486 99467 279995 | 2147483647 146387 98 | 71.623 % |
315.05/315.24 c | 149987 | 19486 99467 279995 | 2147483647 146600 98 | 71.623 % |
315.85/316.00 c | 150220 | 19486 99467 279995 | 2147483647 146833 98 | 71.623 % |
316.55/316.76 c | 150479 | 19486 99467 279995 | 2147483647 147092 98 | 71.623 % |
317.55/317.77 c | 150760 | 19486 99467 279995 | 2147483647 147373 98 | 71.623 % |
318.55/318.73 c | 151070 | 19486 99467 279995 | 2147483647 147683 98 | 71.623 % |
319.25/319.43 c | 151409 | 19486 99467 279995 | 2147483647 148022 98 | 71.623 % |
320.15/320.38 c | 151783 | 19486 99467 279995 | 2147483647 148396 98 | 71.623 % |
321.36/321.50 c | 152193 | 19486 99467 279995 | 2147483647 148805 98 | 71.645 % |
322.95/323.11 c | 152643 | 19485 99467 279995 | 2147483647 149254 98 | 71.662 % |
324.05/324.28 c | 153137 | 19485 99467 279995 | 2147483647 149748 98 | 71.662 % |
325.85/326.06 c | 153680 | 19484 99467 279995 | 2147483647 150290 98 | 71.678 % |
327.85/328.06 c | 154276 | 19484 99467 279995 | 2147483647 150886 98 | 71.678 % |
330.15/330.33 c | 154932 | 19484 99467 279995 | 2147483647 151542 98 | 71.678 % |
331.85/332.06 c | 155653 | 19484 99467 279995 | 2147483647 152263 97 | 71.678 % |
333.75/333.99 c | 156447 | 19484 99467 279995 | 2147483647 153057 97 | 71.678 % |
336.05/336.21 c | 157319 | 19448 99182 279218 | 2147483647 153925 97 | 71.678 % |
338.56/338.71 c | 158277 | 19447 99182 279218 | 2147483647 154882 97 | 71.691 % |
340.85/341.01 c | 159333 | 19447 99182 279218 | 2147483647 155938 96 | 71.691 % |
344.24/344.41 c | 160491 | 19445 99182 279218 | 2147483647 157094 96 | 71.720 % |
348.25/348.45 c | 161764 | 19445 99182 279218 | 2147483647 158367 96 | 71.720 % |
351.05/351.25 c | 163165 | 19445 99182 279218 | 2147483647 159768 96 | 71.720 % |
354.85/355.02 c | 164706 | 19445 99182 279218 | 2147483647 161309 96 | 71.720 % |
360.24/360.42 c | 166404 | 19445 99182 279218 | 2147483647 163007 96 | 71.720 % |
360.44/360.69 c | 166504 | 19445 99182 279218 | 2147483647 163107 96 | 71.720 % |
360.84/361.09 c | 166617 | 19445 99182 279218 | 2147483647 163220 96 | 71.720 % |
361.24/361.45 c | 166738 | 19445 99182 279218 | 2147483647 163341 96 | 71.720 % |
361.64/361.89 c | 166872 | 19445 99182 279218 | 2147483647 163475 96 | 71.720 % |
362.04/362.26 c | 167018 | 19445 99182 279218 | 2147483647 163621 96 | 71.720 % |
362.44/362.68 c | 167179 | 19445 99182 279218 | 2147483647 163782 96 | 71.720 % |
362.94/363.14 c | 167355 | 19445 99182 279218 | 2147483647 163958 96 | 71.720 % |
363.54/363.71 c | 167551 | 19419 98931 278599 | 2147483647 164095 96 | 71.720 % |
363.94/364.16 c | 167763 | 19419 98931 278599 | 2147483647 164307 96 | 71.720 % |
364.54/364.73 c | 167998 | 19419 98931 278599 | 2147483647 164542 96 | 71.720 % |
365.24/365.47 c | 168254 | 19419 98931 278599 | 2147483647 164798 96 | 71.720 % |
366.05/366.28 c | 168536 | 19419 98931 278599 | 2147483647 165080 96 | 71.720 % |
366.94/367.14 c | 168845 | 19419 98931 278599 | 2147483647 165389 96 | 71.720 % |
367.94/368.18 c | 169187 | 19419 98931 278599 | 2147483647 165731 96 | 71.720 % |
369.14/369.33 c | 169563 | 19419 98931 278599 | 2147483647 166107 95 | 71.720 % |
370.24/370.40 c | 169974 | 19419 98931 278599 | 2147483647 166518 95 | 71.720 % |
371.34/371.57 c | 170423 | 19419 98931 278599 | 2147483647 166967 95 | 71.720 % |
372.84/373.07 c | 170916 | 19419 98931 278599 | 2147483647 167460 95 | 71.720 % |
374.24/374.40 c | 171460 | 19419 98931 278599 | 2147483647 168004 95 | 71.720 % |
375.54/375.73 c | 172057 | 19419 98931 278599 | 2147483647 168601 95 | 71.720 % |
377.04/377.25 c | 172714 | 19419 98931 278599 | 2147483647 169258 95 | 71.720 % |
378.94/379.12 c | 173435 | 19419 98931 278599 | 2147483647 169979 95 | 71.720 % |
381.63/381.82 c | 174236 | 19419 98931 278599 | 2147483647 170780 95 | 71.720 % |
384.63/384.82 c | 175107 | 19419 98931 278599 | 2147483647 171651 95 | 71.720 % |
387.03/387.29 c | 176066 | 19419 98931 278599 | 2147483647 172610 95 | 71.720 % |
389.73/389.99 c | 177119 | 19419 98931 278599 | 2147483647 173663 95 | 71.720 % |
392.44/392.64 c | 178277 | 19419 98931 278599 | 2147483647 174821 95 | 71.720 % |
396.13/396.30 c | 179550 | 19419 98931 278599 | 2147483647 176094 95 | 71.720 % |
399.63/399.82 c | 180951 | 19419 98931 278599 | 2147483647 177493 95 | 71.770 % |
404.33/404.52 c | 182491 | 19419 98931 278599 | 2147483647 179033 95 | 71.770 % |
409.13/409.32 c | 184185 | 19385 98718 277995 | 2147483647 180710 95 | 71.770 % |
415.03/415.28 c | 186050 | 19385 98718 277995 | 2147483647 182575 94 | 71.770 % |
415.33/415.52 c | 186150 | 19385 98718 277995 | 2147483647 182675 94 | 71.770 % |
415.83/416.07 c | 186260 | 19385 98718 277995 | 2147483647 182785 94 | 71.770 % |
416.33/416.55 c | 186382 | 19385 98718 277995 | 2147483647 182907 94 | 71.770 % |
416.93/417.10 c | 186516 | 19384 98718 277995 | 2147483647 183040 94 | 71.785 % |
417.33/417.51 c | 186663 | 19384 98718 277995 | 2147483647 183187 94 | 71.785 % |
418.13/418.37 c | 186823 | 19384 98718 277995 | 2147483647 183347 94 | 71.785 % |
418.73/418.96 c | 187001 | 19384 98718 277995 | 2147483647 183525 94 | 71.785 % |
419.33/419.53 c | 187194 | 19384 98718 277995 | 2147483647 183718 94 | 71.785 % |
419.93/420.12 c | 187407 | 19384 98718 277995 | 2147483647 183931 94 | 71.785 % |
420.63/420.88 c | 187640 | 19384 98718 277995 | 2147483647 184164 94 | 71.785 % |
421.52/421.75 c | 187896 | 19384 98718 277995 | 2147483647 184420 94 | 71.785 % |
422.42/422.61 c | 188177 | 19384 98718 277995 | 2147483647 184701 94 | 71.785 % |
423.52/423.74 c | 188486 | 19384 98718 277995 | 2147483647 185010 94 | 71.785 % |
424.52/424.72 c | 188825 | 19384 98718 277995 | 2147483647 185349 94 | 71.785 % |
425.62/425.88 c | 189197 | 19384 98718 277995 | 2147483647 185721 94 | 71.785 % |
427.22/427.46 c | 189606 | 19384 98718 277995 | 2147483647 186130 94 | 71.785 % |
428.92/429.14 c | 190055 | 19384 98718 277995 | 2147483647 186579 94 | 71.785 % |
430.32/430.52 c | 190548 | 19384 98718 277995 | 2147483647 187072 94 | 71.785 % |
431.92/432.20 c | 191090 | 19384 98718 277995 | 2147483647 187614 94 | 71.785 % |
433.72/433.92 c | 191687 | 19384 98718 277995 | 2147483647 188211 94 | 71.785 % |
435.52/435.74 c | 192343 | 19384 98718 277995 | 2147483647 188867 94 | 71.785 % |
437.72/437.93 c | 193063 | 19384 98718 277995 | 2147483647 189587 94 | 71.785 % |
440.22/440.45 c | 193856 | 19384 98718 277995 | 2147483647 190380 94 | 71.785 % |
443.22/443.47 c | 194728 | 19384 98718 277995 | 2147483647 191252 94 | 71.785 % |
446.52/446.72 c | 195689 | 19384 98718 277995 | 2147483647 192213 94 | 71.785 % |
449.62/449.81 c | 196744 | 19384 98718 277995 | 2147483647 193268 93 | 71.785 % |
452.92/453.18 c | 197904 | 19384 98718 277995 | 2147483647 194428 93 | 71.785 % |
456.91/457.19 c | 199179 | 19375 98648 277821 | 2147483647 195692 93 | 71.785 % |
461.31/461.53 c | 200580 | 19375 98648 277821 | 2147483647 197093 93 | 71.785 % |
464.71/464.94 c | 202121 | 19375 98648 277821 | 2147483647 198634 93 | 71.785 % |
469.41/469.69 c | 203816 | 19375 98648 277821 | 2147483647 200328 92 | 71.801 % |
474.71/474.99 c | 205681 | 19375 98648 277821 | 2147483647 202193 92 | 71.801 % |
481.81/482.00 c | 207731 | 19375 98648 277821 | 2147483647 204243 92 | 71.801 % |
482.21/482.42 c | 207831 | 19375 98648 277821 | 2147483647 204343 92 | 71.801 % |
482.61/482.85 c | 207942 | 19375 98648 277821 | 2147483647 204454 92 | 71.801 % |
483.01/483.30 c | 208063 | 19375 98648 277821 | 2147483647 204575 92 | 71.801 % |
483.51/483.75 c | 208198 | 19375 98648 277821 | 2147483647 204710 92 | 71.801 % |
484.11/484.31 c | 208344 | 19375 98648 277821 | 2147483647 204856 92 | 71.801 % |
484.51/484.79 c | 208504 | 19375 98648 277821 | 2147483647 205016 93 | 71.801 % |
485.11/485.40 c | 208683 | 19375 98648 277821 | 2147483647 205195 93 | 71.801 % |
485.91/486.15 c | 208876 | 19375 98648 277821 | 2147483647 205388 93 | 71.801 % |
486.71/486.97 c | 209090 | 19375 98648 277821 | 2147483647 205602 93 | 71.801 % |
487.61/487.85 c | 209323 | 19375 98648 277821 | 2147483647 205835 93 | 71.801 % |
488.61/488.87 c | 209580 | 19375 98648 277821 | 2147483647 206092 93 | 71.801 % |
489.60/489.87 c | 209863 | 19375 98648 277821 | 2147483647 206375 93 | 71.801 % |
490.41/490.68 c | 210172 | 19375 98648 277821 | 2147483647 206684 93 | 71.801 % |
491.30/491.54 c | 210511 | 19375 98648 277821 | 2147483647 207023 93 | 71.801 % |
492.60/492.82 c | 210884 | 19375 98648 277821 | 2147483647 207396 93 | 71.801 % |
493.60/493.89 c | 211296 | 19375 98648 277821 | 2147483647 207808 93 | 71.801 % |
494.90/495.14 c | 211745 | 19375 98648 277821 | 2147483647 208257 93 | 71.801 % |
497.00/497.20 c | 212238 | 19375 98648 277821 | 2147483647 208749 93 | 71.831 % |
498.90/499.15 c | 212781 | 19375 98648 277821 | 2147483647 209292 93 | 71.831 % |
500.90/501.10 c | 213377 | 19375 98648 277821 | 2147483647 209888 92 | 71.831 % |
503.61/503.83 c | 214032 | 19375 98648 277821 | 2147483647 210543 92 | 71.831 % |
505.40/505.61 c | 214753 | 19375 98648 277821 | 2147483647 211264 92 | 71.831 % |
509.30/509.50 c | 215547 | 19375 98648 277821 | 2147483647 212058 92 | 71.831 % |
513.00/513.27 c | 216418 | 19342 98411 277184 | 2147483647 212864 92 | 72.087 % |
516.70/516.99 c | 217377 | 19342 98411 277184 | 2147483647 213823 92 | 72.087 % |
520.70/520.93 c | 218432 | 19342 98411 277184 | 2147483647 214878 92 | 72.087 % |
524.20/524.45 c | 219590 | 19342 98411 277184 | 2147483647 216036 92 | 72.087 % |
527.09/527.39 c | 220863 | 19342 98411 277184 | 2147483647 217309 92 | 72.087 % |
531.89/532.19 c | 222264 | 19342 98411 277184 | 2147483647 218710 92 | 72.087 % |
536.49/536.71 c | 223804 | 19342 98411 277184 | 2147483647 220250 92 | 72.087 % |
542.59/542.82 c | 225498 | 19342 98411 277184 | 2147483647 221944 92 | 72.087 % |
548.69/548.97 c | 227363 | 19342 98411 277184 | 2147483647 223808 92 | 72.105 % |
555.19/555.45 c | 229412 | 19341 98411 277184 | 2147483647 225856 92 | 72.124 % |
561.08/561.32 c | 231667 | 19341 98411 277184 | 2147483647 228111 92 | 72.124 % |
561.38/561.67 c | 231767 | 19341 98411 277184 | 2147483647 228211 92 | 72.124 % |
561.88/562.16 c | 231877 | 19341 98411 277184 | 2147483647 228321 92 | 72.124 % |
562.38/562.63 c | 231998 | 19142 97449 274243 | 2147483647 228427 92 | 72.124 % |
562.78/563.04 c | 232131 | 19142 97449 274243 | 2147483647 228560 92 | 72.124 % |
563.38/563.60 c | 232278 | 19142 97449 274243 | 2147483647 228707 92 | 72.124 % |
563.88/564.15 c | 232438 | 19142 97449 274243 | 2147483647 228867 92 | 72.124 % |
564.28/564.56 c | 232615 | 19142 97449 274243 | 2147483647 229044 92 | 72.124 % |
564.88/565.16 c | 232812 | 19142 97449 274243 | 2147483647 229241 92 | 72.124 % |
565.78/566.06 c | 233025 | 19142 97449 274243 | 2147483647 229454 92 | 72.124 % |
566.68/566.94 c | 233259 | 19141 97449 274243 | 2147483647 229687 92 | 72.214 % |
567.49/567.79 c | 233515 | 19141 97449 274243 | 2147483647 229943 92 | 72.214 % |
568.78/569.08 c | 233796 | 19140 97449 274243 | 2147483647 230223 92 | 72.232 % |
570.28/570.59 c | 234106 | 19140 97449 274243 | 2147483647 230533 92 | 72.232 % |
571.88/572.17 c | 234446 | 19140 97449 274243 | 2147483647 230872 92 | 72.243 % |
573.48/573.71 c | 234819 | 19140 97449 274243 | 2147483647 231245 92 | 72.243 % |
574.99/575.28 c | 235228 | 19140 97449 274243 | 2147483647 231654 92 | 72.243 % |
576.78/577.04 c | 235677 | 19140 97449 274243 | 2147483647 232103 92 | 72.243 % |
578.98/579.21 c | 236170 | 19140 97449 274243 | 2147483647 232596 92 | 72.243 % |
580.98/581.27 c | 236712 | 19140 97449 274243 | 2147483647 233138 92 | 72.243 % |
583.58/583.81 c | 237308 | 19140 97449 274243 | 2147483647 233734 91 | 72.243 % |
587.18/587.49 c | 237963 | 19140 97449 274243 | 2147483647 234389 91 | 72.243 % |
590.67/590.92 c | 238685 | 19140 97449 274243 | 2147483647 235111 91 | 72.243 % |
593.07/593.37 c | 239477 | 19140 97449 274243 | 2147483647 235903 91 | 72.243 % |
596.27/596.53 c | 240348 | 19140 97449 274243 | 2147483647 236774 91 | 72.243 % |
599.57/599.83 c | 241307 | 19140 97449 274243 | 2147483647 237733 91 | 72.243 % |
603.07/603.39 c | 242362 | 19140 97449 274243 | 2147483647 238788 91 | 72.243 % |
606.36/606.67 c | 243520 | 19140 97449 274243 | 2147483647 239946 91 | 72.243 % |
610.86/611.16 c | 244793 | 19140 97449 274243 | 2147483647 241219 91 | 72.243 % |
614.86/615.19 c | 246194 | 19138 97449 274243 | 2147483647 242619 91 | 72.294 % |
619.37/619.62 c | 247734 | 19138 97449 274243 | 2147483647 244159 91 | 72.294 % |
625.06/625.34 c | 249431 | 19138 97449 274243 | 2147483647 245856 91 | 72.294 % |
631.46/631.77 c | 251296 | 19138 97449 274243 | 2147483647 247721 90 | 72.294 % |
639.76/640.04 c | 253346 | 19025 96845 272628 | 2147483647 249632 90 | 72.294 % |
648.86/649.14 c | 255600 | 19025 96845 272628 | 2147483647 251886 90 | 72.294 % |
659.05/659.33 c | 258078 | 19024 96845 272628 | 2147483647 254363 90 | 72.315 % |
659.75/660.05 c | 258179 | 19024 96845 272628 | 2147483647 254464 90 | 72.315 % |
660.35/660.61 c | 258289 | 19024 96845 272628 | 2147483647 254574 90 | 72.315 % |
660.75/661.08 c | 258411 | 19024 96845 272628 | 2147483647 254696 90 | 72.315 % |
661.35/661.63 c | 258546 | 19024 96845 272628 | 2147483647 254831 90 | 72.315 % |
661.95/662.28 c | 258693 | 19023 96845 272628 | 2147483647 254977 90 | 72.331 % |
662.55/662.82 c | 258853 | 19023 96845 272628 | 2147483647 255137 90 | 72.331 % |
663.44/663.70 c | 259029 | 19023 96845 272628 | 2147483647 255313 90 | 72.331 % |
663.94/664.29 c | 259222 | 19023 96845 272628 | 2147483647 255506 90 | 72.331 % |
664.94/665.20 c | 259435 | 19023 96845 272628 | 2147483647 255719 90 | 72.331 % |
665.64/665.96 c | 259669 | 19023 96845 272628 | 2147483647 255953 90 | 72.331 % |
666.35/666.66 c | 259926 | 19023 96845 272628 | 2147483647 256210 90 | 72.331 % |
667.14/667.49 c | 260207 | 19023 96845 272628 | 2147483647 256491 90 | 72.331 % |
668.04/668.39 c | 260516 | 19023 96845 272628 | 2147483647 256800 90 | 72.331 % |
669.34/669.69 c | 260855 | 19023 96845 272628 | 2147483647 257139 90 | 72.331 % |
670.84/671.15 c | 261227 | 19023 96845 272628 | 2147483647 257511 90 | 72.331 % |
672.04/672.36 c | 261638 | 19023 96845 272628 | 2147483647 257922 90 | 72.331 % |
673.65/673.94 c | 262090 | 19022 96845 272628 | 2147483647 258373 90 | 72.347 % |
675.25/675.52 c | 262585 | 19022 96845 272628 | 2147483647 258868 90 | 72.347 % |
676.95/677.29 c | 263127 | 19022 96845 272628 | 2147483647 259410 90 | 72.347 % |
678.95/679.22 c | 263723 | 19022 96845 272628 | 2147483647 260006 90 | 72.347 % |
681.15/681.40 c | 264379 | 19022 96845 272628 | 2147483647 260662 90 | 72.347 % |
684.64/684.99 c | 265100 | 19022 96845 272628 | 2147483647 261383 90 | 72.347 % |
687.15/687.48 c | 265893 | 19022 96845 272628 | 2147483647 262176 90 | 72.347 % |
690.74/691.07 c | 266767 | 19022 96845 272628 | 2147483647 263050 90 | 72.347 % |
695.04/695.34 c | 267725 | 19022 96845 272628 | 2147483647 264008 90 | 72.347 % |
698.44/698.73 c | 268780 | 19022 96845 272628 | 2147483647 265063 90 | 72.347 % |
702.64/702.94 c | 269940 | 19022 96845 272628 | 2147483647 266223 90 | 72.347 % |
707.04/707.39 c | 271214 | 18989 96592 271943 | 2147483647 267464 90 | 72.347 % |
711.84/712.19 c | 272614 | 18989 96592 271943 | 2147483647 268864 90 | 72.347 % |
716.63/716.97 c | 274158 | 18989 96592 271943 | 2147483647 270408 90 | 72.347 % |
723.93/724.27 c | 275852 | 18978 96592 271943 | 2147483647 272101 90 | 72.645 % |
732.83/733.19 c | 277716 | 18978 96592 271943 | 2147483647 273965 90 | 72.645 % |
741.13/741.42 c | 279768 | 18978 96592 271943 | 2147483647 276017 90 | 72.645 % |
749.12/749.43 c | 282022 | 18978 96592 271943 | 2147483647 278271 90 | 72.645 % |
757.12/757.49 c | 284500 | 18978 96592 271943 | 2147483647 280748 90 | 72.664 % |
766.72/767.02 c | 287225 | 18978 96592 271943 | 2147483647 283473 90 | 72.664 % |
767.12/767.45 c | 287325 | 18978 96592 271943 | 2147483647 283573 90 | 72.664 % |
767.52/767.86 c | 287436 | 18978 96592 271943 | 2147483647 283684 90 | 72.664 % |
767.92/768.26 c | 287560 | 18978 96592 271943 | 2147483647 283808 90 | 72.664 % |
768.52/768.88 c | 287695 | 18978 96592 271943 | 2147483647 283943 90 | 72.664 % |
769.62/769.92 c | 287843 | 18978 96592 271943 | 2147483647 284091 90 | 72.664 % |
770.51/770.89 c | 288003 | 18978 96592 271943 | 2147483647 284251 90 | 72.664 % |
771.31/771.68 c | 288179 | 18978 96592 271943 | 2147483647 284427 90 | 72.664 % |
772.11/772.47 c | 288373 | 18978 96592 271943 | 2147483647 284621 90 | 72.664 % |
773.21/773.56 c | 288585 | 18978 96592 271943 | 2147483647 284833 90 | 72.664 % |
774.02/774.36 c | 288820 | 18978 96592 271943 | 2147483647 285068 90 | 72.664 % |
775.32/775.66 c | 289076 | 18978 96592 271943 | 2147483647 285324 90 | 72.664 % |
776.62/776.92 c | 289360 | 18978 96592 271943 | 2147483647 285608 90 | 72.664 % |
777.92/778.21 c | 289670 | 18771 95116 267959 | 2147483647 285777 90 | 72.664 % |
778.82/779.18 c | 290012 | 18771 95116 267959 | 286107 286119 90 | 72.664 % |
779.92/780.25 c | 290385 | 18769 95116 267959 | 286107 286491 90 | 73.008 % |
782.02/782.34 c | 290794 | 18769 95116 267959 | 286107 286900 90 | 73.008 % |
784.42/784.74 c | 291243 | 18769 95116 267959 | 286107 287348 90 | 73.034 % |
786.81/787.18 c | 291738 | 18769 95116 267959 | 286107 287843 90 | 73.034 % |
789.11/789.50 c | 292281 | 18769 95116 267959 | 286107 288386 90 | 73.034 % |
791.91/792.28 c | 292877 | 18769 95116 267959 | 286107 288982 90 | 73.034 % |
795.91/796.24 c | 293532 | 18769 95116 267959 | 286107 289637 90 | 73.034 % |
798.22/798.51 c | 294252 | 18769 95116 267959 | 286107 290357 90 | 73.034 % |
801.21/801.56 c | 295044 | 18769 95116 267959 | 286107 291149 90 | 73.034 % |
804.61/804.92 c | 295917 | 18769 95116 267959 | 286107 292022 90 | 73.034 % |
808.51/808.87 c | 296875 | 18769 95116 267959 | 286107 292980 90 | 73.034 % |
812.80/813.13 c | 297930 | 18769 95116 267959 | 286107 294035 90 | 73.034 % |
817.01/817.36 c | 299088 | 18769 95116 267959 | 286107 295193 90 | 73.034 % |
822.30/822.60 c | 300364 | 18769 95116 267959 | 296105 296469 90 | 73.034 % |
827.60/827.96 c | 301766 | 18769 95116 267959 | 296105 297871 90 | 73.034 % |
835.09/835.46 c | 303306 | 18769 95116 267959 | 296105 299411 90 | 73.034 % |
841.80/842.16 c | 305001 | 18769 95116 267959 | 296105 301106 90 | 73.034 % |
849.50/849.83 c | 306865 | 18769 95116 267959 | 296105 302970 90 | 73.034 % |
857.59/857.92 c | 308920 | 18769 95116 267959 | 296105 305025 90 | 73.034 % |
866.08/866.40 c | 311176 | 18769 95116 267959 | 2147483647 307281 90 | 73.034 % |
876.59/876.93 c | 313654 | 18517 93379 263334 | 2147483647 309537 90 | 73.034 % |
886.98/887.35 c | 316380 | 18517 93379 263334 | 2147483647 312263 90 | 73.034 % |
898.68/899.09 c | 319378 | 18517 93379 263334 | 2147483647 315261 90 | 73.034 % |
899.08/899.41 c | 319480 | 18517 93379 263334 | 2147483647 315363 90 | 73.034 % |
899.48/899.88 c | 319591 | 18517 93379 263334 | 2147483647 315474 90 | 73.034 % |
899.98/900.34 c | 319713 | 18517 93379 263334 | 2147483647 315596 90 | 73.034 % |
900.77/901.15 c | 319847 | 18517 93379 263334 | 2147483647 315730 90 | 73.034 % |
901.47/901.85 c | 319993 | 18517 93379 263334 | 2147483647 315876 90 | 73.034 % |
902.47/902.80 c | 320154 | 18517 93379 263334 | 2147483647 316037 90 | 73.034 % |
903.27/903.61 c | 320331 | 18517 93379 263334 | 2147483647 316214 90 | 73.034 % |
904.27/904.66 c | 320524 | 18517 93379 263334 | 2147483647 316407 90 | 73.034 % |
905.27/905.62 c | 320736 | 18517 93379 263334 | 2147483647 316619 90 | 73.034 % |
906.07/906.45 c | 320969 | 18517 93379 263334 | 2147483647 316852 90 | 73.034 % |
907.27/907.62 c | 321225 | 18517 93379 263334 | 2147483647 317108 90 | 73.034 % |
908.67/909.06 c | 321508 | 18517 93379 263334 | 2147483647 317391 90 | 73.034 % |
910.07/910.42 c | 321818 | 18517 93379 263334 | 2147483647 317701 90 | 73.034 % |
911.27/911.69 c | 322159 | 18517 93379 263334 | 2147483647 318042 90 | 73.034 % |
912.97/913.30 c | 322534 | 18517 93379 263334 | 2147483647 318417 90 | 73.034 % |
914.57/914.97 c | 322943 | 18517 93379 263334 | 2147483647 318826 90 | 73.034 % |
916.58/916.92 c | 323392 | 18517 93379 263334 | 2147483647 319275 90 | 73.034 % |
918.88/919.21 c | 323885 | 18517 93379 263334 | 2147483647 319768 90 | 73.034 % |
920.78/921.19 c | 324428 | 18517 93379 263334 | 2147483647 320311 90 | 73.034 % |
922.77/923.19 c | 325025 | 18517 93379 263334 | 2147483647 320908 90 | 73.034 % |
925.37/925.79 c | 325682 | 18517 93379 263334 | 2147483647 321565 90 | 73.034 % |
928.47/928.82 c | 326402 | 18517 93379 263334 | 2147483647 322285 90 | 73.034 % |
931.97/932.30 c | 327194 | 18517 93379 263334 | 2147483647 323077 90 | 73.034 % |
936.07/936.49 c | 328065 | 18517 93379 263334 | 2147483647 323948 90 | 73.034 % |
939.47/939.84 c | 329024 | 18517 93379 263334 | 2147483647 324907 90 | 73.034 % |
942.96/943.38 c | 330080 | 18517 93379 263334 | 325884 325963 90 | 73.034 % |
946.46/946.90 c | 331238 | 18517 93379 263334 | 325884 327121 90 | 73.034 % |
951.16/951.56 c | 332513 | 18517 93379 263334 | 325884 328396 90 | 73.034 % |
956.86/957.26 c | 333915 | 18517 93379 263334 | 325884 329798 90 | 73.034 % |
963.96/964.34 c | 335456 | 18517 93379 263334 | 325884 331339 90 | 73.034 % |
970.36/970.75 c | 337150 | 18517 93379 263334 | 325884 333033 90 | 73.034 % |
975.95/976.36 c | 339013 | 18517 93379 263334 | 325884 334896 89 | 73.034 % |
984.35/984.74 c | 341062 | 18517 93379 263334 | 335885 336945 89 | 73.034 % |
993.05/993.44 c | 343316 | 18517 93379 263334 | 335885 339199 89 | 73.034 % |
1002.55/1002.91 c | 345794 | 18517 93379 263334 | 335885 341677 89 | 73.034 % |
1012.85/1013.28 c | 348519 | 18517 93379 263334 | 335885 344402 89 | 73.034 % |
1022.24/1022.65 c | 351516 | 18517 93379 263334 | 345883 347399 89 | 73.034 % |
1035.03/1035.46 c | 354814 | 18517 93379 263334 | 345883 350697 89 | 73.034 % |
1035.93/1036.32 c | 354914 | 18517 93379 263334 | 345883 350797 89 | 73.034 % |
1036.53/1036.91 c | 355025 | 18517 93379 263334 | 345883 350908 89 | 73.034 % |
1037.03/1037.46 c | 355148 | 18517 93379 263334 | 345883 351031 89 | 73.034 % |
1038.04/1038.45 c | 355283 | 18517 93379 263334 | 345883 351166 89 | 73.034 % |
1038.83/1039.26 c | 355432 | 18517 93379 263334 | 345883 351315 89 | 73.034 % |
1039.53/1039.96 c | 355597 | 18517 93379 263334 | 345883 351480 89 | 73.034 % |
1040.73/1041.16 c | 355776 | 18508 93318 263180 | 345883 351645 89 | 73.047 % |
1041.83/1042.28 c | 355970 | 18508 93318 263180 | 345883 351839 89 | 73.047 % |
1042.93/1043.33 c | 356182 | 18508 93318 263180 | 345883 352051 89 | 73.047 % |
1044.13/1044.55 c | 356418 | 18508 93318 263180 | 345883 352287 89 | 73.047 % |
1045.43/1045.85 c | 356675 | 18508 93318 263180 | 345883 352544 89 | 73.047 % |
1046.83/1047.25 c | 356956 | 18508 93318 263180 | 345883 352825 89 | 73.047 % |
1048.34/1048.71 c | 357265 | 18508 93318 263180 | 345883 353134 89 | 73.047 % |
1050.83/1051.25 c | 357605 | 18508 93318 263180 | 345883 353474 89 | 73.047 % |
1052.34/1052.73 c | 357978 | 18508 93318 263180 | 345883 353847 89 | 73.047 % |
1053.94/1054.35 c | 358389 | 18508 93318 263180 | 345883 354258 89 | 73.047 % |
1055.83/1056.26 c | 358840 | 18508 93318 263180 | 345883 354709 89 | 73.047 % |
1057.93/1058.35 c | 359334 | 18508 93318 263180 | 345883 355203 89 | 73.047 % |
1060.73/1061.16 c | 359877 | 18508 93318 263180 | 345883 355746 89 | 73.047 % |
1063.43/1063.88 c | 360473 | 18508 93318 263180 | 355869 356342 89 | 73.047 % |
1066.63/1067.01 c | 361130 | 18508 93318 263180 | 355869 356999 89 | 73.047 % |
1070.12/1070.50 c | 361851 | 18508 93318 263180 | 355869 357720 89 | 73.047 % |
1074.62/1075.00 c | 362644 | 18508 93318 263180 | 355869 358513 89 | 73.047 % |
1079.22/1079.67 c | 363516 | 18508 93318 263180 | 355869 359385 89 | 73.047 % |
1083.42/1083.81 c | 364475 | 18508 93318 263180 | 355869 360344 89 | 73.047 % |
1087.92/1088.34 c | 365530 | 18508 93318 263180 | 355869 361399 89 | 73.047 % |
1092.62/1093.09 c | 366690 | 18508 93318 263180 | 355869 362559 89 | 73.047 % |
1099.82/1100.24 c | 367964 | 18508 93318 263180 | 355869 363833 89 | 73.047 % |
1106.22/1106.64 c | 369364 | 18508 93318 263180 | 355869 365233 89 | 73.047 % |
1112.31/1112.73 c | 370904 | 18508 93318 263180 | 365869 366773 89 | 73.047 % |
1119.71/1120.15 c | 372599 | 18508 93318 263180 | 365869 368468 89 | 73.047 % |
1127.01/1127.46 c | 374462 | 18508 93318 263180 | 365869 370331 89 | 73.047 % |
1135.20/1135.63 c | 376515 | 18508 93318 263180 | 365869 372384 89 | 73.047 % |
1145.00/1145.48 c | 378768 | 18508 93318 263180 | 365869 374637 89 | 73.047 % |
1156.00/1156.43 c | 381246 | 18508 93318 263180 | 375870 377115 89 | 73.047 % |
1168.60/1169.05 c | 383971 | 18508 93318 263180 | 375870 379840 89 | 73.047 % |
1182.09/1182.57 c | 386970 | 18508 93318 263180 | 375870 382839 89 | 73.047 % |
1197.09/1197.52 c | 390267 | 18508 93318 263180 | 385872 386136 89 | 73.047 % |
1217.58/1218.03 c | 393893 | 18508 93318 263180 | 385872 389762 89 | 73.047 % |
1218.18/1218.65 c | 393994 | 18508 93318 263180 | 385872 389863 89 | 73.047 % |
1218.78/1219.20 c | 394104 | 18508 93318 263180 | 385872 389973 89 | 73.047 % |
1219.18/1219.65 c | 394225 | 18508 93318 263180 | 385872 390094 89 | 73.047 % |
1219.88/1220.33 c | 394358 | 18508 93318 263180 | 385872 390227 89 | 73.047 % |
1220.78/1221.22 c | 394504 | 18508 93318 263180 | 385872 390373 89 | 73.047 % |
1221.69/1222.16 c | 394664 | 18508 93318 263180 | 385872 390533 89 | 73.047 % |
1222.98/1223.47 c | 394841 | 18508 93318 263180 | 385872 390710 89 | 73.047 % |
1224.08/1224.57 c | 395036 | 18508 93318 263180 | 385872 390905 89 | 73.047 % |
1224.78/1225.21 c | 395250 | 18508 93318 263180 | 385872 391119 89 | 73.047 % |
1226.18/1226.68 c | 395484 | 18508 93318 263180 | 385872 391353 89 | 73.047 % |
1227.28/1227.78 c | 395741 | 18508 93318 263180 | 385872 391610 89 | 73.047 % |
1229.38/1229.81 c | 396022 | 18508 93318 263180 | 385872 391891 89 | 73.047 % |
1231.18/1231.63 c | 396332 | 18508 93318 263180 | 385872 392201 89 | 73.047 % |
1233.08/1233.53 c | 396672 | 18508 93318 263180 | 385872 392541 89 | 73.047 % |
1235.58/1236.08 c | 397047 | 18498 93239 262985 | 385872 392896 89 | 73.062 % |
1237.37/1237.88 c | 397458 | 18498 93239 262985 | 385872 393307 89 | 73.062 % |
1240.28/1240.70 c | 397911 | 18498 93239 262985 | 385872 393760 89 | 73.062 % |
1242.07/1242.54 c | 398404 | 18498 93239 262985 | 385872 394253 89 | 73.062 % |
1245.27/1245.72 c | 398946 | 18498 93239 262985 | 385872 394795 89 | 73.062 % |
1249.27/1249.79 c | 399543 | 18498 93239 262985 | 385872 395392 89 | 73.062 % |
1253.27/1253.75 c | 400200 | 18498 93239 262985 | 395849 396049 89 | 73.062 % |
1256.87/1257.33 c | 400924 | 18498 93239 262985 | 395849 396773 89 | 73.062 % |
1260.56/1261.07 c | 401716 | 18498 93239 262985 | 395849 397565 89 | 73.062 % |
1264.96/1265.50 c | 402587 | 18498 93239 262985 | 395849 398436 89 | 73.062 % |
1269.36/1269.84 c | 403545 | 18498 93239 262985 | 395849 399394 89 | 73.062 % |
1272.56/1273.07 c | 404600 | 18498 93239 262985 | 395849 400449 89 | 73.062 % |
1278.25/1278.75 c | 405759 | 18498 93239 262985 | 395849 401608 89 | 73.062 % |
1284.46/1284.94 c | 407033 | 18498 93239 262985 | 395849 402882 89 | 73.062 % |
1292.66/1293.17 c | 408434 | 18498 93239 262985 | 395849 404283 89 | 73.062 % |
1301.15/1301.66 c | 409974 | 18498 93239 262985 | 395849 405823 89 | 73.062 % |
1310.15/1310.60 c | 411668 | 18498 93239 262985 | 405850 407517 89 | 73.062 % |
1318.24/1318.78 c | 413531 | 18498 93239 262985 | 405850 409380 89 | 73.062 % |
1326.65/1327.17 c | 415580 | 18498 93239 262985 | 405850 411429 89 | 73.062 % |
1337.14/1337.65 c | 417834 | 18498 93239 262985 | 405850 413683 89 | 73.062 % |
1347.84/1348.35 c | 420314 | 18498 93239 262985 | 415850 416163 89 | 73.062 % |
1361.53/1362.09 c | 423039 | 18498 93239 262985 | 415850 418887 89 | 73.226 % |
1377.04/1377.53 c | 426037 | 18498 93239 262985 | 415850 421885 89 | 73.226 % |
1391.72/1392.24 c | 429333 | 18498 93239 262985 | 415850 425181 89 | 73.226 % |
1408.33/1408.86 c | 432960 | 18498 93239 262985 | 425848 428808 89 | 73.226 % |
1430.01/1430.52 c | 436950 | 18385 92840 261709 | 425848 432773 89 | 73.226 % |
1430.51/1431.04 c | 437050 | 18385 92840 261709 | 425848 432873 89 | 73.226 % |
1431.41/1431.93 c | 437162 | 18385 92840 261709 | 425848 432985 89 | 73.226 % |
1432.01/1432.53 c | 437283 | 18385 92840 261709 | 425848 433106 89 | 73.226 % |
1432.82/1433.38 c | 437416 | 18385 92840 261709 | 425848 433239 89 | 73.226 % |
1433.92/1434.45 c | 437563 | 18385 92840 261709 | 425848 433386 89 | 73.226 % |
1434.72/1435.29 c | 437726 | 18385 92840 261709 | 425848 433549 89 | 73.226 % |
1435.82/1436.32 c | 437902 | 18385 92840 261709 | 425848 433725 89 | 73.226 % |
1437.12/1437.61 c | 438095 | 18385 92840 261709 | 425848 433918 89 | 73.226 % |
1438.22/1438.71 c | 438307 | 18385 92840 261709 | 425848 434130 89 | 73.226 % |
1439.51/1440.02 c | 438541 | 18385 92840 261709 | 425848 434364 89 | 73.226 % |
1440.91/1441.48 c | 438797 | 18385 92840 261709 | 425848 434620 89 | 73.226 % |
1443.11/1443.63 c | 439079 | 18385 92840 261709 | 425848 434902 89 | 73.226 % |
1444.71/1445.22 c | 439388 | 18385 92840 261709 | 425848 435211 89 | 73.226 % |
1446.51/1447.04 c | 439727 | 18385 92840 261709 | 425848 435550 89 | 73.226 % |
1448.81/1449.39 c | 440100 | 18385 92840 261709 | 435823 435923 89 | 73.226 % |
1451.21/1451.71 c | 440509 | 18385 92840 261709 | 435823 436332 89 | 73.226 % |
1453.31/1453.89 c | 440958 | 18385 92840 261709 | 435823 436781 89 | 73.226 % |
1456.31/1456.87 c | 441451 | 18385 92840 261709 | 435823 437274 88 | 73.226 % |
1459.00/1459.58 c | 441994 | 18385 92840 261709 | 435823 437817 88 | 73.226 % |
1461.80/1462.30 c | 442591 | 18385 92840 261709 | 435823 438414 88 | 73.226 % |
1464.71/1465.26 c | 443246 | 18385 92840 261709 | 435823 439069 88 | 73.226 % |
1469.40/1469.95 c | 443966 | 18384 92840 261709 | 435823 439788 88 | 73.242 % |
1474.90/1475.41 c | 444760 | 18384 92840 261709 | 435823 440581 88 | 73.296 % |
1479.80/1480.38 c | 445631 | 18384 92840 261709 | 435823 441452 88 | 73.296 % |
1484.60/1485.14 c | 446591 | 18384 92840 261709 | 435823 442412 88 | 73.296 % |
1488.99/1489.57 c | 447644 | 18384 92840 261709 | 435823 443464 88 | 73.315 % |
1496.79/1497.36 c | 448804 | 18384 92840 261709 | 435823 444623 88 | 73.334 % |
1504.89/1505.50 c | 450078 | 18384 92840 261709 | 445820 445897 88 | 73.334 % |
1512.89/1513.43 c | 451480 | 18384 92840 261709 | 445820 447299 88 | 73.334 % |
1521.48/1522.02 c | 453020 | 18384 92840 261709 | 445820 448839 88 | 73.334 % |
1530.29/1530.82 c | 454715 | 18384 92840 261709 | 445820 450534 88 | 73.334 % |
1541.18/1541.75 c | 456580 | 18384 92840 261709 | 445820 452399 88 | 73.334 % |
1553.78/1554.36 c | 458631 | 18383 92840 261709 | 445820 454449 89 | 73.356 % |
1565.78/1566.30 c | 460885 | 18383 92840 261709 | 455819 456703 89 | 73.356 % |
1579.27/1579.82 c | 463363 | 18383 92840 261709 | 455819 459181 89 | 73.356 % |
1592.97/1593.57 c | 466088 | 18383 92840 261709 | 455819 461906 89 | 73.356 % |
1605.66/1606.24 c | 469087 | 18383 92840 261709 | 455819 464905 89 | 73.356 % |
1620.56/1621.14 c | 472383 | 18383 92840 261709 | 465818 468201 89 | 73.356 % |
1635.65/1636.22 c | 476008 | 18383 92840 261709 | 465818 471826 89 | 73.356 % |
1651.25/1651.80 c | 479997 | 18383 92840 261709 | 465818 475815 89 | 73.356 % |
1671.04/1671.64 c | 484382 | 18296 92268 260188 | 475788 480169 89 | 73.356 % |
1671.64/1672.27 c | 484483 | 18296 92268 260188 | 475788 480270 89 | 73.356 % |
1672.44/1673.10 c | 484595 | 18296 92268 260188 | 475788 480382 89 | 73.356 % |
1673.14/1673.70 c | 484717 | 18296 92268 260188 | 475788 480504 89 | 73.356 % |
1674.24/1674.83 c | 484850 | 18296 92268 260188 | 475788 480637 89 | 73.356 % |
1675.24/1675.84 c | 484998 | 18296 92268 260188 | 475788 480785 89 | 73.356 % |
1676.64/1677.21 c | 485159 | 18296 92268 260188 | 475788 480946 89 | 73.356 % |
1677.54/1678.12 c | 485335 | 18296 92268 260188 | 475788 481122 89 | 73.356 % |
1678.44/1679.04 c | 485532 | 18296 92268 260188 | 475788 481319 89 | 73.356 % |
1679.64/1680.27 c | 485744 | 18296 92268 260188 | 475788 481531 89 | 73.356 % |
1681.34/1681.98 c | 485977 | 18296 92268 260188 | 475788 481764 89 | 73.356 % |
1683.04/1683.64 c | 486233 | 18296 92268 260188 | 475788 482020 89 | 73.356 % |
1684.94/1685.56 c | 486515 | 18296 92268 260188 | 475788 482302 89 | 73.356 % |
1686.84/1687.48 c | 486824 | 18296 92268 260188 | 475788 482611 89 | 73.356 % |
1688.73/1689.39 c | 487165 | 18296 92268 260188 | 475788 482952 89 | 73.356 % |
1690.14/1690.76 c | 487538 | 18296 92268 260188 | 475788 483325 89 | 73.356 % |
1692.35/1692.96 c | 487947 | 18296 92268 260188 | 475788 483734 89 | 73.356 % |
1695.34/1695.97 c | 488399 | 18296 92268 260188 | 475788 484186 89 | 73.356 % |
1698.44/1699.05 c | 488892 | 18296 92268 260188 | 475788 484679 89 | 73.356 % |
1702.54/1703.18 c | 489435 | 18296 92268 260188 | 475788 485222 89 | 73.356 % |
1706.54/1707.17 c | 490032 | 18296 92268 260188 | 485787 485819 89 | 73.356 % |
1710.13/1710.72 c | 490688 | 18296 92268 260188 | 485787 486475 89 | 73.356 % |
1714.53/1715.15 c | 491412 | 18296 92268 260188 | 485787 487199 89 | 73.356 % |
1718.74/1719.32 c | 492206 | 18296 92268 260188 | 485787 487993 88 | 73.356 % |
1722.13/1722.74 c | 493077 | 18296 92268 260188 | 485787 488864 88 | 73.356 % |
1729.13/1729.75 c | 494035 | 18296 92268 260188 | 485787 489822 88 | 73.356 % |
1734.92/1735.52 c | 495088 | 18296 92268 260188 | 485787 490875 88 | 73.356 % |
1740.63/1741.29 c | 496251 | 18296 92268 260188 | 485787 492038 88 | 73.356 % |
1750.32/1750.96 c | 497527 | 18296 92268 260188 | 485787 493314 88 | 73.356 % |
1760.43/1761.01 c | 498928 | 18296 92268 260188 | 485787 494715 88 | 73.356 % |
1769.92/1770.55 c | 500469 | 18296 92268 260188 | 495788 496256 88 | 73.356 % |
1778.41/1779.02 c | 502163 | 18296 92268 260188 | 495788 497950 88 | 73.356 % |
1789.21/1789.81 c | 504026 | 18296 92268 260188 | 495788 499813 88 | 73.356 % |
1799.50/1800.17 c | 506075 | 18296 92268 260188 | 495788 501861 88 | 73.372 % |
1810.31/1810.92 c | 508328 | 18296 92268 260188 | 495788 504114 88 | 73.372 % |
1821.10/1821.75 c | 510810 | 18296 92268 260188 | 505786 506596 88 | 73.372 % |
1834.99/1835.66 c | 513542 | 18296 92268 260188 | 505786 509328 88 | 73.372 % |
1851.80/1852.42 c | 516543 | 18296 92268 260188 | 505786 512329 88 | 73.372 % |
1866.29/1866.93 c | 519839 | 18296 92268 260188 | 505786 515625 88 | 73.372 % |
1887.18/1887.87 c | 523465 | 18296 92268 260188 | 515787 519251 88 | 73.372 % |
1908.48/1909.11 c | 527452 | 18296 92268 260188 | 515787 523238 88 | 73.372 % |
1933.87/1934.59 c | 531839 | 18296 92268 260188 | 525786 527625 88 | 73.372 % |
1963.26/1963.96 c | 536663 | 18285 92191 259984 | 525786 532436 88 | 73.372 % |
1964.06/1964.72 c | 536763 | 18285 92191 259984 | 525786 532536 88 | 73.372 % |
1965.07/1965.71 c | 536873 | 18285 92191 259984 | 525786 532646 88 | 73.372 % |
1966.07/1966.73 c | 536995 | 18285 92191 259984 | 525786 532768 88 | 73.372 % |
1966.86/1967.55 c | 537130 | 18285 92191 259984 | 525786 532903 88 | 73.372 % |
1968.27/1968.95 c | 537282 | 18285 92191 259984 | 525786 533055 88 | 73.372 % |
1969.47/1970.13 c | 537442 | 18285 92191 259984 | 525786 533215 88 | 73.372 % |
1970.36/1971.04 c | 537621 | 18285 92191 259984 | 525786 533394 88 | 73.372 % |
1972.26/1972.92 c | 537814 | 18285 92191 259984 | 525786 533587 88 | 73.372 % |
1973.86/1974.52 c | 538026 | 18285 92191 259984 | 525786 533799 88 | 73.372 % |
1976.06/1976.79 c | 538259 | 18285 92191 259984 | 525786 534032 88 | 73.372 % |
1977.36/1978.02 c | 538516 | 18285 92191 259984 | 525786 534289 88 | 73.372 % |
1979.06/1979.75 c | 538797 | 18285 92191 259984 | 525786 534570 88 | 73.372 % |
1981.05/1981.72 c | 539106 | 18285 92191 259984 | 525786 534879 88 | 73.372 % |
1983.55/1984.24 c | 539445 | 18285 92191 259984 | 525786 535218 88 | 73.372 % |
1985.05/1985.71 c | 539817 | 18285 92191 259984 | 525786 535590 88 | 73.372 % |
1988.06/1988.78 c | 540227 | 18285 92191 259984 | 535773 536000 88 | 73.372 % |
1990.55/1991.27 c | 540679 | 18285 92191 259984 | 535773 536452 88 | 73.372 % |
1994.75/1995.46 c | 541172 | 18285 92191 259984 | 535773 536945 88 | 73.372 % |
1998.95/1999.62 c | 541714 | 18285 92191 259984 | 535773 537487 88 | 73.372 % |
2003.25/2003.90 c | 542311 | 18285 92191 259984 | 535773 538084 88 | 73.372 % |
2007.05/2007.74 c | 542966 | 18285 92191 259984 | 535773 538739 88 | 73.372 % |
2011.15/2011.88 c | 543688 | 18285 92191 259984 | 535773 539461 88 | 73.372 % |
2016.25/2016.98 c | 544480 | 18285 92191 259984 | 535773 540253 88 | 73.372 % |
2022.35/2023.07 c | 545351 | 18285 92191 259984 | 535773 541124 88 | 73.372 % |
2029.24/2029.94 c | 546309 | 18285 92191 259984 | 535773 542082 88 | 73.372 % |
2035.64/2036.37 c | 547362 | 18285 92191 259984 | 535773 543135 88 | 73.372 % |
2042.24/2042.92 c | 548521 | 18285 92191 259984 | 535773 544294 88 | 73.372 % |
2047.03/2047.75 c | 549794 | 18285 92191 259984 | 535773 545567 88 | 73.372 % |
2055.63/2056.34 c | 551194 | 18285 92191 259984 | 545774 546967 88 | 73.372 % |
2065.63/2066.33 c | 552735 | 18285 92191 259984 | 545774 548508 87 | 73.372 % |
2075.93/2076.63 c | 554429 | 18285 92191 259984 | 545774 550202 87 | 73.372 % |
2090.53/2091.26 c | 556293 | 18285 92191 259984 | 545774 552066 87 | 73.372 % |
2103.52/2104.30 c | 558343 | 18285 92191 259984 | 545774 554116 87 | 73.372 % |
2117.21/2117.94 c | 560598 | 18285 92191 259984 | 555775 556370 87 | 73.398 % |
2134.41/2135.16 c | 563076 | 18285 92191 259984 | 555775 558848 87 | 73.398 % |
2153.11/2153.88 c | 565801 | 18285 92191 259984 | 555775 561573 87 | 73.398 % |
2173.40/2174.18 c | 568799 | 18285 92191 259984 | 555775 564571 87 | 73.398 % |
2190.89/2191.67 c | 572095 | 18277 92191 259984 | 565771 567865 87 | 73.550 % |
2218.58/2219.30 c | 575722 | 18277 92191 259984 | 565771 571492 87 | 73.550 % |
2249.08/2249.80 c | 579709 | 18163 91522 258163 | 565771 575333 87 | 73.550 % |
2279.36/2280.12 c | 584096 | 18163 91522 258163 | 575624 579720 87 | 73.550 % |
2311.46/2312.26 c | 588919 | 18163 91522 258163 | 575624 584543 87 | 73.550 % |
2347.45/2348.27 c | 594226 | 18163 91522 258163 | 585624 589850 87 | 73.550 % |
2348.25/2349.02 c | 594327 | 18163 91522 258163 | 585624 589951 87 | 73.550 % |
2349.25/2350.06 c | 594450 | 18163 91522 258163 | 585624 590074 87 | 73.550 % |
2350.25/2351.06 c | 594572 | 18163 91522 258163 | 585624 590196 87 | 73.550 % |
2351.35/2352.20 c | 594706 | 18163 91522 258163 | 585624 590330 87 | 73.550 % |
2352.35/2353.19 c | 594853 | 18163 91522 258163 | 585624 590477 87 | 73.550 % |
2353.65/2354.47 c | 595013 | 18163 91522 258163 | 585624 590637 87 | 73.550 % |
2354.65/2355.48 c | 595190 | 18163 91522 258163 | 585624 590814 87 | 73.550 % |
2355.95/2356.70 c | 595383 | 18163 91522 258163 | 585624 591007 87 | 73.550 % |
2357.15/2357.98 c | 595596 | 18163 91522 258163 | 585624 591220 87 | 73.550 % |
2358.75/2359.52 c | 595829 | 18163 91522 258163 | 585624 591453 87 | 73.550 % |
2360.64/2361.50 c | 596085 | 18163 91522 258163 | 585624 591709 87 | 73.550 % |
2362.14/2362.98 c | 596366 | 18163 91522 258163 | 585624 591990 87 | 73.550 % |
2364.54/2365.31 c | 596677 | 18163 91522 258163 | 585624 592301 87 | 73.550 % |
2366.54/2367.32 c | 597017 | 18163 91522 258163 | 585624 592641 87 | 73.550 % |
2369.04/2369.83 c | 597390 | 18163 91522 258163 | 585624 593014 87 | 73.550 % |
2371.14/2371.97 c | 597801 | 18163 91522 258163 | 585624 593425 87 | 73.550 % |
2375.15/2375.97 c | 598251 | 18163 91522 258163 | 585624 593875 87 | 73.550 % |
2379.25/2380.05 c | 598745 | 18163 91522 258163 | 585624 594369 87 | 73.550 % |
2383.44/2384.29 c | 599288 | 18163 91522 258163 | 585624 594912 87 | 73.550 % |
2386.25/2387.00 c | 599884 | 18163 91522 258163 | 585624 595508 87 | 73.550 % |
2389.84/2390.62 c | 600539 | 18163 91522 258163 | 595627 596163 87 | 73.550 % |
2394.64/2395.47 c | 601261 | 18160 91522 258163 | 595627 596884 87 | 73.714 % |
2401.14/2401.92 c | 602053 | 18160 91522 258163 | 595627 597676 87 | 73.714 % |
2406.14/2406.93 c | 602925 | 18160 91522 258163 | 595627 598548 87 | 73.714 % |
2411.23/2412.04 c | 603884 | 18160 91522 258163 | 595627 599507 87 | 73.714 % |
2418.73/2419.52 c | 604937 | 18160 91522 258163 | 595627 600560 87 | 73.714 % |
2426.32/2427.17 c | 606095 | 18160 91522 258163 | 595627 601718 87 | 73.714 % |
2433.92/2434.73 c | 607368 | 18160 91522 258163 | 595627 602991 87 | 73.714 % |
2446.21/2447.02 c | 608769 | 18158 91522 258163 | 595627 604390 87 | 73.740 % |
2457.72/2458.59 c | 610309 | 18158 91522 258163 | 605622 605930 87 | 73.740 % |
2469.12/2469.97 c | 612003 | 18158 91522 258163 | 605622 607624 87 | 73.740 % |
2482.11/2482.94 c | 613866 | 18158 91522 258163 | 605622 609487 87 | 73.740 % |
2499.41/2500.27 c | 615916 | 18158 91522 258163 | 605622 611537 87 | 73.740 % |
2517.40/2518.25 c | 618169 | 18158 91522 258163 | 605622 613790 87 | 73.740 % |
2535.59/2536.42 c | 620647 | 18158 91522 258163 | 615623 616268 87 | 73.740 % |
2554.50/2555.32 c | 623372 | 18157 91522 258163 | 615623 618992 87 | 73.769 % |
2576.78/2577.61 c | 626369 | 18012 90701 256006 | 615623 621860 87 | 73.769 % |
2600.37/2601.21 c | 629666 | 18012 90701 256006 | 615623 625156 87 | 73.790 % |
2623.47/2624.39 c | 633293 | 18012 90701 256006 | 625491 628783 87 | 73.790 % |
2650.76/2651.65 c | 637281 | 18011 90701 256006 | 625491 632769 87 | 73.823 % |
2673.76/2674.65 c | 641666 | 18011 90701 256006 | 635489 637154 87 | 73.823 % |
2703.85/2704.72 c | 646489 | 18011 90701 256006 | 635489 641977 87 | 73.823 % |
2741.54/2742.43 c | 651794 | 18011 90701 256006 | 645488 647282 86 | 73.823 % |
2783.63/2784.53 c | 657629 | 18011 90701 256006 | 645488 653117 87 | 73.823 % |
2784.43/2785.31 c | 657729 | 18011 90701 256006 | 645488 653217 87 | 73.823 % |
2785.33/2786.29 c | 657839 | 18011 90701 256006 | 645488 653327 87 | 73.823 % |
2786.83/2787.73 c | 657962 | 18011 90701 256006 | 645488 653450 87 | 73.823 % |
2788.23/2789.16 c | 658096 | 18011 90701 256006 | 645488 653584 87 | 73.823 % |
2789.33/2790.24 c | 658242 | 18011 90701 256006 | 645488 653730 87 | 73.823 % |
2790.73/2791.63 c | 658402 | 18011 90701 256006 | 645488 653890 87 | 73.823 % |
2792.03/2792.96 c | 658579 | 18011 90701 256006 | 645488 654067 87 | 73.823 % |
2793.72/2794.65 c | 658773 | 18011 90701 256006 | 645488 654261 87 | 73.823 % |
2795.33/2796.29 c | 658986 | 18011 90701 256006 | 645488 654474 87 | 73.823 % |
2797.53/2798.45 c | 659219 | 18011 90701 256006 | 645488 654707 87 | 73.823 % |
2799.72/2800.69 c | 659477 | 18011 90701 256006 | 645488 654965 87 | 73.823 % |
2802.32/2803.21 c | 659759 | 18011 90701 256006 | 645488 655247 87 | 73.823 % |
2805.02/2805.92 c | 660068 | 18011 90701 256006 | 655488 655556 87 | 73.823 % |
2808.12/2809.02 c | 660408 | 18011 90701 256006 | 655488 655896 87 | 73.823 % |
2811.02/2811.96 c | 660780 | 18011 90701 256006 | 655488 656268 87 | 73.823 % |
2814.52/2815.42 c | 661189 | 18011 90701 256006 | 655488 656677 87 | 73.823 % |
2817.71/2818.69 c | 661638 | 18011 90701 256006 | 655488 657126 87 | 73.823 % |
2821.51/2822.45 c | 662131 | 18011 90701 256006 | 655488 657619 87 | 73.823 % |
2826.01/2826.91 c | 662673 | 18011 90701 256006 | 655488 658161 87 | 73.823 % |
2831.61/2832.52 c | 663270 | 18011 90701 256006 | 655488 658758 87 | 73.823 % |
2836.81/2837.72 c | 663925 | 18011 90701 256006 | 655488 659413 86 | 73.823 % |
2842.62/2843.54 c | 664645 | 18011 90701 256006 | 655488 660133 86 | 73.823 % |
2849.21/2850.16 c | 665439 | 18011 90701 256006 | 655488 660927 86 | 73.823 % |
2855.21/2856.12 c | 666310 | 18011 90701 256006 | 655488 661798 86 | 73.823 % |
2862.80/2863.75 c | 667268 | 18011 90701 256006 | 655488 662755 86 | 73.841 % |
2870.40/2871.37 c | 668321 | 18011 90701 256006 | 655488 663808 86 | 73.841 % |
2879.30/2880.20 c | 669479 | 18011 90701 256006 | 655488 664966 86 | 73.841 % |
2887.99/2888.96 c | 670752 | 17963 90366 255123 | 665482 666232 86 | 73.841 % |
2898.00/2898.98 c | 672154 | 17963 90366 255123 | 665482 667634 86 | 73.841 % |
2910.19/2911.15 c | 673696 | 17963 90366 255123 | 665482 669176 86 | 73.841 % |
2920.69/2921.67 c | 675390 | 17963 90366 255123 | 665482 670870 86 | 73.841 % |
2933.58/2934.54 c | 677253 | 17963 90366 255123 | 665482 672733 86 | 73.841 % |
2945.08/2946.03 c | 679303 | 17963 90366 255123 | 665482 674783 86 | 73.841 % |
2957.87/2958.82 c | 681557 | 17963 90366 255123 | 675480 677037 86 | 73.841 % |
2968.58/2969.53 c | 684035 | 17963 90366 255123 | 675480 679515 86 | 73.841 % |
2986.37/2987.38 c | 686762 | 17963 90366 255123 | 675480 682242 86 | 73.841 % |
3007.46/3008.48 c | 689759 | 17963 90366 255123 | 675480 685238 86 | 73.858 % |
3028.06/3029.05 c | 693056 | 17963 90366 255123 | 685480 688535 86 | 73.858 % |
3056.15/3057.13 c | 696681 | 17963 90366 255123 | 685480 692160 86 | 73.858 % |
3083.94/3084.95 c | 700669 | 17963 90366 255123 | 695479 696148 86 | 73.858 % |
3111.53/3112.57 c | 705056 | 17963 90366 255123 | 695479 700535 86 | 73.858 % |
3148.12/3149.19 c | 709882 | 17963 90366 255123 | 695479 705361 86 | 73.858 % |
3186.41/3187.48 c | 715188 | 17963 90366 255123 | 705480 710667 86 | 73.858 % |
3235.80/3236.86 c | 721023 | 17963 90366 255123 | 715480 716502 86 | 73.858 % |
3287.18/3288.30 c | 727441 | 17963 90366 255123 | 715480 722920 86 | 73.858 % |
3288.48/3289.51 c | 727545 | 17951 90289 254915 | 715480 723000 86 | 73.858 % |
3289.58/3290.63 c | 727657 | 17951 90289 254915 | 715480 723111 86 | 73.864 % |
3290.88/3291.97 c | 727780 | 17951 90289 254915 | 715480 723234 86 | 73.864 % |
3291.88/3292.99 c | 727915 | 17951 90289 254915 | 715480 723369 86 | 73.864 % |
3292.88/3293.99 c | 728061 | 17951 90289 254915 | 715480 723515 86 | 73.864 % |
3294.39/3295.44 c | 728223 | 17951 90289 254915 | 715480 723677 86 | 73.864 % |
3295.49/3296.56 c | 728401 | 17951 90289 254915 | 715480 723855 86 | 73.864 % |
3297.18/3298.22 c | 728594 | 17951 90289 254915 | 715480 724048 86 | 73.864 % |
3299.08/3300.15 c | 728806 | 17951 90289 254915 | 715480 724260 86 | 73.864 % |
3301.58/3302.67 c | 729039 | 17951 90289 254915 | 715480 724493 86 | 73.864 % |
3303.48/3304.58 c | 729295 | 17951 90289 254915 | 715480 724749 86 | 73.864 % |
3305.88/3306.97 c | 729577 | 17951 90289 254915 | 715480 725031 86 | 73.864 % |
3308.58/3309.62 c | 729891 | 17951 90289 254915 | 715480 725345 86 | 73.864 % |
3311.68/3312.76 c | 730230 | 17951 90289 254915 | 725456 725684 86 | 73.864 % |
3314.48/3315.55 c | 730603 | 17951 90289 254915 | 725456 726057 86 | 73.864 % |
3317.28/3318.30 c | 731012 | 17951 90289 254915 | 725456 726466 86 | 73.864 % |
3321.37/3322.49 c | 731463 | 17951 90289 254915 | 725456 726917 86 | 73.864 % |
3324.67/3325.76 c | 731956 | 17951 90289 254915 | 725456 727410 86 | 73.864 % |
3329.77/3330.89 c | 732498 | 17951 90289 254915 | 725456 727952 86 | 73.864 % |
3333.97/3335.06 c | 733094 | 17951 90289 254915 | 725456 728548 86 | 73.864 % |
3338.37/3339.44 c | 733749 | 17951 90289 254915 | 725456 729203 86 | 73.864 % |
3345.07/3346.14 c | 734470 | 17951 90289 254915 | 725456 729924 86 | 73.864 % |
3351.36/3352.45 c | 735262 | 17951 90289 254915 | 725456 730716 86 | 73.864 % |
3357.66/3358.76 c | 736135 | 17951 90289 254915 | 725456 731589 86 | 73.864 % |
3364.26/3365.39 c | 737094 | 17951 90289 254915 | 725456 732548 86 | 73.864 % |
3372.57/3373.68 c | 738148 | 17951 90289 254915 | 725456 733601 86 | 73.882 % |
3380.37/3381.49 c | 739309 | 17951 90289 254915 | 725456 734762 86 | 73.882 % |
3390.36/3391.45 c | 740583 | 17951 90289 254915 | 735455 736036 86 | 73.882 % |
3399.35/3400.41 c | 741989 | 17951 90289 254915 | 735455 737442 86 | 73.882 % |
3409.85/3411.00 c | 743529 | 17951 90289 254915 | 735455 738982 86 | 73.882 % |
3424.85/3425.92 c | 745225 | 17951 90289 254915 | 735455 740678 86 | 73.882 % |
3438.65/3439.76 c | 747092 | 17951 90289 254915 | 735455 742545 86 | 73.882 % |
3453.63/3454.74 c | 749143 | 17951 90289 254915 | 735455 744596 86 | 73.882 % |
3470.62/3471.70 c | 751396 | 17951 90289 254915 | 745453 746849 86 | 73.882 % |
3489.22/3490.34 c | 753875 | 17951 90289 254915 | 745453 749328 85 | 73.882 % |
3506.32/3507.45 c | 756600 | 17951 90289 254915 | 745453 752053 85 | 73.882 % |
3531.51/3532.62 c | 759598 | 17951 90289 254915 | 745453 755051 85 | 73.882 % |
3553.20/3554.39 c | 762897 | 17951 90289 254915 | 755453 758349 85 | 73.898 % |
3576.00/3577.13 c | 766523 | 17951 90289 254915 | 755453 761975 85 | 73.898 % |
3600.39/3601.55 c | 770511 | 17951 90289 254915 | 765453 765963 85 | 73.898 % |
3635.68/3636.89 c | 774898 | 17951 90289 254915 | 765453 770350 85 | 73.898 % |
3685.27/3686.44 c | 779721 | 17951 90289 254915 | 765453 775173 84 | 73.898 % |
3732.65/3733.86 c | 785026 | 17951 90289 254915 | 775453 780478 84 | 73.898 % |
3785.64/3786.89 c | 790861 | 17951 90289 254915 | 785452 786313 84 | 73.898 % |
3831.52/3832.73 c | 797281 | 17951 90289 254915 | 785452 792733 84 | 73.898 % |
3881.60/3882.90 c | 804343 | 17924 90087 254362 | 795446 799789 83 | 73.898 % |
3882.60/3883.89 c | 804443 | 17924 90087 254362 | 795446 799889 83 | 73.898 % |
3883.70/3884.97 c | 804554 | 17924 90087 254362 | 795446 800000 83 | 73.898 % |
3885.01/3886.20 c | 804676 | 17924 90087 254362 | 795446 800122 83 | 73.898 % |
3886.22/3887.45 c | 804812 | 17924 90087 254362 | 795446 800258 83 | 73.898 % |
3887.11/3888.32 c | 804961 | 17924 90087 254362 | 795446 800407 83 | 73.898 % |
3888.42/3889.69 c | 805123 | 17924 90087 254362 | 795446 800569 83 | 73.898 % |
3889.81/3891.02 c | 805300 | 17924 90087 254362 | 795446 800746 83 | 73.898 % |
3891.11/3892.30 c | 805497 | 17924 90087 254362 | 795446 800943 83 | 73.898 % |
3892.81/3894.02 c | 805710 | 17924 90087 254362 | 795446 801156 83 | 73.898 % |
3894.51/3895.72 c | 805944 | 17924 90087 254362 | 795446 801390 83 | 73.898 % |
3897.81/3899.06 c | 806200 | 17924 90087 254362 | 795446 801646 83 | 73.898 % |
3901.00/3902.29 c | 806481 | 17924 90087 254362 | 795446 801927 83 | 73.898 % |
3904.10/3905.32 c | 806790 | 17924 90087 254362 | 795446 802236 83 | 73.898 % |
3908.21/3909.41 c | 807130 | 17924 90087 254362 | 795446 802576 83 | 73.898 % |
3912.30/3913.52 c | 807503 | 17924 90087 254362 | 795446 802949 83 | 73.898 % |
3916.80/3918.08 c | 807917 | 17924 90087 254362 | 795446 803363 83 | 73.898 % |
3922.40/3923.65 c | 808368 | 17924 90087 254362 | 795446 803814 83 | 73.898 % |
3927.09/3928.33 c | 808866 | 17924 90087 254362 | 795446 804312 83 | 73.898 % |
3931.59/3932.87 c | 809408 | 17924 90087 254362 | 795446 804854 83 | 73.898 % |
3936.69/3937.92 c | 810004 | 17924 90087 254362 | 805447 805450 83 | 73.898 % |
3943.00/3944.24 c | 810659 | 17923 90087 254362 | 805447 806104 83 | 73.914 % |
3949.90/3951.20 c | 811380 | 17923 90087 254362 | 805447 806825 83 | 73.914 % |
3956.69/3957.94 c | 812177 | 17923 90087 254362 | 805447 807622 83 | 73.914 % |
3963.79/3965.04 c | 813050 | 17923 90087 254362 | 805447 808495 83 | 73.914 % |
3972.69/3973.97 c | 814009 | 17923 90087 254362 | 805447 809454 83 | 73.914 % |
3981.38/3982.70 c | 815065 | 17923 90087 254362 | 805447 810510 83 | 73.914 % |
3990.98/3992.20 c | 816224 | 17923 90087 254362 | 805447 811669 83 | 73.914 % |
4001.08/4002.37 c | 817497 | 17923 90087 254362 | 805447 812942 83 | 73.914 % |
4013.87/4015.18 c | 818897 | 17923 90087 254362 | 805447 814342 83 | 73.914 % |
4026.46/4027.79 c | 820437 | 17923 90087 254362 | 815445 815882 83 | 73.914 % |
4036.46/4037.78 c | 822131 | 17923 90087 254362 | 815445 817576 83 | 73.914 % |
4051.46/4052.73 c | 823994 | 17923 90087 254362 | 815445 819439 83 | 73.914 % |
4063.96/4065.29 c | 826043 | 17923 90087 254362 | 815445 821488 83 | 73.914 % |
4086.85/4088.10 c | 828296 | 17923 90087 254362 | 815445 823741 83 | 73.914 % |
4103.15/4104.45 c | 830774 | 17923 90087 254362 | 825445 826219 83 | 73.914 % |
4126.24/4127.51 c | 833500 | 17923 90087 254362 | 825445 828945 83 | 73.914 % |
4157.53/4158.82 c | 836499 | 17907 90087 254362 | 825445 831943 83 | 74.150 % |
4188.52/4189.85 c | 839798 | 17907 90087 254362 | 825445 835242 83 | 74.150 % |
4221.71/4223.07 c | 843424 | 17907 90087 254362 | 835444 838868 83 | 74.150 % |
4260.30/4261.60 c | 847411 | 17907 90087 254362 | 835444 842855 83 | 74.150 % |
4289.50/4290.83 c | 851796 | 17907 90087 254362 | 845446 847240 83 | 74.150 % |
4317.19/4318.54 c | 856619 | 17907 90087 254362 | 845446 852063 83 | 74.150 % |
4361.47/4362.87 c | 861924 | 17907 90087 254362 | 855446 857368 83 | 74.150 % |
4413.16/4414.56 c | 867759 | 17907 90087 254362 | 855446 863203 83 | 74.150 % |
4470.65/4472.05 c | 874179 | 17907 90087 254362 | 865445 869623 83 | 74.150 % |
4530.92/4532.32 c | 881238 | 17751 89110 251605 | 875295 876532 83 | 74.150 % |
4614.40/4615.81 c | 889003 | 17751 89110 251605 | 875295 884297 83 | 74.150 % |
4615.80/4617.29 c | 889103 | 17751 89110 251605 | 875295 884397 83 | 74.150 % |
4617.30/4618.72 c | 889213 | 17751 89110 251605 | 875295 884507 83 | 74.150 % |
4618.90/4620.33 c | 889343 | 17751 89110 251605 | 875295 884637 83 | 74.150 % |
4621.00/4622.46 c | 889477 | 17751 89110 251605 | 875295 884771 83 | 74.150 % |
4622.70/4624.18 c | 889624 | 17751 89110 251605 | 875295 884918 83 | 74.150 % |
4624.90/4626.33 c | 889784 | 17751 89110 251605 | 875295 885078 83 | 74.150 % |
4627.20/4628.65 c | 889961 | 17751 89110 251605 | 875295 885255 83 | 74.150 % |
4629.40/4630.86 c | 890154 | 17751 89110 251605 | 885294 885448 83 | 74.150 % |
4631.80/4633.21 c | 890366 | 17751 89110 251605 | 885294 885660 83 | 74.150 % |
4634.49/4635.92 c | 890601 | 17751 89110 251605 | 885294 885895 83 | 74.150 % |
4636.89/4638.30 c | 890859 | 17751 89110 251605 | 885294 886153 83 | 74.150 % |
4640.29/4641.73 c | 891141 | 17751 89110 251605 | 885294 886435 83 | 74.150 % |
4643.29/4644.71 c | 891451 | 17751 89110 251605 | 885294 886745 83 | 74.150 % |
4646.59/4648.02 c | 891792 | 17751 89110 251605 | 885294 887086 83 | 74.150 % |
4649.80/4651.28 c | 892165 | 17751 89110 251605 | 885294 887459 83 | 74.150 % |
4653.89/4655.35 c | 892574 | 17751 89110 251605 | 885294 887868 83 | 74.150 % |
4657.69/4659.11 c | 893023 | 17751 89110 251605 | 885294 888317 83 | 74.150 % |
4662.49/4663.97 c | 893516 | 17751 89110 251605 | 885294 888810 83 | 74.150 % |
4668.79/4670.21 c | 894059 | 17751 89110 251605 | 885294 889353 83 | 74.150 % |
4675.69/4677.13 c | 894655 | 17751 89110 251605 | 885294 889949 83 | 74.150 % |
4681.98/4683.42 c | 895311 | 17751 89110 251605 | 885294 890605 83 | 74.150 % |
4689.38/4690.83 c | 896034 | 17751 89110 251605 | 885294 891328 83 | 74.150 % |
4695.08/4696.57 c | 896828 | 17751 89110 251605 | 885294 892122 83 | 74.150 % |
4700.08/4701.56 c | 897702 | 17751 89110 251605 | 885294 892996 83 | 74.150 % |
4706.58/4708.03 c | 898667 | 17751 89110 251605 | 885294 893961 83 | 74.150 % |
4712.97/4714.41 c | 899720 | 17751 89110 251605 | 885294 895014 83 | 74.150 % |
4719.17/4720.66 c | 900879 | 17751 89110 251605 | 895295 896173 83 | 74.150 % |
4727.17/4728.68 c | 902154 | 17751 89110 251605 | 895295 897448 83 | 74.150 % |
4738.86/4740.38 c | 903557 | 17751 89110 251605 | 895295 898851 83 | 74.150 % |
4753.76/4755.25 c | 905097 | 17750 89110 251605 | 895295 900390 83 | 74.157 % |
4770.95/4772.45 c | 906791 | 17750 89110 251605 | 895295 902084 83 | 74.157 % |
4790.45/4791.99 c | 908654 | 17750 89110 251605 | 895295 903947 83 | 74.157 % |
4807.95/4809.47 c | 910705 | 17750 89110 251605 | 905293 905998 83 | 74.157 % |
4831.14/4832.63 c | 912958 | 17750 89110 251605 | 905293 908251 83 | 74.157 % |
4853.83/4855.36 c | 915439 | 17750 89110 251605 | 905293 910732 83 | 74.157 % |
4877.33/4878.84 c | 918165 | 17750 89110 251605 | 905293 913458 83 | 74.157 % |
4902.12/4903.63 c | 921162 | 17750 89110 251605 | 915294 916455 83 | 74.157 % |
4931.71/4933.23 c | 924458 | 17750 89110 251605 | 915294 919751 83 | 74.157 % |
4961.80/4963.37 c | 928084 | 17750 89110 251605 | 915294 923377 82 | 74.157 % |
4991.19/4992.77 c | 932071 | 17750 89110 251605 | 925296 927364 82 | 74.157 % |
5036.78/5038.36 c | 936457 | 17747 89110 251605 | 925296 931749 82 | 74.269 % |
5070.27/5071.82 c | 941282 | 17747 89110 251605 | 935294 936574 82 | 74.269 % |
5114.66/5116.21 c | 946588 | 17747 89110 251605 | 935294 941880 82 | 74.269 % |
5166.74/5168.33 c | 952423 | 17747 89110 251605 | 945293 947715 82 | 74.269 % |
5227.23/5228.84 c | 958842 | 17669 88430 249934 | 945293 953803 82 | 74.269 % |
5302.40/5304.02 c | 965901 | 17669 88430 249934 | 954962 960862 82 | 74.269 % |
5375.98/5377.63 c | 973665 | 17669 88430 249934 | 964964 968626 82 | 74.269 % |
5456.47/5458.18 c | 982206 | 17669 88430 249934 | 974962 977167 82 | 74.269 % |
5457.46/5459.16 c | 982307 | 17669 88430 249934 | 974962 977268 82 | 74.269 % |
5458.46/5460.14 c | 982418 | 17669 88430 249934 | 974962 977379 82 | 74.269 % |
5460.36/5462.07 c | 982541 | 17669 88430 249934 | 974962 977502 82 | 74.269 % |
5461.46/5463.11 c | 982674 | 17669 88430 249934 | 974962 977635 82 | 74.269 % |
5463.66/5465.35 c | 982821 | 17669 88430 249934 | 974962 977782 82 | 74.269 % |
5465.66/5467.36 c | 982981 | 17669 88430 249934 | 974962 977942 82 | 74.269 % |
5467.56/5469.26 c | 983157 | 17669 88430 249934 | 974962 978118 82 | 74.269 % |
5469.26/5470.96 c | 983351 | 17669 88430 249934 | 974962 978312 82 | 74.269 % |
5472.96/5474.63 c | 983563 | 17669 88430 249934 | 974962 978524 82 | 74.269 % |
5475.36/5477.01 c | 983796 | 17669 88430 249934 | 974962 978757 82 | 74.269 % |
5478.56/5480.24 c | 984052 | 17669 88430 249934 | 974962 979013 82 | 74.269 % |
5480.96/5482.64 c | 984337 | 17669 88430 249934 | 974962 979298 82 | 74.269 % |
5483.66/5485.31 c | 984647 | 17669 88430 249934 | 974962 979608 82 | 74.269 % |
5489.26/5490.93 c | 984987 | 17669 88430 249934 | 974962 979948 82 | 74.269 % |
5493.96/5495.67 c | 985360 | 17669 88430 249934 | 974962 980321 82 | 74.269 % |
5498.15/5499.87 c | 985770 | 17669 88430 249934 | 974962 980731 82 | 74.269 % |
5504.25/5505.99 c | 986222 | 17669 88430 249934 | 974962 981183 82 | 74.269 % |
5510.25/5511.96 c | 986715 | 17669 88430 249934 | 974962 981676 82 | 74.269 % |
5517.35/5519.08 c | 987257 | 17669 88430 249934 | 974962 982218 82 | 74.269 % |
5523.25/5524.91 c | 987853 | 17669 88430 249934 | 974962 982814 82 | 74.269 % |
5528.65/5530.35 c | 988508 | 17669 88430 249934 | 974962 983469 82 | 74.269 % |
5534.84/5536.55 c | 989228 | 17669 88430 249934 | 974962 984189 82 | 74.269 % |
5544.24/5545.91 c | 990021 | 17669 88430 249934 | 984962 984982 82 | 74.269 % |
5550.74/5552.42 c | 990893 | 17669 88430 249934 | 984962 985854 82 | 74.269 % |
5562.14/5563.89 c | 991851 | 17669 88430 249934 | 984962 986812 82 | 74.269 % |
5572.33/5574.07 c | 992904 | 17669 88430 249934 | 984962 987865 82 | 74.269 % |
5586.02/5587.79 c | 994063 | 17669 88430 249934 | 984962 989024 82 | 74.269 % |
5597.42/5599.17 c | 995337 | 17669 88430 249934 | 984962 990298 82 | 74.269 % |
5613.32/5615.04 c | 996742 | 17669 88430 249934 | 984962 991703 82 | 74.269 % |
5630.41/5632.16 c | 998282 | 17669 88430 249934 | 984962 993243 82 | 74.269 % |
5651.11/5652.81 c | 999976 | 17669 88430 249934 | 984962 994937 82 | 74.269 % |
5668.10/5669.81 c | 1001839 | 17669 88430 249934 | 994962 996800 82 | 74.269 % |
5690.60/5692.35 c | 1003889 | 17669 88430 249934 | 994962 998850 82 | 74.269 % |
5707.69/5709.46 c | 1006142 | 17669 88430 249934 | 994962 1001103 82 | 74.269 % |
5734.99/5736.75 c | 1008621 | 17669 88430 249934 | 994962 1003582 82 | 74.269 % |
5761.28/5763.04 c | 1011346 | 17669 88430 249934 | 1004961 1006307 82 | 74.269 % |
5792.37/5794.17 c | 1014343 | 17669 88430 249934 | 1004961 1009304 82 | 74.269 % |
5823.36/5825.10 c | 1017646 | 17669 88430 249934 | 1004961 1012607 82 | 74.269 % |
5862.15/5863.97 c | 1021271 | 17669 88430 249934 | 1014962 1016232 82 | 74.269 % |
5904.04/5905.88 c | 1025259 | 17657 88343 249694 | 1014962 1020214 82 | 74.286 % |
5942.23/5944.06 c | 1029646 | 17657 88343 249694 | 1014962 1024601 82 | 74.286 % |
5992.61/5994.46 c | 1034471 | 17657 88343 249694 | 1024956 1029426 82 | 74.286 % |
6041.60/6043.44 c | 1039776 | 17657 88343 249694 | 1024956 1034731 82 | 74.286 % |
6085.59/6087.45 c | 1045611 | 17657 88343 249694 | 1034959 1040566 82 | 74.286 % |
6136.78/6138.63 c | 1052031 | 17657 88343 249694 | 1044955 1046986 82 | 74.286 % |
6213.35/6215.27 c | 1059090 | 17657 88343 249694 | 1044955 1054045 82 | 74.286 % |
6270.94/6272.83 c | 1066854 | 17657 88343 249694 | 1054956 1061809 82 | 74.286 % |
6351.22/6353.18 c | 1075396 | 17657 88343 249694 | 1064955 1070350 82 | 74.374 % |
6448.99/6450.96 c | 1084792 | 17657 88343 249694 | 1074954 1079746 82 | 74.374 % |
6450.29/6452.27 c | 1084893 | 17657 88343 249694 | 1074954 1079847 82 | 74.374 % |
6451.59/6453.55 c | 1085003 | 17657 88343 249694 | 1074954 1079957 82 | 74.374 % |
6453.29/6455.28 c | 1085124 | 17657 88343 249694 | 1074954 1080078 82 | 74.374 % |
6455.09/6457.09 c | 1085258 | 17657 88343 249694 | 1074954 1080212 82 | 74.374 % |
6457.39/6459.39 c | 1085404 | 17657 88343 249694 | 1074954 1080358 82 | 74.374 % |
6459.59/6461.52 c | 1085564 | 17657 88343 249694 | 1074954 1080518 82 | 74.374 % |
6461.49/6463.40 c | 1085741 | 17657 88343 249694 | 1074954 1080695 82 | 74.374 % |
6464.38/6466.37 c | 1085936 | 17657 88343 249694 | 1074954 1080890 82 | 74.374 % |
6467.78/6469.78 c | 1086151 | 17657 88343 249694 | 1074954 1081105 82 | 74.374 % |
6470.38/6472.39 c | 1086384 | 17657 88343 249694 | 1074954 1081338 82 | 74.374 % |
6474.18/6476.12 c | 1086645 | 17657 88343 249694 | 1074954 1081599 82 | 74.374 % |
6478.88/6480.86 c | 1086927 | 17657 88343 249694 | 1074954 1081881 82 | 74.374 % |
6487.27/6489.26 c | 1087238 | 17657 88343 249694 | 1074954 1082192 82 | 74.374 % |
6491.28/6493.20 c | 1087578 | 17657 88343 249694 | 1074954 1082532 82 | 74.374 % |
6494.17/6496.15 c | 1087951 | 17657 88343 249694 | 1074954 1082905 82 | 74.374 % |
6498.57/6500.54 c | 1088365 | 17657 88343 249694 | 1074954 1083319 82 | 74.374 % |
6501.27/6503.26 c | 1088814 | 17657 88343 249694 | 1074954 1083768 82 | 74.374 % |
6506.27/6508.26 c | 1089309 | 17657 88343 249694 | 1074954 1084263 82 | 74.374 % |
6511.97/6513.91 c | 1089852 | 17657 88343 249694 | 1074954 1084806 82 | 74.374 % |
6519.07/6521.05 c | 1090449 | 17657 88343 249694 | 1084954 1085403 82 | 74.374 % |
6527.07/6529.06 c | 1091104 | 17657 88343 249694 | 1084954 1086058 82 | 74.374 % |
6533.56/6535.56 c | 1091824 | 17657 88343 249694 | 1084954 1086778 82 | 74.374 % |
6541.26/6543.20 c | 1092616 | 17657 88343 249694 | 1084954 1087570 82 | 74.374 % |
6550.55/6552.54 c | 1093487 | 17657 88343 249694 | 1084954 1088441 82 | 74.374 % |
6558.55/6560.58 c | 1094445 | 17657 88343 249694 | 1084954 1089399 82 | 74.374 % |
6569.76/6571.80 c | 1095498 | 17657 88343 249694 | 1084954 1090452 82 | 74.374 % |
6581.85/6583.81 c | 1096657 | 17657 88343 249694 | 1084954 1091611 82 | 74.374 % |
6592.64/6594.63 c | 1097930 | 17657 88343 249694 | 1084954 1092884 82 | 74.374 % |
6610.64/6612.62 c | 1099335 | 17657 88343 249694 | 1084954 1094289 82 | 74.374 % |
6628.63/6630.67 c | 1100875 | 17657 88343 249694 | 1094954 1095829 82 | 74.374 % |
6648.64/6650.65 c | 1102572 | 17657 88343 249694 | 1094954 1097526 82 | 74.374 % |
6663.93/6666.00 c | 1104435 | 17657 88343 249694 | 1094954 1099389 82 | 74.374 % |
6682.52/6684.50 c | 1106485 | 17657 88343 249694 | 1094954 1101439 82 | 74.374 % |
6700.11/6702.17 c | 1108738 | 17657 88343 249694 | 1094954 1103692 82 | 74.374 % |
6720.81/6722.82 c | 1111218 | 17657 88343 249694 | 1104955 1106172 82 | 74.374 % |
6746.20/6748.27 c | 1113943 | 17597 87955 248704 | 1104955 1108896 82 | 74.394 % |
6774.19/6776.29 c | 1116941 | 17597 87955 248704 | 1104955 1111894 82 | 74.394 % |
6802.60/6804.64 c | 1120237 | 17597 87955 248704 | 1114954 1115189 82 | 74.396 % |
6843.08/6845.13 c | 1123863 | 17595 87955 248704 | 1114954 1118814 82 | 74.410 % |
6879.07/6881.12 c | 1127850 | 17595 87955 248704 | 1114954 1122801 82 | 74.410 % |
6925.55/6927.60 c | 1132235 | 17595 87955 248704 | 1124951 1127186 82 | 74.410 % |
6968.65/6970.70 c | 1137058 | 17595 87955 248704 | 1124951 1132009 82 | 74.410 % |
7027.52/7029.62 c | 1142366 | 17595 87955 248704 | 1134954 1137317 82 | 74.410 % |
7091.60/7093.73 c | 1148201 | 17595 87955 248704 | 1134954 1143152 82 | 74.410 % |
7162.48/7164.62 c | 1154622 | 17595 87955 248704 | 1144951 1149573 82 | 74.410 % |
7247.16/7249.30 c | 1161683 | 17595 87955 248704 | 1154952 1156634 82 | 74.410 % |
7303.84/7306.10 c | 1169447 | 17595 87955 248704 | 1154952 1164398 82 | 74.410 % |
7409.62/7411.86 c | 1177992 | 17595 87955 248704 | 1164953 1172943 82 | 74.410 % |
7505.58/7507.84 c | 1187386 | 17595 87955 248704 | 1174952 1182337 82 | 74.410 % |
7612.96/7615.27 c | 1197722 | 17595 87955 248704 | 1184951 1192673 81 | 74.410 % |
7614.66/7616.92 c | 1197822 | 17572 87766 248208 | 1184951 1192752 81 | 74.410 % |
7615.56/7617.80 c | 1197934 | 17572 87766 248208 | 1184951 1192864 81 | 74.410 % |
7616.56/7618.89 c | 1198056 | 17572 87766 248208 | 1184951 1192986 81 | 74.410 % |
7618.66/7620.92 c | 1198192 | 17572 87766 248208 | 1184951 1193122 81 | 74.410 % |
7621.45/7623.73 c | 1198340 | 17572 87766 248208 | 1184951 1193270 81 | 74.410 % |
7624.35/7626.68 c | 1198501 | 17572 87766 248208 | 1184951 1193431 81 | 74.410 % |
7626.85/7629.18 c | 1198677 | 17572 87766 248208 | 1184951 1193607 81 | 74.410 % |
7629.56/7631.88 c | 1198873 | 17572 87766 248208 | 1184951 1193803 81 | 74.410 % |
7632.35/7634.61 c | 1199087 | 17572 87766 248208 | 1184951 1194017 81 | 74.410 % |
7635.25/7637.53 c | 1199322 | 17572 87766 248208 | 1184951 1194252 81 | 74.410 % |
7639.15/7641.47 c | 1199578 | 17572 87766 248208 | 1184951 1194508 81 | 74.410 % |
7642.85/7645.19 c | 1199860 | 17572 87766 248208 | 1184951 1194790 81 | 74.410 % |
7646.55/7648.85 c | 1200171 | 17572 87766 248208 | 1194930 1195101 81 | 74.410 % |
7652.15/7654.49 c | 1200511 | 17572 87766 248208 | 1194930 1195441 81 | 74.410 % |
7656.95/7659.25 c | 1200883 | 17572 87766 248208 | 1194930 1195813 81 | 74.410 % |
7663.74/7666.07 c | 1201292 | 17572 87766 248208 | 1194930 1196222 81 | 74.410 % |
7669.64/7671.98 c | 1201741 | 17572 87766 248208 | 1194930 1196671 81 | 74.410 % |
7675.84/7678.11 c | 1202235 | 17572 87766 248208 | 1194930 1197165 82 | 74.410 % |
7682.24/7684.50 c | 1202777 | 17572 87766 248208 | 1194930 1197707 81 | 74.410 % |
7688.43/7690.70 c | 1203374 | 17572 87766 248208 | 1194930 1198304 82 | 74.410 % |
7695.13/7697.48 c | 1204031 | 17572 87766 248208 | 1194930 1198961 82 | 74.410 % |
7702.42/7704.76 c | 1204753 | 17572 87766 248208 | 1194930 1199683 82 | 74.410 % |
7713.92/7716.25 c | 1205546 | 17571 87766 248208 | 1194930 1200475 81 | 74.429 % |
7723.13/7725.42 c | 1206417 | 17571 87766 248208 | 1194930 1201346 81 | 74.429 % |
7733.62/7735.94 c | 1207375 | 17571 87766 248208 | 1194930 1202304 81 | 74.429 % |
7745.52/7747.85 c | 1208428 | 17571 87766 248208 | 1194930 1203357 81 | 74.429 % |
7764.21/7766.53 c | 1209587 | 17571 87766 248208 | 1194930 1204516 81 | 74.429 % |
7780.30/7782.60 c | 1210860 | 17571 87766 248208 | 1204929 1205789 81 | 74.429 % |
7793.31/7795.61 c | 1212260 | 17571 87766 248208 | 1204929 1207189 81 | 74.429 % |
7815.90/7818.29 c | 1213802 | 17571 87766 248208 | 1204929 1208731 81 | 74.429 % |
7839.19/7841.50 c | 1215498 | 17571 87766 248208 | 1204929 1210427 81 | 74.429 % |
7858.88/7861.22 c | 1217362 | 17571 87766 248208 | 1204929 1212291 81 | 74.429 % |
7879.48/7881.86 c | 1219411 | 17571 87766 248208 | 1204929 1214340 81 | 74.429 % |
7904.58/7906.98 c | 1221665 | 17571 87766 248208 | 1214929 1216594 81 | 74.429 % |
7927.66/7930.08 c | 1224143 | 17571 87766 248208 | 1214929 1219072 81 | 74.429 % |
7963.85/7966.29 c | 1226868 | 17571 87766 248208 | 1214929 1221797 81 | 74.429 % |
8014.35/8016.74 c | 1229866 | 17571 87766 248208 | 1214929 1224795 81 | 74.429 % |
8053.73/8056.12 c | 1233162 | 17571 87766 248208 | 1224929 1228091 81 | 74.429 % |
8095.12/8097.52 c | 1236790 | 17571 87766 248208 | 1224929 1231719 81 | 74.429 % |
8135.10/8137.56 c | 1240778 | 17571 87766 248208 | 1234929 1235707 81 | 74.429 % |
8184.09/8186.50 c | 1245164 | 17571 87766 248208 | 1234929 1240093 81 | 74.429 % |
8240.99/8243.46 c | 1249991 | 17571 87766 248208 | 1234929 1244920 81 | 74.429 % |
8312.16/8314.60 c | 1255297 | 17571 87766 248208 | 1244930 1250226 81 | 74.429 % |
8381.74/8384.20 c | 1261133 | 17571 87766 248208 | 1254929 1256062 81 | 74.429 % |
8452.72/8455.20 c | 1267551 | 17571 87766 248208 | 1254929 1262480 81 | 74.429 % |
8549.59/8552.18 c | 1274612 | 17571 87766 248208 | 1264931 1269541 81 | 74.429 % |
8646.68/8649.29 c | 1282376 | 17571 87766 248208 | 1274929 1277304 81 | 74.438 % |
8715.35/8717.94 c | 1290919 | 17571 87766 248208 | 1284928 1285846 81 | 74.458 % |
8836.92/8839.51 c | 1300313 | 17571 87766 248208 | 1294927 1295240 81 | 74.458 % |
8979.08/8981.78 c | 1310646 | 17571 87766 248208 | 1304927 1305573 81 | 74.458 % |
9106.54/9109.22 c | 1322013 | 17571 87766 248208 | 1314928 1316940 81 | 74.458 % |
9108.65/9111.38 c | 1322114 | 17539 87535 247598 | 1314928 1317020 81 | 74.458 % |
9111.24/9113.97 c | 1322224 | 17539 87535 247598 | 1314928 1317130 81 | 74.458 % |
9112.94/9115.64 c | 1322346 | 17539 87535 247598 | 1314928 1317252 81 | 74.458 % |
9115.04/9117.75 c | 1322479 | 17539 87535 247598 | 1314928 1317385 81 | 74.458 % |
9117.84/9120.51 c | 1322625 | 17539 87535 247598 | 1314928 1317531 81 | 74.458 % |
9120.94/9123.61 c | 1322787 | 17539 87535 247598 | 1314928 1317693 81 | 74.458 % |
9123.54/9126.26 c | 1322963 | 17539 87535 247598 | 1314928 1317869 81 | 74.458 % |
9127.73/9130.48 c | 1323159 | 17539 87535 247598 | 1314928 1318065 81 | 74.458 % |
9132.43/9135.14 c | 1323372 | 17539 87535 247598 | 1314928 1318278 81 | 74.458 % |
9135.93/9138.67 c | 1323608 | 17539 87535 247598 | 1314928 1318514 81 | 74.458 % |
9140.13/9142.81 c | 1323864 | 17539 87535 247598 | 1314928 1318770 81 | 74.458 % |
9144.53/9147.22 c | 1324146 | 17539 87535 247598 | 1314928 1319052 81 | 74.458 % |
9147.42/9150.15 c | 1324456 | 17539 87535 247598 | 1314928 1319362 81 | 74.458 % |
9152.72/9155.49 c | 1324796 | 17539 87535 247598 | 1314928 1319702 81 | 74.458 % |
9158.03/9160.72 c | 1325169 | 17539 87535 247598 | 1314928 1320075 81 | 74.458 % |
9164.83/9167.58 c | 1325578 | 17539 87535 247598 | 1314928 1320484 81 | 74.458 % |
9172.12/9174.81 c | 1326027 | 17539 87535 247598 | 1314928 1320933 81 | 74.458 % |
9180.22/9182.97 c | 1326522 | 17539 87535 247598 | 1314928 1321428 81 | 74.458 % |
9188.02/9190.71 c | 1327064 | 17539 87535 247598 | 1314928 1321970 81 | 74.458 % |
9194.01/9196.71 c | 1327661 | 17539 87535 247598 | 1314928 1322567 81 | 74.458 % |
9203.91/9206.68 c | 1328317 | 17539 87535 247598 | 1314928 1323223 81 | 74.458 % |
9215.21/9217.93 c | 1329039 | 17539 87535 247598 | 1314928 1323945 81 | 74.458 % |
9224.01/9226.73 c | 1329833 | 17539 87535 247598 | 1314928 1324739 81 | 74.458 % |
9236.10/9238.83 c | 1330704 | 17539 87535 247598 | 1324906 1325610 81 | 74.458 % |
9249.40/9252.19 c | 1331662 | 17539 87535 247598 | 1324906 1326568 81 | 74.458 % |
9265.99/9268.72 c | 1332719 | 17539 87535 247598 | 1324906 1327625 81 | 74.458 % |
9280.68/9283.47 c | 1333879 | 17539 87535 247598 | 1324906 1328785 81 | 74.458 % |
9293.89/9296.60 c | 1335153 | 17539 87535 247598 | 1324906 1330059 81 | 74.458 % |
9305.08/9307.84 c | 1336554 | 17539 87535 247598 | 1324906 1331460 81 | 74.458 % |
9327.48/9330.26 c | 1338094 | 17539 87535 247598 | 1324906 1333000 81 | 74.458 % |
9349.87/9352.64 c | 1339788 | 17539 87535 247598 | 1324906 1334694 81 | 74.458 % |
9371.96/9374.75 c | 1341655 | 17539 87535 247598 | 1334906 1336561 81 | 74.458 % |
9398.65/9401.42 c | 1343705 | 17539 87535 247598 | 1334906 1338611 81 | 74.458 % |
9425.85/9428.70 c | 1345959 | 17539 87535 247598 | 1334906 1340865 81 | 74.458 % |
9452.64/9455.43 c | 1348439 | 17539 87535 247598 | 1334906 1343345 81 | 74.458 % |
9487.13/9489.94 c | 1351164 | 17539 87535 247598 | 1344907 1346070 81 | 74.458 % |
9538.32/9541.18 c | 1354162 | 17539 87535 247598 | 1344907 1349068 81 | 74.458 % |
9575.11/9577.97 c | 1357458 | 17539 87535 247598 | 1344907 1352364 81 | 74.458 % |
9622.89/9625.75 c | 1361084 | 17539 87535 247598 | 1354907 1355990 81 | 74.458 % |
9670.78/9673.64 c | 1365071 | 17539 87535 247598 | 1354907 1359977 81 | 74.458 % |
9720.76/9723.66 c | 1369458 | 17539 87535 247598 | 1354907 1364364 81 | 74.458 % |
9763.65/9766.53 c | 1374283 | 17539 87535 247598 | 1364906 1369189 81 | 74.458 % |
9818.24/9821.15 c | 1379590 | 17539 87535 247598 | 1364906 1374496 81 | 74.458 % |
9885.32/9888.22 c | 1385427 | 17539 87535 247598 | 1374906 1380333 81 | 74.458 % |
9961.10/9964.00 c | 1391845 | 17539 87535 247598 | 1384907 1386751 81 | 74.458 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837056-1242857018/watcher-1837056-1242857018 -o /tmp/evaluation-result-1837056-1242857018/solver-1837056-1242857018 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837056-1242857018.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 13734
/proc/meminfo: memFree=1688184/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=0
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728010 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13734/statm: 1339 237 197 169 0 50 0
[startup+0.048537 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 13734
/proc/meminfo: memFree=1688184/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=0
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728010 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13734/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101541 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 13734
/proc/meminfo: memFree=1688184/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=0
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728010 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13734/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301559 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 13734
/proc/meminfo: memFree=1688184/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=0
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728010 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13734/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.7016 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 13734
/proc/meminfo: memFree=1688184/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=0
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728010 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13734/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50268 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 13739
/proc/meminfo: memFree=1580584/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=0
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728010 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13734/statm: 1339 237 197 169 0 50 0
[pid=13738] ppid=13734 vsize=124812 CPUtime=1.48
/proc/13738/stat : 13738 (SatELite_releas) R 13734 13734 13697 0 -1 4194304 31262 0 0 0 131 17 0 0 25 0 1 0 313728011 127807488 28481 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/13738/statm: 31203 28481 76 173 0 31028 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 130168
[startup+3.10184 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 13739
/proc/meminfo: memFree=1568104/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=0
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728010 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13734/statm: 1339 237 197 169 0 50 0
[pid=13738] ppid=13734 vsize=132568 CPUtime=3.08
/proc/13738/stat : 13738 (SatELite_releas) R 13734 13734 13697 0 -1 4194304 33110 0 0 0 289 19 0 0 25 0 1 0 313728011 135749632 30329 1992294400 134512640 135223648 4294956128 18446744073709551615 134587072 0 0 4096 3 0 0 0 17 1 0 0
/proc/13738/statm: 33142 30329 76 173 0 32967 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 137924
[startup+6.30115 s]
/proc/loadavg: 0.15 0.03 0.01 2/66 13739
/proc/meminfo: memFree=1552936/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=0
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728010 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13734/statm: 1339 237 197 169 0 50 0
[pid=13738] ppid=13734 vsize=138848 CPUtime=6.29
/proc/13738/stat : 13738 (SatELite_releas) R 13734 13734 13697 0 -1 4194304 37176 0 0 0 606 23 0 0 25 0 1 0 313728011 142180352 31054 1992294400 134512640 135223648 4294956128 18446744073709551615 134586712 0 0 4096 3 0 0 0 17 1 0 0
/proc/13738/statm: 34712 31054 76 173 0 34537 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 144204
[startup+12.7018 s]
/proc/loadavg: 0.22 0.05 0.02 2/66 13740
/proc/meminfo: memFree=1648424/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=25564 CPUtime=3.69
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 6061 0 0 0 366 3 0 0 25 0 1 0 313728910 26177536 6034 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 6391 6034 77 171 0 6218 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 30920
[startup+25.501 s]
/proc/loadavg: 0.39 0.09 0.03 2/66 13740
/proc/meminfo: memFree=1648232/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=25696 CPUtime=16.48
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 6126 0 0 0 1645 3 0 0 25 0 1 0 313728910 26312704 6099 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 6424 6099 77 171 0 6251 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 31052
[startup+51.1016 s]
/proc/loadavg: 0.60 0.17 0.05 2/66 13740
/proc/meminfo: memFree=1643944/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=30416 CPUtime=42.06
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 7282 0 0 0 4202 4 0 0 25 0 1 0 313728910 31145984 7255 1992294400 134512640 135215339 4294956240 18446744073709551615 134525081 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 7604 7255 77 171 0 7431 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 35772
[startup+102.306 s]
/proc/loadavg: 0.82 0.29 0.10 2/66 13740
/proc/meminfo: memFree=1631272/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=42824 CPUtime=93.24
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 10373 0 0 0 9317 7 0 0 25 0 1 0 313728910 43851776 10346 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 10706 10346 77 171 0 10533 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 48180
[startup+162.302 s]
/proc/loadavg: 0.93 0.42 0.15 2/66 13740
/proc/meminfo: memFree=1619368/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=54836 CPUtime=153.22
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 13379 0 0 0 15310 12 0 0 25 0 1 0 313728910 56152064 13352 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 13709 13352 77 171 0 13536 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 60192
[startup+222.301 s]
/proc/loadavg: 0.97 0.52 0.20 2/66 13740
/proc/meminfo: memFree=1607016/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=67108 CPUtime=213.2
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 16412 0 0 0 21304 16 0 0 25 0 1 0 313728910 68718592 16385 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 16777 16385 77 171 0 16604 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 72464
[startup+282.301 s]
/proc/loadavg: 0.99 0.61 0.25 2/66 13740
/proc/meminfo: memFree=1596136/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=77908 CPUtime=273.18
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 19146 0 0 0 27299 19 0 0 25 0 1 0 313728910 79777792 19119 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 19477 19119 77 171 0 19304 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 83264
[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.30 2/66 13740
/proc/meminfo: memFree=1587560/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=86576 CPUtime=333.17
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 21244 0 0 0 33296 21 0 0 25 0 1 0 313728910 88653824 21217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 21644 21217 77 171 0 21471 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 91932
[startup+402.301 s]
/proc/loadavg: 0.99 0.73 0.34 2/66 13740
/proc/meminfo: memFree=1579624/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=94484 CPUtime=393.15
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 23229 0 0 0 39291 24 0 0 25 0 1 0 313728910 96751616 23202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 23621 23202 77 171 0 23448 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 99840
[startup+462.301 s]
################
# More data... #
################
/proc/13740/statm: 130213 127514 77 171 0 130040 0
Current children cumulated CPU time (s) 9339.57
Current children cumulated vsize (KiB) 526208
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 13756
/proc/meminfo: memFree=1155880/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=522112 CPUtime=9390.57
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 127869 0 0 0 938904 153 0 0 25 0 1 0 313728910 534642688 127842 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 130528 127842 77 171 0 130355 0
Current children cumulated CPU time (s) 9399.55
Current children cumulated vsize (KiB) 527468
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 13756
/proc/meminfo: memFree=1154216/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=523564 CPUtime=9450.55
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 128274 0 0 0 944901 154 0 0 25 0 1 0 313728910 536129536 128247 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 130891 128247 77 171 0 130718 0
Current children cumulated CPU time (s) 9459.53
Current children cumulated vsize (KiB) 528920
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 13756
/proc/meminfo: memFree=1152616/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=525076 CPUtime=9510.54
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 128678 0 0 0 950899 155 0 0 25 0 1 0 313728910 537677824 128651 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 131269 128651 77 171 0 131096 0
Current children cumulated CPU time (s) 9519.52
Current children cumulated vsize (KiB) 530432
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 13756
/proc/meminfo: memFree=1150632/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=527076 CPUtime=9570.53
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 129161 0 0 0 956897 156 0 0 25 0 1 0 313728910 539725824 129134 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 131769 129134 77 171 0 131596 0
Current children cumulated CPU time (s) 9579.51
Current children cumulated vsize (KiB) 532432
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 13758
/proc/meminfo: memFree=1148712/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=528824 CPUtime=9630.51
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 129598 0 0 0 962895 156 0 0 25 0 1 0 313728910 541515776 129571 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 132206 129571 77 171 0 132033 0
Current children cumulated CPU time (s) 9639.49
Current children cumulated vsize (KiB) 534180
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 13758
/proc/meminfo: memFree=1146920/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=530572 CPUtime=9690.49
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 130048 0 0 0 968892 157 0 0 25 0 1 0 313728910 543305728 130021 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 132643 130021 77 171 0 132470 0
Current children cumulated CPU time (s) 9699.47
Current children cumulated vsize (KiB) 535928
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 13758
/proc/meminfo: memFree=1144744/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=532744 CPUtime=9750.47
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 130594 0 0 0 974889 158 0 0 25 0 1 0 313728910 545529856 130567 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 133186 130567 77 171 0 133013 0
Current children cumulated CPU time (s) 9759.45
Current children cumulated vsize (KiB) 538100
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 13758
/proc/meminfo: memFree=1142952/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=534640 CPUtime=9810.46
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 131032 0 0 0 980887 159 0 0 25 0 1 0 313728910 547471360 131005 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 133660 131005 77 171 0 133487 0
Current children cumulated CPU time (s) 9819.44
Current children cumulated vsize (KiB) 539996
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 13758
/proc/meminfo: memFree=1141352/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=536092 CPUtime=9870.45
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 131429 0 0 0 986885 160 0 0 25 0 1 0 313728910 548958208 131402 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 134023 131402 77 171 0 133850 0
Current children cumulated CPU time (s) 9879.43
Current children cumulated vsize (KiB) 541448
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 13758
/proc/meminfo: memFree=1139048/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=538524 CPUtime=9930.42
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 131995 0 0 0 992882 160 0 0 25 0 1 0 313728910 551448576 131968 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 134631 131968 77 171 0 134458 0
Current children cumulated CPU time (s) 9939.4
Current children cumulated vsize (KiB) 543880
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 13758
/proc/meminfo: memFree=1136680/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=541108 CPUtime=9990.42
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 132585 0 0 0 998880 162 0 0 25 0 1 0 313728910 554094592 132558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 135277 132558 77 171 0 135104 0
Current children cumulated CPU time (s) 9999.4
Current children cumulated vsize (KiB) 546464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 13758
/proc/meminfo: memFree=1136616/2055920 swapFree=4179896/4192956
[pid=13734] ppid=13732 vsize=5356 CPUtime=8.98
/proc/13734/stat : 13734 (SatELiteGTI) S 13732 13734 13697 0 -1 4194304 336 49797 0 0 0 0 864 34 16 0 1 0 313728010 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13734/statm: 1339 239 197 169 0 50 0
[pid=13740] ppid=13734 vsize=541108 CPUtime=9991.11
/proc/13740/stat : 13740 (minisat_static) R 13734 13734 13697 0 -1 4194304 132590 0 0 0 998949 162 0 0 25 0 1 0 313728910 554094592 132563 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13740/statm: 135277 132563 77 171 0 135104 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 546464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13734 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=641686
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=352946
# CPU time returned by wait4() is 8.99463
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10003
CPU time (s): 10000.1
CPU user time (s): 9998.13
CPU system time (s): 1.96
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 546464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.64169
system time used= 0.352946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50133
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 25
runsolver used 11.2293 second user time and 25.2592 second system time
The end
Begin job on node70 at 2009-05-21 00:03:40
IDJOB=1837056
IDBENCH=20372
IDSOLVER=674
FILE ID=node70/1837056-1242857018
PBS_JOBID= 9328448
Free space on /tmp= 66108 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-10-19-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837056-1242857018/watcher-1837056-1242857018 -o /tmp/evaluation-result-1837056-1242857018/solver-1837056-1242857018 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837056-1242857018.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1f049803198bb32ab05476465773cc39
RANDOM SEED=639663243
node70.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.213
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.213
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: 1688664 kB
Buffers: 35612 kB
Cached: 292304 kB
SwapCached: 7188 kB
Active: 130448 kB
Inactive: 206100 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1688664 kB
SwapTotal: 4192956 kB
SwapFree: 4179896 kB
Dirty: 23016 kB
Writeback: 0 kB
Mapped: 13844 kB
Slab: 16792 kB
Committed_AS: 996432 kB
PageTables: 1376 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= 66092 MiB
End job on node70 at 2009-05-21 02:50:25