Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
glucose 2 | ? (TO) | 5000.06 | 4999.91 |
Name | application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf |
MD5SUM | 5d1253e2dcc0e3e55992672756beadbc |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 2556.24 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 756832 |
Number of clauses | 4116966 |
Sum of the clauses size | 9765566 |
Maximum clause length | 1178 |
Minimum clause length | 1 |
Number of clauses of size 1 | 846 |
Number of clauses of size 2 | 4082840 |
Number of clauses of size 3 | 640 |
Number of clauses of size 4 | 800 |
Number of clauses of size 5 | 800 |
Number of clauses of size over 5 | 31040 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 1.29/1.31 c ============================================================================== 1.29/1.31 c | | ORIGINAL | LEARNT | | 1.29/1.31 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 1.29/1.31 c ============================================================================== 1.29/1.31 c | 0 | 3028353 7134510 | 908505 0 0 nan | 0.000 % | 3.20/3.29 c | 0 | 2570144 6111727 | -- 0 -- -- | -- | -156456/-307529 3.20/3.29 c ============================================================================== 3.20/3.29 c Result : #vars: 365932 #clauses: 2570144 #literals: 6111727 3.20/3.29 c CPU time: 2.98955 s 3.20/3.29 c ============================================================================== 4.40/4.44 c 4.40/4.44 c Starting glucose 4.40/4.44 c 64.68/64.73 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 64.68/64.73 c WARNING: for repeatability, setting FPU to use double precision 64.68/64.73 c ============================[ Problem Statistics ]============================= 64.68/64.73 c | | 64.68/64.73 c | Number of variables: 365932 | 64.68/64.73 c | Number of clauses: 2570144 | 64.68/64.73 c | Parse time: 0.55 s | 64.68/64.73 c | | 64.68/64.73 c ============================[ Search Statistics ]============================== 64.68/64.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.68/64.73 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 64.68/64.73 c =============================================================================== 64.68/64.73 c | 183 | 365932 2570144 6111727 | 1 183 3097 | 0.000 % | 64.68/64.73 c | 1439 | 365931 2570144 6111727 | 1 1438 2648 | 0.000 % | 64.68/64.73 c | 1695 | 365930 2570144 6111727 | 1 1693 2338 | 0.001 % | 64.68/64.73 c | 2480 | 365929 2570144 6111727 | 1 2477 2895 | 0.001 % | 64.68/64.73 c | 2583 | 365929 2570143 6111724 | 1 2579 2839 | 0.001 % | 64.68/64.73 c | 2684 | 365774 2570143 6111724 | 1 2676 2780 | 0.043 % | 64.68/64.73 c | 3526 | 365774 2570143 6111724 | 1 3518 2622 | 0.043 % | 64.68/64.73 c | 3626 | 365774 2570143 6111724 | 1 3618 2568 | 0.043 % | 64.68/64.73 c | 3831 | 365772 2570143 6111724 | 1 3821 2712 | 0.044 % | 64.68/64.73 c | 3933 | 365760 2570143 6111724 | 1 3921 2671 | 0.047 % | 64.68/64.73 c | 4033 | 365760 2570143 6111724 | 1 2031 809 | 0.047 % | 64.68/64.73 c | 4134 | 365760 2570143 6111724 | 1 2132 818 | 0.047 % | 64.68/64.73 c | 6575 | 365760 2570143 6111724 | 1 4573 1059 | 0.047 % | 64.68/64.73 c | 6675 | 365760 2570137 6111552 | 1 4666 1052 | 0.047 % | 64.68/64.73 c | 7592 | 365755 2570137 6111552 | 1 5578 1206 | 0.048 % | 64.68/64.73 c | 7745 | 365544 2570137 6111552 | 1 5730 1237 | 0.106 % | 64.68/64.73 c | 8736 | 365542 2570137 6111552 | 1 6719 1174 | 0.107 % | 64.68/64.73 c | 9012 | 365542 2570109 6111275 | 1 6986 1243 | 0.107 % | 64.68/64.73 c | 9112 | 365529 2570109 6111275 | 1 7083 1241 | 0.110 % | 64.68/64.73 c | 9246 | 365528 2570109 6111275 | 1 7216 1244 | 0.110 % | 64.68/64.73 c | 9347 | 365528 2570109 6111275 | 1 7317 1237 | 0.110 % | 64.68/64.73 c | 9724 | 365528 2570109 6111275 | 1 7694 1403 | 0.110 % | 64.68/64.73 c | 9824 | 365528 2570109 6111275 | 1 7794 1407 | 0.110 % | 64.68/64.73 c | 10346 | 365528 2570109 6111275 | 1 8316 1723 | 0.110 % | 64.68/64.73 c | 10447 | 365528 2570109 6111275 | 1 8417 1746 | 0.110 % | 64.68/64.73 c | 10791 | 365494 2570109 6111275 | 1 4490 387 | 0.120 % | 64.68/64.73 c | 11292 | 365494 2570109 6111275 | 1 4991 949 | 0.120 % | 64.68/64.73 c | 11392 | 365492 2570109 6111275 | 1 5089 942 | 0.120 % | 64.68/64.73 c | 13454 | 365491 2570103 6111219 | 1 7146 1030 | 0.121 % | 64.68/64.73 c | 13557 | 365491 2570103 6111219 | 1 7249 1038 | 0.121 % | 64.68/64.73 c | 14331 | 365490 2570103 6111219 | 1 8022 1554 | 0.121 % | 64.68/64.73 c | 14432 | 365489 2570103 6111219 | 1 8122 1599 | 0.121 % | 64.68/64.73 c | 17324 | 365469 2570103 6111219 | 1 11004 1664 | 0.127 % | 64.68/64.73 c | 17426 | 365453 2570103 6111219 | 1 11105 1668 | 0.131 % | 64.68/64.73 c | 17527 | 365453 2570103 6111219 | 1 11206 1664 | 0.131 % | 64.68/64.73 c | 17855 | 365453 2570103 6111219 | 1 11534 1660 | 0.131 % | 64.68/64.73 c | 18072 | 365452 2570099 6111180 | 1 11750 1662 | 0.131 % | 64.68/64.73 c | 19714 | 365449 2570099 6111180 | 1 13389 1720 | 0.132 % | 64.68/64.73 c | 19816 | 365449 2570099 6111180 | 1 6774 424 | 0.132 % | 218.98/219.04 c | 22456 | 365429 2570097 6111167 | 1 9395 603 | 0.137 % | 218.98/219.04 c | 22556 | 365429 2570097 6111167 | 1 9495 604 | 0.137 % | 218.98/219.04 c | 22657 | 365429 2570097 6111167 | 1 9596 614 | 0.137 % | 218.98/219.04 c | 22757 | 365429 2570097 6111167 | 1 9696 618 | 0.137 % | 218.98/219.04 c | 23239 | 365429 2570097 6111167 | 1 10178 735 | 0.137 % | 218.98/219.04 c | 23339 | 365429 2570097 6111167 | 1 10278 785 | 0.137 % | 218.98/219.04 c | 23439 | 365429 2570097 6111167 | 1 10378 808 | 0.137 % | 218.98/219.04 c | 23732 | 365428 2570097 6111167 | 1 10670 820 | 0.138 % | 218.98/219.04 c | 24587 | 365426 2570097 6111167 | 1 11521 898 | 0.138 % | 218.98/219.04 c | 25215 | 365406 2570097 6111167 | 1 12144 950 | 0.144 % | 218.98/219.04 c | 26207 | 365404 2570097 6111167 | 1 13135 1180 | 0.144 % | 218.98/219.04 c | 28083 | 365403 2570097 6111167 | 1 15010 1246 | 0.145 % | 218.98/219.04 c | 34962 | 365369 2570091 6111118 | 1 12646 708 | 0.154 % | 218.98/219.04 c | 37084 | 365364 2570091 6111118 | 1 14767 1089 | 0.155 % | 218.98/219.04 c | 38344 | 365352 2570089 6111110 | 1 16014 1074 | 0.158 % | 218.98/219.04 c | 38446 | 365350 2570089 6111110 | 1 16114 1070 | 0.159 % | 218.98/219.04 c | 39034 | 365341 2570089 6111110 | 1 16698 1092 | 0.162 % | 218.98/219.04 c | 39135 | 365341 2570089 6111110 | 1 16799 1095 | 0.162 % | 218.98/219.04 c | 39235 | 365315 2570089 6111110 | 1 16897 1099 | 0.169 % | 218.98/219.04 c | 39336 | 365315 2570089 6111110 | 1 16998 1106 | 0.169 % | 218.98/219.04 c | 41827 | 365307 2570083 6111070 | 1 19471 1233 | 0.171 % | 218.98/219.04 c | 41929 | 365307 2570083 6111070 | 1 19573 1236 | 0.171 % | 218.98/219.04 c | 42031 | 365305 2570083 6111070 | 1 19673 1233 | 0.171 % | 218.98/219.04 c | 42133 | 365301 2570083 6111070 | 1 19771 1229 | 0.172 % | 218.98/219.04 c | 43389 | 365299 2570083 6111070 | 1 21025 1349 | 0.173 % | 218.98/219.04 c | 43499 | 365299 2570083 6111070 | 1 21135 1348 | 0.173 % | 218.98/219.04 c | 45100 | 365150 2570083 6111070 | 1 22732 1375 | 0.214 % | 218.98/219.04 c | 45640 | 365149 2570083 6111070 | 1 23271 1449 | 0.214 % | 218.98/219.04 c | 47987 | 365113 2570077 6110915 | 1 13814 426 | 0.224 % | 218.98/219.04 c | 48087 | 365112 2570077 6110915 | 1 13913 456 | 0.224 % | 218.98/219.04 c | 53484 | 365111 2570077 6110915 | 1 19309 1343 | 0.224 % | 218.98/219.04 c | 53584 | 365111 2570075 6110879 | 1 19225 1350 | 0.224 % | 218.98/219.04 c | 54250 | 365111 2570075 6110879 | 1 19891 1528 | 0.224 % | 218.98/219.04 c | 59527 | 365110 2570075 6110879 | 1 25167 1757 | 0.225 % | 218.98/219.04 c | 59627 | 365109 2570075 6110879 | 1 25264 1753 | 0.225 % | 218.98/219.04 c | 59891 | 365109 2570075 6110879 | 1 25528 1778 | 0.225 % | 218.98/219.04 c | 60001 | 365106 2570075 6110879 | 1 25635 1773 | 0.226 % | 218.98/219.04 c | 60809 | 365106 2570075 6110879 | 1 26443 1830 | 0.226 % | 218.98/219.04 c | 60910 | 365106 2570075 6110879 | 1 26544 1824 | 0.226 % | 218.98/219.04 c | 61205 | 364846 2570075 6110879 | 1 26837 1823 | 0.297 % | 218.98/219.04 c | 61307 | 364846 2570075 6110879 | 1 26939 1818 | 0.297 % | 218.98/219.04 c | 62870 | 364845 2570075 6110879 | 1 28501 1847 | 0.297 % | 218.98/219.04 c | 62979 | 364845 2570075 6110879 | 1 28610 1841 | 0.297 % | 218.98/219.04 c | 63585 | 364844 2570075 6110879 | 1 14915 351 | 0.297 % | 218.98/219.04 c | 63687 | 364844 2570075 6110879 | 1 15017 350 | 0.297 % | 218.98/219.04 c | 64401 | 364843 2570075 6110879 | 1 15730 440 | 0.298 % | 218.98/219.04 c | 64501 | 364840 2570075 6110879 | 1 15827 439 | 0.298 % | 218.98/219.04 c | 64603 | 364840 2570075 6110879 | 1 15929 438 | 0.298 % | 218.98/219.04 c | 66979 | 364837 2570055 6110492 | 1 18285 663 | 0.299 % | 218.98/219.04 c | 67229 | 364837 2570055 6110492 | 1 18535 663 | 0.299 % | 390.29/390.30 c | 67460 | 364836 2570055 6110492 | 1 18765 676 | 0.300 % | 390.29/390.30 c | 67560 | 364834 2570055 6110492 | 1 18863 676 | 0.300 % | 390.29/390.30 c | 69963 | 364831 2570055 6110492 | 1 21259 756 | 0.301 % | 390.29/390.30 c | 73073 | 364830 2570055 6110492 | 1 24368 1063 | 0.301 % | 390.29/390.30 c | 73175 | 364802 2570055 6110492 | 1 24468 1069 | 0.309 % | 390.29/390.30 c | 73878 | 364769 2570053 6110460 | 1 25130 1157 | 0.318 % | 390.29/390.30 c | 73978 | 364769 2570053 6110460 | 1 25230 1155 | 0.318 % | 390.29/390.30 c | 75322 | 364632 2570053 6110460 | 1 26569 1200 | 0.355 % | 390.29/390.30 c | 75422 | 364630 2570053 6110460 | 1 26667 1199 | 0.356 % | 390.29/390.30 c | 76002 | 364627 2570053 6110460 | 1 27244 1266 | 0.357 % | 390.29/390.30 c | 77055 | 364626 2570053 6110460 | 1 28296 1327 | 0.357 % | 390.29/390.30 c | 77288 | 364626 2570049 6110212 | 1 28444 1347 | 0.357 % | 390.29/390.30 c | 77388 | 364626 2570049 6110212 | 1 28544 1352 | 0.357 % | 390.29/390.30 c | 77488 | 364626 2570049 6110212 | 1 28644 1356 | 0.357 % | 390.29/390.30 c | 77706 | 364626 2570049 6110212 | 1 28862 1361 | 0.357 % | 390.29/390.30 c | 80572 | 364623 2570049 6110212 | 1 31725 1573 | 0.358 % | 390.29/390.30 c | 81476 | 364620 2570049 6110212 | 1 32626 1595 | 0.359 % | 390.29/390.30 c | 84206 | 364606 2570049 6110212 | 1 18513 388 | 0.362 % | 390.29/390.30 c | 84500 | 364606 2570049 6110212 | 1 18807 415 | 0.362 % | 390.29/390.30 c | 84603 | 364606 2570049 6110212 | 1 18910 414 | 0.362 % | 390.29/390.30 c | 85522 | 364605 2570049 6110212 | 1 19828 480 | 0.363 % | 390.29/390.30 c | 90135 | 364605 2570049 6110212 | 1 24441 828 | 0.363 % | 390.29/390.30 c | 90247 | 364605 2570049 6110212 | 1 24547 827 | 0.363 % | 390.29/390.30 c | 90556 | 364605 2570049 6110212 | 1 24856 826 | 0.363 % | 390.29/390.30 c | 90656 | 364605 2570049 6110212 | 1 24956 825 | 0.363 % | 390.29/390.30 c | 93591 | 364605 2570049 6110212 | 1 27891 1112 | 0.363 % | 390.29/390.30 c | 93693 | 364605 2570049 6110212 | 1 27993 1113 | 0.363 % | 390.29/390.30 c | 94934 | 364601 2570049 6110212 | 1 29230 1159 | 0.364 % | 390.29/390.30 c | 95034 | 364560 2570049 6110212 | 1 29328 1159 | 0.375 % | 390.29/390.30 c | 95220 | 364548 2570049 6110212 | 1 29511 1164 | 0.378 % | 390.29/390.30 c | 95321 | 364548 2570049 6110212 | 1 29612 1166 | 0.378 % | 390.29/390.30 c | 96085 | 364548 2570049 6110212 | 1 30376 1175 | 0.378 % | 390.29/390.30 c | 96185 | 364548 2570049 6110212 | 1 30476 1174 | 0.378 % | 390.29/390.30 c | 97075 | 364547 2570049 6110212 | 1 31365 1189 | 0.378 % | 390.29/390.30 c | 99671 | 364546 2570043 6110149 | 1 33955 1328 | 0.379 % | 390.29/390.30 c | 99784 | 364540 2570043 6110149 | 1 34062 1332 | 0.380 % | 390.29/390.30 c | 99890 | 364540 2570043 6110149 | 1 34168 1329 | 0.380 % | 390.29/390.30 c | 100980 | 364332 2570043 6110149 | 1 35253 1335 | 0.437 % | 390.29/390.30 c | 101108 | 364332 2570043 6110149 | 1 35381 1333 | 0.437 % | 390.29/390.30 c | 101208 | 364332 2570043 6110149 | 1 35481 1331 | 0.437 % | 390.29/390.30 c | 105647 | 364332 2570043 6110149 | 1 20414 420 | 0.437 % | 390.29/390.30 c | 105747 | 364332 2570015 6109872 | 1 20510 427 | 0.437 % | 390.29/390.30 c | 106706 | 364331 2570015 6109872 | 1 21468 496 | 0.438 % | 390.29/390.30 c | 107689 | 364330 2570015 6109872 | 1 22450 525 | 0.438 % | 390.29/390.30 c | 107791 | 364330 2570015 6109872 | 1 22552 526 | 0.438 % | 390.29/390.30 c | 108158 | 364300 2570015 6109872 | 1 22917 558 | 0.446 % | 390.29/390.30 c | 108848 | 364232 2570015 6109872 | 1 23604 592 | 0.465 % | 390.29/390.30 c | 109355 | 364231 2570015 6109872 | 1 24110 610 | 0.465 % | 390.29/390.30 c | 109934 | 364231 2570015 6109872 | 1 24689 669 | 0.465 % | 390.29/390.30 c | 114439 | 364229 2570011 6109776 | 1 29181 907 | 0.465 % | 455.89/455.90 c | 114540 | 364229 2570011 6109776 | 1 29282 908 | 0.465 % | 455.89/455.90 c | 114640 | 364229 2570011 6109776 | 1 29382 906 | 0.465 % | 455.89/455.90 c | 115306 | 364229 2570011 6109776 | 1 30048 907 | 0.465 % | 455.89/455.90 c | 115407 | 364228 2570011 6109776 | 1 30148 905 | 0.466 % | 455.89/455.90 c | 117364 | 364228 2570011 6109776 | 1 32105 1001 | 0.466 % | 455.89/455.90 c | 117466 | 364228 2570011 6109776 | 1 32205 1001 | 0.466 % | 455.89/455.90 c | 119772 | 364224 2570011 6109776 | 1 34507 1035 | 0.467 % | 455.89/455.90 c | 119947 | 364224 2570011 6109776 | 1 34682 1037 | 0.467 % | 455.89/455.90 c | 120806 | 364224 2570011 6109776 | 1 35541 1119 | 0.467 % | 455.89/455.90 c | 120910 | 364224 2570011 6109776 | 1 35645 1128 | 0.467 % | 455.89/455.90 c | 121010 | 364224 2570011 6109776 | 1 35745 1130 | 0.467 % | 455.89/455.90 c | 121536 | 364223 2570011 6109776 | 1 36270 1134 | 0.467 % | 455.89/455.90 c | 121638 | 364222 2570011 6109776 | 1 36371 1134 | 0.467 % | 455.89/455.90 c | 121739 | 364221 2570011 6109776 | 1 36471 1133 | 0.468 % | 455.89/455.90 c | 121839 | 364220 2570011 6109776 | 1 36570 1132 | 0.468 % | 455.89/455.90 c | 121939 | 364215 2570011 6109776 | 1 36665 1130 | 0.469 % | 455.89/455.90 c | 122040 | 364214 2570011 6109776 | 1 36765 1128 | 0.469 % | 455.89/455.90 c | 122140 | 364214 2570011 6109776 | 1 36865 1128 | 0.469 % | 455.89/455.90 c | 122467 | 364214 2570011 6109776 | 1 37192 1126 | 0.469 % | 455.89/455.90 c | 122647 | 364213 2570011 6109776 | 1 37370 1129 | 0.470 % | 455.89/455.90 c | 124402 | 364205 2570011 6109776 | 1 39120 1194 | 0.472 % | 455.89/455.90 c | 124502 | 364205 2570011 6109776 | 1 39220 1195 | 0.472 % | 455.89/455.90 c | 124672 | 364204 2570011 6109776 | 1 39389 1194 | 0.472 % | 455.89/455.90 c | 125287 | 364204 2570011 6109776 | 1 40004 1213 | 0.472 % | 455.89/455.90 c | 125387 | 364204 2570011 6109776 | 1 40104 1215 | 0.472 % | 455.89/455.90 c | 125593 | 364204 2570011 6109776 | 1 40310 1239 | 0.472 % | 455.89/455.90 c | 125695 | 364204 2570011 6109776 | 1 40412 1239 | 0.472 % | 455.89/455.90 c | 125797 | 364204 2570011 6109776 | 1 40514 1244 | 0.472 % | 455.89/455.90 c | 125897 | 364204 2570011 6109776 | 1 40614 1247 | 0.472 % | 455.89/455.90 c | 125997 | 364202 2570011 6109776 | 1 40712 1245 | 0.473 % | 455.89/455.90 c | 126559 | 364198 2570011 6109776 | 1 41270 1277 | 0.474 % | 455.89/455.90 c | 126659 | 364198 2570011 6109776 | 1 41370 1276 | 0.474 % | 455.89/455.90 c | 126766 | 364198 2570011 6109776 | 1 41477 1280 | 0.474 % | 455.89/455.90 c | 126867 | 364198 2570011 6109776 | 1 41578 1281 | 0.474 % | 455.89/455.90 c | 127221 | 364198 2570011 6109776 | 1 41932 1299 | 0.474 % | 455.89/455.90 c | 127321 | 364198 2570011 6109776 | 1 42032 1298 | 0.474 % | 455.89/455.90 c | 127422 | 364198 2570011 6109776 | 1 42133 1298 | 0.474 % | 455.89/455.90 c | 127784 | 364198 2570011 6109776 | 1 42495 1299 | 0.474 % | 455.89/455.90 c | 128906 | 364193 2570009 6109768 | 1 43610 1319 | 0.475 % | 455.89/455.90 c | 129007 | 364193 2570009 6109768 | 1 43711 1323 | 0.475 % | 455.89/455.90 c | 130343 | 364193 2570009 6109768 | 1 22909 379 | 0.475 % | 455.89/455.90 c | 132992 | 364191 2570009 6109768 | 1 25556 523 | 0.476 % | 455.89/455.90 c | 133270 | 364191 2570009 6109768 | 1 25834 532 | 0.476 % | 455.89/455.90 c | 134088 | 364190 2570009 6109768 | 1 26651 580 | 0.476 % | 455.89/455.90 c | 134189 | 364189 2570009 6109768 | 1 26751 587 | 0.476 % | 455.89/455.90 c | 134289 | 364187 2570009 6109768 | 1 26849 588 | 0.477 % | 455.89/455.90 c | 134406 | 364186 2570009 6109768 | 1 26965 591 | 0.477 % | 455.89/455.90 c | 135922 | 364183 2570009 6109768 | 1 28474 643 | 0.478 % | 455.89/455.90 c | 136022 | 364183 2570009 6109768 | 1 28574 646 | 0.478 % | 455.89/455.90 c | 136766 | 364181 2570009 6109768 | 1 29316 701 | 0.479 % | 653.10/653.14 c | 137727 | 363756 2570009 6109768 | 1 30270 710 | 0.595 % | 653.10/653.14 c | 139169 | 363756 2570009 6109768 | 1 31712 819 | 0.595 % | 653.10/653.14 c | 141478 | 363752 2570005 6109183 | 1 33985 895 | 0.596 % | 653.10/653.14 c | 141579 | 363752 2570005 6109183 | 1 34086 893 | 0.596 % | 653.10/653.14 c | 145118 | 363751 2570005 6109183 | 1 37622 989 | 0.596 % | 653.10/653.14 c | 145218 | 363751 2570005 6109183 | 1 37722 989 | 0.596 % | 653.10/653.14 c | 154955 | 363750 2570005 6109183 | 1 47458 1327 | 0.596 % | 653.10/653.14 c | 155347 | 363750 2570005 6109183 | 1 47850 1335 | 0.596 % | 653.10/653.14 c | 155447 | 363749 2570005 6109183 | 1 47949 1334 | 0.597 % | 653.10/653.14 c | 160726 | 363749 2570005 6109183 | 1 28524 649 | 0.597 % | 653.10/653.14 c | 160985 | 363749 2570005 6109183 | 1 28783 663 | 0.597 % | 653.10/653.14 c | 165656 | 363714 2570005 6109183 | 1 33441 912 | 0.606 % | 653.10/653.14 c | 166679 | 363196 2570005 6109183 | 1 34463 949 | 0.748 % | 653.10/653.14 c | 167026 | 363196 2570005 6109183 | 1 34810 952 | 0.748 % | 653.10/653.14 c | 167129 | 363196 2569997 6108497 | 1 34887 954 | 0.748 % | 653.10/653.14 c | 168985 | 363196 2569997 6108497 | 1 36743 1051 | 0.748 % | 653.10/653.14 c | 169085 | 363196 2569997 6108497 | 1 36843 1049 | 0.748 % | 653.10/653.14 c | 170128 | 363195 2569997 6108497 | 1 37885 1111 | 0.748 % | 653.10/653.14 c | 170236 | 363195 2569997 6108497 | 1 37993 1111 | 0.748 % | 653.10/653.14 c | 170337 | 363195 2569997 6108497 | 1 38094 1110 | 0.748 % | 653.10/653.14 c | 170438 | 363194 2569997 6108497 | 1 38194 1111 | 0.748 % | 653.10/653.14 c | 170789 | 363192 2569997 6108497 | 1 38543 1105 | 0.749 % | 653.10/653.14 c | 171962 | 363191 2569997 6108497 | 1 39715 1142 | 0.749 % | 653.10/653.14 c | 172062 | 363191 2569997 6108497 | 1 39814 1140 | 0.749 % | 653.10/653.14 c | 172529 | 363182 2569997 6108497 | 1 40280 1152 | 0.752 % | 653.10/653.14 c | 172636 | 363182 2569997 6108497 | 1 40387 1151 | 0.752 % | 653.10/653.14 c | 173933 | 363181 2569997 6108497 | 1 41683 1180 | 0.752 % | 653.10/653.14 c | 174033 | 363181 2569997 6108497 | 1 41783 1179 | 0.752 % | 653.10/653.14 c | 175400 | 363181 2569997 6108497 | 1 43150 1242 | 0.752 % | 653.10/653.14 c | 175501 | 363181 2569997 6108497 | 1 43251 1240 | 0.752 % | 653.10/653.14 c | 178069 | 363180 2569997 6108497 | 1 45818 1375 | 0.752 % | 653.10/653.14 c | 178169 | 363180 2569995 6108482 | 1 45918 1375 | 0.752 % | 653.10/653.14 c | 178405 | 363180 2569995 6108482 | 1 46154 1373 | 0.752 % | 653.10/653.14 c | 180830 | 363180 2569995 6108482 | 1 48579 1427 | 0.752 % | 653.10/653.14 c | 181575 | 363180 2569995 6108482 | 1 49324 1447 | 0.752 % | 653.10/653.14 c | 181678 | 363180 2569995 6108482 | 1 49427 1446 | 0.752 % | 653.10/653.14 c | 182219 | 363179 2569995 6108482 | 1 49967 1441 | 0.752 % | 653.10/653.14 c | 183518 | 363145 2569995 6108482 | 1 51264 1451 | 0.762 % | 653.10/653.14 c | 184113 | 363145 2569995 6108482 | 1 51859 1454 | 0.762 % | 653.10/653.14 c | 184957 | 363145 2569995 6108482 | 1 52703 1467 | 0.762 % | 653.10/653.14 c | 188235 | 363143 2569993 6108446 | 1 28614 353 | 0.762 % | 653.10/653.14 c | 189664 | 363141 2569993 6108446 | 1 30041 511 | 0.763 % | 653.10/653.14 c | 190382 | 363140 2569993 6108446 | 1 30758 572 | 0.763 % | 653.10/653.14 c | 190899 | 363138 2569993 6108446 | 1 31273 597 | 0.764 % | 653.10/653.14 c | 191294 | 363138 2569993 6108446 | 1 31668 624 | 0.764 % | 653.10/653.14 c | 191395 | 363138 2569993 6108446 | 1 31769 628 | 0.764 % | 653.10/653.14 c | 192504 | 363138 2569993 6108446 | 1 32878 659 | 0.764 % | 653.10/653.14 c | 193769 | 363137 2569993 6108446 | 1 34140 720 | 0.764 % | 653.10/653.14 c | 193875 | 363137 2569993 6108446 | 1 34246 721 | 0.764 % | 653.10/653.14 c | 193975 | 363137 2569993 6108446 | 1 34346 719 | 0.764 % | 793.80/793.88 c | 194077 | 363137 2569993 6108446 | 1 34448 728 | 0.764 % | 793.80/793.88 c | 194439 | 363115 2569993 6108446 | 1 34806 731 | 0.770 % | 793.80/793.88 c | 194539 | 363115 2569993 6108446 | 1 34906 731 | 0.770 % | 793.80/793.88 c | 194862 | 363115 2569993 6108446 | 1 35229 730 | 0.770 % | 793.80/793.88 c | 196430 | 363114 2569993 6108446 | 1 36796 750 | 0.770 % | 793.80/793.88 c | 196530 | 363114 2569993 6108446 | 1 36896 750 | 0.770 % | 793.80/793.88 c | 197187 | 363114 2569993 6108446 | 1 37553 756 | 0.770 % | 793.80/793.88 c | 197287 | 363112 2569993 6108446 | 1 37651 756 | 0.771 % | 793.80/793.88 c | 197431 | 363108 2569993 6108446 | 1 37791 760 | 0.772 % | 793.80/793.88 c | 197532 | 363108 2569993 6108446 | 1 37892 761 | 0.772 % | 793.80/793.88 c | 197632 | 363107 2569993 6108446 | 1 37991 761 | 0.772 % | 793.80/793.88 c | 198797 | 363104 2569989 6108416 | 1 39148 836 | 0.773 % | 793.80/793.88 c | 198898 | 363104 2569989 6108416 | 1 39249 836 | 0.773 % | 793.80/793.88 c | 200330 | 363101 2569989 6108416 | 1 40678 911 | 0.774 % | 793.80/793.88 c | 202503 | 363100 2569989 6108416 | 1 42844 961 | 0.774 % | 793.80/793.88 c | 202785 | 363070 2569989 6108416 | 1 43123 968 | 0.782 % | 793.80/793.88 c | 203100 | 363070 2569989 6108416 | 1 43438 981 | 0.782 % | 793.80/793.88 c | 204300 | 363030 2569989 6108416 | 1 44630 1007 | 0.793 % | 793.80/793.88 c | 208037 | 362505 2569989 6108416 | 1 48363 1076 | 0.937 % | 793.80/793.88 c | 212341 | 362505 2569979 6107630 | 1 52254 1243 | 0.937 % | 793.80/793.88 c | 212562 | 362505 2569979 6107630 | 1 52475 1241 | 0.937 % | 793.80/793.88 c | 212924 | 362504 2569979 6107630 | 1 52835 1246 | 0.937 % | 793.80/793.88 c | 213899 | 362504 2569979 6107630 | 1 53810 1274 | 0.937 % | 793.80/793.88 c | 214767 | 362503 2569979 6107630 | 1 54677 1285 | 0.937 % | 793.80/793.88 c | 214867 | 362503 2569979 6107630 | 1 54777 1286 | 0.937 % | 793.80/793.88 c | 214981 | 362503 2569979 6107630 | 1 54891 1297 | 0.937 % | 793.80/793.88 c | 215083 | 362503 2569979 6107630 | 1 54993 1297 | 0.937 % | 793.80/793.88 c | 219345 | 362501 2569979 6107630 | 1 59253 1371 | 0.938 % | 793.80/793.88 c | 219445 | 362501 2569979 6107630 | 1 59353 1371 | 0.938 % | 793.80/793.88 c | 219545 | 362501 2569979 6107630 | 1 59453 1370 | 0.938 % | 793.80/793.88 c | 219980 | 362501 2569979 6107630 | 1 30153 335 | 0.938 % | 793.80/793.88 c | 220147 | 362501 2569979 6107630 | 1 30320 354 | 0.938 % | 793.80/793.88 c | 220247 | 362501 2569979 6107630 | 1 30420 355 | 0.938 % | 793.80/793.88 c | 220946 | 362501 2569979 6107630 | 1 31118 475 | 0.938 % | 793.80/793.88 c | 221991 | 362500 2569979 6107630 | 1 32162 513 | 0.938 % | 793.80/793.88 c | 223395 | 362499 2569979 6107630 | 1 33565 577 | 0.938 % | 793.80/793.88 c | 225442 | 362407 2569979 6107630 | 1 35608 718 | 0.963 % | 793.80/793.88 c | 226355 | 362406 2569979 6107630 | 1 36520 749 | 0.964 % | 793.80/793.88 c | 226499 | 362406 2569977 6107536 | 1 36663 748 | 0.964 % | 793.80/793.88 c | 227964 | 362405 2569977 6107536 | 1 38127 778 | 0.964 % | 793.80/793.88 c | 228066 | 362404 2569977 6107536 | 1 38228 778 | 0.964 % | 793.80/793.88 c | 230356 | 362404 2569977 6107536 | 1 40518 875 | 0.964 % | 793.80/793.88 c | 233062 | 362403 2569977 6107536 | 1 43223 920 | 0.964 % | 793.80/793.88 c | 233598 | 362360 2569977 6107536 | 1 43748 936 | 0.976 % | 793.80/793.88 c | 234493 | 362357 2569977 6107536 | 1 44640 948 | 0.977 % | 793.80/793.88 c | 234593 | 362357 2569975 6107500 | 1 44636 953 | 0.977 % | 793.80/793.88 c | 235055 | 362356 2569975 6107500 | 1 45097 959 | 0.977 % | 793.80/793.88 c | 235435 | 362346 2569975 6107500 | 1 45474 967 | 0.980 % | 793.80/793.88 c | 235535 | 362346 2569975 6107500 | 1 45574 966 | 0.980 % | 793.80/793.88 c | 236127 | 362345 2569975 6107500 | 1 46165 984 | 0.980 % | 1090.62/1090.63 c | 236228 | 362345 2569975 6107500 | 1 46266 987 | 0.980 % | 1090.62/1090.63 c | 239821 | 362343 2569975 6107500 | 1 49857 1136 | 0.981 % | 1090.62/1090.63 c | 239924 | 362343 2569975 6107500 | 1 49960 1137 | 0.981 % | 1090.62/1090.63 c | 240024 | 362343 2569975 6107500 | 1 50060 1139 | 0.981 % | 1090.62/1090.63 c | 241089 | 362341 2569973 6107485 | 1 51121 1167 | 0.981 % | 1090.62/1090.63 c | 241189 | 362341 2569973 6107485 | 1 51221 1167 | 0.981 % | 1090.62/1090.63 c | 241505 | 362340 2569973 6107485 | 1 51536 1168 | 0.982 % | 1090.62/1090.63 c | 244403 | 362339 2569973 6107485 | 1 54433 1243 | 0.982 % | 1090.62/1090.63 c | 244505 | 362339 2569973 6107485 | 1 54535 1243 | 0.982 % | 1090.62/1090.63 c | 245049 | 362339 2569973 6107485 | 1 55079 1240 | 0.982 % | 1090.62/1090.63 c | 253262 | 362324 2569971 6107463 | 1 63283 1444 | 0.986 % | 1090.62/1090.63 c | 253647 | 362324 2569971 6107463 | 1 63668 1444 | 0.986 % | 1090.62/1090.63 c | 253750 | 362324 2569971 6107463 | 1 63771 1444 | 0.986 % | 1090.62/1090.63 c | 254706 | 362324 2569971 6107463 | 1 64727 1450 | 0.986 % | 1090.62/1090.63 c | 256158 | 362322 2569971 6107463 | 1 33810 354 | 0.987 % | 1090.62/1090.63 c | 257292 | 362322 2569971 6107463 | 1 34944 394 | 0.987 % | 1090.62/1090.63 c | 260957 | 362321 2569971 6107463 | 1 38608 517 | 0.987 % | 1090.62/1090.63 c | 261129 | 362321 2569971 6107463 | 1 38780 517 | 0.987 % | 1090.62/1090.63 c | 262247 | 362321 2569971 6107463 | 1 39898 593 | 0.987 % | 1090.62/1090.63 c | 262397 | 362321 2569971 6107463 | 1 40048 596 | 0.987 % | 1090.62/1090.63 c | 262771 | 362321 2569971 6107463 | 1 40422 606 | 0.987 % | 1090.62/1090.63 c | 263407 | 362321 2569971 6107463 | 1 41058 632 | 0.987 % | 1090.62/1090.63 c | 263507 | 362320 2569971 6107463 | 1 41157 631 | 0.987 % | 1090.62/1090.63 c | 269943 | 362314 2569971 6107463 | 1 47587 946 | 0.989 % | 1090.62/1090.63 c | 270043 | 362314 2569971 6107463 | 1 47675 950 | 0.989 % | 1090.62/1090.63 c | 270148 | 362314 2569971 6107463 | 1 47780 953 | 0.989 % | 1090.62/1090.63 c | 273228 | 362277 2569971 6107463 | 1 50855 1018 | 0.999 % | 1090.62/1090.63 c | 273332 | 362277 2569971 6107463 | 1 50959 1018 | 0.999 % | 1090.62/1090.63 c | 273757 | 362277 2569971 6107463 | 1 51384 1033 | 0.999 % | 1090.62/1090.63 c | 274933 | 362276 2569969 6107427 | 1 52443 1067 | 0.999 % | 1090.62/1090.63 c | 278360 | 362276 2569969 6107427 | 1 55870 1417 | 0.999 % | 1090.62/1090.63 c | 278521 | 362276 2569969 6107427 | 1 56031 1418 | 0.999 % | 1090.62/1090.63 c | 280072 | 362276 2569969 6107427 | 1 57582 1444 | 0.999 % | 1090.62/1090.63 c | 280172 | 362276 2569969 6107427 | 1 57682 1444 | 0.999 % | 1090.62/1090.63 c | 281135 | 362276 2569969 6107427 | 1 58645 1466 | 0.999 % | 1090.62/1090.63 c | 281235 | 362276 2569969 6107427 | 1 58745 1466 | 0.999 % | 1090.62/1090.63 c | 282303 | 362276 2569969 6107427 | 1 59813 1465 | 0.999 % | 1090.62/1090.63 c | 284890 | 362261 2569969 6107427 | 1 62398 1496 | 1.003 % | 1090.62/1090.63 c | 284992 | 362261 2569969 6107427 | 1 62500 1495 | 1.003 % | 1090.62/1090.63 c | 287980 | 362257 2569969 6107427 | 1 65484 1506 | 1.004 % | 1090.62/1090.63 c | 289215 | 362257 2569969 6107427 | 1 66719 1548 | 1.004 % | 1090.62/1090.63 c | 294744 | 362254 2569969 6107427 | 1 37216 416 | 1.005 % | 1090.62/1090.63 c | 294844 | 362254 2569969 6107427 | 1 37316 423 | 1.005 % | 1090.62/1090.63 c | 295656 | 362254 2569969 6107427 | 1 38128 470 | 1.005 % | 1090.62/1090.63 c | 295760 | 362254 2569967 6107406 | 1 38225 477 | 1.005 % | 1090.62/1090.63 c | 295860 | 362254 2569967 6107406 | 1 38325 478 | 1.005 % | 1090.62/1090.63 c | 296139 | 362253 2569967 6107406 | 1 38603 490 | 1.005 % | 1090.62/1090.63 c | 296386 | 362230 2569967 6107406 | 1 38847 507 | 1.012 % | 1090.62/1090.63 c | 296487 | 362230 2569967 6107406 | 1 38948 507 | 1.012 % | 1339.92/1339.95 c | 297125 | 362230 2569967 6107406 | 1 39586 595 | 1.012 % | 1339.92/1339.95 c | 297225 | 362230 2569967 6107406 | 1 39686 607 | 1.012 % | 1339.92/1339.95 c | 306462 | 362227 2569963 6107373 | 1 48916 860 | 1.012 % | 1339.92/1339.95 c | 306564 | 362227 2569963 6107373 | 1 49018 860 | 1.012 % | 1339.92/1339.95 c | 306664 | 362227 2569963 6107373 | 1 49118 859 | 1.012 % | 1339.92/1339.95 c | 308947 | 362224 2569963 6107373 | 1 51398 951 | 1.013 % | 1339.92/1339.95 c | 309608 | 362224 2569963 6107373 | 1 52059 957 | 1.013 % | 1339.92/1339.95 c | 309881 | 362224 2569963 6107373 | 1 52332 962 | 1.013 % | 1339.92/1339.95 c | 310753 | 362223 2569963 6107373 | 1 53203 961 | 1.014 % | 1339.92/1339.95 c | 314703 | 362222 2569963 6107373 | 1 57150 1011 | 1.014 % | 1339.92/1339.95 c | 316686 | 362221 2569963 6107373 | 1 59132 1091 | 1.014 % | 1339.92/1339.95 c | 317392 | 362221 2569963 6107373 | 1 59838 1099 | 1.014 % | 1339.92/1339.95 c | 323277 | 362188 2569963 6107373 | 1 65722 1207 | 1.023 % | 1339.92/1339.95 c | 327028 | 362188 2569961 6107337 | 1 68997 1336 | 1.023 % | 1339.92/1339.95 c | 327128 | 362188 2569961 6107337 | 1 69097 1339 | 1.023 % | 1339.92/1339.95 c | 327616 | 362188 2569961 6107337 | 1 69585 1344 | 1.023 % | 1339.92/1339.95 c | 327716 | 362188 2569961 6107337 | 1 69685 1344 | 1.023 % | 1339.92/1339.95 c | 329769 | 362186 2569961 6107337 | 1 71736 1364 | 1.024 % | 1339.92/1339.95 c | 330623 | 362186 2569961 6107337 | 1 72590 1386 | 1.024 % | 1339.92/1339.95 c | 330724 | 362186 2569961 6107337 | 1 72691 1388 | 1.024 % | 1339.92/1339.95 c | 331990 | 362186 2569961 6107337 | 1 73957 1445 | 1.024 % | 1339.92/1339.95 c | 332094 | 362186 2569961 6107337 | 1 74061 1447 | 1.024 % | 1339.92/1339.95 c | 332280 | 362186 2569961 6107337 | 1 74247 1448 | 1.024 % | 1339.92/1339.95 c | 332543 | 362185 2569961 6107337 | 1 74509 1454 | 1.024 % | 1339.92/1339.95 c | 333986 | 362184 2569961 6107337 | 1 38486 295 | 1.024 % | 1339.92/1339.95 c | 334232 | 362184 2569961 6107337 | 1 38732 304 | 1.024 % | 1339.92/1339.95 c | 334342 | 362184 2569961 6107337 | 1 38842 306 | 1.024 % | 1339.92/1339.95 c | 336098 | 362182 2569961 6107337 | 1 40596 387 | 1.025 % | 1339.92/1339.95 c | 336198 | 362182 2569961 6107337 | 1 40696 389 | 1.025 % | 1339.92/1339.95 c | 337309 | 362182 2569961 6107337 | 1 41807 465 | 1.025 % | 1339.92/1339.95 c | 337409 | 362182 2569961 6107337 | 1 41904 468 | 1.025 % | 1339.92/1339.95 c | 337509 | 362182 2569961 6107337 | 1 42004 470 | 1.025 % | 1339.92/1339.95 c | 337670 | 362182 2569961 6107337 | 1 42165 482 | 1.025 % | 1339.92/1339.95 c | 338913 | 362181 2569961 6107337 | 1 43407 514 | 1.025 % | 1339.92/1339.95 c | 341466 | 362181 2569961 6107337 | 1 45960 640 | 1.025 % | 1339.92/1339.95 c | 341567 | 362181 2569961 6107337 | 1 46061 642 | 1.025 % | 1339.92/1339.95 c | 342949 | 362179 2569961 6107337 | 1 47441 715 | 1.026 % | 1339.92/1339.95 c | 343265 | 362179 2569961 6107337 | 1 47757 731 | 1.026 % | 1339.92/1339.95 c | 343365 | 362178 2569961 6107337 | 1 47856 732 | 1.026 % | 1339.92/1339.95 c | 343466 | 362178 2569961 6107337 | 1 47957 735 | 1.026 % | 1339.92/1339.95 c | 356022 | 362171 2569961 6107337 | 1 60506 1100 | 1.028 % | 1339.92/1339.95 c | 356122 | 362171 2569961 6107337 | 1 60606 1100 | 1.028 % | 1339.92/1339.95 c | 358087 | 362005 2569949 6107079 | 1 62565 1110 | 1.073 % | 1339.92/1339.95 c | 358188 | 362005 2569949 6107079 | 1 62666 1109 | 1.073 % | 1339.92/1339.95 c | 360627 | 362005 2569949 6107079 | 1 65105 1148 | 1.073 % | 1339.92/1339.95 c | 360840 | 362005 2569949 6107079 | 1 65318 1147 | 1.073 % | 1339.92/1339.95 c | 361774 | 362004 2569949 6107079 | 1 66251 1167 | 1.073 % | 1339.92/1339.95 c | 364056 | 362001 2569949 6107079 | 1 68530 1195 | 1.074 % | 1339.92/1339.95 c | 365231 | 361976 2569949 6107079 | 1 69703 1204 | 1.081 % | 1339.92/1339.95 c | 365333 | 361976 2569949 6107079 | 1 69805 1204 | 1.081 % | 1488.73/1488.71 c | 367227 | 361976 2569949 6107079 | 1 71699 1241 | 1.081 % | 1488.73/1488.71 c | 367328 | 361976 2569947 6107051 | 1 71782 1244 | 1.081 % | 1488.73/1488.71 c | 367820 | 361973 2569947 6107051 | 1 72271 1246 | 1.082 % | 1488.73/1488.71 c | 367921 | 361972 2569947 6107051 | 1 72371 1246 | 1.082 % | 1488.73/1488.71 c | 368409 | 361971 2569947 6107051 | 1 72858 1247 | 1.082 % | 1488.73/1488.71 c | 368509 | 361971 2569947 6107051 | 1 72958 1246 | 1.082 % | 1488.73/1488.71 c | 370985 | 361971 2569947 6107051 | 1 75434 1261 | 1.082 % | 1488.73/1488.71 c | 371085 | 361971 2569947 6107051 | 1 75534 1261 | 1.082 % | 1488.73/1488.71 c | 371185 | 361971 2569947 6107051 | 1 75634 1261 | 1.082 % | 1488.73/1488.71 c | 376632 | 361970 2569947 6107051 | 1 40891 347 | 1.083 % | 1488.73/1488.71 c | 376733 | 361970 2569947 6107051 | 1 40992 347 | 1.083 % | 1488.73/1488.71 c | 377438 | 361967 2569947 6107051 | 1 41694 396 | 1.084 % | 1488.73/1488.71 c | 377553 | 361967 2569947 6107051 | 1 41809 397 | 1.084 % | 1488.73/1488.71 c | 377713 | 361967 2569947 6107051 | 1 41969 399 | 1.084 % | 1488.73/1488.71 c | 377817 | 361967 2569947 6107051 | 1 42073 399 | 1.084 % | 1488.73/1488.71 c | 381384 | 361953 2569945 6107032 | 1 45639 584 | 1.087 % | 1488.73/1488.71 c | 381884 | 361944 2569945 6107032 | 1 46136 590 | 1.090 % | 1488.73/1488.71 c | 382984 | 361942 2569945 6107032 | 1 47234 623 | 1.090 % | 1488.73/1488.71 c | 383344 | 361934 2569945 6107032 | 1 47592 640 | 1.093 % | 1488.73/1488.71 c | 383517 | 361934 2569945 6107032 | 1 47765 648 | 1.093 % | 1488.73/1488.71 c | 384649 | 361934 2569945 6107032 | 1 48897 680 | 1.093 % | 1488.73/1488.71 c | 384752 | 361934 2569945 6107032 | 1 49000 681 | 1.093 % | 1488.73/1488.71 c | 384852 | 361934 2569945 6107032 | 1 49100 681 | 1.093 % | 1488.73/1488.71 c | 384952 | 361934 2569945 6107032 | 1 49200 681 | 1.093 % | 1488.73/1488.71 c | 385770 | 361934 2569941 6107010 | 1 50016 689 | 1.093 % | 1488.73/1488.71 c | 385870 | 361934 2569941 6107010 | 1 50116 689 | 1.093 % | 1488.73/1488.71 c | 386642 | 361934 2569941 6107010 | 1 50888 723 | 1.093 % | 1488.73/1488.71 c | 386742 | 361934 2569941 6107010 | 1 50988 724 | 1.093 % | 1488.73/1488.71 c | 387123 | 361934 2569941 6107010 | 1 51369 734 | 1.093 % | 1488.73/1488.71 c | 390540 | 361933 2569941 6107010 | 1 54785 806 | 1.093 % | 1488.73/1488.71 c | 390640 | 361933 2569941 6107010 | 1 54885 806 | 1.093 % | 1488.73/1488.71 c | 391552 | 361933 2569941 6107010 | 1 55797 827 | 1.093 % | 1488.73/1488.71 c | 391652 | 361933 2569941 6107010 | 1 55897 827 | 1.093 % | 1488.73/1488.71 c | 391753 | 361933 2569941 6107010 | 1 55998 827 | 1.093 % | 1488.73/1488.71 c | 392138 | 361933 2569941 6107010 | 1 56383 845 | 1.093 % | 1488.73/1488.71 c | 392376 | 361933 2569941 6107010 | 1 56621 848 | 1.093 % | 1488.73/1488.71 c | 395530 | 361933 2569941 6107010 | 1 59775 928 | 1.093 % | 1488.73/1488.71 c | 395766 | 361933 2569941 6107010 | 1 60011 936 | 1.093 % | 1488.73/1488.71 c | 397037 | 361932 2569941 6107010 | 1 61281 959 | 1.093 % | 1488.73/1488.71 c | 400904 | 361931 2569941 6107010 | 1 65147 1030 | 1.093 % | 1488.73/1488.71 c | 401004 | 361931 2569941 6107010 | 1 65247 1028 | 1.093 % | 1488.73/1488.71 c | 402278 | 361931 2569941 6107010 | 1 66521 1052 | 1.093 % | 1488.73/1488.71 c | 402764 | 361930 2569941 6107010 | 1 67005 1054 | 1.094 % | 1488.73/1488.71 c | 402865 | 361929 2569941 6107010 | 1 67105 1054 | 1.094 % | 1488.73/1488.71 c | 402970 | 361929 2569941 6107010 | 1 67210 1052 | 1.094 % | 1488.73/1488.71 c | 403577 | 361929 2569941 6107010 | 1 67817 1058 | 1.094 % | 1488.73/1488.71 c | 411593 | 361929 2569941 6107010 | 1 75833 1129 | 1.094 % | 1488.73/1488.71 c | 411693 | 361929 2569941 6107010 | 1 75932 1131 | 1.094 % | 1488.73/1488.71 c | 411793 | 361929 2569941 6107010 | 1 76032 1134 | 1.094 % | 1488.73/1488.71 c | 411895 | 361929 2569941 6107010 | 1 76134 1135 | 1.094 % | 1664.04/1664.10 c | 412259 | 361929 2569941 6107010 | 1 76498 1139 | 1.094 % | 1664.04/1664.10 c | 415392 | 361929 2569941 6107010 | 1 79631 1268 | 1.094 % | 1664.04/1664.10 c | 415679 | 361928 2569941 6107010 | 1 79917 1273 | 1.094 % | 1664.04/1664.10 c | 415779 | 361927 2569941 6107010 | 1 80016 1273 | 1.094 % | 1664.04/1664.10 c | 416380 | 361926 2569941 6107010 | 1 80616 1285 | 1.095 % | 1664.04/1664.10 c | 417743 | 361925 2569941 6107010 | 1 81978 1291 | 1.095 % | 1664.04/1664.10 c | 417844 | 361925 2569941 6107010 | 1 82079 1290 | 1.095 % | 1664.04/1664.10 c | 418655 | 361925 2569941 6107010 | 1 82890 1303 | 1.095 % | 1664.04/1664.10 c | 418758 | 361925 2569941 6107010 | 1 82993 1303 | 1.095 % | 1664.04/1664.10 c | 418858 | 361925 2569941 6107010 | 1 83093 1305 | 1.095 % | 1664.04/1664.10 c | 418958 | 361925 2569941 6107010 | 1 83193 1307 | 1.095 % | 1664.04/1664.10 c | 419060 | 361925 2569941 6107010 | 1 83295 1308 | 1.095 % | 1664.04/1664.10 c | 419160 | 361925 2569941 6107010 | 1 83395 1309 | 1.095 % | 1664.04/1664.10 c | 419266 | 361925 2569941 6107010 | 1 83501 1309 | 1.095 % | 1664.04/1664.10 c | 419978 | 361924 2569941 6107010 | 1 84212 1317 | 1.095 % | 1664.04/1664.10 c | 420106 | 361919 2569941 6107010 | 1 84335 1316 | 1.097 % | 1664.04/1664.10 c | 421759 | 361917 2569941 6107010 | 1 43103 324 | 1.097 % | 1664.04/1664.10 c | 429479 | 361880 2569939 6106974 | 1 50799 644 | 1.107 % | 1664.04/1664.10 c | 431050 | 361880 2569939 6106974 | 1 52370 750 | 1.107 % | 1664.04/1664.10 c | 431152 | 361880 2569939 6106974 | 1 52472 755 | 1.107 % | 1664.04/1664.10 c | 431394 | 361880 2569939 6106974 | 1 52714 767 | 1.107 % | 1664.04/1664.10 c | 431494 | 361879 2569939 6106974 | 1 52813 767 | 1.108 % | 1664.04/1664.10 c | 433151 | 361879 2569939 6106974 | 1 54470 805 | 1.108 % | 1664.04/1664.10 c | 433718 | 361878 2569939 6106974 | 1 55036 819 | 1.108 % | 1664.04/1664.10 c | 433818 | 361878 2569939 6106974 | 1 55136 820 | 1.108 % | 1664.04/1664.10 c | 434028 | 361878 2569939 6106974 | 1 55346 825 | 1.108 % | 1664.04/1664.10 c | 434363 | 361866 2569939 6106974 | 1 55680 836 | 1.111 % | 1664.04/1664.10 c | 434871 | 361866 2569939 6106974 | 1 56188 872 | 1.111 % | 1664.04/1664.10 c | 435348 | 361865 2569939 6106974 | 1 56664 889 | 1.111 % | 1664.04/1664.10 c | 435448 | 361865 2569939 6106974 | 1 56764 891 | 1.111 % | 1664.04/1664.10 c | 435552 | 361865 2569939 6106974 | 1 56868 891 | 1.111 % | 1664.04/1664.10 c | 435654 | 361865 2569939 6106974 | 1 56970 892 | 1.111 % | 1664.04/1664.10 c | 438394 | 361865 2569939 6106974 | 1 59710 957 | 1.111 % | 1664.04/1664.10 c | 440873 | 361864 2569937 6106956 | 1 62188 1109 | 1.112 % | 1664.04/1664.10 c | 440974 | 361850 2569937 6106956 | 1 62288 1112 | 1.116 % | 1664.04/1664.10 c | 443722 | 361847 2569937 6106956 | 1 65033 1162 | 1.116 % | 1664.04/1664.10 c | 446007 | 361845 2569937 6106956 | 1 67316 1224 | 1.117 % | 1664.04/1664.10 c | 446107 | 361845 2569935 6106936 | 1 67414 1225 | 1.117 % | 1664.04/1664.10 c | 446562 | 361845 2569935 6106936 | 1 67869 1225 | 1.117 % | 1664.04/1664.10 c | 448650 | 361843 2569935 6106936 | 1 69955 1251 | 1.117 % | 1664.04/1664.10 c | 451923 | 361838 2569935 6106936 | 1 73227 1308 | 1.119 % | 1664.04/1664.10 c | 452023 | 361838 2569935 6106936 | 1 73327 1308 | 1.119 % | 1664.04/1664.10 c | 453372 | 361836 2569935 6106936 | 1 74674 1342 | 1.119 % | 1664.04/1664.10 c | 453472 | 361836 2569935 6106936 | 1 74774 1342 | 1.119 % | 1664.04/1664.10 c | 454860 | 361836 2569935 6106936 | 1 76162 1389 | 1.119 % | 1664.04/1664.10 c | 454960 | 361835 2569935 6106936 | 1 76261 1389 | 1.120 % | 1664.04/1664.10 c | 455141 | 361834 2569935 6106936 | 1 76441 1390 | 1.120 % | 1664.04/1664.10 c | 456011 | 361832 2569935 6106936 | 1 77301 1397 | 1.120 % | 1664.04/1664.10 c | 458968 | 361831 2569935 6106936 | 1 80257 1431 | 1.121 % | 1664.04/1664.10 c | 459069 | 361831 2569935 6106936 | 1 80358 1431 | 1.121 % | 1787.24/1787.24 c | 463013 | 360816 2569935 6106936 | 1 84300 1464 | 1.398 % | 1787.24/1787.24 c | 463114 | 360816 2569935 6106936 | 1 84401 1463 | 1.398 % | 1787.24/1787.24 c | 463853 | 360816 2569935 6106936 | 1 85140 1472 | 1.398 % | 1787.24/1787.24 c | 463953 | 360816 2569935 6106936 | 1 85240 1472 | 1.398 % | 1787.24/1787.24 c | 467322 | 360816 2569935 6106936 | 1 88609 1495 | 1.398 % | 1787.24/1787.24 c | 467512 | 360816 2569935 6106936 | 1 88799 1496 | 1.398 % | 1787.24/1787.24 c | 471866 | 360809 2569935 6106936 | 1 47650 332 | 1.400 % | 1787.24/1787.24 c | 471967 | 360809 2569933 6105617 | 1 47704 332 | 1.400 % | 1787.24/1787.24 c | 472067 | 360809 2569933 6105617 | 1 47804 337 | 1.400 % | 1787.24/1787.24 c | 473378 | 360809 2569933 6105617 | 1 49115 392 | 1.400 % | 1787.24/1787.24 c | 477851 | 360809 2569933 6105617 | 1 53588 650 | 1.400 % | 1787.24/1787.24 c | 477952 | 360809 2569933 6105617 | 1 53689 653 | 1.400 % | 1787.24/1787.24 c | 478074 | 360809 2569933 6105617 | 1 53811 659 | 1.400 % | 1787.24/1787.24 c | 478914 | 360809 2569933 6105617 | 1 54651 680 | 1.400 % | 1787.24/1787.24 c | 479139 | 360809 2569933 6105617 | 1 54876 688 | 1.400 % | 1787.24/1787.24 c | 479318 | 360809 2569933 6105617 | 1 55055 690 | 1.400 % | 1787.24/1787.24 c | 480459 | 360808 2569933 6105617 | 1 56193 762 | 1.400 % | 1787.24/1787.24 c | 480597 | 360027 2569933 6105617 | 1 56330 767 | 1.614 % | 1787.24/1787.24 c | 481564 | 360027 2569933 6105617 | 1 57297 774 | 1.614 % | 1787.24/1787.24 c | 481664 | 360021 2569933 6105617 | 1 57391 774 | 1.615 % | 1787.24/1787.24 c | 481964 | 360021 2569933 6105617 | 1 57691 777 | 1.615 % | 1787.24/1787.24 c | 484038 | 360021 2569933 6105617 | 1 59765 845 | 1.615 % | 1787.24/1787.24 c | 484144 | 360021 2569933 6105617 | 1 59871 846 | 1.615 % | 1787.24/1787.24 c | 484244 | 360021 2569933 6105617 | 1 59971 846 | 1.615 % | 1787.24/1787.24 c | 484345 | 360021 2569933 6105617 | 1 60072 852 | 1.615 % | 1787.24/1787.24 c | 484445 | 360021 2569933 6105617 | 1 60172 854 | 1.615 % | 1787.24/1787.24 c | 486238 | 360021 2569933 6105617 | 1 61965 865 | 1.615 % | 1787.24/1787.24 c | 487010 | 360021 2569921 6104500 | 1 62680 898 | 1.615 % | 1787.24/1787.24 c | 487110 | 360021 2569921 6104500 | 1 62780 902 | 1.615 % | 1787.24/1787.24 c | 487383 | 360021 2569921 6104500 | 1 63053 907 | 1.615 % | 1787.24/1787.24 c | 488226 | 360021 2569921 6104500 | 1 63896 930 | 1.615 % | 1787.24/1787.24 c | 488326 | 360021 2569921 6104500 | 1 63996 930 | 1.615 % | 1787.24/1787.24 c | 489609 | 360016 2569921 6104500 | 1 65277 947 | 1.617 % | 1787.24/1787.24 c | 489710 | 360016 2569921 6104500 | 1 65378 948 | 1.617 % | 1787.24/1787.24 c | 489811 | 360016 2569921 6104500 | 1 65479 947 | 1.617 % | 1787.24/1787.24 c | 491467 | 360016 2569921 6104500 | 1 67135 982 | 1.617 % | 1787.24/1787.24 c | 491979 | 360016 2569921 6104500 | 1 67647 989 | 1.617 % | 1787.24/1787.24 c | 492081 | 360016 2569921 6104500 | 1 67749 988 | 1.617 % | 1787.24/1787.24 c | 492183 | 360016 2569921 6104500 | 1 67851 988 | 1.617 % | 1787.24/1787.24 c | 492390 | 360016 2569921 6104500 | 1 68058 993 | 1.617 % | 1787.24/1787.24 c | 492491 | 360016 2569921 6104500 | 1 68159 994 | 1.617 % | 1787.24/1787.24 c | 492602 | 360015 2569921 6104500 | 1 68269 995 | 1.617 % | 1787.24/1787.24 c | 493417 | 360014 2569919 6104492 | 1 69083 1000 | 1.617 % | 1787.24/1787.24 c | 493517 | 360014 2569919 6104492 | 1 69183 1000 | 1.617 % | 1787.24/1787.24 c | 493618 | 360014 2569919 6104492 | 1 69284 1000 | 1.617 % | 1787.24/1787.24 c | 494529 | 360014 2569919 6104492 | 1 70195 1017 | 1.617 % | 1787.24/1787.24 c | 494873 | 360014 2569919 6104492 | 1 70539 1024 | 1.617 % | 1787.24/1787.24 c | 494974 | 360014 2569919 6104492 | 1 70640 1026 | 1.617 % | 1787.24/1787.24 c | 497350 | 360014 2569919 6104492 | 1 73016 1060 | 1.617 % | 1787.24/1787.24 c | 497453 | 360014 2569919 6104492 | 1 73119 1060 | 1.617 % | 1963.55/1963.51 c | 497610 | 360014 2569919 6104492 | 1 73276 1062 | 1.617 % | 1963.55/1963.51 c | 497710 | 360014 2569919 6104492 | 1 73376 1062 | 1.617 % | 1963.55/1963.51 c | 498702 | 359977 2569919 6104492 | 1 74365 1066 | 1.627 % | 1963.55/1963.51 c | 498803 | 359977 2569919 6104492 | 1 74466 1066 | 1.627 % | 1963.55/1963.51 c | 500620 | 359977 2569919 6104492 | 1 76283 1129 | 1.627 % | 1963.55/1963.51 c | 505221 | 359976 2569919 6104492 | 1 80883 1197 | 1.628 % | 1963.55/1963.51 c | 505541 | 359976 2569915 6104449 | 1 81200 1197 | 1.628 % | 1963.55/1963.51 c | 507092 | 359976 2569915 6104449 | 1 82751 1225 | 1.628 % | 1963.55/1963.51 c | 507193 | 359976 2569915 6104449 | 1 82852 1229 | 1.628 % | 1963.55/1963.51 c | 507293 | 359976 2569915 6104449 | 1 82952 1228 | 1.628 % | 1963.55/1963.51 c | 507393 | 359976 2569915 6104449 | 1 83052 1227 | 1.628 % | 1963.55/1963.51 c | 507493 | 359976 2569915 6104449 | 1 83152 1226 | 1.628 % | 1963.55/1963.51 c | 508118 | 359976 2569915 6104449 | 1 83777 1234 | 1.628 % | 1963.55/1963.51 c | 508223 | 359976 2569915 6104449 | 1 83882 1233 | 1.628 % | 1963.55/1963.51 c | 508323 | 359976 2569915 6104449 | 1 83982 1232 | 1.628 % | 1963.55/1963.51 c | 513381 | 359962 2569915 6104449 | 1 89038 1287 | 1.631 % | 1963.55/1963.51 c | 513674 | 359961 2569915 6104449 | 1 89330 1287 | 1.632 % | 1963.55/1963.51 c | 513819 | 359959 2569915 6104449 | 1 89473 1286 | 1.632 % | 1963.55/1963.51 c | 514264 | 359958 2569915 6104449 | 1 89917 1299 | 1.633 % | 1963.55/1963.51 c | 514365 | 359958 2569913 6104430 | 1 90014 1299 | 1.633 % | 1963.55/1963.51 c | 514465 | 359958 2569913 6104430 | 1 90114 1300 | 1.633 % | 1963.55/1963.51 c | 514567 | 359958 2569913 6104430 | 1 90216 1302 | 1.633 % | 1963.55/1963.51 c | 514667 | 359958 2569913 6104430 | 1 90316 1305 | 1.633 % | 1963.55/1963.51 c | 514772 | 359958 2569913 6104430 | 1 90421 1305 | 1.633 % | 1963.55/1963.51 c | 515341 | 359958 2569913 6104430 | 1 90990 1312 | 1.633 % | 1963.55/1963.51 c | 515447 | 359958 2569913 6104430 | 1 91096 1315 | 1.633 % | 1963.55/1963.51 c | 517398 | 359958 2569913 6104430 | 1 93047 1338 | 1.633 % | 1963.55/1963.51 c | 518523 | 359957 2569913 6104430 | 1 94171 1347 | 1.633 % | 1963.55/1963.51 c | 523735 | 359956 2569913 6104430 | 1 51293 408 | 1.633 % | 1963.55/1963.51 c | 523835 | 359956 2569913 6104430 | 1 51393 409 | 1.633 % | 1963.55/1963.51 c | 524814 | 359955 2569913 6104430 | 1 52371 434 | 1.633 % | 1963.55/1963.51 c | 524917 | 359954 2569913 6104430 | 1 52473 434 | 1.634 % | 1963.55/1963.51 c | 530780 | 359947 2569913 6104430 | 1 58326 572 | 1.636 % | 1963.55/1963.51 c | 530880 | 359947 2569913 6104430 | 1 58426 573 | 1.636 % | 1963.55/1963.51 c | 531003 | 359947 2569913 6104430 | 1 58549 578 | 1.636 % | 1963.55/1963.51 c | 531104 | 359947 2569913 6104430 | 1 58650 582 | 1.636 % | 1963.55/1963.51 c | 531538 | 359947 2569913 6104430 | 1 59084 587 | 1.636 % | 1963.55/1963.51 c | 533954 | 359946 2569913 6104430 | 1 61499 624 | 1.636 % | 1963.55/1963.51 c | 534611 | 359946 2569913 6104430 | 1 62156 641 | 1.636 % | 1963.55/1963.51 c | 535506 | 359882 2569913 6104430 | 1 63047 651 | 1.653 % | 1963.55/1963.51 c | 535606 | 359882 2569913 6104430 | 1 63147 650 | 1.653 % | 1963.55/1963.51 c | 535868 | 359882 2569913 6104430 | 1 63409 656 | 1.653 % | 1963.55/1963.51 c | 536033 | 359882 2569913 6104430 | 1 63574 658 | 1.653 % | 1963.55/1963.51 c | 536133 | 359882 2569913 6104430 | 1 63674 659 | 1.653 % | 1963.55/1963.51 c | 539249 | 359882 2569913 6104430 | 1 66790 800 | 1.653 % | 1963.55/1963.51 c | 541151 | 359866 2569909 6104360 | 1 68680 821 | 1.658 % | 1963.55/1963.51 c | 543608 | 359865 2569909 6104360 | 1 71136 871 | 1.658 % | 1963.55/1963.51 c | 544827 | 359865 2569909 6104360 | 1 72355 894 | 1.658 % | 1963.55/1963.51 c | 544928 | 359865 2569909 6104360 | 1 72456 894 | 1.658 % | 1963.55/1963.51 c | 545028 | 359865 2569909 6104360 | 1 72556 896 | 1.658 % | 2174.85/2174.87 c | 545128 | 359864 2569909 6104360 | 1 72655 897 | 1.658 % | 2174.85/2174.87 c | 545312 | 359864 2569909 6104360 | 1 72839 896 | 1.658 % | 2174.85/2174.87 c | 546619 | 359864 2569909 6104360 | 1 74146 961 | 1.658 % | 2174.85/2174.87 c | 546719 | 359864 2569909 6104360 | 1 74246 961 | 1.658 % | 2174.85/2174.87 c | 548782 | 359863 2569907 6104340 | 1 76288 997 | 1.659 % | 2174.85/2174.87 c | 548882 | 359863 2569907 6104340 | 1 76388 998 | 1.659 % | 2174.85/2174.87 c | 548983 | 359863 2569907 6104340 | 1 76489 1002 | 1.659 % | 2174.85/2174.87 c | 549083 | 359863 2569907 6104340 | 1 76589 1004 | 1.659 % | 2174.85/2174.87 c | 552687 | 359862 2569907 6104340 | 1 80192 1047 | 1.659 % | 2174.85/2174.87 c | 553681 | 359860 2569907 6104340 | 1 81184 1089 | 1.659 % | 2174.85/2174.87 c | 553781 | 359860 2569907 6104340 | 1 81284 1088 | 1.659 % | 2174.85/2174.87 c | 553881 | 359860 2569907 6104340 | 1 81384 1088 | 1.659 % | 2174.85/2174.87 c | 555236 | 359858 2569907 6104340 | 1 82737 1112 | 1.660 % | 2174.85/2174.88 c | 555337 | 359858 2569907 6104340 | 1 82838 1111 | 1.660 % | 2174.85/2174.88 c | 555598 | 359858 2569907 6104340 | 1 83099 1123 | 1.660 % | 2174.85/2174.88 c | 555699 | 359858 2569907 6104340 | 1 83200 1124 | 1.660 % | 2174.85/2174.88 c | 555800 | 359857 2569907 6104340 | 1 83300 1123 | 1.660 % | 2174.85/2174.88 c | 557476 | 359857 2569907 6104340 | 1 84976 1138 | 1.660 % | 2174.85/2174.88 c | 557577 | 359857 2569907 6104340 | 1 85077 1138 | 1.660 % | 2174.85/2174.88 c | 558369 | 359857 2569907 6104340 | 1 85869 1139 | 1.660 % | 2174.85/2174.88 c | 558469 | 359857 2569907 6104340 | 1 85969 1138 | 1.660 % | 2174.85/2174.88 c | 562088 | 359854 2569907 6104340 | 1 89585 1181 | 1.661 % | 2174.85/2174.88 c | 566476 | 359849 2569907 6104340 | 1 93971 1250 | 1.662 % | 2174.85/2174.88 c | 568271 | 359849 2569907 6104340 | 1 95766 1275 | 1.662 % | 2174.85/2174.88 c | 568640 | 359849 2569905 6104328 | 1 96134 1273 | 1.662 % | 2174.85/2174.88 c | 568857 | 359849 2569905 6104328 | 1 96351 1275 | 1.662 % | 2174.85/2174.88 c | 569088 | 359816 2569905 6104328 | 1 96581 1279 | 1.671 % | 2174.85/2174.88 c | 569904 | 359816 2569905 6104328 | 1 97397 1281 | 1.671 % | 2174.85/2174.88 c | 570262 | 359816 2569905 6104328 | 1 97755 1289 | 1.671 % | 2174.85/2174.88 c | 570364 | 359816 2569905 6104328 | 1 97857 1288 | 1.671 % | 2174.85/2174.88 c | 573288 | 359816 2569905 6104328 | 1 100781 1341 | 1.671 % | 2174.85/2174.88 c | 573388 | 359815 2569905 6104328 | 1 100880 1341 | 1.672 % | 2174.85/2174.88 c | 573550 | 359815 2569905 6104328 | 1 101042 1340 | 1.672 % | 2174.85/2174.88 c | 574769 | 359815 2569905 6104328 | 1 51564 335 | 1.672 % | 2174.85/2174.88 c | 575837 | 359810 2569905 6104328 | 1 52627 350 | 1.673 % | 2174.85/2174.88 c | 581450 | 359810 2569905 6104328 | 1 58240 516 | 1.673 % | 2174.85/2174.88 c | 581550 | 359810 2569905 6104328 | 1 58340 516 | 1.673 % | 2174.85/2174.88 c | 582202 | 359810 2569905 6104328 | 1 58992 529 | 1.673 % | 2174.85/2174.88 c | 582303 | 359810 2569905 6104328 | 1 59093 529 | 1.673 % | 2174.85/2174.88 c | 584500 | 359809 2569903 6104293 | 1 61286 580 | 1.673 % | 2174.85/2174.88 c | 584600 | 359809 2569903 6104293 | 1 61386 583 | 1.673 % | 2174.85/2174.88 c | 588277 | 359782 2569901 6104261 | 1 65040 724 | 1.681 % | 2174.85/2174.88 c | 588377 | 359782 2569901 6104261 | 1 65140 724 | 1.681 % | 2174.85/2174.88 c | 589990 | 359781 2569901 6104261 | 1 66752 754 | 1.681 % | 2174.85/2174.88 c | 597144 | 359781 2569901 6104261 | 1 73906 956 | 1.681 % | 2174.85/2174.88 c | 597300 | 359781 2569901 6104261 | 1 74062 964 | 1.681 % | 2174.85/2174.88 c | 597400 | 359781 2569901 6104261 | 1 74162 970 | 1.681 % | 2174.85/2174.88 c | 597504 | 359781 2569901 6104261 | 1 74266 970 | 1.681 % | 2174.85/2174.88 c | 598529 | 359780 2569901 6104261 | 1 75290 984 | 1.681 % | 2174.85/2174.88 c | 598630 | 359780 2569901 6104261 | 1 75391 983 | 1.681 % | 2457.87/2457.90 c | 598873 | 359780 2569901 6104261 | 1 75634 988 | 1.681 % | 2457.87/2457.90 c | 601360 | 359779 2569901 6104261 | 1 78120 1032 | 1.681 % | 2457.87/2457.90 c | 601482 | 359779 2569901 6104261 | 1 78242 1037 | 1.681 % | 2457.87/2457.90 c | 601583 | 359779 2569901 6104261 | 1 78343 1037 | 1.681 % | 2457.87/2457.90 c | 604133 | 359746 2569901 6104261 | 1 80892 1069 | 1.690 % | 2457.87/2457.90 c | 607693 | 359746 2569901 6104261 | 1 84452 1154 | 1.690 % | 2457.87/2457.90 c | 612431 | 359745 2569899 6104226 | 1 89184 1256 | 1.691 % | 2457.87/2457.90 c | 612532 | 359745 2569899 6104226 | 1 89285 1255 | 1.691 % | 2457.87/2457.90 c | 613479 | 359745 2569899 6104226 | 1 90232 1278 | 1.691 % | 2457.87/2457.90 c | 613579 | 359745 2569899 6104226 | 1 90332 1278 | 1.691 % | 2457.87/2457.90 c | 616259 | 359745 2569899 6104226 | 1 93012 1355 | 1.691 % | 2457.87/2457.90 c | 616359 | 359745 2569899 6104226 | 1 93112 1355 | 1.691 % | 2457.87/2457.90 c | 616879 | 359745 2569899 6104226 | 1 93632 1356 | 1.691 % | 2457.97/2457.90 c | 617047 | 359745 2569899 6104226 | 1 93800 1355 | 1.691 % | 2457.97/2457.90 c | 617147 | 359745 2569899 6104226 | 1 93900 1355 | 1.691 % | 2457.97/2457.90 c | 617247 | 359745 2569899 6104226 | 1 94000 1353 | 1.691 % | 2457.97/2457.90 c | 625130 | 359745 2569899 6104226 | 1 101883 1435 | 1.691 % | 2457.97/2457.90 c | 625837 | 359745 2569899 6104226 | 1 102590 1435 | 1.691 % | 2457.97/2457.90 c | 626151 | 359743 2569899 6104226 | 1 102902 1436 | 1.691 % | 2457.97/2457.90 c | 633021 | 359709 2569899 6104226 | 1 56470 435 | 1.701 % | 2457.97/2457.90 c | 637125 | 359708 2569899 6104226 | 1 60573 551 | 1.701 % | 2457.97/2457.90 c | 637355 | 359708 2569899 6104226 | 1 60803 553 | 1.701 % | 2457.97/2457.90 c | 637547 | 359708 2569899 6104226 | 1 60995 559 | 1.701 % | 2457.97/2457.90 c | 637751 | 359708 2569899 6104226 | 1 61199 571 | 1.701 % | 2457.97/2457.90 c | 637852 | 359708 2569899 6104226 | 1 61300 578 | 1.701 % | 2457.97/2457.90 c | 637952 | 359708 2569899 6104226 | 1 61400 581 | 1.701 % | 2457.97/2457.90 c | 638053 | 359708 2569899 6104226 | 1 61501 583 | 1.701 % | 2457.97/2457.90 c | 639271 | 359708 2569899 6104226 | 1 62719 627 | 1.701 % | 2457.97/2457.90 c | 639469 | 359708 2569899 6104226 | 1 62917 637 | 1.701 % | 2457.97/2457.90 c | 639573 | 359708 2569899 6104226 | 1 63021 637 | 1.701 % | 2457.97/2457.90 c | 642628 | 359708 2569899 6104226 | 1 66076 809 | 1.701 % | 2457.97/2457.90 c | 642729 | 359708 2569897 6104191 | 1 66173 810 | 1.701 % | 2457.97/2457.90 c | 644491 | 359707 2569897 6104191 | 1 67934 830 | 1.701 % | 2457.97/2457.90 c | 646051 | 359706 2569897 6104191 | 1 69493 877 | 1.701 % | 2457.97/2457.90 c | 649209 | 359706 2569897 6104191 | 1 72651 949 | 1.701 % | 2457.97/2457.90 c | 649309 | 359706 2569897 6104191 | 1 72751 949 | 1.701 % | 2457.97/2457.90 c | 649519 | 359706 2569897 6104191 | 1 72961 952 | 1.701 % | 2457.97/2457.90 c | 650124 | 359706 2569897 6104191 | 1 73566 964 | 1.701 % | 2457.97/2457.90 c | 650224 | 359706 2569897 6104191 | 1 73666 964 | 1.701 % | 2457.97/2457.90 c | 653275 | 359699 2569897 6104191 | 1 76716 1039 | 1.703 % | 2457.97/2457.90 c | 653375 | 359699 2569897 6104191 | 1 76816 1039 | 1.703 % | 2457.97/2457.90 c | 653686 | 359699 2569897 6104191 | 1 77127 1044 | 1.703 % | 2457.97/2457.90 c | 653895 | 359699 2569897 6104191 | 1 77336 1047 | 1.703 % | 2457.97/2457.90 c | 661246 | 359695 2569895 6104175 | 1 84681 1169 | 1.704 % | 2457.97/2457.90 c | 661748 | 359694 2569895 6104175 | 1 85182 1175 | 1.705 % | 2457.97/2457.90 c | 663397 | 359694 2569895 6104175 | 1 86831 1190 | 1.705 % | 2457.97/2457.90 c | 663497 | 359694 2569895 6104175 | 1 86931 1189 | 1.705 % | 2457.97/2457.90 c | 665252 | 359694 2569895 6104175 | 1 88686 1225 | 1.705 % | 2457.97/2457.90 c | 665491 | 359694 2569895 6104175 | 1 88925 1225 | 1.705 % | 2457.97/2457.90 c | 665595 | 359694 2569895 6104175 | 1 89029 1225 | 1.705 % | 2664.67/2664.69 c | 665853 | 359694 2569895 6104175 | 1 89287 1224 | 1.705 % | 2664.67/2664.69 c | 665953 | 359694 2569895 6104175 | 1 89387 1224 | 1.705 % | 2664.67/2664.69 c | 666276 | 359694 2569895 6104175 | 1 89710 1237 | 1.705 % | 2664.67/2664.69 c | 667935 | 359694 2569895 6104175 | 1 91369 1255 | 1.705 % | 2664.67/2664.69 c | 671575 | 359683 2569893 6104157 | 1 95005 1300 | 1.708 % | 2664.67/2664.69 c | 671688 | 359683 2569893 6104157 | 1 95118 1301 | 1.708 % | 2664.67/2664.69 c | 679348 | 359650 2569893 6104157 | 1 102776 1450 | 1.717 % | 2664.67/2664.69 c | 680215 | 359650 2569893 6104157 | 1 103643 1445 | 1.717 % | 2664.67/2664.69 c | 680315 | 359645 2569893 6104157 | 1 103738 1444 | 1.718 % | 2664.67/2664.69 c | 680418 | 359643 2569893 6104157 | 1 103839 1444 | 1.719 % | 2664.67/2664.69 c | 680656 | 359643 2569893 6104157 | 1 104077 1442 | 1.719 % | 2664.67/2664.69 c | 682107 | 359642 2569893 6104157 | 1 105527 1454 | 1.719 % | 2664.67/2664.69 c | 684126 | 359642 2569893 6104157 | 1 107546 1468 | 1.719 % | 2664.67/2664.69 c | 684228 | 359642 2569893 6104157 | 1 107648 1469 | 1.719 % | 2664.67/2664.69 c | 685629 | 359642 2569893 6104157 | 1 109049 1488 | 1.719 % | 2664.67/2664.69 c | 690164 | 359640 2569891 6104122 | 1 57607 339 | 1.719 % | 2664.67/2664.69 c | 690679 | 359640 2569891 6104122 | 1 58122 361 | 1.719 % | 2664.67/2664.69 c | 691259 | 359640 2569891 6104122 | 1 58702 399 | 1.719 % | 2664.67/2664.69 c | 691359 | 359640 2569891 6104122 | 1 58802 403 | 1.719 % | 2664.67/2664.69 c | 691459 | 359640 2569891 6104122 | 1 58902 406 | 1.719 % | 2664.67/2664.69 c | 692394 | 359639 2569891 6104122 | 1 59836 432 | 1.720 % | 2664.67/2664.69 c | 692663 | 359639 2569891 6104122 | 1 60105 447 | 1.720 % | 2664.67/2664.69 c | 694221 | 359638 2569891 6104122 | 1 61662 487 | 1.720 % | 2664.67/2664.69 c | 694321 | 359637 2569891 6104122 | 1 61761 489 | 1.720 % | 2664.67/2664.69 c | 695437 | 359604 2569891 6104122 | 1 62876 520 | 1.729 % | 2664.67/2664.69 c | 695537 | 359604 2569891 6104122 | 1 62976 520 | 1.729 % | 2664.67/2664.69 c | 696835 | 359604 2569891 6104122 | 1 64274 557 | 1.729 % | 2664.67/2664.69 c | 696936 | 359604 2569891 6104122 | 1 64375 557 | 1.729 % | 2664.67/2664.69 c | 697860 | 359604 2569891 6104122 | 1 65299 575 | 1.729 % | 2664.67/2664.69 c | 697961 | 359604 2569891 6104122 | 1 65400 576 | 1.729 % | 2664.67/2664.69 c | 698062 | 359604 2569891 6104122 | 1 65501 578 | 1.729 % | 2664.67/2664.69 c | 698893 | 359604 2569891 6104122 | 1 66332 598 | 1.729 % | 2664.67/2664.69 c | 700717 | 359604 2569891 6104122 | 1 68156 638 | 1.729 % | 2664.67/2664.69 c | 703076 | 359604 2569891 6104122 | 1 70515 712 | 1.729 % | 2664.67/2664.69 c | 703197 | 359604 2569891 6104122 | 1 70636 712 | 1.729 % | 2664.67/2664.69 c | 705499 | 359604 2569891 6104122 | 1 72938 781 | 1.729 % | 2664.67/2664.69 c | 706552 | 359601 2569889 6104087 | 1 73981 808 | 1.730 % | 2664.67/2664.69 c | 709190 | 359601 2569889 6104087 | 1 76619 847 | 1.730 % | 2664.67/2664.69 c | 710414 | 359601 2569889 6104087 | 1 77843 865 | 1.730 % | 2664.67/2664.69 c | 712387 | 359601 2569889 6104087 | 1 79816 926 | 1.730 % | 2664.67/2664.69 c | 712514 | 359601 2569889 6104087 | 1 79943 927 | 1.730 % | 2664.67/2664.69 c | 714533 | 359601 2569889 6104087 | 1 81962 958 | 1.730 % | 2664.67/2664.69 c | 714755 | 359601 2569889 6104087 | 1 82184 959 | 1.730 % | 2664.67/2664.69 c | 714855 | 359601 2569889 6104087 | 1 82284 960 | 1.730 % | 2664.67/2664.69 c | 716925 | 359598 2569889 6104087 | 1 84351 987 | 1.731 % | 2664.67/2664.69 c | 717025 | 359598 2569889 6104087 | 1 84451 988 | 1.731 % | 2664.67/2664.69 c | 717125 | 359598 2569889 6104087 | 1 84551 988 | 1.731 % | 2664.67/2664.69 c | 719738 | 359598 2569889 6104087 | 1 87164 1012 | 1.731 % | 2664.67/2664.69 c | 719838 | 359598 2569889 6104087 | 1 87264 1012 | 1.731 % | 2664.67/2664.69 c | 720248 | 359598 2569889 6104087 | 1 87674 1014 | 1.731 % | 2855.68/2855.69 c | 720350 | 359598 2569889 6104087 | 1 87776 1013 | 1.731 % | 2855.68/2855.69 c | 720450 | 359598 2569889 6104087 | 1 87875 1013 | 1.731 % | 2855.68/2855.69 c | 721184 | 359598 2569889 6104087 | 1 88609 1037 | 1.731 % | 2855.68/2855.69 c | 721286 | 359598 2569889 6104087 | 1 88711 1040 | 1.731 % | 2855.68/2855.69 c | 721438 | 359598 2569889 6104087 | 1 88863 1040 | 1.731 % | 2855.68/2855.69 c | 724539 | 359598 2569889 6104087 | 1 91964 1089 | 1.731 % | 2855.68/2855.69 c | 724639 | 359598 2569889 6104087 | 1 92064 1089 | 1.731 % | 2855.68/2855.69 c | 725110 | 359597 2569889 6104087 | 1 92534 1092 | 1.731 % | 2855.68/2855.69 c | 725213 | 359597 2569889 6104087 | 1 92637 1091 | 1.731 % | 2855.68/2855.69 c | 726871 | 359597 2569889 6104087 | 1 94295 1119 | 1.731 % | 2855.68/2855.69 c | 726971 | 359597 2569889 6104087 | 1 94395 1119 | 1.731 % | 2855.68/2855.69 c | 727337 | 359597 2569889 6104087 | 1 94761 1122 | 1.731 % | 2855.68/2855.69 c | 732323 | 359595 2569889 6104087 | 1 99741 1181 | 1.732 % | 2855.68/2855.69 c | 733564 | 359595 2569889 6104087 | 1 100982 1196 | 1.732 % | 2855.68/2855.69 c | 733668 | 359594 2569889 6104087 | 1 101085 1197 | 1.732 % | 2855.68/2855.69 c | 733801 | 359594 2569889 6104087 | 1 101218 1198 | 1.732 % | 2855.68/2855.69 c | 734323 | 359594 2569889 6104087 | 1 101740 1203 | 1.732 % | 2855.68/2855.69 c | 735223 | 359594 2569889 6104087 | 1 102640 1214 | 1.732 % | 2855.68/2855.69 c | 735447 | 359594 2569889 6104087 | 1 102864 1215 | 1.732 % | 2855.68/2855.69 c | 735549 | 359594 2569889 6104087 | 1 102966 1215 | 1.732 % | 2855.68/2855.69 c | 735694 | 359588 2569889 6104087 | 1 103105 1215 | 1.734 % | 2855.68/2855.69 c | 735796 | 359588 2569889 6104087 | 1 103207 1215 | 1.734 % | 2855.68/2855.69 c | 736501 | 359588 2569889 6104087 | 1 103912 1220 | 1.734 % | 2855.68/2855.69 c | 737204 | 359588 2569889 6104087 | 1 104615 1263 | 1.734 % | 2855.68/2855.69 c | 737305 | 359588 2569889 6104087 | 1 104716 1263 | 1.734 % | 2855.68/2855.69 c | 744164 | 358401 2569885 6102416 | 1 111418 1324 | 2.058 % | 2855.68/2855.69 c | 747295 | 358401 2569885 6102416 | 1 114549 1352 | 2.058 % | 2855.68/2855.69 c | 747395 | 358401 2569885 6102416 | 1 114649 1351 | 2.058 % | 2855.68/2855.69 c | 750275 | 358401 2569885 6102416 | 1 59044 309 | 2.058 % | 2855.68/2855.69 c | 750967 | 358401 2569885 6102416 | 1 59736 325 | 2.058 % | 2855.68/2855.69 c | 751069 | 358401 2569885 6102416 | 1 59838 328 | 2.058 % | 2855.68/2855.69 c | 757260 | 358401 2569885 6102416 | 1 66029 527 | 2.058 % | 2855.68/2855.69 c | 757369 | 358401 2569885 6102416 | 1 66138 530 | 2.058 % | 2855.68/2855.69 c | 757631 | 358401 2569885 6102416 | 1 66400 536 | 2.058 % | 2855.68/2855.69 c | 757954 | 358401 2569885 6102416 | 1 66723 543 | 2.058 % | 2855.68/2855.69 c | 758057 | 358401 2569885 6102416 | 1 66826 543 | 2.058 % | 2855.68/2855.69 c | 758437 | 358401 2569885 6102416 | 1 67206 541 | 2.058 % | 2855.68/2855.69 c | 758537 | 358401 2569885 6102416 | 1 67306 541 | 2.058 % | 2855.68/2855.69 c | 758637 | 358400 2569885 6102416 | 1 67405 541 | 2.058 % | 2855.68/2855.69 c | 762324 | 358399 2569885 6102416 | 1 71091 758 | 2.059 % | 2855.68/2855.69 c | 762424 | 358399 2569883 6102388 | 1 71152 758 | 2.059 % | 2855.68/2855.69 c | 762788 | 358398 2569883 6102388 | 1 71515 771 | 2.059 % | 2855.68/2855.69 c | 762888 | 358398 2569883 6102388 | 1 71615 773 | 2.059 % | 2855.68/2855.69 c | 763333 | 358398 2569883 6102388 | 1 72060 784 | 2.059 % | 2855.68/2855.69 c | 765246 | 358398 2569883 6102388 | 1 73973 822 | 2.059 % | 2855.68/2855.69 c | 765347 | 358398 2569883 6102388 | 1 74074 822 | 2.059 % | 2855.68/2855.69 c | 767435 | 358398 2569883 6102388 | 1 76162 857 | 2.059 % | 2855.68/2855.69 c | 767535 | 358398 2569883 6102388 | 1 76262 857 | 2.059 % | 2855.68/2855.69 c | 769534 | 358398 2569883 6102388 | 1 78261 887 | 2.059 % | 2855.68/2855.69 c | 771372 | 358390 2569883 6102388 | 1 80097 930 | 2.061 % | 3040.40/3040.34 c | 771544 | 358390 2569883 6102388 | 1 80269 930 | 2.061 % | 3040.40/3040.34 c | 771668 | 358381 2569883 6102388 | 1 80391 933 | 2.063 % | 3040.40/3040.34 c | 772201 | 358372 2569883 6102388 | 1 80922 939 | 2.066 % | 3040.40/3040.34 c | 772427 | 358372 2569883 6102388 | 1 81148 942 | 2.066 % | 3040.40/3040.34 c | 773297 | 358372 2569883 6102388 | 1 82018 947 | 2.066 % | 3040.40/3040.34 c | 773397 | 358372 2569883 6102388 | 1 82118 948 | 2.066 % | 3040.40/3040.34 c | 773626 | 358372 2569883 6102388 | 1 82347 951 | 2.066 % | 3040.40/3040.34 c | 773726 | 358372 2569883 6102388 | 1 82447 952 | 2.066 % | 3040.40/3040.34 c | 779127 | 358338 2569875 6102309 | 1 87833 1032 | 2.075 % | 3040.40/3040.34 c | 779228 | 358334 2569875 6102309 | 1 87933 1033 | 2.076 % | 3040.40/3040.34 c | 780036 | 358334 2569875 6102309 | 1 88741 1037 | 2.076 % | 3040.40/3040.34 c | 780225 | 358334 2569875 6102309 | 1 88930 1048 | 2.076 % | 3040.40/3040.34 c | 780325 | 358334 2569875 6102309 | 1 89030 1052 | 2.076 % | 3040.40/3040.34 c | 780425 | 358334 2569875 6102309 | 1 89130 1053 | 2.076 % | 3040.40/3040.34 c | 782334 | 358334 2569875 6102309 | 1 91039 1069 | 2.076 % | 3040.40/3040.34 c | 782495 | 358334 2569875 6102309 | 1 91200 1069 | 2.076 % | 3040.40/3040.34 c | 783224 | 358334 2569875 6102309 | 1 91929 1077 | 2.076 % | 3040.40/3040.34 c | 785454 | 358334 2569875 6102309 | 1 94159 1108 | 2.076 % | 3040.40/3040.34 c | 788069 | 358333 2569875 6102309 | 1 96773 1118 | 2.077 % | 3040.40/3040.34 c | 788172 | 358333 2569873 6102301 | 1 96874 1123 | 2.077 % | 3040.40/3040.34 c | 788288 | 358333 2569873 6102301 | 1 96990 1123 | 2.077 % | 3040.40/3040.34 c | 790799 | 358333 2569873 6102301 | 1 99501 1136 | 2.077 % | 3040.40/3040.34 c | 790899 | 358333 2569873 6102301 | 1 99601 1136 | 2.077 % | 3040.40/3040.34 c | 796737 | 358333 2569873 6102301 | 1 105439 1239 | 2.077 % | 3040.40/3040.34 c | 797176 | 358333 2569873 6102301 | 1 105878 1241 | 2.077 % | 3040.40/3040.34 c | 797278 | 358333 2569873 6102301 | 1 105980 1241 | 2.077 % | 3040.40/3040.34 c | 798353 | 358333 2569873 6102301 | 1 107055 1254 | 2.077 % | 3040.40/3040.34 c | 799359 | 358333 2569873 6102301 | 1 108061 1253 | 2.077 % | 3040.40/3040.34 c | 799459 | 358333 2569873 6102301 | 1 108161 1253 | 2.077 % | 3040.40/3040.34 c | 800433 | 358332 2569873 6102301 | 1 109134 1260 | 2.077 % | 3040.40/3040.34 c | 801975 | 358332 2569873 6102301 | 1 110676 1286 | 2.077 % | 3040.40/3040.34 c | 802075 | 358332 2569873 6102301 | 1 110776 1287 | 2.077 % | 3040.40/3040.34 c | 802198 | 358332 2569873 6102301 | 1 110899 1289 | 2.077 % | 3040.40/3040.34 c | 802299 | 358332 2569873 6102301 | 1 111000 1289 | 2.077 % | 3040.40/3040.34 c | 802427 | 358332 2569873 6102301 | 1 111128 1289 | 2.077 % | 3040.40/3040.34 c | 802761 | 358322 2569873 6102301 | 1 111461 1294 | 2.080 % | 3040.40/3040.34 c | 803566 | 358322 2569873 6102301 | 1 112266 1296 | 2.080 % | 3040.40/3040.34 c | 803667 | 358322 2569873 6102301 | 1 112367 1297 | 2.080 % | 3040.40/3040.34 c | 803768 | 358322 2569873 6102301 | 1 112468 1297 | 2.080 % | 3040.40/3040.34 c | 804268 | 358322 2569873 6102301 | 1 112968 1303 | 2.080 % | 3040.40/3040.34 c | 807505 | 358321 2569873 6102301 | 1 116204 1336 | 2.080 % | 3040.40/3040.34 c | 807706 | 358321 2569873 6102301 | 1 116405 1339 | 2.080 % | 3040.40/3040.34 c | 807806 | 358321 2569873 6102301 | 1 116505 1339 | 2.080 % | 3040.40/3040.34 c | 807909 | 358321 2569873 6102301 | 1 116608 1340 | 2.080 % | 3040.40/3040.34 c | 808553 | 358321 2569873 6102301 | 1 117252 1348 | 2.080 % | 3040.40/3040.34 c | 808944 | 358321 2569873 6102301 | 1 117643 1348 | 2.080 % | 3040.40/3040.34 c | 809044 | 358321 2569873 6102301 | 1 117743 1349 | 2.080 % | 3040.40/3040.34 c | 809332 | 358321 2569873 6102301 | 1 118031 1352 | 2.080 % | 3040.40/3040.34 c | 813107 | 358320 2569873 6102301 | 1 121805 1390 | 2.080 % | 3040.40/3040.34 c | 813207 | 358320 2569873 6102301 | 1 121905 1389 | 2.080 % | 3197.30/3197.21 c | 813307 | 358320 2569873 6102301 | 1 122005 1388 | 2.080 % | 3197.30/3197.21 c | 815295 | 358319 2569873 6102301 | 1 62887 322 | 2.080 % | 3197.30/3197.21 c | 819814 | 358319 2569873 6102301 | 1 67406 487 | 2.080 % | 3197.30/3197.21 c | 819914 | 358319 2569871 6102282 | 1 67504 488 | 2.080 % | 3197.30/3197.21 c | 820611 | 358319 2569871 6102282 | 1 68201 550 | 2.080 % | 3197.30/3197.21 c | 820743 | 358319 2569871 6102282 | 1 68333 552 | 2.080 % | 3197.30/3197.21 c | 821098 | 358319 2569871 6102282 | 1 68688 559 | 2.080 % | 3197.30/3197.21 c | 825233 | 358319 2569871 6102282 | 1 72823 640 | 2.080 % | 3197.30/3197.21 c | 825336 | 358318 2569871 6102282 | 1 72924 640 | 2.081 % | 3197.30/3197.21 c | 825547 | 358318 2569871 6102282 | 1 73135 642 | 2.081 % | 3197.30/3197.21 c | 827217 | 358318 2569871 6102282 | 1 74805 679 | 2.081 % | 3197.30/3197.21 c | 827512 | 358318 2569871 6102282 | 1 75100 682 | 2.081 % | 3197.30/3197.21 c | 827613 | 358318 2569871 6102282 | 1 75201 683 | 2.081 % | 3197.30/3197.21 c | 829811 | 358318 2569871 6102282 | 1 77399 726 | 2.081 % | 3197.30/3197.21 c | 831820 | 358318 2569871 6102282 | 1 79408 815 | 2.081 % | 3197.30/3197.21 c | 831920 | 358318 2569871 6102282 | 1 79508 819 | 2.081 % | 3197.30/3197.21 c | 832020 | 358318 2569871 6102282 | 1 79608 822 | 2.081 % | 3197.30/3197.21 c | 832122 | 358318 2569871 6102282 | 1 79710 825 | 2.081 % | 3197.30/3197.21 c | 832223 | 358318 2569871 6102282 | 1 79811 827 | 2.081 % | 3197.30/3197.21 c | 832324 | 358318 2569871 6102282 | 1 79912 829 | 2.081 % | 3197.30/3197.21 c | 832911 | 358318 2569871 6102282 | 1 80499 836 | 2.081 % | 3197.30/3197.21 c | 833011 | 358318 2569871 6102282 | 1 80599 836 | 2.081 % | 3197.30/3197.21 c | 833267 | 358318 2569871 6102282 | 1 80855 841 | 2.081 % | 3197.30/3197.21 c | 833382 | 358318 2569871 6102282 | 1 80970 842 | 2.081 % | 3197.30/3197.21 c | 836669 | 358285 2569869 6102247 | 1 84251 894 | 2.090 % | 3197.30/3197.21 c | 836772 | 358285 2569869 6102247 | 1 84354 893 | 2.090 % | 3197.30/3197.21 c | 841685 | 358285 2569869 6102247 | 1 89267 1052 | 2.090 % | 3197.30/3197.21 c | 841887 | 358285 2569869 6102247 | 1 89469 1053 | 2.090 % | 3197.30/3197.21 c | 842941 | 358285 2569869 6102247 | 1 90523 1072 | 2.090 % | 3197.30/3197.21 c | 843149 | 358285 2569869 6102247 | 1 90731 1074 | 2.090 % | 3197.30/3197.21 c | 843249 | 358285 2569869 6102247 | 1 90831 1074 | 2.090 % | 3197.30/3197.21 c | 843371 | 358285 2569869 6102247 | 1 90953 1074 | 2.090 % | 3197.30/3197.21 c | 844758 | 358284 2569869 6102247 | 1 92339 1096 | 2.090 % | 3197.30/3197.21 c | 844862 | 358284 2569869 6102247 | 1 92443 1095 | 2.090 % | 3197.30/3197.21 c | 845817 | 358283 2569869 6102247 | 1 93397 1101 | 2.090 % | 3197.30/3197.21 c | 847693 | 358283 2569869 6102247 | 1 95273 1118 | 2.090 % | 3197.30/3197.21 c | 848386 | 358283 2569869 6102247 | 1 95966 1124 | 2.090 % | 3197.30/3197.21 c | 848597 | 358283 2569869 6102247 | 1 96177 1129 | 2.090 % | 3197.30/3197.21 c | 848697 | 358283 2569869 6102247 | 1 96277 1131 | 2.090 % | 3197.30/3197.21 c | 848829 | 358283 2569869 6102247 | 1 96409 1131 | 2.090 % | 3197.30/3197.21 c | 849175 | 358281 2569869 6102247 | 1 96753 1136 | 2.091 % | 3197.30/3197.21 c | 849276 | 358280 2569869 6102247 | 1 96853 1135 | 2.091 % | 3197.30/3197.21 c | 849376 | 358280 2569869 6102247 | 1 96953 1135 | 2.091 % | 3197.30/3197.21 c | 854171 | 358279 2569869 6102247 | 1 101747 1223 | 2.091 % | 3197.30/3197.21 c | 854271 | 358279 2569869 6102247 | 1 101847 1223 | 2.091 % | 3197.30/3197.21 c | 854519 | 358279 2569869 6102247 | 1 102095 1226 | 2.091 % | 3197.30/3197.21 c | 854620 | 358279 2569869 6102247 | 1 102196 1225 | 2.091 % | 3197.30/3197.21 c | 854722 | 358279 2569869 6102247 | 1 102298 1224 | 2.091 % | 3197.30/3197.21 c | 854823 | 358279 2569869 6102247 | 1 102399 1223 | 2.091 % | 3197.30/3197.21 c | 855136 | 358278 2569869 6102247 | 1 102705 1221 | 2.092 % | 3477.11/3477.07 c | 855236 | 358276 2569869 6102247 | 1 102803 1220 | 2.092 % | 3477.11/3477.07 c | 856735 | 358275 2569869 6102247 | 1 104301 1223 | 2.092 % | 3477.11/3477.07 c | 857319 | 358196 2569869 6102247 | 1 104883 1228 | 2.114 % | 3477.11/3477.07 c | 860015 | 358196 2569869 6102247 | 1 107579 1242 | 2.114 % | 3477.11/3477.07 c | 862666 | 358196 2569869 6102247 | 1 110230 1273 | 2.114 % | 3477.11/3477.07 c | 862881 | 358196 2569869 6102247 | 1 110445 1273 | 2.114 % | 3477.11/3477.07 c | 863313 | 358185 2569869 6102247 | 1 110875 1275 | 2.117 % | 3477.11/3477.07 c | 863413 | 358185 2569869 6102247 | 1 110975 1275 | 2.117 % | 3477.11/3477.07 c | 865233 | 358185 2569869 6102247 | 1 112795 1310 | 2.117 % | 3477.11/3477.07 c | 866511 | 358185 2569869 6102247 | 1 114073 1326 | 2.117 % | 3477.11/3477.07 c | 866611 | 358185 2569869 6102247 | 1 114173 1325 | 2.117 % | 3477.11/3477.07 c | 874031 | 358185 2569869 6102247 | 1 121593 1395 | 2.117 % | 3477.11/3477.07 c | 874415 | 358185 2569865 6102116 | 1 121962 1397 | 2.117 % | 3477.11/3477.07 c | 874516 | 358185 2569865 6102116 | 1 122063 1397 | 2.117 % | 3477.11/3477.07 c | 877580 | 358185 2569865 6102116 | 1 125127 1396 | 2.117 % | 3477.11/3477.07 c | 877680 | 358185 2569865 6102116 | 1 125227 1396 | 2.117 % | 3477.11/3477.07 c | 877866 | 358185 2569865 6102116 | 1 125413 1397 | 2.117 % | 3477.11/3477.07 c | 880781 | 358185 2569865 6102116 | 1 64585 294 | 2.117 % | 3477.11/3477.07 c | 880884 | 358185 2569865 6102116 | 1 64688 297 | 2.117 % | 3477.11/3477.07 c | 880985 | 358185 2569865 6102116 | 1 64789 300 | 2.117 % | 3477.11/3477.07 c | 883880 | 358185 2569865 6102116 | 1 67684 349 | 2.117 % | 3477.11/3477.07 c | 883982 | 358185 2569865 6102116 | 1 67786 351 | 2.117 % | 3477.11/3477.07 c | 884084 | 358185 2569865 6102116 | 1 67888 352 | 2.117 % | 3477.11/3477.07 c | 884287 | 358185 2569865 6102116 | 1 68091 358 | 2.117 % | 3477.11/3477.07 c | 887665 | 358185 2569865 6102116 | 1 71469 438 | 2.117 % | 3477.11/3477.07 c | 887766 | 358185 2569865 6102116 | 1 71570 438 | 2.117 % | 3477.11/3477.07 c | 890780 | 358184 2569865 6102116 | 1 74583 506 | 2.117 % | 3477.11/3477.07 c | 890882 | 358184 2569865 6102116 | 1 74685 507 | 2.117 % | 3477.11/3477.07 c | 893876 | 358151 2569863 6102081 | 1 77670 625 | 2.126 % | 3477.11/3477.07 c | 893976 | 358151 2569863 6102081 | 1 77770 625 | 2.126 % | 3477.11/3477.07 c | 894219 | 358150 2569863 6102081 | 1 78012 637 | 2.127 % | 3477.11/3477.07 c | 894319 | 358150 2569863 6102081 | 1 78112 638 | 2.127 % | 3477.11/3477.07 c | 894421 | 358149 2569863 6102081 | 1 78213 639 | 2.127 % | 3477.11/3477.07 c | 896257 | 358140 2569863 6102081 | 1 80045 668 | 2.129 % | 3477.11/3477.07 c | 896974 | 358140 2569863 6102081 | 1 80762 673 | 2.129 % | 3477.11/3477.07 c | 909289 | 358139 2569863 6102081 | 1 93076 850 | 2.130 % | 3477.11/3477.07 c | 916230 | 358139 2569861 6102065 | 1 100004 1037 | 2.130 % | 3477.11/3477.07 c | 916331 | 358139 2569861 6102065 | 1 100105 1036 | 2.130 % | 3477.11/3477.07 c | 916793 | 358139 2569861 6102065 | 1 100567 1039 | 2.130 % | 3477.11/3477.07 c | 917166 | 358139 2569861 6102065 | 1 100940 1042 | 2.130 % | 3477.11/3477.07 c | 917266 | 358139 2569861 6102065 | 1 101040 1043 | 2.130 % | 3477.11/3477.07 c | 919594 | 358136 2569861 6102065 | 1 103364 1095 | 2.130 % | 3477.11/3477.07 c | 919696 | 358136 2569861 6102065 | 1 103466 1101 | 2.130 % | 3477.11/3477.07 c | 919796 | 358136 2569861 6102065 | 1 103566 1101 | 2.130 % | 3477.11/3477.07 c | 921959 | 358136 2569861 6102065 | 1 105729 1125 | 2.130 % | 3477.11/3477.07 c | 924034 | 358129 2569861 6102065 | 1 107802 1137 | 2.132 % | 3477.11/3477.07 c | 924134 | 358129 2569861 6102065 | 1 107902 1137 | 2.132 % | 3477.11/3477.07 c | 924237 | 358129 2569861 6102065 | 1 108005 1136 | 2.132 % | 3477.11/3477.07 c | 927217 | 358129 2569861 6102065 | 1 110985 1246 | 2.132 % | 3477.11/3477.07 c | 928024 | 358129 2569861 6102065 | 1 111792 1254 | 2.132 % | 3583.41/3583.32 c | 928183 | 358129 2569861 6102065 | 1 111951 1253 | 2.132 % | 3583.41/3583.32 c | 930004 | 358128 2569861 6102065 | 1 113771 1285 | 2.133 % | 3583.41/3583.32 c | 930347 | 358127 2569861 6102065 | 1 114113 1285 | 2.133 % | 3583.41/3583.32 c | 930447 | 358127 2569861 6102065 | 1 114213 1285 | 2.133 % | 3583.41/3583.32 c | 933605 | 358127 2569861 6102065 | 1 117371 1320 | 2.133 % | 3583.41/3583.32 c | 933706 | 358127 2569859 6102050 | 1 117470 1320 | 2.133 % | 3583.41/3583.32 c | 934424 | 358127 2569859 6102050 | 1 118188 1325 | 2.133 % | 3583.41/3583.32 c | 934699 | 358127 2569859 6102050 | 1 118463 1326 | 2.133 % | 3583.41/3583.32 c | 934817 | 358127 2569859 6102050 | 1 118581 1325 | 2.133 % | 3583.41/3583.32 c | 935111 | 358098 2569859 6102050 | 1 118874 1325 | 2.141 % | 3583.41/3583.32 c | 935470 | 358098 2569859 6102050 | 1 119233 1325 | 2.141 % | 3583.41/3583.32 c | 935707 | 358098 2569859 6102050 | 1 119470 1323 | 2.141 % | 3583.41/3583.32 c | 935807 | 358097 2569859 6102050 | 1 119569 1323 | 2.141 % | 3583.41/3583.32 c | 936073 | 358097 2569859 6102050 | 1 119835 1324 | 2.141 % | 3583.41/3583.32 c | 936177 | 358097 2569859 6102050 | 1 119939 1324 | 2.141 % | 3583.41/3583.32 c | 936279 | 358097 2569859 6102050 | 1 120041 1324 | 2.141 % | 3583.41/3583.32 c | 936481 | 358097 2569859 6102050 | 1 120243 1323 | 2.141 % | 3583.41/3583.32 c | 937565 | 358086 2569859 6102050 | 1 121325 1328 | 2.144 % | 3583.41/3583.32 c | 942472 | 358054 2569859 6102050 | 1 126231 1374 | 2.153 % | 3583.41/3583.32 c | 942572 | 358054 2569859 6102050 | 1 126331 1374 | 2.153 % | 3583.41/3583.32 c | 942673 | 358054 2569859 6102050 | 1 126432 1374 | 2.153 % | 3583.41/3583.32 c | 943860 | 358054 2569859 6102050 | 1 127619 1384 | 2.153 % | 3583.41/3583.32 c | 944039 | 358054 2569859 6102050 | 1 127798 1386 | 2.153 % | 3583.41/3583.32 c | 946076 | 358053 2569859 6102050 | 1 129834 1390 | 2.153 % | 3583.41/3583.32 c | 946180 | 358053 2569859 6102050 | 1 129938 1390 | 2.153 % | 3583.41/3583.32 c | 946727 | 358052 2569859 6102050 | 1 130484 1400 | 2.153 % | 3583.41/3583.32 c | 946832 | 358052 2569859 6102050 | 1 130589 1401 | 2.153 % | 3583.41/3583.32 c | 947472 | 358052 2569859 6102050 | 1 131229 1408 | 2.153 % | 3583.41/3583.32 c | 947574 | 358052 2569859 6102050 | 1 131331 1408 | 2.153 % | 3583.41/3583.32 c | 947997 | 358051 2569859 6102050 | 1 131753 1412 | 2.154 % | 3583.41/3583.32 c | 948103 | 358051 2569859 6102050 | 1 131859 1412 | 2.154 % | 3583.41/3583.32 c | 948569 | 358051 2569859 6102050 | 1 132325 1428 | 2.154 % | 3583.41/3583.32 c | 948669 | 358051 2569859 6102050 | 1 132425 1428 | 2.154 % | 3583.41/3583.32 c | 950444 | 358051 2569859 6102050 | 1 67854 310 | 2.154 % | 3583.41/3583.32 c | 950546 | 358051 2569859 6102050 | 1 67956 312 | 2.154 % | 3583.41/3583.32 c | 950851 | 358051 2569859 6102050 | 1 68261 316 | 2.154 % | 3583.41/3583.32 c | 950953 | 358051 2569859 6102050 | 1 68363 326 | 2.154 % | 3583.41/3583.32 c | 951053 | 358051 2569859 6102050 | 1 68463 329 | 2.154 % | 3583.41/3583.32 c | 951545 | 358050 2569859 6102050 | 1 68954 338 | 2.154 % | 3583.41/3583.32 c | 951959 | 358050 2569859 6102050 | 1 69368 345 | 2.154 % | 3583.41/3583.32 c | 952059 | 358049 2569859 6102050 | 1 69467 346 | 2.154 % | 3583.41/3583.32 c | 952161 | 358049 2569859 6102050 | 1 69569 348 | 2.154 % | 3583.41/3583.32 c | 952265 | 358049 2569859 6102050 | 1 69673 349 | 2.154 % | 3583.41/3583.32 c | 952686 | 358048 2569859 6102050 | 1 70093 357 | 2.154 % | 3583.41/3583.32 c | 952786 | 358048 2569853 6101963 | 1 70180 357 | 2.154 % | 3583.41/3583.32 c | 952890 | 358048 2569853 6101963 | 1 70284 357 | 2.154 % | 3583.41/3583.32 c | 952990 | 358048 2569853 6101963 | 1 70384 357 | 2.154 % | 3583.41/3583.32 c | 953093 | 358048 2569853 6101963 | 1 70487 357 | 2.154 % | 3583.41/3583.32 c | 953193 | 358048 2569853 6101963 | 1 70587 356 | 2.154 % | 3583.41/3583.32 c | 956031 | 358048 2569853 6101963 | 1 73425 422 | 2.154 % | 3785.91/3785.84 c | 956619 | 358048 2569853 6101963 | 1 74013 439 | 2.154 % | 3785.91/3785.84 c | 956723 | 358048 2569853 6101963 | 1 74117 439 | 2.154 % | 3785.91/3785.84 c | 957517 | 358048 2569853 6101963 | 1 74911 450 | 2.154 % | 3785.91/3785.84 c | 957617 | 358048 2569853 6101963 | 1 75011 452 | 2.154 % | 3785.91/3785.84 c | 960204 | 358048 2569853 6101963 | 1 77598 501 | 2.154 % | 3785.91/3785.84 c | 961966 | 358048 2569853 6101963 | 1 79360 543 | 2.154 % | 3785.91/3785.84 c | 964731 | 358048 2569853 6101963 | 1 82125 722 | 2.154 % | 3785.91/3785.84 c | 964831 | 358048 2569853 6101963 | 1 82225 723 | 2.154 % | 3785.91/3785.84 c | 965247 | 358048 2569853 6101963 | 1 82641 730 | 2.154 % | 3785.91/3785.84 c | 966256 | 358037 2569851 6101944 | 1 83649 740 | 2.158 % | 3785.91/3785.84 c | 967191 | 358037 2569851 6101944 | 1 84584 752 | 2.158 % | 3785.91/3785.84 c | 973500 | 358037 2569851 6101944 | 1 90893 854 | 2.158 % | 3785.91/3785.84 c | 973602 | 358037 2569851 6101944 | 1 90995 854 | 2.158 % | 3785.91/3785.84 c | 973993 | 358008 2569849 6101909 | 1 91380 863 | 2.165 % | 3785.91/3785.84 c | 974093 | 358008 2569849 6101909 | 1 91480 863 | 2.165 % | 3785.91/3785.84 c | 977338 | 358008 2569849 6101909 | 1 94725 936 | 2.165 % | 3785.91/3785.84 c | 977439 | 358008 2569849 6101909 | 1 94826 936 | 2.165 % | 3785.91/3785.84 c | 979136 | 358007 2569849 6101909 | 1 96522 964 | 2.166 % | 3785.91/3785.84 c | 981736 | 358007 2569849 6101909 | 1 99122 975 | 2.166 % | 3785.91/3785.84 c | 982105 | 358007 2569849 6101909 | 1 99491 977 | 2.166 % | 3785.91/3785.84 c | 982218 | 358007 2569849 6101909 | 1 99604 978 | 2.166 % | 3785.91/3785.84 c | 982495 | 358005 2569849 6101909 | 1 99879 978 | 2.166 % | 3785.91/3785.84 c | 983201 | 357997 2569849 6101909 | 1 100584 979 | 2.168 % | 3785.91/3785.84 c | 989574 | 357995 2569847 6101894 | 1 106948 1028 | 2.169 % | 3785.91/3785.84 c | 989675 | 357995 2569847 6101894 | 1 107049 1028 | 2.169 % | 3785.91/3785.84 c | 992627 | 357995 2569847 6101894 | 1 110001 1087 | 2.169 % | 3785.91/3785.84 c | 992727 | 357995 2569847 6101894 | 1 110101 1088 | 2.169 % | 3785.91/3785.84 c | 992829 | 357994 2569847 6101894 | 1 110202 1088 | 2.169 % | 3785.91/3785.84 c | 998947 | 357994 2569847 6101894 | 1 116320 1137 | 2.169 % | 3785.91/3785.84 c | 999075 | 357994 2569847 6101894 | 1 116445 1137 | 2.169 % | 3785.91/3785.84 c | 1000370 | 357993 2569847 6101894 | 1 117739 1145 | 2.170 % | 3785.91/3785.84 c | 1001680 | 357993 2569847 6101894 | 1 119049 1150 | 2.170 % | 3785.91/3785.84 c | 1001780 | 357993 2569847 6101894 | 1 119149 1150 | 2.170 % | 3785.91/3785.84 c | 1002212 | 357993 2569847 6101894 | 1 119581 1151 | 2.170 % | 3785.91/3785.84 c | 1002312 | 357993 2569847 6101894 | 1 119681 1152 | 2.170 % | 3785.91/3785.84 c | 1002614 | 357993 2569847 6101894 | 1 119983 1154 | 2.170 % | 3785.91/3785.84 c | 1002822 | 357993 2569847 6101894 | 1 120191 1155 | 2.170 % | 3785.91/3785.84 c | 1003320 | 357993 2569847 6101894 | 1 120689 1163 | 2.170 % | 3785.91/3785.84 c | 1003426 | 357993 2569847 6101894 | 1 120795 1163 | 2.170 % | 3785.91/3785.84 c | 1009669 | 357961 2569847 6101894 | 1 127037 1188 | 2.178 % | 3785.91/3785.84 c | 1010550 | 357961 2569847 6101894 | 1 127918 1200 | 2.178 % | 3785.91/3785.84 c | 1010748 | 357960 2569847 6101894 | 1 128115 1202 | 2.179 % | 3785.91/3785.84 c | 1011976 | 357960 2569847 6101894 | 1 129343 1222 | 2.179 % | 3785.91/3785.84 c | 1012078 | 357960 2569847 6101894 | 1 129445 1222 | 2.179 % | 3785.91/3785.84 c | 1012178 | 357960 2569847 6101894 | 1 129545 1222 | 2.179 % | 3785.91/3785.84 c | 1012398 | 357960 2569847 6101894 | 1 129765 1224 | 2.179 % | 3785.91/3785.84 c | 1012498 | 357960 2569847 6101894 | 1 129865 1225 | 2.179 % | 3785.91/3785.84 c | 1015735 | 357958 2569847 6101894 | 1 133100 1251 | 2.179 % | 3785.91/3785.84 c | 1015836 | 357958 2569845 6101859 | 1 133188 1251 | 2.179 % | 3785.91/3785.84 c | 1016049 | 357958 2569845 6101859 | 1 133401 1251 | 2.179 % | 3888.72/3888.68 c | 1016150 | 357958 2569845 6101859 | 1 133502 1252 | 2.179 % | 3888.72/3888.68 c | 1016269 | 357958 2569845 6101859 | 1 133621 1252 | 2.179 % | 3888.72/3888.68 c | 1016482 | 357958 2569845 6101859 | 1 133834 1252 | 2.179 % | 3888.72/3888.68 c | 1017701 | 357958 2569845 6101859 | 1 135053 1254 | 2.179 % | 3888.72/3888.68 c | 1017801 | 357958 2569845 6101859 | 1 135153 1254 | 2.179 % | 3888.72/3888.68 c | 1019664 | 357958 2569845 6101859 | 1 137016 1260 | 2.179 % | 3888.72/3888.68 c | 1019764 | 357958 2569845 6101859 | 1 137116 1260 | 2.179 % | 3888.72/3888.68 c | 1021367 | 357957 2569845 6101859 | 1 69791 270 | 2.179 % | 3888.72/3888.68 c | 1022419 | 357955 2569845 6101859 | 1 70841 295 | 2.180 % | 3888.72/3888.68 c | 1022519 | 357955 2569845 6101859 | 1 70941 303 | 2.180 % | 3888.72/3888.68 c | 1022621 | 357955 2569845 6101859 | 1 71043 305 | 2.180 % | 3888.72/3888.68 c | 1022860 | 357955 2569845 6101859 | 1 71282 312 | 2.180 % | 3888.72/3888.68 c | 1022960 | 357955 2569845 6101859 | 1 71382 313 | 2.180 % | 3888.72/3888.68 c | 1023551 | 357955 2569845 6101859 | 1 71973 328 | 2.180 % | 3888.72/3888.68 c | 1025771 | 357955 2569845 6101859 | 1 74193 377 | 2.180 % | 3888.72/3888.68 c | 1025871 | 357955 2569845 6101859 | 1 74293 379 | 2.180 % | 3888.72/3888.68 c | 1027659 | 357955 2569845 6101859 | 1 76081 441 | 2.180 % | 3888.72/3888.68 c | 1027759 | 357955 2569845 6101859 | 1 76181 444 | 2.180 % | 3888.72/3888.68 c | 1027859 | 357955 2569845 6101859 | 1 76281 446 | 2.180 % | 3888.72/3888.68 c | 1027959 | 357955 2569845 6101859 | 1 76381 447 | 2.180 % | 3888.72/3888.68 c | 1028421 | 357955 2569845 6101859 | 1 76843 455 | 2.180 % | 3888.72/3888.68 c | 1028912 | 357955 2569845 6101859 | 1 77334 465 | 2.180 % | 3888.72/3888.68 c | 1030412 | 357954 2569845 6101859 | 1 78833 488 | 2.180 % | 3888.72/3888.68 c | 1030947 | 357954 2569845 6101859 | 1 79368 513 | 2.180 % | 3888.72/3888.68 c | 1031049 | 357953 2569845 6101859 | 1 79469 515 | 2.180 % | 3888.72/3888.68 c | 1031618 | 357953 2569845 6101859 | 1 80038 528 | 2.180 % | 3888.72/3888.68 c | 1031733 | 357953 2569845 6101859 | 1 80153 530 | 2.180 % | 3888.72/3888.68 c | 1031833 | 357953 2569845 6101859 | 1 80253 530 | 2.180 % | 3888.72/3888.68 c | 1033413 | 357953 2569845 6101859 | 1 81833 556 | 2.180 % | 3888.72/3888.68 c | 1034276 | 357953 2569845 6101859 | 1 82696 570 | 2.180 % | 3888.72/3888.68 c | 1035304 | 357953 2569845 6101859 | 1 83724 610 | 2.180 % | 3888.72/3888.68 c | 1035405 | 357953 2569845 6101859 | 1 83825 613 | 2.180 % | 3888.72/3888.68 c | 1035505 | 357953 2569845 6101859 | 1 83925 613 | 2.180 % | 3888.72/3888.68 c | 1035615 | 357953 2569845 6101859 | 1 84035 616 | 2.180 % | 3888.72/3888.68 c | 1035719 | 357953 2569845 6101859 | 1 84139 617 | 2.180 % | 3888.72/3888.68 c | 1036822 | 357953 2569845 6101859 | 1 85242 655 | 2.180 % | 3888.72/3888.68 c | 1038308 | 357953 2569845 6101859 | 1 86726 706 | 2.180 % | 3888.72/3888.68 c | 1038408 | 357953 2569845 6101859 | 1 86826 708 | 2.180 % | 3888.72/3888.68 c | 1039572 | 357953 2569845 6101859 | 1 87990 726 | 2.180 % | 3888.72/3888.68 c | 1041361 | 357953 2569845 6101859 | 1 89779 808 | 2.180 % | 3888.72/3888.68 c | 1041462 | 357817 2569845 6101859 | 1 89879 809 | 2.218 % | 3888.72/3888.68 c | 1041564 | 357817 2569845 6101859 | 1 89981 809 | 2.218 % | 3888.72/3888.68 c | 1041667 | 357817 2569845 6101859 | 1 90084 809 | 2.218 % | 3888.72/3888.68 c | 1042016 | 357817 2569845 6101859 | 1 90433 811 | 2.218 % | 3888.72/3888.68 c | 1043077 | 357817 2569845 6101859 | 1 91494 824 | 2.218 % | 3888.72/3888.68 c | 1044164 | 357817 2569845 6101859 | 1 92581 831 | 2.218 % | 3888.72/3888.68 c | 1045143 | 357817 2569831 6101617 | 1 93554 835 | 2.218 % | 3888.72/3888.68 c | 1045243 | 357817 2569831 6101617 | 1 93654 835 | 2.218 % | 3888.72/3888.68 c | 1052717 | 357816 2569831 6101617 | 1 101127 876 | 2.218 % | 3888.72/3888.68 c | 1052818 | 357783 2569831 6101617 | 1 101227 876 | 2.227 % | 4016.63/4016.58 c | 1053236 | 357781 2569831 6101617 | 1 101643 876 | 2.227 % | 4016.63/4016.58 c | 1053438 | 357781 2569831 6101617 | 1 101845 876 | 2.227 % | 4016.63/4016.58 c | 1060037 | 357780 2569829 6101582 | 1 108434 972 | 2.228 % | 4016.63/4016.58 c | 1060139 | 357780 2569829 6101582 | 1 108536 976 | 2.228 % | 4016.63/4016.58 c | 1060241 | 357780 2569829 6101582 | 1 108638 976 | 2.228 % | 4016.63/4016.58 c | 1061087 | 357780 2569829 6101582 | 1 109484 987 | 2.228 % | 4016.63/4016.58 c | 1062718 | 357779 2569829 6101582 | 1 111114 1025 | 2.228 % | 4016.63/4016.58 c | 1063624 | 357779 2569829 6101582 | 1 112020 1032 | 2.228 % | 4016.63/4016.58 c | 1063725 | 357778 2569829 6101582 | 1 112120 1033 | 2.228 % | 4016.63/4016.58 c | 1064879 | 357778 2569829 6101582 | 1 113274 1042 | 2.228 % | 4016.63/4016.58 c | 1065251 | 357778 2569829 6101582 | 1 113646 1044 | 2.228 % | 4016.63/4016.58 c | 1065351 | 357778 2569829 6101582 | 1 113746 1045 | 2.228 % | 4016.63/4016.58 c | 1065451 | 357778 2569829 6101582 | 1 113846 1044 | 2.228 % | 4016.63/4016.58 c | 1065554 | 357778 2569829 6101582 | 1 113949 1046 | 2.228 % | 4016.63/4016.58 c | 1065992 | 357778 2569829 6101582 | 1 114387 1046 | 2.228 % | 4016.63/4016.58 c | 1066973 | 357775 2569829 6101582 | 1 115365 1049 | 2.229 % | 4016.63/4016.58 c | 1067669 | 357774 2569829 6101582 | 1 116060 1055 | 2.229 % | 4016.63/4016.58 c | 1068334 | 357774 2569829 6101582 | 1 116725 1060 | 2.229 % | 4016.63/4016.58 c | 1068587 | 357774 2569829 6101582 | 1 116978 1064 | 2.229 % | 4016.63/4016.58 c | 1068689 | 357774 2569829 6101582 | 1 117080 1064 | 2.229 % | 4016.63/4016.58 c | 1068904 | 357774 2569829 6101582 | 1 117295 1067 | 2.229 % | 4016.63/4016.58 c | 1069005 | 357774 2569829 6101582 | 1 117396 1066 | 2.229 % | 4016.63/4016.58 c | 1070330 | 357774 2569829 6101582 | 1 118721 1088 | 2.229 % | 4016.63/4016.58 c | 1070430 | 357774 2569829 6101582 | 1 118821 1089 | 2.229 % | 4016.63/4016.58 c | 1070531 | 357774 2569829 6101582 | 1 118922 1090 | 2.229 % | 4016.63/4016.58 c | 1071687 | 357774 2569829 6101582 | 1 120078 1101 | 2.229 % | 4016.63/4016.58 c | 1071792 | 357774 2569829 6101582 | 1 120183 1101 | 2.229 % | 4016.63/4016.58 c | 1073331 | 357774 2569829 6101582 | 1 121722 1115 | 2.229 % | 4016.63/4016.58 c | 1073431 | 357773 2569829 6101582 | 1 121821 1115 | 2.230 % | 4016.63/4016.58 c | 1073538 | 357773 2569829 6101582 | 1 121928 1115 | 2.230 % | 4016.63/4016.58 c | 1075614 | 357771 2569829 6101582 | 1 124002 1130 | 2.230 % | 4016.63/4016.58 c | 1075715 | 357771 2569829 6101582 | 1 124103 1131 | 2.230 % | 4016.63/4016.58 c | 1078642 | 357771 2569829 6101582 | 1 127030 1143 | 2.230 % | 4016.63/4016.58 c | 1078743 | 357771 2569829 6101582 | 1 127114 1142 | 2.230 % | 4016.63/4016.58 c | 1080373 | 357771 2569829 6101582 | 1 128744 1152 | 2.230 % | 4016.63/4016.58 c | 1080818 | 357771 2569829 6101582 | 1 129189 1158 | 2.230 % | 4016.63/4016.58 c | 1081459 | 357770 2569829 6101582 | 1 129829 1156 | 2.230 % | 4016.63/4016.58 c | 1081894 | 357770 2569829 6101582 | 1 130264 1160 | 2.230 % | 4016.63/4016.58 c | 1082347 | 357770 2569829 6101582 | 1 130717 1163 | 2.230 % | 4016.63/4016.58 c | 1084947 | 357768 2569829 6101582 | 1 133315 1177 | 2.231 % | 4016.63/4016.58 c | 1086137 | 357767 2569829 6101582 | 1 134504 1178 | 2.231 % | 4016.63/4016.58 c | 1086240 | 357767 2569829 6101582 | 1 134607 1178 | 2.231 % | 4016.63/4016.58 c | 1086340 | 357766 2569829 6101582 | 1 134706 1177 | 2.232 % | 4016.63/4016.58 c | 1089996 | 357766 2569829 6101582 | 1 138362 1189 | 2.232 % | 4016.63/4016.58 c | 1090943 | 357760 2569829 6101582 | 1 139308 1200 | 2.233 % | 4016.63/4016.58 c | 1091043 | 357760 2569829 6101582 | 1 139408 1201 | 2.233 % | 4016.63/4016.58 c | 1091146 | 357760 2569829 6101582 | 1 139511 1202 | 2.233 % | 4016.63/4016.58 c | 1091247 | 357760 2569829 6101582 | 1 139612 1202 | 2.233 % | 4016.63/4016.58 c | 1092792 | 357760 2569829 6101582 | 1 141157 1219 | 2.233 % | 4016.63/4016.58 c | 1092894 | 357760 2569829 6101582 | 1 141259 1219 | 2.233 % | 4135.93/4135.84 c | 1095230 | 357760 2569829 6101582 | 1 72063 267 | 2.233 % | 4135.93/4135.84 c | 1095330 | 357760 2569827 6101567 | 1 72161 268 | 2.233 % | 4135.93/4135.84 c | 1102967 | 357728 2569825 6101532 | 1 79792 425 | 2.242 % | 4135.93/4135.84 c | 1103173 | 357728 2569825 6101532 | 1 79998 435 | 2.242 % | 4135.93/4135.84 c | 1103274 | 357728 2569825 6101532 | 1 80099 438 | 2.242 % | 4135.93/4135.84 c | 1103516 | 357728 2569825 6101532 | 1 80341 441 | 2.242 % | 4135.93/4135.84 c | 1103775 | 357728 2569825 6101532 | 1 80600 448 | 2.242 % | 4135.93/4135.84 c | 1103876 | 357728 2569825 6101532 | 1 80701 451 | 2.242 % | 4135.93/4135.84 c | 1108575 | 357727 2569825 6101532 | 1 85399 621 | 2.242 % | 4135.93/4135.84 c | 1110550 | 357726 2569825 6101532 | 1 87373 650 | 2.242 % | 4135.93/4135.84 c | 1110652 | 357726 2569825 6101532 | 1 87475 651 | 2.242 % | 4135.93/4135.84 c | 1114025 | 357716 2569825 6101532 | 1 90845 688 | 2.245 % | 4135.93/4135.84 c | 1114125 | 357716 2569825 6101532 | 1 90945 688 | 2.245 % | 4135.93/4135.84 c | 1114780 | 357707 2569821 6101503 | 1 91595 696 | 2.248 % | 4135.93/4135.84 c | 1114882 | 357707 2569821 6101503 | 1 91697 697 | 2.248 % | 4135.93/4135.84 c | 1115618 | 357707 2569821 6101503 | 1 92433 708 | 2.248 % | 4135.93/4135.84 c | 1115718 | 357707 2569821 6101503 | 1 92533 708 | 2.248 % | 4135.93/4135.84 c | 1115900 | 357707 2569821 6101503 | 1 92715 710 | 2.248 % | 4135.93/4135.84 c | 1116001 | 357707 2569821 6101503 | 1 92816 709 | 2.248 % | 4135.93/4135.84 c | 1116101 | 357707 2569821 6101503 | 1 92916 709 | 2.248 % | 4135.93/4135.84 c | 1116302 | 357707 2569821 6101503 | 1 93117 715 | 2.248 % | 4135.93/4135.84 c | 1116560 | 357707 2569821 6101503 | 1 93375 717 | 2.248 % | 4135.93/4135.84 c | 1116663 | 357707 2569821 6101503 | 1 93478 719 | 2.248 % | 4135.93/4135.84 c | 1118120 | 357707 2569821 6101503 | 1 94935 741 | 2.248 % | 4135.93/4135.84 c | 1118221 | 357707 2569821 6101503 | 1 95036 742 | 2.248 % | 4135.93/4135.84 c | 1119133 | 357707 2569821 6101503 | 1 95948 750 | 2.248 % | 4135.93/4135.84 c | 1119233 | 357707 2569821 6101503 | 1 96048 750 | 2.248 % | 4135.93/4135.84 c | 1120109 | 357675 2569821 6101503 | 1 96923 770 | 2.256 % | 4135.93/4135.84 c | 1120261 | 357675 2569821 6101503 | 1 97075 771 | 2.256 % | 4135.93/4135.84 c | 1120361 | 357675 2569821 6101503 | 1 97175 771 | 2.256 % | 4135.93/4135.84 c | 1120817 | 357675 2569821 6101503 | 1 97631 784 | 2.256 % | 4135.93/4135.84 c | 1120917 | 357675 2569821 6101503 | 1 97731 785 | 2.256 % | 4135.93/4135.84 c | 1121225 | 357675 2569821 6101503 | 1 98039 793 | 2.256 % | 4135.93/4135.84 c | 1121325 | 357675 2569821 6101503 | 1 98139 795 | 2.256 % | 4135.93/4135.84 c | 1121425 | 357675 2569821 6101503 | 1 98239 795 | 2.256 % | 4135.93/4135.84 c | 1121604 | 357674 2569821 6101503 | 1 98417 798 | 2.257 % | 4135.93/4135.84 c | 1121705 | 357674 2569821 6101503 | 1 98518 800 | 2.257 % | 4135.93/4135.84 c | 1121806 | 357674 2569821 6101503 | 1 98619 801 | 2.257 % | 4135.93/4135.84 c | 1122341 | 357674 2569819 6101468 | 1 99150 805 | 2.257 % | 4135.93/4135.84 c | 1122443 | 357674 2569819 6101468 | 1 99252 805 | 2.257 % | 4135.93/4135.84 c | 1122543 | 357674 2569819 6101468 | 1 99352 805 | 2.257 % | 4135.93/4135.84 c | 1124257 | 357674 2569819 6101468 | 1 101066 823 | 2.257 % | 4135.93/4135.84 c | 1124357 | 357674 2569819 6101468 | 1 101166 824 | 2.257 % | 4135.93/4135.84 c | 1124458 | 357674 2569819 6101468 | 1 101267 824 | 2.257 % | 4135.93/4135.84 c | 1127689 | 357674 2569819 6101468 | 1 104498 878 | 2.257 % | 4135.93/4135.84 c | 1127881 | 357674 2569819 6101468 | 1 104690 880 | 2.257 % | 4135.93/4135.84 c | 1127982 | 357674 2569819 6101468 | 1 104791 883 | 2.257 % | 4135.93/4135.84 c | 1129811 | 357641 2569819 6101468 | 1 106619 897 | 2.266 % | 4135.93/4135.84 c | 1129991 | 357641 2569819 6101468 | 1 106799 896 | 2.266 % | 4135.93/4135.84 c | 1130361 | 357641 2569819 6101468 | 1 107169 902 | 2.266 % | 4348.34/4348.21 c | 1130463 | 357641 2569819 6101468 | 1 107271 903 | 2.266 % | 4348.34/4348.21 c | 1130564 | 357641 2569819 6101468 | 1 107372 904 | 2.266 % | 4348.34/4348.21 c | 1130665 | 357641 2569819 6101468 | 1 107473 904 | 2.266 % | 4348.34/4348.21 c | 1131380 | 357641 2569819 6101468 | 1 108188 909 | 2.266 % | 4348.34/4348.21 c | 1133830 | 357641 2569819 6101468 | 1 110638 956 | 2.266 % | 4348.34/4348.21 c | 1136769 | 357641 2569817 6101433 | 1 113573 974 | 2.266 % | 4348.34/4348.21 c | 1136869 | 357641 2569817 6101433 | 1 113673 974 | 2.266 % | 4348.34/4348.21 c | 1137009 | 357641 2569817 6101433 | 1 113813 976 | 2.266 % | 4348.34/4348.21 c | 1138897 | 357640 2569817 6101433 | 1 115700 986 | 2.266 % | 4348.34/4348.21 c | 1139994 | 357640 2569817 6101433 | 1 116797 999 | 2.266 % | 4348.34/4348.21 c | 1140166 | 357640 2569817 6101433 | 1 116969 1000 | 2.266 % | 4348.34/4348.21 c | 1140481 | 357640 2569817 6101433 | 1 117284 1008 | 2.266 % | 4348.34/4348.21 c | 1140582 | 357640 2569817 6101433 | 1 117385 1008 | 2.266 % | 4348.34/4348.21 c | 1140972 | 357639 2569817 6101433 | 1 117774 1007 | 2.266 % | 4348.34/4348.21 c | 1141072 | 357639 2569817 6101433 | 1 117874 1006 | 2.266 % | 4348.34/4348.21 c | 1147698 | 357639 2569817 6101433 | 1 124500 1166 | 2.266 % | 4348.34/4348.21 c | 1147801 | 357639 2569817 6101433 | 1 124602 1168 | 2.266 % | 4348.34/4348.21 c | 1147931 | 357639 2569817 6101433 | 1 124732 1168 | 2.266 % | 4348.34/4348.21 c | 1149479 | 357639 2569817 6101433 | 1 126280 1182 | 2.266 % | 4348.34/4348.21 c | 1149581 | 357639 2569817 6101433 | 1 126382 1181 | 2.266 % | 4348.34/4348.21 c | 1153108 | 357639 2569817 6101433 | 1 129909 1204 | 2.266 % | 4348.34/4348.21 c | 1153920 | 357639 2569817 6101433 | 1 130721 1210 | 2.266 % | 4348.34/4348.21 c | 1155451 | 357639 2569817 6101433 | 1 132252 1225 | 2.266 % | 4348.34/4348.21 c | 1155551 | 357639 2569817 6101433 | 1 132352 1225 | 2.266 % | 4348.34/4348.21 c | 1155659 | 357639 2569817 6101433 | 1 132460 1226 | 2.266 % | 4348.34/4348.21 c | 1155759 | 357639 2569817 6101433 | 1 132560 1226 | 2.266 % | 4348.34/4348.21 c | 1157124 | 357638 2569817 6101433 | 1 133924 1231 | 2.267 % | 4348.34/4348.21 c | 1157624 | 357637 2569817 6101433 | 1 134423 1234 | 2.267 % | 4348.34/4348.21 c | 1157724 | 357637 2569817 6101433 | 1 134523 1234 | 2.267 % | 4348.34/4348.21 c | 1157904 | 357637 2569817 6101433 | 1 134703 1236 | 2.267 % | 4348.34/4348.21 c | 1158004 | 357637 2569817 6101433 | 1 134803 1237 | 2.267 % | 4348.34/4348.21 c | 1158105 | 357637 2569817 6101433 | 1 134904 1237 | 2.267 % | 4348.34/4348.21 c | 1161293 | 357637 2569817 6101433 | 1 138092 1356 | 2.267 % | 4348.34/4348.21 c | 1161618 | 357637 2569817 6101433 | 1 138417 1359 | 2.267 % | 4348.34/4348.21 c | 1161718 | 357637 2569817 6101433 | 1 138517 1360 | 2.267 % | 4348.34/4348.21 c | 1162229 | 357637 2569817 6101433 | 1 139028 1362 | 2.267 % | 4348.34/4348.21 c | 1162329 | 357637 2569817 6101433 | 1 139128 1362 | 2.267 % | 4348.34/4348.21 c | 1164071 | 357637 2569817 6101433 | 1 140870 1380 | 2.267 % | 4348.34/4348.21 c | 1164171 | 357637 2569817 6101433 | 1 140970 1380 | 2.267 % | 4348.34/4348.21 c | 1164273 | 357637 2569817 6101433 | 1 141072 1380 | 2.267 % | 4348.34/4348.21 c | 1164394 | 357637 2569817 6101433 | 1 141193 1382 | 2.267 % | 4348.34/4348.21 c | 1164835 | 357637 2569817 6101433 | 1 141634 1381 | 2.267 % | 4348.34/4348.21 c | 1165575 | 357637 2569817 6101433 | 1 142374 1396 | 2.267 % | 4348.34/4348.21 c | 1165676 | 357637 2569817 6101433 | 1 142475 1397 | 2.267 % | 4348.34/4348.21 c | 1165837 | 357637 2569817 6101433 | 1 142636 1399 | 2.267 % | 4348.34/4348.21 c | 1170371 | 357637 2569817 6101433 | 1 147170 1416 | 2.267 % | 4348.34/4348.21 c | 1170473 | 357637 2569817 6101433 | 1 147272 1415 | 2.267 % | 4348.34/4348.21 c | 1171585 | 357637 2569817 6101433 | 1 148384 1420 | 2.267 % | 4348.34/4348.21 c | 1172850 | 357637 2569817 6101433 | 1 75452 285 | 2.267 % | 4348.34/4348.21 c | 1172950 | 357637 2569817 6101433 | 1 75552 287 | 2.267 % | 4470.84/4470.78 c | 1173727 | 357635 2569817 6101433 | 1 76327 298 | 2.267 % | 4470.84/4470.78 c | 1173827 | 357635 2569817 6101433 | 1 76427 299 | 2.267 % | 4470.84/4470.78 c | 1173931 | 357635 2569817 6101433 | 1 76531 299 | 2.267 % | 4470.84/4470.78 c | 1174174 | 357635 2569817 6101433 | 1 76774 308 | 2.267 % | 4470.84/4470.78 c | 1174348 | 357635 2569817 6101433 | 1 76948 311 | 2.267 % | 4470.84/4470.78 c | 1174450 | 357635 2569817 6101433 | 1 77050 313 | 2.267 % | 4470.84/4470.78 c | 1177976 | 357633 2569817 6101433 | 1 80574 384 | 2.268 % | 4470.84/4470.78 c | 1178611 | 357633 2569817 6101433 | 1 81209 403 | 2.268 % | 4470.84/4470.78 c | 1179765 | 357632 2569817 6101433 | 1 82362 419 | 2.268 % | 4470.84/4470.78 c | 1179866 | 357632 2569817 6101433 | 1 82463 420 | 2.268 % | 4470.84/4470.78 c | 1180204 | 357632 2569817 6101433 | 1 82801 424 | 2.268 % | 4470.84/4470.78 c | 1180304 | 357631 2569817 6101433 | 1 82900 426 | 2.268 % | 4470.84/4470.78 c | 1183506 | 357630 2569817 6101433 | 1 86101 485 | 2.269 % | 4470.84/4470.78 c | 1183606 | 357630 2569817 6101433 | 1 86201 486 | 2.269 % | 4470.84/4470.78 c | 1183707 | 357630 2569817 6101433 | 1 86302 487 | 2.269 % | 4470.84/4470.78 c | 1186097 | 357630 2569817 6101433 | 1 88692 528 | 2.269 % | 4470.84/4470.78 c | 1186668 | 357630 2569817 6101433 | 1 89259 542 | 2.269 % | 4470.84/4470.78 c | 1186768 | 357630 2569817 6101433 | 1 89359 544 | 2.269 % | 4470.84/4470.78 c | 1186868 | 357630 2569817 6101433 | 1 89459 547 | 2.269 % | 4470.84/4470.78 c | 1187127 | 357630 2569817 6101433 | 1 89718 553 | 2.269 % | 4470.84/4470.78 c | 1187234 | 357630 2569817 6101433 | 1 89825 553 | 2.269 % | 4470.84/4470.78 c | 1187337 | 357629 2569817 6101433 | 1 89927 554 | 2.269 % | 4470.84/4470.78 c | 1189543 | 357629 2569817 6101433 | 1 92133 573 | 2.269 % | 4470.84/4470.78 c | 1190224 | 357629 2569817 6101433 | 1 92814 588 | 2.269 % | 4470.84/4470.78 c | 1190326 | 357629 2569817 6101433 | 1 92916 591 | 2.269 % | 4470.84/4470.78 c | 1190486 | 357629 2569817 6101433 | 1 93076 593 | 2.269 % | 4470.84/4470.78 c | 1190590 | 357629 2569817 6101433 | 1 93180 597 | 2.269 % | 4470.84/4470.78 c | 1190841 | 357629 2569817 6101433 | 1 93431 601 | 2.269 % | 4470.84/4470.78 c | 1191015 | 357629 2569817 6101433 | 1 93605 603 | 2.269 % | 4470.84/4470.78 c | 1191117 | 357629 2569817 6101433 | 1 93707 604 | 2.269 % | 4470.84/4470.78 c | 1192711 | 357629 2569817 6101433 | 1 95301 631 | 2.269 % | 4470.84/4470.78 c | 1192811 | 357629 2569817 6101433 | 1 95401 631 | 2.269 % | 4470.84/4470.78 c | 1193368 | 357629 2569817 6101433 | 1 95958 631 | 2.269 % | 4470.84/4470.78 c | 1193468 | 357629 2569817 6101433 | 1 96058 631 | 2.269 % | 4470.84/4470.78 c | 1197903 | 357629 2569817 6101433 | 1 100493 682 | 2.269 % | 4470.84/4470.78 c | 1198623 | 357629 2569817 6101433 | 1 101213 690 | 2.269 % | 4470.84/4470.78 c | 1198911 | 357629 2569817 6101433 | 1 101501 702 | 2.269 % | 4470.84/4470.78 c | 1199025 | 357629 2569817 6101433 | 1 101615 703 | 2.269 % | 4470.84/4470.78 c | 1199889 | 357629 2569817 6101433 | 1 102479 712 | 2.269 % | 4470.84/4470.78 c | 1199991 | 357629 2569817 6101433 | 1 102581 712 | 2.269 % | 4470.84/4470.78 c | 1206725 | 357629 2569817 6101433 | 1 109315 814 | 2.269 % | 4470.84/4470.78 c | 1206955 | 357629 2569817 6101433 | 1 109545 816 | 2.269 % | 4470.84/4470.78 c | 1207540 | 357629 2569817 6101433 | 1 110130 822 | 2.269 % | 4470.84/4470.78 c | 1207688 | 357629 2569817 6101433 | 1 110278 823 | 2.269 % | 4470.84/4470.78 c | 1208711 | 357629 2569817 6101433 | 1 111301 838 | 2.269 % | 4470.84/4470.78 c | 1208811 | 357629 2569817 6101433 | 1 111401 840 | 2.269 % | 4470.84/4470.78 c | 1209144 | 357629 2569817 6101433 | 1 111734 845 | 2.269 % | 4470.84/4470.78 c | 1209245 | 357618 2569817 6101433 | 1 111834 845 | 2.272 % | 4470.84/4470.78 c | 1210137 | 357617 2569815 6101414 | 1 112723 862 | 2.272 % | 4470.84/4470.78 c | 1210450 | 357617 2569815 6101414 | 1 113036 865 | 2.272 % | 4681.45/4681.31 c | 1211225 | 357617 2569815 6101414 | 1 113811 872 | 2.272 % | 4681.45/4681.31 c | 1213358 | 357616 2569815 6101414 | 1 115943 898 | 2.273 % | 4681.45/4681.31 c | 1213458 | 357616 2569815 6101414 | 1 116043 898 | 2.273 % | 4681.45/4681.31 c | 1214691 | 357615 2569815 6101414 | 1 117275 903 | 2.273 % | 4681.45/4681.31 c | 1214853 | 357615 2569815 6101414 | 1 117437 905 | 2.273 % | 4681.45/4681.31 c | 1215648 | 357615 2569815 6101414 | 1 118232 915 | 2.273 % | 4681.45/4681.31 c | 1220921 | 357615 2569815 6101414 | 1 123505 954 | 2.273 % | 4681.45/4681.31 c | 1222613 | 357615 2569815 6101414 | 1 125194 975 | 2.273 % | 4681.45/4681.31 c | 1222713 | 357615 2569815 6101414 | 1 125294 976 | 2.273 % | 4681.45/4681.31 c | 1222814 | 357615 2569815 6101414 | 1 125395 977 | 2.273 % | 4681.45/4681.31 c | 1222914 | 357615 2569815 6101414 | 1 125495 977 | 2.273 % | 4681.45/4681.31 c | 1223098 | 357615 2569815 6101414 | 1 125679 978 | 2.273 % | 4681.45/4681.31 c | 1223445 | 357615 2569815 6101414 | 1 126026 977 | 2.273 % | 4681.45/4681.31 c | 1223547 | 357615 2569815 6101414 | 1 126128 977 | 2.273 % | 4681.45/4681.31 c | 1230560 | 357615 2569815 6101414 | 1 133141 1019 | 2.273 % | 4681.45/4681.31 c | 1230660 | 357615 2569815 6101414 | 1 133241 1018 | 2.273 % | 4681.45/4681.31 c | 1232628 | 357615 2569815 6101414 | 1 135209 1047 | 2.273 % | 4681.45/4681.31 c | 1234549 | 357614 2569815 6101414 | 1 137127 1068 | 2.273 % | 4681.45/4681.31 c | 1234724 | 357614 2569815 6101414 | 1 137302 1069 | 2.273 % | 4681.45/4681.31 c | 1235534 | 357614 2569815 6101414 | 1 138112 1074 | 2.273 % | 4681.45/4681.31 c | 1235639 | 357614 2569815 6101414 | 1 138217 1075 | 2.273 % | 4681.45/4681.31 c | 1235740 | 357614 2569815 6101414 | 1 138318 1076 | 2.273 % | 4681.45/4681.31 c | 1236185 | 357614 2569815 6101414 | 1 138763 1077 | 2.273 % | 4681.45/4681.31 c | 1236287 | 357614 2569815 6101414 | 1 138865 1078 | 2.273 % | 4681.45/4681.31 c | 1236560 | 357614 2569815 6101414 | 1 139138 1079 | 2.273 % | 4681.45/4681.31 c | 1236692 | 357614 2569815 6101414 | 1 139270 1084 | 2.273 % | 4681.45/4681.31 c | 1236794 | 357614 2569815 6101414 | 1 139372 1083 | 2.273 % | 4681.45/4681.31 c | 1237704 | 357613 2569815 6101414 | 1 140281 1087 | 2.273 % | 4681.45/4681.31 c | 1240596 | 357613 2569815 6101414 | 1 143173 1104 | 2.273 % | 4681.45/4681.31 c | 1241307 | 357613 2569815 6101414 | 1 143884 1108 | 2.273 % | 4681.45/4681.31 c | 1246327 | 357611 2569815 6101414 | 1 148902 1142 | 2.274 % | 4681.45/4681.31 c | 1246428 | 357611 2569815 6101414 | 1 149003 1143 | 2.274 % | 4681.45/4681.31 c | 1246942 | 357611 2569815 6101414 | 1 149517 1154 | 2.274 % | 4681.45/4681.31 c | 1247331 | 357611 2569815 6101414 | 1 149906 1156 | 2.274 % | 4681.45/4681.31 c | 1249088 | 357611 2569815 6101414 | 1 151663 1171 | 2.274 % | 4681.45/4681.31 c | 1249188 | 357611 2569815 6101414 | 1 151763 1171 | 2.274 % | 4681.45/4681.31 c | 1249290 | 357611 2569815 6101414 | 1 151865 1170 | 2.274 % | 4681.45/4681.31 c | 1249390 | 357611 2569815 6101414 | 1 151963 1170 | 2.274 % | 4681.45/4681.31 c | 1249857 | 357610 2569815 6101414 | 1 152429 1171 | 2.274 % | 4681.45/4681.31 c | 1256198 | 357610 2569815 6101414 | 1 82059 418 | 2.274 % | 4681.45/4681.31 c | 1256301 | 357610 2569815 6101414 | 1 82162 424 | 2.274 % | 4681.45/4681.31 c | 1256402 | 357610 2569815 6101414 | 1 82263 425 | 2.274 % | 4681.45/4681.31 c | 1257767 | 357610 2569815 6101414 | 1 83628 483 | 2.274 % | 4681.45/4681.31 c | 1257983 | 357579 2569815 6101414 | 1 83843 486 | 2.283 % | 4681.45/4681.31 c | 1269372 | 357579 2569815 6101414 | 1 95232 713 | 2.283 % | 4681.45/4681.31 c | 1269473 | 357579 2569813 6101379 | 1 95332 713 | 2.283 % | 4681.45/4681.31 c | 1270639 | 357579 2569813 6101379 | 1 96498 737 | 2.283 % | 4681.45/4681.31 c | 1270739 | 357578 2569813 6101379 | 1 96597 739 | 2.283 % | 4681.45/4681.31 c | 1271172 | 357578 2569813 6101379 | 1 97030 747 | 2.283 % | 4871.46/4871.32 c | 1271564 | 357578 2569813 6101379 | 1 97422 751 | 2.283 % | 4871.46/4871.32 c | 1271666 | 357578 2569813 6101379 | 1 97524 752 | 2.283 % | 4871.46/4871.32 c | 1272264 | 357578 2569813 6101379 | 1 98122 761 | 2.283 % | 4871.46/4871.32 c | 1275208 | 357576 2569813 6101379 | 1 101064 779 | 2.283 % | 4871.46/4871.32 c | 1285856 | 357576 2569813 6101379 | 1 111712 1046 | 2.283 % | 4871.46/4871.32 c | 1285957 | 357576 2569813 6101379 | 1 111811 1047 | 2.283 % | 4871.46/4871.32 c | 1286178 | 357576 2569813 6101379 | 1 112032 1048 | 2.283 % | 4871.46/4871.32 c | 1286285 | 357576 2569813 6101379 | 1 112139 1049 | 2.283 % | 4871.46/4871.32 c | 1289332 | 357575 2569813 6101379 | 1 115185 1076 | 2.284 % | 4871.46/4871.32 c | 1289434 | 357575 2569813 6101379 | 1 115287 1076 | 2.284 % | 4871.46/4871.32 c | 1293919 | 357571 2569813 6101379 | 1 119768 1123 | 2.285 % | 4871.46/4871.32 c | 1294019 | 357571 2569813 6101379 | 1 119868 1123 | 2.285 % | 4871.46/4871.32 c | 1294243 | 357570 2569813 6101379 | 1 120091 1124 | 2.285 % | 4871.46/4871.32 c | 1294343 | 357570 2569813 6101379 | 1 120191 1124 | 2.285 % | 4871.46/4871.32 c | 1296558 | 357568 2569813 6101379 | 1 122404 1152 | 2.286 % | 4871.46/4871.32 c | 1296681 | 357568 2569813 6101379 | 1 122527 1153 | 2.286 % | 4871.46/4871.32 c | 1296943 | 357568 2569813 6101379 | 1 122789 1153 | 2.286 % | 4871.46/4871.32 c | 1299077 | 357568 2569813 6101379 | 1 124923 1167 | 2.286 % | 4871.46/4871.32 c | 1299177 | 357568 2569813 6101379 | 1 125022 1169 | 2.286 % | 4871.46/4871.32 c | 1299278 | 357568 2569813 6101379 | 1 125123 1169 | 2.286 % | 4871.46/4871.32 c | 1299379 | 357568 2569813 6101379 | 1 125224 1170 | 2.286 % | 4871.46/4871.32 c | 1300297 | 357567 2569813 6101379 | 1 126141 1177 | 2.286 % | 4871.46/4871.32 c | 1300397 | 357567 2569813 6101379 | 1 126241 1178 | 2.286 % | 4871.46/4871.32 c | 1302809 | 357567 2569813 6101379 | 1 128653 1193 | 2.286 % | 4871.46/4871.32 c | 1304635 | 357567 2569813 6101379 | 1 130479 1195 | 2.286 % | 4871.46/4871.32 c | 1304735 | 357566 2569813 6101379 | 1 130578 1194 | 2.286 % | 4871.46/4871.32 c | 1305107 | 357566 2569813 6101379 | 1 130950 1196 | 2.286 % | 4871.46/4871.32 c | 1305207 | 357566 2569813 6101379 | 1 131050 1196 | 2.286 % | 4871.46/4871.32 c | 1305601 | 357566 2569813 6101379 | 1 131444 1199 | 2.286 % | 4871.46/4871.32 c | 1305701 | 357566 2569813 6101379 | 1 131544 1199 | 2.286 % | 4871.46/4871.32 c | 1305802 | 357566 2569813 6101379 | 1 131645 1201 | 2.286 % | 4871.46/4871.32 c | 1305903 | 357566 2569813 6101379 | 1 131746 1201 | 2.286 % | 4871.46/4871.32 c | 1306853 | 357566 2569813 6101379 | 1 132696 1205 | 2.286 % | 4871.46/4871.32 c | 1307035 | 357566 2569813 6101379 | 1 132878 1206 | 2.286 % | 4871.46/4871.32 c | 1307630 | 357566 2569813 6101379 | 1 133473 1215 | 2.286 % | 4871.46/4871.32 c | 1307821 | 357566 2569813 6101379 | 1 133664 1215 | 2.286 % | 4871.46/4871.32 c | 1308550 | 357566 2569813 6101379 | 1 134393 1222 | 2.286 % | 4871.46/4871.32 c | 1308650 | 357566 2569813 6101379 | 1 134493 1223 | 2.286 % | 4871.46/4871.32 c | 1308750 | 357566 2569813 6101379 | 1 134593 1223 | 2.286 % | 4871.46/4871.32 c | 1309588 | 357564 2569813 6101379 | 1 135429 1223 | 2.287 % | 4871.46/4871.32 c | 1309899 | 357564 2569813 6101379 | 1 135740 1228 | 2.287 % | 4871.46/4871.32 c | 1309999 | 357564 2569813 6101379 | 1 135840 1229 | 2.287 % | 4871.46/4871.32 c | 1310201 | 357564 2569813 6101379 | 1 136042 1229 | 2.287 % | 4871.46/4871.32 c | 1310301 | 357564 2569813 6101379 | 1 136142 1229 | 2.287 % | 4871.46/4871.32 c | 1312842 | 357564 2569813 6101379 | 1 138683 1264 | 2.287 % | 4871.46/4871.32 c | 1313174 | 357564 2569813 6101379 | 1 139012 1267 | 2.287 % | 4871.46/4871.32 c | 1313565 | 357564 2569813 6101379 | 1 139403 1266 | 2.287 % | 4871.46/4871.32 c | 1317643 | 357564 2569813 6101379 | 1 143481 1307 | 2.287 % | 4871.46/4871.32 c | 1317745 | 357564 2569813 6101379 | 1 143583 1306 | 2.287 % | 4871.46/4871.32 c | 1317941 | 357563 2569813 6101379 | 1 143778 1308 | 2.287 % | 4973.65/4973.56 c | 1318042 | 357563 2569813 6101379 | 1 143879 1308 | 2.287 % | 4973.65/4973.56 c | 1318522 | 357563 2569813 6101379 | 1 144359 1311 | 2.287 % | 4973.65/4973.56 c | 1318666 | 357563 2569813 6101379 | 1 144503 1312 | 2.287 % | 4973.65/4973.56 c | 1318939 | 357563 2569813 6101379 | 1 144776 1313 | 2.287 % | 4973.65/4973.56 c | 1319042 | 357563 2569813 6101379 | 1 144879 1313 | 2.287 % | 4973.65/4973.56 c | 1319142 | 357563 2569813 6101379 | 1 144979 1312 | 2.287 % | 4973.65/4973.56 c | 1326555 | 357559 2569813 6101379 | 1 152388 1346 | 2.288 % | 4973.65/4973.56 c | 1326660 | 357559 2569813 6101379 | 1 152493 1347 | 2.288 % | 4973.65/4973.56 c | 1326762 | 357559 2569813 6101379 | 1 152595 1348 | 2.288 % | 4973.65/4973.56 c | 1326862 | 357559 2569813 6101379 | 1 152695 1348 | 2.288 % | 4973.65/4973.56 c | 1329146 | 357559 2569813 6101379 | 1 154979 1353 | 2.288 % | 4973.65/4973.56 c | 1329258 | 357559 2569813 6101379 | 1 155091 1354 | 2.288 % | 4973.65/4973.56 c | 1329468 | 357559 2569813 6101379 | 1 155301 1354 | 2.288 % | 4973.65/4973.56 c | 1330157 | 357559 2569813 6101379 | 1 155990 1355 | 2.288 % | 4973.65/4973.56 c | 1330258 | 357559 2569813 6101379 | 1 156091 1355 | 2.288 % | 4973.65/4973.56 c | 1330359 | 357559 2569813 6101379 | 1 156192 1354 | 2.288 % | 4973.65/4973.56 c | 1330481 | 357559 2569813 6101379 | 1 156314 1355 | 2.288 % | 4973.65/4973.56 c | 1332308 | 357559 2569813 6101379 | 1 158141 1363 | 2.288 % | 4973.65/4973.56 c | 1334477 | 357559 2569813 6101379 | 1 80950 279 | 2.288 % | 4973.65/4973.56 c | 1334577 | 357559 2569813 6101379 | 1 81050 279 | 2.288 % | 4973.65/4973.56 c | 1334846 | 357559 2569813 6101379 | 1 81319 284 | 2.288 % | 4973.65/4973.56 c | 1334949 | 357559 2569813 6101379 | 1 81422 291 | 2.288 % | 4973.65/4973.56 c | 1335050 | 357559 2569813 6101379 | 1 81523 292 | 2.288 % | 4973.65/4973.56 c | 1335151 | 357559 2569813 6101379 | 1 81624 294 | 2.288 % | 4973.65/4973.56 c | 1335251 | 357559 2569813 6101379 | 1 81724 296 | 2.288 % | 4973.65/4973.56 c | 1335355 | 357559 2569813 6101379 | 1 81828 297 | 2.288 % | 4973.65/4973.56 c | 1337534 | 357559 2569813 6101379 | 1 84007 349 | 2.288 % | 4973.65/4973.56 c | 1337636 | 357559 2569813 6101379 | 1 84109 349 | 2.288 % | 4973.65/4973.56 c | 1339686 | 357559 2569813 6101379 | 1 86159 441 | 2.288 % | 4973.65/4973.56 c | 1339853 | 357559 2569813 6101379 | 1 86326 443 | 2.288 % | 4973.65/4973.56 c | 1339954 | 357559 2569813 6101379 | 1 86427 442 | 2.288 % | 4973.65/4973.56 c | 1341269 | 357557 2569813 6101379 | 1 87740 462 | 2.289 % | 4973.65/4973.56 c | 1341369 | 357557 2569813 6101379 | 1 87840 463 | 2.289 % | 4973.65/4973.56 c | 1341920 | 357557 2569813 6101379 | 1 88391 467 | 2.289 % | 4973.65/4973.56 c | 1342189 | 357556 2569813 6101379 | 1 88659 470 | 2.289 % | 4973.65/4973.56 c | 1342289 | 357556 2569813 6101379 | 1 88759 470 | 2.289 % | 4973.65/4973.56 c | 1343242 | 357556 2569813 6101379 | 1 89712 493 | 2.289 % | 4973.65/4973.56 c | 1343375 | 357556 2569813 6101379 | 1 89845 494 | 2.289 % | 4973.65/4973.56 c | 1343475 | 357556 2569813 6101379 | 1 89945 494 | 2.289 % | 4973.65/4973.56 c | 1343576 | 357556 2569813 6101379 | 1 90046 494 | 2.289 % | 4973.65/4973.56 c | 1345130 | 357556 2569813 6101379 | 1 91600 522 | 2.289 % | 4973.65/4973.56 c | 1345231 | 357556 2569813 6101379 | 1 91701 522 | 2.289 % | 4973.65/4973.56 c | 1345532 | 357556 2569813 6101379 | 1 92002 530 | 2.289 % | 4973.65/4973.56 c | 1345730 | 357556 2569813 6101379 | 1 92200 531 | 2.289 % | 4973.65/4973.56 c | 1345831 | 357556 2569813 6101379 | 1 92301 532 | 2.289 % | 4973.65/4973.56 c | 1346948 | 357556 2569813 6101379 | 1 93418 547 | 2.289 % | 4973.65/4973.56 c | 1349466 | 357556 2569813 6101379 | 1 95936 626 | 2.289 % | 4973.65/4973.56 c | 1349567 | 357556 2569813 6101379 | 1 96037 625 | 2.289 % | 4973.65/4973.56 c | 1349668 | 357556 2569813 6101379 | 1 96138 625 | 2.289 % | 4973.65/4973.56 c | 1349771 | 357556 2569813 6101379 | 1 96241 624 | 2
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303859-1303904349/watcher-3303859-1303904349 -o /tmp/evaluation-result-3303859-1303904349/solver-3303859-1303904349 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303859-1303904349.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.95 2.00 1.93 2/178 5057 /proc/meminfo: memFree=15161848/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 482850797 8912896 252 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/5057/statm: 2176 252 211 178 0 69 0 [startup+0.0926739 s] /proc/loadavg: 1.95 2.00 1.93 2/178 5057 /proc/meminfo: memFree=15161848/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 482850797 8912896 252 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/5057/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100657 s] /proc/loadavg: 1.95 2.00 1.93 2/178 5057 /proc/meminfo: memFree=15161848/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 482850797 8912896 252 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/5057/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300622 s] /proc/loadavg: 1.95 2.00 1.93 2/178 5057 /proc/meminfo: memFree=15161848/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 482850797 8912896 252 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/5057/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700547 s] /proc/loadavg: 1.95 2.00 1.93 2/178 5057 /proc/meminfo: memFree=15161848/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 482850797 8912896 252 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/5057/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50039 s] /proc/loadavg: 1.95 2.00 1.93 3/180 5059 /proc/meminfo: memFree=14952528/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 482850797 8912896 252 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/5057/statm: 2176 252 211 178 0 69 0 [pid=5058] ppid=5057 vsize=342812 CPUtime=1.49 cores=1,3,5,7 /proc/5058/stat : 5058 (SatELite_releas) R 5057 5057 4747 0 -1 4202496 74601 0 0 0 130 19 0 0 25 0 1 0 482850797 351039488 74556 33554432000 134512640 135144242 4293392096 18446744073709551615 134546183 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/5058/statm: 85703 74556 71 155 0 85546 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 351516 [startup+3.1011 s] /proc/loadavg: 1.95 2.00 1.93 3/180 5059 /proc/meminfo: memFree=14813776/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 482850797 8912896 252 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/5057/statm: 2176 252 211 178 0 69 0 [pid=5058] ppid=5057 vsize=439068 CPUtime=3.09 cores=1,3,5,7 /proc/5058/stat : 5058 (SatELite_releas) R 5057 5057 4747 0 -1 4202496 121455 0 0 0 283 26 0 0 25 0 1 0 482850797 449605632 92790 33554432000 134512640 135144242 4293392096 18446744073709551615 134588264 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/5058/statm: 109767 92790 77 155 0 109610 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 447772 [startup+6.30049 s] /proc/loadavg: 1.95 2.00 1.93 3/180 5060 /proc/meminfo: memFree=14947892/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=186152 CPUtime=1.85 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 43448 0 0 0 179 6 0 0 25 0 1 0 482851241 190619648 39487 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/5060/statm: 46538 39487 239 17 0 43179 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 194856 [startup+12.7003 s] /proc/loadavg: 1.95 2.00 1.93 3/180 5060 /proc/meminfo: memFree=14914500/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=217876 CPUtime=8.25 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 45759 0 0 0 819 6 0 0 25 0 1 0 482851241 223105024 41798 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/5060/statm: 54469 41798 249 17 0 51110 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 226580 [startup+25.5009 s] /proc/loadavg: 1.96 2.00 1.93 3/180 5061 /proc/meminfo: memFree=14889924/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=222012 CPUtime=21.05 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 69999 0 0 0 2096 9 0 0 25 0 1 0 482851241 227340288 42714 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209264 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/5060/statm: 55503 42714 250 17 0 52144 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 230716 [startup+51.101 s] /proc/loadavg: 1.97 2.00 1.93 3/180 5061 /proc/meminfo: memFree=14875164/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=275960 CPUtime=46.65 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 109295 0 0 0 4650 15 0 0 25 0 1 0 482851241 282583040 53909 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/5060/statm: 68990 53909 251 17 0 65631 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 284664 [startup+102.306 s] /proc/loadavg: 1.99 2.00 1.93 3/180 5063 /proc/meminfo: memFree=14863144/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=229612 CPUtime=97.86 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 182709 0 0 0 9759 27 0 0 25 0 1 0 482851241 235122688 46334 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209318 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/5060/statm: 57403 46334 251 17 0 54044 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 238316 [startup+162.301 s] /proc/loadavg: 2.05 2.01 1.94 3/180 5064 /proc/meminfo: memFree=14803332/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=282376 CPUtime=157.86 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 239501 0 0 0 15750 36 0 0 25 0 1 0 482851241 289153024 55872 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/5060/statm: 70594 55872 251 17 0 67235 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 291080 [startup+222.301 s] /proc/loadavg: 2.02 2.01 1.94 3/180 5066 /proc/meminfo: memFree=14790492/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=283280 CPUtime=217.86 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 307010 0 0 0 21738 48 0 0 25 0 1 0 482851241 290078720 58371 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209896 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5060/statm: 70820 58371 251 17 0 67461 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 291984 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 5068 /proc/meminfo: memFree=14642648/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=499820 CPUtime=277.86 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 344427 0 0 0 27732 54 0 0 25 0 1 0 482851241 511815680 95777 33554432000 4194304 4260849 140735541391744 18446744073709551615 4224484 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5060/statm: 124955 95777 251 17 0 121596 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 508524 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.94 3/180 5069 /proc/meminfo: memFree=14679540/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=499820 CPUtime=337.86 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 401427 0 0 0 33720 66 0 0 25 0 1 0 482851241 511815680 86316 33554432000 4194304 4260849 140735541391744 18446744073709551615 4226677 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5060/statm: 124955 86316 251 17 0 121596 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 508524 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.94 3/180 5101 /proc/meminfo: memFree=14848164/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 ################ # More data... # ################ /proc/5060/statm: 100086 82316 251 17 0 96727 0 Current children cumulated CPU time (s) 4362.44 Current children cumulated vsize (KiB) 409048 [startup+4422.3 s] /proc/loadavg: 2.00 2.00 1.99 3/180 5220 /proc/meminfo: memFree=14447552/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=533852 CPUtime=4418.01 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 3541970 0 0 0 441156 645 0 0 25 0 1 0 482851241 546664448 123989 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209356 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5060/statm: 133463 123989 251 17 0 130104 0 Current children cumulated CPU time (s) 4422.44 Current children cumulated vsize (KiB) 542556 [startup+4482.3 s] /proc/loadavg: 2.00 2.00 1.99 3/180 5222 /proc/meminfo: memFree=14320172/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=748776 CPUtime=4478.01 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 3571728 0 0 0 447149 652 0 0 25 0 1 0 482851241 766746624 153733 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209356 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5060/statm: 187194 153733 251 17 0 183835 0 Current children cumulated CPU time (s) 4482.44 Current children cumulated vsize (KiB) 757480 [startup+4542.3 s] /proc/loadavg: 2.00 2.00 1.99 3/180 5223 /proc/meminfo: memFree=14157308/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=1098024 CPUtime=4538.01 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 3609977 0 0 0 453142 659 0 0 25 0 1 0 482851241 1124376576 191960 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5060/statm: 274506 191960 251 17 0 271147 0 Current children cumulated CPU time (s) 4542.44 Current children cumulated vsize (KiB) 1106728 [startup+4602.3 s] /proc/loadavg: 2.07 2.02 1.99 3/180 5225 /proc/meminfo: memFree=14080516/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=1098024 CPUtime=4598.02 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 3642461 0 0 0 459136 666 0 0 25 0 1 0 482851241 1124376576 224431 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209338 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5060/statm: 274506 224431 251 17 0 271147 0 Current children cumulated CPU time (s) 4602.45 Current children cumulated vsize (KiB) 1106728 [startup+4662.3 s] /proc/loadavg: 2.07 2.03 2.00 3/180 5226 /proc/meminfo: memFree=14539280/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=533852 CPUtime=4658.01 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 3716343 0 0 0 465123 678 0 0 25 0 1 0 482851241 546664448 108039 33554432000 4194304 4260849 140735541391744 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5060/statm: 133463 108039 251 17 0 130104 0 Current children cumulated CPU time (s) 4662.44 Current children cumulated vsize (KiB) 542556 [startup+4722.31 s] /proc/loadavg: 2.02 2.02 2.00 3/180 5228 /proc/meminfo: memFree=14361940/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=750128 CPUtime=4718.02 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 3757768 0 0 0 471118 684 0 0 25 0 1 0 482851241 768131072 149447 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5060/statm: 187532 149447 251 17 0 184173 0 Current children cumulated CPU time (s) 4722.45 Current children cumulated vsize (KiB) 758832 [startup+4782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/180 5230 /proc/meminfo: memFree=14199112/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=1099376 CPUtime=4778.02 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 3795673 0 0 0 477111 691 0 0 25 0 1 0 482851241 1125761024 187343 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209259 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5060/statm: 274844 187343 251 17 0 271485 0 Current children cumulated CPU time (s) 4782.45 Current children cumulated vsize (KiB) 1108080 [startup+4842.3 s] /proc/loadavg: 2.00 2.01 2.00 3/180 5231 /proc/meminfo: memFree=14037516/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=1099376 CPUtime=4838.02 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 3833566 0 0 0 483104 698 0 0 25 0 1 0 482851241 1125761024 225214 33554432000 4194304 4260849 140735541391744 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5060/statm: 274844 225214 251 17 0 271485 0 Current children cumulated CPU time (s) 4842.45 Current children cumulated vsize (KiB) 1108080 [startup+4902.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 5233 /proc/meminfo: memFree=13903932/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=1099376 CPUtime=4898.03 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 3865272 0 0 0 489099 704 0 0 25 0 1 0 482851241 1125761024 256901 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209295 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5060/statm: 274844 256901 251 17 0 271485 0 Current children cumulated CPU time (s) 4902.46 Current children cumulated vsize (KiB) 1108080 [startup+4962.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 5243 /proc/meminfo: memFree=14518392/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=536420 CPUtime=4958.03 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 3934905 0 0 0 495086 717 0 0 25 0 1 0 482851241 549294080 100558 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5060/statm: 134105 100558 251 17 0 130746 0 Current children cumulated CPU time (s) 4962.46 Current children cumulated vsize (KiB) 545124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.00 2.00 2.00 3/180 5244 /proc/meminfo: memFree=14413340/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=536420 CPUtime=4995.63 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 3959561 0 0 0 498841 722 0 0 25 0 1 0 482851241 549294080 125203 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5060/statm: 134105 125203 251 17 0 130746 0 Current children cumulated CPU time (s) 5000.06 Current children cumulated vsize (KiB) 545124 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+4999.9 s] /proc/loadavg: 2.00 2.00 2.00 3/180 5244 /proc/meminfo: memFree=14413340/32951124 swapFree=67111528/67111528 [pid=5057] ppid=5055 vsize=8704 CPUtime=4.43 cores=1,3,5,7 /proc/5057/stat : 5057 (glucose.sh) S 5055 5057 4747 0 -1 4202496 360 153237 0 0 0 0 405 38 18 0 1 0 482850797 8912896 254 33554432000 4194304 4922060 140737182088656 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5057/statm: 2176 254 211 178 0 69 0 [pid=5060] ppid=5057 vsize=536420 CPUtime=4995.63 cores=1,3,5,7 /proc/5060/stat : 5060 (glucose_static) R 5057 5057 4747 0 -1 4202496 3959561 0 0 0 498841 722 0 0 25 0 1 0 482851241 549294080 125203 33554432000 4194304 4260849 140735541391744 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5060/statm: 134105 125203 251 17 0 130746 0 Current children cumulated CPU time (s) 5000.06 Current children cumulated vsize (KiB) 545124 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 5057 and gives # childrusage.ru_utime.tv_sec=4 # childrusage.ru_utime.tv_usec=52383 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=387941 # CPU time returned by wait4() is 4.44032 # while last known CPU time is 5000.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.91 CPU time (s): 5000.06 CPU user time (s): 4992.46 CPU system time (s): 7.6 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1239524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.05238 system time used= 0.387941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 153597 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= 8 involuntary context switches= 7 runsolver used 8.5517 second user time and 18.2122 second system time The end
Begin job on node141 at 2011-04-27 13:39:12 IDJOB=3303859 IDBENCH=82387 IDSOLVER=1687 FILE ID=node141/3303859-1303904349 RUNJOBID= node141-1303899330-4766 PBS_JOBID= 13164507 Free space on /tmp= 71372 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303859-1303904349/watcher-3303859-1303904349 -o /tmp/evaluation-result-3303859-1303904349/solver-3303859-1303904349 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303859-1303904349.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5d1253e2dcc0e3e55992672756beadbc RANDOM SEED=203105408 node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5362.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 15161880 kB Buffers: 1616504 kB Cached: 15467340 kB SwapCached: 0 kB Active: 7777440 kB Inactive: 9426832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 15161880 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 119356 kB Writeback: 0 kB AnonPages: 119780 kB Mapped: 15212 kB Slab: 520752 kB PageTables: 4964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 277076 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 71340 MiB End job on node141 at 2011-04-27 15:02:34