Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
sathys 2011-04-01 | ? (TO) | 5000.08 | 5000.03 |
Name | crafted/mosoi/289/ 289-unsat-5x41.cnf |
MD5SUM | 420773b7b438dd18c8a88a15fb5bcae1 |
Bench Category | CRAFTED (crafted instances) |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 820 |
Number of clauses | 34235 |
Sum of the clauses size | 134480 |
Maximum clause length | 4 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 1230 |
Number of clauses of size 3 | 0 |
Number of clauses of size 4 | 33005 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
0.00/0.00 static 0.00/0.00 HOME/instance-3438740-1306894700.cnf 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 34235 134480 | 10270 0 0 nan | 0.000 % | 0.00/0.25 c | 0 | 33415 198030 | -- 0 -- -- | -- | -820/63550 0.00/0.25 c ============================================================================== 0.00/0.25 c Result : #vars: 615 #clauses: 33415 #literals: 198030 0.00/0.25 c CPU time: 0.246962 s 0.00/0.25 c ============================================================================== 0.27/0.32 c 0.27/0.32 c seed = 0, numatom = 615, numclause = 32800, numliterals = 198030 0.27/0.32 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.27/0.32 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.27/0.32 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.27/0.34 c | 2 | 0.0 | 0 | 506 | 197 | 1 | 7633 | 1989 || 2 | 1347 | 1/ 1 | 261 | 0 | 0.27/0.36 c | 4 | 0.0 | 0 | 756 | 289 | 2 | 15534 | 3778 || 4 | 2487 | 1/ 1 | 572 | 0 | 0.27/0.38 c | 6 | 0.0 | 0 | 964 | 173 | 3 | 24219 | 5772 || 6 | 3631 | 1/ 1 | 890 | 0 | 0.27/0.40 c | 7 | 0.0 | 0 | 1208 | 370 | 4 | 35546 | 7563 || 7 | 5101 | 1/ 1 | 1306 | 0 | 0.27/0.43 c | 11 | 0.0 | 0 | 1409 | 266 | 5 | 47908 | 10542 || 11 | 6977 | 1/ 1 | 1819 | 0 | 0.27/0.46 c | 14 | 0.0 | 0 | 1665 | 455 | 6 | 63522 | 13450 || 14 | 9582 | 1/ 1 | 2541 | 0 | 0.27/0.50 c | 15 | 0.0 | 0 | 1987 | 957 | 7 | 81903 | 15537 || 15 | 12402 | 1/ 1 | 3367 | 0 | 0.27/0.53 c | 16 | 0.0 | 0 | 2061 | 46 | 8 | 100356 | 18470 || 16 | 13419 | 1/ 1 | 3479 | 0 | 0.27/0.57 c | 21 | 0.0 | 0 | 2158 | 16 | 9 | 116993 | 22252 || 21 | 16033 | 1/ 1 | 4207 | 0 | 0.27/0.60 c | 24 | 0.0 | 0 | 2351 | 96 | 10 | 135398 | 25781 || 24 | 18209 | 1/ 1 | 4826 | 0 | 0.27/0.65 c | 29 | 0.0 | 0 | 2605 | 491 | 11 | 155620 | 30073 || 29 | 21648 | 1/ 1 | 5863 | 0 | 0.27/0.70 c | 30 | 0.0 | 0 | 2851 | 281 | 12 | 177308 | 33392 || 30 | 24415 | 1/ 1 | 6688 | 0 | 0.27/0.77 c | 31 | 0.1 | 0 | 3096 | 1984 | 13 | 207445 | 36062 || 31 | 28715 | 1/ 1 | 8327 | 0 | 0.27/0.81 c | 31 | 0.1 | 0 | 3247 | 1379 | 14 | 237063 | 38863 || 31 | 29614 | 1/ 1 | 8341 | 0 | 0.27/0.88 c | 38 | 0.1 | 0 | 3202 | 263 | 15 | 263276 | 44524 || 38 | 33451 | 1/ 1 | 9583 | 0 | 0.27/0.93 c | 44 | 0.1 | 0 | 3221 | 143 | 16 | 288180 | 50021 || 44 | 36725 | 1/ 1 | 10417 | 0 | 0.27/1.01 c | 46 | 0.1 | 0 | 3430 | 140 | 17 | 317990 | 54501 || 46 | 41229 | 1/ 1 | 11659 | 0 | 0.99/1.06 c | 52 | 0.1 | 0 | 3590 | 119 | 18 | 348943 | 60935 || 52 | 44285 | 1/ 1 | 12495 | 0 | 1.10/1.13 c | 59 | 0.1 | 0 | 3852 | 294 | 19 | 378703 | 67500 || 59 | 48825 | 1/ 1 | 13743 | 0 | 1.10/1.19 c | 61 | 0.1 | 0 | 4274 | 593 | 20 | 410423 | 72370 || 61 | 52782 | 1/ 1 | 14979 | 0 | 1.18/1.29 c | 62 | 0.1 | 0 | 4688 | 691 | 21 | 446092 | 76154 || 62 | 57822 | 1/ 1 | 16619 | 0 | 1.38/1.40 c | 63 | 0.1 | 0 | 4595 | 3296 | 22 | 484163 | 79616 || 63 | 64708 | 1/ 1 | 19873 | 0 | 1.48/1.50 c | 63 | 0.1 | 0 | 4652 | 1193 | 23 | 524890 | 83487 || 63 | 67920 | 1/ 1 | 19893 | 0 | 1.48/1.59 c | 66 | 0.1 | 0 | 4480 | 183 | 24 | 572637 | 88782 || 66 | 69397 | 1/ 1 | 20307 | 0 | 1.58/1.67 c | 76 | 0.1 | 0 | 4076 | 157 | 25 | 610831 | 97193 || 76 | 74931 | 1/ 1 | 21961 | 0 | 1.68/1.76 c | 80 | 0.1 | 0 | 4286 | 139 | 26 | 651497 | 103496 || 80 | 79921 | 1/ 1 | 23403 | 0 | 1.78/1.85 c | 89 | 0.1 | 0 | 4444 | 10 | 27 | 691767 | 112260 || 89 | 85522 | 1/ 1 | 24967 | 0 | 1.88/1.96 c | 94 | 0.1 | 0 | 4972 | 904 | 28 | 733814 | 119120 || 94 | 92395 | 1/ 1 | 28144 | 0 | 1.98/2.05 c | 95 | 0.1 | 0 | 5409 | 91 | 29 | 775297 | 124453 || 95 | 95696 | 1/ 1 | 28266 | 0 | 2.09/2.15 c | 106 | 0.1 | 0 | 5535 | 52 | 30 | 819839 | 134090 || 106 | 102006 | 1/ 1 | 30040 | 0 | 2.20/2.26 c | 112 | 0.1 | 0 | 5951 | 41 | 31 | 868312 | 142015 || 112 | 108341 | 1/ 1 | 31901 | 0 | 2.28/2.37 c | 123 | 0.1 | 0 | 5937 | 414 | 32 | 914952 | 152336 || 123 | 115377 | 1/ 1 | 33962 | 0 | 2.48/2.51 c | 125 | 0.1 | 0 | 6417 | 2297 | 33 | 964556 | 158749 || 125 | 123315 | 1/ 1 | 36434 | 0 | 2.58/2.66 c | 126 | 0.1 | 0 | 6285 | 3697 | 34 | 1021948 | 165077 || 126 | 131641 | 1/ 1 | 39703 | 0 | 2.78/2.80 c | 126 | 0.1 | 0 | 6279 | 2797 | 35 | 1087602 | 170709 || 126 | 134525 | 1/ 1 | 39720 | 0 | 2.98/3.02 c | 127 | 0.2 | 0 | 6344 | 6801 | 36 | 1147140 | 176048 || 127 | 148777 | 1/ 1 | 46249 | 0 | 3.19/3.24 c | 127 | 0.2 | 0 | 6612 | 1296 | 37 | 1208531 | 181440 || 127 | 154475 | 1/ 1 | 46289 | 0 | 3.38/3.41 c | 127 | 0.2 | 0 | 6157 | 5498 | 38 | 1283248 | 186887 || 127 | 154475 | 1/ 1 | 46289 | 0 | 3.48/3.56 c | 138 | 0.1 | 0 | 5525 | 58 | 39 | 1345917 | 198581 || 138 | 160830 | 1/ 1 | 48068 | 0 | 3.68/3.70 c | 148 | 0.1 | 0 | 5465 | 212 | 40 | 1407763 | 209566 || 148 | 169050 | 1/ 1 | 50462 | 0 | 3.78/3.83 c | 157 | 0.1 | 0 | 6036 | 181 | 41 | 1465482 | 220694 || 157 | 177402 | 1/ 1 | 52943 | 0 | 3.88/3.97 c | 161 | 0.1 | 0 | 6772 | 165 | 42 | 1528251 | 229073 || 161 | 183973 | 1/ 1 | 54997 | 0 | 4.08/4.13 c | 173 | 0.1 | 0 | 7096 | 1018 | 43 | 1591105 | 241736 || 173 | 193931 | 1/ 1 | 57902 | 0 | 4.18/4.27 c | 186 | 0.2 | 0 | 8071 | 276 | 44 | 1658592 | 254746 || 186 | 201745 | 1/ 1 | 59986 | 0 | 4.40/4.44 c | 189 | 0.2 | 0 | 8680 | 665 | 45 | 1724334 | 263845 || 189 | 210655 | 1/ 1 | 62869 | 0 | 4.58/4.65 c | 190 | 0.2 | 0 | 8704 | 859 | 46 | 1799506 | 271018 || 190 | 220741 | 1/ 1 | 66155 | 0 | 4.78/4.84 c | 199 | 0.2 | 0 | 8817 | 29 | 47 | 1874652 | 282561 || 199 | 226261 | 1/ 1 | 67619 | 0 | 4.98/5.02 c | 211 | 0.2 | 0 | 8186 | 77 | 48 | 1954147 | 295701 || 211 | 236221 | 1/ 1 | 70330 | 0 | 5.18/5.20 c | 221 | 0.2 | 0 | 8703 | 1133 | 49 | 2027151 | 308427 || 221 | 247226 | 1/ 1 | 74437 | 0 | 5.39/5.42 c | 229 | 0.2 | 0 | 8886 | 6 | 50 | 2107681 | 319932 || 229 | 255401 | 1/ 1 | 75813 | 0 | 5.50/5.58 c | 242 | 0.2 | 0 | 8606 | 162 | 51 | 2186220 | 334687 || 242 | 265511 | 1/ 1 | 78612 | 0 | 5.68/5.78 c | 252 | 0.2 | 0 | 9178 | 1557 | 52 | 2262312 | 348186 || 252 | 277518 | 1/ 1 | 82715 | 0 | 5.98/6.05 c | 253 | 0.3 | 0 | 9980 | 51 | 53 | 2350687 | 356354 || 253 | 289938 | 1/ 1 | 86014 | 0 | 6.28/6.35 c | 254 | 0.3 | 0 | 9974 | 5862 | 54 | 2438439 | 364077 || 254 | 302115 | 1/ 1 | 92522 | 0 | 6.60/6.66 c | 254 | 0.3 | 0 | 9429 | 2160 | 55 | 2534918 | 372035 || 254 | 310541 | 1/ 1 | 92588 | 0 | 7.08/7.10 c | 255 | 0.4 | 0 | 9361 | 8162 | 56 | 2633828 | 379908 || 255 | 327607 | 1/ 1 | 105573 | 0 | 7.38/7.46 c | 255 | 0.4 | 0 | 8599 | 6104 | 57 | 2727172 | 387971 || 255 | 340809 | 1/ 1 | 105685 | 0 | 7.88/7.98 c | 255 | 0.5 | 0 | 8731 | 1265 | 58 | 2835047 | 396385 || 255 | 352170 | 1/ 1 | 105771 | 0 | 8.28/8.35 c | 255 | 0.4 | 0 | 8451 | 7567 | 59 | 2935191 | 404271 || 255 | 352170 | 1/ 1 | 105771 | 0 | 8.58/8.68 c | 260 | 0.3 | 0 | 8625 | 59 | 60 | 3037629 | 415287 || 260 | 354587 | 1/ 1 | 106404 | 0 | 8.80/8.89 c | 275 | 0.2 | 0 | 7092 | 88 | 61 | 3127810 | 432118 || 275 | 366454 | 1/ 1 | 109703 | 0 | 9.08/9.13 c | 286 | 0.2 | 0 | 8081 | 2162 | 62 | 3218052 | 447374 || 286 | 380813 | 1/ 1 | 114046 | 0 | 9.28/9.35 c | 300 | 0.2 | 0 | 9231 | 390 | 63 | 3315719 | 463515 || 300 | 390251 | 1/ 1 | 116547 | 0 | 9.48/9.58 c | 316 | 0.2 | 0 | 9810 | 731 | 64 | 3411404 | 481577 || 316 | 403809 | 1/ 1 | 120685 | 0 | 9.78/9.87 c | 318 | 0.3 | 0 | 10979 | 4024 | 65 | 3507047 | 491811 || 318 | 417655 | 1/ 1 | 125609 | 0 | 10.08/10.11 c | 328 | 0.2 | 0 | 11542 | 289 | 66 | 3609243 | 505998 || 328 | 425111 | 1/ 1 | 127275 | 0 | 10.28/10.35 c | 346 | 0.2 | 0 | 11632 | 152 | 67 | 3708303 | 525177 || 346 | 438137 | 1/ 1 | 131008 | 0 | 10.58/10.60 c | 355 | 0.2 | 0 | 11815 | 142 | 68 | 3805484 | 540165 || 355 | 449899 | 1/ 1 | 134730 | 0 | 10.78/10.84 c | 371 | 0.2 | 0 | 11776 | 92 | 69 | 3902069 | 558308 || 371 | 462950 | 1/ 1 | 138461 | 0 | 11.00/11.09 c | 380 | 0.2 | 0 | 12165 | 1456 | 70 | 4005342 | 573979 || 380 | 475447 | 1/ 1 | 142162 | 0 | 11.38/11.46 c | 382 | 0.4 | 0 | 12066 | 4157 | 71 | 4119613 | 585428 || 382 | 494970 | 1/ 1 | 151938 | 0 | 11.78/11.89 c | 382 | 0.4 | 0 | 12224 | 2156 | 72 | 4243501 | 595741 || 382 | 508068 | 1/ 1 | 152034 | 0 | 12.18/12.26 c | 394 | 0.4 | 0 | 12507 | 117 | 73 | 4360630 | 611805 || 394 | 514965 | 1/ 1 | 153916 | 0 | 12.48/12.52 c | 411 | 0.3 | 0 | 11203 | 352 | 74 | 4465143 | 632141 || 411 | 529101 | 1/ 1 | 157852 | 0 | 12.78/12.80 c | 423 | 0.3 | 0 | 11787 | 6 | 75 | 4574352 | 649604 || 423 | 542785 | 1/ 1 | 162004 | 0 | 12.98/13.07 c | 442 | 0.3 | 0 | 11654 | 136 | 76 | 4681909 | 670959 || 442 | 557403 | 1/ 1 | 166155 | 0 | 13.38/13.45 c | 445 | 0.4 | 0 | 12293 | 4633 | 77 | 4809601 | 683863 || 445 | 575434 | 1/ 1 | 171936 | 0 | 13.78/13.80 c | 459 | 0.3 | 0 | 13144 | 369 | 78 | 4927966 | 702023 || 459 | 584557 | 1/ 1 | 174431 | 0 | 13.98/14.09 c | 476 | 0.3 | 0 | 13303 | 1015 | 79 | 5037216 | 722306 || 476 | 600771 | 1/ 1 | 180173 | 0 | 14.30/14.38 c | 491 | 0.3 | 0 | 13886 | 991 | 80 | 5153477 | 742301 || 491 | 614846 | 1/ 1 | 183513 | 0 | 14.58/14.68 c | 507 | 0.3 | 0 | 13950 | 1827 | 81 | 5269753 | 762192 || 507 | 631243 | 1/ 1 | 188463 | 0 | 15.08/15.12 c | 509 | 0.4 | 0 | 14316 | 3222 | 82 | 5427192 | 774783 || 509 | 650503 | 1/ 1 | 198244 | 0 | 15.48/15.52 c | 509 | 0.4 | 0 | 13348 | 2321 | 83 | 5550367 | 787371 || 509 | 664593 | 1/ 1 | 198352 | 0 | 15.98/16.09 c | 510 | 0.6 | 0 | 14092 | 11123 | 84 | 5683881 | 799366 || 510 | 688322 | 1/ 1 | 211395 | 0 | 16.78/16.85 c | 510 | 0.8 | 0 | 14065 | 822 | 85 | 5814874 | 810531 || 510 | 706009 | 1/ 1 | 211523 | 0 | 17.38/17.48 c | 510 | 0.6 | 0 | 12631 | 9825 | 86 | 5972387 | 821595 || 510 | 706009 | 1/ 1 | 211523 | 0 | 18.18/18.28 c | 511 | 0.8 | 0 | 12714 | 18927 | 87 | 6116943 | 833824 || 511 | 744867 | 1/ 1 | 237468 | 0 | 19.18/19.20 c | 511 | 0.9 | 0 | 11792 | 9204 | 88 | 6273090 | 845590 || 511 | 764730 | 1/ 1 | 237613 | 0 | 20.08/20.11 c | 511 | 0.9 | 0 | 12107 | 9305 | 89 | 6424300 | 857402 || 511 | 783896 | 1/ 1 | 237780 | 0 | 20.48/20.57 c | 511 | 0.5 | 0 | 10634 | 8437 | 90 | 6562255 | 870376 || 511 | 785814 | 1/ 1 | 237796 | 0 | 21.08/21.13 c | 511 | 0.6 | 0 | 11607 | 17938 | 91 | 6707746 | 882213 || 511 | 785814 | 1/ 1 | 237796 | 0 | 21.68/21.73 c | 518 | 0.6 | 0 | 12286 | 532 | 92 | 6857314 | 897613 || 518 | 790153 | 1/ 1 | 239044 | 0 | 22.00/22.06 c | 541 | 0.3 | 0 | 10596 | 743 | 93 | 6987123 | 923927 || 541 | 807975 | 1/ 1 | 244435 | 0 | 22.38/22.40 c | 557 | 0.3 | 0 | 12136 | 912 | 94 | 7122188 | 945438 || 557 | 825133 | 1/ 1 | 249404 | 0 | 22.68/22.74 c | 573 | 0.3 | 0 | 13327 | 747 | 95 | 7258227 | 967911 || 573 | 842705 | 1/ 1 | 254366 | 0 | 23.10/23.12 c | 583 | 0.4 | 0 | 14640 | 13 | 96 | 7399344 | 986739 || 583 | 857975 | 1/ 1 | 259088 | 0 | 23.38/23.46 c | 604 | 0.4 | 0 | 15067 | 733 | 97 | 7539153 | 1012200 || 604 | 875958 | 1/ 1 | 264283 | 0 | 23.78/23.86 c | 623 | 0.4 | 0 | 16579 | 179 | 98 | 7678268 | 1036014 || 623 | 893853 | 1/ 1 | 269686 | 0 | 24.20/24.26 c | 637 | 0.4 | 0 | 17263 | 2732 | 99 | 7821119 | 1058400 || 637 | 915865 | 1/ 1 | 277512 | 0 | 24.78/24.86 c | 638 | 0.6 | 0 | 17255 | 8335 | 100 | 8001618 | 1072386 || 638 | 939720 | 1/ 1 | 284091 | 0 | 25.38/25.41 c | 647 | 0.6 | 0 | 16795 | 93 | 101 | 8193877 | 1090028 || 647 | 948430 | 1/ 1 | 285556 | 0 | 25.78/25.81 c | 669 | 0.4 | 0 | 15689 | 1322 | 102 | 8333994 | 1115911 || 669 | 969127 | 1/ 1 | 292387 | 0 | 26.08/26.18 c | 690 | 0.4 | 0 | 16779 | 145 | 103 | 8489942 | 1142351 || 690 | 986253 | 1/ 1 | 296550 | 0 | 26.58/26.64 c | 701 | 0.5 | 0 | 16764 | 4306 | 104 | 8659003 | 1162959 || 701 | 1008978 | 1/ 1 | 303956 | 0 | 26.98/27.04 c | 719 | 0.4 | 0 | 16880 | 141 | 105 | 8825079 | 1188496 || 719 | 1023343 | 1/ 1 | 307709 | 0 | 27.38/27.46 c | 739 | 0.4 | 0 | 16882 | 46 | 106 | 8983297 | 1213254 || 739 | 1043557 | 1/ 1 | 313495 | 0 | 27.78/27.86 c | 763 | 0.4 | 0 | 17987 | 1089 | 107 | 9130946 | 1241212 || 763 | 1064736 | 1/ 1 | 320508 | 0 | 28.38/28.44 c | 765 | 0.6 | 0 | 19150 | 5086 | 108 | 9315955 | 1256829 || 765 | 1089378 | 1/ 1 | 330313 | 0 | 28.98/29.09 c | 766 | 0.7 | 0 | 18523 | 6787 | 109 | 9486739 | 1272309 || 766 | 1112615 | 1/ 1 | 343334 | 0 | 29.78/29.83 c | 766 | 0.7 | 0 | 17034 | 11402 | 110 | 9673203 | 1286847 || 766 | 1137955 | 1/ 1 | 343525 | 0 | 30.38/30.43 c | 766 | 0.6 | 0 | 16897 | 10487 | 111 | 9855771 | 1301961 || 766 | 1140248 | 1/ 1 | 343544 | 0 | 30.88/30.96 c | 791 | 0.5 | 0 | 16256 | 113 | 112 | 10018899 | 1329307 || 791 | 1157883 | 1/ 1 | 348518 | 0 | 31.28/31.39 c | 812 | 0.4 | 0 | 15489 | 440 | 113 | 10176279 | 1356321 || 812 | 1178717 | 1/ 1 | 355126 | 0 | 31.78/31.84 c | 829 | 0.4 | 0 | 15487 | 2163 | 114 | 10342317 | 1381675 || 829 | 1201134 | 1/ 1 | 363339 | 0 | 32.18/32.29 c | 844 | 0.4 | 0 | 16762 | 395 | 115 | 10512404 | 1407092 || 844 | 1219317 | 1/ 1 | 366712 | 0 | 32.68/32.75 c | 867 | 0.5 | 0 | 17668 | 474 | 116 | 10687295 | 1435024 || 867 | 1240237 | 1/ 1 | 372915 | 0 | 33.18/33.20 c | 891 | 0.4 | 0 | 19010 | 1898 | 117 | 10853194 | 1465083 || 891 | 1263835 | 1/ 1 | 379960 | 0 | 33.78/33.82 c | 893 | 0.6 | 0 | 20750 | 6899 | 118 | 11030248 | 1482130 || 893 | 1289719 | 1/ 1 | 389760 | 0 | 34.28/34.35 c | 903 | 0.5 | 0 | 20437 | 155 | 119 | 11202080 | 1505058 || 903 | 1301725 | 1/ 1 | 391475 | 0 | 34.78/34.83 c | 924 | 0.5 | 0 | 18995 | 1072 | 120 | 11368803 | 1533979 || 924 | 1324395 | 1/ 1 | 398071 | 0 | 35.28/35.30 c | 954 | 0.5 | 0 | 19535 | 1100 | 121 | 11539286 | 1567421 || 954 | 1347311 | 1/ 1 | 404686 | 0 | 35.78/35.86 c | 963 | 0.6 | 0 | 20393 | 52 | 122 | 11726008 | 1589644 || 963 | 1367647 | 1/ 1 | 410885 | 0 | 36.30/36.33 c | 987 | 0.5 | 0 | 19715 | 253 | 123 | 11887916 | 1618859 || 987 | 1390893 | 1/ 1 | 417905 | 0 | 36.78/36.80 c | 1017 | 0.5 | 0 | 19862 | 499 | 124 | 12060886 | 1652458 || 1017 | 1412833 | 1/ 1 | 424514 | 0 | 37.48/37.50 c | 1020 | 0.7 | 0 | 21287 | 4998 | 125 | 12273064 | 1672445 || 1020 | 1441508 | 1/ 1 | 436005 | 0 | 38.18/38.28 c | 1021 | 0.8 | 0 | 21559 | 8399 | 126 | 12472882 | 1690077 || 1021 | 1469489 | 1/ 1 | 449070 | 0 | 39.18/39.21 c | 1021 | 0.9 | 0 | 20350 | 2289 | 127 | 12671967 | 1707443 || 1021 | 1492508 | 1/ 1 | 449243 | 0 | 40.28/40.38 c | 1022 | 1.2 | 0 | 19073 | 15491 | 128 | 12898487 | 1724938 || 1022 | 1524523 | 1/ 1 | 475124 | 0 | 41.28/41.38 c | 1022 | 1.0 | 0 | 18273 | 13302 | 129 | 13137854 | 1742291 || 1022 | 1554476 | 1/ 1 | 475337 | 0 | 42.58/42.70 c | 1022 | 1.3 | 0 | 18777 | 3791 | 130 | 13375776 | 1760892 || 1022 | 1576171 | 1/ 1 | 475485 | 0 | 43.38/43.44 c | 1022 | 0.7 | 0 | 15911 | 17292 | 131 | 13613131 | 1779824 || 1022 | 1576171 | 1/ 1 | 475485 | 0 | 44.78/44.88 c | 1023 | 1.4 | 0 | 16354 | 30894 | 132 | 13845479 | 1798492 || 1023 | 1639792 | 1/ 1 | 527344 | 0 | 45.98/46.01 c | 1023 | 1.1 | 0 | 15728 | 13702 | 133 | 14069860 | 1816791 || 1023 | 1670309 | 1/ 1 | 527594 | 0 | 47.58/47.62 c | 1023 | 1.6 | 0 | 17140 | 13802 | 134 | 14285441 | 1834917 || 1023 | 1700198 | 1/ 1 | 527837 | 0 | 49.50/49.55 c | 1023 | 1.9 | 0 | 16480 | 13903 | 135 | 14521955 | 1852670 || 1023 | 1731091 | 1/ 1 | 528056 | 0 | 50.69/50.73 c | 1023 | 1.2 | 0 | 16030 | 9500 | 136 | 14745566 | 1870429 || 1023 | 1740933 | 1/ 1 | 528129 | 0 | 51.89/51.96 c | 1023 | 1.2 | 0 | 16382 | 23601 | 137 | 14992096 | 1887525 || 1023 | 1740933 | 1/ 1 | 528129 | 0 | 52.99/53.09 c | 1023 | 1.1 | 0 | 17820 | 37802 | 138 | 15220786 | 1904359 || 1023 | 1740933 | 1/ 1 | 528129 | 0 | 54.39/54.43 c | 1027 | 1.3 | 0 | 18688 | 292 | 139 | 15452480 | 1923146 || 1027 | 1742788 | 1/ 1 | 528647 | 0 | 54.89/54.97 c | 1054 | 0.5 | 0 | 14917 | 780 | 140 | 15647338 | 1958542 || 1054 | 1769141 | 1/ 1 | 536419 | 0 | 55.39/55.49 c | 1085 | 0.5 | 0 | 17084 | 1595 | 141 | 15841414 | 1994220 || 1085 | 1795973 | 1/ 1 | 544707 | 0 | 55.99/56.09 c | 1101 | 0.6 | 0 | 19188 | 117 | 142 | 16047786 | 2022609 || 1101 | 1820024 | 1/ 1 | 551310 | 0 | 56.59/56.62 c | 1131 | 0.5 | 0 | 20265 | 528 | 143 | 16243820 | 2057772 || 1131 | 1845174 | 1/ 1 | 558759 | 0 | 57.21/57.24 c | 1149 | 0.6 | 0 | 22220 | 4680 | 144 | 16450259 | 2088070 || 1149 | 1874589 | 1/ 1 | 567812 | 0 | 58.09/58.13 c | 1150 | 0.9 | 0 | 24247 | 5168 | 145 | 16720069 | 2109016 || 1150 | 1898219 | 1/ 1 | 574372 | 0 | 58.69/58.77 c | 1181 | 0.6 | 0 | 24637 | 1665 | 146 | 16931374 | 2146098 || 1181 | 1925417 | 1/ 1 | 582606 | 0 | 59.29/59.35 c | 1211 | 0.6 | 0 | 24119 | 645 | 147 | 17136914 | 2183620 || 1211 | 1950872 | 1/ 1 | 589241 | 0 | 59.99/60.03 c | 1228 | 0.7 | 0 | 24109 | 1015 | 148 | 17357965 | 2214250 || 1228 | 1978287 | 1/ 1 | 597473 | 0 | 60.59/60.65 c | 1258 | 0.6 | 0 | 24333 | 205 | 149 | 17573331 | 2250453 || 1258 | 2004331 | 1/ 1 | 604944 | 0 | 61.29/61.34 c | 1276 | 0.7 | 0 | 24366 | 733 | 150 | 17788990 | 2280850 || 1276 | 2035390 | 1/ 1 | 614051 | 0 | 62.49/62.54 c | 1278 | 1.2 | 0 | 24690 | 6639 | 151 | 18059199 | 2302176 || 1278 | 2071180 | 1/ 1 | 633569 | 0 | 63.59/63.61 c | 1278 | 1.1 | 0 | 24545 | 3027 | 152 | 18332779 | 2323466 || 1278 | 2102489 | 1/ 1 | 633832 | 0 | 64.79/64.84 c | 1293 | 1.2 | 0 | 24117 | 292 | 153 | 18599448 | 2350451 || 1293 | 2114050 | 1/ 1 | 637154 | 0 | 65.39/65.48 c | 1324 | 0.6 | 0 | 21812 | 1185 | 154 | 18812837 | 2388183 || 1324 | 2142607 | 1/ 1 | 645424 | 0 | 66.09/66.13 c | 1341 | 0.6 | 0 | 22741 | 2213 | 155 | 19048684 | 2419457 || 1341 | 2170771 | 1/ 1 | 653661 | 0 | 66.69/66.77 c | 1372 | 0.6 | 0 | 22381 | 511 | 156 | 19267171 | 2457979 || 1372 | 2198849 | 1/ 1 | 661957 | 0 | 67.39/67.40 c | 1403 | 0.6 | 0 | 23231 | 482 | 157 | 19487473 | 2495224 || 1403 | 2227029 | 1/ 1 | 670232 | 0 | 68.21/68.27 c | 1405 | 0.9 | 0 | 25038 | 2269 | 158 | 19735511 | 2518282 || 1405 | 2257258 | 1/ 1 | 680076 | 0 | 68.89/68.97 c | 1435 | 0.7 | 0 | 26062 | 34 | 159 | 19984339 | 2555815 || 1435 | 2280827 | 1/ 1 | 686738 | 0 | 69.59/69.66 c | 1466 | 0.7 | 0 | 26327 | 303 | 160 | 20222495 | 2594003 || 1466 | 2309887 | 1/ 1 | 695013 | 0 | 70.29/70.36 c | 1483 | 0.7 | 0 | 26503 | 714 | 161 | 20463591 | 2627427 || 1483 | 2337037 | 1/ 1 | 703255 | 0 | 70.99/71.02 c | 1516 | 0.7 | 0 | 26567 | 88 | 162 | 20691516 | 2668621 || 1516 | 2366793 | 1/ 1 | 711720 | 0 | 71.79/71.83 c | 1532 | 0.8 | 0 | 26762 | 4244 | 163 | 20930696 | 2700878 || 1532 | 2402139 | 1/ 1 | 726244 | 0 | 72.79/72.84 c | 1533 | 1.0 | 0 | 26442 | 11445 | 164 | 21191040 | 2725426 || 1533 | 2437227 | 1/ 1 | 739330 | 0 | 74.09/74.15 c | 1533 | 1.3 | 0 | 27386 | 9145 | 165 | 21472797 | 2746221 || 1533 | 2453864 | 1/ 1 | 739463 | 0 | 75.68/75.81 c | 1534 | 1.7 | 0 | 25225 | 26152 | 166 | 21730501 | 2767476 || 1534 | 2508606 | 1/ 1 | 765554 | 0 | 77.78/77.85 c | 1534 | 2.0 | 0 | 25424 | 4853 | 167 | 21990354 | 2789636 || 1534 | 2534263 | 1/ 1 | 765771 | 0 | 79.20/79.27 c | 1534 | 1.4 | 0 | 23637 | 22055 | 168 | 22258945 | 2811845 || 1534 | 2534263 | 1/ 1 | 765771 | 0 | 79.98/80.09 c | 1565 | 0.8 | 0 | 21363 | 1637 | 169 | 22496598 | 2850694 || 1565 | 2561444 | 1/ 1 | 774013 | 0 | 80.68/80.77 c | 1596 | 0.7 | 0 | 20361 | 505 | 170 | 22738571 | 2891148 || 1596 | 2591802 | 1/ 1 | 782331 | 0 | 81.40/81.48 c | 1624 | 0.7 | 0 | 22352 | 11 | 171 | 22989958 | 2930432 || 1624 | 2620951 | 1/ 1 | 790777 | 0 | 82.08/82.18 c | 1658 | 0.7 | 0 | 24003 | 604 | 172 | 23233475 | 2970752 || 1658 | 2652529 | 1/ 1 | 800483 | 0 | 82.98/83.08 c | 1661 | 0.9 | 0 | 26288 | 282 | 173 | 23499171 | 2996443 || 1661 | 2689476 | 1/ 1 | 811967 | 0 | 83.88/83.91 c | 1691 | 0.8 | 0 | 27589 | 808 | 174 | 23762379 | 3035769 || 1691 | 2711964 | 1/ 1 | 818600 | 0 | 84.59/84.70 c | 1723 | 0.8 | 0 | 28689 | 1396 | 175 | 24024441 | 3076090 || 1723 | 2744870 | 1/ 1 | 828548 | 0 | 85.38/85.46 c | 1747 | 0.8 | 0 | 28843 | 31 | 176 | 24286846 | 3115048 || 1747 | 2774089 | 1/ 1 | 836510 | 0 | 86.08/86.19 c | 1784 | 0.7 | 0 | 28420 | 103 | 177 | 24531925 | 3160045 || 1784 | 2806443 | 1/ 1 | 845921 | 0 | 87.18/87.28 c | 1788 | 1.1 | 0 | 29108 | 296 | 178 | 24796601 | 3186605 || 1788 | 2844409 | 1/ 1 | 858284 | 0 | 88.68/88.79 c | 1789 | 1.5 | 0 | 28444 | 18599 | 179 | 25106466 | 3211449 || 1789 | 2887171 | 1/ 1 | 871408 | 0 | 89.78/89.81 c | 1804 | 1.0 | 0 | 28026 | 541 | 180 | 25417110 | 3244675 || 1804 | 2898982 | 1/ 1 | 874726 | 0 | 90.48/90.58 c | 1839 | 0.8 | 0 | 26675 | 5 | 181 | 25678764 | 3287668 || 1839 | 2931327 | 1/ 1 | 883558 | 0 | 91.38/91.40 c | 1864 | 0.8 | 0 | 26969 | 116 | 182 | 25940910 | 3326789 || 1864 | 2962673 | 1/ 1 | 893158 | 0 | 92.08/92.18 c | 1898 | 0.8 | 0 | 27047 | 354 | 183 | 26196370 | 3370080 || 1898 | 2995937 | 1/ 1 | 902902 | 0 | 93.18/93.24 c | 1916 | 1.1 | 0 | 27015 | 5503 | 184 | 26481100 | 3403907 || 1916 | 3034484 | 1/ 1 | 917681 | 0 | 94.18/94.23 c | 1938 | 1.0 | 0 | 28614 | 546 | 185 | 26761191 | 3439671 || 1938 | 3058813 | 1/ 1 | 922296 | 0 | 94.88/94.99 c | 1976 | 0.8 | 0 | 29160 | 399 | 186 | 27018828 | 3485486 || 1976 | 3091339 | 1/ 1 | 931857 | 0 | 95.88/95.90 c | 2000 | 0.9 | 0 | 30624 | 18 | 187 | 27323367 | 3523614 || 2000 | 3124953 | 1/ 1 | 941774 | 0 | 96.68/96.75 c | 2039 | 0.8 | 0 | 30069 | 86 | 188 | 27595952 | 3570802 || 2039 | 3160181 | 1/ 1 | 951683 | 0 | 97.90/97.96 c | 2043 | 1.2 | 0 | 30907 | 1372 | 189 | 27912423 | 3599892 || 2043 | 3200240 | 1/ 1 | 964051 | 0 | 99.48/99.51 c | 2044 | 1.6 | 0 | 30226 | 1570 | 190 | 28230386 | 3626087 || 2044 | 3240588 | 1/ 1 | 977176 | 0 | 101.20/101.24 c | 2045 | 1.7 | 0 | 29657 | 21075 | 191 | 28548254 | 3649949 || 2045 | 3285732 | 1/ 1 | 1003162 | 0 | 103.28/103.34 c | 2045 | 2.1 | 0 | 29494 | 2274 | 192 | 28868627 | 3674658 || 2045 | 3324819 | 1/ 1 | 1003443 | 0 | 104.68/104.70 c | 2045 | 1.4 | 0 | 26301 | 21977 | 193 | 29153010 | 3700052 || 2045 | 3324819 | 1/ 1 | 1003443 | 0 | 106.70/106.74 c | 2046 | 2.0 | 0 | 26041 | 41780 | 194 | 29462541 | 3725488 || 2046 | 3410866 | 1/ 1 | 1055412 | 0 | 109.89/109.98 c | 2046 | 3.2 | 0 | 23350 | 19902 | 195 | 29798371 | 3749812 || 2046 | 3453557 | 1/ 1 | 1055712 | 0 | 114.29/114.35 c | 2046 | 4.4 | 0 | 27325 | 4882 | 196 | 30130327 | 3773850 || 2046 | 3484561 | 1/ 1 | 1055957 | 0 | 116.79/116.83 c | 2046 | 2.5 | 0 | 24649 | 24983 | 197 | 30450502 | 3799807 || 2046 | 3484561 | 1/ 1 | 1055957 | 0 | 119.09/119.19 c | 2046 | 2.4 | 0 | 24847 | 45185 | 198 | 30780989 | 3823476 || 2046 | 3484561 | 1/ 1 | 1055957 | 0 | 122.11/122.15 c | 2047 | 3.0 | 0 | 24375 | 65487 | 199 | 31092023 | 3848263 || 2047 | 3617183 | 1/ 1 | 1159635 | 0 | 125.19/125.28 c | 2047 | 3.1 | 0 | 23231 | 20420 | 200 | 31416366 | 3872887 || 2047 | 3660205 | 1/ 1 | 1159957 | 0 | 128.70/128.76 c | 2047 | 3.5 | 0 | 23445 | 20507 | 201 | 31744017 | 3897580 || 2047 | 3702734 | 1/ 1 | 1160256 | 0 | 132.18/132.21 c | 2047 | 3.5 | 0 | 24560 | 20601 | 202 | 32084074 | 3922604 || 2047 | 3745686 | 1/ 1 | 1160571 | 0 | 136.59/136.65 c | 2047 | 4.4 | 0 | 25998 | 20701 | 203 | 32430299 | 3947687 || 2047 | 3790483 | 1/ 1 | 1160873 | 0 | 141.39/141.46 c | 2047 | 4.8 | 0 | 27376 | 14911 | 204 | 32801544 | 3972521 || 2047 | 3803141 | 1/ 1 | 1160957 | 0 | 143.99/144.08 c | 2047 | 2.6 | 0 | 25844 | 35812 | 205 | 33179898 | 3997167 || 2047 | 3803141 | 1/ 1 | 1160957 | 0 | 146.58/146.68 c | 2047 | 2.6 | 0 | 24892 | 56813 | 206 | 33563614 | 4021337 || 2047 | 3803141 | 1/ 1 | 1160957 | 0 | 148.98/149.01 c | 2047 | 2.3 | 0 | 24097 | 77915 | 207 | 33938834 | 4046616 || 2047 | 3803141 | 1/ 1 | 1160957 | 0 | 152.18/152.25 c | 2047 | 3.2 | 0 | 26539 | 99117 | 208 | 34329935 | 4071338 || 2047 | 3803141 | 1/ 1 | 1160957 | 0 | 153.38/153.46 c | 2085 | 1.2 | 0 | 24298 | 476 | 209 | 34637223 | 4119001 || 2085 | 3836093 | 1/ 1 | 1170471 | 0 | 154.28/154.39 c | 2113 | 0.9 | 0 | 24170 | 163 | 210 | 34930597 | 4163931 || 2113 | 3872512 | 1/ 1 | 1181221 | 0 | 155.18/155.27 c | 2156 | 0.9 | 0 | 26225 | 502 | 211 | 35222127 | 4216224 || 2156 | 3911078 | 1/ 1 | 1192369 | 0 | 156.28/156.36 c | 2174 | 1.1 | 0 | 29130 | 8458 | 212 | 35537121 | 4254431 || 2174 | 3955535 | 1/ 1 | 1207155 | 0 | 157.30/157.39 c | 2205 | 1.0 | 0 | 31180 | 2067 | 213 | 35853481 | 4300410 || 2205 | 3985395 | 1/ 1 | 1215442 | 0 | 158.29/158.40 c | 2237 | 1.0 | 0 | 32865 | 531 | 214 | 36163853 | 4346742 || 2237 | 4025277 | 1/ 1 | 1227025 | 0 | 159.28/159.37 c | 2278 | 1.0 | 0 | 35598 | 82 | 215 | 36465596 | 4398630 || 2278 | 4060024 | 1/ 1 | 1236938 | 0 | 160.38/160.44 c | 2301 | 1.1 | 0 | 35008 | 5838 | 216 | 36779716 | 4441775 || 2301 | 4104881 | 1/ 1 | 1253333 | 0 | 161.79/161.89 c | 2302 | 1.5 | 0 | 35234 | 18337 | 217 | 37098795 | 4472759 || 2302 | 4150477 | 1/ 1 | 1266500 | 0 | 163.09/163.15 c | 2324 | 1.3 | 0 | 33589 | 43 | 218 | 37409584 | 4514032 || 2324 | 4168622 | 1/ 1 | 1271065 | 0 | 164.09/164.15 c | 2364 | 1.0 | 0 | 32938 | 233 | 219 | 37724813 | 4566834 || 2364 | 4210232 | 1/ 1 | 1283079 | 0 | 165.18/165.23 c | 2396 | 1.1 | 0 | 33914 | 109 | 220 | 38035926 | 4613794 || 2396 | 4248578 | 1/ 1 | 1294658 | 0 | 166.28/166.30 c | 2428 | 1.1 | 0 | 34059 | 1666 | 221 | 38374373 | 4662372 || 2428 | 4288782 | 1/ 1 | 1306204 | 0 | 167.69/167.72 c | 2451 | 1.4 | 0 | 33853 | 369 | 222 | 38722044 | 4703335 || 2451 | 4324939 | 1/ 1 | 1317345 | 0 | 168.69/168.75 c | 2491 | 1.0 | 0 | 33397 | 333 | 223 | 39033826 | 4756448 || 2491 | 4366389 | 1/ 1 | 1329355 | 0 | 169.69/169.78 c | 2523 | 1.0 | 0 | 36041 | 624 | 224 | 39370140 | 4804466 || 2523 | 4405429 | 1/ 1 | 1340908 | 0 | 170.78/170.81 c | 2555 | 1.0 | 0 | 36982 | 2583 | 225 | 39697749 | 4853323 || 2555 | 4444093 | 1/ 1 | 1352477 | 0 | 172.48/172.60 c | 2557 | 1.8 | 0 | 36897 | 15983 | 226 | 40063828 | 4884101 || 2557 | 4499559 | 1/ 1 | 1372148 | 0 | 174.58/174.60 c | 2558 | 2.0 | 0 | 36089 | 19872 | 227 | 40404025 | 4913411 || 2558 | 4546191 | 1/ 1 | 1398192 | 0 | 176.99/177.03 c | 2558 | 2.4 | 0 | 34147 | 4672 | 228 | 40757816 | 4943096 || 2558 | 4584746 | 1/ 1 | 1398482 | 0 | 180.08/180.11 c | 2565 | 3.1 | 0 | 34440 | 328 | 229 | 41142520 | 4975945 || 2565 | 4589475 | 1/ 1 | 1399737 | 0 | 181.08/181.17 c | 2614 | 1.1 | 0 | 29279 | 123 | 230 | 41457448 | 5032899 || 2614 | 4632205 | 1/ 1 | 1411740 | 0 | 182.28/182.32 c | 2650 | 1.2 | 0 | 30232 | 299 | 231 | 41811531 | 5083280 || 2650 | 4673138 | 1/ 1 | 1424140 | 0 | 183.28/183.35 c | 2684 | 1.0 | 0 | 30410 | 3570 | 232 | 42135189 | 5134510 || 2684 | 4718079 | 1/ 1 | 1438135 | 0 | 184.69/184.78 c | 2701 | 1.4 | 0 | 33023 | 835 | 233 | 42516531 | 5173904 || 2701 | 4752387 | 1/ 1 | 1448140 | 0 | 185.78/185.83 c | 2747 | 1.0 | 0 | 33734 | 2053 | 234 | 42837341 | 5231096 || 2747 | 4796419 | 1/ 1 | 1461294 | 0 | 186.88/186.99 c | 2779 | 1.2 | 0 | 36994 | 1004 | 235 | 43185753 | 5281437 || 2779 | 4836094 | 1/ 1 | 1472885 | 0 | 188.10/188.18 c | 2812 | 1.2 | 0 | 39037 | 4108 | 236 | 43523450 | 5331385 || 2812 | 4883224 | 1/ 1 | 1490943 | 0 | 189.78/189.80 c | 2813 | 1.6 | 0 | 38240 | 18603 | 237 | 43878075 | 5364274 || 2813 | 4934923 | 1/ 1 | 1504184 | 0 | 191.08/191.18 c | 2842 | 1.4 | 0 | 36585 | 535 | 238 | 44244098 | 5411356 || 2842 | 4956687 | 1/ 1 | 1509999 | 0 | 192.28/192.35 c | 2876 | 1.2 | 0 | 35567 | 4501 | 239 | 44584417 | 5462753 || 2876 | 5002269 | 1/ 1 | 1524035 | 0 | 193.38/193.45 c | 2921 | 1.1 | 0 | 37166 | 306 | 240 | 44930315 | 5520613 || 2921 | 5040489 | 1/ 1 | 1534819 | 0 | 194.70/194.77 c | 2940 | 1.3 | 0 | 36998 | 336 | 241 | 45287372 | 5564132 || 2940 | 5089877 | 1/ 1 | 1550504 | 0 | 195.98/196.04 c | 2979 | 1.3 | 0 | 37204 | 403 | 242 | 45643450 | 5618046 || 2979 | 5123547 | 1/ 1 | 1560112 | 0 | 197.28/197.33 c | 3017 | 1.3 | 0 | 36419 | 182 | 243 | 46001595 | 5671645 || 3017 | 5166843 | 1/ 1 | 1572827 | 0 | 198.39/198.46 c | 3065 | 1.2 | 0 | 38900 | 1217 | 244 | 46342934 | 5732215 || 3065 | 5211453 | 1/ 1 | 1586888 | 0 | 199.99/200.00 c | 3068 | 1.5 | 0 | 40405 | 9310 | 245 | 46720084 | 5766346 || 3068 | 5263753 | 1/ 1 | 1609733 | 0 | 202.29/202.39 c | 3069 | 2.4 | 0 | 39035 | 15118 | 246 | 47139383 | 5798502 || 3069 | 5315750 | 1/ 1 | 1635801 | 0 | 205.09/205.16 c | 3069 | 2.8 | 0 | 36474 | 1819 | 247 | 47524083 | 5832148 || 3069 | 5366106 | 1/ 1 | 1636209 | 0 | 209.01/209.09 c | 3070 | 3.9 | 0 | 36212 | 27028 | 248 | 47938966 | 5863489 || 3070 | 5421081 | 1/ 1 | 1687988 | 0 | 211.89/211.99 c | 3070 | 2.9 | 0 | 32451 | 25302 | 249 | 48379939 | 5894953 || 3070 | 5474037 | 1/ 1 | 1688417 | 0 | 217.29/217.39 c | 3070 | 5.4 | 0 | 34780 | 923 | 250 | 48825280 | 5926505 || 3070 | 5526951 | 1/ 1 | 1688857 | 0 | 221.59/221.66 c | 3070 | 4.3 | 0 | 29224 | 26424 | 251 | 49240040 | 5959416 || 3070 | 5526951 | 1/ 1 | 1688857 | 0 | 224.19/224.21 c | 3074 | 2.6 | 0 | 29781 | 223 | 252 | 49669433 | 5995482 || 3074 | 5528745 | 1/ 1 | 1689381 | 0 | 225.29/225.34 c | 3129 | 1.1 | 0 | 26368 | 121 | 253 | 50028365 | 6058723 || 3129 | 5575133 | 1/ 1 | 1702538 | 0 | 226.49/226.52 c | 3164 | 1.2 | 0 | 29868 | 1568 | 254 | 50399015 | 6111446 || 3164 | 5621096 | 1/ 1 | 1717009 | 0 | 227.79/227.81 c | 3197 | 1.3 | 0 | 32491 | 4161 | 255 | 50780622 | 6163410 || 3197 | 5669962 | 1/ 1 | 1735066 | 0 | 229.19/229.27 c | 3228 | 1.5 | 0 | 34864 | 2094 | 256 | 51168356 | 6213385 || 3228 | 5709733 | 1/ 1 | 1743396 | 0 | 230.39/230.48 c | 3267 | 1.2 | 0 | 36691 | 238 | 257 | 51537050 | 6270780 || 3267 | 5752815 | 1/ 1 | 1756215 | 0 | 231.58/231.68 c | 3321 | 1.2 | 0 | 39451 | 813 | 258 | 51903002 | 6334666 || 3321 | 5799902 | 1/ 1 | 1769915 | 0 | 233.58/233.66 c | 3325 | 2.0 | 0 | 42842 | 9114 | 259 | 52353521 | 6373123 || 3325 | 5858967 | 1/ 1 | 1794386 | 0 | 235.59/235.60 c | 3337 | 1.9 | 0 | 40831 | 164 | 260 | 52766078 | 6412283 || 3337 | 5887581 | 1/ 1 | 1796408 | 0 | 236.78/236.88 c | 3387 | 1.3 | 0 | 38554 | 1809 | 261 | 53133431 | 6475424 || 3387 | 5936041 | 1/ 1 | 1811050 | 0 | 238.18/238.21 c | 3426 | 1.3 | 0 | 39909 | 483 | 262 | 53517014 | 6531668 || 3426 | 5981122 | 1/ 1 | 1823844 | 0 | 239.69/239.77 c | 3452 | 1.6 | 0 | 40531 | 9300 | 263 | 53913550 | 6583218 || 3452 | 6037034 | 1/ 1 | 1840746 | 0 | 241.18/241.21 c | 3496 | 1.4 | 0 | 40366 | 151 | 264 | 54307887 | 6643129 || 3496 | 6074237 | 1/ 1 | 1851112 | 0 | 242.48/242.50 c | 3537 | 1.3 | 0 | 39386 | 474 | 265 | 54681978 | 6702523 || 3537 | 6120892 | 1/ 1 | 1865114 | 0 | 243.78/243.81 c | 3578 | 1.3 | 0 | 41897 | 4740 | 266 | 55059778 | 6761569 || 3578 | 6172402 | 1/ 1 | 1880387 | 0 | 245.78/245.80 c | 3580 | 2.0 | 0 | 44033 | 17440 | 267 | 55477689 | 6797636 || 3580 | 6230731 | 1/ 1 | 1900095 | 0 | 248.28/248.35 c | 3581 | 2.5 | 0 | 42116 | 25442 | 268 | 55916587 | 6833992 || 3581 | 6289424 | 1/ 1 | 1926259 | 0 | 251.90/251.95 c | 3581 | 3.6 | 0 | 41193 | 14342 | 269 | 56365210 | 6869493 || 3581 | 6318789 | 1/ 1 | 1926480 | 0 | 253.78/253.82 c | 3613 | 1.9 | 0 | 39018 | 1634 | 270 | 56761389 | 6924270 || 3613 | 6347989 | 1/ 1 | 1934857 | 0 | 255.20/255.22 c | 3659 | 1.4 | 0 | 36128 | 587 | 271 | 57168578 | 6986252 || 3659 | 6397801 | 1/ 1 | 1949620 | 0 | 256.48/256.50 c | 3707 | 1.3 | 0 | 36319 | 2031 | 272 | 57544202 | 7050147 || 3707 | 6448848 | 1/ 1 | 1966158 | 0 | 258.08/258.12 c | 3731 | 1.6 | 0 | 37094 | 460 | 273 | 57970198 | 7100391 || 3731 | 6492210 | 1/ 1 | 1977413 | 0 | 259.38/259.44 c | 3771 | 1.3 | 0 | 38394 | 1325 | 274 | 58348266 | 7160852 || 3771 | 6542617 | 1/ 1 | 1992610 | 0 | 260.70/260.76 c | 3828 | 1.3 | 0 | 41823 | 99 | 275 | 58737227 | 7228738 || 3828 | 6589471 | 1/ 1 | 2006020 | 0 | 262.48/262.51 c | 3836 | 1.8 | 0 | 44802 | 8967 | 276 | 59160362 | 7269859 || 3836 | 6647196 | 1/ 1 | 2032022 | 0 | 264.88/264.94 c | 3851 | 2.4 | 0 | 44308 | 608 | 277 | 59625305 | 7313795 || 3851 | 6681682 | 1/ 1 | 2035502 | 0 | 266.28/266.38 c | 3899 | 1.5 | 0 | 41692 | 2653 | 278 | 60015009 | 7377148 || 3899 | 6734301 | 1/ 1 | 2051988 | 0 | 267.69/267.72 c | 3947 | 1.3 | 0 | 41914 | 98 | 279 | 60403881 | 7442391 || 3947 | 6780056 | 1/ 1 | 2063820 | 0 | 269.19/269.29 c | 3963 | 1.6 | 0 | 43293 | 6356 | 280 | 60838831 | 7490711 || 3963 | 6826411 | 1/ 1 | 2078412 | 0 | 270.61/270.68 c | 4024 | 1.4 | 0 | 42010 | 227 | 281 | 61229909 | 7562104 || 4024 | 6878123 | 1/ 1 | 2093286 | 0 | 272.09/272.13 c | 4064 | 1.5 | 0 | 42491 | 313 | 282 | 61629724 | 7623395 || 4064 | 6926754 | 1/ 1 | 2107740 | 0 | 273.69/273.81 c | 4090 | 1.7 | 0 | 44579 | 2129 | 283 | 62038481 | 7674625 || 4090 | 6981020 | 1/ 1 | 2124655 | 0 | 275.89/275.91 c | 4091 | 2.1 | 0 | 46218 | 11728 | 284 | 62491680 | 7716413 || 4091 | 7022446 | 1/ 1 | 2137781 | 0 | 278.99/279.05 c | 4092 | 3.1 | 0 | 43537 | 2227 | 285 | 62992317 | 7754877 || 4092 | 7111886 | 1/ 1 | 2164037 | 0 | 281.99/282.08 c | 4093 | 3.0 | 0 | 40839 | 31235 | 286 | 63479487 | 7792865 || 4093 | 7175138 | 1/ 1 | 2215867 | 0 | 285.69/285.71 c | 4093 | 3.6 | 0 | 39712 | 29108 | 287 | 63955414 | 7828385 || 4093 | 7238165 | 1/ 1 | 2216335 | 0 | 291.69/291.71 c | 4093 | 6.0 | 0 | 40231 | 12742 | 288 | 64447840 | 7864367 || 4093 | 7273979 | 1/ 1 | 2216608 | 0 | 297.09/297.12 c | 4093 | 5.4 | 0 | 36575 | 42044 | 289 | 64979005 | 7899796 || 4093 | 7273979 | 1/ 1 | 2216608 | 0 | 301.59/301.61 c | 4094 | 4.5 | 0 | 34801 | 71453 | 290 | 65453926 | 7936765 || 4094 | 7417748 | 1/ 1 | 2320335 | 0 | 306.79/306.90 c | 4094 | 5.3 | 0 | 34682 | 29501 | 291 | 65923314 | 7972821 || 4094 | 7479724 | 1/ 1 | 2320797 | 0 | 314.18/314.23 c | 4094 | 7.3 | 0 | 37512 | 29607 | 292 | 66402100 | 8008354 || 4094 | 7540759 | 1/ 1 | 2321267 | 0 | 320.58/320.64 c | 4094 | 6.4 | 0 | 39146 | 6662 | 293 | 66854030 | 8045777 || 4094 | 7586687 | 1/ 1 | 2321644 | 0 | 324.99/325.00 c | 4094 | 4.4 | 0 | 35167 | 36464 | 294 | 67313311 | 8086292 || 4094 | 7586687 | 1/ 1 | 2321644 | 0 | 328.39/328.44 c | 4094 | 3.4 | 0 | 34462 | 66366 | 295 | 67762705 | 8126811 || 4094 | 7586687 | 1/ 1 | 2321644 | 0 | 332.09/332.13 c | 4094 | 3.7 | 0 | 36317 | 96369 | 296 | 68258797 | 8167223 || 4094 | 7586687 | 1/ 1 | 2321644 | 0 | 337.59/337.64 c | 4095 | 5.5 | 0 | 32578 | 126475 | 297 | 68795001 | 8207482 || 4095 | 7850496 | 1/ 1 | 2528917 | 0 | 342.89/342.90 c | 4095 | 5.2 | 0 | 33258 | 30203 | 298 | 69377295 | 8246888 || 4095 | 7920811 | 1/ 1 | 2529455 | 0 | 349.99/350.09 c | 4095 | 7.2 | 0 | 36809 | 30301 | 299 | 69926151 | 8286526 || 4095 | 7993456 | 1/ 1 | 2529980 | 0 | 358.29/358.32 c | 4095 | 8.2 | 0 | 36020 | 30419 | 300 | 70478736 | 8324765 || 4095 | 8065349 | 1/ 1 | 2530504 | 0 | 368.09/368.17 c | 4095 | 9.8 | 0 | 39423 | 30501 | 301 | 71007181 | 8363148 || 4095 | 8133713 | 1/ 1 | 2531010 | 0 | 378.09/378.15 c | 4095 | 10.0 | 0 | 38180 | 30601 | 302 | 71534004 | 8401825 || 4095 | 8204028 | 1/ 1 | 2531514 | 0 | 387.29/387.39 c | 4095 | 9.2 | 0 | 40341 | 2000 | 303 | 72067464 | 8441040 || 4095 | 8267361 | 1/ 1 | 2532005 | 0 | 391.89/391.90 c | 4095 | 4.5 | 0 | 33203 | 32803 | 304 | 72593868 | 8478532 || 4095 | 8267361 | 1/ 1 | 2532005 | 0 | 396.79/396.88 c | 4095 | 5.0 | 0 | 37680 | 63705 | 305 | 73114578 | 8515030 || 4095 | 8267361 | 1/ 1 | 2532005 | 0 | 401.51/401.56 c | 4095 | 4.7 | 0 | 36368 | 94712 | 306 | 73635329 | 8552353 || 4095 | 8267361 | 1/ 1 | 2532005 | 0 | 406.49/406.51 c | 4095 | 5.0 | 0 | 37823 | 125815 | 307 | 74184132 | 8589606 || 4095 | 8267361 | 1/ 1 | 2532005 | 0 | 411.99/412.07 c | 4095 | 5.6 | 0 | 38755 | 157017 | 308 | 74747670 | 8625313 || 4095 | 8267361 | 1/ 1 | 2532005 | 0 | 416.99/417.06 c | 4095 | 5.0 | 0 | 40106 | 188318 | 309 | 75264954 | 8662774 || 4095 | 8267361 | 1/ 1 | 2532005 | 0 | 420.10/420.19 c | 4126 | 3.1 | 0 | 36455 | 424 | 310 | 75751103 | 8719572 || 4126 | 8296325 | 1/ 1 | 2540279 | 0 | 421.69/421.76 c | 4179 | 1.6 | 0 | 34005 | 208 | 311 | 76204892 | 8789272 || 4179 | 8349811 | 1/ 1 | 2556001 | 0 | 423.30/423.31 c | 4222 | 1.6 | 0 | 37366 | 3950 | 312 | 76652935 | 8855029 || 4222 | 8411045 | 1/ 1 | 2578199 | 0 | 424.80/424.89 c | 4265 | 1.6 | 0 | 40746 | 146 | 313 | 77127073 | 8922292 || 4265 | 8460141 | 1/ 1 | 2588402 | 0 | 426.40/426.49 c | 4315 | 1.6 | 0 | 43518 | 652 | 314 | 77588290 | 8992918 || 4315 | 8516927 | 1/ 1 | 2604734 | 0 | 428.20/428.23 c | 4349 | 1.7 | 0 | 47149 | 9193 | 315 | 78046617 | 9053091 || 4349 | 8580045 | 1/ 1 | 2624463 | 0 | 431.22/431.29 c | 4350 | 3.1 | 0 | 49796 | 12383 | 316 | 78575520 | 9097291 || 4350 | 8623869 | 1/ 1 | 2637602 | 0 | 433.00/433.00 c | 4412 | 1.7 | 0 | 47989 | 1059 | 317 | 79016132 | 9173264 || 4412 | 8681649 | 1/ 1 | 2654163 | 0 | 434.70/434.70 c | 4468 | 1.7 | 0 | 48804 | 172 | 318 | 79474481 | 9245484 || 4468 | 8736813 | 1/ 1 | 2670550 | 0 | 436.90/436.94 c | 4492 | 2.2 | 0 | 49224 | 503 | 319 | 79941485 | 9300429 || 4492 | 8788471 | 1/ 1 | 2687208 | 0 | 438.59/438.68 c | 4540 | 1.7 | 0 | 48317 | 3145 | 320 | 80395603 | 9370895 || 4540 | 8843317 | 1/ 1 | 2703757 | 0 | 440.29/440.39 c | 4603 | 1.7 | 0 | 48371 | 1853 | 321 | 80855827 | 9451008 || 4603 | 8904823 | 1/ 1 | 2723551 | 0 | 442.69/442.74 c | 4605 | 2.4 | 0 | 50379 | 839 | 322 | 81351981 | 9497964 || 4605 | 8973115 | 1/ 1 | 2743347 | 0 | 446.69/446.79 c | 4606 | 4.0 | 0 | 52965 | 33543 | 323 | 81904254 | 9540416 || 4606 | 9047878 | 1/ 1 | 2769596 | 0 | 451.29/451.38 c | 4613 | 4.6 | 0 | 49529 | 311 | 324 | 82465576 | 9583778 || 4613 | 9063247 | 1/ 1 | 2770933 | 0 | 453.21/453.23 c | 4669 | 1.8 | 0 | 43687 | 4599 | 325 | 82941257 | 9657100 || 4669 | 9125813 | 1/ 1 | 2789514 | 0 | 454.79/454.87 c | 4731 | 1.6 | 0 | 46220 | 1363 | 326 | 83399942 | 9734979 || 4731 | 9181360 | 1/ 1 | 2806050 | 0 | 456.79/456.81 c | 4762 | 2.0 | 0 | 46396 | 335 | 327 | 83892029 | 9796418 || 4762 | 9236319 | 1/ 1 | 2821723 | 0 | 458.49/458.58 c | 4811 | 1.8 | 0 | 44509 | 152 | 328 | 84347482 | 9869148 || 4811 | 9294230 | 1/ 1 | 2839060 | 0 | 460.29/460.37 c | 4860 | 1.8 | 0 | 47824 | 3678 | 329 | 84828432 | 9940758 || 4860 | 9357673 | 1/ 1 | 2862115 | 0 | 463.11/463.13 c | 4861 | 2.8 | 0 | 51134 | 8267 | 330 | 85384526 | 9985238 || 4861 | 9414812 | 1/ 1 | 2875388 | 0 | 465.20/465.26 c | 4922 | 2.1 | 0 | 52391 | 742 | 331 | 85866492 | 10062635 || 4922 | 9467757 | 1/ 1 | 2890258 | 0 | 467.10/467.13 c | 4976 | 1.9 | 0 | 51196 | 263 | 332 | 86344670 | 10135955 || 4976 | 9526441 | 1/ 1 | 2907614 | 0 | 469.29/469.32 c | 5003 | 2.2 | 0 | 50773 | 570 | 333 | 86853844 | 10196442 || 5003 | 9582981 | 1/ 1 | 2924952 | 0 | 471.19/471.27 c | 5057 | 1.9 | 0 | 50736 | 280 | 334 | 87346638 | 10270270 || 5057 | 9642313 | 1/ 1 | 2942335 | 0 | 473.09/473.12 c | 5114 | 1.9 | 0 | 50786 | 4652 | 335 | 87814117 | 10347520 || 5114 | 9706101 | 1/ 1 | 2961345 | 0 | 476.39/476.42 c | 5116 | 3.3 | 0 | 51801 | 5043 | 336 | 88388270 | 10391279 || 5116 | 9767411 | 1/ 1 | 2981045 | 0 | 481.19/481.20 c | 5117 | 4.8 | 0 | 54319 | 743 | 337 | 88947759 | 10435798 || 5117 | 9851542 | 1/ 1 | 3007341 | 0 | 485.99/486.06 c | 5118 | 4.9 | 0 | 49639 | 34944 | 338 | 89496454 | 10482133 || 5118 | 9922641 | 1/ 1 | 3059235 | 0 | 490.69/490.73 c | 5118 | 4.7 | 0 | 45766 | 34304 | 339 | 90100869 | 10524523 || 5118 | 9996482 | 1/ 1 | 3059729 | 0 | 495.29/495.38 c | 5118 | 4.7 | 0 | 46050 | 26850 | 340 | 90724745 | 10567662 || 5118 | 10013626 | 1/ 1 | 3059848 | 0 | 499.41/499.49 c | 5146 | 4.1 | 0 | 45190 | 126 | 341 | 91282023 | 10624646 || 5146 | 10032561 | 1/ 1 | 3065204 | 0 | 501.29/501.32 c | 5196 | 1.8 | 0 | 37266 | 452 | 342 | 91763269 | 10698167 || 5196 | 10091823 | 1/ 1 | 3082934 | 0 | 503.09/503.16 c | 5245 | 1.8 | 0 | 40729 | 5346 | 343 | 92248728 | 10771766 || 5245 | 10159021 | 1/ 1 | 3105972 | 0 | 505.29/505.33 c | 5297 | 2.2 | 0 | 44605 | 156 | 344 | 92759660 | 10845228 || 5297 | 10212355 | 1/ 1 | 3118487 | 0 | 507.11/507.17 c | 5353 | 1.8 | 0 | 47177 | 502 | 345 | 93251060 | 10921908 || 5353 | 10273505 | 1/ 1 | 3136673 | 0 | 509.49/509.50 c | 5373 | 2.3 | 0 | 51025 | 10437 | 346 | 93825488 | 10979673 || 5373 | 10349475 | 1/ 1 | 3165308 | 0 | 511.79/511.86 c | 5404 | 2.4 | 0 | 53803 | 1453 | 347 | 94356117 | 11045775 || 5404 | 10396431 | 1/ 1 | 3173724 | 0 | 513.79/513.81 c | 5464 | 1.9 | 0 | 53423 | 141 | 348 | 94850897 | 11125960 || 5464 | 10456323 | 1/ 1 | 3190702 | 0 | 516.09/516.11 c | 5500 | 2.3 | 0 | 53726 | 425 | 349 | 95384838 | 11192534 || 5500 | 10525098 | 1/ 1 | 3211756 | 0 | 518.19/518.23 c | 5562 | 2.1 | 0 | 53673 | 1213 | 350 | 95913234 | 11272945 || 5562 | 10580335 | 1/ 1 | 3228319 | 0 | 520.31/520.34 c | 5622 | 2.1 | 0 | 54001 | 196 | 351 | 96446481 | 11350801 || 5622 | 10643213 | 1/ 1 | 3245312 | 0 | 522.79/522.86 c | 5628 | 2.5 | 0 | 54054 | 16876 | 352 | 96939088 | 11402121 || 5628 | 10716848 | 1/ 1 | 3271121 | 0 | 526.09/526.11 c | 5629 | 3.2 | 0 | 54671 | 33385 | 353 | 97485799 | 11449976 || 5629 | 10790591 | 1/ 1 | 3297368 | 0 | 531.99/532.03 c | 5644 | 5.9 | 0 | 54044 | 733 | 354 | 98051458 | 11503588 || 5644 | 10812026 | 1/ 1 | 3300740 | 0 | 533.89/533.99 c | 5700 | 2.0 | 0 | 48781 | 414 | 355 | 98552802 | 11584060 || 5700 | 10873375 | 1/ 1 | 3318665 | 0 | 535.89/535.97 c | 5755 | 2.0 | 0 | 50096 | 3000 | 356 | 99058592 | 11661976 || 5755 | 10936151 | 1/ 1 | 3337134 | 0 | 538.09/538.17 c | 5805 | 2.2 | 0 | 50187 | 240 | 357 | 99566932 | 11735114 || 5805 | 10997371 | 1/ 1 | 3355692 | 0 | 540.11/540.15 c | 5864 | 2.0 | 0 | 49516 | 117 | 358 | 100080851 | 11816317 || 5864 | 11062212 | 1/ 1 | 3374261 | 0 | 542.89/542.92 c | 5884 | 2.8 | 0 | 52748 | 11927 | 359 | 100646981 | 11873629 || 5884 | 11138664 | 1/ 1 | 3402947 | 0 | 546.09/546.10 c | 5916 | 3.2 | 0 | 55241 | 92 | 360 | 101265644 | 11939114 || 5916 | 11185243 | 1/ 1 | 3411440 | 0 | 548.19/548.22 c | 5978 | 2.1 | 0 | 55273 | 2044 | 361 | 101812775 | 12021802 || 5978 | 11253029 | 1/ 1 | 3431170 | 0 | 550.59/550.69 c | 6011 | 2.5 | 0 | 55643 | 5731 | 362 | 102365563 | 12089195 || 6011 | 11312369 | 1/ 1 | 3449295 | 0 | 552.79/552.82 c | 6074 | 2.1 | 0 | 54712 | 597 | 363 | 102871144 | 12170509 || 6074 | 11379337 | 1/ 1 | 3469140 | 0 | 554.79/554.86 c | 6137 | 2.0 | 0 | 55484 | 3592 | 364 | 103382225 | 12255378 || 6137 | 11444175 | 1/ 1 | 3488953 | 0 | 558.09/558.15 c | 6139 | 3.3 | 0 | 56401 | 6889 | 365 | 104014147 | 12302648 || 6139 | 11505882 | 1/ 1 | 3508703 | 0 | 562.99/563.01 c | 6140 | 4.9 | 0 | 56462 | 5483 | 366 | 104664505 | 12350019 || 6140 | 11589778 | 1/ 1 | 3534972 | 0 | 567.80/567.83 c | 6141 | 4.8 | 0 | 55074 | 42584 | 367 | 105327972 | 12394973 || 6141 | 11680586 | 1/ 1 | 3586972 | 0 | 573.40/573.47 c | 6141 | 5.6 | 0 | 50479 | 2977 | 368 | 105976419 | 12441311 || 6141 | 11764391 | 1/ 1 | 3587524 | 0 | 580.20/580.25 c | 6141 | 6.8 | 0 | 49697 | 40280 | 369 | 106625221 | 12487356 || 6141 | 11764391 | 1/ 1 | 3587524 | 0 | 587.10/587.10 c | 6142 | 6.9 | 0 | 49984 | 77683 | 370 | 107293641 | 12533517 || 6142 | 11926049 | 1/ 1 | 3691432 | 0 | 596.10/596.14 c | 6142 | 9.0 | 0 | 43732 | 37502 | 371 | 107984838 | 12579587 || 6142 | 12009556 | 1/ 1 | 3692035 | 0 | 603.40/603.47 c | 6142 | 7.3 | 0 | 41803 | 37601 | 372 | 108661209 | 12626459 || 6142 | 12092033 | 1/ 1 | 3692640 | 0 | 609.00/609.04 c | 6142 | 5.6 | 0 | 40631 | 36888 | 373 | 109318944 | 12673852 || 6142 | 12093832 | 1/ 1 | 3692649 | 0 | 616.10/616.16 c | 6142 | 7.1 | 0 | 45611 | 74689 | 374 | 110007325 | 12717315 || 6142 | 12093832 | 1/ 1 | 3692649 | 0 | 620.99/621.06 c | 6170 | 4.9 | 0 | 44755 | 200 | 375 | 110646711 | 12777543 || 6170 | 12113077 | 1/ 1 | 3698031 | 0 | 623.10/623.16 c | 6230 | 2.1 | 0 | 40124 | 24 | 376 | 111185019 | 12862248 || 6230 | 12179460 | 1/ 1 | 3717440 | 0 | 625.39/625.43 c | 6269 | 2.3 | 0 | 44420 | 2571 | 377 | 111749127 | 12934665 || 6269 | 12251097 | 1/ 1 | 3738851 | 0 | 627.39/627.44 c | 6332 | 2.0 | 0 | 47941 | 3695 | 378 | 112280624 | 13019704 || 6332 | 12315761 | 1/ 1 | 3758661 | 0 | 629.49/629.50 c | 6395 | 2.1 | 0 | 52031 | 3414 | 379 | 112822813 | 13105434 || 6395 | 12382385 | 1/ 1 | 3778489 | 0 | 632.59/632.67 c | 6397 | 3.2 | 0 | 56345 | 8205 | 380 | 113425472 | 13157179 || 6397 | 12445057 | 1/ 1 | 3798193 | 0 | 634.99/635.01 c | 6460 | 2.4 | 0 | 57724 | 3243 | 381 | 113971211 | 13242038 || 6460 | 12510017 | 1/ 1 | 3818011 | 0 | 637.29/637.32 c | 6523 | 2.3 | 0 | 59667 | 3214 | 382 | 114524418 | 13327402 || 6523 | 12578265 | 1/ 1 | 3837837 | 0 | 639.89/640.00 c | 6570 | 2.7 | 0 | 59340 | 559 | 383 | 115083274 | 13405819 || 6570 | 12640689 | 1/ 1 | 3856108 | 0 | 642.30/642.33 c | 6633 | 2.3 | 0 | 59622 | 757 | 384 | 115635119 | 13493142 || 6633 | 12708630 | 1/ 1 | 3875980 | 0 | 644.99/645.08 c | 6652 | 2.8 | 0 | 59759 | 15210 | 385 | 116237207 | 13555744 || 6652 | 12787727 | 1/ 1 | 3903895 | 0 | 649.19/649.23 c | 6653 | 4.2 | 0 | 58216 | 35007 | 386 | 116944462 | 13609007 || 6653 | 12878550 | 1/ 1 | 3930230 | 0 | 652.69/652.77 c | 6680 | 3.5 | 0 | 58758 | 88 | 387 | 117674535 | 13673245 || 6680 | 12906373 | 1/ 1 | 3935440 | 0 | 655.09/655.13 c | 6745 | 2.4 | 0 | 54931 | 348 | 388 | 118225946 | 13760670 || 6745 | 12974722 | 1/ 1 | 3955912 | 0 | 657.59/657.63 c | 6780 | 2.5 | 0 | 55058 | 4919 | 389 | 118845601 | 13832741 || 6780 | 13045102 | 1/ 1 | 3976461 | 0 | 659.79/659.88 c | 6843 | 2.2 | 0 | 55147 | 2454 | 390 | 119391805 | 13918805 || 6843 | 13112106 | 1/ 1 | 3996269 | 0 | 662.22/662.23 c | 6907 | 2.4 | 0 | 55133 | 3349 | 391 | 119968945 | 14006411 || 6907 | 13188013 | 1/ 1 | 4022559 | 0 | 665.30/665.31 c | 6914 | 3.1 | 0 | 57345 | 231 | 392 | 120599667 | 14062189 || 6914 | 13244823 | 1/ 1 | 4036648 | 0 | 667.50/667.56 c | 6979 | 2.2 | 0 | 57812 | 445 | 393 | 121164090 | 14153170 || 6979 | 13314813 | 1/ 1 | 4056987 | 0 | 669.92/669.95 c | 7035 | 2.4 | 0 | 60556 | 6845 | 394 | 121720945 | 14238354 || 7035 | 13392633 | 1/ 1 | 4082027 | 0 | 672.40/672.45 c | 7097 | 2.5 | 0 | 61136 | 79 | 395 | 122292131 | 14325596 || 7097 | 13456533 | 1/ 1 | 4098623 | 0 | 674.80/674.80 c | 7160 | 2.4 | 0 | 62220 | 1432 | 396 | 122858938 | 14413397 || 7160 | 13523133 | 1/ 1 | 4118518 | 0 | 678.30/678.34 c | 7163 | 3.5 | 0 | 62528 | 7930 | 397 | 123546577 | 14465787 || 7163 | 13594615 | 1/ 1 | 4141507 | 0 | 683.00/683.05 c | 7164 | 4.7 | 0 | 59592 | 9721 | 398 | 124297137 | 14516483 || 7164 | 13681812 | 1/ 1 | 4167810 | 0 | 688.70/688.75 c | 7165 | 5.7 | 0 | 60598 | 50023 | 399 | 125008934 | 14565949 || 7165 | 13782020 | 1/ 1 | 4219943 | 0 | 694.20/694.24 c | 7165 | 5.5 | 0 | 55583 | 13604 | 400 | 125687296 | 14617290 || 7165 | 13837148 | 1/ 1 | 4220410 | 0 | 699.80/699.82 c | 7175 | 5.6 | 0 | 54089 | 183 | 401 | 126371630 | 14670009 || 7175 | 13842817 | 1/ 1 | 4222066 | 0 | 702.20/702.28 c | 7243 | 2.5 | 0 | 46824 | 459 | 402 | 126959128 | 14760226 || 7243 | 13915713 | 1/ 1 | 4243535 | 0 | 704.70/704.74 c | 7292 | 2.5 | 0 | 47119 | 562 | 403 | 127542866 | 14842078 || 7292 | 13993142 | 1/ 1 | 4266627 | 0 | 706.90/706.94 c | 7355 | 2.2 | 0 | 50748 | 4323 | 404 | 128112492 | 14931558 || 7355 | 14060165 | 1/ 1 | 4286474 | 0 | 709.20/709.21 c | 7418 | 2.3 | 0 | 54885 | 1800 | 405 | 128690386 | 15022622 || 7418 | 14129417 | 1/ 1 | 4306375 | 0 | 712.60/712.67 c | 7425 | 3.5 | 0 | 59736 | 70 | 406 | 129319112 | 15082907 || 7425 | 14192373 | 1/ 1 | 4326714 | 0 | 715.02/715.07 c | 7496 | 2.4 | 0 | 59720 | 121 | 407 | 129894606 | 15176425 || 7496 | 14265663 | 1/ 1 | 4347978 | 0 | 717.60/717.63 c | 7547 | 2.6 | 0 | 63965 | 9394 | 408 | 130460392 | 15259466 || 7547 | 14344515 | 1/ 1 | 4372271 | 0 | 720.10/720.18 c | 7610 | 2.5 | 0 | 63511 | 4057 | 409 | 131033229 | 15349684 || 7610 | 14411273 | 1/ 1 | 4392134 | 0 | 722.60/722.62 c | 7673 | 2.4 | 0 | 64301 | 1993 | 410 | 131612025 | 15441572 || 7673 | 14480732 | 1/ 1 | 4412037 | 0 | 726.02/726.02 c | 7676 | 3.4 | 0 | 64540 | 14695 | 411 | 132225307 | 15499590 || 7676 | 14570087 | 1/ 1 | 4457624 | 0 | 730.42/730.46 c | 7676 | 4.4 | 0 | 60969 | 17896 | 412 | 132875128 | 15552984 || 7676 | 14622615 | 1/ 1 | 4457987 | 0 | 733.50/733.50 c | 7739 | 3.0 | 0 | 62282 | 3394 | 413 | 133470273 | 15642973 || 7739 | 14686765 | 1/ 1 | 4477855 | 0 | 736.10/736.11 c | 7802 | 2.6 | 0 | 60107 | 1787 | 414 | 134082292 | 15733588 || 7802 | 14759148 | 1/ 1 | 4497719 | 0 | 738.70/738.74 c | 7864 | 2.6 | 0 | 60843 | 683 | 415 | 134678057 | 15822657 || 7864 | 14830101 | 1/ 1 | 4519238 | 0 | 741.20/741.28 c | 7928 | 2.5 | 0 | 60328 | 427 | 416 | 135280907 | 15914343 || 7928 | 14903779 | 1/ 1 | 4540735 | 0 | 744.50/744.57 c | 7931 | 3.3 | 0 | 60503 | 8921 | 417 | 135956658 | 15973794 || 7931 | 14976393 | 1/ 1 | 4563746 | 0 | 747.20/747.27 c | 7994 | 2.7 | 0 | 62441 | 2909 | 418 | 136567718 | 16065597 || 7994 | 15043443 | 1/ 1 | 4583581 | 0 | 749.90/749.97 c | 8058 | 2.7 | 0 | 65089 | 6574 | 419 | 137184108 | 16157744 || 8058 | 15126371 | 1/ 1 | 4609918 | 0 | 752.70/752.72 c | 8121 | 2.7 | 0 | 65579 | 2363 | 420 | 137808371 | 16251854 || 8121 | 15195808 | 1/ 1 | 4629762 | 0 | 755.30/755.38 c | 8184 | 2.7 | 0 | 65044 | 1440 | 421 | 138436969 | 16343813 || 8184 | 15268907 | 1/ 1 | 4649606 | 0 | 759.01/759.07 c | 8187 | 3.7 | 0 | 65546 | 15241 | 422 | 139128802 | 16403350 || 8187 | 15365777 | 1/ 1 | 4695172 | 0 | 763.59/763.68 c | 8187 | 4.6 | 0 | 62459 | 19540 | 423 | 139857448 | 16457034 || 8187 | 15416481 | 1/ 1 | 4695542 | 0 | 770.59/770.67 c | 8188 | 7.0 | 0 | 63930 | 62347 | 424 | 140501937 | 16510820 || 8188 | 15548886 | 1/ 1 | 4747788 | 0 | 781.19/781.22 c | 8188 | 10.6 | 0 | 64095 | 28442 | 425 | 141209464 | 16563904 || 8188 | 15581004 | 1/ 1 | 4748035 | 0 | 788.30/788.34 c | 8189 | 7.1 | 0 | 57858 | 71448 | 426 | 141941622 | 16618397 || 8189 | 15728869 | 1/ 1 | 4851795 | 0 | 795.90/795.96 c | 8189 | 7.6 | 0 | 52280 | 43103 | 427 | 142644770 | 16672414 || 8189 | 15822586 | 1/ 1 | 4852577 | 0 | 804.20/804.23 c | 8189 | 8.3 | 0 | 49766 | 4147 | 428 | 143367818 | 16727685 || 8189 | 15905271 | 1/ 1 | 4853223 | 0 | 809.00/809.09 c | 8189 | 4.9 | 0 | 45546 | 47448 | 429 | 144096827 | 16784443 || 8189 | 15905271 | 1/ 1 | 4853223 | 0 | 817.50/817.52 c | 8189 | 8.4 | 0 | 53214 | 90851 | 430 | 144804265 | 16841747 || 8189 | 15905271 | 1/ 1 | 4853223 | 0 | 825.40/825.43 c | 8190 | 7.9 | 0 | 46775 | 134353 | 431 | 145495204 | 16898016 || 8190 | 16181044 | 1/ 1 | 5060608 | 0 | 839.10/839.16 c | 8190 | 13.7 | 0 | 50443 | 43615 | 432 | 146214777 | 16950840 || 8190 | 16275816 | 1/ 1 | 5061360 | 0 | 851.80/851.80 c | 8190 | 12.6 | 0 | 52832 | 43701 | 433 | 146946635 | 17004700 || 8190 | 16370337 | 1/ 1 | 5062072 | 0 | 866.82/866.87 c | 8190 | 15.1 | 0 | 51345 | 43802 | 434 | 147645456 | 17057513 || 8190 | 16458464 | 1/ 1 | 5062736 | 0 | 878.00/878.01 c | 8190 | 11.1 | 0 | 45925 | 2170 | 435 | 148387676 | 17111414 || 8190 | 16551503 | 1/ 1 | 5063409 | 0 | 884.80/884.88 c | 8190 | 6.9 | 0 | 45934 | 46171 | 436 | 149127981 | 17163575 || 8190 | 16551503 | 1/ 1 | 5063409 | 0 | 892.90/892.91 c | 8190 | 8.0 | 0 | 50363 | 90275 | 437 | 149822946 | 17220803 || 8190 | 16551503 | 1/ 1 | 5063409 | 0 | 901.90/901.95 c | 8190 | 9.0 | 0 | 54837 | 134478 | 438 | 150501698 | 17273335 || 8190 | 16551503 | 1/ 1 | 5063409 | 0 | 909.30/909.33 c | 8190 | 7.4 | 0 | 47445 | 178779 | 439 | 151214138 | 17330919 || 8190 | 16551503 | 1/ 1 | 5063409 | 0 | 920.00/920.02 c | 8191 | 10.7 | 0 | 52447 | 223180 | 440 | 151916188 | 17384678 || 8191 | 17002321 | 1/ 1 | 5477381 | 0 | 930.40/930.43 c | 8191 | 10.4 | 0 | 48674 | 44503 | 441 | 152614496 | 17439531 || 8191 | 17097298 | 1/ 1 | 5478131 | 0 | 940.11/940.16 c | 8191 | 9.7 | 0 | 49667 | 44605 | 442 | 153286647 | 17495232 || 8191 | 17188552 | 1/ 1 | 5478890 | 0 | 951.11/951.18 c | 8191 | 11.0 | 0 | 49627 | 44703 | 443 | 153950681 | 17549395 || 8191 | 17279184 | 1/ 1 | 5479619 | 0 | 966.41/966.44 c | 8191 | 15.3 | 0 | 60465 | 44802 | 444 | 154581535 | 17601969 || 8191 | 17366924 | 1/ 1 | 5480305 | 0 | 981.61/981.66 c | 8191 | 15.2 | 0 | 59440 | 44918 | 445 | 155240213 | 17656066 || 8191 | 17456927 | 1/ 1 | 5480989 | 0 | 996.91/996.94 c | 8191 | 15.3 | 0 | 57291 | 45006 | 446 | 155890892 | 17710169 || 8191 | 17547041 | 1/ 1 | 5481649 | 0 | 1015.51/1015.50 c | 8191 | 18.6 | 0 | 59907 | 45101 | 447 | 156550421 | 17763495 || 8191 | 17636029 | 1/ 1 | 5482354 | 0 | 1033.50/1033.56 c | 8191 | 18.0 | 0 | 63149 | 45205 | 448 | 157209655 | 17817750 || 8191 | 17725790 | 1/ 1 | 5483068 | 0 | 1048.41/1048.48 c | 8191 | 14.9 | 0 | 58275 | 12921 | 449 | 157851927 | 17873310 || 8191 | 17790429 | 1/ 1 | 5483614 | 0 | 1057.81/1057.86 c | 8191 | 9.4 | 0 | 51654 | 58322 | 450 | 158524282 | 17928970 || 8191 | 17790429 | 1/ 1 | 5483614 | 0 | 1066.51/1066.59 c | 8191 | 8.7 | 0 | 53401 | 103823 | 451 | 159223247 | 17989195 || 8191 | 17790429 | 1/ 1 | 5483614 | 0 | 1075.30/1075.37 c | 8191 | 8.8 | 0 | 58377 | 149425 | 452 | 159925951 | 18051292 || 8191 | 17790429 | 1/ 1 | 5483614 | 0 | 1083.69/1083.72 c | 8191 | 8.3 | 0 | 59543 | 195127 | 453 | 160649853 | 18109254 || 8191 | 17790429 | 1/ 1 | 5483614 | 0 | 1091.98/1092.07 c | 8191 | 8.3 | 0 | 51792 | 240928 | 454 | 161310724 | 18167467 || 8191 | 17790429 | 1/ 1 | 5483614 | 0 | 1100.78/1100.84 c | 8191 | 8.8 | 0 | 59549 | 286831 | 455 | 161956970 | 18224338 || 8191 | 17790429 | 1/ 1 | 5483614 | 0 | 1110.19/1110.20 c | 8191 | 9.4 | 0 | 57215 | 332832 | 456 | 162628545 | 18281035 || 8191 | 17790429 | 1/ 1 | 5483614 | 0 | 1119.59/1119.65 c | 8191 | 9.5 | 0 | 52389 | 378933 | 457 | 163342032 | 18337583 || 8191 | 17790429 | 1/ 1 | 5483614 | 0 | 1128.79/1128.83 c | 8222 | 9.2 | 0 | 60568 | 1015 | 458 | 164007049 | 18410834 || 8222 | 17819537 | 1/ 1 | 5491883 | 0 | 1131.80/1131.82 c | 8303 | 3.0 | 0 | 48960 | 21 | 459 | 164674039 | 18518561 || 8303 | 17901599 | 1/ 1 | 5515473 | 0 | 1134.79/1134.82 c | 8356 | 3.0 | 0 | 54019 | 46 | 460 | 165348849 | 18608820 || 8356 | 17979119 | 1/ 1 | 5539445 | 0 | 1137.49/1137.50 c | 8439 | 2.7 | 0 | 57722 | 107 | 461 | 165984557 | 18715207 || 8439 | 18059761 | 1/ 1 | 5563194 | 0 | 1140.89/1140.93 c | 8446 | 3.4 | 0 | 63234 | 8386 | 462 | 166679702 | 18782810 || 8446 | 18140632 | 1/ 1 | 5589278 | 0 | 1143.69/1143.78 c | 8522 | 2.8 | 0 | 65699 | 121 | 463 | 167322301 | 18885332 || 8522 | 18215451 | 1/ 1 | 5611203 | 0 | 1146.89/1146.94 c | 8573 | 3.2 | 0 | 69504 | 5436 | 464 | 167999752 | 18976250 || 8573 | 18297836 | 1/ 1 | 5635597 | 0 | 1149.89/1149.96 c | 8655 | 3.0 | 0 | 72019 | 266 | 465 | 168661587 | 19081715 || 8655 | 18378343 | 1/ 1 | 5659309 | 0 | 1153.39/1153.43 c | 8701 | 3.5 | 0 | 71508 | 9307 | 466 | 169357446 | 19168824 || 8701 | 18471811 | 1/ 1 | 5694860 | 0 | 1159.19/1159.27 c | 8702 | 5.8 | 0 | 72200 | 37208 | 467 | 170145256 | 19228913 || 8702 | 18579056 | 1/ 1 | 5721308 | 0 | 1164.69/1164.74 c | 8747 | 5.5 | 0 | 68919 | 439 | 468 | 170892292 | 19314092 || 8747 | 18618994 | 1/ 1 | 5732116 | 0 | 1167.79/1167.81 c | 8827 | 3.1 | 0 | 68543 | 850 | 469 | 171567593 | 19419705 || 8827 | 18703592 | 1/ 1 | 5757690 | 0 | 1170.89/1170.94 c | 8883 | 3.1 | 0 | 68885 | 416 | 470 | 172242766 | 19515462 || 8883 | 18782783 | 1/ 1 | 5780495 | 0 | 1173.99/1174.05 c | 8955 | 3.1 | 0 | 69319 | 3277 | 471 | 172937614 | 19619068 || 8955 | 18870744 | 1/ 1 | 5807240 | 0 | 1178.19/1178.21 c | 8971 | 4.2 | 0 | 69047 | 25 | 472 | 173718696 | 19689914 || 8971 | 18943840 | 1/ 1 | 5829462 | 0 | 1181.19/1181.28 c | 9051 | 3.1 | 0 | 66801 | 1481 | 473 | 174401615 | 19800766 || 9051 | 19030037 | 1/ 1 | 5855084 | 0 | 1184.71/1184.74 c | 9111 | 3.5 | 0 | 72395 | 124 | 474 | 175112353 | 19895006 || 9111 | 19111259 | 1/ 1 | 5878404 | 0 | 1187.79/1187.88 c | 9188 | 3.1 | 0 | 73312 | 47 | 475 | 175780768 | 20002911 || 9188 | 19195616 | 1/ 1 | 5903001 | 0 | 1191.69/1191.71 c | 9212 | 3.8 | 0 | 73386 | 2946 | 476 | 176516653 | 20080560 || 9212 | 19289891 | 1/ 1 | 5932599 | 0 | 1196.99/1197.09 c | 9213 | 5.4 | 0 | 72197 | 12644 | 477 | 177236308 | 20144290 || 9213 | 19369758 | 1/ 1 | 5958873 | 0 | 1204.10/1204.17 c | 9214 | 7.1 | 0 | 69288 | 60846 | 478 | 177985949 | 20206192 || 9214 | 19502344 | 1/ 1 | 6011114 | 0 | 1213.59/1213.62 c | 9214 | 9.4 | 0 | 72804 | 32346 | 479 | 178785291 | 20270760 || 9214 | 19538351 | 1/ 1 | 6011378 | 0 | 1218.99/1219.03 c | 9276 | 5.4 | 0 | 66017 | 1317 | 480 | 179503509 | 20366879 || 9276 | 19592944 | 1/ 1 | 6027954 | 0 | 1222.19/1222.26 c | 9341 | 3.2 | 0 | 60973 | 3961 | 481 | 180226907 | 20467565 || 9341 | 19683343 | 1/ 1 | 6057556 | 0 | 1225.69/1225.76 c | 9404 | 3.5 | 0 | 60540 | 1123 | 482 | 180914588 | 20567453 || 9404 | 19763377 | 1/ 1 | 6077516 | 0 | 1228.79/1228.85 c | 9468 | 3.1 | 0 | 63044 | 1580 | 483 | 181604825 | 20669294 || 9468 | 19851430 | 1/ 1 | 6103912 | 0 | 1233.29/1233.35 c | 9507 | 4.5 | 0 | 68002 | 238 | 484 | 182377216 | 20752858 || 9507 | 19928297 | 1/ 1 | 6126604 | 0 | 1236.49/1236.52 c | 9593 | 3.2 | 0 | 69629 | 462 | 485 | 183091936 | 20868000 || 9593 | 20016149 | 1/ 1 | 6151835 | 0 | 1239.99/1240.04 c | 9655 | 3.5 | 0 | 75410 | 138 | 486 | 183828394 | 20967924 || 9655 | 20100503 | 1/ 1 | 6176995 | 0 | 1243.19/1243.24 c | 9722 | 3.2 | 0 | 75487 | 1258 | 487 | 184493611 | 21071428 || 9722 | 20186427 | 1/ 1 | 6203056 | 0 | 1247.59/1247.66 c | 9725 | 4.4 | 0 | 76253 | 21662 | 488 | 185259773 | 21138549 || 9725 | 20289183 | 1/ 1 | 6248744 | 0 | 1253.09/1253.18 c | 9743 | 5.5 | 0 | 74578 | 197 | 489 | 186062501 | 21212286 || 9743 | 20339349 | 1/ 1 | 6252791 | 0 | 1256.49/1256.54 c | 9825 | 3.4 | 0 | 68953 | 188 | 490 | 186736955 | 21321325 || 9825 | 20424559 | 1/ 1 | 6278028 | 0 | 1259.89/1259.95 c | 9883 | 3.4 | 0 | 71819 | 1304 | 491 | 187474656 | 21419923 || 9883 | 20508719 | 1/ 1 | 6303587 | 0 | 1263.19/1263.22 c | 9975 | 3.3 | 0 | 70387 | 340 | 492 | 188174136 | 21535106 || 9975 | 20597191 | 1/ 1 | 6329277 | 0 | 1267.29/1267.32 c | 9980 | 4.1 | 0 | 72142 | 12230 | 493 | 188948335 | 21603428 || 9980 | 20676163 | 1/ 1 | 6354785 | 0 | 1270.59/1270.69 c | 10072 | 3.4 | 0 | 68754 | 293 | 494 | 189652397 | 21719490 || 10072 | 20763177 | 1/ 1 | 6380435 | 0 | 1274.39/1274.40 c | 10131 | 3.7 | 0 | 73600 | 116 | 495 | 190369599 | 21817107 || 10131 | 20846877 | 1/ 1 | 6405832 | 0 | 1277.69/1277.75 c | 10215 | 3.3 | 0 | 76544 | 504 | 496 | 191079711 | 21929576 || 10215 | 20934949 | 1/ 1 | 6431713 | 0 | 1282.09/1282.19 c | 10235 | 4.5 | 0 | 77081 | 6343 | 497 | 191928786 | 22007573 || 10235 | 21027103 | 1/ 1 | 6460502 | 0 | 1288.19/1288.25 c | 10236 | 6.0 | 0 | 76619 | 18143 | 498 | 192677603 | 22074727 || 10236 | 21104358 | 1/ 1 | 6486767 | 0 | 1296.29/1296.35 c | 10237 | 8.1 | 0 | 71111 | 68448 | 499 | 193489682 | 22136933 || 10237 | 21250857 | 1/ 1 | 6539068 | 0 | 1309.01/1309.06 c | 10237 | 12.7 | 0 | 74629 | 42049 | 500 | 194334436 | 22197793 || 10237 | 21269312 | 1/ 1 | 6539177 | 0 | 1316.59/1316.69 c | 10238 | 7.6 | 0 | 64930 | 92551 | 501 | 195145279 | 22261709 || 10238 | 21461987 | 1/ 1 | 6643250 | 0 | 1329.70/1329.79 c | 10238 | 13.1 | 0 | 62724 | 50602 | 502 | 195955578 | 22323795 || 10238 | 21569412 | 1/ 1 | 6644055 | 0 | 1343.80/1343.84 c | 10238 | 14.0 | 0 | 58244 | 40249 | 503 | 196819261 | 22383595 || 10238 | 21591671 | 1/ 1 | 6644216 | 0 | 1355.10/1355.20 c | 10238 | 11.4 | 0 | 57904 | 91052 | 504 | 197654580 | 22444411 || 10238 | 21591671 | 1/ 1 | 6644216 | 0 | 1360.40/1360.48 c | 10305 | 5.3 | 0 | 57347 | 275 | 505 | 198393373 | 22545838 || 10305 | 21661784 | 1/ 1 | 6664549 | 0 | 1363.80/1363.89 c | 10368 | 3.4 | 0 | 56084 | 177 | 506 | 199159906 | 22647372 || 10368 | 21751509 | 1/ 1 | 6690847 | 0 | 1367.00/1367.07 c | 10459 | 3.2 | 0 | 60454 | 868 | 507 | 199887267 | 22763712 || 10459 | 21841967 | 1/ 1 | 6718489 | 0 | 1371.10/1371.19 c | 10493 | 4.1 | 0 | 66385 | 19138 | 508 | 200718638 | 22852658 || 10493 | 21947556 | 1/ 1 | 6749828 | 0 | 1374.50/1374.53 c | 10556 | 3.3 | 0 | 69301 | 2952 | 509 | 201432574 | 22954849 || 10556 | 22014407 | 1/ 1 | 6769650 | 0 | 1378.00/1378.01 c | 10620 | 3.5 | 0 | 73714 | 6131 | 510 | 202154675 | 23058409 || 10620 | 22101809 | 1/ 1 | 6796038 | 0 | 1381.40/1381.42 c | 10713 | 3.4 | 0 | 78506 | 504 | 511 | 202873724 | 23177881 || 10713 | 22192309 | 1/ 1 | 6822523 | 0 | 1385.60/1385.68 c | 10748 | 4.3 | 0 | 79786 | 19190 | 512 | 203675852 | 23265406 || 10748 | 22298161 | 1/ 1 | 6855467 | 0 | 1391.00/1391.08 c | 10749 | 5.4 | 0 | 78502 | 13283 | 513 | 204479139 | 23335172 || 10749 | 22382601 | 1/ 1 | 6881780 | 0 | 1395.39/1395.40 c | 10816 | 4.3 | 0 | 74708 | 248 | 514 | 205212187 | 23439667 || 10816 | 22451823 | 1/ 1 | 6902150 | 0 | 1398.89/1398.95 c | 10882 | 3.6 | 0 | 74627 | 205 | 515 | 205976136 | 23545172 || 10882 | 22539287 | 1/ 1 | 6928859 | 0 | 1402.40/1402.51 c | 10970 | 3.6 | 0 | 74910 | 139 | 516 | 206713247 | 23662365 || 10970 | 22632655 | 1/ 1 | 6956123 | 0 | 1406.99/1407.00 c | 11004 | 4.5 | 0 | 76475 | 2523 | 517 | 207541998 | 23748369 || 11004 | 22734858 | 1/ 1 | 6987414 | 0 | 1410.79/1410.83 c | 11078 | 3.8 | 0 | 73833 | 289 | 518 | 208328876 | 23855946 || 11078 | 22808981 | 1/ 1 | 7008986 | 0 | 1414.69/1414.73 c | 11145 | 3.9 | 0 | 75136 | 347 | 519 | 209080559 | 23960762 || 11145 | 22897923 | 1/ 1 | 7036115 | 0 | 1418.09/1418.16 c | 11232 | 3.4 | 0 | 79476 | 379 | 520 | 209801108 | 24079253 || 11232 | 22989558 | 1/ 1 | 7063008 | 0 | 1422.49/1422.58 c | 11259 | 4.4 | 0 | 81123 | 6158 | 521 | 210665447 | 24162898 || 11259 | 23089779 | 1/ 1 | 7093018 | 0 | 1431.11/1431.17 c | 11260 | 8.6 | 0 | 79825 | 20359 | 522 | 211551058 | 24228517 || 11260 | 23172605 | 1/ 1 | 7119309 | 0 | 1440.29/1440.38 c | 11261 | 9.2 | 0 | 76300 | 73064 | 523 | 212385899 | 24294597 || 11261 | 23326096 | 1/ 1 | 7171786 | 0 | 1452.60/1452.61 c | 11261 | 12.2 | 0 | 74883 | 49065 | 524 | 213189006 | 24358325 || 11261 | 23333966 | 1/ 1 | 7171846 | 0 | 1456.60/1456.60 c | 11354 | 4.0 | 0 | 67692 | 13 | 525 | 213930487 | 24481129 || 11354 | 23425125 | 1/ 1 | 7198293 | 0 | 1460.40/1460.47 c | 11419 | 3.9 | 0 | 68283 | 1605 | 526 | 214707943 | 24584671 || 11419 | 23516560 | 1/ 1 | 7226355 | 0 | 1463.90/1463.98 c | 11512 | 3.5 | 0 | 66995 | 1156 | 527 | 215468039 | 24707859 || 11512 | 23609193 | 1/ 1 | 7252822 | 0 | 1468.70/1468.77 c | 11530 | 4.8 | 0 | 70955 | 483 | 528 | 216383885 | 24786859 || 11530 | 23696289 | 1/ 1 | 7279971 | 0 | 1472.30/1472.31 c | 11620 | 3.5 | 0 | 72291 | 143 | 529 | 217140172 | 24906342 || 11620 | 23790816 | 1/ 1 | 7307272 | 0 | 1476.22/1476.23 c | 11688 | 3.9 | 0 | 78289 | 363 | 530 | 217952713 | 25014720 || 11688 | 23882581 | 1/ 1 | 7334520 | 0 | 1479.90/1479.96 c | 11769 | 3.7 | 0 | 82972 | 374 | 531 | 218705510 | 25130883 || 11769 | 23979288 | 1/ 1 | 7363448 | 0 | 1485.70/1485.79 c | 11772 | 5.8 | 0 | 82963 | 25157 | 532 | 219679289 | 25202263 || 11772 | 24101309 | 1/ 1 | 7409184 | 0 | 1493.50/1493.56 c | 11803 | 7.8 | 0 | 81273 | 338 | 533 | 220559660 | 25286452 || 11803 | 24163425 | 1/ 1 | 7417680 | 0 | 1497.50/1497.52 c | 11897 | 4.0 | 0 | 74429 | 1817 | 534 | 221334527 | 25409025 || 11897 | 24258335 | 1/ 1 | 7445750 | 0 | 1501.52/1501.59 c | 11962 | 4.1 | 0 | 79409 | 1842 | 535 | 222099282 | 25517102 || 11962 | 24352841 | 1/ 1 | 7475391 | 0 | 1505.60/1505.60 c | 12026 | 4.0 | 0 | 78012 | 2764 | 536 | 222894401 | 25622811 || 12026 | 24447376 | 1/ 1 | 7501918 | 0 | 1509.90/1509.98 c | 12080 | 4.4 | 0 | 78445 | 259 | 537 | 223778505 | 25719319 || 12080 | 24532039 | 1/ 1 | 7527879 | 0 | 1513.90/1513.90 c | 12154 | 3.9 | 0 | 75796 | 4998 | 538 | 224562835 | 25829948 || 12154 | 24632063 | 1/ 1 | 7561185 | 0 | 1517.70/1517.77 c | 12231 | 3.9 | 0 | 81078 | 231 | 539 | 225341171 | 25946331 || 12231 | 24717705 | 1/ 1 | 7583550 | 0 | 1522.10/1522.12 c | 12282 | 4.3 | 0 | 83903 | 14069 | 540 | 226164380 | 26046708 || 12282 | 24829560 | 1/ 1 | 7620582 | 0 | 1528.80/1528.86 c | 12283 | 6.7 | 0 | 82468 | 10970 | 541 | 227070622 | 26120179 || 12283 | 24922686 | 1/ 1 | 7646902 | 0 | 1537.40/1537.46 c | 12284 | 8.6 | 0 | 81693 | 65577 | 542 | 227946016 | 26189293 || 12284 | 25066479 | 1/ 1 | 7699260 | 0 | 1546.39/1546.49 c | 12284 | 9.0 | 0 | 76525 | 43472 | 543 | 228896384 | 26252593 || 12284 | 25092593 | 1/ 1 | 7699453 | 0 | 1555.41/1555.44 c | 12285 | 9.0 | 0 | 75074 | 98273 | 544 | 229762644 | 26318637 || 12285 | 25295333 | 1/ 1 | 7803642 | 0 | 1574.80/1574.89 c | 12285 | 19.5 | 0 | 70744 | 54908 | 545 | 230695749 | 26384579 || 12285 | 25413499 | 1/ 1 | 7804496 | 0 | 1592.10/1592.12 c | 12285 | 17.2 | 0 | 64925 | 54581 | 546 | 231606152 | 26450494 || 12285 | 25414421 | 1/ 1 | 7804502 | 0 | 1607.70/1607.74 c | 12286 | 15.6 | 0 | 68422 | 109683 | 547 | 232535762 | 26515299 || 12286 | 25636142 | 1/ 1 | 8011526 | 0 | 1618.51/1618.54 c | 12286 | 10.8 | 0 | 58506 | 55209 | 548 | 233427205 | 26582097 || 12286 | 25752595 | 1/ 1 | 8012413 | 0 | 1637.51/1637.58 c | 12286 | 19.0 | 0 | 66558 | 55301 | 549 | 234292007 | 26647764 || 12286 | 25869379 | 1/ 1 | 8013269 | 0 | 1661.10/1661.11 c | 12286 | 23.5 | 0 | 70774 | 55401 | 550 | 235142722 | 26713293 || 12286 | 25986119 | 1/ 1 | 8014121 | 0 | 1684.80/1684.81 c | 12286 | 23.7 | 0 | 75807 | 23892 | 551 | 235990099 | 26780065 || 12286 | 26052785 | 1/ 1 | 8014622 | 0 | 1703.51/1703.59 c | 12286 | 18.8 | 0 | 70695 | 79494 | 552 | 236854829 | 26847571 || 12286 | 26052785 | 1/ 1 | 8014622 | 0 | 1719.10/1719.17 c | 12286 | 15.6 | 0 | 77552 | 135195 | 553 | 237721627 | 26916343 || 12286 | 26052785 | 1/ 1 | 8014622 | 0 | 1730.60/1730.67 c | 12286 | 11.5 | 0 | 73066 | 190996 | 554 | 238572659 | 26987679 || 12286 | 26052785 | 1/ 1 | 8014622 | 0 | 1735.71/1735.75 c | 12361 | 5.1 | 0 | 60568 | 157 | 555 | 239374954 | 27102543 || 12361 | 26129583 | 1/ 1 | 8036356 | 0 | 1739.60/1739.68 c | 12435 | 3.9 | 0 | 61360 | 217 | 556 | 240201535 | 27216725 || 12435 | 26229077 | 1/ 1 | 8065409 | 0 | 1743.20/1743.23 c | 12532 | 3.5 | 0 | 66630 | 221 | 557 | 241004715 | 27346055 || 12532 | 26328013 | 1/ 1 | 8093936 | 0 | 1748.70/1748.73 c | 12555 | 5.5 | 0 | 73298 | 210 | 558 | 241929469 | 27430140 || 12555 | 26421101 | 1/ 1 | 8122737 | 0 | 1752.60/1752.60 c | 12650 | 3.9 | 0 | 75269 | 590 | 559 | 242718731 | 27559323 || 12650 | 26519491 | 1/ 1 | 8151703 | 0 | 1756.61/1756.67 c | 12728 | 4.1 | 0 | 81806 | 303 | 560 | 243533430 | 27675765 || 12728 | 26615141 | 1/ 1 | 8180644 | 0 | 1760.80/1760.81 c | 12795 | 4.1 | 0 | 86990 | 90 | 561 | 244337601 | 27787872 || 12795 | 26722461 | 1/ 1 | 8212840 | 0 | 1767.61/1767.66 c | 12797 | 6.8 | 0 | 87049 | 37498 | 562 | 245323026 | 27862710 || 12797 | 26844440 | 1/ 1 | 8252197 | 0 | 1775.10/1775.18 c | 12859 | 7.5 | 0 | 84885 | 1969 | 563 | 246209939 | 27968039 || 12859 | 26902401 | 1/ 1 | 8268813 | 0 | 1779.60/1779.65 c | 12924 | 4.5 | 0 | 80339 | 3317 | 564 | 247073589 | 28080278 || 12924 | 27004457 | 1/ 1 | 8298527 | 0 | 1783.60/1783.67 c | 13018 | 4.0 | 0 | 84056 | 673 | 565 | 247864339 | 28207537 || 13018 | 27100093 | 1/ 1 | 8326613 | 0 | 1788.70/1788.70 c | 13052 | 5.0 | 0 | 83371 | 7929 | 566 | 248692892 | 28301230 || 13052 | 27198683 | 1/ 1 | 8357874 | 0 | 1792.90/1792.97 c | 13146 | 4.3 | 0 | 83341 | 1468 | 567 | 249504467 | 28426638 || 13146 | 27293403 | 1/ 1 | 8385938 | 0 | 1797.30/1797.32 c | 13220 | 4.3 | 0 | 82247 | 176 | 568 | 250351991 | 28543065 || 13220 | 27390356 | 1/ 1 | 8414039 | 0 | 1801.50/1801.52 c | 13305 | 4.2 | 0 | 86883 | 2593 | 569 | 251162927 | 28666811 || 13305 | 27490640 | 1/ 1 | 8443744 | 0 | 1808.00/1808.00 c | 13308 | 6.5 | 0 | 89342 | 31191 | 570 | 252078799 | 28741108 || 13308 | 27614901 | 1/ 1 | 8489617 | 0 | 1816.20/1816.21 c | 13309 | 8.2 | 0 | 87016 | 50277 | 571 | 253068880 | 28813180 || 13309 | 27743037 | 1/ 1 | 8541921 | 0 | 1828.40/1828.44 c | 13309 | 12.2 | 0 | 83192 | 31078 | 572 | 254183594 | 28885656 || 13309 | 27806441 | 1/ 1 | 8542331 | 0 | 1834.70/1834.77 c | 13372 | 6.3 | 0 | 79905 | 2145 | 573 | 255041625 | 28997411 || 13372 | 27875180 | 1/ 1 | 8562179 | 0 | 1839.00/1839.01 c | 13451 | 4.2 | 0 | 75004 | 850 | 574 | 255876938 | 29116336 || 13451 | 27973111 | 1/ 1 | 8591913 | 0 | 1843.10/1843.13 c | 13552 | 4.1 | 0 | 75005 | 537 | 575 | 256694540 | 29247409 || 13552 | 28074149 | 1/ 1 | 8621330 | 0 | 1848.02/1848.03 c | 13579 | 4.9 | 0 | 75567 | 1022 | 576 | 257600601 | 29337411 || 13579 | 28167549 | 1/ 1 | 8651341 | 0 | 1852.11/1852.11 c | 13680 | 4.1 | 0 | 77515 | 351 | 577 | 258436108 | 29470639 || 13680 | 28269235 | 1/ 1 | 8680773 | 0 | 1856.21/1856.27 c | 13753 | 4.2 | 0 | 83798 | 1071 | 578 | 259231484 | 29587946 || 13753 | 28367846 | 1/ 1 | 8710897 | 0 | 1860.81/1860.86 c | 13818 | 4.6 | 0 | 89011 | 6336 | 579 | 260107724 | 29701776 || 13818 | 28466104 | 1/ 1 | 8740600 | 0 | 1867.83/1867.82 c | 13820 | 7.0 | 0 | 89278 | 7137 | 580 | 261024130 | 29776984 || 13820 | 28590709 | 1/ 1 | 8779975 | 0 | 1873.11/1873.13 c | 13889 | 5.3 | 0 | 87253 | 14 | 581 | 261868424 | 29891262 || 13889 | 28661263 | 1/ 1 | 8800670 | 0 | 1877.41/1877.47 c | 13969 | 4.3 | 0 | 82462 | 94 | 582 | 262709759 | 30015883 || 13969 | 28761445 | 1/ 1 | 8830816 | 0 | 1881.61/1881.67 c | 14071 | 4.2 | 0 | 86190 | 400 | 583 | 263527003 | 30150788 || 14071 | 28864967 | 1/ 1 | 8860960 | 0 | 1887.51/1887.52 c | 14103 | 5.8 | 0 | 86952 | 96 | 584 | 264440400 | 30243806 || 14103 | 28961169 | 1/ 1 | 8891002 | 0 | 1891.91/1891.95 c | 14200 | 4.4 | 0 | 84030 | 6 | 585 | 265291215 | 30377731 || 14200 | 29068551 | 1/ 1 | 8921953 | 0 | 1896.51/1896.55 c | 14265 | 4.6 | 0 | 86435 | 2740 | 586 | 266139113 | 30490625 || 14265 | 29167262 | 1/ 1 | 8951616 | 0 | 1901.41/1901.49 c | 14330 | 4.9 | 0 | 90708 | 13578 | 587 | 267043693 | 30603015 || 14330 | 29283425 | 1/ 1 | 8991067 | 0 | 1908.81/1908.83 c | 14331 | 7.3 | 0 | 91318 | 15179 | 588 | 268046891 | 30680458 || 14331 | 29375727 | 1/ 1 | 9017454 | 0 | 1920.51/1920.57 c | 14332 | 11.7 | 0 | 87911 | 74482 | 589 | 269067190 | 30753279 || 14332 | 29532121 | 1/ 1 | 9069858 | 0 | 1931.91/1931.98 c | 14333 | 11.4 | 0 | 82264 | 57084 | 590 | 270058246 | 30829265 || 14333 | 29653034 | 1/ 1 | 9173399 | 0 | 1944.11/1944.18 c | 14333 | 12.2 | 0 | 78019 | 59501 | 591 | 270914154 | 30904526 || 14333 | 29785571 | 1/ 1 | 9174403 | 0 | 1963.91/1963.98 c | 14333 | 19.8 | 0 | 74868 | 22582 | 592 | 271815868 | 30977605 || 14333 | 29870420 | 1/ 1 | 9175019 | 0 | 1982.00/1982.01 c | 14333 | 18.0 | 0 | 72057 | 82285 | 593 | 272799390 | 31048643 || 14333 | 29870420 | 1/ 1 | 9175019 | 0 | 1990.30/1990.30 c | 14401 | 8.3 | 0 | 68451 | 144 | 594 | 273712458 | 31163686 || 14401 | 29940229 | 1/ 1 | 9195511 | 0 | 1994.61/1994.60 c | 14485 | 4.3 | 0 | 65377 | 21 | 595 | 274594808 | 31289984 || 14485 | 30044635 | 1/ 1 | 9226232 | 0 | 1998.51/1998.52 c | 14585 | 3.9 | 0 | 71025 | 236 | 596 | 275431766 | 31423408 || 14585 | 30151386 | 1/ 1 | 9257659 | 0 | 2003.81/2003.85 c | 14619 | 5.3 | 0 | 77949 | 1820 | 597 | 276358831 | 31520933 || 14619 | 30250650 | 1/ 1 | 9288938 | 0 | 2008.01/2008.09 c | 14714 | 4.2 | 0 | 80485 | 92 | 598 | 277210419 | 31653811 || 14714 | 30359005 | 1/ 1 | 9320345 | 0 | 2012.41/2012.49 c | 14793 | 4.4 | 0 | 87011 | 94 | 599 | 278066746 | 31777929 || 14793 | 30459221 | 1/ 1 | 9350108 | 0 | 2017.91/2017.96 c | 14843 | 5.5 | 0 | 92616 | 1898 | 600 | 279042512 | 31884120 || 14843 | 30575918 | 1/ 1 | 9386354 | 0 | 2025.21/2025.28 c | 14844 | 7.3 | 0 | 92227 | 24000 | 601 | 280066300 | 31960279 || 14844 | 30658385 | 1/ 1 | 9412633 | 0 | 2029.91/2029.94 c | 14952 | 4.7 | 0 | 87020 | 391 | 602 | 280896349 | 32098762 || 14952 | 30762285 | 1/ 1 | 9443236 | 0 | 2034.61/2034.68 c | 15033 | 4.7 | 0 | 86378 | 1334 | 603 | 281757681 | 32226607 || 15033 | 30868759 | 1/ 1 | 9475425 | 0 | 2039.21/2039.30 c | 15099 | 4.6 | 0 | 89699 | 6715 | 604 | 282627123 | 32345483 || 15099 | 30981141 | 1/ 1 | 9518025 | 0 | 2044.61/2044.60 c | 15162 | 5.3 | 0 | 88045 | 152 | 605 | 283546377 | 32457399 || 15162 | 31073642 | 1/ 1 | 9537998 | 0 | 2049.11/2049.13 c | 15242 | 4.5 | 0 | 87302 | 856 | 606 | 284443988 | 32586222 || 15242 | 31175019 | 1/ 1 | 9567831 | 0 | 2053.61/2053.69 c | 15350 | 4.5 | 0 | 89160 | 715 | 607 | 285303723 | 32727647 || 15350 | 31284203 | 1/ 1 | 9599109 | 0 | 2059.61/2059.68 c | 15355 | 6.0 | 0 | 96668 | 25915 | 608 | 286312078 | 32810586 || 15355 | 31415607 | 1/ 1 | 9649773 | 0 | 2069.01/2069.04 c | 15356 | 9.4 | 0 | 92881 | 48814 | 609 | 287416608 | 32891729 || 15356 | 31554642 | 1/ 1 | 9702071 | 0 | 2081.31/2081.33 c | 15356 | 12.3 | 0 | 89583 | 33413 | 610 | 288498098 | 32969333 || 15356 | 31622247 | 1/ 1 | 9702520 | 0 | 2086.81/2086.85 c | 15434 | 5.5 | 0 | 81347 | 661 | 611 | 289387573 | 33090533 || 15434 | 31700505 | 1/ 1 | 9725658 | 0 | 2091.61/2091.63 c | 15514 | 4.8 | 0 | 81147 | 804 | 612 | 290298929 | 33216422 || 15514 | 31807456 | 1/ 1 | 9757009 | 0 | 2096.01/2096.01 c | 15609 | 4.4 | 0 | 81320 | 2959 | 613 | 291152719 | 33351194 || 15609 | 31911789 | 1/ 1 | 9788449 | 0 | 2101.91/2101.90 c | 15660 | 5.9 | 0 | 80206 | 216 | 614 | 292071254 | 33463276 || 15660 | 32014559 | 1/ 1 | 9820176 | 0 | 2106.41/2106.47 c | 15738 | 4.6 | 0 | 83013 | 1363 | 615 | 292960055 | 33590525 || 15738 | 32127831 | 1/ 1 | 9854428 | 0 | 2111.01/2111.06 c | 15839 | 4.6 | 0 | 89202 | 206 | 616 | 293847054 | 33727955 || 15839 | 32229904 | 1/ 1 | 9883801 | 0 | 2117.21/2117.23 c | 15867 | 6.2 | 0 | 95208 | 16187 | 617 | 294783501 | 33823777 || 15867 | 32359049 | 1/ 1 | 9939749 | 0 | 2124.91/2124.92 c | 15898 | 7.7 | 0 | 93341 | 2300 | 618 | 295775762 | 33920001 || 15898 | 32440753 | 1/ 1 | 9948401 | 0 | 2129.82/2129.85 c | 15993 | 4.9 | 0 | 89441 | 2640 | 619 | 296671293 | 34053524 || 15993 | 32547859 | 1/ 1 | 9979817 | 0 | 2134.52/2134.57 c | 16085 | 4.7 | 0 | 89335 | 98 | 620 | 297524763 | 34187983 || 16085 | 32653617 | 1/ 1 | 10011588 | 0 | 2140.22/2140.20 c | 16122 | 5.6 | 0 | 91858 | 8661 | 621 | 298457964 | 34291793 || 16122 | 32763434 | 1/ 1 | 10045704 | 0 | 2145.11/2145.15 c | 16229 | 4.9 | 0 | 91034 | 179 | 622 | 299348394 | 34433980 || 16229 | 32867411 | 1/ 1 | 10075895 | 0 | 2150.22/2150.22 c | 16311 | 5.1 | 0 | 89947 | 447 | 623 | 300274252 | 34561604 || 16311 | 32975999 | 1/ 1 | 10108496 | 0 | 2155.41/2155.41 c | 16377 | 5.2 | 0 | 93887 | 10200 | 624 | 301167742 | 34680791 || 16377 | 33093082 | 1/ 1 | 10151221 | 0 | 2163.41/2163.43 c | 16378 | 8.0 | 0 | 97192 | 15501 | 625 | 302185903 | 34761576 || 16378 | 33193730 | 1/ 1 | 10177664 | 0 | 2174.11/2174.15 c | 16379 | 10.7 | 0 | 93013 | 1696 | 626 | 303259410 | 34840448 || 16379 | 33351785 | 1/ 1 | 10230181 | 0 | 2183.31/2183.41 c | 16380 | 9.3 | 0 | 85230 | 64800 | 627 | 304336951 | 34916151 || 16380 | 33483201 | 1/ 1 | 10333853 | 0 | 2204.01/2204.05 c | 16380 | 20.7 | 0 | 84775 | 63201 | 628 | 305431018 | 34993535 || 16380 | 33619359 | 1/ 1 | 10334873 | 0 | 2227.11/2227.11 c | 16380 | 23.1 | 0 | 85035 | 37702 | 629 | 306532262 | 35068888 || 16380 | 33675015 | 1/ 1 | 10335272 | 0 | 2251.82/2251.86 c | 16380 | 24.8 | 0 | 79001 | 101104 | 630 | 307596357 | 35141251 || 16380 | 33675015 | 1/ 1 | 10335272 | 0 | 2267.22/2267.29 c | 16381 | 15.4 | 0 | 65263 | 164606 | 631 | 308620581 | 35221324 || 16381 | 34023315 | 1/ 1 | 10543158 | 0 | 2294.02/2294.07 c | 16381 | 26.8 | 0 | 73880 | 63607 | 632 | 309641915 | 35300429 || 16381 | 34165631 | 1/ 1 | 10544229 | 0 | 2339.92/2339.95 c | 16381 | 45.9 | 0 | 78558 | 63703 | 633 | 310653727 | 35379030 || 16381 | 34306096 | 1/ 1 | 10545354 | 0 | 2374.02/2374.09 c | 16381 | 34.1 | 0 | 80835 | 48512 | 634 | 311689969 | 35455311 || 16381 | 34340023 | 1/ 1 | 10545607 | 0 | 2395.02/2395.06 c | 16381 | 21.0 | 0 | 77263 | 112414 | 635 | 312742281 | 35529486 || 16381 | 34340023 | 1/ 1 | 10545607 | 0 | 2418.02/2418.07 c | 16381 | 23.0 | 0 | 78600 | 176416 | 636 | 313800625 | 35601950 || 16381 | 34340023 | 1/ 1 | 10545607 | 0 | 2435.62/2435.66 c | 16382 | 17.6 | 0 | 69746 | 240520 | 637 | 314855270 | 35678883 || 16382 | 34834390 | 1/ 1 | 10959913 | 0 | 2455.12/2455.12 c | 16382 | 19.4 | 0 | 72369 | 64203 | 638 | 315915591 | 35757981 || 16382 | 34981920 | 1/ 1 | 10960949 | 0 | 2483.03/2483.09 c | 16382 | 28.0 | 0 | 74635 | 64301 | 639 | 316964453 | 35836739 || 16382 | 35133276 | 1/ 1 | 10961993 | 0 | 2507.12/2507.16 c | 16382 | 24.1 | 0 | 79285 | 64401 | 640 | 318000399 | 35914166 || 16382 | 35279211 | 1/ 1 | 10963028 | 0 | 2533.02/2533.05 c | 16382 | 25.9 | 0 | 77274 | 64503 | 641 | 318959570 | 35990718 || 16382 | 35423020 | 1/ 1 | 10964074 | 0 | 2562.42/2562.40 c | 16382 | 29.3 | 0 | 82414 | 64603 | 642 | 319916770 | 36067692 || 16382 | 35563354 | 1/ 1 | 10965106 | 0 | 2589.13/2589.15 c | 16382 | 26.8 | 0 | 78229 | 12831 | 643 | 320894383 | 36144728 || 16382 | 35676961 | 1/ 1 | 10965936 | 0 | 2611.72/2611.72 c | 16382 | 22.6 | 0 | 75361 | 77633 | 644 | 321855717 | 36219240 || 16382 | 35676961 | 1/ 1 | 10965936 | 0 | 2630.82/2630.88 c | 16382 | 19.2 | 0 | 73077 | 142536 | 645 | 322835357 | 36296054 || 16382 | 35676961 | 1/ 1 | 10965936 | 0 | 2649.43/2649.48 c | 16382 | 18.6 | 0 | 79769 | 207538 | 646 | 323851365 | 36373183 || 16382 | 35676961 | 1/ 1 | 10965936 | 0 | 2669.23/2669.28 c | 16382 | 19.8 | 0 | 76870 | 272639 | 647 | 324874627 | 36448717 || 16382 | 35676961 | 1/ 1 | 10965936 | 0 | 2690.03/2690.09 c | 16382 | 20.8 | 0 | 75628 | 337841 | 648 | 325854618 | 36523537 || 16382 | 35676961 | 1/ 1 | 10965936 | 0 | 2711.55/2711.55 c | 16382 | 21.4 | 0 | 94324 | 403142 | 649 | 326813548 | 36598748 || 16382 | 35676961 | 1/ 1 | 10965936 | 0 | 2733.55/2733.54 c | 16383 | 22.0 | 0 | 70970 | 468543 | 650 | 327915310 | 36680009 || 16383 | 36639671 | 1/ 1 | 11794410 | 0 | 2753.02/2753.04 c | 16383 | 19.5 | 0 | 71496 | 65502 | 651 | 328944027 | 36757448 || 16383 | 36787765 | 1/ 1 | 11795390 | 0 | 2775.13/2775.21 c | 16383 | 22.2 | 0 | 73675 | 65604 | 652 | 330031004 | 36835470 || 16383 | 36941604 | 1/ 1 | 11796405 | 0 | 2800.13/2800.15 c | 16383 | 25.0 | 0 | 72641 | 65701 | 653 | 331129170 | 36916323 || 16383 | 37093784 | 1/ 1 | 11797487 | 0 | 2830.63/2830.65 c | 16383 | 30.5 | 0 | 83784 | 65801 | 654 | 332239269 | 36996331 || 16383 | 37247125 | 1/ 1 | 11798555 | 0 | 2864.83/2864.83 c | 16383 | 34.2 | 0 | 80459 | 65907 | 655 | 333362281 | 37074886 || 16383 | 37401875 | 1/ 1 | 11799558 | 0 | 2907.63/2907.66 c | 16383 | 42.8 | 0 | 86187 | 66003 | 656 | 334449003 | 37153419 || 16383 | 37557190 | 1/ 1 | 11800623 | 0 | 2947.33/2947.34 c | 16383 | 39.7 | 0 | 89362 | 66103 | 657 | 335494104 | 37231734 || 16383 | 37711006 | 1/ 1 | 11801670 | 0 | 2990.14/2990.10 c | 16383 | 42.8 | 0 | 88622 | 66202 | 658 | 336559215 | 37309850 || 16383 | 37859669 | 1/ 1 | 11802664 | 0 | 3022.03/3022.02 c | 16383 | 31.9 | 0 | 85513 | 66303 | 659 | 337691467 | 37388861 || 16383 | 38013238 | 1/ 1 | 11803749 | 0 | 3054.83/3054.81 c | 16383 | 32.8 | 0 | 80600 | 66405 | 660 | 338802340 | 37468300 || 16383 | 38164059 | 1/ 1 | 11804741 | 0 | 3086.83/3086.86 c | 16383 | 32.1 | 0 | 83831 | 66508 | 661 | 339945819 | 37547692 || 16383 | 38314421 | 1/ 1 | 11805796 | 0 | 3112.73/3112.71 c | 16383 | 25.8 | 0 | 81448 | 32380 | 662 | 341020119 | 37628313 || 16383 | 38391503 | 1/ 1 | 11806347 | 0 | 3131.34/3131.39 c | 16383 | 18.7 | 0 | 72366 | 99082 | 663 | 342154297 | 37706843 || 16383 | 38391503 | 1/ 1 | 11806347 | 0 | 3150.84/3150.83 c | 16383 | 19.4 | 0 | 75917 | 165883 | 664 | 343301074 | 37783910 || 16383 | 38391503 | 1/ 1 | 11806347 | 0 | 3179.06/3179.09 c | 16383 | 28.3 | 0 | 84792 | 232784 | 665 | 344428974 | 37857920 || 16383 | 38391503 | 1/ 1 | 11806347 | 0 | 3204.64/3204.64 c | 16383 | 25.5 | 0 | 85395 | 299786 | 666 | 345541956 | 37932936 || 16383 | 38391503 | 1/ 1 | 11806347 | 0 | 3228.84/3228.82 c | 16383 | 24.2 | 0 | 80326 | 366889 | 667 | 346621444 | 38008602 || 16383 | 38391503 | 1/ 1 | 11806347 | 0 | 3248.74/3248.79 c | 16383 | 20.0 | 0 | 78028 | 434090 | 668 | 347709810 | 38084443 || 16383 | 38391503 | 1/ 1 | 11806347 | 0 | 3270.54/3270.59 c | 16383 | 21.8 | 0 | 80816 | 501392 | 669 | 348784093 | 38159882 || 16383 | 38391503 | 1/ 1 | 11806347 | 0 | 3290.44/3290.43 c | 16383 | 19.8 | 0 | 76322 | 568793 | 670 | 349871339 | 38235521 || 16383 | 38391503 | 1/ 1 | 11806347 | 0 | 3313.75/3313.79 c | 16383 | 23.4 | 0 | 81700 | 636294 | 671 | 351004876 | 38310250 || 16383 | 38391503 | 1/ 1 | 11806347 | 0 | 3336.04/3336.10 c | 16383 | 22.3 | 0 | 83097 | 703896 | 672 | 352148332 | 38385937 || 16383 | 38391503 | 1/ 1 | 11806347 | 0 | 3357.74/3357.77 c | 16383 | 21.7 | 0 | 78873 | 771598 | 673 | 353252067 | 38462812 || 16383 | 38391503 | 1/ 1 | 11806347 | 0 | 3374.24/3374.25 c | 16428 | 16.5 | 0 | 79974 | 257 | 674 | 354315658 | 38567277 || 16428 | 38428181 | 1/ 1 | 11817118 | 0 | 3379.64/3379.66 c | 16510 | 5.4 | 0 | 71233 | 4450 | 675 | 355338878 | 38700975 || 16510 | 38547538 | 1/ 1 | 11852580 | 0 | 3384.54/3384.52 c | 16634 | 4.9 | 0 | 77809 | 434 | 676 | 356312725 | 38859624 || 16634 | 38666685 | 1/ 1 | 11887325 | 0 | 3390.15/3390.18 c | 16677 | 5.7 | 0 | 85059 | 412 | 677 | 357287919 | 38975346 || 16677 | 38777553 | 1/ 1 | 11921624 | 0 | 3395.45/3395.40 c | 16765 | 5.2 | 0 | 88644 | 3079 | 678 | 358272592 | 39113865 || 16765 | 38897999 | 1/ 1 | 11958235 | 0 | 3400.64/3400.65 c | 16887 | 5.2 | 0 | 95251 | 284 | 679 | 359247054 | 39269358 || 16887 | 39012621 | 1/ 1 | 11991769 | 0 | 3408.44/3408.46 c | 16894 | 7.8 | 0 | 102884 | 30574 | 680 | 360443221 | 39362094 || 16894 | 39161749 | 1/ 1 | 12043841 | 0 | 3415.34/3415.40 c | 16957 | 6.9 | 0 | 103674 | 4454 | 681 | 361533008 | 39483861 || 16957 | 39245645 | 1/ 1 | 12063819 | 0 | 3421.34/3421.35 c | 17052 | 6.0 | 0 | 100086 | 1500 | 682 | 362541368 | 39626319 || 17052 | 39360849 | 1/ 1 | 12098542 | 0 | 3427.04/3427.04 c | 17148 | 5.7 | 0 | 98523 | 8256 | 683 | 363529230 | 39767140 || 17148 | 39484875 | 1/ 1 | 12136514 | 0 | 3433.84/3433.81 c | 17212 | 6.8 | 0 | 102230 | 18 | 684 | 364558716 | 39897624 || 17212 | 39594429 | 1/ 1 | 12169516 | 0 | 3439.76/3439.80 c | 17307 | 6.0 | 0 | 100169 | 2151 | 685 | 365564387 | 40040213 || 17307 | 39710527 | 1/ 1 | 12204176 | 0 | 3445.64/3445.66 c | 17403 | 5.9 | 0 | 98633 | 9168 | 686 | 366570780 | 40183373 || 17403 | 39838322 | 1/ 1 | 12242125 | 0 | 3454.64/3454.63 c | 17405 | 9.0 | 0 | 104490 | 11056 | 687 | 367737358 | 40272736 || 17405 | 39961503 | 1/ 1 | 12281575 | 0 | 3467.64/3467.67 c | 17406 | 13.0 | 0 | 102733 | 3452 | 688 | 369006294 | 40360605 || 17406 | 40130644 | 1/ 1 | 12334099 | 0 | 3479.75/3479.71 c | 17452 | 12.1 | 0 | 96920 | 985 | 689 | 370130231 | 40473558 || 17452 | 40170223 | 1/ 1 | 12345666 | 0 | 3485.45/3485.42 c | 17537 | 5.7 | 0 | 90714 | 18 | 690 | 371165064 | 40615687 || 17537 | 40287263 | 1/ 1 | 12380934 | 0 | 3490.95/3490.90 c | 17658 | 5.5 | 0 | 92387 | 1228 | 691 | 372150028 | 40775625 || 17658 | 40410063 | 1/ 1 | 12416806 | 0 | 3497.65/3497.66 c | 17714 | 6.8 | 0 | 94953 | 424 | 692 | 373255153 | 40903681 || 17714 | 40527685 | 1/ 1 | 12452636 | 0 | 3503.85/3503.80 c | 17802 | 6.2 | 0 | 92317 | 210 | 693 | 374338310 | 41046164 || 17802 | 40651009 | 1/ 1 | 12488505 | 0 | 3509.35/3509.31 c | 17914 | 5.5 | 0 | 97956 | 4626 | 694 | 375312749 | 41201384 || 17914 | 40778573 | 1/ 1 | 12525699 | 0 | 3518.15/3518.19 c | 17917 | 8.9 | 0 | 105816 | 2520 | 695 | 376424302 | 41295313 || 17917 | 40917951 | 1/ 1 | 12571739 | 0 | 3524.85/3524.90 c | 18002 | 6.7 | 0 | 104241 | 433 | 696 | 377438016 | 41435375 || 18002 | 41001005 | 1/ 1 | 12596160 | 0 | 3531.07/3531.07 c | 18104 | 6.2 | 0 | 102638 | 597 | 697 | 378434904 | 41583360 || 18104 | 41120767 | 1/ 1 | 12632061 | 0 | 3537.45/3537.51 c | 18172 | 6.4 | 0 | 101351 | 13565 | 698 | 379466209 | 41715096 || 18172 | 41254645 | 1/ 1 | 12677311 | 0 | 3544.05/3544.00 c | 18266 | 6.5 | 0 | 103568 | 1088 | 699 | 380525788 | 41860220 || 18266 | 41362858 | 1/ 1 | 12705568 | 0 | 3549.95/3549.93 c | 18361 | 5.9 | 0 | 102859 | 1560 | 700 | 381536091 | 42006702 || 18361 | 41481753 | 1/ 1 | 12740287 | 0 | 3556.14/3556.12 c | 18427 | 6.2 | 0 | 102008 | 19063 | 701 | 382542079 | 42137626 || 18427 | 41619230 | 1/ 1 | 12783126 | 0 | 3564.85/3564.83 c | 18429 | 8.7 | 0 | 106677 | 32063 | 702 | 383598592 | 42231464 || 18429 | 41763641 | 1/ 1 | 12861208 | 0 | 3576.55/3576.50 c | 18429 | 11.7 | 0 | 102818 | 25963 | 703 | 384796084 | 42320535 || 18429 | 41861749 | 1/ 1 | 12861937 | 0 | 3590.35/3590.40 c | 18430 | 13.9 | 0 | 101587 | 96770 | 704 | 386104243 | 42408115 || 18430 | 42068009 | 1/ 1 | 12966108 | 0 | 3622.75/3622.76 c | 18430 | 32.4 | 0 | 96914 | 14070 | 705 | 387261802 | 42497346 || 18430 | 42193176 | 1/ 1 | 12967003 | 0 | 3637.55/3637.61 c | 18430 | 14.8 | 0 | 87780 | 85072 | 706 | 388448276 | 42588448 || 18430 | 42193176 | 1/ 1 | 12967003 | 0 | 3645.65/3645.68 c | 18524 | 8.1 | 0 | 83400 | 698 | 707 | 389494391 | 42733545 || 18524 | 42289808 | 1/ 1 | 12995093 | 0 | 3651.35/3651.34 c | 18620 | 5.7 | 0 | 78910 | 4393 | 708 | 390501834 | 42880713 || 18620 | 42415161 | 1/ 1 | 13033061 | 0 | 3657.25/3657.29 c | 18685 | 6.0 | 0 | 85137 | 3495 | 709 | 391579519 | 43012940 || 18685 | 42545740 | 1/ 1 | 13072590 | 0 | 3662.75/3662.71 c | 18798 | 5.4 | 0 | 90196 | 13 | 710 | 392592320 | 43170884 || 18798 | 42655121 | 1/ 1 | 13104530 | 0 | 3668.75/3668.75 c | 18890 | 6.0 | 0 | 97101 | 452 | 711 | 393632542 | 43316080 || 18890 | 42779041 | 1/ 1 | 13142029 | 0 | 3675.45/3675.44 c | 18940 | 6.7 | 0 | 103368 | 12255 | 712 | 394760633 | 43438223 || 18940 | 42900471 | 1/ 1 | 13178319 | 0 | 3685.45/3685.41 c | 18985 | 10.0 | 0 | 107776 | 296 | 713 | 395850660 | 43553168 || 18985 | 43021485 | 1/ 1 | 13214935 | 0 | 3691.75/3691.71 c | 19075 | 6.3 | 0 | 104072 | 245 | 714 | 396924264 | 43700708 || 19075 | 43146491 | 1/ 1 | 13252089 | 0 | 3697.75/3697.72 c | 19194 | 6.0 | 0 | 104058 | 4267 | 715 | 397916539 | 43864241 || 19194 | 43277162 | 1/ 1 | 13290551 | 0 | 3704.65/3704.66 c | 19258 | 6.9 | 0 | 107978 | 1651 | 716 | 399032403 | 43993604 || 19258 | 43396402 | 1/ 1 | 13326805 | 0 | 3710.96/3710.92 c | 19353 | 6.3 | 0 | 104966 | 1023 | 717 | 400078780 | 44142565 || 19353 | 43519237 | 1/ 1 | 13363159 | 0 | 3717.36/3717.35 c | 19450 | 6.4 | 0 | 105447 | 535 | 718 | 401166696 | 44293494 || 19450 | 43655419 | 1/ 1 | 13402883 | 0 | 3726.46/3726.49 c | 19452 | 9.1 | 0 | 109042 | 15224 | 719 | 402420652 | 44387106 || 19452 | 43783058 | 1/ 1 | 13442324 | 0 | 3739.05/3739.02 c | 19453 | 12.5 | 0 | 108792 | 10820 | 720 | 403571561 | 44478882 || 19453 | 43941413 | 1/ 1 | 13494891 | 0 | 3749.35/3749.31 c | 19515 | 10.3 | 0 | 104857 | 1458 | 721 | 404639368 | 44607577 || 19515 | 43998479 | 1/ 1 | 13511437 | 0 | 3755.55/3755.55 c | 19611 | 6.2 | 0 | 96130 | 116 | 722 | 405689916 | 44755140 || 19611 | 44125565 | 1/ 1 | 13549388 | 0 | 3761.45/3761.47 c | 19707 | 5.9 | 0 | 98334 | 3664 | 723 | 406754781 | 44904829 || 19707 | 44251984 | 1/ 1 | 13587369 | 0 | 3769.56/3769.60 c | 19786 | 8.1 | 0 | 99209 | 176 | 724 | 407903962 | 45043175 || 19786 | 44374322 | 1/ 1 | 13623641 | 0 | 3775.66/3775.66 c | 19895 | 6.1 | 0 | 97054 | 261 | 725 | 408916425 | 45201012 || 19895 | 44499448 | 1/ 1 | 13660826 | 0 | 3782.46/3782.46 c | 19963 | 6.8 | 0 | 104057 | 16630 | 726 | 410049007 | 45336323 || 19963 | 44644375 | 1/ 1 | 13706074 | 0 | 3791.46/3791.41 c | 19980 | 8.9 | 0 | 110072 | 844 | 727 | 411217515 | 45442254 || 19980 | 44744125 | 1/ 1 | 13735809 | 0 | 3797.66/3797.63 c | 20091 | 6.2 | 0 | 106373 | 5589 | 728 | 412236792 | 45602827 || 20091 | 44878263 | 1/ 1 | 13778540 | 0 | 3804.05/3804.07 c | 20207 | 6.4 | 0 | 108283 | 214 | 729 | 413271216 | 45762840 || 20207 | 44998958 | 1/ 1 | 13811275 | 0 | 3811.66/3811.68 c | 20264 | 7.6 | 0 | 108876 | 593 | 730 | 414377762 | 45890975 || 20264 | 45119087 | 1/ 1 | 13848745 | 0 | 3818.17/3818.17 c | 20359 | 6.5 | 0 | 107757 | 158 | 731 | 415430218 | 46039574 || 20359 | 45243569 | 1/ 1 | 13886272 | 0 | 3824.55/3824.50 c | 20473 | 6.3 | 0 | 106727 | 3589 | 732 | 416471233 | 46200844 || 20473 | 45378903 | 1/ 1 | 13930341 | 0 | 3833.85/3833.81 c | 20475 | 9.3 | 0 | 109735 | 10081 | 733 | 417584767 | 46294585 || 20475 | 45510507 | 1/ 1 | 13969856 | 0 | 3847.25/3847.23 c | 20476 | 13.4 | 0 | 110823 | 7072 | 734 | 418977931 | 46385436 || 20476 | 45675659 | 1/ 1 | 14022392 | 0 | 3863.75/3863.78 c | 20477 | 16.6 | 0 | 104560 | 80975 | 735 | 420214674 | 46474341 || 20477 | 45842887 | 1/ 1 | 14126316 | 0 | 3885.86/3885.88 c | 20477 | 22.1 | 0 | 101185 | 1379 | 736 | 421467590 | 46565406 || 20477 | 45996159 | 1/ 1 | 14127491 | 0 | 3907.28/3907.23 c | 20477 | 21.3 | 0 | 96665 | 75481 | 737 | 422657987 | 46653087 || 20477 | 45996159 | 1/ 1 | 14127491 | 0 | 3924.96/3924.95 c | 20478 | 17.7 | 0 | 91672 | 149682 | 738 | 423853519 | 46743375 || 20478 | 46304187 | 1/ 1 | 14335177 | 0 | 3984.36/3984.39 c | 20478 | 59.5 | 0 | 83270 | 74305 | 739 | 424997463 | 46831481 || 20478 | 46461195 | 1/ 1 | 14336340 | 0 | 4017.56/4017.52 c | 20478 | 33.1 | 0 | 88253 | 74402 | 740 | 426129285 | 46919987 || 20478 | 46623659 | 1/ 1 | 14337562 | 0 | 4042.06/4042.04 c | 20478 | 24.5 | 0 | 83558 | 65687 | 741 | 427226266 | 47017132 || 20478 | 46642336 | 1/ 1 | 14337694 | 0 | 4062.16/4062.19 c | 20478 | 20.2 | 0 | 88917 | 140288 | 742 | 428360312 | 47110838 || 20478 | 46642336 | 1/ 1 | 14337694 | 0 | 4080.16/4080.11 c | 20506 | 17.9 | 0 | 87819 | 203 | 743 | 429507481 | 47219669 || 20506 | 46661511 | 1/ 1 | 14343104 | 0 | 4086.26/4086.23 c | 20605 | 6.1 | 0 | 77087 | 1314 | 744 | 430604025 | 47373070 || 20605 | 46800131 | 1/ 1 | 14384002 | 0 | 4091.96/4091.92 c | 20730 | 5.7 | 0 | 84411 | 536 | 745 | 431678210 | 47542625 || 20730 | 46925610 | 1/ 1 | 14420452 | 0 | 4098.96/4098.94 c | 20795 | 7.0 | 0 | 92943 | 880 | 746 | 432777394 | 47676289 || 20795 | 47051721 | 1/ 1 | 14459977 | 0 | 4105.16/4105.12 c | 20891 | 6.2 | 0 | 97435 | 2051 | 747 | 433857159 | 47829872 || 20891 | 47180290 | 1/ 1 | 14498008 | 0 | 4111.56/4111.53 c | 20987 | 6.4 | 0 | 104376 | 5673 | 748 | 434959998 | 47986589 || 20987 | 47310152 | 1/ 1 | 14536059 | 0 | 4120.36/4120.32 c | 20989 | 8.8 | 0 | 111862 | 23368 | 749 | 436122139 | 48095071 || 20989 | 47428133 | 1/ 1 | 14575538 | 0 | 4126.96/4126.99 c | 21115 | 6.7 | 0 | 111140 | 3907 | 750 | 437177419 | 48263338 || 21115 | 47561552 | 1/ 1 | 14615213 | 0 | 4133.76/4133.72 c | 21223 | 6.7 | 0 | 111919 | 56 | 751 | 438258879 | 48424626 || 21223 | 47689085 | 1/ 1 | 14651985 | 0 | 4141.26/4141.20 c | 21283 | 7.5 | 0 | 110707 | 435 | 752 | 439416922 | 48562643 || 21283 | 47816327 | 1/ 1 | 14690801 | 0 | 4148.46/4148.42 c | 21385 | 7.2 | 0 | 110749 | 406 | 753 | 440555349 | 48718851 || 21385 | 47950065 | 1/ 1 | 14729934 | 0 | 4155.16/4155.12 c | 21498 | 6.7 | 0 | 110962 | 6011 | 754 | 441637613 | 48885073 || 21498 | 48090605 | 1/ 1 | 14773567 | 0 | 4164.56/4164.60 c | 21500 | 9.5 | 0 | 112552 | 14701 | 755 | 442824546 | 48986466 || 21500 | 48221187 | 1/ 1 | 14813054 | 0 | 4178.26/4178.25 c | 21501 | 13.7 | 0 | 113794 | 13901 | 756 | 444019625 | 49087977 || 21501 | 48384896 | 1/ 1 | 14865588 | 0 | 4188.66/4188.70 c | 21565 | 10.4 | 0 | 107836 | 88 | 757 | 445225572 | 49229567 || 21565 | 48454039 | 1/ 1 | 14885536 | 0 | 4195.37/4195.36 c | 21681 | 6.7 | 0 | 100894 | 386 | 758 | 446342382 | 49395686 || 21681 | 48588196 | 1/ 1 | 14924746 | 0 | 4202.76/4202.71 c | 21756 | 7.3 | 0 | 104404 | 17636 | 759 | 447470963 | 49534730 || 21756 | 48735912 | 1/ 1 | 14971333 | 0 | 4209.26/4209.25 c | 21868 | 6.5 | 0 | 103798 | 190 | 760 | 448574143 | 49700821 || 21868 | 48848077 | 1/ 1 | 15003153 | 0 | 4215.86/4215.82 c | 21972 | 6.6 | 0 | 102707 | 7 | 761 | 449711373 | 49860253 || 21972 | 48982069 | 1/ 1 | 15042513 | 0 | 4223.86/4223.84 c | 22012 | 8.0 | 0 | 109413 | 22145 | 762 | 450874873 | 49985263 || 22012 | 49138163 | 1/ 1 | 15103005 | 0 | 4233.56/4233.57 c | 22075 | 9.7 | 0 | 113550 | 4212 | 763 | 452004076 | 50121245 || 22075 | 49238838 | 1/ 1 | 15123091 | 0 | 4240.36/4240.39 c | 22185 | 6.8 | 0 | 113019 | 992 | 764 | 453124137 | 50286959 || 22185 | 49368827 | 1/ 1 | 15161116 | 0 | 4247.67/4247.69 c | 22267 | 7.3 | 0 | 112361 | 14808 | 765 | 454254925 | 50434454 || 22267 | 49514679 | 1/ 1 | 15208765 | 0 | 4255.37/4255.35 c | 22376 | 7.7 | 0 | 114985 | 641 | 766 | 455379363 | 50595067 || 22376 | 49631149 | 1/ 1 | 15240314 | 0 | 4262.16/4262.17 c | 22479 | 6.8 | 0 | 112805 | 394 | 767 | 456481553 | 50754543 || 22479 | 49761111 | 1/ 1 | 15279493 | 0 | 4270.36/4270.30 c | 22523 | 8.1 | 0 | 112711 | 21263 | 768 | 457639261 | 50878867 || 22523 | 49918227 | 1/ 1 | 15340450 | 0 | 4282.26/4282.26 c | 22524 | 11.9 | 0 | 114881 | 60164 | 769 | 458950781 | 50979865 || 22524 | 50091455 | 1/ 1 | 15393076 | 0 | 4295.66/4295.66 c | 22525 | 13.4 | 0 | 111582 | 60760 | 770 | 460309764 | 51079484 || 22525 | 50256637 | 1/ 1 | 15497010 | 0 | 4317.27/4317.29 c | 22525 | 21.6 | 0 | 103853 | 77503 | 771 | 461664122 | 51178704 || 22525 | 50424556 | 1/ 1 | 15498392 | 0 | 4345.97/4345.94 c | 22525 | 28.6 | 0 | 101091 | 62262 | 772 | 463059124 | 51271265 || 22525 | 50459170 | 1/ 1 | 15498656 | 0 | 4363.46/4363.48 c | 22588 | 17.5 | 0 | 96748 | 2109 | 773 | 464255993 | 51401047 || 22588 | 50526200 | 1/ 1 | 15518528 | 0 | 4369.97/4369.97 c | 22707 | 6.5 | 0 | 86442 | 164 | 774 | 465375490 | 51567398 || 22707 | 50658733 | 1/ 1 | 15557947 | 0 | 4376.67/4376.66 c | 22780 | 6.7 | 0 | 90726 | 290 | 775 | 466506220 | 51710917 || 22780 | 50809299 | 1/ 1 | 15604338 | 0 | 4382.87/4382.88 c | 22903 | 6.2 | 0 | 96396 | 446 | 776 | 467616801 | 51879711 || 22903 | 50924075 | 1/ 1 | 15638284 | 0 | 4389.57/4389.50 c | 23001 | 6.6 | 0 | 104152 | 404 | 777 | 468743562 | 52036986 || 23001 | 51059145 | 1/ 1 | 15678752 | 0 | 4397.97/4397.96 c | 23036 | 8.5 | 0 | 111118 | 28896 | 778 | 469960905 | 52161097 || 23036 | 51221654 | 1/ 1 | 15736226 | 0 | 4405.97/4405.99 c | 23113 | 8.0 | 0 | 115617 | 86 | 779 | 471155948 | 52306354 || 23113 | 51318373 | 1/ 1 | 15758702 | 0 | 4413.28/4413.26 c | 23225 | 7.3 | 0 | 114957 | 857 | 780 | 472333556 | 52473218 || 23225 | 51455339 | 1/ 1 | 15799229 | 0 | 4421.66/4421.67 c | 23291 | 8.4 | 0 | 114906 | 7114 | 781 | 473522574 | 52612618 || 23291 | 51597185 | 1/ 1 | 15842080 | 0 | 4428.86/4428.81 c | 23417 | 7.1 | 0 | 116246 | 3679 | 782 | 474610608 | 52784121 || 23417 | 51728187 | 1/ 1 | 15881709 | 0 | 4435.96/4435.94 c | 23530 | 7.1 | 0 | 114500 | 117 | 783 | 475731821 | 52950815 || 23530 | 51858889 | 1/ 1 | 15920136 | 0 | 4445.36/4445.32 c | 23547 | 9.4 | 0 | 115244 | 37572 | 784 | 476969282 | 53061706 || 23547 | 52023938 | 1/ 1 | 15974012 | 0 | 4459.77/4459.79 c | 23548 | 14.5 | 0 | 116312 | 1272 | 785 | 478249827 | 53162825 || 23548 | 52190669 | 1/ 1 | 16026668 | 0 | 4473.47/4473.43 c | 23610 | 13.6 | 0 | 111529 | 861 | 786 | 479450016 | 53294187 || 23610 | 52244216 | 1/ 1 | 16043189 | 0 | 4480.87/4480.88 c | 23713 | 7.4 | 0 | 106077 | 543 | 787 | 480577828 | 53456330 || 23713 | 52378131 | 1/ 1 | 16082408 | 0 | 4488.17/4488.14 c | 23803 | 7.3 | 0 | 108775 | 13588 | 788 | 481747855 | 53609402 || 23803 | 52529718 | 1/ 1 | 16132227 | 0 | 4495.27/4495.27 c | 23912 | 7.1 | 0 | 107852 | 507 | 789 | 482871099 | 53774923 || 23912 | 52647739 | 1/ 1 | 16163750 | 0 | 4502.27/4502.25 c | 24023 | 7.0 | 0 | 106298 | 747 | 790 | 484010037 | 53939604 || 24023 | 52783837 | 1/ 1 | 16205021 | 0 | 4511.27/4511.22 c | 24059 | 9.0 | 0 | 112516 | 26900 | 791 | 485279735 | 54063602 || 24059 | 52945827 | 1/ 1 | 16263976 | 0 | 4521.87/4521.84 c | 24135 | 10.6 | 0 | 118568 | 297 | 792 | 486444916 | 54208217 || 24135 | 53044908 | 1/ 1 | 16286082 | 0 | 4529.17/4529.12 c | 24248 | 7.3 | 0 | 116280 | 1469 | 793 | 487614080 | 54379226 || 24248 | 53182503 | 1/ 1 | 16326960 | 0 | 4537.17/4537.19 c | 24314 | 8.1 | 0 | 117153 | 8998 | 794 | 488745602 | 54520187 || 24314 | 53318709 | 1/ 1 | 16369818 | 0 | 4544.77/4544.74 c | 24440 | 7.6 | 0 | 118301 | 2032 | 795 | 489903409 | 54697164 || 24440 | 53455221 | 1/ 1 | 16409545 | 0 | 4552.57/4552.58 c | 24564 | 7.8 | 0 | 117697 | 287 | 796 | 491047341 | 54871223 || 24564 | 53593815 | 1/ 1 | 16450097 | 0 | 4563.58/4563.59 c | 24570 | 11.0 | 0 | 117844 | 4753 | 797 | 492343859 | 54978717 || 24570 | 53755165 | 1/ 1 | 16501865 | 0 | 4581.08/4581.02 c | 24571 | 17.4 | 0 | 120782 | 8158 | 798 | 493670892 | 55083282 || 24571 | 53926601 | 1/ 1 | 16554542 | 0 | 4604.37/4604.35 c | 24572 | 23.3 | 0 | 119662 | 88460 | 799 | 494883342 | 55183645 || 24572 | 54109299 | 1/ 1 | 16658606 | 0 | 4631.97/4631.93 c | 24572 | 27.6 | 0 | 112228 | 15258 | 800 | 496138877 | 55282205 || 24572 | 54247330 | 1/ 1 | 16659685 | 0 | 4652.98/4652.94 c | 24572 | 21.0 | 0 | 105241 | 95759 | 801 | 497367068 | 55380897 || 24572 | 54247330 | 1/ 1 | 16659685 | 0 | 4673.17/4673.15 c | 24573 | 20.2 | 0 | 96947 | 176363 | 802 | 498429139 | 55486647 || 24573 | 54611431 | 1/ 1 | 16867891 | 0 | 4705.77/4705.72 c | 24573 | 32.6 | 0 | 96492 | 80702 | 803 | 499490079 | 55589784 || 24573 | 54782668 | 1/ 1 | 16869316 | 0 | 4729.17/4729.19 c | 24573 | 23.5 | 0 | 89690 | 30660 | 804 | 500605987 | 55691851 || 24573 | 54885685 | 1/ 1 | 16870102 | 0 | 4750.87/4750.88 c | 24573 | 21.7 | 0 | 89886 | 111562 | 805 | 501821443 | 55790693 || 24573 | 54885685 | 1/ 1 | 16870102 | 0 | 4777.48/4777.49 c | 24573 | 26.6 | 0 | 101007 | 192564 | 806 | 502966725 | 55887225 || 24573 | 54885685 | 1/ 1 | 16870102 | 0 | 4799.18/4799.16 c | 24574 | 21.7 | 0 | 83951 | 273666 | 807 | 504200298 | 55986856 || 24574 | 55444950 | 1/ 1 | 17284952 | 0 | 4852.48/4852.45 c | 24574 | 53.3 | 0 | 92195 | 81201 | 808 | 505463153 | 56082086 || 24574 | 55616201 | 1/ 1 | 17286237 | 0 | 4894.18/4894.16 c | 24574 | 41.7 | 0 | 102282 | 81303 | 809 | 506730392 | 56177308 || 24574 | 55787989 | 1/ 1 | 17287546 | 0 | 4936.07/4936.08 c | 24574 | 41.9 | 0 | 104422 | 81407 | 810 | 507930114 | 56271808 || 24574 | 55956644 | 1/ 1 | 17288824 | 0 | 4983.47/4983.45 c | 24574 | 47.4 | 0 | 110278 | 81503 | 811 | 509175320 | 56366305 || 24574 | 56125688 | 1/ 1 | 17290029 | 0 | 5000.08/5000.02 c | 24574 | 16.6 | 0 | 138234 | 12633 | 811 | 509619454 | 56399438 || 24574 | 56157342 | 1/ 1 | 17290234 | 0 | 5000.08/5000.02 c c 5000.08/5000.02 c ----------------------------------- 5000.08/5000.02 c # temps = 4999.820000 5000.08/5000.02 c # cleaningDB = 811 5000.08/5000.02 c # clause binaire = 615 5000.08/5000.02 c # literal removed by litRedundant = 147662399 5000.08/5000.02 c # literal removed by litRedundantBin = 13160957 5000.08/5000.02 c # init clause removed by simplify = 0 5000.08/5000.02 c # learnt clause removed by simplify = 0 5000.08/5000.02 c # une clause fausse était une apprise = 0 5000.08/5000.02 c # equivalence dectecte = 0 5000.08/5000.02 c # Memory used : 241.46 MB 5000.08/5000.02 c 5000.08/5000.02 c ######################## 5000.08/5000.02 c #### ## ### ## #### 5000.08/5000.02 c #### #### # ## #### #### 5000.08/5000.02 c #### ## ### ## ### 5000.08/5000.02 c ######################## 5000.08/5000.02 c # restart = 24574 5000.08/5000.02 c # conflit = 33281355 5000.08/5000.02 c # decision = 56399438 5000.08/5000.02 c # propagation = 509619454 (101927.560192 (prop/sec)) 5000.08/5000.02 c 5000.08/5000.02 c ######################## 5000.08/5000.02 c ### ### # ## ## ## 5000.08/5000.02 c ### # # # #### # ### ### 5000.08/5000.02 c ### # ### ## # ### ### 5000.08/5000.02 c ######################## 5000.08/5000.02 c # numtry = 24574 5000.08/5000.02 c # numflips = 56157342 5000.08/5000.02 c # maxSat = 1 5000.08/5000.02 c # freeFlip = 16977509 5000.08/5000.02 c # nbBoundary = 615 5000.08/5000.02 c
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: 977) 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-3438740-1306894700/watcher-3438740-1306894700 -o /tmp/evaluation-result-3438740-1306894700/solver-3438740-1306894700 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438740-1306894700.cnf rnovelty 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: 2.04 2.01 2.00 2/526 2026 /proc/meminfo: memFree=5667932/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 801067724 8912896 252 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2026/statm: 2176 252 211 178 0 69 0 [startup+0.0494569 s] /proc/loadavg: 2.04 2.01 2.00 2/526 2026 /proc/meminfo: memFree=5667932/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 801067724 8912896 252 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2026/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100436 s] /proc/loadavg: 2.04 2.01 2.00 2/526 2026 /proc/meminfo: memFree=5667932/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 801067724 8912896 252 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2026/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.3004 s] /proc/loadavg: 2.04 2.01 2.00 2/526 2026 /proc/meminfo: memFree=5667932/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 8704 [startup+0.700326 s] /proc/loadavg: 2.04 2.01 2.00 2/526 2026 /proc/meminfo: memFree=5667932/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 8704 [startup+1.5002 s] /proc/loadavg: 2.04 2.01 2.00 3/529 2030 /proc/meminfo: memFree=5657376/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=15056 CPUtime=1.21 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 2231 0 0 0 121 0 0 0 25 0 1 0 801067752 15417344 2142 33554432000 4194304 4241092 140735313732512 18446744073709551615 4224944 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 3764 2142 136 12 0 2228 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 32464 [startup+3.10089 s] /proc/loadavg: 2.04 2.01 2.00 3/529 2030 /proc/meminfo: memFree=5655148/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=16520 CPUtime=2.81 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 2598 0 0 0 281 0 0 0 25 0 1 0 801067752 16916480 2509 33554432000 4194304 4241092 140735313732512 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 4130 2509 136 12 0 2594 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 33928 [startup+6.30032 s] /proc/loadavg: 2.04 2.01 2.00 3/529 2030 /proc/meminfo: memFree=5651564/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=18912 CPUtime=6.01 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 3181 0 0 0 601 0 0 0 25 0 1 0 801067752 19365888 3089 33554432000 4194304 4241092 140735313732512 18446744073709551615 218905391813 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 4728 3089 136 12 0 3192 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 36320 [startup+12.7012 s] /proc/loadavg: 2.03 2.01 2.00 3/529 2030 /proc/meminfo: memFree=5646748/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=22680 CPUtime=12.41 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 4195 0 0 0 1241 0 0 0 25 0 1 0 801067752 23224320 4054 33554432000 4194304 4241092 140735313732512 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 5670 4054 136 12 0 4134 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 40088 [startup+25.5009 s] /proc/loadavg: 2.03 2.01 2.00 3/529 2031 /proc/meminfo: memFree=5641932/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=27500 CPUtime=25.21 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 5526 0 0 0 2521 0 0 0 25 0 1 0 801067752 28160000 5257 33554432000 4194304 4241092 140735313732512 18446744073709551615 4221514 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 6875 5257 136 12 0 5339 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44908 [startup+51.1002 s] /proc/loadavg: 2.02 2.01 2.00 3/529 2032 /proc/meminfo: memFree=5630656/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=36664 CPUtime=50.82 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 8218 0 0 0 5081 1 0 0 25 0 1 0 801067752 37543936 7528 33554432000 4194304 4241092 140735313732512 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 9166 7528 136 12 0 7630 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 54072 [startup+102.32 s] /proc/loadavg: 2.00 2.00 2.00 3/529 2033 /proc/meminfo: memFree=5618044/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=44628 CPUtime=102.03 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 11308 0 0 0 10202 1 0 0 25 0 1 0 801067752 45699072 9510 33554432000 4194304 4241092 140735313732512 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 11157 9510 136 12 0 9621 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 62036 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/529 2034 /proc/meminfo: memFree=5603712/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=56684 CPUtime=162.02 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 15088 0 0 0 16200 2 0 0 25 0 1 0 801067752 58044416 12541 33554432000 4194304 4241092 140735313732512 18446744073709551615 4223728 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 14171 12541 136 12 0 12635 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 74092 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/529 2036 /proc/meminfo: memFree=5595676/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=63540 CPUtime=222.02 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 17936 0 0 0 22199 3 0 0 25 0 1 0 801067752 65064960 14244 33554432000 4194304 4241092 140735313732512 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 15885 14244 136 12 0 14349 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 80948 [startup+282.3 s] ################ # More data... # ################ /proc/meminfo: memFree=5373908/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=227928 CPUtime=4482.1 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 108081 0 0 0 448170 40 0 0 25 0 1 0 801067752 233398272 55337 33554432000 4194304 4241092 140735313732512 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 56982 55337 136 12 0 55446 0 Current children cumulated CPU time (s) 4482.37 Current children cumulated vsize (KiB) 245336 [startup+4542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/529 2169 /proc/meminfo: memFree=5373336/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=228464 CPUtime=4542.1 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 109199 0 0 0 454170 40 0 0 25 0 1 0 801067752 233947136 55472 33554432000 4194304 4241092 140735313732512 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 57116 55472 136 12 0 55580 0 Current children cumulated CPU time (s) 4542.37 Current children cumulated vsize (KiB) 245872 [startup+4602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/529 2171 /proc/meminfo: memFree=5370392/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=230100 CPUtime=4602.1 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 110179 0 0 0 460169 41 0 0 25 0 1 0 801067752 235622400 55877 33554432000 4194304 4241092 140735313732512 18446744073709551615 4223615 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 57525 55877 136 12 0 55989 0 Current children cumulated CPU time (s) 4602.37 Current children cumulated vsize (KiB) 247508 [startup+4662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/529 2172 /proc/meminfo: memFree=5367488/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=232316 CPUtime=4662.1 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 111228 0 0 0 466168 42 0 0 25 0 1 0 801067752 237891584 56437 33554432000 4194304 4241092 140735313732512 18446744073709551615 4223718 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 58079 56437 136 12 0 56543 0 Current children cumulated CPU time (s) 4662.37 Current children cumulated vsize (KiB) 249724 [startup+4722.32 s] /proc/loadavg: 2.08 2.03 2.01 3/529 2174 /proc/meminfo: memFree=5365316/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=234872 CPUtime=4722.12 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 112170 0 0 0 472170 42 0 0 25 0 1 0 801067752 240508928 57071 33554432000 4194304 4241092 140735313732512 18446744073709551615 4223703 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 58718 57071 136 12 0 57182 0 Current children cumulated CPU time (s) 4722.39 Current children cumulated vsize (KiB) 252280 [startup+4782.3 s] /proc/loadavg: 2.21 2.07 2.02 3/529 2176 /proc/meminfo: memFree=5361776/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=238892 CPUtime=4782.11 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 113639 0 0 0 478168 43 0 0 25 0 1 0 801067752 244625408 58104 33554432000 4194304 4241092 140735313732512 18446744073709551615 4205837 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 59723 58104 136 12 0 58187 0 Current children cumulated CPU time (s) 4782.38 Current children cumulated vsize (KiB) 256300 [startup+4842.3 s] /proc/loadavg: 1.99 2.04 2.01 2/521 2196 /proc/meminfo: memFree=5449072/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=240964 CPUtime=4842.11 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 114316 0 0 0 484168 43 0 0 25 0 1 0 801067752 246747136 58602 33554432000 4194304 4241092 140735313732512 18446744073709551615 4223640 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 60241 58602 136 12 0 58705 0 Current children cumulated CPU time (s) 4842.38 Current children cumulated vsize (KiB) 258372 [startup+4902.3 s] /proc/loadavg: 1.36 1.85 1.94 2/521 2198 /proc/meminfo: memFree=5447176/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=242952 CPUtime=4902.11 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 115101 0 0 0 490167 44 0 0 25 0 1 0 801067752 248782848 59083 33554432000 4194304 4241092 140735313732512 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 60738 59083 136 12 0 59202 0 Current children cumulated CPU time (s) 4902.38 Current children cumulated vsize (KiB) 260360 [startup+4962.3 s] /proc/loadavg: 1.13 1.69 1.88 2/521 2199 /proc/meminfo: memFree=5444168/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=246368 CPUtime=4962.1 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 116127 0 0 0 496166 44 0 0 25 0 1 0 801067752 252280832 59941 33554432000 4194304 4241092 140735313732512 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 61592 59941 136 12 0 60056 0 Current children cumulated CPU time (s) 4962.37 Current children cumulated vsize (KiB) 263776 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 1.07 1.61 1.85 2/521 2200 /proc/meminfo: memFree=5443000/32951124 swapFree=56930356/67111528 [pid=2026] ppid=2024 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/2026/stat : 2026 (esg_static.sh) S 2024 2026 932 0 -1 4202496 348 1230 0 0 0 0 27 0 23 0 1 0 801067724 8912896 255 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/2026/statm: 2176 255 211 178 0 69 0 [pid=2029] ppid=2026 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/2029/stat : 2029 (esg_static.sh) S 2026 2026 932 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 801067752 8912896 134 33554432000 4194304 4922060 140736865832208 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/2029/statm: 2176 134 90 178 0 69 0 [pid=2030] ppid=2029 vsize=247248 CPUtime=4999.81 cores=1,3,5,7 /proc/2030/stat : 2030 (sathys) R 2029 2026 932 0 -1 4202496 116487 0 0 0 499937 44 0 0 25 0 1 0 801067752 253181952 60162 33554432000 4194304 4241092 140735313732512 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/2030/statm: 61812 60162 136 12 0 60276 0 Current children cumulated CPU time (s) 5000.08 Current children cumulated vsize (KiB) 264656 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2026 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=274958 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=5999 # CPU time returned by wait4() is 0.280957 # while last known CPU time is 5000.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 5000.03 CPU time (s): 5000.08 CPU user time (s): 4999.64 CPU system time (s): 0.44 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 264772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.274958 system time used= 0.005999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1926 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= 39 involuntary context switches= 7 runsolver used 24.5793 second user time and 62.6555 second system time The end
Begin job on node137 at 2011-06-01 04:18:20 IDJOB=3438740 IDBENCH=83163 IDSOLVER=1935 FILE ID=node137/3438740-1306894700 RUNJOBID= node137-1306884533-952 PBS_JOBID= 13488439 Free space on /tmp= 11492 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-5x41.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438740-1306894700/watcher-3438740-1306894700 -o /tmp/evaluation-result-3438740-1306894700/solver-3438740-1306894700 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438740-1306894700.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 420773b7b438dd18c8a88a15fb5bcae1 RANDOM SEED=737579563 node137.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.844 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.68 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.844 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 : 5332.75 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.844 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.74 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.844 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.74 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.844 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.82 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.844 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.844 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.83 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.844 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 5668088 kB Buffers: 96500 kB Cached: 18425180 kB SwapCached: 12116 kB Active: 16576816 kB Inactive: 9978208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 5668088 kB SwapTotal: 67111528 kB SwapFree: 56930356 kB Dirty: 1748 kB Writeback: 0 kB AnonPages: 8031056 kB Mapped: 21376 kB Slab: 584152 kB PageTables: 74436 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 162562964 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= 11492 MiB End job on node137 at 2011-06-01 05:41:40