| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.09 | 5000.03 |
| Name | crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf |
| MD5SUM | d2ef996f95bbf68a3c980c797dfdc364 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2071 |
| Number of clauses | 159039 |
| Sum of the clauses size | 479052 |
| Maximum clause length | 6 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 158394 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 645 |
0.00/0.00 static 0.00/0.00 HOME/instance-3439045-1306902820.cnf 0.00/0.00 c Parsing... 0.00/0.05 c ============================================================================== 0.00/0.05 c | | ORIGINAL | LEARNT | | 0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.05 c ============================================================================== 0.00/0.05 c | 0 | 159039 479052 | 47711 0 0 nan | 0.000 % | 1.19/1.22 c | 0 | 88789 468229 | -- 0 -- -- | -- | -70250/-10823 1.19/1.22 c ============================================================================== 1.19/1.22 c Result : #vars: 1316 #clauses: 88789 #literals: 468229 1.19/1.22 c CPU time: 1.20782 s 1.19/1.22 c ============================================================================== 1.29/1.42 c 1.29/1.42 c seed = 0, numatom = 1316, numclause = 88789, numliterals = 468229 1.29/1.42 c --------------------------------------------------------------------------------------------------------------------------------------------- 1.29/1.42 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 1.29/1.42 c --------------------------------------------------------------------------------------------------------------------------------------------- 1.29/1.53 c | 2 | 0.1 | 0 | 501 | 0 | 1 | 38768 | 2239 || 2 | 4072 | 101/ 101 | 241 | 0 | 1.29/1.60 c | 4 | 0.1 | 0 | 783 | 301 | 2 | 86636 | 4236 || 4 | 7480 | 61/ 61 | 579 | 0 | 1.29/1.68 c | 6 | 0.1 | 0 | 1076 | 195 | 3 | 144422 | 6648 || 6 | 11164 | 61/ 61 | 910 | 0 | 1.29/1.78 c | 7 | 0.1 | 0 | 1377 | 395 | 4 | 205861 | 9208 || 7 | 15868 | 49/ 49 | 1362 | 0 | 1.29/1.91 c | 11 | 0.1 | 0 | 1704 | 296 | 5 | 281844 | 12785 || 11 | 22123 | 49/ 49 | 1913 | 0 | 1.29/2.04 c | 14 | 0.1 | 0 | 2078 | 495 | 6 | 366203 | 16269 || 14 | 28701 | 49/ 49 | 2680 | 0 | 2.07/2.16 c | 15 | 0.1 | 0 | 2404 | 994 | 7 | 447576 | 19259 || 15 | 34638 | 27/ 27 | 3568 | 0 | 2.19/2.26 c | 16 | 0.1 | 0 | 2731 | 91 | 8 | 539336 | 21887 || 16 | 37040 | 27/ 27 | 3704 | 0 | 2.37/2.42 c | 21 | 0.2 | 0 | 2903 | 80 | 9 | 644087 | 26681 || 21 | 44908 | 27/ 27 | 4478 | 0 | 2.47/2.59 c | 25 | 0.2 | 0 | 3182 | 178 | 10 | 760544 | 31207 || 25 | 52526 | 27/ 27 | 5343 | 0 | 2.67/2.76 c | 29 | 0.2 | 0 | 3508 | 577 | 11 | 877231 | 36281 || 29 | 60955 | 27/ 27 | 6234 | 0 | 2.87/2.92 c | 30 | 0.2 | 0 | 3778 | 378 | 12 | 1000159 | 40534 || 30 | 67807 | 27/ 27 | 7096 | 0 | 3.07/3.12 c | 31 | 0.2 | 0 | 4187 | 2079 | 13 | 1121799 | 45712 || 31 | 78887 | 23/ 23 | 8814 | 0 | 3.17/3.26 c | 31 | 0.1 | 0 | 4400 | 1479 | 14 | 1263738 | 48636 || 31 | 80873 | 23/ 23 | 8838 | 0 | 3.47/3.51 c | 38 | 0.2 | 0 | 4403 | 375 | 15 | 1413053 | 55533 || 38 | 93103 | 23/ 23 | 10164 | 0 | 3.67/3.74 c | 44 | 0.2 | 0 | 4788 | 271 | 16 | 1572276 | 62217 || 44 | 103612 | 23/ 23 | 11077 | 0 | 3.87/3.97 c | 46 | 0.2 | 0 | 5053 | 265 | 17 | 1737324 | 68857 || 46 | 114568 | 23/ 23 | 12393 | 0 | 4.17/4.22 c | 53 | 0.2 | 0 | 5380 | 258 | 18 | 1912906 | 76332 || 53 | 126068 | 23/ 23 | 13724 | 0 | 4.39/4.49 c | 59 | 0.3 | 0 | 5768 | 146 | 19 | 2091174 | 83720 || 59 | 137875 | 23/ 23 | 14657 | 0 | 4.67/4.74 c | 61 | 0.2 | 0 | 6370 | 739 | 20 | 2287558 | 90492 || 61 | 149005 | 23/ 23 | 15980 | 0 | 4.97/5.04 c | 62 | 0.3 | 0 | 6814 | 838 | 21 | 2488752 | 97538 || 62 | 162126 | 23/ 23 | 17721 | 0 | 5.27/5.35 c | 63 | 0.3 | 0 | 6834 | 3440 | 22 | 2686177 | 105746 || 63 | 179502 | 20/ 20 | 21130 | 0 | 5.57/5.62 c | 63 | 0.3 | 0 | 6871 | 1339 | 23 | 2896032 | 112231 || 63 | 187932 | 20/ 20 | 21211 | 0 | 5.77/5.88 c | 67 | 0.3 | 0 | 7098 | 31 | 24 | 3117772 | 118190 || 67 | 193817 | 20/ 20 | 21794 | 0 | 6.17/6.25 c | 76 | 0.4 | 0 | 7024 | 19 | 25 | 3359122 | 127450 || 76 | 209813 | 20/ 20 | 23449 | 0 | 6.47/6.56 c | 81 | 0.3 | 0 | 7266 | 111 | 26 | 3588465 | 135758 || 81 | 222849 | 20/ 20 | 25167 | 0 | 6.87/6.93 c | 90 | 0.4 | 0 | 7542 | 198 | 27 | 3837533 | 145910 || 90 | 239242 | 20/ 20 | 26748 | 0 | 7.27/7.30 c | 94 | 0.4 | 0 | 8099 | 1093 | 28 | 4095654 | 155766 || 94 | 257889 | 20/ 20 | 29935 | 0 | 7.57/7.63 c | 96 | 0.3 | 0 | 8579 | 86 | 29 | 4354613 | 164076 || 96 | 268593 | 20/ 20 | 30235 | 0 | 7.97/8.05 c | 107 | 0.4 | 0 | 9279 | 271 | 30 | 4635160 | 175243 || 107 | 286898 | 20/ 20 | 32199 | 0 | 8.37/8.45 c | 113 | 0.4 | 0 | 9393 | 256 | 31 | 4922688 | 185180 || 113 | 302268 | 20/ 20 | 34030 | 0 | 8.87/8.90 c | 123 | 0.5 | 0 | 9648 | 35 | 32 | 5210214 | 197521 || 123 | 322939 | 20/ 20 | 36142 | 0 | 9.27/9.36 c | 125 | 0.5 | 0 | 10094 | 133 | 33 | 5506842 | 209026 || 125 | 344948 | 20/ 20 | 38760 | 0 | 9.67/9.80 c | 126 | 0.4 | 0 | 10110 | 3939 | 34 | 5795226 | 219799 || 126 | 367854 | 20/ 20 | 42191 | 0 | 10.07/10.14 c | 126 | 0.3 | 0 | 10449 | 3039 | 35 | 6089312 | 227452 || 126 | 374836 | 20/ 20 | 42257 | 0 | 10.66/10.72 c | 127 | 0.6 | 0 | 10468 | 7042 | 36 | 6389644 | 239924 || 127 | 407495 | 18/ 18 | 49004 | 0 | 11.06/11.19 c | 127 | 0.5 | 0 | 10272 | 1542 | 37 | 6706730 | 250754 || 127 | 423050 | 18/ 18 | 49169 | 0 | 11.36/11.49 c | 127 | 0.3 | 0 | 10123 | 5746 | 38 | 7007981 | 255957 || 127 | 423050 | 18/ 18 | 49169 | 0 | 11.97/12.02 c | 140 | 0.5 | 0 | 10357 | 127 | 39 | 7357524 | 269052 || 140 | 444026 | 18/ 18 | 51408 | 0 | 12.46/12.54 c | 149 | 0.5 | 0 | 10804 | 217 | 40 | 7708575 | 282929 || 149 | 466335 | 18/ 18 | 54060 | 0 | 12.97/13.07 c | 157 | 0.5 | 0 | 11470 | 503 | 41 | 8073155 | 297922 || 157 | 489928 | 18/ 18 | 56311 | 0 | 13.47/13.59 c | 163 | 0.5 | 0 | 11725 | 195 | 42 | 8435252 | 310326 || 163 | 509801 | 18/ 18 | 58723 | 0 | 14.07/14.16 c | 173 | 0.6 | 0 | 12483 | 176 | 43 | 8811842 | 325143 || 173 | 535247 | 18/ 18 | 61564 | 0 | 14.66/14.76 c | 187 | 0.6 | 0 | 13479 | 349 | 44 | 9198249 | 340511 || 187 | 559757 | 18/ 18 | 64191 | 0 | 15.27/15.33 c | 189 | 0.6 | 0 | 14014 | 1044 | 45 | 9582353 | 353718 || 189 | 582938 | 18/ 18 | 66833 | 0 | 15.76/15.89 c | 190 | 0.6 | 0 | 13681 | 1243 | 46 | 9922144 | 368991 || 190 | 610686 | 18/ 18 | 70321 | 0 | 16.37/16.42 c | 200 | 0.5 | 0 | 13569 | 133 | 47 | 10302353 | 382058 || 200 | 627394 | 18/ 18 | 72096 | 0 | 16.96/17.06 c | 212 | 0.6 | 0 | 14266 | 517 | 48 | 10718611 | 398475 || 212 | 654440 | 18/ 18 | 75176 | 0 | 17.58/17.68 c | 221 | 0.6 | 0 | 14553 | 1601 | 49 | 11133181 | 413776 || 221 | 681425 | 18/ 18 | 79062 | 0 | 18.27/18.31 c | 231 | 0.6 | 0 | 14942 | 282 | 50 | 11573382 | 428596 || 231 | 702103 | 18/ 18 | 80896 | 0 | 18.97/19.01 c | 243 | 0.7 | 0 | 14948 | 55 | 51 | 12025913 | 445503 || 243 | 729480 | 18/ 18 | 83984 | 0 | 19.67/19.72 c | 252 | 0.7 | 0 | 15561 | 2046 | 52 | 12472564 | 463114 || 252 | 761136 | 18/ 18 | 87933 | 0 | 20.27/20.38 c | 253 | 0.7 | 0 | 16033 | 539 | 53 | 12917900 | 475529 || 253 | 786062 | 18/ 18 | 91393 | 0 | 21.06/21.12 c | 254 | 0.7 | 0 | 15213 | 6343 | 54 | 13372970 | 490760 || 254 | 817660 | 10/ 10 | 98129 | 0 | 21.76/21.82 c | 254 | 0.7 | 0 | 15046 | 2638 | 55 | 13825292 | 504810 || 254 | 836321 | 10/ 10 | 98333 | 0 | 22.56/22.60 c | 255 | 0.8 | 0 | 14838 | 8639 | 56 | 14294746 | 517160 || 255 | 873142 | 9/ 9 | 111440 | 0 | 23.56/23.63 c | 255 | 1.0 | 0 | 14776 | 6102 | 57 | 14715258 | 535448 || 255 | 915245 | 9/ 9 | 111874 | 0 | 24.57/24.63 c | 255 | 1.0 | 0 | 14651 | 1738 | 58 | 15153606 | 551006 || 255 | 944922 | 9/ 9 | 112171 | 0 | 25.17/25.27 c | 255 | 0.6 | 0 | 13779 | 8039 | 59 | 15662828 | 558617 || 255 | 944922 | 9/ 9 | 112171 | 0 | 25.87/25.97 c | 262 | 0.7 | 0 | 13736 | 227 | 60 | 16159302 | 570181 || 262 | 956523 | 9/ 9 | 113485 | 0 | 26.77/26.84 c | 277 | 0.9 | 0 | 13825 | 302 | 61 | 16666953 | 590742 || 277 | 992200 | 9/ 9 | 117026 | 0 | 27.57/27.69 c | 286 | 0.9 | 0 | 14665 | 275 | 62 | 17186645 | 610092 || 286 | 1027758 | 9/ 9 | 120976 | 0 | 28.36/28.48 c | 301 | 0.8 | 0 | 15320 | 953 | 63 | 17713476 | 629809 || 301 | 1057750 | 9/ 9 | 124479 | 0 | 29.27/29.30 c | 316 | 0.8 | 0 | 17010 | 109 | 64 | 18240157 | 649701 || 316 | 1088445 | 9/ 9 | 127986 | 0 | 30.17/30.20 c | 318 | 0.9 | 0 | 18544 | 4608 | 65 | 18782575 | 669221 || 318 | 1126826 | 9/ 9 | 133173 | 0 | 30.97/31.01 c | 330 | 0.8 | 0 | 19416 | 88 | 66 | 19352327 | 686815 || 330 | 1148291 | 9/ 9 | 135210 | 0 | 31.88/31.95 c | 347 | 0.9 | 0 | 19256 | 454 | 67 | 19927493 | 709388 || 347 | 1185508 | 9/ 9 | 139390 | 0 | 32.77/32.86 c | 356 | 0.9 | 0 | 19888 | 435 | 68 | 20505091 | 729040 || 356 | 1218025 | 9/ 9 | 143337 | 0 | 33.66/33.79 c | 373 | 0.9 | 0 | 20381 | 9 | 69 | 21070246 | 753076 || 373 | 1256315 | 9/ 9 | 147172 | 0 | 34.66/34.77 c | 381 | 1.0 | 0 | 20813 | 2104 | 70 | 21655195 | 773797 || 381 | 1296071 | 9/ 9 | 154154 | 0 | 35.66/35.74 c | 382 | 1.0 | 0 | 20691 | 4810 | 71 | 22200697 | 793411 || 382 | 1335565 | 9/ 9 | 160945 | 0 | 36.56/36.66 c | 382 | 0.9 | 0 | 21472 | 2809 | 72 | 22776945 | 813134 || 382 | 1361627 | 9/ 9 | 161237 | 0 | 37.56/37.62 c | 396 | 1.0 | 0 | 21185 | 293 | 73 | 23382487 | 831358 || 396 | 1384621 | 9/ 9 | 163895 | 0 | 38.56/38.66 c | 412 | 1.0 | 0 | 20978 | 1059 | 74 | 23992757 | 855556 || 412 | 1424088 | 9/ 9 | 168330 | 0 | 39.58/39.67 c | 426 | 1.0 | 0 | 21592 | 238 | 75 | 24626669 | 877773 || 426 | 1458853 | 9/ 9 | 172300 | 0 | 40.68/40.78 c | 443 | 1.1 | 0 | 21580 | 910 | 76 | 25266127 | 903448 || 443 | 1500954 | 9/ 9 | 177149 | 0 | 41.67/41.77 c | 445 | 1.0 | 0 | 22444 | 610 | 77 | 25858809 | 925267 || 445 | 1539931 | 9/ 9 | 182373 | 0 | 42.66/42.79 c | 460 | 1.0 | 0 | 22716 | 1197 | 78 | 26511828 | 945198 || 460 | 1568152 | 9/ 9 | 185864 | 0 | 43.87/43.92 c | 476 | 1.1 | 0 | 23841 | 1853 | 79 | 27170385 | 970539 || 476 | 1610329 | 9/ 9 | 191089 | 0 | 44.97/45.02 c | 491 | 1.1 | 0 | 23894 | 633 | 80 | 27846607 | 993348 || 491 | 1645381 | 9/ 9 | 194664 | 0 | 46.07/46.14 c | 507 | 1.1 | 0 | 24030 | 303 | 81 | 28505466 | 1020166 || 507 | 1690365 | 9/ 9 | 199912 | 0 | 47.17/47.22 c | 509 | 1.1 | 0 | 24321 | 4103 | 82 | 29189207 | 1040206 || 509 | 1735979 | 9/ 9 | 209932 | 0 | 48.27/48.41 c | 509 | 1.2 | 0 | 24625 | 3202 | 83 | 29854628 | 1060905 || 509 | 1766422 | 9/ 9 | 210256 | 0 | 49.76/49.82 c | 510 | 1.4 | 0 | 24482 | 12003 | 84 | 30524311 | 1082895 || 510 | 1823983 | 9/ 9 | 223598 | 0 | 51.36/51.44 c | 510 | 1.6 | 0 | 23560 | 1704 | 85 | 31168441 | 1106788 || 510 | 1870023 | 9/ 9 | 224053 | 0 | 52.36/52.42 c | 510 | 1.0 | 0 | 22027 | 10706 | 86 | 31872476 | 1117741 || 510 | 1870023 | 9/ 9 | 224053 | 0 | 53.77/53.90 c | 511 | 1.5 | 0 | 21237 | 19808 | 87 | 32541162 | 1134164 || 511 | 1944155 | 4/ 4 | 250317 | 0 | 55.46/55.52 c | 511 | 1.6 | 0 | 20173 | 9201 | 88 | 33153804 | 1151190 || 511 | 1983110 | 4/ 4 | 250660 | 0 | 57.08/57.17 c | 511 | 1.6 | 0 | 18829 | 9302 | 89 | 33776690 | 1168268 || 511 | 2022333 | 4/ 4 | 251022 | 0 | 58.29/58.37 c | 511 | 1.2 | 0 | 18977 | 9310 | 90 | 34520252 | 1180133 || 511 | 2022701 | 4/ 4 | 251025 | 0 | 59.39/59.49 c | 511 | 1.1 | 0 | 20343 | 18811 | 91 | 35265182 | 1191877 || 511 | 2022701 | 4/ 4 | 251025 | 0 | 60.57/60.68 c | 521 | 1.2 | 0 | 21201 | 100 | 92 | 36009966 | 1206331 || 521 | 2033248 | 4/ 4 | 252509 | 0 | 61.87/61.91 c | 541 | 1.2 | 0 | 20934 | 476 | 93 | 36765390 | 1226343 || 541 | 2070885 | 4/ 4 | 257872 | 0 | 63.07/63.11 c | 557 | 1.2 | 0 | 22322 | 643 | 94 | 37527143 | 1245535 || 557 | 2105538 | 4/ 4 | 262992 | 0 | 64.27/64.33 c | 574 | 1.2 | 0 | 24279 | 1711 | 95 | 38291361 | 1265330 || 574 | 2146654 | 4/ 4 | 271358 | 0 | 65.47/65.58 c | 587 | 1.3 | 0 | 25990 | 186 | 96 | 39086421 | 1284532 || 587 | 2176497 | 4/ 4 | 273649 | 0 | 66.87/66.93 c | 605 | 1.3 | 0 | 27506 | 1750 | 97 | 39856613 | 1305367 || 605 | 2217852 | 4/ 4 | 280054 | 0 | 68.19/68.27 c | 626 | 1.3 | 0 | 28750 | 108 | 98 | 40651283 | 1326827 || 626 | 2252902 | 4/ 4 | 284379 | 0 | 69.57/69.64 c | 637 | 1.4 | 0 | 27764 | 3792 | 99 | 41450244 | 1346110 || 637 | 2296790 | 4/ 4 | 291951 | 0 | 70.97/71.07 c | 638 | 1.4 | 0 | 28030 | 9395 | 100 | 42223898 | 1364261 || 638 | 2340243 | 4/ 4 | 298780 | 0 | 72.37/72.44 c | 651 | 1.4 | 0 | 27731 | 65 | 101 | 43090425 | 1381474 || 651 | 2357388 | 4/ 4 | 300938 | 0 | 73.77/73.90 c | 669 | 1.5 | 0 | 27521 | 33 | 102 | 43915590 | 1403472 || 669 | 2400898 | 4/ 4 | 307316 | 0 | 75.27/75.32 c | 693 | 1.4 | 0 | 28279 | 196 | 103 | 44739832 | 1424962 || 693 | 2436486 | 4/ 4 | 312245 | 0 | 76.67/76.79 c | 701 | 1.5 | 0 | 29153 | 682 | 104 | 45571421 | 1445679 || 701 | 2481350 | 4/ 4 | 319247 | 0 | 78.17/78.22 c | 723 | 1.4 | 0 | 28801 | 554 | 105 | 46404466 | 1467054 || 723 | 2514600 | 4/ 4 | 323971 | 0 | 79.57/79.66 c | 743 | 1.4 | 0 | 29703 | 3 | 106 | 47226255 | 1489936 || 743 | 2554910 | 4/ 4 | 329628 | 0 | 81.17/81.21 c | 763 | 1.5 | 0 | 31221 | 2362 | 107 | 48054385 | 1513726 || 763 | 2601873 | 4/ 4 | 336432 | 0 | 82.67/82.70 c | 765 | 1.5 | 0 | 32416 | 6354 | 108 | 48891089 | 1532691 || 765 | 2646619 | 4/ 4 | 346375 | 0 | 84.27/84.37 c | 766 | 1.7 | 0 | 32542 | 8055 | 109 | 49755937 | 1550485 || 766 | 2691464 | 4/ 4 | 359558 | 0 | 86.27/86.34 c | 766 | 2.0 | 0 | 32148 | 256 | 110 | 50575337 | 1572549 || 766 | 2741865 | 4/ 4 | 359996 | 0 | 87.67/87.79 c | 766 | 1.5 | 0 | 31737 | 11760 | 111 | 51475885 | 1586973 || 766 | 2741865 | 4/ 4 | 359996 | 0 | 89.37/89.42 c | 795 | 1.6 | 0 | 31036 | 301 | 112 | 52356030 | 1611599 || 795 | 2783918 | 4/ 4 | 366007 | 0 | 90.87/90.98 c | 812 | 1.6 | 0 | 31676 | 578 | 113 | 53250374 | 1634728 || 812 | 2826295 | 4/ 4 | 371978 | 0 | 92.57/92.61 c | 829 | 1.6 | 0 | 31662 | 3545 | 114 | 54142796 | 1658334 || 829 | 2877005 | 4/ 4 | 380464 | 0 | 94.06/94.16 c | 849 | 1.5 | 0 | 32811 | 115 | 115 | 55043863 | 1681072 || 849 | 2911350 | 4/ 4 | 384595 | 0 | 95.76/95.85 c | 871 | 1.7 | 0 | 33464 | 86 | 116 | 55964107 | 1705375 || 871 | 2955575 | 4/ 4 | 390907 | 0 | 97.46/97.50 c | 891 | 1.7 | 0 | 36329 | 1053 | 117 | 56859545 | 1729799 || 891 | 3002159 | 4/ 4 | 397649 | 0 | 99.16/99.26 c | 893 | 1.8 | 0 | 37231 | 8453 | 118 | 57766191 | 1751161 || 893 | 3058187 | 4/ 4 | 407752 | 0 | 100.86/100.91 c | 907 | 1.7 | 0 | 36075 | 319 | 119 | 58730723 | 1771867 || 907 | 3082877 | 4/ 4 | 410376 | 0 | 102.56/102.69 c | 929 | 1.8 | 0 | 36266 | 159 | 120 | 59693017 | 1796200 || 929 | 3127781 | 4/ 4 | 417035 | 0 | 104.48/104.56 c | 955 | 1.9 | 0 | 36778 | 1524 | 121 | 60656411 | 1822555 || 955 | 3177890 | 4/ 4 | 424912 | 0 | 106.26/106.36 c | 969 | 1.8 | 0 | 36952 | 195 | 122 | 61632668 | 1845772 || 969 | 3219317 | 4/ 4 | 430521 | 0 | 108.06/108.15 c | 989 | 1.8 | 0 | 36912 | 63 | 123 | 62611777 | 1871163 || 989 | 3264452 | 4/ 4 | 437151 | 0 | 109.98/110.08 c | 1018 | 1.9 | 0 | 37447 | 1112 | 124 | 63593355 | 1898376 || 1018 | 3316449 | 4/ 4 | 445416 | 0 | 111.86/111.92 c | 1020 | 1.8 | 0 | 39352 | 6812 | 125 | 64544615 | 1920813 || 1020 | 3371292 | 4/ 4 | 455511 | 0 | 113.76/113.88 c | 1021 | 2.0 | 0 | 38883 | 10215 | 126 | 65513771 | 1941476 || 1021 | 3421471 | 4/ 4 | 468726 | 0 | 115.86/115.91 c | 1021 | 2.0 | 0 | 38357 | 4115 | 127 | 66430808 | 1962964 || 1021 | 3458154 | 4/ 4 | 469070 | 0 | 117.86/117.98 c | 1022 | 2.1 | 0 | 37306 | 17317 | 128 | 67435610 | 1982745 || 1022 | 3519390 | 4/ 4 | 495214 | 0 | 120.46/120.55 c | 1022 | 2.6 | 0 | 37406 | 13303 | 129 | 68364686 | 2007348 || 1022 | 3578032 | 4/ 4 | 495742 | 0 | 122.76/122.82 c | 1022 | 2.3 | 0 | 34612 | 5616 | 130 | 69365410 | 2028435 || 1022 | 3610449 | 4/ 4 | 496027 | 0 | 124.56/124.66 c | 1022 | 1.8 | 0 | 31532 | 19120 | 131 | 70407359 | 2045332 || 1022 | 3610449 | 4/ 4 | 496027 | 0 | 126.86/126.96 c | 1023 | 2.3 | 0 | 31938 | 32723 | 132 | 71426823 | 2066444 || 1023 | 3717567 | 4/ 4 | 548093 | 0 | 129.56/129.65 c | 1023 | 2.7 | 0 | 31019 | 13702 | 133 | 72323654 | 2090376 || 1023 | 3773556 | 4/ 4 | 548604 | 0 | 132.76/132.80 c | 1023 | 3.1 | 0 | 31247 | 13801 | 134 | 73240320 | 2114131 || 1023 | 3831663 | 4/ 4 | 549118 | 0 | 136.38/136.42 c | 1023 | 3.6 | 0 | 29965 | 13901 | 135 | 74146436 | 2138443 || 1023 | 3889458 | 4/ 4 | 549619 | 0 | 138.86/138.99 c | 1023 | 2.6 | 0 | 29453 | 11331 | 136 | 75193292 | 2156922 || 1023 | 3900561 | 4/ 4 | 549723 | 0 | 141.27/141.36 c | 1023 | 2.4 | 0 | 28756 | 25435 | 137 | 76311462 | 2174058 || 1023 | 3900561 | 4/ 4 | 549723 | 0 | 143.37/143.44 c | 1023 | 2.1 | 0 | 27267 | 39637 | 138 | 77472880 | 2191451 || 1023 | 3900561 | 4/ 4 | 549723 | 0 | 145.37/145.42 c | 1032 | 2.0 | 0 | 25829 | 19 | 139 | 78573895 | 2211619 || 1032 | 3911621 | 4/ 4 | 551235 | 0 | 147.17/147.29 c | 1059 | 1.9 | 0 | 27678 | 169 | 140 | 79679445 | 2240338 || 1059 | 3963920 | 4/ 4 | 558946 | 0 | 149.17/149.27 c | 1085 | 2.0 | 0 | 31397 | 1115 | 141 | 80773977 | 2269943 || 1085 | 4019291 | 4/ 4 | 566857 | 0 | 151.17/151.26 c | 1107 | 2.0 | 0 | 34852 | 178 | 142 | 81894169 | 2298352 || 1107 | 4070399 | 4/ 4 | 574522 | 0 | 153.27/153.37 c | 1132 | 2.1 | 0 | 37477 | 747 | 143 | 83013563 | 2327101 || 1132 | 4123586 | 4/ 4 | 582177 | 0 | 155.37/155.47 c | 1149 | 2.1 | 0 | 39650 | 1911 | 144 | 84143134 | 2355933 || 1149 | 4178983 | 4/ 4 | 590698 | 0 | 157.47/157.55 c | 1153 | 2.1 | 0 | 41299 | 196 | 145 | 85286057 | 2379824 || 1153 | 4220898 | 4/ 4 | 597917 | 0 | 159.77/159.84 c | 1181 | 2.3 | 0 | 39575 | 1349 | 146 | 86429520 | 2410638 || 1181 | 4277907 | 4/ 4 | 606038 | 0 | 162.07/162.14 c | 1212 | 2.3 | 0 | 40549 | 396 | 147 | 87568887 | 2442632 || 1212 | 4338131 | 4/ 4 | 614622 | 0 | 164.27/164.35 c | 1233 | 2.2 | 0 | 41234 | 57 | 148 | 88712877 | 2473016 || 1233 | 4390719 | 4/ 4 | 622139 | 0 | 166.57/166.67 c | 1261 | 2.3 | 0 | 41959 | 91 | 149 | 89894051 | 2503772 || 1261 | 4446629 | 4/ 4 | 630200 | 0 | 168.87/168.99 c | 1276 | 2.3 | 0 | 43320 | 2963 | 150 | 91078773 | 2532059 || 1276 | 4500646 | 4/ 4 | 638458 | 0 | 171.37/171.43 c | 1278 | 2.5 | 0 | 44128 | 8858 | 151 | 92241891 | 2558167 || 1278 | 4573040 | 4/ 4 | 658303 | 0 | 174.07/174.14 c | 1278 | 2.7 | 0 | 44354 | 5258 | 152 | 93387785 | 2583980 || 1278 | 4617765 | 4/ 4 | 658701 | 0 | 176.67/176.76 c | 1300 | 2.6 | 0 | 43159 | 329 | 153 | 94602760 | 2611334 || 1300 | 4651491 | 4/ 4 | 663409 | 0 | 179.17/179.25 c | 1330 | 2.5 | 0 | 43019 | 84 | 154 | 95807923 | 2643809 || 1330 | 4709802 | 4/ 4 | 671555 | 0 | 181.57/181.62 c | 1347 | 2.4 | 0 | 43851 | 252 | 155 | 96989611 | 2673009 || 1347 | 4765429 | 4/ 4 | 680036 | 0 | 184.07/184.15 c | 1378 | 2.5 | 0 | 43776 | 189 | 156 | 98223277 | 2705743 || 1378 | 4825271 | 4/ 4 | 688616 | 0 | 186.57/186.65 c | 1404 | 2.5 | 0 | 45225 | 2954 | 157 | 99424663 | 2738711 || 1404 | 4891432 | 4/ 4 | 699637 | 0 | 189.07/189.12 c | 1405 | 2.5 | 0 | 47341 | 4742 | 158 | 100609094 | 2764334 || 1405 | 4940150 | 4/ 4 | 706497 | 0 | 191.67/191.75 c | 1436 | 2.6 | 0 | 49075 | 191 | 159 | 101819933 | 2796748 || 1436 | 4998268 | 4/ 4 | 715037 | 0 | 194.37/194.46 c | 1467 | 2.7 | 0 | 48631 | 523 | 160 | 103105115 | 2828692 || 1467 | 5056764 | 4/ 4 | 723582 | 0 | 197.07/197.15 c | 1491 | 2.7 | 0 | 48773 | 76 | 161 | 104398604 | 2859935 || 1491 | 5112829 | 4/ 4 | 731797 | 0 | 199.87/199.91 c | 1524 | 2.8 | 0 | 48667 | 113 | 162 | 105675205 | 2894008 || 1524 | 5175503 | 4/ 4 | 740677 | 0 | 202.47/202.53 c | 1532 | 2.6 | 0 | 48957 | 6998 | 163 | 106947996 | 2924108 || 1532 | 5246953 | 4/ 4 | 754185 | 0 | 205.27/205.31 c | 1533 | 2.8 | 0 | 49256 | 14199 | 164 | 108198558 | 2952462 || 1533 | 5314358 | 4/ 4 | 767602 | 0 | 208.17/208.23 c | 1533 | 2.9 | 0 | 50101 | 11898 | 165 | 109497821 | 2976954 || 1533 | 5335466 | 4/ 4 | 767812 | 0 | 211.57/211.62 c | 1534 | 3.4 | 0 | 47901 | 28902 | 166 | 110711393 | 3010341 || 1534 | 5450256 | 4/ 4 | 794372 | 0 | 214.67/214.79 c | 1534 | 3.2 | 0 | 46550 | 7601 | 167 | 111986676 | 3038419 || 1534 | 5494878 | 4/ 4 | 794771 | 0 | 217.37/217.41 c | 1534 | 2.6 | 0 | 44851 | 24804 | 168 | 113313778 | 3059454 || 1534 | 5494878 | 4/ 4 | 794771 | 0 | 220.06/220.19 c | 1568 | 2.8 | 0 | 42879 | 158 | 169 | 114659683 | 3094083 || 1568 | 5556381 | 4/ 4 | 803704 | 0 | 222.86/222.97 c | 1597 | 2.8 | 0 | 43456 | 3393 | 170 | 115991939 | 3128991 || 1597 | 5627184 | 4/ 4 | 815195 | 0 | 225.56/225.69 c | 1628 | 2.7 | 0 | 45632 | 822 | 171 | 117352449 | 3162892 || 1628 | 5685671 | 4/ 4 | 823734 | 0 | 228.36/228.48 c | 1659 | 2.8 | 0 | 47066 | 2371 | 172 | 118694815 | 3198238 || 1659 | 5752242 | 4/ 4 | 832324 | 0 | 231.07/231.16 c | 1661 | 2.7 | 0 | 50528 | 3262 | 173 | 119989309 | 3227042 || 1661 | 5813287 | 4/ 4 | 842475 | 0 | 234.06/234.13 c | 1692 | 3.0 | 0 | 52038 | 208 | 174 | 121398846 | 3261745 || 1692 | 5873161 | 4/ 4 | 851070 | 0 | 236.97/237.03 c | 1724 | 2.9 | 0 | 53775 | 2067 | 175 | 122701941 | 3297701 || 1724 | 5940863 | 4/ 4 | 862907 | 0 | 239.96/240.01 c | 1754 | 3.0 | 0 | 54297 | 11 | 176 | 124077252 | 3333537 || 1754 | 6003111 | 4/ 4 | 869865 | 0 | 242.97/243.05 c | 1786 | 3.0 | 0 | 55100 | 2060 | 177 | 125405630 | 3370495 || 1786 | 6072337 | 4/ 4 | 880086 | 0 | 246.06/246.10 c | 1788 | 3.1 | 0 | 56042 | 3461 | 178 | 126791091 | 3400954 || 1788 | 6134213 | 4/ 4 | 890235 | 0 | 249.57/249.71 c | 1789 | 3.6 | 0 | 55199 | 2558 | 179 | 128183619 | 3432001 || 1789 | 6212279 | 3/ 3 | 903632 | 0 | 252.66/252.73 c | 1811 | 3.0 | 0 | 55136 | 315 | 180 | 129569326 | 3462913 || 1811 | 6245275 | 3/ 3 | 908355 | 0 | 255.86/255.94 c | 1849 | 3.2 | 0 | 54749 | 343 | 181 | 130983443 | 3500784 || 1849 | 6313658 | 3/ 3 | 918233 | 0 | 258.96/259.02 c | 1869 | 3.1 | 0 | 54663 | 3 | 182 | 132387082 | 3535601 || 1869 | 6377911 | 3/ 3 | 927810 | 0 | 262.26/262.36 c | 1908 | 3.3 | 0 | 54694 | 232 | 183 | 133791937 | 3574659 || 1908 | 6449012 | 3/ 3 | 937897 | 0 | 265.46/265.54 c | 1916 | 3.2 | 0 | 55402 | 8920 | 184 | 135143203 | 3610337 || 1916 | 6532574 | 3/ 3 | 951418 | 0 | 268.56/268.66 c | 1946 | 3.1 | 0 | 56472 | 957 | 185 | 136566308 | 3646309 || 1946 | 6584636 | 3/ 3 | 958320 | 0 | 271.96/272.03 c | 1978 | 3.4 | 0 | 59847 | 285 | 186 | 138023302 | 3683823 || 1978 | 6655718 | 3/ 3 | 968568 | 0 | 275.36/275.40 c | 2009 | 3.4 | 0 | 60006 | 530 | 187 | 139490853 | 3720010 || 2009 | 6722701 | 3/ 3 | 978793 | 0 | 278.76/278.88 c | 2041 | 3.5 | 0 | 60622 | 62 | 188 | 140955210 | 3759055 || 2041 | 6797014 | 3/ 3 | 989099 | 0 | 281.96/282.04 c | 2043 | 3.2 | 0 | 62142 | 4962 | 189 | 142360803 | 3791901 || 2043 | 6858925 | 3/ 3 | 999241 | 0 | 285.66/285.74 c | 2044 | 3.7 | 0 | 62280 | 5163 | 190 | 143718806 | 3824544 || 2044 | 6936278 | 3/ 3 | 1012773 | 0 | 289.46/289.57 c | 2045 | 3.8 | 0 | 62789 | 24665 | 191 | 145107983 | 3857735 || 2045 | 7030257 | 3/ 3 | 1039234 | 0 | 293.46/293.59 c | 2045 | 4.0 | 0 | 60456 | 5866 | 192 | 146447640 | 3892497 || 2045 | 7091911 | 3/ 3 | 1039836 | 0 | 296.76/296.90 c | 2045 | 3.3 | 0 | 58350 | 25567 | 193 | 148028459 | 3916299 || 2045 | 7091911 | 3/ 3 | 1039836 | 0 | 301.56/301.64 c | 2046 | 4.7 | 0 | 56742 | 45375 | 194 | 149394074 | 3954017 || 2046 | 7266799 | 3/ 3 | 1092352 | 0 | 307.66/307.80 c | 2046 | 6.2 | 0 | 53692 | 19901 | 195 | 150769373 | 3991621 || 2046 | 7355135 | 3/ 3 | 1093127 | 0 | 312.86/312.90 c | 2046 | 5.1 | 0 | 49351 | 8473 | 196 | 152243595 | 4023203 || 2046 | 7405115 | 3/ 3 | 1093565 | 0 | 316.56/316.66 c | 2046 | 3.8 | 0 | 47137 | 28575 | 197 | 153826010 | 4047749 || 2046 | 7405115 | 3/ 3 | 1093565 | 0 | 319.66/319.78 c | 2046 | 3.1 | 0 | 45381 | 48777 | 198 | 155372383 | 4072813 || 2046 | 7405115 | 3/ 3 | 1093565 | 0 | 324.38/324.48 c | 2047 | 4.7 | 0 | 46540 | 69078 | 199 | 156763444 | 4109806 || 2047 | 7647413 | 3/ 3 | 1196593 | 0 | 330.57/330.69 c | 2047 | 6.2 | 0 | 44613 | 20401 | 200 | 158130185 | 4148001 || 2047 | 7734121 | 3/ 3 | 1197352 | 0 | 337.87/337.91 c | 2047 | 7.2 | 0 | 46660 | 20503 | 201 | 159395124 | 4185073 || 2047 | 7816679 | 3/ 3 | 1198053 | 0 | 344.57/344.68 c | 2047 | 6.8 | 0 | 47953 | 20603 | 202 | 160673969 | 4222342 || 2047 | 7900034 | 3/ 3 | 1198814 | 0 | 351.17/351.23 c | 2047 | 6.6 | 0 | 44077 | 20701 | 203 | 162004416 | 4259551 || 2047 | 7985317 | 3/ 3 | 1199592 | 0 | 355.97/356.07 c | 2047 | 4.8 | 0 | 40326 | 18486 | 204 | 163594303 | 4286301 || 2047 | 7994587 | 3/ 3 | 1199667 | 0 | 360.17/360.23 c | 2047 | 4.2 | 0 | 36939 | 39389 | 205 | 165210896 | 4311433 || 2047 | 7994587 | 3/ 3 | 1199667 | 0 | 363.87/363.96 c | 2047 | 3.7 | 0 | 35507 | 60390 | 206 | 166813571 | 4336443 || 2047 | 7994587 | 3/ 3 | 1199667 | 0 | 367.39/367.47 c | 2047 | 3.5 | 0 | 36812 | 81495 | 207 | 168437816 | 4362147 || 2047 | 7994587 | 3/ 3 | 1199667 | 0 | 370.97/371.09 c | 2049 | 3.6 | 0 | 38749 | 195 | 208 | 170165665 | 4387769 || 2049 | 7996267 | 3/ 3 | 1199885 | 0 | 374.47/374.51 c | 2093 | 3.4 | 0 | 39956 | 1119 | 209 | 171833179 | 4431121 || 2093 | 8077405 | 3/ 3 | 1211631 | 0 | 377.77/377.83 c | 2124 | 3.3 | 0 | 45427 | 70 | 210 | 173440557 | 4472319 || 2124 | 8151597 | 3/ 3 | 1222724 | 0 | 381.27/381.35 c | 2168 | 3.5 | 0 | 49989 | 195 | 211 | 175063330 | 4517433 || 2168 | 8231643 | 3/ 3 | 1234032 | 0 | 384.76/384.82 c | 2174 | 3.5 | 0 | 54646 | 2680 | 212 | 176657255 | 4555704 || 2174 | 8313574 | 3/ 3 | 1247316 | 0 | 388.47/388.51 c | 2212 | 3.7 | 0 | 56990 | 505 | 213 | 178312714 | 4598474 || 2212 | 8383845 | 3/ 3 | 1257214 | 0 | 392.17/392.25 c | 2243 | 3.7 | 0 | 58631 | 161 | 214 | 179975008 | 4640039 || 2243 | 8460082 | 3/ 3 | 1268735 | 0 | 396.16/396.22 c | 2286 | 4.0 | 0 | 58782 | 68 | 215 | 181652034 | 4685669 || 2286 | 8542795 | 3/ 3 | 1280331 | 0 | 400.06/400.14 c | 2301 | 3.9 | 0 | 59967 | 246 | 216 | 183265900 | 4726090 || 2301 | 8632377 | 3/ 3 | 1295196 | 0 | 404.26/404.31 c | 2302 | 4.2 | 0 | 60021 | 3141 | 217 | 184899170 | 4761453 || 2302 | 8709788 | 3/ 3 | 1308719 | 0 | 408.37/408.49 c | 2332 | 4.2 | 0 | 59162 | 476 | 218 | 186636381 | 4799441 || 2332 | 8758547 | 3/ 3 | 1315551 | 0 | 412.57/412.60 c | 2365 | 4.1 | 0 | 60142 | 4310 | 219 | 188353182 | 4844245 || 2365 | 8848284 | 3/ 3 | 1329156 | 0 | 416.56/416.65 c | 2405 | 4.1 | 0 | 60449 | 137 | 220 | 190077782 | 4888831 || 2405 | 8923013 | 3/ 3 | 1339226 | 0 | 420.56/420.65 c | 2429 | 4.0 | 0 | 61625 | 5888 | 221 | 191802821 | 4930608 || 2429 | 9014940 | 3/ 3 | 1356268 | 0 | 424.66/424.71 c | 2459 | 4.1 | 0 | 61841 | 442 | 222 | 193519301 | 4971712 || 2459 | 9081696 | 3/ 3 | 1363241 | 0 | 428.76/428.87 c | 2492 | 4.2 | 0 | 62884 | 4674 | 223 | 195248786 | 5016808 || 2492 | 9172755 | 3/ 3 | 1376889 | 0 | 432.86/432.95 c | 2534 | 4.1 | 0 | 65937 | 99 | 224 | 196997430 | 5061281 || 2534 | 9246268 | 3/ 3 | 1387220 | 0 | 437.16/437.20 c | 2556 | 4.2 | 0 | 66434 | 7066 | 225 | 198735402 | 5104824 || 2556 | 9342471 | 3/ 3 | 1403982 | 0 | 441.56/441.62 c | 2557 | 4.4 | 0 | 66727 | 1260 | 226 | 200388253 | 5144405 || 2557 | 9430650 | 3/ 3 | 1417561 | 0 | 446.26/446.33 c | 2558 | 4.7 | 0 | 64724 | 24361 | 227 | 202086865 | 5180940 || 2558 | 9522992 | 3/ 3 | 1443976 | 0 | 451.86/451.94 c | 2558 | 5.6 | 0 | 64447 | 9160 | 228 | 203795777 | 5219019 || 2558 | 9585587 | 3/ 3 | 1444539 | 0 | 456.66/456.71 c | 2576 | 4.8 | 0 | 61828 | 136 | 229 | 205669112 | 5253249 || 2576 | 9612142 | 3/ 3 | 1448397 | 0 | 460.96/461.06 c | 2620 | 4.4 | 0 | 60832 | 2164 | 230 | 207429602 | 5301229 || 2620 | 9702289 | 3/ 3 | 1461654 | 0 | 465.17/465.27 c | 2652 | 4.2 | 0 | 61317 | 813 | 231 | 209178968 | 5346158 || 2652 | 9783502 | 3/ 3 | 1473639 | 0 | 469.57/469.67 c | 2685 | 4.4 | 0 | 62792 | 3556 | 232 | 210993031 | 5390811 || 2685 | 9875981 | 3/ 3 | 1492098 | 0 | 473.97/474.06 c | 2715 | 4.4 | 0 | 65538 | 417 | 233 | 212793061 | 5435497 || 2715 | 9949764 | 3/ 3 | 1499192 | 0 | 478.57/478.61 c | 2748 | 4.6 | 0 | 67372 | 4555 | 234 | 214610800 | 5482608 || 2748 | 10043663 | 3/ 3 | 1512906 | 0 | 483.07/483.19 c | 2793 | 4.6 | 0 | 71461 | 563 | 235 | 216437706 | 5529502 || 2793 | 10122599 | 3/ 3 | 1524043 | 0 | 487.77/487.89 c | 2812 | 4.7 | 0 | 71469 | 9129 | 236 | 218214982 | 5575379 || 2812 | 10221653 | 3/ 3 | 1540146 | 0 | 492.68/492.74 c | 2813 | 4.9 | 0 | 71562 | 4426 | 237 | 220009685 | 5614981 || 2813 | 10307800 | 3/ 3 | 1553689 | 0 | 497.27/497.31 c | 2844 | 4.6 | 0 | 71197 | 1386 | 238 | 221900124 | 5656858 || 2844 | 10366635 | 3/ 3 | 1562236 | 0 | 502.07/502.13 c | 2883 | 4.8 | 0 | 71878 | 223 | 239 | 223772992 | 5703868 || 2883 | 10454227 | 3/ 3 | 1575474 | 0 | 506.87/507.01 c | 2934 | 4.9 | 0 | 73113 | 15 | 240 | 225613202 | 5754285 || 2934 | 10545035 | 3/ 3 | 1588101 | 0 | 511.27/511.39 c | 2940 | 4.4 | 0 | 74513 | 5606 | 241 | 227449286 | 5797594 || 2940 | 10628722 | 3/ 3 | 1601473 | 0 | 516.37/516.40 c | 2992 | 5.0 | 0 | 74995 | 209 | 242 | 229333160 | 5847526 || 2992 | 10718499 | 3/ 3 | 1614371 | 0 | 521.17/521.21 c | 3030 | 4.8 | 0 | 76869 | 24 | 243 | 231196542 | 5895627 || 3030 | 10806581 | 3/ 3 | 1627388 | 0 | 526.17/526.24 c | 3066 | 5.0 | 0 | 79263 | 4265 | 244 | 233087789 | 5943599 || 3066 | 10904033 | 3/ 3 | 1642486 | 0 | 531.18/531.28 c | 3068 | 5.0 | 0 | 79123 | 14766 | 245 | 234826170 | 5987397 || 3068 | 11009217 | 3/ 3 | 1662607 | 0 | 536.57/536.61 c | 3069 | 5.3 | 0 | 79438 | 20567 | 246 | 236713066 | 6026526 || 3069 | 11107571 | 3/ 3 | 1689076 | 0 | 542.57/542.66 c | 3069 | 6.1 | 0 | 77588 | 7264 | 247 | 238471980 | 6068396 || 3069 | 11185283 | 3/ 3 | 1689817 | 0 | 548.27/548.31 c | 3070 | 5.6 | 0 | 76093 | 32468 | 248 | 240395157 | 6103801 || 3070 | 11298635 | 3/ 3 | 1741955 | 0 | 555.17/555.21 c | 3070 | 6.9 | 0 | 73667 | 25302 | 249 | 242051601 | 6150166 || 3070 | 11405541 | 3/ 3 | 1742888 | 0 | 563.57/563.65 c | 3070 | 8.4 | 0 | 70104 | 6369 | 250 | 243782314 | 6193604 || 3070 | 11485060 | 3/ 3 | 1743609 | 0 | 569.07/569.11 c | 3070 | 5.5 | 0 | 62295 | 31872 | 251 | 245701883 | 6225082 || 3070 | 11485060 | 3/ 3 | 1743609 | 0 | 573.77/573.88 c | 3085 | 4.8 | 0 | 62126 | 643 | 252 | 247625150 | 6261396 || 3085 | 11509243 | 3/ 3 | 1747038 | 0 | 578.48/578.60 c | 3132 | 4.7 | 0 | 61895 | 1470 | 253 | 249565182 | 6312606 || 3132 | 11602517 | 3/ 3 | 1760712 | 0 | 583.27/583.33 c | 3174 | 4.7 | 0 | 65866 | 199 | 254 | 251510659 | 6363772 || 3174 | 11695229 | 3/ 3 | 1774406 | 0 | 588.07/588.15 c | 3197 | 4.8 | 0 | 67624 | 251 | 255 | 253453143 | 6413156 || 3197 | 11801985 | 3/ 3 | 1791395 | 0 | 592.97/593.05 c | 3241 | 4.9 | 0 | 72185 | 266 | 256 | 255460676 | 6462391 || 3241 | 11877133 | 3/ 3 | 1802086 | 0 | 598.07/598.11 c | 3279 | 5.1 | 0 | 76704 | 91 | 257 | 257398578 | 6513617 || 3279 | 11969651 | 3/ 3 | 1815827 | 0 | 603.47/603.52 c | 3323 | 5.4 | 0 | 79399 | 3091 | 258 | 259389345 | 6565492 || 3323 | 12071697 | 3/ 3 | 1832265 | 0 | 608.77/608.89 c | 3325 | 5.4 | 0 | 78739 | 14994 | 259 | 261313990 | 6609528 || 3325 | 12176058 | 3/ 3 | 1852343 | 0 | 614.37/614.46 c | 3350 | 5.6 | 0 | 78364 | 240 | 260 | 263314500 | 6652984 || 3350 | 12230665 | 3/ 3 | 1857640 | 0 | 619.67/619.76 c | 3388 | 5.3 | 0 | 77323 | 561 | 261 | 265322188 | 6704167 || 3388 | 12331198 | 3/ 3 | 1873008 | 0 | 625.17/625.29 c | 3440 | 5.5 | 0 | 79369 | 83 | 262 | 267345957 | 6757382 || 3440 | 12422074 | 3/ 3 | 1885919 | 0 | 630.37/630.47 c | 3452 | 5.2 | 0 | 80379 | 5773 | 263 | 269340417 | 6803740 || 3452 | 12512107 | 3/ 3 | 1900383 | 0 | 636.17/636.29 c | 3511 | 5.8 | 0 | 79773 | 179 | 264 | 271392276 | 6858165 || 3511 | 12610414 | 3/ 3 | 1914522 | 0 | 641.67/641.75 c | 3546 | 5.5 | 0 | 80801 | 115 | 265 | 273422280 | 6909709 || 3546 | 12710204 | 3/ 3 | 1929382 | 0 | 647.17/647.23 c | 3579 | 5.5 | 0 | 83428 | 6260 | 266 | 275493176 | 6960984 || 3579 | 12813630 | 3/ 3 | 1947960 | 0 | 653.17/653.22 c | 3580 | 6.0 | 0 | 83779 | 4557 | 267 | 277472328 | 7004978 || 3580 | 12906408 | 3/ 3 | 1961628 | 0 | 659.88/659.94 c | 3581 | 6.7 | 0 | 82482 | 31758 | 268 | 279414137 | 7050654 || 3581 | 13030263 | 3/ 3 | 1988358 | 0 | 667.08/667.15 c | 3581 | 7.2 | 0 | 80355 | 20659 | 269 | 281430230 | 7087962 || 3581 | 13058141 | 3/ 3 | 1988620 | 0 | 672.98/673.07 c | 3627 | 5.9 | 0 | 78896 | 782 | 270 | 283548889 | 7138856 || 3627 | 13140883 | 3/ 3 | 2000553 | 0 | 678.78/678.89 c | 3674 | 5.8 | 0 | 78078 | 599 | 271 | 285671158 | 7192262 || 3674 | 13241016 | 3/ 3 | 2015905 | 0 | 684.48/684.51 c | 3708 | 5.6 | 0 | 78447 | 3752 | 272 | 287761846 | 7245511 || 3708 | 13349692 | 3/ 3 | 2036136 | 0 | 690.08/690.13 c | 3739 | 5.6 | 0 | 79727 | 989 | 273 | 289876486 | 7297167 || 3739 | 13436622 | 3/ 3 | 2044985 | 0 | 695.98/696.03 c | 3785 | 5.9 | 0 | 82780 | 323 | 274 | 291997660 | 7351567 || 3785 | 13534507 | 3/ 3 | 2059477 | 0 | 701.98/702.03 c | 3834 | 6.0 | 0 | 87043 | 2132 | 275 | 294122681 | 7407016 || 3834 | 13642493 | 3/ 3 | 2077296 | 0 | 708.18/708.26 c | 3836 | 6.2 | 0 | 89964 | 15732 | 276 | 296197640 | 7455458 || 3836 | 13761072 | 3/ 3 | 2097537 | 0 | 714.68/714.75 c | 3866 | 6.5 | 0 | 87882 | 978 | 277 | 298355559 | 7502883 || 3866 | 13825031 | 3/ 3 | 2104524 | 0 | 720.78/720.89 c | 3905 | 6.1 | 0 | 86374 | 93 | 278 | 300513677 | 7557850 || 3905 | 13924897 | 3/ 3 | 2119092 | 0 | 727.38/727.44 c | 3961 | 6.5 | 0 | 86889 | 1695 | 279 | 302675433 | 7614317 || 3961 | 14031322 | 3/ 3 | 2135258 | 0 | 733.28/733.40 c | 3981 | 6.0 | 0 | 88642 | 147 | 280 | 304747456 | 7663822 || 3981 | 14122676 | 3/ 3 | 2149330 | 0 | 739.67/739.71 c | 4026 | 6.3 | 0 | 88938 | 64 | 281 | 306924476 | 7720678 || 4026 | 14233173 | 3/ 3 | 2165943 | 0 | 745.97/746.01 c | 4082 | 6.3 | 0 | 89554 | 236 | 282 | 309096269 | 7776734 || 4082 | 14328552 | 3/ 3 | 2179628 | 0 | 752.17/752.29 c | 4091 | 6.3 | 0 | 93776 | 9222 | 283 | 311198801 | 7828565 || 4091 | 14448732 | 3/ 3 | 2206264 | 0 | 758.99/759.03 c | 4092 | 6.7 | 0 | 94462 | 18823 | 284 | 313222082 | 7875482 || 4092 | 14561590 | 3/ 3 | 2232876 | 0 | 767.37/767.40 c | 4092 | 8.4 | 0 | 93036 | 9322 | 285 | 315315924 | 7920935 || 4092 | 14642514 | 3/ 3 | 2233584 | 0 | 775.77/775.80 c | 4093 | 8.4 | 0 | 89180 | 38327 | 286 | 317412634 | 7964530 || 4093 | 14779382 | 3/ 3 | 2285990 | 0 | 785.28/785.40 c | 4093 | 9.6 | 0 | 84566 | 29101 | 287 | 319234003 | 8016879 || 4093 | 14895713 | 3/ 3 | 2287041 | 0 | 792.98/793.09 c | 4093 | 7.7 | 0 | 79391 | 19828 | 288 | 321393878 | 8057875 || 4093 | 14933698 | 3/ 3 | 2287388 | 0 | 799.47/799.52 c | 4093 | 6.4 | 0 | 70875 | 49130 | 289 | 323527257 | 8092875 || 4093 | 14933698 | 3/ 3 | 2287388 | 0 | 807.07/807.16 c | 4094 | 7.6 | 0 | 66815 | 78531 | 290 | 325499383 | 8151287 || 4094 | 15214344 | 3/ 3 | 2391922 | 0 | 817.87/817.96 c | 4094 | 10.8 | 0 | 66205 | 29501 | 291 | 327345091 | 8206907 || 4094 | 15343381 | 3/ 3 | 2393133 | 0 | 829.78/829.86 c | 4094 | 11.9 | 0 | 66888 | 29604 | 292 | 329052540 | 8263114 || 4094 | 15471200 | 3/ 3 | 2394342 | 0 | 840.18/840.27 c | 4094 | 10.4 | 0 | 65274 | 13734 | 293 | 331009958 | 8310044 || 4094 | 15538790 | 3/ 3 | 2394993 | 0 | 846.58/846.65 c | 4094 | 6.4 | 0 | 61852 | 43535 | 294 | 333322588 | 8345839 || 4094 | 15538790 | 3/ 3 | 2394993 | 0 | 852.39/852.51 c | 4094 | 5.9 | 0 | 62228 | 73436 | 295 | 335668135 | 8381876 || 4094 | 15538790 | 3/ 3 | 2394993 | 0 | 859.58/859.62 c | 4095 | 7.1 | 0 | 58952 | 103438 | 296 | 337922440 | 8419148 || 4095 | 15836899 | 2/ 2 | 2602197 | 0 | 866.58/866.62 c | 4095 | 7.0 | 0 | 58813 | 30101 | 297 | 339990168 | 8475916 || 4095 | 15971114 | 2/ 2 | 2603409 | 0 | 876.18/876.26 c | 4095 | 9.6 | 0 | 64381 | 30201 | 298 | 342002523 | 8531328 || 4095 | 16097161 | 2/ 2 | 2604622 | 0 | 888.38/888.43 c | 4095 | 12.2 | 0 | 67054 | 30304 | 299 | 343991269 | 8586024 || 4095 | 16223018 | 2/ 2 | 2605775 | 0 | 901.58/901.66 c | 4095 | 13.2 | 0 | 67399 | 30401 | 300 | 345887952 | 8639742 || 4095 | 16348903 | 2/ 2 | 2606975 | 0 | 911.38/911.46 c | 4095 | 9.8 | 0 | 61205 | 30501 | 301 | 347906293 | 8694441 || 4095 | 16477397 | 2/ 2 | 2608185 | 0 | 924.38/924.42 c | 4095 | 13.0 | 0 | 61474 | 30601 | 302 | 349810628 | 8747129 || 4095 | 16600569 | 2/ 2 | 2609313 | 0 | 934.89/935.00 c | 4095 | 10.6 | 0 | 49270 | 9043 | 303 | 351902206 | 8795881 || 4095 | 16689863 | 2/ 2 | 2610100 | 0 | 944.38/944.45 c | 4095 | 9.4 | 0 | 50945 | 39846 | 304 | 354433640 | 8832349 || 4095 | 16689863 | 2/ 2 | 2610100 | 0 | 951.28/951.41 c | 4095 | 7.0 | 0 | 52844 | 70747 | 305 | 356860502 | 8869569 || 4095 | 16689863 | 2/ 2 | 2610100 | 0 | 958.09/958.13 c | 4095 | 6.7 | 0 | 56433 | 101748 | 306 | 359251972 | 8906803 || 4095 | 16689863 | 2/ 2 | 2610100 | 0 | 965.48/965.59 c | 4095 | 7.5 | 0 | 60657 | 132849 | 307 | 361740326 | 8943846 || 4095 | 16689863 | 2/ 2 | 2610100 | 0 | 972.78/972.88 c | 4095 | 7.3 | 0 | 64630 | 164052 | 308 | 364160193 | 8980897 || 4095 | 16689863 | 2/ 2 | 2610100 | 0 | 980.78/980.85 c | 4095 | 8.0 | 0 | 71157 | 195354 | 309 | 366516165 | 9017638 || 4095 | 16689863 | 2/ 2 | 2610100 | 0 | 987.48/987.59 c | 4141 | 6.7 | 0 | 71050 | 250 | 310 | 368901877 | 9074951 || 4141 | 16775074 | 2/ 2 | 2622127 | 0 | 993.68/993.77 c | 4189 | 6.2 | 0 | 74866 | 472 | 311 | 371287546 | 9138225 || 4189 | 16893007 | 2/ 2 | 2639186 | 0 | 999.98/1000.03 c | 4222 | 6.3 | 0 | 79114 | 1609 | 312 | 373600592 | 9197245 || 4222 | 17011864 | 2/ 2 | 2657893 | 0 | 1006.58/1006.62 c | 4282 | 6.6 | 0 | 84037 | 596 | 313 | 376076513 | 9258845 || 4282 | 17113510 | 2/ 2 | 2672420 | 0 | 1013.28/1013.31 c | 4330 | 6.7 | 0 | 89267 | 309 | 314 | 378491846 | 9320057 || 4330 | 17228102 | 2/ 2 | 2689461 | 0 | 1019.70/1019.74 c | 4350 | 6.4 | 0 | 93654 | 7173 | 315 | 380930270 | 9376081 || 4350 | 17353704 | 2/ 2 | 2718617 | 0 | 1027.18/1027.29 c | 4368 | 7.5 | 0 | 92640 | 133 | 316 | 383355806 | 9429698 || 4368 | 17434361 | 2/ 2 | 2722924 | 0 | 1034.18/1034.28 c | 4416 | 7.0 | 0 | 84469 | 154 | 317 | 385838166 | 9492176 || 4416 | 17549112 | 2/ 2 | 2740047 | 0 | 1041.38/1041.43 c | 4476 | 7.2 | 0 | 85349 | 2446 | 318 | 388291752 | 9558234 || 4476 | 17676260 | 2/ 2 | 2759979 | 0 | 1048.30/1048.35 c | 4508 | 6.9 | 0 | 88040 | 1897 | 319 | 390702648 | 9618438 || 4508 | 17786687 | 2/ 2 | 2775306 | 0 | 1055.48/1055.56 c | 4561 | 7.2 | 0 | 87120 | 287 | 320 | 393207295 | 9681330 || 4561 | 17900248 | 2/ 2 | 2791519 | 0 | 1062.49/1062.58 c | 4604 | 7.0 | 0 | 87741 | 4996 | 321 | 395597090 | 9745162 || 4604 | 18031712 | 2/ 2 | 2814355 | 0 | 1069.38/1069.41 c | 4605 | 6.8 | 0 | 91249 | 8796 | 322 | 398045620 | 9798611 || 4605 | 18129506 | 2/ 2 | 2828085 | 0 | 1078.39/1078.42 c | 4606 | 9.0 | 0 | 91572 | 3097 | 323 | 400361365 | 9853507 || 4606 | 18273487 | 2/ 2 | 2854153 | 0 | 1086.59/1086.63 c | 4634 | 8.2 | 0 | 89225 | 52 | 324 | 402881418 | 9903885 || 4634 | 18313364 | 2/ 2 | 2859694 | 0 | 1093.79/1093.84 c | 4683 | 7.2 | 0 | 88899 | 264 | 325 | 405446225 | 9967488 || 4683 | 18430290 | 2/ 2 | 2877217 | 0 | 1100.99/1101.07 c | 4732 | 7.2 | 0 | 91040 | 2364 | 326 | 407928958 | 10030861 || 4732 | 18550181 | 2/ 2 | 2895156 | 0 | 1108.58/1108.60 c | 4776 | 7.5 | 0 | 91781 | 101 | 327 | 410370893 | 10093106 || 4776 | 18664543 | 2/ 2 | 2912358 | 0 | 1116.19/1116.23 c | 4827 | 7.6 | 0 | 91072 | 2084 | 328 | 412893209 | 10157178 || 4827 | 18786045 | 2/ 2 | 2930918 | 0 | 1123.59/1123.67 c | 4860 | 7.4 | 0 | 94824 | 2521 | 329 | 415445344 | 10218752 || 4860 | 18908233 | 2/ 2 | 2949591 | 0 | 1131.09/1131.13 c | 4874 | 7.5 | 0 | 98527 | 95 | 330 | 417937686 | 10274692 || 4874 | 19007760 | 2/ 2 | 2965303 | 0 | 1138.99/1139.07 c | 4924 | 7.9 | 0 | 96471 | 2093 | 331 | 420489212 | 10339327 || 4924 | 19130586 | 2/ 2 | 2983667 | 0 | 1146.99/1147.07 c | 4987 | 8.0 | 0 | 98034 | 2005 | 332 | 423027779 | 10405917 || 4987 | 19255555 | 2/ 2 | 3004028 | 0 | 1155.19/1155.20 c | 5019 | 8.1 | 0 | 99728 | 444 | 333 | 425595567 | 10467988 || 5019 | 19369041 | 2/ 2 | 3019508 | 0 | 1163.49/1163.50 c | 5079 | 8.3 | 0 | 99938 | 232 | 334 | 428171934 | 10535013 || 5079 | 19490715 | 2/ 2 | 3037048 | 0 | 1171.59/1171.61 c | 5115 | 8.1 | 0 | 101040 | 8764 | 335 | 430708900 | 10598866 || 5115 | 19625664 | 2/ 2 | 3058688 | 0 | 1179.48/1179.51 c | 5117 | 7.9 | 0 | 102926 | 13961 | 336 | 433191444 | 10653336 || 5117 | 19757352 | 2/ 2 | 3098215 | 0 | 1188.89/1188.91 c | 5117 | 9.4 | 0 | 103287 | 9660 | 337 | 435694341 | 10710541 || 5117 | 19867292 | 2/ 2 | 3099156 | 0 | 1197.79/1197.82 c | 5118 | 8.9 | 0 | 100964 | 43862 | 338 | 438177290 | 10766530 || 5118 | 20032260 | 2/ 2 | 3151857 | 0 | 1210.49/1210.55 c | 5118 | 12.7 | 0 | 99334 | 1362 | 339 | 440493455 | 10830906 || 5118 | 20169158 | 2/ 2 | 3153187 | 0 | 1219.38/1219.46 c | 5118 | 8.9 | 0 | 93966 | 35763 | 340 | 443268105 | 10872148 || 5118 | 20169158 | 2/ 2 | 3153187 | 0 | 1227.49/1227.56 c | 5159 | 8.1 | 0 | 91215 | 291 | 341 | 445973922 | 10929609 || 5159 | 20240574 | 2/ 2 | 3163452 | 0 | 1235.38/1235.43 c | 5212 | 7.9 | 0 | 89167 | 693 | 342 | 448572461 | 10996529 || 5212 | 20366442 | 2/ 2 | 3182261 | 0 | 1243.00/1243.08 c | 5245 | 7.6 | 0 | 91474 | 4922 | 343 | 451192218 | 11058582 || 5245 | 20487085 | 2/ 2 | 3200955 | 0 | 1251.28/1251.39 c | 5308 | 8.3 | 0 | 96302 | 2820 | 344 | 453884797 | 11127167 || 5308 | 20618198 | 2/ 2 | 3221410 | 0 | 1259.58/1259.68 c | 5370 | 8.3 | 0 | 98512 | 1609 | 345 | 456528942 | 11195895 || 5370 | 20740198 | 2/ 2 | 3238511 | 0 | 1267.68/1267.78 c | 5373 | 8.1 | 0 | 105978 | 606 | 346 | 459086947 | 11259417 || 5373 | 20887626 | 2/ 2 | 3262257 | 0 | 1276.28/1276.35 c | 5422 | 8.6 | 0 | 108269 | 123 | 347 | 461827452 | 11322533 || 5422 | 20973968 | 2/ 2 | 3274655 | 0 | 1285.08/1285.15 c | 5479 | 8.8 | 0 | 107165 | 39 | 348 | 464466099 | 11391724 || 5479 | 21100472 | 2/ 2 | 3293237 | 0 | 1293.68/1293.77 c | 5512 | 8.6 | 0 | 108121 | 81 | 349 | 467140230 | 11454196 || 5512 | 21218695 | 2/ 2 | 3311875 | 0 | 1302.68/1302.70 c | 5566 | 8.9 | 0 | 108567 | 181 | 350 | 469831497 | 11523235 || 5566 | 21346502 | 2/ 2 | 3330884 | 0 | 1311.68/1311.75 c | 5626 | 9.0 | 0 | 109735 | 683 | 351 | 472477186 | 11593449 || 5626 | 21481676 | 2/ 2 | 3350936 | 0 | 1320.01/1320.02 c | 5628 | 8.3 | 0 | 110690 | 7474 | 352 | 475038243 | 11652401 || 5628 | 21604181 | 2/ 2 | 3371272 | 0 | 1330.59/1330.66 c | 5629 | 10.6 | 0 | 111924 | 4776 | 353 | 477477725 | 11713546 || 5629 | 21757762 | 2/ 2 | 3398265 | 0 | 1339.89/1339.96 c | 5660 | 9.3 | 0 | 106755 | 525 | 354 | 480218546 | 11769993 || 5660 | 21816198 | 2/ 2 | 3406830 | 0 | 1349.19/1349.24 c | 5722 | 9.3 | 0 | 106085 | 317 | 355 | 482975032 | 11839252 || 5722 | 21942332 | 2/ 2 | 3425597 | 0 | 1358.29/1358.31 c | 5756 | 9.1 | 0 | 108581 | 3441 | 356 | 485757682 | 11904352 || 5756 | 22074200 | 2/ 2 | 3446005 | 0 | 1367.39/1367.44 c | 5819 | 9.1 | 0 | 107412 | 2613 | 357 | 488401250 | 11976034 || 5819 | 22202679 | 2/ 2 | 3466401 | 0 | 1376.69/1376.71 c | 5881 | 9.3 | 0 | 108975 | 304 | 358 | 491105333 | 12047444 || 5881 | 22330062 | 2/ 2 | 3483597 | 0 | 1385.90/1386.00 c | 5884 | 9.3 | 0 | 113176 | 2994 | 359 | 493728029 | 12107392 || 5884 | 22466060 | 2/ 2 | 3507158 | 0 | 1395.80/1395.84 c | 5944 | 9.8 | 0 | 115899 | 286 | 360 | 496543816 | 12173875 || 5944 | 22566205 | 2/ 2 | 3521760 | 0 | 1405.39/1405.43 c | 6000 | 9.6 | 0 | 116435 | 95 | 361 | 499242880 | 12245153 || 6000 | 22697999 | 2/ 2 | 3540985 | 0 | 1414.89/1414.92 c | 6038 | 9.5 | 0 | 117368 | 102 | 362 | 501968875 | 12311888 || 6038 | 22822740 | 2/ 2 | 3560338 | 0 | 1424.79/1424.84 c | 6095 | 9.9 | 0 | 119554 | 175 | 363 | 504751861 | 12382814 || 6095 | 22955548 | 2/ 2 | 3579813 | 0 | 1434.59/1434.67 c | 6138 | 9.8 | 0 | 119698 | 9492 | 364 | 507462464 | 12452688 || 6138 | 23102303 | 2/ 2 | 3602759 | 0 | 1443.99/1444.00 c | 6140 | 9.3 | 0 | 119399 | 17587 | 365 | 510268989 | 12509973 || 6140 | 23244212 | 2/ 2 | 3642361 | 0 | 1454.89/1454.95 c | 6140 | 11.0 | 0 | 122317 | 16184 | 366 | 512997151 | 12567398 || 6140 | 23335367 | 2/ 2 | 3643144 | 0 | 1466.99/1467.08 c | 6141 | 12.1 | 0 | 118551 | 53286 | 367 | 515663135 | 12630127 || 6141 | 23539627 | 2/ 2 | 3696111 | 0 | 1480.69/1480.73 c | 6141 | 13.7 | 0 | 116187 | 13688 | 368 | 518186027 | 12690117 || 6141 | 23640483 | 2/ 2 | 3697014 | 0 | 1491.09/1491.13 c | 6141 | 10.4 | 0 | 110314 | 50989 | 369 | 521060499 | 12735887 || 6141 | 23640483 | 2/ 2 | 3697014 | 0 | 1503.89/1503.90 c | 6142 | 12.8 | 0 | 102725 | 88395 | 370 | 523535959 | 12808564 || 6142 | 23965994 | 2/ 2 | 3802302 | 0 | 1517.39/1517.41 c | 6142 | 13.5 | 0 | 91446 | 37501 | 371 | 525962327 | 12879650 || 6142 | 24124881 | 2/ 2 | 3803760 | 0 | 1531.49/1531.51 c | 6142 | 14.1 | 0 | 86978 | 9893 | 372 | 528501534 | 12943213 || 6142 | 24237577 | 2/ 2 | 3804795 | 0 | 1540.01/1540.03 c | 6142 | 8.5 | 0 | 81943 | 47594 | 373 | 531532568 | 12988841 || 6142 | 24237577 | 2/ 2 | 3804795 | 0 | 1548.81/1548.84 c | 6142 | 8.8 | 0 | 83925 | 85397 | 374 | 534468955 | 13034303 || 6142 | 24237577 | 2/ 2 | 3804795 | 0 | 1557.89/1557.96 c | 6188 | 9.1 | 0 | 86184 | 414 | 375 | 537436053 | 13097503 || 6188 | 24318943 | 2/ 2 | 3816762 | 0 | 1566.41/1566.46 c | 6250 | 8.5 | 0 | 84911 | 479 | 376 | 540329525 | 13172192 || 6250 | 24453848 | 2/ 2 | 3836413 | 0 | 1574.29/1574.39 c | 6287 | 7.9 | 0 | 92814 | 102 | 377 | 543175206 | 13241230 || 6287 | 24581653 | 2/ 2 | 3856312 | 0 | 1583.19/1583.23 c | 6349 | 8.9 | 0 | 101453 | 69 | 378 | 546054085 | 13315953 || 6349 | 24718404 | 2/ 2 | 3876679 | 0 | 1592.70/1592.76 c | 6396 | 9.5 | 0 | 107178 | 174 | 379 | 548924911 | 13389360 || 6396 | 24872776 | 2/ 2 | 3900300 | 0 | 1601.61/1601.62 c | 6413 | 8.9 | 0 | 111631 | 44 | 380 | 551653969 | 13453991 || 6413 | 24979290 | 2/ 2 | 3917318 | 0 | 1611.19/1611.28 c | 6476 | 9.7 | 0 | 114734 | 41 | 381 | 554548459 | 13529568 || 6476 | 25117575 | 2/ 2 | 3937809 | 0 | 1621.30/1621.32 c | 6524 | 10.0 | 0 | 113083 | 252 | 382 | 557433523 | 13603972 || 6524 | 25270102 | 2/ 2 | 3961529 | 0 | 1631.09/1631.16 c | 6587 | 9.8 | 0 | 114204 | 2054 | 383 | 560349143 | 13677609 || 6587 | 25396142 | 2/ 2 | 3981922 | 0 | 1641.10/1641.15 c | 6650 | 10.0 | 0 | 116542 | 2361 | 384 | 563241649 | 13752432 || 6650 | 25536506 | 2/ 2 | 4002438 | 0 | 1650.90/1650.91 c | 6652 | 9.8 | 0 | 117457 | 7656 | 385 | 566120963 | 13816255 || 6652 | 25666838 | 2/ 2 | 4022837 | 0 | 1662.19/1662.28 c | 6653 | 11.4 | 0 | 116545 | 8252 | 386 | 568923868 | 13880890 || 6653 | 25820467 | 2/ 2 | 4049773 | 0 | 1673.00/1673.08 c | 6699 | 10.8 | 0 | 113999 | 59 | 387 | 571982268 | 13947084 || 6699 | 25904155 | 2/ 2 | 4061756 | 0 | 1683.09/1683.11 c | 6762 | 10.0 | 0 | 113101 | 738 | 388 | 574910233 | 14022362 || 6762 | 26039348 | 2/ 2 | 4082251 | 0 | 1693.09/1693.18 c | 6808 | 10.1 | 0 | 115083 | 139 | 389 | 577781007 | 14096576 || 6808 | 26176494 | 2/ 2 | 4103143 | 0 | 1703.30/1703.32 c | 6873 | 10.1 | 0 | 114464 | 431 | 390 | 580722904 | 14173082 || 6873 | 26318077 | 2/ 2 | 4124874 | 0 | 1713.00/1713.07 c | 6907 | 9.8 | 0 | 115609 | 5852 | 391 | 583630461 | 14243852 || 6907 | 26453183 | 2/ 2 | 4145416 | 0 | 1723.19/1723.21 c | 6939 | 10.1 | 0 | 120733 | 1394 | 392 | 586471120 | 14314525 || 6939 | 26585888 | 2/ 2 | 4167336 | 0 | 1733.89/1733.93 c | 7002 | 10.7 | 0 | 127477 | 193 | 393 | 589488321 | 14391407 || 7002 | 26727738 | 2/ 2 | 4187824 | 0 | 1744.80/1744.85 c | 7045 | 10.9 | 0 | 127706 | 111 | 394 | 592482697 | 14463712 || 7045 | 26859090 | 2/ 2 | 4208262 | 0 | 1756.00/1756.09 c | 7112 | 11.2 | 0 | 128123 | 72 | 395 | 595481033 | 14541509 || 7112 | 27002952 | 2/ 2 | 4229691 | 0 | 1767.00/1767.07 c | 7162 | 11.0 | 0 | 129897 | 9205 | 396 | 598483538 | 14617783 || 7162 | 27160126 | 2/ 2 | 4254348 | 0 | 1778.30/1778.37 c | 7164 | 11.3 | 0 | 130164 | 20506 | 397 | 601447504 | 14679862 || 7164 | 27317309 | 2/ 2 | 4294113 | 0 | 1791.00/1791.02 c | 7164 | 12.7 | 0 | 127107 | 22309 | 398 | 604341789 | 14739768 || 7164 | 27394551 | 2/ 2 | 4294795 | 0 | 1805.01/1805.10 c | 7165 | 14.1 | 0 | 121824 | 62614 | 399 | 607269909 | 14814709 || 7165 | 27640274 | 2/ 2 | 4347766 | 0 | 1820.70/1820.78 c | 7165 | 15.7 | 0 | 119253 | 26216 | 400 | 610311402 | 14872436 || 7165 | 27699342 | 2/ 2 | 4348289 | 0 | 1832.62/1832.68 c | 7196 | 11.9 | 0 | 116154 | 1058 | 401 | 613388496 | 14934023 || 7196 | 27759595 | 2/ 2 | 4356852 | 0 | 1843.62/1843.68 c | 7265 | 11.0 | 0 | 109452 | 104 | 402 | 616412517 | 15013941 || 7265 | 27906273 | 2/ 2 | 4378187 | 0 | 1853.90/1853.92 c | 7310 | 10.2 | 0 | 111106 | 236 | 403 | 619450640 | 15090946 || 7310 | 28049731 | 2/ 2 | 4399953 | 0 | 1864.60/1864.64 c | 7379 | 10.7 | 0 | 115731 | 91 | 404 | 622505214 | 15169720 || 7379 | 28195535 | 2/ 2 | 4421517 | 0 | 1875.10/1875.15 c | 7419 | 10.5 | 0 | 121459 | 5213 | 405 | 625547873 | 15243083 || 7419 | 28337287 | 2/ 2 | 4443797 | 0 | 1886.60/1886.62 c | 7451 | 11.5 | 0 | 128461 | 2160 | 406 | 628595218 | 15314395 || 7451 | 28475114 | 2/ 2 | 4465915 | 0 | 1898.30/1898.38 c | 7517 | 11.8 | 0 | 132317 | 153 | 407 | 631751238 | 15391894 || 7517 | 28617268 | 2/ 2 | 4486875 | 0 | 1910.00/1910.03 c | 7564 | 11.7 | 0 | 130811 | 159 | 408 | 634817680 | 15465782 || 7564 | 28757452 | 2/ 2 | 4508770 | 0 | 1922.00/1922.03 c | 7635 | 12.0 | 0 | 130842 | 13 | 409 | 637958667 | 15545826 || 7635 | 28908786 | 2/ 2 | 4530719 | 0 | 1933.30/1933.39 c | 7674 | 11.3 | 0 | 131678 | 5945 | 410 | 641084709 | 15620625 || 7674 | 29050298 | 2/ 2 | 4552867 | 0 | 1946.20/1946.25 c | 7676 | 12.9 | 0 | 131759 | 28245 | 411 | 643934323 | 15689940 || 7676 | 29234289 | 2/ 2 | 4592922 | 0 | 1958.50/1958.53 c | 7691 | 12.3 | 0 | 130024 | 210 | 412 | 647060751 | 15752961 || 7691 | 29302484 | 2/ 2 | 4596711 | 0 | 1971.01/1971.01 c | 7762 | 12.5 | 0 | 128283 | 71 | 413 | 650245793 | 15833796 || 7762 | 29451084 | 2/ 2 | 4618612 | 0 | 1982.31/1982.35 c | 7803 | 11.3 | 0 | 129498 | 5891 | 414 | 653316173 | 15909830 || 7803 | 29597040 | 2/ 2 | 4641083 | 0 | 1994.22/1994.28 c | 7876 | 11.9 | 0 | 130718 | 145 | 415 | 656514745 | 15990782 || 7876 | 29744960 | 2/ 2 | 4663279 | 0 | 2006.43/2006.46 c | 7930 | 12.2 | 0 | 131329 | 9544 | 416 | 659625554 | 16070212 || 7930 | 29909262 | 2/ 2 | 4688806 | 0 | 2018.91/2018.91 c | 7958 | 12.4 | 0 | 132419 | 75 | 417 | 662807831 | 16139140 || 7958 | 30025809 | 2/ 2 | 4707491 | 0 | 2031.30/2031.31 c | 8025 | 12.4 | 0 | 135704 | 1649 | 418 | 665934764 | 16221814 || 8025 | 30183186 | 2/ 2 | 4731168 | 0 | 2043.20/2043.20 c | 8072 | 11.9 | 0 | 139555 | 253 | 419 | 669059211 | 16298873 || 8072 | 30324206 | 2/ 2 | 4752446 | 0 | 2056.30/2056.34 c | 8143 | 13.1 | 0 | 139951 | 122 | 420 | 672273264 | 16381143 || 8143 | 30476169 | 2/ 2 | 4775039 | 0 | 2068.60/2068.68 c | 8185 | 12.3 | 0 | 141201 | 6140 | 421 | 675411576 | 16457647 || 8185 | 30622073 | 2/ 2 | 4797562 | 0 | 2082.32/2082.36 c | 8187 | 13.7 | 0 | 141342 | 29541 | 422 | 678429767 | 16527302 || 8187 | 30814725 | 2/ 2 | 4837535 | 0 | 2096.30/2096.39 c | 8188 | 14.0 | 0 | 140200 | 33841 | 423 | 681667956 | 16590992 || 8188 | 30972321 | 2/ 2 | 4890101 | 0 | 2114.31/2114.35 c | 8188 | 18.0 | 0 | 139405 | 42802 | 424 | 684464511 | 16671648 || 8188 | 31147979 | 2/ 2 | 4891808 | 0 | 2128.53/2128.56 c | 8188 | 14.2 | 0 | 130138 | 42738 | 425 | 687931775 | 16723328 || 8188 | 31148626 | 2/ 2 | 4891811 | 0 | 2145.41/2145.44 c | 8189 | 16.9 | 0 | 126913 | 85740 | 426 | 691032860 | 16797638 || 8189 | 31462360 | 2/ 2 | 4995225 | 0 | 2171.11/2171.16 c | 8189 | 25.7 | 0 | 116805 | 43101 | 427 | 693772422 | 16872633 || 8189 | 31644616 | 2/ 2 | 4996756 | 0 | 2192.81/2192.88 c | 8189 | 21.7 | 0 | 101213 | 18441 | 428 | 696907464 | 16939282 || 8189 | 31749882 | 2/ 2 | 4997693 | 0 | 2206.91/2206.96 c | 8189 | 14.1 | 0 | 93370 | 61743 | 429 | 700356887 | 16991436 || 8189 | 31749882 | 2/ 2 | 4997693 | 0 | 2221.91/2221.96 c | 8190 | 15.0 | 0 | 88886 | 105144 | 430 | 703745405 | 17046123 || 8190 | 32085892 | 2/ 2 | 5204950 | 0 | 2237.21/2237.31 c | 8190 | 15.4 | 0 | 87591 | 43502 | 431 | 706644613 | 17130437 || 8190 | 32274238 | 2/ 2 | 5206640 | 0 | 2257.61/2257.62 c | 8190 | 20.3 | 0 | 88624 | 43604 | 432 | 709501704 | 17210647 || 8190 | 32457908 | 2/ 2 | 5208303 | 0 | 2279.61/2279.67 c | 8190 | 22.0 | 0 | 87935 | 43702 | 433 | 712323614 | 17290268 || 8190 | 32637118 | 2/ 2 | 5209951 | 0 | 2304.32/2304.40 c | 8190 | 24.7 | 0 | 89529 | 43801 | 434 | 715143530 | 17369147 || 8190 | 32825705 | 2/ 2 | 5211645 | 0 | 2324.02/2324.02 c | 8190 | 19.6 | 0 | 85780 | 16452 | 435 | 718149151 | 17437489 || 8190 | 32940212 | 2/ 2 | 5212700 | 0 | 2336.32/2336.40 c | 8190 | 12.4 | 0 | 82722 | 60455 | 436 | 721574752 | 17491355 || 8190 | 32940212 | 2/ 2 | 5212700 | 0 | 2348.82/2348.85 c | 8190 | 12.4 | 0 | 78291 | 104556 | 437 | 724982303 | 17544852 || 8190 | 32940212 | 2/ 2 | 5212700 | 0 | 2360.63/2360.62 c | 8190 | 11.8 | 0 | 80397 | 148760 | 438 | 728338753 | 17598148 || 8190 | 32940212 | 2/ 2 | 5212700 | 0 | 2373.72/2373.72 c | 8190 | 13.1 | 0 | 87112 | 193062 | 439 | 731613040 | 17651339 || 8190 | 32940212 | 2/ 2 | 5212700 | 0 | 2390.41/2390.48 c | 8191 | 16.8 | 0 | 87199 | 237465 | 440 | 734698141 | 17726999 || 8191 | 33715756 | 2/ 2 | 5627211 | 0 | 2411.01/2411.00 c | 8191 | 20.5 | 0 | 91224 | 44501 | 441 | 737514168 | 17807574 || 8191 | 33893048 | 2/ 2 | 5628848 | 0 | 2434.33/2434.32 c | 8191 | 23.3 | 0 | 91466 | 44602 | 442 | 740257336 | 17886042 || 8191 | 34066157 | 2/ 2 | 5630434 | 0 | 2460.51/2460.58 c | 8191 | 26.2 | 0 | 92491 | 44702 | 443 | 743010767 | 17964025 || 8191 | 34244002 | 2/ 2 | 5632025 | 0 | 2487.02/2487.09 c | 8191 | 26.5 | 0 | 91237 | 44802 | 444 | 745744960 | 18040936 || 8191 | 34417170 | 2/ 2 | 5633613 | 0 | 2513.12/2513.17 c | 8191 | 26.1 | 0 | 89441 | 44901 | 445 | 748433938 | 18117617 || 8191 | 34593563 | 2/ 2 | 5635183 | 0 | 2538.84/2538.85 c | 8191 | 25.7 | 0 | 83705 | 45002 | 446 | 751160475 | 18194774 || 8191 | 34766967 | 2/ 2 | 5636781 | 0 | 2565.52/2565.58 c | 8191 | 26.7 | 0 | 77370 | 45104 | 447 | 753836423 | 18270710 || 8191 | 34936160 | 2/ 2 | 5638340 | 0 | 2594.02/2594.09 c | 8191 | 28.5 | 0 | 80080 | 45201 | 448 | 756565873 | 18349228 || 8191 | 35109130 | 2/ 2 | 5639972 | 0 | 2614.12/2614.10 c | 8191 | 20.0 | 0 | 74770 | 27178 | 449 | 759850181 | 18414685 || 8191 | 35179813 | 2/ 2 | 5640600 | 0 | 2629.32/2629.37 c | 8191 | 15.3 | 0 | 80516 | 72579 | 450 | 763347289 | 18468908 || 8191 | 35179813 | 2/ 2 | 5640600 | 0 | 2643.53/2643.50 c | 8191 | 14.1 | 0 | 85780 | 118080 | 451 | 766856010 | 18523028 || 8191 | 35179813 | 2/ 2 | 5640600 | 0 | 2657.22/2657.26 c | 8191 | 13.8 | 0 | 88867 | 163681 | 452 | 770383534 | 18577644 || 8191 | 35179813 | 2/ 2 | 5640600 | 0 | 2669.83/2669.89 c | 8191 | 12.6 | 0 | 92886 | 209385 | 453 | 773835327 | 18633153 || 8191 | 35179813 | 2/ 2 | 5640600 | 0 | 2683.33/2683.34 c | 8191 | 13.4 | 0 | 99523 | 255187 | 454 | 777318414 | 18688314 || 8191 | 35179813 | 2/ 2 | 5640600 | 0 | 2697.03/2697.07 c | 8191 | 13.7 | 0 | 101040 | 301089 | 455 | 780844723 | 18743584 || 8191 | 35179813 | 2/ 2 | 5640600 | 0 | 2711.72/2711.75 c | 8191 | 14.7 | 0 | 102627 | 347093 | 456 | 784344827 | 18798918 || 8191 | 35179813 | 2/ 2 | 5640600 | 0 | 2725.42/2725.46 c | 8191 | 13.7 | 0 | 107373 | 393194 | 457 | 787845189 | 18854268 || 8191 | 35179813 | 2/ 2 | 5640600 | 0 | 2738.12/2738.17 c | 8253 | 12.7 | 0 | 110462 | 1664 | 458 | 791425893 | 18935755 || 8253 | 35296489 | 2/ 2 | 5657727 | 0 | 2749.12/2749.19 c | 8317 | 11.0 | 0 | 115989 | 2229 | 459 | 794920929 | 19024636 || 8317 | 35457400 | 2/ 2 | 5681652 | 0 | 2760.82/2760.86 c | 8381 | 11.7 | 0 | 123017 | 2117 | 460 | 798380219 | 19118194 || 8381 | 35631698 | 2/ 2 | 5708875 | 0 | 2773.14/2773.19 c | 8445 | 12.3 | 0 | 129736 | 5297 | 461 | 801923338 | 19209667 || 8445 | 35809589 | 2/ 2 | 5736160 | 0 | 2786.23/2786.27 c | 8474 | 13.1 | 0 | 136150 | 55 | 462 | 805417775 | 19288549 || 8474 | 35949211 | 2/ 2 | 5755388 | 0 | 2799.62/2799.61 c | 8548 | 13.3 | 0 | 136354 | 403 | 463 | 808923192 | 19382272 || 8548 | 36119856 | 2/ 2 | 5780259 | 0 | 2813.22/2813.27 c | 8604 | 13.7 | 0 | 135695 | 1914 | 464 | 812472257 | 19470403 || 8604 | 36289275 | 2/ 2 | 5806164 | 0 | 2826.93/2827.00 c | 8682 | 13.7 | 0 | 126734 | 668 | 465 | 816065929 | 19562672 || 8682 | 36455064 | 2/ 2 | 5830098 | 0 | 2840.02/2840.08 c | 8701 | 13.1 | 0 | 128761 | 5236 | 466 | 819562182 | 19643565 || 8701 | 36629556 | 2/ 2 | 5858836 | 0 | 2855.82/2855.81 c | 8702 | 15.7 | 0 | 126828 | 13935 | 467 | 822922853 | 19724276 || 8702 | 36797448 | 2/ 2 | 5885908 | 0 | 2869.95/2869.93 c | 8765 | 14.1 | 0 | 123275 | 234 | 468 | 826505155 | 19811657 || 8765 | 36937970 | 2/ 2 | 5906405 | 0 | 2883.23/2883.25 c | 8829 | 13.3 | 0 | 124662 | 9031 | 469 | 830089121 | 19902130 || 8829 | 37114413 | 2/ 2 | 5933651 | 0 | 2896.35/2896.34 c | 8899 | 13.1 | 0 | 125956 | 513 | 470 | 833727422 | 19991531 || 8899 | 37263590 | 2/ 2 | 5955413 | 0 | 2910.13/2910.11 c | 8956 | 13.8 | 0 | 128049 | 4492 | 471 | 837395120 | 20080898 || 8956 | 37434479 | 2/ 2 | 5981363 | 0 | 2923.93/2923.92 c | 9002 | 13.8 | 0 | 128088 | 200 | 472 | 840985340 | 20165388 || 9002 | 37587381 | 2/ 2 | 6005568 | 0 | 2937.73/2937.71 c | 9082 | 13.8 | 0 | 130206 | 1159 | 473 | 844624387 | 20258782 || 9082 | 37760670 | 2/ 2 | 6032389 | 0 | 2951.83/2951.82 c | 9141 | 14.1 | 0 | 136695 | 267 | 474 | 848292487 | 20350002 || 9141 | 37927039 | 2/ 2 | 6056384 | 0 | 2965.83/2965.81 c | 9210 | 14.0 | 0 | 137277 | 4624 | 475 | 851847348 | 20442888 || 9210 | 38107396 | 2/ 2 | 6083524 | 0 | 2979.43/2979.47 c | 9213 | 13.7 | 0 | 140113 | 19019 | 476 | 855450774 | 20520909 || 9213 | 38298239 | 2/ 2 | 6129947 | 0 | 2995.72/2995.79 c | 9214 | 16.3 | 0 | 137046 | 28719 | 477 | 858998639 | 20594030 || 9214 | 38477502 | 2/ 2 | 6182585 | 0 | 3014.42/3014.41 c | 9214 | 18.6 | 0 | 133320 | 119 | 478 | 862158691 | 20684481 || 9214 | 38687515 | 2/ 2 | 6184459 | 0 | 3031.23/3031.26 c | 9214 | 16.9 | 0 | 128335 | 48420 | 479 | 865856991 | 20743117 || 9214 | 38687515 | 2/ 2 | 6184459 | 0 | 3045.33/3045.33 c | 9295 | 14.1 | 0 | 125633 | 89 | 480 | 869547664 | 20836554 || 9295 | 38850748 | 2/ 2 | 6208814 | 0 | 3058.73/3058.79 c | 9355 | 13.5 | 0 | 125308 | 489 | 481 | 873223577 | 20927251 || 9355 | 39017319 | 2/ 2 | 6234776 | 0 | 3073.13/3073.17 c | 9435 | 14.4 | 0 | 124560 | 2348 | 482 | 876951238 | 21022273 || 9435 | 39196711 | 2/ 2 | 6261237 | 0 | 3086.65/3086.63 c | 9469 | 13.5 | 0 | 130722 | 18193 | 483 | 880500131 | 21110625 || 9469 | 39393291 | 2/ 2 | 6293450 | 0 | 3100.63/3100.66 c | 9532 | 14.0 | 0 | 135457 | 4475 | 484 | 884175630 | 21200399 || 9532 | 39536391 | 2/ 2 | 6313972 | 0 | 3114.73/3114.78 c | 9596 | 14.1 | 0 | 145345 | 428 | 485 | 887853067 | 21291567 || 9596 | 39711495 | 2/ 2 | 6341214 | 0 | 3129.93/3129.96 c | 9673 | 15.2 | 0 | 149563 | 102 | 486 | 891580434 | 21383214 || 9673 | 39867899 | 2/ 2 | 6364285 | 0 | 3144.63/3144.64 c | 9724 | 14.7 | 0 | 149338 | 8712 | 487 | 895174782 | 21476675 || 9724 | 40063177 | 2/ 2 | 6402055 | 0 | 3161.03/3161.10 c | 9725 | 16.5 | 0 | 151028 | 308 | 488 | 898790325 | 21563162 || 9725 | 40264921 | 2/ 2 | 6429290 | 0 | 3178.43/3178.46 c | 9777 | 17.4 | 0 | 147820 | 112 | 489 | 902616269 | 21642276 || 9777 | 40354285 | 2/ 2 | 6442122 | 0 | 3193.73/3193.76 c | 9851 | 15.3 | 0 | 149004 | 4354 | 490 | 906330549 | 21737818 || 9851 | 40539149 | 2/ 2 | 6470149 | 0 | 3209.33/3209.33 c | 9915 | 15.6 | 0 | 150085 | 2496 | 491 | 910070564 | 21828240 || 9915 | 40706853 | 2/ 2 | 6497291 | 0 | 3225.03/3225.06 c | 9979 | 15.7 | 0 | 151501 | 8758 | 492 | 913780559 | 21925443 || 9979 | 40895618 | 2/ 2 | 6524687 | 0 | 3240.65/3240.67 c | 10014 | 15.6 | 0 | 151815 | 179 | 493 | 917521697 | 22009079 || 10014 | 41038675 | 2/ 2 | 6547138 | 0 | 3257.16/3257.12 c | 10104 | 16.4 | 0 | 153648 | 16 | 494 | 921357348 | 22106559 || 10104 | 41219168 | 2/ 2 | 6574091 | 0 | 3273.14/3273.14 c | 10167 | 16.0 | 0 | 160107 | 412 | 495 | 925023037 | 22198480 || 10167 | 41389219 | 2/ 2 | 6600508 | 0 | 3289.44/3289.41 c | 10233 | 16.3 | 0 | 160890 | 2886 | 496 | 928713787 | 22291950 || 10233 | 41563164 | 2/ 2 | 6626911 | 0 | 3305.84/3305.82 c | 10236 | 16.4 | 0 | 161239 | 24181 | 497 | 932408219 | 22375835 || 10236 | 41777590 | 2/ 2 | 6673599 | 0 | 3326.46/3326.43 c | 10237 | 20.6 | 0 | 159391 | 35983 | 498 | 935955549 | 22451060 || 10237 | 41966107 | 2/ 2 | 6725991 | 0 | 3349.04/3349.03 c | 10237 | 22.6 | 0 | 155627 | 9484 | 499 | 939402881 | 22536012 || 10237 | 42146317 | 2/ 2 | 6727586 | 0 | 3367.44/3367.41 c | 10238 | 18.4 | 0 | 148068 | 59887 | 500 | 943394010 | 22602749 || 10238 | 42352832 | 2/ 2 | 6831547 | 0 | 3390.44/3390.48 c | 10238 | 23.1 | 0 | 143569 | 50503 | 501 | 946676835 | 22691611 || 10238 | 42577130 | 2/ 2 | 6833458 | 0 | 3412.44/3412.43 c | 10238 | 21.9 | 0 | 133498 | 7390 | 502 | 950170548 | 22777768 || 10238 | 42764037 | 2/ 2 | 6835163 | 0 | 3430.74/3430.72 c | 10238 | 18.3 | 0 | 117702 | 58093 | 503 | 954001972 | 22839716 || 10238 | 42764037 | 2/ 2 | 6835163 | 0 | 3449.34/3449.38 c | 10254 | 18.7 | 0 | 116951 | 872 | 504 | 957906023 | 22906567 || 10254 | 42788815 | 2/ 2 | 6838694 | 0 | 3463.54/3463.52 c | 10341 | 14.2 | 0 | 113409 | 71 | 505 | 961794557 | 23007871 || 10341 | 42974194 | 2/ 2 | 6865679 | 0 | 3477.34/3477.31 c | 10404 | 13.8 | 0 | 123036 | 451 | 506 | 965649218 | 23102521 || 10404 | 43150761 | 2/ 2 | 6892727 | 0 | 3491.84/3491.87 c | 10490 | 14.6 | 0 | 126607 | 610 | 507 | 969491506 | 23203787 || 10490 | 43339469 | 2/ 2 | 6920436 | 0 | 3506.14/3506.16 c | 10508 | 14.3 | 0 | 137497 | 990 | 508 | 973212377 | 23288982 || 10508 | 43500045 | 2/ 2 | 6947548 | 0 | 3521.94/3521.93 c | 10594 | 15.8 | 0 | 141322 | 122 | 509 | 976974088 | 23390318 || 10594 | 43683815 | 2/ 2 | 6974471 | 0 | 3537.55/3537.57 c | 10658 | 15.6 | 0 | 150869 | 203 | 510 | 980756944 | 23485443 || 10658 | 43858299 | 2/ 2 | 7001666 | 0 | 3554.54/3554.53 c | 10745 | 17.0 | 0 | 152600 | 722 | 511 | 984645310 | 23585225 || 10745 | 44044002 | 2/ 2 | 7029466 | 0 | 3570.44/3570.51 c | 10749 | 16.0 | 0 | 154139 | 18715 | 512 | 988457783 | 23668197 || 10749 | 44248369 | 2/ 2 | 7079217 | 0 | 3587.94/3587.99 c | 10764 | 17.5 | 0 | 151722 | 788 | 513 | 992168780 | 23749075 || 10764 | 44354477 | 2/ 2 | 7083413 | 0 | 3605.44/3605.43 c | 10856 | 17.5 | 0 | 148891 | 100 | 514 | 996083062 | 23850525 || 10856 | 44541693 | 2/ 2 | 7110971 | 0 | 3621.94/3621.93 c | 10921 | 16.5 | 0 | 153475 | 370 | 515 | 999993135 | 23948865 || 10921 | 44727834 | 2/ 2 | 7138866 | 0 | 3638.86/3638.87 c | 11002 | 16.9 | 0 | 154539 | 3193 | 516 | 1003890821 | 24048182 || 11002 | 44916431 | 2/ 2 | 7168662 | 0 | 3655.44/3655.41 c | 11027 | 16.6 | 0 | 155792 | 451 | 517 | 1007743102 | 24134227 || 11027 | 45076003 | 2/ 2 | 7193799 | 0 | 3672.75/3672.71 c | 11114 | 17.3 | 0 | 155365 | 888 | 518 | 1011640132 | 24235759 || 11114 | 45262622 | 2/ 2 | 7221569 | 0 | 3689.75/3689.75 c | 11182 | 17.0 | 0 | 161694 | 165 | 519 | 1015551203 | 24335218 || 11182 | 45445781 | 2/ 2 | 7249441 | 0 | 3707.07/3707.08 c | 11257 | 17.3 | 0 | 165188 | 2114 | 520 | 1019457260 | 24434083 || 11257 | 45633960 | 2/ 2 | 7277734 | 0 | 3724.45/3724.45 c | 11260 | 17.4 | 0 | 166263 | 25812 | 521 | 1023247342 | 24522819 || 11260 | 45853275 | 2/ 2 | 7324098 | 0 | 3743.37/3743.36 c | 11261 | 18.9 | 0 | 164754 | 40007 | 522 | 1026978977 | 24608646 || 11261 | 46059449 | 2/ 2 | 7376991 | 0 | 3767.35/3767.31 c | 11261 | 23.9 | 0 | 162535 | 15907 | 523 | 1030398435 | 24705050 || 11261 | 46225291 | 2/ 2 | 7378567 | 0 | 3784.65/3784.61 c | 11298 | 17.3 | 0 | 156366 | 28 | 524 | 1034170552 | 24785551 || 11298 | 46290453 | 2/ 2 | 7387970 | 0 | 3802.25/3802.22 c | 11386 | 17.6 | 0 | 157336 | 1374 | 525 | 1038130524 | 24888001 || 11386 | 46479120 | 2/ 2 | 7416203 | 0 | 3819.55/3819.51 c | 11451 | 17.3 | 0 | 158626 | 3065 | 526 | 1042082840 | 24986140 || 11451 | 46668065 | 2/ 2 | 7446654 | 0 | 3836.76/3836.73 c | 11515 | 17.2 | 0 | 159530 | 3233 | 527 | 1046063759 | 25084916 || 11515 | 46854856 | 2/ 2 | 7473955 | 0 | 3855.15/3855.11 c | 11569 | 18.4 | 0 | 164118 | 529 | 528 | 1049984237 | 25178495 || 11569 | 47023694 | 2/ 2 | 7500742 | 0 | 3873.55/3873.52 c | 11643 | 18.4 | 0 | 166812 | 3897 | 529 | 1054052292 | 25279298 || 11643 | 47224004 | 2/ 2 | 7535016 | 0 | 3891.35/3891.35 c | 11715 | 17.8 | 0 | 174760 | 91 | 530 | 1058052194 | 25378961 || 11715 | 47398740 | 2/ 2 | 7557196 | 0 | 3910.05/3910.08 c | 11771 | 18.7 | 0 | 171999 | 11403 | 531 | 1061892753 | 25480640 || 11771 | 47617477 | 2/ 2 | 7596288 | 0 | 3929.95/3929.90 c | 11772 | 19.8 | 0 | 174391 | 7396 | 532 | 1065633311 | 25564718 || 11772 | 47804482 | 2/ 2 | 7623494 | 0 | 3949.35/3949.36 c | 11835 | 19.5 | 0 | 169986 | 181 | 533 | 1069671160 | 25657828 || 11835 | 47942615 | 2/ 2 | 7643998 | 0 | 3967.55/3967.56 c | 11899 | 18.2 | 0 | 169491 | 5862 | 534 | 1073692207 | 25755869 || 11899 | 48119844 | 2/ 2 | 7671297 | 0 | 3986.75/3986.71 c | 11993 | 19.2 | 0 | 172023 | 364 | 535 | 1077672533 | 25861500 || 11993 | 48315566 | 2/ 2 | 7700210 | 0 | 4005.46/4005.40 c | 12027 | 18.7 | 0 | 174176 | 4709 | 536 | 1081625436 | 25957371 || 12027 | 48517107 | 2/ 2 | 7732347 | 0 | 4025.36/4025.33 c | 12110 | 19.9 | 0 | 173453 | 152 | 537 | 1085706143 | 26057902 || 12110 | 48683904 | 2/ 2 | 7756961 | 0 | 4044.78/4044.74 c | 12182 | 19.4 | 0 | 174015 | 95 | 538 | 1089784292 | 26157823 || 12182 | 48870900 | 2/ 2 | 7785673 | 0 | 4064.58/4064.52 c | 12276 | 19.8 | 0 | 180712 | 141 | 539 | 1093809510 | 26263875 || 12276 | 49064898 | 2/ 2 | 7814707 | 0 | 4083.36/4083.38 c | 12283 | 18.8 | 0 | 182563 | 16418 | 540 | 1097806010 | 26354332 || 12283 | 49287312 | 2/ 2 | 7867366 | 0 | 4104.56/4104.56 c | 12284 | 21.2 | 0 | 180094 | 32519 | 541 | 1101753068 | 26441299 || 12284 | 49500224 | 2/ 2 | 7920348 | 0 | 4131.46/4131.51 c | 12284 | 26.9 | 0 | 174697 | 10319 | 542 | 1105560104 | 26533915 || 12284 | 49688521 | 2/ 2 | 7922096 | 0 | 4154.36/4154.36 c | 12285 | 22.9 | 0 | 170797 | 65020 | 543 | 1109557937 | 26610222 || 12285 | 49923067 | 2/ 2 | 8026390 | 0 | 4182.76/4182.74 c | 12285 | 28.4 | 0 | 162779 | 54801 | 544 | 1112976769 | 26709941 || 12285 | 50154490 | 2/ 2 | 8028442 | 0 | 4218.58/4218.57 c | 12285 | 35.8 | 0 | 158098 | 21123 | 545 | 1116632281 | 26794778 || 12285 | 50294390 | 2/ 2 | 8029658 | 0 | 4242.67/4242.69 c | 12285 | 24.1 | 0 | 137660 | 76124 | 546 | 1120914158 | 26860385 || 12285 | 50294390 | 2/ 2 | 8029658 | 0 | 4264.78/4264.73 c | 12286 | 22.0 | 0 | 134552 | 131227 | 547 | 1124830714 | 26946001 || 12286 | 50704969 | 2/ 2 | 8222196 | 0 | 4296.16/4296.14 c | 12286 | 31.4 | 0 | 124396 | 55202 | 548 | 1128470588 | 27044328 || 12286 | 50934377 | 2/ 2 | 8224219 | 0 | 4333.66/4333.66 c | 12286 | 37.5 | 0 | 127504 | 55302 | 549 | 1132027254 | 27142455 || 12286 | 51166503 | 2/ 2 | 8226239 | 0 | 4371.37/4371.40 c | 12286 | 37.7 | 0 | 117776 | 55401 | 550 | 1135526555 | 27238258 || 12286 | 51390770 | 2/ 2 | 8228257 | 0 | 4397.06/4397.05 c | 12286 | 25.6 | 0 | 116291 | 45437 | 551 | 1139700970 | 27310619 || 12286 | 51432091 | 2/ 2 | 8228619 | 0 | 4416.36/4416.41 c | 12286 | 19.4 | 0 | 111841 | 101039 | 552 | 1144002155 | 27376699 || 12286 | 51432091 | 2/ 2 | 8228619 | 0 | 4435.28/4435.24 c | 12286 | 18.8 | 0 | 113044 | 156740 | 553 | 1148209667 | 27442949 || 12286 | 51432091 | 2/ 2 | 8228619 | 0 | 4456.76/4456.80 c | 12307 | 21.6 | 0 | 105017 | 194 | 554 | 1152428885 | 27515804 || 12307 | 51462298 | 2/ 2 | 8232884 | 0 | 4472.36/4472.36 c | 12404 | 15.6 | 0 | 106904 | 116 | 555 | 1156621848 | 27628797 || 12404 | 51667836 | 2/ 2 | 8262541 | 0 | 4487.56/4487.50 c | 12475 | 15.1 | 0 | 121385 | 1689 | 556 | 1160953059 | 27734842 || 12475 | 51871451 | 2/ 2 | 8293396 | 0 | 4503.37/4503.35 c | 12540 | 15.9 | 0 | 132612 | 2472 | 557 | 1165180584 | 27838969 || 12540 | 52071578 | 2/ 2 | 8324083 | 0 | 4520.07/4520.08 c | 12601 | 16.7 | 0 | 137450 | 364 | 558 | 1169275694 | 27937923 || 12601 | 52250307 | 2/ 2 | 8352030 | 0 | 4537.07/4537.01 c | 12668 | 16.9 | 0 | 144773 | 9124 | 559 | 1173459896 | 28045259 || 12668 | 52461886 | 2/ 2 | 8385184 | 0 | 4554.97/4555.00 c | 12760 | 18.0 | 0 | 154577 | 153 | 560 | 1177782825 | 28153028 || 12760 | 52643876 | 2/ 2 | 8411636 | 0 | 4572.79/4572.72 c | 12796 | 17.7 | 0 | 155301 | 3390 | 561 | 1181990063 | 28256649 || 12796 | 52862530 | 2/ 2 | 8446408 | 0 | 4591.27/4591.27 c | 12797 | 18.6 | 0 | 154501 | 21592 | 562 | 1186064669 | 28343257 || 12797 | 53012980 | 2/ 2 | 8472081 | 0 | 4610.08/4610.07 c | 12891 | 18.8 | 0 | 155974 | 2100 | 563 | 1190343841 | 28454587 || 12891 | 53211138 | 2/ 2 | 8501229 | 0 | 4629.28/4629.22 c | 12967 | 19.2 | 0 | 160079 | 65 | 564 | 1194600273 | 28560885 || 12967 | 53404126 | 2/ 2 | 8530446 | 0 | 4648.07/4648.06 c | 13050 | 18.8 | 0 | 162765 | 2702 | 565 | 1198847793 | 28671289 || 13050 | 53609515 | 2/ 2 | 8561022 | 0 | 4666.77/4666.77 c | 13090 | 18.7 | 0 | 166226 | 34 | 566 | 1203136658 | 28768839 || 13090 | 53796795 | 2/ 2 | 8591072 | 0 | 4686.38/4686.35 c | 13178 | 19.6 | 0 | 163517 | 1347 | 567 | 1207438501 | 28878971 || 13178 | 54005617 | 2/ 2 | 8622198 | 0 | 4705.78/4705.78 c | 13255 | 19.4 | 0 | 168049 | 171 | 568 | 1211782126 | 28985457 || 13255 | 54198626 | 2/ 2 | 8651603 | 0 | 4725.38/4725.39 c | 13307 | 19.6 | 0 | 170128 | 16387 | 569 | 1216054994 | 29091365 || 13307 | 54425842 | 2/ 2 | 8689967 | 0 | 4745.38/4745.35 c | 13308 | 20.0 | 0 | 168410 | 16180 | 570 | 1220340935 | 29181018 || 13308 | 54594814 | 2/ 2 | 8717069 | 0 | 4769.47/4769.41 c | 13309 | 24.1 | 0 | 165559 | 73683 | 571 | 1224136236 | 29281515 || 13309 | 54883941 | 2/ 2 | 8770929 | 0 | 4797.88/4797.89 c | 13320 | 28.5 | 0 | 160067 | 274 | 572 | 1228610711 | 29356659 || 13320 | 54910559 | 2/ 2 | 8772862 | 0 | 4817.48/4817.40 c | 13419 | 19.5 | 0 | 158351 | 802 | 573 | 1232959560 | 29469823 || 13419 | 55119055 | 2/ 2 | 8803667 | 0 | 4837.08/4837.08 c | 13498 | 19.7 | 0 | 160353 | 859 | 574 | 1237343836 | 29577503 || 13498 | 55319716 | 2/ 2 | 8835786 | 0 | 4856.68/4856.61 c | 13563 | 19.5 | 0 | 161427 | 3420 | 575 | 1241707772 | 29685853 || 13563 | 55526750 | 2/ 2 | 8866439 | 0 | 4876.88/4876.80 c | 13626 | 20.2 | 0 | 164116 | 1287 | 576 | 1245996751 | 29789683 || 13626 | 55718271 | 2/ 2 | 8896979 | 0 | 4896.28/4896.26 c | 13691 | 19.4 | 0 | 168675 | 4073 | 577 | 1250353369 | 29896036 || 13691 | 55922528 | 2/ 2 | 8927709 | 0 | 4917.28/4917.23 c | 13791 | 21.0 | 0 | 176684 | 197 | 578 | 1254769309 | 30007681 || 13791 | 56124262 | 2/ 2 | 8957591 | 0 | 4936.98/4936.95 c | 13819 | 19.7 | 0 | 178651 | 11532 | 579 | 1259154828 | 30108108 || 13819 | 56321106 | 2/ 2 | 8988943 | 0 | 4959.58/4959.55 c | 13835 | 22.6 | 0 | 177083 | 299 | 580 | 1263426013 | 30200681 || 13835 | 56499267 | 2/ 2 | 9019340 | 0 | 4981.89/4981.82 c | 13940 | 22.3 | 0 | 175452 | 99 | 581 | 1267800269 | 30314156 || 13940 | 56708181 | 2/ 2 | 9050168 | 0 | 5000.09/5000.02 c | 14005 | 18.2 | 0 | 226765 | 104 | 581 | 1271619286 | 30409624 || 14005 | 56886186 | 2/ 2 | 9077536 | 0 | 5000.09/5000.02 c c 5000.09/5000.02 c ----------------------------------- 5000.09/5000.02 c # temps = 4998.810000 5000.09/5000.02 c # cleaningDB = 581 5000.09/5000.02 c # clause binaire = 0 5000.09/5000.02 c # literal removed by litRedundant = 254838984 5000.09/5000.02 c # literal removed by litRedundantBin = 0 5000.09/5000.02 c # init clause removed by simplify = 0 5000.09/5000.02 c # learnt clause removed by simplify = 0 5000.09/5000.02 c # une clause fausse était une apprise = 0 5000.09/5000.02 c # equivalence dectecte = 0 5000.09/5000.02 c # Memory used : 121.19 MB 5000.09/5000.02 c 5000.09/5000.02 c ######################## 5000.09/5000.02 c #### ## ### ## #### 5000.09/5000.02 c #### #### # ## #### #### 5000.09/5000.02 c #### ## ### ## ### 5000.09/5000.02 c ######################## 5000.09/5000.02 c # restart = 14005 5000.09/5000.02 c # conflit = 17191948 5000.09/5000.02 c # decision = 30409624 5000.09/5000.02 c # propagation = 1271619286 (254384.400687 (prop/sec)) 5000.09/5000.02 c 5000.09/5000.02 c ######################## 5000.09/5000.02 c ### ### # ## ## ## 5000.09/5000.02 c ### # # # #### # ### ### 5000.09/5000.02 c ### # ### ## # ### ### 5000.09/5000.02 c ######################## 5000.09/5000.02 c # numtry = 14005 5000.09/5000.02 c # numflips = 56886186 5000.09/5000.02 c # maxSat = 2 5000.09/5000.02 c # freeFlip = 14503126 5000.09/5000.02 c # nbBoundary = 0 5000.09/5000.02 c
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3439045-1306902820/watcher-3439045-1306902820 -o /tmp/evaluation-result-3439045-1306902820/solver-3439045-1306902820 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439045-1306902820.cnf rnovelty running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 1.02 1.31 2/528 10031 /proc/meminfo: memFree=5748760/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 782697879 8912896 252 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10031/statm: 2176 252 211 178 0 69 0 [startup+0.0655231 s] /proc/loadavg: 0.92 1.02 1.31 2/528 10031 /proc/meminfo: memFree=5748760/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 782697879 8912896 252 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10031/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100528 s] /proc/loadavg: 0.92 1.02 1.31 2/528 10031 /proc/meminfo: memFree=5748760/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 782697879 8912896 252 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10031/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300499 s] /proc/loadavg: 0.92 1.02 1.31 2/528 10031 /proc/meminfo: memFree=5748760/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 782697879 8912896 252 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10031/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700423 s] /proc/loadavg: 0.92 1.02 1.31 2/528 10031 /proc/meminfo: memFree=5748760/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 782697879 8912896 252 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10031/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50027 s] /proc/loadavg: 0.92 1.02 1.31 3/530 10033 /proc/meminfo: memFree=5727224/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 8704 [startup+3.10098 s] /proc/loadavg: 1.01 1.03 1.31 3/531 10035 /proc/meminfo: memFree=5726968/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=19808 CPUtime=1.78 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 3358 0 0 0 178 0 0 0 25 0 1 0 782698010 20283392 3268 33554432000 4194304 4241092 140735843981024 18446744073709551615 4225153 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 4952 3268 136 12 0 3416 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 37216 [startup+6.3004 s] /proc/loadavg: 1.01 1.03 1.31 3/531 10035 /proc/meminfo: memFree=5724596/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=21036 CPUtime=4.98 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 3676 0 0 0 498 0 0 0 25 0 1 0 782698010 21540864 3586 33554432000 4194304 4241092 140735843981024 18446744073709551615 4221560 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 5259 3586 136 12 0 3723 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 38444 [startup+12.7013 s] /proc/loadavg: 1.16 1.06 1.32 3/531 10035 /proc/meminfo: memFree=5719516/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=22624 CPUtime=11.38 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 4051 0 0 0 1138 0 0 0 25 0 1 0 782698010 23166976 3961 33554432000 4194304 4241092 140735843981024 18446744073709551615 233509962671 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 5656 3961 136 12 0 4120 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 40032 [startup+25.501 s] /proc/loadavg: 1.29 1.09 1.33 3/531 10035 /proc/meminfo: memFree=5714552/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=25348 CPUtime=24.18 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 4735 0 0 0 2418 0 0 0 25 0 1 0 782698010 25956352 4640 33554432000 4194304 4241092 140735843981024 18446744073709551615 4223760 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 6337 4640 136 12 0 4801 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 42756 [startup+51.1004 s] /proc/loadavg: 1.53 1.17 1.34 3/531 10036 /proc/meminfo: memFree=5700660/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=28504 CPUtime=49.77 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 5585 0 0 0 4977 0 0 0 25 0 1 0 782698010 29188096 5439 33554432000 4194304 4241092 140735843981024 18446744073709551615 4206044 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 7126 5439 136 12 0 5590 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 45912 [startup+102.32 s] /proc/loadavg: 1.81 1.30 1.38 3/531 10037 /proc/meminfo: memFree=5694160/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=32568 CPUtime=100.99 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 6888 0 0 0 10098 1 0 0 25 0 1 0 782698010 33349632 6462 33554432000 4194304 4241092 140735843981024 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 8142 6462 136 12 0 6606 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 49976 [startup+162.3 s] /proc/loadavg: 1.93 1.43 1.41 3/531 10039 /proc/meminfo: memFree=5679328/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=37992 CPUtime=160.98 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 8614 0 0 0 16096 2 0 0 25 0 1 0 782698010 38903808 7805 33554432000 4194304 4241092 140735843981024 18446744073709551615 4206174 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 9498 7805 136 12 0 7962 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 55400 [startup+222.301 s] /proc/loadavg: 2.02 1.54 1.46 3/531 10041 /proc/meminfo: memFree=5675396/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=40296 CPUtime=220.97 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 9641 0 0 0 22095 2 0 0 25 0 1 0 782698010 41263104 8399 33554432000 4194304 4241092 140735843981024 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 10074 8399 136 12 0 8538 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 57704 [startup+282.301 s] /proc/loadavg: 2.05 1.64 1.49 3/531 10042 /proc/meminfo: memFree=5672212/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/meminfo: memFree=5478424/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=121764 CPUtime=4481.07 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 52705 0 0 0 448088 19 0 0 25 0 1 0 782698010 124686336 28740 33554432000 4194304 4241092 140735843981024 18446744073709551615 4223703 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 30441 28740 136 12 0 28905 0 Current children cumulated CPU time (s) 4482.36 Current children cumulated vsize (KiB) 139172 [startup+4542.3 s] /proc/loadavg: 2.02 2.04 2.00 3/531 10182 /proc/meminfo: memFree=5477504/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=121892 CPUtime=4541.08 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 53052 0 0 0 454089 19 0 0 25 0 1 0 782698010 124817408 28773 33554432000 4194304 4241092 140735843981024 18446744073709551615 4205842 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 30473 28773 136 12 0 28937 0 Current children cumulated CPU time (s) 4542.37 Current children cumulated vsize (KiB) 139300 [startup+4602.3 s] /proc/loadavg: 2.00 2.03 2.00 3/531 10183 /proc/meminfo: memFree=5477312/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=122116 CPUtime=4601.09 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 53403 0 0 0 460089 20 0 0 25 0 1 0 782698010 125046784 28843 33554432000 4194304 4241092 140735843981024 18446744073709551615 4223733 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 30529 28843 136 12 0 28993 0 Current children cumulated CPU time (s) 4602.38 Current children cumulated vsize (KiB) 139524 [startup+4662.3 s] /proc/loadavg: 2.08 2.05 2.01 3/531 10186 /proc/meminfo: memFree=5476412/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=122244 CPUtime=4661.08 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 53715 0 0 0 466088 20 0 0 25 0 1 0 782698010 125177856 28881 33554432000 4194304 4241092 140735843981024 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 30561 28881 136 12 0 29025 0 Current children cumulated CPU time (s) 4662.37 Current children cumulated vsize (KiB) 139652 [startup+4722.32 s] /proc/loadavg: 2.10 2.07 2.01 3/531 10188 /proc/meminfo: memFree=5477108/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=122340 CPUtime=4721.1 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 54021 0 0 0 472090 20 0 0 25 0 1 0 782698010 125276160 28899 33554432000 4194304 4241092 140735843981024 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 30585 28899 136 12 0 29049 0 Current children cumulated CPU time (s) 4722.39 Current children cumulated vsize (KiB) 139748 [startup+4782.3 s] /proc/loadavg: 2.03 2.05 2.01 3/531 10189 /proc/meminfo: memFree=5478052/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=122856 CPUtime=4781.08 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 54438 0 0 0 478088 20 0 0 25 0 1 0 782698010 125804544 29015 33554432000 4194304 4241092 140735843981024 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 30714 29015 136 12 0 29178 0 Current children cumulated CPU time (s) 4782.37 Current children cumulated vsize (KiB) 140264 [startup+4842.3 s] /proc/loadavg: 2.01 2.04 2.00 3/531 10191 /proc/meminfo: memFree=5476008/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=123400 CPUtime=4841.09 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 54895 0 0 0 484088 21 0 0 25 0 1 0 782698010 126361600 29166 33554432000 4194304 4241092 140735843981024 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 30850 29166 136 12 0 29314 0 Current children cumulated CPU time (s) 4842.38 Current children cumulated vsize (KiB) 140808 [startup+4902.3 s] /proc/loadavg: 2.16 2.06 2.01 3/531 10192 /proc/meminfo: memFree=5476580/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=123464 CPUtime=4901.09 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 55194 0 0 0 490088 21 0 0 25 0 1 0 782698010 126427136 29185 33554432000 4194304 4241092 140735843981024 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 30866 29185 136 12 0 29330 0 Current children cumulated CPU time (s) 4902.38 Current children cumulated vsize (KiB) 140872 [startup+4962.3 s] /proc/loadavg: 2.13 2.07 2.01 3/531 10194 /proc/meminfo: memFree=5476404/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=123612 CPUtime=4961.09 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 55519 0 0 0 496088 21 0 0 25 0 1 0 782698010 126578688 29227 33554432000 4194304 4241092 140735843981024 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 30903 29227 136 12 0 29367 0 Current children cumulated CPU time (s) 4962.38 Current children cumulated vsize (KiB) 141020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.07 2.06 2.01 2/527 10198 /proc/meminfo: memFree=5634488/32951124 swapFree=64303760/67111528 [pid=10031] ppid=10029 vsize=8704 CPUtime=1.29 cores=0,2,4,6 /proc/10031/stat : 10031 (esg_static.sh) S 10029 10031 7978 0 -1 4202496 348 4470 0 0 0 0 128 1 18 0 1 0 782697879 8912896 255 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/10031/statm: 2176 255 211 178 0 69 0 [pid=10034] ppid=10031 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10034/stat : 10034 (esg_static.sh) S 10031 10031 7978 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 1 0 782698010 8912896 134 33554432000 4194304 4922060 140734918822976 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10034/statm: 2176 134 90 178 0 69 0 [pid=10035] ppid=10034 vsize=124092 CPUtime=4998.8 cores=0,2,4,6 /proc/10035/stat : 10035 (sathys) R 10034 10031 7978 0 -1 4202496 55720 0 0 0 499859 21 0 0 25 0 1 0 782698010 127070208 29320 33554432000 4194304 4241092 140735843981024 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/10035/statm: 31023 29320 136 12 0 29487 0 Current children cumulated CPU time (s) 5000.09 Current children cumulated vsize (KiB) 141500 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10031 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=289803 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=21996 # CPU time returned by wait4() is 1.3118 # while last known CPU time is 5000.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 5000.03 CPU time (s): 5000.09 CPU user time (s): 4999.87 CPU system time (s): 0.22 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 141564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.2898 system time used= 0.021996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5168 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= 22 involuntary context switches= 11 runsolver used 28.2747 second user time and 58.1312 second system time The end
Begin job on node145 at 2011-06-01 06:33:40 IDJOB=3439045 IDBENCH=83245 IDSOLVER=1935 FILE ID=node145/3439045-1306902820 RUNJOBID= node145-1306902817-9730 PBS_JOBID= 13488431 Free space on /tmp= 54096 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-6_2072.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439045-1306902820/watcher-3439045-1306902820 -o /tmp/evaluation-result-3439045-1306902820/solver-3439045-1306902820 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439045-1306902820.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d2ef996f95bbf68a3c980c797dfdc364 RANDOM SEED=1106089098 node145.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.786 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.57 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.786 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.76 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.786 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.786 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.83 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.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 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.74 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.786 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.84 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.786 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.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 5749040 kB Buffers: 147744 kB Cached: 17337416 kB SwapCached: 1188 kB Active: 17492892 kB Inactive: 8995532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 5749040 kB SwapTotal: 67111528 kB SwapFree: 64303760 kB Dirty: 13024 kB Writeback: 0 kB AnonPages: 9001536 kB Mapped: 34356 kB Slab: 577992 kB PageTables: 65680 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 153238876 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= 54096 MiB End job on node145 at 2011-06-01 07:57:00