0.00/0.00 c Parsing...
0.00/0.50 c ==============================================================================
0.00/0.50 c | | ORIGINAL | LEARNT | |
0.00/0.50 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.50 c ==============================================================================
0.00/0.50 c | 0 | 614789 1419314 | 184436 0 0 nan | 0.000 % |
4.59/4.68 c | 0 | 248601 661061 | -- 0 -- -- | -- | -225959/-441263
4.59/4.68 c ==============================================================================
4.59/4.68 c Result : #vars: 44244 #clauses: 248601 #literals: 661061
4.59/4.68 c CPU time: 4.52431 s
4.59/4.68 c ==============================================================================
4.88/4.96 c This is MiniSat 2.0 beta
4.88/4.96 c WARNING: for repeatability, setting FPU to use double precision
4.88/4.96 c ============================[ Problem Statistics ]=============================
4.88/4.96 c | |
4.88/4.96 c | Number of variables: 44244 |
4.88/4.96 c | Number of clauses: 248601 |
4.95/5.11 c | Parsing time: 0.14 s |
4.95/5.12 c ============================[ Search Statistics ]==============================
4.95/5.12 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.95/5.12 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.95/5.12 c ===============================================================================
4.95/5.12 c | 0 | 44244 248601 661061 | 82867 0 nan | 0.000 % |
4.95/5.26 c | 100 | 44169 248601 661061 | 82867 81 21 | 9.866 % |
4.95/5.35 c | 200 | 43579 248601 661061 | 82867 177 24 | 10.169 % |
5.48/5.57 c | 300 | 32947 178193 486174 | 82867 246 24 | 33.392 % |
5.78/5.80 c | 411 | 32932 178193 486174 | 82867 349 27 | 40.173 % |
5.98/6.01 c | 511 | 26470 135403 376597 | 82867 425 36 | 40.173 % |
6.08/6.16 c | 621 | 25726 131791 367488 | 82867 531 33 | 44.793 % |
6.18/6.27 c | 743 | 25590 131791 367488 | 82867 652 31 | 44.815 % |
6.38/6.47 c | 845 | 24416 123194 346740 | 82867 742 36 | 44.840 % |
6.48/6.59 c | 956 | 24416 123194 346740 | 82867 853 42 | 44.840 % |
6.68/6.76 c | 1079 | 24405 123126 346550 | 82867 976 42 | 44.840 % |
6.88/6.92 c | 1213 | 24405 123126 346550 | 82867 1109 42 | 45.007 % |
6.98/7.07 c | 1315 | 24331 122630 345288 | 82867 1211 43 | 45.007 % |
7.28/7.30 c | 1427 | 24289 122565 345138 | 82867 1316 43 | 50.789 % |
7.48/7.54 c | 1549 | 24289 122565 345138 | 82867 1438 41 | 50.789 % |
7.68/7.71 c | 1683 | 21772 107665 306482 | 82867 1512 42 | 51.069 % |
7.78/7.81 c | 1831 | 21446 107665 306482 | 82867 1659 41 | 54.166 % |
7.88/7.95 c | 1934 | 20279 98874 282043 | 82867 1738 44 | 54.166 % |
7.98/8.05 c | 2047 | 20279 98874 282043 | 82867 1851 45 | 54.166 % |
8.08/8.19 c | 2168 | 20279 98874 282043 | 82867 1972 45 | 54.166 % |
8.28/8.38 c | 2302 | 20279 98874 282043 | 82867 2106 44 | 54.166 % |
8.58/8.63 c | 2448 | 20279 98874 282043 | 82867 2252 43 | 54.166 % |
8.78/8.81 c | 2609 | 20279 98874 282043 | 82867 2413 46 | 54.166 % |
8.98/9.06 c | 2710 | 20279 98874 282043 | 82867 2514 46 | 54.166 % |
9.08/9.17 c | 2820 | 20279 98874 282043 | 82867 2624 47 | 54.166 % |
9.18/9.28 c | 2946 | 20279 98874 282043 | 82867 2750 51 | 54.166 % |
9.47/9.50 c | 3081 | 20269 98806 281871 | 82867 2883 51 | 54.188 % |
9.57/9.69 c | 3231 | 20085 97646 278981 | 82867 3032 51 | 54.604 % |
9.88/9.90 c | 3391 | 20083 97646 278981 | 82867 3189 52 | 54.676 % |
10.07/10.18 c | 3568 | 20053 97430 278417 | 82867 3366 53 | 54.676 % |
10.17/10.26 c | 3668 | 20053 97430 278417 | 82867 3466 53 | 54.676 % |
10.37/10.45 c | 3778 | 20053 97430 278417 | 82867 3576 53 | 54.676 % |
10.57/10.63 c | 3899 | 20053 97430 278417 | 82867 3697 52 | 54.676 % |
10.77/10.82 c | 4032 | 20013 97199 277768 | 82867 3814 52 | 54.877 % |
10.88/10.93 c | 4179 | 20012 97199 277768 | 82867 3961 52 | 54.878 % |
11.27/11.31 c | 4340 | 20012 97199 277768 | 82867 4122 52 | 54.877 % |
11.47/11.59 c | 4519 | 19964 96892 277000 | 82867 4301 52 | 54.878 % |
11.67/11.72 c | 4712 | 19964 96892 277000 | 82867 4494 52 | 54.877 % |
11.77/11.86 c | 4812 | 19952 96811 276795 | 82867 4592 52 | 54.927 % |
11.97/12.00 c | 4922 | 19952 96811 276795 | 82867 4702 52 | 54.927 % |
12.07/12.13 c | 5043 | 19952 96811 276795 | 82867 4823 53 | 54.927 % |
12.17/12.27 c | 5177 | 19933 96741 276610 | 82867 4952 53 | 56.107 % |
12.37/12.45 c | 5323 | 19933 96741 276610 | 82867 5098 54 | 56.107 % |
12.57/12.64 c | 5485 | 19368 93530 267664 | 82867 5241 55 | 56.225 % |
12.77/12.88 c | 5661 | 19368 93530 267664 | 82867 5416 55 | 56.227 % |
13.07/13.18 c | 5855 | 19354 93458 267480 | 82867 5606 54 | 56.308 % |
13.37/13.46 c | 6070 | 19266 92899 265981 | 82867 5808 54 | 56.494 % |
13.47/13.55 c | 6172 | 19266 92899 265981 | 82867 5910 54 | 56.494 % |
13.57/13.69 c | 6284 | 19266 92899 265981 | 82867 6022 55 | 56.494 % |
13.67/13.78 c | 6405 | 19266 92899 265981 | 82867 6143 56 | 56.494 % |
13.87/13.94 c | 6539 | 19249 92755 265615 | 82867 6275 57 | 56.494 % |
14.07/14.13 c | 6685 | 19249 92755 265615 | 82867 6420 56 | 56.564 % |
14.27/14.38 c | 6845 | 19249 92755 265615 | 82867 6580 56 | 56.564 % |
14.47/14.58 c | 7024 | 19218 92610 265227 | 82867 6754 56 | 56.564 % |
14.77/14.88 c | 7218 | 19218 92610 265227 | 82867 6948 56 | 56.564 % |
15.07/15.19 c | 7430 | 19218 92610 265227 | 82867 7160 55 | 56.564 % |
15.37/15.45 c | 7663 | 19206 92540 265037 | 82867 7388 55 | 56.591 % |
15.47/15.57 c | 7763 | 19206 92540 265037 | 82867 7488 55 | 56.591 % |
15.67/15.72 c | 7874 | 19206 92540 265037 | 82867 7599 54 | 56.591 % |
15.77/15.90 c | 7996 | 19205 92540 265037 | 82867 7719 54 | 56.645 % |
15.97/16.09 c | 8130 | 19182 92372 264589 | 82867 7849 54 | 56.645 % |
16.27/16.33 c | 8277 | 19182 92372 264589 | 82867 7996 53 | 56.645 % |
16.57/16.63 c | 8439 | 19182 92372 264589 | 82867 8158 53 | 56.645 % |
16.77/16.86 c | 8616 | 19159 92225 264180 | 82867 8331 52 | 56.697 % |
17.07/17.20 c | 8810 | 19159 92225 264180 | 82867 8525 52 | 56.697 % |
17.47/17.50 c | 9022 | 19159 92225 264180 | 82867 8737 52 | 56.697 % |
17.67/17.75 c | 9257 | 19159 92225 264180 | 82867 8972 51 | 56.697 % |
17.97/18.07 c | 9514 | 19159 92225 264180 | 82867 9229 51 | 56.697 % |
18.07/18.18 c | 9615 | 19159 92225 264180 | 82867 9330 51 | 56.697 % |
18.27/18.34 c | 9726 | 19159 92225 264180 | 82867 9441 51 | 56.697 % |
18.47/18.52 c | 9848 | 19159 92225 264180 | 82867 9563 51 | 56.697 % |
18.57/18.70 c | 9983 | 19150 92165 264036 | 82867 9697 50 | 56.717 % |
18.77/18.89 c | 10130 | 19150 92165 264036 | 2147483647 9844 50 | 56.717 % |
19.07/19.11 c | 10296 | 19150 92165 264036 | 2147483647 10010 50 | 56.717 % |
19.27/19.38 c | 10472 | 19150 92165 264036 | 2147483647 10186 50 | 56.717 % |
19.57/19.60 c | 10665 | 19150 92165 264036 | 2147483647 10379 49 | 56.717 % |
19.77/19.81 c | 10877 | 19150 92165 264036 | 2147483647 10591 49 | 56.717 % |
19.97/20.05 c | 11110 | 19150 92165 264036 | 2147483647 10824 49 | 56.717 % |
20.37/20.47 c | 11366 | 19150 92165 264036 | 2147483647 11080 49 | 56.717 % |
20.67/20.78 c | 11647 | 19149 92161 264026 | 2147483647 11360 49 | 56.720 % |
20.77/20.87 c | 11749 | 19149 92161 264026 | 2147483647 11462 49 | 56.720 % |
20.96/21.01 c | 11860 | 19148 92161 264026 | 2147483647 11572 49 | 56.740 % |
21.06/21.19 c | 11983 | 19148 92161 264026 | 2147483647 11695 50 | 56.740 % |
21.26/21.30 c | 12118 | 19148 92161 264026 | 2147483647 11830 49 | 56.740 % |
21.46/21.52 c | 12265 | 19140 92101 263861 | 2147483647 11975 49 | 56.740 % |
21.66/21.76 c | 12425 | 19138 92101 263861 | 2147483647 12133 49 | 56.790 % |
21.87/21.99 c | 12601 | 19138 92101 263861 | 2147483647 12309 49 | 56.790 % |
22.16/22.29 c | 12794 | 19118 91960 263478 | 2147483647 12491 49 | 56.790 % |
22.56/22.62 c | 13006 | 19117 91960 263478 | 2147483647 12702 50 | 56.817 % |
22.87/22.90 c | 13239 | 19105 91885 263291 | 2147483647 12934 49 | 56.842 % |
23.17/23.25 c | 13497 | 19105 91885 263291 | 2147483647 13192 49 | 56.842 % |
23.57/23.65 c | 13778 | 19095 91800 263077 | 2147483647 13471 49 | 56.842 % |
23.97/24.09 c | 14087 | 19095 91800 263077 | 2147483647 13780 49 | 56.842 % |
24.18/24.25 c | 14187 | 19095 91800 263077 | 2147483647 13880 49 | 56.842 % |
24.37/24.40 c | 14297 | 19095 91800 263077 | 2147483647 13990 49 | 56.842 % |
24.57/24.61 c | 14418 | 19095 91800 263077 | 2147483647 14111 49 | 56.842 % |
24.77/24.81 c | 14553 | 19095 91800 263077 | 2147483647 14246 48 | 56.842 % |
24.97/25.05 c | 14702 | 18094 86291 248961 | 2147483647 14389 48 | 59.104 % |
25.17/25.29 c | 14862 | 18094 86291 248961 | 2147483647 14548 48 | 59.728 % |
25.37/25.47 c | 15041 | 18094 86291 248961 | 2147483647 14727 48 | 59.728 % |
25.67/25.78 c | 15235 | 18094 86291 248961 | 2147483647 14921 48 | 59.728 % |
25.87/25.97 c | 15448 | 17818 84564 244170 | 2147483647 15134 49 | 59.728 % |
26.17/26.23 c | 15681 | 17818 84564 244170 | 2147483647 15367 49 | 59.728 % |
26.57/26.64 c | 15937 | 17818 84564 244170 | 2147483647 15623 49 | 59.728 % |
26.87/26.91 c | 16219 | 17817 84561 244164 | 2147483647 15901 49 | 59.730 % |
27.27/27.37 c | 16528 | 17816 84561 244164 | 2147483647 16209 49 | 59.757 % |
27.67/27.76 c | 16868 | 17816 84561 244164 | 2147483647 16549 49 | 59.757 % |
27.87/27.93 c | 16968 | 17804 84477 243941 | 2147483647 16647 49 | 59.780 % |
27.97/28.08 c | 17078 | 17804 84477 243941 | 2147483647 16757 49 | 59.780 % |
28.17/28.24 c | 17200 | 17804 84477 243941 | 2147483647 16879 49 | 59.780 % |
28.37/28.46 c | 17338 | 17804 84477 243941 | 2147483647 17017 49 | 59.780 % |
28.57/28.64 c | 17484 | 17804 84477 243941 | 2147483647 17163 49 | 59.780 % |
28.77/28.84 c | 17645 | 17795 84406 243751 | 2147483647 17323 50 | 59.780 % |
28.97/29.02 c | 17821 | 17795 84406 243751 | 2147483647 17499 50 | 59.780 % |
29.17/29.25 c | 18015 | 17795 84406 243751 | 2147483647 17693 50 | 59.780 % |
29.37/29.48 c | 18229 | 17795 84406 243751 | 2147483647 17906 50 | 60.056 % |
29.77/29.87 c | 18465 | 17795 84406 243751 | 2147483647 18142 50 | 60.056 % |
30.07/30.18 c | 18723 | 17673 83671 241753 | 2147483647 18400 50 | 60.056 % |
30.47/30.50 c | 19005 | 17673 83671 241753 | 2147483647 18682 50 | 60.056 % |
30.87/30.90 c | 19318 | 17673 83671 241753 | 2147483647 18995 50 | 60.056 % |
31.27/31.33 c | 19658 | 17673 83671 241753 | 2147483647 19335 50 | 60.056 % |
31.77/31.87 c | 20030 | 17673 83671 241753 | 2147483647 19707 49 | 60.056 % |
31.87/32.00 c | 20130 | 17673 83671 241753 | 2147483647 19807 49 | 60.056 % |
32.07/32.11 c | 20240 | 17673 83671 241753 | 2147483647 19917 49 | 60.056 % |
32.17/32.27 c | 20362 | 17673 83671 241753 | 2147483647 20039 50 | 60.056 % |
32.37/32.47 c | 20496 | 17673 83671 241753 | 2147483647 20173 50 | 60.056 % |
32.57/32.66 c | 20642 | 17673 83671 241753 | 2147483647 20319 50 | 60.056 % |
32.77/32.90 c | 20802 | 17673 83671 241753 | 2147483647 20479 50 | 60.056 % |
33.07/33.17 c | 20978 | 17662 83589 241533 | 2147483647 20651 50 | 60.081 % |
33.37/33.44 c | 21171 | 17662 83589 241533 | 2147483647 20844 50 | 60.080 % |
33.67/33.71 c | 21385 | 17662 83589 241533 | 2147483647 21058 50 | 60.080 % |
33.97/34.03 c | 21618 | 17662 83589 241533 | 2147483647 21291 50 | 60.081 % |
34.36/34.41 c | 21877 | 17662 83589 241533 | 2147483647 21550 50 | 60.080 % |
34.66/34.78 c | 22159 | 17662 83589 241533 | 2147483647 21832 50 | 60.080 % |
35.17/35.24 c | 22468 | 17662 83589 241533 | 2147483647 22141 49 | 60.080 % |
35.56/35.66 c | 22808 | 17661 83586 241527 | 2147483647 22475 49 | 60.083 % |
36.06/36.12 c | 23182 | 17661 83586 241527 | 2147483647 22849 49 | 60.083 % |
36.56/36.65 c | 23592 | 17661 83586 241527 | 2147483647 23259 49 | 60.083 % |
36.66/36.75 c | 23693 | 17661 83586 241527 | 2147483647 23360 49 | 60.083 % |
36.86/36.91 c | 23804 | 17303 81697 236163 | 2147483647 23338 49 | 60.892 % |
36.96/37.04 c | 23926 | 17303 81697 236163 | 2147483647 23460 49 | 60.892 % |
37.16/37.23 c | 24060 | 17302 81697 236163 | 2147483647 23593 49 | 60.917 % |
37.27/37.39 c | 24206 | 17302 81697 236163 | 2147483647 23739 49 | 60.917 % |
37.66/37.72 c | 24368 | 17302 81697 236163 | 2147483647 23901 49 | 60.917 % |
37.86/37.95 c | 24544 | 17302 81697 236163 | 2147483647 24077 49 | 60.917 % |
38.16/38.22 c | 24739 | 17302 81697 236163 | 2147483647 24272 49 | 60.917 % |
38.56/38.60 c | 24952 | 17291 81619 235958 | 2147483647 24473 49 | 60.944 % |
38.96/39.04 c | 25186 | 17291 81619 235958 | 2147483647 24706 49 | 60.969 % |
39.26/39.37 c | 25442 | 17291 81619 235958 | 2147483647 24962 49 | 60.969 % |
39.66/39.78 c | 25723 | 17291 81619 235958 | 2147483647 25243 49 | 60.969 % |
40.06/40.16 c | 26033 | 17269 81469 235563 | 2147483647 25547 49 | 60.969 % |
40.56/40.62 c | 26373 | 17268 81469 235563 | 2147483647 25885 49 | 61.025 % |
41.36/41.40 c | 26755 | 17268 81469 235563 | 2147483647 26267 49 | 61.025 % |
42.06/42.13 c | 27165 | 17244 81306 235116 | 2147483647 26668 49 | 61.025 % |
42.86/42.92 c | 27614 | 17244 81306 235116 | 2147483647 27117 49 | 61.025 % |
42.96/43.09 c | 27714 | 17244 81306 235116 | 2147483647 27217 49 | 61.025 % |
43.26/43.31 c | 27824 | 17244 81306 235116 | 2147483647 27327 49 | 61.025 % |
43.46/43.52 c | 27946 | 17244 81306 235116 | 2147483647 27449 49 | 61.025 % |
43.66/43.72 c | 28081 | 17244 81306 235116 | 2147483647 27584 49 | 61.025 % |
43.86/43.95 c | 28228 | 17244 81306 235116 | 2147483647 27731 49 | 61.025 % |
44.06/44.19 c | 28388 | 17244 81306 235116 | 2147483647 27891 49 | 61.025 % |
44.36/44.45 c | 28566 | 17244 81306 235116 | 2147483647 28069 49 | 61.025 % |
44.56/44.67 c | 28760 | 17244 81306 235116 | 2147483647 28263 49 | 61.025 % |
44.86/44.99 c | 28974 | 17244 81306 235116 | 2147483647 28477 48 | 61.025 % |
45.36/45.46 c | 29207 | 17244 81306 235116 | 2147483647 28709 48 | 61.055 % |
45.56/45.67 c | 29463 | 17231 81224 234895 | 2147483647 28964 48 | 61.055 % |
45.96/46.02 c | 29744 | 17231 81224 234895 | 2147483647 29245 48 | 61.055 % |
46.36/46.44 c | 30053 | 17231 81224 234895 | 2147483647 29554 48 | 61.055 % |
46.76/46.86 c | 30394 | 17231 81224 234895 | 2147483647 29895 48 | 61.055 % |
47.27/47.31 c | 30767 | 17231 81224 234895 | 2147483647 30268 48 | 61.055 % |
47.86/47.93 c | 31179 | 17208 81075 234501 | 2147483647 30677 48 | 61.107 % |
48.27/48.33 c | 31628 | 17208 81075 234501 | 2147483647 31126 48 | 61.107 % |
49.06/49.17 c | 32124 | 17208 81075 234501 | 2147483647 31622 48 | 61.107 % |
49.26/49.34 c | 32225 | 17208 81075 234501 | 2147483647 31723 48 | 61.107 % |
49.37/49.47 c | 32336 | 17208 81075 234501 | 2147483647 31834 48 | 61.107 % |
49.56/49.61 c | 32457 | 17208 81075 234501 | 2147483647 31955 48 | 61.107 % |
49.76/49.86 c | 32590 | 16354 76502 221608 | 2147483647 32085 48 | 63.037 % |
49.96/50.03 c | 32736 | 16354 76502 221608 | 2147483647 32231 48 | 63.037 % |
50.16/50.24 c | 32896 | 16353 76502 221608 | 2147483647 32390 48 | 63.039 % |
50.36/50.50 c | 33072 | 16353 76502 221608 | 2147483647 32566 48 | 63.039 % |
50.76/50.83 c | 33266 | 16353 76502 221608 | 2147483647 32760 48 | 63.039 % |
51.16/51.24 c | 33480 | 16353 76502 221608 | 2147483647 32974 48 | 63.039 % |
51.46/51.53 c | 33715 | 16352 76502 221608 | 2147483647 33208 48 | 63.066 % |
51.86/51.95 c | 33971 | 16352 76502 221608 | 2147483647 33464 48 | 63.066 % |
52.26/52.33 c | 34253 | 16341 76431 221416 | 2147483647 33725 48 | 63.066 % |
52.86/52.95 c | 34562 | 16341 76431 221416 | 2147483647 34034 48 | 63.066 % |
53.26/53.38 c | 34901 | 16341 76431 221416 | 2147483647 34373 48 | 63.066 % |
53.76/53.81 c | 35274 | 16341 76431 221416 | 2147483647 34746 48 | 63.066 % |
54.56/54.64 c | 35684 | 16341 76431 221416 | 2147483647 35156 48 | 63.066 % |
55.56/55.68 c | 36135 | 16341 76431 221416 | 2147483647 35607 48 | 63.066 % |
56.36/56.48 c | 36628 | 16341 76431 221416 | 2147483647 36100 47 | 63.066 % |
57.45/57.56 c | 37170 | 16341 76431 221416 | 2147483647 36642 47 | 63.066 % |
57.65/57.76 c | 37270 | 16341 76431 221416 | 2147483647 36742 47 | 63.066 % |
57.85/57.91 c | 37380 | 16341 76431 221416 | 2147483647 36852 48 | 63.066 % |
57.95/58.09 c | 37501 | 16330 76361 221225 | 2147483647 36967 48 | 63.091 % |
58.16/58.24 c | 37635 | 16330 76361 221225 | 2147483647 37101 48 | 63.091 % |
58.35/58.43 c | 37782 | 16327 76361 221225 | 2147483647 37246 48 | 63.717 % |
58.55/58.65 c | 37942 | 16327 76361 221225 | 2147483647 37406 48 | 63.717 % |
58.85/58.90 c | 38118 | 16327 76361 221225 | 2147483647 37582 48 | 63.717 % |
59.15/59.22 c | 38314 | 16327 76361 221225 | 2147483647 37778 48 | 63.717 % |
59.45/59.52 c | 38529 | 16327 76361 221225 | 2147483647 37992 48 | 63.744 % |
59.65/59.79 c | 38762 | 16326 76361 221225 | 2147483647 38224 48 | 63.769 % |
60.05/60.17 c | 39020 | 16018 74765 216726 | 2147483647 38417 48 | 63.796 % |
60.36/60.46 c | 39301 | 16017 74765 216726 | 2147483647 38697 48 | 63.819 % |
60.65/60.75 c | 39612 | 16017 74765 216726 | 2147483647 39008 48 | 63.819 % |
61.05/61.19 c | 39952 | 16017 74765 216726 | 2147483647 39348 48 | 63.819 % |
61.55/61.61 c | 40324 | 16017 74765 216726 | 2147483647 39720 48 | 63.819 % |
62.25/62.32 c | 40737 | 16017 74765 216726 | 2147483647 40133 48 | 63.819 % |
62.85/62.98 c | 41186 | 15591 72087 209716 | 2147483647 40572 48 | 64.793 % |
63.65/63.74 c | 41680 | 15591 72087 209716 | 2147483647 41065 47 | 65.283 % |
64.25/64.36 c | 42222 | 15591 72087 209716 | 2147483647 41607 47 | 65.283 % |
65.15/65.25 c | 42818 | 15591 72087 209716 | 2147483647 42203 47 | 65.283 % |
65.35/65.40 c | 42922 | 15360 70833 206284 | 2147483647 42307 47 | 65.283 % |
65.45/65.55 c | 43032 | 15360 70833 206284 | 2147483647 42417 47 | 65.283 % |
65.55/65.69 c | 43155 | 15360 70833 206284 | 2147483647 42540 47 | 65.283 % |
65.85/65.95 c | 43290 | 15360 70833 206284 | 2147483647 42675 47 | 65.283 % |
66.06/66.15 c | 43436 | 15360 70833 206284 | 2147483647 42821 47 | 65.283 % |
66.25/66.37 c | 43596 | 15360 70833 206284 | 2147483647 42981 47 | 65.283 % |
66.45/66.59 c | 43772 | 15360 70833 206284 | 2147483647 43157 47 | 65.283 % |
66.85/66.91 c | 43967 | 15360 70833 206284 | 2147483647 43352 47 | 65.283 % |
67.06/67.14 c | 44179 | 15360 70833 206284 | 2147483647 43564 47 | 65.283 % |
67.35/67.44 c | 44412 | 15360 70833 206284 | 2147483647 43797 47 | 65.283 % |
67.75/67.87 c | 44668 | 15360 70833 206284 | 2147483647 44053 47 | 65.283 % |
68.25/68.37 c | 44949 | 15360 70833 206284 | 2147483647 44334 47 | 65.283 % |
68.85/68.93 c | 45260 | 15360 70833 206284 | 2147483647 44645 47 | 65.283 % |
69.35/69.40 c | 45599 | 15360 70833 206284 | 2147483647 44984 47 | 65.283 % |
69.95/70.07 c | 45971 | 15347 70752 206063 | 2147483647 45349 47 | 65.313 % |
70.55/70.65 c | 46380 | 15347 70752 206063 | 2147483647 45758 47 | 65.313 % |
71.15/71.27 c | 46830 | 15345 70752 206063 | 2147483647 46206 47 | 65.363 % |
71.75/71.84 c | 47323 | 15345 70752 206063 | 2147483647 46699 47 | 65.363 % |
72.35/72.49 c | 47866 | 15345 70752 206063 | 2147483647 47242 47 | 65.363 % |
73.55/73.61 c | 48464 | 15323 70623 205732 | 2147483647 47834 47 | 65.421 % |
74.34/74.45 c | 49119 | 15323 70623 205732 | 2147483647 48489 47 | 65.421 % |
74.44/74.60 c | 49221 | 15323 70623 205732 | 2147483647 48591 47 | 65.421 % |
74.75/74.86 c | 49332 | 15323 70623 205732 | 2147483647 48702 47 | 65.421 % |
74.94/75.04 c | 49454 | 15323 70623 205732 | 2147483647 48824 47 | 65.421 % |
75.14/75.20 c | 49588 | 15323 70623 205732 | 2147483647 48958 47 | 65.421 % |
75.34/75.46 c | 49734 | 15295 70430 205209 | 2147483647 49085 47 | 65.430 % |
75.64/75.73 c | 49901 | 15295 70430 205209 | 2147483647 49252 47 | 65.430 % |
75.85/75.95 c | 50078 | 15295 70430 205209 | 2147483647 49429 47 | 65.430 % |
76.14/76.26 c | 50272 | 15295 70430 205209 | 2147483647 49622 47 | 65.462 % |
76.44/76.59 c | 50485 | 15295 70430 205209 | 2147483647 49833 47 | 65.509 % |
76.85/76.95 c | 50718 | 15295 70430 205209 | 2147483647 50066 47 | 65.509 % |
77.24/77.38 c | 50974 | 15295 70430 205209 | 2147483647 50322 47 | 65.509 % |
77.74/77.80 c | 51255 | 15295 70430 205209 | 2147483647 50603 47 | 65.509 % |
78.34/78.42 c | 51566 | 15295 70430 205209 | 2147483647 50914 47 | 65.509 % |
78.84/78.99 c | 51905 | 15260 70218 204656 | 2147483647 51229 47 | 65.509 % |
79.34/79.48 c | 52277 | 15260 70218 204656 | 2147483647 51601 47 | 65.509 % |
80.04/80.12 c | 52688 | 15260 70218 204656 | 2147483647 52012 47 | 65.509 % |
80.94/81.09 c | 53137 | 15260 70218 204656 | 2147483647 52461 47 | 65.509 % |
81.84/81.96 c | 53632 | 15260 70218 204656 | 2147483647 52956 47 | 65.509 % |
83.14/83.24 c | 54174 | 15260 70218 204656 | 2147483647 53498 47 | 65.509 % |
84.14/84.28 c | 54771 | 15248 70146 204459 | 2147483647 54088 47 | 65.537 % |
85.14/85.23 c | 55427 | 15248 70146 204459 | 2147483647 54744 46 | 65.537 % |
86.75/86.82 c | 56148 | 15248 70146 204459 | 2147483647 55465 46 | 65.537 % |
86.85/86.96 c | 56249 | 15248 70146 204459 | 2147483647 55566 46 | 65.537 % |
87.15/87.20 c | 56362 | 15248 70146 204459 | 2147483647 55679 46 | 65.537 % |
87.35/87.49 c | 56483 | 15248 70146 204459 | 2147483647 55800 46 | 65.537 % |
87.55/87.68 c | 56616 | 15248 70146 204459 | 2147483647 55933 46 | 65.537 % |
87.95/88.04 c | 56762 | 15248 70146 204459 | 2147483647 56079 46 | 65.537 % |
88.35/88.40 c | 56922 | 15235 70068 204238 | 2147483647 56233 46 | 65.589 % |
88.65/88.77 c | 57100 | 15234 70068 204238 | 2147483647 56410 46 | 65.618 % |
88.95/89.04 c | 57294 | 15234 70068 204238 | 2147483647 56604 46 | 65.618 % |
89.25/89.34 c | 57506 | 15234 70068 204238 | 2147483647 56816 46 | 65.618 % |
89.45/89.59 c | 57740 | 15234 70068 204238 | 2147483647 57050 46 | 65.618 % |
89.85/89.99 c | 57996 | 15234 70068 204238 | 2147483647 57306 46 | 65.618 % |
90.35/90.42 c | 58277 | 15234 70068 204238 | 2147483647 57587 46 | 65.618 % |
90.85/90.97 c | 58586 | 15234 70068 204238 | 2147483647 57896 46 | 65.618 % |
91.25/91.36 c | 58925 | 15234 70068 204238 | 2147483647 58235 46 | 65.618 % |
91.74/91.88 c | 59297 | 15234 70068 204238 | 2147483647 58607 46 | 65.618 % |
92.44/92.54 c | 59706 | 15212 69921 203815 | 2147483647 59006 46 | 65.618 % |
93.14/93.23 c | 60155 | 15212 69921 203815 | 2147483647 59455 46 | 65.618 % |
94.04/94.11 c | 60649 | 15212 69921 203815 | 2147483647 59949 46 | 65.618 % |
95.14/95.22 c | 61191 | 15212 69921 203815 | 2147483647 60491 46 | 65.618 % |
96.14/96.23 c | 61787 | 15212 69921 203815 | 2147483647 61087 46 | 65.618 % |
97.14/97.23 c | 62442 | 15212 69921 203815 | 2147483647 61742 46 | 65.618 % |
98.24/98.37 c | 63163 | 15212 69921 203815 | 2147483647 62463 46 | 65.618 % |
99.54/99.64 c | 63955 | 15212 69921 203815 | 2147483647 63255 46 | 65.618 % |
99.74/99.82 c | 64055 | 15212 69921 203815 | 2147483647 63355 46 | 65.618 % |
99.84/99.98 c | 64167 | 15212 69921 203815 | 2147483647 63467 46 | 65.618 % |
100.04/100.14 c | 64289 | 15212 69921 203815 | 2147483647 63589 46 | 65.618 % |
100.24/100.38 c | 64422 | 15212 69921 203815 | 2147483647 63722 46 | 65.618 % |
100.54/100.68 c | 64568 | 15212 69921 203815 | 2147483647 63868 46 | 65.618 % |
100.84/100.96 c | 64728 | 15212 69921 203815 | 2147483647 64028 46 | 65.618 % |
101.14/101.29 c | 64905 | 15212 69921 203815 | 2147483647 64205 46 | 65.618 % |
101.54/101.61 c | 65099 | 15212 69921 203815 | 2147483647 64399 46 | 65.618 % |
101.84/101.98 c | 65311 | 15212 69921 203815 | 2147483647 64611 46 | 65.618 % |
102.34/102.41 c | 65546 | 15212 69921 203815 | 2147483647 64846 46 | 65.618 % |
102.74/102.81 c | 65803 | 15212 69921 203815 | 2147483647 65103 46 | 65.618 % |
103.14/103.28 c | 66087 | 15212 69921 203815 | 2147483647 65387 46 | 65.618 % |
103.64/103.70 c | 66400 | 15212 69921 203815 | 2147483647 65700 46 | 65.618 % |
104.03/104.11 c | 66739 | 15212 69921 203815 | 2147483647 66039 45 | 65.618 % |
104.73/104.84 c | 67112 | 15212 69921 203815 | 2147483647 66412 45 | 65.618 % |
105.33/105.46 c | 67521 | 15212 69921 203815 | 2147483647 66821 46 | 65.618 % |
105.93/106.08 c | 67971 | 15212 69921 203815 | 2147483647 67271 45 | 65.618 % |
106.73/106.84 c | 68464 | 15212 69921 203815 | 2147483647 67764 45 | 65.618 % |
107.74/107.87 c | 69006 | 15199 69850 203622 | 2147483647 68291 45 | 65.647 % |
108.64/108.78 c | 69602 | 15199 69850 203622 | 2147483647 68887 45 | 65.647 % |
109.94/110.02 c | 70257 | 15199 69850 203622 | 2147483647 69542 45 | 65.647 % |
111.44/111.59 c | 70980 | 15199 69850 203622 | 2147483647 70265 45 | 65.647 % |
112.64/112.79 c | 71773 | 15143 69653 202995 | 2147483647 71054 45 | 65.830 % |
114.64/114.73 c | 72645 | 15143 69653 202995 | 2147483647 71926 45 | 65.830 % |
114.84/114.93 c | 72748 | 15143 69653 202995 | 2147483647 72029 45 | 65.830 % |
115.04/115.16 c | 72858 | 15143 69653 202995 | 2147483647 72139 45 | 65.830 % |
115.34/115.43 c | 72984 | 15143 69653 202995 | 2147483647 72265 45 | 65.830 % |
115.54/115.66 c | 73118 | 15143 69653 202995 | 2147483647 72399 45 | 65.830 % |
115.84/115.97 c | 73265 | 15143 69653 202995 | 2147483647 72546 45 | 65.830 % |
116.24/116.38 c | 73425 | 15143 69653 202995 | 2147483647 72706 45 | 65.830 % |
116.64/116.71 c | 73601 | 15143 69653 202995 | 2147483647 72882 45 | 65.830 % |
116.94/117.06 c | 73794 | 15143 69653 202995 | 2147483647 73075 45 | 65.830 % |
117.44/117.52 c | 74006 | 15143 69653 202995 | 2147483647 73287 45 | 65.830 % |
117.84/117.91 c | 74240 | 15118 69504 202586 | 2147483647 73509 45 | 65.830 % |
118.24/118.37 c | 74496 | 15118 69504 202586 | 2147483647 73765 45 | 65.830 % |
118.93/119.02 c | 74777 | 15117 69504 202586 | 2147483647 74045 45 | 65.851 % |
119.63/119.75 c | 75089 | 15117 69504 202586 | 2147483647 74356 45 | 65.948 % |
120.23/120.32 c | 75429 | 15114 69504 202586 | 2147483647 74696 45 | 65.948 % |
120.94/121.00 c | 75801 | 15114 69504 202586 | 2147483647 75068 45 | 65.948 % |
121.83/121.96 c | 76215 | 15114 69504 202586 | 2147483647 75482 45 | 65.948 % |
122.63/122.79 c | 76667 | 15114 69504 202586 | 2147483647 75934 45 | 65.948 % |
123.43/123.54 c | 77160 | 15114 69504 202586 | 2147483647 76427 45 | 65.948 % |
124.23/124.36 c | 77704 | 15066 69206 201711 | 2147483647 76961 45 | 65.948 % |
125.03/125.20 c | 78300 | 15066 69206 201711 | 2147483647 77557 45 | 65.948 % |
126.23/126.39 c | 78955 | 15065 69206 201711 | 2147483647 78211 45 | 65.973 % |
127.63/127.73 c | 79676 | 15065 69206 201711 | 2147483647 78932 45 | 65.973 % |
128.73/128.86 c | 80468 | 15065 69206 201711 | 2147483647 79724 44 | 65.973 % |
130.73/130.83 c | 81339 | 15043 69054 201299 | 2147483647 80586 44 | 66.000 % |
132.93/133.02 c | 82297 | 15041 69054 201299 | 2147483647 81542 44 | 66.047 % |
133.12/133.21 c | 82398 | 15041 69054 201299 | 2147483647 81643 44 | 66.047 % |
133.32/133.40 c | 82508 | 15041 69054 201299 | 2147483647 81753 44 | 66.047 % |
133.52/133.63 c | 82629 | 15041 69054 201299 | 2147483647 81874 44 | 66.047 % |
133.82/133.90 c | 82763 | 15041 69054 201299 | 2147483647 82008 44 | 66.047 % |
134.02/134.17 c | 82909 | 15041 69054 201299 | 2147483647 82154 44 | 66.047 % |
134.42/134.51 c | 83069 | 15041 69054 201299 | 2147483647 82314 44 | 66.047 % |
134.72/134.85 c | 83246 | 15041 69054 201299 | 2147483647 82491 44 | 66.047 % |
135.02/135.15 c | 83439 | 15041 69054 201299 | 2147483647 82684 44 | 66.047 % |
135.42/135.50 c | 83653 | 15041 69054 201299 | 2147483647 82898 44 | 66.047 % |
135.82/135.93 c | 83888 | 15041 69054 201299 | 2147483647 83133 44 | 66.047 % |
136.32/136.42 c | 84144 | 15022 68926 200961 | 2147483647 83382 44 | 66.047 % |
136.92/137.03 c | 84425 | 15022 68926 200961 | 2147483647 83663 44 | 66.047 % |
137.72/137.82 c | 84734 | 15022 68926 200961 | 2147483647 83971 44 | 67.028 % |
138.42/138.53 c | 85073 | 15020 68926 200961 | 2147483647 84309 44 | 67.207 % |
139.13/139.25 c | 85445 | 15020 68926 200961 | 2147483647 84680 44 | 67.239 % |
140.03/140.19 c | 85854 | 15020 68926 200961 | 2147483647 85089 44 | 67.239 % |
140.73/140.86 c | 86305 | 15020 68926 200961 | 2147483647 85540 44 | 67.238 % |
141.73/141.86 c | 86800 | 15020 68926 200961 | 2147483647 86035 44 | 67.238 % |
142.73/142.86 c | 87342 | 15020 68926 200961 | 2147483647 86577 44 | 67.238 % |
143.82/143.93 c | 87939 | 14495 66431 193791 | 2147483647 87156 44 | 67.238 % |
145.22/145.33 c | 88594 | 14495 66431 193791 | 2147483647 87811 44 | 67.238 % |
146.23/146.39 c | 89314 | 14495 66431 193791 | 2147483647 88531 44 | 67.238 % |
148.22/148.34 c | 90109 | 14495 66431 193791 | 2147483647 89326 44 | 67.239 % |
149.92/150.08 c | 90981 | 14495 66431 193791 | 2147483647 90198 44 | 67.238 % |
151.82/151.91 c | 91943 | 14495 66431 193791 | 2147483647 91160 44 | 67.239 % |
153.62/153.79 c | 92998 | 14495 66431 193791 | 2147483647 92215 44 | 67.239 % |
153.92/154.10 c | 93099 | 14483 66353 193580 | 2147483647 92315 44 | 67.266 % |
154.12/154.25 c | 93209 | 14483 66353 193580 | 2147483647 92425 44 | 67.266 % |
154.42/154.53 c | 93331 | 14483 66353 193580 | 2147483647 92547 44 | 67.266 % |
154.72/154.81 c | 93467 | 14483 66353 193580 | 2147483647 92683 44 | 67.266 % |
155.01/155.14 c | 93613 | 14483 66353 193580 | 2147483647 92829 44 | 67.266 % |
155.31/155.43 c | 93775 | 14483 66353 193580 | 2147483647 92991 44 | 67.266 % |
155.71/155.82 c | 93952 | 14483 66353 193580 | 2147483647 93168 44 | 67.266 % |
156.11/156.26 c | 94145 | 14483 66353 193580 | 2147483647 93361 44 | 67.266 % |
156.71/156.82 c | 94358 | 14483 66353 193580 | 2147483647 93574 44 | 67.266 % |
157.31/157.40 c | 94592 | 14483 66353 193580 | 2147483647 93807 44 | 67.392 % |
157.71/157.87 c | 94849 | 14483 66353 193580 | 2147483647 94064 44 | 67.392 % |
158.31/158.43 c | 95132 | 14483 66353 193580 | 2147483647 94346 44 | 67.501 % |
158.91/159.01 c | 95442 | 14483 66353 193580 | 2147483647 94656 44 | 67.501 % |
159.51/159.65 c | 95782 | 14483 66353 193580 | 2147483647 94996 44 | 67.501 % |
160.21/160.39 c | 96155 | 14483 66353 193580 | 2147483647 95369 44 | 67.501 % |
161.11/161.20 c | 96566 | 14483 66353 193580 | 2147483647 95780 44 | 67.501 % |
161.62/161.78 c | 97015 | 14379 65759 191886 | 2147483647 96187 44 | 67.501 % |
162.51/162.63 c | 97509 | 14379 65759 191886 | 2147483647 96681 44 | 67.501 % |
163.51/163.63 c | 98053 | 14379 65759 191886 | 2147483647 97225 44 | 67.501 % |
164.61/164.78 c | 98649 | 14379 65759 191886 | 2147483647 97821 44 | 67.501 % |
165.61/165.76 c | 99304 | 14379 65759 191886 | 2147483647 98476 44 | 67.501 % |
167.21/167.32 c | 100024 | 14379 65759 191886 | 2147483647 99196 44 | 67.501 % |
168.91/169.04 c | 100816 | 14379 65759 191886 | 2147483647 99988 44 | 67.501 % |
170.81/170.94 c | 101688 | 14379 65759 191886 | 2147483647 100860 44 | 67.501 % |
172.70/172.88 c | 102648 | 14379 65759 191886 | 2147483647 101820 44 | 67.501 % |
174.50/174.68 c | 103702 | 14379 65759 191886 | 2147483647 102874 44 | 67.501 % |
177.01/177.16 c | 104862 | 14379 65759 191886 | 2147483647 104034 44 | 67.501 % |
177.30/177.42 c | 104964 | 14379 65759 191886 | 2147483647 104136 44 | 67.501 % |
177.50/177.64 c | 105074 | 14379 65759 191886 | 2147483647 104246 44 | 67.501 % |
177.80/177.94 c | 105196 | 14379 65759 191886 | 2147483647 104368 44 | 67.501 % |
178.10/178.26 c | 105329 | 14379 65759 191886 | 2147483647 104501 44 | 67.501 % |
178.40/178.54 c | 105477 | 14379 65759 191886 | 2147483647 104649 44 | 67.501 % |
178.70/178.86 c | 105639 | 14379 65759 191886 | 2147483647 104811 44 | 67.501 % |
179.10/179.21 c | 105815 | 14379 65759 191886 | 2147483647 104987 44 | 67.501 % |
179.70/179.83 c | 106009 | 14379 65759 191886 | 2147483647 105181 44 | 67.501 % |
180.10/180.27 c | 106223 | 14379 65759 191886 | 2147483647 105395 44 | 67.501 % |
180.90/181.00 c | 106456 | 14379 65759 191886 | 2147483647 105628 44 | 67.501 % |
181.40/181.52 c | 106715 | 14379 65759 191886 | 2147483647 105887 44 | 67.501 % |
182.20/182.35 c | 106997 | 14379 65759 191886 | 2147483647 106169 44 | 67.501 % |
182.90/183.06 c | 107307 | 14379 65759 191886 | 2147483647 106479 44 | 67.501 % |
184.00/184.13 c | 107646 | 14379 65759 191886 | 2147483647 106818 44 | 67.501 % |
184.90/185.03 c | 108021 | 14379 65759 191886 | 2147483647 107193 44 | 67.501 % |
186.00/186.13 c | 108431 | 14379 65759 191886 | 2147483647 107603 44 | 67.501 % |
186.80/186.98 c | 108881 | 14379 65759 191886 | 2147483647 108053 44 | 67.501 % |
188.20/188.31 c | 109374 | 14379 65759 191886 | 2147483647 108546 44 | 67.501 % |
189.20/189.32 c | 109917 | 14379 65759 191886 | 2147483647 109089 44 | 67.501 % |
190.20/190.32 c | 110513 | 14379 65759 191886 | 2147483647 109685 44 | 67.501 % |
191.69/191.85 c | 111169 | 14379 65759 191886 | 2147483647 110341 44 | 67.501 % |
193.19/193.38 c | 111889 | 14379 65759 191886 | 2147483647 111061 44 | 67.501 % |
194.69/194.85 c | 112682 | 14379 65759 191886 | 2147483647 111854 44 | 67.501 % |
196.60/196.75 c | 113555 | 14379 65759 191886 | 2147483647 112727 44 | 67.501 % |
198.40/198.57 c | 114513 | 14379 65759 191886 | 2147483647 113685 43 | 67.501 % |
200.30/200.46 c | 115567 | 14364 65672 191642 | 2147483647 114738 44 | 67.535 % |
203.19/203.30 c | 116725 | 14364 65672 191642 | 2147483647 115896 44 | 67.535 % |
206.29/206.49 c | 117999 | 14364 65672 191642 | 2147483647 117170 43 | 67.535 % |
206.60/206.71 c | 118100 | 14364 65672 191642 | 2147483647 117271 43 | 67.535 % |
206.79/206.92 c | 118210 | 14364 65672 191642 | 2147483647 117381 43 | 67.535 % |
207.09/207.22 c | 118333 | 14364 65672 191642 | 2147483647 117504 43 | 67.535 % |
207.49/207.63 c | 118467 | 14364 65672 191642 | 2147483647 117637 43 | 67.546 % |
207.89/208.06 c | 118618 | 14364 65672 191642 | 2147483647 117788 43 | 67.546 % |
208.29/208.45 c | 118778 | 14364 65672 191642 | 2147483647 117948 43 | 67.546 % |
208.80/208.98 c | 118956 | 14364 65672 191642 | 2147483647 118126 43 | 67.546 % |
209.39/209.52 c | 119151 | 14359 65627 191523 | 2147483647 118321 43 | 67.546 % |
209.99/210.10 c | 119364 | 14359 65627 191523 | 2147483647 118534 43 | 67.546 % |
210.39/210.55 c | 119597 | 14359 65627 191523 | 2147483647 118767 43 | 67.546 % |
211.19/211.37 c | 119853 | 14359 65627 191523 | 2147483647 119023 43 | 67.546 % |
211.79/211.97 c | 120134 | 14359 65627 191523 | 2147483647 119304 43 | 67.546 % |
213.09/213.26 c | 120445 | 14359 65627 191523 | 2147483647 119615 43 | 67.546 % |
214.49/214.65 c | 120787 | 14359 65627 191523 | 2147483647 119957 43 | 67.546 % |
215.69/215.82 c | 121159 | 14359 65627 191523 | 2147483647 120329 43 | 67.546 % |
216.79/216.92 c | 121568 | 14359 65627 191523 | 2147483647 120738 43 | 67.546 % |
217.89/218.07 c | 122017 | 14359 65627 191523 | 2147483647 121187 43 | 67.546 % |
218.99/219.16 c | 122510 | 14359 65627 191523 | 2147483647 121680 43 | 67.546 % |
220.29/220.48 c | 123053 | 14359 65627 191523 | 2147483647 122223 43 | 67.546 % |
221.89/222.09 c | 123649 | 14359 65627 191523 | 2147483647 122819 43 | 67.546 % |
223.58/223.74 c | 124304 | 14359 65627 191523 | 2147483647 123474 43 | 67.546 % |
225.08/225.26 c | 125024 | 14359 65627 191523 | 2147483647 124194 43 | 67.546 % |
226.88/227.03 c | 125816 | 14359 65627 191523 | 2147483647 124986 43 | 67.546 % |
228.68/228.80 c | 126687 | 14359 65627 191523 | 2147483647 125857 43 | 67.546 % |
231.28/231.46 c | 127647 | 14359 65627 191523 | 2147483647 126817 44 | 67.546 % |
233.09/233.29 c | 128700 | 14359 65627 191523 | 2147483647 127870 44 | 67.546 % |
235.78/235.95 c | 129864 | 14359 65627 191523 | 2147483647 129034 44 | 67.546 % |
238.78/238.91 c | 131139 | 14349 65558 191330 | 2147483647 130305 44 | 67.569 % |
242.48/242.68 c | 132540 | 14349 65558 191330 | 2147483647 131706 43 | 67.568 % |
242.78/242.91 c | 132641 | 14349 65558 191330 | 2147483647 131807 43 | 67.568 % |
243.08/243.26 c | 132751 | 14349 65558 191330 | 2147483647 131917 43 | 67.568 % |
243.48/243.69 c | 132872 | 14349 65558 191330 | 2147483647 132038 43 | 67.568 % |
243.88/244.05 c | 133005 | 14349 65558 191330 | 2147483647 132171 43 | 67.569 % |
244.28/244.44 c | 133151 | 14349 65558 191330 | 2147483647 132317 43 | 67.568 % |
244.78/244.92 c | 133311 | 14349 65558 191330 | 2147483647 132477 43 | 67.568 % |
245.28/245.43 c | 133487 | 14349 65558 191330 | 2147483647 132653 43 | 67.568 % |
245.98/246.11 c | 133681 | 14349 65558 191330 | 2147483647 132847 43 | 67.568 % |
246.38/246.59 c | 133893 | 14349 65558 191330 | 2147483647 133059 43 | 67.568 % |
247.08/247.21 c | 134126 | 14349 65558 191330 | 2147483647 133292 43 | 67.568 % |
247.78/247.90 c | 134383 | 14349 65558 191330 | 2147483647 133549 43 | 67.568 % |
248.48/248.64 c | 134664 | 14349 65558 191330 | 2147483647 133830 43 | 67.568 % |
249.27/249.41 c | 134974 | 14349 65558 191330 | 2147483647 134140 43 | 67.568 % |
250.07/250.25 c | 135313 | 14349 65558 191330 | 2147483647 134479 43 | 67.569 % |
251.37/251.55 c | 135691 | 14349 65558 191330 | 2147483647 134857 43 | 67.568 % |
252.37/252.59 c | 136101 | 14349 65558 191330 | 2147483647 135267 43 | 67.569 % |
253.77/253.98 c | 136552 | 14349 65558 191330 | 2147483647 135718 43 | 67.569 % |
255.08/255.28 c | 137046 | 14349 65558 191330 | 2147483647 136212 43 | 67.569 % |
256.47/256.68 c | 137589 | 14349 65558 191330 | 2147483647 136755 43 | 67.568 % |
257.77/257.95 c | 138186 | 14349 65558 191330 | 2147483647 137352 43 | 67.568 % |
259.47/259.61 c | 138841 | 14349 65558 191330 | 2147483647 138007 43 | 67.568 % |
261.17/261.31 c | 139562 | 14349 65558 191330 | 2147483647 138728 43 | 67.568 % |
262.67/262.82 c | 140355 | 14349 65558 191330 | 2147483647 139521 43 | 67.568 % |
264.87/265.10 c | 141226 | 14349 65558 191330 | 2147483647 140392 43 | 67.568 % |
266.67/266.80 c | 142184 | 14349 65558 191330 | 2147483647 141350 43 | 67.569 % |
269.87/270.08 c | 143237 | 14349 65558 191330 | 2147483647 142403 43 | 67.568 % |
272.57/272.76 c | 144395 | 14349 65558 191330 | 2147483647 143561 43 | 67.568 % |
276.16/276.33 c | 145668 | 14349 65558 191330 | 2147483647 144834 43 | 67.568 % |
280.16/280.34 c | 147069 | 14349 65558 191330 | 2147483647 146235 43 | 67.568 % |
283.46/283.65 c | 148609 | 14349 65558 191330 | 2147483647 147775 43 | 67.568 % |
283.76/283.90 c | 148710 | 14349 65558 191330 | 2147483647 147876 43 | 67.568 % |
284.06/284.23 c | 148820 | 14349 65558 191330 | 2147483647 147986 43 | 67.568 % |
284.36/284.58 c | 148942 | 14349 65558 191330 | 2147483647 148108 43 | 67.568 % |
284.76/284.98 c | 149075 | 14349 65558 191330 | 2147483647 148241 43 | 67.568 % |
285.36/285.54 c | 149226 | 14349 65558 191330 | 2147483647 148392 43 | 67.568 % |
285.86/286.03 c | 149387 | 14349 65558 191330 | 2147483647 148553 43 | 67.568 % |
286.26/286.49 c | 149564 | 14349 65558 191330 | 2147483647 148730 43 | 67.568 % |
286.86/287.06 c | 149757 | 14349 65558 191330 | 2147483647 148923 43 | 67.569 % |
287.45/287.67 c | 149971 | 14349 65558 191330 | 2147483647 149137 43 | 67.568 % |
288.16/288.39 c | 150205 | 14349 65558 191330 | 2147483647 149371 43 | 67.568 % |
289.07/289.24 c | 150461 | 14349 65558 191330 | 2147483647 149627 43 | 67.568 % |
289.76/289.94 c | 150742 | 14349 65558 191330 | 2147483647 149908 43 | 67.568 % |
290.56/290.73 c | 151051 | 14349 65558 191330 | 2147483647 150217 43 | 67.568 % |
291.26/291.44 c | 151393 | 14349 65558 191330 | 2147483647 150559 43 | 67.568 % |
292.36/292.51 c | 151765 | 14349 65558 191330 | 2147483647 150931 43 | 67.568 % |
293.56/293.78 c | 152174 | 14336 65478 191123 | 2147483647 151338 43 | 67.598 % |
295.36/295.51 c | 152623 | 14336 65478 191123 | 2147483647 151787 43 | 67.598 % |
296.26/296.43 c | 153116 | 14336 65478 191123 | 2147483647 152280 43 | 67.598 % |
297.76/297.92 c | 153661 | 14336 65478 191123 | 2147483647 152825 43 | 67.598 % |
299.46/299.68 c | 154257 | 14336 65478 191123 | 2147483647 153421 43 | 67.598 % |
300.85/301.00 c | 154913 | 14336 65478 191123 | 2147483647 154077 43 | 67.598 % |
303.05/303.23 c | 155633 | 14336 65478 191123 | 2147483647 154797 43 | 67.598 % |
305.66/305.82 c | 156427 | 14336 65478 191123 | 2147483647 155591 43 | 67.598 % |
307.76/307.97 c | 157299 | 14336 65478 191123 | 2147483647 156463 43 | 67.598 % |
310.65/310.85 c | 158259 | 14336 65478 191123 | 2147483647 157423 43 | 67.598 % |
313.75/313.90 c | 159312 | 14320 65390 190885 | 2147483647 158473 43 | 67.634 % |
317.15/317.33 c | 160470 | 14320 65390 190885 | 2147483647 159631 43 | 67.634 % |
321.14/321.36 c | 161744 | 14320 65390 190885 | 2147483647 160905 43 | 67.634 % |
324.34/324.57 c | 163144 | 14320 65390 190885 | 2147483647 162305 43 | 67.634 % |
328.05/328.26 c | 164686 | 14320 65390 190885 | 2147483647 163847 43 | 67.634 % |
332.84/333.07 c | 166381 | 14320 65390 190885 | 2147483647 165542 43 | 67.634 % |
333.25/333.44 c | 166481 | 14320 65390 190885 | 2147483647 165642 43 | 67.634 % |
333.55/333.78 c | 166592 | 14320 65390 190885 | 2147483647 165753 43 | 67.634 % |
334.04/334.26 c | 166714 | 14320 65390 190885 | 2147483647 165875 43 | 67.634 % |
334.34/334.59 c | 166851 | 14320 65390 190885 | 2147483647 166012 43 | 67.634 % |
334.94/335.20 c | 166997 | 14320 65390 190885 | 2147483647 166158 43 | 67.634 % |
335.44/335.64 c | 167159 | 14320 65390 190885 | 2147483647 166320 43 | 67.634 % |
335.94/336.18 c | 167335 | 14320 65390 190885 | 2147483647 166496 43 | 67.634 % |
336.45/336.69 c | 167528 | 14320 65390 190885 | 2147483647 166689 43 | 67.634 % |
337.14/337.38 c | 167740 | 14320 65390 190885 | 2147483647 166901 43 | 67.634 % |
338.04/338.28 c | 167973 | 13988 63830 186212 | 2147483647 167114 43 | 68.384 % |
339.14/339.38 c | 168231 | 13988 63830 186212 | 2147483647 167372 43 | 68.384 % |
339.94/340.10 c | 168512 | 13988 63830 186212 | 2147483647 167653 43 | 68.384 % |
341.04/341.26 c | 168821 | 13988 63830 186212 | 2147483647 167962 43 | 68.384 % |
342.34/342.53 c | 169160 | 13988 63830 186212 | 2147483647 168301 43 | 68.384 % |
343.54/343.77 c | 169532 | 13988 63830 186212 | 2147483647 168673 43 | 68.384 % |
344.54/344.74 c | 169941 | 13988 63830 186212 | 2147483647 169082 43 | 68.384 % |
345.73/345.96 c | 170393 | 13988 63830 186212 | 2147483647 169534 43 | 68.385 % |
346.93/347.13 c | 170886 | 13988 63830 186212 | 2147483647 170027 43 | 68.385 % |
348.23/348.40 c | 171429 | 13988 63830 186212 | 2147483647 170570 43 | 68.384 % |
350.03/350.25 c | 172026 | 13988 63830 186212 | 2147483647 171167 43 | 68.384 % |
352.03/352.20 c | 172682 | 13988 63830 186212 | 2147483647 171823 43 | 68.384 % |
353.44/353.62 c | 173403 | 13988 63830 186212 | 2147483647 172544 43 | 68.384 % |
355.94/356.12 c | 174195 | 13988 63830 186212 | 2147483647 173336 43 | 68.384 % |
358.14/358.37 c | 175067 | 13988 63830 186212 | 2147483647 174208 43 | 68.384 % |
360.24/360.48 c | 176025 | 13988 63830 186212 | 2147483647 175166 43 | 68.384 % |
363.23/363.42 c | 177080 | 13988 63830 186212 | 2147483647 176221 43 | 68.384 % |
366.33/366.58 c | 178238 | 13988 63830 186212 | 2147483647 177379 43 | 68.384 % |
369.73/369.96 c | 179515 | 13988 63830 186212 | 2147483647 178656 43 | 68.384 % |
374.33/374.54 c | 180915 | 13988 63830 186212 | 179141 180056 43 | 68.384 % |
378.33/378.54 c | 182455 | 13988 63830 186212 | 179141 181596 43 | 68.384 % |
383.52/383.77 c | 184151 | 13988 63830 186212 | 179141 183292 43 | 68.384 % |
388.73/388.91 c | 186016 | 13988 63830 186212 | 179141 185157 43 | 68.384 % |
389.03/389.21 c | 186116 | 13988 63830 186212 | 179141 185257 43 | 68.384 % |
389.43/389.68 c | 186227 | 13988 63830 186212 | 179141 185368 43 | 68.384 % |
389.93/390.12 c | 186348 | 13988 63830 186212 | 179141 185489 43 | 68.384 % |
390.43/390.60 c | 186481 | 13988 63830 186212 | 179141 185622 43 | 68.384 % |
390.93/391.16 c | 186629 | 13988 63830 186212 | 179141 185770 43 | 68.384 % |
391.43/391.61 c | 186790 | 13988 63830 186212 | 179141 185931 43 | 68.384 % |
392.13/392.33 c | 186968 | 13988 63830 186212 | 179141 186109 43 | 68.384 % |
392.53/392.75 c | 187162 | 13988 63830 186212 | 179141 186303 43 | 68.384 % |
393.22/393.47 c | 187374 | 13988 63830 186212 | 179141 186515 43 | 68.384 % |
394.32/394.57 c | 187607 | 13988 63830 186212 | 179141 186748 43 | 68.384 % |
395.22/395.42 c | 187863 | 13988 63830 186212 | 179141 187004 43 | 68.384 % |
396.72/396.99 c | 188147 | 13988 63830 186212 | 179141 187288 43 | 68.384 % |
398.22/398.47 c | 188457 | 13988 63830 186212 | 179141 187598 43 | 68.384 % |
399.32/399.56 c | 188797 | 13988 63830 186212 | 179141 187938 43 | 68.384 % |
400.82/401.02 c | 189171 | 13988 63830 186212 | 179141 188312 43 | 68.384 % |
402.42/402.69 c | 189580 | 13988 63830 186212 | 179141 188721 43 | 68.384 % |
404.22/404.42 c | 190029 | 13988 63830 186212 | 189141 189170 43 | 68.384 % |
405.82/406.03 c | 190522 | 13988 63830 186212 | 189141 189663 43 | 68.384 % |
407.41/407.60 c | 191066 | 13988 63830 186212 | 189141 190207 43 | 68.384 % |
409.21/409.41 c | 191662 | 13988 63830 186212 | 189141 190803 43 | 68.384 % |
411.51/411.71 c | 192318 | 13988 63830 186212 | 189141 191459 43 | 68.384 % |
413.81/414.00 c | 193038 | 13988 63830 186212 | 189141 192179 43 | 68.384 % |
416.21/416.45 c | 193831 | 13988 63830 186212 | 189141 192972 43 | 68.384 % |
419.12/419.33 c | 194704 | 13988 63830 186212 | 189141 193845 43 | 68.384 % |
422.42/422.67 c | 195663 | 13988 63830 186212 | 189141 194804 43 | 68.384 % |
426.11/426.30 c | 196716 | 13988 63830 186212 | 189141 195857 43 | 68.384 % |
429.71/429.90 c | 197876 | 13988 63830 186212 | 189141 197017 43 | 68.384 % |
433.71/433.92 c | 199150 | 13988 63830 186212 | 189141 198291 43 | 68.384 % |
437.81/438.07 c | 200552 | 13988 63830 186212 | 199142 199693 43 | 68.384 % |
442.21/442.49 c | 202094 | 13988 63830 186212 | 199142 201235 43 | 68.384 % |
447.70/447.91 c | 203789 | 13988 63830 186212 | 199142 202930 43 | 68.384 % |
453.70/453.95 c | 205652 | 13988 63830 186212 | 199142 204793 43 | 68.384 % |
459.90/460.18 c | 207703 | 13988 63830 186212 | 199142 206844 43 | 68.384 % |
460.50/460.73 c | 207803 | 13988 63830 186212 | 199142 206944 43 | 68.384 % |
461.00/461.20 c | 207913 | 13988 63830 186212 | 199142 207054 43 | 68.384 % |
461.40/461.66 c | 208035 | 13988 63830 186212 | 199142 207176 43 | 68.384 % |
461.80/462.05 c | 208171 | 13988 63830 186212 | 199142 207312 43 | 68.384 % |
462.30/462.51 c | 208317 | 13988 63830 186212 | 199142 207458 43 | 68.385 % |
462.80/463.03 c | 208481 | 13988 63830 186212 | 199142 207622 43 | 68.385 % |
463.30/463.58 c | 208658 | 13988 63830 186212 | 199142 207799 43 | 68.384 % |
464.30/464.57 c | 208852 | 13988 63830 186212 | 199142 207993 43 | 68.384 % |
465.00/465.21 c | 209067 | 13988 63830 186212 | 199142 208208 43 | 68.384 % |
465.70/465.95 c | 209302 | 13988 63830 186212 | 199142 208443 43 | 68.384 % |
466.40/466.66 c | 209558 | 13988 63830 186212 | 199142 208699 43 | 68.384 % |
467.40/467.66 c | 209840 | 13988 63830 186212 | 199142 208981 43 | 68.384 % |
468.50/468.79 c | 210151 | 13988 63830 186212 | 209143 209292 43 | 68.384 % |
469.70/469.96 c | 210490 | 13988 63830 186212 | 209143 209631 43 | 68.384 % |
470.90/471.17 c | 210864 | 13988 63830 186212 | 209143 210005 43 | 68.384 % |
472.59/472.80 c | 211273 | 13987 63823 186193 | 209143 210412 43 | 68.387 % |
474.69/474.95 c | 211723 | 13987 63823 186193 | 209143 210862 43 | 68.387 % |
476.59/476.85 c | 212217 | 13987 63823 186193 | 209143 211356 43 | 68.387 % |
478.89/479.10 c | 212761 | 13987 63823 186193 | 209143 211900 43 | 68.387 % |
480.70/480.94 c | 213357 | 13987 63823 186193 | 209143 212496 43 | 68.387 % |
482.80/483.00 c | 214014 | 13987 63823 186193 | 209143 213153 43 | 68.387 % |
484.40/484.62 c | 214734 | 13987 63823 186193 | 209143 213873 43 | 68.387 % |
486.80/487.08 c | 215527 | 13987 63823 186193 | 209143 214666 43 | 68.387 % |
489.80/490.09 c | 216399 | 13987 63823 186193 | 209143 215538 43 | 68.387 % |
492.50/492.72 c | 217358 | 13987 63823 186193 | 209143 216497 43 | 68.387 % |
495.69/495.91 c | 218411 | 13987 63823 186193 | 209143 217550 43 | 68.387 % |
498.99/499.27 c | 219569 | 13987 63823 186193 | 209143 218708 43 | 68.387 % |
503.08/503.34 c | 220843 | 13987 63823 186193 | 219139 219982 43 | 68.387 % |
507.78/508.04 c | 222243 | 13987 63823 186193 | 219139 221382 43 | 68.387 % |
513.39/513.65 c | 223785 | 13987 63823 186193 | 219139 222924 43 | 68.387 % |
519.09/519.37 c | 225479 | 13985 63817 186177 | 219139 224615 43 | 68.418 % |
525.59/525.83 c | 227342 | 13985 63817 186177 | 219139 226478 43 | 68.418 % |
530.28/530.52 c | 229393 | 13985 63817 186177 | 219139 228529 43 | 68.418 % |
538.68/538.99 c | 231646 | 13985 63817 186177 | 229137 230782 42 | 68.418 % |
539.08/539.34 c | 231748 | 13985 63817 186177 | 229137 230884 42 | 68.418 % |
539.58/539.89 c | 231859 | 13985 63817 186177 | 229137 230995 42 | 68.418 % |
540.08/540.38 c | 231982 | 13985 63817 186177 | 229137 231118 42 | 68.418 % |
540.68/540.95 c | 232115 | 13985 63817 186177 | 229137 231251 42 | 68.418 % |
541.08/541.37 c | 232261 | 13985 63817 186177 | 229137 231397 42 | 68.418 % |
541.57/541.86 c | 232422 | 13985 63817 186177 | 229137 231558 42 | 68.418 % |
542.27/542.55 c | 232598 | 13984 63817 186177 | 229137 231733 42 | 68.448 % |
542.77/543.05 c | 232795 | 13984 63817 186177 | 229137 231930 42 | 68.448 % |
543.18/543.49 c | 233008 | 13984 63817 186177 | 229137 232143 42 | 68.448 % |
543.87/544.11 c | 233241 | 13984 63817 186177 | 229137 232376 42 | 68.448 % |
544.87/545.19 c | 233498 | 13984 63817 186177 | 229137 232633 42 | 68.448 % |
546.17/546.41 c | 233780 | 13984 63817 186177 | 229137 232915 42 | 68.448 % |
547.27/547.56 c | 234089 | 13960 63653 185738 | 229137 233209 42 | 68.448 % |
548.77/549.00 c | 234428 | 13960 63653 185738 | 229137 233548 42 | 68.448 % |
550.07/550.31 c | 234800 | 13960 63653 185738 | 229137 233920 42 | 68.448 % |
551.27/551.55 c | 235211 | 13960 63653 185738 | 229137 234331 42 | 68.448 % |
552.77/553.03 c | 235662 | 13960 63653 185738 | 229137 234782 42 | 68.448 % |
554.17/554.49 c | 236155 | 13960 63653 185738 | 229137 235275 42 | 68.448 % |
555.87/556.14 c | 236697 | 13960 63653 185738 | 229137 235817 42 | 68.448 % |
557.66/557.91 c | 237294 | 13960 63653 185738 | 229137 236414 42 | 68.448 % |
560.06/560.33 c | 237953 | 13960 63653 185738 | 229137 237073 42 | 68.448 % |
562.46/562.70 c | 238675 | 13960 63653 185738 | 229137 237795 42 | 68.448 % |
565.17/565.48 c | 239472 | 13960 63653 185738 | 229137 238592 42 | 68.448 % |
568.76/569.04 c | 240343 | 13960 63653 185738 | 239120 239463 42 | 68.448 % |
571.57/571.81 c | 241302 | 13960 63653 185738 | 239120 240422 42 | 68.448 % |
574.77/575.05 c | 242355 | 13960 63653 185738 | 239120 241475 42 | 68.448 % |
578.76/579.00 c | 243513 | 13960 63653 185738 | 239120 242633 42 | 68.448 % |
582.06/582.31 c | 244786 | 13960 63653 185738 | 239120 243906 42 | 68.448 % |
586.36/586.60 c | 246186 | 13960 63653 185738 | 239120 245306 42 | 68.448 % |
592.06/592.32 c | 247728 | 13960 63653 185738 | 239120 246848 42 | 68.448 % |
597.85/598.12 c | 249426 | 13960 63653 185738 | 239120 248546 42 | 68.448 % |
605.75/606.03 c | 251291 | 13960 63653 185738 | 249121 250411 42 | 68.448 % |
613.75/614.05 c | 253343 | 13960 63653 185738 | 249121 252463 42 | 68.448 % |
622.15/622.41 c | 255600 | 13960 63653 185738 | 249121 254720 42 | 68.448 % |
630.24/630.52 c | 258080 | 13960 63653 185738 | 249121 257200 42 | 68.448 % |
630.64/630.93 c | 258181 | 13960 63653 185738 | 249121 257301 42 | 68.448 % |
631.05/631.37 c | 258291 | 13960 63653 185738 | 249121 257411 42 | 68.448 % |
631.54/631.83 c | 258413 | 13960 63653 185738 | 249121 257533 42 | 68.448 % |
632.04/632.30 c | 258547 | 13960 63653 185738 | 249121 257667 42 | 68.448 % |
632.54/632.88 c | 258697 | 13960 63653 185738 | 249121 257817 42 | 68.448 % |
633.14/633.47 c | 258859 | 13960 63653 185738 | 249121 257979 42 | 68.448 % |
633.75/634.03 c | 259036 | 13960 63653 185738 | 249121 258156 42 | 68.448 % |
634.55/634.82 c | 259230 | 13960 63653 185738 | 249121 258350 42 | 68.448 % |
635.15/635.46 c | 259445 | 13960 63653 185738 | 249121 258565 42 | 68.448 % |
636.15/636.45 c | 259679 | 13960 63653 185738 | 249121 258799 42 | 68.448 % |
637.24/637.54 c | 259935 | 13960 63653 185738 | 249121 259055 42 | 68.448 % |
638.44/638.71 c | 260217 | 13960 63653 185738 | 259121 259337 42 | 68.448 % |
639.64/639.99 c | 260527 | 13960 63653 185738 | 259121 259647 42 | 68.448 % |
640.74/641.08 c | 260869 | 13960 63653 185738 | 259121 259989 42 | 68.448 % |
642.05/642.37 c | 261241 | 13960 63653 185738 | 259121 260361 42 | 68.448 % |
643.54/643.82 c | 261651 | 13960 63653 185738 | 259121 260771 42 | 68.448 % |
645.24/645.57 c | 262102 | 13960 63653 185738 | 259121 261222 42 | 68.448 % |
647.24/647.58 c | 262601 | 13960 63653 185738 | 259121 261721 42 | 68.448 % |
649.94/650.27 c | 263143 | 13960 63653 185738 | 259121 262263 42 | 68.448 % |
653.14/653.42 c | 263739 | 13960 63653 185738 | 259121 262859 42 | 68.448 % |
655.44/655.73 c | 264394 | 13960 63653 185738 | 259121 263514 42 | 68.448 % |
657.94/658.27 c | 265114 | 13960 63653 185738 | 259121 264234 42 | 68.448 % |
660.34/660.67 c | 265907 | 13960 63653 185738 | 259121 265027 42 | 68.448 % |
663.54/663.86 c | 266780 | 13960 63653 185738 | 259121 265900 42 | 68.448 % |
666.84/667.14 c | 267742 | 13960 63653 185738 | 259121 266862 42 | 68.448 % |
669.83/670.17 c | 268795 | 13960 63653 185738 | 259121 267915 42 | 68.448 % |
674.73/675.00 c | 269953 | 13960 63653 185738 | 259121 269073 42 | 68.448 % |
680.03/680.39 c | 271226 | 13960 63653 185738 | 269122 270346 42 | 68.448 % |
686.73/687.01 c | 272631 | 13960 63653 185738 | 269122 271751 42 | 68.448 % |
693.02/693.32 c | 274173 | 13960 63653 185738 | 269122 273293 42 | 68.448 % |
699.82/700.13 c | 275867 | 13960 63653 185738 | 269122 274987 42 | 68.448 % |
706.82/707.19 c | 277731 | 13960 63653 185738 | 269122 276851 42 | 68.448 % |
714.62/714.94 c | 279781 | 13960 63653 185738 | 269122 278901 42 | 68.448 % |
723.82/724.20 c | 282034 | 13960 63653 185738 | 279122 281154 42 | 68.448 % |
734.01/734.32 c | 284512 | 13960 63653 185738 | 279122 283632 42 | 68.448 % |
746.11/746.49 c | 287239 | 13960 63653 185738 | 279122 286359 42 | 68.448 % |
746.51/746.86 c | 287341 | 13960 63653 185738 | 279122 286461 42 | 68.448 % |
747.01/747.34 c | 287454 | 13960 63653 185738 | 279122 286574 42 | 68.448 % |
747.51/747.87 c | 287577 | 13960 63653 185738 | 279122 286697 42 | 68.448 % |
748.11/748.42 c | 287713 | 13960 63653 185738 | 279122 286833 42 | 68.448 % |
748.81/749.10 c | 287862 | 13960 63653 185738 | 279122 286982 42 | 68.448 % |
749.50/749.88 c | 288023 | 13960 63653 185738 | 279122 287143 42 | 68.448 % |
750.30/750.66 c | 288199 | 13960 63653 185738 | 279122 287319 42 | 68.448 % |
751.01/751.34 c | 288392 | 13960 63653 185738 | 279122 287512 42 | 68.448 % |
752.01/752.31 c | 288606 | 13960 63653 185738 | 279122 287726 42 | 68.448 % |
752.70/753.07 c | 288839 | 13960 63653 185738 | 279122 287959 42 | 68.448 % |
753.90/754.25 c | 289096 | 13960 63653 185738 | 279122 288216 42 | 68.448 % |
755.00/755.33 c | 289377 | 13960 63653 185738 | 279122 288497 42 | 68.448 % |
756.00/756.30 c | 289687 | 13960 63653 185738 | 279122 288807 42 | 68.448 % |
757.80/758.14 c | 290030 | 13960 63653 185738 | 289122 289150 42 | 68.448 % |
759.30/759.65 c | 290402 | 13960 63653 185738 | 289122 289522 42 | 68.448 % |
760.70/761.06 c | 290812 | 13960 63653 185738 | 289122 289932 42 | 68.448 % |
762.60/762.91 c | 291261 | 13960 63653 185738 | 289122 290381 42 | 68.448 % |
764.80/765.10 c | 291755 | 13960 63653 185738 | 289122 290875 42 | 68.448 % |
767.10/767.41 c | 292298 | 13960 63653 185738 | 289122 291418 42 | 68.448 % |
769.30/769.66 c | 292894 | 13960 63653 185738 | 289122 292014 42 | 68.448 % |
772.00/772.37 c | 293552 | 13960 63653 185738 | 289122 292672 42 | 68.448 % |
776.00/776.30 c | 294272 | 13960 63653 185738 | 289122 293392 42 | 68.448 % |
780.00/780.30 c | 295064 | 13960 63653 185738 | 289122 294184 42 | 68.448 % |
784.20/784.56 c | 295937 | 13960 63653 185738 | 289122 295057 42 | 68.448 % |
788.09/788.46 c | 296897 | 13960 63653 185738 | 289122 296017 42 | 68.448 % |
792.89/793.20 c | 297952 | 13960 63653 185738 | 289122 297072 42 | 68.448 % |
798.39/798.73 c | 299112 | 13960 63653 185738 | 289122 298232 42 | 68.448 % |
803.89/804.30 c | 300386 | 13960 63653 185738 | 299120 299506 42 | 68.448 % |
812.59/812.92 c | 301786 | 13960 63653 185738 | 299120 300906 42 | 68.448 % |
819.98/820.37 c | 303326 | 13960 63653 185738 | 299120 302446 42 | 68.448 % |
826.39/826.72 c | 305020 | 13960 63653 185738 | 299120 304140 42 | 68.448 % |
833.59/833.97 c | 306883 | 13960 63653 185738 | 299120 306003 42 | 68.448 % |
841.68/842.09 c | 308932 | 13960 63653 185738 | 299120 308052 42 | 68.448 % |
850.98/851.37 c | 311185 | 13960 63653 185738 | 309120 310305 42 | 68.448 % |
861.57/861.99 c | 313665 | 13947 63580 185547 | 309120 312776 42 | 68.479 % |
873.76/874.15 c | 316393 | 13946 63580 185547 | 309120 315503 42 | 68.538 % |
885.87/886.21 c | 319393 | 13946 63580 185547 | 309120 318503 42 | 68.538 % |
886.37/886.74 c | 319493 | 13946 63580 185547 | 309120 318603 42 | 68.538 % |
887.17/887.53 c | 319604 | 13946 63580 185547 | 309120 318714 42 | 68.538 % |
887.87/888.21 c | 319725 | 13946 63580 185547 | 309120 318835 42 | 68.538 % |
888.47/888.88 c | 319858 | 13946 63580 185547 | 309120 318968 42 | 68.538 % |
889.37/889.76 c | 320004 | 13946 63580 185547 | 319113 319114 42 | 68.538 % |
890.17/890.50 c | 320166 | 13946 63580 185547 | 319113 319276 42 | 68.538 % |
890.86/891.21 c | 320342 | 13946 63580 185547 | 319113 319452 42 | 68.538 % |
891.67/892.09 c | 320535 | 13946 63580 185547 | 319113 319645 42 | 68.538 % |
892.87/893.30 c | 320747 | 13946 63580 185547 | 319113 319857 42 | 68.538 % |
894.06/894.41 c | 320981 | 13946 63580 185547 | 319113 320091 42 | 68.538 % |
894.97/895.38 c | 321241 | 13946 63580 185547 | 319113 320351 42 | 68.538 % |
895.86/896.25 c | 321524 | 13946 63580 185547 | 319113 320634 42 | 68.538 % |
897.36/897.71 c | 321833 | 13946 63580 185547 | 319113 320943 42 | 68.538 % |
898.86/899.28 c | 322172 | 13946 63580 185547 | 319113 321282 42 | 68.538 % |
900.86/901.30 c | 322545 | 13946 63580 185547 | 319113 321655 42 | 68.538 % |
902.86/903.25 c | 322954 | 13946 63580 185547 | 319113 322064 42 | 68.538 % |
904.66/905.08 c | 323403 | 13946 63580 185547 | 319113 322513 42 | 68.538 % |
907.36/907.76 c | 323900 | 13946 63580 185547 | 319113 323010 42 | 68.538 % |
909.95/910.36 c | 324442 | 13946 63580 185547 | 319113 323552 42 | 68.538 % |
912.95/913.34 c | 325039 | 13946 63580 185547 | 319113 324149 42 | 68.538 % |
916.45/916.83 c | 325695 | 13920 63427 185134 | 319113 324795 42 | 68.538 % |
919.75/920.14 c | 326418 | 13920 63427 185134 | 319113 325518 42 | 68.538 % |
923.75/924.15 c | 327215 | 13920 63427 185134 | 319113 326315 42 | 68.538 % |
927.64/928.07 c | 328088 | 13920 63427 185134 | 319113 327188 42 | 68.538 % |
931.36/931.74 c | 329046 | 13920 63427 185134 | 319113 328146 42 | 68.538 % |
936.15/936.51 c | 330099 | 13920 63427 185134 | 329101 329199 42 | 68.538 % |
942.55/942.91 c | 331258 | 13920 63427 185134 | 329101 330358 42 | 68.538 % |
949.24/949.69 c | 332533 | 13920 63427 185134 | 329101 331633 42 | 68.538 % |
955.54/955.98 c | 333934 | 13920 63427 185134 | 329101 333034 42 | 68.538 % |
962.24/962.60 c | 335474 | 13920 63427 185134 | 329101 334574 42 | 68.538 % |
971.43/971.82 c | 337168 | 13920 63427 185134 | 329101 336268 42 | 68.538 % |
979.53/979.94 c | 339033 | 13920 63427 185134 | 329101 338133 42 | 68.538 % |
987.93/988.39 c | 341083 | 13920 63427 185134 | 339100 340183 42 | 68.538 % |
998.83/999.30 c | 343336 | 13919 63423 185124 | 339100 342435 42 | 68.540 % |
1010.12/1010.55 c | 345816 | 13919 63423 185124 | 339100 344915 42 | 68.540 % |
1022.42/1022.81 c | 348542 | 13919 63423 185124 | 339100 347641 42 | 68.540 % |
1036.91/1037.33 c | 351540 | 13919 63423 185124 | 349099 350639 43 | 68.540 % |
1050.41/1050.87 c | 354840 | 13919 63423 185124 | 349099 353939 43 | 68.540 % |
1051.01/1051.49 c | 354944 | 13919 63423 185124 | 349099 354043 43 | 68.540 % |
1051.81/1052.23 c | 355055 | 13919 63423 185124 | 349099 354154 43 | 68.540 % |
1052.41/1052.85 c | 355176 | 13919 63423 185124 | 349099 354275 43 | 68.540 % |
1053.21/1053.64 c | 355310 | 13919 63423 185124 | 349099 354409 43 | 68.540 % |
1054.21/1054.62 c | 355458 | 13919 63423 185124 | 349099 354557 43 | 68.540 % |
1055.21/1055.68 c | 355619 | 13919 63423 185124 | 349099 354718 43 | 68.540 % |
1056.21/1056.64 c | 355795 | 13919 63423 185124 | 349099 354894 43 | 68.540 % |
1057.31/1057.77 c | 355988 | 13919 63423 185124 | 349099 355087 43 | 68.540 % |
1058.71/1059.11 c | 356200 | 13919 63423 185124 | 349099 355299 43 | 68.540 % |
1060.21/1060.60 c | 356435 | 13919 63423 185124 | 349099 355534 43 | 68.540 % |
1061.81/1062.24 c | 356692 | 13919 63423 185124 | 349099 355791 43 | 68.540 % |
1063.21/1063.63 c | 356973 | 13919 63423 185124 | 349099 356072 43 | 68.540 % |
1065.21/1065.67 c | 357283 | 13919 63423 185124 | 349099 356382 43 | 68.540 % |
1067.71/1068.12 c | 357623 | 13919 63423 185124 | 349099 356722 43 | 68.540 % |
1069.51/1069.91 c | 357997 | 13919 63423 185124 | 349099 357096 43 | 68.540 % |
1071.50/1071.96 c | 358406 | 13919 63423 185124 | 349099 357505 43 | 68.540 % |
1073.30/1073.72 c | 358855 | 13919 63423 185124 | 349099 357954 42 | 68.540 % |
1075.10/1075.50 c | 359351 | 13919 63423 185124 | 349099 358450 42 | 68.540 % |
1077.40/1077.84 c | 359893 | 13919 63423 185124 | 349099 358992 42 | 68.540 % |
1081.10/1081.57 c | 360490 | 13919 63423 185124 | 359099 359589 42 | 68.540 % |
1084.90/1085.32 c | 361146 | 13919 63423 185124 | 359099 360245 42 | 68.540 % |
1089.50/1089.91 c | 361866 | 13919 63423 185124 | 359099 360965 42 | 68.540 % |
1094.50/1094.96 c | 362659 | 13919 63423 185124 | 359099 361758 42 | 68.540 % |
1098.99/1099.47 c | 363531 | 13919 63423 185124 | 359099 362630 42 | 68.540 % |
1104.00/1104.48 c | 364490 | 13919 63423 185124 | 359099 363589 42 | 68.540 % |
1109.19/1109.62 c | 365545 | 13919 63423 185124 | 359099 364644 42 | 68.540 % |
1116.18/1116.67 c | 366704 | 13919 63423 185124 | 359099 365803 42 | 68.540 % |
1123.29/1123.75 c | 367977 | 13919 63423 185124 | 359099 367076 42 | 68.540 % |
1130.48/1130.94 c | 369378 | 13919 63423 185124 | 359099 368477 42 | 68.540 % |
1139.68/1140.19 c | 370918 | 13919 63423 185124 | 369101 370017 42 | 68.540 % |
1147.18/1147.63 c | 372612 | 13919 63423 185124 | 369101 371711 42 | 68.540 % |
1156.17/1156.63 c | 374478 | 13919 63423 185124 | 369101 373577 42 | 68.540 % |
1168.17/1168.63 c | 376528 | 13919 63423 185124 | 369101 375627 42 | 68.540 % |
1177.77/1178.21 c | 378781 | 13919 63423 185124 | 369101 377880 42 | 68.540 % |
1191.67/1192.15 c | 381259 | 13919 63423 185124 | 379101 380358 42 | 68.540 % |
1205.46/1205.95 c | 383984 | 13919 63423 185124 | 379101 383083 42 | 68.540 % |
1219.55/1220.09 c | 386984 | 13919 63423 185124 | 379101 386083 42 | 68.540 % |
1235.36/1235.81 c | 390282 | 13919 63423 185124 | 389102 389381 42 | 68.540 % |
1254.15/1254.64 c | 393907 | 13919 63423 185124 | 389102 393006 42 | 68.540 % |
1254.65/1255.10 c | 394007 | 13919 63423 185124 | 389102 393106 42 | 68.540 % |
1255.45/1255.93 c | 394117 | 13919 63423 185124 | 389102 393216 42 | 68.540 % |
1256.15/1256.65 c | 394239 | 13919 63423 185124 | 389102 393338 42 | 68.540 % |
1256.85/1257.32 c | 394372 | 13919 63423 185124 | 389102 393471 42 | 68.540 % |
1257.75/1258.23 c | 394520 | 13919 63423 185124 | 389102 393619 42 | 68.540 % |
1258.75/1259.26 c | 394681 | 13919 63423 185124 | 389102 393780 42 | 68.540 % |
1259.85/1260.35 c | 394857 | 13919 63423 185124 | 389102 393956 42 | 68.540 % |
1261.15/1261.61 c | 395050 | 13919 63423 185124 | 389102 394149 42 | 68.540 % |
1262.44/1262.93 c | 395266 | 13919 63423 185124 | 389102 394365 42 | 68.540 % |
1263.64/1264.18 c | 395500 | 13919 63423 185124 | 389102 394599 42 | 68.540 % |
1265.44/1265.91 c | 395756 | 13919 63423 185124 | 389102 394855 42 | 68.540 % |
1266.75/1267.22 c | 396037 | 13919 63423 185124 | 389102 395136 42 | 68.540 % |
1268.24/1268.76 c | 396347 | 13919 63423 185124 | 389102 395446 42 | 68.540 % |
1269.94/1270.46 c | 396686 | 13919 63423 185124 | 389102 395785 42 | 68.540 % |
1271.84/1272.37 c | 397058 | 13919 63423 185124 | 389102 396157 42 | 68.540 % |
1273.94/1274.42 c | 397467 | 13919 63423 185124 | 389102 396566 42 | 68.540 % |
1276.14/1276.69 c | 397916 | 13919 63423 185124 | 389102 397015 42 | 68.540 % |
1278.54/1279.05 c | 398409 | 13919 63423 185124 | 389102 397508 42 | 68.540 % |
1281.53/1282.07 c | 398951 | 13919 63423 185124 | 389102 398050 42 | 68.540 % |
1284.73/1285.25 c | 399547 | 13919 63423 185124 | 389102 398646 42 | 68.540 % |
1288.13/1288.67 c | 400202 | 13919 63423 185124 | 399099 399301 42 | 68.540 % |
1292.63/1293.10 c | 400924 | 13919 63423 185124 | 399099 400023 42 | 68.540 % |
1296.73/1297.26 c | 401718 | 13919 63423 185124 | 399099 400817 42 | 68.540 % |
1300.84/1301.32 c | 402590 | 13919 63423 185124 | 399099 401689 42 | 68.540 % |
1306.03/1306.53 c | 403549 | 13919 63423 185124 | 399099 402648 42 | 68.540 % |
1310.83/1311.35 c | 404602 | 13919 63423 185124 | 399099 403701 42 | 68.540 % |
1317.43/1317.90 c | 405760 | 13919 63423 185124 | 399099 404859 42 | 68.540 % |
1325.83/1326.36 c | 407033 | 13919 63423 185124 | 399099 406132 42 | 68.540 % |
1331.32/1331.87 c | 408433 | 13919 63423 185124 | 399099 407532 42 | 68.540 % |
1341.72/1342.27 c | 409974 | 13919 63423 185124 | 399099 409073 42 | 68.540 % |
1350.12/1350.63 c | 411670 | 13919 63423 185124 | 409099 410769 42 | 68.540 % |
1361.21/1361.77 c | 413538 | 13919 63423 185124 | 409099 412637 42 | 68.540 % |
1372.61/1373.13 c | 415589 | 13919 63423 185124 | 409099 414688 42 | 68.540 % |
1384.31/1384.87 c | 417844 | 13919 63423 185124 | 409099 416943 42 | 68.540 % |
1398.61/1399.18 c | 420323 | 13919 63423 185124 | 419103 419422 42 | 68.540 % |
1416.80/1417.39 c | 423049 | 13919 63423 185124 | 419103 422148 42 | 68.540 % |
1434.19/1434.77 c | 426047 | 13919 63423 185124 | 419103 425146 42 | 68.540 % |
1453.49/1454.06 c | 429344 | 13919 63423 185124 | 419103 428443 42 | 68.540 % |
1475.28/1475.82 c | 432969 | 13919 63423 185124 | 429100 432068 42 | 68.540 % |
1497.18/1497.76 c | 436956 | 13919 63423 185124 | 429100 436055 42 | 68.540 % |
1497.88/1498.43 c | 437056 | 13919 63423 185124 | 429100 436155 42 | 68.540 % |
1498.58/1499.17 c | 437166 | 13919 63423 185124 | 429100 436265 42 | 68.540 % |
1499.28/1499.84 c | 437287 | 13919 63423 185124 | 429100 436386 42 | 68.540 % |
1500.08/1500.61 c | 437420 | 13919 63423 185124 | 429100 436519 42 | 68.540 % |
1500.88/1501.46 c | 437566 | 13919 63423 185124 | 429100 436665 42 | 68.541 % |
1501.98/1502.57 c | 437726 | 13919 63423 185124 | 429100 436825 42 | 68.540 % |
1503.18/1503.76 c | 437902 | 13919 63423 185124 | 429100 437001 42 | 68.540 % |
1504.77/1505.39 c | 438095 | 13919 63423 185124 | 429100 437194 42 | 68.540 % |
1506.48/1507.05 c | 438309 | 13919 63423 185124 | 429100 437408 42 | 68.540 % |
1507.87/1508.45 c | 438542 | 13919 63423 185124 | 429100 437641 42 | 68.540 % |
1509.78/1510.30 c | 438798 | 13919 63423 185124 | 429100 437897 42 | 68.540 % |
1511.47/1512.04 c | 439079 | 13919 63423 185124 | 429100 438178 42 | 68.540 % |
1513.57/1514.18 c | 439388 | 13919 63423 185124 | 429100 438487 42 | 68.540 % |
1516.07/1516.62 c | 439731 | 13919 63423 185124 | 429100 438830 42 | 68.540 % |
1518.97/1519.51 c | 440104 | 13919 63423 185124 | 439100 439203 42 | 68.540 % |
1522.57/1523.11 c | 440514 | 13919 63423 185124 | 439100 439613 42 | 68.540 % |
1525.76/1526.36 c | 440963 | 13919 63423 185124 | 439100 440062 42 | 68.540 % |
1529.06/1529.68 c | 441456 | 13919 63423 185124 | 439100 440555 42 | 68.540 % |
1532.56/1533.15 c | 441998 | 13919 63423 185124 | 439100 441097 42 | 68.540 % |
1536.36/1536.96 c | 442596 | 13919 63423 185124 | 439100 441695 42 | 68.540 % |
1540.36/1540.99 c | 443251 | 13919 63423 185124 | 439100 442350 42 | 68.540 % |
1544.96/1545.54 c | 443971 | 13919 63423 185124 | 439100 443070 42 | 68.540 % |
1549.96/1550.54 c | 444764 | 13919 63423 185124 | 439100 443863 42 | 68.540 % |
1555.65/1556.28 c | 445636 | 13919 63423 185124 | 439100 444735 42 | 68.540 % |
1560.55/1561.13 c | 446594 | 13919 63423 185124 | 439100 445693 42 | 68.540 % |
1567.15/1567.77 c | 447648 | 13919 63423 185124 | 439100 446747 42 | 68.540 % |
1573.75/1574.40 c | 448806 | 13919 63423 185124 | 439100 447905 42 | 68.540 % |
1581.35/1581.96 c | 450081 | 13919 63423 185124 | 449100 449180 42 | 68.540 % |
1589.75/1590.33 c | 451481 | 13919 63423 185124 | 449100 450580 42 | 68.540 % |
1599.74/1600.31 c | 453021 | 13919 63423 185124 | 449100 452120 42 | 68.540 % |
1609.04/1609.66 c | 454717 | 13919 63423 185124 | 449100 453816 42 | 68.540 % |
1620.53/1621.17 c | 456580 | 13919 63423 185124 | 449100 455679 42 | 68.540 % |
1633.03/1633.60 c | 458629 | 13919 63423 185124 | 449100 457728 42 | 68.541 % |
1645.03/1645.65 c | 460882 | 13919 63423 185124 | 459099 459981 42 | 68.540 % |
1662.03/1662.66 c | 463360 | 13919 63423 185124 | 459099 462459 42 | 68.540 % |
1677.72/1678.37 c | 466085 | 13919 63423 185124 | 459099 465184 42 | 68.540 % |
1694.01/1694.62 c | 469084 | 13919 63423 185124 | 459099 468183 42 | 68.540 % |
1710.91/1711.52 c | 472380 | 13919 63423 185124 | 469101 471479 42 | 68.540 % |
1732.80/1733.48 c | 476007 | 13919 63423 185124 | 469101 475106 42 | 68.540 % |
1755.30/1755.92 c | 479996 | 13919 63423 185124 | 469101 479095 42 | 68.540 % |
1781.68/1782.35 c | 484382 | 13919 63423 185124 | 479099 483481 42 | 68.540 % |
1782.68/1783.32 c | 484482 | 13919 63423 185124 | 479099 483581 42 | 68.540 % |
1783.68/1784.37 c | 484593 | 13919 63423 185124 | 479099 483692 42 | 68.540 % |
1784.68/1785.37 c | 484714 | 13919 63423 185124 | 479099 483813 42 | 68.540 % |
1785.38/1786.02 c | 484848 | 13919 63423 185124 | 479099 483947 42 | 68.540 % |
1786.68/1787.39 c | 484994 | 13919 63423 185124 | 479099 484093 42 | 68.540 % |
1788.09/1788.79 c | 485155 | 13919 63423 185124 | 479099 484254 42 | 68.540 % |
1789.59/1790.21 c | 485333 | 13919 63423 185124 | 479099 484432 42 | 68.540 % |
1790.49/1791.13 c | 485526 | 13919 63423 185124 | 479099 484625 42 | 68.540 % |
1791.99/1792.67 c | 485740 | 13919 63423 185124 | 479099 484839 42 | 68.540 % |
1793.39/1794.02 c | 485973 | 13919 63423 185124 | 479099 485072 42 | 68.540 % |
1795.18/1795.87 c | 486229 | 13919 63423 185124 | 479099 485328 42 | 68.540 % |
1796.88/1797.55 c | 486510 | 13919 63423 185124 | 479099 485609 42 | 68.540 % |
1798.89/1799.56 c | 486819 | 13919 63423 185124 | 479099 485918 42 | 68.540 % |
1801.38/1802.03 c | 487161 | 13919 63423 185124 | 479099 486260 42 | 68.540 % |
1804.18/1804.89 c | 487536 | 13919 63423 185124 | 479099 486635 42 | 68.540 % |
1807.48/1808.15 c | 487945 | 13567 62119 181263 | 479099 487043 42 | 69.336 % |
1810.67/1811.30 c | 488394 | 13567 62119 181263 | 479099 487492 42 | 69.336 % |
1814.38/1815.05 c | 488888 | 13567 62119 181263 | 479099 487986 42 | 69.336 % |
1818.57/1819.30 c | 489432 | 13567 62119 181263 | 479099 488530 42 | 69.336 % |
1824.07/1824.73 c | 490028 | 13567 62119 181263 | 489098 489126 42 | 69.336 % |
1828.67/1829.33 c | 490685 | 13567 62119 181263 | 489098 489783 42 | 69.336 % |
1833.16/1833.86 c | 491406 | 13567 62119 181263 | 489098 490504 42 | 69.336 % |
1836.96/1837.60 c | 492198 | 13567 62119 181263 | 489098 491296 42 | 69.336 % |
1842.86/1843.54 c | 493069 | 13567 62119 181263 | 489098 492167 42 | 69.336 % |
1848.26/1848.93 c | 494028 | 13567 62119 181263 | 489098 493126 42 | 69.336 % |
1854.46/1855.18 c | 495083 | 13567 62119 181263 | 489098 494181 42 | 69.336 % |
1862.46/1863.13 c | 496242 | 13567 62119 181263 | 489098 495340 42 | 69.336 % |
1870.66/1871.35 c | 497517 | 13567 62119 181263 | 489098 496615 42 | 69.336 % |
1881.25/1881.91 c | 498918 | 13567 62119 181263 | 489098 498016 42 | 69.336 % |
1890.25/1890.98 c | 500465 | 13567 62119 181263 | 499098 499563 42 | 69.336 % |
1901.44/1902.12 c | 502160 | 13567 62119 181263 | 499098 501258 42 | 69.336 % |
1914.14/1914.81 c | 504024 | 13567 62119 181263 | 499098 503122 42 | 69.336 % |
1927.34/1928.01 c | 506075 | 13567 62119 181263 | 499098 505173 42 | 69.336 % |
1942.63/1943.37 c | 508328 | 13567 62119 181263 | 499098 507426 42 | 69.336 % |
1955.93/1956.62 c | 510808 | 13567 62119 181263 | 509098 509906 42 | 69.336 % |
1972.92/1973.60 c | 513534 | 13567 62119 181263 | 509098 512632 42 | 69.336 % |
1991.02/1991.71 c | 516532 | 13567 62119 181263 | 509098 515630 42 | 69.336 % |
2011.51/2012.21 c | 519828 | 13567 62119 181263 | 509098 518926 42 | 69.336 % |
2036.60/2037.37 c | 523454 | 13567 62119 181263 | 519099 522552 42 | 69.336 % |
2065.10/2065.88 c | 527444 | 13567 62119 181263 | 519099 526542 42 | 69.336 % |
2096.79/2097.58 c | 531829 | 13567 62119 181263 | 529100 530927 42 | 69.336 % |
2127.08/2127.88 c | 536652 | 13567 62119 181263 | 529100 535750 42 | 69.336 % |
2128.08/2128.83 c | 536752 | 13567 62119 181263 | 529100 535850 42 | 69.336 % |
2128.68/2129.48 c | 536862 | 13567 62119 181263 | 529100 535960 42 | 69.336 % |
2130.08/2130.80 c | 536984 | 13567 62119 181263 | 529100 536082 42 | 69.336 % |
2131.18/2131.90 c | 537119 | 13567 62119 181263 | 529100 536217 42 | 69.336 % |
2132.58/2133.37 c | 537265 | 13567 62119 181263 | 529100 536363 42 | 69.336 % |
2133.78/2134.59 c | 537425 | 13567 62119 181263 | 529100 536523 42 | 69.336 % |
2135.08/2135.86 c | 537601 | 13567 62119 181263 | 529100 536699 42 | 69.336 % |
2136.97/2137.74 c | 537794 | 13567 62119 181263 | 529100 536892 42 | 69.336 % |
2138.78/2139.56 c | 538008 | 13567 62119 181263 | 529100 537106 42 | 69.336 % |
2140.98/2141.72 c | 538243 | 13567 62119 181263 | 529100 537341 42 | 69.336 % |
2142.87/2143.66 c | 538499 | 13567 62119 181263 | 529100 537597 42 | 69.336 % |
2145.17/2145.93 c | 538780 | 13567 62119 181263 | 529100 537878 42 | 69.336 % |
2147.67/2148.40 c | 539090 | 13567 62119 181263 | 529100 538188 42 | 69.336 % |
2150.57/2151.35 c | 539429 | 13567 62119 181263 | 529100 538527 42 | 69.336 % |
2153.46/2154.27 c | 539801 | 13567 62119 181263 | 529100 538899 42 | 69.336 % |
2156.66/2157.49 c | 540210 | 13567 62119 181263 | 539098 539308 42 | 69.336 % |
2159.57/2160.31 c | 540659 | 13567 62119 181263 | 539098 539757 42 | 69.336 % |
2162.56/2163.30 c | 541152 | 13567 62119 181263 | 539098 540250 42 | 69.336 % |
2165.67/2166.43 c | 541694 | 13567 62119 181263 | 539098 540792 42 | 69.336 % |
2169.27/2170.01 c | 542291 | 13567 62119 181263 | 539098 541389 42 | 69.336 % |
2174.06/2174.83 c | 542948 | 13567 62119 181263 | 539098 542046 42 | 69.336 % |
2179.96/2180.78 c | 543670 | 13567 62119 181263 | 539098 542768 42 | 69.336 % |
2185.66/2186.45 c | 544464 | 13567 62119 181263 | 539098 543562 42 | 69.336 % |
2191.06/2191.80 c | 545337 | 13567 62119 181263 | 539098 544435 42 | 69.336 % |
2198.45/2199.25 c | 546295 | 13567 62119 181263 | 539098 545393 42 | 69.336 % |
2204.75/2205.57 c | 547348 | 13567 62119 181263 | 539098 546446 42 | 69.336 % |
2212.95/2213.76 c | 548506 | 13567 62119 181263 | 539098 547604 42 | 69.336 % |
2221.45/2222.28 c | 549782 | 13567 62119 181263 | 539098 548880 42 | 69.336 % |
2231.04/2231.86 c | 551182 | 13567 62119 181263 | 549099 550280 42 | 69.336 % |
2239.65/2240.40 c | 552722 | 13567 62119 181263 | 549099 551820 42 | 69.336 % |
2251.44/2252.21 c | 554424 | 13567 62119 181263 | 549099 553522 42 | 69.336 % |
2263.54/2264.31 c | 556288 | 13567 62119 181263 | 549099 555386 42 | 69.336 % |
2278.73/2279.54 c | 558337 | 13567 62119 181263 | 549099 557435 42 | 69.336 % |
2295.93/2296.74 c | 560593 | 13567 62119 181263 | 559098 559691 42 | 69.336 % |
2314.52/2315.30 c | 563072 | 13567 62119 181263 | 559098 562170 42 | 69.336 % |
2333.51/2334.36 c | 565797 | 13567 62119 181263 | 559098 564895 42 | 69.336 % |
2354.90/2355.79 c | 568795 | 13567 62119 181263 | 559098 567893 42 | 69.336 % |
2375.21/2376.07 c | 572094 | 13567 62119 181263 | 569100 571192 42 | 69.336 % |
2401.09/2401.90 c | 575720 | 13567 62119 181263 | 569100 574818 42 | 69.336 % |
2428.59/2429.49 c | 579708 | 13567 62119 181263 | 569100 578806 42 | 69.336 % |
2460.98/2461.87 c | 584095 | 13567 62119 181263 | 579098 583193 42 | 69.336 % |
2500.26/2501.18 c | 588918 | 13567 62119 181263 | 579098 588016 42 | 69.336 % |
2533.36/2534.28 c | 594223 | 13567 62119 181263 | 589098 593321 42 | 69.336 % |
2534.46/2535.32 c | 594323 | 13567 62119 181263 | 589098 593421 42 | 69.336 % |
2535.36/2536.29 c | 594434 | 13567 62119 181263 | 589098 593532 42 | 69.336 % |
2536.65/2537.59 c | 594555 | 13567 62119 181263 | 589098 593653 42 | 69.336 % |
2537.86/2538.73 c | 594689 | 13567 62119 181263 | 589098 593787 42 | 69.336 % |
2539.15/2540.03 c | 594835 | 13567 62119 181263 | 589098 593933 42 | 69.336 % |
2540.45/2541.37 c | 594995 | 13567 62119 181263 | 589098 594093 42 | 69.336 % |
2541.95/2542.80 c | 595172 | 13567 62119 181263 | 589098 594270 42 | 69.336 % |
2543.36/2544.29 c | 595365 | 13567 62119 181263 | 589098 594463 42 | 69.336 % |
2545.85/2546.76 c | 595577 | 13567 62119 181263 | 589098 594675 42 | 69.336 % |
2547.35/2548.26 c | 595812 | 13567 62119 181263 | 589098 594910 42 | 69.336 % |
2550.05/2550.93 c | 596070 | 13567 62119 181263 | 589098 595168 42 | 69.336 % |
2552.35/2553.21 c | 596354 | 13567 62119 181263 | 589098 595452 42 | 69.336 % |
2554.54/2555.46 c | 596666 | 13567 62119 181263 | 589098 595764 42 | 69.336 % |
2557.25/2558.13 c | 597006 | 13567 62119 181263 | 589098 596104 42 | 69.336 % |
2559.95/2560.88 c | 597379 | 13567 62119 181263 | 589098 596477 42 | 69.336 % |
2564.14/2565.04 c | 597789 | 13567 62119 181263 | 589098 596887 42 | 69.336 % |
2568.65/2569.60 c | 598238 | 13567 62119 181263 | 589098 597336 42 | 69.336 % |
2574.04/2574.92 c | 598733 | 13567 62119 181263 | 589098 597831 42 | 69.336 % |
2579.24/2580.12 c | 599276 | 13567 62119 181263 | 589098 598374 42 | 69.336 % |
2584.53/2585.44 c | 599873 | 13567 62119 181263 | 589098 598971 42 | 69.336 % |
2590.43/2591.34 c | 600528 | 13567 62119 181263 | 599101 599626 42 | 69.336 % |
2596.93/2597.87 c | 601250 | 13567 62119 181263 | 599101 600348 42 | 69.336 % |
2605.13/2606.08 c | 602043 | 13567 62119 181263 | 599101 601141 42 | 69.336 % |
2612.02/2612.96 c | 602914 | 13567 62119 181263 | 599101 602012 42 | 69.336 % |
2618.92/2619.81 c | 603874 | 13567 62119 181263 | 599101 602972 42 | 69.336 % |
2628.22/2629.17 c | 604930 | 13567 62119 181263 | 599101 604028 42 | 69.336 % |
2636.62/2637.52 c | 606092 | 13567 62119 181263 | 599101 605190 42 | 69.336 % |
2646.31/2647.29 c | 607367 | 13567 62119 181263 | 599101 606465 42 | 69.336 % |
2657.82/2658.75 c | 608768 | 13567 62119 181263 | 599101 607866 42 | 69.336 % |
2671.71/2672.64 c | 610308 | 13567 62119 181263 | 609098 609406 42 | 69.336 % |
2687.01/2687.96 c | 612002 | 13567 62119 181263 | 609098 611100 42 | 69.336 % |
2701.50/2702.48 c | 613865 | 13567 62119 181263 | 609098 612963 42 | 69.336 % |
2714.50/2715.43 c | 615916 | 13567 62119 181263 | 609098 615014 42 | 69.336 % |
2728.89/2729.84 c | 618169 | 13567 62119 181263 | 609098 617267 42 | 69.336 % |
2750.10/2751.03 c | 620651 | 13567 62119 181263 | 619099 619749 42 | 69.336 % |
2769.18/2770.18 c | 623381 | 13567 62119 181263 | 619099 622479 42 | 69.336 % |
2792.37/2793.33 c | 626379 | 13481 61597 179907 | 619099 625476 41 | 69.530 % |
2818.97/2819.95 c | 629676 | 13481 61597 179907 | 619099 628773 41 | 69.530 % |
2848.76/2849.73 c | 633301 | 13481 61597 179907 | 629098 632398 41 | 69.530 % |
2883.15/2884.14 c | 637288 | 13481 61597 179907 | 629098 636385 41 | 69.530 % |
2913.63/2914.63 c | 641674 | 13481 61597 179907 | 639098 640770 41 | 70.123 % |
2952.33/2953.39 c | 646497 | 13481 61597 179907 | 639098 645592 41 | 70.145 % |
2992.71/2993.77 c | 651803 | 13481 61597 179907 | 649095 650898 41 | 70.145 % |
3029.30/3030.31 c | 657640 | 13209 60402 176110 | 649095 656725 41 | 70.145 % |
3030.90/3031.98 c | 657741 | 13209 60402 176110 | 649095 656826 41 | 70.145 % |
3032.20/3033.25 c | 657854 | 13209 60402 176110 | 649095 656939 41 | 70.145 % |
3033.40/3034.48 c | 657976 | 13209 60402 176110 | 649095 657061 41 | 70.145 % |
3034.70/3035.79 c | 658109 | 13209 60402 176110 | 649095 657194 41 | 70.145 % |
3036.11/3037.11 c | 658256 | 13209 60402 176110 | 649095 657341 41 | 70.145 % |
3037.40/3038.43 c | 658416 | 13209 60402 176110 | 649095 657501 41 | 70.145 % |
3038.70/3039.80 c | 658592 | 13209 60402 176110 | 649095 657677 41 | 70.145 % |
3040.30/3041.33 c | 658785 | 13209 60402 176110 | 649095 657870 41 | 70.145 % |
3041.70/3042.74 c | 658998 | 13209 60402 176110 | 649095 658083 41 | 70.145 % |
3043.60/3044.63 c | 659233 | 13209 60402 176110 | 649095 658318 41 | 70.145 % |
3046.39/3047.41 c | 659489 | 13209 60402 176110 | 649095 658574 41 | 70.145 % |
3048.49/3049.51 c | 659773 | 13209 60402 176110 | 649095 658858 41 | 70.145 % |
3051.29/3052.35 c | 660085 | 13209 60402 176110 | 659086 659170 41 | 70.145 % |
3054.29/3055.38 c | 660425 | 13209 60402 176110 | 659086 659510 41 | 70.145 % |
3058.69/3059.72 c | 660799 | 13209 60402 176110 | 659086 659884 41 | 70.145 % |
3061.69/3062.76 c | 661208 | 13209 60402 176110 | 659086 660293 41 | 70.145 % |
3064.69/3065.77 c | 661657 | 13209 60402 176110 | 659086 660741 41 | 70.157 % |
3068.69/3069.71 c | 662150 | 13209 60402 176110 | 659086 661234 41 | 70.156 % |
3073.59/3074.63 c | 662692 | 13209 60402 176110 | 659086 661776 41 | 70.157 % |
3078.59/3079.60 c | 663288 | 13209 60402 176110 | 659086 662372 41 | 70.156 % |
3083.88/3084.98 c | 663945 | 13209 60402 176110 | 659086 663029 41 | 70.156 % |
3091.08/3092.16 c | 664666 | 13209 60402 176110 | 659086 663750 41 | 70.156 % |
3098.17/3099.26 c | 665458 | 13209 60402 176110 | 659086 664542 41 | 70.156 % |
3106.27/3107.35 c | 666329 | 13209 60402 176110 | 659086 665413 41 | 70.156 % |
3114.87/3115.94 c | 667289 | 13209 60402 176110 | 659086 666373 41 | 70.156 % |
3125.86/3126.95 c | 668342 | 13209 60402 176110 | 659086 667426 41 | 70.156 % |
3135.17/3136.24 c | 669501 | 13209 60402 176110 | 659086 668585 41 | 70.156 % |
3145.17/3146.27 c | 670775 | 13209 60402 176110 | 669084 669859 41 | 70.156 % |
3158.26/3159.38 c | 672176 | 13209 60402 176110 | 669084 671260 41 | 70.156 % |
3172.76/3173.82 c | 673717 | 13209 60402 176110 | 669084 672801 41 | 70.156 % |
3185.95/3187.09 c | 675413 | 13209 60402 176110 | 669084 674497 41 | 70.156 % |
3199.35/3200.41 c | 677276 | 13209 60402 176110 | 669084 676360 41 | 70.156 % |
3213.94/3215.07 c | 679325 | 13204 60364 176013 | 669084 678409 41 | 70.156 % |
3230.75/3231.81 c | 681579 | 13204 60364 176013 | 679085 680663 41 | 70.156 % |
3251.73/3252.87 c | 684058 | 13204 60364 176013 | 679085 683142 41 | 70.156 % |
3270.02/3271.12 c | 686783 | 13204 60364 176013 | 679085 685867 41 | 70.156 % |
3294.21/3295.33 c | 689780 | 13204 60364 176013 | 679085 688864 41 | 70.156 % |
3321.70/3322.83 c | 693077 | 13204 60364 176013 | 689086 692161 41 | 70.156 % |
3351.90/3353.06 c | 696702 | 13204 60364 176013 | 689086 695786 41 | 70.156 % |
3383.39/3384.50 c | 700692 | 13204 60364 176013 | 699084 699776 41 | 70.157 % |
3417.37/3418.53 c | 705079 | 13204 60364 176013 | 699084 704163 41 | 70.157 % |
3468.46/3469.69 c | 709903 | 13204 60364 176013 | 699084 708987 41 | 70.156 % |
3514.65/3515.86 c | 715208 | 13204 60364 176013 | 709085 714292 41 | 70.156 % |
3564.14/3565.33 c | 721046 | 13204 60364 176013 | 719089 720130 42 | 70.156 % |
3629.02/3630.21 c | 727465 | 13204 60364 176013 | 719089 726549 42 | 70.156 % |
3630.02/3631.29 c | 727565 | 13204 60364 176013 | 719089 726649 42 | 70.156 % |
3631.22/3632.46 c | 727675 | 13204 60364 176013 | 719089 726759 42 | 70.156 % |
3632.32/3633.50 c | 727796 | 13204 60364 176013 | 719089 726880 42 | 70.156 % |
3633.92/3635.15 c | 727933 | 13204 60364 176013 | 719089 727017 42 | 70.156 % |
3635.02/3636.23 c | 728079 | 13204 60364 176013 | 719089 727163 42 | 70.156 % |
3636.61/3637.89 c | 728240 | 13204 60364 176013 | 719089 727324 42 | 70.156 % |
3638.51/3639.76 c | 728419 | 13204 60364 176013 | 719089 727503 42 | 70.156 % |
3640.71/3641.97 c | 728614 | 13204 60364 176013 | 719089 727698 42 | 70.156 % |
3642.51/3643.73 c | 728828 | 13204 60364 176013 | 719089 727912 42 | 70.156 % |
3645.41/3646.63 c | 729062 | 13204 60364 176013 | 719089 728146 42 | 70.156 % |
3649.11/3650.35 c | 729318 | 13204 60364 176013 | 719089 728402 42 | 70.156 % |
3651.61/3652.83 c | 729599 | 13204 60364 176013 | 719089 728683 42 | 70.156 % |
3655.71/3656.93 c | 729910 | 13204 60364 176013 | 719089 728994 42 | 70.156 % |
3659.31/3660.55 c | 730250 | 13204 60364 176013 | 729085 729334 42 | 70.156 % |
3663.00/3664.27 c | 730623 | 13204 60364 176013 | 729085 729707 42 | 70.156 % |
3668.20/3669.47 c | 731033 | 13204 60364 176013 | 729085 730117 42 | 70.156 % |
3672.50/3673.75 c | 731482 | 13204 60364 176013 | 729085 730566 42 | 70.156 % |
3678.30/3679.51 c | 731975 | 13204 60364 176013 | 729085 731059 42 | 70.156 % |
3684.00/3685.25 c | 732517 | 13204 60364 176013 | 729085 731601 42 | 70.156 % |
3690.19/3691.43 c | 733113 | 13204 60364 176013 | 729085 732197 42 | 70.156 % |
3696.29/3697.52 c | 733768 | 13204 60364 176013 | 729085 732852 42 | 70.156 % |
3702.58/3703.86 c | 734488 | 13204 60364 176013 | 729085 733572 42 | 70.156 % |
3709.99/3711.23 c | 735281 | 13204 60364 176013 | 729085 734365 42 | 70.156 % |
3717.99/3719.27 c | 736156 | 13204 60364 176013 | 729085 735240 42 | 70.156 % |
3726.88/3728.12 c | 737115 | 13204 60364 176013 | 729085 736199 42 | 70.156 % |
3738.38/3739.66 c | 738170 | 13204 60364 176013 | 729085 737254 42 | 70.156 % |
3749.58/3750.81 c | 739329 | 13204 60364 176013 | 729085 738413 42 | 70.156 % |
3762.67/3763.95 c | 740602 | 13204 60364 176013 | 739085 739686 42 | 70.157 % |
3776.27/3777.52 c | 742003 | 13204 60364 176013 | 739085 741087 42 | 70.156 % |
3789.56/3790.80 c | 743543 | 13204 60364 176013 | 739085 742627 42 | 70.156 % |
3807.85/3809.17 c | 745239 | 13204 60364 176013 | 739085 744323 42 | 70.156 % |
3823.26/3824.59 c | 747102 | 13204 60364 176013 | 739085 746186 42 | 70.156 % |
3839.65/3840.92 c | 749153 | 13204 60364 176013 | 739085 748237 42 | 70.156 % |
3859.24/3860.51 c | 751407 | 13204 60364 176013 | 749085 750491 42 | 70.156 % |
3878.14/3879.43 c | 753886 | 13204 60364 176013 | 749085 752970 42 | 70.156 % |
3897.73/3899.06 c | 756611 | 13204 60364 176013 | 749085 755695 42 | 70.156 % |
3919.73/3921.07 c | 759608 | 13204 60364 176013 | 749085 758692 42 | 70.156 % |
3946.92/3948.20 c | 762904 | 13204 60364 176013 | 759084 761988 42 | 70.157 % |
3976.21/3977.51 c | 766529 | 13204 60364 176013 | 759084 765613 42 | 70.156 % |
4010.70/4012.02 c | 770516 | 13204 60364 176013 | 769085 769600 42 | 70.156 % |
4045.29/4046.69 c | 774902 | 13204 60364 176013 | 769085 773986 42 | 70.156 % |
4082.38/4083.78 c | 779725 | 13204 60364 176013 | 769085 778809 42 | 70.156 % |
4122.97/4124.39 c | 785031 | 13204 60364 176013 | 779084 784115 42 | 70.156 % |
4173.25/4174.64 c | 790868 | 13204 60364 176013 | 789086 789952 42 | 70.156 % |
4238.23/4239.63 c | 797287 | 13204 60364 176013 | 789086 796371 42 | 70.156 % |
4300.11/4301.52 c | 804347 | 13204 60364 176013 | 799086 803431 41 | 70.157 % |
4301.11/4302.59 c | 804449 | 13204 60364 176013 | 799086 803533 41 | 70.156 % |
4302.21/4303.65 c | 804559 | 13204 60364 176013 | 799086 803643 41 | 70.156 % |
4304.02/4305.41 c | 804680 | 13204 60364 176013 | 799086 803764 41 | 70.156 % |
4305.71/4307.11 c | 804814 | 13204 60364 176013 | 799086 803898 41 | 70.156 % |
4307.51/4308.97 c | 804960 | 13204 60364 176013 | 799086 804044 41 | 70.156 % |
4309.51/4310.99 c | 805120 | 13204 60364 176013 | 799086 804204 41 | 70.156 % |
4311.61/4313.09 c | 805297 | 13204 60364 176013 | 799086 804381 41 | 70.156 % |
4314.21/4315.64 c | 805492 | 13204 60364 176013 | 799086 804576 41 | 70.156 % |
4316.61/4318.09 c | 805704 | 13204 60364 176013 | 799086 804788 41 | 70.156 % |
4319.21/4320.65 c | 805938 | 13204 60364 176013 | 799086 805022 41 | 70.156 % |
4322.30/4323.72 c | 806194 | 13204 60364 176013 | 799086 805278 41 | 70.156 % |
4325.20/4326.60 c | 806482 | 13204 60364 176013 | 799086 805566 41 | 70.157 % |
4328.21/4329.64 c | 806795 | 13204 60364 176013 | 799086 805879 41 | 70.156 % |
4332.21/4333.65 c | 807138 | 13204 60364 176013 | 799086 806222 41 | 70.157 % |
4336.81/4338.21 c | 807512 | 13204 60364 176013 | 799086 806596 41 | 70.156 % |
4341.71/4343.11 c | 807923 | 13204 60364 176013 | 799086 807007 41 | 70.156 % |
4346.10/4347.57 c | 808372 | 13204 60364 176013 | 799086 807456 41 | 70.156 % |
4353.90/4355.33 c | 808866 | 13204 60364 176013 | 799086 807950 41 | 70.156 % |
4359.69/4361.13 c | 809410 | 13204 60364 176013 | 799086 808494 41 | 70.156 % |
4366.09/4367.52 c | 810007 | 13204 60364 176013 | 809086 809091 41 | 70.156 % |
4372.29/4373.72 c | 810662 | 13204 60364 176013 | 809086 809746 41 | 70.156 % |
4381.88/4383.34 c | 811382 | 13204 60364 176013 | 809086 810466 41 | 70.156 % |
4389.48/4390.92 c | 812175 | 13204 60364 176013 | 809086 811259 41 | 70.156 % |
4397.08/4398.60 c | 813047 | 13204 60364 176013 | 809086 812131 41 | 70.156 % |
4408.07/4409.53 c | 814005 | 13204 60364 176013 | 809086 813089 41 | 70.156 % |
4418.88/4420.35 c | 815058 | 13204 60364 176013 | 809086 814142 41 | 70.156 % |
4431.08/4432.59 c | 816221 | 13204 60364 176013 | 809086 815305 41 | 70.156 % |
4446.07/4447.53 c | 817495 | 13204 60364 176013 | 809086 816579 41 | 70.156 % |
4460.66/4462.18 c | 818895 | 13204 60364 176013 | 809086 817979 41 | 70.156 % |
4476.76/4478.20 c | 820435 | 13204 60364 176013 | 819086 819519 41 | 70.156 % |
4492.65/4494.14 c | 822132 | 13204 60364 176013 | 819086 821216 41 | 70.157 % |
4513.64/4515.15 c | 823995 | 13204 60364 176013 | 819086 823079 41 | 70.156 % |
4534.44/4535.98 c | 826044 | 13204 60364 176013 | 819086 825128 41 | 70.156 % |
4556.24/4557.71 c | 828297 | 13204 60364 176013 | 819086 827381 41 | 70.156 % |
4577.93/4579.41 c | 830775 | 13204 60364 176013 | 829084 829859 41 | 70.156 % |
4606.82/4608.35 c | 833503 | 13204 60364 176013 | 829084 832587 41 | 70.157 % |
4636.61/4638.12 c | 836502 | 13204 60364 176013 | 829084 835586 41 | 70.156 % |
4673.30/4674.90 c | 839799 | 13204 60364 176013 | 829084 838883 41 | 70.156 % |
4702.19/4703.76 c | 843424 | 13204 60364 176013 | 839084 842508 41 | 70.156 % |
4736.18/4737.72 c | 847412 | 13204 60364 176013 | 839084 846496 41 | 70.156 % |
4777.67/4779.27 c | 851798 | 13204 60364 176013 | 849084 850882 41 | 70.156 % |
4818.15/4819.77 c | 856623 | 13204 60364 176013 | 849084 855707 41 | 70.156 % |
4865.54/4867.17 c | 861928 | 13204 60364 176013 | 859085 861012 41 | 70.156 % |
4923.83/4925.46 c | 867763 | 13204 60364 176013 | 859085 866847 41 | 70.156 % |
4973.21/4974.86 c | 874182 | 13204 60364 176013 | 869085 873266 41 | 70.157 % |
5055.48/5057.16 c | 881242 | 13204 60364 176013 | 879084 880326 41 | 70.156 % |
5121.87/5123.57 c | 889007 | 13204 60364 176013 | 879084 888091 41 | 70.156 % |
5123.57/5125.24 c | 889107 | 13204 60364 176013 | 879084 888191 41 | 70.156 % |
5124.87/5126.53 c | 889217 | 13204 60364 176013 | 879084 888301 41 | 70.156 % |
5126.07/5127.78 c | 889338 | 13204 60364 176013 | 879084 888422 41 | 70.156 % |
5127.67/5129.36 c | 889473 | 13204 60364 176013 | 879084 888557 41 | 70.156 % |
5130.06/5131.76 c | 889620 | 13204 60364 176013 | 879084 888704 41 | 70.156 % |
5131.76/5133.47 c | 889780 | 13204 60364 176013 | 879084 888864 41 | 70.156 % |
5134.06/5135.73 c | 889957 | 13204 60364 176013 | 879084 889041 41 | 70.156 % |
5136.16/5137.86 c | 890150 | 13204 60364 176013 | 889085 889234 41 | 70.156 % |
5139.16/5140.81 c | 890362 | 13204 60364 176013 | 889085 889446 41 | 70.156 % |
5142.46/5144.19 c | 890596 | 13204 60364 176013 | 889085 889680 41 | 70.156 % |
5145.56/5147.25 c | 890853 | 13204 60364 176013 | 889085 889937 41 | 70.156 % |
5150.26/5151.98 c | 891136 | 13204 60364 176013 | 889085 890220 41 | 70.156 % |
5154.86/5156.51 c | 891446 | 13204 60364 176013 | 889085 890530 41 | 70.157 % |
5158.36/5160.03 c | 891788 | 13204 60364 176013 | 889085 890872 41 | 70.157 % |
5163.15/5164.82 c | 892160 | 13204 60364 176013 | 889085 891244 41 | 70.156 % |
5167.95/5169.62 c | 892570 | 13204 60364 176013 | 889085 891654 41 | 70.156 % |
5173.05/5174.74 c | 893019 | 13204 60364 176013 | 889085 892103 41 | 70.156 % |
5178.25/5179.97 c | 893512 | 13204 60364 176013 | 889085 892596 41 | 70.156 % |
5184.64/5186.36 c | 894054 | 13204 60364 176013 | 889085 893138 41 | 70.156 % |
5191.54/5193.20 c | 894650 | 13204 60364 176013 | 889085 893734 41 | 70.156 % |
5198.54/5200.26 c | 895306 | 13204 60364 176013 | 889085 894390 41 | 70.156 % |
5206.74/5208.48 c | 896028 | 13204 60364 176013 | 889085 895112 41 | 70.156 % |
5216.33/5218.09 c | 896820 | 13204 60364 176013 | 889085 895904 41 | 70.156 % |
5228.13/5229.86 c | 897692 | 13204 60364 176013 | 889085 896776 41 | 70.156 % |
5240.73/5242.41 c | 898654 | 13204 60364 176013 | 889085 897738 41 | 70.156 % |
5253.03/5254.71 c | 899707 | 13204 60364 176013 | 889085 898791 41 | 70.156 % |
5266.52/5268.20 c | 900865 | 13204 60364 176013 | 899089 899949 41 | 70.157 % |
5278.12/5279.86 c | 902138 | 13204 60364 176013 | 899089 901222 41 | 70.156 % |
5292.41/5294.14 c | 903539 | 13204 60364 176013 | 899089 902623 41 | 70.156 % |
5309.61/5311.32 c | 905079 | 13204 60364 176013 | 899089 904163 41 | 70.156 % |
5331.30/5333.06 c | 906775 | 13204 60364 176013 | 899089 905859 41 | 70.156 % |
5347.19/5348.96 c | 908638 | 13204 60364 176013 | 899089 907722 41 | 70.156 % |
5370.80/5372.52 c | 910688 | 13204 60364 176013 | 909085 909772 41 | 70.157 % |
5393.09/5394.85 c | 912946 | 13204 60364 176013 | 909085 912030 41 | 70.156 % |
5418.78/5420.57 c | 915427 | 13204 60364 176013 | 909085 914511 41 | 70.157 % |
5440.87/5442.67 c | 918153 | 13204 60364 176013 | 909085 917237 41 | 70.156 % |
5470.06/5471.86 c | 921150 | 13204 60364 176013 | 919085 920234 41 | 70.156 % |
5494.66/5496.47 c | 924446 | 13204 60364 176013 | 919085 923530 41 | 70.156 % |
5526.44/5528.22 c | 928072 | 13204 60364 176013 | 919085 927156 41 | 70.156 % |
5564.63/5566.47 c | 932059 | 13204 60364 176013 | 929084 931143 41 | 70.156 % |
5607.12/5608.94 c | 936444 | 13204 60364 176013 | 929084 935528 41 | 70.156 % |
5657.21/5659.04 c | 941268 | 13204 60364 176013 | 939087 940352 41 | 70.156 % |
5705.39/5707.21 c | 946573 | 13204 60364 176013 | 939087 945657 41 | 70.156 % |
5765.88/5767.72 c | 952408 | 13204 60364 176013 | 949084 951492 41 | 70.156 % |
5853.85/5855.77 c | 958828 | 13204 60364 176013 | 949084 957912 41 | 70.156 % |
5937.93/5939.85 c | 965889 | 13204 60364 176013 | 959084 964973 41 | 70.156 % |
6034.69/6036.67 c | 973653 | 13204 60364 176013 | 969087 972737 41 | 70.156 % |
6134.16/6136.13 c | 982193 | 13204 60364 176013 | 979084 981277 41 | 70.156 % |
6136.07/6138.03 c | 982293 | 13204 60364 176013 | 979084 981377 41 | 70.156 % |
6137.86/6139.89 c | 982404 | 13204 60364 176013 | 979084 981488 41 | 70.156 % |
6140.06/6142.09 c | 982526 | 13204 60364 176013 | 979084 981610 41 | 70.156 % |
6142.36/6144.37 c | 982659 | 13204 60364 176013 | 979084 981743 41 | 70.156 % |
6144.26/6146.22 c | 982806 | 13204 60364 176013 | 979084 981890 41 | 70.156 % |
6146.27/6148.24 c | 982968 | 13204 60364 176013 | 979084 982052 41 | 70.156 % |
6148.97/6150.95 c | 983145 | 13204 60364 176013 | 979084 982229 41 | 70.156 % |
6152.06/6154.04 c | 983338 | 13204 60364 176013 | 979084 982422 41 | 70.156 % |
6155.56/6157.59 c | 983550 | 13204 60364 176013 | 979084 982634 41 | 70.156 % |
6159.07/6161.09 c | 983783 | 13204 60364 176013 | 979084 982867 41 | 70.156 % |
6163.26/6165.22 c | 984041 | 13204 60364 176013 | 979084 983125 41 | 70.156 % |
6167.36/6169.30 c | 984322 | 13204 60364 176013 | 979084 983406 41 | 70.156 % |
6171.06/6173.05 c | 984633 | 13204 60364 176013 | 979084 983717 41 | 70.156 % |
6174.76/6176.78 c | 984977 | 13204 60364 176013 | 979084 984061 41 | 70.156 % |
6179.75/6181.70 c | 985349 | 13204 60364 176013 | 979084 984433 41 | 70.156 % |
6184.25/6186.24 c | 985758 | 13204 60364 176013 | 979084 984842 41 | 70.156 % |
6189.05/6191.04 c | 986207 | 13204 60364 176013 | 979084 985291 41 | 70.156 % |
6194.15/6196.11 c | 986702 | 13204 60364 176013 | 979084 985786 41 | 70.156 % |
6201.95/6203.93 c | 987244 | 13204 60364 176013 | 979084 986328 41 | 70.156 % |
6208.24/6210.27 c | 987842 | 13204 60364 176013 | 979084 986926 41 | 70.156 % |
6215.44/6217.43 c | 988497 | 13172 60245 175656 | 979084 987576 41 | 70.229 % |
6224.63/6226.69 c | 989218 | 13172 60245 175656 | 979084 988297 41 | 70.229 % |
6233.84/6235.85 c | 990010 | 13172 60245 175656 | 989079 989089 41 | 70.229 % |
6243.64/6245.60 c | 990881 | 13172 60245 175656 | 989079 989960 41 | 70.229 % |
6252.34/6254.32 c | 991839 | 13172 60245 175656 | 989079 990918 41 | 70.229 % |
6266.43/6268.42 c | 992892 | 13172 60245 175656 | 989079 991971 41 | 70.229 % |
6278.62/6280.60 c | 994052 | 13172 60245 175656 | 989079 993131 41 | 70.229 % |
6292.32/6294.31 c | 995325 | 13172 60245 175656 | 989079 994404 41 | 70.229 % |
6308.31/6310.35 c | 996726 | 13172 60245 175656 | 989079 995805 41 | 70.229 % |
6326.61/6328.68 c | 998267 | 13172 60245 175656 | 989079 997346 41 | 70.229 % |
6346.81/6348.86 c | 999961 | 13172 60245 175656 | 989079 999040 41 | 70.229 % |
6367.40/6369.45 c | 1001824 | 13172 60245 175656 | 999079 1000903 41 | 70.229 % |
6390.29/6392.30 c | 1003874 | 13172 60245 175656 | 999079 1002953 41 | 70.229 % |
6416.19/6418.25 c | 1006128 | 13172 60245 175656 | 999079 1005207 41 | 70.229 % |
6444.58/6446.61 c | 1008606 | 13172 60245 175656 | 999079 1007685 41 | 70.229 % |
6472.17/6474.25 c | 1011332 | 13172 60245 175656 | 1009082 1010411 41 | 70.229 % |
6513.55/6515.63 c | 1014331 | 13172 60245 175656 | 1009082 1013410 41 | 70.229 % |
6551.25/6553.40 c | 1017629 | 13172 60245 175656 | 1009082 1016708 41 | 70.229 % |
6596.13/6598.20 c | 1021255 | 13172 60245 175656 | 1019079 1020334 41 | 70.229 % |
6641.02/6643.15 c | 1025242 | 13172 60245 175656 | 1019079 1024321 41 | 70.229 % |
6691.31/6693.48 c | 1029628 | 13172 60245 175656 | 1019079 1028707 41 | 70.229 % |
6749.19/6751.37 c | 1034452 | 13172 60245 175656 | 1029080 1033531 41 | 70.229 % |
6812.07/6814.23 c | 1039758 | 13172 60245 175656 | 1029080 1038837 41 | 70.229 % |
6888.85/6891.00 c | 1045593 | 13172 60245 175656 | 1039082 1044672 41 | 70.229 % |
6960.73/6962.91 c | 1052012 | 13172 60245 175656 | 1049080 1051091 41 | 70.229 % |
7033.00/7035.27 c | 1059072 | 13172 60245 175656 | 1049080 1058151 41 | 70.229 % |
7125.97/7128.26 c | 1066837 | 13172 60245 175656 | 1059080 1065916 41 | 70.229 % |
7221.64/7223.90 c | 1075379 | 13143 60082 175165 | 1069073 1074451 41 | 70.353 % |
7320.91/7323.28 c | 1084775 | 13143 60082 175165 | 1079073 1083846 41 | 70.355 % |
7322.41/7324.71 c | 1084876 | 13143 60082 175165 | 1079073 1083947 41 | 70.355 % |
7323.91/7326.30 c | 1084989 | 13143 60082 175165 | 1079073 1084060 41 | 70.356 % |
7325.51/7327.89 c | 1085111 | 13143 60082 175165 | 1079073 1084182 41 | 70.355 % |
7327.21/7329.53 c | 1085244 | 13143 60082 175165 | 1079073 1084315 41 | 70.355 % |
7328.81/7331.14 c | 1085392 | 13143 60082 175165 | 1079073 1084463 41 | 70.355 % |
7331.11/7333.43 c | 1085552 | 13143 60082 175165 | 1079073 1084623 41 | 70.355 % |
7333.91/7336.28 c | 1085729 | 13143 60082 175165 | 1079073 1084800 41 | 70.355 % |
7337.11/7339.43 c | 1085923 | 13143 60082 175165 | 1079073 1084994 41 | 70.355 % |
7340.21/7342.51 c | 1086138 | 13143 60082 175165 | 1079073 1085209 41 | 70.355 % |
7342.10/7344.45 c | 1086371 | 13143 60082 175165 | 1079073 1085442 41 | 70.355 % |
7345.00/7347.35 c | 1086628 | 13143 60082 175165 | 1079073 1085699 41 | 70.355 % |
7349.31/7351.61 c | 1086910 | 13143 60082 175165 | 1079073 1085981 41 | 70.355 % |
7353.21/7355.55 c | 1087220 | 13143 60082 175165 | 1079073 1086291 41 | 70.355 % |
7357.71/7360.05 c | 1087559 | 13143 60082 175165 | 1079073 1086630 41 | 70.355 % |
7362.00/7364.30 c | 1087931 | 13143 60082 175165 | 1079073 1087002 41 | 70.355 % |
7366.10/7368.50 c | 1088340 | 13143 60082 175165 | 1079073 1087411 41 | 70.355 % |
7371.50/7373.82 c | 1088789 | 13143 60082 175165 | 1079073 1087860 41 | 70.355 % |
7379.10/7381.43 c | 1089282 | 13143 60082 175165 | 1079073 1088353 41 | 70.355 % |
7386.30/7388.69 c | 1089824 | 13143 60082 175165 | 1079073 1088895 41 | 70.355 % |
7392.79/7395.17 c | 1090420 | 13143 60082 175165 | 1089072 1089491 41 | 70.355 % |
7401.19/7403.50 c | 1091079 | 13143 60082 175165 | 1089072 1090150 41 | 70.355 % |
7409.39/7411.73 c | 1091799 | 13143 60082 175165 | 1089072 1090870 41 | 70.355 % |
7416.98/7419.31 c | 1092592 | 13143 60082 175165 | 1089072 1091663 41 | 70.355 % |
7427.68/7430.07 c | 1093463 | 13143 60082 175165 | 1089072 1092534 41 | 70.355 % |
7439.18/7441.51 c | 1094421 | 13143 60082 175165 | 1089072 1093492 41 | 70.355 % |
7455.27/7457.61 c | 1095477 | 13143 60082 175165 | 1089072 1094548 41 | 70.355 % |
7468.67/7471.06 c | 1096636 | 13143 60082 175165 | 1089072 1095707 41 | 70.355 % |
7482.87/7485.20 c | 1097909 | 13143 60082 175165 | 1089072 1096980 41 | 70.355 % |
7509.26/7511.67 c | 1099309 | 13143 60082 175165 | 1089072 1098380 41 | 70.355 % |
7538.45/7540.85 c | 1100849 | 13143 60082 175165 | 1099072 1099920 41 | 70.355 % |
7563.44/7565.88 c | 1102543 | 13143 60082 175165 | 1099072 1101614 41 | 70.355 % |
7589.53/7591.99 c | 1104406 | 13143 60082 175165 | 1099072 1103477 41 | 70.355 % |
7616.32/7618.73 c | 1106455 | 13143 60082 175165 | 1099072 1105526 41 | 70.355 % |
7648.02/7650.50 c | 1108708 | 13143 60082 175165 | 1099072 1107779 41 | 70.355 % |
7671.31/7673.72 c | 1111186 | 13143 60082 175165 | 1109071 1110257 41 | 70.355 % |
7703.70/7706.15 c | 1113912 | 13143 60082 175165 | 1109071 1112983 41 | 70.355 % |
7743.18/7745.68 c | 1116910 | 13143 60082 175165 | 1109071 1115981 41 | 70.355 % |
7787.68/7790.15 c | 1120206 | 13116 59930 174752 | 1119070 1119276 41 | 70.355 % |
7829.96/7832.44 c | 1123831 | 13116 59930 174752 | 1119070 1122901 41 | 70.355 % |
7876.44/7878.93 c | 1127818 | 13116 59930 174752 | 1119070 1126888 41 | 70.355 % |
7922.64/7925.13 c | 1132204 | 13116 59930 174752 | 1129070 1131274 41 | 70.355 % |
7968.23/7970.72 c | 1137028 | 13116 59930 174752 | 1129070 1136098 41 | 70.355 % |
8023.21/8025.79 c | 1142333 | 13116 59930 174752 | 1139070 1141403 41 | 70.355 % |
8072.89/8075.48 c | 1148169 | 13116 59930 174752 | 1139070 1147239 41 | 70.355 % |
8145.47/8148.05 c | 1154587 | 13116 59930 174752 | 1149070 1153657 41 | 70.355 % |
8217.94/8220.55 c | 1161648 | 13116 59930 174752 | 1159072 1160718 41 | 70.355 % |
8314.82/8317.43 c | 1169414 | 13116 59930 174752 | 1159072 1168484 41 | 70.355 % |
8417.39/8420.05 c | 1177954 | 13116 59930 174752 | 1169072 1177023 41 | 70.382 % |
8543.55/8546.28 c | 1187348 | 13103 59857 174545 | 1179059 1186407 41 | 70.437 % |
8684.41/8687.17 c | 1197683 | 13103 59857 174545 | 1189060 1196742 41 | 70.437 % |
8686.71/8689.43 c | 1197784 | 13103 59857 174545 | 1189060 1196843 41 | 70.437 % |
8689.01/8691.72 c | 1197896 | 13103 59857 174545 | 1189060 1196955 41 | 70.437 % |
8690.81/8693.59 c | 1198017 | 13103 59857 174545 | 1189060 1197076 41 | 70.437 % |
8692.90/8695.64 c | 1198151 | 13103 59857 174545 | 1189060 1197210 41 | 70.437 % |
8695.60/8698.35 c | 1198297 | 13103 59857 174545 | 1189060 1197356 41 | 70.437 % |
8698.60/8701.35 c | 1198460 | 13103 59857 174545 | 1189060 1197519 41 | 70.437 % |
8701.80/8704.54 c | 1198636 | 13103 59857 174545 | 1189060 1197695 41 | 70.437 % |
8704.50/8707.23 c | 1198830 | 13103 59857 174545 | 1189060 1197889 41 | 70.437 % |
8708.60/8711.31 c | 1199043 | 13103 59857 174545 | 1189060 1198102 41 | 70.437 % |
8713.20/8715.95 c | 1199278 | 13103 59857 174545 | 1189060 1198337 41 | 70.437 % |
8717.49/8720.25 c | 1199538 | 13103 59857 174545 | 1189060 1198597 41 | 70.437 % |
8721.59/8724.38 c | 1199819 | 13103 59857 174545 | 1189060 1198878 41 | 70.437 % |
8727.49/8730.26 c | 1200128 | 13103 59857 174545 | 1199059 1199187 41 | 70.437 % |
8732.70/8735.45 c | 1200467 | 13103 59857 174545 | 1199059 1199526 41 | 70.437 % |
8738.39/8741.19 c | 1200839 | 13103 59857 174545 | 1199059 1199898 41 | 70.437 % |
8745.29/8748.05 c | 1201248 | 13103 59857 174545 | 1199059 1200307 41 | 70.437 % |
8752.79/8755.52 c | 1201700 | 13103 59857 174545 | 1199059 1200759 41 | 70.437 % |
8759.79/8762.52 c | 1202193 | 13103 59857 174545 | 1199059 1201252 41 | 70.437 % |
8766.68/8769.43 c | 1202737 | 13103 59857 174545 | 1199059 1201796 41 | 70.437 % |
8773.78/8776.56 c | 1203333 | 13103 59857 174545 | 1199059 1202392 41 | 70.437 % |
8781.08/8783.80 c | 1203991 | 13103 59857 174545 | 1199059 1203050 41 | 70.437 % |
8790.68/8793.48 c | 1204711 | 13103 59857 174545 | 1199059 1203770 41 | 70.437 % |
8802.07/8804.83 c | 1205504 | 13103 59857 174545 | 1199059 1204563 41 | 70.437 % |
8815.07/8817.86 c | 1206375 | 13103 59857 174545 | 1199059 1205434 41 | 70.437 % |
8829.37/8832.13 c | 1207336 | 13103 59857 174545 | 1199059 1206395 41 | 70.437 % |
8844.06/8846.81 c | 1208389 | 13103 59857 174545 | 1199059 1207448 41 | 70.437 % |
8861.96/8864.76 c | 1209549 | 13103 59857 174545 | 1199059 1208608 41 | 70.437 % |
8883.45/8886.27 c | 1210822 | 13103 59857 174545 | 1209059 1209881 41 | 70.437 % |
8905.44/8908.22 c | 1212225 | 13103 59857 174545 | 1209059 1211284 41 | 70.437 % |
8931.43/8934.28 c | 1213765 | 13103 59857 174545 | 1209059 1212824 41 | 70.437 % |
8957.23/8960.07 c | 1215462 | 13103 59857 174545 | 1209059 1214521 41 | 70.437 % |
8985.12/8987.98 c | 1217326 | 13103 59857 174545 | 1209059 1216385 41 | 70.437 % |
9015.11/9017.98 c | 1219375 | 13103 59857 174545 | 1209059 1218434 41 | 70.437 % |
9048.30/9051.13 c | 1221630 | 13103 59857 174545 | 1219059 1220689 41 | 70.437 % |
9076.49/9079.40 c | 1224109 | 13103 59857 174545 | 1219059 1223168 41 | 70.437 % |
9108.78/9111.64 c | 1226835 | 13103 59857 174545 | 1219059 1225894 41 | 70.437 % |
9142.18/9145.07 c | 1229832 | 13103 59857 174545 | 1219059 1228891 41 | 70.437 % |
9181.96/9184.85 c | 1233128 | 13080 59687 174103 | 1229031 1232159 41 | 70.437 % |
9233.14/9236.02 c | 1236755 | 13080 59687 174103 | 1229031 1235786 41 | 70.437 % |
9283.54/9286.45 c | 1240744 | 13080 59687 174103 | 1239031 1239775 41 | 70.437 % |
9336.32/9339.20 c | 1245129 | 13080 59687 174103 | 1239031 1244160 41 | 70.437 % |
9397.90/9400.89 c | 1249952 | 13080 59687 174103 | 1239031 1248983 41 | 70.437 % |
9488.57/9491.56 c | 1255258 | 13080 59687 174103 | 1249033 1254289 41 | 70.437 % |
9576.34/9579.33 c | 1261094 | 13080 59687 174103 | 1259032 1260125 41 | 70.437 % |
9659.12/9662.18 c | 1267512 | 13080 59687 174103 | 1259032 1266543 41 | 70.437 % |
9745.60/9748.69 c | 1274575 | 13080 59687 174103 | 1269034 1273605 41 | 70.724 % |
9849.37/9852.49 c | 1282341 | 13080 59687 174103 | 1279032 1281371 41 | 70.724 % |
9964.64/9967.79 c | 1290883 | 13080 59687 174103 | 1289030 1289913 41 | 70.724 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837074-1242857020/watcher-1837074-1242857020 -o /tmp/evaluation-result-1837074-1242857020/solver-1837074-1242857020 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837074-1242857020.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.00 0.00 0.00 3/64 24770
/proc/meminfo: memFree=1471432/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=0
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729259 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24770/statm: 1339 237 197 169 0 50 0
[startup+0.090922 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 24770
/proc/meminfo: memFree=1471432/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=0
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729259 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24770/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102923 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 24770
/proc/meminfo: memFree=1471432/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=0
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729259 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24770/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301944 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 24770
/proc/meminfo: memFree=1471432/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=0
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729259 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24770/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70299 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 24770
/proc/meminfo: memFree=1471432/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=0
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729259 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24770/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50108 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 24775
/proc/meminfo: memFree=1406776/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=0
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729259 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24770/statm: 1339 237 197 169 0 50 0
[pid=24774] ppid=24770 vsize=82544 CPUtime=1.48
/proc/24774/stat : 24774 (SatELite_releas) R 24770 24770 24733 0 -1 4194304 17988 0 0 0 138 10 0 0 25 0 1 0 313729260 84525056 16520 1992294400 134512640 135223648 4294956128 18446744073709551615 134596424 0 0 4096 3 0 0 0 17 1 0 0
/proc/24774/statm: 20636 16520 76 173 0 20461 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 87900
[startup+3.10125 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 24775
/proc/meminfo: memFree=1402936/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=0
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729259 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24770/statm: 1339 237 197 169 0 50 0
[pid=24774] ppid=24770 vsize=91280 CPUtime=3.08
/proc/24774/stat : 24774 (SatELite_releas) R 24770 24770 24733 0 -1 4194304 19971 0 0 0 297 11 0 0 25 0 1 0 313729260 93470720 18291 1992294400 134512640 135223648 4294956128 18446744073709551615 134724200 0 0 4096 3 0 0 0 17 1 0 0
/proc/24774/statm: 22820 18291 76 173 0 22645 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 96636
[startup+6.30161 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 24776
/proc/meminfo: memFree=1447800/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=15896 CPUtime=1.33
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 3696 0 0 0 132 1 0 0 25 0 1 0 313729755 16277504 3682 1992294400 134512640 135215339 4294956240 18446744073709551615 134538359 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 3974 3682 77 171 0 3801 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21252
[startup+12.7013 s]
/proc/loadavg: 0.15 0.03 0.01 2/66 24776
/proc/meminfo: memFree=1447672/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=16032 CPUtime=7.72
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 3702 0 0 0 771 1 0 0 25 0 1 0 313729755 16416768 3688 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 4008 3688 77 171 0 3835 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 21388
[startup+25.5027 s]
/proc/loadavg: 0.34 0.08 0.02 2/66 24776
/proc/meminfo: memFree=1446712/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=17124 CPUtime=20.52
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 3991 0 0 0 2050 2 0 0 25 0 1 0 313729755 17534976 3977 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 4281 3977 77 171 0 4108 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 22480
[startup+51.1026 s]
/proc/loadavg: 0.56 0.15 0.05 2/66 24776
/proc/meminfo: memFree=1442872/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=21064 CPUtime=46.11
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 4970 0 0 0 4608 3 0 0 25 0 1 0 313729755 21569536 4956 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 5266 4956 77 171 0 5093 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 26420
[startup+102.305 s]
/proc/loadavg: 0.81 0.28 0.10 2/66 24776
/proc/meminfo: memFree=1436152/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=27812 CPUtime=97.29
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 6607 0 0 0 9724 5 0 0 25 0 1 0 313729755 28479488 6593 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 6953 6593 77 171 0 6780 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 33168
[startup+162.302 s]
/proc/loadavg: 0.93 0.41 0.15 2/66 24776
/proc/meminfo: memFree=1429816/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=34252 CPUtime=157.26
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 8201 0 0 0 15718 8 0 0 25 0 1 0 313729755 35074048 8187 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 8563 8187 77 171 0 8390 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 39608
[startup+222.302 s]
/proc/loadavg: 0.97 0.51 0.20 2/66 24776
/proc/meminfo: memFree=1424184/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=39692 CPUtime=217.23
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 9568 0 0 0 21714 9 0 0 25 0 1 0 313729755 40644608 9554 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 9923 9554 77 171 0 9750 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 45048
[startup+282.302 s]
/proc/loadavg: 0.99 0.60 0.25 2/66 24776
/proc/meminfo: memFree=1418936/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=45160 CPUtime=277.21
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 10882 0 0 0 27711 10 0 0 25 0 1 0 313729755 46243840 10868 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 11290 10868 77 171 0 11117 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 50516
[startup+342.303 s]
/proc/loadavg: 0.99 0.67 0.29 2/66 24776
/proc/meminfo: memFree=1414520/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=49632 CPUtime=337.19
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 11951 0 0 0 33707 12 0 0 25 0 1 0 313729755 50823168 11937 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 12408 11937 77 171 0 12235 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 54988
[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.33 2/66 24776
/proc/meminfo: memFree=1409912/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=54116 CPUtime=397.17
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 13101 0 0 0 39703 14 0 0 25 0 1 0 313729755 55414784 13087 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 13529 13087 77 171 0 13356 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 59472
[startup+462.303 s]
################
# More data... #
################
/proc/24776/statm: 71469 68912 77 171 0 71296 0
Current children cumulated CPU time (s) 9399.4
Current children cumulated vsize (KiB) 291232
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24792
/proc/meminfo: memFree=1180152/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=286588 CPUtime=9454.43
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 69101 0 0 0 945331 112 0 0 25 0 1 0 313729755 293466112 69087 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 71647 69087 77 171 0 71474 0
Current children cumulated CPU time (s) 9459.38
Current children cumulated vsize (KiB) 291944
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24792
/proc/meminfo: memFree=1179448/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=287280 CPUtime=9514.41
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 69281 0 0 0 951329 112 0 0 25 0 1 0 313729755 294174720 69267 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 71820 69267 77 171 0 71647 0
Current children cumulated CPU time (s) 9519.36
Current children cumulated vsize (KiB) 292636
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24792
/proc/meminfo: memFree=1178616/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=288076 CPUtime=9574.4
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 69479 0 0 0 957327 113 0 0 25 0 1 0 313729755 294989824 69465 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 72019 69465 77 171 0 71846 0
Current children cumulated CPU time (s) 9579.35
Current children cumulated vsize (KiB) 293432
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24794
/proc/meminfo: memFree=1177400/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=289128 CPUtime=9634.38
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 69760 0 0 0 963325 113 0 0 25 0 1 0 313729755 296067072 69746 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 72282 69746 77 171 0 72109 0
Current children cumulated CPU time (s) 9639.33
Current children cumulated vsize (KiB) 294484
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24794
/proc/meminfo: memFree=1176184/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=290392 CPUtime=9694.36
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 70045 0 0 0 969322 114 0 0 25 0 1 0 313729755 297361408 70031 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 72598 70031 77 171 0 72425 0
Current children cumulated CPU time (s) 9699.31
Current children cumulated vsize (KiB) 295748
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24794
/proc/meminfo: memFree=1174840/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=292120 CPUtime=9754.34
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 70379 0 0 0 975320 114 0 0 25 0 1 0 313729755 299130880 70365 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 73030 70365 77 171 0 72857 0
Current children cumulated CPU time (s) 9759.29
Current children cumulated vsize (KiB) 297476
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24794
/proc/meminfo: memFree=1173944/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=292912 CPUtime=9814.33
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 70603 0 0 0 981318 115 0 0 25 0 1 0 313729755 299941888 70589 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 73228 70589 77 171 0 73055 0
Current children cumulated CPU time (s) 9819.28
Current children cumulated vsize (KiB) 298268
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24794
/proc/meminfo: memFree=1172984/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=293704 CPUtime=9874.31
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 70834 0 0 0 987316 115 0 0 25 0 1 0 313729755 300752896 70820 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 73426 70820 77 171 0 73253 0
Current children cumulated CPU time (s) 9879.26
Current children cumulated vsize (KiB) 299060
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24794
/proc/meminfo: memFree=1172024/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=294652 CPUtime=9934.3
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 71078 0 0 0 993314 116 0 0 25 0 1 0 313729755 301723648 71064 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 73663 71064 77 171 0 73490 0
Current children cumulated CPU time (s) 9939.25
Current children cumulated vsize (KiB) 300008
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24794
/proc/meminfo: memFree=1171000/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=295512 CPUtime=9994.28
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 71314 0 0 0 999311 117 0 0 25 0 1 0 313729755 302604288 71300 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 73878 71300 77 171 0 73705 0
Current children cumulated CPU time (s) 9999.23
Current children cumulated vsize (KiB) 300868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24794
/proc/meminfo: memFree=1171000/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=295512 CPUtime=9995.08
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 71317 0 0 0 999391 117 0 0 25 0 1 0 313729755 302604288 71303 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 73878 71303 77 171 0 73705 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 300868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10003.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24794
/proc/meminfo: memFree=1171000/2055920 swapFree=4047576/4192956
[pid=24770] ppid=24768 vsize=5356 CPUtime=4.95
/proc/24770/stat : 24770 (SatELiteGTI) S 24768 24770 24733 0 -1 4194304 336 26850 0 0 0 0 477 18 16 0 1 0 313729259 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 239 197 169 0 50 0
[pid=24776] ppid=24770 vsize=295512 CPUtime=9995.08
/proc/24776/stat : 24776 (minisat_static) R 24770 24770 24733 0 -1 4194304 71317 0 0 0 999391 117 0 0 25 0 1 0 313729755 302604288 71303 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24776/statm: 73878 71303 77 171 0 73705 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 300868
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24770 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=771274
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=187971
# CPU time returned by wait4() is 4.95925
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10003.1
CPU time (s): 10000
CPU user time (s): 9998.68
CPU system time (s): 1.35
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 300868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.77127
system time used= 0.187971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27186
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= 14
runsolver used 10.9353 second user time and 25.5871 second system time
The end
Begin job on node59 at 2009-05-21 00:03:41
IDJOB=1837074
IDBENCH=20387
IDSOLVER=674
FILE ID=node59/1837074-1242857020
PBS_JOBID= 9328458
Free space on /tmp= 65872 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837074-1242857020/watcher-1837074-1242857020 -o /tmp/evaluation-result-1837074-1242857020/solver-1837074-1242857020 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837074-1242857020.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 45ee13b66821e6c36f3e38be418fa121
RANDOM SEED=330840524
node59.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.240
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.240
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: 1471920 kB
Buffers: 34448 kB
Cached: 367840 kB
SwapCached: 139468 kB
Active: 350512 kB
Inactive: 193316 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1471920 kB
SwapTotal: 4192956 kB
SwapFree: 4047576 kB
Dirty: 12580 kB
Writeback: 0 kB
Mapped: 14844 kB
Slab: 26136 kB
Committed_AS: 1072848 kB
PageTables: 1464 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= 65864 MiB
End job on node59 at 2009-05-21 02:50:26