0.00/0.00 c Parsing...
0.00/0.58 c ==============================================================================
0.00/0.58 c | | ORIGINAL | LEARNT | |
0.00/0.58 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.58 c ==============================================================================
0.00/0.58 c | 0 | 717437 1645964 | 215231 0 0 nan | 0.000 % |
5.08/5.11 c | 0 | 408968 1113292 | -- 0 -- -- | -- | -134393/-137715
5.08/5.12 c ==============================================================================
5.08/5.12 c Result : #vars: 76968 #clauses: 408968 #literals: 1113292
5.08/5.12 c CPU time: 4.95025 s
5.08/5.12 c ==============================================================================
5.49/5.52 c This is MiniSat 2.0 beta
5.49/5.52 c WARNING: for repeatability, setting FPU to use double precision
5.49/5.52 c ============================[ Problem Statistics ]=============================
5.49/5.52 c | |
5.49/5.52 c | Number of variables: 76968 |
5.49/5.52 c | Number of clauses: 408968 |
5.50/5.78 c | Parsing time: 0.23 s |
5.50/5.79 c ============================[ Search Statistics ]==============================
5.50/5.79 c | Conflicts | ORIGINAL | LEARNT | Progress |
5.50/5.79 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.50/5.79 c ===============================================================================
5.50/5.79 c | 0 | 76968 408968 1113292 | 136322 0 nan | 0.000 % |
5.50/6.00 c | 102 | 76825 408968 1113292 | 136322 100 268 | 1.686 % |
5.50/6.18 c | 202 | 76810 408968 1113292 | 136322 199 200 | 5.137 % |
5.50/6.39 c | 302 | 76810 408968 1113292 | 136322 299 166 | 5.137 % |
6.57/6.64 c | 416 | 76810 408968 1113292 | 136322 413 193 | 5.137 % |
6.86/6.99 c | 521 | 73014 385732 1054285 | 136322 517 226 | 5.137 % |
7.26/7.31 c | 633 | 72907 385732 1054285 | 136322 626 221 | 5.756 % |
7.36/7.47 c | 754 | 72907 385732 1054285 | 136322 747 211 | 5.756 % |
7.46/7.59 c | 854 | 72538 382793 1046999 | 136322 845 200 | 5.756 % |
7.76/7.85 c | 965 | 72215 382793 1046999 | 136322 955 190 | 7.746 % |
7.86/7.99 c | 1086 | 72213 382793 1046999 | 136322 1075 179 | 7.772 % |
8.26/8.32 c | 1221 | 70172 369004 1011623 | 136322 1202 171 | 8.830 % |
8.46/8.57 c | 1323 | 70170 369004 1011623 | 136322 1303 167 | 9.400 % |
8.56/8.70 c | 1434 | 70168 369004 1011623 | 136322 1413 164 | 9.419 % |
8.77/8.85 c | 1555 | 70168 369004 1011623 | 136322 1534 161 | 9.419 % |
9.06/9.10 c | 1688 | 69717 366292 1004868 | 136322 1665 158 | 9.421 % |
9.16/9.21 c | 1834 | 69717 366292 1004868 | 136322 1811 154 | 9.421 % |
9.16/9.28 c | 1934 | 69716 366292 1004868 | 136322 1910 148 | 9.422 % |
9.56/9.66 c | 2045 | 69716 366292 1004868 | 136322 2021 152 | 9.422 % |
9.87/9.91 c | 2168 | 69716 366292 1004868 | 136322 2144 153 | 9.422 % |
10.06/10.19 c | 2301 | 69715 366288 1004860 | 136322 2276 175 | 9.444 % |
10.56/10.67 c | 2448 | 69715 366288 1004860 | 136322 2423 183 | 9.444 % |
11.06/11.18 c | 2608 | 69552 365407 1002591 | 136322 2581 188 | 9.662 % |
11.36/11.46 c | 2708 | 69552 365407 1002591 | 136322 2681 191 | 9.662 % |
11.66/11.77 c | 2822 | 69550 365407 1002591 | 136322 2794 195 | 9.679 % |
12.16/12.22 c | 2943 | 69550 365407 1002591 | 136322 2915 200 | 9.679 % |
12.66/12.70 c | 3077 | 69512 365155 1002029 | 136322 3045 204 | 9.734 % |
12.96/13.05 c | 3224 | 69512 365155 1002029 | 136322 3192 205 | 9.734 % |
13.26/13.34 c | 3384 | 69512 365155 1002029 | 136322 3352 204 | 9.734 % |
13.36/13.48 c | 3561 | 69476 364883 1001312 | 136322 3529 199 | 9.734 % |
13.66/13.78 c | 3663 | 69476 364883 1001312 | 136322 3631 200 | 9.734 % |
13.96/14.08 c | 3774 | 69476 364883 1001312 | 136322 3742 204 | 9.734 % |
14.35/14.49 c | 3899 | 69476 364883 1001312 | 136322 3867 214 | 9.734 % |
15.05/15.20 c | 4032 | 69461 364790 1001056 | 136322 3999 223 | 9.753 % |
15.45/15.50 c | 4178 | 69444 364790 1001056 | 136322 4142 221 | 9.809 % |
15.95/16.03 c | 4339 | 69444 364790 1001056 | 136322 4303 228 | 9.809 % |
16.55/16.62 c | 4515 | 69440 364790 1001056 | 136322 4478 236 | 9.838 % |
16.86/16.96 c | 4710 | 69396 364424 1000170 | 136322 4670 248 | 9.838 % |
17.26/17.30 c | 4810 | 69386 364424 1000170 | 136322 4768 247 | 10.016 % |
17.66/17.72 c | 4920 | 69386 364424 1000170 | 136322 4878 247 | 10.016 % |
18.06/18.10 c | 5041 | 69385 364424 1000170 | 136322 4997 248 | 10.067 % |
18.26/18.33 c | 5175 | 69220 363382 997461 | 136322 5130 246 | 10.067 % |
18.56/18.62 c | 5323 | 69220 363382 997461 | 136322 5278 246 | 10.067 % |
18.66/18.76 c | 5483 | 69220 363382 997461 | 136322 5438 244 | 10.067 % |
18.86/18.95 c | 5663 | 69220 363382 997461 | 136322 5618 240 | 10.067 % |
19.36/19.49 c | 5857 | 69134 363382 997461 | 136322 5810 241 | 13.625 % |
20.06/20.11 c | 6069 | 66476 347623 956864 | 136322 6019 245 | 13.730 % |
20.16/20.29 c | 6169 | 66476 347623 956864 | 136322 6119 244 | 13.730 % |
20.65/20.70 c | 6279 | 66476 347623 956864 | 136322 6229 245 | 13.730 % |
20.95/21.07 c | 6402 | 66476 347623 956864 | 136322 6352 246 | 13.730 % |
21.25/21.32 c | 6539 | 66475 347623 956864 | 136322 6488 244 | 13.732 % |
21.35/21.45 c | 6685 | 66399 347134 955610 | 136322 6633 242 | 13.732 % |
21.55/21.62 c | 6848 | 66395 347134 955610 | 136322 6795 238 | 13.798 % |
21.65/21.79 c | 7024 | 66375 347134 955610 | 136322 6969 235 | 14.567 % |
21.86/21.98 c | 7217 | 66375 347134 955610 | 136322 7162 232 | 14.567 % |
22.15/22.26 c | 7430 | 66374 347134 955610 | 136322 7374 228 | 14.575 % |
23.14/23.21 c | 7664 | 66293 347134 955610 | 136322 7607 232 | 14.576 % |
23.44/23.59 c | 7764 | 65749 343216 945728 | 136322 7697 235 | 14.576 % |
23.84/23.97 c | 7879 | 65745 343216 945728 | 136322 7810 236 | 15.204 % |
24.15/24.25 c | 8001 | 65745 343216 945728 | 136322 7932 238 | 15.204 % |
24.34/24.43 c | 8136 | 65744 343216 945728 | 136322 8066 236 | 15.210 % |
24.44/24.55 c | 8283 | 65744 343216 945728 | 136322 8213 233 | 15.210 % |
24.94/25.00 c | 8445 | 65743 343216 945728 | 136322 8375 232 | 15.210 % |
25.34/25.40 c | 8623 | 65039 338856 934420 | 136322 8550 236 | 15.499 % |
25.94/26.03 c | 8817 | 65039 338856 934420 | 136322 8744 236 | 15.499 % |
26.84/26.94 c | 9031 | 65039 338856 934420 | 136322 8958 244 | 15.499 % |
27.55/27.64 c | 9264 | 65039 338856 934420 | 136322 9191 246 | 15.499 % |
28.55/28.64 c | 9520 | 65039 338856 934420 | 136322 9447 253 | 15.499 % |
28.84/28.90 c | 9621 | 65039 338856 934420 | 136322 9548 251 | 15.499 % |
29.04/29.14 c | 9733 | 65024 338773 934196 | 136322 9657 250 | 15.630 % |
29.24/29.39 c | 9854 | 65023 338773 934196 | 136322 9777 248 | 15.642 % |
29.44/29.51 c | 9988 | 65023 338773 934196 | 136322 9911 246 | 15.642 % |
29.55/29.63 c | 10134 | 65023 338773 934196 | 2147483647 10057 244 | 15.642 % |
30.24/30.33 c | 10297 | 65020 338773 934196 | 2147483647 10220 248 | 15.642 % |
30.84/30.91 c | 10474 | 65020 338773 934196 | 2147483647 10397 251 | 15.642 % |
31.34/31.44 c | 10667 | 64964 338773 934196 | 2147483647 10586 250 | 17.059 % |
31.94/32.00 c | 10880 | 63823 331567 916384 | 2147483647 10778 253 | 17.079 % |
32.24/32.36 c | 11113 | 63758 331567 916384 | 2147483647 11006 249 | 18.366 % |
32.84/32.98 c | 11369 | 63744 331567 916384 | 2147483647 11260 248 | 18.369 % |
33.74/33.86 c | 11650 | 63743 331567 916384 | 2147483647 11540 248 | 18.370 % |
34.04/34.11 c | 11752 | 63743 331567 916384 | 2147483647 11642 250 | 18.370 % |
34.54/34.61 c | 11862 | 63743 331567 916384 | 2147483647 11752 252 | 18.370 % |
34.94/35.01 c | 11983 | 62829 326113 903088 | 2147483647 11845 256 | 18.370 % |
35.43/35.54 c | 12119 | 62829 326113 903088 | 2147483647 11981 260 | 18.370 % |
35.73/35.86 c | 12265 | 62829 326113 903088 | 2147483647 12127 260 | 18.370 % |
36.03/36.18 c | 12425 | 62829 326113 903088 | 2147483647 12287 258 | 18.370 % |
36.43/36.57 c | 12601 | 62829 326113 903088 | 2147483647 12463 259 | 18.370 % |
36.73/36.80 c | 12799 | 62827 326113 903088 | 2147483647 12660 257 | 18.373 % |
37.24/37.39 c | 13013 | 62827 326113 903088 | 2147483647 12874 254 | 18.373 % |
37.93/38.03 c | 13246 | 62827 326113 903088 | 2147483647 13107 253 | 18.373 % |
39.12/39.20 c | 13502 | 62827 326101 903064 | 2147483647 13363 258 | 18.373 % |
39.53/39.64 c | 13784 | 62827 326101 903064 | 2147483647 13645 255 | 18.373 % |
40.53/40.70 c | 14093 | 62827 326101 903064 | 2147483647 13954 259 | 18.373 % |
40.83/40.90 c | 14194 | 62827 326101 903064 | 2147483647 14055 259 | 18.373 % |
41.23/41.30 c | 14304 | 62827 326101 903064 | 2147483647 14165 259 | 18.373 % |
41.53/41.65 c | 14425 | 62827 326101 903064 | 2147483647 14286 261 | 18.373 % |
41.93/42.07 c | 14559 | 62805 325969 902730 | 2147483647 14416 262 | 18.401 % |
42.13/42.21 c | 14705 | 62805 325969 902730 | 2147483647 14562 261 | 18.401 % |
42.73/42.89 c | 14867 | 62805 325969 902730 | 2147483647 14724 262 | 18.401 % |
43.42/43.50 c | 15045 | 62805 325969 902730 | 2147483647 14902 265 | 18.401 % |
43.93/44.10 c | 15238 | 62805 325969 902730 | 2147483647 15095 268 | 18.401 % |
44.52/44.66 c | 15451 | 62805 325969 902730 | 2147483647 15308 273 | 18.401 % |
45.22/45.32 c | 15684 | 62805 325969 902730 | 2147483647 15541 277 | 18.401 % |
45.92/46.02 c | 15945 | 62805 325969 902730 | 2147483647 15802 282 | 18.401 % |
46.82/46.91 c | 16226 | 62805 325969 902730 | 2147483647 16083 286 | 18.401 % |
47.72/47.84 c | 16535 | 62804 325965 902722 | 2147483647 16390 289 | 18.402 % |
48.72/48.85 c | 16876 | 62804 325965 902722 | 2147483647 16731 290 | 18.402 % |
49.02/49.19 c | 16979 | 62804 325965 902722 | 2147483647 16833 290 | 18.425 % |
49.42/49.53 c | 17090 | 62803 325965 902722 | 2147483647 16944 289 | 18.425 % |
49.71/49.85 c | 17211 | 62803 325965 902722 | 2147483647 17065 289 | 18.425 % |
49.91/50.01 c | 17345 | 62803 325965 902722 | 2147483647 17199 288 | 18.425 % |
50.42/50.56 c | 17491 | 62803 325965 902722 | 2147483647 17345 289 | 18.425 % |
50.92/51.05 c | 17651 | 62803 325965 902722 | 2147483647 17505 290 | 18.425 % |
51.32/51.49 c | 17832 | 62803 325965 902722 | 2147483647 17686 290 | 18.425 % |
52.02/52.18 c | 18026 | 62803 325965 902722 | 2147483647 17880 293 | 18.425 % |
52.62/52.73 c | 18242 | 62787 325862 902442 | 2147483647 18096 292 | 18.425 % |
53.32/53.45 c | 18478 | 62787 325862 902442 | 2147483647 18332 294 | 18.425 % |
54.21/54.36 c | 18734 | 62786 325862 902442 | 2147483647 18587 295 | 18.426 % |
55.61/55.76 c | 19015 | 62786 325862 902442 | 2147483647 18868 296 | 18.426 % |
56.41/56.58 c | 19325 | 62786 325862 902442 | 2147483647 19177 294 | 18.449 % |
57.21/57.36 c | 19667 | 62786 325862 902442 | 2147483647 19519 296 | 18.449 % |
58.61/58.74 c | 20040 | 62768 325745 902126 | 2147483647 19891 300 | 18.449 % |
58.81/58.90 c | 20140 | 62768 325745 902126 | 2147483647 19991 299 | 18.449 % |
58.91/59.07 c | 20259 | 62768 325745 902126 | 2147483647 20110 298 | 18.449 % |
59.41/59.51 c | 20384 | 62768 325745 902126 | 2147483647 20235 300 | 18.449 % |
59.82/59.93 c | 20518 | 62766 325745 902126 | 2147483647 20368 300 | 18.469 % |
60.12/60.28 c | 20665 | 62766 325745 902126 | 2147483647 20515 299 | 18.469 % |
60.32/60.49 c | 20825 | 62765 325745 902126 | 2147483647 20674 297 | 18.470 % |
60.91/61.04 c | 21002 | 62765 325745 902126 | 2147483647 20851 297 | 18.470 % |
61.52/61.63 c | 21198 | 62765 325745 902126 | 2147483647 21047 298 | 18.470 % |
62.01/62.14 c | 21410 | 62765 325745 902126 | 2147483647 21259 297 | 18.470 % |
62.81/62.97 c | 21644 | 62765 325745 902126 | 2147483647 21493 299 | 18.470 % |
63.62/63.77 c | 21901 | 62765 325745 902126 | 2147483647 21750 300 | 18.470 % |
64.31/64.47 c | 22185 | 62749 325645 901888 | 2147483647 22031 298 | 18.474 % |
65.01/65.16 c | 22494 | 62746 325645 901888 | 2147483647 22339 295 | 19.177 % |
65.91/66.05 c | 22833 | 62613 325645 901888 | 2147483647 22678 296 | 19.177 % |
67.21/67.30 c | 23205 | 62613 325645 901888 | 2147483647 23050 298 | 19.177 % |
68.40/68.55 c | 23614 | 62613 325645 901888 | 2147483647 23459 303 | 19.177 % |
68.80/68.92 c | 23714 | 62613 325645 901888 | 2147483647 23558 303 | 19.182 % |
69.20/69.38 c | 23825 | 62613 325645 901888 | 2147483647 23669 304 | 19.182 % |
69.80/69.91 c | 23946 | 62613 325645 901888 | 2147483647 23790 305 | 19.182 % |
70.30/70.46 c | 24083 | 62613 325645 901888 | 2147483647 23927 305 | 19.182 % |
70.60/70.76 c | 24231 | 62204 322336 893376 | 2147483647 24042 305 | 19.182 % |
71.20/71.39 c | 24393 | 62204 322336 893376 | 2147483647 24204 306 | 19.182 % |
71.70/71.86 c | 24571 | 62204 322336 893376 | 2147483647 24382 308 | 19.182 % |
72.40/72.58 c | 24765 | 62204 322336 893376 | 2147483647 24576 310 | 19.182 % |
73.10/73.27 c | 24981 | 62161 322336 893376 | 2147483647 24791 311 | 19.346 % |
73.80/73.98 c | 25215 | 62161 322336 893376 | 2147483647 25025 315 | 19.346 % |
74.70/74.82 c | 25471 | 62161 322336 893376 | 2147483647 25281 316 | 19.346 % |
75.59/75.76 c | 25752 | 62161 322336 893376 | 2147483647 25562 319 | 19.346 % |
76.80/76.91 c | 26063 | 62161 322336 893376 | 2147483647 25873 323 | 19.346 % |
78.00/78.11 c | 26403 | 62161 322336 893376 | 2147483647 26213 326 | 19.346 % |
79.30/79.46 c | 26776 | 62161 322336 893376 | 2147483647 26586 328 | 19.346 % |
80.79/80.91 c | 27185 | 62078 321748 892200 | 2147483647 26992 333 | 19.346 % |
81.69/81.82 c | 27638 | 62063 321748 892200 | 2147483647 27442 330 | 19.450 % |
81.79/81.95 c | 27740 | 62063 321748 892200 | 2147483647 27544 329 | 19.450 % |
82.19/82.31 c | 27851 | 62063 321748 892200 | 2147483647 27655 329 | 19.450 % |
82.49/82.69 c | 27976 | 62063 321748 892200 | 2147483647 27780 330 | 19.450 % |
83.09/83.27 c | 28109 | 62063 321748 892200 | 2147483647 27913 331 | 19.450 % |
83.59/83.74 c | 28255 | 62063 321748 892200 | 2147483647 28059 331 | 19.450 % |
84.09/84.25 c | 28415 | 62063 321748 892200 | 2147483647 28218 331 | 19.451 % |
84.49/84.66 c | 28592 | 62063 321748 892200 | 2147483647 28395 331 | 19.451 % |
85.09/85.27 c | 28789 | 62063 321748 892200 | 2147483647 28592 333 | 19.451 % |
85.89/86.07 c | 29002 | 62063 321748 892200 | 2147483647 28805 334 | 19.451 % |
86.80/86.93 c | 29240 | 62063 321748 892200 | 2147483647 29043 335 | 19.451 % |
87.79/87.93 c | 29496 | 62063 321748 892200 | 2147483647 29299 336 | 19.451 % |
88.59/88.80 c | 29777 | 62063 321748 892200 | 2147483647 29580 337 | 19.451 % |
89.79/89.91 c | 30088 | 62063 321748 892200 | 2147483647 29891 339 | 19.451 % |
90.99/91.10 c | 30428 | 61997 321081 890436 | 2147483647 30223 343 | 19.451 % |
92.38/92.55 c | 30800 | 61997 321081 890436 | 2147483647 30595 343 | 19.451 % |
93.68/93.83 c | 31214 | 61993 321081 890436 | 2147483647 31008 344 | 19.464 % |
95.18/95.37 c | 31664 | 61993 321081 890436 | 2147483647 31458 347 | 19.464 % |
97.29/97.47 c | 32158 | 61993 321081 890436 | 2147483647 31952 351 | 19.464 % |
97.79/97.92 c | 32258 | 61993 321081 890436 | 2147483647 32052 351 | 19.464 % |
98.18/98.32 c | 32368 | 61993 321081 890436 | 2147483647 32162 351 | 19.464 % |
98.58/98.77 c | 32489 | 61991 321081 890436 | 2147483647 32280 351 | 19.508 % |
98.79/98.94 c | 32622 | 61983 321081 890436 | 2147483647 32412 350 | 19.520 % |
99.58/99.72 c | 32768 | 61980 321081 890436 | 2147483647 32558 351 | 19.520 % |
99.99/100.19 c | 32928 | 61980 321081 890436 | 2147483647 32718 353 | 19.520 % |
100.49/100.60 c | 33104 | 61980 321081 890436 | 2147483647 32894 352 | 19.520 % |
100.99/101.13 c | 33297 | 61980 321081 890436 | 2147483647 33087 353 | 19.520 % |
101.79/101.92 c | 33509 | 61980 321081 890436 | 2147483647 33299 353 | 19.520 % |
102.39/102.58 c | 33745 | 61944 320741 889628 | 2147483647 33524 353 | 19.520 % |
103.49/103.65 c | 34001 | 61944 320741 889628 | 2147483647 33780 353 | 19.520 % |
103.89/104.07 c | 34282 | 61944 320741 889628 | 2147483647 34061 352 | 19.520 % |
105.49/105.67 c | 34593 | 61944 320741 889628 | 2147483647 34372 353 | 19.520 % |
106.08/106.27 c | 34932 | 61944 320741 889628 | 2147483647 34711 351 | 19.520 % |
107.48/107.66 c | 35305 | 61944 320741 889628 | 2147483647 35084 351 | 19.520 % |
108.88/109.09 c | 35716 | 61944 320741 889628 | 2147483647 35495 351 | 19.520 % |
110.58/110.75 c | 36166 | 61942 320741 889628 | 2147483647 35943 353 | 19.522 % |
112.48/112.68 c | 36660 | 61940 320741 889628 | 2147483647 36435 355 | 19.525 % |
114.37/114.52 c | 37202 | 61940 320741 889628 | 2147483647 36977 356 | 19.525 % |
114.77/114.98 c | 37302 | 61940 320725 889596 | 2147483647 37076 356 | 19.525 % |
115.17/115.32 c | 37412 | 61940 320725 889596 | 2147483647 37185 357 | 19.526 % |
115.67/115.86 c | 37533 | 61933 320725 889596 | 2147483647 37305 357 | 19.542 % |
116.07/116.22 c | 37666 | 61909 320725 889596 | 2147483647 37437 357 | 19.594 % |
116.57/116.77 c | 37818 | 61909 320725 889596 | 2147483647 37589 357 | 19.594 % |
117.37/117.55 c | 37978 | 61907 320725 889596 | 2147483647 37747 358 | 19.596 % |
118.07/118.20 c | 38154 | 61907 320725 889596 | 2147483647 37923 358 | 19.596 % |
118.57/118.71 c | 38347 | 61907 320725 889596 | 2147483647 38116 357 | 19.596 % |
119.17/119.36 c | 38559 | 61907 320725 889596 | 2147483647 38328 356 | 19.596 % |
119.67/119.85 c | 38797 | 61907 320725 889596 | 2147483647 38565 355 | 19.609 % |
120.07/120.25 c | 39054 | 61907 320725 889596 | 2147483647 38822 353 | 19.609 % |
120.77/120.91 c | 39335 | 61905 320725 889596 | 2147483647 39101 352 | 19.630 % |
121.37/121.58 c | 39644 | 61901 320725 889596 | 2147483647 39409 350 | 19.641 % |
122.76/122.96 c | 39984 | 61893 320725 889596 | 2147483647 39749 353 | 19.641 % |
124.57/124.72 c | 40357 | 61893 320725 889596 | 2147483647 40122 354 | 19.641 % |
126.37/126.57 c | 40770 | 61893 320725 889596 | 2147483647 40535 356 | 19.641 % |
127.86/128.09 c | 41220 | 61891 320725 889596 | 2147483647 40983 356 | 19.643 % |
129.86/130.02 c | 41713 | 61849 320232 888532 | 2147483647 41465 359 | 19.643 % |
132.56/132.74 c | 42255 | 61848 320232 888532 | 2147483647 42006 361 | 19.645 % |
134.96/135.11 c | 42855 | 61845 320232 888532 | 2147483647 42603 363 | 19.671 % |
135.46/135.60 c | 42957 | 61845 320232 888532 | 2147483647 42705 363 | 19.671 % |
135.76/135.98 c | 43067 | 61845 320232 888532 | 2147483647 42815 364 | 19.671 % |
136.16/136.37 c | 43189 | 61845 320232 888532 | 2147483647 42937 364 | 19.671 % |
136.66/136.86 c | 43324 | 61845 320232 888532 | 2147483647 43072 364 | 19.671 % |
137.16/137.36 c | 43472 | 61845 320232 888532 | 2147483647 43220 365 | 19.671 % |
137.76/137.95 c | 43634 | 61844 320232 888532 | 2147483647 43381 365 | 19.672 % |
138.47/138.64 c | 43810 | 61842 320232 888532 | 2147483647 43555 365 | 19.691 % |
139.26/139.45 c | 44003 | 61842 320232 888532 | 2147483647 43748 367 | 19.691 % |
139.86/140.08 c | 44215 | 61842 320232 888532 | 2147483647 43960 366 | 19.691 % |
140.66/140.89 c | 44449 | 61842 320232 888532 | 2147483647 44194 365 | 19.691 % |
141.36/141.51 c | 44705 | 61842 320232 888532 | 2147483647 44449 364 | 19.693 % |
142.46/142.61 c | 44986 | 61839 320232 888532 | 2147483647 44728 364 | 19.712 % |
143.55/143.73 c | 45297 | 61839 320232 888532 | 2147483647 45039 366 | 19.712 % |
144.65/144.81 c | 45638 | 61838 320232 888532 | 2147483647 45379 366 | 19.713 % |
145.86/146.03 c | 46012 | 61838 320232 888532 | 2147483647 45753 366 | 19.713 % |
146.66/146.82 c | 46425 | 61795 319916 887680 | 2147483647 46156 364 | 19.713 % |
148.06/148.28 c | 46879 | 61795 319916 887680 | 2147483647 46610 363 | 19.713 % |
149.66/149.84 c | 47373 | 61795 319916 887680 | 2147483647 47104 366 | 19.713 % |
151.56/151.75 c | 47916 | 61795 319916 887680 | 2147483647 47647 368 | 19.713 % |
153.66/153.84 c | 48513 | 61795 319916 887680 | 2147483647 48244 371 | 19.713 % |
155.96/156.18 c | 49168 | 61794 319916 887680 | 2147483647 48898 374 | 19.732 % |
156.36/156.57 c | 49269 | 61794 319916 887680 | 2147483647 48999 374 | 19.732 % |
156.86/157.02 c | 49379 | 61794 319916 887680 | 2147483647 49109 374 | 19.732 % |
157.25/157.42 c | 49501 | 61766 319916 887680 | 2147483647 49227 374 | 19.811 % |
157.55/157.76 c | 49638 | 61766 319916 887680 | 2147483647 49364 373 | 19.811 % |
158.35/158.57 c | 49784 | 61766 319916 887680 | 2147483647 49510 373 | 19.811 % |
158.85/159.04 c | 49944 | 61766 319916 887680 | 2147483647 49670 373 | 19.811 % |
159.44/159.65 c | 50122 | 61766 319916 887680 | 2147483647 49848 374 | 19.811 % |
160.24/160.49 c | 50319 | 61686 319916 887680 | 2147483647 50042 374 | 20.788 % |
160.84/161.08 c | 50532 | 61686 319916 887680 | 2147483647 50255 373 | 20.788 % |
161.35/161.54 c | 50766 | 61685 319916 887680 | 2147483647 50488 372 | 20.789 % |
162.15/162.32 c | 51022 | 61685 319916 887680 | 2147483647 50744 372 | 20.789 % |
163.45/163.60 c | 51304 | 61683 319916 887680 | 2147483647 51024 372 | 20.792 % |
164.45/164.62 c | 51613 | 61683 319916 887680 | 2147483647 51333 372 | 20.792 % |
165.85/166.02 c | 51952 | 61683 319916 887680 | 2147483647 51672 374 | 20.792 % |
167.05/167.21 c | 52324 | 61683 319916 887680 | 2147483647 52044 373 | 20.792 % |
168.34/168.52 c | 52734 | 61683 319916 887680 | 2147483647 52454 375 | 20.792 % |
169.94/170.17 c | 53183 | 60962 314910 874447 | 2147483647 52865 375 | 20.797 % |
172.14/172.39 c | 53677 | 60962 314910 874447 | 2147483647 53359 377 | 20.797 % |
174.14/174.37 c | 54220 | 60960 314910 874447 | 2147483647 53900 377 | 20.810 % |
176.25/176.45 c | 54816 | 60960 314910 874447 | 2147483647 54496 379 | 20.810 % |
178.94/179.18 c | 55473 | 60960 314910 874447 | 2147483647 55153 383 | 20.810 % |
181.74/181.93 c | 56193 | 60959 314910 874447 | 2147483647 55872 386 | 20.811 % |
182.14/182.33 c | 56295 | 60959 314910 874447 | 2147483647 55974 386 | 20.811 % |
182.54/182.80 c | 56406 | 60959 314910 874447 | 2147483647 56085 386 | 20.811 % |
183.03/183.27 c | 56527 | 60934 314910 874447 | 2147483647 56205 386 | 20.926 % |
183.55/183.72 c | 56660 | 60934 314910 874447 | 2147483647 56338 386 | 20.926 % |
184.24/184.44 c | 56807 | 60934 314910 874447 | 2147483647 56485 386 | 20.926 % |
184.94/185.12 c | 56967 | 60934 314910 874447 | 2147483647 56645 387 | 20.926 % |
185.54/185.77 c | 57146 | 60934 314910 874447 | 2147483647 56824 388 | 20.926 % |
185.84/186.03 c | 57343 | 60934 314910 874447 | 2147483647 57021 387 | 20.926 % |
187.04/187.24 c | 57555 | 60934 314910 874447 | 2147483647 57232 388 | 20.927 % |
187.84/188.08 c | 57792 | 60934 314910 874447 | 2147483647 57469 389 | 20.927 % |
188.94/189.19 c | 58049 | 60933 314910 874447 | 2147483647 57725 389 | 20.928 % |
190.24/190.40 c | 58330 | 60933 314910 874447 | 2147483647 58006 389 | 20.928 % |
191.83/192.05 c | 58639 | 60933 314910 874447 | 2147483647 58315 389 | 20.928 % |
193.24/193.42 c | 58978 | 60933 314910 874447 | 2147483647 58654 390 | 20.928 % |
194.94/195.13 c | 59350 | 60931 314910 874447 | 2147483647 59024 390 | 20.931 % |
196.74/196.97 c | 59759 | 60858 314395 873410 | 2147483647 59422 392 | 20.931 % |
198.33/198.56 c | 60208 | 60858 314395 873410 | 2147483647 59871 392 | 20.931 % |
199.83/200.08 c | 60701 | 60858 314395 873410 | 2147483647 60363 392 | 20.985 % |
202.23/202.49 c | 61246 | 60858 314395 873410 | 2147483647 60908 392 | 20.985 % |
205.03/205.20 c | 61842 | 60858 314395 873410 | 2147483647 61504 394 | 20.985 % |
207.43/207.66 c | 62497 | 60858 314395 873410 | 2147483647 62159 394 | 20.985 % |
210.73/210.90 c | 63219 | 60858 314395 873410 | 2147483647 62881 397 | 20.985 % |
214.53/214.74 c | 64012 | 60858 314395 873410 | 2147483647 63674 400 | 20.985 % |
214.83/215.10 c | 64112 | 60858 314395 873410 | 2147483647 63774 400 | 20.985 % |
215.43/215.62 c | 64222 | 60858 314395 873410 | 2147483647 63884 400 | 20.985 % |
216.12/216.35 c | 64343 | 60858 314395 873410 | 2147483647 64005 401 | 20.985 % |
216.62/216.82 c | 64477 | 60858 314395 873410 | 2147483647 64139 401 | 20.985 % |
216.82/217.01 c | 64623 | 60858 314395 873410 | 2147483647 64285 401 | 20.985 % |
217.32/217.58 c | 64783 | 60856 314395 873410 | 2147483647 64443 400 | 20.988 % |
218.42/218.61 c | 64960 | 60855 314395 873410 | 2147483647 64619 401 | 20.989 % |
219.22/219.40 c | 65155 | 60855 314395 873410 | 2147483647 64814 401 | 20.989 % |
219.92/220.18 c | 65368 | 60855 314395 873410 | 2147483647 65027 402 | 20.989 % |
221.13/221.33 c | 65603 | 60855 314395 873410 | 2147483647 65262 403 | 20.989 % |
222.23/222.40 c | 65863 | 60855 314395 873410 | 2147483647 65522 403 | 20.989 % |
223.62/223.82 c | 66145 | 60854 314395 873410 | 2147483647 65803 402 | 20.991 % |
224.92/225.18 c | 66456 | 60854 314395 873410 | 2147483647 66114 403 | 20.991 % |
226.43/226.63 c | 66796 | 60854 314395 873410 | 2147483647 66454 404 | 20.991 % |
228.23/228.43 c | 67169 | 60728 314165 872950 | 2147483647 66821 404 | 21.153 % |
230.42/230.69 c | 67578 | 60728 314165 872950 | 2147483647 67230 406 | 21.153 % |
232.12/232.31 c | 68027 | 60728 314165 872950 | 2147483647 67679 407 | 21.153 % |
234.63/234.87 c | 68521 | 60728 314165 872950 | 2147483647 68173 408 | 21.153 % |
237.62/237.87 c | 69066 | 60728 314165 872950 | 2147483647 68718 411 | 21.153 % |
239.52/239.78 c | 69664 | 60728 314165 872950 | 2147483647 69316 413 | 21.153 % |
242.42/242.69 c | 70321 | 60728 314165 872950 | 2147483647 69973 415 | 21.153 % |
245.71/245.91 c | 71043 | 60728 314165 872950 | 2147483647 70695 416 | 21.153 % |
248.71/248.95 c | 71835 | 60728 314165 872950 | 2147483647 71487 416 | 21.153 % |
251.41/251.62 c | 72706 | 60728 314165 872950 | 2147483647 72358 418 | 21.153 % |
251.81/252.07 c | 72807 | 60728 314165 872950 | 2147483647 72459 418 | 21.153 % |
252.41/252.62 c | 72920 | 60728 314165 872950 | 2147483647 72572 418 | 21.153 % |
252.91/253.16 c | 73047 | 60728 314165 872950 | 2147483647 72699 418 | 21.153 % |
253.41/253.63 c | 73184 | 60728 314165 872950 | 2147483647 72836 418 | 21.153 % |
254.11/254.33 c | 73330 | 60728 314165 872950 | 2147483647 72982 419 | 21.153 % |
254.81/255.00 c | 73495 | 60728 314165 872950 | 2147483647 73147 419 | 21.153 % |
255.51/255.72 c | 73677 | 60728 314165 872950 | 2147483647 73329 419 | 21.153 % |
256.41/256.67 c | 73870 | 60728 314165 872950 | 2147483647 73522 419 | 21.153 % |
257.21/257.47 c | 74082 | 60728 314165 872950 | 2147483647 73734 420 | 21.153 % |
258.41/258.69 c | 74318 | 60728 314165 872950 | 2147483647 73970 420 | 21.153 % |
259.70/259.93 c | 74574 | 60728 314165 872950 | 2147483647 74226 421 | 21.153 % |
260.60/260.86 c | 74856 | 60728 314165 872950 | 2147483647 74508 421 | 21.153 % |
262.11/262.39 c | 75165 | 60728 314165 872950 | 2147483647 74817 422 | 21.153 % |
264.00/264.23 c | 75506 | 60728 314165 872950 | 2147483647 75158 422 | 21.153 % |
265.30/265.52 c | 75878 | 60728 314165 872950 | 2147483647 75530 423 | 21.153 % |
267.20/267.48 c | 76288 | 60687 313597 871814 | 2147483647 75916 424 | 21.153 % |
269.01/269.22 c | 76737 | 60679 313597 871814 | 2147483647 76362 423 | 21.175 % |
271.41/271.67 c | 77230 | 60678 313597 871814 | 2147483647 76854 424 | 21.228 % |
274.20/274.47 c | 77774 | 60678 313597 871814 | 2147483647 77397 426 | 21.236 % |
277.40/277.67 c | 78371 | 60678 313597 871814 | 2147483647 77994 428 | 21.236 % |
280.60/280.80 c | 79028 | 60678 313597 871814 | 2147483647 78651 429 | 21.236 % |
283.90/284.11 c | 79750 | 60678 313597 871814 | 2147483647 79373 429 | 21.236 % |
287.50/287.71 c | 80544 | 60678 313597 871814 | 2147483647 80167 431 | 21.236 % |
288.80/289.02 c | 81416 | 60678 313597 871814 | 2147483647 81039 428 | 21.236 % |
293.10/293.38 c | 82377 | 60678 313597 871814 | 2147483647 82000 429 | 21.236 % |
293.59/293.81 c | 82479 | 60678 313597 871814 | 2147483647 82102 429 | 21.236 % |
293.99/294.28 c | 82590 | 60678 313597 871814 | 2147483647 82213 429 | 21.236 % |
294.69/294.94 c | 82711 | 60677 313597 871814 | 2147483647 82333 429 | 21.237 % |
295.59/295.81 c | 82850 | 60677 313597 871814 | 2147483647 82472 429 | 21.237 % |
296.19/296.43 c | 82997 | 60677 313597 871814 | 2147483647 82619 430 | 21.237 % |
296.99/297.29 c | 83157 | 60677 313597 871814 | 2147483647 82779 430 | 21.237 % |
297.99/298.25 c | 83334 | 60677 313597 871814 | 2147483647 82956 431 | 21.237 % |
298.89/299.14 c | 83527 | 60677 313597 871814 | 2147483647 83149 431 | 21.237 % |
299.78/300.04 c | 83739 | 60677 313597 871814 | 2147483647 83361 431 | 21.237 % |
301.19/301.47 c | 83975 | 60677 313597 871814 | 2147483647 83597 431 | 21.237 % |
302.59/302.80 c | 84231 | 60677 313597 871814 | 2147483647 83853 432 | 21.237 % |
303.79/304.09 c | 84517 | 60677 313597 871814 | 2147483647 84139 432 | 21.237 % |
305.19/305.42 c | 84829 | 60677 313597 871814 | 2147483647 84451 433 | 21.237 % |
306.69/306.98 c | 85169 | 60677 313597 871814 | 2147483647 84791 432 | 21.237 % |
308.58/308.82 c | 85541 | 60674 313597 871814 | 2147483647 85160 433 | 21.262 % |
310.48/310.79 c | 85951 | 60674 313597 871814 | 2147483647 85570 433 | 21.262 % |
312.39/312.70 c | 86403 | 60673 313597 871814 | 2147483647 86021 433 | 21.263 % |
315.98/316.21 c | 86899 | 60673 313597 871814 | 2147483647 86517 435 | 21.263 % |
318.88/319.12 c | 87441 | 60601 313103 870536 | 2147483647 87053 436 | 21.265 % |
322.09/322.32 c | 88038 | 60601 313103 870536 | 2147483647 87650 439 | 21.265 % |
324.78/325.03 c | 88693 | 60601 313103 870536 | 2147483647 88305 440 | 21.265 % |
327.88/328.11 c | 89414 | 60601 313103 870536 | 2147483647 89026 442 | 21.265 % |
331.88/332.16 c | 90207 | 60600 313103 870536 | 2147483647 89818 443 | 21.266 % |
336.58/336.89 c | 91080 | 60600 313103 870536 | 2147483647 90691 444 | 21.266 % |
341.17/341.45 c | 92038 | 60600 313103 870536 | 2147483647 91649 445 | 21.266 % |
345.57/345.89 c | 93091 | 60600 313103 870536 | 2147483647 92702 449 | 21.266 % |
346.07/346.39 c | 93192 | 60600 313103 870536 | 2147483647 92803 449 | 21.266 % |
346.67/346.91 c | 93304 | 60600 313103 870536 | 2147483647 92915 449 | 21.266 % |
347.38/347.63 c | 93425 | 60600 313103 870536 | 2147483647 93036 449 | 21.266 % |
348.07/348.35 c | 93562 | 60600 313103 870536 | 2147483647 93173 449 | 21.266 % |
348.57/348.89 c | 93709 | 60600 313103 870536 | 2147483647 93320 449 | 21.266 % |
349.47/349.74 c | 93871 | 60600 313103 870536 | 2147483647 93482 449 | 21.266 % |
350.37/350.67 c | 94048 | 60600 313103 870536 | 2147483647 93659 449 | 21.266 % |
351.36/351.68 c | 94242 | 60600 313103 870536 | 2147483647 93853 449 | 21.266 % |
352.46/352.70 c | 94455 | 60600 313103 870536 | 2147483647 94066 450 | 21.266 % |
353.46/353.77 c | 94697 | 60600 313103 870536 | 2147483647 94308 449 | 21.266 % |
354.86/355.16 c | 94954 | 60600 313103 870536 | 2147483647 94564 449 | 21.272 % |
355.57/355.82 c | 95240 | 60600 313103 870536 | 2147483647 94850 449 | 21.272 % |
356.97/357.26 c | 95550 | 60599 313103 870536 | 2147483647 95159 449 | 21.274 % |
358.57/358.88 c | 95889 | 60599 313103 870536 | 2147483647 95497 449 | 21.275 % |
360.27/360.51 c | 96261 | 60598 313103 870536 | 2147483647 95868 449 | 21.276 % |
362.26/362.53 c | 96670 | 60597 313103 870536 | 2147483647 96276 449 | 21.278 % |
364.56/364.85 c | 97121 | 60596 313103 870536 | 2147483647 96726 449 | 21.283 % |
366.77/367.01 c | 97614 | 60596 313103 870536 | 2147483647 97219 451 | 21.283 % |
369.46/369.76 c | 98156 | 60596 313103 870536 | 2147483647 97761 453 | 21.283 % |
372.57/372.82 c | 98754 | 60594 313103 870536 | 2147483647 98358 454 | 21.287 % |
375.66/375.94 c | 99409 | 60594 313103 870536 | 2147483647 99013 456 | 21.287 % |
378.85/379.14 c | 100129 | 60594 313103 870536 | 2147483647 99733 457 | 21.287 % |
382.75/383.02 c | 100921 | 60594 313103 870536 | 2147483647 100525 458 | 21.287 % |
386.86/387.19 c | 101795 | 60584 313009 870310 | 2147483647 101392 459 | 21.287 % |
392.95/393.28 c | 102755 | 60581 313009 870310 | 2147483647 102349 460 | 21.291 % |
398.25/398.59 c | 103808 | 60580 313009 870310 | 2147483647 103401 462 | 21.292 % |
404.95/405.27 c | 104966 | 60577 313009 870310 | 2147483647 104556 463 | 21.298 % |
405.55/405.89 c | 105066 | 60577 313009 870310 | 2147483647 104656 463 | 21.298 % |
406.15/406.41 c | 105177 | 60577 313009 870310 | 2147483647 104767 463 | 21.298 % |
406.65/406.90 c | 105299 | 60577 313009 870310 | 2147483647 104889 463 | 21.298 % |
407.44/407.77 c | 105432 | 60577 313009 870310 | 2147483647 105022 463 | 21.298 % |
408.24/408.59 c | 105578 | 60577 313009 870310 | 2147483647 105168 464 | 21.298 % |
408.95/409.25 c | 105738 | 60577 313009 870310 | 2147483647 105328 464 | 21.298 % |
409.85/410.18 c | 105914 | 60577 313009 870310 | 2147483647 105504 464 | 21.298 % |
410.75/411.05 c | 106108 | 60577 313009 870310 | 2147483647 105698 464 | 21.298 % |
412.05/412.34 c | 106320 | 60577 313009 870310 | 2147483647 105910 464 | 21.298 % |
413.45/413.78 c | 106553 | 60577 313009 870310 | 2147483647 106143 464 | 21.298 % |
414.94/415.26 c | 106809 | 60577 313009 870310 | 2147483647 106399 465 | 21.298 % |
416.65/416.99 c | 107090 | 60577 313009 870310 | 2147483647 106680 465 | 21.298 % |
418.14/418.41 c | 107399 | 60577 313009 870310 | 2147483647 106989 465 | 21.298 % |
420.44/420.72 c | 107738 | 60577 313009 870310 | 2147483647 107328 465 | 21.298 % |
421.95/422.30 c | 108110 | 60577 313009 870310 | 2147483647 107700 465 | 21.298 % |
423.54/423.83 c | 108519 | 60577 313009 870310 | 2147483647 108109 465 | 21.298 % |
425.84/426.17 c | 108970 | 60577 313009 870310 | 2147483647 108559 466 | 21.300 % |
428.64/428.94 c | 109465 | 60577 313009 870310 | 2147483647 109054 466 | 21.300 % |
430.94/431.29 c | 110007 | 60577 313009 870310 | 2147483647 109596 466 | 21.300 % |
433.34/433.60 c | 110605 | 60577 313009 870310 | 2147483647 110194 465 | 21.300 % |
437.03/437.32 c | 111261 | 60577 313009 870310 | 2147483647 110850 467 | 21.300 % |
440.64/440.97 c | 111983 | 60577 313009 870310 | 2147483647 111572 467 | 21.300 % |
444.13/444.42 c | 112775 | 60577 313009 870310 | 2147483647 112364 467 | 21.300 % |
448.73/449.07 c | 113648 | 60577 313009 870310 | 2147483647 113237 468 | 21.300 % |
453.43/453.76 c | 114606 | 60569 313009 870310 | 2147483647 114191 468 | 21.508 % |
460.02/460.34 c | 115661 | 60569 313009 870310 | 2147483647 115246 468 | 21.508 % |
465.53/465.83 c | 116824 | 60413 311977 867572 | 2147483647 116370 468 | 21.509 % |
473.41/473.75 c | 118099 | 60413 311977 867572 | 2147483647 117645 469 | 21.509 % |
473.91/474.28 c | 118200 | 60413 311977 867572 | 2147483647 117746 469 | 21.509 % |
474.61/474.97 c | 118314 | 60413 311977 867572 | 2147483647 117859 469 | 21.513 % |
475.31/475.68 c | 118435 | 60413 311977 867572 | 2147483647 117980 469 | 21.513 % |
476.02/476.30 c | 118569 | 60413 311977 867572 | 2147483647 118114 470 | 21.513 % |
476.81/477.15 c | 118716 | 60413 311977 867572 | 2147483647 118261 469 | 21.513 % |
477.71/478.08 c | 118876 | 60413 311977 867572 | 2147483647 118421 469 | 21.513 % |
478.71/479.04 c | 119055 | 60413 311977 867572 | 2147483647 118600 469 | 21.513 % |
479.81/480.14 c | 119248 | 60413 311977 867572 | 2147483647 118793 469 | 21.513 % |
480.91/481.27 c | 119460 | 60413 311977 867572 | 2147483647 119005 469 | 21.513 % |
482.31/482.69 c | 119694 | 60413 311977 867572 | 2147483647 119239 469 | 21.513 % |
484.02/484.30 c | 119950 | 60413 311977 867572 | 2147483647 119495 469 | 21.513 % |
485.51/485.88 c | 120232 | 60413 311977 867572 | 2147483647 119777 469 | 21.513 % |
486.81/487.18 c | 120541 | 60413 311977 867572 | 2147483647 120086 469 | 21.513 % |
488.71/489.02 c | 120880 | 60413 311977 867572 | 2147483647 120425 469 | 21.513 % |
491.21/491.51 c | 121252 | 60413 311977 867572 | 2147483647 120797 468 | 21.513 % |
493.31/493.64 c | 121663 | 60413 311977 867572 | 2147483647 121208 468 | 21.513 % |
495.81/496.13 c | 122112 | 60413 311977 867572 | 2147483647 121657 468 | 21.513 % |
498.50/498.88 c | 122605 | 60413 311977 867572 | 2147483647 122150 468 | 21.513 % |
501.71/502.05 c | 123156 | 60413 311977 867572 | 2147483647 122701 469 | 21.513 % |
504.81/505.14 c | 123754 | 60413 311977 867572 | 2147483647 123299 469 | 21.513 % |
508.61/508.92 c | 124409 | 60413 311977 867572 | 2147483647 123954 470 | 21.513 % |
512.70/513.01 c | 125133 | 60413 311977 867572 | 2147483647 124678 470 | 21.513 % |
516.20/516.59 c | 125925 | 60413 311977 867572 | 2147483647 125470 470 | 21.513 % |
521.19/521.59 c | 126796 | 60406 311977 867572 | 2147483647 126339 472 | 21.595 % |
528.29/528.60 c | 127756 | 60406 311977 867572 | 2147483647 127299 474 | 21.595 % |
534.19/534.59 c | 128810 | 60406 311977 867572 | 2147483647 128353 477 | 21.595 % |
540.79/541.12 c | 129968 | 60406 311977 867572 | 2147483647 129511 478 | 21.595 % |
548.38/548.72 c | 131241 | 60404 311977 867572 | 2147483647 130783 478 | 21.615 % |
554.88/555.23 c | 132641 | 60081 311977 867572 | 2147483647 132181 477 | 22.300 % |
555.58/555.96 c | 132744 | 60081 311977 867572 | 2147483647 132284 478 | 22.300 % |
556.28/556.65 c | 132858 | 60081 311977 867572 | 2147483647 132398 478 | 22.300 % |
557.08/557.40 c | 132979 | 60081 311977 867572 | 2147483647 132519 478 | 22.300 % |
557.89/558.25 c | 133117 | 60081 311977 867572 | 2147483647 132657 478 | 22.300 % |
558.88/559.28 c | 133263 | 60081 311977 867572 | 2147483647 132803 478 | 22.300 % |
559.68/560.06 c | 133424 | 60081 311977 867572 | 2147483647 132964 478 | 22.300 % |
560.98/561.32 c | 133602 | 59804 308180 858525 | 2147483647 132572 480 | 22.300 % |
562.08/562.46 c | 133797 | 59804 308180 858525 | 2147483647 132767 480 | 22.300 % |
563.57/563.95 c | 134010 | 59803 308180 858525 | 2147483647 132978 480 | 22.303 % |
564.87/565.27 c | 134243 | 59802 308180 858525 | 2147483647 133211 480 | 22.303 % |
566.57/566.90 c | 134499 | 59802 308180 858525 | 2147483647 133467 480 | 22.303 % |
568.37/568.76 c | 134784 | 59802 308180 858525 | 2147483647 133752 480 | 22.303 % |
569.56/569.96 c | 135097 | 59801 308180 858525 | 2147483647 134064 480 | 22.304 % |
571.17/571.58 c | 135436 | 59801 308180 858525 | 2147483647 134403 480 | 22.304 % |
573.47/573.87 c | 135808 | 59801 308180 858525 | 2147483647 134775 480 | 22.304 % |
576.37/576.74 c | 136217 | 59801 308180 858525 | 2147483647 135184 480 | 22.304 % |
579.86/580.25 c | 136673 | 59801 308180 858525 | 2147483647 135640 480 | 22.304 % |
582.67/583.07 c | 137167 | 59801 308180 858525 | 2147483647 136134 480 | 22.304 % |
585.17/585.57 c | 137710 | 59801 308180 858525 | 2147483647 136677 480 | 22.304 % |
588.76/589.12 c | 138306 | 59801 308180 858525 | 2147483647 137273 481 | 22.304 % |
593.37/593.77 c | 138961 | 59801 308180 858525 | 2147483647 137927 482 | 22.308 % |
597.16/597.55 c | 139682 | 59801 308180 858525 | 2147483647 138648 483 | 22.308 % |
601.96/602.36 c | 140474 | 59801 308180 858525 | 2147483647 139439 483 | 22.309 % |
606.56/606.91 c | 141345 | 59801 308180 858525 | 2147483647 140310 483 | 22.309 % |
611.95/612.31 c | 142303 | 59798 308180 858525 | 2147483647 141267 483 | 22.326 % |
618.85/619.23 c | 143359 | 59797 308180 858525 | 2147483647 142322 483 | 22.327 % |
625.45/625.86 c | 144521 | 59797 308180 858525 | 2147483647 143484 484 | 22.327 % |
633.15/633.52 c | 145794 | 59796 308180 858525 | 2147483647 144755 485 | 22.342 % |
642.64/643.01 c | 147196 | 59796 308180 858525 | 2147483647 146157 484 | 22.342 % |
650.24/650.64 c | 148736 | 59795 308180 858525 | 2147483647 147696 483 | 22.361 % |
650.94/651.31 c | 148836 | 59795 308180 858525 | 2147483647 147796 483 | 22.361 % |
651.84/652.26 c | 148948 | 59795 308180 858525 | 2147483647 147908 483 | 22.361 % |
652.34/652.77 c | 149069 | 59795 308180 858525 | 2147483647 148029 483 | 22.361 % |
652.64/653.10 c | 149202 | 59795 308180 858525 | 2147483647 148162 483 | 22.361 % |
654.14/654.56 c | 149349 | 59795 308180 858525 | 2147483647 148309 483 | 22.361 % |
655.14/655.52 c | 149513 | 59795 308180 858525 | 2147483647 148473 483 | 22.361 % |
656.34/656.76 c | 149689 | 59795 308180 858525 | 2147483647 148649 483 | 22.361 % |
657.63/658.05 c | 149884 | 59795 308180 858525 | 2147483647 148844 483 | 22.361 % |
658.93/659.30 c | 150101 | 59795 308180 858525 | 2147483647 149061 484 | 22.361 % |
660.43/660.82 c | 150334 | 59795 308180 858525 | 2147483647 149294 484 | 22.361 % |
661.93/662.39 c | 150590 | 59777 308180 858525 | 2147483647 149548 484 | 24.514 % |
663.14/663.59 c | 150872 | 59777 308180 858525 | 2147483647 149830 484 | 24.514 % |
664.93/665.37 c | 151184 | 59777 308180 858525 | 2147483647 150142 483 | 24.514 % |
666.93/667.32 c | 151523 | 59777 308180 858525 | 2147483647 150481 483 | 24.514 % |
668.93/669.33 c | 151895 | 59777 308180 858525 | 2147483647 150853 484 | 24.514 % |
671.12/671.58 c | 152304 | 59777 308180 858525 | 2147483647 151262 484 | 24.514 % |
673.83/674.30 c | 152754 | 59776 308180 858525 | 2147483647 151711 484 | 24.535 % |
676.82/677.25 c | 153247 | 59776 308180 858525 | 2147483647 152204 484 | 24.535 % |
680.22/680.65 c | 153791 | 58083 297988 831952 | 2147483647 152648 484 | 24.536 % |
683.62/684.01 c | 154389 | 58082 297988 831952 | 2147483647 153245 485 | 24.537 % |
687.03/687.50 c | 155044 | 58080 297988 831952 | 2147483647 153898 485 | 24.540 % |
690.92/691.32 c | 155764 | 58080 297988 831952 | 2147483647 154618 485 | 24.540 % |
695.32/695.72 c | 156556 | 58080 297988 831952 | 2147483647 155410 485 | 24.540 % |
699.82/700.21 c | 157429 | 58080 297988 831952 | 2147483647 156283 485 | 24.540 % |
705.91/706.39 c | 158388 | 58080 297988 831952 | 2147483647 157242 486 | 24.540 % |
712.01/712.47 c | 159441 | 58080 297988 831952 | 2147483647 158295 486 | 24.540 % |
719.71/720.16 c | 160600 | 58080 297988 831952 | 2147483647 159454 485 | 24.540 % |
728.51/728.94 c | 161876 | 58080 297988 831952 | 2147483647 160730 486 | 24.540 % |
736.30/736.73 c | 163277 | 58080 297988 831952 | 2147483647 162131 484 | 24.540 % |
745.58/746.05 c | 164820 | 58080 297988 831952 | 2147483647 163674 483 | 24.540 % |
754.78/755.29 c | 166515 | 58080 297988 831952 | 2147483647 165369 483 | 24.540 % |
755.58/756.02 c | 166615 | 58080 297988 831952 | 2147483647 165469 483 | 24.540 % |
756.38/756.85 c | 166728 | 58080 297988 831952 | 2147483647 165582 483 | 24.540 % |
757.28/757.71 c | 166849 | 58080 297988 831952 | 2147483647 165703 483 | 24.540 % |
758.09/758.56 c | 166982 | 58080 297988 831952 | 2147483647 165836 483 | 24.540 % |
759.09/759.55 c | 167130 | 58080 297988 831952 | 2147483647 165984 483 | 24.540 % |
759.98/760.46 c | 167290 | 58080 297988 831952 | 2147483647 166144 483 | 24.540 % |
761.28/761.80 c | 167468 | 58080 297988 831952 | 2147483647 166322 483 | 24.540 % |
762.68/763.16 c | 167663 | 58080 297988 831952 | 2147483647 166517 483 | 24.540 % |
763.88/764.34 c | 167876 | 58080 297988 831952 | 2147483647 166730 483 | 24.540 % |
765.48/765.98 c | 168110 | 58080 297988 831952 | 2147483647 166964 483 | 24.540 % |
767.28/767.75 c | 168367 | 58080 297988 831952 | 2147483647 167221 483 | 24.540 % |
769.18/769.67 c | 168650 | 58080 297988 831952 | 2147483647 167504 483 | 24.540 % |
771.58/772.05 c | 168959 | 58080 297988 831952 | 2147483647 167813 484 | 24.540 % |
773.68/774.18 c | 169301 | 58080 297988 831952 | 2147483647 168155 484 | 24.540 % |
776.38/776.83 c | 169674 | 58080 297988 831952 | 2147483647 168528 484 | 24.540 % |
779.17/779.66 c | 170083 | 58080 297988 831952 | 2147483647 168937 484 | 24.540 % |
781.97/782.47 c | 170534 | 58080 297988 831952 | 2147483647 169388 484 | 24.540 % |
785.08/785.53 c | 171030 | 58080 297988 831952 | 2147483647 169884 484 | 24.540 % |
788.47/788.95 c | 171573 | 58080 297988 831952 | 2147483647 170427 484 | 24.540 % |
791.66/792.10 c | 172169 | 58080 297988 831952 | 2147483647 171023 484 | 24.540 % |
795.37/795.86 c | 172825 | 58080 297988 831952 | 2147483647 171679 484 | 24.540 % |
799.66/800.16 c | 173546 | 58079 297988 831952 | 2147483647 172399 485 | 24.541 % |
804.66/805.16 c | 174339 | 58079 297988 831952 | 2147483647 173192 485 | 24.541 % |
809.96/810.46 c | 175210 | 58079 297988 831952 | 2147483647 174063 485 | 24.541 % |
817.46/817.96 c | 176168 | 58076 297988 831952 | 2147483647 175020 485 | 24.557 % |
825.25/825.70 c | 177221 | 58076 297988 831952 | 2147483647 176073 486 | 24.557 % |
833.85/834.37 c | 178379 | 58076 297988 831952 | 2147483647 177231 487 | 24.557 % |
841.95/842.43 c | 179655 | 58067 297892 831715 | 2147483647 178498 487 | 24.557 % |
850.94/851.49 c | 181058 | 58067 297892 831715 | 2147483647 179901 487 | 24.557 % |
859.24/859.73 c | 182600 | 58067 297892 831715 | 2147483647 181443 486 | 24.557 % |
869.93/870.49 c | 184294 | 58067 297892 831715 | 2147483647 183137 486 | 24.557 % |
885.13/885.67 c | 186157 | 58067 297892 831715 | 2147483647 185000 488 | 24.557 % |
886.03/886.53 c | 186257 | 58067 297892 831715 | 2147483647 185100 488 | 24.557 % |
886.92/887.47 c | 186367 | 58067 297892 831715 | 2147483647 185210 488 | 24.557 % |
887.92/888.42 c | 186489 | 58067 297892 831715 | 2147483647 185332 488 | 24.557 % |
888.72/889.28 c | 186623 | 58067 297892 831715 | 2147483647 185466 488 | 24.557 % |
889.62/890.10 c | 186770 | 58067 297892 831715 | 2147483647 185613 488 | 24.557 % |
890.22/890.73 c | 186930 | 58067 297892 831715 | 2147483647 185773 487 | 24.557 % |
890.63/891.13 c | 187106 | 58067 297892 831715 | 2147483647 185949 487 | 24.557 % |
891.53/892.06 c | 187299 | 58067 297892 831715 | 2147483647 186142 487 | 24.557 % |
892.63/893.15 c | 187513 | 58067 297892 831715 | 2147483647 186356 487 | 24.557 % |
894.22/894.71 c | 187747 | 58067 297892 831715 | 2147483647 186590 487 | 24.557 % |
895.52/896.09 c | 188003 | 58067 297892 831715 | 2147483647 186846 487 | 24.557 % |
897.22/897.76 c | 188285 | 58067 297892 831715 | 2147483647 187128 487 | 24.557 % |
899.42/900.00 c | 188595 | 58067 297892 831715 | 2147483647 187438 487 | 24.557 % |
901.93/902.43 c | 188934 | 58067 297892 831715 | 2147483647 187777 487 | 24.557 % |
904.62/905.14 c | 189306 | 58067 297892 831715 | 2147483647 188149 488 | 24.557 % |
907.42/907.97 c | 189717 | 58067 297892 831715 | 2147483647 188560 487 | 24.557 % |
911.12/911.63 c | 190166 | 58066 297892 831715 | 2147483647 189008 487 | 24.558 % |
915.61/916.20 c | 190659 | 58066 297892 831715 | 2147483647 189501 487 | 24.558 % |
920.12/920.60 c | 191204 | 58066 297892 831715 | 2147483647 190046 487 | 24.558 % |
924.31/924.80 c | 191801 | 58066 297892 831715 | 2147483647 190643 488 | 24.558 % |
928.71/929.22 c | 192462 | 58066 297892 831715 | 2147483647 191304 488 | 24.558 % |
933.11/933.69 c | 193182 | 58066 297892 831715 | 2147483647 192024 487 | 24.558 % |
939.00/939.52 c | 193974 | 58066 297892 831715 | 2147483647 192816 487 | 24.558 % |
945.70/946.20 c | 194848 | 58065 297892 831715 | 2147483647 193689 486 | 24.579 % |
952.60/953.16 c | 195806 | 58065 297892 831715 | 2147483647 194647 487 | 24.579 % |
960.91/961.40 c | 196859 | 58065 297892 831715 | 2147483647 195700 487 | 24.579 % |
971.19/971.76 c | 198017 | 58065 297892 831715 | 2147483647 196858 488 | 24.579 % |
980.39/980.97 c | 199290 | 58064 297892 831715 | 2147483647 198130 489 | 24.580 % |
989.39/989.93 c | 200696 | 58064 297892 831715 | 2147483647 199536 489 | 24.580 % |
999.69/1000.28 c | 202236 | 58064 297892 831715 | 2147483647 201076 489 | 24.580 % |
1009.89/1010.44 c | 203933 | 58064 297892 831715 | 2147483647 202773 490 | 24.580 % |
1022.37/1022.97 c | 205797 | 58064 297892 831715 | 2147483647 204637 491 | 24.580 % |
1035.97/1036.56 c | 207846 | 58049 297782 831413 | 2147483647 206678 492 | 24.582 % |
1036.77/1037.38 c | 207947 | 58049 297782 831413 | 2147483647 206779 493 | 24.582 % |
1037.57/1038.20 c | 208059 | 58049 297782 831413 | 2147483647 206891 493 | 24.582 % |
1038.56/1039.19 c | 208181 | 58049 297782 831413 | 2147483647 207013 493 | 24.582 % |
1039.77/1040.31 c | 208315 | 58049 297782 831413 | 2147483647 207147 493 | 24.582 % |
1040.97/1041.53 c | 208462 | 58049 297782 831413 | 2147483647 207294 492 | 24.582 % |
1041.97/1042.54 c | 208622 | 58049 297782 831413 | 2147483647 207454 492 | 24.582 % |
1043.57/1044.12 c | 208800 | 58049 297782 831413 | 2147483647 207632 492 | 24.582 % |
1044.97/1045.54 c | 208995 | 58049 297782 831413 | 2147483647 207827 492 | 24.582 % |
1046.17/1046.79 c | 209212 | 58049 297782 831413 | 2147483647 208044 492 | 24.582 % |
1047.96/1048.56 c | 209445 | 58049 297782 831413 | 2147483647 208277 493 | 24.582 % |
1050.06/1050.68 c | 209701 | 58049 297782 831413 | 2147483647 208533 493 | 24.582 % |
1052.37/1052.94 c | 209986 | 58049 297782 831413 | 2147483647 208818 493 | 24.582 % |
1054.56/1055.19 c | 210295 | 58049 297782 831413 | 2147483647 209127 493 | 24.582 % |
1056.86/1057.44 c | 210634 | 58049 297782 831413 | 2147483647 209466 493 | 24.582 % |
1059.35/1059.93 c | 211008 | 58049 297782 831413 | 2147483647 209840 494 | 24.582 % |
1062.66/1063.23 c | 211418 | 58049 297782 831413 | 2147483647 210250 494 | 24.582 % |
1066.35/1066.94 c | 211869 | 58049 297782 831413 | 2147483647 210700 494 | 24.597 % |
1069.25/1069.89 c | 212362 | 58049 297782 831413 | 2147483647 211192 494 | 24.599 % |
1074.95/1075.60 c | 212904 | 58023 297782 831413 | 2147483647 211733 494 | 24.822 % |
1080.05/1080.69 c | 213500 | 58023 297782 831413 | 2147483647 212329 494 | 24.822 % |
1084.55/1085.15 c | 214156 | 58023 297782 831413 | 2147483647 212985 495 | 24.822 % |
1089.15/1089.72 c | 214877 | 58023 297782 831413 | 2147483647 213706 495 | 24.822 % |
1094.34/1094.93 c | 215669 | 58023 297782 831413 | 2147483647 214498 494 | 24.822 % |
1100.64/1101.28 c | 216540 | 58023 297782 831413 | 2147483647 215369 494 | 24.822 % |
1107.54/1108.17 c | 217498 | 58022 297782 831413 | 2147483647 216326 494 | 24.823 % |
1117.03/1117.66 c | 218552 | 58022 297782 831413 | 2147483647 217380 495 | 24.823 % |
1126.03/1126.66 c | 219710 | 58005 297782 831413 | 2147483647 218533 495 | 24.883 % |
1135.92/1136.52 c | 220984 | 58005 297782 831413 | 2147483647 219807 496 | 24.883 % |
1148.02/1148.61 c | 222384 | 58005 297782 831413 | 2147483647 221207 496 | 24.883 % |
1159.52/1160.12 c | 223925 | 58005 297782 831413 | 2147483647 222748 497 | 24.883 % |
1172.02/1172.65 c | 225619 | 58004 297782 831413 | 2147483647 224441 497 | 24.884 % |
1185.11/1185.73 c | 227482 | 58000 297782 831413 | 2147483647 226303 497 | 24.899 % |
1199.40/1200.09 c | 229531 | 58000 297782 831413 | 2147483647 228352 497 | 24.899 % |
1215.60/1216.27 c | 231786 | 58000 297782 831413 | 2147483647 230607 497 | 24.899 % |
1216.60/1217.22 c | 231886 | 58000 297782 831413 | 2147483647 230707 497 | 24.899 % |
1217.49/1218.12 c | 231996 | 58000 297782 831413 | 2147483647 230817 497 | 24.899 % |
1218.39/1219.07 c | 232117 | 58000 297782 831413 | 2147483647 230938 497 | 24.899 % |
1219.39/1220.02 c | 232250 | 58000 297782 831413 | 2147483647 231071 497 | 24.899 % |
1220.49/1221.12 c | 232396 | 58000 297782 831413 | 2147483647 231217 497 | 24.899 % |
1221.69/1222.33 c | 232556 | 58000 297782 831413 | 2147483647 231377 497 | 24.899 % |
1223.10/1223.76 c | 232735 | 58000 297782 831413 | 2147483647 231556 497 | 24.899 % |
1224.10/1224.79 c | 232928 | 58000 297782 831413 | 2147483647 231749 497 | 24.899 % |
1225.40/1226.08 c | 233141 | 58000 297782 831413 | 2147483647 231962 497 | 24.899 % |
1227.20/1227.83 c | 233376 | 58000 297782 831413 | 2147483647 232197 497 | 24.899 % |
1229.29/1229.94 c | 233632 | 58000 297782 831413 | 2147483647 232453 497 | 24.899 % |
1231.19/1231.82 c | 233913 | 58000 297782 831413 | 2147483647 232734 497 | 24.899 % |
1234.19/1234.82 c | 234222 | 58000 297782 831413 | 2147483647 233043 497 | 24.899 % |
1237.18/1237.86 c | 234561 | 57999 297782 831413 | 2147483647 233381 497 | 24.900 % |
1239.88/1240.52 c | 234933 | 57999 297782 831413 | 2147483647 233753 497 | 24.900 % |
1242.69/1243.36 c | 235343 | 57999 297782 831413 | 2147483647 234163 497 | 24.900 % |
1246.18/1246.82 c | 235792 | 57999 297782 831413 | 2147483647 234612 497 | 24.900 % |
1249.79/1250.44 c | 236285 | 57999 297782 831413 | 2147483647 235105 497 | 24.900 % |
1253.98/1254.64 c | 236827 | 57999 297782 831413 | 2147483647 235647 497 | 24.900 % |
1258.58/1259.22 c | 237423 | 57999 297782 831413 | 2147483647 236243 497 | 24.900 % |
1264.38/1265.05 c | 238078 | 57999 297782 831413 | 2147483647 236898 497 | 24.900 % |
1268.98/1269.65 c | 238801 | 57999 297782 831413 | 2147483647 237621 496 | 24.900 % |
1276.07/1276.74 c | 239593 | 57803 296491 828139 | 2147483647 238239 497 | 24.900 % |
1284.07/1284.72 c | 240464 | 57803 296491 828139 | 2147483647 239110 497 | 24.900 % |
1289.57/1290.27 c | 241422 | 57803 296491 828139 | 2147483647 240068 496 | 24.900 % |
1296.46/1297.10 c | 242475 | 57803 296491 828139 | 2147483647 241121 496 | 24.900 % |
1304.36/1305.03 c | 243633 | 57803 296491 828139 | 2147483647 242279 496 | 24.900 % |
1312.46/1313.12 c | 244906 | 57803 296491 828139 | 2147483647 243552 496 | 24.900 % |
1323.76/1324.43 c | 246306 | 57803 296491 828139 | 2147483647 244952 495 | 24.900 % |
1333.25/1333.91 c | 247846 | 57803 296491 828139 | 2147483647 246492 495 | 24.900 % |
1346.95/1347.64 c | 249540 | 57802 296491 828139 | 2147483647 248185 495 | 24.901 % |
1362.33/1363.02 c | 251403 | 57802 296491 828139 | 2147483647 250048 495 | 24.901 % |
1378.13/1378.87 c | 253454 | 57802 296491 828139 | 2147483647 252099 496 | 24.901 % |
1399.83/1400.56 c | 255708 | 57802 296491 828139 | 2147483647 254353 498 | 24.901 % |
1419.32/1420.09 c | 258189 | 57802 296491 828139 | 2147483647 256834 499 | 24.901 % |
1420.32/1421.08 c | 258289 | 57802 296491 828139 | 2147483647 256934 499 | 24.901 % |
1421.22/1421.98 c | 258401 | 57802 296491 828139 | 2147483647 257046 499 | 24.901 % |
1422.12/1422.82 c | 258524 | 57802 296491 828139 | 2147483647 257169 499 | 24.901 % |
1422.72/1423.48 c | 258657 | 57802 296491 828139 | 2147483647 257302 499 | 24.901 % |
1423.82/1424.52 c | 258805 | 57802 296491 828139 | 2147483647 257450 499 | 24.901 % |
1425.21/1425.94 c | 258968 | 57802 296491 828139 | 2147483647 257613 499 | 24.901 % |
1426.91/1427.68 c | 259144 | 57802 296491 828139 | 2147483647 257789 499 | 24.901 % |
1428.61/1429.32 c | 259337 | 57802 296491 828139 | 2147483647 257982 499 | 24.901 % |
1430.81/1431.50 c | 259550 | 57802 296491 828139 | 2147483647 258195 499 | 24.901 % |
1432.51/1433.29 c | 259787 | 57802 296491 828139 | 2147483647 258432 499 | 24.901 % |
1433.31/1434.08 c | 260043 | 57802 296491 828139 | 2147483647 258688 499 | 24.901 % |
1436.11/1436.89 c | 260324 | 57802 296491 828139 | 2147483647 258969 499 | 24.901 % |
1438.71/1439.44 c | 260634 | 57802 296491 828139 | 2147483647 259279 498 | 24.901 % |
1441.41/1442.14 c | 260976 | 57802 296491 828139 | 2147483647 259621 498 | 24.901 % |
1444.31/1445.01 c | 261349 | 57802 296491 828139 | 2147483647 259994 498 | 24.901 % |
1446.91/1447.67 c | 261759 | 57800 296491 828139 | 2147483647 260403 498 | 24.913 % |
1450.40/1451.15 c | 262209 | 57800 296491 828139 | 2147483647 260853 499 | 24.913 % |
1454.01/1454.74 c | 262705 | 57800 296491 828139 | 2147483647 261349 499 | 24.913 % |
1458.30/1459.08 c | 263248 | 57800 296491 828139 | 2147483647 261892 499 | 24.913 % |
1464.39/1465.14 c | 263847 | 57800 296491 828139 | 2147483647 262491 499 | 24.913 % |
1469.90/1470.65 c | 264502 | 57800 296491 828139 | 2147483647 263146 499 | 24.913 % |
1474.89/1475.64 c | 265222 | 57800 296491 828139 | 2147483647 263865 499 | 24.914 % |
1481.69/1482.45 c | 266015 | 57800 296491 828139 | 2147483647 264658 500 | 24.914 % |
1488.88/1489.62 c | 266886 | 57800 296491 828139 | 2147483647 265529 501 | 24.914 % |
1495.68/1496.46 c | 267844 | 57800 296491 828139 | 2147483647 266487 501 | 24.914 % |
1502.99/1503.74 c | 268899 | 57800 296491 828139 | 2147483647 267542 502 | 24.914 % |
1511.58/1512.32 c | 270059 | 57800 296491 828139 | 2147483647 268702 502 | 24.914 % |
1522.97/1523.70 c | 271332 | 57800 296491 828139 | 2147483647 269975 503 | 24.914 % |
1533.27/1534.02 c | 272733 | 57800 296491 828139 | 2147483647 271376 504 | 24.914 % |
1546.97/1547.76 c | 274274 | 57800 296491 828139 | 2147483647 272917 504 | 24.914 % |
1561.66/1562.46 c | 275972 | 57800 296491 828139 | 2147483647 274615 504 | 24.914 % |
1579.75/1580.56 c | 277836 | 57800 296491 828139 | 2147483647 276479 505 | 24.914 % |
1594.25/1595.04 c | 279886 | 57800 296491 828139 | 2147483647 278529 505 | 24.914 % |
1616.05/1616.80 c | 282140 | 57792 296419 827971 | 2147483647 280773 507 | 24.914 % |
1637.14/1637.92 c | 284620 | 57792 296419 827971 | 2147483647 283253 507 | 24.914 % |
1660.01/1660.80 c | 287347 | 57789 296419 827971 | 2147483647 285977 508 | 24.918 % |
1660.91/1661.78 c | 287448 | 57789 296419 827971 | 2147483647 286078 508 | 24.918 % |
1662.01/1662.89 c | 287559 | 57789 296419 827971 | 2147483647 286189 508 | 24.918 % |
1663.01/1663.86 c | 287680 | 57789 296419 827971 | 2147483647 286310 508 | 24.918 % |
1664.21/1665.09 c | 287815 | 57789 296419 827971 | 2147483647 286445 508 | 24.918 % |
1665.52/1666.33 c | 287961 | 57789 296419 827971 | 2147483647 286591 507 | 24.918 % |
1666.82/1667.69 c | 288121 | 57789 296419 827971 | 2147483647 286751 508 | 24.918 % |
1668.41/1669.29 c | 288297 | 57789 296419 827971 | 2147483647 286927 508 | 24.918 % |
1670.41/1671.26 c | 288492 | 57789 296419 827971 | 2147483647 287122 508 | 24.918 % |
1672.31/1673.12 c | 288705 | 57789 296419 827971 | 2147483647 287335 508 | 24.918 % |
1674.11/1674.95 c | 288938 | 57789 296419 827971 | 2147483647 287568 508 | 24.918 % |
1675.71/1676.51 c | 289195 | 57789 296419 827971 | 2147483647 287825 508 | 24.918 % |
1677.71/1678.57 c | 289477 | 57789 296419 827971 | 2147483647 288107 508 | 24.918 % |
1681.30/1682.11 c | 289788 | 57789 296419 827971 | 2147483647 288418 508 | 24.918 % |
1683.21/1684.02 c | 290128 | 57789 296419 827971 | 2147483647 288758 508 | 24.918 % |
1686.50/1687.34 c | 290500 | 57789 296419 827971 | 2147483647 289130 508 | 24.918 % |
1689.50/1690.38 c | 290909 | 57789 296419 827971 | 2147483647 289539 508 | 24.918 % |
1693.39/1694.26 c | 291358 | 57789 296419 827971 | 2147483647 289988 508 | 24.918 % |
1697.20/1698.03 c | 291854 | 57789 296419 827971 | 2147483647 290484 508 | 24.918 % |
1701.39/1702.23 c | 292397 | 57789 296419 827971 | 2147483647 291027 508 | 24.918 % |
1707.09/1707.90 c | 292996 | 57787 296419 827971 | 2147483647 291625 508 | 24.931 % |
1711.80/1712.66 c | 293651 | 57787 296419 827971 | 2147483647 292279 509 | 24.935 % |
1718.29/1719.19 c | 294371 | 57787 296419 827971 | 2147483647 292999 509 | 24.935 % |
1725.09/1725.91 c | 295163 | 57786 296419 827971 | 2147483647 293790 509 | 24.956 % |
1731.99/1732.86 c | 296037 | 57786 296419 827971 | 2147483647 294664 509 | 24.956 % |
1740.18/1741.04 c | 296995 | 57786 296419 827971 | 2147483647 295622 509 | 24.956 % |
1748.78/1749.62 c | 298051 | 57786 296419 827971 | 2147483647 296678 509 | 24.956 % |
1758.77/1759.69 c | 299213 | 57786 296419 827971 | 2147483647 297840 509 | 24.956 % |
1771.87/1772.72 c | 300486 | 57786 296419 827971 | 2147483647 299112 509 | 24.957 % |
1785.57/1786.48 c | 301887 | 57786 296419 827971 | 2147483647 300513 509 | 24.957 % |
1797.75/1798.67 c | 303428 | 57786 296419 827971 | 2147483647 302054 509 | 24.957 % |
1813.45/1814.36 c | 305124 | 57786 296419 827971 | 2147483647 303750 508 | 24.957 % |
1828.74/1829.62 c | 306988 | 57785 296419 827971 | 2147483647 305613 508 | 25.062 % |
1842.34/1843.23 c | 309037 | 57785 296419 827971 | 2147483647 307662 509 | 25.062 % |
1862.14/1863.03 c | 311295 | 57785 296419 827971 | 2147483647 309920 509 | 25.062 % |
1887.42/1888.34 c | 313774 | 57785 296419 827971 | 2147483647 312399 510 | 25.062 % |
1910.92/1911.83 c | 316502 | 57785 296419 827971 | 2147483647 315127 511 | 25.062 % |
1934.11/1935.03 c | 319501 | 57784 296419 827971 | 2147483647 318125 512 | 25.064 % |
1934.51/1935.44 c | 319601 | 57784 296419 827971 | 2147483647 318225 512 | 25.064 % |
1934.61/1935.58 c | 319713 | 57784 296419 827971 | 2147483647 318337 512 | 25.064 % |
1936.81/1937.75 c | 319834 | 57784 296419 827971 | 2147483647 318458 512 | 25.064 % |
1938.20/1939.15 c | 319973 | 57784 296419 827971 | 2147483647 318597 512 | 25.064 % |
1939.90/1940.81 c | 320119 | 57784 296419 827971 | 2147483647 318743 512 | 25.064 % |
1941.30/1942.29 c | 320280 | 57784 296419 827971 | 2147483647 318904 512 | 25.064 % |
1942.50/1943.47 c | 320456 | 57784 296419 827971 | 2147483647 319080 512 | 25.064 % |
1944.40/1945.37 c | 320649 | 57784 296419 827971 | 2147483647 319273 512 | 25.064 % |
1946.50/1947.45 c | 320861 | 57784 296419 827971 | 2147483647 319485 512 | 25.064 % |
1948.31/1949.29 c | 321096 | 57783 296419 827971 | 2147483647 319719 512 | 25.065 % |
1951.30/1952.23 c | 321354 | 57783 296419 827971 | 2147483647 319977 512 | 25.065 % |
1953.71/1954.61 c | 321635 | 57783 296419 827971 | 2147483647 320258 512 | 25.065 % |
1956.80/1957.72 c | 321944 | 57783 296419 827971 | 2147483647 320567 512 | 25.065 % |
1959.79/1960.71 c | 322283 | 57783 296419 827971 | 2147483647 320906 512 | 25.065 % |
1962.39/1963.37 c | 322655 | 57783 296419 827971 | 2147483647 321278 512 | 25.065 % |
1965.49/1966.43 c | 323064 | 57783 296419 827971 | 2147483647 321687 512 | 25.065 % |
1969.99/1970.96 c | 323515 | 57783 296419 827971 | 2147483647 322138 512 | 25.065 % |
1974.39/1975.36 c | 324011 | 57783 296419 827971 | 2147483647 322634 512 | 25.065 % |
1978.88/1979.87 c | 324555 | 57783 296419 827971 | 2147483647 323178 512 | 25.065 % |
1984.69/1985.63 c | 325151 | 57783 296419 827971 | 2147483647 323774 512 | 25.065 % |
1990.68/1991.61 c | 325806 | 57783 296419 827971 | 2147483647 324429 513 | 25.065 % |
1997.88/1998.83 c | 326526 | 57676 295799 826546 | 2147483647 324992 513 | 25.065 % |
2004.07/2005.02 c | 327320 | 57676 295799 826546 | 2147483647 325786 513 | 25.065 % |
2012.67/2013.66 c | 328191 | 57676 295799 826546 | 2147483647 326657 514 | 25.065 % |
2021.17/2022.12 c | 329149 | 57676 295799 826546 | 2147483647 327615 514 | 25.065 % |
2030.97/2031.99 c | 330202 | 57676 295799 826546 | 2147483647 328668 515 | 25.065 % |
2039.57/2040.57 c | 331362 | 57673 295799 826546 | 2147483647 329825 515 | 25.069 % |
2051.56/2052.53 c | 332642 | 57672 295799 826546 | 2147483647 331104 515 | 25.070 % |
2065.65/2066.66 c | 334044 | 57672 295799 826546 | 2147483647 332506 515 | 25.070 % |
2079.95/2080.94 c | 335584 | 57672 295799 826546 | 2147483647 334046 515 | 25.070 % |
2095.34/2096.32 c | 337278 | 57672 295799 826546 | 2147483647 335740 515 | 25.070 % |
2109.33/2110.36 c | 339143 | 57672 295799 826546 | 2147483647 337604 517 | 25.074 % |
2123.43/2124.46 c | 341193 | 57672 295799 826546 | 2147483647 339654 517 | 25.074 % |
2143.32/2144.39 c | 343447 | 57672 295799 826546 | 2147483647 341908 518 | 25.074 % |
2164.62/2165.63 c | 345925 | 57672 295799 826546 | 2147483647 344386 518 | 25.074 % |
2189.60/2190.67 c | 348653 | 57672 295799 826546 | 2147483647 347114 519 | 25.074 % |
2220.90/2221.97 c | 351650 | 57671 295799 826546 | 2147483647 350110 519 | 25.075 % |
2246.58/2247.64 c | 354947 | 57671 295799 826546 | 2147483647 353407 519 | 25.075 % |
2247.39/2248.44 c | 355047 | 57671 295799 826546 | 2147483647 353507 519 | 25.075 % |
2248.59/2249.61 c | 355157 | 57671 295799 826546 | 2147483647 353617 519 | 25.075 % |
2249.69/2250.80 c | 355278 | 57671 295799 826546 | 2147483647 353738 519 | 25.075 % |
2250.78/2251.82 c | 355412 | 57671 295799 826546 | 2147483647 353872 520 | 25.075 % |
2252.18/2253.23 c | 355558 | 57671 295799 826546 | 2147483647 354017 519 | 25.181 % |
2254.18/2255.27 c | 355718 | 57662 295799 826546 | 2147483647 354177 519 | 25.181 % |
2256.58/2257.63 c | 355894 | 57662 295799 826546 | 2147483647 354353 519 | 25.181 % |
2258.77/2259.87 c | 356087 | 57662 295799 826546 | 2147483647 354546 519 | 25.181 % |
2261.07/2262.18 c | 356299 | 57662 295799 826546 | 2147483647 354758 519 | 25.181 % |
2263.07/2264.11 c | 356532 | 57662 295799 826546 | 2147483647 354991 519 | 25.181 % |
2265.68/2266.78 c | 356788 | 57662 295799 826546 | 2147483647 355247 519 | 25.181 % |
2269.18/2270.20 c | 357070 | 57662 295799 826546 | 2147483647 355529 519 | 25.181 % |
2272.17/2273.21 c | 357380 | 57662 295799 826546 | 2147483647 355839 519 | 25.181 % |
2276.37/2277.41 c | 357724 | 57662 295799 826546 | 2147483647 356183 519 | 25.181 % |
2280.87/2281.92 c | 358097 | 57662 295799 826546 | 2147483647 356555 519 | 25.184 % |
2284.96/2286.05 c | 358506 | 57662 295799 826546 | 2147483647 356964 519 | 25.184 % |
2289.66/2290.74 c | 358955 | 57662 295799 826546 | 2147483647 357413 519 | 25.184 % |
2295.56/2296.61 c | 359449 | 57662 295799 826546 | 2147483647 357907 519 | 25.185 % |
2301.46/2302.53 c | 359994 | 57662 295799 826546 | 2147483647 358452 519 | 25.184 % |
2309.46/2310.51 c | 360594 | 57662 295799 826546 | 2147483647 359052 519 | 25.184 % |
2317.16/2318.27 c | 361260 | 57662 295799 826546 | 2147483647 359718 519 | 25.184 % |
2324.15/2325.22 c | 361982 | 57662 295799 826546 | 2147483647 360440 519 | 25.185 % |
2332.34/2333.49 c | 362776 | 57662 295799 826546 | 2147483647 361234 519 | 25.184 % |
2342.65/2343.73 c | 363647 | 57662 295799 826546 | 2147483647 362105 519 | 25.184 % |
2351.45/2352.55 c | 364605 | 57662 295799 826546 | 2147483647 363062 520 | 25.186 % |
2362.03/2363.13 c | 365660 | 57662 295799 826546 | 2147483647 364117 520 | 25.186 % |
2371.54/2372.68 c | 366818 | 57662 295799 826546 | 2147483647 365275 520 | 25.186 % |
2383.43/2384.54 c | 368092 | 57662 295799 826546 | 2147483647 366549 520 | 25.186 % |
2396.32/2397.44 c | 369492 | 57662 295799 826546 | 2147483647 367949 520 | 25.186 % |
2412.81/2413.98 c | 371032 | 57662 295799 826546 | 2147483647 369489 520 | 25.186 % |
2427.91/2429.04 c | 372727 | 57662 295799 826546 | 2147483647 371184 520 | 25.186 % |
2445.40/2446.56 c | 374591 | 57662 295799 826546 | 2147483647 373048 520 | 25.186 % |
2466.40/2467.59 c | 376647 | 57662 295799 826546 | 2147483647 375104 520 | 25.186 % |
2486.00/2487.14 c | 378902 | 57662 295799 826546 | 2147483647 377359 521 | 25.186 % |
2512.58/2513.79 c | 381380 | 57662 295799 826546 | 2147483647 379837 522 | 25.186 % |
2536.18/2537.36 c | 384105 | 57582 295309 825216 | 2147483647 382546 523 | 25.187 % |
2565.66/2566.83 c | 387102 | 57580 295309 825216 | 2147483647 385542 523 | 25.199 % |
2596.14/2597.31 c | 390398 | 57580 295309 825216 | 2147483647 388838 523 | 25.199 % |
2632.12/2633.39 c | 394023 | 57579 295309 825216 | 2147483647 392462 523 | 25.203 % |
2633.62/2634.88 c | 394124 | 57579 295309 825216 | 2147483647 392563 523 | 25.203 % |
2635.21/2636.40 c | 394236 | 57579 295309 825216 | 2147483647 392674 523 | 25.236 % |
2636.52/2637.72 c | 394358 | 57579 295309 825216 | 2147483647 392796 523 | 25.236 % |
2638.31/2639.53 c | 394492 | 57579 295309 825216 | 2147483647 392930 523 | 25.236 % |
2640.12/2641.36 c | 394638 | 57579 295309 825216 | 2147483647 393076 523 | 25.236 % |
2642.22/2643.44 c | 394798 | 57579 295309 825216 | 2147483647 393236 523 | 25.236 % |
2644.62/2645.80 c | 394976 | 57579 295309 825216 | 2147483647 393414 523 | 25.236 % |
2646.71/2647.90 c | 395172 | 57579 295309 825216 | 2147483647 393610 523 | 25.236 % |
2649.11/2650.39 c | 395385 | 57579 295309 825216 | 2147483647 393823 523 | 25.236 % |
2651.92/2653.11 c | 395618 | 57579 295309 825216 | 2147483647 394056 522 | 25.236 % |
2654.61/2655.81 c | 395875 | 57579 295309 825216 | 2147483647 394313 522 | 25.236 % |
2658.81/2660.09 c | 396156 | 57579 295309 825216 | 2147483647 394594 522 | 25.236 % |
2663.02/2664.25 c | 396465 | 57579 295309 825216 | 2147483647 394903 522 | 25.236 % |
2666.21/2667.47 c | 396805 | 57579 295309 825216 | 2147483647 395243 523 | 25.236 % |
2670.21/2671.48 c | 397177 | 57579 295309 825216 | 2147483647 395615 523 | 25.236 % |
2673.20/2674.49 c | 397586 | 57579 295309 825216 | 2147483647 396024 523 | 25.236 % |
2678.50/2679.79 c | 398036 | 57579 295309 825216 | 2147483647 396474 523 | 25.236 % |
2682.90/2684.14 c | 398529 | 57579 295309 825216 | 2147483647 396967 523 | 25.236 % |
2688.90/2690.12 c | 399073 | 57579 295309 825216 | 2147483647 397511 523 | 25.236 % |
2695.39/2696.64 c | 399669 | 57575 295309 825216 | 2147483647 398106 523 | 25.248 % |
2699.89/2701.18 c | 400325 | 57575 295309 825216 | 2147483647 398762 523 | 25.248 % |
2707.48/2708.76 c | 401046 | 57575 295309 825216 | 2147483647 399483 522 | 25.248 % |
2716.79/2718.06 c | 401838 | 57575 295309 825216 | 2147483647 400275 522 | 25.248 % |
2726.68/2727.96 c | 402712 | 57574 295309 825216 | 2147483647 401148 522 | 25.249 % |
2737.37/2738.69 c | 403670 | 57454 295309 825216 | 2147483647 402103 522 | 25.552 % |
2747.17/2748.41 c | 404726 | 57454 295309 825216 | 2147483647 403159 523 | 25.552 % |
2757.06/2758.38 c | 405884 | 57454 295309 825216 | 2147483647 404317 523 | 25.552 % |
2766.56/2767.86 c | 407157 | 57454 295309 825216 | 2147483647 405590 523 | 25.552 % |
2780.46/2781.76 c | 408557 | 57454 295309 825216 | 2147483647 406990 523 | 25.552 % |
2795.26/2796.52 c | 410097 | 57454 295309 825216 | 2147483647 408530 523 | 25.552 % |
2811.65/2812.93 c | 411795 | 57454 295309 825216 | 2147483647 410228 524 | 25.552 % |
2830.15/2831.46 c | 413658 | 57454 295309 825216 | 2147483647 412091 524 | 25.552 % |
2850.13/2851.42 c | 415707 | 57454 295309 825216 | 2147483647 414139 524 | 25.557 % |
2871.32/2872.63 c | 417961 | 57453 295309 825216 | 2147483647 416392 524 | 25.559 % |
2892.32/2893.63 c | 420443 | 57452 295309 825216 | 2147483647 418873 525 | 25.560 % |
2922.10/2923.49 c | 423169 | 57452 295309 825216 | 2147483647 421599 525 | 25.560 % |
2948.38/2949.77 c | 426170 | 57452 295309 825216 | 2147483647 424599 526 | 25.561 % |
2975.58/2976.98 c | 429468 | 57452 295309 825216 | 2147483647 427897 527 | 25.561 % |
3008.47/3009.84 c | 433094 | 57452 295309 825216 | 2147483647 431523 528 | 25.561 % |
3045.76/3047.13 c | 437081 | 57452 295309 825216 | 2147483647 435510 528 | 25.561 % |
3046.56/3047.99 c | 437182 | 57452 295309 825216 | 2147483647 435611 528 | 25.561 % |
3047.86/3049.20 c | 437294 | 57452 295309 825216 | 2147483647 435723 528 | 25.561 % |
3048.86/3050.27 c | 437416 | 57452 295309 825216 | 2147483647 435845 528 | 25.561 % |
3050.06/3051.41 c | 437551 | 57452 295309 825216 | 2147483647 435980 528 | 25.561 % |
3052.26/3053.68 c | 437698 | 57452 295309 825216 | 2147483647 436127 528 | 25.561 % |
3054.46/3055.88 c | 437859 | 57452 295309 825216 | 2147483647 436288 528 | 25.561 % |
3056.46/3057.87 c | 438037 | 57452 295309 825216 | 2147483647 436466 528 | 25.561 % |
3058.66/3060.00 c | 438231 | 57452 295309 825216 | 2147483647 436660 528 | 25.561 % |
3061.26/3062.60 c | 438443 | 57452 295309 825216 | 2147483647 436872 528 | 25.561 % |
3063.85/3065.27 c | 438676 | 57452 295309 825216 | 2147483647 437105 528 | 25.561 % |
3066.46/3067.86 c | 438934 | 57452 295309 825216 | 2147483647 437363 528 | 25.561 % |
3068.05/3069.42 c | 439217 | 57452 295309 825216 | 2147483647 437646 528 | 25.561 % |
3073.06/3074.41 c | 439527 | 57452 295309 825216 | 2147483647 437956 528 | 25.561 % |
3076.85/3078.25 c | 439867 | 57452 295309 825216 | 2147483647 438296 528 | 25.561 % |
3081.54/3082.92 c | 440239 | 57452 295309 825216 | 2147483647 438668 528 | 25.561 % |
3086.15/3087.54 c | 440651 | 57452 295309 825216 | 2147483647 439080 528 | 25.561 % |
3090.55/3092.00 c | 441100 | 57452 295309 825216 | 2147483647 439529 528 | 25.561 % |
3096.44/3097.85 c | 441594 | 57452 295309 825216 | 2147483647 440023 528 | 25.561 % |
3102.94/3104.31 c | 442137 | 57452 295309 825216 | 2147483647 440566 528 | 25.561 % |
3108.35/3109.77 c | 442734 | 57452 295309 825216 | 2147483647 441163 528 | 25.561 % |
3115.04/3116.45 c | 443389 | 57452 295309 825216 | 2147483647 441818 528 | 25.561 % |
3121.54/3122.91 c | 444110 | 57452 295309 825216 | 2147483647 442539 528 | 25.561 % |
3128.94/3130.35 c | 444902 | 57452 295309 825216 | 2147483647 443331 528 | 25.561 % |
3137.63/3139.03 c | 445773 | 57452 295309 825216 | 2147483647 444202 528 | 25.561 % |
3146.23/3147.69 c | 446732 | 57452 295309 825216 | 2147483647 445161 528 | 25.561 % |
3159.12/3160.51 c | 447785 | 57452 295309 825216 | 2147483647 446214 529 | 25.561 % |
3173.12/3174.54 c | 448945 | 57452 295309 825216 | 2147483647 447374 530 | 25.561 % |
3188.42/3189.82 c | 450218 | 57280 293763 821877 | 2147483647 448498 530 | 25.579 % |
3203.82/3205.28 c | 451618 | 57280 293763 821877 | 2147483647 449898 530 | 25.579 % |
3219.70/3221.16 c | 453159 | 57280 293763 821877 | 2147483647 451439 530 | 25.579 % |
3232.51/3233.93 c | 454856 | 57280 293763 821877 | 2147483647 453136 530 | 25.579 % |
3251.70/3253.13 c | 456720 | 57280 293763 821877 | 2147483647 455000 531 | 25.579 % |
3270.59/3272.00 c | 458771 | 57280 293763 821877 | 2147483647 457051 531 | 25.579 % |
3293.20/3294.62 c | 461025 | 57280 293763 821877 | 2147483647 459305 532 | 25.579 % |
3313.38/3314.85 c | 463506 | 57280 293763 821877 | 2147483647 461786 532 | 25.579 % |
3337.78/3339.25 c | 466231 | 57280 293763 821877 | 2147483647 464511 532 | 25.579 % |
3369.18/3370.64 c | 469229 | 57280 293763 821877 | 2147483647 467509 533 | 25.579 % |
3405.76/3407.25 c | 472525 | 57278 293763 821877 | 2147483647 470803 533 | 25.582 % |
3431.36/3432.83 c | 476150 | 57278 293763 821877 | 2147483647 474428 535 | 25.582 % |
3470.24/3471.78 c | 480144 | 57278 293763 821877 | 2147483647 478422 535 | 25.582 % |
3515.83/3517.30 c | 484529 | 57278 293763 821877 | 2147483647 482807 534 | 25.582 % |
3516.73/3518.29 c | 484630 | 57278 293763 821877 | 2147483647 482908 534 | 25.582 % |
3518.53/3520.03 c | 484740 | 57278 293763 821877 | 2147483647 483018 534 | 25.582 % |
3520.12/3521.62 c | 484861 | 57278 293763 821877 | 2147483647 483139 534 | 25.582 % |
3521.62/3523.15 c | 484995 | 57278 293763 821877 | 2147483647 483273 534 | 25.582 % |
3523.83/3525.35 c | 485142 | 57278 293763 821877 | 2147483647 483420 534 | 25.582 % |
3525.83/3527.36 c | 485302 | 57278 293763 821877 | 2147483647 483580 534 | 25.582 % |
3528.62/3530.19 c | 485479 | 57278 293763 821877 | 2147483647 483757 534 | 25.582 % |
3531.73/3533.26 c | 485672 | 57278 293763 821877 | 2147483647 483950 534 | 25.582 % |
3534.92/3536.48 c | 485884 | 57278 293763 821877 | 2147483647 484162 535 | 25.582 % |
3538.02/3539.59 c | 486117 | 57278 293763 821877 | 2147483647 484395 535 | 25.582 % |
3540.93/3542.46 c | 486376 | 57275 293763 821877 | 2147483647 484653 535 | 25.626 % |
3545.32/3546.86 c | 486660 | 57256 293763 821877 | 2147483647 484932 535 | 25.715 % |
3550.12/3551.66 c | 486970 | 57256 293763 821877 | 2147483647 485242 535 | 25.715 % |
3553.31/3554.88 c | 487311 | 57256 293763 821877 | 2147483647 485583 535 | 25.715 % |
3557.71/3559.23 c | 487685 | 57256 293763 821877 | 2147483647 485957 535 | 25.715 % |
3562.82/3564.37 c | 488094 | 57256 293763 821877 | 2147483647 486366 535 | 25.715 % |
3567.52/3569.09 c | 488543 | 57256 293763 821877 | 2147483647 486815 535 | 25.715 % |
3574.11/3575.66 c | 489037 | 57256 293763 821877 | 2147483647 487309 535 | 25.715 % |
3582.31/3583.87 c | 489581 | 57256 293763 821877 | 2147483647 487853 535 | 25.715 % |
3590.81/3592.36 c | 490180 | 57256 293763 821877 | 2147483647 488452 535 | 25.715 % |
3600.61/3602.17 c | 490836 | 57256 293763 821877 | 2147483647 489108 535 | 25.715 % |
3609.01/3610.59 c | 491556 | 57256 293763 821877 | 2147483647 489828 535 | 25.715 % |
3618.51/3620.02 c | 492350 | 57256 293763 821877 | 2147483647 490622 535 | 25.715 % |
3631.90/3633.44 c | 493221 | 57256 293763 821877 | 2147483647 491493 535 | 25.715 % |
3645.00/3646.50 c | 494182 | 57255 293763 821877 | 2147483647 492453 535 | 25.716 % |
3659.70/3661.29 c | 495237 | 57255 293763 821877 | 2147483647 493508 535 | 25.716 % |
3673.99/3675.58 c | 496395 | 57255 293763 821877 | 2147483647 494666 535 | 25.716 % |
3691.28/3692.87 c | 497670 | 57255 293763 821877 | 2147483647 495941 535 | 25.716 % |
3708.98/3710.57 c | 499071 | 57255 293763 821877 | 2147483647 497342 535 | 25.716 % |
3723.57/3725.16 c | 500611 | 57255 293763 821877 | 2147483647 498882 535 | 25.716 % |
3740.97/3742.55 c | 502305 | 57254 293763 821877 | 2147483647 500575 535 | 25.720 % |
3763.77/3765.31 c | 504169 | 57254 293763 821877 | 2147483647 502439 536 | 25.720 % |
3788.86/3790.40 c | 506220 | 57253 293763 821877 | 2147483647 504488 536 | 25.725 % |
3815.46/3817.04 c | 508474 | 57253 293763 821877 | 2147483647 506742 536 | 25.725 % |
3843.04/3844.66 c | 510952 | 57253 293763 821877 | 2147483647 509220 536 | 25.725 % |
3872.55/3874.13 c | 513682 | 57253 293763 821877 | 2147483647 511950 535 | 25.725 % |
3913.23/3914.81 c | 516681 | 57253 293763 821877 | 2147483647 514949 535 | 25.725 % |
3950.22/3951.89 c | 519977 | 57253 293763 821877 | 2147483647 518244 535 | 25.729 % |
3986.51/3988.17 c | 523606 | 57253 293763 821877 | 2147483647 521873 535 | 25.729 % |
4030.70/4032.33 c | 527596 | 57253 293763 821877 | 2147483647 525863 533 | 25.729 % |
4083.69/4085.31 c | 531981 | 57253 293763 821877 | 2147483647 530248 534 | 25.729 % |
4135.67/4137.37 c | 536804 | 57163 292934 819938 | 2147483647 534888 534 | 25.743 % |
4136.47/4138.14 c | 536904 | 57163 292934 819938 | 2147483647 534988 534 | 25.743 % |
4138.17/4139.83 c | 537015 | 57163 292934 819938 | 2147483647 535099 534 | 25.743 % |
4139.47/4141.17 c | 537136 | 57163 292934 819938 | 2147483647 535220 534 | 25.743 % |
4141.47/4143.14 c | 537270 | 57163 292934 819938 | 2147483647 535354 534 | 25.743 % |
4144.18/4145.89 c | 537416 | 57163 292934 819938 | 2147483647 535500 534 | 25.743 % |
4146.87/4148.50 c | 537576 | 57163 292934 819938 | 2147483647 535660 534 | 25.743 % |
4149.68/4151.38 c | 537753 | 57157 292934 819938 | 2147483647 535835 534 | 25.759 % |
4153.07/4154.74 c | 537946 | 57157 292934 819938 | 2147483647 536028 534 | 25.759 % |
4155.97/4157.61 c | 538158 | 57157 292934 819938 | 2147483647 536240 534 | 25.759 % |
4159.16/4160.86 c | 538391 | 57157 292934 819938 | 2147483647 536473 534 | 25.759 % |
4162.47/4164.14 c | 538647 | 57157 292934 819938 | 2147483647 536729 534 | 25.759 % |
4166.17/4167.84 c | 538929 | 57157 292934 819938 | 2147483647 537011 534 | 25.759 % |
4169.57/4171.27 c | 539238 | 57157 292934 819938 | 2147483647 537320 534 | 25.759 % |
4173.06/4174.71 c | 539577 | 57157 292934 819938 | 2147483647 537659 534 | 25.759 % |
4179.06/4180.71 c | 539950 | 57157 292934 819938 | 2147483647 538032 534 | 25.759 % |
4184.26/4185.99 c | 540359 | 57157 292934 819938 | 2147483647 538441 534 | 25.759 % |
4191.36/4193.00 c | 540808 | 57157 292934 819938 | 2147483647 538889 534 | 25.760 % |
4200.16/4201.90 c | 541301 | 57157 292934 819938 | 2147483647 539382 534 | 25.760 % |
4207.76/4209.40 c | 541843 | 57157 292934 819938 | 2147483647 539924 534 | 25.760 % |
4216.35/4218.07 c | 542440 | 57157 292934 819938 | 2147483647 540521 534 | 25.760 % |
4224.15/4225.82 c | 543095 | 57157 292934 819938 | 2147483647 541176 534 | 25.760 % |
4230.95/4232.62 c | 543817 | 57157 292934 819938 | 2147483647 541898 534 | 25.760 % |
4242.54/4244.23 c | 544610 | 57157 292934 819938 | 2147483647 542691 534 | 25.760 % |
4252.74/4254.42 c | 545481 | 57156 292934 819938 | 2147483647 543561 534 | 25.764 % |
4263.44/4265.15 c | 546439 | 57156 292934 819938 | 2147483647 544519 534 | 25.764 % |
4277.83/4279.54 c | 547493 | 57156 292934 819938 | 2147483647 545573 534 | 25.764 % |
4292.74/4294.46 c | 548651 | 57155 292934 819938 | 2147483647 546729 534 | 25.783 % |
4308.93/4310.62 c | 549925 | 57155 292934 819938 | 2147483647 548003 535 | 25.783 % |
4328.12/4329.86 c | 551326 | 57155 292934 819938 | 2147483647 549404 535 | 25.783 % |
4339.92/4341.67 c | 552866 | 57155 292934 819938 | 2147483647 550944 535 | 25.783 % |
4358.41/4360.15 c | 554560 | 57155 292934 819938 | 2147483647 552638 536 | 25.783 % |
4377.61/4379.32 c | 556423 | 57155 292934 819938 | 2147483647 554501 536 | 25.783 % |
4401.91/4403.67 c | 558473 | 57155 292934 819938 | 2147483647 556551 537 | 25.783 % |
4424.30/4426.06 c | 560726 | 57155 292934 819938 | 2147483647 558804 537 | 25.783 % |
4451.29/4453.08 c | 563207 | 57155 292934 819938 | 2147483647 561285 538 | 25.783 % |
4480.09/4481.89 c | 565935 | 57155 292934 819938 | 2147483647 564013 538 | 25.783 % |
4514.78/4516.59 c | 568932 | 57154 292934 819938 | 2147483647 567009 538 | 25.785 % |
4554.66/4556.44 c | 572230 | 57154 292934 819938 | 2147483647 570307 539 | 25.785 % |
4594.25/4596.02 c | 575856 | 57154 292934 819938 | 2147483647 573933 539 | 25.785 % |
4635.95/4637.77 c | 579844 | 57154 292934 819938 | 2147483647 577921 539 | 25.785 % |
4683.83/4685.67 c | 584229 | 57154 292934 819938 | 2147483647 582306 539 | 25.785 % |
4738.32/4740.15 c | 589053 | 57154 292934 819938 | 2147483647 587129 539 | 25.789 % |
4812.10/4813.99 c | 594360 | 57154 292934 819938 | 2147483647 592435 539 | 25.793 % |
4814.30/4816.17 c | 594462 | 57154 292934 819938 | 2147483647 592537 539 | 25.793 % |
4815.70/4817.53 c | 594575 | 57154 292934 819938 | 2147483647 592650 539 | 25.793 % |
4817.80/4819.67 c | 594696 | 57154 292934 819938 | 2147483647 592771 539 | 25.793 % |
4819.80/4821.67 c | 594829 | 57154 292934 819938 | 2147483647 592904 539 | 25.793 % |
4822.00/4823.84 c | 594975 | 57154 292934 819938 | 2147483647 593050 539 | 25.793 % |
4823.80/4825.70 c | 595135 | 57154 292934 819938 | 2147483647 593210 539 | 25.793 % |
4826.79/4828.68 c | 595313 | 57154 292934 819938 | 2147483647 593388 539 | 25.793 % |
4830.19/4832.03 c | 595507 | 57154 292934 819938 | 2147483647 593582 539 | 25.793 % |
4832.99/4834.83 c | 595720 | 57154 292934 819938 | 2147483647 593795 539 | 25.793 % |
4836.59/4838.40 c | 595953 | 57154 292934 819938 | 2147483647 594028 539 | 25.793 % |
4839.79/4841.68 c | 596210 | 57154 292934 819938 | 2147483647 594285 539 | 25.793 % |
4844.19/4846.04 c | 596492 | 57154 292934 819938 | 2147483647 594567 539 | 25.793 % |
4847.89/4849.75 c | 596801 | 57154 292934 819938 | 2147483647 594876 539 | 25.793 % |
4851.99/4853.84 c | 597142 | 57154 292934 819938 | 2147483647 595217 539 | 25.793 % |
4856.99/4858.86 c | 597516 | 57154 292934 819938 | 2147483647 595591 539 | 25.793 % |
4863.88/4865.76 c | 597926 | 57154 292934 819938 | 2147483647 596001 539 | 25.793 % |
4872.88/4874.73 c | 598380 | 57154 292934 819938 | 2147483647 596455 539 | 25.793 % |
4879.78/4881.62 c | 598877 | 57154 292934 819938 | 2147483647 596952 539 | 25.793 % |
4887.18/4889.08 c | 599421 | 57154 292934 819938 | 2147483647 597496 539 | 25.793 % |
4894.58/4896.46 c | 600018 | 57154 292934 819938 | 2147483647 598093 539 | 25.793 % |
4902.57/4904.40 c | 600673 | 57154 292934 819938 | 2147483647 598748 539 | 25.793 % |
4912.98/4914.89 c | 601393 | 57154 292934 819938 | 2147483647 599468 539 | 25.793 % |
4922.17/4924.10 c | 602188 | 57154 292934 819938 | 2147483647 600263 539 | 25.793 % |
4932.47/4934.30 c | 603059 | 57154 292934 819938 | 2147483647 601134 539 | 25.793 % |
4947.06/4948.97 c | 604019 | 57154 292934 819938 | 2147483647 602094 539 | 25.793 % |
4960.17/4962.06 c | 605075 | 57154 292934 819938 | 2147483647 603150 538 | 25.793 % |
4973.36/4975.28 c | 606235 | 57154 292934 819938 | 2147483647 604310 538 | 25.793 % |
4993.85/4995.79 c | 607509 | 57154 292934 819938 | 2147483647 605584 538 | 25.793 % |
5013.45/5015.32 c | 608909 | 57154 292934 819938 | 2147483647 606984 539 | 25.793 % |
5032.64/5034.55 c | 610449 | 57154 292934 819938 | 2147483647 608524 539 | 25.793 % |
5054.94/5056.84 c | 612143 | 57154 292934 819938 | 2147483647 610218 539 | 25.793 % |
5080.63/5082.57 c | 614007 | 57154 292934 819938 | 2147483647 612082 538 | 25.793 % |
5106.02/5107.92 c | 616056 | 57154 292934 819938 | 2147483647 614131 538 | 25.793 % |
5133.41/5135.38 c | 618311 | 57154 292934 819938 | 2147483647 616386 538 | 25.793 % |
5168.41/5170.34 c | 620790 | 57154 292934 819938 | 2147483647 618865 539 | 25.793 % |
5203.79/5205.76 c | 623515 | 57154 292934 819938 | 2147483647 621589 539 | 25.900 % |
5241.59/5243.54 c | 626517 | 57154 292934 819938 | 2147483647 624590 539 | 25.902 % |
5294.58/5296.57 c | 629814 | 57154 292934 819938 | 2147483647 627886 539 | 25.906 % |
5351.06/5353.00 c | 633439 | 57029 292101 817797 | 2147483647 631421 538 | 25.906 % |
5405.55/5407.57 c | 637427 | 57029 292101 817797 | 2147483647 635408 539 | 26.010 % |
5465.83/5467.81 c | 641815 | 57029 292101 817797 | 2147483647 639796 539 | 26.010 % |
5533.41/5535.44 c | 646638 | 57029 292101 817797 | 2147483647 644618 539 | 26.011 % |
5603.29/5605.39 c | 651943 | 57027 292101 817797 | 2147483647 649921 539 | 26.013 % |
5684.27/5686.37 c | 657778 | 57027 292101 817797 | 2147483647 655756 541 | 26.013 % |
5685.98/5688.03 c | 657878 | 57027 292101 817797 | 2147483647 655855 541 | 26.019 % |
5687.67/5689.73 c | 657988 | 57027 292101 817797 | 2147483647 655965 541 | 26.019 % |
5689.57/5691.63 c | 658110 | 57027 292101 817797 | 2147483647 656087 541 | 26.019 % |
5691.37/5693.46 c | 658243 | 57027 292101 817797 | 2147483647 656220 541 | 26.019 % |
5693.37/5695.45 c | 658389 | 57027 292101 817797 | 2147483647 656366 541 | 26.019 % |
5695.88/5697.98 c | 658550 | 57027 292101 817797 | 2147483647 656527 541 | 26.019 % |
5698.18/5700.29 c | 658728 | 57027 292101 817797 | 2147483647 656705 541 | 26.019 % |
5701.87/5703.97 c | 658923 | 57027 292101 817797 | 2147483647 656900 541 | 26.019 % |
5704.77/5706.86 c | 659135 | 57027 292101 817797 | 2147483647 657112 541 | 26.019 % |
5707.87/5709.93 c | 659372 | 57027 292101 817797 | 2147483647 657349 541 | 26.019 % |
5711.46/5713.54 c | 659628 | 57027 292101 817797 | 2147483647 657605 541 | 26.019 % |
5715.26/5717.39 c | 659909 | 57027 292101 817797 | 2147483647 657886 541 | 26.019 % |
5719.17/5721.23 c | 660220 | 57027 292101 817797 | 657977 658197 541 | 26.019 % |
5724.36/5726.41 c | 660559 | 57027 292101 817797 | 657977 658536 541 | 26.019 % |
5730.16/5732.29 c | 660931 | 57027 292101 817797 | 657977 658908 541 | 26.019 % |
5737.46/5739.59 c | 661341 | 57027 292101 817797 | 657977 659318 541 | 26.019 % |
5743.16/5745.26 c | 661790 | 57027 292101 817797 | 657977 659767 541 | 26.019 % |
5749.46/5751.59 c | 662283 | 57027 292101 817797 | 657977 660260 541 | 26.019 % |
5756.85/5758.94 c | 662825 | 57027 292101 817797 | 657977 660802 541 | 26.019 % |
5763.25/5765.33 c | 663422 | 57027 292101 817797 | 657977 661399 541 | 26.019 % |
5773.85/5775.92 c | 664078 | 57027 292101 817797 | 657977 662055 541 | 26.019 % |
5783.55/5785.69 c | 664799 | 57027 292101 817797 | 657977 662776 541 | 26.019 % |
5793.55/5795.67 c | 665592 | 57027 292101 817797 | 657977 663568 541 | 26.038 % |
5805.14/5807.21 c | 666463 | 57027 292101 817797 | 657977 664439 542 | 26.038 % |
5820.74/5822.85 c | 667423 | 57027 292101 817797 | 657977 665399 541 | 26.038 % |
5835.54/5837.60 c | 668476 | 57022 292101 817797 | 657977 666451 541 | 27.185 % |
5851.43/5853.52 c | 669639 | 57021 292101 817797 | 657977 667612 542 | 27.205 % |
5867.83/5869.96 c | 670912 | 57021 292101 817797 | 2147483647 668885 542 | 27.205 % |
5888.32/5890.41 c | 672313 | 57021 292101 817797 | 2147483647 670286 542 | 27.205 % |
5903.62/5905.75 c | 673853 | 57021 292101 817797 | 2147483647 671826 542 | 27.205 % |
5925.20/5927.38 c | 675547 | 57021 292101 817797 | 2147483647 673520 542 | 27.205 % |
5950.50/5952.68 c | 677414 | 57005 292101 817797 | 2147483647 675385 542 | 27.242 % |
5980.00/5982.10 c | 679464 | 57005 292101 817797 | 2147483647 677435 542 | 27.242 % |
6012.38/6014.60 c | 681719 | 57004 292101 817797 | 2147483647 679689 542 | 27.244 % |
6045.07/6047.20 c | 684197 | 57004 292101 817797 | 2147483647 682167 542 | 27.244 % |
6084.96/6087.10 c | 686922 | 57004 292101 817797 | 2147483647 684892 542 | 27.244 % |
6129.85/6132.04 c | 689919 | 57004 292101 817797 | 2147483647 687889 542 | 27.244 % |
6177.54/6179.79 c | 693216 | 57004 292101 817797 | 687973 691186 542 | 27.244 % |
6222.83/6225.06 c | 696849 | 57002 292101 817797 | 687973 694817 541 | 27.250 % |
6284.81/6287.09 c | 700836 | 57002 292101 817797 | 697969 698804 540 | 27.250 % |
6343.20/6345.44 c | 705229 | 57002 292101 817797 | 697969 703197 540 | 27.250 % |
6436.98/6439.25 c | 710052 | 57002 292101 817797 | 707968 708020 541 | 27.250 % |
6511.26/6513.50 c | 715357 | 57002 292101 817797 | 707968 713325 541 | 27.250 % |
6614.43/6616.72 c | 721195 | 57002 292101 817797 | 717968 719163 542 | 27.250 % |
6711.11/6713.41 c | 727614 | 57002 292101 817797 | 717968 725581 544 | 27.252 % |
6712.51/6714.89 c | 727714 | 57002 292101 817797 | 717968 725681 544 | 27.252 % |
6714.31/6716.67 c | 727825 | 57002 292101 817797 | 717968 725792 544 | 27.252 % |
6716.00/6718.39 c | 727947 | 57002 292101 817797 | 717968 725914 544 | 27.252 % |
6718.30/6720.69 c | 728080 | 57002 292101 817797 | 717968 726047 544 | 27.252 % |
6721.20/6723.50 c | 728231 | 57002 292101 817797 | 717968 726198 544 | 27.252 % |
6723.30/6725.70 c | 728392 | 57002 292101 817797 | 717968 726359 544 | 27.252 % |
6726.50/6728.84 c | 728568 | 57002 292101 817797 | 717968 726535 544 | 27.252 % |
6729.40/6731.72 c | 728763 | 57002 292101 817797 | 717968 726730 544 | 27.252 % |
6733.20/6735.56 c | 728977 | 57002 292101 817797 | 717968 726944 544 | 27.252 % |
6735.90/6738.29 c | 729211 | 57002 292101 817797 | 717968 727178 544 | 27.252 % |
6741.19/6743.53 c | 729470 | 57002 292101 817797 | 717968 727437 544 | 27.252 % |
6745.29/6747.65 c | 729752 | 57001 292101 817797 | 717968 727718 544 | 27.253 % |
6751.60/6753.96 c | 730063 | 57000 292101 817797 | 727968 728028 544 | 27.258 % |
6758.00/6760.32 c | 730410 | 57000 292101 817797 | 727968 728375 544 | 27.258 % |
6763.99/6766.40 c | 730784 | 57000 292101 817797 | 727968 728749 544 | 27.258 % |
6770.89/6773.22 c | 731195 | 57000 292101 817797 | 727968 729160 544 | 27.258 % |
6778.29/6780.61 c | 731646 | 57000 292101 817797 | 727968 729611 543 | 27.258 % |
6785.48/6787.84 c | 732140 | 57000 292101 817797 | 727968 730105 544 | 27.258 % |
6796.08/6798.47 c | 732682 | 57000 292101 817797 | 727968 730647 544 | 27.258 % |
6806.69/6809.09 c | 733283 | 57000 292101 817797 | 727968 731248 543 | 27.258 % |
6816.78/6819.14 c | 733941 | 57000 292101 817797 | 727968 731906 544 | 27.258 % |
6827.48/6829.88 c | 734661 | 57000 292101 817797 | 727968 732626 544 | 27.258 % |
6840.67/6843.01 c | 735453 | 57000 292101 817797 | 727968 733418 544 | 27.258 % |
6857.57/6859.99 c | 736324 | 57000 292101 817797 | 727968 734289 544 | 27.258 % |
6870.96/6873.33 c | 737282 | 57000 292101 817797 | 727968 735247 544 | 27.258 % |
6884.27/6886.63 c | 738341 | 57000 292101 817797 | 727968 736305 544 | 27.259 % |
6900.16/6902.52 c | 739499 | 57000 292101 817797 | 727968 737463 544 | 27.259 % |
6914.65/6917.04 c | 740772 | 57000 292101 817797 | 737964 738736 544 | 27.259 % |
6933.24/6935.67 c | 742174 | 57000 292101 817797 | 737964 740138 545 | 27.259 % |
6956.54/6958.97 c | 743714 | 57000 292101 817797 | 737964 741678 545 | 27.259 % |
6979.24/6981.65 c | 745409 | 57000 292101 817797 | 737964 743373 545 | 27.259 % |
7011.72/7014.12 c | 747278 | 56999 292101 817797 | 737964 745241 545 | 27.261 % |
7032.02/7034.46 c | 749327 | 55986 285776 802547 | 737964 747197 545 | 27.261 % |
7062.31/7064.74 c | 751582 | 55986 285776 802547 | 747870 749452 546 | 27.261 % |
7097.11/7099.55 c | 754065 | 55986 285776 802547 | 747870 751935 545 | 27.261 % |
7142.49/7144.97 c | 756791 | 55986 285776 802547 | 747870 754661 545 | 27.261 % |
7185.99/7188.42 c | 759790 | 55986 285776 802547 | 747870 757660 545 | 27.261 % |
7228.98/7231.44 c | 763086 | 55985 285776 802547 | 2147483647 760955 545 | 27.262 % |
7271.56/7274.08 c | 766718 | 55985 285776 802547 | 2147483647 764587 546 | 27.262 % |
7327.44/7329.90 c | 770705 | 55985 285776 802547 | 2147483647 768574 547 | 27.262 % |
7385.23/7387.75 c | 775095 | 55985 285776 802547 | 2147483647 772964 547 | 27.262 % |
7471.41/7473.90 c | 779919 | 55983 285776 802547 | 2147483647 777785 547 | 28.131 % |
7551.99/7554.56 c | 785225 | 55982 285776 802547 | 2147483647 783090 547 | 28.132 % |
7640.27/7642.83 c | 791064 | 55982 285776 802547 | 2147483647 788929 547 | 28.132 % |
7733.34/7735.92 c | 797482 | 55981 285776 802547 | 2147483647 795346 546 | 28.134 % |
7839.52/7842.16 c | 804545 | 55981 285776 802547 | 797865 802408 546 | 28.138 % |
7841.62/7844.21 c | 804646 | 55981 285776 802547 | 797865 802509 546 | 28.138 % |
7844.42/7847.08 c | 804756 | 55981 285776 802547 | 797865 802619 546 | 28.138 % |
7847.32/7850.00 c | 804877 | 55981 285776 802547 | 797865 802740 546 | 28.138 % |
7849.72/7852.38 c | 805011 | 55981 285776 802547 | 797865 802874 546 | 28.138 % |
7853.21/7855.80 c | 805159 | 55981 285776 802547 | 797865 803022 546 | 28.138 % |
7855.61/7858.22 c | 805321 | 55981 285776 802547 | 797865 803184 546 | 28.138 % |
7858.61/7861.22 c | 805501 | 55981 285776 802547 | 797865 803364 546 | 28.138 % |
7859.81/7862.42 c | 805694 | 55981 285776 802547 | 797865 803557 546 | 28.138 % |
7865.80/7868.43 c | 805907 | 55981 285776 802547 | 797865 803770 546 | 28.138 % |
7870.70/7873.34 c | 806142 | 55981 285776 802547 | 797865 804005 546 | 28.138 % |
7874.70/7877.32 c | 806398 | 55981 285776 802547 | 797865 804261 546 | 28.138 % |
7879.50/7882.11 c | 806680 | 55981 285776 802547 | 797865 804543 546 | 28.138 % |
7884.60/7887.25 c | 806991 | 55981 285776 802547 | 797865 804854 546 | 28.138 % |
7890.50/7893.11 c | 807332 | 55981 285776 802547 | 797865 805195 546 | 28.138 % |
7897.00/7899.61 c | 807704 | 55981 285776 802547 | 797865 805567 546 | 28.138 % |
7904.60/7907.25 c | 808114 | 55981 285776 802547 | 797865 805977 546 | 28.138 % |
7912.90/7915.50 c | 808563 | 55981 285776 802547 | 797865 806426 546 | 28.138 % |
7921.29/7923.91 c | 809057 | 55981 285776 802547 | 797865 806920 546 | 28.138 % |
7933.09/7935.74 c | 809599 | 55981 285776 802547 | 797865 807462 546 | 28.138 % |
7942.29/7944.99 c | 810196 | 55981 285776 802547 | 807863 808059 546 | 28.138 % |
7951.69/7954.36 c | 810852 | 55981 285776 802547 | 807863 808715 546 | 28.138 % |
7961.18/7963.89 c | 811573 | 55981 285776 802547 | 807863 809436 546 | 28.138 % |
7974.78/7977.48 c | 812365 | 55981 285776 802547 | 807863 810228 546 | 28.138 % |
7991.28/7993.94 c | 813236 | 55981 285776 802547 | 807863 811099 546 | 28.138 % |
8004.98/8007.68 c | 814194 | 55981 285776 802547 | 807863 812057 546 | 28.138 % |
8020.57/8023.29 c | 815248 | 55981 285776 802547 | 807863 813111 546 | 28.138 % |
8038.77/8041.43 c | 816407 | 55981 285776 802547 | 807863 814270 546 | 28.138 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837072-1242857020/watcher-1837072-1242857020 -o /tmp/evaluation-result-1837072-1242857020/solver-1837072-1242857020 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837072-1242857020.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10724
/proc/meminfo: memFree=1709928/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=0
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 313735475 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 245482881106 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/10724/statm: 1339 235 195 169 0 50 0
[pid=10725] ppid=10724 vsize=5356 CPUtime=0
/proc/10725/stat : 10725 (SatELiteGTI) S 10724 10724 10687 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 313735476 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/10725/statm: 1339 238 198 169 0 50 0
[pid=10727] ppid=10725 vsize=192 CPUtime=0
/proc/10727/stat : 10727 (sed) R 10725 10724 10687 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 313735476 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 245480093065 0 0 4096 0 0 0 0 17 0 0 0
/proc/10727/statm: 48 23 16 11 0 11 0
[startup+0.080001 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10724
/proc/meminfo: memFree=1709928/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=0
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313735475 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.103002 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10724
/proc/meminfo: memFree=1709928/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=0
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313735475 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.303021 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10724
/proc/meminfo: memFree=1709928/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=0
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313735475 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701063 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10724
/proc/meminfo: memFree=1709928/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=0
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313735475 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50113 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 10729
/proc/meminfo: memFree=1635992/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=0
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313735475 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 237 197 169 0 50 0
[pid=10729] ppid=10724 vsize=90076 CPUtime=1.48
/proc/10729/stat : 10729 (SatELite_releas) R 10724 10724 10687 0 -1 4194304 20808 0 0 0 137 11 0 0 25 0 1 0 313735476 92237824 19108 1992294400 134512640 135223648 4294956128 18446744073709551615 134725235 0 0 4096 3 0 0 0 17 0 0 0
/proc/10729/statm: 22519 19108 76 173 0 22344 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 95432
[startup+3.10129 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 10729
/proc/meminfo: memFree=1629400/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=0
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313735475 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 237 197 169 0 50 0
[pid=10729] ppid=10724 vsize=98324 CPUtime=3.08
/proc/10729/stat : 10729 (SatELite_releas) R 10724 10724 10687 0 -1 4194304 23041 0 0 0 296 12 0 0 25 0 1 0 313735476 100683776 21093 1992294400 134512640 135223648 4294956128 18446744073709551615 134549042 0 0 4096 3 0 0 0 17 0 0 0
/proc/10729/statm: 24581 21093 76 173 0 24406 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 103680
[startup+6.30162 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 10729
/proc/meminfo: memFree=1618008/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 5356
[startup+12.7013 s]
/proc/loadavg: 0.22 0.05 0.02 2/66 10730
/proc/meminfo: memFree=1671256/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=27568 CPUtime=7.16
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 6507 0 0 0 712 4 0 0 25 0 1 0 313736028 28229632 6440 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 6892 6440 77 171 0 6719 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 32924
[startup+25.5025 s]
/proc/loadavg: 0.34 0.08 0.02 2/66 10730
/proc/meminfo: memFree=1665624/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=33392 CPUtime=19.94
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 7943 0 0 0 1989 5 0 0 25 0 1 0 313736028 34193408 7876 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 8348 7876 77 171 0 8175 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 38748
[startup+51.1021 s]
/proc/loadavg: 0.56 0.15 0.05 2/66 10730
/proc/meminfo: memFree=1653080/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=45944 CPUtime=45.52
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 11085 0 0 0 4544 8 0 0 25 0 1 0 313736028 47046656 11018 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 11486 11018 77 171 0 11313 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 51300
[startup+102.306 s]
/proc/loadavg: 0.87 0.31 0.11 2/66 10730
/proc/meminfo: memFree=1625176/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=73616 CPUtime=96.69
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 17992 0 0 0 9655 14 0 0 25 0 1 0 313736028 75382784 17925 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 18404 17925 77 171 0 18231 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 78972
[startup+162.302 s]
/proc/loadavg: 0.95 0.43 0.16 2/66 10730
/proc/meminfo: memFree=1596184/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=102800 CPUtime=156.65
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 25282 0 0 0 15643 22 0 0 25 0 1 0 313736028 105267200 25215 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 25700 25215 77 171 0 25527 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 108156
[startup+222.302 s]
/proc/loadavg: 0.98 0.53 0.21 2/66 10730
/proc/meminfo: memFree=1565080/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=133632 CPUtime=216.63
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 32980 0 0 0 21634 29 0 0 25 0 1 0 313736028 136839168 32913 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 33408 32913 77 171 0 33235 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 138988
[startup+282.302 s]
/proc/loadavg: 0.99 0.61 0.26 2/66 10730
/proc/meminfo: memFree=1534808/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=164044 CPUtime=276.6
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 40602 0 0 0 27624 36 0 0 25 0 1 0 313736028 167981056 40535 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 41011 40535 77 171 0 40838 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 169400
[startup+342.302 s]
/proc/loadavg: 0.99 0.68 0.30 2/66 10730
/proc/meminfo: memFree=1505944/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=192680 CPUtime=336.57
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 47759 0 0 0 33614 43 0 0 25 0 1 0 313736028 197304320 47692 1992294400 134512640 135215339 4294956240 18446744073709551615 134528724 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 48170 47692 77 171 0 47997 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 198036
[startup+402.302 s]
/proc/loadavg: 0.99 0.74 0.34 2/66 10730
/proc/meminfo: memFree=1476696/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=222116 CPUtime=396.55
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 55078 0 0 0 39603 52 0 0 25 0 1 0 313736028 227446784 55011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 55529 55011 77 171 0 55356 0
Current children cumulated CPU time (s) 402.05
################
# More data... #
################
/proc/10730/statm: 435858 434185 77 171 0 435685 0
Current children cumulated CPU time (s) 7359.84
Current children cumulated vsize (KiB) 1748788
[startup+7422.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 10746
/proc/meminfo: memFree=16344/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=1753620 CPUtime=7414.33
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 436808 0 0 0 741000 433 0 0 25 0 1 0 313736028 1795706880 436741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 438405 436741 77 171 0 438232 0
Current children cumulated CPU time (s) 7419.83
Current children cumulated vsize (KiB) 1758976
[startup+7482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 10746
/proc/meminfo: memFree=14872/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=1761352 CPUtime=7474.31
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 438765 0 0 0 746996 435 0 0 25 0 1 0 313736028 1803624448 438698 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 440338 438698 77 171 0 440165 0
Current children cumulated CPU time (s) 7479.81
Current children cumulated vsize (KiB) 1766708
[startup+7542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 10746
/proc/meminfo: memFree=16152/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=1769448 CPUtime=7534.3
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 440779 0 0 0 752993 437 0 0 25 0 1 0 313736028 1811914752 440712 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 442362 440712 77 171 0 442189 0
Current children cumulated CPU time (s) 7539.8
Current children cumulated vsize (KiB) 1774804
[startup+7602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 10746
/proc/meminfo: memFree=15960/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=1777348 CPUtime=7594.27
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 442723 0 0 0 758989 438 0 0 25 0 1 0 313736028 1820004352 442656 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 444337 442656 77 171 0 444164 0
Current children cumulated CPU time (s) 7599.77
Current children cumulated vsize (KiB) 1782704
[startup+7662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 10746
/proc/meminfo: memFree=15640/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=1785452 CPUtime=7654.26
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 444754 0 0 0 764986 440 0 0 25 0 1 0 313736028 1828302848 444687 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 446363 444687 77 171 0 446190 0
Current children cumulated CPU time (s) 7659.76
Current children cumulated vsize (KiB) 1790808
[startup+7722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 10746
/proc/meminfo: memFree=15832/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=1794388 CPUtime=7714.24
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 446994 0 0 0 770981 443 0 0 25 0 1 0 313736028 1837453312 446927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 448597 446927 77 171 0 448424 0
Current children cumulated CPU time (s) 7719.74
Current children cumulated vsize (KiB) 1799744
[startup+7782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 10746
/proc/meminfo: memFree=14872/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=1801708 CPUtime=7774.23
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 448819 0 0 0 776978 445 0 0 25 0 1 0 313736028 1844948992 448752 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 450427 448752 77 171 0 450254 0
Current children cumulated CPU time (s) 7779.73
Current children cumulated vsize (KiB) 1807064
[startup+7842.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 10746
/proc/meminfo: memFree=15832/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=1809892 CPUtime=7834.22
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 450871 0 0 0 782974 448 0 0 25 0 1 0 313736028 1853329408 450804 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 452473 450804 77 171 0 452300 0
Current children cumulated CPU time (s) 7839.72
Current children cumulated vsize (KiB) 1815248
[startup+7902.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 10746
/proc/meminfo: memFree=16344/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=1816888 CPUtime=7894.2
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 452625 0 0 0 788971 449 0 0 25 0 1 0 313736028 1860493312 452558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 454222 452558 77 171 0 454049 0
Current children cumulated CPU time (s) 7899.7
Current children cumulated vsize (KiB) 1822244
[startup+7962.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 10746
/proc/meminfo: memFree=14872/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=1826048 CPUtime=7954.18
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 454915 0 0 0 794967 451 0 0 25 0 1 0 313736028 1869873152 454848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 456512 454848 77 171 0 456339 0
Current children cumulated CPU time (s) 7959.68
Current children cumulated vsize (KiB) 1831404
[startup+8022.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 10746
/proc/meminfo: memFree=16344/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=1835180 CPUtime=8014.17
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 457195 0 0 0 800964 453 0 0 25 0 1 0 313736028 1879224320 457128 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 458795 457128 77 171 0 458622 0
Current children cumulated CPU time (s) 8019.67
Current children cumulated vsize (KiB) 1840536
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+8042 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 10746
/proc/meminfo: memFree=15320/2055920 swapFree=4180000/4192956
[pid=10724] ppid=10722 vsize=5356 CPUtime=5.5
/proc/10724/stat : 10724 (SatELiteGTI) S 10722 10724 10687 0 -1 4194304 336 30282 0 0 0 0 530 20 16 0 1 0 313735475 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10724/statm: 1339 239 197 169 0 50 0
[pid=10730] ppid=10724 vsize=1837852 CPUtime=8033.88
/proc/10730/stat : 10730 (minisat_static) R 10724 10724 10687 0 -1 4194304 457830 0 0 0 802934 454 0 0 25 0 1 0 313736028 1881960448 457763 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10730/statm: 459463 457763 77 171 0 459290 0
Current children cumulated CPU time (s) 8039.38
Current children cumulated vsize (KiB) 1843208
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10724 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=306193
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=208968
# CPU time returned by wait4() is 5.51516
# while last known CPU time is 8039.38
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 8042.02
CPU time (s): 8039.38
CPU user time (s): 8034.64
CPU system time (s): 4.74
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 1843208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.30619
system time used= 0.208968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30618
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= 14
involuntary context switches= 38
runsolver used 7.08792 second user time and 22.2786 second system time
The end
Begin job on node17 at 2009-05-21 00:03:41
IDJOB=1837072
IDBENCH=20386
IDSOLVER=674
FILE ID=node17/1837072-1242857020
PBS_JOBID= 9328497
Free space on /tmp= 66404 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837072-1242857020/watcher-1837072-1242857020 -o /tmp/evaluation-result-1837072-1242857020/solver-1837072-1242857020 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837072-1242857020.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED=1865516585
node17.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.234
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.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1710408 kB
Buffers: 57584 kB
Cached: 215492 kB
SwapCached: 7288 kB
Active: 125900 kB
Inactive: 156060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1710408 kB
SwapTotal: 4192956 kB
SwapFree: 4180000 kB
Dirty: 14236 kB
Writeback: 0 kB
Mapped: 13928 kB
Slab: 49520 kB
Committed_AS: 1050192 kB
PageTables: 1456 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= 66388 MiB
End job on node17 at 2009-05-21 02:17:45