0.00/0.00 c Parsing...
0.00/0.78 c ==============================================================================
0.00/0.78 c | | ORIGINAL | LEARNT | |
0.00/0.78 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.78 c ==============================================================================
0.00/0.78 c | 0 | 1002109 2313554 | 300632 0 0 nan | 0.000 % |
8.68/8.73 c | 0 | 363891 939019 | -- 0 -- -- | -- | -364511/-752771
8.68/8.73 c ==============================================================================
8.68/8.73 c Result : #vars: 61601 #clauses: 363891 #literals: 939019
8.68/8.73 c CPU time: 8.49271 s
8.68/8.73 c ==============================================================================
9.07/9.11 c This is MiniSat 2.0 beta
9.07/9.11 c WARNING: for repeatability, setting FPU to use double precision
9.07/9.11 c ============================[ Problem Statistics ]=============================
9.07/9.11 c | |
9.07/9.12 c | Number of variables: 61601 |
9.07/9.12 c | Number of clauses: 363891 |
9.09/9.34 c | Parsing time: 0.20 s |
9.09/9.35 c ============================[ Search Statistics ]==============================
9.09/9.35 c | Conflicts | ORIGINAL | LEARNT | Progress |
9.09/9.35 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.09/9.35 c ===============================================================================
9.09/9.35 c | 0 | 61601 363891 939019 | 121297 0 nan | 0.000 % |
9.09/9.70 c | 100 | 61354 363891 939019 | 121297 91 20 | 3.625 % |
9.87/9.91 c | 202 | 61332 363891 939019 | 121297 189 42 | 5.867 % |
10.26/10.35 c | 304 | 57931 340896 886349 | 121297 277 54 | 8.414 % |
10.76/10.82 c | 415 | 54658 319510 836213 | 121297 377 58 | 11.964 % |
10.97/11.09 c | 515 | 54658 319510 836213 | 121297 477 55 | 11.964 % |
11.26/11.38 c | 625 | 54231 316732 829866 | 121297 587 59 | 11.964 % |
11.86/11.92 c | 748 | 54231 316732 829866 | 121297 710 66 | 11.964 % |
12.16/12.23 c | 848 | 54034 315404 826773 | 121297 809 79 | 12.284 % |
12.36/12.46 c | 958 | 54027 315404 826773 | 121297 914 73 | 12.406 % |
12.56/12.64 c | 1079 | 53989 315404 826773 | 121297 1034 70 | 12.644 % |
12.95/13.07 c | 1212 | 53989 315404 826773 | 121297 1166 66 | 12.706 % |
13.35/13.42 c | 1312 | 53741 313732 822819 | 121297 1260 65 | 13.388 % |
13.66/13.77 c | 1424 | 53284 310660 815632 | 121297 1360 64 | 13.526 % |
13.95/14.02 c | 1546 | 53268 310660 815632 | 121297 1481 63 | 14.092 % |
14.25/14.36 c | 1682 | 53268 310660 815632 | 121297 1617 66 | 14.092 % |
14.85/14.97 c | 1829 | 52919 308211 809624 | 121297 1763 67 | 14.094 % |
15.05/15.20 c | 1929 | 52919 308211 809624 | 121297 1863 71 | 14.094 % |
15.36/15.49 c | 2039 | 52918 308208 809618 | 121297 1972 76 | 14.109 % |
15.85/15.90 c | 2160 | 52846 307627 808263 | 121297 2084 77 | 14.212 % |
15.95/16.09 c | 2293 | 52846 307627 808263 | 121297 2217 75 | 14.212 % |
16.25/16.40 c | 2439 | 52846 307627 808263 | 121297 2363 77 | 14.212 % |
16.85/16.93 c | 2599 | 52757 307008 806826 | 121297 2518 92 | 14.357 % |
17.15/17.27 c | 2699 | 52757 307008 806826 | 121297 2618 91 | 14.357 % |
17.75/17.80 c | 2813 | 52743 306946 806690 | 121297 2729 93 | 14.802 % |
17.95/18.06 c | 2934 | 52708 306946 806690 | 121297 2850 91 | 14.802 % |
18.55/18.65 c | 3069 | 52708 306946 806690 | 121297 2985 90 | 14.802 % |
18.95/19.09 c | 3216 | 52479 305223 802166 | 121297 3112 89 | 14.829 % |
19.45/19.57 c | 3378 | 52479 305223 802166 | 121297 3274 90 | 14.829 % |
20.06/20.20 c | 3554 | 52465 305083 801859 | 121297 3433 91 | 14.844 % |
20.26/20.38 c | 3660 | 52463 305083 801859 | 121297 3537 90 | 14.868 % |
20.56/20.63 c | 3773 | 52405 304899 801440 | 121297 3646 92 | 15.410 % |
21.07/21.19 c | 3894 | 52405 304899 801440 | 121297 3767 97 | 15.410 % |
21.45/21.57 c | 4027 | 52405 304899 801440 | 121297 3900 96 | 15.410 % |
21.95/22.03 c | 4174 | 52108 302691 795854 | 121297 4047 96 | 15.410 % |
22.85/22.90 c | 4335 | 52097 302618 795677 | 121297 4207 96 | 15.428 % |
23.35/23.42 c | 4514 | 52089 302618 795677 | 121297 4382 101 | 15.492 % |
23.85/23.91 c | 4707 | 51327 294593 775070 | 121297 4571 100 | 16.678 % |
24.25/24.34 c | 4809 | 51326 294593 775070 | 121297 4672 100 | 16.691 % |
24.55/24.69 c | 4919 | 51323 294593 775070 | 121297 4777 101 | 16.769 % |
24.95/25.01 c | 5040 | 51267 294163 774047 | 121297 4897 101 | 16.789 % |
25.45/25.50 c | 5173 | 51267 294163 774047 | 121297 5029 100 | 16.805 % |
26.64/26.72 c | 5320 | 51267 294163 774047 | 121297 5176 102 | 16.805 % |
27.04/27.20 c | 5482 | 51247 293975 773615 | 121297 5334 103 | 17.050 % |
27.44/27.55 c | 5658 | 51247 293975 773615 | 121297 5510 105 | 17.050 % |
27.94/28.07 c | 5851 | 51247 293975 773615 | 121297 5703 107 | 17.050 % |
28.44/28.55 c | 6063 | 51247 293975 773615 | 121297 5915 108 | 17.050 % |
28.84/28.99 c | 6163 | 51096 293056 771368 | 121297 6013 107 | 17.269 % |
29.14/29.25 c | 6274 | 51096 293056 771368 | 121297 6124 108 | 17.269 % |
29.44/29.50 c | 6397 | 51096 293056 771368 | 121297 6247 109 | 17.269 % |
29.64/29.75 c | 6532 | 51096 293056 771368 | 121297 6382 111 | 17.269 % |
29.93/30.04 c | 6686 | 50963 292174 769205 | 121297 6535 111 | 17.269 % |
30.63/30.77 c | 6846 | 50963 292174 769205 | 121297 6695 112 | 17.269 % |
31.33/31.49 c | 7022 | 50954 292102 769035 | 121297 6866 111 | 17.284 % |
31.63/31.72 c | 7215 | 50950 292102 769035 | 121297 7057 112 | 18.112 % |
32.23/32.39 c | 7427 | 50950 292102 769035 | 121297 7269 117 | 18.112 % |
33.05/33.16 c | 7660 | 50950 292102 769035 | 121297 7502 119 | 18.112 % |
33.35/33.50 c | 7760 | 50441 285388 751197 | 121297 7579 120 | 18.134 % |
33.75/33.87 c | 7870 | 50441 285388 751197 | 121297 7689 120 | 18.134 % |
34.05/34.13 c | 7991 | 50441 285388 751197 | 121297 7810 120 | 18.135 % |
34.44/34.52 c | 8127 | 50440 285388 751197 | 121297 7945 121 | 18.151 % |
34.74/34.88 c | 8273 | 50440 285388 751197 | 121297 8091 120 | 18.151 % |
35.24/35.30 c | 8434 | 50420 285192 750736 | 121297 8237 120 | 18.151 % |
35.64/35.78 c | 8610 | 50419 285192 750736 | 121297 8412 120 | 18.160 % |
36.04/36.18 c | 8804 | 50419 285192 750736 | 121297 8606 119 | 18.161 % |
36.53/36.61 c | 9016 | 50419 285192 750736 | 121297 8818 119 | 18.160 % |
36.83/36.99 c | 9249 | 50414 285139 750616 | 121297 9050 120 | 18.160 % |
37.63/37.76 c | 9508 | 50414 285139 750616 | 121297 9308 120 | 18.331 % |
37.84/38.00 c | 9610 | 50407 285139 750616 | 121297 9409 120 | 18.344 % |
38.14/38.21 c | 9720 | 50405 285139 750616 | 121297 9519 121 | 18.344 % |
38.33/38.50 c | 9843 | 50301 284392 748897 | 121297 9640 121 | 18.344 % |
38.64/38.76 c | 9977 | 50301 284392 748897 | 121297 9774 122 | 18.344 % |
39.23/39.39 c | 10125 | 50301 284392 748897 | 2147483647 9922 122 | 18.344 % |
39.74/39.88 c | 10286 | 50301 284392 748897 | 2147483647 10083 122 | 18.344 % |
40.13/40.29 c | 10462 | 50301 284392 748897 | 2147483647 10259 123 | 18.344 % |
40.63/40.77 c | 10656 | 50292 284331 748763 | 2147483647 10450 123 | 18.358 % |
41.53/41.61 c | 10868 | 50291 284331 748763 | 2147483647 10661 122 | 18.385 % |
42.05/42.21 c | 11101 | 50291 284331 748763 | 2147483647 10894 122 | 18.384 % |
42.72/42.80 c | 11357 | 50291 284331 748763 | 2147483647 11150 121 | 18.384 % |
43.23/43.32 c | 11641 | 50276 284208 748493 | 2147483647 11425 122 | 18.385 % |
43.62/43.73 c | 11742 | 50276 284208 748493 | 2147483647 11526 122 | 18.384 % |
43.82/43.99 c | 11852 | 50276 284208 748493 | 2147483647 11635 122 | 18.605 % |
44.12/44.20 c | 11973 | 50274 284208 748493 | 2147483647 11755 122 | 18.626 % |
44.62/44.72 c | 12106 | 50219 284208 748493 | 2147483647 11886 121 | 38.108 % |
44.82/44.98 c | 12252 | 50215 284208 748493 | 2147483647 12031 121 | 38.123 % |
45.42/45.52 c | 12412 | 38054 206827 555378 | 2147483647 11726 123 | 38.225 % |
46.22/46.30 c | 12588 | 38045 206827 555378 | 2147483647 11898 124 | 38.370 % |
46.52/46.63 c | 12781 | 38045 206827 555378 | 2147483647 12091 124 | 38.370 % |
47.32/47.47 c | 12995 | 38045 206827 555378 | 2147483647 12305 123 | 38.370 % |
47.82/47.92 c | 13229 | 37965 206234 553929 | 2147483647 12508 121 | 38.370 % |
48.52/48.68 c | 13488 | 37965 206234 553929 | 2147483647 12767 123 | 38.370 % |
48.92/49.04 c | 13772 | 37963 206234 553929 | 2147483647 13050 124 | 38.384 % |
49.43/49.56 c | 14081 | 37963 206234 553929 | 2147483647 13359 122 | 38.384 % |
49.63/49.80 c | 14184 | 37956 206160 553760 | 2147483647 13461 122 | 38.384 % |
49.93/50.03 c | 14294 | 37956 206160 553760 | 2147483647 13571 123 | 38.384 % |
50.13/50.28 c | 14420 | 37956 206160 553760 | 2147483647 13697 123 | 38.384 % |
50.83/50.97 c | 14553 | 37956 206160 553760 | 2147483647 13830 123 | 38.384 % |
51.32/51.44 c | 14700 | 37954 206160 553760 | 2147483647 13976 123 | 38.400 % |
51.72/51.87 c | 14860 | 37953 206160 553760 | 2147483647 14135 125 | 38.417 % |
52.12/52.24 c | 15036 | 37953 206160 553760 | 2147483647 14311 125 | 38.417 % |
52.52/52.64 c | 15230 | 37951 206160 553760 | 2147483647 14504 126 | 38.832 % |
52.82/52.98 c | 15443 | 37951 206160 553760 | 2147483647 14717 127 | 38.832 % |
53.33/53.50 c | 15676 | 37678 204670 548819 | 2147483647 14903 127 | 38.847 % |
53.83/53.94 c | 15934 | 37678 204670 548819 | 2147483647 15161 126 | 38.847 % |
54.52/54.61 c | 16215 | 37678 204670 548819 | 2147483647 15442 125 | 38.847 % |
55.32/55.40 c | 16528 | 37662 204528 548496 | 2147483647 15751 124 | 38.861 % |
55.82/55.96 c | 16867 | 37662 204528 548496 | 2147483647 16090 124 | 38.861 % |
56.12/56.25 c | 16967 | 37662 204528 548496 | 2147483647 16190 124 | 38.861 % |
56.42/56.57 c | 17079 | 37662 204528 548496 | 2147483647 16302 124 | 38.861 % |
56.62/56.73 c | 17201 | 37662 204528 548496 | 2147483647 16424 124 | 38.862 % |
56.82/56.94 c | 17338 | 37662 204528 548496 | 2147483647 16561 124 | 38.861 % |
57.02/57.15 c | 17484 | 37662 204528 548496 | 2147483647 16707 124 | 38.861 % |
57.22/57.38 c | 17645 | 37662 204528 548496 | 2147483647 16868 123 | 38.861 % |
57.82/57.97 c | 17822 | 37662 204528 548496 | 2147483647 17045 124 | 38.861 % |
58.32/58.47 c | 18015 | 37662 204528 548496 | 2147483647 17238 124 | 38.861 % |
58.72/58.81 c | 18229 | 37662 204528 548496 | 2147483647 17452 125 | 38.861 % |
59.33/59.44 c | 18465 | 37662 204528 548496 | 2147483647 17688 125 | 38.861 % |
59.52/59.84 c | 18722 | 37662 204528 548496 | 2147483647 17945 125 | 38.861 % |
60.21/60.37 c | 19006 | 37662 204528 548496 | 2147483647 18229 124 | 38.861 % |
60.92/61.06 c | 19319 | 37662 204528 548496 | 2147483647 18542 124 | 38.862 % |
61.51/61.65 c | 19658 | 37662 204528 548496 | 2147483647 18881 123 | 38.862 % |
62.22/62.37 c | 20035 | 37662 204528 548496 | 2147483647 19258 124 | 38.861 % |
62.52/62.62 c | 20135 | 37662 204528 548496 | 2147483647 19358 124 | 38.861 % |
62.72/62.86 c | 20246 | 37662 204528 548496 | 2147483647 19469 124 | 38.861 % |
63.02/63.10 c | 20367 | 37662 204528 548496 | 2147483647 19590 124 | 38.861 % |
63.22/63.34 c | 20503 | 37662 204528 548496 | 2147483647 19726 123 | 38.861 % |
63.42/63.57 c | 20652 | 37662 204528 548496 | 2147483647 19875 124 | 38.861 % |
63.92/64.03 c | 20813 | 37662 204528 548496 | 2147483647 20036 124 | 38.861 % |
64.22/64.37 c | 20989 | 37662 204528 548496 | 2147483647 20212 124 | 38.861 % |
64.71/64.85 c | 21183 | 37657 204518 548471 | 2147483647 20402 125 | 38.879 % |
65.21/65.30 c | 21395 | 37657 204518 548471 | 2147483647 20614 126 | 38.879 % |
65.51/65.68 c | 21632 | 37657 204518 548471 | 2147483647 20851 126 | 38.879 % |
66.21/66.33 c | 21888 | 37657 204518 548471 | 2147483647 21107 126 | 38.879 % |
66.81/66.94 c | 22169 | 37657 204518 548471 | 2147483647 21388 127 | 38.879 % |
67.41/67.51 c | 22479 | 37650 204518 548471 | 2147483647 21696 127 | 38.908 % |
68.21/68.30 c | 22818 | 37650 204518 548471 | 2147483647 22035 127 | 38.908 % |
69.31/69.47 c | 23196 | 37632 204316 547998 | 2147483647 22410 126 | 38.921 % |
70.01/70.13 c | 23608 | 37632 204316 547998 | 2147483647 22822 127 | 38.921 % |
70.31/70.47 c | 23708 | 37631 204316 547998 | 2147483647 22921 127 | 38.938 % |
70.71/70.90 c | 23818 | 37631 204316 547998 | 2147483647 23031 127 | 38.938 % |
71.11/71.23 c | 23939 | 37631 204316 547998 | 2147483647 23152 126 | 38.938 % |
71.51/71.67 c | 24072 | 37521 203493 546042 | 2147483647 23065 126 | 39.090 % |
71.81/71.97 c | 24219 | 37506 203493 546042 | 2147483647 23210 126 | 40.066 % |
72.21/72.30 c | 24380 | 37506 203493 546042 | 2147483647 23371 126 | 40.066 % |
72.51/72.69 c | 24556 | 37506 203493 546042 | 2147483647 23547 126 | 40.066 % |
72.91/73.03 c | 24751 | 37506 203493 546042 | 2147483647 23742 126 | 40.066 % |
73.21/73.38 c | 24963 | 37506 203493 546042 | 2147483647 23954 125 | 40.066 % |
73.61/73.72 c | 25196 | 37506 203493 546042 | 2147483647 24187 125 | 40.066 % |
74.01/74.16 c | 25453 | 37506 203493 546042 | 2147483647 24444 124 | 40.066 % |
74.61/74.71 c | 25734 | 37506 203493 546042 | 2147483647 24725 124 | 40.066 % |
75.11/75.29 c | 26043 | 37506 203493 546042 | 2147483647 25034 123 | 40.066 % |
75.61/75.76 c | 26382 | 37506 203493 546042 | 2147483647 25373 122 | 40.066 % |
76.21/76.34 c | 26754 | 37506 203493 546042 | 2147483647 25745 122 | 40.066 % |
77.01/77.13 c | 27163 | 36920 196524 527388 | 2147483647 26107 123 | 40.066 % |
77.80/77.94 c | 27614 | 36920 196524 527388 | 2147483647 26558 122 | 40.066 % |
78.00/78.15 c | 27715 | 36920 196524 527388 | 2147483647 26659 122 | 40.066 % |
78.40/78.55 c | 27826 | 36919 196524 527388 | 2147483647 26769 122 | 40.068 % |
78.90/79.08 c | 27948 | 36913 196524 527388 | 2147483647 26889 122 | 40.491 % |
79.50/79.61 c | 28083 | 36913 196524 527388 | 2147483647 27024 121 | 40.491 % |
79.71/79.89 c | 28229 | 36913 196524 527388 | 2147483647 27170 122 | 40.491 % |
80.00/80.18 c | 28390 | 36913 196524 527388 | 2147483647 27331 122 | 40.491 % |
80.30/80.49 c | 28566 | 36658 195291 524023 | 2147483647 27485 121 | 40.491 % |
80.71/80.90 c | 28760 | 36658 195291 524023 | 2147483647 27679 121 | 40.492 % |
81.20/81.32 c | 28973 | 36658 195291 524023 | 2147483647 27892 121 | 40.491 % |
81.60/81.73 c | 29207 | 36658 195291 524023 | 2147483647 28126 120 | 40.491 % |
82.00/82.18 c | 29466 | 36658 195291 524023 | 2147483647 28385 120 | 40.491 % |
82.70/82.85 c | 29749 | 36658 195291 524023 | 2147483647 28668 119 | 40.491 % |
83.30/83.49 c | 30058 | 36658 195291 524023 | 2147483647 28977 119 | 40.491 % |
84.01/84.19 c | 30398 | 36658 195291 524023 | 2147483647 29317 118 | 40.491 % |
84.70/84.84 c | 30771 | 36658 195291 524023 | 2147483647 29690 118 | 40.491 % |
85.40/85.51 c | 31180 | 36658 195291 524023 | 2147483647 30099 118 | 40.491 % |
86.61/86.75 c | 31632 | 36658 195291 524023 | 2147483647 30551 118 | 40.491 % |
88.11/88.22 c | 32125 | 36658 195291 524023 | 2147483647 31044 119 | 40.491 % |
88.41/88.56 c | 32228 | 36658 195291 524023 | 2147483647 31147 119 | 40.491 % |
88.71/88.84 c | 32339 | 36658 195291 524023 | 2147483647 31258 119 | 40.491 % |
89.11/89.28 c | 32460 | 36658 195291 524023 | 2147483647 31379 119 | 40.491 % |
89.61/89.71 c | 32595 | 36658 195291 524023 | 2147483647 31514 119 | 40.491 % |
90.01/90.14 c | 32741 | 36658 195291 524023 | 2147483647 31660 120 | 40.491 % |
90.61/90.72 c | 32901 | 36639 195159 523703 | 2147483647 31812 120 | 40.522 % |
91.10/91.20 c | 33079 | 36637 195159 523703 | 2147483647 31989 121 | 40.535 % |
91.40/91.57 c | 33272 | 36637 195159 523703 | 2147483647 32182 120 | 40.535 % |
91.90/92.05 c | 33484 | 36637 195159 523703 | 2147483647 32394 120 | 40.535 % |
92.40/92.59 c | 33718 | 36637 195159 523703 | 2147483647 32628 120 | 40.535 % |
93.10/93.26 c | 33977 | 36637 195159 523703 | 2147483647 32887 119 | 40.535 % |
93.80/93.99 c | 34259 | 36637 195159 523703 | 2147483647 33169 119 | 40.535 % |
94.40/94.55 c | 34568 | 36637 195159 523703 | 2147483647 33478 118 | 40.535 % |
95.10/95.22 c | 34909 | 36637 195159 523703 | 2147483647 33819 118 | 40.535 % |
95.90/96.00 c | 35282 | 36637 195159 523703 | 2147483647 34192 117 | 40.536 % |
96.60/96.73 c | 35691 | 36631 195097 523567 | 2147483647 34601 117 | 40.535 % |
97.80/97.98 c | 36148 | 36631 195097 523567 | 2147483647 35058 118 | 40.535 % |
99.30/99.47 c | 36642 | 36631 195097 523567 | 2147483647 35552 119 | 40.535 % |
100.90/101.06 c | 37184 | 36585 194751 522766 | 2147483647 36085 120 | 40.610 % |
101.20/101.30 c | 37284 | 36585 194751 522766 | 2147483647 36185 120 | 40.610 % |
101.40/101.53 c | 37395 | 36585 194751 522766 | 2147483647 36296 120 | 40.610 % |
101.60/101.71 c | 37516 | 36585 194751 522766 | 2147483647 36417 120 | 40.610 % |
101.80/101.99 c | 37651 | 36585 194751 522766 | 2147483647 36552 121 | 40.610 % |
102.20/102.36 c | 37798 | 36585 194751 522766 | 2147483647 36699 121 | 40.610 % |
102.60/102.72 c | 37958 | 36585 194751 522766 | 2147483647 36859 121 | 40.610 % |
103.10/103.24 c | 38134 | 36585 194751 522766 | 2147483647 37035 122 | 40.610 % |
103.70/103.88 c | 38328 | 36578 194751 522766 | 2147483647 37224 122 | 41.100 % |
104.00/104.18 c | 38541 | 36558 194751 522766 | 2147483647 37437 121 | 41.100 % |
104.60/104.79 c | 38778 | 36558 194751 522766 | 2147483647 37674 121 | 41.101 % |
105.10/105.21 c | 39035 | 36558 194751 522766 | 2147483647 37931 121 | 41.100 % |
105.60/105.78 c | 39317 | 36556 194751 522766 | 2147483647 38212 121 | 41.769 % |
106.20/106.35 c | 39627 | 36556 194751 522766 | 2147483647 38522 120 | 41.769 % |
106.80/106.99 c | 39967 | 36556 194751 522766 | 2147483647 38862 120 | 41.769 % |
107.60/107.73 c | 40342 | 36556 194751 522766 | 2147483647 39237 120 | 41.769 % |
108.40/108.59 c | 40751 | 35871 186416 500813 | 2147483647 39582 119 | 41.769 % |
109.41/109.60 c | 41201 | 35871 186416 500813 | 2147483647 40032 118 | 41.769 % |
110.51/110.63 c | 41694 | 35871 186416 500813 | 2147483647 40525 118 | 41.769 % |
111.80/111.99 c | 42236 | 35871 186416 500813 | 2147483647 41067 117 | 41.769 % |
113.10/113.22 c | 42833 | 35871 186416 500813 | 2147483647 41664 116 | 41.769 % |
113.30/113.48 c | 42935 | 35871 186416 500813 | 2147483647 41766 116 | 41.769 % |
113.70/113.89 c | 43047 | 35870 186416 500813 | 2147483647 41877 116 | 41.779 % |
113.90/114.08 c | 43170 | 35870 186416 500813 | 2147483647 42000 116 | 41.779 % |
114.30/114.40 c | 43305 | 35870 186416 500813 | 2147483647 42135 116 | 41.779 % |
114.50/114.69 c | 43453 | 35870 186416 500813 | 2147483647 42283 116 | 41.779 % |
114.90/115.07 c | 43613 | 35870 186416 500813 | 2147483647 42443 116 | 41.779 % |
115.30/115.48 c | 43789 | 35865 186363 500692 | 2147483647 42619 116 | 41.779 % |
115.70/115.88 c | 43982 | 35865 186363 500692 | 2147483647 42812 115 | 41.779 % |
116.20/116.32 c | 44195 | 35865 186363 500692 | 2147483647 43025 115 | 41.779 % |
116.60/116.73 c | 44428 | 35865 186363 500692 | 2147483647 43258 115 | 41.779 % |
117.10/117.25 c | 44684 | 35865 186363 500692 | 2147483647 43514 115 | 41.779 % |
117.59/117.77 c | 44965 | 35865 186363 500692 | 2147483647 43795 115 | 41.779 % |
118.20/118.38 c | 45274 | 35865 186363 500692 | 2147483647 44104 115 | 41.779 % |
118.99/119.19 c | 45614 | 35865 186363 500692 | 2147483647 44444 116 | 41.779 % |
120.30/120.46 c | 45987 | 35864 186363 500692 | 2147483647 44816 116 | 41.798 % |
121.79/121.92 c | 46398 | 35864 186363 500692 | 2147483647 45227 116 | 41.798 % |
123.29/123.46 c | 46847 | 35845 186233 500356 | 2147483647 45671 117 | 41.811 % |
124.59/124.77 c | 47342 | 35845 186233 500356 | 2147483647 46166 117 | 41.811 % |
126.00/126.18 c | 47887 | 35843 186233 500356 | 2147483647 46709 118 | 41.839 % |
127.20/127.40 c | 48484 | 35843 186233 500356 | 2147483647 47306 118 | 41.839 % |
128.69/128.84 c | 49140 | 35843 186233 500356 | 2147483647 47962 118 | 41.839 % |
129.10/129.22 c | 49240 | 35843 186233 500356 | 2147483647 48062 118 | 41.839 % |
129.49/129.65 c | 49350 | 35843 186233 500356 | 2147483647 48172 118 | 41.839 % |
129.79/129.92 c | 49472 | 35843 186233 500356 | 2147483647 48294 117 | 41.839 % |
130.09/130.29 c | 49606 | 35843 186233 500356 | 2147483647 48428 118 | 41.839 % |
130.49/130.63 c | 49753 | 35828 186109 500074 | 2147483647 48568 117 | 41.839 % |
131.19/131.31 c | 49914 | 35823 186109 500074 | 2147483647 48727 117 | 42.060 % |
131.89/132.03 c | 50090 | 35823 186109 500074 | 2147483647 48903 117 | 42.059 % |
132.40/132.50 c | 50284 | 35823 186109 500074 | 2147483647 49097 117 | 42.059 % |
132.89/133.03 c | 50500 | 35823 186109 500074 | 2147483647 49313 117 | 42.059 % |
133.39/133.59 c | 50733 | 35823 186109 500074 | 2147483647 49546 117 | 42.059 % |
134.19/134.31 c | 50989 | 35823 186109 500074 | 2147483647 49802 117 | 42.060 % |
134.89/135.03 c | 51270 | 35823 186109 500074 | 2147483647 50083 118 | 42.060 % |
135.49/135.61 c | 51579 | 35823 186109 500074 | 2147483647 50392 117 | 42.059 % |
136.19/136.35 c | 51919 | 35823 186109 500074 | 2147483647 50732 117 | 42.059 % |
136.99/137.11 c | 52291 | 35823 186109 500074 | 2147483647 51104 117 | 42.059 % |
137.79/137.97 c | 52700 | 35823 186109 500074 | 2147483647 51513 116 | 42.059 % |
138.68/138.80 c | 53149 | 35823 186109 500074 | 2147483647 51962 117 | 42.059 % |
139.78/139.94 c | 53643 | 35823 186109 500074 | 2147483647 52456 116 | 42.059 % |
140.98/141.17 c | 54186 | 35692 185084 497658 | 2147483647 52929 116 | 42.059 % |
142.18/142.35 c | 54782 | 35692 185084 497658 | 2147483647 53525 115 | 42.060 % |
143.68/143.82 c | 55438 | 35692 185084 497658 | 2147483647 54181 114 | 42.060 % |
144.88/145.05 c | 56159 | 35692 185084 497658 | 2147483647 54902 114 | 42.060 % |
145.18/145.30 c | 56263 | 35692 185084 497658 | 2147483647 55006 113 | 42.059 % |
145.48/145.60 c | 56373 | 35692 185084 497658 | 2147483647 55116 113 | 42.059 % |
145.68/145.88 c | 56494 | 35692 185084 497658 | 2147483647 55237 113 | 42.060 % |
145.98/146.11 c | 56628 | 35692 185084 497658 | 2147483647 55371 113 | 42.060 % |
146.18/146.35 c | 56776 | 35692 185084 497658 | 2147483647 55519 113 | 42.060 % |
146.48/146.62 c | 56936 | 35692 185084 497658 | 2147483647 55679 113 | 42.059 % |
146.78/146.97 c | 57112 | 35692 185084 497658 | 2147483647 55855 112 | 42.059 % |
147.38/147.56 c | 57307 | 35691 185084 497658 | 2147483647 56049 112 | 42.076 % |
147.88/148.02 c | 57522 | 35691 185084 497658 | 2147483647 56264 112 | 42.076 % |
148.39/148.51 c | 57757 | 35691 185084 497658 | 2147483647 56499 112 | 42.076 % |
148.99/149.19 c | 58013 | 35691 185084 497658 | 2147483647 56755 112 | 42.076 % |
149.69/149.85 c | 58294 | 35691 185084 497658 | 2147483647 57036 112 | 42.076 % |
150.39/150.53 c | 58604 | 35691 185084 497658 | 2147483647 57346 111 | 42.076 % |
151.09/151.27 c | 58943 | 35691 185084 497658 | 2147483647 57685 111 | 42.076 % |
151.79/151.99 c | 59315 | 35691 185084 497658 | 2147483647 58057 111 | 42.076 % |
152.58/152.79 c | 59725 | 35682 185022 497511 | 2147483647 58466 110 | 42.076 % |
153.48/153.63 c | 60175 | 35682 185022 497511 | 2147483647 58916 111 | 42.076 % |
154.48/154.64 c | 60670 | 35682 185022 497511 | 2147483647 59411 111 | 42.076 % |
155.58/155.73 c | 61213 | 35682 185022 497511 | 2147483647 59954 110 | 42.076 % |
156.98/157.15 c | 61809 | 35682 185022 497511 | 2147483647 60550 110 | 42.076 % |
158.78/158.91 c | 62464 | 35682 185022 497511 | 2147483647 61205 110 | 42.076 % |
160.38/160.54 c | 63184 | 35682 185022 497511 | 2147483647 61925 110 | 42.076 % |
162.28/162.42 c | 63981 | 35682 185022 497511 | 2147483647 62721 111 | 42.090 % |
162.48/162.65 c | 64085 | 35682 185022 497511 | 2147483647 62825 110 | 42.091 % |
162.78/162.99 c | 64196 | 35673 184959 497362 | 2147483647 62936 110 | 42.091 % |
163.08/163.23 c | 64318 | 35673 184959 497362 | 2147483647 63058 110 | 42.091 % |
163.29/163.49 c | 64451 | 35673 184959 497362 | 2147483647 63191 110 | 42.090 % |
163.68/163.81 c | 64599 | 35673 184959 497362 | 2147483647 63339 110 | 42.090 % |
163.98/164.17 c | 64759 | 35673 184959 497362 | 2147483647 63499 110 | 42.090 % |
164.48/164.63 c | 64936 | 35673 184959 497362 | 2147483647 63676 110 | 42.090 % |
164.98/165.17 c | 65140 | 35673 184959 497362 | 2147483647 63880 110 | 42.090 % |
165.49/165.64 c | 65354 | 35673 184959 497362 | 2147483647 64094 111 | 42.090 % |
166.08/166.21 c | 65587 | 35673 184959 497362 | 2147483647 64327 111 | 42.090 % |
166.68/166.87 c | 65844 | 35673 184959 497362 | 2147483647 64584 111 | 42.090 % |
167.38/167.54 c | 66125 | 35673 184959 497362 | 2147483647 64865 111 | 42.090 % |
168.08/168.24 c | 66435 | 35673 184959 497362 | 2147483647 65175 111 | 42.090 % |
168.88/169.03 c | 66775 | 35673 184959 497362 | 2147483647 65515 110 | 42.090 % |
169.68/169.82 c | 67148 | 35673 184959 497362 | 2147483647 65888 110 | 42.090 % |
170.48/170.68 c | 67559 | 35673 184959 497362 | 2147483647 66299 110 | 42.090 % |
171.78/171.94 c | 68008 | 35673 184959 497362 | 2147483647 66748 110 | 42.091 % |
172.88/173.03 c | 68501 | 35673 184959 497362 | 2147483647 67241 109 | 42.090 % |
174.08/174.21 c | 69045 | 35673 184959 497362 | 2147483647 67785 109 | 42.090 % |
175.28/175.45 c | 69642 | 35673 184959 497362 | 2147483647 68382 109 | 42.090 % |
176.77/176.91 c | 70298 | 35673 184959 497362 | 2147483647 69038 109 | 42.090 % |
178.37/178.51 c | 71019 | 35673 184959 497362 | 2147483647 69759 108 | 42.090 % |
180.07/180.29 c | 71812 | 35673 184959 497362 | 2147483647 70552 108 | 42.090 % |
182.17/182.30 c | 72686 | 35667 184904 497236 | 2147483647 71424 108 | 42.100 % |
182.57/182.72 c | 72788 | 35667 184904 497236 | 2147483647 71526 108 | 42.100 % |
182.77/182.98 c | 72898 | 35667 184904 497236 | 2147483647 71636 108 | 42.100 % |
183.07/183.23 c | 73019 | 35667 184904 497236 | 2147483647 71757 108 | 42.100 % |
183.37/183.58 c | 73154 | 35667 184904 497236 | 2147483647 71892 108 | 42.100 % |
183.97/184.13 c | 73300 | 35664 184904 497236 | 2147483647 72035 108 | 42.137 % |
184.57/184.71 c | 73460 | 35664 184904 497236 | 2147483647 72194 108 | 42.152 % |
185.07/185.25 c | 73636 | 35663 184904 497236 | 2147483647 72369 108 | 42.165 % |
185.67/185.86 c | 73830 | 35663 184904 497236 | 2147483647 72563 109 | 42.165 % |
186.37/186.50 c | 74044 | 35663 184904 497236 | 2147483647 72777 109 | 42.165 % |
186.87/187.01 c | 74278 | 35663 184904 497236 | 2147483647 73011 109 | 42.165 % |
187.47/187.68 c | 74534 | 35663 184904 497236 | 2147483647 73267 109 | 42.165 % |
188.37/188.51 c | 74815 | 35663 184904 497236 | 2147483647 73548 109 | 42.165 % |
189.07/189.23 c | 75124 | 35663 184904 497236 | 2147483647 73857 109 | 42.165 % |
189.96/190.10 c | 75468 | 35663 184904 497236 | 2147483647 74201 109 | 42.165 % |
190.86/191.08 c | 75842 | 35663 184904 497236 | 2147483647 74575 109 | 42.165 % |
191.88/192.02 c | 76255 | 35657 184904 497236 | 2147483647 74987 109 | 42.270 % |
192.97/193.17 c | 76704 | 35657 184904 497236 | 2147483647 75436 109 | 42.270 % |
194.87/195.01 c | 77197 | 35657 184904 497236 | 2147483647 75929 110 | 42.271 % |
196.17/196.38 c | 77739 | 35562 184183 495491 | 2147483647 76456 110 | 42.270 % |
197.67/197.83 c | 78335 | 35562 184183 495491 | 2147483647 77052 109 | 42.271 % |
198.97/199.16 c | 78990 | 35562 184183 495491 | 2147483647 77707 109 | 42.270 % |
200.57/200.74 c | 79710 | 35562 184183 495491 | 2147483647 78427 108 | 42.271 % |
203.16/203.36 c | 80503 | 35562 184183 495491 | 2147483647 79220 110 | 42.270 % |
205.56/205.72 c | 81374 | 35562 184183 495491 | 2147483647 80091 111 | 42.270 % |
208.27/208.42 c | 82333 | 35562 184183 495491 | 2147483647 81050 111 | 42.270 % |
208.46/208.66 c | 82433 | 35562 184183 495491 | 2147483647 81150 111 | 42.270 % |
208.86/209.01 c | 82547 | 35562 184183 495491 | 2147483647 81264 112 | 42.270 % |
209.26/209.43 c | 82671 | 35562 184183 495491 | 2147483647 81388 112 | 42.270 % |
209.66/209.81 c | 82805 | 35562 184183 495491 | 2147483647 81522 112 | 42.270 % |
210.06/210.24 c | 82951 | 35562 184183 495491 | 2147483647 81668 112 | 42.270 % |
210.46/210.68 c | 83112 | 35562 184183 495491 | 2147483647 81829 112 | 42.270 % |
210.96/211.15 c | 83289 | 35562 184183 495491 | 2147483647 82006 111 | 42.270 % |
211.46/211.70 c | 83482 | 35562 184183 495491 | 2147483647 82199 111 | 42.270 % |
212.26/212.45 c | 83694 | 35562 184183 495491 | 2147483647 82411 111 | 42.270 % |
212.96/213.18 c | 83927 | 31722 160630 435625 | 2147483647 82481 111 | 48.504 % |
213.76/213.93 c | 84184 | 31721 160630 435625 | 2147483647 82737 111 | 48.515 % |
214.46/214.68 c | 84465 | 31721 160630 435625 | 2147483647 83018 111 | 48.515 % |
215.46/215.62 c | 84776 | 31721 160630 435625 | 2147483647 83329 111 | 48.515 % |
216.26/216.43 c | 85116 | 31721 160630 435625 | 2147483647 83669 110 | 48.515 % |
217.26/217.42 c | 85488 | 31721 160630 435625 | 2147483647 84041 110 | 48.515 % |
218.56/218.76 c | 85898 | 31721 160630 435625 | 2147483647 84451 110 | 48.515 % |
220.25/220.42 c | 86347 | 31720 160630 435625 | 2147483647 84899 110 | 48.528 % |
221.47/221.61 c | 86842 | 31720 160630 435625 | 2147483647 85394 110 | 48.528 % |
223.26/223.45 c | 87385 | 31719 160630 435625 | 2147483647 85935 111 | 48.558 % |
225.26/225.44 c | 87983 | 31719 160630 435625 | 2147483647 86532 111 | 48.569 % |
227.56/227.73 c | 88638 | 31650 160123 434443 | 2147483647 87176 112 | 48.621 % |
230.15/230.37 c | 89361 | 31650 160123 434443 | 2147483647 87899 112 | 48.621 % |
232.75/232.91 c | 90158 | 31648 160123 434443 | 2147483647 88694 112 | 48.678 % |
235.55/235.71 c | 91029 | 31646 160123 434443 | 2147483647 89564 113 | 48.694 % |
237.76/237.94 c | 91989 | 31646 160123 434443 | 2147483647 90523 113 | 48.696 % |
240.56/240.79 c | 93045 | 31646 160123 434443 | 2147483647 91579 112 | 48.696 % |
240.96/241.12 c | 93150 | 31646 160123 434443 | 2147483647 91684 112 | 48.696 % |
241.26/241.44 c | 93260 | 31646 160123 434443 | 2147483647 91794 112 | 48.696 % |
241.65/241.81 c | 93384 | 31646 160123 434443 | 2147483647 91918 112 | 48.696 % |
242.05/242.21 c | 93518 | 31646 160123 434443 | 2147483647 92052 112 | 48.696 % |
242.65/242.81 c | 93665 | 31584 159630 433242 | 2147483647 92163 112 | 48.728 % |
243.05/243.27 c | 93826 | 31584 159630 433242 | 2147483647 92324 112 | 48.728 % |
243.65/243.85 c | 94004 | 31584 159630 433242 | 2147483647 92502 112 | 48.728 % |
244.25/244.43 c | 94202 | 31584 159630 433242 | 2147483647 92700 112 | 48.728 % |
244.75/244.94 c | 94419 | 31584 159630 433242 | 2147483647 92917 112 | 48.728 % |
245.35/245.56 c | 94652 | 31584 159630 433242 | 2147483647 93150 112 | 48.728 % |
246.05/246.20 c | 94908 | 31584 159630 433242 | 2147483647 93406 112 | 48.728 % |
246.86/247.01 c | 95191 | 31584 159630 433242 | 2147483647 93689 112 | 48.728 % |
247.86/248.02 c | 95500 | 31584 159630 433242 | 2147483647 93998 112 | 48.728 % |
248.65/248.81 c | 95839 | 31584 159630 433242 | 2147483647 94337 112 | 48.728 % |
249.75/249.99 c | 96211 | 31584 159630 433242 | 2147483647 94709 112 | 48.728 % |
250.85/251.05 c | 96620 | 31584 159630 433242 | 2147483647 95118 112 | 48.728 % |
252.25/252.47 c | 97073 | 31584 159630 433242 | 2147483647 95571 112 | 48.728 % |
253.65/253.83 c | 97566 | 31584 159630 433242 | 2147483647 96064 113 | 48.728 % |
255.45/255.60 c | 98108 | 31584 159630 433242 | 2147483647 96606 112 | 48.728 % |
257.65/257.80 c | 98707 | 31584 159630 433242 | 2147483647 97205 112 | 48.728 % |
259.95/260.15 c | 99364 | 31584 159630 433242 | 2147483647 97862 112 | 48.728 % |
262.94/263.15 c | 100086 | 31577 159569 433096 | 2147483647 98581 112 | 48.740 % |
265.24/265.42 c | 100884 | 31577 159569 433096 | 2147483647 99379 111 | 48.740 % |
267.64/267.86 c | 101755 | 31577 159569 433096 | 2147483647 100249 111 | 48.746 % |
270.25/270.41 c | 102713 | 31577 159569 433096 | 2147483647 101207 110 | 48.746 % |
272.85/273.03 c | 103766 | 31577 159569 433096 | 2147483647 102260 110 | 48.746 % |
275.84/276.09 c | 104927 | 31577 159569 433096 | 2147483647 103421 109 | 48.746 % |
276.14/276.35 c | 105029 | 31577 159569 433096 | 2147483647 103523 109 | 48.746 % |
276.45/276.69 c | 105139 | 31577 159569 433096 | 2147483647 103633 109 | 48.746 % |
276.84/277.04 c | 105260 | 31577 159569 433096 | 2147483647 103754 109 | 48.746 % |
277.24/277.46 c | 105393 | 31577 159569 433096 | 2147483647 103887 109 | 48.746 % |
277.74/277.93 c | 105549 | 31577 159569 433096 | 2147483647 104043 109 | 48.746 % |
278.14/278.37 c | 105711 | 31577 159569 433096 | 2147483647 104205 109 | 48.746 % |
278.75/278.94 c | 105888 | 31577 159569 433096 | 2147483647 104382 109 | 48.746 % |
279.34/279.59 c | 106081 | 31577 159569 433096 | 2147483647 104575 109 | 48.747 % |
279.94/280.15 c | 106293 | 31577 159569 433096 | 2147483647 104787 109 | 48.747 % |
280.54/280.77 c | 106527 | 31577 159569 433096 | 2147483647 105021 109 | 48.746 % |
281.14/281.39 c | 106783 | 31577 159569 433096 | 2147483647 105277 109 | 48.746 % |
281.74/281.97 c | 107065 | 31577 159569 433096 | 2147483647 105559 108 | 48.746 % |
282.74/282.94 c | 107378 | 31577 159569 433096 | 2147483647 105872 108 | 48.746 % |
283.74/283.98 c | 107717 | 31577 159569 433096 | 2147483647 106211 108 | 48.746 % |
284.94/285.12 c | 108090 | 31577 159569 433096 | 2147483647 106584 108 | 48.746 % |
286.14/286.40 c | 108500 | 31577 159569 433096 | 2147483647 106994 108 | 48.746 % |
287.33/287.50 c | 108952 | 31577 159569 433096 | 2147483647 107446 108 | 48.746 % |
288.64/288.81 c | 109446 | 31577 159569 433096 | 2147483647 107940 107 | 48.746 % |
290.03/290.27 c | 109988 | 31573 159540 433019 | 2147483647 108482 107 | 48.747 % |
291.43/291.68 c | 110584 | 31573 159540 433019 | 2147483647 109078 107 | 48.747 % |
293.53/293.77 c | 111239 | 31573 159540 433019 | 2147483647 109733 106 | 48.747 % |
295.43/295.69 c | 111960 | 31573 159540 433019 | 2147483647 110454 106 | 48.746 % |
297.53/297.71 c | 112753 | 31573 159540 433019 | 2147483647 111247 106 | 48.747 % |
299.93/300.15 c | 113625 | 31573 159540 433019 | 2147483647 112119 105 | 48.747 % |
302.33/302.51 c | 114585 | 31573 159540 433019 | 2147483647 113079 105 | 48.746 % |
305.24/305.44 c | 115638 | 31573 159540 433019 | 2147483647 114132 105 | 48.746 % |
308.63/308.89 c | 116798 | 31573 159540 433019 | 2147483647 115292 105 | 48.746 % |
312.84/313.00 c | 118073 | 31573 159540 433019 | 2147483647 116567 105 | 48.746 % |
313.23/313.40 c | 118174 | 31573 159540 433019 | 2147483647 116668 105 | 48.746 % |
313.43/313.69 c | 118284 | 31573 159540 433019 | 2147483647 116778 105 | 48.746 % |
313.73/313.98 c | 118406 | 31573 159540 433019 | 2147483647 116900 105 | 48.746 % |
314.13/314.33 c | 118539 | 31573 159540 433019 | 2147483647 117033 105 | 48.746 % |
314.73/314.91 c | 118686 | 31573 159540 433019 | 2147483647 117180 105 | 48.746 % |
315.43/315.61 c | 118850 | 31573 159540 433019 | 2147483647 117344 105 | 48.746 % |
316.13/316.36 c | 119028 | 31573 159540 433019 | 2147483647 117522 105 | 48.746 % |
316.83/317.06 c | 119222 | 31573 159540 433019 | 2147483647 117716 105 | 48.746 % |
317.63/317.87 c | 119439 | 31573 159540 433019 | 2147483647 117933 105 | 48.746 % |
318.53/318.72 c | 119672 | 31573 159540 433019 | 2147483647 118166 105 | 48.746 % |
319.43/319.64 c | 119929 | 31573 159540 433019 | 2147483647 118423 105 | 48.746 % |
320.43/320.64 c | 120210 | 31573 159540 433019 | 2147483647 118704 105 | 48.746 % |
321.82/322.10 c | 120525 | 31564 159476 432869 | 2147483647 119016 105 | 48.761 % |
323.23/323.48 c | 120866 | 31564 159476 432869 | 2147483647 119356 105 | 48.777 % |
324.63/324.84 c | 121240 | 31564 159476 432869 | 2147483647 119730 105 | 48.777 % |
325.93/326.17 c | 121649 | 31564 159476 432869 | 2147483647 120139 105 | 48.777 % |
327.73/327.96 c | 122101 | 31564 159476 432869 | 2147483647 120591 105 | 48.777 % |
329.43/329.61 c | 122596 | 31564 159476 432869 | 2147483647 121086 106 | 48.777 % |
331.13/331.35 c | 123139 | 31564 159476 432869 | 2147483647 121629 106 | 48.777 % |
333.33/333.52 c | 123735 | 31564 159476 432869 | 2147483647 122225 106 | 48.777 % |
335.13/335.38 c | 124390 | 31564 159476 432869 | 2147483647 122880 105 | 48.777 % |
337.42/337.63 c | 125115 | 31564 159476 432869 | 2147483647 123605 105 | 48.777 % |
340.72/340.90 c | 125907 | 31564 159476 432869 | 2147483647 124397 105 | 48.777 % |
344.52/344.74 c | 126780 | 31564 159476 432869 | 2147483647 125270 105 | 48.777 % |
347.42/347.65 c | 127742 | 31553 159415 432704 | 2147483647 126229 104 | 48.790 % |
351.92/352.16 c | 128796 | 31553 159415 432704 | 2147483647 127283 104 | 48.790 % |
356.82/357.01 c | 129954 | 31553 159415 432704 | 2147483647 128441 104 | 48.790 % |
360.61/360.85 c | 131230 | 31553 159415 432704 | 2147483647 129717 105 | 48.790 % |
366.01/366.24 c | 132635 | 31553 159415 432704 | 2147483647 131121 105 | 48.804 % |
366.41/366.68 c | 132737 | 31537 159274 432366 | 2147483647 131221 105 | 48.804 % |
366.91/367.19 c | 132847 | 31537 159274 432366 | 2147483647 131331 105 | 48.804 % |
367.41/367.65 c | 132974 | 31537 159274 432366 | 2147483647 131458 105 | 48.804 % |
367.81/368.07 c | 133107 | 31537 159274 432366 | 2147483647 131591 105 | 48.804 % |
368.21/368.49 c | 133254 | 31537 159274 432366 | 2147483647 131738 105 | 48.804 % |
368.61/368.87 c | 133416 | 31537 159274 432366 | 2147483647 131900 105 | 48.804 % |
369.51/369.71 c | 133592 | 31537 159274 432366 | 2147483647 132076 105 | 48.804 % |
370.11/370.30 c | 133787 | 31537 159274 432366 | 2147483647 132271 105 | 48.804 % |
370.61/370.88 c | 133999 | 31537 159274 432366 | 2147483647 132483 105 | 48.805 % |
371.31/371.56 c | 134233 | 31537 159274 432366 | 2147483647 132717 105 | 48.805 % |
372.21/372.43 c | 134490 | 31537 159274 432366 | 2147483647 132974 105 | 48.805 % |
373.21/373.43 c | 134772 | 31537 159274 432366 | 2147483647 133256 105 | 48.804 % |
374.21/374.46 c | 135083 | 31537 159274 432366 | 2147483647 133567 105 | 48.804 % |
375.31/375.50 c | 135423 | 31537 159274 432366 | 2147483647 133907 105 | 48.804 % |
376.72/376.94 c | 135795 | 31537 159274 432366 | 2147483647 134279 105 | 48.804 % |
378.11/378.34 c | 136208 | 31537 159274 432366 | 2147483647 134692 105 | 48.804 % |
379.61/379.88 c | 136657 | 31537 159274 432366 | 2147483647 135141 105 | 48.804 % |
380.92/381.19 c | 137150 | 31537 159274 432366 | 2147483647 135634 105 | 48.804 % |
382.71/382.93 c | 137696 | 31537 159274 432366 | 2147483647 136180 105 | 48.804 % |
384.61/384.88 c | 138293 | 31537 159274 432366 | 2147483647 136777 104 | 48.805 % |
386.71/386.98 c | 138948 | 31537 159274 432366 | 2147483647 137432 104 | 48.804 % |
389.11/389.35 c | 139668 | 31537 159274 432366 | 2147483647 138152 104 | 48.805 % |
391.91/392.19 c | 140460 | 31537 159274 432366 | 2147483647 138944 104 | 48.805 % |
395.31/395.52 c | 141335 | 31537 159274 432366 | 2147483647 139819 103 | 48.804 % |
398.41/398.68 c | 142293 | 31537 159274 432366 | 2147483647 140777 103 | 48.804 % |
402.31/402.54 c | 143348 | 31537 159274 432366 | 2147483647 141832 103 | 48.804 % |
406.40/406.67 c | 144509 | 31537 159274 432366 | 2147483647 142993 102 | 48.804 % |
411.30/411.60 c | 145785 | 31537 159274 432366 | 2147483647 144269 102 | 48.804 % |
416.20/416.42 c | 147185 | 31537 159274 432366 | 2147483647 145669 101 | 48.804 % |
421.20/421.47 c | 148725 | 31537 159274 432366 | 2147483647 147209 101 | 48.804 % |
421.60/421.82 c | 148827 | 31537 159274 432366 | 2147483647 147311 101 | 48.804 % |
421.90/422.18 c | 148937 | 31537 159274 432366 | 2147483647 147421 101 | 48.804 % |
422.29/422.55 c | 149062 | 31537 159274 432366 | 2147483647 147546 101 | 48.804 % |
422.81/423.01 c | 149197 | 31537 159274 432366 | 2147483647 147681 101 | 48.804 % |
423.40/423.64 c | 149343 | 31537 159274 432366 | 2147483647 147827 101 | 48.804 % |
423.91/424.16 c | 149505 | 31537 159274 432366 | 2147483647 147989 101 | 48.804 % |
424.60/424.85 c | 149681 | 31537 159274 432366 | 2147483647 148165 101 | 48.805 % |
425.10/425.39 c | 149874 | 31537 159274 432366 | 2147483647 148358 101 | 48.804 % |
425.80/426.03 c | 150086 | 31537 159274 432366 | 2147483647 148570 101 | 48.804 % |
427.00/427.21 c | 150319 | 31537 159274 432366 | 2147483647 148803 101 | 48.804 % |
428.20/428.40 c | 150576 | 31528 159209 432215 | 2147483647 149058 101 | 48.832 % |
429.20/429.48 c | 150857 | 31528 159209 432215 | 2147483647 149339 101 | 48.832 % |
430.70/430.92 c | 151173 | 31528 159209 432215 | 2147483647 149655 101 | 48.832 % |
432.20/432.47 c | 151514 | 31528 159209 432215 | 2147483647 149996 101 | 48.832 % |
433.80/434.07 c | 151886 | 31528 159209 432215 | 2147483647 150368 101 | 48.832 % |
435.50/435.80 c | 152297 | 31528 159209 432215 | 2147483647 150779 102 | 48.832 % |
437.29/437.50 c | 152747 | 31528 159209 432215 | 2147483647 151229 102 | 48.832 % |
439.49/439.78 c | 153241 | 31528 159209 432215 | 2147483647 151723 101 | 48.832 % |
441.69/441.94 c | 153783 | 31528 159209 432215 | 2147483647 152265 102 | 48.832 % |
444.19/444.47 c | 154379 | 31520 159209 432215 | 2147483647 152860 102 | 48.989 % |
446.59/446.85 c | 155034 | 31520 159209 432215 | 2147483647 153514 102 | 49.017 % |
449.29/449.53 c | 155756 | 31520 159209 432215 | 2147483647 154236 103 | 49.017 % |
452.40/452.61 c | 156548 | 31520 159209 432215 | 2147483647 155028 103 | 49.017 % |
455.99/456.25 c | 157421 | 31520 159209 432215 | 2147483647 155901 103 | 49.017 % |
459.79/460.00 c | 158379 | 31406 158369 430215 | 2147483647 156845 103 | 49.017 % |
464.49/464.79 c | 159435 | 31406 158369 430215 | 2147483647 157901 103 | 49.017 % |
469.19/469.47 c | 160594 | 31406 158369 430215 | 2147483647 159060 103 | 49.017 % |
473.28/473.51 c | 161868 | 31406 158369 430215 | 2147483647 160334 103 | 49.018 % |
477.88/478.17 c | 163268 | 31406 158369 430215 | 2147483647 161734 103 | 49.017 % |
483.08/483.34 c | 164808 | 31406 158369 430215 | 2147483647 163274 103 | 49.017 % |
488.69/488.99 c | 166505 | 31406 158369 430215 | 2147483647 164971 102 | 49.017 % |
489.28/489.52 c | 166607 | 31406 158369 430215 | 2147483647 165073 102 | 49.017 % |
489.68/489.95 c | 166718 | 31406 158369 430215 | 2147483647 165184 102 | 49.018 % |
490.08/490.34 c | 166840 | 31406 158369 430215 | 2147483647 165306 102 | 49.017 % |
490.58/490.87 c | 166974 | 31406 158369 430215 | 2147483647 165440 102 | 49.017 % |
491.28/491.51 c | 167122 | 31406 158369 430215 | 2147483647 165588 102 | 49.017 % |
491.88/492.16 c | 167282 | 31406 158369 430215 | 2147483647 165748 102 | 49.018 % |
492.38/492.67 c | 167458 | 31406 158369 430215 | 2147483647 165924 102 | 49.017 % |
493.18/493.41 c | 167651 | 31406 158369 430215 | 2147483647 166117 102 | 49.017 % |
493.68/493.94 c | 167863 | 31406 158369 430215 | 2147483647 166329 102 | 49.018 % |
494.38/494.62 c | 168104 | 31406 158369 430215 | 2147483647 166570 102 | 49.017 % |
494.98/495.22 c | 168360 | 31406 158369 430215 | 2147483647 166826 102 | 49.017 % |
495.68/495.96 c | 168643 | 31406 158369 430215 | 2147483647 167109 102 | 49.017 % |
496.98/497.21 c | 168953 | 31406 158369 430215 | 2147483647 167419 102 | 49.017 % |
498.18/498.45 c | 169292 | 31406 158369 430215 | 2147483647 167758 102 | 49.017 % |
499.38/499.62 c | 169664 | 31406 158369 430215 | 2147483647 168130 102 | 49.017 % |
500.78/501.02 c | 170074 | 31406 158369 430215 | 2147483647 168540 102 | 49.017 % |
502.98/503.25 c | 170524 | 31406 158369 430215 | 2147483647 168990 102 | 49.017 % |
505.47/505.71 c | 171017 | 31406 158369 430215 | 2147483647 169483 102 | 49.017 % |
507.57/507.80 c | 171561 | 31406 158369 430215 | 2147483647 170027 102 | 49.017 % |
509.68/509.99 c | 172157 | 31406 158369 430215 | 2147483647 170623 102 | 49.017 % |
512.47/512.79 c | 172814 | 31406 158369 430215 | 2147483647 171280 102 | 49.017 % |
515.07/515.39 c | 173534 | 31406 158369 430215 | 2147483647 172000 102 | 49.017 % |
518.47/518.72 c | 174327 | 31294 157798 428681 | 2147483647 172785 103 | 49.228 % |
522.46/522.77 c | 175199 | 31294 157798 428681 | 2147483647 173657 103 | 49.228 % |
525.86/526.15 c | 176161 | 31294 157798 428681 | 2147483647 174619 103 | 49.228 % |
530.37/530.69 c | 177214 | 31294 157798 428681 | 2147483647 175672 103 | 49.228 % |
534.67/534.96 c | 178384 | 31293 157798 428681 | 2147483647 176841 103 | 49.244 % |
540.47/540.79 c | 179658 | 31293 157798 428681 | 2147483647 178114 103 | 49.262 % |
546.97/547.21 c | 181058 | 31247 157482 427918 | 2147483647 179485 104 | 49.275 % |
552.96/553.25 c | 182600 | 31247 157482 427918 | 2147483647 181027 104 | 49.275 % |
559.66/559.99 c | 184298 | 31247 157482 427918 | 2147483647 182724 104 | 49.290 % |
566.86/567.17 c | 186164 | 31247 157482 427918 | 2147483647 184590 104 | 49.290 % |
567.35/567.63 c | 186267 | 31247 157482 427918 | 2147483647 184693 104 | 49.290 % |
567.75/568.04 c | 186377 | 31247 157482 427918 | 2147483647 184803 104 | 49.290 % |
568.15/568.47 c | 186500 | 31247 157482 427918 | 2147483647 184926 104 | 49.290 % |
569.06/569.33 c | 186633 | 31247 157482 427918 | 2147483647 185059 104 | 49.290 % |
569.46/569.75 c | 186779 | 31247 157482 427918 | 2147483647 185205 104 | 49.290 % |
570.06/570.38 c | 186941 | 31247 157482 427918 | 2147483647 185367 104 | 49.290 % |
570.76/571.00 c | 187118 | 31247 157482 427918 | 2147483647 185544 104 | 49.290 % |
571.26/571.60 c | 187311 | 31247 157482 427918 | 2147483647 185737 104 | 49.290 % |
572.06/572.30 c | 187523 | 31247 157482 427918 | 2147483647 185949 104 | 49.290 % |
573.16/573.47 c | 187756 | 31247 157482 427918 | 2147483647 186182 104 | 49.290 % |
574.46/574.78 c | 188012 | 31247 157482 427918 | 2147483647 186438 104 | 49.290 % |
575.75/576.06 c | 188297 | 31247 157482 427918 | 2147483647 186723 104 | 49.290 % |
577.45/577.72 c | 188606 | 31247 157482 427918 | 2147483647 187032 104 | 49.290 % |
579.05/579.33 c | 188945 | 31247 157482 427918 | 2147483647 187371 103 | 49.290 % |
580.75/581.08 c | 189320 | 31247 157482 427918 | 2147483647 187746 103 | 49.290 % |
583.15/583.44 c | 189729 | 31247 157482 427918 | 2147483647 188155 103 | 49.290 % |
585.85/586.10 c | 190179 | 31243 157482 427918 | 2147483647 188604 103 | 49.340 % |
587.75/588.10 c | 190673 | 31243 157482 427918 | 2147483647 189098 103 | 49.340 % |
589.65/589.98 c | 191216 | 31243 157482 427918 | 2147483647 189641 103 | 49.340 % |
591.75/592.03 c | 191812 | 31242 157482 427918 | 2147483647 190236 103 | 49.353 % |
594.25/594.58 c | 192467 | 31242 157482 427918 | 2147483647 190891 103 | 49.353 % |
596.34/596.62 c | 193189 | 31199 157162 427116 | 2147483647 191578 104 | 49.353 % |
598.75/599.08 c | 193981 | 31199 157162 427116 | 2147483647 192370 104 | 49.353 % |
601.74/602.04 c | 194852 | 31199 157162 427116 | 2147483647 193241 104 | 49.353 % |
605.84/606.12 c | 195814 | 31197 157162 427116 | 2147483647 194201 104 | 49.498 % |
609.14/609.41 c | 196869 | 31197 157162 427116 | 2147483647 195256 104 | 49.498 % |
613.43/613.70 c | 198028 | 31197 157162 427116 | 2147483647 196415 105 | 49.498 % |
618.34/618.64 c | 199302 | 31197 157162 427116 | 2147483647 197689 105 | 49.498 % |
625.34/625.61 c | 200707 | 31197 157162 427116 | 2147483647 199093 106 | 49.514 % |
631.93/632.20 c | 202248 | 31197 157162 427116 | 2147483647 200634 107 | 49.514 % |
639.44/639.77 c | 203945 | 31193 157162 427116 | 2147483647 202330 107 | 49.541 % |
648.13/648.45 c | 205809 | 31083 156402 425234 | 2147483647 204177 107 | 49.558 % |
655.22/655.56 c | 207858 | 31076 156402 425234 | 2147483647 206223 107 | 49.777 % |
655.62/655.98 c | 207959 | 31076 156402 425234 | 2147483647 206324 107 | 49.777 % |
656.32/656.68 c | 208072 | 31076 156402 425234 | 2147483647 206437 107 | 49.777 % |
656.72/657.03 c | 208195 | 31076 156402 425234 | 2147483647 206560 107 | 49.777 % |
657.32/657.66 c | 208330 | 31076 156402 425234 | 2147483647 206695 107 | 49.777 % |
658.03/658.36 c | 208476 | 31076 156402 425234 | 2147483647 206841 107 | 49.777 % |
658.72/659.03 c | 208637 | 31076 156402 425234 | 2147483647 207002 107 | 49.777 % |
659.32/659.63 c | 208813 | 31076 156402 425234 | 2147483647 207178 107 | 49.777 % |
659.93/660.28 c | 209006 | 31076 156402 425234 | 2147483647 207371 107 | 49.777 % |
660.53/660.89 c | 209220 | 31076 156402 425234 | 2147483647 207585 107 | 49.777 % |
661.43/661.75 c | 209454 | 31076 156402 425234 | 2147483647 207819 107 | 49.777 % |
662.43/662.79 c | 209710 | 31076 156402 425234 | 2147483647 208075 107 | 49.777 % |
664.03/664.37 c | 209992 | 31076 156402 425234 | 2147483647 208357 107 | 49.777 % |
666.13/666.46 c | 210301 | 31076 156402 425234 | 2147483647 208666 107 | 49.777 % |
668.12/668.40 c | 210646 | 31076 156402 425234 | 2147483647 209011 107 | 49.777 % |
669.92/670.23 c | 211026 | 31076 156402 425234 | 2147483647 209391 107 | 49.777 % |
672.02/672.40 c | 211436 | 31076 156402 425234 | 2147483647 209801 107 | 49.777 % |
674.42/674.80 c | 211887 | 31076 156402 425234 | 2147483647 210252 107 | 49.777 % |
677.32/677.63 c | 212381 | 31076 156402 425234 | 2147483647 210746 107 | 49.777 % |
680.62/680.96 c | 212923 | 31076 156402 425234 | 2147483647 211288 106 | 49.777 % |
684.52/684.82 c | 213520 | 31076 156402 425234 | 2147483647 211885 106 | 49.777 % |
687.01/687.32 c | 214175 | 31076 156402 425234 | 2147483647 212540 106 | 49.777 % |
689.92/690.26 c | 214895 | 31076 156402 425234 | 2147483647 213260 107 | 49.777 % |
693.91/694.21 c | 215687 | 30938 155511 422905 | 2147483647 214029 107 | 49.777 % |
698.12/698.44 c | 216559 | 30938 155511 422905 | 2147483647 214901 107 | 49.777 % |
701.72/702.03 c | 217518 | 30938 155511 422905 | 2147483647 215860 106 | 49.777 % |
706.42/706.74 c | 218571 | 30938 155511 422905 | 2147483647 216913 107 | 49.777 % |
711.01/711.36 c | 219729 | 30938 155511 422905 | 2147483647 218071 106 | 49.777 % |
716.11/716.44 c | 221004 | 30938 155511 422905 | 2147483647 219346 106 | 49.777 % |
723.20/723.55 c | 222406 | 30938 155511 422905 | 2147483647 220748 106 | 49.777 % |
730.00/730.36 c | 223948 | 30937 155511 422905 | 2147483647 222289 106 | 49.783 % |
737.01/737.34 c | 225645 | 30937 155511 422905 | 2147483647 223986 106 | 49.783 % |
745.90/746.25 c | 227508 | 30936 155511 422905 | 2147483647 225848 106 | 49.827 % |
755.30/755.66 c | 229557 | 30936 155511 422905 | 2147483647 227897 106 | 49.827 % |
765.50/765.87 c | 231812 | 30907 155331 422422 | 2147483647 230144 106 | 49.827 % |
766.10/766.43 c | 231916 | 30907 155331 422422 | 2147483647 230248 106 | 49.827 % |
766.60/766.91 c | 232028 | 30907 155331 422422 | 2147483647 230360 106 | 49.827 % |
767.20/767.50 c | 232149 | 30907 155331 422422 | 2147483647 230481 106 | 49.827 % |
767.70/768.05 c | 232283 | 30907 155331 422422 | 2147483647 230615 106 | 49.827 % |
768.80/769.19 c | 232432 | 30907 155331 422422 | 2147483647 230764 106 | 49.827 % |
769.80/770.12 c | 232593 | 30907 155331 422422 | 2147483647 230925 106 | 49.828 % |
770.70/771.03 c | 232769 | 30907 155331 422422 | 2147483647 231101 106 | 49.828 % |
771.90/772.26 c | 232964 | 30907 155331 422422 | 2147483647 231296 106 | 49.828 % |
773.20/773.60 c | 233177 | 30907 155331 422422 | 2147483647 231509 106 | 49.827 % |
774.60/774.96 c | 233410 | 30907 155331 422422 | 2147483647 231742 106 | 49.827 % |
775.99/776.31 c | 233669 | 30907 155331 422422 | 2147483647 232001 106 | 49.827 % |
777.19/777.58 c | 233955 | 30907 155331 422422 | 2147483647 232287 106 | 49.827 % |
778.49/778.88 c | 234265 | 30907 155331 422422 | 2147483647 232597 106 | 49.827 % |
780.79/781.10 c | 234608 | 30907 155331 422422 | 2147483647 232940 106 | 49.827 % |
782.19/782.54 c | 234981 | 30907 155331 422422 | 2147483647 233313 106 | 49.827 % |
784.09/784.42 c | 235392 | 30907 155331 422422 | 2147483647 233724 106 | 49.827 % |
786.09/786.41 c | 235841 | 30907 155331 422422 | 2147483647 234173 106 | 49.827 % |
787.80/788.11 c | 236334 | 30907 155331 422422 | 2147483647 234666 106 | 49.827 % |
789.39/789.79 c | 236882 | 30907 155331 422422 | 2147483647 235214 106 | 49.827 % |
791.39/791.74 c | 237480 | 30907 155331 422422 | 2147483647 235812 106 | 49.827 % |
794.59/794.91 c | 238136 | 30907 155331 422422 | 2147483647 236468 106 | 49.827 % |
797.49/797.81 c | 238856 | 30907 155331 422422 | 2147483647 237188 106 | 49.827 % |
800.89/801.27 c | 239648 | 30907 155331 422422 | 2147483647 237980 106 | 49.827 % |
804.19/804.54 c | 240519 | 30907 155331 422422 | 2147483647 238851 106 | 49.827 % |
808.18/808.54 c | 241477 | 30906 155331 422422 | 2147483647 239808 106 | 49.861 % |
812.58/812.99 c | 242531 | 30906 155331 422422 | 2147483647 240862 106 | 49.861 % |
818.28/818.68 c | 243689 | 30886 155178 422025 | 2147483647 242004 106 | 49.861 % |
823.77/824.16 c | 244964 | 30886 155178 422025 | 2147483647 243279 106 | 49.861 % |
830.28/830.66 c | 246364 | 30886 155178 422025 | 2147483647 244678 106 | 49.931 % |
839.27/839.68 c | 247905 | 30886 155178 422025 | 2147483647 246219 107 | 49.931 % |
848.87/849.22 c | 249600 | 30886 155178 422025 | 2147483647 247914 106 | 49.931 % |
856.46/856.83 c | 251463 | 30884 155178 422025 | 2147483647 249774 106 | 50.139 % |
864.07/864.49 c | 253518 | 30884 155178 422025 | 2147483647 251828 106 | 50.153 % |
874.26/874.65 c | 255773 | 30884 155178 422025 | 2147483647 254083 106 | 50.153 % |
885.56/885.98 c | 258251 | 30706 153951 419019 | 2147483647 256491 107 | 50.153 % |
886.06/886.45 c | 258351 | 30706 153951 419019 | 2147483647 256591 107 | 50.153 % |
886.46/886.88 c | 258464 | 30706 153951 419019 | 2147483647 256704 107 | 50.153 % |
886.96/887.36 c | 258587 | 30706 153951 419019 | 2147483647 256827 107 | 50.154 % |
887.76/888.15 c | 258722 | 30706 153951 419019 | 2147483647 256962 107 | 50.153 % |
888.46/888.83 c | 258868 | 30706 153951 419019 | 2147483647 257108 107 | 50.153 % |
889.25/889.60 c | 259031 | 30706 153951 419019 | 2147483647 257271 107 | 50.153 % |
890.65/891.04 c | 259209 | 30706 153951 419019 | 2147483647 257449 107 | 50.153 % |
891.65/892.00 c | 259407 | 30706 153951 419019 | 2147483647 257647 107 | 50.154 % |
893.25/893.64 c | 259620 | 30706 153951 419019 | 2147483647 257860 107 | 50.153 % |
894.56/894.92 c | 259854 | 30706 153951 419019 | 2147483647 258094 107 | 50.153 % |
896.05/896.40 c | 260110 | 30706 153951 419019 | 2147483647 258350 107 | 50.153 % |
897.25/897.61 c | 260391 | 30706 153951 419019 | 2147483647 258631 106 | 50.153 % |
899.05/899.46 c | 260702 | 30706 153951 419019 | 2147483647 258942 106 | 50.153 % |
900.55/901.00 c | 261041 | 30706 153951 419019 | 2147483647 259281 106 | 50.153 % |
902.95/903.39 c | 261414 | 30706 153951 419019 | 2147483647 259654 106 | 50.153 % |
905.26/905.64 c | 261824 | 30706 153951 419019 | 2147483647 260064 106 | 50.154 % |
907.86/908.23 c | 262273 | 30706 153951 419019 | 2147483647 260513 106 | 50.153 % |
910.96/911.35 c | 262767 | 30705 153951 419019 | 2147483647 261006 106 | 50.168 % |
914.45/914.80 c | 263310 | 30705 153951 419019 | 2147483647 261549 106 | 50.168 % |
918.15/918.52 c | 263908 | 30705 153951 419019 | 2147483647 262147 106 | 50.168 % |
921.65/922.08 c | 264567 | 30705 153951 419019 | 2147483647 262806 106 | 50.168 % |
926.25/926.68 c | 265287 | 30705 153951 419019 | 2147483647 263526 106 | 50.168 % |
929.25/929.69 c | 266083 | 30705 153951 419019 | 2147483647 264322 106 | 50.168 % |
934.05/934.42 c | 266954 | 30705 153951 419019 | 2147483647 265193 106 | 50.168 % |
939.44/939.89 c | 267912 | 30705 153951 419019 | 2147483647 266151 106 | 50.168 % |
944.85/945.26 c | 268968 | 30705 153951 419019 | 2147483647 267207 106 | 50.168 % |
950.45/950.89 c | 270127 | 30705 153951 419019 | 2147483647 268366 106 | 50.168 % |
956.24/956.65 c | 271400 | 30688 153826 418726 | 2147483647 269637 106 | 50.183 % |
963.94/964.33 c | 272801 | 30688 153826 418726 | 2147483647 271038 106 | 50.183 % |
970.44/970.83 c | 274341 | 30688 153826 418726 | 2147483647 272578 106 | 50.183 % |
980.34/980.79 c | 276040 | 30688 153826 418726 | 2147483647 274276 106 | 50.199 % |
990.33/990.77 c | 277903 | 30688 153826 418726 | 2147483647 276139 106 | 50.199 % |
1000.72/1001.10 c | 279955 | 30688 153826 418726 | 2147483647 278191 106 | 50.199 % |
1010.72/1011.16 c | 282208 | 30688 153826 418726 | 2147483647 280444 106 | 50.199 % |
1021.32/1021.70 c | 284686 | 30688 153826 418726 | 2147483647 282922 106 | 50.199 % |
1035.12/1035.53 c | 287412 | 30688 153826 418726 | 2147483647 285648 106 | 50.199 % |
1035.72/1036.17 c | 287514 | 30678 153761 418560 | 2147483647 285744 106 | 50.199 % |
1036.32/1036.77 c | 287624 | 30678 153761 418560 | 2147483647 285854 106 | 50.199 % |
1036.82/1037.23 c | 287746 | 30678 153761 418560 | 2147483647 285976 106 | 50.199 % |
1037.62/1038.01 c | 287879 | 30678 153761 418560 | 2147483647 286109 106 | 50.199 % |
1038.32/1038.75 c | 288027 | 30678 153761 418560 | 2147483647 286257 106 | 50.199 % |
1039.42/1039.80 c | 288187 | 30678 153761 418560 | 2147483647 286417 106 | 50.199 % |
1040.42/1040.86 c | 288365 | 30678 153761 418560 | 2147483647 286595 106 | 50.199 % |
1041.42/1041.88 c | 288560 | 30678 153761 418560 | 2147483647 286790 106 | 50.199 % |
1042.82/1043.26 c | 288774 | 30678 153761 418560 | 2147483647 287004 106 | 50.199 % |
1044.22/1044.63 c | 289010 | 30678 153761 418560 | 2147483647 287240 106 | 50.199 % |
1045.62/1046.06 c | 289270 | 30678 153761 418560 | 2147483647 287500 106 | 50.199 % |
1046.82/1047.29 c | 289552 | 30678 153761 418560 | 2147483647 287782 106 | 50.199 % |
1048.71/1049.15 c | 289863 | 30678 153761 418560 | 2147483647 288093 106 | 50.199 % |
1050.41/1050.88 c | 290208 | 30678 153761 418560 | 2147483647 288438 106 | 50.199 % |
1052.51/1052.92 c | 290581 | 30678 153761 418560 | 2147483647 288811 106 | 50.199 % |
1054.21/1054.62 c | 290990 | 30678 153761 418560 | 2147483647 289220 106 | 50.199 % |
1056.22/1056.61 c | 291441 | 30678 153761 418560 | 2147483647 289671 105 | 50.199 % |
1058.71/1059.13 c | 291936 | 30678 153761 418560 | 2147483647 290166 105 | 50.199 % |
1061.21/1061.60 c | 292478 | 30678 153761 418560 | 2147483647 290708 105 | 50.199 % |
1063.21/1063.67 c | 293076 | 30678 153761 418560 | 2147483647 291306 105 | 50.199 % |
1066.81/1067.27 c | 293736 | 30678 153761 418560 | 2147483647 291966 105 | 50.199 % |
1070.41/1070.89 c | 294456 | 30678 153761 418560 | 2147483647 292686 105 | 50.199 % |
1074.91/1075.32 c | 295248 | 30678 153761 418560 | 2147483647 293478 105 | 50.199 % |
1079.20/1079.63 c | 296120 | 30678 153761 418560 | 2147483647 294350 105 | 50.199 % |
1083.51/1083.92 c | 297082 | 30678 153761 418560 | 2147483647 295311 105 | 50.212 % |
1087.90/1088.34 c | 298135 | 30678 153761 418560 | 2147483647 296364 105 | 50.212 % |
1092.50/1092.98 c | 299294 | 30678 153761 418560 | 2147483647 297523 106 | 50.212 % |
1098.20/1098.66 c | 300567 | 30678 153761 418560 | 2147483647 298796 106 | 50.212 % |
1104.19/1104.62 c | 301968 | 30678 153761 418560 | 2147483647 300197 105 | 50.212 % |
1111.10/1111.55 c | 303510 | 30678 153761 418560 | 2147483647 301739 106 | 50.212 % |
1117.29/1117.71 c | 305204 | 30678 153761 418560 | 2147483647 303433 106 | 50.212 % |
1127.79/1128.28 c | 307068 | 30678 153761 418560 | 2147483647 305297 105 | 50.212 % |
1139.88/1140.36 c | 309118 | 30678 153761 418560 | 2147483647 307347 105 | 50.212 % |
1147.69/1148.14 c | 311371 | 30678 153761 418560 | 2147483647 309600 105 | 50.212 % |
1158.98/1159.49 c | 313849 | 30670 153700 418417 | 2147483647 312077 105 | 50.218 % |
1171.59/1172.02 c | 316574 | 30670 153700 418417 | 2147483647 314802 105 | 50.218 % |
1188.28/1188.77 c | 319571 | 30670 153700 418417 | 2147483647 317799 105 | 50.218 % |
1188.88/1189.32 c | 319676 | 30670 153700 418417 | 2147483647 317904 105 | 50.219 % |
1189.58/1190.09 c | 319786 | 30670 153700 418417 | 2147483647 318014 105 | 50.218 % |
1190.18/1190.64 c | 319910 | 30670 153700 418417 | 2147483647 318138 105 | 50.218 % |
1190.88/1191.33 c | 320044 | 30670 153700 418417 | 2147483647 318272 105 | 50.218 % |
1192.28/1192.74 c | 320191 | 30670 153700 418417 | 2147483647 318419 105 | 50.218 % |
1193.38/1193.83 c | 320352 | 30670 153700 418417 | 2147483647 318580 105 | 50.218 % |
1194.47/1194.96 c | 320530 | 30670 153700 418417 | 2147483647 318758 105 | 50.218 % |
1196.17/1196.62 c | 320723 | 30670 153700 418417 | 2147483647 318951 105 | 50.218 % |
1198.08/1198.52 c | 320935 | 30670 153700 418417 | 2147483647 319163 105 | 50.218 % |
1199.37/1199.88 c | 321168 | 30670 153700 418417 | 2147483647 319396 105 | 50.218 % |
1200.97/1201.49 c | 321425 | 30670 153700 418417 | 2147483647 319653 105 | 50.218 % |
1202.48/1202.98 c | 321706 | 30670 153700 418417 | 2147483647 319934 105 | 50.218 % |
1204.17/1204.65 c | 322015 | 30670 153700 418417 | 2147483647 320243 105 | 50.218 % |
1205.68/1206.11 c | 322356 | 30670 153700 418417 | 2147483647 320584 105 | 50.218 % |
1207.67/1208.14 c | 322732 | 30670 153700 418417 | 2147483647 320960 104 | 50.218 % |
1209.97/1210.44 c | 323141 | 30670 153700 418417 | 2147483647 321369 105 | 50.218 % |
1212.07/1212.52 c | 323593 | 30669 153700 418417 | 2147483647 321820 105 | 50.235 % |
1215.17/1215.70 c | 324086 | 30669 153700 418417 | 2147483647 322313 105 | 50.235 % |
1218.06/1218.51 c | 324629 | 30668 153700 418417 | 2147483647 322854 105 | 50.261 % |
1220.96/1221.48 c | 325225 | 30668 153700 418417 | 2147483647 323450 105 | 50.261 % |
1223.37/1223.88 c | 325880 | 30668 153700 418417 | 2147483647 324105 105 | 50.261 % |
1227.06/1227.50 c | 326604 | 30668 153700 418417 | 2147483647 324829 105 | 50.261 % |
1230.97/1231.49 c | 327399 | 30668 153700 418417 | 2147483647 325624 104 | 50.261 % |
1235.96/1236.43 c | 328270 | 30668 153700 418417 | 2147483647 326495 104 | 50.261 % |
1242.36/1242.86 c | 329231 | 30640 153494 417912 | 2147483647 327430 105 | 50.261 % |
1247.26/1247.77 c | 330284 | 30640 153494 417912 | 2147483647 328483 105 | 50.261 % |
1254.65/1255.19 c | 331443 | 30640 153494 417912 | 2147483647 329641 105 | 50.280 % |
1262.06/1262.50 c | 332716 | 30640 153494 417912 | 2147483647 330914 105 | 50.280 % |
1271.06/1271.56 c | 334116 | 30640 153494 417912 | 2147483647 332314 105 | 50.280 % |
1279.85/1280.40 c | 335656 | 30640 153494 417912 | 2147483647 333854 105 | 50.280 % |
1291.25/1291.74 c | 337352 | 30640 153494 417912 | 2147483647 335550 105 | 50.280 % |
1300.75/1301.28 c | 339216 | 30640 153494 417912 | 2147483647 337414 105 | 50.280 % |
1312.24/1312.75 c | 341265 | 30640 153494 417912 | 2147483647 339463 105 | 50.280 % |
1324.95/1325.44 c | 343519 | 30640 153494 417912 | 2147483647 341717 105 | 50.280 % |
1337.34/1337.82 c | 345998 | 30640 153494 417912 | 2147483647 344196 105 | 50.280 % |
1351.13/1351.61 c | 348723 | 30628 153415 417709 | 2147483647 346917 104 | 50.280 % |
1364.83/1365.31 c | 351720 | 30628 153415 417709 | 2147483647 349914 104 | 50.280 % |
1380.83/1381.31 c | 355019 | 30628 153415 417709 | 2147483647 353213 105 | 50.280 % |
1381.73/1382.21 c | 355120 | 30628 153415 417709 | 2147483647 353314 105 | 50.280 % |
1382.33/1382.81 c | 355231 | 30628 153415 417709 | 2147483647 353425 105 | 50.280 % |
1383.03/1383.56 c | 355353 | 30628 153415 417709 | 2147483647 353547 105 | 50.280 % |
1383.63/1384.18 c | 355487 | 30628 153415 417709 | 2147483647 353681 105 | 50.280 % |
1384.83/1385.37 c | 355633 | 30628 153415 417709 | 2147483647 353827 105 | 50.280 % |
1385.52/1386.06 c | 355793 | 30628 153415 417709 | 2147483647 353987 105 | 50.280 % |
1386.52/1387.03 c | 355970 | 30628 153415 417709 | 2147483647 354164 105 | 50.280 % |
1387.62/1388.15 c | 356163 | 30628 153415 417709 | 2147483647 354357 105 | 50.280 % |
1388.72/1389.21 c | 356375 | 30628 153415 417709 | 2147483647 354568 105 | 50.300 % |
1389.72/1390.26 c | 356608 | 30628 153415 417709 | 2147483647 354801 105 | 50.300 % |
1391.63/1392.13 c | 356864 | 30628 153415 417709 | 2147483647 355057 105 | 50.300 % |
1392.62/1393.15 c | 357145 | 30628 153415 417709 | 2147483647 355338 105 | 50.300 % |
1394.73/1395.29 c | 357455 | 30628 153415 417709 | 2147483647 355648 105 | 50.300 % |
1396.73/1397.29 c | 357795 | 30628 153415 417709 | 2147483647 355988 105 | 50.300 % |
1399.12/1399.63 c | 358167 | 30628 153415 417709 | 2147483647 356360 105 | 50.300 % |
1401.62/1402.18 c | 358576 | 30628 153415 417709 | 2147483647 356769 105 | 50.300 % |
1404.42/1404.99 c | 359032 | 30628 153415 417709 | 2147483647 357225 105 | 50.300 % |
1407.92/1408.48 c | 359528 | 30628 153415 417709 | 2147483647 357721 105 | 50.300 % |
1411.12/1411.62 c | 360073 | 30628 153415 417709 | 2147483647 358266 105 | 50.300 % |
1415.62/1416.16 c | 360670 | 30628 153415 417709 | 2147483647 358862 105 | 50.469 % |
1420.12/1420.66 c | 361330 | 30628 153415 417709 | 2147483647 359522 105 | 50.469 % |
1425.01/1425.54 c | 362056 | 30628 153415 417709 | 2147483647 360248 105 | 50.468 % |
1429.61/1430.11 c | 362850 | 30628 153415 417709 | 2147483647 361041 105 | 50.475 % |
1434.81/1435.30 c | 363723 | 30627 153415 417709 | 2147483647 361911 105 | 53.056 % |
1440.31/1440.80 c | 364681 | 30627 153415 417709 | 2147483647 362869 105 | 53.056 % |
1447.21/1447.80 c | 365734 | 30627 153415 417709 | 2147483647 363922 105 | 53.056 % |
1453.01/1453.58 c | 366893 | 30627 153415 417709 | 2147483647 365081 105 | 53.056 % |
1458.81/1459.34 c | 368167 | 28918 143910 392708 | 2147483647 366239 105 | 53.056 % |
1465.80/1466.33 c | 369567 | 28918 143910 392708 | 2147483647 367639 105 | 53.056 % |
1474.01/1474.51 c | 371107 | 28918 143910 392708 | 2147483647 369179 105 | 53.056 % |
1484.50/1485.07 c | 372801 | 28916 143910 392708 | 2147483647 370871 105 | 53.087 % |
1495.10/1495.60 c | 374665 | 28916 143910 392708 | 2147483647 372735 105 | 53.087 % |
1509.59/1510.15 c | 376716 | 28916 143910 392708 | 2147483647 374786 105 | 53.087 % |
1521.39/1521.93 c | 378972 | 28916 143910 392708 | 2147483647 377042 105 | 53.087 % |
1538.18/1538.70 c | 381450 | 28916 143910 392708 | 2147483647 379520 105 | 53.087 % |
1553.98/1554.57 c | 384176 | 28916 143910 392708 | 2147483647 382246 105 | 53.087 % |
1570.57/1571.18 c | 387174 | 28916 143910 392708 | 2147483647 385244 105 | 53.087 % |
1586.38/1586.99 c | 390470 | 28899 143797 392445 | 2147483647 388527 105 | 53.087 % |
1606.87/1607.46 c | 394100 | 28899 143797 392445 | 2147483647 392157 105 | 53.087 % |
1607.67/1608.21 c | 394201 | 28899 143797 392445 | 2147483647 392258 105 | 53.087 % |
1608.46/1609.07 c | 394312 | 28899 143797 392445 | 2147483647 392369 105 | 53.087 % |
1609.27/1609.83 c | 394434 | 28899 143797 392445 | 2147483647 392490 105 | 53.103 % |
1610.06/1610.64 c | 394569 | 28899 143797 392445 | 2147483647 392625 105 | 53.103 % |
1610.86/1611.41 c | 394717 | 28899 143797 392445 | 2147483647 392773 105 | 53.103 % |
1611.86/1612.47 c | 394877 | 28899 143797 392445 | 2147483647 392933 105 | 53.103 % |
1612.67/1613.28 c | 395056 | 28899 143797 392445 | 2147483647 393112 105 | 53.103 % |
1614.46/1615.06 c | 395254 | 28899 143797 392445 | 2147483647 393310 105 | 53.103 % |
1615.97/1616.53 c | 395466 | 28899 143797 392445 | 2147483647 393522 105 | 53.103 % |
1617.26/1617.90 c | 395702 | 28898 143797 392445 | 2147483647 393757 105 | 53.121 % |
1618.86/1619.47 c | 395960 | 28898 143797 392445 | 2147483647 394015 105 | 53.121 % |
1620.66/1621.26 c | 396243 | 28898 143797 392445 | 2147483647 394298 105 | 53.121 % |
1622.16/1622.73 c | 396552 | 28898 143797 392445 | 2147483647 394607 105 | 53.121 % |
1625.16/1625.71 c | 396892 | 28898 143797 392445 | 2147483647 394947 105 | 53.121 % |
1628.06/1628.64 c | 397264 | 28898 143797 392445 | 2147483647 395319 105 | 53.121 % |
1630.66/1631.27 c | 397674 | 28898 143797 392445 | 2147483647 395729 105 | 53.121 % |
1633.57/1634.14 c | 398124 | 28897 143797 392445 | 2147483647 396178 105 | 53.137 % |
1636.46/1637.03 c | 398618 | 28897 143797 392445 | 2147483647 396672 105 | 53.137 % |
1638.36/1638.94 c | 399160 | 28897 143797 392445 | 2147483647 397214 105 | 53.137 % |
1641.66/1642.22 c | 399756 | 28897 143797 392445 | 2147483647 397810 105 | 53.137 % |
1646.16/1646.70 c | 400412 | 28897 143797 392445 | 2147483647 398466 105 | 53.137 % |
1650.65/1651.20 c | 401132 | 28897 143797 392445 | 2147483647 399186 105 | 53.137 % |
1656.56/1657.14 c | 401928 | 28897 143797 392445 | 2147483647 399982 105 | 53.137 % |
1661.65/1662.24 c | 402802 | 28897 143797 392445 | 2147483647 400856 105 | 53.137 % |
1667.25/1667.87 c | 403760 | 28897 143797 392445 | 2147483647 401814 105 | 53.137 % |
1673.85/1674.41 c | 404817 | 28897 143797 392445 | 2147483647 402871 105 | 53.137 % |
1680.54/1681.16 c | 405976 | 28897 143797 392445 | 2147483647 404030 105 | 53.137 % |
1689.45/1690.05 c | 407249 | 28897 143797 392445 | 2147483647 405303 105 | 53.137 % |
1698.14/1698.79 c | 408650 | 28897 143797 392445 | 2147483647 406704 105 | 53.137 % |
1703.94/1704.58 c | 410191 | 28897 143797 392445 | 408056 408245 105 | 53.137 % |
1714.84/1715.45 c | 411886 | 28897 143797 392445 | 408056 409940 105 | 53.137 % |
1727.83/1728.48 c | 413749 | 28868 143608 391959 | 408056 411795 105 | 53.137 % |
1742.33/1742.99 c | 415801 | 28867 143608 391959 | 408056 413846 105 | 53.155 % |
1756.52/1757.20 c | 418057 | 28867 143608 391959 | 408056 416102 105 | 53.155 % |
1770.82/1771.49 c | 420536 | 28867 143608 391959 | 2147483647 418580 105 | 53.173 % |
1791.02/1791.62 c | 423261 | 28867 143608 391959 | 2147483647 421305 105 | 53.173 % |
1812.31/1812.90 c | 426259 | 28867 143608 391959 | 2147483647 424303 105 | 53.173 % |
1835.10/1835.71 c | 429557 | 28867 143608 391959 | 2147483647 427601 105 | 53.173 % |
1858.50/1859.11 c | 433182 | 28867 143608 391959 | 2147483647 431226 105 | 53.173 % |
1887.60/1888.23 c | 437173 | 28846 143458 391562 | 2147483647 435215 105 | 53.173 % |
1888.49/1889.13 c | 437273 | 28846 143458 391562 | 2147483647 435315 105 | 53.173 % |
1889.49/1890.16 c | 437383 | 28846 143458 391562 | 2147483647 435425 105 | 53.173 % |
1890.39/1891.04 c | 437504 | 28846 143458 391562 | 2147483647 435546 105 | 53.173 % |
1891.79/1892.44 c | 437637 | 28846 143458 391562 | 2147483647 435679 105 | 53.173 % |
1893.29/1893.99 c | 437784 | 28846 143458 391562 | 2147483647 435826 105 | 53.173 % |
1894.89/1895.56 c | 437945 | 28846 143458 391562 | 2147483647 435987 105 | 53.173 % |
1896.89/1897.52 c | 438121 | 28846 143458 391562 | 2147483647 436163 105 | 53.173 % |
1898.29/1898.96 c | 438314 | 28846 143458 391562 | 2147483647 436356 105 | 53.173 % |
1900.39/1901.00 c | 438529 | 28846 143458 391562 | 2147483647 436571 105 | 53.173 % |
1903.09/1903.70 c | 438764 | 28846 143458 391562 | 2147483647 436806 105 | 53.173 % |
1905.19/1905.85 c | 439021 | 28846 143458 391562 | 2147483647 437063 105 | 53.173 % |
1908.18/1908.84 c | 439303 | 28846 143458 391562 | 2147483647 437345 105 | 53.173 % |
1911.28/1911.96 c | 439614 | 28846 143458 391562 | 2147483647 437656 105 | 53.173 % |
1913.78/1914.47 c | 439953 | 28846 143458 391562 | 2147483647 437995 105 | 53.173 % |
1916.18/1916.83 c | 440326 | 28846 143458 391562 | 438044 438368 105 | 53.173 % |
1918.48/1919.17 c | 440737 | 28846 143458 391562 | 438044 438779 105 | 53.173 % |
1921.08/1921.73 c | 441186 | 28846 143458 391562 | 438044 439228 105 | 53.173 % |
1925.28/1925.90 c | 441679 | 28846 143458 391562 | 438044 439721 105 | 53.173 % |
1929.88/1930.52 c | 442223 | 28846 143458 391562 | 438044 440265 105 | 53.173 % |
1933.38/1934.01 c | 442821 | 28846 143458 391562 | 438044 440863 105 | 53.173 % |
1938.48/1939.13 c | 443478 | 28846 143458 391562 | 438044 441520 105 | 53.173 % |
1944.78/1945.49 c | 444200 | 28846 143458 391562 | 438044 442242 105 | 53.173 % |
1949.18/1949.80 c | 444992 | 28846 143458 391562 | 438044 443034 105 | 53.173 % |
1956.27/1956.96 c | 445864 | 28846 143458 391562 | 438044 443906 105 | 53.173 % |
1964.47/1965.15 c | 446824 | 28846 143458 391562 | 438044 444865 105 | 53.191 % |
1971.47/1972.17 c | 447879 | 28846 143458 391562 | 438044 445920 105 | 53.191 % |
1981.17/1981.83 c | 449037 | 28846 143458 391562 | 438044 447078 105 | 53.191 % |
1989.26/1989.95 c | 450310 | 28846 143458 391562 | 2147483647 448351 105 | 53.191 % |
2000.06/2000.73 c | 451710 | 28846 143458 391562 | 2147483647 449751 105 | 53.191 % |
2011.06/2011.72 c | 453252 | 28846 143458 391562 | 2147483647 451293 105 | 53.191 % |
2024.95/2025.61 c | 454946 | 28846 143458 391562 | 2147483647 452987 105 | 53.191 % |
2039.05/2039.77 c | 456814 | 28846 143458 391562 | 2147483647 454855 105 | 53.191 % |
2054.85/2055.51 c | 458864 | 28835 143386 391362 | 2147483647 456901 105 | 53.191 % |
2071.14/2071.85 c | 461118 | 28835 143386 391362 | 2147483647 459155 105 | 53.191 % |
2089.04/2089.77 c | 463597 | 28835 143386 391362 | 2147483647 461634 104 | 53.191 % |
2106.93/2107.68 c | 466323 | 28835 143386 391362 | 2147483647 464360 104 | 53.191 % |
2128.63/2129.32 c | 469323 | 28835 143386 391362 | 2147483647 467359 104 | 53.207 % |
2153.02/2153.71 c | 472619 | 28835 143386 391362 | 2147483647 470655 104 | 53.207 % |
2177.01/2177.76 c | 476244 | 28835 143386 391362 | 2147483647 474279 104 | 53.212 % |
2203.41/2204.11 c | 480231 | 28835 143386 391362 | 478037 478266 104 | 53.212 % |
2225.30/2226.09 c | 484617 | 28835 143386 391362 | 478037 482652 104 | 53.212 % |
2226.70/2227.44 c | 484718 | 28822 143305 391161 | 478037 482752 104 | 53.212 % |
2227.41/2228.17 c | 484828 | 28822 143305 391161 | 478037 482862 104 | 53.212 % |
2228.20/2228.91 c | 484949 | 28822 143305 391161 | 478037 482983 104 | 53.212 % |
2229.10/2229.83 c | 485085 | 28822 143305 391161 | 478037 483119 104 | 53.212 % |
2230.71/2231.47 c | 485233 | 28822 143305 391161 | 478037 483267 104 | 53.212 % |
2232.00/2232.73 c | 485393 | 28822 143305 391161 | 478037 483427 104 | 53.212 % |
2233.40/2234.14 c | 485572 | 28822 143305 391161 | 478037 483606 104 | 53.212 % |
2235.60/2236.39 c | 485765 | 28822 143305 391161 | 478037 483799 104 | 53.212 % |
2237.90/2238.67 c | 485979 | 28822 143305 391161 | 478037 484013 104 | 53.212 % |
2240.00/2240.72 c | 486213 | 28822 143305 391161 | 478037 484247 104 | 53.212 % |
2241.90/2242.64 c | 486469 | 28822 143305 391161 | 478037 484503 104 | 53.212 % |
2244.10/2244.80 c | 486754 | 28822 143305 391161 | 478037 484788 104 | 53.212 % |
2245.70/2246.46 c | 487063 | 28822 143305 391161 | 478037 485097 104 | 53.212 % |
2249.69/2250.48 c | 487402 | 28822 143305 391161 | 478037 485436 104 | 53.212 % |
2252.79/2253.50 c | 487775 | 28822 143305 391161 | 478037 485809 104 | 53.212 % |
2255.79/2256.55 c | 488185 | 28822 143305 391161 | 478037 486219 104 | 53.212 % |
2258.79/2259.59 c | 488635 | 28822 143305 391161 | 478037 486669 104 | 53.212 % |
2262.69/2263.48 c | 489135 | 28822 143305 391161 | 478037 487169 104 | 53.212 % |
2266.69/2267.40 c | 489677 | 28822 143305 391161 | 478037 487711 104 | 53.212 % |
2272.29/2273.06 c | 490275 | 28822 143305 391161 | 2147483647 488309 104 | 53.212 % |
2276.79/2277.52 c | 490930 | 28821 143305 391161 | 2147483647 488963 104 | 53.226 % |
2281.19/2281.98 c | 491653 | 28820 143305 391161 | 2147483647 489685 104 | 53.241 % |
2286.59/2287.39 c | 492445 | 28820 143305 391161 | 2147483647 490477 104 | 53.241 % |
2292.79/2293.55 c | 493318 | 28820 143305 391161 | 2147483647 491350 104 | 53.241 % |
2298.59/2299.31 c | 494280 | 28820 143305 391161 | 2147483647 492312 104 | 53.241 % |
2307.38/2308.17 c | 495337 | 28820 143305 391161 | 2147483647 493369 104 | 53.241 % |
2315.38/2316.13 c | 496495 | 28820 143305 391161 | 2147483647 494527 104 | 53.241 % |
2324.57/2325.39 c | 497768 | 28820 143305 391161 | 2147483647 495800 104 | 53.241 % |
2335.27/2336.02 c | 499169 | 28820 143305 391161 | 2147483647 497201 104 | 53.241 % |
2345.87/2346.67 c | 500709 | 28820 143305 391161 | 2147483647 498741 104 | 53.241 % |
2356.57/2357.35 c | 502406 | 28820 143305 391161 | 2147483647 500438 104 | 53.241 % |
2372.47/2373.26 c | 504269 | 28820 143305 391161 | 2147483647 502300 104 | 53.403 % |
2388.05/2388.88 c | 506319 | 28820 143305 391161 | 2147483647 504350 104 | 53.404 % |
2402.06/2402.81 c | 508575 | 28820 143305 391161 | 2147483647 506606 104 | 53.403 % |
2424.35/2425.11 c | 511057 | 28704 142583 389367 | 507865 508921 104 | 53.403 % |
2447.74/2448.54 c | 513782 | 28704 142583 389367 | 507865 511646 104 | 53.403 % |
2468.94/2469.74 c | 516780 | 28704 142583 389367 | 507865 514643 104 | 53.434 % |
2499.03/2499.89 c | 520076 | 28699 142583 389367 | 517863 517937 104 | 53.454 % |
2525.02/2525.87 c | 523702 | 28698 142583 389367 | 517863 521562 104 | 53.468 % |
2552.52/2553.32 c | 527691 | 28698 142583 389367 | 517863 525551 104 | 53.468 % |
2591.70/2592.52 c | 532079 | 28697 142583 389367 | 527859 529938 104 | 53.480 % |
2622.10/2622.99 c | 536903 | 28697 142583 389367 | 527859 534762 104 | 53.480 % |
2623.59/2624.40 c | 537006 | 28657 142264 388562 | 527859 534828 104 | 53.480 % |
2625.40/2626.24 c | 537116 | 28657 142264 388562 | 527859 534938 104 | 53.480 % |
2626.69/2627.52 c | 537237 | 28657 142264 388562 | 527859 535059 104 | 53.480 % |
2628.19/2629.09 c | 537370 | 28657 142264 388562 | 527859 535192 104 | 53.480 % |
2629.59/2630.41 c | 537518 | 28657 142264 388562 | 527859 535340 104 | 53.480 % |
2631.09/2631.97 c | 537679 | 28657 142264 388562 | 527859 535501 104 | 53.480 % |
2632.49/2633.39 c | 537856 | 28657 142264 388562 | 527859 535678 104 | 53.480 % |
2634.19/2635.08 c | 538049 | 28657 142264 388562 | 527859 535871 104 | 53.480 % |
2636.49/2637.32 c | 538261 | 28657 142264 388562 | 527859 536083 104 | 53.480 % |
2638.69/2639.59 c | 538495 | 28657 142264 388562 | 527859 536317 104 | 53.480 % |
2641.48/2642.30 c | 538752 | 28657 142264 388562 | 527859 536574 104 | 53.480 % |
2644.09/2644.98 c | 539034 | 28657 142264 388562 | 527859 536856 104 | 53.480 % |
2647.08/2647.94 c | 539346 | 28657 142264 388562 | 527859 537168 104 | 53.480 % |
2649.38/2650.26 c | 539688 | 28657 142264 388562 | 527859 537510 104 | 53.480 % |
2652.39/2653.24 c | 540063 | 28657 142264 388562 | 537823 537885 104 | 53.480 % |
2655.99/2656.82 c | 540473 | 28657 142264 388562 | 537823 538295 104 | 53.480 % |
2660.29/2661.15 c | 540922 | 28657 142264 388562 | 537823 538744 104 | 53.480 % |
2664.58/2665.49 c | 541419 | 28657 142264 388562 | 537823 539241 103 | 53.480 % |
2668.48/2669.37 c | 541962 | 28657 142264 388562 | 537823 539784 103 | 53.480 % |
2674.28/2675.16 c | 542558 | 28657 142264 388562 | 537823 540380 103 | 53.480 % |
2681.08/2681.96 c | 543215 | 28657 142264 388562 | 537823 541037 103 | 53.480 % |
2687.28/2688.11 c | 543939 | 28657 142264 388562 | 537823 541761 103 | 53.480 % |
2694.37/2695.25 c | 544732 | 28657 142264 388562 | 537823 542554 103 | 53.480 % |
2701.07/2701.95 c | 545606 | 28657 142264 388562 | 537823 543428 103 | 53.480 % |
2708.87/2709.75 c | 546564 | 28657 142264 388562 | 537823 544386 103 | 53.480 % |
2717.36/2718.23 c | 547617 | 28657 142264 388562 | 537823 545439 103 | 53.480 % |
2726.46/2727.37 c | 548778 | 28657 142264 388562 | 537823 546600 103 | 53.480 % |
2736.26/2737.15 c | 550052 | 28657 142264 388562 | 547822 547874 103 | 53.480 % |
2750.35/2751.23 c | 551457 | 28657 142264 388562 | 547822 549279 103 | 53.480 % |
2761.66/2762.58 c | 552997 | 28657 142264 388562 | 547822 550819 103 | 53.480 % |
2771.85/2772.75 c | 554692 | 28657 142264 388562 | 547822 552514 103 | 53.480 % |
2790.15/2791.03 c | 556556 | 28657 142264 388562 | 547822 554378 103 | 53.480 % |
2808.64/2809.51 c | 558606 | 28657 142264 388562 | 547822 556428 103 | 53.480 % |
2828.74/2829.63 c | 560863 | 28657 142264 388562 | 557822 558684 103 | 53.498 % |
2848.53/2849.45 c | 563344 | 28657 142264 388562 | 557822 561165 103 | 53.498 % |
2867.53/2868.50 c | 566069 | 28657 142264 388562 | 557822 563890 103 | 53.498 % |
2891.02/2891.94 c | 569066 | 28657 142264 388562 | 557822 566887 103 | 53.498 % |
2913.52/2914.44 c | 572363 | 28646 142199 388388 | 567822 570184 102 | 53.498 % |
2942.40/2943.36 c | 575988 | 28646 142199 388388 | 567822 573809 102 | 53.498 % |
2968.29/2969.27 c | 579976 | 28646 142199 388388 | 567822 577797 103 | 53.498 % |
3007.99/3008.91 c | 584362 | 28646 142199 388388 | 577821 582182 102 | 53.687 % |
3039.58/3040.57 c | 589187 | 28646 142199 388388 | 577821 587007 102 | 53.688 % |
3085.67/3086.68 c | 594495 | 28646 142199 388388 | 587823 592315 102 | 53.688 % |
3086.97/3087.94 c | 594595 | 28646 142199 388388 | 587823 592415 102 | 53.688 % |
3088.47/3089.49 c | 594712 | 28646 142199 388388 | 587823 592532 102 | 53.688 % |
3089.97/3090.92 c | 594834 | 28646 142199 388388 | 587823 592654 102 | 53.688 % |
3091.27/3092.21 c | 594968 | 28646 142199 388388 | 587823 592788 102 | 53.688 % |
3092.56/3093.50 c | 595117 | 28646 142199 388388 | 587823 592937 102 | 53.688 % |
3094.36/3095.33 c | 595278 | 28646 142199 388388 | 587823 593098 102 | 53.687 % |
3096.17/3097.18 c | 595455 | 28646 142199 388388 | 587823 593275 102 | 53.688 % |
3098.06/3099.02 c | 595650 | 28646 142199 388388 | 587823 593470 102 | 53.687 % |
3100.26/3101.27 c | 595862 | 28646 142199 388388 | 587823 593682 102 | 53.687 % |
3102.46/3103.49 c | 596102 | 28646 142199 388388 | 587823 593922 102 | 53.687 % |
3104.96/3105.90 c | 596358 | 28646 142199 388388 | 587823 594178 102 | 53.688 % |
3106.96/3107.92 c | 596641 | 28646 142199 388388 | 587823 594461 102 | 53.687 % |
3109.46/3110.42 c | 596950 | 28646 142199 388388 | 587823 594770 102 | 53.687 % |
3113.26/3114.20 c | 597290 | 28646 142199 388388 | 587823 595110 102 | 53.688 % |
3116.15/3117.17 c | 597662 | 28646 142199 388388 | 587823 595482 102 | 53.688 % |
3120.05/3121.04 c | 598071 | 28646 142199 388388 | 587823 595891 102 | 53.688 % |
3124.56/3125.57 c | 598521 | 28643 142199 388388 | 587823 596339 102 | 62.093 % |
3130.76/3131.76 c | 599015 | 28643 142199 388388 | 587823 596833 102 | 62.093 % |
3135.46/3136.49 c | 599559 | 28643 142199 388388 | 587823 597377 102 | 62.093 % |
3142.66/3143.61 c | 600157 | 28643 142199 388388 | 597819 597975 102 | 62.093 % |
3150.06/3151.07 c | 600816 | 28643 142199 388388 | 597819 598634 102 | 62.093 % |
3158.65/3159.67 c | 601538 | 23351 112417 306435 | 597819 598987 102 | 62.093 % |
3167.25/3168.21 c | 602332 | 23351 112417 306435 | 597819 599781 102 | 62.093 % |
3173.85/3174.86 c | 603203 | 23351 112417 306435 | 597819 600652 102 | 62.093 % |
3183.24/3184.25 c | 604162 | 23351 112417 306435 | 597819 601611 102 | 62.093 % |
3192.94/3193.91 c | 605215 | 23329 112417 306435 | 597819 602663 102 | 62.679 % |
3203.84/3204.89 c | 606375 | 23329 112417 306435 | 597819 603823 102 | 62.679 % |
3216.13/3217.19 c | 607649 | 23329 112417 306435 | 597819 605097 102 | 62.679 % |
3228.83/3229.84 c | 609049 | 23329 112417 306435 | 597819 606497 101 | 62.679 % |
3244.93/3245.92 c | 610590 | 23329 112417 306435 | 607448 608038 101 | 62.680 % |
3262.62/3263.63 c | 612286 | 23329 112417 306435 | 607448 609734 101 | 62.679 % |
3279.31/3280.34 c | 614149 | 23328 112417 306435 | 607448 611596 101 | 62.695 % |
3305.81/3306.85 c | 616201 | 23328 112417 306435 | 607448 613648 101 | 62.695 % |
3324.61/3325.60 c | 618455 | 23328 112417 306435 | 607448 615902 101 | 62.695 % |
3347.50/3348.51 c | 620934 | 23328 112417 306435 | 617452 618380 101 | 62.712 % |
3364.69/3365.71 c | 623662 | 23328 112417 306435 | 617452 621108 101 | 62.712 % |
3391.39/3392.48 c | 626659 | 23328 112417 306435 | 617452 624104 101 | 62.730 % |
3417.08/3418.14 c | 629963 | 23328 112417 306435 | 617452 627408 101 | 62.730 % |
3439.28/3440.36 c | 633591 | 23328 112417 306435 | 627445 631036 101 | 62.730 % |
3476.16/3477.20 c | 637578 | 22959 110104 300430 | 627445 634662 101 | 62.730 % |
3513.15/3514.29 c | 641967 | 22959 110104 300430 | 637087 639051 101 | 62.730 % |
3553.54/3554.67 c | 646793 | 22959 110104 300430 | 637087 643877 101 | 62.730 % |
3600.32/3601.46 c | 652101 | 22959 110104 300430 | 647083 649184 100 | 62.734 % |
3650.91/3652.04 c | 657937 | 22959 110104 300430 | 647083 655020 100 | 62.734 % |
3651.91/3653.01 c | 658039 | 22959 110104 300430 | 647083 655122 100 | 62.734 % |
3653.31/3654.49 c | 658153 | 22959 110104 300430 | 647083 655236 100 | 62.734 % |
3654.61/3655.70 c | 658277 | 22959 110104 300430 | 647083 655360 100 | 62.734 % |
3656.01/3657.10 c | 658411 | 22959 110104 300430 | 647083 655494 100 | 62.734 % |
3657.61/3658.78 c | 658559 | 22959 110104 300430 | 647083 655642 100 | 62.734 % |
3660.11/3661.20 c | 658719 | 22959 110104 300430 | 647083 655802 100 | 62.734 % |
3662.01/3663.18 c | 658895 | 22959 110104 300430 | 647083 655978 100 | 62.734 % |
3663.41/3664.59 c | 659088 | 22959 110104 300430 | 647083 656171 100 | 62.734 % |
3667.91/3669.10 c | 659300 | 22959 110104 300430 | 647083 656383 100 | 62.734 % |
3671.11/3672.21 c | 659534 | 22959 110104 300430 | 647083 656617 100 | 62.734 % |
3674.51/3675.67 c | 659790 | 22959 110104 300430 | 647083 656873 100 | 62.734 % |
3678.30/3679.40 c | 660072 | 22959 110104 300430 | 657087 657155 100 | 62.734 % |
3680.50/3681.67 c | 660381 | 22959 110104 300430 | 657087 657464 100 | 62.734 % |
3684.10/3685.21 c | 660720 | 22959 110104 300430 | 657087 657803 100 | 62.734 % |
3687.40/3688.57 c | 661093 | 22959 110104 300430 | 657087 658176 100 | 62.734 % |
3691.80/3692.91 c | 661502 | 22959 110104 300430 | 657087 658585 100 | 62.734 % |
3695.50/3696.69 c | 661954 | 22959 110104 300430 | 657087 659037 100 | 62.734 % |
3701.79/3702.90 c | 662447 | 22959 110104 300430 | 657087 659530 100 | 62.734 % |
3705.79/3706.99 c | 662990 | 22959 110104 300430 | 657087 660073 100 | 62.734 % |
3710.49/3711.62 c | 663588 | 22959 110104 300430 | 657087 660671 100 | 62.734 % |
3717.89/3719.09 c | 664254 | 22959 110104 300430 | 657087 661337 100 | 62.734 % |
3726.08/3727.26 c | 664975 | 22956 110086 300384 | 657087 662058 100 | 62.734 % |
3734.18/3735.36 c | 665768 | 22956 110086 300384 | 657087 662851 100 | 62.734 % |
3740.98/3742.18 c | 666640 | 22956 110086 300384 | 657087 663723 100 | 62.734 % |
3748.68/3749.86 c | 667599 | 22956 110086 300384 | 657087 664682 100 | 62.734 % |
3758.68/3759.84 c | 668652 | 22956 110086 300384 | 657087 665735 100 | 62.734 % |
3767.08/3768.24 c | 669818 | 22956 110086 300384 | 657087 666901 100 | 62.734 % |
3779.17/3780.30 c | 671092 | 22956 110086 300384 | 667083 668175 100 | 62.734 % |
3792.37/3793.59 c | 672494 | 22956 110086 300384 | 667083 669577 100 | 62.734 % |
3805.86/3807.01 c | 674035 | 22956 110086 300384 | 667083 671118 99 | 62.734 % |
3821.76/3822.91 c | 675733 | 22956 110086 300384 | 667083 672816 99 | 62.734 % |
3831.36/3832.53 c | 677596 | 22956 110086 300384 | 667083 674679 99 | 62.734 % |
3845.75/3846.97 c | 679646 | 22956 110086 300384 | 667083 676729 99 | 62.734 % |
3865.54/3866.78 c | 681899 | 22956 110086 300384 | 677084 678982 99 | 62.734 % |
3885.04/3886.22 c | 684377 | 22956 110086 300384 | 677084 681460 99 | 62.734 % |
3904.14/3905.32 c | 687104 | 22956 110086 300384 | 677084 684187 99 | 62.734 % |
3938.43/3939.64 c | 690102 | 22956 110086 300384 | 687083 687185 99 | 62.734 % |
3973.21/3974.43 c | 693399 | 22956 110086 300384 | 687083 690482 99 | 62.734 % |
4005.40/4006.66 c | 697024 | 22956 110086 300384 | 687083 694107 99 | 62.734 % |
4042.90/4044.15 c | 701017 | 22956 110086 300384 | 697084 698099 99 | 62.957 % |
4089.29/4090.52 c | 705403 | 22819 108142 294956 | 697084 686458 100 | 62.957 % |
4131.68/4132.94 c | 710226 | 22819 108142 294956 | 691055 691281 100 | 62.957 % |
4180.86/4182.18 c | 715533 | 22819 108142 294956 | 691055 696586 99 | 62.992 % |
4231.06/4232.35 c | 721369 | 22819 108142 294956 | 701052 702421 99 | 63.225 % |
4284.94/4286.27 c | 727787 | 22819 108142 294956 | 701052 708838 99 | 63.246 % |
4285.94/4287.25 c | 727888 | 22819 108142 294956 | 701052 708939 99 | 63.246 % |
4287.74/4289.05 c | 727998 | 22819 108142 294956 | 701052 709049 99 | 63.246 % |
4289.83/4291.10 c | 728121 | 22819 108142 294956 | 701052 709172 99 | 63.246 % |
4291.73/4293.09 c | 728255 | 22819 108142 294956 | 701052 709306 99 | 63.246 % |
4293.53/4294.86 c | 728401 | 22819 108142 294956 | 701052 709452 99 | 63.246 % |
4295.43/4296.70 c | 728562 | 22819 108142 294956 | 701052 709613 99 | 63.246 % |
4297.13/4298.49 c | 728738 | 22819 108142 294956 | 701052 709789 99 | 63.246 % |
4300.03/4301.36 c | 728931 | 22819 108142 294956 | 701052 709982 99 | 63.246 % |
4302.13/4303.49 c | 729143 | 22819 108142 294956 | 701052 710194 99 | 63.246 % |
4304.53/4305.83 c | 729376 | 22819 108142 294956 | 701052 710427 99 | 63.246 % |
4307.83/4309.16 c | 729632 | 22819 108142 294956 | 701052 710683 99 | 63.246 % |
4310.73/4312.00 c | 729914 | 22819 108142 294956 | 701052 710965 99 | 63.246 % |
4314.23/4315.54 c | 730223 | 22819 108142 294956 | 711051 711274 99 | 63.246 % |
4318.73/4320.05 c | 730564 | 22819 108142 294956 | 711051 711615 99 | 63.246 % |
4323.52/4324.82 c | 730937 | 22819 108142 294956 | 711051 711988 99 | 63.246 % |
4328.22/4329.51 c | 731346 | 22819 108142 294956 | 711051 712397 99 | 63.246 % |
4333.22/4334.55 c | 731797 | 22819 108142 294956 | 711051 712848 99 | 63.246 % |
4338.62/4339.95 c | 732291 | 22819 108142 294956 | 711051 713342 99 | 63.246 % |
4345.42/4346.78 c | 732835 | 22641 107024 292250 | 711051 713879 99 | 63.246 % |
4351.11/4352.49 c | 733433 | 22641 107024 292250 | 711051 714477 99 | 63.246 % |
4359.62/4360.98 c | 734094 | 22641 107024 292250 | 711051 715138 99 | 63.246 % |
4365.72/4367.05 c | 734814 | 22641 107024 292250 | 711051 715858 99 | 63.246 % |
4373.82/4375.14 c | 735607 | 22640 107024 292250 | 711051 716649 99 | 63.272 % |
4382.41/4383.75 c | 736484 | 22640 107024 292250 | 711051 717526 98 | 63.272 % |
4392.41/4393.79 c | 737445 | 22640 107024 292250 | 711051 718487 98 | 63.272 % |
4404.01/4405.31 c | 738499 | 22640 107024 292250 | 711051 719541 98 | 63.272 % |
4416.40/4417.72 c | 739659 | 22639 107024 292250 | 711051 720700 98 | 63.288 % |
4428.40/4429.73 c | 740932 | 22639 107024 292250 | 721041 721973 98 | 63.288 % |
4436.70/4438.00 c | 742332 | 22639 107024 292250 | 721041 723373 98 | 63.288 % |
4453.89/4455.25 c | 743873 | 22639 107024 292250 | 721041 724914 98 | 63.288 % |
4471.18/4472.50 c | 745568 | 22639 107024 292250 | 721041 726609 98 | 63.288 % |
4487.88/4489.21 c | 747434 | 22639 107024 292250 | 721041 728475 98 | 63.288 % |
4504.27/4505.60 c | 749486 | 22639 107024 292250 | 721041 730527 98 | 63.288 % |
4524.07/4525.40 c | 751739 | 22639 107024 292250 | 731044 732780 98 | 63.288 % |
4547.46/4548.88 c | 754217 | 22639 107024 292250 | 731044 735258 98 | 63.288 % |
4563.26/4564.63 c | 756944 | 22639 107024 292250 | 731044 737985 98 | 63.288 % |
4593.86/4595.21 c | 759944 | 22639 107024 292250 | 731044 740985 98 | 63.288 % |
4628.95/4630.39 c | 763242 | 22639 107024 292250 | 741042 744283 98 | 63.288 % |
4670.04/4671.43 c | 766868 | 22639 107024 292250 | 741042 747908 97 | 63.307 % |
4705.63/4707.03 c | 770855 | 22639 107024 292250 | 751041 751895 97 | 63.307 % |
4747.62/4749.06 c | 775243 | 22603 106779 291657 | 751041 756247 97 | 63.307 % |
4795.71/4797.15 c | 780066 | 22603 106779 291657 | 761004 761070 97 | 63.307 % |
4846.69/4848.11 c | 785372 | 22603 106779 291657 | 761004 766375 97 | 63.327 % |
4901.78/4903.27 c | 791211 | 22603 106779 291657 | 771003 772214 96 | 63.327 % |
4964.56/4966.01 c | 797630 | 22603 106779 291657 | 771003 778633 96 | 63.327 % |
5036.84/5038.36 c | 804689 | 22603 106779 291657 | 781003 785692 96 | 63.327 % |
5038.25/5039.70 c | 804792 | 22603 106779 291657 | 781003 785795 96 | 63.327 % |
5039.35/5040.81 c | 804902 | 22603 106779 291657 | 781003 785905 96 | 63.327 % |
5041.04/5042.54 c | 805023 | 22603 106779 291657 | 781003 786026 96 | 63.327 % |
5042.74/5044.28 c | 805159 | 22603 106779 291657 | 781003 786162 96 | 63.327 % |
5044.24/5045.78 c | 805305 | 22603 106779 291657 | 781003 786308 96 | 63.327 % |
5046.34/5047.83 c | 805465 | 22591 106698 291430 | 781003 786456 96 | 63.327 % |
5048.74/5050.24 c | 805641 | 22591 106698 291430 | 781003 786632 96 | 63.327 % |
5050.94/5052.49 c | 805834 | 22591 106698 291430 | 781003 786825 96 | 63.327 % |
5053.94/5055.46 c | 806049 | 22591 106698 291430 | 781003 787040 96 | 63.327 % |
5056.13/5057.62 c | 806285 | 22591 106698 291430 | 781003 787276 96 | 63.327 % |
5059.53/5061.02 c | 806546 | 22591 106698 291430 | 781003 787537 96 | 63.327 % |
5064.43/5066.00 c | 806828 | 22591 106698 291430 | 781003 787819 96 | 63.327 % |
5068.13/5069.63 c | 807144 | 22591 106698 291430 | 781003 788135 96 | 63.327 % |
5071.23/5072.73 c | 807484 | 22591 106698 291430 | 781003 788475 96 | 63.327 % |
5075.73/5077.28 c | 807861 | 22591 106698 291430 | 781003 788852 96 | 63.327 % |
5078.72/5080.29 c | 808273 | 22591 106698 291430 | 781003 789264 96 | 63.327 % |
5084.83/5086.36 c | 808722 | 22591 106698 291430 | 781003 789713 96 | 63.327 % |
5089.93/5091.45 c | 809215 | 22591 106698 291430 | 781003 790206 96 | 63.327 % |
5095.13/5096.70 c | 809759 | 22591 106698 291430 | 781003 790750 96 | 63.327 % |
5100.43/5101.95 c | 810356 | 22591 106698 291430 | 790994 791347 96 | 63.327 % |
5107.82/5109.37 c | 811013 | 22591 106698 291430 | 790994 792004 95 | 63.327 % |
5114.03/5115.53 c | 811735 | 22589 106698 291430 | 790994 792725 95 | 63.848 % |
5122.22/5123.78 c | 812531 | 22589 106698 291430 | 790994 793521 95 | 63.848 % |
5129.32/5130.82 c | 813402 | 22589 106698 291430 | 790994 794392 95 | 63.848 % |
5141.41/5142.92 c | 814361 | 22589 106698 291430 | 790994 795351 95 | 63.848 % |
5153.71/5155.20 c | 815414 | 22589 106698 291430 | 790994 796404 95 | 63.848 % |
5163.90/5165.50 c | 816573 | 22589 106698 291430 | 790994 797562 95 | 63.864 % |
5175.50/5177.10 c | 817846 | 22589 106698 291430 | 790994 798835 95 | 63.864 % |
5186.90/5188.49 c | 819246 | 22589 106698 291430 | 790994 800235 95 | 63.864 % |
5201.70/5203.20 c | 820786 | 22589 106698 291430 | 800989 801775 95 | 63.864 % |
5218.50/5220.06 c | 822480 | 22589 106698 291430 | 800989 803469 95 | 63.864 % |
5234.69/5236.23 c | 824343 | 22589 106698 291430 | 800989 805332 95 | 63.864 % |
5262.58/5264.18 c | 826393 | 22589 106698 291430 | 800989 807382 95 | 63.864 % |
5279.48/5281.04 c | 828646 | 22589 106698 291430 | 800989 809634 95 | 63.937 % |
5304.97/5306.54 c | 831125 | 22589 106698 291430 | 810988 812113 95 | 63.937 % |
5332.46/5334.00 c | 833854 | 22589 106698 291430 | 810988 814841 95 | 63.957 % |
5356.06/5357.65 c | 836857 | 22589 106698 291430 | 810988 817844 95 | 63.957 % |
5389.15/5390.77 c | 840153 | 22589 106698 291430 | 820985 821138 95 | 63.988 % |
5468.43/5470.08 c | 843779 | 22184 103353 282152 | 820985 613530 96 | 63.988 % |
5508.92/5510.58 c | 847768 | 22183 103353 282152 | 820985 617517 96 | 64.441 % |
5545.21/5546.89 c | 852154 | 22183 103353 282152 | 619752 621903 96 | 64.441 % |
5583.40/5585.03 c ===============================================================================
5583.40/5585.03 c restarts : 1124
5583.40/5585.03 c conflicts : 856509 (154 /sec)
5583.40/5585.03 c decisions : 1464654 (0.61 % random) (263 /sec)
5583.40/5585.03 c propagations : 1678690572 (301196 /sec)
5583.40/5585.03 c conflict literals : 79503722 (52.93 % deleted)
5583.40/5585.03 c Memory used : 362.29 MB
5583.40/5585.03 c CPU time : 5573.42 s
5583.40/5585.03 c
5583.40/5585.03 s UNSATISFIABLE
5583.40/5585.08 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837032-1242857001/watcher-1837032-1242857001 -o /tmp/evaluation-result-1837032-1242857001/solver-1837032-1242857001 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837032-1242857001.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 31385
/proc/meminfo: memFree=1474364/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=0
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 313729341 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 256365002834 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/31385/statm: 1339 235 195 169 0 50 0
[pid=31386] ppid=31385 vsize=5356 CPUtime=0
/proc/31386/stat : 31386 (SatELiteGTI) S 31385 31385 31348 0 -1 4194368 51 25 0 0 0 0 0 0 19 0 1 0 313729342 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/31386/statm: 1339 238 198 169 0 50 0
[pid=31388] ppid=31386 vsize=192 CPUtime=0
/proc/31388/stat : 31388 (sed) R 31386 31385 31348 0 -1 4194304 42 0 0 0 0 0 0 0 22 0 1 0 313729342 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 256362214677 0 0 4096 0 0 0 0 17 0 0 0
/proc/31388/statm: 48 23 16 11 0 11 0
[startup+0.040702 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 31385
/proc/meminfo: memFree=1474364/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=0
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729341 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31385/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101706 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 31385
/proc/meminfo: memFree=1474364/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=0
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729341 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31385/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301725 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 31385
/proc/meminfo: memFree=1474364/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=0
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729341 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31385/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701766 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 31385
/proc/meminfo: memFree=1474364/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=0
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729341 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31385/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50185 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 31390
/proc/meminfo: memFree=1377836/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=0
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729341 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31385/statm: 1339 237 197 169 0 50 0
[pid=31390] ppid=31385 vsize=111532 CPUtime=1.49
/proc/31390/stat : 31390 (SatELite_releas) R 31385 31385 31348 0 -1 4194304 28130 0 0 0 134 15 0 0 25 0 1 0 313729342 114208768 25521 1992294400 134512640 135223648 4294956128 18446744073709551615 134576569 0 0 4096 3 0 0 0 17 1 0 0
/proc/31390/statm: 27883 25521 76 173 0 27708 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116888
[startup+3.10201 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 31390
/proc/meminfo: memFree=1365868/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=0
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729341 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31385/statm: 1339 237 197 169 0 50 0
[pid=31390] ppid=31385 vsize=116484 CPUtime=3.08
/proc/31390/stat : 31390 (SatELite_releas) R 31385 31385 31348 0 -1 4194304 29545 0 0 0 293 15 0 0 25 0 1 0 313729342 119279616 26773 1992294400 134512640 135223648 4294956128 18446744073709551615 134586777 0 0 4096 3 0 0 0 17 1 0 0
/proc/31390/statm: 29121 26773 76 173 0 28946 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 121840
[startup+6.30134 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 31390
/proc/meminfo: memFree=1359284/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=0
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729341 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31385/statm: 1339 237 197 169 0 50 0
[pid=31390] ppid=31385 vsize=119256 CPUtime=6.27
/proc/31390/stat : 31390 (SatELite_releas) R 31385 31385 31348 0 -1 4194304 34548 0 0 0 609 18 0 0 25 0 1 0 313729342 122118144 27454 1992294400 134512640 135223648 4294956128 18446744073709551615 134582142 0 0 4096 3 0 0 0 17 1 0 0
/proc/31390/statm: 29814 27454 76 173 0 29639 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 124612
[startup+12.702 s]
/proc/loadavg: 0.45 0.10 0.03 3/66 31391
/proc/meminfo: memFree=1439796/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=22284 CPUtime=3.57
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 5155 0 0 0 354 3 0 0 25 0 1 0 313730253 22818816 5096 1992294400 134512640 135215339 4294956240 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 0 0 0
/proc/31391/statm: 5571 5096 77 171 0 5398 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27640
[startup+25.5053 s]
/proc/loadavg: 0.69 0.16 0.05 2/66 31391
/proc/meminfo: memFree=1438332/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=24004 CPUtime=16.36
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 5554 0 0 0 1633 3 0 0 25 0 1 0 313730253 24580096 5495 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 6001 5495 77 171 0 5828 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 29360
[startup+51.1029 s]
/proc/loadavg: 1.20 0.32 0.11 2/66 31391
/proc/meminfo: memFree=1433916/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=28628 CPUtime=41.93
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 6717 0 0 0 4188 5 0 0 25 0 1 0 313730253 29315072 6658 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 7157 6658 77 171 0 6984 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 33984
[startup+102.302 s]
/proc/loadavg: 1.15 0.46 0.17 2/66 31391
/proc/meminfo: memFree=1423804/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=39768 CPUtime=93.11
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 9496 0 0 0 9303 8 0 0 25 0 1 0 313730253 40722432 9437 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 9942 9437 77 171 0 9769 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 45124
[startup+162.306 s]
/proc/loadavg: 1.05 0.56 0.22 2/66 31391
/proc/meminfo: memFree=1412668/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=50616 CPUtime=153.1
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 12199 0 0 0 15298 12 0 0 25 0 1 0 313730253 51830784 12140 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 12654 12140 77 171 0 12481 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 55972
[startup+222.302 s]
/proc/loadavg: 1.02 0.63 0.26 2/66 31391
/proc/meminfo: memFree=1401916/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=61464 CPUtime=213.07
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 14919 0 0 0 21293 14 0 0 25 0 1 0 313730253 62939136 14860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 15366 14860 77 171 0 15193 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 66820
[startup+282.302 s]
/proc/loadavg: 1.00 0.70 0.31 2/66 31391
/proc/meminfo: memFree=1393148/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=70236 CPUtime=273.05
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 17065 0 0 0 27289 16 0 0 25 0 1 0 313730253 71921664 17006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 17559 17006 77 171 0 17386 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 75592
[startup+342.302 s]
/proc/loadavg: 1.00 0.75 0.34 2/66 31391
/proc/meminfo: memFree=1385788/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=77712 CPUtime=333.03
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 18911 0 0 0 33285 18 0 0 25 0 1 0 313730253 79577088 18852 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 19428 18852 77 171 0 19255 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 83068
[startup+402.302 s]
/proc/loadavg: 1.00 0.79 0.38 2/66 31391
/proc/meminfo: memFree=1379196/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=84376 CPUtime=393.02
################
# More data... #
################
[startup+5262.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 31399
/proc/meminfo: memFree=1099068/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=366480 CPUtime=5251.69
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 89698 0 0 0 525079 90 0 0 25 0 1 0 313730253 375275520 89639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 91620 89639 77 171 0 91447 0
Current children cumulated CPU time (s) 5260.78
Current children cumulated vsize (KiB) 371836
[startup+5322.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 31399
/proc/meminfo: memFree=1097148/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=368464 CPUtime=5311.68
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 90160 0 0 0 531077 91 0 0 25 0 1 0 313730253 377307136 90101 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 92116 90101 77 171 0 91943 0
Current children cumulated CPU time (s) 5320.77
Current children cumulated vsize (KiB) 373820
[startup+5382.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 31399
/proc/meminfo: memFree=1095164/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=370716 CPUtime=5371.66
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 90654 0 0 0 537074 92 0 0 25 0 1 0 313730253 379613184 90595 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 92679 90595 77 171 0 92506 0
Current children cumulated CPU time (s) 5380.75
Current children cumulated vsize (KiB) 376072
[startup+5442.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 31399
/proc/meminfo: memFree=1094972/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=370980 CPUtime=5431.65
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 90698 0 0 0 543073 92 0 0 25 0 1 0 313730253 379883520 90639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 92745 90639 77 171 0 92572 0
Current children cumulated CPU time (s) 5440.74
Current children cumulated vsize (KiB) 376336
[startup+5502.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 31399
/proc/meminfo: memFree=1094972/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=370980 CPUtime=5491.63
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 90698 0 0 0 549071 92 0 0 25 0 1 0 313730253 379883520 90639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 92745 90639 77 171 0 92572 0
Current children cumulated CPU time (s) 5500.72
Current children cumulated vsize (KiB) 376336
[startup+5562.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 31399
/proc/meminfo: memFree=1094972/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=370980 CPUtime=5551.61
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 90698 0 0 0 555069 92 0 0 25 0 1 0 313730253 379883520 90639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 92745 90639 77 171 0 92572 0
Current children cumulated CPU time (s) 5560.7
Current children cumulated vsize (KiB) 376336
Solver just ended. Dumping a history of the last processes samples
[startup+5568.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 31399
/proc/meminfo: memFree=1094972/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=370980 CPUtime=5557.81
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 90698 0 0 0 555689 92 0 0 25 0 1 0 313730253 379883520 90639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 92745 90639 77 171 0 92572 0
Current children cumulated CPU time (s) 5566.9
Current children cumulated vsize (KiB) 376336
[startup+5574.9 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 31399
/proc/meminfo: memFree=1094972/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=370980 CPUtime=5564.21
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 90698 0 0 0 556329 92 0 0 25 0 1 0 313730253 379883520 90639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 92745 90639 77 171 0 92572 0
Current children cumulated CPU time (s) 5573.3
Current children cumulated vsize (KiB) 376336
[startup+5581.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 31399
/proc/meminfo: memFree=1094972/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=370980 CPUtime=5570.61
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 90698 0 0 0 556969 92 0 0 25 0 1 0 313730253 379883520 90639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 92745 90639 77 171 0 92572 0
Current children cumulated CPU time (s) 5579.7
Current children cumulated vsize (KiB) 376336
[startup+5582.9 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 31399
/proc/meminfo: memFree=1094972/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=370980 CPUtime=5572.21
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 90698 0 0 0 557129 92 0 0 25 0 1 0 313730253 379883520 90639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 92745 90639 77 171 0 92572 0
Current children cumulated CPU time (s) 5581.3
Current children cumulated vsize (KiB) 376336
[startup+5583.7 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 31399
/proc/meminfo: memFree=1094972/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=370980 CPUtime=5573.01
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 90698 0 0 0 557209 92 0 0 25 0 1 0 313730253 379883520 90639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 92745 90639 77 171 0 92572 0
Current children cumulated CPU time (s) 5582.1
Current children cumulated vsize (KiB) 376336
[startup+5584.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 31399
/proc/meminfo: memFree=1094972/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=370980 CPUtime=5573.81
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 90698 0 0 0 557289 92 0 0 25 0 1 0 313730253 379883520 90639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 92745 90639 77 171 0 92572 0
Current children cumulated CPU time (s) 5582.9
Current children cumulated vsize (KiB) 376336
[startup+5584.9 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 31399
/proc/meminfo: memFree=1094972/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=370980 CPUtime=5574.21
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 90698 0 0 0 557329 92 0 0 25 0 1 0 313730253 379883520 90639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 92745 90639 77 171 0 92572 0
Current children cumulated CPU time (s) 5583.3
Current children cumulated vsize (KiB) 376336
[startup+5585 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 31399
/proc/meminfo: memFree=1094972/2055920 swapFree=4160964/4192956
[pid=31385] ppid=31383 vsize=5356 CPUtime=9.09
/proc/31385/stat : 31385 (SatELiteGTI) S 31383 31385 31348 0 -1 4194304 336 43300 0 0 0 0 882 27 16 0 1 0 313729341 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31385/statm: 1339 239 197 169 0 50 0
[pid=31391] ppid=31385 vsize=370980 CPUtime=5574.31
/proc/31391/stat : 31391 (minisat_static) R 31385 31385 31348 0 -1 4194304 90699 0 0 0 557339 92 0 0 25 0 1 0 313730253 379883520 90640 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31391/statm: 92745 90640 77 171 0 92572 0
Current children cumulated CPU time (s) 5583.4
Current children cumulated vsize (KiB) 376336
Child status: 20
Real time (s): 5585.1
CPU time (s): 5583.51
CPU user time (s): 5582.25
CPU system time (s): 1.26281
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 376336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5582.25
system time used= 1.26281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134496
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= 47
involuntary context switches= 11625
runsolver used 6.80097 second user time and 14.6678 second system time
The end
Begin job on node90 at 2009-05-21 00:03:23
IDJOB=1837032
IDBENCH=20342
IDSOLVER=674
FILE ID=node90/1837032-1242857001
PBS_JOBID= 9328429
Free space on /tmp= 65988 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/medium-unsat/total-10-13-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837032-1242857001/watcher-1837032-1242857001 -o /tmp/evaluation-result-1837032-1242857001/solver-1837032-1242857001 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837032-1242857001.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a443b9e3a7093c1d9a47b42016a65c52
RANDOM SEED=1240015634
node90.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.238
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.238
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1474844 kB
Buffers: 34588 kB
Cached: 482508 kB
SwapCached: 26428 kB
Active: 156612 kB
Inactive: 388904 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1474844 kB
SwapTotal: 4192956 kB
SwapFree: 4160964 kB
Dirty: 19940 kB
Writeback: 0 kB
Mapped: 15832 kB
Slab: 21644 kB
Committed_AS: 921420 kB
PageTables: 1436 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= 65988 MiB
End job on node90 at 2009-05-21 01:36:28