| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.05 | 4999.93 |
| Name | SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf |
| MD5SUM | abb32bff5eb954e790612a6209864b5d |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 2.08668 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 380 |
| Number of clauses | 7050 |
| Sum of the clauses size | 14440 |
| Maximum clause length | 19 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 7030 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 20 |
0.00/0.00 static 0.00/0.00 HOME/instance-3439525-1306933228.cnf 0.00/0.00 c Parsing... 0.00/0.00 c ============================================================================== 0.00/0.00 c | | ORIGINAL | LEARNT | | 0.00/0.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.00 c ============================================================================== 0.00/0.00 c | 0 | 7050 14440 | 2114 0 0 nan | 0.000 % | 0.00/0.01 c | 0 | 6670 19800 | -- 0 -- -- | -- | -380/5360 0.00/0.01 c ============================================================================== 0.00/0.01 c Result : #vars: 360 #clauses: 6670 #literals: 19800 0.00/0.01 c CPU time: 0.008998 s 0.00/0.01 c ============================================================================== 0.00/0.01 c 0.00/0.01 c seed = 0, numatom = 360, numclause = 371, numliterals = 19800 0.00/0.01 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.01 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.01 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.03 c | 2 | 0.0 | 0 | 506 | 0 | 1 | 6922 | 1179 || 2 | 1095 | 1/ 0 | 269 | 0 | 0.00/0.05 c | 4 | 0.0 | 0 | 857 | 0 | 2 | 14927 | 2459 || 4 | 2085 | 1/ 0 | 575 | 0 | 0.00/0.07 c | 7 | 0.0 | 0 | 1222 | 200 | 3 | 23556 | 3825 || 7 | 3124 | 1/ 0 | 883 | 0 | 0.00/0.09 c | 8 | 0.0 | 0 | 1745 | 401 | 4 | 31744 | 4996 || 8 | 4328 | 1/ 0 | 1295 | 0 | 0.01/0.12 c | 11 | 0.0 | 0 | 2256 | 293 | 5 | 45048 | 7142 || 11 | 5890 | 1/ 0 | 1819 | 0 | 0.01/0.16 c | 14 | 0.0 | 0 | 2647 | 490 | 6 | 57919 | 9289 || 14 | 7892 | 1/ 0 | 2536 | 0 | 0.01/0.19 c | 15 | 0.0 | 0 | 3129 | 987 | 7 | 69973 | 10946 || 15 | 10022 | 1/ 0 | 3351 | 0 | 0.01/0.23 c | 16 | 0.0 | 0 | 3513 | 84 | 8 | 87604 | 12805 || 16 | 10722 | 1/ 0 | 3458 | 0 | 0.01/0.27 c | 21 | 0.0 | 0 | 3868 | 77 | 9 | 103939 | 15602 || 21 | 13042 | 1/ 0 | 4185 | 0 | 0.01/0.32 c | 25 | 0.0 | 0 | 4043 | 172 | 10 | 120272 | 18108 || 25 | 15227 | 1/ 0 | 5012 | 0 | 0.01/0.37 c | 29 | 0.1 | 0 | 4233 | 570 | 11 | 137614 | 21120 || 29 | 17891 | 1/ 0 | 5831 | 0 | 0.01/0.44 c | 30 | 0.1 | 0 | 4507 | 362 | 12 | 154966 | 23456 || 30 | 20320 | 1/ 0 | 6647 | 0 | 0.01/0.54 c | 31 | 0.1 | 0 | 4668 | 2066 | 13 | 173956 | 25817 || 31 | 24581 | 1/ 0 | 8291 | 0 | 0.01/0.64 c | 31 | 0.1 | 0 | 4449 | 1466 | 14 | 197824 | 29044 || 31 | 25276 | 1/ 0 | 8297 | 0 | 0.01/0.71 c | 38 | 0.1 | 0 | 3924 | 347 | 15 | 222019 | 33093 || 38 | 28662 | 1/ 0 | 9533 | 0 | 0.01/0.77 c | 44 | 0.1 | 0 | 4167 | 241 | 16 | 247101 | 37182 || 44 | 31566 | 1/ 0 | 10365 | 0 | 0.01/0.86 c | 46 | 0.1 | 0 | 4951 | 236 | 17 | 270123 | 40347 || 46 | 35495 | 1/ 0 | 11606 | 0 | 0.01/0.95 c | 53 | 0.1 | 0 | 5142 | 225 | 18 | 300067 | 45049 || 53 | 38506 | 1/ 0 | 12851 | 0 | 1.01/1.03 c | 59 | 0.1 | 0 | 5528 | 114 | 19 | 327597 | 49372 || 59 | 41813 | 1/ 0 | 13680 | 0 | 1.01/1.10 c | 61 | 0.1 | 0 | 6546 | 708 | 20 | 353582 | 52631 || 61 | 45496 | 1/ 0 | 14910 | 0 | 1.19/1.20 c | 62 | 0.1 | 0 | 8275 | 807 | 21 | 379787 | 55900 || 62 | 50463 | 1/ 0 | 16554 | 0 | 1.29/1.31 c | 63 | 0.1 | 0 | 8378 | 3409 | 22 | 405687 | 59208 || 63 | 57059 | 1/ 0 | 19799 | 0 | 1.39/1.42 c | 63 | 0.1 | 0 | 8302 | 1310 | 23 | 432948 | 62510 || 63 | 59613 | 1/ 0 | 19826 | 0 | 1.49/1.53 c | 67 | 0.1 | 0 | 9861 | 0 | 24 | 463957 | 66685 || 67 | 61209 | 1/ 0 | 20346 | 0 | 1.59/1.63 c | 76 | 0.1 | 0 | 11521 | 280 | 25 | 497969 | 72213 || 76 | 66141 | 1/ 0 | 21889 | 0 | 1.69/1.76 c | 80 | 0.1 | 0 | 11922 | 70 | 26 | 530618 | 76857 || 80 | 70538 | 1/ 0 | 23327 | 0 | 1.79/1.87 c | 90 | 0.1 | 0 | 11152 | 147 | 27 | 569449 | 83102 || 90 | 75548 | 1/ 0 | 24982 | 0 | 1.89/1.99 c | 94 | 0.1 | 0 | 12326 | 1034 | 28 | 605218 | 87873 || 94 | 82142 | 1/ 0 | 28044 | 0 | 2.11/2.13 c | 96 | 0.1 | 0 | 12866 | 31 | 29 | 643498 | 92436 || 96 | 85633 | 1/ 0 | 28277 | 0 | 2.21/2.26 c | 107 | 0.1 | 0 | 12091 | 211 | 30 | 684426 | 99085 || 107 | 91160 | 1/ 0 | 30137 | 0 | 2.39/2.42 c | 112 | 0.2 | 0 | 11136 | 198 | 31 | 723284 | 104575 || 112 | 96252 | 1/ 0 | 31784 | 0 | 2.49/2.56 c | 123 | 0.1 | 0 | 10698 | 583 | 32 | 765681 | 111474 || 123 | 102407 | 1/ 0 | 33857 | 0 | 2.69/2.75 c | 125 | 0.2 | 0 | 11675 | 72 | 33 | 808953 | 117006 || 125 | 109155 | 1/ 0 | 36329 | 0 | 2.89/2.95 c | 126 | 0.2 | 0 | 10539 | 3873 | 34 | 850573 | 121665 || 126 | 116797 | 1/ 0 | 39594 | 0 | 3.09/3.17 c | 126 | 0.2 | 0 | 10327 | 2970 | 35 | 897981 | 126984 || 126 | 118441 | 1/ 0 | 39607 | 0 | 3.31/3.36 c | 127 | 0.2 | 0 | 9599 | 6980 | 36 | 937946 | 132051 || 127 | 132023 | 1/ 0 | 46144 | 0 | 3.49/3.59 c | 127 | 0.2 | 0 | 9518 | 1478 | 37 | 980280 | 137091 || 127 | 137104 | 1/ 0 | 46199 | 0 | 3.79/3.85 c | 127 | 0.2 | 0 | 9521 | 5680 | 38 | 1028685 | 141764 || 127 | 137104 | 1/ 0 | 46199 | 0 | 3.99/4.04 c | 139 | 0.2 | 0 | 8583 | 62 | 39 | 1083637 | 150573 || 139 | 142983 | 1/ 0 | 48064 | 0 | 4.19/4.21 c | 148 | 0.2 | 0 | 10011 | 140 | 40 | 1136600 | 158553 || 148 | 149961 | 1/ 0 | 50341 | 0 | 4.31/4.37 c | 157 | 0.2 | 0 | 11533 | 434 | 41 | 1187748 | 165782 || 157 | 157837 | 1/ 0 | 52822 | 0 | 4.49/4.55 c | 163 | 0.2 | 0 | 13314 | 125 | 42 | 1242521 | 172991 || 163 | 164416 | 1/ 0 | 55083 | 0 | 4.69/4.72 c | 173 | 0.2 | 0 | 14518 | 100 | 43 | 1296002 | 181244 || 173 | 172704 | 1/ 0 | 57770 | 0 | 4.79/4.89 c | 187 | 0.2 | 0 | 16170 | 267 | 44 | 1352144 | 190059 || 187 | 179862 | 1/ 0 | 60257 | 0 | 5.09/5.17 c | 189 | 0.3 | 0 | 18226 | 958 | 45 | 1421306 | 197718 || 189 | 187312 | 1/ 0 | 62737 | 0 | 5.40/5.44 c | 190 | 0.3 | 0 | 16866 | 1159 | 46 | 1477339 | 203928 || 190 | 197340 | 1/ 0 | 66015 | 0 | 5.69/5.70 c | 200 | 0.3 | 0 | 15955 | 41 | 47 | 1536740 | 212403 || 200 | 202558 | 1/ 0 | 67681 | 0 | 5.89/5.92 c | 212 | 0.2 | 0 | 15195 | 425 | 48 | 1595749 | 221563 || 212 | 210801 | 1/ 0 | 70565 | 0 | 6.09/6.14 c | 221 | 0.2 | 0 | 15143 | 1518 | 49 | 1655824 | 230242 || 221 | 220347 | 1/ 0 | 74258 | 0 | 6.29/6.38 c | 231 | 0.2 | 0 | 14522 | 189 | 50 | 1718109 | 239302 || 231 | 226841 | 1/ 0 | 75920 | 0 | 6.50/6.59 c | 243 | 0.2 | 0 | 13615 | 561 | 51 | 1780458 | 248655 || 243 | 235844 | 1/ 0 | 78802 | 0 | 6.78/6.82 c | 252 | 0.2 | 0 | 15685 | 1948 | 52 | 1843522 | 257716 || 252 | 245813 | 1/ 0 | 82506 | 0 | 7.08/7.10 c | 253 | 0.3 | 0 | 17710 | 442 | 53 | 1907442 | 265826 || 253 | 255863 | 1/ 0 | 85796 | 0 | 7.38/7.43 c | 254 | 0.3 | 0 | 18556 | 6243 | 54 | 1971296 | 273193 || 254 | 268398 | 1/ 0 | 92312 | 0 | 7.78/7.82 c | 254 | 0.4 | 0 | 18353 | 2542 | 55 | 2041081 | 280779 || 254 | 274730 | 1/ 0 | 92364 | 0 | 8.18/8.21 c | 255 | 0.4 | 0 | 18170 | 8543 | 56 | 2117620 | 288049 || 255 | 292489 | 1/ 0 | 105304 | 0 | 8.58/8.70 c | 255 | 0.5 | 0 | 17269 | 6103 | 57 | 2176298 | 295342 || 255 | 304911 | 1/ 0 | 105386 | 0 | 8.99/9.09 c | 255 | 0.4 | 0 | 16883 | 1646 | 58 | 2241147 | 302792 || 255 | 314405 | 1/ 0 | 105456 | 0 | 9.49/9.57 c | 255 | 0.5 | 0 | 16627 | 7949 | 59 | 2315470 | 309956 || 255 | 314405 | 1/ 0 | 105456 | 0 | 9.99/10.09 c | 261 | 0.5 | 0 | 15570 | 141 | 60 | 2402648 | 319625 || 261 | 317145 | 1/ 0 | 106277 | 0 | 10.28/10.33 c | 277 | 0.2 | 0 | 16620 | 206 | 61 | 2479833 | 331303 || 277 | 327531 | 1/ 0 | 109970 | 0 | 10.48/10.59 c | 286 | 0.2 | 0 | 18635 | 190 | 62 | 2549778 | 341557 || 286 | 339421 | 1/ 0 | 113677 | 0 | 10.78/10.86 c | 301 | 0.3 | 0 | 21478 | 845 | 63 | 2626184 | 352977 || 301 | 348498 | 1/ 0 | 116978 | 0 | 11.08/11.14 c | 316 | 0.3 | 0 | 23105 | 16 | 64 | 2705639 | 364773 || 316 | 359409 | 1/ 0 | 120277 | 0 | 11.38/11.49 c | 318 | 0.4 | 0 | 23771 | 4512 | 65 | 2779309 | 373907 || 318 | 373233 | 1/ 0 | 125205 | 0 | 11.78/11.82 c | 330 | 0.3 | 0 | 24798 | 199 | 66 | 2864451 | 386331 || 330 | 379704 | 1/ 0 | 127084 | 0 | 12.10/12.14 c | 347 | 0.3 | 0 | 24565 | 358 | 67 | 2949911 | 399071 || 347 | 391631 | 1/ 0 | 130998 | 0 | 12.48/12.53 c | 356 | 0.4 | 0 | 24395 | 346 | 68 | 3032512 | 410169 || 356 | 403163 | 1/ 0 | 134710 | 0 | 12.78/12.85 c | 373 | 0.3 | 0 | 22347 | 110 | 69 | 3116628 | 422889 || 373 | 414224 | 1/ 0 | 138226 | 0 | 13.10/13.21 c | 381 | 0.4 | 0 | 22253 | 1999 | 70 | 3194951 | 433583 || 381 | 428700 | 1/ 0 | 144968 | 0 | 13.58/13.68 c | 382 | 0.5 | 0 | 20969 | 4700 | 71 | 3271273 | 442714 || 382 | 442815 | 1/ 0 | 151491 | 0 | 14.20/14.26 c | 382 | 0.6 | 0 | 20157 | 2699 | 72 | 3352799 | 452130 || 382 | 450949 | 1/ 0 | 151576 | 0 | 14.78/14.80 c | 395 | 0.5 | 0 | 18041 | 158 | 73 | 3448222 | 465434 || 395 | 457499 | 1/ 0 | 153655 | 0 | 15.08/15.16 c | 412 | 0.4 | 0 | 16216 | 901 | 74 | 3536297 | 478646 || 412 | 470624 | 1/ 0 | 158205 | 0 | 15.48/15.53 c | 425 | 0.4 | 0 | 18325 | 74 | 75 | 3629529 | 491343 || 425 | 482125 | 1/ 0 | 161727 | 0 | 15.88/15.93 c | 443 | 0.4 | 0 | 18037 | 720 | 76 | 3724213 | 506080 || 443 | 495364 | 1/ 0 | 166470 | 0 | 16.28/16.35 c | 445 | 0.4 | 0 | 18441 | 416 | 77 | 3815999 | 516664 || 445 | 510215 | 1/ 0 | 171400 | 0 | 16.68/16.78 c | 460 | 0.4 | 0 | 20215 | 989 | 78 | 3925586 | 530247 || 460 | 519992 | 1/ 0 | 174697 | 0 | 17.08/17.17 c | 476 | 0.4 | 0 | 21460 | 1660 | 79 | 4019659 | 544171 || 476 | 533617 | 1/ 0 | 179639 | 0 | 17.50/17.57 c | 491 | 0.4 | 0 | 23175 | 432 | 80 | 4121001 | 557748 || 491 | 545302 | 1/ 0 | 182966 | 0 | 17.98/18.02 c | 507 | 0.5 | 0 | 21960 | 94 | 81 | 4217772 | 572024 || 507 | 559925 | 1/ 0 | 187899 | 0 | 18.48/18.59 c | 509 | 0.6 | 0 | 21139 | 3896 | 82 | 4318981 | 582990 || 509 | 576545 | 1/ 0 | 197653 | 0 | 19.18/19.22 c | 509 | 0.6 | 0 | 20283 | 2997 | 83 | 4407252 | 593408 || 509 | 587916 | 1/ 0 | 197730 | 0 | 19.80/19.85 c | 510 | 0.6 | 0 | 19705 | 11800 | 84 | 4503160 | 604241 || 510 | 611371 | 1/ 0 | 210737 | 0 | 20.48/20.59 c | 510 | 0.7 | 0 | 19527 | 1503 | 85 | 4605578 | 616145 || 510 | 624983 | 1/ 0 | 210872 | 0 | 21.28/21.36 c | 510 | 0.8 | 0 | 17155 | 10505 | 86 | 4755429 | 628774 || 510 | 624983 | 1/ 0 | 210872 | 0 | 22.00/22.09 c | 511 | 0.7 | 0 | 15970 | 19607 | 87 | 4871215 | 640823 || 511 | 664228 | 1/ 0 | 236840 | 0 | 22.78/22.83 c | 511 | 0.7 | 0 | 15250 | 9201 | 88 | 4970649 | 652372 || 511 | 681515 | 1/ 0 | 236982 | 0 | 23.58/23.69 c | 511 | 0.9 | 0 | 16093 | 9302 | 89 | 5063004 | 663709 || 511 | 699451 | 1/ 0 | 237125 | 0 | 24.38/24.45 c | 511 | 0.8 | 0 | 16772 | 9107 | 90 | 5187397 | 676455 || 511 | 699979 | 1/ 0 | 237132 | 0 | 25.48/25.50 c | 511 | 1.0 | 0 | 18077 | 18609 | 91 | 5303910 | 688167 || 511 | 699979 | 1/ 0 | 237132 | 0 | 26.30/26.38 c | 519 | 0.9 | 0 | 18518 | 87 | 92 | 5435051 | 702523 || 519 | 704244 | 1/ 0 | 238481 | 0 | 26.68/26.76 c | 541 | 0.4 | 0 | 19488 | 252 | 93 | 5548676 | 719329 || 541 | 720508 | 1/ 0 | 243765 | 0 | 27.08/27.16 c | 557 | 0.4 | 0 | 24245 | 413 | 94 | 5657301 | 734590 || 557 | 735969 | 1/ 0 | 248689 | 0 | 27.50/27.59 c | 573 | 0.4 | 0 | 28128 | 1474 | 95 | 5775413 | 750882 || 573 | 751386 | 1/ 0 | 253651 | 0 | 27.98/28.06 c | 586 | 0.5 | 0 | 29172 | 142 | 96 | 5884696 | 765361 || 586 | 766560 | 1/ 0 | 258806 | 0 | 28.38/28.50 c | 605 | 0.4 | 0 | 33561 | 1492 | 97 | 5996924 | 782281 || 605 | 783555 | 1/ 0 | 265173 | 0 | 28.98/29.03 c | 626 | 0.5 | 0 | 38557 | 134 | 98 | 6120853 | 799855 || 626 | 797550 | 1/ 0 | 269305 | 0 | 29.60/29.64 c | 637 | 0.6 | 0 | 37621 | 3507 | 99 | 6235438 | 815210 || 637 | 817045 | 1/ 0 | 276723 | 0 | 30.38/30.48 c | 638 | 0.8 | 0 | 35237 | 9106 | 100 | 6349446 | 828260 || 638 | 836099 | 1/ 0 | 283314 | 0 | 31.18/31.26 c | 650 | 0.8 | 0 | 31822 | 75 | 101 | 6491582 | 844614 || 650 | 843003 | 1/ 0 | 285193 | 0 | 31.68/31.81 c | 669 | 0.6 | 0 | 29101 | 2133 | 102 | 6609596 | 861908 || 669 | 861405 | 1/ 0 | 291569 | 0 | 32.28/32.37 c | 691 | 0.6 | 0 | 27294 | 375 | 103 | 6735106 | 880387 || 691 | 875721 | 1/ 0 | 296126 | 0 | 32.78/32.92 c | 701 | 0.5 | 0 | 26043 | 354 | 104 | 6856592 | 895880 || 701 | 896490 | 1/ 0 | 303125 | 0 | 33.48/33.51 c | 723 | 0.6 | 0 | 26710 | 204 | 105 | 6985085 | 914417 || 723 | 909243 | 1/ 0 | 307665 | 0 | 34.00/34.11 c | 742 | 0.6 | 0 | 26593 | 253 | 106 | 7107187 | 932071 || 742 | 926179 | 1/ 0 | 312997 | 0 | 34.58/34.66 c | 763 | 0.6 | 0 | 27973 | 1992 | 107 | 7241100 | 950591 || 763 | 945119 | 1/ 0 | 319597 | 0 | 35.28/35.32 c | 765 | 0.6 | 0 | 30460 | 5993 | 108 | 7358934 | 964309 || 765 | 967475 | 1/ 0 | 329416 | 0 | 35.98/36.06 c | 766 | 0.7 | 0 | 30135 | 7694 | 109 | 7478490 | 977717 || 766 | 990373 | 1/ 0 | 342452 | 0 | 36.98/37.03 c | 766 | 1.0 | 0 | 28911 | 11404 | 110 | 7598490 | 991894 || 766 | 1011537 | 1/ 0 | 342631 | 0 | 38.08/38.17 c | 766 | 1.1 | 0 | 25880 | 11392 | 111 | 7774367 | 1006412 || 766 | 1011757 | 1/ 0 | 342631 | 0 | 38.78/38.80 c | 794 | 0.6 | 0 | 23322 | 227 | 112 | 7923049 | 1027092 || 794 | 1028505 | 1/ 0 | 348000 | 0 | 39.28/39.36 c | 812 | 0.6 | 0 | 24537 | 189 | 113 | 8052188 | 1045290 || 812 | 1046872 | 1/ 0 | 354161 | 0 | 39.88/39.94 c | 829 | 0.6 | 0 | 24923 | 3153 | 114 | 8187188 | 1063692 || 829 | 1067968 | 1/ 0 | 362352 | 0 | 40.48/40.55 c | 847 | 0.6 | 0 | 27920 | 12 | 115 | 8320155 | 1082129 || 847 | 1082606 | 1/ 0 | 366115 | 0 | 41.18/41.20 c | 870 | 0.6 | 0 | 30115 | 255 | 116 | 8454497 | 1102301 || 870 | 1100251 | 1/ 0 | 372295 | 0 | 41.80/41.89 c | 891 | 0.7 | 0 | 32444 | 582 | 117 | 8588752 | 1122238 || 891 | 1120003 | 1/ 0 | 378877 | 0 | 42.80/42.84 c | 893 | 1.0 | 0 | 34861 | 7983 | 118 | 8737803 | 1138402 || 893 | 1143542 | 1/ 0 | 388700 | 0 | 43.68/43.78 c | 907 | 0.9 | 0 | 31823 | 446 | 119 | 8885350 | 1156103 || 907 | 1153645 | 1/ 0 | 391194 | 0 | 44.38/44.41 c | 927 | 0.6 | 0 | 29598 | 0 | 120 | 9026699 | 1175897 || 927 | 1172742 | 1/ 0 | 397373 | 0 | 45.00/45.09 c | 955 | 0.7 | 0 | 29201 | 1037 | 121 | 9170512 | 1197705 || 955 | 1193379 | 1/ 0 | 405185 | 0 | 45.78/45.88 c | 967 | 0.8 | 0 | 27881 | 200 | 122 | 9326843 | 1216600 || 967 | 1210723 | 1/ 0 | 410156 | 0 | 46.48/46.54 c | 987 | 0.6 | 0 | 27025 | 1454 | 123 | 9466443 | 1236761 || 987 | 1230447 | 1/ 0 | 416747 | 0 | 47.20/47.26 c | 1017 | 0.7 | 0 | 27551 | 570 | 124 | 9613734 | 1259493 || 1017 | 1249938 | 1/ 0 | 423357 | 0 | 48.08/48.11 c | 1020 | 0.9 | 0 | 29729 | 6269 | 125 | 9762126 | 1276044 || 1020 | 1277762 | 1/ 0 | 434787 | 0 | 48.98/49.01 c | 1021 | 0.9 | 0 | 33031 | 9671 | 126 | 9900169 | 1291310 || 1021 | 1304536 | 1/ 0 | 447853 | 0 | 50.08/50.18 c | 1021 | 1.2 | 0 | 35840 | 3572 | 127 | 10035489 | 1307090 || 1021 | 1324554 | 1/ 0 | 448025 | 0 | 51.28/51.37 c | 1022 | 1.2 | 0 | 35555 | 16780 | 128 | 10181502 | 1322550 || 1022 | 1357454 | 1/ 0 | 473950 | 0 | 52.80/52.85 c | 1022 | 1.5 | 0 | 36666 | 13304 | 129 | 10321753 | 1339191 || 1022 | 1381585 | 1/ 0 | 474151 | 0 | 54.38/54.47 c | 1022 | 1.6 | 0 | 35626 | 5084 | 130 | 10464204 | 1355188 || 1022 | 1397725 | 1/ 0 | 474287 | 0 | 56.18/56.26 c | 1022 | 1.8 | 0 | 33649 | 18586 | 131 | 10627646 | 1370176 || 1022 | 1397725 | 1/ 0 | 474287 | 0 | 57.68/57.74 c | 1023 | 1.5 | 0 | 30095 | 32188 | 132 | 10784539 | 1386650 || 1023 | 1461586 | 1/ 0 | 526117 | 0 | 59.18/59.28 c | 1023 | 1.5 | 0 | 23159 | 13703 | 133 | 10924623 | 1403364 || 1023 | 1488476 | 1/ 0 | 526356 | 0 | 61.28/61.32 c | 1023 | 2.0 | 0 | 24414 | 13806 | 134 | 11061715 | 1419871 || 1023 | 1515820 | 1/ 0 | 526583 | 0 | 62.78/62.88 c | 1023 | 1.6 | 0 | 23774 | 13901 | 135 | 11204397 | 1436637 || 1023 | 1542845 | 1/ 0 | 526820 | 0 | 63.88/63.98 c | 1023 | 1.1 | 0 | 24274 | 10795 | 136 | 11384358 | 1455492 || 1023 | 1548945 | 1/ 0 | 526884 | 0 | 65.48/65.58 c | 1023 | 1.6 | 0 | 24610 | 24897 | 137 | 11585250 | 1473953 || 1023 | 1548945 | 1/ 0 | 526884 | 0 | 67.00/67.05 c | 1023 | 1.5 | 0 | 25531 | 39100 | 138 | 11780142 | 1491219 || 1023 | 1548945 | 1/ 0 | 526884 | 0 | 68.28/68.37 c | 1030 | 1.3 | 0 | 25021 | 181 | 139 | 11976877 | 1509844 || 1030 | 1552755 | 1/ 0 | 528120 | 0 | 68.98/69.02 c | 1057 | 0.6 | 0 | 22840 | 226 | 140 | 12143059 | 1533600 || 1057 | 1574788 | 1/ 0 | 535530 | 0 | 69.58/69.65 c | 1085 | 0.6 | 0 | 28855 | 554 | 141 | 12308477 | 1557646 || 1085 | 1598875 | 1/ 0 | 543363 | 0 | 70.40/70.46 c | 1104 | 0.8 | 0 | 33033 | 117 | 142 | 12474719 | 1579658 || 1104 | 1619443 | 1/ 0 | 550370 | 0 | 71.18/71.26 c | 1132 | 0.8 | 0 | 36660 | 126 | 143 | 12645523 | 1604548 || 1132 | 1642910 | 1/ 0 | 558220 | 0 | 72.08/72.12 c | 1149 | 0.9 | 0 | 40292 | 1288 | 144 | 12809329 | 1626542 || 1149 | 1667492 | 1/ 0 | 566457 | 0 | 73.39/73.40 c | 1151 | 1.3 | 0 | 44167 | 86 | 145 | 12972923 | 1644628 || 1151 | 1685994 | 1/ 0 | 573132 | 0 | 74.19/74.27 c | 1181 | 0.9 | 0 | 43305 | 706 | 146 | 13147257 | 1669864 || 1181 | 1710911 | 1/ 0 | 581279 | 0 | 75.09/75.12 c | 1212 | 0.8 | 0 | 40544 | 2158 | 147 | 13319707 | 1696540 || 1212 | 1735923 | 1/ 0 | 589525 | 0 | 75.99/76.06 c | 1231 | 0.9 | 0 | 39726 | 207 | 148 | 13491328 | 1719436 || 1231 | 1757510 | 1/ 0 | 596535 | 0 | 76.91/76.97 c | 1259 | 0.9 | 0 | 38916 | 537 | 149 | 13663170 | 1745085 || 1259 | 1781418 | 1/ 0 | 604358 | 0 | 77.89/77.98 c | 1276 | 1.0 | 0 | 38176 | 2287 | 150 | 13837873 | 1767628 || 1276 | 1805913 | 1/ 0 | 612582 | 0 | 79.11/79.14 c | 1278 | 1.2 | 0 | 37196 | 8188 | 151 | 13994540 | 1786339 || 1278 | 1839905 | 1/ 0 | 632089 | 0 | 80.31/80.38 c | 1278 | 1.2 | 0 | 42325 | 4588 | 152 | 14174437 | 1805949 || 1278 | 1860189 | 1/ 0 | 632259 | 0 | 81.69/81.77 c | 1298 | 1.4 | 0 | 40062 | 150 | 153 | 14366805 | 1828595 || 1298 | 1872170 | 1/ 0 | 636196 | 0 | 82.69/82.72 c | 1327 | 1.0 | 0 | 36583 | 176 | 154 | 14554461 | 1856147 || 1327 | 1896935 | 1/ 0 | 644251 | 0 | 83.79/83.83 c | 1344 | 1.1 | 0 | 36768 | 28 | 155 | 14731528 | 1879436 || 1344 | 1920435 | 1/ 0 | 652483 | 0 | 84.79/84.89 c | 1375 | 1.1 | 0 | 36155 | 255 | 156 | 14915460 | 1907213 || 1375 | 1944417 | 1/ 0 | 660725 | 0 | 85.89/85.97 c | 1404 | 1.1 | 0 | 36551 | 2191 | 157 | 15091552 | 1933996 || 1404 | 1971976 | 1/ 0 | 671810 | 0 | 87.29/87.34 c | 1405 | 1.4 | 0 | 33582 | 3989 | 158 | 15294784 | 1954316 || 1405 | 1995953 | 1/ 0 | 678422 | 0 | 88.39/88.40 c | 1436 | 1.1 | 0 | 33063 | 1825 | 159 | 15486017 | 1981759 || 1436 | 2019510 | 1/ 0 | 686680 | 0 | 89.39/89.46 c | 1467 | 1.0 | 0 | 33371 | 2152 | 160 | 15674758 | 2009269 || 1467 | 2044504 | 1/ 0 | 694921 | 0 | 90.49/90.55 c | 1490 | 1.1 | 0 | 32518 | 410 | 161 | 15857107 | 2034449 || 1490 | 2068207 | 1/ 0 | 702738 | 0 | 91.49/91.57 c | 1521 | 1.0 | 0 | 33432 | 332 | 162 | 16039065 | 2061905 || 1521 | 2092851 | 1/ 0 | 710988 | 0 | 92.79/92.86 c | 1532 | 1.3 | 0 | 33804 | 6197 | 163 | 16228207 | 2085534 || 1532 | 2125076 | 1/ 0 | 724501 | 0 | 94.29/94.38 c | 1533 | 1.5 | 0 | 33445 | 13399 | 164 | 16400411 | 2106120 || 1533 | 2156461 | 1/ 0 | 737582 | 0 | 95.99/96.03 c | 1533 | 1.7 | 0 | 35452 | 11100 | 165 | 16570951 | 2125670 || 1533 | 2166633 | 1/ 0 | 737671 | 0 | 97.59/97.64 c | 1534 | 1.6 | 0 | 35025 | 28102 | 166 | 16743236 | 2146488 || 1534 | 2220771 | 1/ 0 | 763775 | 0 | 99.39/99.42 c | 1534 | 1.8 | 0 | 33473 | 6800 | 167 | 16917498 | 2166835 || 1534 | 2239097 | 1/ 0 | 763928 | 0 | 101.48/101.56 c | 1534 | 2.1 | 0 | 31846 | 24003 | 168 | 17123095 | 2186407 || 1534 | 2239097 | 1/ 0 | 763928 | 0 | 102.78/102.81 c | 1565 | 1.2 | 0 | 27763 | 1226 | 169 | 17320881 | 2214595 || 1565 | 2264574 | 1/ 0 | 772165 | 0 | 103.78/103.87 c | 1597 | 1.1 | 0 | 30239 | 2546 | 170 | 17515909 | 2243654 || 1597 | 2294598 | 1/ 0 | 783681 | 0 | 104.98/105.04 c | 1627 | 1.2 | 0 | 32093 | 1194 | 171 | 17716620 | 2271726 || 1627 | 2318899 | 1/ 0 | 790345 | 0 | 106.08/106.10 c | 1659 | 1.1 | 0 | 32183 | 1495 | 172 | 17917820 | 2300679 || 1659 | 2346450 | 1/ 0 | 800225 | 0 | 107.28/107.38 c | 1661 | 1.3 | 0 | 35107 | 2391 | 173 | 18101817 | 2322861 || 1661 | 2377766 | 1/ 0 | 810066 | 0 | 108.48/108.59 c | 1692 | 1.2 | 0 | 37457 | 1718 | 174 | 18302384 | 2351123 || 1692 | 2401621 | 1/ 0 | 818301 | 0 | 109.68/109.74 c | 1723 | 1.2 | 0 | 39941 | 1144 | 175 | 18511233 | 2380211 || 1723 | 2427747 | 1/ 0 | 826574 | 0 | 110.88/110.96 c | 1753 | 1.2 | 0 | 39113 | 268 | 176 | 18735937 | 2409135 || 1753 | 2454724 | 1/ 0 | 835653 | 0 | 111.98/112.09 c | 1786 | 1.1 | 0 | 39181 | 1088 | 177 | 18943784 | 2439234 || 1786 | 2483650 | 1/ 0 | 846327 | 0 | 113.38/113.44 c | 1788 | 1.3 | 0 | 40029 | 2476 | 178 | 19133527 | 2461604 || 1788 | 2513327 | 1/ 0 | 856174 | 0 | 115.40/115.47 c | 1789 | 2.0 | 0 | 40757 | 1576 | 179 | 19347753 | 2484343 || 1789 | 2551154 | 1/ 0 | 869330 | 0 | 116.88/116.99 c | 1807 | 1.5 | 0 | 39696 | 136 | 180 | 19565975 | 2509882 || 1807 | 2562555 | 1/ 0 | 873045 | 0 | 118.18/118.24 c | 1845 | 1.2 | 0 | 38347 | 144 | 181 | 19785252 | 2541392 || 1845 | 2590569 | 1/ 0 | 882513 | 0 | 119.58/119.65 c | 1867 | 1.4 | 0 | 37409 | 84 | 182 | 19991777 | 2569660 || 1867 | 2619551 | 1/ 0 | 892412 | 0 | 120.90/120.93 c | 1905 | 1.3 | 0 | 35976 | 493 | 183 | 20202575 | 2602158 || 1905 | 2647606 | 1/ 0 | 901879 | 0 | 122.28/122.38 c | 1916 | 1.5 | 0 | 35480 | 7856 | 184 | 20403332 | 2627203 || 1916 | 2684634 | 1/ 0 | 915456 | 0 | 123.88/123.92 c | 1945 | 1.5 | 0 | 34696 | 489 | 185 | 20628647 | 2657216 || 1945 | 2705361 | 1/ 0 | 921296 | 0 | 125.18/125.22 c | 1978 | 1.3 | 0 | 34883 | 1602 | 186 | 20839437 | 2687842 || 1978 | 2734931 | 1/ 0 | 931966 | 0 | 126.50/126.58 c | 2007 | 1.4 | 0 | 35234 | 25 | 187 | 21049125 | 2717754 || 2007 | 2761356 | 1/ 0 | 940625 | 0 | 127.88/127.94 c | 2041 | 1.4 | 0 | 36066 | 1349 | 188 | 21282960 | 2750439 || 2041 | 2792204 | 1/ 0 | 951736 | 0 | 129.38/129.49 c | 2043 | 1.5 | 0 | 36962 | 3837 | 189 | 21486440 | 2774091 || 2043 | 2821528 | 1/ 0 | 961611 | 0 | 131.48/131.51 c | 2044 | 2.0 | 0 | 35841 | 4036 | 190 | 21682636 | 2797736 || 2044 | 2856243 | 1/ 0 | 974745 | 0 | 133.48/133.57 c | 2045 | 2.1 | 0 | 36160 | 23539 | 191 | 21906139 | 2823163 || 2045 | 2902673 | 1/ 0 | 1000750 | 0 | 135.58/135.63 c | 2045 | 2.1 | 0 | 35430 | 4736 | 192 | 22105499 | 2846559 || 2045 | 2930463 | 1/ 0 | 1000980 | 0 | 137.58/137.69 c | 2045 | 2.1 | 0 | 32373 | 24438 | 193 | 22314595 | 2868641 || 2045 | 2930463 | 1/ 0 | 1000980 | 0 | 140.39/140.45 c | 2046 | 2.8 | 0 | 30377 | 44240 | 194 | 22511961 | 2892302 || 2046 | 3019206 | 1/ 0 | 1053036 | 0 | 143.19/143.28 c | 2046 | 2.8 | 0 | 28473 | 19901 | 195 | 22701276 | 2915803 || 2046 | 3057320 | 1/ 0 | 1053350 | 0 | 145.69/145.70 c | 2046 | 2.4 | 0 | 28172 | 7342 | 196 | 22917224 | 2939679 || 2046 | 3081807 | 1/ 0 | 1053566 | 0 | 147.79/147.80 c | 2046 | 2.1 | 0 | 27443 | 27444 | 197 | 23135088 | 2962040 || 2046 | 3081807 | 1/ 0 | 1053566 | 0 | 150.89/150.93 c | 2046 | 3.1 | 0 | 30324 | 47645 | 198 | 23359295 | 2984419 || 2046 | 3081807 | 1/ 0 | 1053566 | 0 | 152.69/152.75 c | 2047 | 1.8 | 0 | 27487 | 67949 | 199 | 23574323 | 3009097 || 2047 | 3217173 | 1/ 0 | 1157291 | 0 | 154.89/154.94 c | 2047 | 2.2 | 0 | 29136 | 20402 | 200 | 23779940 | 3033986 || 2047 | 3253410 | 1/ 0 | 1157629 | 0 | 157.89/157.98 c | 2047 | 3.0 | 0 | 33191 | 20503 | 201 | 23981199 | 3059009 || 2047 | 3290265 | 1/ 0 | 1157971 | 0 | 161.29/161.31 c | 2047 | 3.3 | 0 | 33970 | 20601 | 202 | 24189982 | 3084052 || 2047 | 3328255 | 1/ 0 | 1158336 | 0 | 164.69/164.74 c | 2047 | 3.4 | 0 | 32611 | 20701 | 203 | 24388242 | 3109090 || 2047 | 3366990 | 1/ 0 | 1158662 | 0 | 166.99/167.02 c | 2047 | 2.3 | 0 | 31344 | 17354 | 204 | 24662018 | 3134341 || 2047 | 3374132 | 1/ 0 | 1158708 | 0 | 169.69/169.76 c | 2047 | 2.7 | 0 | 34144 | 38255 | 205 | 24938987 | 3159091 || 2047 | 3374132 | 1/ 0 | 1158708 | 0 | 172.79/172.81 c | 2047 | 3.0 | 0 | 36390 | 59258 | 206 | 25223869 | 3184087 || 2047 | 3374132 | 1/ 0 | 1158708 | 0 | 176.09/176.19 c | 2047 | 3.4 | 0 | 36364 | 80359 | 207 | 25561401 | 3209927 || 2047 | 3374132 | 1/ 0 | 1158708 | 0 | 180.49/180.53 c | 2047 | 4.3 | 0 | 35193 | 101563 | 208 | 25894928 | 3236431 || 2047 | 3374132 | 1/ 0 | 1158708 | 0 | 181.79/181.84 c | 2092 | 1.3 | 0 | 31523 | 581 | 209 | 26153126 | 3273820 || 2092 | 3406637 | 1/ 0 | 1169431 | 0 | 182.99/183.06 c | 2121 | 1.2 | 0 | 35376 | 2 | 210 | 26388232 | 3306871 || 2121 | 3438249 | 1/ 0 | 1180276 | 0 | 184.29/184.36 c | 2163 | 1.3 | 0 | 43435 | 304 | 211 | 26632534 | 3342673 || 2163 | 3471351 | 1/ 0 | 1191275 | 0 | 185.90/185.93 c | 2174 | 1.6 | 0 | 48640 | 1489 | 212 | 26863814 | 3371530 || 2174 | 3510428 | 1/ 0 | 1204812 | 0 | 187.39/187.43 c | 2208 | 1.5 | 0 | 51229 | 113 | 213 | 27110114 | 3406026 || 2208 | 3536119 | 1/ 0 | 1213475 | 0 | 188.79/188.86 c | 2238 | 1.4 | 0 | 55935 | 3240 | 214 | 27353838 | 3439723 || 2238 | 3568581 | 1/ 0 | 1224700 | 0 | 190.31/190.32 c | 2283 | 1.5 | 0 | 60359 | 247 | 215 | 27604512 | 3475999 || 2283 | 3603746 | 1/ 0 | 1236158 | 0 | 192.08/192.14 c | 2301 | 1.8 | 0 | 59060 | 8616 | 216 | 27854536 | 3507894 || 2301 | 3643381 | 1/ 0 | 1250940 | 0 | 194.18/194.25 c | 2302 | 2.1 | 0 | 53202 | 1911 | 217 | 28111449 | 3537001 || 2302 | 3679103 | 1/ 0 | 1264119 | 0 | 196.08/196.18 c | 2332 | 1.9 | 0 | 48380 | 451 | 218 | 28390665 | 3570691 || 2332 | 3697896 | 1/ 0 | 1270724 | 0 | 197.58/197.62 c | 2365 | 1.4 | 0 | 48754 | 3082 | 219 | 28655899 | 3605505 || 2365 | 3734969 | 1/ 0 | 1283926 | 0 | 199.10/199.13 c | 2402 | 1.5 | 0 | 48019 | 258 | 220 | 28904243 | 3641021 || 2402 | 3765581 | 1/ 0 | 1293076 | 0 | 200.58/200.63 c | 2429 | 1.5 | 0 | 47899 | 4582 | 221 | 29153064 | 3674074 || 2429 | 3806359 | 1/ 0 | 1310270 | 0 | 202.30/202.36 c | 2458 | 1.7 | 0 | 47887 | 319 | 222 | 29404319 | 3708038 || 2458 | 3833899 | 1/ 0 | 1316144 | 0 | 203.88/203.92 c | 2492 | 1.5 | 0 | 49174 | 3342 | 223 | 29661272 | 3743336 || 2492 | 3872136 | 1/ 0 | 1330135 | 0 | 205.48/205.55 c | 2530 | 1.6 | 0 | 52689 | 49 | 224 | 29920641 | 3780242 || 2530 | 3902356 | 1/ 0 | 1339633 | 0 | 207.18/207.27 c | 2556 | 1.7 | 0 | 53545 | 5681 | 225 | 30176937 | 3814080 || 2556 | 3944519 | 1/ 0 | 1356434 | 0 | 209.88/210.00 c | 2557 | 2.7 | 0 | 52832 | 19089 | 226 | 30453790 | 3843092 || 2557 | 3988468 | 1/ 0 | 1369648 | 0 | 212.58/212.68 c | 2558 | 2.7 | 0 | 46514 | 22991 | 227 | 30747932 | 3870599 || 2558 | 4035390 | 1/ 0 | 1395701 | 0 | 215.88/215.94 c | 2558 | 3.3 | 0 | 44456 | 7781 | 228 | 30992439 | 3898288 || 2558 | 4066255 | 1/ 0 | 1395941 | 0 | 219.18/219.23 c | 2573 | 3.3 | 0 | 40402 | 1031 | 229 | 31327133 | 3931267 || 2573 | 4075721 | 1/ 0 | 1399242 | 0 | 220.78/220.81 c | 2619 | 1.6 | 0 | 37022 | 727 | 230 | 31590546 | 3969830 || 2619 | 4110798 | 1/ 0 | 1410775 | 0 | 222.58/222.60 c | 2652 | 1.8 | 0 | 38810 | 1744 | 231 | 31848278 | 4005887 || 2652 | 4146899 | 1/ 0 | 1423922 | 0 | 224.18/224.21 c | 2684 | 1.6 | 0 | 38395 | 2058 | 232 | 32106024 | 4041729 || 2684 | 4181892 | 1/ 0 | 1435445 | 0 | 225.88/225.91 c | 2711 | 1.7 | 0 | 42422 | 12 | 233 | 32357351 | 4075658 || 2711 | 4216597 | 1/ 0 | 1447059 | 0 | 227.49/227.55 c | 2748 | 1.6 | 0 | 46837 | 3028 | 234 | 32618873 | 4113500 || 2748 | 4256479 | 1/ 0 | 1461818 | 0 | 229.19/229.26 c | 2789 | 1.7 | 0 | 50427 | 156 | 235 | 32896141 | 4153006 || 2789 | 4290138 | 1/ 0 | 1471759 | 0 | 231.09/231.10 c | 2812 | 1.8 | 0 | 52453 | 7585 | 236 | 33166355 | 4187161 || 2812 | 4335079 | 1/ 0 | 1488141 | 0 | 233.29/233.32 c | 2813 | 2.2 | 0 | 51089 | 2885 | 237 | 33422329 | 4215892 || 2813 | 4376070 | 1/ 0 | 1501323 | 0 | 235.41/235.48 c | 2844 | 2.2 | 0 | 55714 | 2223 | 238 | 33697880 | 4251434 || 2844 | 4400448 | 1/ 0 | 1509578 | 0 | 237.29/237.37 c | 2877 | 1.9 | 0 | 53789 | 3251 | 239 | 33971171 | 4288616 || 2877 | 4434826 | 1/ 0 | 1521232 | 0 | 239.19/239.21 c | 2929 | 1.8 | 0 | 54209 | 497 | 240 | 34254682 | 4331084 || 2929 | 4473736 | 1/ 0 | 1533901 | 0 | 241.09/241.16 c | 2940 | 2.0 | 0 | 54850 | 3977 | 241 | 34526211 | 4363917 || 2940 | 4511948 | 1/ 0 | 1547415 | 0 | 243.01/243.05 c | 2986 | 1.9 | 0 | 56205 | 471 | 242 | 34827362 | 4404970 || 2986 | 4546335 | 1/ 0 | 1558945 | 0 | 244.99/245.02 c | 3025 | 2.0 | 0 | 56286 | 491 | 243 | 35105837 | 4444281 || 3025 | 4583381 | 1/ 0 | 1571709 | 0 | 247.09/247.11 c | 3066 | 2.1 | 0 | 54538 | 2595 | 244 | 35400008 | 4484793 || 3066 | 4623480 | 1/ 0 | 1586936 | 0 | 249.29/249.30 c | 3068 | 2.2 | 0 | 54234 | 13092 | 245 | 35670234 | 4515407 || 3068 | 4672236 | 1/ 0 | 1606553 | 0 | 251.99/252.04 c | 3069 | 2.8 | 0 | 55209 | 18893 | 246 | 35921078 | 4544569 || 3069 | 4721818 | 1/ 0 | 1632587 | 0 | 254.89/254.98 c | 3069 | 2.9 | 0 | 52238 | 5592 | 247 | 36176968 | 4574624 || 3069 | 4756078 | 1/ 0 | 1632906 | 0 | 258.19/258.22 c | 3070 | 3.2 | 0 | 51597 | 30802 | 248 | 36461425 | 4603486 || 3070 | 4817651 | 1/ 0 | 1684695 | 0 | 261.29/261.35 c | 3070 | 3.1 | 0 | 50226 | 25301 | 249 | 36714653 | 4634276 || 3070 | 4863048 | 1/ 0 | 1685104 | 0 | 265.79/265.83 c | 3070 | 4.5 | 0 | 51696 | 4702 | 250 | 36976622 | 4664535 || 3070 | 4899428 | 1/ 0 | 1685435 | 0 | 268.99/269.04 c | 3070 | 3.2 | 0 | 47321 | 30204 | 251 | 37259336 | 4692845 || 3070 | 4899428 | 1/ 0 | 1685435 | 0 | 273.09/273.16 c | 3084 | 4.1 | 0 | 45712 | 181 | 252 | 37577813 | 4725906 || 3084 | 4906997 | 1/ 0 | 1687918 | 0 | 274.69/274.74 c | 3132 | 1.6 | 0 | 42085 | 2179 | 253 | 37872070 | 4767978 || 3132 | 4949009 | 1/ 0 | 1701971 | 0 | 276.39/276.44 c | 3170 | 1.7 | 0 | 50037 | 68 | 254 | 38169931 | 4808559 || 3170 | 4987002 | 1/ 0 | 1714347 | 0 | 278.21/278.23 c | 3197 | 1.8 | 0 | 53181 | 8073 | 255 | 38451867 | 4846158 || 3197 | 5034309 | 1/ 0 | 1731602 | 0 | 280.19/280.23 c | 3235 | 2.0 | 0 | 55755 | 565 | 256 | 38751493 | 4885837 || 3235 | 5066156 | 1/ 0 | 1741120 | 0 | 281.99/282.05 c | 3275 | 1.8 | 0 | 56644 | 1191 | 257 | 39047406 | 4926124 || 3275 | 5107957 | 1/ 0 | 1754731 | 0 | 283.89/283.90 c | 3322 | 1.8 | 0 | 63399 | 1278 | 258 | 39352216 | 4969563 || 3322 | 5148558 | 1/ 0 | 1767909 | 0 | 286.59/286.63 c | 3325 | 2.7 | 0 | 67737 | 13174 | 259 | 39640027 | 5002951 || 3325 | 5199978 | 1/ 0 | 1790821 | 0 | 289.69/289.73 c | 3345 | 3.1 | 0 | 60421 | 22 | 260 | 39951022 | 5040303 || 3345 | 5222687 | 1/ 0 | 1794873 | 0 | 291.59/291.69 c | 3388 | 1.9 | 0 | 54846 | 3502 | 261 | 40248848 | 5081812 || 3388 | 5267816 | 1/ 0 | 1810745 | 0 | 293.71/293.76 c | 3434 | 2.1 | 0 | 56327 | 400 | 262 | 40549986 | 5125217 || 3434 | 5303693 | 1/ 0 | 1822314 | 0 | 296.19/296.21 c | 3452 | 2.4 | 0 | 55280 | 3859 | 263 | 40865461 | 5161665 || 3452 | 5347741 | 1/ 0 | 1837135 | 0 | 298.29/298.39 c | 3505 | 2.2 | 0 | 51723 | 332 | 264 | 41179505 | 5206767 || 3505 | 5385718 | 1/ 0 | 1849923 | 0 | 300.31/300.36 c | 3545 | 2.0 | 0 | 48883 | 497 | 265 | 41478659 | 5248319 || 3545 | 5426453 | 1/ 0 | 1863539 | 0 | 302.41/302.46 c | 3579 | 2.1 | 0 | 53006 | 4233 | 266 | 41781960 | 5288913 || 3579 | 5474040 | 1/ 0 | 1883186 | 0 | 305.29/305.36 c | 3580 | 2.9 | 0 | 54663 | 2534 | 267 | 42097718 | 5322031 || 3580 | 5520685 | 1/ 0 | 1896426 | 0 | 309.29/309.33 c | 3581 | 4.0 | 0 | 50557 | 29736 | 268 | 42463422 | 5358090 || 3581 | 5575645 | 1/ 0 | 1922576 | 0 | 313.51/313.54 c | 3581 | 4.2 | 0 | 49224 | 18636 | 269 | 42874617 | 5396775 || 3581 | 5589031 | 1/ 0 | 1922721 | 0 | 316.29/316.38 c | 3626 | 2.8 | 0 | 46728 | 541 | 270 | 43236811 | 5443883 || 3626 | 5621733 | 1/ 0 | 1933477 | 0 | 318.69/318.71 c | 3669 | 2.3 | 0 | 44057 | 223 | 271 | 43550060 | 5487990 || 3669 | 5661784 | 1/ 0 | 1947500 | 0 | 320.79/320.85 c | 3707 | 2.1 | 0 | 41467 | 1623 | 272 | 43859160 | 5530950 || 3707 | 5705180 | 1/ 0 | 1962299 | 0 | 323.09/323.10 c | 3739 | 2.2 | 0 | 41571 | 1239 | 273 | 44161174 | 5570990 || 3739 | 5746109 | 1/ 0 | 1977079 | 0 | 325.09/325.14 c | 3779 | 2.0 | 0 | 45303 | 49 | 274 | 44474072 | 5615224 || 3779 | 5785930 | 1/ 0 | 1990007 | 0 | 327.09/327.19 c | 3833 | 2.1 | 0 | 48984 | 2356 | 275 | 44790929 | 5661293 || 3833 | 5830870 | 1/ 0 | 2005181 | 0 | 329.49/329.57 c | 3836 | 2.4 | 0 | 53534 | 13554 | 276 | 45078933 | 5694927 || 3836 | 5886456 | 1/ 0 | 2028111 | 0 | 332.39/332.41 c | 3862 | 2.8 | 0 | 55615 | 204 | 277 | 45414731 | 5734522 || 3862 | 5912984 | 1/ 0 | 2033242 | 0 | 334.60/334.62 c | 3899 | 2.2 | 0 | 55742 | 2506 | 278 | 45728657 | 5777313 || 3899 | 5957390 | 1/ 0 | 2047942 | 0 | 336.80/336.82 c | 3960 | 2.2 | 0 | 56549 | 670 | 279 | 46055329 | 5825563 || 3960 | 6001292 | 1/ 0 | 2062803 | 0 | 339.10/339.19 c | 3977 | 2.4 | 0 | 57004 | 218 | 280 | 46361854 | 5864940 || 3977 | 6041272 | 1/ 0 | 2076731 | 0 | 341.30/341.36 c | 4026 | 2.2 | 0 | 57984 | 2617 | 281 | 46677740 | 5909980 || 4026 | 6088245 | 1/ 0 | 2093970 | 0 | 343.80/343.86 c | 4075 | 2.5 | 0 | 57443 | 86 | 282 | 47012254 | 5957179 || 4075 | 6127604 | 1/ 0 | 2105969 | 0 | 346.70/346.77 c | 4091 | 2.9 | 0 | 56601 | 6957 | 283 | 47336419 | 5994754 || 4091 | 6183345 | 1/ 0 | 2133306 | 0 | 349.60/349.70 c | 4092 | 2.9 | 0 | 55370 | 16558 | 284 | 47620486 | 6028294 || 4092 | 6239579 | 1/ 0 | 2159423 | 0 | 352.70/352.78 c | 4092 | 3.1 | 0 | 59208 | 7061 | 285 | 47907005 | 6062527 || 4092 | 6278591 | 1/ 0 | 2159791 | 0 | 356.09/356.15 c | 4093 | 3.4 | 0 | 57046 | 36067 | 286 | 48219057 | 6096351 || 4093 | 6348164 | 1/ 0 | 2211643 | 0 | 361.29/361.37 c | 4093 | 5.2 | 0 | 57437 | 29103 | 287 | 48529225 | 6131922 || 4093 | 6400720 | 1/ 0 | 2212100 | 0 | 366.21/366.31 c | 4093 | 4.9 | 0 | 54207 | 17568 | 288 | 48843167 | 6165581 || 4093 | 6421506 | 1/ 0 | 2212308 | 0 | 370.99/371.08 c | 4093 | 4.8 | 0 | 48722 | 46869 | 289 | 49205506 | 6198144 || 4093 | 6421506 | 1/ 0 | 2212308 | 0 | 375.01/375.07 c | 4094 | 4.0 | 0 | 46257 | 76271 | 290 | 49510048 | 6233384 || 4094 | 6570124 | 1/ 0 | 2316095 | 0 | 380.79/380.85 c | 4094 | 5.8 | 0 | 44381 | 29503 | 291 | 49805351 | 6268785 || 4094 | 6623972 | 1/ 0 | 2316556 | 0 | 387.29/387.38 c | 4094 | 6.5 | 0 | 41939 | 29602 | 292 | 50139472 | 6305099 || 4094 | 6678946 | 1/ 0 | 2317057 | 0 | 392.29/392.39 c | 4094 | 5.0 | 0 | 39590 | 11477 | 293 | 50517591 | 6341517 || 4094 | 6711173 | 1/ 0 | 2317324 | 0 | 396.69/396.72 c | 4094 | 4.3 | 0 | 38078 | 41279 | 294 | 50929479 | 6376145 || 4094 | 6711173 | 1/ 0 | 2317324 | 0 | 401.09/401.16 c | 4094 | 4.4 | 0 | 39430 | 71181 | 295 | 51324995 | 6409919 || 4094 | 6711173 | 1/ 0 | 2317324 | 0 | 406.79/406.80 c | 4094 | 5.6 | 0 | 44485 | 101187 | 296 | 51740275 | 6443645 || 4094 | 6711173 | 1/ 0 | 2317324 | 0 | 410.89/410.90 c | 4095 | 4.1 | 0 | 37951 | 131289 | 297 | 52044658 | 6479981 || 4095 | 6976365 | 1/ 0 | 2524666 | 0 | 416.59/416.63 c | 4095 | 5.7 | 0 | 41378 | 30206 | 298 | 52336542 | 6515744 || 4095 | 7035594 | 1/ 0 | 2525137 | 0 | 422.31/422.33 c | 4095 | 5.7 | 0 | 43069 | 30302 | 299 | 52646676 | 6552580 || 4095 | 7091757 | 1/ 0 | 2525672 | 0 | 430.01/430.04 c | 4095 | 7.7 | 0 | 45716 | 30404 | 300 | 52953372 | 6589363 || 4095 | 7147897 | 1/ 0 | 2526223 | 0 | 435.89/435.93 c | 4095 | 5.9 | 0 | 42247 | 30501 | 301 | 53263971 | 6626141 || 4095 | 7204540 | 1/ 0 | 2526715 | 0 | 442.99/443.02 c | 4095 | 7.1 | 0 | 45816 | 30601 | 302 | 53562901 | 6662351 || 4095 | 7262302 | 1/ 0 | 2527177 | 0 | 449.39/449.45 c | 4095 | 6.4 | 0 | 46724 | 6803 | 303 | 53884459 | 6698659 || 4095 | 7309738 | 1/ 0 | 2527553 | 0 | 454.21/454.23 c | 4095 | 4.8 | 0 | 48889 | 37604 | 304 | 54295131 | 6735357 || 4095 | 7309738 | 1/ 0 | 2527553 | 0 | 459.59/459.62 c | 4095 | 5.4 | 0 | 51305 | 68507 | 305 | 54728995 | 6772370 || 4095 | 7309738 | 1/ 0 | 2527553 | 0 | 465.59/465.66 c | 4095 | 6.0 | 0 | 49735 | 99516 | 306 | 55152004 | 6808995 || 4095 | 7309738 | 1/ 0 | 2527553 | 0 | 470.89/470.95 c | 4095 | 5.3 | 0 | 48480 | 130617 | 307 | 55600835 | 6845211 || 4095 | 7309738 | 1/ 0 | 2527553 | 0 | 476.60/476.62 c | 4095 | 5.7 | 0 | 47748 | 161818 | 308 | 56053063 | 6881486 || 4095 | 7309738 | 1/ 0 | 2527553 | 0 | 483.40/483.48 c | 4095 | 6.9 | 0 | 43669 | 193121 | 309 | 56481534 | 6918168 || 4095 | 7309738 | 1/ 0 | 2527553 | 0 | 487.31/487.36 c | 4139 | 3.9 | 0 | 38974 | 124 | 310 | 56874328 | 6966125 || 4139 | 7341399 | 1/ 0 | 2537872 | 0 | 489.29/489.32 c | 4188 | 2.0 | 0 | 43774 | 613 | 311 | 57238377 | 7016667 || 4188 | 7389772 | 1/ 0 | 2553948 | 0 | 491.49/491.54 c | 4222 | 2.2 | 0 | 53987 | 8928 | 312 | 57582705 | 7063655 || 4222 | 7446708 | 1/ 0 | 2573698 | 0 | 493.91/493.94 c | 4275 | 2.4 | 0 | 63128 | 111 | 313 | 57974787 | 7116286 || 4275 | 7486440 | 1/ 0 | 2586484 | 0 | 496.29/496.39 c | 4323 | 2.4 | 0 | 69529 | 422 | 314 | 58338405 | 7167223 || 4323 | 7535404 | 1/ 0 | 2602987 | 0 | 498.89/498.98 c | 4349 | 2.6 | 0 | 76987 | 4858 | 315 | 58699902 | 7212699 || 4349 | 7584835 | 1/ 0 | 2619848 | 0 | 502.49/502.56 c | 4365 | 3.6 | 0 | 84113 | 429 | 316 | 59080282 | 7253493 || 4365 | 7631540 | 1/ 0 | 2636289 | 0 | 505.09/505.19 c | 4413 | 2.6 | 0 | 81271 | 1605 | 317 | 59455370 | 7304536 || 4413 | 7682001 | 1/ 0 | 2652756 | 0 | 507.89/507.91 c | 4475 | 2.7 | 0 | 77880 | 54 | 318 | 59818660 | 7358149 || 4475 | 7731136 | 1/ 0 | 2669237 | 0 | 511.09/511.12 c | 4507 | 3.2 | 0 | 76349 | 686 | 319 | 60176085 | 7403416 || 4507 | 7778402 | 1/ 0 | 2685645 | 0 | 513.79/513.83 c | 4555 | 2.7 | 0 | 73253 | 943 | 320 | 60549719 | 7454347 || 4555 | 7826715 | 1/ 0 | 2702118 | 0 | 516.49/516.53 c | 4603 | 2.7 | 0 | 72365 | 2535 | 321 | 60921183 | 7506031 || 4603 | 7876335 | 1/ 0 | 2718620 | 0 | 519.79/519.85 c | 4605 | 3.3 | 0 | 69438 | 6336 | 322 | 61293910 | 7548200 || 4605 | 7928601 | 1/ 0 | 2738332 | 0 | 523.51/523.56 c | 4606 | 3.7 | 0 | 68344 | 638 | 323 | 61619341 | 7587741 || 4606 | 7999839 | 1/ 0 | 2764589 | 0 | 527.29/527.31 c | 4627 | 3.8 | 0 | 72419 | 258 | 324 | 61998842 | 7630322 || 4627 | 8012213 | 1/ 0 | 2768720 | 0 | 530.11/530.15 c | 4676 | 2.8 | 0 | 71216 | 167 | 325 | 62366310 | 7681064 || 4676 | 8062890 | 1/ 0 | 2785605 | 0 | 532.79/532.89 c | 4732 | 2.7 | 0 | 72096 | 4656 | 326 | 62741088 | 7733697 || 4732 | 8117697 | 1/ 0 | 2804120 | 0 | 535.99/536.06 c | 4768 | 3.2 | 0 | 72446 | 250 | 327 | 63116353 | 7782514 || 4768 | 8162092 | 1/ 0 | 2819438 | 0 | 538.91/538.97 c | 4826 | 2.9 | 0 | 72440 | 699 | 328 | 63493162 | 7836482 || 4826 | 8213021 | 1/ 0 | 2837051 | 0 | 541.99/542.09 c | 4860 | 3.1 | 0 | 73672 | 9510 | 329 | 63882446 | 7885917 || 4860 | 8270555 | 1/ 0 | 2856834 | 0 | 546.61/546.64 c | 4867 | 4.5 | 0 | 66770 | 201 | 330 | 64330517 | 7928488 || 4867 | 8308187 | 1/ 0 | 2870829 | 0 | 549.39/549.47 c | 4924 | 2.8 | 0 | 62633 | 4227 | 331 | 64701715 | 7982427 || 4924 | 8362224 | 1/ 0 | 2889779 | 0 | 552.29/552.37 c | 4986 | 2.9 | 0 | 65627 | 1680 | 332 | 65078234 | 8035890 || 4986 | 8411469 | 1/ 0 | 2906248 | 0 | 555.41/555.49 c | 5018 | 3.1 | 0 | 65091 | 108 | 333 | 65480961 | 8085794 || 5018 | 8460554 | 1/ 0 | 2922750 | 0 | 558.29/558.31 c | 5070 | 2.8 | 0 | 66528 | 88 | 334 | 65850676 | 8138110 || 5070 | 8511013 | 1/ 0 | 2939793 | 0 | 561.29/561.36 c | 5115 | 3.1 | 0 | 69785 | 5955 | 335 | 66258741 | 8191006 || 5115 | 8569239 | 1/ 0 | 2962296 | 0 | 565.19/565.23 c | 5116 | 3.9 | 0 | 70047 | 11157 | 336 | 66645703 | 8231103 || 5116 | 8612911 | 1/ 0 | 2975522 | 0 | 569.89/569.96 c | 5117 | 4.7 | 0 | 72335 | 6859 | 337 | 67012975 | 8272472 || 5117 | 8690614 | 1/ 0 | 3001798 | 0 | 574.49/574.58 c | 5118 | 4.6 | 0 | 67997 | 41061 | 338 | 67447323 | 8314756 || 5118 | 8773433 | 1/ 0 | 3053732 | 0 | 580.81/580.82 c | 5118 | 6.2 | 0 | 66232 | 34302 | 339 | 67792754 | 8355325 || 5118 | 8842479 | 1/ 0 | 3054262 | 0 | 586.31/586.33 c | 5118 | 5.5 | 0 | 63359 | 32963 | 340 | 68309488 | 8399195 || 5118 | 8845489 | 1/ 0 | 3054290 | 0 | 592.59/592.60 c | 5150 | 6.3 | 0 | 59148 | 81 | 341 | 68770625 | 8449064 || 5150 | 8870473 | 1/ 0 | 3062648 | 0 | 595.40/595.45 c | 5211 | 2.9 | 0 | 53715 | 251 | 342 | 69149981 | 8505019 || 5211 | 8924096 | 1/ 0 | 3080673 | 0 | 598.50/598.54 c | 5245 | 3.1 | 0 | 57495 | 2069 | 343 | 69563994 | 8556884 || 5245 | 8980192 | 1/ 0 | 3100408 | 0 | 601.62/601.68 c | 5307 | 3.1 | 0 | 61049 | 2334 | 344 | 69983181 | 8614780 || 5307 | 9029637 | 1/ 0 | 3116880 | 0 | 604.60/604.69 c | 5368 | 3.0 | 0 | 63765 | 452 | 345 | 70395790 | 8673051 || 5368 | 9081292 | 1/ 0 | 3134215 | 0 | 608.10/608.11 c | 5373 | 3.4 | 0 | 64375 | 16841 | 346 | 70776692 | 8716484 || 5373 | 9149547 | 1/ 0 | 3159603 | 0 | 611.52/611.58 c | 5417 | 3.5 | 0 | 69464 | 22 | 347 | 71221732 | 8774174 || 5417 | 9185420 | 1/ 0 | 3169942 | 0 | 614.60/614.62 c | 5470 | 3.0 | 0 | 71201 | 172 | 348 | 71610537 | 8828846 || 5470 | 9239372 | 1/ 0 | 3188060 | 0 | 617.80/617.82 c | 5503 | 3.2 | 0 | 70181 | 181 | 349 | 71992346 | 8878474 || 5503 | 9292984 | 1/ 0 | 3206149 | 0 | 621.00/621.01 c | 5563 | 3.2 | 0 | 70023 | 553 | 350 | 72397957 | 8935532 || 5563 | 9351051 | 1/ 0 | 3225501 | 0 | 624.20/624.23 c | 5626 | 3.2 | 0 | 70784 | 2310 | 351 | 72806295 | 8993219 || 5626 | 9404687 | 1/ 0 | 3245242 | 0 | 628.02/628.09 c | 5628 | 3.9 | 0 | 69983 | 4300 | 352 | 73201589 | 9037693 || 5628 | 9463288 | 1/ 0 | 3264995 | 0 | 633.80/633.80 c | 5629 | 5.7 | 0 | 69127 | 1600 | 353 | 73622037 | 9082825 || 5629 | 9538156 | 1/ 0 | 3291284 | 0 | 639.02/639.02 c | 5659 | 5.2 | 0 | 64483 | 915 | 354 | 74065871 | 9133811 || 5659 | 9557129 | 1/ 0 | 3297902 | 0 | 642.42/642.46 c | 5716 | 3.4 | 0 | 61307 | 167 | 355 | 74477486 | 9189570 || 5716 | 9609764 | 1/ 0 | 3315813 | 0 | 645.80/645.80 c | 5756 | 3.3 | 0 | 61636 | 174 | 356 | 74864001 | 9243065 || 5756 | 9671135 | 1/ 0 | 3337435 | 0 | 649.20/649.21 c | 5818 | 3.4 | 0 | 61492 | 1735 | 357 | 75274983 | 9301038 || 5818 | 9719152 | 1/ 0 | 3353915 | 0 | 652.40/652.46 c | 5880 | 3.2 | 0 | 59777 | 596 | 358 | 75681281 | 9358155 || 5880 | 9774125 | 1/ 0 | 3372079 | 0 | 656.30/656.30 c | 5884 | 3.8 | 0 | 62285 | 18891 | 359 | 76072023 | 9402994 || 5884 | 9842347 | 1/ 0 | 3396725 | 0 | 660.20/660.21 c | 5933 | 3.9 | 0 | 64970 | 169 | 360 | 76497452 | 9457589 || 5933 | 9878727 | 1/ 0 | 3408688 | 0 | 663.60/663.64 c | 5993 | 3.4 | 0 | 65546 | 708 | 361 | 76917885 | 9516737 || 5993 | 9935290 | 1/ 0 | 3428092 | 0 | 667.20/667.29 c | 6027 | 3.6 | 0 | 67316 | 824 | 362 | 77311781 | 9568645 || 6027 | 9987513 | 1/ 0 | 3446288 | 0 | 670.80/670.83 c | 6088 | 3.6 | 0 | 67766 | 149 | 363 | 77716233 | 9626986 || 6088 | 10042866 | 1/ 0 | 3465161 | 0 | 674.32/674.36 c | 6138 | 3.5 | 0 | 68283 | 6026 | 364 | 78139055 | 9683755 || 6138 | 10104833 | 1/ 0 | 3488991 | 0 | 678.80/678.84 c | 6140 | 4.5 | 0 | 68056 | 14124 | 365 | 78579963 | 9730559 || 6140 | 10176856 | 1/ 0 | 3528076 | 0 | 684.30/684.39 c | 6140 | 5.6 | 0 | 67563 | 12723 | 366 | 78958482 | 9774156 || 6140 | 10225988 | 1/ 0 | 3528485 | 0 | 690.30/690.31 c | 6141 | 5.9 | 0 | 68278 | 49828 | 367 | 79338085 | 9817652 || 6141 | 10323875 | 1/ 0 | 3580596 | 0 | 697.80/697.83 c | 6141 | 7.5 | 0 | 64159 | 10222 | 368 | 79709515 | 9860945 || 6141 | 10375344 | 1/ 0 | 3581013 | 0 | 704.90/704.91 c | 6141 | 7.1 | 0 | 59406 | 47524 | 369 | 80178747 | 9903897 || 6141 | 10375344 | 1/ 0 | 3581013 | 0 | 713.20/713.25 c | 6142 | 8.3 | 0 | 53909 | 84927 | 370 | 80603224 | 9949466 || 6142 | 10541225 | 1/ 0 | 3684997 | 0 | 722.00/722.02 c | 6142 | 8.8 | 0 | 48355 | 37501 | 371 | 80998966 | 9994300 || 6142 | 10615028 | 1/ 0 | 3685646 | 0 | 730.90/730.93 c | 6142 | 8.9 | 0 | 49887 | 6425 | 372 | 81401210 | 10038805 || 6142 | 10675726 | 1/ 0 | 3686161 | 0 | 739.50/739.59 c | 6142 | 8.7 | 0 | 46816 | 44126 | 373 | 81852274 | 10080926 || 6142 | 10675726 | 1/ 0 | 3686161 | 0 | 746.60/746.62 c | 6142 | 7.0 | 0 | 46322 | 81929 | 374 | 82288200 | 10122841 || 6142 | 10675726 | 1/ 0 | 3686161 | 0 | 751.60/751.64 c | 6179 | 5.0 | 0 | 44805 | 243 | 375 | 82739533 | 10175478 || 6179 | 10703373 | 1/ 0 | 3695253 | 0 | 754.20/754.25 c | 6240 | 2.6 | 0 | 45817 | 204 | 376 | 83166047 | 10236146 || 6240 | 10760449 | 1/ 0 | 3714714 | 0 | 757.30/757.37 c | 6282 | 3.1 | 0 | 56379 | 110 | 377 | 83589878 | 10292646 || 6282 | 10815961 | 1/ 0 | 3734389 | 0 | 760.30/760.31 c | 6343 | 2.9 | 0 | 63039 | 253 | 378 | 84009984 | 10353377 || 6343 | 10875219 | 1/ 0 | 3753837 | 0 | 763.20/763.30 c | 6396 | 3.0 | 0 | 73158 | 6196 | 379 | 84442626 | 10411925 || 6396 | 10941004 | 1/ 0 | 3778408 | 0 | 767.30/767.31 c | 6407 | 4.0 | 0 | 83158 | 281 | 380 | 84933402 | 10461444 || 6407 | 10991041 | 1/ 0 | 3793227 | 0 | 770.50/770.57 c | 6470 | 3.3 | 0 | 90220 | 246 | 381 | 85374847 | 10522759 || 6470 | 11051328 | 1/ 0 | 3813056 | 0 | 774.10/774.12 c | 6524 | 3.6 | 0 | 91077 | 6188 | 382 | 85792754 | 10581320 || 6524 | 11117869 | 1/ 0 | 3837720 | 0 | 778.00/778.04 c | 6585 | 3.9 | 0 | 87381 | 741 | 383 | 86250669 | 10641689 || 6585 | 11169434 | 1/ 0 | 3852607 | 0 | 781.70/781.72 c | 6649 | 3.7 | 0 | 87401 | 970 | 384 | 86694097 | 10704138 || 6649 | 11230059 | 1/ 0 | 3874005 | 0 | 785.90/785.90 c | 6652 | 4.2 | 0 | 83421 | 3845 | 385 | 87079906 | 10750644 || 6652 | 11296483 | 1/ 0 | 3896995 | 0 | 792.50/792.51 c | 6653 | 6.6 | 0 | 78693 | 4443 | 386 | 87482776 | 10796388 || 6653 | 11373933 | 1/ 0 | 3923274 | 0 | 799.50/799.60 c | 6691 | 7.1 | 0 | 74478 | 428 | 387 | 87947279 | 10851733 || 6691 | 11401582 | 1/ 0 | 3932778 | 0 | 803.29/803.34 c | 6755 | 3.7 | 0 | 67533 | 427 | 388 | 88381698 | 10914106 || 6755 | 11460312 | 1/ 0 | 3952637 | 0 | 807.32/807.39 c | 6796 | 4.1 | 0 | 68727 | 810 | 389 | 88806141 | 10970866 || 6796 | 11518956 | 1/ 0 | 3972833 | 0 | 811.00/811.06 c | 6862 | 3.7 | 0 | 65871 | 266 | 390 | 89249836 | 11032900 || 6862 | 11578850 | 1/ 0 | 3993060 | 0 | 814.70/814.77 c | 6907 | 3.7 | 0 | 67251 | 1839 | 391 | 89720590 | 11092001 || 6907 | 11646107 | 1/ 0 | 4015580 | 0 | 820.10/820.10 c | 6933 | 5.3 | 0 | 69875 | 288 | 392 | 90184833 | 11146151 || 6933 | 11698067 | 1/ 0 | 4033657 | 0 | 824.00/824.01 c | 7000 | 3.9 | 0 | 70738 | 308 | 393 | 90669931 | 11212793 || 7000 | 11759261 | 1/ 0 | 4054298 | 0 | 827.50/827.57 c | 7035 | 3.6 | 0 | 72928 | 5429 | 394 | 91090822 | 11269147 || 7035 | 11819632 | 1/ 0 | 4074826 | 0 | 831.30/831.39 c | 7100 | 3.8 | 0 | 75983 | 66 | 395 | 91555236 | 11332179 || 7100 | 11879886 | 1/ 0 | 4094852 | 0 | 835.10/835.16 c | 7162 | 3.8 | 0 | 77878 | 5010 | 396 | 92000575 | 11394961 || 7162 | 11946380 | 1/ 0 | 4120860 | 0 | 839.80/839.80 c | 7164 | 4.6 | 0 | 76264 | 16308 | 397 | 92459313 | 11443796 || 7164 | 12021733 | 1/ 0 | 4160015 | 0 | 846.10/846.16 c | 7164 | 6.4 | 0 | 75169 | 18109 | 398 | 92919089 | 11492710 || 7164 | 12062231 | 1/ 0 | 4160383 | 0 | 852.30/852.41 c | 7165 | 6.2 | 0 | 74332 | 58410 | 399 | 93348968 | 11541506 || 7165 | 12174958 | 1/ 0 | 4212637 | 0 | 859.80/859.89 c | 7165 | 7.5 | 0 | 72439 | 21997 | 400 | 93786863 | 11588384 || 7165 | 12212013 | 1/ 0 | 4212947 | 0 | 867.40/867.40 c | 7195 | 7.5 | 0 | 69211 | 419 | 401 | 94281540 | 11642772 || 7195 | 12230452 | 1/ 0 | 4219561 | 0 | 871.30/871.34 c | 7259 | 4.0 | 0 | 61103 | 1248 | 402 | 94731628 | 11707623 || 7259 | 12291452 | 1/ 0 | 4241018 | 0 | 875.40/875.48 c | 7301 | 4.1 | 0 | 61066 | 132 | 403 | 95190072 | 11767206 || 7301 | 12349734 | 1/ 0 | 4260625 | 0 | 879.20/879.27 c | 7370 | 3.8 | 0 | 62280 | 443 | 404 | 95646883 | 11831996 || 7370 | 12412799 | 1/ 0 | 4282253 | 0 | 883.10/883.16 c | 7419 | 3.9 | 0 | 66964 | 814 | 405 | 96106770 | 11893973 || 7419 | 12480904 | 1/ 0 | 4305298 | 0 | 888.10/888.14 c | 7446 | 5.0 | 0 | 70540 | 40 | 406 | 96561945 | 11950450 || 7446 | 12531589 | 1/ 0 | 4323469 | 0 | 892.30/892.38 c | 7513 | 4.2 | 0 | 72871 | 275 | 407 | 97027758 | 12017160 || 7513 | 12594419 | 1/ 0 | 4344832 | 0 | 896.52/896.56 c | 7554 | 4.2 | 0 | 75354 | 180 | 408 | 97505484 | 12078566 || 7554 | 12656169 | 1/ 0 | 4365820 | 0 | 900.82/900.91 c | 7625 | 4.4 | 0 | 75597 | 505 | 409 | 97977255 | 12146482 || 7625 | 12720059 | 1/ 0 | 4387686 | 0 | 905.10/905.10 c | 7674 | 4.2 | 0 | 75099 | 1396 | 410 | 98429104 | 12207832 || 7674 | 12787595 | 1/ 0 | 4410764 | 0 | 910.82/910.89 c | 7676 | 5.8 | 0 | 73840 | 23698 | 411 | 98922271 | 12259968 || 7676 | 12868979 | 1/ 0 | 4449982 | 0 | 917.20/917.30 c | 7682 | 6.4 | 0 | 73264 | 189 | 412 | 99393931 | 12311613 || 7682 | 12894909 | 1/ 0 | 4451029 | 0 | 921.30/921.38 c | 7753 | 4.1 | 0 | 69095 | 579 | 413 | 99873001 | 12379675 || 7753 | 12958857 | 1/ 0 | 4472453 | 0 | 925.40/925.45 c | 7803 | 4.1 | 0 | 70592 | 1269 | 414 | 100331061 | 12442508 || 7803 | 13027320 | 1/ 0 | 4496379 | 0 | 929.60/929.69 c | 7866 | 4.2 | 0 | 72370 | 1446 | 415 | 100806403 | 12507008 || 7866 | 13086018 | 1/ 0 | 4516136 | 0 | 933.92/933.99 c | 7930 | 4.3 | 0 | 74195 | 4902 | 416 | 101270489 | 12572073 || 7930 | 13153721 | 1/ 0 | 4542412 | 0 | 939.33/939.40 c | 7946 | 5.4 | 0 | 74618 | 981 | 417 | 101742415 | 12625314 || 7946 | 13211240 | 1/ 0 | 4558961 | 0 | 943.51/943.53 c | 8017 | 4.1 | 0 | 74815 | 76 | 418 | 102216415 | 12691961 || 8017 | 13274550 | 1/ 0 | 4580092 | 0 | 947.61/947.66 c | 8058 | 4.1 | 0 | 78252 | 6391 | 419 | 102688570 | 12751702 || 8058 | 13338922 | 1/ 0 | 4601792 | 0 | 952.01/952.05 c | 8134 | 4.4 | 0 | 82542 | 275 | 420 | 103182625 | 12824551 || 8134 | 13403205 | 1/ 0 | 4623642 | 0 | 956.61/956.69 c | 8185 | 4.6 | 0 | 81679 | 1369 | 421 | 103648770 | 12887930 || 8185 | 13474594 | 1/ 0 | 4647927 | 0 | 962.21/962.21 c | 8187 | 5.5 | 0 | 81270 | 24768 | 422 | 104126118 | 12938691 || 8187 | 13562814 | 1/ 0 | 4687143 | 0 | 967.93/967.97 c | 8188 | 5.8 | 0 | 89867 | 29068 | 423 | 104573551 | 12987890 || 8188 | 13645859 | 1/ 0 | 4739130 | 0 | 975.01/975.09 c | 8188 | 7.1 | 0 | 101842 | 42803 | 424 | 104993781 | 13039474 || 8188 | 13723483 | 1/ 0 | 4739810 | 0 | 983.71/983.73 c | 8188 | 8.6 | 0 | 97960 | 37970 | 425 | 105515038 | 13088404 || 8188 | 13732235 | 1/ 0 | 4739884 | 0 | 993.40/993.41 c | 8189 | 9.7 | 0 | 91004 | 80971 | 426 | 105983361 | 13138804 || 8189 | 13895198 | 1/ 0 | 4843809 | 0 | 1004.71/1004.70 c | 8189 | 11.3 | 0 | 88026 | 43102 | 427 | 106409709 | 13190303 || 8189 | 13975633 | 1/ 0 | 4844493 | 0 | 1016.71/1016.73 c | 8189 | 12.0 | 0 | 83490 | 13673 | 428 | 106881312 | 13241307 || 8189 | 14030888 | 1/ 0 | 4844973 | 0 | 1026.81/1026.80 c | 8189 | 10.1 | 0 | 67625 | 56975 | 429 | 107392005 | 13289243 || 8189 | 14030888 | 1/ 0 | 4844973 | 0 | 1036.70/1036.71 c | 8189 | 9.9 | 0 | 54583 | 100376 | 430 | 107898395 | 13337000 || 8189 | 14030888 | 1/ 0 | 4844973 | 0 | 1044.20/1044.20 c | 8190 | 7.5 | 0 | 54233 | 143883 | 431 | 108311662 | 13389565 || 8190 | 14312187 | 1/ 0 | 5052435 | 0 | 1053.90/1053.99 c | 8190 | 9.8 | 0 | 60111 | 43602 | 432 | 108721777 | 13441608 || 8190 | 14391445 | 1/ 0 | 5053104 | 0 | 1064.11/1064.13 c | 8190 | 10.1 | 0 | 63039 | 43701 | 433 | 109141858 | 13493585 || 8190 | 14469202 | 1/ 0 | 5053745 | 0 | 1075.30/1075.31 c | 8190 | 11.2 | 0 | 65245 | 43801 | 434 | 109570916 | 13545609 || 8190 | 14545218 | 1/ 0 | 5054470 | 0 | 1084.80/1084.80 c | 8190 | 9.5 | 0 | 64648 | 11686 | 435 | 109997346 | 13596893 || 8190 | 14599712 | 1/ 0 | 5054978 | 0 | 1096.50/1096.58 c | 8190 | 11.8 | 0 | 59197 | 55687 | 436 | 110569368 | 13647179 || 8190 | 14599712 | 1/ 0 | 5054978 | 0 | 1108.82/1108.84 c | 8190 | 12.2 | 0 | 62320 | 99790 | 437 | 111120114 | 13697420 || 8190 | 14599712 | 1/ 0 | 5054978 | 0 | 1120.41/1120.48 c | 8190 | 11.7 | 0 | 65169 | 143991 | 438 | 111681877 | 13747464 || 8190 | 14599712 | 1/ 0 | 5054978 | 0 | 1129.51/1129.61 c | 8190 | 9.1 | 0 | 60770 | 188293 | 439 | 112249832 | 13797198 || 8190 | 14599712 | 1/ 0 | 5054978 | 0 | 1138.21/1138.20 c | 8191 | 8.6 | 0 | 59517 | 232694 | 440 | 112752133 | 13850765 || 8191 | 15065103 | 1/ 0 | 5469057 | 0 | 1150.01/1150.07 c | 8191 | 11.9 | 0 | 63651 | 44501 | 441 | 113222081 | 13905483 || 8191 | 15144908 | 1/ 0 | 5469811 | 0 | 1162.91/1162.99 c | 8191 | 12.9 | 0 | 60471 | 44601 | 442 | 113650361 | 13958086 || 8191 | 15230453 | 1/ 0 | 5470530 | 0 | 1177.91/1177.93 c | 8191 | 14.9 | 0 | 66281 | 44701 | 443 | 114078585 | 14010988 || 8191 | 15318041 | 1/ 0 | 5471305 | 0 | 1191.71/1191.77 c | 8191 | 13.8 | 0 | 68653 | 44804 | 444 | 114535768 | 14064042 || 8191 | 15406771 | 1/ 0 | 5472048 | 0 | 1201.61/1201.63 c | 8191 | 9.9 | 0 | 65436 | 44904 | 445 | 114961347 | 14117110 || 8191 | 15494865 | 1/ 0 | 5472799 | 0 | 1210.81/1210.87 c | 8191 | 9.2 | 0 | 74849 | 45003 | 446 | 115395271 | 14170237 || 8191 | 15583937 | 1/ 0 | 5473523 | 0 | 1222.21/1222.20 c | 8191 | 11.3 | 0 | 80824 | 45102 | 447 | 115845595 | 14224250 || 8191 | 15670507 | 1/ 0 | 5474237 | 0 | 1235.81/1235.84 c | 8191 | 13.6 | 0 | 90251 | 45202 | 448 | 116310822 | 14278355 || 8191 | 15753915 | 1/ 0 | 5474957 | 0 | 1245.81/1245.81 c | 8191 | 10.0 | 0 | 93385 | 22412 | 449 | 116813882 | 14330897 || 8191 | 15795170 | 1/ 0 | 5475303 | 0 | 1254.81/1254.80 c | 8191 | 9.0 | 0 | 99914 | 67814 | 450 | 117400303 | 14384347 || 8191 | 15795170 | 1/ 0 | 5475303 | 0 | 1264.72/1264.79 c | 8191 | 10.0 | 0 | 103152 | 113316 | 451 | 118003916 | 14437741 || 8191 | 15795170 | 1/ 0 | 5475303 | 0 | 1275.94/1275.93 c | 8191 | 11.1 | 0 | 99911 | 158918 | 452 | 118665672 | 14490673 || 8191 | 15795170 | 1/ 0 | 5475303 | 0 | 1289.92/1289.91 c | 8191 | 14.0 | 0 | 94884 | 204620 | 453 | 119364469 | 14543683 || 8191 | 15795170 | 1/ 0 | 5475303 | 0 | 1305.32/1305.35 c | 8191 | 15.4 | 0 | 96844 | 250424 | 454 | 120071717 | 14596122 || 8191 | 15795170 | 1/ 0 | 5475303 | 0 | 1319.82/1319.81 c | 8191 | 14.5 | 0 | 84865 | 296327 | 455 | 120731953 | 14648920 || 8191 | 15795170 | 1/ 0 | 5475303 | 0 | 1332.82/1332.89 c | 8191 | 13.1 | 0 | 69684 | 342332 | 456 | 121334156 | 14701214 || 8191 | 15795170 | 1/ 0 | 5475303 | 0 | 1343.42/1343.41 c | 8191 | 10.5 | 0 | 68657 | 388435 | 457 | 121962534 | 14754430 || 8191 | 15795170 | 1/ 0 | 5475303 | 0 | 1349.91/1349.91 c | 8245 | 6.5 | 0 | 66145 | 10 | 458 | 122514072 | 14821662 || 8245 | 15834258 | 1/ 0 | 5488234 | 0 | 1353.32/1353.36 c | 8317 | 3.4 | 0 | 75688 | 2226 | 459 | 123040225 | 14893997 || 8317 | 15909630 | 1/ 0 | 5514942 | 0 | 1357.21/1357.31 c | 8379 | 4.0 | 0 | 94727 | 893 | 460 | 123546107 | 14964059 || 8379 | 15977371 | 1/ 0 | 5536382 | 0 | 1361.62/1361.60 c | 8444 | 4.3 | 0 | 105652 | 412 | 461 | 124094008 | 15036359 || 8444 | 16051607 | 1/ 0 | 5561118 | 0 | 1367.52/1367.54 c | 8461 | 5.9 | 0 | 113102 | 976 | 462 | 124648844 | 15096221 || 8461 | 16117639 | 1/ 0 | 5584145 | 0 | 1372.12/1372.10 c | 8540 | 4.6 | 0 | 111626 | 1485 | 463 | 125171209 | 15171722 || 8540 | 16190966 | 1/ 0 | 5608914 | 0 | 1377.02/1377.08 c | 8596 | 5.0 | 0 | 117239 | 14 | 464 | 125684863 | 15241746 || 8596 | 16259654 | 1/ 0 | 5631701 | 0 | 1382.01/1382.07 c | 8673 | 5.0 | 0 | 110396 | 139 | 465 | 126216218 | 15315634 || 8673 | 16331764 | 1/ 0 | 5655957 | 0 | 1387.61/1387.64 c | 8701 | 5.6 | 0 | 101190 | 175 | 466 | 126767952 | 15381173 || 8701 | 16418500 | 1/ 0 | 5686410 | 0 | 1393.64/1393.66 c | 8702 | 6.0 | 0 | 95050 | 8875 | 467 | 127276471 | 15438664 || 8702 | 16487597 | 1/ 0 | 5712657 | 0 | 1399.14/1399.17 c | 8764 | 5.5 | 0 | 93799 | 2313 | 468 | 127802932 | 15509383 || 8764 | 16536228 | 1/ 0 | 5729170 | 0 | 1403.72/1403.72 c | 8829 | 4.5 | 0 | 95067 | 3862 | 469 | 128332059 | 15581948 || 8829 | 16612771 | 1/ 0 | 5758735 | 0 | 1408.62/1408.61 c | 8892 | 4.9 | 0 | 95985 | 4691 | 470 | 128863543 | 15653623 || 8892 | 16681608 | 1/ 0 | 5778557 | 0 | 1413.54/1413.55 c | 8956 | 4.9 | 0 | 94736 | 8829 | 471 | 129398853 | 15726344 || 8956 | 16758476 | 1/ 0 | 5804931 | 0 | 1418.82/1418.81 c | 8988 | 5.3 | 0 | 92864 | 354 | 472 | 129892550 | 15789724 || 8988 | 16822748 | 1/ 0 | 5826315 | 0 | 1423.82/1423.83 c | 9072 | 5.0 | 0 | 99913 | 37 | 473 | 130428029 | 15868262 || 9072 | 16893277 | 1/ 0 | 5850217 | 0 | 1429.52/1429.59 c | 9129 | 5.8 | 0 | 100355 | 483 | 474 | 130980315 | 15939389 || 9129 | 16964729 | 1/ 0 | 5874918 | 0 | 1434.62/1434.67 c | 9209 | 5.1 | 0 | 99577 | 1590 | 475 | 131522192 | 16015449 || 9209 | 17039353 | 1/ 0 | 5900451 | 0 | 1440.22/1440.29 c | 9213 | 5.6 | 0 | 97699 | 13588 | 476 | 132038226 | 16073503 || 9213 | 17135236 | 1/ 0 | 5949346 | 0 | 1449.22/1449.25 c | 9213 | 9.0 | 0 | 101584 | 23283 | 477 | 132617150 | 16132583 || 9213 | 17183947 | 1/ 0 | 5949720 | 0 | 1457.44/1457.50 c | 9214 | 8.2 | 0 | 97114 | 71486 | 478 | 133123101 | 16191318 || 9214 | 17322386 | 1/ 0 | 6002212 | 0 | 1466.82/1466.81 c | 9214 | 9.3 | 0 | 88411 | 42980 | 479 | 133792933 | 16256283 || 9214 | 17331931 | 1/ 0 | 6002300 | 0 | 1472.72/1472.71 c | 9284 | 5.9 | 0 | 85099 | 226 | 480 | 134351773 | 16330141 || 9284 | 17394600 | 1/ 0 | 6023296 | 0 | 1477.92/1477.92 c | 9341 | 5.2 | 0 | 84988 | 5164 | 481 | 134886138 | 16401196 || 9341 | 17468021 | 1/ 0 | 6048377 | 0 | 1483.02/1483.07 c | 9426 | 5.1 | 0 | 83660 | 345 | 482 | 135448226 | 16479859 || 9426 | 17541167 | 1/ 0 | 6072659 | 0 | 1488.34/1488.36 c | 9469 | 5.3 | 0 | 81005 | 12554 | 483 | 135973740 | 16548977 || 9469 | 17628688 | 1/ 0 | 6107452 | 0 | 1494.52/1494.53 c | 9531 | 6.2 | 0 | 86422 | 1190 | 484 | 136552667 | 16623350 || 9531 | 17686708 | 1/ 0 | 6124030 | 0 | 1499.92/1499.96 c | 9596 | 5.4 | 0 | 87489 | 4334 | 485 | 137090728 | 16697900 || 9596 | 17765402 | 1/ 0 | 6153626 | 0 | 1505.42/1505.47 c | 9659 | 5.5 | 0 | 90402 | 1928 | 486 | 137651647 | 16771161 || 9659 | 17832345 | 1/ 0 | 6173504 | 0 | 1510.92/1510.97 c | 9723 | 5.5 | 0 | 87657 | 2881 | 487 | 138215317 | 16846067 || 9723 | 17908734 | 1/ 0 | 6199882 | 0 | 1517.42/1517.48 c | 9725 | 6.5 | 0 | 88459 | 32883 | 488 | 138699680 | 16904224 || 9725 | 18009653 | 1/ 0 | 6239174 | 0 | 1525.22/1525.27 c | 9763 | 7.8 | 0 | 89311 | 78 | 489 | 139244233 | 16969700 || 9763 | 18047831 | 1/ 0 | 6248720 | 0 | 1530.72/1530.72 c | 9850 | 5.5 | 0 | 87449 | 844 | 490 | 139803737 | 17049852 || 9850 | 18124702 | 1/ 0 | 6275485 | 0 | 1536.33/1536.32 c | 9912 | 5.6 | 0 | 90753 | 192 | 491 | 140358764 | 17125401 || 9912 | 18197423 | 1/ 0 | 6299418 | 0 | 1541.93/1541.92 c | 9978 | 5.6 | 0 | 91757 | 2813 | 492 | 140919251 | 17200567 || 9978 | 18272867 | 1/ 0 | 6324961 | 0 | 1548.62/1548.64 c | 10009 | 6.7 | 0 | 91278 | 48 | 493 | 141501282 | 17266717 || 10009 | 18347423 | 1/ 0 | 6350471 | 0 | 1554.12/1554.19 c | 10089 | 5.5 | 0 | 89844 | 466 | 494 | 142057866 | 17346510 || 10089 | 18421299 | 1/ 0 | 6376032 | 0 | 1560.12/1560.17 c | 10152 | 6.0 | 0 | 90088 | 216 | 495 | 142601045 | 17420468 || 10152 | 18497542 | 1/ 0 | 6401524 | 0 | 1565.92/1565.92 c | 10233 | 5.7 | 0 | 89095 | 1611 | 496 | 143157639 | 17499546 || 10233 | 18576559 | 1/ 0 | 6430277 | 0 | 1572.94/1572.98 c | 10236 | 7.1 | 0 | 88771 | 18114 | 497 | 143764356 | 17563359 || 10236 | 18672792 | 1/ 0 | 6475977 | 0 | 1582.62/1582.66 c | 10237 | 9.7 | 0 | 88017 | 29915 | 498 | 144307272 | 17622148 || 10237 | 18773621 | 1/ 0 | 6528076 | 0 | 1593.94/1593.94 c | 10237 | 11.3 | 0 | 85208 | 3415 | 499 | 144836804 | 17683188 || 10237 | 18866802 | 1/ 0 | 6528878 | 0 | 1603.84/1603.86 c | 10238 | 9.9 | 0 | 80273 | 53817 | 500 | 145506393 | 17741892 || 10238 | 18974603 | 1/ 0 | 6632314 | 0 | 1614.43/1614.41 c | 10238 | 10.5 | 0 | 74976 | 50503 | 501 | 146074120 | 17808098 || 10238 | 19055351 | 1/ 0 | 6633168 | 0 | 1628.83/1628.83 c | 10238 | 14.4 | 0 | 80156 | 1320 | 502 | 146655345 | 17874021 || 10238 | 19133880 | 1/ 0 | 6633983 | 0 | 1641.03/1641.05 c | 10238 | 12.2 | 0 | 59400 | 52021 | 503 | 147428242 | 17935173 || 10238 | 19133880 | 1/ 0 | 6633983 | 0 | 1653.82/1653.83 c | 10241 | 12.8 | 0 | 59958 | 121 | 504 | 148185671 | 17994734 || 10241 | 19134817 | 1/ 0 | 6634395 | 0 | 1658.74/1658.79 c | 10331 | 5.0 | 0 | 54393 | 714 | 505 | 148754477 | 18077345 || 10331 | 19213712 | 1/ 0 | 6660374 | 0 | 1663.72/1663.78 c | 10395 | 5.0 | 0 | 69186 | 318 | 506 | 149351883 | 18156968 || 10395 | 19290681 | 1/ 0 | 6686723 | 0 | 1668.64/1668.69 c | 10482 | 4.9 | 0 | 76231 | 404 | 507 | 149917754 | 18239284 || 10482 | 19368539 | 1/ 0 | 6712826 | 0 | 1675.12/1675.13 c | 10493 | 6.4 | 0 | 84719 | 11976 | 508 | 150472470 | 18303059 || 10493 | 19443859 | 1/ 0 | 6739422 | 0 | 1680.43/1680.47 c | 10586 | 5.3 | 0 | 89302 | 1057 | 509 | 151048384 | 18386336 || 10586 | 19521596 | 1/ 0 | 6765806 | 0 | 1686.25/1686.23 c | 10650 | 5.8 | 0 | 97686 | 1079 | 510 | 151656031 | 18465179 || 10650 | 19599240 | 1/ 0 | 6792166 | 0 | 1691.85/1691.83 c | 10736 | 5.6 | 0 | 103945 | 355 | 511 | 152240016 | 18549116 || 10736 | 19677504 | 1/ 0 | 6818195 | 0 | 1698.03/1698.07 c | 10748 | 6.2 | 0 | 97251 | 12317 | 512 | 152759909 | 18612044 || 10748 | 19753704 | 1/ 0 | 6844895 | 0 | 1707.25/1707.25 c | 10750 | 9.2 | 0 | 95432 | 25618 | 513 | 153328566 | 18674992 || 10750 | 19826020 | 1/ 0 | 6871287 | 0 | 1712.83/1712.85 c | 10843 | 5.6 | 0 | 90992 | 1142 | 514 | 153916864 | 18760610 || 10843 | 19907523 | 1/ 0 | 6899211 | 0 | 1718.83/1718.84 c | 10907 | 6.0 | 0 | 96840 | 1681 | 515 | 154494480 | 18837805 || 10907 | 19986060 | 1/ 0 | 6925566 | 0 | 1725.13/1725.10 c | 10999 | 6.3 | 0 | 94447 | 278 | 516 | 155090776 | 18923238 || 10999 | 20063984 | 1/ 0 | 6951206 | 0 | 1732.13/1732.17 c | 11011 | 7.1 | 0 | 93879 | 345 | 517 | 155695513 | 18990508 || 11011 | 20136554 | 1/ 0 | 6977905 | 0 | 1737.83/1737.91 c | 11098 | 5.7 | 0 | 90827 | 1488 | 518 | 156273112 | 19073288 || 11098 | 20215230 | 1/ 0 | 7004707 | 0 | 1743.55/1743.53 c | 11166 | 5.6 | 0 | 94902 | 238 | 519 | 156855582 | 19151224 || 11166 | 20296524 | 1/ 0 | 7031592 | 0 | 1749.53/1749.50 c | 11256 | 6.0 | 0 | 99292 | 164 | 520 | 157438028 | 19235953 || 11256 | 20375811 | 1/ 0 | 7059085 | 0 | 1756.44/1756.46 c | 11260 | 7.0 | 0 | 95858 | 19061 | 521 | 157992473 | 19298372 || 11260 | 20476000 | 1/ 0 | 7108029 | 0 | 1765.73/1765.79 c | 11261 | 9.3 | 0 | 95059 | 33263 | 522 | 158629637 | 19362559 || 11261 | 20578754 | 1/ 0 | 7160170 | 0 | 1775.74/1775.76 c | 11261 | 10.0 | 0 | 92181 | 9165 | 523 | 159181086 | 19426243 || 11261 | 20657312 | 1/ 0 | 7160872 | 0 | 1787.84/1787.89 c | 11290 | 12.1 | 0 | 88755 | 495 | 524 | 159942408 | 19499598 || 11290 | 20674787 | 1/ 0 | 7166646 | 0 | 1793.94/1793.92 c | 11378 | 6.0 | 0 | 83065 | 71 | 525 | 160542324 | 19584502 || 11378 | 20753700 | 1/ 0 | 7193521 | 0 | 1799.84/1799.88 c | 11448 | 6.0 | 0 | 82424 | 413 | 526 | 161116342 | 19662529 || 11448 | 20835602 | 1/ 0 | 7220984 | 0 | 1805.83/1805.89 c | 11515 | 6.0 | 0 | 86363 | 5971 | 527 | 161700389 | 19742129 || 11515 | 20922582 | 1/ 0 | 7252996 | 0 | 1813.03/1813.07 c | 11553 | 7.2 | 0 | 88567 | 67 | 528 | 162282477 | 19814171 || 11553 | 20994793 | 1/ 0 | 7275299 | 0 | 1819.24/1819.28 c | 11642 | 6.2 | 0 | 90337 | 1746 | 529 | 162870934 | 19898944 || 11642 | 21077990 | 1/ 0 | 7305747 | 0 | 1825.54/1825.54 c | 11706 | 6.3 | 0 | 96075 | 3770 | 530 | 163441922 | 19977221 || 11706 | 21157981 | 1/ 0 | 7332147 | 0 | 1832.24/1832.22 c | 11770 | 6.7 | 0 | 102445 | 4323 | 531 | 164040833 | 20056406 || 11770 | 21237741 | 1/ 0 | 7358520 | 0 | 1840.44/1840.46 c | 11772 | 8.2 | 0 | 99647 | 315 | 532 | 164577894 | 20121570 || 11772 | 21343313 | 1/ 0 | 7397940 | 0 | 1848.73/1848.72 c | 11833 | 8.2 | 0 | 93277 | 291 | 533 | 165213700 | 20199204 || 11833 | 21388813 | 1/ 0 | 7412792 | 0 | 1855.13/1855.18 c | 11899 | 6.5 | 0 | 93541 | 8350 | 534 | 165814365 | 20279806 || 11899 | 21479069 | 1/ 0 | 7444049 | 0 | 1861.93/1861.92 c | 11983 | 6.7 | 0 | 96005 | 118 | 535 | 166413184 | 20363796 || 11983 | 21552659 | 1/ 0 | 7467993 | 0 | 1869.23/1869.20 c | 12027 | 7.3 | 0 | 95511 | 16712 | 536 | 167020757 | 20439144 || 12027 | 21651822 | 1/ 0 | 7503288 | 0 | 1876.73/1876.78 c | 12092 | 7.6 | 0 | 91010 | 146 | 537 | 167688075 | 20521551 || 12092 | 21715236 | 1/ 0 | 7523350 | 0 | 1883.83/1883.81 c | 12164 | 7.0 | 0 | 90068 | 19 | 538 | 168316231 | 20606247 || 12164 | 21795446 | 1/ 0 | 7551145 | 0 | 1890.43/1890.47 c | 12257 | 6.7 | 0 | 92229 | 164 | 539 | 168910650 | 20693564 || 12257 | 21876948 | 1/ 0 | 7578949 | 0 | 1898.03/1898.00 c | 12282 | 7.5 | 0 | 93505 | 8985 | 540 | 169494174 | 20763851 || 12282 | 21963363 | 1/ 0 | 7608759 | 0 | 1907.13/1907.10 c | 12283 | 9.1 | 0 | 92478 | 25087 | 541 | 170054949 | 20827336 || 12283 | 22037222 | 1/ 0 | 7635010 | 0 | 1917.53/1917.56 c | 12284 | 10.5 | 0 | 88901 | 2885 | 542 | 170580301 | 20891670 || 12284 | 22186599 | 1/ 0 | 7687553 | 0 | 1931.24/1931.24 c | 12285 | 13.7 | 0 | 87593 | 57589 | 543 | 171327444 | 20957117 || 12285 | 22303240 | 1/ 0 | 7791061 | 0 | 1947.64/1947.61 c | 12285 | 16.4 | 0 | 85514 | 54804 | 544 | 171855031 | 21021776 || 12285 | 22413395 | 1/ 0 | 7791976 | 0 | 1969.06/1969.04 c | 12285 | 21.4 | 0 | 88911 | 13690 | 545 | 172462533 | 21086733 || 12285 | 22497262 | 1/ 0 | 7792641 | 0 | 1985.46/1985.42 c | 12285 | 16.4 | 0 | 72737 | 68694 | 546 | 173302192 | 21154327 || 12285 | 22497262 | 1/ 0 | 7792641 | 0 | 2002.06/2002.09 c | 12286 | 16.7 | 0 | 76790 | 123795 | 547 | 174034618 | 21220950 || 12286 | 22742823 | 1/ 0 | 7999842 | 0 | 2018.64/2018.64 c | 12286 | 16.6 | 0 | 66647 | 55204 | 548 | 174595195 | 21287385 || 12286 | 22843966 | 1/ 0 | 8000743 | 0 | 2032.44/2032.46 c | 12286 | 13.8 | 0 | 67683 | 55306 | 549 | 175147197 | 21354116 || 12286 | 22945719 | 1/ 0 | 8001618 | 0 | 2047.44/2047.41 c | 12286 | 15.0 | 0 | 71138 | 55402 | 550 | 175724601 | 21421393 || 12286 | 23048174 | 1/ 0 | 8002467 | 0 | 2060.54/2060.57 c | 12286 | 13.2 | 0 | 66190 | 38006 | 551 | 176342095 | 21484449 || 12286 | 23079285 | 1/ 0 | 8002741 | 0 | 2080.23/2080.23 c | 12286 | 19.7 | 0 | 66718 | 93608 | 552 | 177025732 | 21546276 || 12286 | 23079285 | 1/ 0 | 8002741 | 0 | 2116.54/2116.53 c | 12286 | 36.3 | 0 | 74164 | 149309 | 553 | 177715280 | 21607836 || 12286 | 23079285 | 1/ 0 | 8002741 | 0 | 2146.05/2146.10 c | 12288 | 29.6 | 0 | 73716 | 0 | 554 | 178396301 | 21669716 || 12288 | 23079925 | 1/ 0 | 8002950 | 0 | 2151.74/2151.77 c | 12386 | 5.7 | 0 | 60242 | 155 | 555 | 179060349 | 21763298 || 12386 | 23166708 | 1/ 0 | 8031676 | 0 | 2156.74/2156.75 c | 12459 | 5.0 | 0 | 79120 | 591 | 556 | 179722220 | 21849693 || 12459 | 23251170 | 1/ 0 | 8060499 | 0 | 2161.84/2161.80 c | 12540 | 5.1 | 0 | 88325 | 4482 | 557 | 180343197 | 21936115 || 12540 | 23343602 | 1/ 0 | 8095048 | 0 | 2168.94/2168.99 c | 12582 | 7.2 | 0 | 99123 | 274 | 558 | 180972643 | 22012643 || 12582 | 23421439 | 1/ 0 | 8118191 | 0 | 2174.66/2174.67 c | 12667 | 5.7 | 0 | 107923 | 1493 | 559 | 181600858 | 22101131 || 12667 | 23510717 | 1/ 0 | 8147862 | 0 | 2181.14/2181.16 c | 12742 | 6.5 | 0 | 118427 | 274 | 560 | 182241177 | 22186421 || 12742 | 23592009 | 1/ 0 | 8175965 | 0 | 2187.74/2187.76 c | 12796 | 6.6 | 0 | 123846 | 14859 | 561 | 182877670 | 22267555 || 12796 | 23693764 | 1/ 0 | 8213634 | 0 | 2196.44/2196.42 c | 12797 | 8.7 | 0 | 116193 | 13858 | 562 | 183440270 | 22332992 || 12797 | 23781355 | 1/ 0 | 8239965 | 0 | 2203.54/2203.57 c | 12875 | 7.2 | 0 | 116507 | 766 | 563 | 184072488 | 22418224 || 12875 | 23852144 | 1/ 0 | 8263059 | 0 | 2210.14/2210.14 c | 12954 | 6.6 | 0 | 115866 | 964 | 564 | 184702064 | 22504896 || 12954 | 23940014 | 1/ 0 | 8292740 | 0 | 2216.65/2216.61 c | 13049 | 6.5 | 0 | 117086 | 2026 | 565 | 185354044 | 22595565 || 13049 | 24027489 | 1/ 0 | 8322391 | 0 | 2224.44/2224.46 c | 13080 | 7.8 | 0 | 116213 | 264 | 566 | 186001052 | 22670393 || 13080 | 24111054 | 1/ 0 | 8350730 | 0 | 2231.04/2231.05 c | 13176 | 6.6 | 0 | 118114 | 634 | 567 | 186644877 | 22762303 || 13176 | 24197726 | 1/ 0 | 8379971 | 0 | 2237.95/2237.99 c | 13242 | 6.9 | 0 | 118039 | 4077 | 568 | 187275118 | 22845653 || 13242 | 24289422 | 1/ 0 | 8411289 | 0 | 2245.45/2245.47 c | 13307 | 7.5 | 0 | 119992 | 8410 | 569 | 187928363 | 22930527 || 13307 | 24384709 | 1/ 0 | 8450627 | 0 | 2255.15/2255.19 c | 13308 | 9.7 | 0 | 112760 | 8203 | 570 | 188557676 | 22999459 || 13308 | 24479198 | 1/ 0 | 8477079 | 0 | 2266.35/2266.30 c | 13309 | 11.1 | 0 | 105951 | 65704 | 571 | 189226937 | 23069296 || 13309 | 24607888 | 1/ 0 | 8529388 | 0 | 2282.57/2282.58 c | 13309 | 16.3 | 0 | 102104 | 46503 | 572 | 190004845 | 23138012 || 13309 | 24628411 | 1/ 0 | 8529578 | 0 | 2290.75/2290.75 c | 13403 | 8.2 | 0 | 92725 | 2364 | 573 | 190677118 | 23230332 || 13403 | 24711628 | 1/ 0 | 8557631 | 0 | 2297.86/2297.88 c | 13481 | 7.1 | 0 | 91393 | 333 | 574 | 191335234 | 23318669 || 13481 | 24796694 | 1/ 0 | 8586479 | 0 | 2304.85/2304.83 c | 13563 | 6.9 | 0 | 88867 | 4782 | 575 | 192000870 | 23407699 || 13563 | 24891151 | 1/ 0 | 8621842 | 0 | 2312.65/2312.63 c | 13610 | 7.8 | 0 | 89246 | 659 | 576 | 192678658 | 23489868 || 13610 | 24968067 | 1/ 0 | 8646606 | 0 | 2319.35/2319.32 c | 13691 | 6.7 | 0 | 93068 | 5357 | 577 | 193318227 | 23577969 || 13691 | 25062331 | 1/ 0 | 8681114 | 0 | 2326.65/2326.62 c | 13777 | 7.3 | 0 | 97707 | 56 | 578 | 193955819 | 23667121 || 13777 | 25142742 | 1/ 0 | 8705614 | 0 | 2334.45/2334.43 c | 13819 | 7.8 | 0 | 100517 | 3156 | 579 | 194572274 | 23745736 || 13819 | 25243578 | 1/ 0 | 8740466 | 0 | 2344.45/2344.41 c | 13820 | 10.0 | 0 | 99294 | 23154 | 580 | 195227034 | 23814856 || 13820 | 25312578 | 1/ 0 | 8766736 | 0 | 2351.76/2351.72 c | 13920 | 7.3 | 0 | 96660 | 245 | 581 | 195877977 | 23907727 || 13920 | 25398364 | 1/ 0 | 8795580 | 0 | 2359.57/2359.59 c | 14000 | 7.9 | 0 | 98362 | 149 | 582 | 196544507 | 23998280 || 14000 | 25488758 | 1/ 0 | 8825677 | 0 | 2366.65/2366.64 c | 14074 | 7.0 | 0 | 98742 | 9442 | 583 | 197186152 | 24085399 || 14074 | 25587704 | 1/ 0 | 8859017 | 0 | 2374.75/2374.81 c | 14135 | 8.2 | 0 | 99187 | 267 | 584 | 197854285 | 24171276 || 14135 | 25665729 | 1/ 0 | 8886235 | 0 | 2382.05/2382.02 c | 14202 | 7.2 | 0 | 98597 | 2001 | 585 | 198492635 | 24257950 || 14202 | 25760181 | 1/ 0 | 8918355 | 0 | 2389.35/2389.30 c | 14296 | 7.3 | 0 | 100924 | 1576 | 586 | 199136910 | 24350099 || 14296 | 25843561 | 1/ 0 | 8946396 | 0 | 2397.35/2397.37 c | 14330 | 8.1 | 0 | 107988 | 10982 | 587 | 199785269 | 24428815 || 14330 | 25932723 | 1/ 0 | 8977684 | 0 | 2407.97/2407.93 c | 14332 | 10.6 | 0 | 105605 | 31784 | 588 | 200417149 | 24498514 || 14332 | 26071706 | 1/ 0 | 9055780 | 0 | 2419.75/2419.71 c | 14332 | 11.8 | 0 | 102067 | 14286 | 589 | 201044663 | 24568776 || 14332 | 26159915 | 1/ 0 | 9056457 | 0 | 2432.65/2432.63 c | 14333 | 12.9 | 0 | 98075 | 73688 | 590 | 201741172 | 24636871 || 14333 | 26307593 | 1/ 0 | 9160214 | 0 | 2448.25/2448.26 c | 14333 | 15.6 | 0 | 96868 | 59502 | 591 | 202356280 | 24707544 || 14333 | 26423548 | 1/ 0 | 9161225 | 0 | 2462.15/2462.12 c | 14333 | 13.8 | 0 | 94206 | 39187 | 592 | 203018471 | 24775408 || 14333 | 26463877 | 1/ 0 | 9161553 | 0 | 2479.66/2479.60 c | 14333 | 17.5 | 0 | 84726 | 98888 | 593 | 203770728 | 24842075 || 14333 | 26463877 | 1/ 0 | 9161553 | 0 | 2487.36/2487.39 c | 14434 | 7.8 | 0 | 83006 | 232 | 594 | 204478510 | 24938755 || 14434 | 26549454 | 1/ 0 | 9190884 | 0 | 2494.56/2494.58 c | 14519 | 7.2 | 0 | 87030 | 222 | 595 | 205157004 | 25030915 || 14519 | 26640862 | 1/ 0 | 9221425 | 0 | 2501.26/2501.24 c | 14587 | 6.7 | 0 | 93613 | 2753 | 596 | 205811311 | 25119196 || 14587 | 26736812 | 1/ 0 | 9253931 | 0 | 2508.96/2509.01 c | 14650 | 7.8 | 0 | 101199 | 284 | 597 | 206520696 | 25207721 || 14650 | 26824363 | 1/ 0 | 9283572 | 0 | 2515.86/2515.83 c | 14720 | 6.8 | 0 | 104703 | 29 | 598 | 207202065 | 25296621 || 14720 | 26913428 | 1/ 0 | 9313821 | 0 | 2523.06/2523.08 c | 14826 | 7.2 | 0 | 111022 | 26 | 599 | 207890723 | 25395970 || 14826 | 27004093 | 1/ 0 | 9344733 | 0 | 2531.86/2531.80 c | 14844 | 8.7 | 0 | 110561 | 19101 | 600 | 208576917 | 25472645 || 14844 | 27121581 | 1/ 0 | 9398387 | 0 | 2541.86/2541.86 c | 14875 | 10.1 | 0 | 111713 | 1119 | 601 | 209261481 | 25551180 || 14875 | 27182363 | 1/ 0 | 9406931 | 0 | 2548.67/2548.71 c | 14970 | 6.9 | 0 | 107647 | 2331 | 602 | 209931560 | 25644905 || 14970 | 27274592 | 1/ 0 | 9438252 | 0 | 2556.26/2556.21 c | 15056 | 7.5 | 0 | 108669 | 47 | 603 | 210601195 | 25737068 || 15056 | 27364804 | 1/ 0 | 9469111 | 0 | 2564.36/2564.33 c | 15099 | 8.1 | 0 | 109233 | 5120 | 604 | 211341695 | 25825360 || 15099 | 27461863 | 1/ 0 | 9504044 | 0 | 2572.16/2572.14 c | 15193 | 7.8 | 0 | 105849 | 182 | 605 | 212029182 | 25920151 || 15193 | 27545007 | 1/ 0 | 9532073 | 0 | 2580.16/2580.10 c | 15279 | 8.0 | 0 | 103883 | 359 | 606 | 212716449 | 26012787 || 15279 | 27635102 | 1/ 0 | 9562989 | 0 | 2587.66/2587.62 c | 15353 | 7.5 | 0 | 104177 | 1840 | 607 | 213401407 | 26104063 || 15353 | 27732531 | 1/ 0 | 9596308 | 0 | 2597.66/2597.69 c | 15355 | 10.1 | 0 | 106769 | 5437 | 608 | 214082550 | 26176717 || 15355 | 27847131 | 1/ 0 | 9635720 | 0 | 2610.66/2610.63 c | 15356 | 12.9 | 0 | 102969 | 66739 | 609 | 214801338 | 26250617 || 15356 | 27977234 | 1/ 0 | 9688171 | 0 | 2623.86/2623.81 c | 15357 | 13.2 | 0 | 99628 | 35 | 610 | 215587410 | 26320963 || 15357 | 27997730 | 1/ 0 | 9688445 | 0 | 2631.46/2631.46 c | 15468 | 7.6 | 0 | 92176 | 281 | 611 | 216291646 | 26422267 || 15468 | 28091718 | 1/ 0 | 9720117 | 0 | 2638.97/2638.97 c | 15546 | 7.5 | 0 | 95491 | 2767 | 612 | 216950014 | 26514229 || 15546 | 28187643 | 1/ 0 | 9754284 | 0 | 2646.15/2646.16 c | 15611 | 7.2 | 0 | 94608 | 11511 | 613 | 217623493 | 26602508 || 15611 | 28289959 | 1/ 0 | 9793698 | 0 | 2654.15/2654.21 c | 15683 | 8.1 | 0 | 100229 | 16 | 614 | 218341659 | 26694217 || 15683 | 28368232 | 1/ 0 | 9815004 | 0 | 2662.07/2662.09 c | 15769 | 7.9 | 0 | 104216 | 1214 | 615 | 219023872 | 26787510 || 15769 | 28463401 | 1/ 0 | 9848140 | 0 | 2670.35/2670.37 c | 15864 | 8.3 | 0 | 109895 | 1389 | 616 | 219708429 | 26885271 || 15864 | 28556304 | 1/ 0 | 9879515 | 0 | 2679.95/2679.97 c | 15867 | 9.6 | 0 | 114187 | 34690 | 617 | 220343162 | 26959446 || 15867 | 28675460 | 1/ 0 | 9925441 | 0 | 2690.06/2690.01 c | 15930 | 10.1 | 0 | 111183 | 2314 | 618 | 221095792 | 27048477 || 15930 | 28736639 | 1/ 0 | 9945212 | 0 | 2698.38/2698.39 c | 16009 | 8.4 | 0 | 109011 | 794 | 619 | 221842033 | 27143765 || 16009 | 28830169 | 1/ 0 | 9974882 | 0 | 2706.36/2706.31 c | 16119 | 7.9 | 0 | 104275 | 921 | 620 | 222532507 | 27243193 || 16119 | 28925067 | 1/ 0 | 10007862 | 0 | 2715.36/2715.35 c | 16153 | 9.0 | 0 | 106566 | 145 | 621 | 223232573 | 27326004 || 16153 | 29018483 | 1/ 0 | 10039143 | 0 | 2723.46/2723.51 c | 16249 | 8.2 | 0 | 104092 | 3284 | 622 | 223922456 | 27423502 || 16249 | 29117933 | 1/ 0 | 10076968 | 0 | 2732.26/2732.23 c | 16342 | 8.7 | 0 | 106899 | 541 | 623 | 224637945 | 27519794 || 16342 | 29206237 | 1/ 0 | 10103434 | 0 | 2741.06/2741.04 c | 16377 | 8.8 | 0 | 111768 | 10069 | 624 | 225383706 | 27607262 || 16377 | 29299211 | 1/ 0 | 10136306 | 0 | 2751.96/2751.99 c | 16379 | 11.0 | 0 | 116920 | 34567 | 625 | 226104988 | 27681993 || 16379 | 29446557 | 1/ 0 | 10214424 | 0 | 2765.76/2765.71 c | 16379 | 13.7 | 0 | 131941 | 20762 | 626 | 226805925 | 27759203 || 16379 | 29531707 | 1/ 0 | 10215145 | 0 | 2779.56/2779.60 c | 16380 | 13.9 | 0 | 125094 | 83863 | 627 | 227554827 | 27834710 || 16380 | 29700715 | 1/ 0 | 10319104 | 0 | 2794.46/2794.46 c | 16380 | 14.9 | 0 | 124522 | 63207 | 628 | 228190877 | 27910959 || 16380 | 29822730 | 1/ 0 | 10320134 | 0 | 2809.66/2809.65 c | 16380 | 15.2 | 0 | 121076 | 56768 | 629 | 229019850 | 27985595 || 16380 | 29835034 | 1/ 0 | 10320236 | 0 | 2830.47/2830.50 c | 16381 | 20.9 | 0 | 115222 | 120172 | 630 | 229834065 | 28060314 || 16381 | 30077702 | 1/ 0 | 10527320 | 0 | 2847.77/2847.75 c | 16381 | 17.2 | 0 | 104465 | 63503 | 631 | 230485089 | 28136264 || 16381 | 30202512 | 1/ 0 | 10528399 | 0 | 2869.07/2869.04 c | 16381 | 21.3 | 0 | 91075 | 63603 | 632 | 231118036 | 28211827 || 16381 | 30326597 | 1/ 0 | 10529460 | 0 | 2893.17/2893.15 c | 16381 | 24.1 | 0 | 87106 | 3777 | 633 | 231872436 | 28294385 || 16381 | 30438455 | 1/ 0 | 10530544 | 0 | 2907.96/2907.90 c | 16381 | 14.8 | 0 | 78634 | 67578 | 634 | 232733860 | 28367703 || 16381 | 30438455 | 1/ 0 | 10530544 | 0 | 2926.36/2926.38 c | 16381 | 18.5 | 0 | 78790 | 131484 | 635 | 233623992 | 28442935 || 16381 | 30438455 | 1/ 0 | 10530544 | 0 | 2944.79/2944.78 c | 16381 | 18.4 | 0 | 81812 | 195486 | 636 | 234530667 | 28515810 || 16381 | 30438455 | 1/ 0 | 10530544 | 0 | 2961.57/2961.57 c | 16382 | 16.8 | 0 | 79243 | 259587 | 637 | 235225217 | 28593375 || 16382 | 30958627 | 1/ 0 | 10945274 | 0 | 2989.47/2989.45 c | 16382 | 27.9 | 0 | 88549 | 64201 | 638 | 235866045 | 28669342 || 16382 | 31085739 | 1/ 0 | 10946281 | 0 | 3009.07/3009.02 c | 16382 | 19.6 | 0 | 85958 | 64302 | 639 | 236544291 | 28748438 || 16382 | 31206799 | 1/ 0 | 10947311 | 0 | 3028.77/3028.79 c | 16382 | 19.8 | 0 | 84687 | 64401 | 640 | 237234599 | 28828633 || 16382 | 31328946 | 1/ 0 | 10948418 | 0 | 3051.27/3051.24 c | 16382 | 22.4 | 0 | 84641 | 64502 | 641 | 237944762 | 28909004 || 16382 | 31448666 | 1/ 0 | 10949490 | 0 | 3079.27/3079.22 c | 16382 | 28.0 | 0 | 92002 | 64603 | 642 | 238615475 | 28987056 || 16382 | 31567395 | 1/ 0 | 10950506 | 0 | 3099.07/3099.08 c | 16382 | 19.9 | 0 | 79268 | 31902 | 643 | 239441143 | 29066452 || 16382 | 31630565 | 1/ 0 | 10951064 | 0 | 3117.49/3117.42 c | 16382 | 18.3 | 0 | 77332 | 96703 | 644 | 240349300 | 29143710 || 16382 | 31630565 | 1/ 0 | 10951064 | 0 | 3143.27/3143.28 c | 16382 | 25.9 | 0 | 81213 | 161605 | 645 | 241344939 | 29222359 || 16382 | 31630565 | 1/ 0 | 10951064 | 0 | 3161.87/3161.82 c | 16382 | 18.5 | 0 | 70231 | 226608 | 646 | 242523395 | 29314091 || 16382 | 31630565 | 1/ 0 | 10951064 | 0 | 3183.58/3183.57 c | 16382 | 21.8 | 0 | 75030 | 291709 | 647 | 243585027 | 29397375 || 16382 | 31630565 | 1/ 0 | 10951064 | 0 | 3202.78/3202.75 c | 16382 | 19.2 | 0 | 74518 | 356910 | 648 | 244796817 | 29492758 || 16382 | 31630565 | 1/ 0 | 10951064 | 0 | 3218.78/3218.73 c | 16383 | 16.0 | 0 | 74037 | 422212 | 649 | 245789254 | 29578797 || 16383 | 32481722 | 1/ 0 | 11778518 | 0 | 3235.78/3235.75 c | 16383 | 17.0 | 0 | 70687 | 65405 | 650 | 246522938 | 29659877 || 16383 | 32605001 | 1/ 0 | 11779607 | 0 | 3256.10/3256.02 c | 16383 | 20.3 | 0 | 79171 | 65502 | 651 | 247248727 | 29739652 || 16383 | 32726350 | 1/ 0 | 11780659 | 0 | 3278.88/3278.82 c | 16383 | 22.8 | 0 | 84313 | 65605 | 652 | 247989367 | 29819981 || 16383 | 32846968 | 1/ 0 | 11781735 | 0 | 3303.58/3303.57 c | 16383 | 24.8 | 0 | 81247 | 65703 | 653 | 248701508 | 29899864 || 16383 | 32971864 | 1/ 0 | 11782811 | 0 | 3327.88/3327.82 c | 16383 | 24.2 | 0 | 77830 | 65808 | 654 | 249372460 | 29979675 || 16383 | 33091302 | 1/ 0 | 11783797 | 0 | 3356.98/3356.92 c | 16383 | 29.1 | 0 | 84035 | 65902 | 655 | 250044685 | 30059757 || 16383 | 33216289 | 1/ 0 | 11784851 | 0 | 3389.78/3389.77 c | 16383 | 32.8 | 0 | 82418 | 66003 | 656 | 250736221 | 30141369 || 16383 | 33336291 | 1/ 0 | 11785937 | 0 | 3413.48/3413.44 c | 16383 | 23.7 | 0 | 83653 | 66102 | 657 | 251434657 | 30222500 || 16383 | 33461233 | 1/ 0 | 11787040 | 0 | 3441.78/3441.70 c | 16383 | 28.3 | 0 | 90418 | 66204 | 658 | 252110524 | 30302446 || 16383 | 33584049 | 1/ 0 | 11788133 | 0 | 3478.79/3478.80 c | 16383 | 37.1 | 0 | 91437 | 66306 | 659 | 252821005 | 30384563 || 16383 | 33705776 | 1/ 0 | 11789234 | 0 | 3507.28/3507.21 c | 16383 | 28.4 | 0 | 85641 | 66402 | 660 | 253515152 | 30465639 || 16383 | 33828528 | 1/ 0 | 11790265 | 0 | 3536.29/3536.29 c | 16383 | 29.1 | 0 | 87968 | 66506 | 661 | 254230094 | 30546035 || 16383 | 33952626 | 1/ 0 | 11791318 | 0 | 3559.99/3559.94 c | 16383 | 23.6 | 0 | 83646 | 51457 | 662 | 255216899 | 30628989 || 16383 | 33980396 | 1/ 0 | 11791580 | 0 | 3587.21/3587.14 c | 16383 | 27.2 | 0 | 81641 | 118163 | 663 | 256275816 | 30716050 || 16383 | 33980396 | 1/ 0 | 11791580 | 0 | 3607.89/3607.87 c | 16383 | 20.7 | 0 | 83823 | 184964 | 664 | 257312081 | 30799122 || 16383 | 33980396 | 1/ 0 | 11791580 | 0 | 3630.11/3630.06 c | 16383 | 22.2 | 0 | 83932 | 251865 | 665 | 258415585 | 30881903 || 16383 | 33980396 | 1/ 0 | 11791580 | 0 | 3650.70/3650.65 c | 16383 | 20.6 | 0 | 81863 | 318866 | 666 | 259430540 | 30961538 || 16383 | 33980396 | 1/ 0 | 11791580 | 0 | 3675.70/3675.66 c | 16383 | 25.0 | 0 | 93201 | 385969 | 667 | 260516879 | 31043516 || 16383 | 33980396 | 1/ 0 | 11791580 | 0 | 3700.59/3700.50 c | 16383 | 24.8 | 0 | 89616 | 453174 | 668 | 261597073 | 31126572 || 16383 | 33980396 | 1/ 0 | 11791580 | 0 | 3720.89/3720.80 c | 16383 | 20.3 | 0 | 81219 | 520478 | 669 | 262538446 | 31205047 || 16383 | 33980396 | 1/ 0 | 11791580 | 0 | 3745.09/3745.09 c | 16383 | 24.3 | 0 | 85011 | 587882 | 670 | 263602203 | 31286128 || 16383 | 33980396 | 1/ 0 | 11791580 | 0 | 3778.29/3778.29 c | 16383 | 33.2 | 0 | 93224 | 655385 | 671 | 264708595 | 31368371 || 16383 | 33980396 | 1/ 0 | 11791580 | 0 | 3809.80/3809.77 c | 16383 | 31.5 | 0 | 94816 | 722988 | 672 | 265899249 | 31450710 || 16383 | 33980396 | 1/ 0 | 11791580 | 0 | 3834.20/3834.10 c | 16383 | 24.3 | 0 | 90854 | 790690 | 673 | 266923162 | 31530975 || 16383 | 33980396 | 1/ 0 | 11791580 | 0 | 3849.90/3849.84 c | 16449 | 15.7 | 0 | 85744 | 114 | 674 | 267840194 | 31631437 || 16449 | 34041684 | 1/ 0 | 11811799 | 0 | 3857.30/3857.29 c | 16546 | 7.5 | 0 | 88226 | 66 | 675 | 268601306 | 31737650 || 16546 | 34143967 | 1/ 0 | 11846570 | 0 | 3864.80/3864.75 c | 16637 | 7.5 | 0 | 107179 | 1737 | 676 | 269396846 | 31842857 || 16637 | 34254899 | 1/ 0 | 11883858 | 0 | 3874.32/3874.23 c | 16701 | 9.5 | 0 | 121766 | 2482 | 677 | 270206285 | 31940817 || 16701 | 34348685 | 1/ 0 | 11916793 | 0 | 3882.50/3882.42 c | 16797 | 8.2 | 0 | 127835 | 1662 | 678 | 271000887 | 32048293 || 16797 | 34452305 | 1/ 0 | 11951475 | 0 | 3890.90/3890.86 c | 16892 | 8.4 | 0 | 140309 | 911 | 679 | 271787673 | 32155121 || 16892 | 34563981 | 1/ 0 | 11989284 | 0 | 3903.30/3903.20 c | 16894 | 12.3 | 0 | 151622 | 11711 | 680 | 272604487 | 32237456 || 16894 | 34674341 | 1/ 0 | 12028699 | 0 | 3914.50/3914.48 c | 16988 | 11.3 | 0 | 139726 | 1530 | 681 | 273441490 | 32341600 || 16988 | 34757855 | 1/ 0 | 12056746 | 0 | 3923.20/3923.16 c | 17084 | 8.7 | 0 | 131566 | 2708 | 682 | 274216025 | 32444838 || 17084 | 34864359 | 1/ 0 | 12094649 | 0 | 3932.10/3932.09 c | 17149 | 8.9 | 0 | 128862 | 18473 | 683 | 274981809 | 32543268 || 17149 | 34984204 | 1/ 0 | 12134168 | 0 | 3941.42/3941.39 c | 17246 | 9.3 | 0 | 133487 | 29 | 684 | 275767311 | 32646588 || 17246 | 35070863 | 1/ 0 | 12162613 | 0 | 3950.30/3950.25 c | 17339 | 8.9 | 0 | 129212 | 3685 | 685 | 276524286 | 32749967 || 17339 | 35179469 | 1/ 0 | 12200091 | 0 | 3959.71/3959.64 c | 17404 | 9.4 | 0 | 128500 | 509 | 686 | 277291380 | 32847731 || 17404 | 35296400 | 1/ 0 | 12239641 | 0 | 3972.01/3972.01 c | 17406 | 12.4 | 0 | 136607 | 31205 | 687 | 278067092 | 32928233 || 17406 | 35435211 | 1/ 0 | 12317649 | 0 | 3986.21/3986.10 c | 17406 | 14.1 | 0 | 136985 | 23605 | 688 | 278891800 | 33011436 || 17406 | 35518942 | 1/ 0 | 12318412 | 0 | 4000.31/4000.24 c | 17479 | 14.1 | 0 | 139324 | 136 | 689 | 279759982 | 33109525 || 17479 | 35582938 | 1/ 0 | 12339844 | 0 | 4009.71/4009.62 c | 17579 | 9.4 | 0 | 132462 | 714 | 690 | 280540359 | 33214917 || 17579 | 35690168 | 1/ 0 | 12376075 | 0 | 4019.11/4019.00 c | 17661 | 9.4 | 0 | 131999 | 7198 | 691 | 281334357 | 33317561 || 17661 | 35806445 | 1/ 0 | 12423603 | 0 | 4028.81/4028.73 c | 17739 | 9.7 | 0 | 127819 | 617 | 692 | 282107870 | 33418975 || 17739 | 35895451 | 1/ 0 | 12446881 | 0 | 4038.12/4038.05 c | 17841 | 9.3 | 0 | 127287 | 51 | 693 | 282921897 | 33526723 || 17841 | 36000526 | 1/ 0 | 12482710 | 0 | 4047.91/4047.80 c | 17916 | 9.8 | 0 | 127122 | 10855 | 694 | 283688213 | 33627953 || 17916 | 36118538 | 1/ 0 | 12529033 | 0 | 4060.91/4060.84 c | 17917 | 13.0 | 0 | 124087 | 23154 | 695 | 284448036 | 33711595 || 17917 | 36204039 | 1/ 0 | 12555449 | 0 | 4070.51/4070.46 c | 18042 | 9.6 | 0 | 118006 | 844 | 696 | 285238093 | 33824423 || 18042 | 36309416 | 1/ 0 | 12591701 | 0 | 4079.80/4079.80 c | 18131 | 9.3 | 0 | 118067 | 28 | 697 | 286010510 | 33930327 || 18131 | 36411755 | 1/ 0 | 12626083 | 0 | 4090.41/4090.33 c | 18180 | 10.5 | 0 | 119240 | 405 | 698 | 286808767 | 34025871 || 18180 | 36515531 | 1/ 0 | 12662197 | 0 | 4099.91/4099.80 c | 18298 | 9.5 | 0 | 116161 | 3592 | 699 | 287600227 | 34137468 || 18298 | 36626937 | 1/ 0 | 12700368 | 0 | 4109.62/4109.54 c | 18393 | 9.7 | 0 | 115565 | 129 | 700 | 288378876 | 34243131 || 18393 | 36731082 | 1/ 0 | 12734964 | 0 | 4119.70/4119.62 c | 18428 | 10.1 | 0 | 118370 | 20956 | 701 | 289136904 | 34334659 || 18428 | 36865093 | 1/ 0 | 12792226 | 0 | 4134.40/4134.35 c | 18429 | 14.7 | 0 | 124627 | 53154 | 702 | 289906724 | 34418091 || 18429 | 36997755 | 1/ 0 | 12844625 | 0 | 4149.91/4149.89 c | 18429 | 15.5 | 0 | 121127 | 47053 | 703 | 290710710 | 34507501 || 18429 | 37043007 | 1/ 0 | 12845043 | 0 | 4168.61/4168.54 c | 18430 | 18.7 | 0 | 121228 | 117857 | 704 | 291434892 | 34592613 || 18430 | 37284179 | 1/ 0 | 12949593 | 0 | 4188.41/4188.31 c | 18430 | 19.8 | 0 | 128343 | 35160 | 705 | 292243874 | 34675478 || 18430 | 37357194 | 1/ 0 | 12950123 | 0 | 4214.71/4214.68 c | 18443 | 26.4 | 0 | 124637 | 236 | 706 | 293206826 | 34761536 || 18443 | 37363127 | 1/ 0 | 12952192 | 0 | 4224.61/4224.51 c | 18556 | 9.8 | 0 | 112094 | 976 | 707 | 293991837 | 34873576 || 18556 | 37474155 | 1/ 0 | 12989667 | 0 | 4233.93/4233.87 c | 18657 | 9.4 | 0 | 115751 | 109 | 708 | 294801498 | 34982897 || 18657 | 37578802 | 1/ 0 | 13025090 | 0 | 4244.11/4244.02 c | 18715 | 10.2 | 0 | 121347 | 1056 | 709 | 295560116 | 35081432 || 18715 | 37684069 | 1/ 0 | 13062081 | 0 | 4254.01/4253.91 c | 18812 | 9.9 | 0 | 120170 | 9420 | 710 | 296359128 | 35191600 || 18812 | 37798862 | 1/ 0 | 13101567 | 0 | 4264.21/4264.17 c | 18934 | 10.2 | 0 | 124354 | 297 | 711 | 297194299 | 35306924 || 18934 | 37901395 | 1/ 0 | 13134921 | 0 | 4275.51/4275.44 c | 18941 | 11.3 | 0 | 125364 | 33782 | 712 | 297945159 | 35392521 || 18941 | 38043760 | 1/ 0 | 13187015 | 0 | 4287.41/4287.33 c | 19014 | 11.9 | 0 | 126989 | 191 | 713 | 298750642 | 35494127 || 19014 | 38114970 | 1/ 0 | 13208470 | 0 | 4297.73/4297.64 c | 19118 | 10.3 | 0 | 122834 | 238 | 714 | 299551437 | 35604014 || 19118 | 38222994 | 1/ 0 | 13245218 | 0 | 4307.91/4307.87 c | 19196 | 10.2 | 0 | 121912 | 11741 | 715 | 300358235 | 35708816 || 19196 | 38347282 | 1/ 0 | 13292327 | 0 | 4319.21/4319.18 c | 19290 | 11.3 | 0 | 123254 | 1107 | 716 | 301228478 | 35817801 || 19290 | 38443909 | 1/ 0 | 13320493 | 0 | 4329.21/4329.19 c | 19386 | 10.0 | 0 | 119655 | 3356 | 717 | 302037341 | 35926904 || 19386 | 38552998 | 1/ 0 | 13358351 | 0 | 4339.41/4339.36 c | 19451 | 10.2 | 0 | 120173 | 3355 | 718 | 302820249 | 36029144 || 19451 | 38672651 | 1/ 0 | 13397909 | 0 | 4353.93/4353.87 c | 19453 | 14.5 | 0 | 127266 | 37255 | 719 | 303731382 | 36123345 || 19453 | 38820693 | 1/ 0 | 13476094 | 0 | 4373.91/4373.83 c | 19453 | 20.0 | 0 | 127843 | 32855 | 720 | 304676097 | 36217783 || 19453 | 38899363 | 1/ 0 | 13476745 | 0 | 4387.11/4387.07 c | 19547 | 13.2 | 0 | 124701 | 1051 | 721 | 305606945 | 36328180 || 19547 | 38981358 | 1/ 0 | 13504759 | 0 | 4397.93/4397.83 c | 19643 | 10.8 | 0 | 121638 | 1348 | 722 | 306416420 | 36437976 || 19643 | 39092267 | 1/ 0 | 13542642 | 0 | 4408.94/4408.88 c | 19708 | 11.1 | 0 | 120350 | 6681 | 723 | 307262309 | 36541402 || 19708 | 39204809 | 1/ 0 | 13582151 | 0 | 4419.52/4419.40 c | 19832 | 10.5 | 0 | 120574 | 2 | 724 | 308098938 | 36657588 || 19832 | 39306012 | 1/ 0 | 13616787 | 0 | 4430.62/4430.55 c | 19927 | 11.1 | 0 | 118738 | 250 | 725 | 308920299 | 36768039 || 19927 | 39413235 | 1/ 0 | 13653846 | 0 | 4441.62/4441.53 c | 19964 | 11.0 | 0 | 120635 | 19969 | 726 | 309723871 | 36862664 || 19964 | 39551264 | 1/ 0 | 13713585 | 0 | 4455.04/4454.97 c | 20026 | 13.4 | 0 | 134407 | 920 | 727 | 310637095 | 36966191 || 20026 | 39633236 | 1/ 0 | 13730374 | 0 | 4465.62/4465.59 c | 20121 | 10.6 | 0 | 131829 | 250 | 728 | 311426246 | 37076082 || 20121 | 39742381 | 1/ 0 | 13766644 | 0 | 4476.72/4476.66 c | 20218 | 11.1 | 0 | 135103 | 2081 | 729 | 312234225 | 37188037 || 20218 | 39857265 | 1/ 0 | 13806090 | 0 | 4488.82/4488.70 c | 20297 | 12.0 | 0 | 137615 | 493 | 730 | 313019770 | 37293332 || 20297 | 39961990 | 1/ 0 | 13842252 | 0 | 4500.32/4500.22 c | 20406 | 11.5 | 0 | 133184 | 140 | 731 | 313835906 | 37406911 || 20406 | 40070480 | 1/ 0 | 13879320 | 0 | 4511.62/4511.52 c | 20474 | 11.3 | 0 | 134509 | 17186 | 732 | 314655304 | 37510819 || 20474 | 40199783 | 1/ 0 | 13924551 | 0 | 4524.62/4524.54 c | 20476 | 13.0 | 0 | 128208 | 33283 | 733 | 315458464 | 37595902 || 20476 | 40346718 | 1/ 0 | 14002691 | 0 | 4538.32/4538.26 c | 20476 | 13.7 | 0 | 136441 | 30283 | 734 | 316219305 | 37682086 || 20476 | 40422304 | 1/ 0 | 14003339 | 0 | 4557.62/4557.58 c | 20477 | 19.3 | 0 | 157558 | 104184 | 735 | 317062702 | 37770968 || 20477 | 40621819 | 1/ 0 | 14107667 | 0 | 4579.92/4579.86 c | 20477 | 22.3 | 0 | 151917 | 24581 | 736 | 317849866 | 37857668 || 20477 | 40713450 | 1/ 0 | 14108487 | 0 | 4609.15/4609.05 c | 20477 | 29.2 | 0 | 142882 | 98683 | 737 | 318748802 | 37940635 || 20477 | 40713450 | 1/ 0 | 14108487 | 0 | 4630.43/4630.36 c | 20478 | 21.3 | 0 | 131507 | 172885 | 738 | 319471515 | 38028017 || 20478 | 41058011 | 1/ 0 | 14316464 | 0 | 4657.44/4657.39 c | 20478 | 27.0 | 0 | 127164 | 74304 | 739 | 320182930 | 38115306 || 20478 | 41204034 | 1/ 0 | 14317695 | 0 | 4689.13/4689.08 c | 20478 | 31.7 | 0 | 121032 | 14390 | 740 | 320961255 | 38203318 || 20478 | 41317493 | 1/ 0 | 14318695 | 0 | 4714.75/4714.67 c | 20478 | 25.6 | 0 | 86776 | 88892 | 741 | 321938048 | 38289933 || 20478 | 41317493 | 1/ 0 | 14318695 | 0 | 4737.03/4736.90 c | 20478 | 22.2 | 0 | 89914 | 163497 | 742 | 322965318 | 38377452 || 20478 | 41317493 | 1/ 0 | 14318695 | 0 | 4754.93/4754.80 c | 20541 | 17.9 | 0 | 90715 | 2865 | 743 | 323903901 | 38478963 || 20541 | 41372894 | 1/ 0 | 14338453 | 0 | 4763.23/4763.12 c | 20643 | 8.3 | 0 | 90947 | 176 | 744 | 324749020 | 38593543 || 20643 | 41483443 | 1/ 0 | 14374336 | 0 | 4772.53/4772.43 c | 20733 | 9.3 | 0 | 103570 | 9641 | 745 | 325604008 | 38708655 || 20733 | 41611836 | 1/ 0 | 14423956 | 0 | 4781.43/4781.39 c | 20827 | 9.0 | 0 | 113737 | 2041 | 746 | 326431246 | 38819281 || 20827 | 41715465 | 1/ 0 | 14452145 | 0 | 4790.73/4790.69 c | 20923 | 9.3 | 0 | 140480 | 2494 | 747 | 327303525 | 38932148 || 20923 | 41827096 | 1/ 0 | 14490028 | 0 | 4802.43/4802.32 c | 20988 | 11.6 | 0 | 148268 | 10339 | 748 | 328156433 | 39039184 || 20988 | 41938434 | 1/ 0 | 14529489 | 0 | 4816.63/4816.60 c | 21035 | 14.3 | 0 | 154300 | 1120 | 749 | 329023613 | 39145636 || 21035 | 42044705 | 1/ 0 | 14567306 | 0 | 4827.33/4827.29 c | 21134 | 10.7 | 0 | 150131 | 98 | 750 | 329863166 | 39258722 || 21134 | 42158926 | 1/ 0 | 14605675 | 0 | 4837.63/4837.53 c | 21243 | 10.2 | 0 | 147383 | 8709 | 751 | 330693311 | 39373684 || 21243 | 42283636 | 1/ 0 | 14648029 | 0 | 4849.23/4849.17 c | 21321 | 11.6 | 0 | 153230 | 305 | 752 | 331562060 | 39482235 || 21321 | 42383118 | 1/ 0 | 14683420 | 0 | 4860.13/4860.05 c | 21432 | 10.9 | 0 | 133010 | 316 | 753 | 332393190 | 39598588 || 21432 | 42496678 | 1/ 0 | 14722061 | 0 | 4871.23/4871.15 c | 21499 | 11.1 | 0 | 134818 | 1532 | 754 | 333214034 | 39705032 || 21499 | 42623875 | 1/ 0 | 14766490 | 0 | 4885.93/4885.89 c | 21501 | 14.8 | 0 | 136071 | 39030 | 755 | 333994725 | 39793817 || 21501 | 42773966 | 1/ 0 | 14844730 | 0 | 4908.03/4907.98 c | 21501 | 22.1 | 0 | 137468 | 38228 | 756 | 334971667 | 39885101 || 21501 | 42841782 | 1/ 0 | 14845357 | 0 | 4922.55/4922.47 c | 21617 | 14.5 | 0 | 129885 | 18 | 757 | 335850715 | 40001799 || 21617 | 42938465 | 1/ 0 | 14877940 | 0 | 4933.83/4933.79 c | 21720 | 11.3 | 0 | 124447 | 535 | 758 | 336685987 | 40115243 || 21720 | 43053227 | 1/ 0 | 14917042 | 0 | 4946.44/4946.38 c | 21784 | 12.6 | 0 | 125184 | 197 | 759 | 337505356 | 40221410 || 21784 | 43164779 | 1/ 0 | 14956111 | 0 | 4958.14/4958.03 c | 21883 | 11.6 | 0 | 121235 | 3049 | 760 | 338366033 | 40337497 || 21883 | 43284453 | 1/ 0 | 14996910 | 0 | 4969.04/4968.99 c | 22009 | 11.0 | 0 | 123486 | 4031 | 761 | 339235126 | 40459930 || 22009 | 43397369 | 1/ 0 | 15036514 | 0 | 4981.73/4981.67 c | 22012 | 12.7 | 0 | 127798 | 8626 | 762 | 340051241 | 40552126 || 22012 | 43523366 | 1/ 0 | 15082516 | 0 | 4993.13/4993.06 c | 22121 | 11.4 | 0 | 133648 | 640 | 763 | 340903864 | 40666745 || 22121 | 43616306 | 1/ 0 | 15113859 | 0 | 5000.05/4999.92 c | 22184 | 6.9 | 0 | 184641 | 260 | 763 | 341458089 | 40741955 || 22184 | 43692495 | 1/ 0 | 15139400 | 0 | 5000.05/4999.92 c c 5000.05/4999.92 c ----------------------------------- 5000.05/4999.92 c # temps = 5000.040000 5000.05/4999.92 c # cleaningDB = 763 5000.05/4999.92 c # clause binaire = 6299 5000.05/4999.92 c # literal removed by litRedundant = 678451404 5000.05/4999.92 c # literal removed by litRedundantBin = 442219484 5000.05/4999.92 c # init clause removed by simplify = 0 5000.05/4999.92 c # learnt clause removed by simplify = 0 5000.05/4999.92 c # une clause fausse était une apprise = 0 5000.05/4999.92 c # equivalence dectecte = 0 5000.05/4999.92 c # Memory used : 176.88 MB 5000.05/4999.92 c 5000.05/4999.92 c ######################## 5000.05/4999.92 c #### ## ### ## #### 5000.05/4999.92 c #### #### # ## #### #### 5000.05/4999.92 c #### ## ### ## ### 5000.05/4999.92 c ######################## 5000.05/4999.92 c # restart = 22184 5000.05/4999.92 c # conflit = 29504643 5000.05/4999.92 c # decision = 40741955 5000.05/4999.92 c # propagation = 341458089 (68291.071471 (prop/sec)) 5000.05/4999.92 c 5000.05/4999.92 c ######################## 5000.05/4999.92 c ### ### # ## ## ## 5000.05/4999.92 c ### # # # #### # ### ### 5000.05/4999.92 c ### # ### ## # ### ### 5000.05/4999.92 c ######################## 5000.05/4999.92 c # numtry = 22184 5000.05/4999.92 c # numflips = 43692495 5000.05/4999.92 c # maxSat = 1 5000.05/4999.92 c # freeFlip = 14880797 5000.05/4999.92 c # nbBoundary = 360 5000.05/4999.92 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-3439525-1306933228/watcher-3439525-1306933228 -o /tmp/evaluation-result-3439525-1306933228/solver-3439525-1306933228 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439525-1306933228.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.03 2.04 1/512 25815 /proc/meminfo: memFree=22469664/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [startup+0.099827 s] /proc/loadavg: 2.04 2.03 2.04 1/512 25815 /proc/meminfo: memFree=22469664/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+0.100831 s] /proc/loadavg: 2.04 2.03 2.04 1/512 25815 /proc/meminfo: memFree=22469664/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+0.300782 s] /proc/loadavg: 2.04 2.03 2.04 1/512 25815 /proc/meminfo: memFree=22469664/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+0.700711 s] /proc/loadavg: 2.04 2.03 2.04 1/512 25815 /proc/meminfo: memFree=22469664/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+1.50056 s] /proc/loadavg: 2.04 2.03 2.04 2/515 25819 /proc/meminfo: memFree=22465088/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=11248 CPUtime=1.48 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 1285 0 0 0 148 0 0 0 25 0 1 0 785738408 11517952 1196 33554432000 4194304 4241092 140736293130544 18446744073709551615 4227954 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 2812 1196 135 12 0 1276 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28656 [startup+3.10025 s] /proc/loadavg: 2.04 2.03 2.04 3/518 25847 /proc/meminfo: memFree=22446792/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=13492 CPUtime=3.08 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 1852 0 0 0 308 0 0 0 25 0 1 0 785738408 13815808 1763 33554432000 4194304 4241092 140736293130544 18446744073709551615 4222240 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 3373 1763 135 12 0 1837 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30900 [startup+6.30065 s] /proc/loadavg: 2.12 2.04 2.04 3/518 25909 /proc/meminfo: memFree=22388628/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=16176 CPUtime=6.28 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 2523 0 0 0 628 0 0 0 25 0 1 0 785738408 16564224 2428 33554432000 4194304 4241092 140736293130544 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 4044 2428 136 12 0 2508 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33584 [startup+12.7004 s] /proc/loadavg: 2.11 2.04 2.04 3/519 25911 /proc/meminfo: memFree=22395408/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=19776 CPUtime=12.67 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 3456 0 0 0 1267 0 0 0 25 0 1 0 785738408 20250624 3340 33554432000 4194304 4241092 140736293130544 18446744073709551615 4221744 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 4944 3340 136 12 0 3408 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 37184 [startup+25.501 s] /proc/loadavg: 2.08 2.04 2.04 3/519 25911 /proc/meminfo: memFree=22389616/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=23204 CPUtime=25.47 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 4421 0 0 0 2547 0 0 0 25 0 1 0 785738408 23760896 4192 33554432000 4194304 4241092 140736293130544 18446744073709551615 4224944 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 5801 4192 136 12 0 4265 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40612 [startup+51.1012 s] /proc/loadavg: 2.06 2.03 2.04 3/519 25921 /proc/meminfo: memFree=22376948/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=29196 CPUtime=51.07 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 6238 0 0 0 5107 0 0 0 25 0 1 0 785738408 29896704 5683 33554432000 4194304 4241092 140736293130544 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 7299 5683 136 12 0 5763 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 46604 [startup+102.32 s] /proc/loadavg: 2.02 2.03 2.03 3/519 25922 /proc/meminfo: memFree=22354196/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=37544 CPUtime=102.29 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 9059 0 0 0 10228 1 0 0 25 0 1 0 785738408 38445056 7783 33554432000 4194304 4241092 140736293130544 18446744073709551615 4228433 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 9386 7783 136 12 0 7850 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 54952 [startup+162.3 s] /proc/loadavg: 2.09 2.05 2.04 3/519 25924 /proc/meminfo: memFree=22346308/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=42484 CPUtime=162.28 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 11132 0 0 0 16226 2 0 0 25 0 1 0 785738408 43503616 9002 33554432000 4194304 4241092 140736293130544 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 10621 9002 136 12 0 9085 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 59892 [startup+222.301 s] /proc/loadavg: 2.07 2.05 2.04 3/519 25925 /proc/meminfo: memFree=22325276/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=50812 CPUtime=222.27 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 14109 0 0 0 22225 2 0 0 25 0 1 0 785738408 52031488 11094 33554432000 4194304 4241092 140736293130544 18446744073709551615 4222340 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 12703 11094 136 12 0 11167 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 68220 [startup+282.301 s] ################ # More data... # ################ /proc/meminfo: memFree=22028500/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=175408 CPUtime=4542.41 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 86952 0 0 0 454214 27 0 0 25 0 1 0 785738408 179617792 42258 33554432000 4194304 4241092 140736293130544 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 43852 42258 136 12 0 42316 0 Current children cumulated CPU time (s) 4542.42 Current children cumulated vsize (KiB) 192816 [startup+4602.3 s] /proc/loadavg: 2.09 2.05 2.01 3/519 26057 /proc/meminfo: memFree=22024956/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=176896 CPUtime=4602.43 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 87554 0 0 0 460216 27 0 0 25 0 1 0 785738408 181141504 42630 33554432000 4194304 4241092 140736293130544 18446744073709551615 4223705 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 44224 42630 136 12 0 42688 0 Current children cumulated CPU time (s) 4602.44 Current children cumulated vsize (KiB) 194304 [startup+4662.3 s] /proc/loadavg: 2.07 2.06 2.01 3/519 26059 /proc/meminfo: memFree=22023540/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=177412 CPUtime=4662.42 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 88103 0 0 0 466214 28 0 0 25 0 1 0 785738408 181669888 42738 33554432000 4194304 4241092 140736293130544 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 44353 42738 136 12 0 42817 0 Current children cumulated CPU time (s) 4662.43 Current children cumulated vsize (KiB) 194820 [startup+4722.32 s] /proc/loadavg: 2.02 2.04 2.00 3/519 26060 /proc/meminfo: memFree=22025612/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=177748 CPUtime=4722.44 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 88532 0 0 0 472216 28 0 0 25 0 1 0 785738408 182013952 42825 33554432000 4194304 4241092 140736293130544 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 44437 42825 136 12 0 42901 0 Current children cumulated CPU time (s) 4722.45 Current children cumulated vsize (KiB) 195156 [startup+4782.3 s] /proc/loadavg: 2.01 2.03 2.00 3/519 26062 /proc/meminfo: memFree=22024184/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=179272 CPUtime=4782.42 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 89540 0 0 0 478213 29 0 0 25 0 1 0 785738408 183574528 43219 33554432000 4194304 4241092 140736293130544 18446744073709551615 4222349 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 44818 43219 136 12 0 43282 0 Current children cumulated CPU time (s) 4782.43 Current children cumulated vsize (KiB) 196680 [startup+4842.3 s] /proc/loadavg: 2.00 2.02 2.00 3/519 26064 /proc/meminfo: memFree=22022952/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=180024 CPUtime=4842.42 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 90320 0 0 0 484213 29 0 0 25 0 1 0 785738408 184344576 43390 33554432000 4194304 4241092 140736293130544 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 45006 43390 136 12 0 43470 0 Current children cumulated CPU time (s) 4842.43 Current children cumulated vsize (KiB) 197432 [startup+4902.3 s] /proc/loadavg: 2.12 2.05 2.01 3/519 26065 /proc/meminfo: memFree=22023384/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=180184 CPUtime=4902.42 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 90944 0 0 0 490213 29 0 0 25 0 1 0 785738408 184508416 43450 33554432000 4194304 4241092 140736293130544 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 45046 43450 136 12 0 43510 0 Current children cumulated CPU time (s) 4902.43 Current children cumulated vsize (KiB) 197592 [startup+4962.3 s] /proc/loadavg: 2.10 2.06 2.01 3/519 26067 /proc/meminfo: memFree=22022096/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=180424 CPUtime=4962.43 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 91723 0 0 0 496214 29 0 0 25 0 1 0 785738408 184754176 43515 33554432000 4194304 4241092 140736293130544 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 45106 43515 136 12 0 43570 0 Current children cumulated CPU time (s) 4962.44 Current children cumulated vsize (KiB) 197832 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.05 2.05 2.00 3/519 26068 /proc/meminfo: memFree=22022180/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=181116 CPUtime=5000.04 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 92247 0 0 0 499975 29 0 0 25 0 1 0 785738408 185462784 43656 33554432000 4194304 4241092 140736293130544 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 45279 43656 136 12 0 43743 0 Current children cumulated CPU time (s) 5000.05 Current children cumulated vsize (KiB) 198524 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+4999.9 s] /proc/loadavg: 2.05 2.05 2.00 3/519 26068 /proc/meminfo: memFree=22022180/32951124 swapFree=62999000/67111528 [pid=25815] ppid=25813 vsize=8704 CPUtime=0.01 cores=1,3,5,7 /proc/25815/stat : 25815 (esg_static.sh) S 25813 25815 25594 0 -1 4202496 350 297 0 0 0 0 1 0 25 0 1 0 785738406 8912896 256 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/25815/statm: 2176 256 211 178 0 69 0 [pid=25817] ppid=25815 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25817/stat : 25817 (esg_static.sh) S 25815 25815 25594 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 785738408 8912896 135 33554432000 4194304 4922060 140735131560208 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25817/statm: 2176 135 90 178 0 69 0 [pid=25818] ppid=25817 vsize=181116 CPUtime=5000.04 cores=1,3,5,7 /proc/25818/stat : 25818 (sathys) R 25817 25815 25594 0 -1 4202496 92247 0 0 0 499975 29 0 0 25 0 1 0 785738408 185462784 43656 33554432000 4194304 4241092 140736293130544 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/25818/statm: 45279 43656 136 12 0 43743 0 Current children cumulated CPU time (s) 5000.05 Current children cumulated vsize (KiB) 198524 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25815 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=12998 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.014997 # while last known CPU time is 5000.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.93 CPU time (s): 5000.05 CPU user time (s): 4999.76 CPU system time (s): 0.29 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 198652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.012998 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 796 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= 33 involuntary context switches= 7 runsolver used 25.0062 second user time and 61.3107 second system time The end
Begin job on node141 at 2011-06-01 15:00:28 IDJOB=3439525 IDBENCH=85542 IDSOLVER=1935 FILE ID=node141/3439525-1306933228 RUNJOBID= node141-1306928228-25613 PBS_JOBID= 13488575 Free space on /tmp= 73856 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT05/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-020-019.shuffled-as.sat05-1232.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439525-1306933228/watcher-3439525-1306933228 -o /tmp/evaluation-result-3439525-1306933228/solver-3439525-1306933228 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439525-1306933228.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= abb32bff5eb954e790612a6209864b5d RANDOM SEED=398937839 node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5362.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 22469820 kB Buffers: 124288 kB Cached: 118096 kB SwapCached: 8848 kB Active: 10078916 kB Inactive: 152696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 22469820 kB SwapTotal: 67111528 kB SwapFree: 62999000 kB Dirty: 816 kB Writeback: 0 kB AnonPages: 9987552 kB Mapped: 25632 kB Slab: 108964 kB PageTables: 69480 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 150686536 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= 73832 MiB End job on node141 at 2011-06-01 16:23:50