| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.04 | 4999.93 |
| Name | crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf |
| MD5SUM | cb7c9df8144e5ba66f8009983efe791f |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 13.8079 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 284 |
| Number of clauses | 42826 |
| Sum of the clauses size | 191271 |
| Maximum clause length | 24 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 377 |
| Number of clauses of size 3 | 39422 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 3027 |
0.00/0.00 static 0.00/0.00 HOME/instance-3439100-1306905260.cnf 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 42826 191271 | 12847 0 0 nan | 0.000 % | 0.00/0.01 c ============================================================================== 0.00/0.01 c Result : #vars: 284 #clauses: 42826 #literals: 191271 0.00/0.01 c CPU time: 0.012998 s 0.00/0.01 c ============================================================================== 0.00/0.09 c 0.00/0.09 c seed = 0, numatom = 284, numclause = 42449, numliterals = 191271 0.00/0.09 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.09 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.09 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.03/0.16 c | 2 | 0.1 | 0 | 502 | 199 | 1 | 17618 | 1108 || 2 | 2564 | 16/ 15 | 244 | 0 | 0.03/0.23 c | 4 | 0.1 | 0 | 724 | 296 | 2 | 40604 | 2160 || 4 | 4828 | 16/ 15 | 561 | 0 | 0.03/0.29 c | 6 | 0.1 | 0 | 952 | 188 | 3 | 64972 | 3424 || 6 | 7247 | 15/ 14 | 887 | 0 | 0.03/0.37 c | 7 | 0.1 | 0 | 1355 | 391 | 4 | 92920 | 4665 || 7 | 10128 | 11/ 11 | 1308 | 0 | 0.03/0.47 c | 11 | 0.1 | 0 | 1765 | 294 | 5 | 124490 | 6394 || 11 | 14146 | 11/ 11 | 1838 | 0 | 0.03/0.58 c | 14 | 0.1 | 0 | 2203 | 489 | 6 | 158244 | 8200 || 14 | 18760 | 11/ 11 | 2577 | 0 | 0.03/0.71 c | 15 | 0.1 | 0 | 2625 | 985 | 7 | 196547 | 10064 || 15 | 23987 | 11/ 11 | 3393 | 0 | 0.03/0.80 c | 16 | 0.1 | 0 | 3063 | 81 | 8 | 239212 | 11859 || 16 | 25829 | 11/ 11 | 3511 | 0 | 0.03/0.95 c | 21 | 0.2 | 0 | 3793 | 69 | 9 | 286248 | 14301 || 21 | 31390 | 11/ 11 | 4263 | 0 | 0.98/1.10 c | 25 | 0.2 | 0 | 4219 | 162 | 10 | 336059 | 16704 || 25 | 36563 | 11/ 11 | 5108 | 0 | 1.18/1.26 c | 29 | 0.2 | 0 | 4413 | 554 | 11 | 386183 | 19206 || 29 | 42759 | 11/ 11 | 5973 | 0 | 1.38/1.42 c | 30 | 0.2 | 0 | 4860 | 352 | 12 | 441994 | 21759 || 30 | 48599 | 11/ 11 | 6802 | 0 | 1.58/1.65 c | 31 | 0.2 | 0 | 5092 | 2054 | 13 | 497605 | 24513 || 31 | 58211 | 9/ 9 | 8462 | 0 | 1.68/1.79 c | 31 | 0.1 | 0 | 5193 | 1452 | 14 | 568036 | 26988 || 31 | 60028 | 9/ 9 | 8473 | 0 | 1.98/2.01 c | 38 | 0.2 | 0 | 4935 | 342 | 15 | 637669 | 30400 || 38 | 67990 | 9/ 9 | 9740 | 0 | 2.20/2.24 c | 44 | 0.2 | 0 | 5104 | 232 | 16 | 712897 | 33927 || 44 | 75447 | 9/ 9 | 10582 | 0 | 2.38/2.48 c | 46 | 0.2 | 0 | 5672 | 229 | 17 | 785944 | 37334 || 46 | 84276 | 9/ 9 | 11816 | 0 | 2.68/2.71 c | 53 | 0.2 | 0 | 5899 | 216 | 18 | 865196 | 41082 || 53 | 91846 | 9/ 9 | 13073 | 0 | 2.88/2.97 c | 59 | 0.3 | 0 | 6514 | 103 | 19 | 952616 | 45135 || 59 | 100166 | 9/ 9 | 13942 | 0 | 3.19/3.22 c | 61 | 0.2 | 0 | 7064 | 702 | 20 | 1031115 | 48997 || 61 | 108769 | 9/ 9 | 15222 | 0 | 3.48/3.50 c | 62 | 0.3 | 0 | 7941 | 803 | 21 | 1117979 | 52826 || 62 | 119620 | 9/ 9 | 16893 | 0 | 3.78/3.86 c | 63 | 0.4 | 0 | 8477 | 3405 | 22 | 1204012 | 56941 || 63 | 135109 | 9/ 9 | 20208 | 0 | 4.08/4.14 c | 63 | 0.3 | 0 | 9204 | 1306 | 23 | 1297021 | 60953 || 63 | 142255 | 9/ 9 | 20267 | 0 | 4.29/4.40 c | 67 | 0.3 | 0 | 9756 | 5 | 24 | 1403094 | 65021 || 67 | 146145 | 9/ 9 | 20811 | 0 | 4.68/4.74 c | 76 | 0.3 | 0 | 10340 | 292 | 25 | 1502984 | 70002 || 76 | 157328 | 9/ 9 | 22406 | 0 | 4.98/5.08 c | 80 | 0.3 | 0 | 11052 | 83 | 26 | 1611269 | 74777 || 80 | 167556 | 9/ 9 | 23893 | 0 | 5.39/5.45 c | 90 | 0.4 | 0 | 11283 | 178 | 27 | 1718964 | 80273 || 90 | 179999 | 9/ 9 | 25597 | 0 | 5.78/5.86 c | 94 | 0.4 | 0 | 11536 | 1076 | 28 | 1835032 | 85513 || 94 | 194853 | 9/ 9 | 28734 | 0 | 6.18/6.22 c | 96 | 0.3 | 0 | 11519 | 68 | 29 | 1953014 | 90642 || 96 | 203622 | 9/ 9 | 29011 | 0 | 6.60/6.62 c | 107 | 0.4 | 0 | 11253 | 245 | 30 | 2072086 | 96572 || 107 | 216893 | 7/ 7 | 30916 | 0 | 6.98/7.01 c | 113 | 0.4 | 0 | 10965 | 232 | 31 | 2193507 | 102188 || 113 | 228957 | 7/ 7 | 32716 | 0 | 7.38/7.46 c | 123 | 0.5 | 0 | 11210 | 13 | 32 | 2318484 | 108392 || 123 | 243815 | 7/ 7 | 34718 | 0 | 7.88/7.94 c | 125 | 0.5 | 0 | 11466 | 108 | 33 | 2451060 | 114418 || 125 | 261035 | 7/ 7 | 37239 | 0 | 8.38/8.43 c | 126 | 0.5 | 0 | 12034 | 3913 | 34 | 2579209 | 120267 || 126 | 278492 | 7/ 7 | 40558 | 0 | 8.68/8.78 c | 126 | 0.4 | 0 | 12609 | 3014 | 35 | 2718958 | 125613 || 126 | 282820 | 7/ 7 | 40587 | 0 | 9.38/9.43 c | 127 | 0.6 | 0 | 14086 | 7017 | 36 | 2836673 | 132145 || 127 | 313154 | 7/ 7 | 47151 | 0 | 9.78/9.89 c | 127 | 0.5 | 0 | 13969 | 1516 | 37 | 2966395 | 138326 || 127 | 324948 | 7/ 7 | 47237 | 0 | 10.18/10.21 c | 127 | 0.3 | 0 | 14100 | 5717 | 38 | 3131029 | 143520 || 127 | 324948 | 7/ 7 | 47237 | 0 | 10.68/10.72 c | 139 | 0.5 | 0 | 16798 | 91 | 39 | 3288504 | 150833 || 139 | 338988 | 7/ 7 | 49121 | 0 | 11.18/11.26 c | 148 | 0.5 | 0 | 17528 | 174 | 40 | 3447760 | 158351 || 148 | 355410 | 7/ 7 | 51431 | 0 | 11.78/11.81 c | 157 | 0.5 | 0 | 18503 | 464 | 41 | 3607180 | 165887 || 157 | 372730 | 7/ 7 | 53973 | 0 | 12.28/12.39 c | 163 | 0.6 | 0 | 17953 | 158 | 42 | 3772463 | 173367 || 163 | 389087 | 7/ 7 | 56263 | 0 | 12.98/13.00 c | 173 | 0.6 | 0 | 18817 | 138 | 43 | 3937209 | 181292 || 173 | 408019 | 7/ 7 | 59015 | 0 | 13.58/13.62 c | 187 | 0.6 | 0 | 18843 | 306 | 44 | 4109720 | 189405 || 187 | 424859 | 7/ 7 | 61555 | 0 | 14.18/14.25 c | 189 | 0.6 | 0 | 16571 | 1003 | 45 | 4287217 | 197072 || 189 | 443294 | 6/ 6 | 64105 | 0 | 14.78/14.88 c | 190 | 0.6 | 0 | 16764 | 1205 | 46 | 4455246 | 204925 || 190 | 465089 | 5/ 5 | 67437 | 0 | 15.40/15.49 c | 200 | 0.6 | 0 | 16846 | 85 | 47 | 4648934 | 213007 || 200 | 477759 | 5/ 5 | 69121 | 0 | 16.08/16.17 c | 212 | 0.7 | 0 | 17772 | 470 | 48 | 4836420 | 221844 || 212 | 497973 | 5/ 5 | 72063 | 0 | 16.78/16.86 c | 221 | 0.7 | 0 | 18566 | 1562 | 49 | 5015807 | 230505 || 221 | 520480 | 5/ 5 | 75832 | 0 | 17.48/17.53 c | 231 | 0.7 | 0 | 19265 | 242 | 50 | 5206154 | 239140 || 231 | 536748 | 5/ 5 | 77587 | 0 | 18.18/18.26 c | 243 | 0.7 | 0 | 19135 | 21 | 51 | 5398481 | 248609 || 243 | 558154 | 5/ 5 | 80548 | 0 | 18.98/19.04 c | 252 | 0.8 | 0 | 19308 | 2004 | 52 | 5591929 | 258023 || 252 | 582210 | 5/ 5 | 84335 | 0 | 19.68/19.80 c | 253 | 0.8 | 0 | 19832 | 504 | 53 | 5774883 | 266939 || 253 | 606172 | 5/ 5 | 87721 | 0 | 20.58/20.61 c | 254 | 0.8 | 0 | 19208 | 6305 | 54 | 5971441 | 275908 || 254 | 634405 | 5/ 5 | 94237 | 0 | 21.27/21.31 c | 254 | 0.7 | 0 | 20606 | 2603 | 55 | 6176692 | 285125 || 254 | 651046 | 5/ 5 | 94379 | 0 | 22.07/22.19 c | 255 | 0.9 | 0 | 21452 | 8604 | 56 | 6405150 | 293600 || 255 | 682209 | 2/ 1 | 105319 | 0 | 22.98/23.11 c | 255 | 0.9 | 0 | 23008 | 6102 | 57 | 6591646 | 304236 || 255 | 712386 | 2/ 1 | 105577 | 0 | 23.87/24.00 c | 255 | 0.9 | 0 | 22270 | 1702 | 58 | 6779315 | 313564 || 255 | 733146 | 2/ 1 | 105745 | 0 | 24.58/24.63 c | 255 | 0.6 | 0 | 21778 | 8005 | 59 | 7027889 | 321044 || 255 | 733146 | 2/ 1 | 105745 | 0 | 25.18/25.32 c | 261 | 0.7 | 0 | 21357 | 195 | 60 | 7276479 | 329693 || 261 | 739517 | 2/ 1 | 106585 | 0 | 26.18/26.21 c | 277 | 0.9 | 0 | 20298 | 259 | 61 | 7510062 | 340866 || 277 | 764932 | 2/ 1 | 110422 | 0 | 27.07/27.12 c | 286 | 0.9 | 0 | 19972 | 252 | 62 | 7733830 | 352015 || 286 | 793179 | 2/ 1 | 114238 | 0 | 27.97/28.01 c | 301 | 0.9 | 0 | 19156 | 916 | 63 | 7969055 | 362886 || 301 | 815432 | 2/ 1 | 117622 | 0 | 28.87/28.92 c | 316 | 0.9 | 0 | 20726 | 86 | 64 | 8212808 | 374219 || 316 | 840756 | 2/ 1 | 121014 | 0 | 29.87/29.90 c | 318 | 1.0 | 0 | 22942 | 4586 | 65 | 8446498 | 385433 || 318 | 873862 | 2/ 1 | 126064 | 0 | 30.68/30.76 c | 330 | 0.9 | 0 | 23072 | 73 | 66 | 8705121 | 396289 || 330 | 889270 | 2/ 1 | 128005 | 0 | 31.68/31.74 c | 347 | 1.0 | 0 | 23532 | 449 | 67 | 8957893 | 408549 || 347 | 916779 | 2/ 1 | 131994 | 0 | 32.68/32.72 c | 356 | 1.0 | 0 | 24324 | 440 | 68 | 9216657 | 420166 || 356 | 943241 | 2/ 1 | 135822 | 0 | 33.67/33.73 c | 373 | 1.0 | 0 | 25756 | 8 | 69 | 9480284 | 432394 || 373 | 970191 | 2/ 1 | 139443 | 0 | 34.77/34.80 c | 381 | 1.1 | 0 | 25690 | 2095 | 70 | 9732584 | 444210 || 381 | 1003196 | 2/ 1 | 146255 | 0 | 35.77/35.85 c | 382 | 1.0 | 0 | 26265 | 4792 | 71 | 9977076 | 455442 || 382 | 1035668 | 2/ 1 | 152804 | 0 | 36.78/36.83 c | 382 | 1.0 | 0 | 28610 | 2791 | 72 | 10220920 | 466659 || 382 | 1058198 | 2/ 1 | 153026 | 0 | 37.78/37.84 c | 396 | 1.0 | 0 | 26898 | 271 | 73 | 10505408 | 478315 || 396 | 1074811 | 2/ 1 | 155537 | 0 | 38.88/38.95 c | 412 | 1.1 | 0 | 27687 | 1037 | 74 | 10775132 | 491545 || 412 | 1105240 | 2/ 1 | 159743 | 0 | 40.07/40.11 c | 426 | 1.2 | 0 | 27881 | 205 | 75 | 11060492 | 504378 || 426 | 1133344 | 2/ 1 | 163517 | 0 | 41.17/41.27 c | 443 | 1.2 | 0 | 29186 | 885 | 76 | 11335672 | 517734 || 443 | 1165154 | 2/ 1 | 168190 | 0 | 42.38/42.49 c | 445 | 1.2 | 0 | 29200 | 578 | 77 | 11621496 | 530763 || 445 | 1200914 | 2/ 1 | 173235 | 0 | 43.58/43.60 c | 460 | 1.1 | 0 | 29005 | 1147 | 78 | 11914228 | 543785 || 460 | 1224423 | 2/ 1 | 176612 | 0 | 44.77/44.84 c | 476 | 1.2 | 0 | 30461 | 1827 | 79 | 12195639 | 557577 || 476 | 1257170 | 2/ 1 | 181631 | 0 | 45.97/46.05 c | 491 | 1.2 | 0 | 29566 | 611 | 80 | 12484836 | 571492 || 491 | 1284993 | 2/ 1 | 185055 | 0 | 47.18/47.31 c | 507 | 1.3 | 0 | 30585 | 279 | 81 | 12772361 | 585704 || 507 | 1319948 | 2/ 1 | 190126 | 0 | 48.57/48.66 c | 509 | 1.3 | 0 | 30191 | 4079 | 82 | 13069331 | 598590 || 509 | 1358953 | 2/ 1 | 199964 | 0 | 49.77/49.86 c | 509 | 1.2 | 0 | 31103 | 3180 | 83 | 13355322 | 612152 || 509 | 1386593 | 2/ 1 | 200211 | 0 | 51.27/51.34 c | 510 | 1.5 | 0 | 30933 | 11983 | 84 | 13645918 | 625483 || 510 | 1437802 | 2/ 1 | 213374 | 0 | 52.68/52.77 c | 510 | 1.4 | 0 | 30661 | 1683 | 85 | 13923488 | 639521 || 510 | 1472509 | 2/ 1 | 213659 | 0 | 53.67/53.78 c | 510 | 1.0 | 0 | 30014 | 10686 | 86 | 14263663 | 650438 || 510 | 1472509 | 2/ 1 | 213659 | 0 | 55.67/55.77 c | 511 | 2.0 | 0 | 29885 | 19788 | 87 | 14549000 | 665468 || 511 | 1557154 | 2/ 1 | 239679 | 0 | 57.27/57.37 c | 511 | 1.6 | 0 | 28931 | 9204 | 88 | 14819027 | 681279 || 511 | 1602249 | 2/ 1 | 240096 | 0 | 59.07/59.17 c | 511 | 1.8 | 0 | 28077 | 9302 | 89 | 15086671 | 697336 || 511 | 1647859 | 2/ 1 | 240518 | 0 | 60.27/60.34 c | 511 | 1.2 | 0 | 25985 | 9295 | 90 | 15448286 | 708926 || 511 | 1648360 | 2/ 1 | 240522 | 0 | 61.27/61.33 c | 511 | 1.0 | 0 | 29509 | 18796 | 91 | 15811804 | 720571 || 511 | 1648360 | 2/ 1 | 240522 | 0 | 62.37/62.41 c | 520 | 1.1 | 0 | 35653 | 75 | 92 | 16165292 | 733942 || 520 | 1659529 | 2/ 1 | 241999 | 0 | 63.79/63.89 c | 541 | 1.5 | 0 | 38086 | 429 | 93 | 16505145 | 750295 || 541 | 1697208 | 2/ 1 | 247288 | 0 | 65.27/65.34 c | 557 | 1.5 | 0 | 40021 | 607 | 94 | 16848940 | 765824 || 557 | 1731785 | 2/ 1 | 252354 | 0 | 66.87/66.97 c | 574 | 1.6 | 0 | 42943 | 1695 | 95 | 17205511 | 782277 || 574 | 1773947 | 2/ 1 | 260638 | 0 | 68.48/68.52 c | 587 | 1.5 | 0 | 46621 | 174 | 96 | 17553748 | 798135 || 587 | 1804426 | 2/ 1 | 262896 | 0 | 70.18/70.21 c | 605 | 1.7 | 0 | 45197 | 1743 | 97 | 17903799 | 815261 || 605 | 1846035 | 2/ 1 | 269206 | 0 | 71.78/71.82 c | 626 | 1.6 | 0 | 41156 | 109 | 98 | 18264092 | 832103 || 626 | 1879295 | 2/ 1 | 273454 | 0 | 73.48/73.54 c | 637 | 1.7 | 0 | 36903 | 3783 | 99 | 18623288 | 848564 || 637 | 1924627 | 2/ 1 | 280963 | 0 | 75.28/75.35 c | 638 | 1.8 | 0 | 36974 | 9384 | 100 | 18983078 | 865533 || 638 | 1974512 | 2/ 1 | 287690 | 0 | 76.68/76.75 c | 651 | 1.4 | 0 | 36834 | 64 | 101 | 19364874 | 880639 || 651 | 1991161 | 2/ 1 | 289836 | 0 | 78.38/78.49 c | 669 | 1.7 | 0 | 38252 | 28 | 102 | 19721986 | 898921 || 669 | 2036184 | 2/ 1 | 296164 | 0 | 80.08/80.15 c | 693 | 1.6 | 0 | 39243 | 195 | 103 | 20099344 | 916498 || 693 | 2071174 | 2/ 1 | 301018 | 0 | 81.78/81.81 c | 701 | 1.7 | 0 | 39340 | 677 | 104 | 20451825 | 933600 || 701 | 2116711 | 2/ 1 | 307726 | 0 | 83.49/83.52 c | 723 | 1.7 | 0 | 39474 | 540 | 105 | 20840046 | 951308 || 723 | 2150574 | 2/ 1 | 312384 | 0 | 85.18/85.21 c | 743 | 1.7 | 0 | 41768 | 293 | 106 | 21215715 | 969249 || 743 | 2189734 | 2/ 1 | 317942 | 0 | 86.98/87.05 c | 763 | 1.8 | 0 | 45364 | 2353 | 107 | 21604274 | 987455 || 763 | 2235490 | 2/ 1 | 324584 | 0 | 88.88/88.96 c | 765 | 1.9 | 0 | 42696 | 6353 | 108 | 21988595 | 1004969 || 765 | 2286010 | 2/ 1 | 334506 | 0 | 90.88/90.97 c | 766 | 2.0 | 0 | 43582 | 8051 | 109 | 22381620 | 1020769 || 766 | 2334309 | 2/ 1 | 347635 | 0 | 92.98/93.09 c | 766 | 2.1 | 0 | 43007 | 250 | 110 | 22697081 | 1040093 || 766 | 2387658 | 2/ 1 | 348080 | 0 | 94.48/94.52 c | 766 | 1.4 | 0 | 41571 | 11751 | 111 | 23120175 | 1054018 || 766 | 2387658 | 2/ 1 | 348080 | 0 | 96.38/96.47 c | 795 | 2.0 | 0 | 43859 | 302 | 112 | 23525389 | 1073427 || 795 | 2429047 | 2/ 1 | 354035 | 0 | 98.28/98.36 c | 812 | 1.9 | 0 | 43809 | 565 | 113 | 23940653 | 1092305 || 812 | 2471141 | 2/ 1 | 359982 | 0 | 100.28/100.35 c | 829 | 2.0 | 0 | 44329 | 3522 | 114 | 24342822 | 1111656 || 829 | 2521677 | 2/ 1 | 368304 | 0 | 102.19/102.24 c | 848 | 1.9 | 0 | 45187 | 78 | 115 | 24761316 | 1130564 || 848 | 2556205 | 2/ 1 | 372264 | 0 | 104.18/104.20 c | 871 | 2.0 | 0 | 47368 | 33 | 116 | 25165504 | 1150514 || 871 | 2600900 | 2/ 1 | 378666 | 0 | 106.08/106.11 c | 891 | 1.9 | 0 | 50958 | 999 | 117 | 25574054 | 1170287 || 891 | 2645930 | 2/ 1 | 385271 | 0 | 108.38/108.41 c | 893 | 2.3 | 0 | 47122 | 8399 | 118 | 26007915 | 1190132 || 893 | 2707916 | 2/ 1 | 395255 | 0 | 110.08/110.16 c | 907 | 1.8 | 0 | 44617 | 278 | 119 | 26448918 | 1207911 || 907 | 2731653 | 2/ 1 | 397855 | 0 | 112.20/112.27 c | 929 | 2.1 | 0 | 47773 | 159 | 120 | 26885057 | 1228344 || 929 | 2777601 | 2/ 1 | 404362 | 0 | 114.28/114.42 c | 955 | 2.2 | 0 | 48334 | 1494 | 121 | 27319613 | 1249586 || 955 | 2828356 | 2/ 1 | 412153 | 0 | 116.38/116.46 c | 969 | 2.0 | 0 | 49015 | 168 | 122 | 27751521 | 1269684 || 969 | 2869438 | 2/ 1 | 417601 | 0 | 118.48/118.59 c | 989 | 2.1 | 0 | 49889 | 27 | 123 | 28207665 | 1289981 || 989 | 2915265 | 2/ 1 | 424092 | 0 | 120.88/120.92 c | 1018 | 2.3 | 0 | 51679 | 1069 | 124 | 28649245 | 1311565 || 1018 | 2966184 | 2/ 1 | 432260 | 0 | 123.08/123.17 c | 1020 | 2.3 | 0 | 54304 | 6771 | 125 | 29071277 | 1331080 || 1020 | 3023633 | 2/ 1 | 442237 | 0 | 125.40/125.48 c | 1021 | 2.3 | 0 | 51806 | 10169 | 126 | 29520744 | 1350366 || 1021 | 3081699 | 1/ 1 | 455345 | 0 | 127.68/127.77 c | 1021 | 2.3 | 0 | 51960 | 4067 | 127 | 29948444 | 1370980 || 1021 | 3126658 | 1/ 1 | 455726 | 0 | 130.18/130.29 c | 1022 | 2.5 | 0 | 49975 | 17268 | 128 | 30409487 | 1389378 || 1022 | 3198395 | 1/ 1 | 481714 | 0 | 132.78/132.87 c | 1022 | 2.6 | 0 | 47847 | 13301 | 129 | 30792633 | 1412502 || 1022 | 3264026 | 1/ 1 | 482299 | 0 | 135.18/135.29 c | 1022 | 2.4 | 0 | 45185 | 5568 | 130 | 31213128 | 1432981 || 1022 | 3302058 | 1/ 1 | 482598 | 0 | 136.88/136.97 c | 1022 | 1.7 | 0 | 41431 | 19070 | 131 | 31709703 | 1449409 || 1022 | 3302058 | 1/ 1 | 482598 | 0 | 139.88/139.95 c | 1023 | 3.0 | 0 | 44222 | 32671 | 132 | 32157161 | 1469410 || 1023 | 3433432 | 1/ 1 | 534314 | 0 | 142.58/142.63 c | 1023 | 2.7 | 0 | 44771 | 13702 | 133 | 32546689 | 1491900 || 1023 | 3497910 | 1/ 1 | 534884 | 0 | 145.38/145.47 c | 1023 | 2.8 | 0 | 45948 | 13802 | 134 | 32965445 | 1514774 || 1023 | 3563251 | 1/ 1 | 535466 | 0 | 148.50/148.55 c | 1023 | 3.1 | 0 | 46119 | 13901 | 135 | 33370994 | 1538477 || 1023 | 3629809 | 1/ 1 | 536066 | 0 | 150.48/150.59 c | 1023 | 2.0 | 0 | 49871 | 11281 | 136 | 33853911 | 1556433 || 1023 | 3642192 | 1/ 1 | 536189 | 0 | 152.28/152.40 c | 1023 | 1.8 | 0 | 51689 | 25383 | 137 | 34363787 | 1573287 || 1023 | 3642192 | 1/ 1 | 536189 | 0 | 154.28/154.33 c | 1023 | 1.9 | 0 | 49475 | 39585 | 138 | 34884611 | 1590171 || 1023 | 3642192 | 1/ 1 | 536189 | 0 | 156.38/156.40 c | 1032 | 2.1 | 0 | 48903 | 173 | 139 | 35410365 | 1608657 || 1032 | 3652979 | 1/ 1 | 537637 | 0 | 158.77/158.88 c | 1059 | 2.5 | 0 | 50900 | 116 | 140 | 35900510 | 1632164 || 1059 | 3705226 | 1/ 1 | 545180 | 0 | 161.37/161.40 c | 1085 | 2.5 | 0 | 53296 | 1061 | 141 | 36394255 | 1656063 || 1085 | 3759358 | 1/ 1 | 552988 | 0 | 163.90/163.97 c | 1107 | 2.6 | 0 | 52101 | 122 | 142 | 36888652 | 1679492 || 1107 | 3811930 | 1/ 1 | 560614 | 0 | 166.57/166.62 c | 1132 | 2.7 | 0 | 50407 | 678 | 143 | 37387005 | 1703717 || 1132 | 3865512 | 1/ 1 | 568198 | 0 | 169.18/169.24 c | 1149 | 2.6 | 0 | 50085 | 1848 | 144 | 37872989 | 1727921 || 1149 | 3922671 | 1/ 1 | 576650 | 0 | 171.77/171.83 c | 1153 | 2.6 | 0 | 51102 | 142 | 145 | 38380968 | 1749971 || 1153 | 3970640 | 1/ 1 | 583853 | 0 | 174.38/174.47 c | 1181 | 2.6 | 0 | 52318 | 1297 | 146 | 38880096 | 1775051 || 1181 | 4027155 | 1/ 1 | 591931 | 0 | 177.10/177.18 c | 1212 | 2.7 | 0 | 53217 | 341 | 147 | 39378965 | 1800415 || 1212 | 4085574 | 1/ 1 | 600371 | 0 | 179.78/179.83 c | 1233 | 2.7 | 0 | 53647 | 0 | 148 | 39899353 | 1824540 || 1233 | 4136752 | 1/ 1 | 607740 | 0 | 182.48/182.54 c | 1261 | 2.7 | 0 | 54456 | 64 | 149 | 40414211 | 1849572 || 1261 | 4192220 | 1/ 1 | 615749 | 0 | 185.18/185.26 c | 1276 | 2.7 | 0 | 55782 | 2935 | 150 | 40942877 | 1874137 || 1276 | 4248408 | 1/ 1 | 623971 | 0 | 188.18/188.24 c | 1278 | 3.0 | 0 | 56737 | 8834 | 151 | 41445781 | 1897549 || 1278 | 4328097 | 1/ 1 | 643408 | 0 | 190.88/190.98 c | 1278 | 2.8 | 0 | 55891 | 5233 | 152 | 41943304 | 1921464 || 1278 | 4378489 | 1/ 1 | 643803 | 0 | 193.49/193.55 c | 1300 | 2.6 | 0 | 56108 | 290 | 153 | 42494504 | 1944679 || 1300 | 4410070 | 1/ 1 | 648427 | 0 | 196.49/196.50 c | 1330 | 3.0 | 0 | 58319 | 2 | 154 | 43029375 | 1970818 || 1330 | 4468035 | 1/ 1 | 656445 | 0 | 199.38/199.40 c | 1347 | 2.9 | 0 | 58980 | 171 | 155 | 43542882 | 1995614 || 1347 | 4524259 | 1/ 1 | 664897 | 0 | 202.41/202.43 c | 1378 | 3.0 | 0 | 58992 | 119 | 156 | 44079107 | 2021989 || 1378 | 4583163 | 1/ 1 | 673347 | 0 | 205.38/205.43 c | 1404 | 3.0 | 0 | 59609 | 2879 | 157 | 44608315 | 2048374 || 1404 | 4648689 | 1/ 1 | 684249 | 0 | 208.39/208.48 c | 1405 | 3.1 | 0 | 60666 | 4677 | 158 | 45136674 | 2072177 || 1405 | 4702506 | 1/ 1 | 691053 | 0 | 211.49/211.57 c | 1436 | 3.1 | 0 | 61093 | 120 | 159 | 45692032 | 2098988 || 1436 | 4761490 | 1/ 1 | 699407 | 0 | 214.58/214.66 c | 1467 | 3.1 | 0 | 60095 | 452 | 160 | 46247748 | 2125872 || 1467 | 4820645 | 1/ 1 | 707805 | 0 | 217.80/217.82 c | 1491 | 3.2 | 0 | 60802 | 11 | 161 | 46800612 | 2152229 || 1491 | 4876480 | 1/ 1 | 715901 | 0 | 220.88/220.92 c | 1524 | 3.1 | 0 | 61999 | 50 | 162 | 47372350 | 2179711 || 1524 | 4937966 | 1/ 1 | 724661 | 0 | 223.98/224.06 c | 1532 | 3.1 | 0 | 64081 | 6928 | 163 | 47910110 | 2205980 || 1532 | 5013062 | 1/ 1 | 737927 | 0 | 227.18/227.21 c | 1533 | 3.1 | 0 | 64041 | 14129 | 164 | 48435897 | 2231278 || 1533 | 5087400 | 1/ 1 | 751213 | 0 | 229.79/229.90 c | 1533 | 2.7 | 0 | 65579 | 11831 | 165 | 48974603 | 2253931 || 1533 | 5111495 | 1/ 1 | 751438 | 0 | 233.98/234.09 c | 1534 | 4.2 | 0 | 65031 | 28833 | 166 | 49504974 | 2281065 || 1534 | 5235905 | 1/ 1 | 777871 | 0 | 237.49/237.60 c | 1534 | 3.5 | 0 | 61889 | 7534 | 167 | 50068257 | 2305709 || 1534 | 5280889 | 1/ 1 | 778260 | 0 | 239.88/239.98 c | 1534 | 2.4 | 0 | 58092 | 24735 | 168 | 50698201 | 2326670 || 1534 | 5280889 | 1/ 1 | 778260 | 0 | 243.18/243.29 c | 1567 | 3.3 | 0 | 57312 | 69 | 169 | 51283648 | 2355014 || 1567 | 5341241 | 1/ 1 | 786934 | 0 | 246.48/246.56 c | 1597 | 3.3 | 0 | 59128 | 3312 | 170 | 51860334 | 2383985 || 1597 | 5413307 | 1/ 1 | 798475 | 0 | 249.70/249.75 c | 1627 | 3.2 | 0 | 59975 | 766 | 171 | 52451260 | 2412197 || 1627 | 5468449 | 1/ 1 | 805296 | 0 | 253.00/253.05 c | 1659 | 3.3 | 0 | 59063 | 2321 | 172 | 53043210 | 2441335 || 1659 | 5537845 | 1/ 1 | 815395 | 0 | 256.08/256.13 c | 1661 | 3.1 | 0 | 64057 | 3219 | 173 | 53598624 | 2468348 || 1661 | 5604470 | 1/ 1 | 825523 | 0 | 259.38/259.46 c | 1692 | 3.3 | 0 | 70534 | 166 | 174 | 54201797 | 2496887 || 1692 | 5662906 | 1/ 1 | 834001 | 0 | 262.98/263.04 c | 1724 | 3.6 | 0 | 71522 | 2004 | 175 | 54811167 | 2525432 || 1724 | 5729903 | 1/ 1 | 845686 | 0 | 266.68/266.70 c | 1754 | 3.6 | 0 | 71449 | 1146 | 176 | 55406767 | 2554698 || 1754 | 5791548 | 1/ 1 | 852567 | 0 | 270.28/270.35 c | 1786 | 3.7 | 0 | 72186 | 2002 | 177 | 56012904 | 2584667 || 1786 | 5859713 | 1/ 1 | 862695 | 0 | 273.79/273.84 c | 1788 | 3.5 | 0 | 73097 | 3390 | 178 | 56629948 | 2611864 || 1788 | 5927698 | 1/ 1 | 872785 | 0 | 277.68/277.71 c | 1789 | 3.9 | 0 | 73226 | 2491 | 179 | 57185914 | 2639094 || 1789 | 6010867 | 1/ 1 | 886184 | 0 | 281.08/281.12 c | 1811 | 3.4 | 0 | 67023 | 259 | 180 | 57837869 | 2665487 || 1811 | 6042100 | 1/ 1 | 890810 | 0 | 284.98/285.06 c | 1849 | 3.9 | 0 | 66272 | 286 | 181 | 58465421 | 2696242 || 1849 | 6111643 | 1/ 1 | 900542 | 0 | 288.48/288.54 c | 1869 | 3.5 | 0 | 66904 | 143 | 182 | 59072707 | 2725412 || 1869 | 6177121 | 1/ 1 | 910064 | 0 | 292.08/292.14 c | 1908 | 3.6 | 0 | 67935 | 161 | 183 | 59685982 | 2756220 || 1908 | 6245763 | 1/ 1 | 920009 | 0 | 295.90/295.98 c | 1916 | 3.9 | 0 | 69547 | 8847 | 184 | 60282784 | 2786420 || 1916 | 6331806 | 1/ 1 | 933377 | 0 | 299.38/299.49 c | 1946 | 3.5 | 0 | 72843 | 884 | 185 | 60924048 | 2815380 || 1946 | 6381649 | 1/ 1 | 940166 | 0 | 303.38/303.40 c | 1978 | 3.9 | 0 | 78000 | 205 | 186 | 61547170 | 2846022 || 1978 | 6452494 | 1/ 1 | 950227 | 0 | 307.38/307.43 c | 2009 | 4.0 | 0 | 78061 | 460 | 187 | 62196067 | 2876277 || 2009 | 6518996 | 1/ 1 | 960318 | 0 | 311.48/311.53 c | 2041 | 4.1 | 0 | 78652 | 2399 | 188 | 62835709 | 2907795 || 2041 | 6592447 | 1/ 1 | 970495 | 0 | 315.18/315.22 c | 2043 | 3.7 | 0 | 78744 | 4895 | 189 | 63488222 | 2936664 || 2043 | 6658902 | 1/ 1 | 980521 | 0 | 319.28/319.39 c | 2044 | 4.2 | 0 | 79192 | 5089 | 190 | 64096684 | 2967078 || 2044 | 6746687 | 1/ 1 | 993933 | 0 | 323.69/323.74 c | 2045 | 4.4 | 0 | 78468 | 24590 | 191 | 64706948 | 2996328 || 2045 | 6850681 | 1/ 1 | 1019913 | 0 | 328.49/328.58 c | 2045 | 4.8 | 0 | 77668 | 5787 | 192 | 65295956 | 3026114 || 2045 | 6917032 | 1/ 1 | 1020451 | 0 | 331.79/331.88 c | 2045 | 3.3 | 0 | 75364 | 25490 | 193 | 65961421 | 3049444 || 2045 | 6917032 | 1/ 1 | 1020451 | 0 | 337.29/337.36 c | 2046 | 5.5 | 0 | 74779 | 45294 | 194 | 66491238 | 3081987 || 2046 | 7109564 | 1/ 1 | 1072691 | 0 | 343.21/343.23 c | 2046 | 5.9 | 0 | 74528 | 19902 | 195 | 67015969 | 3113306 || 2046 | 7202147 | 1/ 1 | 1073484 | 0 | 347.39/347.40 c | 2046 | 4.2 | 0 | 71021 | 8398 | 196 | 67639366 | 3141981 || 2046 | 7256222 | 1/ 1 | 1073953 | 0 | 350.69/350.71 c | 2046 | 3.3 | 0 | 70500 | 28500 | 197 | 68343039 | 3165868 || 2046 | 7256222 | 1/ 1 | 1073953 | 0 | 354.21/354.27 c | 2046 | 3.6 | 0 | 69971 | 48702 | 198 | 69050088 | 3190267 || 2046 | 7256222 | 1/ 1 | 1073953 | 0 | 360.09/360.18 c | 2047 | 5.9 | 0 | 72818 | 69006 | 199 | 69673123 | 3224107 || 2047 | 7522264 | 1/ 1 | 1177289 | 0 | 364.69/364.75 c | 2047 | 4.6 | 0 | 69649 | 20403 | 200 | 70222740 | 3258005 || 2047 | 7617573 | 1/ 1 | 1178147 | 0 | 369.89/369.91 c | 2047 | 5.1 | 0 | 69950 | 20501 | 201 | 70784867 | 3292085 || 2047 | 7714664 | 1/ 1 | 1178954 | 0 | 375.49/375.59 c | 2047 | 5.7 | 0 | 66475 | 20603 | 202 | 71322901 | 3325680 || 2047 | 7811708 | 1/ 1 | 1179813 | 0 | 381.19/381.26 c | 2047 | 5.7 | 0 | 63317 | 20705 | 203 | 71883994 | 3359325 || 2047 | 7908451 | 1/ 1 | 1180657 | 0 | 384.69/384.75 c | 2047 | 3.5 | 0 | 59421 | 18420 | 204 | 72561164 | 3386118 || 2047 | 7919589 | 1/ 1 | 1180775 | 0 | 387.89/387.94 c | 2047 | 3.2 | 0 | 57895 | 39321 | 205 | 73250609 | 3411750 || 2047 | 7919589 | 1/ 1 | 1180775 | 0 | 391.29/391.31 c | 2047 | 3.4 | 0 | 66052 | 60323 | 206 | 73935145 | 3436956 || 2047 | 7919589 | 1/ 1 | 1180775 | 0 | 394.69/394.74 c | 2047 | 3.4 | 0 | 74362 | 81425 | 207 | 74621561 | 3462443 || 2047 | 7919589 | 1/ 1 | 1180775 | 0 | 398.29/398.32 c | 2049 | 3.6 | 0 | 85487 | 125 | 208 | 75338298 | 3488218 || 2049 | 7920950 | 1/ 1 | 1180988 | 0 | 402.99/403.00 c | 2093 | 4.7 | 0 | 96005 | 1034 | 209 | 76059324 | 3524067 || 2093 | 8002771 | 1/ 1 | 1192613 | 0 | 407.39/407.42 c | 2124 | 4.4 | 0 | 97287 | 572 | 210 | 76753874 | 3558625 || 2124 | 8078979 | 1/ 1 | 1203556 | 0 | 412.19/412.29 c | 2167 | 4.9 | 0 | 93715 | 80 | 211 | 77474811 | 3594634 || 2167 | 8157495 | 1/ 1 | 1214632 | 0 | 416.69/416.73 c | 2174 | 4.4 | 0 | 92244 | 2568 | 212 | 78158427 | 3627503 || 2174 | 8243364 | 1/ 1 | 1227852 | 0 | 421.39/421.47 c | 2212 | 4.7 | 0 | 92118 | 396 | 213 | 78891303 | 3662386 || 2212 | 8310998 | 1/ 1 | 1237563 | 0 | 426.29/426.37 c | 2242 | 4.9 | 0 | 86663 | 33 | 214 | 79621488 | 3696887 || 2242 | 8387540 | 1/ 1 | 1248716 | 0 | 431.39/431.45 c | 2286 | 5.1 | 0 | 76434 | 254 | 215 | 80353374 | 3733589 || 2286 | 8469269 | 1/ 1 | 1260301 | 0 | 436.29/436.38 c | 2301 | 4.9 | 0 | 77515 | 125 | 216 | 81062995 | 3769532 || 2301 | 8568383 | 1/ 1 | 1274974 | 0 | 441.39/441.49 c | 2302 | 5.1 | 0 | 77504 | 3027 | 217 | 81758709 | 3802545 || 2302 | 8656400 | 1/ 1 | 1288408 | 0 | 445.79/445.82 c | 2332 | 4.3 | 0 | 79533 | 365 | 218 | 82488636 | 3835659 || 2332 | 8704443 | 1/ 1 | 1295189 | 0 | 450.69/450.72 c | 2365 | 4.9 | 0 | 80950 | 4202 | 219 | 83223401 | 3872202 || 2365 | 8793550 | 1/ 1 | 1308671 | 0 | 455.41/455.49 c | 2404 | 4.8 | 0 | 80934 | 37 | 220 | 83953932 | 3908678 || 2404 | 8864949 | 1/ 1 | 1318521 | 0 | 460.39/460.46 c | 2429 | 5.0 | 0 | 82088 | 5789 | 221 | 84680924 | 3944432 || 2429 | 8960485 | 1/ 1 | 1335494 | 0 | 465.31/465.35 c | 2459 | 4.9 | 0 | 82912 | 313 | 222 | 85408392 | 3979769 || 2459 | 9026423 | 1/ 1 | 1342491 | 0 | 470.49/470.55 c | 2492 | 5.2 | 0 | 84795 | 4557 | 223 | 86156182 | 4017048 || 2492 | 9117465 | 1/ 1 | 1355952 | 0 | 475.59/475.67 c | 2534 | 5.1 | 0 | 83564 | 288 | 224 | 86923321 | 4054212 || 2534 | 9191521 | 1/ 1 | 1366184 | 0 | 480.89/480.96 c | 2556 | 5.3 | 0 | 83687 | 6948 | 225 | 87670004 | 4091079 || 2556 | 9291075 | 1/ 1 | 1382751 | 0 | 486.09/486.12 c | 2557 | 5.1 | 0 | 85530 | 1147 | 226 | 88441189 | 4127109 || 2557 | 9390556 | 1/ 1 | 1395860 | 0 | 491.39/491.49 c | 2558 | 5.4 | 0 | 85123 | 24248 | 227 | 89188919 | 4160169 || 2558 | 9495223 | 1/ 1 | 1422022 | 0 | 496.59/496.62 c | 2558 | 5.1 | 0 | 86891 | 9047 | 228 | 89917167 | 4194360 || 2558 | 9563303 | 1/ 1 | 1422605 | 0 | 501.29/501.34 c | 2575 | 4.7 | 0 | 84461 | 13 | 229 | 90715912 | 4225882 || 2575 | 9589468 | 1/ 1 | 1426231 | 0 | 506.59/506.63 c | 2620 | 5.3 | 0 | 86883 | 2037 | 230 | 91487598 | 4264837 || 2620 | 9679339 | 1/ 1 | 1439360 | 0 | 512.09/512.17 c | 2652 | 5.5 | 0 | 86356 | 684 | 231 | 92251037 | 4302738 || 2652 | 9763499 | 1/ 1 | 1451185 | 0 | 517.49/517.50 c | 2685 | 5.3 | 0 | 85345 | 3430 | 232 | 93028454 | 4340028 || 2685 | 9857530 | 1/ 1 | 1469438 | 0 | 522.69/522.77 c | 2714 | 5.3 | 0 | 87035 | 243 | 233 | 93789584 | 4377539 || 2714 | 9929830 | 1/ 1 | 1475611 | 0 | 528.39/528.40 c | 2748 | 5.6 | 0 | 90323 | 4388 | 234 | 94577425 | 4416710 || 2748 | 10025571 | 1/ 1 | 1489913 | 0 | 533.89/533.90 c | 2793 | 5.5 | 0 | 90508 | 397 | 235 | 95356945 | 4455250 || 2793 | 10103037 | 1/ 1 | 1500948 | 0 | 539.39/539.45 c | 2812 | 5.5 | 0 | 90335 | 8973 | 236 | 96128453 | 4493134 || 2812 | 10204251 | 1/ 1 | 1516882 | 0 | 544.69/544.70 c | 2813 | 5.2 | 0 | 90629 | 4274 | 237 | 96891574 | 4529112 || 2813 | 10294132 | 1/ 1 | 1530325 | 0 | 550.02/550.08 c | 2844 | 5.4 | 0 | 91522 | 1211 | 238 | 97688706 | 4565383 || 2844 | 10352984 | 1/ 1 | 1538815 | 0 | 555.60/555.68 c | 2882 | 5.6 | 0 | 91645 | 31 | 239 | 98478724 | 4604266 || 2882 | 10439160 | 1/ 1 | 1551385 | 0 | 561.40/561.42 c | 2933 | 5.7 | 0 | 92724 | 52 | 240 | 99261068 | 4644833 || 2933 | 10528476 | 1/ 1 | 1564148 | 0 | 566.70/566.74 c | 2940 | 5.3 | 0 | 94914 | 5441 | 241 | 100019561 | 4680936 || 2940 | 10613947 | 1/ 1 | 1577486 | 0 | 572.60/572.68 c | 2991 | 5.9 | 0 | 97391 | 45 | 242 | 100807811 | 4722111 || 2991 | 10701809 | 1/ 1 | 1590027 | 0 | 578.50/578.56 c | 3029 | 5.9 | 0 | 99516 | 85 | 243 | 101619311 | 4761848 || 3029 | 10790902 | 1/ 1 | 1603016 | 0 | 584.70/584.72 c | 3066 | 6.2 | 0 | 101903 | 4120 | 244 | 102412098 | 4802442 || 3066 | 10890011 | 1/ 1 | 1618064 | 0 | 590.72/590.74 c | 3068 | 6.0 | 0 | 102761 | 14616 | 245 | 103188433 | 4840234 || 3068 | 11002457 | 1/ 1 | 1638012 | 0 | 596.59/596.67 c | 3069 | 5.9 | 0 | 100880 | 20414 | 246 | 103940310 | 4875743 || 3069 | 11108586 | 1/ 1 | 1664265 | 0 | 603.19/603.27 c | 3069 | 6.6 | 0 | 100050 | 7113 | 247 | 104667660 | 4914813 || 3069 | 11195022 | 1/ 1 | 1665076 | 0 | 609.30/609.36 c | 3070 | 6.1 | 0 | 96246 | 32314 | 248 | 105453906 | 4948440 || 3070 | 11323956 | 1/ 1 | 1716344 | 0 | 615.90/615.92 c | 3070 | 6.6 | 0 | 96424 | 25301 | 249 | 106190776 | 4989702 || 3070 | 11443894 | 1/ 1 | 1717384 | 0 | 622.89/622.94 c | 3070 | 7.0 | 0 | 95522 | 6213 | 250 | 106964287 | 5027379 || 3070 | 11532329 | 1/ 1 | 1718158 | 0 | 627.59/627.61 c | 3070 | 4.7 | 0 | 94874 | 31715 | 251 | 107856047 | 5058024 || 3070 | 11532329 | 1/ 1 | 1718158 | 0 | 632.99/633.08 c | 3085 | 5.5 | 0 | 101255 | 476 | 252 | 108715081 | 5091654 || 3085 | 11555815 | 1/ 1 | 1721518 | 0 | 639.29/639.33 c | 3132 | 6.2 | 0 | 106865 | 1276 | 253 | 109561348 | 5133817 || 3132 | 11649461 | 1/ 1 | 1735038 | 0 | 645.99/646.00 c | 3174 | 6.7 | 0 | 108839 | 282 | 254 | 110418558 | 5175392 || 3174 | 11741752 | 1/ 1 | 1748536 | 0 | 652.39/652.49 c | 3197 | 6.5 | 0 | 107222 | 37 | 255 | 111257086 | 5217493 || 3197 | 11855174 | 1/ 1 | 1765327 | 0 | 658.49/658.56 c | 3240 | 6.1 | 0 | 110958 | 65 | 256 | 112112419 | 5257948 || 3240 | 11927201 | 1/ 1 | 1775681 | 0 | 664.99/665.04 c | 3279 | 6.5 | 0 | 108458 | 212 | 257 | 112961904 | 5299932 || 3279 | 12020839 | 1/ 1 | 1789500 | 0 | 671.49/671.58 c | 3323 | 6.5 | 0 | 105820 | 2928 | 258 | 113817123 | 5342215 || 3323 | 12122179 | 1/ 1 | 1805754 | 0 | 678.49/678.52 c | 3325 | 6.9 | 0 | 99852 | 14823 | 259 | 114622352 | 5382689 || 3325 | 12241034 | 1/ 1 | 1825767 | 0 | 684.89/684.94 c | 3349 | 6.4 | 0 | 100422 | 74 | 260 | 115482492 | 5421308 || 3349 | 12297361 | 1/ 1 | 1830814 | 0 | 691.49/691.55 c | 3388 | 6.6 | 0 | 102727 | 409 | 261 | 116352612 | 5464681 || 3388 | 12403350 | 1/ 1 | 1846222 | 0 | 697.89/697.95 c | 3440 | 6.4 | 0 | 102329 | 208 | 262 | 117229960 | 5507979 || 3440 | 12491795 | 1/ 1 | 1858897 | 0 | 704.29/704.38 c | 3452 | 6.4 | 0 | 102569 | 5584 | 263 | 118079629 | 5548169 || 3452 | 12586526 | 1/ 1 | 1873118 | 0 | 711.39/711.45 c | 3510 | 7.1 | 0 | 103189 | 158 | 264 | 118952306 | 5592933 || 3510 | 12684228 | 1/ 1 | 1886895 | 0 | 718.09/718.14 c | 3546 | 6.7 | 0 | 104701 | 2305 | 265 | 119804944 | 5636348 || 3546 | 12785575 | 1/ 1 | 1901804 | 0 | 724.99/725.01 c | 3579 | 6.9 | 0 | 107404 | 6040 | 266 | 120703055 | 5678708 || 3579 | 12891930 | 1/ 1 | 1920207 | 0 | 731.99/732.00 c | 3580 | 7.0 | 0 | 106381 | 4338 | 267 | 121585675 | 5719362 || 3580 | 12996332 | 1/ 1 | 1933851 | 0 | 739.21/739.26 c | 3581 | 7.2 | 0 | 103496 | 31539 | 268 | 122417734 | 5760975 || 3581 | 13135696 | 1/ 1 | 1960188 | 0 | 744.99/745.06 c | 3581 | 5.8 | 0 | 101926 | 20440 | 269 | 123280042 | 5797252 || 3581 | 13169264 | 1/ 1 | 1960477 | 0 | 751.99/752.02 c | 3627 | 7.0 | 0 | 102778 | 561 | 270 | 124169160 | 5840106 || 3627 | 13251624 | 1/ 1 | 1972295 | 0 | 758.90/758.99 c | 3673 | 7.0 | 0 | 101918 | 374 | 271 | 125043795 | 5884658 || 3673 | 13351146 | 1/ 1 | 1986641 | 0 | 765.70/765.79 c | 3708 | 6.8 | 0 | 102960 | 3501 | 272 | 125922050 | 5928443 || 3708 | 13462400 | 1/ 1 | 2007478 | 0 | 772.60/772.68 c | 3739 | 6.9 | 0 | 106068 | 735 | 273 | 126797471 | 5971471 || 3739 | 13549779 | 1/ 1 | 2016250 | 0 | 779.81/779.85 c | 3785 | 7.2 | 0 | 107579 | 48 | 274 | 127678661 | 6016112 || 3785 | 13648212 | 1/ 1 | 2030579 | 0 | 786.90/786.98 c | 3834 | 7.1 | 0 | 110515 | 1853 | 275 | 128577084 | 6061561 || 3834 | 13754912 | 1/ 1 | 2048179 | 0 | 793.90/793.93 c | 3836 | 6.9 | 0 | 111290 | 15447 | 276 | 129445546 | 6104859 || 3836 | 13876707 | 1/ 1 | 2065338 | 0 | 801.10/801.10 c | 3866 | 7.2 | 0 | 111280 | 688 | 277 | 130358275 | 6146615 || 3866 | 13941331 | 1/ 1 | 2072274 | 0 | 808.60/808.61 c | 3904 | 7.5 | 0 | 110846 | 98 | 278 | 131247255 | 6191573 || 3904 | 14039936 | 1/ 1 | 2086329 | 0 | 816.30/816.35 c | 3961 | 7.7 | 0 | 109832 | 1413 | 279 | 132151218 | 6238584 || 3961 | 14147753 | 1/ 1 | 2102504 | 0 | 823.10/823.11 c | 3979 | 6.8 | 0 | 111423 | 71 | 280 | 133042678 | 6281062 || 3979 | 14241682 | 1/ 1 | 2116073 | 0 | 830.70/830.71 c | 4026 | 7.6 | 0 | 113765 | 4589 | 281 | 133951125 | 6327762 || 4026 | 14354718 | 1/ 1 | 2132830 | 0 | 838.11/838.18 c | 4081 | 7.5 | 0 | 113529 | 174 | 282 | 134868045 | 6374328 || 4081 | 14448395 | 1/ 1 | 2146184 | 0 | 845.50/845.58 c | 4091 | 7.4 | 0 | 117389 | 8950 | 283 | 135773812 | 6417667 || 4091 | 14575351 | 1/ 1 | 2172733 | 0 | 853.20/853.27 c | 4092 | 7.7 | 0 | 116459 | 18549 | 284 | 136626559 | 6459880 || 4092 | 14700802 | 1/ 1 | 2199139 | 0 | 860.70/860.73 c | 4092 | 7.5 | 0 | 114909 | 9051 | 285 | 137461702 | 6503136 || 4092 | 14793856 | 1/ 1 | 2199968 | 0 | 868.80/868.86 c | 4093 | 8.1 | 0 | 111296 | 38056 | 286 | 138356277 | 6544231 || 4093 | 14948969 | 1/ 1 | 2250673 | 0 | 878.60/878.62 c | 4093 | 9.8 | 0 | 108399 | 29103 | 287 | 139093383 | 6592508 || 4093 | 15087200 | 1/ 1 | 2251879 | 0 | 886.70/886.78 c | 4093 | 8.1 | 0 | 104412 | 19560 | 288 | 139945573 | 6631535 || 4093 | 15133684 | 1/ 1 | 2252278 | 0 | 894.01/894.02 c | 4093 | 7.2 | 0 | 101228 | 48862 | 289 | 140898724 | 6665857 || 4093 | 15133684 | 1/ 1 | 2252278 | 0 | 904.11/904.15 c | 4094 | 10.1 | 0 | 109840 | 78263 | 290 | 141753624 | 6715997 || 4094 | 15464559 | 1/ 1 | 2356255 | 0 | 913.03/913.03 c | 4094 | 8.9 | 0 | 110815 | 29505 | 291 | 142554807 | 6766283 || 4094 | 15607365 | 1/ 1 | 2357494 | 0 | 922.93/922.96 c | 4094 | 9.9 | 0 | 112956 | 29603 | 292 | 143363667 | 6815539 || 4094 | 15748045 | 1/ 1 | 2358709 | 0 | 931.91/931.96 c | 4094 | 9.0 | 0 | 112523 | 13462 | 293 | 144250556 | 6857912 || 4094 | 15824006 | 1/ 1 | 2359397 | 0 | 939.81/939.82 c | 4094 | 7.9 | 0 | 115248 | 43263 | 294 | 145211948 | 6891915 || 4094 | 15824006 | 1/ 1 | 2359397 | 0 | 946.90/946.94 c | 4094 | 7.1 | 0 | 115376 | 73164 | 295 | 146254746 | 6927158 || 4094 | 15824006 | 1/ 1 | 2359397 | 0 | 957.90/957.90 c | 4095 | 11.0 | 0 | 102384 | 103165 | 296 | 147340798 | 6963710 || 4095 | 16219745 | 1/ 0 | 2564638 | 0 | 966.40/966.42 c | 4095 | 8.5 | 0 | 111056 | 30105 | 297 | 148195941 | 7016344 || 4095 | 16367939 | 1/ 0 | 2565899 | 0 | 975.30/975.33 c | 4095 | 8.9 | 0 | 112349 | 30201 | 298 | 149044718 | 7067274 || 4095 | 16514068 | 1/ 0 | 2567168 | 0 | 984.81/984.84 c | 4095 | 9.5 | 0 | 114067 | 30301 | 299 | 149880977 | 7118805 || 4095 | 16661556 | 1/ 0 | 2568552 | 0 | 994.20/994.20 c | 4095 | 9.4 | 0 | 110389 | 30401 | 300 | 150753583 | 7169593 || 4095 | 16807952 | 1/ 0 | 2569834 | 0 | 1004.10/1004.14 c | 4095 | 9.9 | 0 | 107096 | 30503 | 301 | 151663225 | 7221504 || 4095 | 16958520 | 1/ 0 | 2571210 | 0 | 1013.80/1013.82 c | 4095 | 9.7 | 0 | 87651 | 30601 | 302 | 152556689 | 7271659 || 4095 | 17105450 | 1/ 0 | 2572543 | 0 | 1022.30/1022.33 c | 4095 | 8.5 | 0 | 69639 | 8777 | 303 | 153475773 | 7319333 || 4095 | 17212013 | 1/ 0 | 2573488 | 0 | 1028.30/1028.41 c | 4095 | 6.1 | 0 | 72426 | 39579 | 304 | 154501963 | 7355151 || 4095 | 17212013 | 1/ 0 | 2573488 | 0 | 1034.11/1034.16 c | 4095 | 5.8 | 0 | 75387 | 70481 | 305 | 155653981 | 7392050 || 4095 | 17212013 | 1/ 0 | 2573488 | 0 | 1040.11/1040.17 c | 4095 | 6.0 | 0 | 81310 | 101482 | 306 | 156783989 | 7428675 || 4095 | 17212013 | 1/ 0 | 2573488 | 0 | 1046.71/1046.75 c | 4095 | 6.6 | 0 | 85235 | 132583 | 307 | 157890326 | 7465396 || 4095 | 17212013 | 1/ 0 | 2573488 | 0 | 1053.41/1053.48 c | 4095 | 6.7 | 0 | 91889 | 163787 | 308 | 158963165 | 7501798 || 4095 | 17212013 | 1/ 0 | 2573488 | 0 | 1060.81/1060.81 c | 4095 | 7.3 | 0 | 96520 | 195088 | 309 | 160044532 | 7538759 || 4095 | 17212013 | 1/ 0 | 2573488 | 0 | 1069.01/1069.08 c | 4141 | 8.3 | 0 | 96926 | 12 | 310 | 161089735 | 7587266 || 4141 | 17296265 | 1/ 0 | 2585304 | 0 | 1077.01/1077.08 c | 4189 | 8.0 | 0 | 101629 | 208 | 311 | 162126519 | 7639027 || 4189 | 17414810 | 1/ 0 | 2602214 | 0 | 1084.81/1084.88 c | 4222 | 7.8 | 0 | 108687 | 1353 | 312 | 163145150 | 7689758 || 4222 | 17539796 | 1/ 0 | 2620712 | 0 | 1093.32/1093.38 c | 4282 | 8.5 | 0 | 112763 | 315 | 313 | 164153208 | 7740580 || 4282 | 17639540 | 1/ 0 | 2635097 | 0 | 1101.51/1101.56 c | 4329 | 8.2 | 0 | 113261 | 26 | 314 | 165170735 | 7792232 || 4329 | 17756127 | 1/ 0 | 2651518 | 0 | 1109.21/1109.26 c | 4350 | 7.7 | 0 | 113169 | 6883 | 315 | 166210075 | 7841074 || 4350 | 17893631 | 1/ 0 | 2680782 | 0 | 1116.61/1116.64 c | 4368 | 7.4 | 0 | 114452 | 145 | 316 | 167197759 | 7888974 || 4368 | 17977019 | 1/ 0 | 2685118 | 0 | 1125.11/1125.14 c | 4416 | 8.5 | 0 | 111573 | 148 | 317 | 168236673 | 7941061 || 4416 | 18094280 | 1/ 0 | 2701940 | 0 | 1133.71/1133.71 c | 4476 | 8.6 | 0 | 112271 | 2139 | 318 | 169250412 | 7994739 || 4476 | 18219870 | 1/ 0 | 2721749 | 0 | 1142.01/1142.00 c | 4508 | 8.3 | 0 | 117121 | 1592 | 319 | 170255297 | 8044430 || 4508 | 18330111 | 1/ 0 | 2736914 | 0 | 1150.41/1150.48 c | 4560 | 8.5 | 0 | 117374 | 7 | 320 | 171277107 | 8096949 || 4560 | 18443968 | 1/ 0 | 2752742 | 0 | 1159.01/1159.07 c | 4604 | 8.6 | 0 | 118041 | 4716 | 321 | 172282718 | 8148936 || 4604 | 18573996 | 1/ 0 | 2775419 | 0 | 1167.01/1167.08 c | 4605 | 8.0 | 0 | 112452 | 8515 | 322 | 173291284 | 8196600 || 4605 | 18682575 | 1/ 0 | 2788958 | 0 | 1176.21/1176.21 c | 4606 | 9.1 | 0 | 111538 | 2814 | 323 | 174263108 | 8248745 || 4606 | 18853403 | 1/ 0 | 2815702 | 0 | 1183.91/1183.93 c | 4633 | 7.7 | 0 | 112751 | 77 | 324 | 175390208 | 8293671 || 4633 | 18891209 | 1/ 0 | 2820981 | 0 | 1192.61/1192.63 c | 4683 | 8.7 | 0 | 125740 | 580 | 325 | 176431753 | 8346848 || 4683 | 19011411 | 1/ 0 | 2838390 | 0 | 1201.61/1201.66 c | 4732 | 9.0 | 0 | 127553 | 2092 | 326 | 177465834 | 8400212 || 4732 | 19133744 | 1/ 0 | 2856109 | 0 | 1210.91/1210.96 c | 4774 | 9.3 | 0 | 128646 | 113 | 327 | 178534581 | 8452533 || 4774 | 19248482 | 1/ 0 | 2872644 | 0 | 1220.01/1220.07 c | 4827 | 9.1 | 0 | 134033 | 1797 | 328 | 179609641 | 8506930 || 4827 | 19374029 | 1/ 0 | 2891175 | 0 | 1229.21/1229.21 c | 4860 | 9.1 | 0 | 140923 | 2201 | 329 | 180659404 | 8559348 || 4860 | 19500682 | 1/ 0 | 2909616 | 0 | 1238.32/1238.38 c | 4873 | 9.2 | 0 | 142489 | 77 | 330 | 181722472 | 8608108 || 4873 | 19602442 | 1/ 0 | 2924930 | 0 | 1248.72/1248.76 c | 4924 | 10.4 | 0 | 129626 | 1765 | 331 | 182779953 | 8662478 || 4924 | 19729084 | 1/ 0 | 2943240 | 0 | 1258.52/1258.51 c | 4987 | 9.8 | 0 | 131448 | 1637 | 332 | 183846791 | 8718255 || 4987 | 19854740 | 1/ 0 | 2963243 | 0 | 1267.72/1267.77 c | 5019 | 9.3 | 0 | 133307 | 79 | 333 | 184892427 | 8770580 || 5019 | 19971928 | 1/ 0 | 2978532 | 0 | 1277.62/1277.60 c | 5077 | 9.8 | 0 | 130585 | 73 | 334 | 185953299 | 8824611 || 5077 | 20089331 | 1/ 0 | 2995585 | 0 | 1287.41/1287.44 c | 5115 | 9.8 | 0 | 128006 | 8406 | 335 | 187022988 | 8878046 || 5115 | 20229319 | 1/ 0 | 3017282 | 0 | 1296.41/1296.47 c | 5117 | 9.0 | 0 | 128549 | 13603 | 336 | 188041562 | 8924961 || 5117 | 20372387 | 1/ 0 | 3056532 | 0 | 1306.91/1306.95 c | 5117 | 10.5 | 0 | 124152 | 9301 | 337 | 189154050 | 8977922 || 5117 | 20497515 | 1/ 0 | 3057587 | 0 | 1316.21/1316.20 c | 5118 | 9.3 | 0 | 125358 | 43504 | 338 | 190259794 | 9027535 || 5118 | 20682106 | 1/ 0 | 3109759 | 0 | 1326.71/1326.70 c | 5118 | 10.5 | 0 | 136025 | 1003 | 339 | 191227187 | 9082566 || 5118 | 20837873 | 1/ 0 | 3111146 | 0 | 1336.31/1336.41 c | 5118 | 9.7 | 0 | 138361 | 35404 | 340 | 192374759 | 9122874 || 5118 | 20837873 | 1/ 0 | 3111146 | 0 | 1346.11/1346.12 c | 5158 | 9.7 | 0 | 148602 | 139 | 341 | 193498509 | 9172773 || 5158 | 20906495 | 1/ 0 | 3121110 | 0 | 1356.92/1356.93 c | 5212 | 10.8 | 0 | 156572 | 328 | 342 | 194577279 | 9229114 || 5212 | 21035658 | 1/ 0 | 3139893 | 0 | 1367.12/1367.11 c | 5245 | 10.2 | 0 | 162163 | 4548 | 343 | 195658844 | 9282992 || 5245 | 21158650 | 1/ 0 | 3158425 | 0 | 1378.22/1378.28 c | 5308 | 11.2 | 0 | 161708 | 2425 | 344 | 196732756 | 9339582 || 5308 | 21286780 | 1/ 0 | 3178626 | 0 | 1389.92/1389.90 c | 5370 | 11.6 | 0 | 153021 | 1215 | 345 | 197812685 | 9396781 || 5370 | 21411051 | 1/ 0 | 3195582 | 0 | 1401.52/1401.53 c | 5373 | 11.6 | 0 | 148499 | 212 | 346 | 198908241 | 9451751 || 5373 | 21569708 | 1/ 0 | 3219068 | 0 | 1412.22/1412.27 c | 5420 | 10.7 | 0 | 136259 | 838 | 347 | 200004946 | 9503289 || 5420 | 21651932 | 1/ 0 | 3230958 | 0 | 1423.22/1423.24 c | 5477 | 11.0 | 0 | 128792 | 139 | 348 | 201114014 | 9560630 || 5477 | 21780662 | 1/ 0 | 3249425 | 0 | 1433.12/1433.20 c | 5510 | 10.0 | 0 | 129947 | 172 | 349 | 202209297 | 9615485 || 5510 | 21905055 | 1/ 0 | 3267929 | 0 | 1443.52/1443.54 c | 5564 | 10.3 | 0 | 131383 | 3281 | 350 | 203308222 | 9672172 || 5564 | 22032795 | 1/ 0 | 3286515 | 0 | 1454.32/1454.33 c | 5626 | 10.8 | 0 | 132403 | 263 | 351 | 204392591 | 9730721 || 5626 | 22172077 | 1/ 0 | 3306703 | 0 | 1464.32/1464.35 c | 5628 | 10.0 | 0 | 134502 | 7063 | 352 | 205492203 | 9782632 || 5628 | 22304114 | 1/ 0 | 3326688 | 0 | 1474.52/1474.60 c | 5629 | 10.2 | 0 | 133875 | 4364 | 353 | 206621228 | 9838566 || 5629 | 22460157 | 1/ 0 | 3343917 | 0 | 1484.62/1484.66 c | 5660 | 10.1 | 0 | 138663 | 113 | 354 | 207807704 | 9888368 || 5660 | 22518314 | 1/ 0 | 3352354 | 0 | 1496.42/1496.46 c | 5722 | 11.8 | 0 | 138755 | 1104 | 355 | 208959060 | 9947489 || 5722 | 22648492 | 1/ 0 | 3370932 | 0 | 1507.32/1507.37 c | 5756 | 10.9 | 0 | 140480 | 3023 | 356 | 210046120 | 10003525 || 5756 | 22783136 | 1/ 0 | 3391137 | 0 | 1518.92/1518.90 c | 5819 | 11.5 | 0 | 140495 | 2182 | 357 | 211165955 | 10061247 || 5819 | 22910373 | 1/ 0 | 3411323 | 0 | 1530.15/1530.18 c | 5881 | 11.3 | 0 | 138092 | 2265 | 358 | 212296710 | 10120050 || 5881 | 23040839 | 1/ 0 | 3428300 | 0 | 1540.43/1540.48 c | 5884 | 10.3 | 0 | 140833 | 2558 | 359 | 213390880 | 10174472 || 5884 | 23191884 | 1/ 0 | 3451766 | 0 | 1551.63/1551.63 c | 5943 | 11.1 | 0 | 138412 | 156 | 360 | 214598234 | 10230350 || 5943 | 23289043 | 1/ 0 | 3465681 | 0 | 1563.22/1563.26 c | 6000 | 11.6 | 0 | 142557 | 249 | 361 | 215723738 | 10288536 || 6000 | 23421373 | 1/ 0 | 3485086 | 0 | 1574.92/1574.95 c | 6036 | 11.7 | 0 | 144550 | 278 | 362 | 216881052 | 10345383 || 6036 | 23551717 | 1/ 0 | 3504056 | 0 | 1586.62/1586.65 c | 6094 | 11.7 | 0 | 147338 | 78 | 363 | 218024339 | 10403627 || 6094 | 23681050 | 1/ 0 | 3522645 | 0 | 1598.02/1598.09 c | 6138 | 11.4 | 0 | 146829 | 9120 | 364 | 219189588 | 10463110 || 6138 | 23833565 | 1/ 0 | 3545620 | 0 | 1609.42/1609.47 c | 6140 | 11.4 | 0 | 149775 | 17219 | 365 | 220394036 | 10516867 || 6140 | 23993863 | 1/ 0 | 3584837 | 0 | 1620.34/1620.33 c | 6140 | 10.9 | 0 | 154653 | 15816 | 366 | 221596247 | 10571895 || 6140 | 24098139 | 1/ 0 | 3585725 | 0 | 1632.92/1632.93 c | 6141 | 12.6 | 0 | 148279 | 52920 | 367 | 222772553 | 10630610 || 6141 | 24330152 | 1/ 0 | 3638408 | 0 | 1644.54/1644.55 c | 6141 | 11.6 | 0 | 145531 | 13324 | 368 | 223906652 | 10686210 || 6141 | 24446155 | 1/ 0 | 3639416 | 0 | 1654.33/1654.35 c | 6141 | 9.8 | 0 | 141556 | 50625 | 369 | 225251068 | 10730074 || 6141 | 24446155 | 1/ 0 | 3639416 | 0 | 1668.92/1668.91 c | 6142 | 14.6 | 0 | 138552 | 88026 | 370 | 226349664 | 10793629 || 6142 | 24823493 | 1/ 0 | 3743781 | 0 | 1682.12/1682.11 c | 6142 | 13.2 | 0 | 132639 | 37502 | 371 | 227390685 | 10855730 || 6142 | 25002655 | 1/ 0 | 3745320 | 0 | 1694.92/1694.90 c | 6142 | 12.8 | 0 | 125590 | 9526 | 372 | 228425795 | 10914079 || 6142 | 25135412 | 1/ 0 | 3746518 | 0 | 1705.05/1705.04 c | 6142 | 10.1 | 0 | 124868 | 47228 | 373 | 229793038 | 10958566 || 6142 | 25135412 | 1/ 0 | 3746518 | 0 | 1715.53/1715.52 c | 6142 | 10.5 | 0 | 123227 | 85029 | 374 | 231211958 | 11003085 || 6142 | 25135412 | 1/ 0 | 3746518 | 0 | 1727.43/1727.40 c | 6187 | 11.9 | 0 | 122470 | 35 | 375 | 232532208 | 11058527 || 6187 | 25214386 | 1/ 0 | 3757545 | 0 | 1739.15/1739.18 c | 6249 | 11.8 | 0 | 117611 | 113 | 376 | 233742068 | 11120561 || 6249 | 25351841 | 1/ 0 | 3777257 | 0 | 1750.15/1750.16 c | 6286 | 11.0 | 0 | 120298 | 41 | 377 | 234959974 | 11180127 || 6286 | 25488463 | 1/ 0 | 3797350 | 0 | 1761.33/1761.30 c | 6348 | 11.1 | 0 | 121161 | 808 | 378 | 236183212 | 11242284 || 6348 | 25628092 | 1/ 0 | 3817476 | 0 | 1773.03/1773.04 c | 6396 | 11.7 | 0 | 122602 | 9411 | 379 | 237385146 | 11304877 || 6396 | 25787115 | 1/ 0 | 3840950 | 0 | 1784.03/1784.12 c | 6412 | 11.1 | 0 | 127202 | 575 | 380 | 238606749 | 11360294 || 6412 | 25899229 | 1/ 0 | 3857731 | 0 | 1795.93/1795.92 c | 6475 | 11.8 | 0 | 130274 | 559 | 381 | 239847516 | 11423349 || 6475 | 26040080 | 1/ 0 | 3878024 | 0 | 1807.43/1807.49 c | 6524 | 11.6 | 0 | 134789 | 9454 | 382 | 241052907 | 11485705 || 6524 | 26197611 | 1/ 0 | 3901579 | 0 | 1819.45/1819.48 c | 6587 | 12.0 | 0 | 137393 | 1602 | 383 | 242294456 | 11546362 || 6587 | 26317487 | 1/ 0 | 3918525 | 0 | 1831.56/1831.57 c | 6650 | 12.1 | 0 | 138253 | 1894 | 384 | 243513237 | 11609116 || 6650 | 26465016 | 1/ 0 | 3942021 | 0 | 1842.73/1842.78 c | 6652 | 11.2 | 0 | 140406 | 7190 | 385 | 244783592 | 11667138 || 6652 | 26610449 | 1/ 0 | 3962217 | 0 | 1855.53/1855.59 c | 6653 | 12.8 | 0 | 142603 | 7794 | 386 | 245944077 | 11724722 || 6653 | 26778791 | 1/ 0 | 3988985 | 0 | 1867.93/1867.99 c | 6699 | 12.4 | 0 | 142460 | 797 | 387 | 247215616 | 11781159 || 6699 | 26859364 | 1/ 0 | 4000780 | 0 | 1880.94/1880.96 c | 6762 | 13.0 | 0 | 139381 | 257 | 388 | 248452243 | 11844215 || 6762 | 27000016 | 1/ 0 | 4021046 | 0 | 1893.43/1893.44 c | 6807 | 12.5 | 0 | 138712 | 147 | 389 | 249714523 | 11905573 || 6807 | 27137962 | 1/ 0 | 4041520 | 0 | 1905.93/1905.96 c | 6872 | 12.5 | 0 | 138434 | 494 | 390 | 250940540 | 11969094 || 6872 | 27281453 | 1/ 0 | 4062438 | 0 | 1918.23/1918.28 c | 6907 | 12.3 | 0 | 137418 | 5307 | 391 | 252212053 | 12029768 || 6907 | 27422647 | 1/ 0 | 4083175 | 0 | 1930.56/1930.59 c | 6939 | 12.3 | 0 | 138445 | 850 | 392 | 253456123 | 12089602 || 6939 | 27559529 | 1/ 0 | 4104912 | 0 | 1942.73/1942.77 c | 7002 | 12.2 | 0 | 148635 | 2012 | 393 | 254697454 | 12153753 || 7002 | 27704505 | 1/ 0 | 4125220 | 0 | 1955.33/1955.40 c | 7043 | 12.6 | 0 | 152212 | 27 | 394 | 255942635 | 12215051 || 7043 | 27840821 | 1/ 0 | 4145195 | 0 | 1968.33/1968.34 c | 7111 | 12.9 | 0 | 153633 | 92 | 395 | 257219115 | 12279456 || 7111 | 27986867 | 1/ 0 | 4166232 | 0 | 1981.43/1981.48 c | 7162 | 13.1 | 0 | 158214 | 8616 | 396 | 258459943 | 12343244 || 7162 | 28149394 | 1/ 0 | 4191023 | 0 | 1995.45/1995.44 c | 7164 | 14.0 | 0 | 162340 | 19913 | 397 | 259703148 | 12401884 || 7164 | 28324987 | 1/ 0 | 4230225 | 0 | 2009.03/2009.03 c | 7164 | 13.6 | 0 | 166818 | 21713 | 398 | 260997049 | 12458891 || 7164 | 28415339 | 1/ 0 | 4231011 | 0 | 2023.83/2023.89 c | 7165 | 14.9 | 0 | 165770 | 62017 | 399 | 262107432 | 12525772 || 7165 | 28686860 | 1/ 0 | 4283527 | 0 | 2035.33/2035.39 c | 7165 | 11.5 | 0 | 173828 | 25617 | 400 | 263377731 | 12582042 || 7165 | 28758586 | 1/ 0 | 4284129 | 0 | 2047.64/2047.65 c | 7196 | 12.3 | 0 | 194144 | 450 | 401 | 264698833 | 12637999 || 7196 | 28816824 | 1/ 0 | 4292547 | 0 | 2062.04/2062.00 c | 7263 | 14.3 | 0 | 207486 | 15 | 402 | 265968878 | 12702482 || 7263 | 28957800 | 1/ 0 | 4313242 | 0 | 2076.74/2076.81 c | 7307 | 14.8 | 0 | 205557 | 725 | 403 | 267202694 | 12765359 || 7307 | 29100801 | 1/ 0 | 4334565 | 0 | 2091.84/2091.83 c | 7377 | 15.0 | 0 | 203611 | 201 | 404 | 268497148 | 12831622 || 7377 | 29249177 | 1/ 0 | 4356014 | 0 | 2107.54/2107.61 c | 7419 | 15.8 | 0 | 199922 | 4593 | 405 | 269777836 | 12895534 || 7419 | 29399377 | 1/ 0 | 4378299 | 0 | 2123.44/2123.46 c | 7451 | 15.8 | 0 | 190065 | 1518 | 406 | 271082100 | 12957988 || 7451 | 29542801 | 1/ 0 | 4400175 | 0 | 2138.63/2138.69 c | 7515 | 15.2 | 0 | 169432 | 1681 | 407 | 272399612 | 13023563 || 7515 | 29685936 | 1/ 0 | 4420611 | 0 | 2152.76/2152.75 c | 7562 | 14.1 | 0 | 155298 | 357 | 408 | 273709093 | 13087461 || 7562 | 29832639 | 1/ 0 | 4442325 | 0 | 2166.84/2166.85 c | 7632 | 14.1 | 0 | 157222 | 320 | 409 | 275002180 | 13154785 || 7632 | 29981548 | 1/ 0 | 4463883 | 0 | 2180.54/2180.58 c | 7674 | 13.7 | 0 | 160323 | 5248 | 410 | 276337261 | 13218372 || 7674 | 30130805 | 1/ 0 | 4486189 | 0 | 2193.74/2193.71 c | 7676 | 13.1 | 0 | 162467 | 27550 | 411 | 277576521 | 13280435 || 7676 | 30332538 | 1/ 0 | 4525778 | 0 | 2205.64/2205.64 c | 7691 | 11.9 | 0 | 174231 | 719 | 412 | 278915056 | 13338132 || 7691 | 30404683 | 1/ 0 | 4529587 | 0 | 2220.34/2220.35 c | 7761 | 14.7 | 0 | 190088 | 516 | 413 | 280222872 | 13405208 || 7761 | 30555039 | 1/ 0 | 4551176 | 0 | 2235.34/2235.38 c | 7803 | 15.0 | 0 | 187400 | 5241 | 414 | 281522967 | 13470206 || 7803 | 30705728 | 1/ 0 | 4573475 | 0 | 2251.14/2251.12 c | 7873 | 15.7 | 0 | 185996 | 231 | 415 | 282818701 | 13537232 || 7873 | 30852855 | 1/ 0 | 4595025 | 0 | 2267.24/2267.25 c | 7930 | 16.1 | 0 | 184121 | 8903 | 416 | 284114689 | 13605434 || 7930 | 31024577 | 1/ 0 | 4620631 | 0 | 2281.14/2281.10 c | 7956 | 13.9 | 0 | 184751 | 247 | 417 | 285495194 | 13668479 || 7956 | 31152213 | 1/ 0 | 4639182 | 0 | 2297.04/2297.06 c | 8025 | 16.0 | 0 | 184037 | 1048 | 418 | 286817843 | 13735805 || 8025 | 31306465 | 1/ 0 | 4662723 | 0 | 2312.44/2312.50 c | 8072 | 15.4 | 0 | 170992 | 281 | 419 | 288167536 | 13802505 || 8072 | 31454480 | 1/ 0 | 4683759 | 0 | 2328.24/2328.27 c | 8142 | 15.8 | 0 | 178238 | 153 | 420 | 289473698 | 13870730 || 8142 | 31606832 | 1/ 0 | 4705688 | 0 | 2343.54/2343.57 c | 8185 | 15.3 | 0 | 179339 | 5560 | 421 | 290801913 | 13935813 || 8185 | 31759018 | 1/ 0 | 4728451 | 0 | 2358.84/2358.82 c | 8187 | 15.2 | 0 | 180146 | 28961 | 422 | 292169340 | 14001372 || 8187 | 31973218 | 1/ 0 | 4768466 | 0 | 2372.65/2372.63 c | 8188 | 13.8 | 0 | 182709 | 33262 | 423 | 293581666 | 14060200 || 8188 | 32152328 | 1/ 0 | 4820636 | 0 | 2389.15/2389.14 c | 8188 | 16.5 | 0 | 191747 | 42802 | 424 | 294768577 | 14128575 || 8188 | 32348391 | 1/ 0 | 4822386 | 0 | 2402.85/2402.88 c | 8188 | 13.8 | 0 | 193650 | 42164 | 425 | 296353164 | 14180531 || 8188 | 32351618 | 1/ 0 | 4822418 | 0 | 2422.85/2422.89 c | 8189 | 20.0 | 0 | 207767 | 85168 | 426 | 297663557 | 14249969 || 8189 | 32710571 | 1/ 0 | 4926071 | 0 | 2443.45/2443.41 c | 8189 | 20.5 | 0 | 205973 | 43102 | 427 | 298900184 | 14322400 || 8189 | 32917444 | 1/ 0 | 4927886 | 0 | 2464.45/2464.49 c | 8189 | 21.1 | 0 | 194923 | 17874 | 428 | 300223031 | 14384801 || 8189 | 33035448 | 1/ 0 | 4928896 | 0 | 2478.55/2478.51 c | 8189 | 14.0 | 0 | 183765 | 61176 | 429 | 301708563 | 14437025 || 8189 | 33035448 | 1/ 0 | 4928896 | 0 | 2496.65/2496.66 c | 8190 | 18.2 | 0 | 188454 | 104581 | 430 | 303179608 | 14490705 || 8190 | 33436235 | 1/ 0 | 5134172 | 0 | 2511.55/2511.56 c | 8190 | 14.9 | 0 | 203265 | 43501 | 431 | 304454180 | 14563730 || 8190 | 33644056 | 1/ 0 | 5136026 | 0 | 2529.45/2529.41 c | 8190 | 17.9 | 0 | 183319 | 43601 | 432 | 305688764 | 14635667 || 8190 | 33850587 | 1/ 0 | 5137841 | 0 | 2546.57/2546.55 c | 8190 | 17.1 | 0 | 182705 | 43703 | 433 | 306896456 | 14706117 || 8190 | 34051870 | 1/ 0 | 5139528 | 0 | 2564.25/2564.25 c | 8190 | 17.7 | 0 | 192291 | 43803 | 434 | 308152300 | 14776688 || 8190 | 34256663 | 1/ 0 | 5141323 | 0 | 2583.45/2583.46 c | 8190 | 19.2 | 0 | 185378 | 15890 | 435 | 309408877 | 14839039 || 8190 | 34380296 | 1/ 0 | 5142400 | 0 | 2598.36/2598.33 c | 8190 | 14.9 | 0 | 163608 | 59891 | 436 | 310975036 | 14891636 || 8190 | 34380296 | 1/ 0 | 5142400 | 0 | 2612.96/2612.90 c | 8190 | 14.6 | 0 | 144013 | 103994 | 437 | 312471747 | 14944152 || 8190 | 34380296 | 1/ 0 | 5142400 | 0 | 2626.36/2626.38 c | 8190 | 13.5 | 0 | 159038 | 148196 | 438 | 314010293 | 14996892 || 8190 | 34380296 | 1/ 0 | 5142400 | 0 | 2640.86/2640.85 c | 8190 | 14.5 | 0 | 183458 | 192497 | 439 | 315535709 | 15049875 || 8190 | 34380296 | 1/ 0 | 5142400 | 0 | 2666.86/2666.89 c | 8191 | 26.0 | 0 | 209386 | 236899 | 440 | 316835020 | 15121822 || 8191 | 35322260 | 1/ 0 | 5553901 | 0 | 2689.36/2689.37 c | 8191 | 22.5 | 0 | 220712 | 44501 | 441 | 318045486 | 15200087 || 8191 | 35540734 | 1/ 0 | 5555829 | 0 | 2709.96/2709.98 c | 8191 | 20.6 | 0 | 236550 | 44603 | 442 | 319351817 | 15277634 || 8191 | 35760758 | 1/ 0 | 5557752 | 0 | 2730.95/2730.97 c | 8191 | 21.0 | 0 | 258773 | 44701 | 443 | 320624594 | 15353072 || 8191 | 35977407 | 1/ 0 | 5559635 | 0 | 2755.66/2755.61 c | 8191 | 24.6 | 0 | 254639 | 44801 | 444 | 321855760 | 15428837 || 8191 | 36194222 | 1/ 0 | 5561553 | 0 | 2778.15/2778.13 c | 8191 | 22.5 | 0 | 242652 | 44905 | 445 | 323078873 | 15505442 || 8191 | 36409956 | 1/ 0 | 5563517 | 0 | 2798.96/2798.93 c | 8191 | 20.8 | 0 | 220029 | 45003 | 446 | 324336861 | 15580235 || 8191 | 36622138 | 1/ 0 | 5565371 | 0 | 2821.97/2821.96 c | 8191 | 23.0 | 0 | 212154 | 45101 | 447 | 325511392 | 15654138 || 8191 | 36830123 | 1/ 0 | 5567274 | 0 | 2844.06/2844.09 c | 8191 | 22.1 | 0 | 207774 | 45203 | 448 | 326826035 | 15730276 || 8191 | 37047451 | 1/ 0 | 5569147 | 0 | 2862.76/2862.79 c | 8191 | 18.7 | 0 | 198921 | 26610 | 449 | 328291611 | 15793601 || 8191 | 37138611 | 1/ 0 | 5569948 | 0 | 2879.16/2879.10 c | 8191 | 16.3 | 0 | 201261 | 72011 | 450 | 329903400 | 15846721 || 8191 | 37138611 | 1/ 0 | 5569948 | 0 | 2895.36/2895.31 c | 8191 | 16.2 | 0 | 181745 | 117513 | 451 | 331549672 | 15900862 || 8191 | 37138611 | 1/ 0 | 5569948 | 0 | 2911.56/2911.50 c | 8191 | 16.2 | 0 | 171383 | 163116 | 452 | 333211565 | 15955011 || 8191 | 37138611 | 1/ 0 | 5569948 | 0 | 2926.36/2926.37 c | 8191 | 14.9 | 0 | 180949 | 208818 | 453 | 334879217 | 16009636 || 8191 | 37138611 | 1/ 0 | 5569948 | 0 | 2941.37/2941.38 c | 8191 | 15.0 | 0 | 177486 | 254620 | 454 | 336635278 | 16064705 || 8191 | 37138611 | 1/ 0 | 5569948 | 0 | 2956.26/2956.28 c | 8191 | 14.9 | 0 | 162086 | 300522 | 455 | 338374582 | 16119347 || 8191 | 37138611 | 1/ 0 | 5569948 | 0 | 2971.08/2971.09 c | 8191 | 14.8 | 0 | 160516 | 346523 | 456 | 340088154 | 16174252 || 8191 | 37138611 | 1/ 0 | 5569948 | 0 | 2986.37/2986.40 c | 8191 | 15.3 | 0 | 168905 | 392625 | 457 | 341800325 | 16229297 || 8191 | 37138611 | 1/ 0 | 5569948 | 0 | 3004.07/3004.03 c | 8253 | 17.6 | 0 | 172605 | 1077 | 458 | 343397450 | 16298924 || 8253 | 37251109 | 1/ 0 | 5586798 | 0 | 3021.16/3021.18 c | 8317 | 17.1 | 0 | 169637 | 1602 | 459 | 344903469 | 16374138 || 8317 | 37419949 | 1/ 0 | 5610509 | 0 | 3038.66/3038.66 c | 8380 | 17.5 | 0 | 160951 | 1492 | 460 | 346441922 | 16447572 || 8380 | 37582218 | 1/ 0 | 5634141 | 0 | 3055.06/3055.02 c | 8445 | 16.4 | 0 | 155494 | 4658 | 461 | 347983865 | 16522176 || 8445 | 37763963 | 1/ 0 | 5664263 | 0 | 3071.06/3071.01 c | 8472 | 16.0 | 0 | 158945 | 203 | 462 | 349453845 | 16591285 || 8472 | 37911618 | 1/ 0 | 5683020 | 0 | 3087.46/3087.49 c | 8547 | 16.5 | 0 | 157614 | 380 | 463 | 350931947 | 16667412 || 8547 | 38082426 | 1/ 0 | 5707742 | 0 | 3103.46/3103.45 c | 8604 | 15.9 | 0 | 153397 | 1283 | 464 | 352434041 | 16742298 || 8604 | 38255574 | 1/ 0 | 5733456 | 0 | 3119.37/3119.35 c | 8682 | 15.9 | 0 | 152326 | 28 | 465 | 353915279 | 16818610 || 8682 | 38424855 | 1/ 0 | 5757006 | 0 | 3134.87/3134.84 c | 8701 | 15.5 | 0 | 156200 | 4578 | 466 | 355422858 | 16890136 || 8701 | 38613441 | 1/ 0 | 5785663 | 0 | 3149.28/3149.24 c | 8702 | 14.4 | 0 | 158594 | 13277 | 467 | 356895934 | 16957119 || 8702 | 38779248 | 1/ 0 | 5811991 | 0 | 3165.27/3165.20 c | 8765 | 16.0 | 0 | 158632 | 4353 | 468 | 358396362 | 17029877 || 8765 | 38917561 | 1/ 0 | 5832218 | 0 | 3182.28/3182.31 c | 8829 | 17.1 | 0 | 162930 | 8327 | 469 | 359920248 | 17106367 || 8829 | 39100337 | 1/ 0 | 5859111 | 0 | 3198.78/3198.81 c | 8898 | 16.5 | 0 | 164386 | 128 | 470 | 361456883 | 17180112 || 8898 | 39252205 | 1/ 0 | 5880243 | 0 | 3215.57/3215.51 c | 8956 | 16.7 | 0 | 166380 | 3837 | 471 | 362959671 | 17254512 || 8956 | 39428634 | 1/ 0 | 5906300 | 0 | 3232.47/3232.44 c | 8999 | 16.9 | 0 | 165853 | 54 | 472 | 364458989 | 17326438 || 8999 | 39584236 | 1/ 0 | 5929858 | 0 | 3249.77/3249.71 c | 9081 | 17.3 | 0 | 168052 | 527 | 473 | 365966671 | 17403593 || 9081 | 39758747 | 1/ 0 | 5955121 | 0 | 3266.47/3266.45 c | 9139 | 16.7 | 0 | 176096 | 101 | 474 | 367478091 | 17478008 || 9139 | 39926046 | 1/ 0 | 5979983 | 0 | 3283.87/3283.89 c | 9210 | 17.4 | 0 | 174312 | 3956 | 475 | 369018451 | 17554377 || 9210 | 40108146 | 1/ 0 | 6007293 | 0 | 3301.19/3301.12 c | 9213 | 17.2 | 0 | 178591 | 18358 | 476 | 370553852 | 17624488 || 9213 | 40316259 | 1/ 0 | 6052209 | 0 | 3318.88/3318.85 c | 9214 | 17.7 | 0 | 174786 | 28058 | 477 | 372069658 | 17693394 || 9214 | 40525517 | 1/ 0 | 6104652 | 0 | 3337.58/3337.58 c | 9214 | 18.7 | 0 | 181806 | 48201 | 478 | 373485953 | 17775721 || 9214 | 40764478 | 1/ 0 | 6106741 | 0 | 3353.58/3353.57 c | 9214 | 16.0 | 0 | 182239 | 47757 | 479 | 375279340 | 17833294 || 9214 | 40767054 | 1/ 0 | 6106763 | 0 | 3371.60/3371.59 c | 9293 | 18.0 | 0 | 192761 | 810 | 480 | 376806129 | 17910956 || 9293 | 40931166 | 1/ 0 | 6130518 | 0 | 3389.20/3389.14 c | 9353 | 17.6 | 0 | 192119 | 49 | 481 | 378383468 | 17986948 || 9353 | 41104017 | 1/ 0 | 6155889 | 0 | 3407.98/3407.94 c | 9435 | 18.8 | 0 | 195467 | 1588 | 482 | 379933929 | 18065039 || 9435 | 41283079 | 1/ 0 | 6182559 | 0 | 3426.68/3426.65 c | 9469 | 18.7 | 0 | 201943 | 17402 | 483 | 381423183 | 18141083 || 9469 | 41488551 | 1/ 0 | 6214496 | 0 | 3446.28/3446.24 c | 9532 | 19.6 | 0 | 199540 | 3687 | 484 | 382995003 | 18215480 || 9532 | 41630736 | 1/ 0 | 6234764 | 0 | 3465.38/3465.38 c | 9596 | 19.1 | 0 | 204465 | 9264 | 485 | 384533723 | 18293029 || 9596 | 41816794 | 1/ 0 | 6261659 | 0 | 3484.79/3484.77 c | 9672 | 19.4 | 0 | 192423 | 188 | 486 | 386105825 | 18369357 || 9672 | 41971835 | 1/ 0 | 6283960 | 0 | 3503.61/3503.52 c | 9724 | 18.8 | 0 | 191729 | 7858 | 487 | 387611878 | 18445725 || 9724 | 42171686 | 1/ 0 | 6321686 | 0 | 3523.79/3523.72 c | 9725 | 20.2 | 0 | 188231 | 37859 | 488 | 389077515 | 18525371 || 9725 | 42401187 | 1/ 0 | 6348856 | 0 | 3542.79/3542.76 c | 9774 | 19.0 | 0 | 186032 | 53 | 489 | 390741949 | 18594820 || 9774 | 42489972 | 1/ 0 | 6361207 | 0 | 3562.38/3562.39 c | 9851 | 19.6 | 0 | 188752 | 3500 | 490 | 392283006 | 18674096 || 9851 | 42675673 | 1/ 0 | 6389393 | 0 | 3581.18/3581.13 c | 9915 | 18.7 | 0 | 186979 | 1679 | 491 | 393839008 | 18750365 || 9915 | 42847147 | 1/ 0 | 6416262 | 0 | 3600.41/3600.35 c | 9979 | 19.2 | 0 | 190551 | 7903 | 492 | 395354410 | 18831227 || 9979 | 43039529 | 1/ 0 | 6443294 | 0 | 3618.78/3618.73 c | 10011 | 18.4 | 0 | 195591 | 1516 | 493 | 396955138 | 18903920 || 10011 | 43190886 | 1/ 0 | 6465170 | 0 | 3638.08/3638.09 c | 10103 | 19.4 | 0 | 195647 | 324 | 494 | 398505379 | 18984976 || 10103 | 43371671 | 1/ 0 | 6491171 | 0 | 3657.08/3657.03 c | 10164 | 18.9 | 0 | 198378 | 5 | 495 | 400074479 | 19062853 || 10164 | 43549398 | 1/ 0 | 6517436 | 0 | 3676.48/3676.46 c | 10233 | 19.4 | 0 | 203161 | 1976 | 496 | 401672413 | 19141527 || 10233 | 43729662 | 1/ 0 | 6544140 | 0 | 3695.68/3695.66 c | 10236 | 19.2 | 0 | 202052 | 23277 | 497 | 403255937 | 19217387 || 10236 | 43961263 | 1/ 0 | 6590455 | 0 | 3717.28/3717.27 c | 10237 | 21.6 | 0 | 208173 | 35072 | 498 | 404860637 | 19288217 || 10237 | 44174812 | 1/ 0 | 6642958 | 0 | 3740.69/3740.68 c | 10237 | 23.4 | 0 | 209515 | 8571 | 499 | 406312283 | 19365643 || 10237 | 44367216 | 1/ 0 | 6644607 | 0 | 3762.00/3761.98 c | 10238 | 21.3 | 0 | 201388 | 58976 | 500 | 408115544 | 19430681 || 10238 | 44600911 | 1/ 0 | 6746875 | 0 | 3786.49/3786.45 c | 10238 | 24.5 | 0 | 200524 | 50503 | 501 | 409534848 | 19517527 || 10238 | 44847656 | 1/ 0 | 6749103 | 0 | 3809.30/3809.27 c | 10238 | 22.8 | 0 | 191932 | 6474 | 502 | 410928925 | 19599049 || 10238 | 45058144 | 1/ 0 | 6750928 | 0 | 3825.69/3825.66 c | 10238 | 16.4 | 0 | 187047 | 57176 | 503 | 412791060 | 19658472 || 10238 | 45058144 | 1/ 0 | 6750928 | 0 | 3843.69/3843.61 c | 10253 | 18.0 | 0 | 182540 | 1146 | 504 | 414625634 | 19721116 || 10253 | 45081354 | 1/ 0 | 6754298 | 0 | 3864.49/3864.48 c | 10339 | 20.9 | 0 | 175742 | 469 | 505 | 416254440 | 19803213 || 10339 | 45265789 | 1/ 0 | 6780636 | 0 | 3883.89/3883.87 c | 10402 | 19.4 | 0 | 185763 | 130 | 506 | 417837414 | 19883405 || 10402 | 45445512 | 1/ 0 | 6807208 | 0 | 3904.49/3904.46 c | 10490 | 20.6 | 0 | 186566 | 2047 | 507 | 419478287 | 19966226 || 10490 | 45635845 | 1/ 0 | 6835031 | 0 | 3923.99/3923.92 c | 10507 | 19.5 | 0 | 189612 | 13 | 508 | 421186059 | 20041185 || 10507 | 45806612 | 1/ 0 | 6861063 | 0 | 3944.99/3944.95 c | 10592 | 21.0 | 0 | 188520 | 52 | 509 | 422791930 | 20123352 || 10592 | 45990301 | 1/ 0 | 6887803 | 0 | 3965.09/3965.07 c | 10657 | 20.1 | 0 | 187654 | 138 | 510 | 424474561 | 20204465 || 10657 | 46175359 | 1/ 0 | 6914892 | 0 | 3984.69/3984.62 c | 10745 | 19.6 | 0 | 191335 | 2179 | 511 | 426116316 | 20287805 || 10745 | 46364537 | 1/ 0 | 6942393 | 0 | 4005.80/4005.74 c | 10749 | 21.1 | 0 | 194311 | 17772 | 512 | 427773680 | 20362518 || 10749 | 46587495 | 1/ 0 | 6991412 | 0 | 4026.90/4026.88 c | 10764 | 21.1 | 0 | 194888 | 1043 | 513 | 429465219 | 20436588 || 10764 | 46706769 | 1/ 0 | 6995606 | 0 | 4047.60/4047.53 c | 10852 | 20.7 | 0 | 195721 | 179 | 514 | 431115755 | 20520404 || 10852 | 46893768 | 1/ 0 | 7022448 | 0 | 4068.30/4068.26 c | 10918 | 20.7 | 0 | 202529 | 267 | 515 | 432768731 | 20601479 || 10918 | 47077765 | 1/ 0 | 7049755 | 0 | 4090.00/4089.92 c | 11002 | 21.7 | 0 | 208041 | 2308 | 516 | 434427248 | 20685030 || 11002 | 47269940 | 1/ 0 | 7079443 | 0 | 4109.40/4109.35 c | 11025 | 19.4 | 0 | 207638 | 162 | 517 | 436115110 | 20761262 || 11025 | 47439227 | 1/ 0 | 7103842 | 0 | 4131.40/4131.30 c | 11113 | 21.9 | 0 | 206226 | 5 | 518 | 437767786 | 20845902 || 11113 | 47632049 | 1/ 0 | 7131664 | 0 | 4150.90/4150.86 c | 11178 | 19.6 | 0 | 212369 | 57 | 519 | 439426860 | 20927392 || 11178 | 47816847 | 1/ 0 | 7158782 | 0 | 4173.10/4173.00 c | 11257 | 22.1 | 0 | 217865 | 1203 | 520 | 441054784 | 21011403 || 11257 | 48011111 | 1/ 0 | 7187081 | 0 | 4196.51/4196.46 c | 11260 | 23.5 | 0 | 215877 | 24904 | 521 | 442743471 | 21090839 || 11260 | 48252696 | 1/ 0 | 7233325 | 0 | 4218.20/4218.10 c | 11261 | 21.6 | 0 | 210978 | 39105 | 522 | 444463688 | 21165685 || 11261 | 48444087 | 1/ 0 | 7269028 | 0 | 4239.41/4239.39 c | 11261 | 21.3 | 0 | 205863 | 15002 | 523 | 446011067 | 21245279 || 11261 | 48620701 | 1/ 0 | 7270577 | 0 | 4260.20/4260.11 c | 11295 | 20.7 | 0 | 202148 | 255 | 524 | 447837263 | 21315357 || 11295 | 48682144 | 1/ 0 | 7279434 | 0 | 4281.11/4281.10 c | 11386 | 21.0 | 0 | 202808 | 505 | 525 | 449504402 | 21400264 || 11386 | 48874876 | 1/ 0 | 7307672 | 0 | 4302.61/4302.53 c | 11451 | 21.4 | 0 | 202796 | 2169 | 526 | 451224740 | 21483471 || 11451 | 49067009 | 1/ 0 | 7337854 | 0 | 4324.91/4324.81 c | 11515 | 22.3 | 0 | 202965 | 2341 | 527 | 452870953 | 21567537 || 11515 | 49263822 | 1/ 0 | 7364873 | 0 | 4348.31/4348.22 c | 11567 | 23.4 | 0 | 206100 | 152 | 528 | 454600980 | 21646862 || 11567 | 49437506 | 1/ 0 | 7390730 | 0 | 4370.11/4370.00 c | 11642 | 21.8 | 0 | 205856 | 3002 | 529 | 456257900 | 21730525 || 11642 | 49627680 | 1/ 0 | 7418733 | 0 | 4392.43/4392.36 c | 11713 | 22.4 | 0 | 212579 | 483 | 530 | 457985262 | 21815084 || 11713 | 49818908 | 1/ 0 | 7446825 | 0 | 4415.10/4415.02 c | 11771 | 22.7 | 0 | 209160 | 10460 | 531 | 459684626 | 21899231 || 11771 | 50036128 | 1/ 0 | 7484939 | 0 | 4438.81/4438.75 c | 11772 | 23.7 | 0 | 208228 | 6460 | 532 | 461383152 | 21979633 || 11772 | 50251940 | 1/ 0 | 7511956 | 0 | 4461.41/4461.39 c | 11835 | 22.6 | 0 | 202600 | 4054 | 533 | 463148326 | 22059702 || 11835 | 50388246 | 1/ 0 | 7532187 | 0 | 4482.81/4482.71 c | 11899 | 21.3 | 0 | 205323 | 4915 | 534 | 464880432 | 22143486 || 11899 | 50573072 | 1/ 0 | 7559217 | 0 | 4505.74/4505.68 c | 11993 | 23.0 | 0 | 219016 | 1822 | 535 | 466563291 | 22230421 || 11993 | 50767074 | 1/ 0 | 7587798 | 0 | 4528.01/4527.90 c | 12027 | 22.2 | 0 | 222144 | 3756 | 536 | 468270531 | 22313810 || 12027 | 50980677 | 1/ 0 | 7619694 | 0 | 4551.52/4551.47 c | 12106 | 23.6 | 0 | 228656 | 7 | 537 | 470036214 | 22398077 || 12106 | 51145822 | 1/ 0 | 7643484 | 0 | 4575.04/4574.94 c | 12179 | 23.5 | 0 | 230573 | 282 | 538 | 471781529 | 22482819 || 12179 | 51339233 | 1/ 0 | 7672069 | 0 | 4599.92/4599.86 c | 12272 | 24.9 | 0 | 239730 | 1 | 539 | 473507871 | 22570270 || 12272 | 51535572 | 1/ 0 | 7700493 | 0 | 4623.44/4623.34 c | 12283 | 23.5 | 0 | 240743 | 15483 | 540 | 475238870 | 22650667 || 12283 | 51775686 | 1/ 0 | 7753334 | 0 | 4647.52/4647.50 c | 12284 | 24.2 | 0 | 230429 | 31585 | 541 | 476932648 | 22728603 || 12284 | 52011699 | 1/ 0 | 7805864 | 0 | 4676.92/4676.82 c | 12284 | 29.3 | 0 | 232193 | 9381 | 542 | 478560636 | 22814809 || 12284 | 52229465 | 1/ 0 | 7807716 | 0 | 4699.34/4699.22 c | 12285 | 22.4 | 0 | 234644 | 64083 | 543 | 480452299 | 22887109 || 12285 | 52487204 | 1/ 0 | 7911128 | 0 | 4725.82/4725.77 c | 12285 | 26.5 | 0 | 241812 | 54801 | 544 | 482040566 | 22978565 || 12285 | 52751365 | 1/ 0 | 7913395 | 0 | 4752.31/4752.22 c | 12285 | 26.5 | 0 | 244701 | 20186 | 545 | 483774012 | 23061374 || 12285 | 52917941 | 1/ 0 | 7914868 | 0 | 4773.62/4773.50 c | 12285 | 21.3 | 0 | 255999 | 75187 | 546 | 485753985 | 23127210 || 12285 | 52917941 | 1/ 0 | 7914868 | 0 | 4803.73/4803.64 c | 12286 | 30.1 | 0 | 279037 | 130293 | 547 | 487503503 | 23207025 || 12286 | 53447093 | 1/ 0 | 8121355 | 0 | 4834.32/4834.23 c | 12286 | 30.6 | 0 | 288655 | 55202 | 548 | 489044055 | 23298730 || 12286 | 53712183 | 1/ 0 | 8123644 | 0 | 4864.72/4864.69 c | 12286 | 30.5 | 0 | 266124 | 55302 | 549 | 490556902 | 23387046 || 12286 | 53970723 | 1/ 0 | 8125831 | 0 | 4901.92/4901.87 c | 12286 | 37.2 | 0 | 245462 | 55402 | 550 | 491961259 | 23475093 || 12286 | 54226785 | 1/ 0 | 8128015 | 0 | 4928.72/4928.64 c | 12286 | 26.8 | 0 | 224942 | 44500 | 551 | 493779127 | 23545070 || 12286 | 54276531 | 1/ 0 | 8128437 | 0 | 4951.72/4951.60 c | 12286 | 23.0 | 0 | 198789 | 100102 | 552 | 495787206 | 23611315 || 12286 | 54276531 | 1/ 0 | 8128437 | 0 | 4972.92/4972.81 c | 12286 | 21.2 | 0 | 172528 | 155803 | 553 | 497854165 | 23677292 || 12286 | 54276531 | 1/ 0 | 8128437 | 0 | 4994.63/4994.51 c | 12303 | 21.7 | 0 | 145980 | 68 | 554 | 499853319 | 23746789 || 12303 | 54302508 | 1/ 0 | 8132030 | 0 | 5000.04/4999.92 c | 12336 | 5.4 | 0 | 162489 | 208 | 554 | 500403313 | 23774197 || 12336 | 54363314 | 1/ 0 | 8140785 | 0 | 5000.04/4999.92 c c 5000.04/4999.92 c ----------------------------------- 5000.04/4999.92 c # temps = 5000.020000 5000.04/4999.92 c # cleaningDB = 554 5000.04/4999.92 c # clause binaire = 377 5000.04/4999.92 c # literal removed by litRedundant = 269902286 5000.04/4999.92 c # literal removed by litRedundantBin = 10233062 5000.04/4999.92 c # init clause removed by simplify = 0 5000.04/4999.92 c # learnt clause removed by simplify = 0 5000.04/4999.92 c # une clause fausse était une apprise = 0 5000.04/4999.92 c # equivalence dectecte = 0 5000.04/4999.92 c # Memory used : 106.31 MB 5000.04/4999.92 c 5000.04/4999.92 c ######################## 5000.04/4999.92 c #### ## ### ## #### 5000.04/4999.92 c #### #### # ## #### #### 5000.04/4999.92 c #### ## ### ## ### 5000.04/4999.92 c ######################## 5000.04/4999.92 c # restart = 12336 5000.04/4999.92 c # conflit = 15612681 5000.04/4999.92 c # decision = 23774197 5000.04/4999.92 c # propagation = 500403313 (100080.262279 (prop/sec)) 5000.04/4999.92 c 5000.04/4999.92 c ######################## 5000.04/4999.92 c ### ### # ## ## ## 5000.04/4999.92 c ### # # # #### # ### ### 5000.04/4999.92 c ### # ### ## # ### ### 5000.04/4999.92 c ######################## 5000.04/4999.92 c # numtry = 12336 5000.04/4999.92 c # numflips = 54363314 5000.04/4999.92 c # maxSat = 1 5000.04/4999.92 c # freeFlip = 14947568 5000.04/4999.92 c # nbBoundary = 68 5000.04/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-3439100-1306905260/watcher-3439100-1306905260 -o /tmp/evaluation-result-3439100-1306905260/solver-3439100-1306905260 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439100-1306905260.cnf rnovelty running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 2.03 2.00 2/577 5220 /proc/meminfo: memFree=5073016/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 802123712 8912896 252 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/5220/statm: 2176 252 211 178 0 69 0 [startup+0.0337299 s] /proc/loadavg: 1.92 2.03 2.00 2/577 5220 /proc/meminfo: memFree=5073016/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 802123712 8912896 252 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/5220/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100717 s] /proc/loadavg: 1.92 2.03 2.00 2/577 5220 /proc/meminfo: memFree=5073016/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.300682 s] /proc/loadavg: 1.92 2.03 2.00 2/577 5220 /proc/meminfo: memFree=5073016/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.700608 s] /proc/loadavg: 1.92 2.03 2.00 2/577 5220 /proc/meminfo: memFree=5073016/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+1.50046 s] /proc/loadavg: 1.92 2.03 2.00 3/580 5224 /proc/meminfo: memFree=5064684/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=13368 CPUtime=1.45 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 1785 0 0 0 145 0 0 0 25 0 1 0 802123717 13688832 1697 33554432000 4194304 4241092 140736183579520 18446744073709551615 4206170 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 3342 1697 136 12 0 1806 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 30776 [startup+3.10117 s] /proc/loadavg: 1.92 2.03 2.00 3/580 5224 /proc/meminfo: memFree=5062824/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=14188 CPUtime=3.05 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 1974 0 0 0 305 0 0 0 25 0 1 0 802123717 14528512 1886 33554432000 4194304 4241092 140736183579520 18446744073709551615 4205378 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 3547 1886 136 12 0 2011 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 31596 [startup+6.3006 s] /proc/loadavg: 1.93 2.02 2.00 3/580 5224 /proc/meminfo: memFree=5061208/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=15540 CPUtime=6.25 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 2322 0 0 0 625 0 0 0 25 0 1 0 802123717 15912960 2234 33554432000 4194304 4241092 140736183579520 18446744073709551615 4205860 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 3885 2234 136 12 0 2349 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 32948 [startup+12.7004 s] /proc/loadavg: 1.94 2.02 2.00 3/580 5224 /proc/meminfo: memFree=5058884/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=17136 CPUtime=12.65 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 2728 0 0 0 1265 0 0 0 25 0 1 0 802123717 17547264 2640 33554432000 4194304 4241092 140736183579520 18446744073709551615 4223760 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 4284 2640 136 12 0 2748 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34544 [startup+25.5011 s] /proc/loadavg: 1.95 2.02 2.00 3/580 5224 /proc/meminfo: memFree=5056276/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=19364 CPUtime=25.45 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 3285 0 0 0 2545 0 0 0 25 0 1 0 802123717 19828736 3194 33554432000 4194304 4241092 140736183579520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 4841 3194 136 12 0 3305 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36772 [startup+51.1004 s] /proc/loadavg: 1.97 2.02 2.00 3/580 5225 /proc/meminfo: memFree=5053956/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=21944 CPUtime=51.04 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 3987 0 0 0 5104 0 0 0 25 0 1 0 802123717 22470656 3843 33554432000 4194304 4241092 140736183579520 18446744073709551615 4223660 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 5486 3843 136 12 0 3950 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39352 [startup+102.322 s] /proc/loadavg: 1.98 2.02 2.00 3/580 5226 /proc/meminfo: memFree=5048692/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=26780 CPUtime=102.27 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 5412 0 0 0 10226 1 0 0 25 0 1 0 802123717 27422720 5067 33554432000 4194304 4241092 140736183579520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 6695 5067 136 12 0 5159 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 44188 [startup+162.301 s] /proc/loadavg: 2.11 2.04 2.01 3/580 5228 /proc/meminfo: memFree=5043156/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=30496 CPUtime=162.25 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 6669 0 0 0 16224 1 0 0 25 0 1 0 802123717 31227904 5989 33554432000 4194304 4241092 140736183579520 18446744073709551615 4223607 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 7624 5989 136 12 0 6088 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 47904 [startup+222.301 s] /proc/loadavg: 2.09 2.05 2.01 3/580 5262 /proc/meminfo: memFree=5088680/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=32388 CPUtime=222.25 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 7495 0 0 0 22223 2 0 0 25 0 1 0 802123717 33165312 6445 33554432000 4194304 4241092 140736183579520 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 8097 6445 136 12 0 6561 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 49796 [startup+282.301 s] ################ # More data... # ################ /proc/meminfo: memFree=4927976/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=95868 CPUtime=4542.38 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 44271 0 0 0 454213 25 0 0 25 0 1 0 802123717 98168832 22308 33554432000 4194304 4241092 140736183579520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 23967 22308 136 12 0 22431 0 Current children cumulated CPU time (s) 4542.41 Current children cumulated vsize (KiB) 113276 [startup+4602.3 s] /proc/loadavg: 2.08 2.06 2.01 3/580 5390 /proc/meminfo: memFree=4926668/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=95780 CPUtime=4602.39 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 44500 0 0 0 460214 25 0 0 25 0 1 0 802123717 98078720 22290 33554432000 4194304 4241092 140736183579520 18446744073709551615 4223600 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 23945 22290 136 12 0 22409 0 Current children cumulated CPU time (s) 4602.42 Current children cumulated vsize (KiB) 113188 [startup+4662.3 s] /proc/loadavg: 2.03 2.05 2.00 3/580 5392 /proc/meminfo: memFree=4926608/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=95928 CPUtime=4662.39 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 44736 0 0 0 466214 25 0 0 25 0 1 0 802123717 98230272 22320 33554432000 4194304 4241092 140736183579520 18446744073709551615 4225153 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 23982 22320 136 12 0 22446 0 Current children cumulated CPU time (s) 4662.42 Current children cumulated vsize (KiB) 113336 [startup+4722.32 s] /proc/loadavg: 2.01 2.04 2.00 3/580 5394 /proc/meminfo: memFree=4925688/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=96912 CPUtime=4722.41 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 45183 0 0 0 472216 25 0 0 25 0 1 0 802123717 99237888 22587 33554432000 4194304 4241092 140736183579520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 24228 22587 136 12 0 22692 0 Current children cumulated CPU time (s) 4722.44 Current children cumulated vsize (KiB) 114320 [startup+4782.3 s] /proc/loadavg: 2.00 2.03 2.00 3/580 5395 /proc/meminfo: memFree=4923792/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=98808 CPUtime=4782.4 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 45901 0 0 0 478214 26 0 0 25 0 1 0 802123717 101179392 23064 33554432000 4194304 4241092 140736183579520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 24702 23064 136 12 0 23166 0 Current children cumulated CPU time (s) 4782.43 Current children cumulated vsize (KiB) 116216 [startup+4842.3 s] /proc/loadavg: 2.00 2.02 2.00 3/580 5397 /proc/meminfo: memFree=4916044/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=104800 CPUtime=4842.39 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 47500 0 0 0 484212 27 0 0 25 0 1 0 802123717 107315200 24540 33554432000 4194304 4241092 140736183579520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 26200 24540 136 12 0 24664 0 Current children cumulated CPU time (s) 4842.42 Current children cumulated vsize (KiB) 122208 [startup+4902.3 s] /proc/loadavg: 2.07 2.04 2.01 3/580 5398 /proc/meminfo: memFree=4912380/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=108048 CPUtime=4902.39 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 48599 0 0 0 490212 27 0 0 25 0 1 0 802123717 110641152 25357 33554432000 4194304 4241092 140736183579520 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 27012 25357 136 12 0 25476 0 Current children cumulated CPU time (s) 4902.42 Current children cumulated vsize (KiB) 125456 [startup+4962.3 s] /proc/loadavg: 2.06 2.05 2.01 3/580 5400 /proc/meminfo: memFree=4914068/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=108600 CPUtime=4962.39 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 49016 0 0 0 496212 27 0 0 25 0 1 0 802123717 111206400 25488 33554432000 4194304 4241092 140736183579520 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 27150 25488 136 12 0 25614 0 Current children cumulated CPU time (s) 4962.42 Current children cumulated vsize (KiB) 126008 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.03 2.04 2.00 3/580 5401 /proc/meminfo: memFree=4912408/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=108852 CPUtime=5000.01 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 49430 0 0 0 499973 28 0 0 25 0 1 0 802123717 111464448 25586 33554432000 4194304 4241092 140736183579520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 27213 25586 136 12 0 25677 0 Current children cumulated CPU time (s) 5000.04 Current children cumulated vsize (KiB) 126260 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.03 2.04 2.00 3/580 5401 /proc/meminfo: memFree=4912408/32951124 swapFree=58940260/67111528 [pid=5220] ppid=5218 vsize=8704 CPUtime=0.03 cores=1,3,5,7 /proc/5220/stat : 5220 (esg_static.sh) S 5218 5220 3606 0 -1 4202496 348 871 0 0 0 0 3 0 25 0 1 0 802123712 8912896 255 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687675136 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/5220/statm: 2176 255 211 178 0 69 0 [pid=5223] ppid=5220 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (esg_static.sh) S 5220 5220 3606 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 802123717 8912896 134 33554432000 4194304 4922060 140736725999616 18446744073709551615 212687494277 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/5223/statm: 2176 134 90 178 0 69 0 [pid=5224] ppid=5223 vsize=108852 CPUtime=5000.01 cores=1,3,5,7 /proc/5224/stat : 5224 (sathys) R 5223 5220 3606 0 -1 4202496 49430 0 0 0 499973 28 0 0 25 0 1 0 802123717 111464448 25586 33554432000 4194304 4241092 140736183579520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/5224/statm: 27213 25586 136 12 0 25677 0 Current children cumulated CPU time (s) 5000.04 Current children cumulated vsize (KiB) 126260 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 5220 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=41993 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=5999 # CPU time returned by wait4() is 0.047992 # while last known CPU time is 5000.04 # # 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.04 CPU user time (s): 4999.76 CPU system time (s): 0.28 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 126772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.041993 system time used= 0.005999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1385 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33 involuntary context switches= 7 runsolver used 27.1479 second user time and 68.5446 second system time The end
Begin job on node139 at 2011-06-01 07:14:20 IDJOB=3439100 IDBENCH=83266 IDSOLVER=1935 FILE ID=node139/3439100-1306905260 RUNJOBID= node139-1306900257-4792 PBS_JOBID= 13488437 Free space on /tmp= 51284 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-24_567.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439100-1306905260/watcher-3439100-1306905260 -o /tmp/evaluation-result-3439100-1306905260/solver-3439100-1306905260 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439100-1306905260.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cb7c9df8144e5ba66f8009983efe791f RANDOM SEED=2033119904 node139.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.852 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.70 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.852 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.852 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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 : 5321.49 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.852 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.852 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.82 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.852 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: 5073164 kB Buffers: 108540 kB Cached: 18738780 kB SwapCached: 3504 kB Active: 15277604 kB Inactive: 11841344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 5073164 kB SwapTotal: 67111528 kB SwapFree: 58940260 kB Dirty: 1604 kB Writeback: 0 kB AnonPages: 8269832 kB Mapped: 33028 kB Slab: 609948 kB PageTables: 78572 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 170959336 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= 51280 MiB End job on node139 at 2011-06-01 08:37:42