| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.03 | 4999.93 |
| Name | crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf |
| MD5SUM | 1221fb51c407dee7559369d7c6eedb4e |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 181 |
| Number of clauses | 372 |
| Sum of the clauses size | 1116 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 372 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 static 0.00/0.00 HOME/instance-3438625-1306894536.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 | 372 1116 | 111 0 0 nan | 0.000 % | 0.00/0.00 c ============================================================================== 0.00/0.00 c Result : #vars: 181 #clauses: 372 #literals: 1116 0.00/0.00 c CPU time: 0 s 0.00/0.00 c ============================================================================== 0.00/0.00 c 0.00/0.00 c seed = 0, numatom = 181, numclause = 372, numliterals = 1116 0.00/0.00 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.00 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.00 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.00 c | 2 | 0.0 | 0 | 503 | 201 | 1 | 17022 | 841 || 2 | 1385 | 1/ 1 | 251 | 0 | 0.00/0.01 c | 4 | 0.0 | 0 | 1013 | 297 | 2 | 35521 | 1784 || 4 | 2777 | 1/ 1 | 561 | 0 | 0.00/0.01 c | 6 | 0.0 | 0 | 1683 | 163 | 3 | 58554 | 2863 || 6 | 4372 | 1/ 1 | 870 | 0 | 0.00/0.02 c | 7 | 0.0 | 0 | 2353 | 364 | 4 | 87150 | 4168 || 7 | 6003 | 1/ 1 | 1281 | 0 | 0.00/0.03 c | 11 | 0.0 | 0 | 2946 | 258 | 5 | 117100 | 5609 || 11 | 8361 | 1/ 1 | 1803 | 0 | 0.00/0.04 c | 14 | 0.0 | 0 | 3812 | 449 | 6 | 147847 | 7078 || 14 | 11233 | 1/ 1 | 2513 | 0 | 0.00/0.06 c | 15 | 0.0 | 0 | 4748 | 946 | 7 | 183638 | 8553 || 15 | 14446 | 1/ 1 | 3329 | 0 | 0.00/0.08 c | 16 | 0.0 | 0 | 5135 | 31 | 8 | 223185 | 10185 || 16 | 15856 | 1/ 1 | 3435 | 0 | 0.00/0.10 c | 21 | 0.0 | 0 | 5693 | 3 | 9 | 264038 | 12271 || 21 | 19423 | 1/ 1 | 4157 | 0 | 0.00/0.12 c | 24 | 0.0 | 0 | 6196 | 94 | 10 | 307065 | 14706 || 24 | 22172 | 1/ 1 | 4780 | 0 | 0.00/0.14 c | 29 | 0.0 | 0 | 7007 | 502 | 11 | 353534 | 17168 || 29 | 26463 | 1/ 1 | 5807 | 0 | 0.00/0.17 c | 30 | 0.0 | 0 | 7499 | 284 | 12 | 404751 | 19325 || 30 | 30031 | 1/ 1 | 6625 | 0 | 0.00/0.20 c | 31 | 0.0 | 0 | 8070 | 1987 | 13 | 460795 | 21399 || 31 | 35751 | 1/ 1 | 8258 | 0 | 0.00/0.24 c | 31 | 0.0 | 0 | 8289 | 1383 | 14 | 517862 | 23599 || 31 | 37123 | 1/ 1 | 8264 | 0 | 0.00/0.27 c | 38 | 0.0 | 0 | 8866 | 272 | 15 | 576055 | 26624 || 38 | 41829 | 1/ 1 | 9491 | 0 | 0.00/0.31 c | 44 | 0.0 | 0 | 9525 | 127 | 16 | 644976 | 29784 || 44 | 46448 | 1/ 1 | 10318 | 0 | 0.00/0.36 c | 46 | 0.0 | 0 | 9782 | 123 | 17 | 712719 | 32889 || 46 | 52265 | 1/ 1 | 11556 | 0 | 0.00/0.40 c | 52 | 0.1 | 0 | 10062 | 103 | 18 | 786736 | 36261 || 52 | 56442 | 1/ 1 | 12384 | 0 | 0.00/0.45 c | 59 | 0.0 | 0 | 10712 | 292 | 19 | 856328 | 39808 || 59 | 62073 | 1/ 1 | 13615 | 0 | 0.00/0.50 c | 61 | 0.0 | 0 | 11740 | 551 | 20 | 930715 | 43191 || 61 | 67212 | 1/ 1 | 14847 | 0 | 0.00/0.56 c | 62 | 0.1 | 0 | 12062 | 649 | 21 | 1011902 | 46349 || 62 | 73933 | 1/ 1 | 16493 | 0 | 0.00/0.63 c | 63 | 0.1 | 0 | 11843 | 3263 | 22 | 1090425 | 49622 || 63 | 82508 | 1/ 1 | 19748 | 0 | 0.00/0.71 c | 63 | 0.1 | 0 | 12280 | 1162 | 23 | 1173992 | 53761 || 63 | 87247 | 1/ 1 | 19767 | 0 | 0.00/0.78 c | 66 | 0.1 | 0 | 12213 | 144 | 24 | 1270387 | 58008 || 66 | 89387 | 1/ 1 | 20179 | 0 | 0.00/0.86 c | 75 | 0.1 | 0 | 11924 | 64 | 25 | 1360366 | 62514 || 75 | 96305 | 1/ 1 | 21615 | 0 | 0.00/0.93 c | 79 | 0.1 | 0 | 12582 | 33 | 26 | 1453851 | 66471 || 79 | 103057 | 1/ 1 | 23148 | 0 | 0.00/1.00 c | 88 | 0.1 | 0 | 13060 | 198 | 27 | 1552276 | 71298 || 88 | 110433 | 1/ 1 | 24682 | 0 | 0.99/1.08 c | 93 | 0.1 | 0 | 14251 | 762 | 28 | 1647493 | 75521 || 93 | 117527 | 1/ 1 | 26316 | 0 | 1.11/1.17 c | 95 | 0.1 | 0 | 15427 | 1664 | 29 | 1754591 | 80195 || 95 | 124298 | 1/ 1 | 28060 | 0 | 1.19/1.27 c | 105 | 0.1 | 0 | 16321 | 94 | 30 | 1857719 | 85537 || 105 | 132090 | 1/ 1 | 29703 | 0 | 1.29/1.38 c | 112 | 0.1 | 0 | 17473 | 169 | 31 | 1962556 | 90294 || 112 | 140510 | 1/ 1 | 31652 | 0 | 1.49/1.50 c | 123 | 0.1 | 0 | 17972 | 226 | 32 | 2073745 | 96090 || 123 | 149427 | 1/ 1 | 33709 | 0 | 1.59/1.63 c | 125 | 0.1 | 0 | 18650 | 2124 | 33 | 2191010 | 100954 || 125 | 159561 | 1/ 1 | 36167 | 0 | 1.69/1.76 c | 126 | 0.1 | 0 | 18852 | 3529 | 34 | 2309306 | 105805 || 126 | 169727 | 1/ 1 | 39440 | 0 | 1.89/1.93 c | 126 | 0.2 | 0 | 18406 | 2631 | 35 | 2451170 | 110790 || 126 | 173592 | 1/ 1 | 39456 | 0 | 1.99/2.10 c | 127 | 0.2 | 0 | 17956 | 6640 | 36 | 2578777 | 115633 || 127 | 190610 | 1/ 1 | 45960 | 0 | 2.21/2.29 c | 127 | 0.2 | 0 | 16901 | 1140 | 37 | 2702241 | 120742 || 127 | 199822 | 1/ 1 | 46001 | 0 | 2.39/2.40 c | 127 | 0.1 | 0 | 16500 | 5343 | 38 | 2821291 | 125673 || 127 | 199822 | 1/ 1 | 46001 | 0 | 2.49/2.55 c | 137 | 0.1 | 0 | 17961 | 181 | 39 | 2953940 | 132082 || 137 | 207529 | 1/ 1 | 47640 | 0 | 2.59/2.70 c | 147 | 0.1 | 0 | 19307 | 27 | 40 | 3086924 | 138486 || 147 | 217919 | 1/ 1 | 49899 | 0 | 2.79/2.86 c | 157 | 0.2 | 0 | 21278 | 1195 | 41 | 3229564 | 145183 || 157 | 229694 | 1/ 1 | 52565 | 0 | 2.99/3.03 c | 161 | 0.2 | 0 | 22984 | 293 | 42 | 3380529 | 151390 || 161 | 238472 | 1/ 1 | 54615 | 0 | 3.19/3.23 c | 173 | 0.2 | 0 | 23601 | 824 | 43 | 3529316 | 158751 || 173 | 250638 | 1/ 1 | 57489 | 0 | 3.39/3.44 c | 185 | 0.2 | 0 | 25041 | 77 | 44 | 3684678 | 166280 || 185 | 260411 | 1/ 1 | 59355 | 0 | 3.59/3.65 c | 189 | 0.2 | 0 | 24509 | 471 | 45 | 3830147 | 173110 || 189 | 273322 | 1/ 1 | 62441 | 0 | 3.79/3.90 c | 190 | 0.2 | 0 | 23990 | 666 | 46 | 3999872 | 179393 || 190 | 287527 | 1/ 1 | 65724 | 0 | 4.09/4.14 c | 198 | 0.2 | 0 | 22423 | 27 | 47 | 4188307 | 186778 || 198 | 293753 | 1/ 1 | 67058 | 0 | 4.29/4.38 c | 211 | 0.2 | 0 | 21970 | 143 | 48 | 4359386 | 194822 || 211 | 305997 | 1/ 1 | 69812 | 0 | 4.59/4.60 c | 221 | 0.2 | 0 | 23349 | 864 | 49 | 4531214 | 202191 || 221 | 319363 | 1/ 1 | 73910 | 0 | 4.79/4.83 c | 228 | 0.2 | 0 | 23732 | 237 | 50 | 4698101 | 210007 || 228 | 329721 | 1/ 1 | 75174 | 0 | 4.99/5.08 c | 242 | 0.2 | 0 | 24256 | 195 | 51 | 4869174 | 218010 || 242 | 342257 | 1/ 1 | 78044 | 0 | 5.29/5.33 c | 252 | 0.2 | 0 | 25419 | 1229 | 52 | 5042463 | 225758 || 252 | 356324 | 1/ 1 | 82127 | 0 | 5.51/5.59 c | 253 | 0.3 | 0 | 27692 | 4532 | 53 | 5206435 | 232707 || 253 | 372021 | 1/ 1 | 85423 | 0 | 5.79/5.88 c | 254 | 0.3 | 0 | 27859 | 5526 | 54 | 5401205 | 239595 || 254 | 387077 | 1/ 1 | 91934 | 0 | 6.19/6.22 c | 254 | 0.3 | 0 | 27275 | 1823 | 55 | 5586554 | 246495 || 254 | 399547 | 1/ 1 | 92000 | 0 | 6.49/6.53 c | 255 | 0.3 | 0 | 26608 | 7828 | 56 | 5778080 | 253305 || 255 | 416718 | 1/ 1 | 104947 | 0 | 6.79/6.88 c | 255 | 0.4 | 0 | 26155 | 6104 | 57 | 5955055 | 260607 || 255 | 434129 | 1/ 1 | 105038 | 0 | 7.19/7.29 c | 255 | 0.4 | 0 | 25621 | 932 | 58 | 6123849 | 268065 || 255 | 449245 | 1/ 1 | 105093 | 0 | 7.49/7.54 c | 255 | 0.2 | 0 | 25220 | 7233 | 59 | 6297194 | 275558 || 255 | 449245 | 1/ 1 | 105093 | 0 | 7.79/7.82 c | 259 | 0.3 | 0 | 27862 | 213 | 60 | 6462909 | 283924 || 259 | 451440 | 1/ 1 | 105609 | 0 | 8.09/8.16 c | 274 | 0.3 | 0 | 31405 | 260 | 61 | 6667745 | 293616 || 274 | 466611 | 1/ 1 | 108895 | 0 | 8.49/8.52 c | 286 | 0.4 | 0 | 33093 | 1792 | 62 | 6875673 | 302826 || 286 | 484412 | 1/ 1 | 113295 | 0 | 8.89/8.92 c | 300 | 0.4 | 0 | 34925 | 12 | 63 | 7079328 | 312261 || 300 | 498015 | 1/ 1 | 115771 | 0 | 9.29/9.35 c | 315 | 0.4 | 0 | 37165 | 351 | 64 | 7297155 | 322467 || 315 | 513002 | 1/ 1 | 119061 | 0 | 9.69/9.77 c | 318 | 0.4 | 0 | 37082 | 3645 | 65 | 7513620 | 331239 || 318 | 532436 | 1/ 1 | 124801 | 0 | 10.19/10.23 c | 327 | 0.5 | 0 | 36393 | 133 | 66 | 7738007 | 340863 || 327 | 542476 | 1/ 1 | 126262 | 0 | 10.69/10.72 c | 344 | 0.5 | 0 | 32996 | 239 | 67 | 7956590 | 351311 || 344 | 559204 | 1/ 1 | 129857 | 0 | 11.09/11.13 c | 353 | 0.4 | 0 | 34028 | 223 | 68 | 8166846 | 360967 || 353 | 575420 | 1/ 1 | 133546 | 0 | 11.59/11.60 c | 371 | 0.5 | 0 | 34890 | 219 | 69 | 8390845 | 371773 || 371 | 592369 | 1/ 1 | 137535 | 0 | 11.99/12.05 c | 380 | 0.4 | 0 | 34890 | 952 | 70 | 8619540 | 381951 || 380 | 609641 | 1/ 1 | 141246 | 0 | 12.49/12.51 c | 382 | 0.5 | 0 | 34717 | 3653 | 71 | 8856346 | 390898 || 382 | 630780 | 1/ 1 | 151003 | 0 | 12.99/13.03 c | 382 | 0.5 | 0 | 35996 | 1650 | 72 | 9084868 | 399930 || 382 | 649457 | 1/ 1 | 151093 | 0 | 13.49/13.56 c | 392 | 0.5 | 0 | 34865 | 214 | 73 | 9332257 | 410337 || 392 | 657094 | 1/ 1 | 152744 | 0 | 13.99/14.08 c | 411 | 0.5 | 0 | 33573 | 420 | 74 | 9568302 | 421622 || 411 | 675413 | 1/ 1 | 156833 | 0 | 14.49/14.57 c | 421 | 0.5 | 0 | 33926 | 459 | 75 | 9829436 | 432508 || 421 | 692034 | 1/ 1 | 160616 | 0 | 14.99/15.08 c | 441 | 0.5 | 0 | 33432 | 82 | 76 | 10066155 | 443941 || 441 | 710095 | 1/ 1 | 164636 | 0 | 15.49/15.59 c | 445 | 0.5 | 0 | 35446 | 3972 | 77 | 10329256 | 454463 || 445 | 732067 | 1/ 1 | 170782 | 0 | 16.09/16.18 c | 459 | 0.6 | 0 | 35541 | 314 | 78 | 10595074 | 465568 || 459 | 745005 | 1/ 1 | 173248 | 0 | 16.69/16.72 c | 475 | 0.5 | 0 | 37481 | 329 | 79 | 10848955 | 477717 || 475 | 763942 | 1/ 1 | 177339 | 0 | 17.19/17.29 c | 490 | 0.6 | 0 | 39038 | 304 | 80 | 11118158 | 489573 || 490 | 781787 | 1/ 1 | 181445 | 0 | 17.89/17.91 c | 507 | 0.6 | 0 | 39124 | 1131 | 81 | 11385557 | 501359 || 507 | 802593 | 1/ 1 | 187180 | 0 | 18.39/18.48 c | 508 | 0.6 | 0 | 40171 | 2506 | 82 | 11641875 | 512373 || 508 | 818524 | 1/ 1 | 190485 | 0 | 19.08/19.11 c | 509 | 0.6 | 0 | 37864 | 1605 | 83 | 11884347 | 523521 || 509 | 844113 | 1/ 1 | 197047 | 0 | 19.69/19.73 c | 510 | 0.6 | 0 | 37453 | 10408 | 84 | 12151550 | 534672 || 510 | 870186 | 1/ 1 | 210042 | 0 | 20.58/20.60 c | 510 | 0.9 | 0 | 36499 | 106 | 85 | 12417024 | 545034 || 510 | 897459 | 1/ 1 | 210177 | 0 | 21.18/21.25 c | 510 | 0.7 | 0 | 33243 | 9108 | 86 | 12777804 | 555909 || 510 | 897459 | 1/ 1 | 210177 | 0 | 21.78/21.88 c | 511 | 0.6 | 0 | 30854 | 18211 | 87 | 13073720 | 566666 || 511 | 940820 | 1/ 1 | 236123 | 0 | 22.68/22.76 c | 511 | 0.9 | 0 | 27821 | 9203 | 88 | 13312940 | 577434 || 511 | 969342 | 1/ 1 | 236239 | 0 | 23.58/23.66 c | 511 | 0.9 | 0 | 26593 | 9304 | 89 | 13572308 | 588700 || 511 | 997999 | 1/ 1 | 236379 | 0 | 24.09/24.12 c | 511 | 0.5 | 0 | 25096 | 7714 | 90 | 13870420 | 600858 || 511 | 1003257 | 1/ 1 | 236403 | 0 | 24.58/24.62 c | 511 | 0.5 | 0 | 26172 | 17215 | 91 | 14181357 | 612197 || 511 | 1003257 | 1/ 1 | 236403 | 0 | 25.08/25.19 c | 516 | 0.6 | 0 | 27331 | 71 | 92 | 14469435 | 624200 || 516 | 1006331 | 1/ 1 | 237025 | 0 | 25.68/25.73 c | 540 | 0.5 | 0 | 29505 | 563 | 93 | 14776637 | 639029 || 540 | 1029865 | 1/ 1 | 242162 | 0 | 26.18/26.31 c | 556 | 0.6 | 0 | 34215 | 42 | 94 | 15084301 | 653077 || 556 | 1051355 | 1/ 1 | 247079 | 0 | 26.88/26.95 c | 573 | 0.6 | 0 | 38544 | 2310 | 95 | 15392670 | 666743 || 573 | 1075947 | 1/ 1 | 252819 | 0 | 27.58/27.63 c | 581 | 0.7 | 0 | 42064 | 459 | 96 | 15703451 | 679903 || 581 | 1094634 | 1/ 1 | 257360 | 0 | 28.28/28.39 c | 604 | 0.8 | 0 | 44065 | 1082 | 97 | 16001943 | 694506 || 604 | 1118288 | 1/ 1 | 262697 | 0 | 29.08/29.19 c | 620 | 0.8 | 0 | 47630 | 378 | 98 | 16310967 | 708389 || 620 | 1139865 | 1/ 1 | 267628 | 0 | 29.98/30.05 c | 637 | 0.9 | 0 | 49883 | 1804 | 99 | 16631674 | 722982 || 637 | 1165401 | 1/ 1 | 275774 | 0 | 30.88/30.92 c | 638 | 0.9 | 0 | 49369 | 7413 | 100 | 16939456 | 735080 || 638 | 1195161 | 1/ 1 | 282336 | 0 | 31.90/31.92 c | 645 | 1.0 | 0 | 50447 | 475 | 101 | 17329361 | 748418 || 645 | 1207808 | 1/ 1 | 283586 | 0 | 32.89/32.92 c | 668 | 1.0 | 0 | 48094 | 358 | 102 | 17660191 | 763646 || 668 | 1232553 | 1/ 1 | 288937 | 0 | 33.79/33.85 c | 687 | 0.9 | 0 | 48990 | 294 | 103 | 17987608 | 778639 || 687 | 1256298 | 1/ 1 | 294292 | 0 | 34.69/34.77 c | 701 | 0.9 | 0 | 48947 | 3358 | 104 | 18304271 | 793659 || 701 | 1284374 | 1/ 1 | 302064 | 0 | 35.69/35.75 c | 716 | 1.0 | 0 | 48467 | 570 | 105 | 18637009 | 809676 || 716 | 1302780 | 1/ 1 | 305372 | 0 | 36.69/36.74 c | 737 | 1.0 | 0 | 48849 | 176 | 106 | 18990036 | 825808 || 737 | 1327118 | 1/ 1 | 310909 | 0 | 37.69/37.77 c | 762 | 1.0 | 0 | 49390 | 50 | 107 | 19336449 | 842480 || 762 | 1353476 | 1/ 1 | 316840 | 0 | 38.69/38.72 c | 765 | 1.0 | 0 | 52037 | 4045 | 108 | 19681762 | 856304 || 765 | 1382718 | 1/ 1 | 328256 | 0 | 39.61/39.68 c | 765 | 1.0 | 0 | 50885 | 5746 | 109 | 20000129 | 870007 || 765 | 1399715 | 1/ 1 | 328339 | 0 | 40.89/40.91 c | 766 | 1.2 | 0 | 48255 | 17163 | 110 | 20357213 | 883265 || 766 | 1446095 | 1/ 1 | 341450 | 0 | 41.99/42.03 c | 766 | 1.1 | 0 | 46071 | 9464 | 111 | 20765958 | 897158 || 766 | 1452319 | 1/ 1 | 341481 | 0 | 42.99/43.09 c | 788 | 1.1 | 0 | 43282 | 374 | 112 | 21133942 | 913468 || 788 | 1472042 | 1/ 1 | 345996 | 0 | 44.01/44.09 c | 810 | 1.0 | 0 | 43009 | 268 | 113 | 21512203 | 930571 || 810 | 1498247 | 1/ 1 | 351738 | 0 | 44.99/45.03 c | 828 | 0.9 | 0 | 42283 | 1047 | 114 | 21865612 | 946756 || 828 | 1524509 | 1/ 1 | 357911 | 0 | 45.89/45.96 c | 844 | 0.9 | 0 | 44162 | 483 | 115 | 22233730 | 963079 || 844 | 1549938 | 1/ 1 | 364464 | 0 | 46.89/46.97 c | 863 | 1.0 | 0 | 45942 | 139 | 116 | 22598288 | 979656 || 863 | 1575871 | 1/ 1 | 369813 | 0 | 47.99/48.04 c | 890 | 1.1 | 0 | 49667 | 689 | 117 | 22964433 | 997280 || 890 | 1603925 | 1/ 1 | 375981 | 0 | 48.99/49.06 c | 893 | 1.0 | 0 | 53351 | 5693 | 118 | 23317863 | 1011770 || 893 | 1638098 | 1/ 1 | 387403 | 0 | 50.09/50.18 c | 900 | 1.1 | 0 | 53666 | 545 | 119 | 23686500 | 1027775 || 900 | 1655838 | 1/ 1 | 388687 | 0 | 51.29/51.39 c | 924 | 1.2 | 0 | 52811 | 2231 | 120 | 24051602 | 1045623 || 924 | 1686575 | 1/ 1 | 395673 | 0 | 52.59/52.63 c | 953 | 1.2 | 0 | 53781 | 359 | 121 | 24430771 | 1064186 || 953 | 1712362 | 1/ 1 | 401412 | 0 | 53.69/53.80 c | 959 | 1.2 | 0 | 55870 | 125 | 122 | 24817018 | 1080419 || 959 | 1738135 | 1/ 1 | 407568 | 0 | 55.09/55.13 c | 987 | 1.3 | 0 | 56917 | 1288 | 123 | 25203092 | 1098980 || 987 | 1768768 | 1/ 1 | 415350 | 0 | 56.49/56.50 c | 1014 | 1.4 | 0 | 57676 | 55 | 124 | 25597322 | 1117532 || 1014 | 1795425 | 1/ 1 | 420515 | 0 | 57.69/57.70 c | 1020 | 1.2 | 0 | 58458 | 3621 | 125 | 25982329 | 1133431 || 1020 | 1828804 | 1/ 1 | 433329 | 0 | 58.89/58.90 c | 1021 | 1.2 | 0 | 60744 | 7021 | 126 | 26373735 | 1149016 || 1021 | 1861338 | 1/ 1 | 446353 | 0 | 60.51/60.55 c | 1021 | 1.6 | 0 | 59671 | 917 | 127 | 26759932 | 1164242 || 1021 | 1897370 | 1/ 1 | 446521 | 0 | 62.19/62.20 c | 1022 | 1.7 | 0 | 56286 | 14119 | 128 | 27300947 | 1180563 || 1022 | 1926949 | 1/ 1 | 472407 | 0 | 63.59/63.61 c | 1022 | 1.4 | 0 | 52528 | 13301 | 129 | 27679899 | 1196435 || 1022 | 1963607 | 1/ 1 | 472606 | 0 | 65.39/65.48 c | 1022 | 1.9 | 0 | 49764 | 2417 | 130 | 28076782 | 1212476 || 1022 | 1995581 | 1/ 1 | 472771 | 0 | 66.69/66.79 c | 1022 | 1.3 | 0 | 45025 | 15920 | 131 | 28591213 | 1228847 || 1022 | 1995581 | 1/ 1 | 472771 | 0 | 68.09/68.16 c | 1023 | 1.4 | 0 | 42157 | 29523 | 132 | 29050209 | 1245567 || 1023 | 2059371 | 1/ 1 | 524508 | 0 | 69.69/69.77 c | 1023 | 1.6 | 0 | 40217 | 13703 | 133 | 29375108 | 1262172 || 1023 | 2099786 | 1/ 1 | 524702 | 0 | 71.59/71.65 c | 1023 | 1.9 | 0 | 39818 | 13802 | 134 | 29717048 | 1278611 || 1023 | 2140608 | 1/ 1 | 524920 | 0 | 73.49/73.58 c | 1023 | 1.9 | 0 | 38486 | 13908 | 135 | 30056046 | 1294919 || 1023 | 2181672 | 1/ 1 | 525106 | 0 | 74.89/74.90 c | 1023 | 1.3 | 0 | 37755 | 8124 | 136 | 30474407 | 1311313 || 1023 | 2199694 | 1/ 1 | 525181 | 0 | 75.91/75.92 c | 1023 | 1.0 | 0 | 39746 | 22226 | 137 | 30909618 | 1327351 || 1023 | 2199694 | 1/ 1 | 525181 | 0 | 77.19/77.20 c | 1023 | 1.3 | 0 | 46836 | 36427 | 138 | 31356033 | 1343287 || 1023 | 2199694 | 1/ 1 | 525181 | 0 | 78.59/78.67 c | 1023 | 1.5 | 0 | 52223 | 50728 | 139 | 31803265 | 1359475 || 1023 | 2199694 | 1/ 1 | 525181 | 0 | 80.09/80.14 c | 1054 | 1.5 | 0 | 62701 | 1793 | 140 | 32247365 | 1380686 || 1054 | 2234570 | 1/ 1 | 533393 | 0 | 81.79/81.82 c | 1084 | 1.7 | 0 | 71074 | 110 | 141 | 32702719 | 1401931 || 1084 | 2266341 | 1/ 1 | 540003 | 0 | 83.49/83.52 c | 1100 | 1.7 | 0 | 76828 | 449 | 142 | 33147424 | 1421864 || 1100 | 2296060 | 1/ 1 | 547403 | 0 | 85.49/85.59 c | 1127 | 2.1 | 0 | 78161 | 101 | 143 | 33612817 | 1443309 || 1127 | 2328667 | 1/ 1 | 554588 | 0 | 87.59/87.61 c | 1149 | 2.0 | 0 | 78056 | 3125 | 144 | 34054134 | 1463629 || 1149 | 2366145 | 1/ 1 | 564597 | 0 | 89.49/89.56 c | 1150 | 2.0 | 0 | 76943 | 3622 | 145 | 34545483 | 1482241 || 1150 | 2397316 | 1/ 1 | 571156 | 0 | 91.69/91.78 c | 1180 | 2.2 | 0 | 68057 | 78 | 146 | 35046582 | 1504423 || 1180 | 2426963 | 1/ 1 | 577715 | 0 | 93.69/93.73 c | 1210 | 2.0 | 0 | 66045 | 241 | 147 | 35517571 | 1525926 || 1210 | 2459829 | 1/ 1 | 585111 | 0 | 95.49/95.51 c | 1226 | 1.8 | 0 | 66379 | 282 | 148 | 35975197 | 1547159 || 1226 | 2491644 | 1/ 1 | 592938 | 0 | 97.39/97.47 c | 1254 | 2.0 | 0 | 67060 | 233 | 149 | 36457927 | 1568784 || 1254 | 2525670 | 1/ 1 | 600737 | 0 | 99.29/99.39 c | 1276 | 1.9 | 0 | 67596 | 3785 | 150 | 36928519 | 1589425 || 1276 | 2564442 | 1/ 1 | 610570 | 0 | 101.21/101.23 c | 1277 | 1.9 | 0 | 67801 | 4871 | 151 | 37423148 | 1608000 || 1277 | 2593689 | 1/ 1 | 617151 | 0 | 103.29/103.32 c | 1278 | 2.1 | 0 | 69016 | 1267 | 152 | 37908365 | 1626209 || 1278 | 2646513 | 1/ 1 | 630259 | 0 | 105.39/105.41 c | 1292 | 2.1 | 0 | 65825 | 339 | 153 | 38453999 | 1646032 || 1292 | 2656852 | 1/ 1 | 632708 | 0 | 107.29/107.35 c | 1322 | 1.9 | 0 | 63142 | 253 | 154 | 38916377 | 1667718 || 1322 | 2691612 | 1/ 1 | 640512 | 0 | 109.19/109.20 c | 1341 | 1.9 | 0 | 64636 | 365 | 155 | 39401397 | 1689074 || 1341 | 2730464 | 1/ 1 | 649946 | 0 | 111.19/111.20 c | 1372 | 2.0 | 0 | 64524 | 881 | 156 | 39900425 | 1711961 || 1372 | 2762148 | 1/ 1 | 658162 | 0 | 113.09/113.21 c | 1402 | 2.0 | 0 | 65778 | 794 | 157 | 40388487 | 1734888 || 1402 | 2796263 | 1/ 1 | 664766 | 0 | 114.99/115.04 c | 1405 | 1.8 | 0 | 69667 | 183 | 158 | 40871143 | 1754402 || 1405 | 2841767 | 1/ 1 | 676216 | 0 | 117.09/117.11 c | 1432 | 2.1 | 0 | 70445 | 34 | 159 | 41375231 | 1776864 || 1432 | 2865195 | 1/ 1 | 681347 | 0 | 119.19/119.26 c | 1464 | 2.2 | 0 | 74188 | 242 | 160 | 41866184 | 1799644 || 1464 | 2901433 | 1/ 1 | 689739 | 0 | 121.39/121.45 c | 1482 | 2.2 | 0 | 75118 | 337 | 161 | 42357801 | 1821249 || 1482 | 2936699 | 1/ 1 | 698346 | 0 | 123.69/123.79 c | 1513 | 2.3 | 0 | 76486 | 154 | 162 | 42859576 | 1844905 || 1513 | 2973340 | 1/ 1 | 706525 | 0 | 125.89/125.98 c | 1531 | 2.2 | 0 | 76390 | 1950 | 163 | 43363287 | 1866659 || 1531 | 3011054 | 1/ 1 | 715543 | 0 | 128.09/128.14 c | 1533 | 2.2 | 0 | 75699 | 9158 | 164 | 43901128 | 1887940 || 1533 | 3058296 | 1/ 1 | 735046 | 0 | 130.29/130.39 c | 1533 | 2.2 | 0 | 76165 | 6853 | 165 | 44411985 | 1907910 || 1533 | 3088095 | 1/ 1 | 735187 | 0 | 132.59/132.66 c | 1534 | 2.3 | 0 | 71256 | 23871 | 166 | 44919788 | 1927912 || 1534 | 3147779 | 1/ 1 | 761226 | 0 | 135.39/135.47 c | 1534 | 2.8 | 0 | 66382 | 2567 | 167 | 45385515 | 1948353 || 1534 | 3190384 | 1/ 1 | 761438 | 0 | 137.39/137.44 c | 1534 | 2.0 | 0 | 61407 | 19768 | 168 | 45968226 | 1968554 || 1534 | 3190384 | 1/ 1 | 761438 | 0 | 139.39/139.46 c | 1564 | 2.0 | 0 | 57472 | 498 | 169 | 46502190 | 1992086 || 1564 | 3217134 | 1/ 1 | 768009 | 0 | 141.39/141.44 c | 1595 | 2.0 | 0 | 56055 | 549 | 170 | 47032907 | 2016335 || 1595 | 3254919 | 1/ 1 | 776257 | 0 | 143.29/143.31 c | 1617 | 1.9 | 0 | 60053 | 55 | 171 | 47543883 | 2040454 || 1617 | 3291875 | 1/ 1 | 785083 | 0 | 145.39/145.44 c | 1651 | 2.1 | 0 | 64203 | 82 | 172 | 48087865 | 2065660 || 1651 | 3331246 | 1/ 1 | 793998 | 0 | 147.41/147.44 c | 1661 | 2.0 | 0 | 68476 | 7432 | 173 | 48589828 | 2088073 || 1661 | 3378318 | 1/ 1 | 807398 | 0 | 149.79/149.81 c | 1685 | 2.4 | 0 | 71709 | 11 | 174 | 49144581 | 2111634 || 1685 | 3406112 | 1/ 1 | 812164 | 0 | 152.19/152.24 c | 1721 | 2.4 | 0 | 77763 | 4 | 175 | 49673281 | 2136843 || 1721 | 3446363 | 1/ 1 | 821407 | 0 | 154.69/154.74 c | 1739 | 2.5 | 0 | 77656 | 726 | 176 | 50220990 | 2160321 || 1739 | 3483136 | 1/ 1 | 830408 | 0 | 157.31/157.35 c | 1777 | 2.6 | 0 | 78155 | 431 | 177 | 50749513 | 2186165 || 1777 | 3523564 | 1/ 1 | 839872 | 0 | 159.89/159.90 c | 1788 | 2.5 | 0 | 80235 | 7186 | 178 | 51316541 | 2209235 || 1788 | 3571239 | 1/ 1 | 853355 | 0 | 162.69/162.75 c | 1789 | 2.9 | 0 | 79326 | 15866 | 179 | 51881047 | 2230209 || 1789 | 3620921 | 1/ 1 | 866449 | 0 | 165.30/165.34 c | 1796 | 2.6 | 0 | 77447 | 214 | 180 | 52408925 | 2256319 || 1796 | 3636703 | 1/ 1 | 867716 | 0 | 168.10/168.10 c | 1834 | 2.8 | 0 | 74819 | 56 | 181 | 52966691 | 2282625 || 1834 | 3679083 | 1/ 1 | 877149 | 0 | 170.52/170.53 c | 1855 | 2.4 | 0 | 74965 | 250 | 182 | 53528223 | 2307415 || 1855 | 3718219 | 1/ 1 | 886585 | 0 | 173.20/173.24 c | 1893 | 2.7 | 0 | 74543 | 63 | 183 | 54095139 | 2333472 || 1893 | 3759648 | 1/ 1 | 896024 | 0 | 175.80/175.82 c | 1915 | 2.6 | 0 | 74054 | 2528 | 184 | 54667356 | 2358338 || 1915 | 3800317 | 1/ 1 | 905858 | 0 | 178.30/178.36 c | 1931 | 2.5 | 0 | 77488 | 988 | 185 | 55230005 | 2382601 || 1931 | 3839589 | 1/ 1 | 915710 | 0 | 181.10/181.17 c | 1969 | 2.8 | 0 | 81476 | 434 | 186 | 55801573 | 2409853 || 1969 | 3880575 | 1/ 1 | 925159 | 0 | 184.00/184.02 c | 1993 | 2.9 | 0 | 84107 | 385 | 187 | 56394559 | 2435414 || 1993 | 3920800 | 1/ 1 | 934611 | 0 | 187.02/187.03 c | 2031 | 3.0 | 0 | 83668 | 0 | 188 | 56956187 | 2462489 || 2031 | 3964117 | 1/ 1 | 944447 | 0 | 189.70/189.71 c | 2043 | 2.7 | 0 | 85655 | 7830 | 189 | 57497538 | 2486154 || 2043 | 4014858 | 1/ 1 | 958374 | 0 | 192.40/192.51 c | 2044 | 2.8 | 0 | 85794 | 17624 | 190 | 58057200 | 2509944 || 2044 | 4067804 | 1/ 1 | 971462 | 0 | 195.30/195.32 c | 2045 | 2.8 | 0 | 81018 | 17923 | 191 | 58654315 | 2533997 || 2045 | 4113572 | 1/ 1 | 997406 | 0 | 198.60/198.68 c | 2045 | 3.3 | 0 | 80421 | 19601 | 192 | 59230612 | 2558395 || 2045 | 4171102 | 1/ 1 | 997665 | 0 | 200.80/200.80 c | 2045 | 2.1 | 0 | 73590 | 18815 | 193 | 59778494 | 2582511 || 2045 | 4173663 | 1/ 1 | 997673 | 0 | 203.30/203.40 c | 2046 | 2.6 | 0 | 79481 | 38621 | 194 | 60312599 | 2605846 || 2046 | 4264185 | 1/ 1 | 1049612 | 0 | 207.10/207.13 c | 2046 | 3.7 | 0 | 77168 | 19907 | 195 | 60845397 | 2628903 || 2046 | 4324632 | 1/ 1 | 1049890 | 0 | 210.99/211.08 c | 2046 | 4.0 | 0 | 70542 | 1730 | 196 | 61376134 | 2652513 || 2046 | 4378636 | 1/ 1 | 1050163 | 0 | 213.49/213.54 c | 2046 | 2.5 | 0 | 67257 | 21831 | 197 | 62013744 | 2676518 || 2046 | 4378636 | 1/ 1 | 1050163 | 0 | 215.79/215.84 c | 2046 | 2.3 | 0 | 64867 | 42032 | 198 | 62611118 | 2702034 || 2046 | 4378636 | 1/ 1 | 1050163 | 0 | 218.39/218.41 c | 2047 | 2.6 | 0 | 68628 | 62333 | 199 | 63216061 | 2726130 || 2047 | 4516418 | 1/ 1 | 1153773 | 0 | 222.21/222.22 c | 2047 | 3.8 | 0 | 60921 | 20408 | 200 | 63806862 | 2749752 || 2047 | 4577256 | 1/ 1 | 1154070 | 0 | 226.39/226.50 c | 2047 | 4.3 | 0 | 56183 | 20506 | 201 | 64393141 | 2773830 || 2047 | 4636664 | 1/ 1 | 1154388 | 0 | 230.59/230.63 c | 2047 | 4.1 | 0 | 57619 | 20619 | 202 | 64975841 | 2797130 || 2047 | 4697572 | 1/ 1 | 1154670 | 0 | 235.30/235.32 c | 2047 | 4.7 | 0 | 57021 | 20704 | 203 | 65517512 | 2820581 || 2047 | 4757125 | 1/ 1 | 1154983 | 0 | 238.71/238.78 c | 2047 | 3.5 | 0 | 58238 | 11770 | 204 | 66205304 | 2846432 || 2047 | 4782412 | 1/ 1 | 1155117 | 0 | 241.39/241.41 c | 2047 | 2.6 | 0 | 56804 | 32673 | 205 | 66918306 | 2873357 || 2047 | 4782412 | 1/ 1 | 1155117 | 0 | 244.29/244.31 c | 2047 | 2.9 | 0 | 55746 | 53674 | 206 | 67748385 | 2899056 || 2047 | 4782412 | 1/ 1 | 1155117 | 0 | 247.19/247.27 c | 2047 | 3.0 | 0 | 58932 | 74775 | 207 | 68530865 | 2924493 || 2047 | 4782412 | 1/ 1 | 1155117 | 0 | 250.09/250.19 c | 2047 | 2.9 | 0 | 61703 | 95977 | 208 | 69268362 | 2949633 || 2047 | 4782412 | 1/ 1 | 1155117 | 0 | 253.09/253.10 c | 2078 | 2.9 | 0 | 62944 | 271 | 209 | 69948723 | 2978973 || 2078 | 4818579 | 1/ 1 | 1163333 | 0 | 255.69/255.74 c | 2110 | 2.7 | 0 | 67153 | 702 | 210 | 70616819 | 3008897 || 2110 | 4867763 | 1/ 1 | 1174794 | 0 | 258.59/258.62 c | 2150 | 2.9 | 0 | 71825 | 44 | 211 | 71292763 | 3040061 || 2150 | 4911737 | 1/ 1 | 1184480 | 0 | 261.59/261.60 c | 2174 | 3.0 | 0 | 79838 | 5029 | 212 | 71994606 | 3068752 || 2174 | 4966901 | 1/ 1 | 1200999 | 0 | 264.69/264.77 c | 2203 | 3.2 | 0 | 88046 | 372 | 213 | 72645745 | 3098891 || 2203 | 5007038 | 1/ 1 | 1206824 | 0 | 268.49/268.51 c | 2237 | 3.7 | 0 | 91324 | 1754 | 214 | 73323832 | 3129848 || 2237 | 5058489 | 1/ 1 | 1220711 | 0 | 272.39/272.43 c | 2268 | 3.9 | 0 | 97221 | 1112 | 215 | 74020344 | 3160195 || 2268 | 5105235 | 1/ 1 | 1228960 | 0 | 276.29/276.37 c | 2300 | 3.9 | 0 | 93742 | 2141 | 216 | 74701918 | 3191319 || 2300 | 5154513 | 1/ 1 | 1240468 | 0 | 279.79/279.86 c | 2302 | 3.5 | 0 | 93748 | 14643 | 217 | 75404168 | 3217095 || 2302 | 5216108 | 1/ 1 | 1260043 | 0 | 283.81/283.87 c | 2316 | 4.0 | 0 | 91295 | 342 | 218 | 76092716 | 3244169 || 2316 | 5240042 | 1/ 1 | 1262580 | 0 | 287.79/287.86 c | 2362 | 4.0 | 0 | 89892 | 22 | 219 | 76746886 | 3275783 || 2362 | 5291084 | 1/ 1 | 1274069 | 0 | 291.51/291.60 c | 2394 | 3.7 | 0 | 93207 | 496 | 220 | 77403372 | 3306073 || 2394 | 5339604 | 1/ 1 | 1285566 | 0 | 295.50/295.52 c | 2428 | 3.9 | 0 | 94895 | 2652 | 221 | 78080885 | 3336677 || 2428 | 5391818 | 1/ 1 | 1299451 | 0 | 299.29/299.33 c | 2443 | 3.8 | 0 | 97369 | 542 | 222 | 78785513 | 3365720 || 2443 | 5437483 | 1/ 1 | 1308512 | 0 | 303.50/303.53 c | 2489 | 4.2 | 0 | 96421 | 566 | 223 | 79438472 | 3397405 || 2489 | 5488441 | 1/ 1 | 1320028 | 0 | 307.70/307.77 c | 2521 | 4.2 | 0 | 101482 | 205 | 224 | 80134259 | 3428774 || 2521 | 5537913 | 1/ 1 | 1331534 | 0 | 312.00/312.07 c | 2555 | 4.3 | 0 | 102606 | 3347 | 225 | 80830845 | 3459774 || 2555 | 5591139 | 1/ 1 | 1345456 | 0 | 316.09/316.13 c | 2557 | 4.1 | 0 | 101337 | 11934 | 226 | 81558038 | 3487816 || 2557 | 5650612 | 1/ 1 | 1365023 | 0 | 320.50/320.52 c | 2558 | 4.4 | 0 | 95853 | 15827 | 227 | 82324593 | 3514676 || 2558 | 5708420 | 1/ 1 | 1391015 | 0 | 325.40/325.49 c | 2558 | 5.0 | 0 | 89777 | 625 | 228 | 82974741 | 3542237 || 2558 | 5778931 | 1/ 1 | 1391315 | 0 | 328.99/329.06 c | 2558 | 3.6 | 0 | 85274 | 23927 | 229 | 83730776 | 3569684 || 2558 | 5778931 | 1/ 1 | 1391315 | 0 | 332.99/333.03 c | 2604 | 4.0 | 0 | 80442 | 1163 | 230 | 84419739 | 3602614 || 2604 | 5829365 | 1/ 1 | 1402803 | 0 | 336.61/336.68 c | 2637 | 3.7 | 0 | 82566 | 828 | 231 | 85111564 | 3634459 || 2637 | 5879101 | 1/ 1 | 1414386 | 0 | 340.50/340.59 c | 2683 | 3.9 | 0 | 84583 | 1823 | 232 | 85815644 | 3667826 || 2683 | 5933604 | 1/ 1 | 1427393 | 0 | 344.20/344.22 c | 2692 | 3.6 | 0 | 90317 | 268 | 233 | 86558273 | 3697330 || 2692 | 5979414 | 1/ 1 | 1438448 | 0 | 348.49/348.50 c | 2742 | 4.3 | 0 | 94041 | 77 | 234 | 87283384 | 3731360 || 2742 | 6032519 | 1/ 1 | 1450444 | 0 | 352.79/352.89 c | 2777 | 4.4 | 0 | 100805 | 333 | 235 | 88040705 | 3763253 || 2777 | 6084967 | 1/ 1 | 1462658 | 0 | 357.29/357.38 c | 2811 | 4.5 | 0 | 105036 | 4550 | 236 | 88752670 | 3795029 || 2811 | 6143012 | 1/ 1 | 1476612 | 0 | 361.69/361.70 c | 2813 | 4.3 | 0 | 104165 | 14249 | 237 | 89496336 | 3823499 || 2813 | 6205080 | 1/ 1 | 1496164 | 0 | 366.09/366.21 c | 2828 | 4.5 | 0 | 101020 | 775 | 238 | 90292152 | 3853572 || 2828 | 6234080 | 1/ 1 | 1499519 | 0 | 370.99/371.07 c | 2875 | 4.9 | 0 | 99065 | 2390 | 239 | 91011523 | 3887968 || 2875 | 6290549 | 1/ 1 | 1512652 | 0 | 375.49/375.58 c | 2908 | 4.5 | 0 | 102731 | 98 | 240 | 91753625 | 3920557 || 2908 | 6340424 | 1/ 1 | 1524213 | 0 | 380.19/380.25 c | 2940 | 4.7 | 0 | 102992 | 5305 | 241 | 92464761 | 3952808 || 2940 | 6401228 | 1/ 1 | 1542103 | 0 | 385.01/385.04 c | 2971 | 4.8 | 0 | 104204 | 1759 | 242 | 93226093 | 3985681 || 2971 | 6446671 | 1/ 1 | 1550370 | 0 | 389.79/389.89 c | 3003 | 4.9 | 0 | 103478 | 3088 | 243 | 93983391 | 4018210 || 3003 | 6497087 | 1/ 1 | 1561882 | 0 | 394.91/394.98 c | 3056 | 5.1 | 0 | 108491 | 10 | 244 | 94707500 | 4053257 || 3056 | 6552634 | 1/ 1 | 1574578 | 0 | 399.20/399.25 c | 3067 | 4.3 | 0 | 110953 | 4458 | 245 | 95400728 | 4083721 || 3067 | 6606075 | 1/ 1 | 1588121 | 0 | 403.60/403.71 c | 3068 | 4.5 | 0 | 111175 | 10257 | 246 | 96087219 | 4113418 || 3068 | 6657576 | 1/ 1 | 1601222 | 0 | 408.49/408.58 c | 3069 | 4.9 | 0 | 111543 | 35365 | 247 | 96728128 | 4143702 || 3069 | 6746374 | 1/ 1 | 1627410 | 0 | 413.79/413.83 c | 3069 | 5.2 | 0 | 108704 | 22167 | 248 | 97525056 | 4174201 || 3069 | 6754832 | 1/ 1 | 1627466 | 0 | 419.00/419.07 c | 3070 | 5.2 | 0 | 103599 | 47472 | 249 | 98208644 | 4202807 || 3070 | 6869350 | 1/ 1 | 1679515 | 0 | 425.50/425.56 c | 3070 | 6.5 | 0 | 99199 | 25401 | 250 | 98827651 | 4231112 || 3070 | 6940604 | 1/ 1 | 1679839 | 0 | 430.20/430.24 c | 3070 | 4.7 | 0 | 89267 | 21564 | 251 | 99562935 | 4260510 || 3070 | 6951919 | 1/ 1 | 1679893 | 0 | 434.70/434.77 c | 3070 | 4.5 | 0 | 85717 | 47165 | 252 | 100310035 | 4289249 || 3070 | 6951919 | 1/ 1 | 1679893 | 0 | 439.50/439.53 c | 3116 | 4.8 | 0 | 83682 | 1046 | 253 | 101105330 | 4324905 || 3116 | 7002317 | 1/ 1 | 1691403 | 0 | 443.80/443.87 c | 3155 | 4.3 | 0 | 88939 | 239 | 254 | 101910415 | 4360727 || 3155 | 7057684 | 1/ 1 | 1704114 | 0 | 448.30/448.39 c | 3196 | 4.5 | 0 | 96273 | 3901 | 255 | 102694133 | 4396680 || 3196 | 7120145 | 1/ 1 | 1719283 | 0 | 452.90/452.92 c | 3220 | 4.5 | 0 | 103648 | 74 | 256 | 103433417 | 4431194 || 3220 | 7169389 | 1/ 1 | 1730460 | 0 | 458.10/458.19 c | 3260 | 5.3 | 0 | 105991 | 4477 | 257 | 104226841 | 4466596 || 3260 | 7231606 | 1/ 1 | 1745509 | 0 | 463.70/463.74 c | 3307 | 5.6 | 0 | 110429 | 855 | 258 | 105028428 | 4502666 || 3307 | 7283083 | 1/ 1 | 1757125 | 0 | 469.00/469.00 c | 3324 | 5.3 | 0 | 112540 | 3876 | 259 | 105840904 | 4536054 || 3324 | 7343225 | 1/ 1 | 1771796 | 0 | 473.60/473.67 c | 3325 | 4.7 | 0 | 110309 | 11069 | 260 | 106626895 | 4568859 || 3325 | 7391674 | 1/ 1 | 1784913 | 0 | 479.40/479.49 c | 3378 | 5.8 | 0 | 109139 | 14 | 261 | 107437627 | 4606782 || 3378 | 7448868 | 1/ 1 | 1797670 | 0 | 485.00/485.04 c | 3418 | 5.5 | 0 | 110594 | 439 | 262 | 108256897 | 4642927 || 3418 | 7506624 | 1/ 1 | 1811210 | 0 | 490.50/490.55 c | 3452 | 5.5 | 0 | 111116 | 3790 | 263 | 109056190 | 4678760 || 3452 | 7568844 | 1/ 1 | 1830831 | 0 | 495.90/495.97 c | 3483 | 5.4 | 0 | 111679 | 45 | 264 | 109850057 | 4714447 || 3483 | 7620420 | 1/ 1 | 1839109 | 0 | 501.70/501.73 c | 3524 | 5.8 | 0 | 112080 | 33 | 265 | 110669603 | 4751496 || 3524 | 7676186 | 1/ 1 | 1852060 | 0 | 507.70/507.75 c | 3577 | 6.0 | 0 | 115080 | 1452 | 266 | 111477154 | 4789822 || 3577 | 7738312 | 1/ 1 | 1867053 | 0 | 513.00/513.03 c | 3580 | 5.3 | 0 | 119168 | 11744 | 267 | 112305267 | 4822397 || 3580 | 7807160 | 1/ 1 | 1889894 | 0 | 518.30/518.36 c | 3581 | 5.3 | 0 | 115382 | 19750 | 268 | 113074063 | 4857536 || 3581 | 7873913 | 1/ 1 | 1915970 | 0 | 524.10/524.18 c | 3581 | 5.8 | 0 | 113806 | 8651 | 269 | 113828863 | 4889696 || 3581 | 7925854 | 1/ 1 | 1916240 | 0 | 529.70/529.75 c | 3609 | 5.6 | 0 | 109663 | 82 | 270 | 114666107 | 4925249 || 3609 | 7950196 | 1/ 1 | 1921586 | 0 | 535.20/535.23 c | 3644 | 5.5 | 0 | 107184 | 2397 | 271 | 115481224 | 4962341 || 3644 | 8010486 | 1/ 1 | 1935954 | 0 | 541.10/541.19 c | 3704 | 6.0 | 0 | 108143 | 271 | 272 | 116297321 | 5001067 || 3704 | 8070473 | 1/ 1 | 1949899 | 0 | 546.40/546.47 c | 3718 | 5.3 | 0 | 108566 | 193 | 273 | 117082675 | 5035364 || 3718 | 8125869 | 1/ 1 | 1963844 | 0 | 552.30/552.33 c | 3770 | 5.9 | 0 | 114677 | 2347 | 274 | 117891918 | 5074785 || 3770 | 8190532 | 1/ 1 | 1978627 | 0 | 558.40/558.42 c | 3815 | 6.1 | 0 | 119115 | 135 | 275 | 118721107 | 5111827 || 3815 | 8248701 | 1/ 1 | 1992186 | 0 | 564.50/564.50 c | 3835 | 6.1 | 0 | 124986 | 2725 | 276 | 119533259 | 5147240 || 3835 | 8313222 | 1/ 1 | 2008194 | 0 | 570.80/570.84 c | 3836 | 6.3 | 0 | 125986 | 11626 | 277 | 120421631 | 5180460 || 3836 | 8364821 | 1/ 1 | 2021321 | 0 | 578.00/578.00 c | 3896 | 7.2 | 0 | 121949 | 521 | 278 | 121276639 | 5219766 || 3896 | 8425610 | 1/ 1 | 2035316 | 0 | 584.41/584.47 c | 3933 | 6.5 | 0 | 121367 | 121 | 279 | 122109024 | 5257517 || 3933 | 8485372 | 1/ 1 | 2049680 | 0 | 591.01/591.09 c | 3963 | 6.6 | 0 | 120069 | 9433 | 280 | 122969255 | 5294049 || 3963 | 8557684 | 1/ 1 | 2067351 | 0 | 597.51/597.52 c | 4009 | 6.4 | 0 | 118442 | 109 | 281 | 123769097 | 5333615 || 4009 | 8608256 | 1/ 1 | 2078842 | 0 | 604.01/604.04 c | 4056 | 6.5 | 0 | 120405 | 908 | 282 | 124607253 | 5372454 || 4056 | 8669879 | 1/ 1 | 2093591 | 0 | 610.31/610.38 c | 4090 | 6.4 | 0 | 121189 | 5054 | 283 | 125436661 | 5410256 || 4090 | 8738374 | 1/ 1 | 2113192 | 0 | 616.41/616.48 c | 4091 | 6.1 | 0 | 126388 | 5044 | 284 | 126277795 | 5444231 || 4091 | 8804472 | 1/ 1 | 2126383 | 0 | 623.01/623.03 c | 4092 | 6.5 | 0 | 123630 | 33949 | 285 | 127099183 | 5477190 || 4092 | 8890752 | 1/ 1 | 2152521 | 0 | 630.11/630.17 c | 4092 | 7.2 | 0 | 122300 | 24546 | 286 | 128157226 | 5510276 || 4092 | 8903660 | 1/ 1 | 2152584 | 0 | 637.41/637.41 c | 4093 | 7.2 | 0 | 117119 | 53648 | 287 | 128997437 | 5544168 || 4093 | 9039011 | 1/ 1 | 2204633 | 0 | 645.11/645.15 c | 4093 | 7.7 | 0 | 106871 | 6026 | 288 | 129782188 | 5579794 || 4093 | 9106697 | 1/ 1 | 2204944 | 0 | 650.41/650.45 c | 4093 | 5.3 | 0 | 95813 | 35328 | 289 | 130581256 | 5619470 || 4093 | 9106697 | 1/ 1 | 2204944 | 0 | 656.11/656.11 c | 4094 | 5.6 | 0 | 87352 | 64730 | 290 | 131380904 | 5656151 || 4094 | 9248826 | 1/ 1 | 2308513 | 0 | 663.51/663.57 c | 4094 | 7.5 | 0 | 84469 | 29503 | 291 | 132155663 | 5690754 || 4094 | 9331999 | 1/ 1 | 2308913 | 0 | 671.71/671.74 c | 4094 | 8.2 | 0 | 79224 | 29613 | 292 | 132909631 | 5724949 || 4094 | 9417615 | 1/ 1 | 2309337 | 0 | 679.60/679.64 c | 4094 | 7.9 | 0 | 75954 | 29701 | 293 | 133687553 | 5759354 || 4094 | 9501000 | 1/ 1 | 2309751 | 0 | 684.80/684.87 c | 4094 | 5.2 | 0 | 78540 | 29748 | 294 | 134823704 | 5794847 || 4094 | 9501167 | 1/ 1 | 2309752 | 0 | 690.50/690.53 c | 4094 | 5.7 | 0 | 82547 | 59651 | 295 | 135900713 | 5829321 || 4094 | 9501167 | 1/ 1 | 2309752 | 0 | 697.01/697.08 c | 4094 | 6.6 | 0 | 81377 | 89652 | 296 | 137043684 | 5864168 || 4094 | 9501167 | 1/ 1 | 2309752 | 0 | 703.51/703.50 c | 4095 | 6.4 | 0 | 70974 | 119766 | 297 | 137989497 | 5898640 || 4095 | 9762363 | 1/ 1 | 2516904 | 0 | 711.21/711.28 c | 4095 | 7.8 | 0 | 75596 | 30203 | 298 | 138861440 | 5932761 || 4095 | 9853455 | 1/ 1 | 2517321 | 0 | 719.61/719.63 c | 4095 | 8.4 | 0 | 77745 | 30303 | 299 | 139738835 | 5967360 || 4095 | 9945710 | 1/ 1 | 2517776 | 0 | 728.81/728.85 c | 4095 | 9.2 | 0 | 72516 | 30401 | 300 | 140576093 | 6001619 || 4095 | 10038674 | 1/ 1 | 2518182 | 0 | 738.13/738.14 c | 4095 | 9.3 | 0 | 75115 | 30502 | 301 | 141381104 | 6035579 || 4095 | 10129921 | 1/ 1 | 2518580 | 0 | 748.41/748.43 c | 4095 | 10.3 | 0 | 81167 | 30604 | 302 | 142168424 | 6069240 || 4095 | 10221374 | 1/ 1 | 2518978 | 0 | 758.61/758.62 c | 4095 | 10.2 | 0 | 86804 | 30701 | 303 | 142947981 | 6103615 || 4095 | 10312481 | 1/ 1 | 2519394 | 0 | 764.71/764.80 c | 4095 | 6.2 | 0 | 83877 | 26072 | 304 | 143961596 | 6142010 || 4095 | 10327011 | 1/ 1 | 2519446 | 0 | 770.61/770.68 c | 4095 | 5.9 | 0 | 89445 | 56975 | 305 | 145040132 | 6180370 || 4095 | 10327011 | 1/ 1 | 2519446 | 0 | 777.21/777.21 c | 4095 | 6.5 | 0 | 93403 | 87977 | 306 | 146154519 | 6218136 || 4095 | 10327011 | 1/ 1 | 2519446 | 0 | 784.71/784.70 c | 4095 | 7.5 | 0 | 93805 | 119078 | 307 | 147222407 | 6256337 || 4095 | 10327011 | 1/ 1 | 2519446 | 0 | 791.11/791.18 c | 4095 | 6.5 | 0 | 92807 | 150279 | 308 | 148220509 | 6298942 || 4095 | 10327011 | 1/ 1 | 2519446 | 0 | 798.21/798.20 c | 4095 | 7.0 | 0 | 92522 | 181580 | 309 | 149119260 | 6343856 || 4095 | 10327011 | 1/ 1 | 2519446 | 0 | 805.23/805.25 c | 4117 | 7.0 | 0 | 90505 | 263 | 310 | 150127143 | 6389064 || 4117 | 10347137 | 1/ 1 | 2523956 | 0 | 811.21/811.25 c | 4162 | 6.0 | 0 | 91837 | 0 | 311 | 151124943 | 6432750 || 4162 | 10416366 | 1/ 1 | 2539642 | 0 | 817.51/817.52 c | 4221 | 6.3 | 0 | 107964 | 1781 | 312 | 152105444 | 6478318 || 4221 | 10490359 | 1/ 1 | 2558753 | 0 | 824.21/824.22 c | 4252 | 6.7 | 0 | 122998 | 564 | 313 | 153111111 | 6519901 || 4252 | 10556432 | 1/ 1 | 2571908 | 0 | 832.31/832.37 c | 4300 | 8.2 | 0 | 128737 | 141 | 314 | 154103541 | 6563132 || 4300 | 10627841 | 1/ 1 | 2588327 | 0 | 840.61/840.62 c | 4348 | 8.2 | 0 | 137241 | 2172 | 315 | 155055131 | 6607098 || 4348 | 10698176 | 1/ 1 | 2604766 | 0 | 848.41/848.43 c | 4350 | 7.8 | 0 | 142119 | 5366 | 316 | 155991349 | 6643961 || 4350 | 10772987 | 1/ 1 | 2624381 | 0 | 857.41/857.48 c | 4403 | 9.0 | 0 | 134713 | 0 | 317 | 156960582 | 6688673 || 4403 | 10828801 | 1/ 1 | 2637092 | 0 | 866.11/866.11 c | 4451 | 8.6 | 0 | 135208 | 577 | 318 | 157945450 | 6732115 || 4451 | 10898146 | 1/ 1 | 2653519 | 0 | 874.41/874.43 c | 4477 | 8.3 | 0 | 135157 | 5363 | 319 | 158891274 | 6773976 || 4477 | 10967165 | 1/ 1 | 2670354 | 0 | 883.51/883.54 c | 4539 | 9.1 | 0 | 137699 | 610 | 320 | 159864061 | 6819857 || 4539 | 11038933 | 1/ 1 | 2686777 | 0 | 892.61/892.65 c | 4593 | 9.1 | 0 | 139180 | 375 | 321 | 160850572 | 6865053 || 4593 | 11108257 | 1/ 1 | 2702780 | 0 | 901.31/901.33 c | 4605 | 8.7 | 0 | 139578 | 12509 | 322 | 161875714 | 6904263 || 4605 | 11193903 | 1/ 1 | 2729283 | 0 | 909.51/909.54 c | 4606 | 8.2 | 0 | 136495 | 26004 | 323 | 162759984 | 6942294 || 4606 | 11278951 | 1/ 1 | 2755423 | 0 | 918.32/918.34 c | 4606 | 8.8 | 0 | 136435 | 20403 | 324 | 163763860 | 6982108 || 4606 | 11314942 | 1/ 1 | 2755583 | 0 | 927.62/927.67 c | 4667 | 9.3 | 0 | 130163 | 546 | 325 | 164738267 | 7028442 || 4667 | 11378706 | 1/ 1 | 2770344 | 0 | 936.21/936.24 c | 4715 | 8.6 | 0 | 130390 | 63 | 326 | 165692974 | 7072718 || 4715 | 11450784 | 1/ 1 | 2786764 | 0 | 944.22/944.29 c | 4744 | 8.0 | 0 | 131109 | 88 | 327 | 166666494 | 7115381 || 4744 | 11517994 | 1/ 1 | 2803273 | 0 | 952.92/952.97 c | 4796 | 8.7 | 0 | 131133 | 1140 | 328 | 167642385 | 7160534 || 4796 | 11593793 | 1/ 1 | 2821234 | 0 | 961.82/961.88 c | 4858 | 8.9 | 0 | 137850 | 422 | 329 | 168625700 | 7207209 || 4858 | 11665283 | 1/ 1 | 2837641 | 0 | 970.12/970.15 c | 4861 | 8.3 | 0 | 140084 | 211 | 330 | 169619080 | 7246991 || 4861 | 11755615 | 1/ 1 | 2860558 | 0 | 979.12/979.17 c | 4906 | 9.0 | 0 | 142432 | 260 | 331 | 170599978 | 7292056 || 4906 | 11802513 | 1/ 1 | 2871249 | 0 | 988.52/988.58 c | 4955 | 9.4 | 0 | 143735 | 1188 | 332 | 171611394 | 7337392 || 4955 | 11876433 | 1/ 1 | 2888451 | 0 | 997.74/997.77 c | 4988 | 9.2 | 0 | 142192 | 4321 | 333 | 172636363 | 7381063 || 4988 | 11950939 | 1/ 1 | 2906522 | 0 | 1007.64/1007.67 c | 5050 | 9.9 | 0 | 142366 | 983 | 334 | 173656447 | 7428869 || 5050 | 12021754 | 1/ 1 | 2922959 | 0 | 1017.82/1017.81 c | 5111 | 10.1 | 0 | 142902 | 354 | 335 | 174698217 | 7475354 || 5111 | 12094709 | 1/ 1 | 2940171 | 0 | 1026.72/1026.74 c | 5116 | 8.9 | 0 | 142503 | 15721 | 336 | 175731457 | 7515608 || 5116 | 12184240 | 1/ 1 | 2965523 | 0 | 1035.52/1035.59 c | 5117 | 8.8 | 0 | 143965 | 30626 | 337 | 176671581 | 7558320 || 5117 | 12274062 | 1/ 1 | 2991700 | 0 | 1045.12/1045.17 c | 5118 | 9.6 | 0 | 138412 | 26434 | 338 | 177768129 | 7599519 || 5118 | 12350578 | 1/ 1 | 3043502 | 0 | 1054.62/1054.68 c | 5118 | 9.5 | 0 | 132968 | 34310 | 339 | 178604034 | 7639230 || 5118 | 12446246 | 1/ 1 | 3043997 | 0 | 1063.12/1063.12 c | 5118 | 8.4 | 0 | 132787 | 18344 | 340 | 179575801 | 7679663 || 5118 | 12490494 | 1/ 1 | 3044217 | 0 | 1070.92/1070.97 c | 5125 | 7.8 | 0 | 127205 | 220 | 341 | 180631389 | 7719921 || 5125 | 12494805 | 1/ 1 | 3045444 | 0 | 1080.12/1080.15 c | 5181 | 9.2 | 0 | 118300 | 694 | 342 | 181652359 | 7767511 || 5181 | 12575055 | 1/ 1 | 3063913 | 0 | 1088.42/1088.48 c | 5243 | 8.3 | 0 | 122932 | 1480 | 343 | 182672094 | 7815459 || 5243 | 12645741 | 1/ 1 | 3080343 | 0 | 1096.62/1096.69 c | 5276 | 8.2 | 0 | 130477 | 867 | 344 | 183711371 | 7859370 || 5276 | 12719914 | 1/ 1 | 3098369 | 0 | 1106.02/1106.01 c | 5338 | 9.3 | 0 | 134622 | 651 | 345 | 184744739 | 7907492 || 5338 | 12797095 | 1/ 1 | 3116404 | 0 | 1115.22/1115.23 c | 5372 | 9.2 | 0 | 138867 | 1467 | 346 | 185802907 | 7953361 || 5372 | 12880402 | 1/ 1 | 3136070 | 0 | 1124.61/1124.65 c | 5387 | 9.4 | 0 | 141062 | 76 | 347 | 186879215 | 7996297 || 5387 | 12942707 | 1/ 1 | 3151636 | 0 | 1134.21/1134.25 c | 5440 | 9.6 | 0 | 141409 | 27 | 348 | 187935353 | 8043429 || 5440 | 13017613 | 1/ 1 | 3169374 | 0 | 1144.32/1144.30 c | 5499 | 10.0 | 0 | 143271 | 777 | 349 | 188953810 | 8090933 || 5499 | 13098071 | 1/ 1 | 3188567 | 0 | 1154.32/1154.33 c | 5544 | 10.0 | 0 | 144203 | 102 | 350 | 190051538 | 8138874 || 5544 | 13168182 | 1/ 1 | 3205423 | 0 | 1164.62/1164.64 c | 5597 | 10.3 | 0 | 143705 | 178 | 351 | 191102970 | 8187271 || 5597 | 13245473 | 1/ 1 | 3223466 | 0 | 1174.42/1174.42 c | 5628 | 9.8 | 0 | 144675 | 7464 | 352 | 192178477 | 8233511 || 5628 | 13333518 | 1/ 1 | 3254050 | 0 | 1183.83/1183.80 c | 5629 | 9.4 | 0 | 146366 | 23962 | 353 | 193252744 | 8276284 || 5629 | 13424277 | 1/ 1 | 3280247 | 0 | 1193.22/1193.21 c | 5629 | 9.4 | 0 | 144629 | 21361 | 354 | 194368654 | 8321608 || 5629 | 13465026 | 1/ 1 | 3280438 | 0 | 1203.72/1203.72 c | 5691 | 10.5 | 0 | 139170 | 925 | 355 | 195428380 | 8371388 || 5691 | 13535264 | 1/ 1 | 3296885 | 0 | 1214.12/1214.15 c | 5753 | 10.4 | 0 | 138962 | 631 | 356 | 196491696 | 8420711 || 5753 | 13611982 | 1/ 1 | 3314976 | 0 | 1223.92/1223.93 c | 5787 | 9.8 | 0 | 142105 | 1301 | 357 | 197583526 | 8467210 || 5787 | 13689504 | 1/ 1 | 3334646 | 0 | 1234.42/1234.41 c | 5848 | 10.5 | 0 | 140926 | 23 | 358 | 198657474 | 8516259 || 5848 | 13765878 | 1/ 1 | 3351899 | 0 | 1244.42/1244.42 c | 5883 | 10.0 | 0 | 142726 | 2115 | 359 | 199711743 | 8563104 || 5883 | 13849441 | 1/ 1 | 3372397 | 0 | 1253.72/1253.75 c | 5900 | 9.3 | 0 | 149387 | 844 | 360 | 200858525 | 8607959 || 5900 | 13916908 | 1/ 1 | 3388871 | 0 | 1264.52/1264.54 c | 5961 | 10.8 | 0 | 150279 | 392 | 361 | 201895404 | 8657162 || 5961 | 13996610 | 1/ 1 | 3407634 | 0 | 1275.22/1275.24 c | 6011 | 10.7 | 0 | 149506 | 5329 | 362 | 202969932 | 8705429 || 6011 | 14082832 | 1/ 1 | 3431373 | 0 | 1286.02/1286.05 c | 6068 | 10.8 | 0 | 149880 | 60 | 363 | 204032144 | 8755196 || 6068 | 14152989 | 1/ 1 | 3444741 | 0 | 1297.12/1297.19 c | 6126 | 11.1 | 0 | 152211 | 52 | 364 | 205095266 | 8805249 || 6126 | 14232327 | 1/ 1 | 3463498 | 0 | 1307.12/1307.11 c | 6139 | 9.9 | 0 | 154318 | 15905 | 365 | 206144998 | 8849372 || 6139 | 14328426 | 1/ 1 | 3490468 | 0 | 1318.12/1318.17 c | 6140 | 11.1 | 0 | 152963 | 33698 | 366 | 207299380 | 8893110 || 6140 | 14424936 | 1/ 1 | 3516668 | 0 | 1327.82/1327.88 c | 6141 | 9.7 | 0 | 149768 | 32383 | 367 | 208365819 | 8937201 || 6141 | 14509480 | 1/ 1 | 3568588 | 0 | 1339.63/1339.60 c | 6141 | 11.7 | 0 | 142704 | 37204 | 368 | 209375933 | 8979742 || 6141 | 14615244 | 1/ 1 | 3569092 | 0 | 1350.03/1350.02 c | 6141 | 10.4 | 0 | 134157 | 30084 | 369 | 210646526 | 9023273 || 6141 | 14635582 | 1/ 1 | 3569184 | 0 | 1359.93/1359.91 c | 6142 | 9.9 | 0 | 125257 | 67497 | 370 | 211867897 | 9066067 || 6142 | 14785486 | 1/ 1 | 3672853 | 0 | 1371.63/1371.69 c | 6142 | 11.8 | 0 | 111290 | 37502 | 371 | 212848767 | 9108406 || 6142 | 14892222 | 1/ 1 | 3673364 | 0 | 1385.13/1385.18 c | 6142 | 13.5 | 0 | 103025 | 37606 | 372 | 213783019 | 9151215 || 6142 | 14998438 | 1/ 1 | 3673895 | 0 | 1393.53/1393.50 c | 6142 | 8.3 | 0 | 101384 | 26705 | 373 | 214855567 | 9197798 || 6142 | 15028910 | 1/ 1 | 3674017 | 0 | 1400.83/1400.86 c | 6142 | 7.4 | 0 | 100862 | 64507 | 374 | 216003993 | 9247563 || 6142 | 15028910 | 1/ 1 | 3674017 | 0 | 1408.93/1408.95 c | 6143 | 8.1 | 0 | 104604 | 102412 | 375 | 217148974 | 9294721 || 6143 | 15029116 | 1/ 1 | 3674117 | 0 | 1417.95/1417.95 c | 6205 | 9.0 | 0 | 104926 | 2453 | 376 | 218337374 | 9347926 || 6205 | 15114265 | 1/ 1 | 3693678 | 0 | 1426.63/1426.62 c | 6268 | 8.7 | 0 | 114787 | 1865 | 377 | 219488980 | 9402223 || 6268 | 15198844 | 1/ 1 | 3713337 | 0 | 1435.93/1435.95 c | 6321 | 9.3 | 0 | 128247 | 0 | 378 | 220661461 | 9454486 || 6321 | 15278822 | 1/ 1 | 3732224 | 0 | 1446.33/1446.34 c | 6382 | 10.4 | 0 | 136995 | 44 | 379 | 221863580 | 9507550 || 6382 | 15363687 | 1/ 1 | 3751622 | 0 | 1456.13/1456.10 c | 6397 | 9.8 | 0 | 143495 | 16866 | 380 | 223003491 | 9554858 || 6397 | 15465724 | 1/ 1 | 3778936 | 0 | 1467.33/1467.41 c | 6446 | 11.3 | 0 | 150306 | 32 | 381 | 224177869 | 9606075 || 6446 | 15525030 | 1/ 1 | 3790862 | 0 | 1479.23/1479.27 c | 6509 | 11.9 | 0 | 151569 | 208 | 382 | 225336978 | 9659613 || 6509 | 15609804 | 1/ 1 | 3810558 | 0 | 1490.83/1490.82 c | 6552 | 11.5 | 0 | 152890 | 0 | 383 | 226512415 | 9711464 || 6552 | 15691286 | 1/ 1 | 3830260 | 0 | 1502.93/1502.97 c | 6615 | 12.2 | 0 | 152502 | 74 | 384 | 227631277 | 9764203 || 6615 | 15777265 | 1/ 1 | 3849939 | 0 | 1514.33/1514.30 c | 6651 | 11.3 | 0 | 155254 | 4165 | 385 | 228797139 | 9813454 || 6651 | 15863506 | 1/ 1 | 3870892 | 0 | 1525.63/1525.70 c | 6653 | 11.4 | 0 | 157621 | 23962 | 386 | 229957966 | 9860023 || 6653 | 15973501 | 1/ 1 | 3910029 | 0 | 1538.23/1538.29 c | 6653 | 12.6 | 0 | 156403 | 24662 | 387 | 231214758 | 9905789 || 6653 | 16017519 | 1/ 1 | 3910249 | 0 | 1551.05/1551.08 c | 6716 | 12.8 | 0 | 148583 | 2702 | 388 | 232400638 | 9959443 || 6716 | 16102264 | 1/ 1 | 3929965 | 0 | 1563.03/1563.07 c | 6780 | 12.0 | 0 | 148781 | 3306 | 389 | 233566525 | 10012451 || 6780 | 16192932 | 1/ 1 | 3956073 | 0 | 1575.13/1575.18 c | 6840 | 12.1 | 0 | 152104 | 226 | 390 | 234747507 | 10065591 || 6840 | 16272798 | 1/ 1 | 3970143 | 0 | 1587.94/1587.91 c | 6903 | 12.7 | 0 | 152410 | 370 | 391 | 235928935 | 10119349 || 6903 | 16359269 | 1/ 1 | 3989861 | 0 | 1598.84/1598.81 c | 6908 | 10.9 | 0 | 152534 | 2747 | 392 | 237058423 | 10167072 || 6908 | 16460115 | 1/ 1 | 4015241 | 0 | 1610.94/1610.97 c | 6970 | 12.2 | 0 | 156896 | 1326 | 393 | 238235916 | 10221062 || 6970 | 16528643 | 1/ 1 | 4031655 | 0 | 1623.74/1623.71 c | 7033 | 12.7 | 0 | 165893 | 0 | 394 | 239385817 | 10274919 || 7033 | 16615979 | 1/ 1 | 4051333 | 0 | 1637.04/1637.09 c | 7076 | 13.4 | 0 | 167966 | 206 | 395 | 240589501 | 10326413 || 7076 | 16698164 | 1/ 1 | 4070993 | 0 | 1650.94/1651.01 c | 7143 | 13.9 | 0 | 165656 | 309 | 396 | 241766067 | 10380919 || 7143 | 16786627 | 1/ 1 | 4091512 | 0 | 1663.64/1663.64 c | 7163 | 12.6 | 0 | 166923 | 15287 | 397 | 242949155 | 10429998 || 7163 | 16891440 | 1/ 1 | 4120134 | 0 | 1677.04/1677.08 c | 7164 | 13.4 | 0 | 163598 | 36275 | 398 | 244193058 | 10476459 || 7164 | 16997625 | 1/ 1 | 4146373 | 0 | 1689.34/1689.32 c | 7165 | 12.2 | 0 | 160112 | 38190 | 399 | 245564283 | 10523285 || 7165 | 17090813 | 1/ 1 | 4198289 | 0 | 1703.54/1703.60 c | 7165 | 14.3 | 0 | 153661 | 1783 | 400 | 246602115 | 10570941 || 7165 | 17200044 | 1/ 1 | 4198816 | 0 | 1718.93/1718.94 c | 7165 | 15.3 | 0 | 138570 | 42286 | 401 | 247977082 | 10616470 || 7165 | 17200044 | 1/ 1 | 4198816 | 0 | 1731.13/1731.12 c | 7227 | 12.2 | 0 | 131310 | 953 | 402 | 249169622 | 10670480 || 7227 | 17271435 | 1/ 1 | 4215227 | 0 | 1742.23/1742.29 c | 7291 | 11.2 | 0 | 127339 | 2886 | 403 | 250360665 | 10726257 || 7291 | 17362563 | 1/ 1 | 4238215 | 0 | 1753.13/1753.16 c | 7340 | 10.9 | 0 | 133011 | 0 | 404 | 251581234 | 10779579 || 7340 | 17444935 | 1/ 1 | 4256485 | 0 | 1764.45/1764.44 c | 7409 | 11.3 | 0 | 139791 | 449 | 405 | 252772295 | 10834974 || 7409 | 17533889 | 1/ 1 | 4277308 | 0 | 1775.45/1775.47 c | 7420 | 11.0 | 0 | 148621 | 1783 | 406 | 254015748 | 10885248 || 7420 | 17639359 | 1/ 1 | 4303873 | 0 | 1787.83/1787.81 c | 7482 | 12.3 | 0 | 155414 | 1751 | 407 | 255241118 | 10940571 || 7482 | 17709205 | 1/ 1 | 4320268 | 0 | 1800.94/1800.98 c | 7546 | 13.2 | 0 | 166141 | 1852 | 408 | 256475905 | 10996714 || 7546 | 17798093 | 1/ 1 | 4343217 | 0 | 1814.24/1814.21 c | 7593 | 13.2 | 0 | 166412 | 477 | 409 | 257675843 | 11050063 || 7593 | 17881979 | 1/ 1 | 4361304 | 0 | 1828.54/1828.59 c | 7663 | 14.4 | 0 | 167165 | 396 | 410 | 258875956 | 11106511 || 7663 | 17970628 | 1/ 1 | 4382265 | 0 | 1840.64/1840.65 c | 7675 | 12.1 | 0 | 170475 | 2237 | 411 | 260018488 | 11156993 || 7675 | 18075960 | 1/ 1 | 4408910 | 0 | 1853.56/1853.58 c | 7676 | 12.9 | 0 | 169064 | 5416 | 412 | 261204020 | 11206185 || 7676 | 18178746 | 1/ 1 | 4435135 | 0 | 1867.64/1867.62 c | 7722 | 14.0 | 0 | 169210 | 878 | 413 | 262528783 | 11260308 || 7722 | 18227634 | 1/ 1 | 4446618 | 0 | 1882.04/1882.05 c | 7792 | 14.4 | 0 | 170264 | 468 | 414 | 263703344 | 11317454 || 7792 | 18317225 | 1/ 1 | 4467516 | 0 | 1896.04/1896.06 c | 7834 | 14.0 | 0 | 172750 | 383 | 415 | 264956712 | 11371616 || 7834 | 18406629 | 1/ 1 | 4489245 | 0 | 1911.14/1911.15 c | 7904 | 15.1 | 0 | 171633 | 46 | 416 | 266163941 | 11429397 || 7904 | 18494802 | 1/ 1 | 4510157 | 0 | 1924.64/1924.61 c | 7931 | 13.5 | 0 | 171505 | 15222 | 417 | 267346365 | 11481600 || 7931 | 18601666 | 1/ 1 | 4540016 | 0 | 1939.14/1939.21 c | 7986 | 14.6 | 0 | 173210 | 92 | 418 | 268573338 | 11536230 || 7986 | 18669502 | 1/ 1 | 4552990 | 0 | 1954.24/1954.29 c | 8055 | 15.1 | 0 | 179366 | 761 | 419 | 269768218 | 11593481 || 8055 | 18760457 | 1/ 1 | 4574498 | 0 | 1969.44/1969.46 c | 8102 | 15.2 | 0 | 180777 | 205 | 420 | 270977262 | 11649559 || 8102 | 18848508 | 1/ 1 | 4596230 | 0 | 1985.34/1985.36 c | 8172 | 15.9 | 0 | 178790 | 166 | 421 | 272198650 | 11707444 || 8172 | 18940185 | 1/ 1 | 4617794 | 0 | 1999.24/1999.21 c | 8186 | 13.8 | 0 | 181710 | 1992 | 422 | 273413571 | 11759694 || 8186 | 19047902 | 1/ 1 | 4645116 | 0 | 2013.34/2013.38 c | 8187 | 14.2 | 0 | 175258 | 6271 | 423 | 274618927 | 11809453 || 8187 | 19145297 | 1/ 1 | 4671350 | 0 | 2028.15/2028.11 c | 8188 | 14.7 | 0 | 171667 | 49081 | 424 | 275889751 | 11858668 || 8188 | 19265029 | 1/ 1 | 4723417 | 0 | 2044.65/2044.64 c | 8188 | 16.5 | 0 | 165774 | 15169 | 425 | 277135674 | 11908320 || 8188 | 19345496 | 1/ 1 | 4723809 | 0 | 2058.75/2058.72 c | 8189 | 14.1 | 0 | 151597 | 58173 | 426 | 278429671 | 11958019 || 8189 | 19469411 | 1/ 1 | 4827301 | 0 | 2072.85/2072.81 c | 8189 | 14.1 | 0 | 143663 | 43101 | 427 | 279583359 | 12007677 || 8189 | 19592480 | 1/ 1 | 4827848 | 0 | 2090.95/2091.00 c | 8189 | 18.2 | 0 | 126629 | 43206 | 428 | 280696674 | 12057059 || 8189 | 19711408 | 1/ 1 | 4828419 | 0 | 2103.95/2103.96 c | 8189 | 13.0 | 0 | 116614 | 34164 | 429 | 282074269 | 12110837 || 8189 | 19736887 | 1/ 1 | 4828532 | 0 | 2115.85/2115.89 c | 8189 | 11.9 | 0 | 115933 | 77565 | 430 | 283532640 | 12163598 || 8189 | 19736887 | 1/ 1 | 4828532 | 0 | 2128.35/2128.41 c | 8190 | 12.5 | 0 | 117548 | 121070 | 431 | 284949841 | 12214142 || 8190 | 19996357 | 1/ 1 | 5035639 | 0 | 2143.85/2143.89 c | 8190 | 15.5 | 0 | 121122 | 43602 | 432 | 286086802 | 12265651 || 8190 | 20115946 | 1/ 1 | 5036249 | 0 | 2159.75/2159.77 c | 8190 | 15.9 | 0 | 114584 | 43706 | 433 | 287148099 | 12318115 || 8190 | 20236543 | 1/ 1 | 5036931 | 0 | 2176.15/2176.19 c | 8190 | 16.4 | 0 | 116397 | 43801 | 434 | 288204435 | 12368881 || 8190 | 20356301 | 1/ 1 | 5037536 | 0 | 2195.25/2195.22 c | 8190 | 19.0 | 0 | 116352 | 43911 | 435 | 289264475 | 12420320 || 8190 | 20478073 | 1/ 1 | 5038176 | 0 | 2209.65/2209.62 c | 8190 | 14.4 | 0 | 111267 | 32888 | 436 | 290769463 | 12471909 || 8190 | 20509142 | 1/ 1 | 5038313 | 0 | 2222.75/2222.71 c | 8190 | 13.1 | 0 | 109618 | 76989 | 437 | 292390951 | 12523628 || 8190 | 20509142 | 1/ 1 | 5038313 | 0 | 2235.65/2235.64 c | 8190 | 12.9 | 0 | 102293 | 121190 | 438 | 293901666 | 12574865 || 8190 | 20509142 | 1/ 1 | 5038313 | 0 | 2248.25/2248.27 c | 8190 | 12.6 | 0 | 105201 | 165492 | 439 | 295372807 | 12625929 || 8190 | 20509142 | 1/ 1 | 5038313 | 0 | 2261.25/2261.20 c | 8191 | 12.9 | 0 | 113123 | 209909 | 440 | 296803335 | 12677827 || 8191 | 20938559 | 1/ 1 | 5452181 | 0 | 2273.95/2273.92 c | 8191 | 12.7 | 0 | 114585 | 44501 | 441 | 298086047 | 12732681 || 8191 | 21071704 | 1/ 1 | 5452836 | 0 | 2290.35/2290.37 c | 8191 | 16.4 | 0 | 112117 | 44602 | 442 | 299320805 | 12787187 || 8191 | 21201269 | 1/ 1 | 5453443 | 0 | 2310.45/2310.48 c | 8191 | 20.1 | 0 | 106904 | 44704 | 443 | 300540093 | 12840432 || 8191 | 21330488 | 1/ 1 | 5454060 | 0 | 2331.25/2331.28 c | 8191 | 20.8 | 0 | 109972 | 44802 | 444 | 301754560 | 12893357 || 8191 | 21461723 | 1/ 1 | 5454711 | 0 | 2347.75/2347.71 c | 8191 | 16.4 | 0 | 104495 | 44905 | 445 | 302960780 | 12946994 || 8191 | 21593935 | 1/ 1 | 5455358 | 0 | 2365.55/2365.55 c | 8191 | 17.8 | 0 | 100139 | 45005 | 446 | 304179007 | 13001614 || 8191 | 21721525 | 1/ 1 | 5456010 | 0 | 2384.55/2384.50 c | 8191 | 19.0 | 0 | 85667 | 45104 | 447 | 305378320 | 13054330 || 8191 | 21851535 | 1/ 1 | 5456633 | 0 | 2404.75/2404.70 c | 8191 | 20.2 | 0 | 91586 | 45206 | 448 | 306583588 | 13107267 || 8191 | 21978344 | 1/ 1 | 5457309 | 0 | 2427.65/2427.66 c | 8191 | 22.9 | 0 | 93364 | 45302 | 449 | 307763723 | 13161398 || 8191 | 22104282 | 1/ 1 | 5457965 | 0 | 2440.25/2440.24 c | 8191 | 12.6 | 0 | 96800 | 45041 | 450 | 309613148 | 13216691 || 8191 | 22105267 | 1/ 1 | 5457971 | 0 | 2452.56/2452.53 c | 8191 | 12.3 | 0 | 106996 | 90543 | 451 | 311374042 | 13270163 || 8191 | 22105267 | 1/ 1 | 5457971 | 0 | 2465.86/2465.81 c | 8191 | 13.3 | 0 | 112180 | 136144 | 452 | 313180957 | 13323432 || 8191 | 22105267 | 1/ 1 | 5457971 | 0 | 2479.48/2479.47 c | 8191 | 13.7 | 0 | 114783 | 181846 | 453 | 314851767 | 13376665 || 8191 | 22105267 | 1/ 1 | 5457971 | 0 | 2493.06/2493.08 c | 8191 | 13.6 | 0 | 120664 | 227647 | 454 | 316839954 | 13431153 || 8191 | 22105267 | 1/ 1 | 5457971 | 0 | 2507.46/2507.45 c | 8191 | 14.4 | 0 | 119144 | 273550 | 455 | 318706113 | 13485869 || 8191 | 22105267 | 1/ 1 | 5457971 | 0 | 2522.06/2522.03 c | 8191 | 14.6 | 0 | 111538 | 319551 | 456 | 320544769 | 13539342 || 8191 | 22105267 | 1/ 1 | 5457971 | 0 | 2536.36/2536.38 c | 8191 | 14.3 | 0 | 115878 | 365653 | 457 | 322431452 | 13594501 || 8191 | 22105267 | 1/ 1 | 5457971 | 0 | 2550.06/2550.07 c | 8198 | 13.7 | 0 | 120287 | 236 | 458 | 324250375 | 13650251 || 8198 | 22110954 | 1/ 1 | 5459213 | 0 | 2562.26/2562.27 c | 8280 | 12.2 | 0 | 124526 | 298 | 459 | 325691479 | 13717258 || 8280 | 22213952 | 1/ 1 | 5482731 | 0 | 2574.46/2574.47 c | 8332 | 12.2 | 0 | 143067 | 202 | 460 | 327135388 | 13779219 || 8332 | 22313826 | 1/ 1 | 5506417 | 0 | 2589.07/2589.08 c | 8411 | 14.6 | 0 | 160761 | 254 | 461 | 328554741 | 13843997 || 8411 | 22417076 | 1/ 1 | 5530240 | 0 | 2604.17/2604.12 c | 8446 | 15.0 | 0 | 180581 | 13865 | 462 | 329962183 | 13904059 || 8446 | 22532948 | 1/ 1 | 5562937 | 0 | 2622.07/2622.06 c | 8507 | 17.9 | 0 | 194808 | 205 | 463 | 331358228 | 13967763 || 8507 | 22614237 | 1/ 1 | 5577755 | 0 | 2641.47/2641.42 c | 8572 | 19.4 | 0 | 201261 | 1093 | 464 | 332763843 | 14030980 || 8572 | 22718602 | 1/ 1 | 5602377 | 0 | 2662.09/2662.08 c | 8635 | 20.7 | 0 | 194766 | 1261 | 465 | 334187404 | 14093459 || 8635 | 22816406 | 1/ 1 | 5625322 | 0 | 2682.07/2682.07 c | 8700 | 20.0 | 0 | 194157 | 4706 | 466 | 335623552 | 14156793 || 8700 | 22924945 | 1/ 1 | 5654760 | 0 | 2698.96/2698.97 c | 8702 | 16.9 | 0 | 196455 | 23006 | 467 | 337077823 | 14212028 || 8702 | 23042528 | 1/ 1 | 5693914 | 0 | 2717.96/2717.90 c | 8717 | 18.9 | 0 | 188487 | 519 | 468 | 338573818 | 14270819 || 8717 | 23102000 | 1/ 1 | 5697379 | 0 | 2737.67/2737.69 c | 8796 | 19.8 | 0 | 183257 | 223 | 469 | 339961246 | 14335746 || 8796 | 23207785 | 1/ 1 | 5721959 | 0 | 2756.17/2756.13 c | 8858 | 18.4 | 0 | 186752 | 269 | 470 | 341413296 | 14398366 || 8858 | 23308318 | 1/ 1 | 5745744 | 0 | 2775.57/2775.55 c | 8933 | 19.4 | 0 | 184606 | 192 | 471 | 342821567 | 14464237 || 8933 | 23410995 | 1/ 1 | 5769537 | 0 | 2792.87/2792.88 c | 8957 | 17.3 | 0 | 183710 | 2649 | 472 | 344215243 | 14522507 || 8957 | 23526589 | 1/ 1 | 5799030 | 0 | 2811.37/2811.33 c | 9020 | 18.5 | 0 | 181527 | 2034 | 473 | 345622345 | 14586622 || 9020 | 23610830 | 1/ 1 | 5818757 | 0 | 2830.17/2830.18 c | 9084 | 18.8 | 0 | 189812 | 1513 | 474 | 347074086 | 14650373 || 9084 | 23721897 | 1/ 1 | 5845014 | 0 | 2850.47/2850.40 c | 9161 | 20.2 | 0 | 194042 | 461 | 475 | 348510398 | 14716004 || 9161 | 23817644 | 1/ 1 | 5867170 | 0 | 2870.17/2870.12 c | 9212 | 19.7 | 0 | 195021 | 7147 | 476 | 350019003 | 14778114 || 9212 | 23929730 | 1/ 1 | 5903884 | 0 | 2887.87/2887.83 c | 9213 | 17.7 | 0 | 194231 | 36052 | 477 | 351354896 | 14834554 || 9213 | 24061265 | 1/ 1 | 5930228 | 0 | 2906.67/2906.65 c | 9214 | 18.8 | 0 | 187628 | 45853 | 478 | 352881232 | 14889954 || 9214 | 24182678 | 1/ 1 | 5982248 | 0 | 2926.67/2926.66 c | 9214 | 20.0 | 0 | 183805 | 17350 | 479 | 354312784 | 14945954 || 9214 | 24277187 | 1/ 1 | 5982697 | 0 | 2945.07/2945.06 c | 9245 | 18.4 | 0 | 174280 | 2373 | 480 | 355836421 | 15007957 || 9245 | 24312547 | 1/ 1 | 5990915 | 0 | 2963.77/2963.79 c | 9329 | 18.7 | 0 | 172479 | 190 | 481 | 357253598 | 15074784 || 9329 | 24415039 | 1/ 1 | 6014723 | 0 | 2981.47/2981.40 c | 9387 | 17.6 | 0 | 171844 | 692 | 482 | 358662991 | 15139209 || 9387 | 24518525 | 1/ 1 | 6040119 | 0 | 2999.87/2999.82 c | 9466 | 18.4 | 0 | 176594 | 560 | 483 | 360083157 | 15205512 || 9466 | 24624179 | 1/ 1 | 6064727 | 0 | 3015.67/3015.67 c | 9479 | 15.8 | 0 | 186134 | 208 | 484 | 361534056 | 15264069 || 9479 | 24721312 | 1/ 1 | 6089292 | 0 | 3035.98/3035.93 c | 9563 | 20.3 | 0 | 192243 | 1010 | 485 | 362986795 | 15330418 || 9563 | 24829087 | 1/ 1 | 6115527 | 0 | 3055.90/3055.88 c | 9625 | 19.9 | 0 | 204008 | 314 | 486 | 364438884 | 15394800 || 9625 | 24931609 | 1/ 1 | 6139316 | 0 | 3078.18/3078.10 c | 9704 | 22.2 | 0 | 204060 | 348 | 487 | 365866580 | 15462072 || 9704 | 25036659 | 1/ 1 | 6163956 | 0 | 3097.98/3097.90 c | 9724 | 19.8 | 0 | 205134 | 5840 | 488 | 367296283 | 15521885 || 9724 | 25148109 | 1/ 1 | 6192629 | 0 | 3116.78/3116.79 c | 9725 | 18.9 | 0 | 200445 | 16721 | 489 | 368692571 | 15580704 || 9725 | 25250184 | 1/ 1 | 6218855 | 0 | 3137.88/3137.87 c | 9795 | 21.1 | 0 | 196153 | 358 | 490 | 370143918 | 15646917 || 9795 | 25337210 | 1/ 1 | 6239745 | 0 | 3158.38/3158.34 c | 9852 | 20.5 | 0 | 201147 | 6179 | 491 | 371556042 | 15712087 || 9852 | 25440444 | 1/ 1 | 6264767 | 0 | 3180.68/3180.61 c | 9944 | 22.3 | 0 | 203054 | 307 | 492 | 372985138 | 15780320 || 9944 | 25548811 | 1/ 1 | 6290242 | 0 | 3200.98/3200.92 c | 9980 | 20.3 | 0 | 206638 | 15232 | 493 | 374443214 | 15842824 || 9980 | 25670554 | 1/ 1 | 6323838 | 0 | 3222.98/3222.93 c | 10043 | 22.0 | 0 | 203429 | 2282 | 494 | 375935614 | 15909482 || 10043 | 25758442 | 1/ 1 | 6343571 | 0 | 3244.28/3244.25 c | 10107 | 21.3 | 0 | 207681 | 8648 | 495 | 377334677 | 15975159 || 10107 | 25870571 | 1/ 1 | 6369829 | 0 | 3266.48/3266.45 c | 10183 | 22.2 | 0 | 213821 | 30 | 496 | 378758068 | 16041906 || 10183 | 25966029 | 1/ 1 | 6391577 | 0 | 3288.88/3288.86 c | 10235 | 22.4 | 0 | 214615 | 8795 | 497 | 380265105 | 16107267 || 10235 | 26083641 | 1/ 1 | 6428701 | 0 | 3309.88/3309.90 c | 10236 | 21.0 | 0 | 212014 | 1388 | 498 | 381697276 | 16164875 || 10236 | 26214247 | 1/ 1 | 6455043 | 0 | 3332.28/3332.23 c | 10237 | 22.3 | 0 | 202846 | 51694 | 499 | 383196207 | 16224204 || 10237 | 26342839 | 1/ 1 | 6507132 | 0 | 3353.68/3353.61 c | 10237 | 21.4 | 0 | 195986 | 25293 | 500 | 384648982 | 16284423 || 10237 | 26413424 | 1/ 1 | 6507502 | 0 | 3375.28/3375.22 c | 10238 | 21.6 | 0 | 184350 | 75798 | 501 | 386127377 | 16342837 || 10238 | 26588420 | 1/ 1 | 6611307 | 0 | 3401.30/3401.22 c | 10238 | 26.0 | 0 | 174915 | 50601 | 502 | 387538978 | 16401380 || 10238 | 26735783 | 1/ 1 | 6612010 | 0 | 3425.50/3425.42 c | 10238 | 24.2 | 0 | 157570 | 23499 | 503 | 388997949 | 16462705 || 10238 | 26812919 | 1/ 1 | 6612388 | 0 | 3441.88/3441.82 c | 10238 | 16.4 | 0 | 139121 | 74303 | 504 | 390508337 | 16525480 || 10238 | 26812919 | 1/ 1 | 6612388 | 0 | 3457.98/3457.99 c | 10285 | 16.2 | 0 | 133195 | 30 | 505 | 392049379 | 16592343 || 10285 | 26864262 | 1/ 1 | 6623983 | 0 | 3473.59/3473.57 c | 10364 | 15.6 | 0 | 141739 | 4286 | 506 | 393620915 | 16662382 || 10364 | 26981492 | 1/ 1 | 6651759 | 0 | 3489.69/3489.67 c | 10428 | 16.1 | 0 | 155722 | 3819 | 507 | 395195428 | 16730262 || 10428 | 27090343 | 1/ 1 | 6678014 | 0 | 3506.99/3506.90 c | 10492 | 17.2 | 0 | 167315 | 1887 | 508 | 396741452 | 16798649 || 10492 | 27203997 | 1/ 1 | 6704317 | 0 | 3524.99/3524.94 c | 10539 | 18.0 | 0 | 183621 | 608 | 509 | 398292050 | 16865228 || 10539 | 27304506 | 1/ 1 | 6728934 | 0 | 3545.79/3545.76 c | 10619 | 20.8 | 0 | 186851 | 3139 | 510 | 399784055 | 16935724 || 10619 | 27418970 | 1/ 1 | 6756834 | 0 | 3566.79/3566.74 c | 10683 | 21.0 | 0 | 204136 | 3141 | 511 | 401350082 | 17003617 || 10683 | 27527918 | 1/ 1 | 6783085 | 0 | 3589.29/3589.29 c | 10747 | 22.6 | 0 | 205194 | 1571 | 512 | 402847145 | 17071811 || 10747 | 27641983 | 1/ 1 | 6809387 | 0 | 3607.99/3607.97 c | 10749 | 18.7 | 0 | 208116 | 34075 | 513 | 404293505 | 17133598 || 10749 | 27778580 | 1/ 1 | 6848674 | 0 | 3628.69/3628.69 c | 10795 | 20.7 | 0 | 205323 | 43 | 514 | 405720555 | 17202800 || 10795 | 27840584 | 1/ 1 | 6860220 | 0 | 3652.69/3652.65 c | 10875 | 24.0 | 0 | 205042 | 4392 | 515 | 407250434 | 17272794 || 10875 | 27958576 | 1/ 1 | 6888099 | 0 | 3675.79/3675.77 c | 10939 | 23.1 | 0 | 209925 | 0 | 516 | 408727670 | 17342395 || 10939 | 28071486 | 1/ 1 | 6914362 | 0 | 3699.09/3699.01 c | 11003 | 23.2 | 0 | 208706 | 3776 | 517 | 410226969 | 17411285 || 11003 | 28180879 | 1/ 1 | 6940612 | 0 | 3722.51/3722.49 c | 11056 | 23.5 | 0 | 210809 | 236 | 518 | 411818871 | 17477814 || 11056 | 28287871 | 1/ 1 | 6966027 | 0 | 3747.29/3747.25 c | 11130 | 24.8 | 0 | 208545 | 2073 | 519 | 413381283 | 17548655 || 11130 | 28401677 | 1/ 1 | 6993086 | 0 | 3770.79/3770.77 c | 11194 | 23.5 | 0 | 214986 | 2989 | 520 | 414944884 | 17617838 || 11194 | 28510277 | 1/ 1 | 7019324 | 0 | 3795.69/3795.67 c | 11259 | 24.9 | 0 | 216882 | 7175 | 521 | 416494411 | 17687857 || 11259 | 28634839 | 1/ 1 | 7058506 | 0 | 3818.59/3818.51 c | 11260 | 22.8 | 0 | 217239 | 2150 | 522 | 418053563 | 17749485 || 11260 | 28773188 | 1/ 1 | 7084896 | 0 | 3840.30/3840.28 c | 11261 | 21.8 | 0 | 208561 | 54856 | 523 | 419528994 | 17810960 || 11261 | 28905017 | 1/ 1 | 7136954 | 0 | 3862.60/3862.53 c | 11261 | 22.2 | 0 | 204843 | 30848 | 524 | 421048947 | 17875999 || 11261 | 28964337 | 1/ 1 | 7137246 | 0 | 3885.00/3884.90 c | 11324 | 22.4 | 0 | 199750 | 1794 | 525 | 422591926 | 17946286 || 11324 | 29038487 | 1/ 1 | 7156881 | 0 | 3907.32/3907.24 c | 11388 | 22.3 | 0 | 197121 | 1737 | 526 | 424128514 | 18015560 || 11388 | 29157290 | 1/ 1 | 7183209 | 0 | 3930.90/3930.86 c | 11477 | 23.6 | 0 | 196011 | 236 | 527 | 425706291 | 18087311 || 11477 | 29262480 | 1/ 1 | 7207916 | 0 | 3952.80/3952.76 c | 11516 | 21.9 | 0 | 195744 | 17805 | 528 | 427242766 | 18154802 || 11516 | 29397926 | 1/ 1 | 7242242 | 0 | 3976.10/3976.03 c | 11581 | 23.3 | 0 | 202669 | 191 | 529 | 428865120 | 18224019 || 11581 | 29486162 | 1/ 1 | 7262177 | 0 | 3999.20/3999.13 c | 11650 | 23.1 | 0 | 211074 | 62 | 530 | 430405338 | 18294605 || 11650 | 29600341 | 1/ 1 | 7289429 | 0 | 4024.00/4023.91 c | 11740 | 24.8 | 0 | 216917 | 58 | 531 | 431922959 | 18367050 || 11740 | 29715793 | 1/ 1 | 7316541 | 0 | 4048.51/4048.43 c | 11771 | 24.5 | 0 | 217478 | 6087 | 532 | 433552731 | 18433311 || 11771 | 29840359 | 1/ 1 | 7347279 | 0 | 4072.21/4072.14 c | 11772 | 23.7 | 0 | 215046 | 21383 | 533 | 435213769 | 18495352 || 11772 | 29943536 | 1/ 1 | 7373444 | 0 | 4097.71/4097.65 c | 11864 | 25.5 | 0 | 207428 | 509 | 534 | 436737996 | 18568299 || 11864 | 30052198 | 1/ 1 | 7398934 | 0 | 4121.61/4121.58 c | 11930 | 23.9 | 0 | 212410 | 1075 | 535 | 438318244 | 18638797 || 11930 | 30167978 | 1/ 1 | 7427611 | 0 | 4147.01/4146.98 c | 12023 | 25.4 | 0 | 214824 | 152 | 536 | 439869009 | 18712780 || 12023 | 30283448 | 1/ 1 | 7453935 | 0 | 4170.80/4170.75 c | 12042 | 23.8 | 0 | 217583 | 934 | 537 | 441514724 | 18779091 || 12042 | 30393740 | 1/ 1 | 7481785 | 0 | 4198.10/4198.07 c | 12135 | 27.3 | 0 | 211249 | 273 | 538 | 443070315 | 18853128 || 12135 | 30510698 | 1/ 1 | 7508869 | 0 | 4223.03/4222.94 c | 12204 | 24.9 | 0 | 218705 | 95 | 539 | 444647047 | 18924632 || 12204 | 30625436 | 1/ 1 | 7536499 | 0 | 4249.11/4249.06 c | 12281 | 26.1 | 0 | 228540 | 3797 | 540 | 446201791 | 18996312 || 12281 | 30747806 | 1/ 1 | 7570395 | 0 | 4274.51/4274.50 c | 12283 | 25.4 | 0 | 227622 | 29488 | 541 | 447789123 | 19061595 || 12283 | 30890067 | 1/ 1 | 7609663 | 0 | 4301.91/4301.85 c | 12284 | 27.3 | 0 | 220871 | 45690 | 542 | 449485244 | 19125810 || 12284 | 31031568 | 1/ 1 | 7661816 | 0 | 4332.51/4332.46 c | 12284 | 30.6 | 0 | 208164 | 23592 | 543 | 451281971 | 19189355 || 12284 | 31131163 | 1/ 1 | 7662247 | 0 | 4359.11/4359.03 c | 12285 | 26.6 | 0 | 203149 | 78393 | 544 | 452972675 | 19252402 || 12285 | 31317725 | 1/ 1 | 7766066 | 0 | 4393.21/4393.16 c | 12285 | 34.1 | 0 | 192593 | 54904 | 545 | 454394229 | 19313962 || 12285 | 31481036 | 1/ 1 | 7766772 | 0 | 4417.91/4417.84 c | 12285 | 24.7 | 0 | 172986 | 34699 | 546 | 455967431 | 19379443 || 12285 | 31540505 | 1/ 1 | 7767029 | 0 | 4437.42/4437.38 c | 12285 | 19.6 | 0 | 152218 | 89800 | 547 | 457637743 | 19445689 || 12285 | 31540505 | 1/ 1 | 7767029 | 0 | 4457.62/4457.57 c | 12286 | 20.2 | 0 | 151240 | 145009 | 548 | 459114230 | 19510339 || 12286 | 31874867 | 1/ 1 | 7974383 | 0 | 4483.74/4483.63 c | 12286 | 26.1 | 0 | 149356 | 55318 | 549 | 460522737 | 19574642 || 12286 | 32034398 | 1/ 1 | 7975161 | 0 | 4512.12/4512.10 c | 12286 | 28.5 | 0 | 145452 | 55411 | 550 | 461924408 | 19640025 || 12286 | 32191411 | 1/ 1 | 7975907 | 0 | 4537.42/4537.34 c | 12286 | 25.2 | 0 | 137916 | 4038 | 551 | 463328822 | 19705559 || 12286 | 32342635 | 1/ 1 | 7976610 | 0 | 4552.92/4552.91 c | 12286 | 15.6 | 0 | 137471 | 59639 | 552 | 465023366 | 19776420 || 12286 | 32342635 | 1/ 1 | 7976610 | 0 | 4571.12/4571.06 c | 12286 | 18.2 | 0 | 142982 | 115341 | 553 | 466678255 | 19841977 || 12286 | 32342635 | 1/ 1 | 7976610 | 0 | 4590.32/4590.22 c | 12286 | 19.2 | 0 | 143011 | 171144 | 554 | 468427719 | 19907217 || 12286 | 32342635 | 1/ 1 | 7976610 | 0 | 4609.52/4609.49 c | 12332 | 19.3 | 0 | 146053 | 452 | 555 | 470092895 | 19978222 || 12332 | 32393450 | 1/ 1 | 7988099 | 0 | 4629.52/4629.47 c | 12413 | 20.0 | 0 | 161577 | 3995 | 556 | 471838882 | 20054760 || 12413 | 32522563 | 1/ 1 | 8022464 | 0 | 4651.32/4651.20 c | 12491 | 21.7 | 0 | 180829 | 829 | 557 | 473541066 | 20130683 || 12491 | 32637944 | 1/ 1 | 8045514 | 0 | 4673.22/4673.16 c | 12541 | 21.9 | 0 | 194986 | 16394 | 558 | 475283745 | 20203228 || 12541 | 32778292 | 1/ 1 | 8081552 | 0 | 4698.24/4698.14 c | 12611 | 25.0 | 0 | 206429 | 538 | 559 | 477035715 | 20278231 || 12611 | 32877454 | 1/ 1 | 8102508 | 0 | 4724.52/4724.47 c | 12685 | 26.3 | 0 | 215729 | 21 | 560 | 478746075 | 20355142 || 12685 | 32997428 | 1/ 1 | 8131015 | 0 | 4753.24/4753.17 c | 12784 | 28.7 | 0 | 222654 | 515 | 561 | 480436227 | 20434461 || 12784 | 33121782 | 1/ 1 | 8159947 | 0 | 4779.12/4779.04 c | 12797 | 25.9 | 0 | 224632 | 16836 | 562 | 482235573 | 20502559 || 12797 | 33267275 | 1/ 1 | 8212549 | 0 | 4807.22/4807.11 c | 12822 | 28.1 | 0 | 220414 | 0 | 563 | 484022999 | 20573369 || 12822 | 33353164 | 1/ 1 | 8217765 | 0 | 4836.73/4836.71 c | 12921 | 29.6 | 0 | 208475 | 429 | 564 | 485699133 | 20651728 || 12921 | 33478560 | 1/ 1 | 8247309 | 0 | 4863.92/4863.80 c | 12987 | 27.1 | 0 | 215439 | 2080 | 565 | 487398450 | 20726723 || 12987 | 33603488 | 1/ 1 | 8278430 | 0 | 4891.73/4891.66 c | 13051 | 27.9 | 0 | 217076 | 5859 | 566 | 489078224 | 20799977 || 13051 | 33722211 | 1/ 1 | 8304691 | 0 | 4920.12/4920.09 c | 13114 | 28.4 | 0 | 219081 | 212 | 567 | 490759954 | 20875335 || 13114 | 33846349 | 1/ 1 | 8334233 | 0 | 4948.13/4948.07 c | 13179 | 28.0 | 0 | 217218 | 4262 | 568 | 492436174 | 20951075 || 13179 | 33969532 | 1/ 1 | 8363746 | 0 | 4977.73/4977.68 c | 13275 | 29.6 | 0 | 225223 | 29 | 569 | 494137532 | 21030230 || 13275 | 34091492 | 1/ 1 | 8391837 | 0 | 5000.03/4999.92 c | 13307 | 22.2 | 0 | 273290 | 233 | 569 | 495580200 | 21090365 || 13307 | 34215293 | 1/ 1 | 8422764 | 0 | 5000.03/4999.92 c c 5000.03/4999.92 c ----------------------------------- 5000.03/4999.92 c # temps = 5000.050000 5000.03/4999.92 c # cleaningDB = 569 5000.03/4999.92 c # clause binaire = 0 5000.03/4999.92 c # literal removed by litRedundant = 76195084 5000.03/4999.92 c # literal removed by litRedundantBin = 0 5000.03/4999.92 c # init clause removed by simplify = 0 5000.03/4999.92 c # learnt clause removed by simplify = 0 5000.03/4999.92 c # une clause fausse était une apprise = 0 5000.03/4999.92 c # equivalence dectecte = 0 5000.03/4999.92 c # Memory used : 89.03 MB 5000.03/4999.92 c 5000.03/4999.92 c ######################## 5000.03/4999.92 c #### ## ### ## #### 5000.03/4999.92 c #### #### # ## #### #### 5000.03/4999.92 c #### ## ### ## ### 5000.03/4999.92 c ######################## 5000.03/4999.92 c # restart = 13307 5000.03/4999.92 c # conflit = 16494299 5000.03/4999.92 c # decision = 21090365 5000.03/4999.92 c # propagation = 495580200 (99115.048850 (prop/sec)) 5000.03/4999.92 c 5000.03/4999.92 c ######################## 5000.03/4999.92 c ### ### # ## ## ## 5000.03/4999.92 c ### # # # #### # ### ### 5000.03/4999.92 c ### # ### ## # ### ### 5000.03/4999.92 c ######################## 5000.03/4999.92 c # numtry = 13307 5000.03/4999.92 c # numflips = 34215293 5000.03/4999.92 c # maxSat = 1 5000.03/4999.92 c # freeFlip = 8328999 5000.03/4999.92 c # nbBoundary = 181 5000.03/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-3438625-1306894536/watcher-3438625-1306894536 -o /tmp/evaluation-result-3438625-1306894536/solver-3438625-1306894536 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438625-1306894536.cnf rnovelty running on 4 cores: 0,2,4,6 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.00 2.02 2.00 3/526 1879 /proc/meminfo: memFree=5554628/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) R 1877 1879 932 0 -1 4202496 339 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905551253 0 65538 4100 65536 0 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [startup+0.06754 s] /proc/loadavg: 2.00 2.02 2.00 3/526 1879 /proc/meminfo: memFree=5554628/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100534 s] /proc/loadavg: 2.00 2.02 2.00 3/526 1879 /proc/meminfo: memFree=5554628/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300498 s] /proc/loadavg: 2.00 2.02 2.00 3/526 1879 /proc/meminfo: memFree=5554628/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700397 s] /proc/loadavg: 2.00 2.02 2.00 3/526 1879 /proc/meminfo: memFree=5554628/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50126 s] /proc/loadavg: 2.00 2.02 2.00 3/529 1883 /proc/meminfo: memFree=5550132/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=10864 CPUtime=1.49 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 1190 0 0 0 149 0 0 0 20 0 1 0 801051296 11124736 1101 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223607 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 2716 1101 136 12 0 1180 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28272 [startup+3.101 s] /proc/loadavg: 2.00 2.01 2.00 3/529 1883 /proc/meminfo: memFree=5547764/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=12232 CPUtime=3.09 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 1536 0 0 0 309 0 0 0 25 0 1 0 801051296 12525568 1447 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 3058 1447 136 12 0 1522 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29640 [startup+6.30042 s] /proc/loadavg: 2.00 2.01 2.00 3/529 1883 /proc/meminfo: memFree=5545292/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=13476 CPUtime=6.29 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 1879 0 0 0 629 0 0 0 25 0 1 0 801051296 13799424 1784 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 3369 1784 136 12 0 1833 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30884 [startup+12.7013 s] /proc/loadavg: 2.00 2.01 2.00 3/529 1883 /proc/meminfo: memFree=5542160/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=15996 CPUtime=12.69 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 2514 0 0 0 1269 0 0 0 25 0 1 0 801051296 16379904 2404 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 3999 2404 136 12 0 2463 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33404 [startup+25.5009 s] /proc/loadavg: 2.00 2.01 2.00 3/529 1883 /proc/meminfo: memFree=5540032/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=18600 CPUtime=25.48 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 3245 0 0 0 2548 0 0 0 25 0 1 0 801051296 19046400 3033 33554432000 4194304 4241092 140736150269360 18446744073709551615 4211635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 4650 3033 136 12 0 3114 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36008 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 2.00 3/529 1884 /proc/meminfo: memFree=5534628/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=21296 CPUtime=51.09 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 4131 0 0 0 5108 1 0 0 25 0 1 0 801051296 21807104 3730 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 5324 3730 136 12 0 3788 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 38704 [startup+102.32 s] /proc/loadavg: 2.00 2.00 2.00 3/529 1885 /proc/meminfo: memFree=5527384/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=27620 CPUtime=102.31 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 6156 0 0 0 10230 1 0 0 25 0 1 0 801051296 28282880 5302 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223730 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 6905 5302 136 12 0 5369 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 45028 [startup+162.301 s] /proc/loadavg: 2.04 2.01 2.00 2/525 1889 /proc/meminfo: memFree=5665348/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=30220 CPUtime=162.29 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 7339 0 0 0 16228 1 0 0 25 0 1 0 801051296 30945280 5953 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223607 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 7555 5953 136 12 0 6019 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 47628 [startup+222.3 s] /proc/loadavg: 2.01 2.01 2.00 3/529 2032 /proc/meminfo: memFree=5629040/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=33228 CPUtime=222.29 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 8716 0 0 0 22227 2 0 0 25 0 1 0 801051296 34025472 6716 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 8307 6716 136 12 0 6771 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 50636 [startup+282.301 s] ################ # More data... # ################ /proc/meminfo: memFree=5379484/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=87252 CPUtime=4542.42 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 43978 0 0 0 454221 21 0 0 25 0 1 0 801051296 89346048 20197 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 21813 20197 136 12 0 20277 0 Current children cumulated CPU time (s) 4542.42 Current children cumulated vsize (KiB) 104660 [startup+4602.3 s] /proc/loadavg: 2.01 2.04 2.00 3/529 2166 /proc/meminfo: memFree=5375688/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=89656 CPUtime=4602.43 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 44917 0 0 0 460221 22 0 0 25 0 1 0 801051296 91807744 20823 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 22414 20823 136 12 0 20878 0 Current children cumulated CPU time (s) 4602.43 Current children cumulated vsize (KiB) 107064 [startup+4662.3 s] /proc/loadavg: 2.00 2.03 2.00 3/529 2168 /proc/meminfo: memFree=5373648/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=90300 CPUtime=4662.42 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 45290 0 0 0 466220 22 0 0 25 0 1 0 801051296 92467200 20981 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 22575 20981 136 12 0 21039 0 Current children cumulated CPU time (s) 4662.42 Current children cumulated vsize (KiB) 107708 [startup+4722.32 s] /proc/loadavg: 2.00 2.02 2.00 3/529 2170 /proc/meminfo: memFree=5372928/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=90684 CPUtime=4722.44 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 45532 0 0 0 472222 22 0 0 25 0 1 0 801051296 92860416 21079 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 22671 21079 136 12 0 21135 0 Current children cumulated CPU time (s) 4722.44 Current children cumulated vsize (KiB) 108092 [startup+4782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/529 2171 /proc/meminfo: memFree=5370004/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=90460 CPUtime=4782.42 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 45739 0 0 0 478220 22 0 0 25 0 1 0 801051296 92631040 21025 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 22615 21025 136 12 0 21079 0 Current children cumulated CPU time (s) 4782.42 Current children cumulated vsize (KiB) 107868 [startup+4842.3 s] /proc/loadavg: 2.00 2.01 2.00 3/529 2173 /proc/meminfo: memFree=5366856/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=90776 CPUtime=4842.42 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 46045 0 0 0 484220 22 0 0 25 0 1 0 801051296 92954624 21097 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 22694 21097 136 12 0 21158 0 Current children cumulated CPU time (s) 4842.42 Current children cumulated vsize (KiB) 108184 [startup+4902.3 s] /proc/loadavg: 2.14 2.05 2.01 3/529 2174 /proc/meminfo: memFree=5364180/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=90936 CPUtime=4902.42 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 46270 0 0 0 490220 22 0 0 25 0 1 0 801051296 93118464 21136 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 22734 21136 136 12 0 21198 0 Current children cumulated CPU time (s) 4902.42 Current children cumulated vsize (KiB) 108344 [startup+4962.3 s] /proc/loadavg: 2.16 2.07 2.02 3/529 2176 /proc/meminfo: memFree=5360508/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=90968 CPUtime=4962.43 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 46471 0 0 0 496220 23 0 0 25 0 1 0 801051296 93151232 21143 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 22742 21143 136 12 0 21206 0 Current children cumulated CPU time (s) 4962.43 Current children cumulated vsize (KiB) 108376 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.17 2.07 2.02 3/529 2177 /proc/meminfo: memFree=5359972/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=91160 CPUtime=5000.03 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 46611 0 0 0 499980 23 0 0 25 0 1 0 801051296 93347840 21195 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 22790 21195 136 12 0 21254 0 Current children cumulated CPU time (s) 5000.03 Current children cumulated vsize (KiB) 108568 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.17 2.07 2.02 3/529 2177 /proc/meminfo: memFree=5359972/32951124 swapFree=56930356/67111528 [pid=1879] ppid=1877 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1879/stat : 1879 (esg_static.sh) S 1877 1879 932 0 -1 4202496 348 149 0 0 0 0 0 0 25 0 1 0 801051295 8912896 255 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1879/statm: 2176 255 211 178 0 69 0 [pid=1881] ppid=1879 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/1881/stat : 1881 (esg_static.sh) S 1879 1879 932 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 801051296 8912896 134 33554432000 4194304 4922060 140736071846688 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1881/statm: 2176 134 90 178 0 69 0 [pid=1882] ppid=1881 vsize=91160 CPUtime=5000.03 cores=0,2,4,6 /proc/1882/stat : 1882 (sathys) R 1881 1879 932 0 -1 4202496 46611 0 0 0 499980 23 0 0 25 0 1 0 801051296 93347840 21195 33554432000 4194304 4241092 140736150269360 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/1882/statm: 22790 21195 136 12 0 21254 0 Current children cumulated CPU time (s) 5000.03 Current children cumulated vsize (KiB) 108568 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1879 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.002999 # while last known CPU time is 5000.03 # # 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.03 CPU user time (s): 4999.8 CPU system time (s): 0.23 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 108632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 848 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39 involuntary context switches= 7 runsolver used 27.8328 second user time and 58.7321 second system time The end
Begin job on node137 at 2011-06-01 04:15:36 IDJOB=3438625 IDBENCH=83140 IDSOLVER=1935 FILE ID=node137/3438625-1306894536 RUNJOBID= node137-1306884533-951 PBS_JOBID= 13488439 Free space on /tmp= 11492 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n180-s33098896-unsat.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438625-1306894536/watcher-3438625-1306894536 -o /tmp/evaluation-result-3438625-1306894536/solver-3438625-1306894536 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438625-1306894536.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1221fb51c407dee7559369d7c6eedb4e RANDOM SEED=1304102200 node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 5554784 kB Buffers: 96068 kB Cached: 18426004 kB SwapCached: 12116 kB Active: 16690584 kB Inactive: 9977548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 5554784 kB SwapTotal: 67111528 kB SwapFree: 56930356 kB Dirty: 784 kB Writeback: 0 kB AnonPages: 8143020 kB Mapped: 21432 kB Slab: 583764 kB PageTables: 74520 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 162679576 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= 11488 MiB End job on node137 at 2011-06-01 05:38:56