| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.06 | 5000.03 |
| Name | crafted/mosoi/289/ 289-unsat-17x27.cnf |
| MD5SUM | b9a7e3013b1b74b08c8e421f15cb16c4 |
| 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 | 1836 |
| Number of clauses | 194157 |
| Sum of the clauses size | 771120 |
| Maximum clause length | 4 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 2754 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 191403 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 static 0.00/0.00 HOME/instance-3438790-1306895589.cnf 0.00/0.00 c Parsing... 0.00/0.07 c ============================================================================== 0.00/0.07 c | | ORIGINAL | LEARNT | | 0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.07 c ============================================================================== 0.00/0.07 c | 0 | 194157 771120 | 58247 0 0 nan | 0.000 % | 3.49/3.59 c | 0 | 192321 1148418 | -- 0 -- -- | -- | -1836/377298 3.49/3.59 c ============================================================================== 3.49/3.59 c Result : #vars: 1377 #clauses: 192321 #literals: 1148418 3.49/3.59 c CPU time: 3.56246 s 3.49/3.59 c ============================================================================== 3.75/4.03 c 3.75/4.03 c seed = 0, numatom = 1377, numclause = 190944, numliterals = 1148418 3.75/4.03 c --------------------------------------------------------------------------------------------------------------------------------------------- 3.75/4.03 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 3.75/4.03 c --------------------------------------------------------------------------------------------------------------------------------------------- 3.75/4.31 c | 2 | 0.3 | 0 | 503 | 0 | 1 | 22966 | 2728 || 2 | 4804 | 297/ 297 | 258 | 0 | 4.38/4.51 c | 4 | 0.2 | 0 | 711 | 298 | 2 | 50892 | 5396 || 4 | 9014 | 274/ 274 | 590 | 0 | 4.56/4.69 c | 6 | 0.2 | 0 | 930 | 196 | 3 | 85783 | 8333 || 6 | 12733 | 274/ 274 | 936 | 0 | 4.76/4.88 c | 7 | 0.2 | 0 | 1180 | 397 | 4 | 114371 | 11077 || 7 | 17246 | 274/ 274 | 1379 | 0 | 5.06/5.17 c | 11 | 0.3 | 0 | 1434 | 296 | 5 | 156178 | 15495 || 11 | 23910 | 274/ 274 | 1945 | 0 | 5.36/5.49 c | 14 | 0.3 | 0 | 1654 | 492 | 6 | 202781 | 19838 || 14 | 31499 | 272/ 272 | 2729 | 0 | 5.66/5.75 c | 15 | 0.3 | 0 | 1936 | 995 | 7 | 248266 | 23085 || 15 | 37763 | 272/ 272 | 3595 | 0 | 5.86/5.90 c | 16 | 0.1 | 0 | 2111 | 95 | 8 | 298110 | 26155 || 16 | 40431 | 272/ 272 | 3722 | 0 | 6.26/6.30 c | 21 | 0.4 | 0 | 2130 | 84 | 9 | 368437 | 32130 || 21 | 49592 | 272/ 272 | 4514 | 0 | 6.56/6.67 c | 25 | 0.4 | 0 | 2263 | 182 | 10 | 432477 | 37442 || 25 | 58269 | 272/ 272 | 5389 | 0 | 7.06/7.10 c | 29 | 0.4 | 0 | 2394 | 572 | 11 | 504465 | 43587 || 29 | 68558 | 267/ 267 | 6278 | 0 | 7.36/7.47 c | 30 | 0.4 | 0 | 2559 | 371 | 12 | 597015 | 48284 || 30 | 76977 | 267/ 267 | 7152 | 0 | 7.86/7.97 c | 31 | 0.5 | 0 | 2713 | 2074 | 13 | 682284 | 54074 || 31 | 90283 | 267/ 267 | 8898 | 0 | 8.06/8.11 c | 31 | 0.1 | 0 | 2845 | 1476 | 14 | 745128 | 57561 || 31 | 92370 | 267/ 267 | 8912 | 0 | 8.56/8.66 c | 38 | 0.5 | 0 | 3011 | 366 | 15 | 829373 | 65829 || 38 | 105705 | 267/ 267 | 10252 | 0 | 9.06/9.19 c | 44 | 0.5 | 0 | 3230 | 263 | 16 | 927466 | 73954 || 44 | 118155 | 267/ 267 | 11160 | 0 | 9.66/9.71 c | 46 | 0.5 | 0 | 3415 | 256 | 17 | 1025359 | 81270 || 46 | 131141 | 267/ 267 | 12481 | 0 | 10.16/10.26 c | 53 | 0.6 | 0 | 3601 | 249 | 18 | 1120590 | 89921 || 53 | 143975 | 267/ 267 | 13816 | 0 | 10.76/10.88 c | 59 | 0.6 | 0 | 3976 | 134 | 19 | 1229572 | 99938 || 59 | 158406 | 267/ 267 | 14766 | 0 | 11.26/11.38 c | 61 | 0.5 | 0 | 4344 | 734 | 20 | 1322928 | 107225 || 61 | 170869 | 265/ 265 | 16097 | 0 | 11.86/11.96 c | 62 | 0.6 | 0 | 4557 | 832 | 21 | 1439969 | 114474 || 62 | 185536 | 265/ 265 | 17836 | 0 | 12.66/12.71 c | 63 | 0.8 | 0 | 4750 | 3434 | 22 | 1557968 | 123172 || 63 | 205684 | 264/ 264 | 21246 | 0 | 13.06/13.11 c | 63 | 0.4 | 0 | 5155 | 1336 | 23 | 1653490 | 130029 || 63 | 214460 | 264/ 264 | 21340 | 0 | 13.36/13.48 c | 67 | 0.4 | 0 | 4932 | 32 | 24 | 1737708 | 136891 || 67 | 221398 | 264/ 264 | 21928 | 0 | 14.16/14.30 c | 76 | 0.8 | 0 | 4766 | 16 | 25 | 1869867 | 149593 || 76 | 240761 | 264/ 264 | 23623 | 0 | 14.86/14.99 c | 81 | 0.7 | 0 | 4983 | 109 | 26 | 1996507 | 159888 || 81 | 257698 | 264/ 264 | 25392 | 0 | 15.76/15.84 c | 90 | 0.9 | 0 | 5152 | 0 | 27 | 2145572 | 172849 || 90 | 277736 | 264/ 264 | 26983 | 0 | 16.57/16.66 c | 94 | 0.8 | 0 | 5466 | 1103 | 28 | 2289199 | 182920 || 94 | 298218 | 264/ 264 | 30177 | 0 | 17.16/17.24 c | 96 | 0.6 | 0 | 5812 | 99 | 29 | 2473974 | 190874 || 96 | 308833 | 264/ 264 | 30487 | 0 | 18.16/18.20 c | 107 | 1.0 | 0 | 5837 | 292 | 30 | 2633242 | 205820 || 107 | 332191 | 264/ 264 | 32538 | 0 | 18.96/19.02 c | 113 | 0.8 | 0 | 5900 | 282 | 31 | 2797483 | 218005 || 113 | 351527 | 264/ 264 | 34425 | 0 | 19.96/20.01 c | 123 | 1.0 | 0 | 5923 | 70 | 32 | 2967340 | 233179 || 123 | 375296 | 264/ 264 | 36572 | 0 | 20.76/20.87 c | 125 | 0.9 | 0 | 6103 | 169 | 33 | 3124279 | 244693 || 125 | 397392 | 264/ 264 | 39190 | 0 | 21.76/21.81 c | 126 | 0.9 | 0 | 6287 | 3973 | 34 | 3307409 | 255143 || 126 | 421041 | 264/ 264 | 42624 | 0 | 22.15/22.21 c | 126 | 0.4 | 0 | 6403 | 3074 | 35 | 3471824 | 262371 || 126 | 426500 | 264/ 264 | 42677 | 0 | 23.55/23.65 c | 127 | 1.4 | 0 | 6468 | 7077 | 36 | 3674879 | 274911 || 127 | 463708 | 263/ 263 | 49423 | 0 | 24.35/24.44 c | 127 | 0.8 | 0 | 6658 | 1576 | 37 | 3853912 | 284617 || 127 | 478348 | 263/ 263 | 49571 | 0 | 24.65/24.72 c | 127 | 0.3 | 0 | 6455 | 5779 | 38 | 4033515 | 290149 || 127 | 478348 | 263/ 263 | 49571 | 0 | 25.75/25.80 c | 140 | 1.1 | 0 | 6848 | 160 | 39 | 4227481 | 307591 || 140 | 503550 | 263/ 263 | 51828 | 0 | 26.85/26.91 c | 149 | 1.1 | 0 | 6396 | 246 | 40 | 4431654 | 323699 || 149 | 530036 | 263/ 263 | 54512 | 0 | 27.85/27.97 c | 157 | 1.1 | 0 | 6928 | 526 | 41 | 4625349 | 340478 || 157 | 556457 | 263/ 263 | 56802 | 0 | 28.85/28.97 c | 163 | 1.0 | 0 | 7449 | 13 | 42 | 4815110 | 355461 || 163 | 580253 | 263/ 263 | 59221 | 0 | 30.15/30.20 c | 173 | 1.2 | 0 | 7915 | 198 | 43 | 5035208 | 373697 || 173 | 610203 | 263/ 263 | 62127 | 0 | 31.35/31.45 c | 187 | 1.2 | 0 | 8468 | 375 | 44 | 5249798 | 393349 || 187 | 639155 | 263/ 263 | 64820 | 0 | 32.35/32.46 c | 189 | 1.0 | 0 | 8983 | 1070 | 45 | 5488397 | 406511 || 189 | 662314 | 263/ 263 | 67460 | 0 | 33.55/33.60 c | 190 | 1.1 | 0 | 8712 | 1271 | 46 | 5708182 | 420131 || 190 | 690089 | 263/ 263 | 70922 | 0 | 34.55/34.60 c | 200 | 1.0 | 0 | 8689 | 155 | 47 | 5920256 | 436516 || 200 | 710933 | 263/ 263 | 72720 | 0 | 35.85/35.99 c | 212 | 1.4 | 0 | 8762 | 539 | 48 | 6165680 | 456413 || 212 | 742879 | 263/ 263 | 75865 | 0 | 37.25/37.39 c | 221 | 1.4 | 0 | 8927 | 1632 | 49 | 6420441 | 475356 || 221 | 776279 | 263/ 263 | 79806 | 0 | 38.57/38.62 c | 231 | 1.2 | 0 | 9188 | 10 | 50 | 6679589 | 494105 || 231 | 802948 | 263/ 263 | 81639 | 0 | 39.95/40.03 c | 243 | 1.4 | 0 | 9021 | 98 | 51 | 6928223 | 515046 || 243 | 836046 | 260/ 260 | 84803 | 0 | 41.45/41.56 c | 252 | 1.5 | 0 | 9598 | 2088 | 52 | 7209618 | 534990 || 252 | 872632 | 260/ 260 | 88777 | 0 | 42.86/42.93 c | 253 | 1.4 | 0 | 10058 | 586 | 53 | 7531943 | 549950 || 253 | 903299 | 260/ 260 | 92282 | 0 | 44.35/44.46 c | 254 | 1.5 | 0 | 9947 | 6393 | 54 | 7839968 | 563873 || 254 | 937782 | 260/ 260 | 99027 | 0 | 45.45/45.50 c | 254 | 1.0 | 0 | 9870 | 2694 | 55 | 8106023 | 578108 || 254 | 958044 | 260/ 260 | 99215 | 0 | 47.15/47.21 c | 255 | 1.7 | 0 | 9726 | 8699 | 56 | 8355328 | 591270 || 255 | 999997 | 260/ 260 | 112447 | 0 | 48.75/48.89 c | 255 | 1.7 | 0 | 9683 | 6101 | 57 | 8651482 | 609436 || 255 | 1037154 | 260/ 260 | 112805 | 0 | 50.25/50.38 c | 255 | 1.5 | 0 | 10206 | 1798 | 58 | 8958116 | 623609 || 255 | 1061183 | 260/ 260 | 113023 | 0 | 50.75/50.88 c | 255 | 0.5 | 0 | 9247 | 8099 | 59 | 9230413 | 631455 || 255 | 1061183 | 260/ 260 | 113023 | 0 | 51.77/51.88 c | 262 | 1.0 | 0 | 9931 | 297 | 60 | 9506674 | 645492 || 262 | 1074250 | 260/ 260 | 114355 | 0 | 53.45/53.57 c | 277 | 1.7 | 0 | 8733 | 362 | 61 | 9818315 | 670206 || 277 | 1113138 | 260/ 260 | 117950 | 0 | 55.15/55.21 c | 286 | 1.6 | 0 | 9241 | 344 | 62 | 10116961 | 693335 || 286 | 1153001 | 260/ 260 | 121944 | 0 | 56.75/56.81 c | 301 | 1.6 | 0 | 9631 | 1016 | 63 | 10415241 | 717572 || 301 | 1189870 | 260/ 260 | 125529 | 0 | 58.55/58.61 c | 316 | 1.8 | 0 | 10506 | 193 | 64 | 10758201 | 743422 || 316 | 1230540 | 260/ 260 | 129106 | 0 | 60.25/60.32 c | 318 | 1.7 | 0 | 11216 | 4693 | 65 | 11099079 | 762625 || 318 | 1270874 | 260/ 260 | 134289 | 0 | 61.67/61.73 c | 331 | 1.4 | 0 | 11897 | 169 | 66 | 11456460 | 783447 || 331 | 1296479 | 260/ 260 | 136556 | 0 | 63.45/63.58 c | 347 | 1.8 | 0 | 11506 | 542 | 67 | 11785016 | 810346 || 347 | 1339186 | 260/ 260 | 140577 | 0 | 65.15/65.25 c | 356 | 1.7 | 0 | 11785 | 533 | 68 | 12137967 | 832281 || 356 | 1375975 | 260/ 260 | 144583 | 0 | 67.06/67.19 c | 374 | 1.9 | 0 | 11859 | 100 | 69 | 12486371 | 860491 || 374 | 1419388 | 258/ 258 | 148381 | 0 | 68.95/69.07 c | 381 | 1.9 | 0 | 12024 | 2191 | 70 | 12815153 | 883092 || 381 | 1464184 | 258/ 258 | 155396 | 0 | 70.75/70.85 c | 382 | 1.8 | 0 | 12108 | 4891 | 71 | 13198237 | 901236 || 382 | 1505201 | 258/ 258 | 162218 | 0 | 72.45/72.51 c | 382 | 1.7 | 0 | 12733 | 2887 | 72 | 13616904 | 918235 || 382 | 1533331 | 258/ 258 | 162489 | 0 | 74.05/74.12 c | 396 | 1.6 | 0 | 12163 | 375 | 73 | 13999510 | 941379 || 396 | 1562301 | 258/ 258 | 165176 | 0 | 76.05/76.15 c | 412 | 2.0 | 0 | 11786 | 1139 | 74 | 14357428 | 971229 || 412 | 1609369 | 258/ 258 | 169629 | 0 | 77.85/77.97 c | 426 | 1.8 | 0 | 12308 | 21 | 75 | 14687883 | 999005 || 426 | 1651218 | 258/ 258 | 173662 | 0 | 80.05/80.14 c | 443 | 2.2 | 0 | 12415 | 994 | 76 | 15073162 | 1029112 || 443 | 1700522 | 258/ 258 | 178557 | 0 | 81.95/82.05 c | 445 | 1.9 | 0 | 12784 | 690 | 77 | 15462997 | 1051324 || 445 | 1744083 | 258/ 258 | 183758 | 0 | 83.75/83.89 c | 460 | 1.8 | 0 | 13137 | 59 | 78 | 15821514 | 1079556 || 460 | 1783694 | 258/ 258 | 187309 | 0 | 85.95/86.04 c | 476 | 2.1 | 0 | 13812 | 1929 | 79 | 16204585 | 1109150 || 476 | 1833535 | 258/ 258 | 192577 | 0 | 87.85/88.01 c | 491 | 2.0 | 0 | 13995 | 704 | 80 | 16624274 | 1137959 || 491 | 1875917 | 258/ 258 | 196219 | 0 | 90.16/90.27 c | 507 | 2.2 | 0 | 13924 | 389 | 81 | 17015135 | 1168925 || 507 | 1928303 | 258/ 258 | 201567 | 0 | 92.25/92.33 c | 509 | 2.1 | 0 | 13840 | 4189 | 82 | 17401746 | 1189646 || 509 | 1975570 | 258/ 258 | 211667 | 0 | 93.95/94.05 c | 509 | 1.7 | 0 | 13892 | 3289 | 83 | 17785042 | 1214694 || 509 | 2014442 | 258/ 258 | 212042 | 0 | 96.56/96.64 c | 510 | 2.6 | 0 | 14632 | 12092 | 84 | 18161764 | 1235229 || 510 | 2072851 | 258/ 258 | 225425 | 0 | 99.16/99.22 c | 510 | 2.6 | 0 | 14758 | 1791 | 85 | 18613758 | 1256496 || 510 | 2111403 | 258/ 258 | 225793 | 0 | 100.07/100.17 c | 510 | 0.9 | 0 | 13560 | 10792 | 86 | 19082258 | 1267653 || 510 | 2111403 | 258/ 258 | 225793 | 0 | 103.96/104.08 c | 511 | 3.9 | 0 | 13411 | 19894 | 87 | 19563725 | 1291789 || 511 | 2207706 | 258/ 258 | 252290 | 0 | 107.16/107.27 c | 511 | 3.2 | 0 | 13211 | 9201 | 88 | 20019920 | 1317323 || 511 | 2260880 | 258/ 258 | 252781 | 0 | 110.86/110.91 c | 511 | 3.6 | 0 | 13932 | 9301 | 89 | 20482886 | 1343402 || 511 | 2314642 | 258/ 258 | 253288 | 0 | 111.46/111.50 c | 511 | 0.6 | 0 | 11376 | 9395 | 90 | 20762544 | 1356245 || 511 | 2314680 | 258/ 258 | 253288 | 0 | 112.27/112.34 c | 511 | 0.8 | 0 | 13488 | 18898 | 91 | 21052656 | 1368966 || 511 | 2314680 | 258/ 258 | 253288 | 0 | 113.76/113.84 c | 521 | 1.5 | 0 | 13410 | 182 | 92 | 21413232 | 1391291 || 521 | 2335081 | 258/ 258 | 255098 | 0 | 116.26/116.33 c | 541 | 2.5 | 0 | 12763 | 553 | 93 | 21871844 | 1426929 || 541 | 2390847 | 256/ 256 | 260453 | 0 | 118.66/118.70 c | 557 | 2.4 | 0 | 13818 | 715 | 94 | 22330709 | 1459677 || 557 | 2443433 | 256/ 256 | 265760 | 0 | 121.26/121.34 c | 574 | 2.6 | 0 | 14934 | 1795 | 95 | 22782220 | 1494301 || 574 | 2504777 | 256/ 256 | 274340 | 0 | 123.46/123.52 c | 587 | 2.2 | 0 | 15841 | 275 | 96 | 23265030 | 1524653 || 587 | 2549473 | 256/ 256 | 276807 | 0 | 126.26/126.30 c | 605 | 2.8 | 0 | 16604 | 1850 | 97 | 23773214 | 1560595 || 605 | 2611815 | 256/ 256 | 283421 | 0 | 128.77/128.87 c | 627 | 2.6 | 0 | 17413 | 204 | 98 | 24279484 | 1596278 || 627 | 2665280 | 256/ 256 | 288359 | 0 | 131.56/131.69 c | 637 | 2.8 | 0 | 16968 | 3896 | 99 | 24809209 | 1628829 || 637 | 2728912 | 256/ 256 | 295796 | 0 | 134.28/134.39 c | 638 | 2.7 | 0 | 17311 | 9500 | 100 | 25309824 | 1657697 || 638 | 2788084 | 256/ 256 | 302797 | 0 | 135.96/136.00 c | 651 | 1.6 | 0 | 16562 | 170 | 101 | 25711106 | 1685365 || 651 | 2814896 | 256/ 256 | 305082 | 0 | 138.76/138.89 c | 669 | 2.9 | 0 | 16652 | 156 | 102 | 26211345 | 1724524 || 669 | 2882182 | 256/ 256 | 311773 | 0 | 141.46/141.57 c | 694 | 2.7 | 0 | 17204 | 116 | 103 | 26680951 | 1764081 || 694 | 2940706 | 256/ 256 | 317150 | 0 | 144.18/144.28 c | 701 | 2.7 | 0 | 17881 | 803 | 104 | 27196756 | 1795977 || 701 | 3001490 | 256/ 256 | 324155 | 0 | 146.76/146.85 c | 723 | 2.6 | 0 | 17885 | 78 | 105 | 27669777 | 1833882 || 723 | 3056076 | 256/ 256 | 329086 | 0 | 149.56/149.65 c | 744 | 2.8 | 0 | 18445 | 148 | 106 | 28186348 | 1872531 || 744 | 3117368 | 256/ 256 | 335090 | 0 | 152.56/152.65 c | 763 | 3.0 | 0 | 19291 | 107 | 107 | 28725673 | 1912211 || 763 | 3184688 | 256/ 256 | 341936 | 0 | 155.36/155.41 c | 765 | 2.8 | 0 | 19213 | 6505 | 108 | 29273285 | 1941232 || 765 | 3246368 | 255/ 255 | 352134 | 0 | 158.06/158.17 c | 766 | 2.8 | 0 | 19150 | 8207 | 109 | 29849976 | 1965568 || 766 | 3303742 | 255/ 255 | 365503 | 0 | 161.86/161.93 c | 766 | 3.8 | 0 | 18065 | 408 | 110 | 30408657 | 2000785 || 766 | 3371187 | 255/ 255 | 366192 | 0 | 163.15/163.30 c | 766 | 1.4 | 0 | 17813 | 11909 | 111 | 30922298 | 2014840 || 766 | 3371187 | 255/ 255 | 366192 | 0 | 166.35/166.48 c | 795 | 3.2 | 0 | 16893 | 467 | 112 | 31462495 | 2059923 || 795 | 3440037 | 255/ 255 | 372449 | 0 | 169.15/169.27 c | 812 | 2.8 | 0 | 16488 | 740 | 113 | 31991624 | 2099128 || 812 | 3501830 | 255/ 255 | 378634 | 0 | 172.35/172.42 c | 829 | 3.1 | 0 | 16890 | 3720 | 114 | 32543194 | 2139527 || 829 | 3574842 | 255/ 255 | 387337 | 0 | 174.86/174.94 c | 849 | 2.5 | 0 | 17767 | 92 | 115 | 33036425 | 2176836 || 849 | 3625983 | 255/ 255 | 391613 | 0 | 178.05/178.10 c | 872 | 3.2 | 0 | 18490 | 48 | 116 | 33575604 | 2222080 || 872 | 3696866 | 255/ 255 | 398323 | 0 | 181.15/181.20 c | 891 | 3.1 | 0 | 20020 | 1213 | 117 | 34167388 | 2262806 || 891 | 3764207 | 255/ 255 | 405143 | 0 | 184.56/184.68 c | 893 | 3.5 | 0 | 21382 | 8612 | 118 | 34843584 | 2294619 || 893 | 3837155 | 255/ 255 | 415409 | 0 | 186.97/187.09 c | 908 | 2.4 | 0 | 20676 | 487 | 119 | 35468871 | 2326941 || 908 | 3875899 | 255/ 255 | 419011 | 0 | 190.06/190.18 c | 930 | 3.1 | 0 | 19732 | 149 | 120 | 36009007 | 2370456 || 930 | 3943848 | 255/ 255 | 425281 | 0 | 193.57/193.69 c | 955 | 3.5 | 0 | 20291 | 1704 | 121 | 36626228 | 2416527 || 955 | 4021326 | 255/ 255 | 433258 | 0 | 196.46/196.55 c | 969 | 2.9 | 0 | 20340 | 88 | 122 | 37220658 | 2454073 || 969 | 4079959 | 255/ 255 | 439043 | 0 | 199.66/199.78 c | 990 | 3.2 | 0 | 19882 | 258 | 123 | 37785042 | 2498465 || 990 | 4151376 | 255/ 255 | 446174 | 0 | 203.26/203.38 c | 1018 | 3.6 | 0 | 20365 | 1312 | 124 | 38389568 | 2547305 || 1018 | 4231418 | 255/ 255 | 454579 | 0 | 206.46/206.56 c | 1020 | 3.2 | 0 | 21825 | 7012 | 125 | 39017578 | 2581199 || 1020 | 4302150 | 255/ 255 | 464863 | 0 | 209.56/209.67 c | 1021 | 3.1 | 0 | 22119 | 10415 | 126 | 39576396 | 2611575 || 1021 | 4368043 | 255/ 255 | 478278 | 0 | 212.76/212.83 c | 1021 | 3.2 | 0 | 20801 | 4315 | 127 | 40135961 | 2646034 || 1021 | 4420321 | 255/ 255 | 478831 | 0 | 216.46/216.56 c | 1022 | 3.7 | 0 | 20799 | 17516 | 128 | 40676528 | 2671996 || 1022 | 4500437 | 255/ 255 | 505245 | 0 | 220.96/221.00 c | 1022 | 4.4 | 0 | 20290 | 13301 | 129 | 41357629 | 2712872 || 1022 | 4580978 | 255/ 255 | 506043 | 0 | 225.06/225.16 c | 1022 | 4.2 | 0 | 20906 | 5815 | 130 | 42015498 | 2741481 || 1022 | 4622900 | 255/ 255 | 506444 | 0 | 227.36/227.45 c | 1022 | 2.3 | 0 | 19275 | 19319 | 131 | 42692490 | 2757906 || 1022 | 4622900 | 255/ 255 | 506444 | 0 | 233.86/233.90 c | 1023 | 6.5 | 0 | 21523 | 32920 | 132 | 43341047 | 2790916 || 1023 | 4772306 | 255/ 255 | 559167 | 0 | 238.36/238.42 c | 1023 | 4.5 | 0 | 17776 | 13704 | 133 | 43964827 | 2833710 || 1023 | 4851385 | 255/ 255 | 559977 | 0 | 245.56/245.67 c | 1023 | 7.2 | 0 | 20600 | 13803 | 134 | 44549149 | 2875276 || 1023 | 4929317 | 255/ 255 | 560754 | 0 | 250.77/250.82 c | 1023 | 5.2 | 0 | 19684 | 13901 | 135 | 45182026 | 2917950 || 1023 | 5009346 | 255/ 255 | 561583 | 0 | 252.76/252.85 c | 1023 | 2.0 | 0 | 17821 | 11527 | 136 | 45750028 | 2940439 || 1023 | 5022242 | 255/ 255 | 561713 | 0 | 254.18/254.29 c | 1023 | 1.4 | 0 | 18865 | 25628 | 137 | 46293101 | 2959491 || 1023 | 5022242 | 255/ 255 | 561713 | 0 | 255.86/255.96 c | 1023 | 1.7 | 0 | 19851 | 39829 | 138 | 46846352 | 2978325 || 1023 | 5022242 | 255/ 255 | 561713 | 0 | 258.16/258.24 c | 1033 | 2.3 | 0 | 19523 | 225 | 139 | 47422025 | 3006910 || 1033 | 5043692 | 255/ 255 | 563537 | 0 | 261.96/262.07 c | 1060 | 3.8 | 0 | 17899 | 173 | 140 | 48108883 | 3059274 || 1060 | 5126929 | 255/ 255 | 571609 | 0 | 265.76/265.85 c | 1085 | 3.8 | 0 | 19777 | 1337 | 141 | 48813166 | 3110319 || 1085 | 5208609 | 255/ 255 | 579659 | 0 | 269.47/269.56 c | 1107 | 3.7 | 0 | 21409 | 94 | 142 | 49498698 | 3157880 || 1107 | 5285386 | 255/ 255 | 587571 | 0 | 273.36/273.44 c | 1133 | 3.9 | 0 | 22272 | 39 | 143 | 50197363 | 3209209 || 1133 | 5368851 | 255/ 255 | 595713 | 0 | 277.06/277.17 c | 1149 | 3.7 | 0 | 23645 | 2114 | 144 | 50925513 | 3254920 || 1149 | 5448202 | 255/ 255 | 604353 | 0 | 280.26/280.37 c | 1155 | 3.2 | 0 | 24954 | 110 | 145 | 51604858 | 3290790 || 1155 | 5509495 | 255/ 255 | 611918 | 0 | 284.16/284.25 c | 1181 | 3.9 | 0 | 23994 | 1554 | 146 | 52252283 | 3344263 || 1181 | 5593848 | 255/ 255 | 620125 | 0 | 288.28/288.39 c | 1212 | 4.1 | 0 | 24392 | 598 | 147 | 52937620 | 3400738 || 1212 | 5685257 | 255/ 255 | 629002 | 0 | 292.16/292.21 c | 1234 | 3.8 | 0 | 24990 | 257 | 148 | 53689019 | 3447860 || 1234 | 5761788 | 255/ 255 | 636954 | 0 | 296.36/296.40 c | 1262 | 4.2 | 0 | 24952 | 12 | 149 | 54426476 | 3502208 || 1262 | 5850269 | 255/ 255 | 645447 | 0 | 299.96/300.03 c | 1276 | 3.6 | 0 | 25258 | 3186 | 150 | 55156387 | 3547465 || 1276 | 5926369 | 255/ 255 | 653808 | 0 | 304.56/304.64 c | 1278 | 4.6 | 0 | 25619 | 9086 | 151 | 55952366 | 3584732 || 1278 | 6023803 | 255/ 255 | 673951 | 0 | 308.16/308.23 c | 1278 | 3.6 | 0 | 25987 | 5488 | 152 | 56659607 | 3620441 || 1278 | 6079598 | 255/ 255 | 674526 | 0 | 311.26/311.36 c | 1300 | 3.1 | 0 | 25303 | 548 | 153 | 57264649 | 3664823 || 1300 | 6133551 | 255/ 255 | 679452 | 0 | 315.56/315.62 c | 1331 | 4.3 | 0 | 24054 | 272 | 154 | 57989647 | 3722242 || 1331 | 6224206 | 255/ 255 | 688325 | 0 | 319.26/319.36 c | 1347 | 3.7 | 0 | 24814 | 134 | 155 | 58727104 | 3769733 || 1347 | 6300909 | 255/ 255 | 696669 | 0 | 323.76/323.83 c | 1378 | 4.5 | 0 | 24459 | 90 | 156 | 59530446 | 3827362 || 1378 | 6392998 | 255/ 255 | 705518 | 0 | 328.16/328.28 c | 1404 | 4.4 | 0 | 24981 | 3161 | 157 | 60264595 | 3883146 || 1404 | 6491358 | 255/ 255 | 716907 | 0 | 331.76/331.89 c | 1405 | 3.6 | 0 | 26743 | 4956 | 158 | 61114010 | 3918182 || 1405 | 6553931 | 255/ 255 | 723845 | 0 | 336.26/336.35 c | 1436 | 4.5 | 0 | 27490 | 428 | 159 | 61902466 | 3974428 || 1436 | 6644178 | 255/ 255 | 732764 | 0 | 340.56/340.67 c | 1467 | 4.3 | 0 | 26628 | 774 | 160 | 62673729 | 4031500 || 1467 | 6734959 | 255/ 255 | 741649 | 0 | 344.76/344.88 c | 1493 | 4.2 | 0 | 26452 | 131 | 161 | 63460209 | 4084985 || 1493 | 6820159 | 255/ 255 | 750489 | 0 | 349.16/349.29 c | 1525 | 4.4 | 0 | 26715 | 83 | 162 | 64218401 | 4144756 || 1525 | 6913282 | 255/ 255 | 759455 | 0 | 353.56/353.68 c | 1532 | 4.4 | 0 | 27070 | 7274 | 163 | 64973007 | 4191863 || 1532 | 7010836 | 255/ 255 | 773138 | 0 | 357.96/358.09 c | 1533 | 4.4 | 0 | 27505 | 14476 | 164 | 65789974 | 4233999 || 1533 | 7099944 | 255/ 255 | 786776 | 0 | 361.16/361.24 c | 1533 | 3.1 | 0 | 28060 | 12171 | 165 | 66693056 | 4262479 || 1533 | 7125817 | 255/ 255 | 787036 | 0 | 368.26/368.31 c | 1534 | 7.1 | 0 | 25629 | 29175 | 166 | 67484194 | 4312259 || 1534 | 7271312 | 255/ 255 | 814064 | 0 | 372.46/372.56 c | 1534 | 4.2 | 0 | 25614 | 7876 | 167 | 68226561 | 4347136 || 1534 | 7319960 | 255/ 255 | 814514 | 0 | 374.36/374.40 c | 1534 | 1.8 | 0 | 24411 | 25079 | 168 | 68951929 | 4369322 || 1534 | 7319960 | 255/ 255 | 814514 | 0 | 378.96/379.08 c | 1568 | 4.7 | 0 | 21729 | 107 | 169 | 69743944 | 4432254 || 1568 | 7418288 | 255/ 255 | 823928 | 0 | 383.87/383.93 c | 1597 | 4.9 | 0 | 22495 | 3657 | 170 | 70577168 | 4491751 || 1597 | 7522974 | 255/ 255 | 835725 | 0 | 388.38/388.43 c | 1628 | 4.5 | 0 | 24631 | 1117 | 171 | 71424508 | 4549684 || 1628 | 7612280 | 255/ 255 | 844618 | 0 | 393.16/393.24 c | 1659 | 4.8 | 0 | 25662 | 265 | 172 | 72258895 | 4613442 || 1659 | 7715233 | 255/ 255 | 853602 | 0 | 397.06/397.16 c | 1661 | 3.9 | 0 | 27655 | 3563 | 173 | 73056800 | 4657685 || 1661 | 7796861 | 255/ 255 | 863983 | 0 | 401.66/401.75 c | 1692 | 4.6 | 0 | 29056 | 512 | 174 | 73896547 | 4717404 || 1692 | 7888533 | 255/ 255 | 872855 | 0 | 406.66/406.72 c | 1724 | 5.0 | 0 | 29549 | 2371 | 175 | 74753163 | 4778530 || 1724 | 7992735 | 255/ 255 | 885137 | 0 | 411.36/411.48 c | 1754 | 4.8 | 0 | 29470 | 319 | 176 | 75641594 | 4838093 || 1754 | 8085494 | 255/ 255 | 892429 | 0 | 416.36/416.45 c | 1786 | 5.0 | 0 | 29445 | 2361 | 177 | 76496523 | 4900799 || 1786 | 8189344 | 255/ 255 | 903076 | 0 | 420.46/420.53 c | 1788 | 4.1 | 0 | 29848 | 3754 | 178 | 77321516 | 4945080 || 1788 | 8271116 | 255/ 255 | 913525 | 0 | 426.06/426.18 c | 1789 | 5.6 | 0 | 29630 | 2854 | 179 | 78243694 | 4990793 || 1789 | 8371847 | 255/ 255 | 927271 | 0 | 429.96/430.11 c | 1811 | 3.9 | 0 | 29782 | 22 | 180 | 79138902 | 5037289 || 1811 | 8425314 | 255/ 255 | 932207 | 0 | 435.16/435.28 c | 1849 | 5.2 | 0 | 28080 | 53 | 181 | 80003711 | 5105645 || 1849 | 8531484 | 255/ 255 | 942450 | 0 | 439.97/440.03 c | 1870 | 4.8 | 0 | 28239 | 9 | 182 | 80944872 | 5162703 || 1870 | 8626586 | 255/ 255 | 952641 | 0 | 445.16/445.25 c | 1909 | 5.2 | 0 | 28207 | 251 | 183 | 81847347 | 5230953 || 1909 | 8734608 | 255/ 255 | 962970 | 0 | 450.16/450.27 c | 1916 | 5.0 | 0 | 28205 | 9240 | 184 | 82715823 | 5284243 || 1916 | 8840659 | 255/ 255 | 976765 | 0 | 454.46/454.59 c | 1946 | 4.3 | 0 | 28919 | 86 | 185 | 83525090 | 5343319 || 1946 | 8920562 | 255/ 255 | 983977 | 0 | 459.56/459.65 c | 1978 | 5.1 | 0 | 30635 | 618 | 186 | 84405125 | 5408543 || 1978 | 9025497 | 255/ 255 | 994597 | 0 | 464.56/464.68 c | 2009 | 5.0 | 0 | 31430 | 866 | 187 | 85267897 | 5471966 || 2009 | 9127817 | 255/ 255 | 1005207 | 0 | 469.97/470.02 c | 2041 | 5.3 | 0 | 31390 | 415 | 188 | 86165523 | 5539656 || 2041 | 9239472 | 255/ 255 | 1015815 | 0 | 474.26/474.30 c | 2043 | 4.3 | 0 | 31935 | 5312 | 189 | 87003714 | 5587104 || 2043 | 9324452 | 255/ 255 | 1026276 | 0 | 480.16/480.28 c | 2044 | 6.0 | 0 | 31538 | 5513 | 190 | 88071078 | 5631007 || 2044 | 9420731 | 255/ 255 | 1039989 | 0 | 487.46/487.56 c | 2045 | 7.3 | 0 | 32237 | 25014 | 191 | 89174558 | 5674607 || 2045 | 9543520 | 255/ 255 | 1066775 | 0 | 494.76/494.82 c | 2045 | 7.3 | 0 | 31663 | 6215 | 192 | 90178300 | 5718641 || 2045 | 9616529 | 255/ 255 | 1067487 | 0 | 501.26/501.39 c | 2046 | 6.6 | 0 | 29389 | 25916 | 193 | 91338972 | 5743087 || 2046 | 9721506 | 255/ 255 | 1119764 | 0 | 507.96/508.09 c | 2046 | 6.7 | 0 | 25680 | 19801 | 194 | 92286571 | 5810903 || 2046 | 9843927 | 255/ 255 | 1120984 | 0 | 516.47/516.58 c | 2046 | 8.5 | 0 | 26646 | 19902 | 195 | 93203143 | 5871090 || 2046 | 9953091 | 255/ 255 | 1122112 | 0 | 523.57/523.67 c | 2046 | 7.1 | 0 | 28546 | 8820 | 196 | 94072214 | 5916643 || 2046 | 10014857 | 255/ 255 | 1122704 | 0 | 526.57/526.68 c | 2046 | 3.0 | 0 | 26303 | 28922 | 197 | 94878872 | 5942583 || 2046 | 10014857 | 255/ 255 | 1122704 | 0 | 529.47/529.60 c | 2046 | 2.9 | 0 | 27795 | 49123 | 198 | 95679287 | 5968011 || 2046 | 10014857 | 255/ 255 | 1122704 | 0 | 542.76/542.87 c | 2047 | 13.3 | 0 | 25816 | 69427 | 199 | 96606109 | 6024415 || 2047 | 10319893 | 255/ 255 | 1228073 | 0 | 551.18/551.24 c | 2047 | 8.4 | 0 | 26175 | 20401 | 200 | 97563185 | 6083905 || 2047 | 10429217 | 255/ 255 | 1229132 | 0 | 561.26/561.37 c | 2047 | 10.1 | 0 | 29254 | 20502 | 201 | 98491620 | 6140890 || 2047 | 10535761 | 255/ 255 | 1230192 | 0 | 573.46/573.59 c | 2047 | 12.2 | 0 | 30820 | 20603 | 202 | 99386724 | 6195283 || 2047 | 10637881 | 255/ 255 | 1231175 | 0 | 587.96/588.04 c | 2047 | 14.5 | 0 | 33108 | 20702 | 203 | 100281415 | 6247851 || 2047 | 10736673 | 255/ 255 | 1232168 | 0 | 593.26/593.36 c | 2047 | 5.3 | 0 | 28964 | 18833 | 204 | 101393279 | 6275630 || 2047 | 10746104 | 255/ 255 | 1232252 | 0 | 597.76/597.86 c | 2047 | 4.5 | 0 | 27270 | 39734 | 205 | 102543779 | 6300799 || 2047 | 10746104 | 255/ 255 | 1232252 | 0 | 602.16/602.20 c | 2047 | 4.3 | 0 | 29319 | 60735 | 206 | 103678419 | 6325564 || 2047 | 10746104 | 255/ 255 | 1232252 | 0 | 606.56/606.64 c | 2047 | 4.4 | 0 | 30560 | 81836 | 207 | 104820983 | 6350411 || 2047 | 10746104 | 255/ 255 | 1232252 | 0 | 610.66/610.73 c | 2050 | 4.1 | 0 | 28493 | 30 | 208 | 105966813 | 6378478 || 2050 | 10751794 | 255/ 255 | 1232704 | 0 | 616.76/616.83 c | 2093 | 6.1 | 0 | 23619 | 253 | 209 | 106937163 | 6457920 || 2093 | 10877979 | 255/ 255 | 1244788 | 0 | 622.16/622.29 c | 2125 | 5.5 | 0 | 26232 | 424 | 210 | 107905633 | 6526656 || 2125 | 10991280 | 255/ 255 | 1257122 | 0 | 628.26/628.37 c | 2169 | 6.1 | 0 | 28347 | 37 | 211 | 108916430 | 6606993 || 2169 | 11116825 | 255/ 255 | 1268312 | 0 | 633.86/633.94 c | 2174 | 5.6 | 0 | 31336 | 3036 | 212 | 110006072 | 6661807 || 2174 | 11224260 | 255/ 255 | 1281725 | 0 | 639.36/639.46 c | 2212 | 5.5 | 0 | 33904 | 269 | 213 | 111029366 | 6732424 || 2212 | 11328842 | 255/ 255 | 1291956 | 0 | 645.06/645.17 c | 2244 | 5.7 | 0 | 35287 | 207 | 214 | 112010100 | 6802848 || 2244 | 11442478 | 255/ 255 | 1304224 | 0 | 651.46/651.55 c | 2288 | 6.4 | 0 | 36577 | 122 | 215 | 113054910 | 6883015 || 2288 | 11569310 | 255/ 255 | 1316169 | 0 | 657.56/657.67 c | 2301 | 6.1 | 0 | 36745 | 592 | 216 | 114142302 | 6946876 || 2301 | 11694063 | 255/ 255 | 1331212 | 0 | 663.86/663.93 c | 2302 | 6.3 | 0 | 36455 | 3489 | 217 | 115324049 | 6998968 || 2302 | 11795191 | 255/ 255 | 1345014 | 0 | 669.06/669.15 c | 2333 | 5.2 | 0 | 35154 | 833 | 218 | 116392471 | 7061643 || 2333 | 11876931 | 255/ 255 | 1353796 | 0 | 675.16/675.28 c | 2365 | 6.1 | 0 | 34874 | 4687 | 219 | 117431126 | 7136420 || 2365 | 12003121 | 255/ 255 | 1366184 | 0 | 681.06/681.13 c | 2406 | 5.9 | 0 | 34873 | 16 | 220 | 118451962 | 7212959 || 2406 | 12117347 | 255/ 255 | 1376884 | 0 | 687.36/687.47 c | 2429 | 6.3 | 0 | 35182 | 6278 | 221 | 119497547 | 7284399 || 2429 | 12251672 | 255/ 255 | 1394209 | 0 | 692.86/692.94 c | 2460 | 5.5 | 0 | 35107 | 821 | 222 | 120532741 | 7354651 || 2460 | 12355334 | 255/ 255 | 1403282 | 0 | 699.17/699.23 c | 2492 | 6.3 | 0 | 35866 | 252 | 223 | 121634959 | 7429723 || 2492 | 12484008 | 255/ 255 | 1415740 | 0 | 705.19/705.29 c | 2536 | 6.1 | 0 | 37944 | 262 | 224 | 122657261 | 7509003 || 2536 | 12602627 | 255/ 255 | 1426929 | 0 | 711.57/711.62 c | 2556 | 6.3 | 0 | 38590 | 7433 | 225 | 123700204 | 7579604 || 2556 | 12736041 | 255/ 255 | 1443827 | 0 | 717.97/718.08 c | 2557 | 6.5 | 0 | 38935 | 1634 | 226 | 124823980 | 7635911 || 2557 | 12854193 | 255/ 255 | 1457755 | 0 | 725.27/725.31 c | 2558 | 7.2 | 0 | 37393 | 24735 | 227 | 125878798 | 7690227 || 2558 | 12985361 | 255/ 255 | 1484679 | 0 | 731.37/731.48 c | 2558 | 6.2 | 0 | 37618 | 9530 | 228 | 126872128 | 7748017 || 2558 | 13069876 | 255/ 255 | 1485464 | 0 | 735.17/735.26 c | 2577 | 3.8 | 0 | 35924 | 200 | 229 | 127774822 | 7797596 || 2577 | 13113669 | 255/ 255 | 1489460 | 0 | 742.07/742.11 c | 2620 | 6.8 | 0 | 34434 | 135 | 230 | 128922325 | 7882517 || 2620 | 13250843 | 255/ 255 | 1503286 | 0 | 748.17/748.29 c | 2652 | 6.2 | 0 | 34237 | 1174 | 231 | 130035897 | 7959472 || 2652 | 13373636 | 255/ 255 | 1515670 | 0 | 754.77/754.87 c | 2685 | 6.6 | 0 | 34988 | 3909 | 232 | 131177070 | 8034232 || 2685 | 13508346 | 255/ 255 | 1534626 | 0 | 760.87/760.91 c | 2715 | 6.0 | 0 | 36520 | 763 | 233 | 132302037 | 8107150 || 2715 | 13616763 | 255/ 255 | 1542155 | 0 | 767.67/767.71 c | 2748 | 6.8 | 0 | 37422 | 113 | 234 | 133447633 | 8187184 || 2748 | 13753961 | 255/ 255 | 1556284 | 0 | 773.97/774.09 c | 2793 | 6.4 | 0 | 39184 | 337 | 235 | 134579941 | 8269952 || 2793 | 13876150 | 255/ 255 | 1567872 | 0 | 780.87/780.97 c | 2812 | 6.9 | 0 | 39385 | 9515 | 236 | 135668137 | 8345076 || 2812 | 14021168 | 255/ 255 | 1584422 | 0 | 786.77/786.87 c | 2813 | 5.9 | 0 | 39193 | 4818 | 237 | 136700094 | 8398783 || 2813 | 14120919 | 255/ 255 | 1598136 | 0 | 792.57/792.68 c | 2845 | 5.8 | 0 | 39314 | 60 | 238 | 137795495 | 8468504 || 2845 | 14214520 | 255/ 255 | 1607121 | 0 | 799.37/799.48 c | 2883 | 6.8 | 0 | 37605 | 588 | 239 | 138904586 | 8550606 || 2883 | 14350722 | 255/ 255 | 1620731 | 0 | 806.46/806.59 c | 2935 | 7.1 | 0 | 38234 | 92 | 240 | 140048478 | 8641532 || 2935 | 14492349 | 255/ 255 | 1634172 | 0 | 812.27/812.30 c | 2940 | 5.7 | 0 | 38724 | 5986 | 241 | 141214213 | 8700995 || 2940 | 14599005 | 255/ 255 | 1647595 | 0 | 819.47/819.57 c | 2993 | 7.3 | 0 | 38208 | 305 | 242 | 142376962 | 8791571 || 2993 | 14740785 | 255/ 255 | 1661395 | 0 | 826.27/826.33 c | 3031 | 6.8 | 0 | 38772 | 145 | 243 | 143550657 | 8873718 || 3031 | 14873995 | 255/ 255 | 1674735 | 0 | 833.37/833.41 c | 3066 | 7.1 | 0 | 40486 | 4687 | 244 | 144738006 | 8956251 || 3066 | 15017461 | 255/ 255 | 1690092 | 0 | 840.87/840.98 c | 3068 | 7.6 | 0 | 40866 | 15187 | 245 | 146129966 | 9015186 || 3068 | 15151063 | 254/ 254 | 1710560 | 0 | 848.18/848.24 c | 3069 | 7.3 | 0 | 39773 | 20983 | 246 | 147409915 | 9067514 || 3069 | 15274511 | 254/ 254 | 1737320 | 0 | 856.57/856.61 c | 3069 | 8.4 | 0 | 39381 | 7684 | 247 | 148687155 | 9119834 || 3069 | 15363151 | 254/ 254 | 1738139 | 0 | 864.37/864.40 c | 3070 | 7.8 | 0 | 37825 | 32885 | 248 | 149772009 | 9168305 || 3070 | 15510924 | 254/ 254 | 1790777 | 0 | 876.07/876.12 c | 3070 | 11.7 | 0 | 35822 | 25302 | 249 | 150861914 | 9246885 || 3070 | 15651035 | 254/ 254 | 1792258 | 0 | 888.89/888.99 c | 3070 | 12.9 | 0 | 37932 | 6787 | 250 | 151909294 | 9306572 || 3070 | 15742620 | 254/ 254 | 1793243 | 0 | 893.67/893.75 c | 3070 | 4.8 | 0 | 33752 | 32289 | 251 | 152919211 | 9337670 || 3070 | 15742620 | 254/ 254 | 1793243 | 0 | 898.97/899.06 c | 3087 | 5.3 | 0 | 35018 | 164 | 252 | 153880158 | 9388121 || 3087 | 15783851 | 254/ 254 | 1797049 | 0 | 906.38/906.45 c | 3133 | 7.4 | 0 | 30512 | 1885 | 253 | 155069212 | 9477851 || 3133 | 15932130 | 254/ 254 | 1814238 | 0 | 913.27/913.35 c | 3177 | 6.9 | 0 | 33516 | 109 | 254 | 156305873 | 9564868 || 3177 | 16063953 | 254/ 254 | 1825525 | 0 | 920.27/920.38 c | 3197 | 7.0 | 0 | 35163 | 667 | 255 | 157519920 | 9641728 || 3197 | 16209167 | 254/ 254 | 1842577 | 0 | 927.17/927.21 c | 3242 | 6.8 | 0 | 37887 | 394 | 256 | 158778579 | 9724518 || 3242 | 16330148 | 254/ 254 | 1854219 | 0 | 934.17/934.26 c | 3281 | 7.0 | 0 | 40321 | 30 | 257 | 159936210 | 9812119 || 3281 | 16471756 | 254/ 254 | 1868400 | 0 | 941.87/941.97 c | 3323 | 7.7 | 0 | 43268 | 3553 | 258 | 161178669 | 9900353 || 3323 | 16624286 | 254/ 254 | 1885123 | 0 | 949.17/949.25 c | 3325 | 7.3 | 0 | 43819 | 15454 | 259 | 162289795 | 9968202 || 3325 | 16766830 | 254/ 254 | 1905775 | 0 | 955.47/955.53 c | 3352 | 6.3 | 0 | 43899 | 112 | 260 | 163475116 | 10034674 || 3352 | 16847434 | 254/ 254 | 1911555 | 0 | 963.07/963.15 c | 3388 | 7.6 | 0 | 41930 | 1026 | 261 | 164719045 | 10124472 || 3388 | 16999701 | 254/ 254 | 1927273 | 0 | 970.77/970.87 c | 3441 | 7.7 | 0 | 43007 | 538 | 262 | 165934165 | 10219336 || 3441 | 17146308 | 254/ 254 | 1941124 | 0 | 977.47/977.54 c | 3452 | 6.7 | 0 | 43243 | 6215 | 263 | 167256320 | 10286601 || 3452 | 17265334 | 254/ 254 | 1955416 | 0 | 985.87/985.97 c | 3512 | 8.4 | 0 | 42075 | 325 | 264 | 168575894 | 10387306 || 3512 | 17424369 | 254/ 254 | 1970622 | 0 | 993.47/993.51 c | 3546 | 7.5 | 0 | 42528 | 564 | 265 | 169902931 | 10470919 || 3546 | 17564072 | 254/ 254 | 1985585 | 0 | 1001.27/1001.35 c | 3579 | 7.8 | 0 | 43753 | 6715 | 266 | 171147701 | 10557816 || 3579 | 17718367 | 254/ 254 | 2004610 | 0 | 1008.27/1008.36 c | 3580 | 7.0 | 0 | 44740 | 5011 | 267 | 172369146 | 10625987 || 3580 | 17838275 | 254/ 254 | 2018626 | 0 | 1017.67/1017.72 c | 3581 | 9.4 | 0 | 43577 | 32213 | 268 | 173618586 | 10701336 || 3581 | 18013279 | 254/ 254 | 2045979 | 0 | 1024.37/1024.42 c | 3581 | 6.7 | 0 | 42476 | 21115 | 269 | 174915720 | 10744664 || 3581 | 18045927 | 254/ 254 | 2046285 | 0 | 1032.07/1032.16 c | 3630 | 7.7 | 0 | 41579 | 149 | 270 | 176179387 | 10835368 || 3630 | 18180016 | 254/ 254 | 2059235 | 0 | 1040.07/1040.16 c | 3674 | 8.0 | 0 | 38688 | 1056 | 271 | 177524828 | 10928979 || 3674 | 18333938 | 254/ 254 | 2074749 | 0 | 1047.87/1047.96 c | 3708 | 7.8 | 0 | 39240 | 4182 | 272 | 178835324 | 11017138 || 3708 | 18490027 | 254/ 254 | 2095525 | 0 | 1054.78/1054.87 c | 3739 | 6.9 | 0 | 39521 | 1431 | 273 | 180112251 | 11099585 || 3739 | 18615639 | 254/ 254 | 2104740 | 0 | 1062.88/1062.94 c | 3786 | 8.1 | 0 | 41090 | 747 | 274 | 181433913 | 11193044 || 3786 | 18769613 | 254/ 254 | 2120715 | 0 | 1071.08/1071.14 c | 3834 | 8.2 | 0 | 43653 | 2548 | 275 | 182737210 | 11288575 || 3834 | 18930279 | 254/ 254 | 2138299 | 0 | 1078.78/1078.83 c | 3836 | 7.7 | 0 | 46882 | 16149 | 276 | 184050999 | 11361876 || 3836 | 19082658 | 254/ 254 | 2159086 | 0 | 1084.98/1085.00 c | 3866 | 6.2 | 0 | 45720 | 207 | 277 | 185112953 | 11437387 || 3866 | 19177111 | 254/ 254 | 2166373 | 0 | 1092.58/1092.65 c | 3906 | 7.7 | 0 | 44756 | 538 | 278 | 186363873 | 11530281 || 3906 | 19327446 | 254/ 254 | 2181810 | 0 | 1101.08/1101.19 c | 3961 | 8.5 | 0 | 45297 | 2122 | 279 | 187743571 | 11632606 || 3961 | 19492419 | 254/ 254 | 2198154 | 0 | 1108.28/1108.32 c | 3982 | 7.1 | 0 | 46257 | 277 | 280 | 188999425 | 11710377 || 3982 | 19623758 | 254/ 254 | 2212739 | 0 | 1116.68/1116.72 c | 4026 | 8.4 | 0 | 45229 | 489 | 281 | 190328925 | 11808771 || 4026 | 19789202 | 254/ 254 | 2229825 | 0 | 1124.77/1124.87 c | 4083 | 8.1 | 0 | 45363 | 59 | 282 | 191669801 | 11908304 || 4083 | 19940190 | 254/ 254 | 2244221 | 0 | 1133.27/1133.37 c | 4091 | 8.5 | 0 | 47290 | 9649 | 283 | 193209561 | 11979959 || 4091 | 20099146 | 254/ 254 | 2271210 | 0 | 1141.58/1141.60 c | 4092 | 8.2 | 0 | 46636 | 19250 | 284 | 194475999 | 12045349 || 4092 | 20247426 | 254/ 254 | 2298260 | 0 | 1150.27/1150.34 c | 4092 | 8.7 | 0 | 45160 | 9750 | 285 | 195775725 | 12106405 || 4092 | 20349418 | 254/ 254 | 2299227 | 0 | 1159.88/1160.00 c | 4093 | 9.7 | 0 | 44253 | 38753 | 286 | 197084476 | 12169982 || 4093 | 20531635 | 254/ 254 | 2352228 | 0 | 1176.57/1176.64 c | 4093 | 16.6 | 0 | 43831 | 29106 | 287 | 198369390 | 12254791 || 4093 | 20685138 | 254/ 254 | 2353759 | 0 | 1186.28/1186.30 c | 4093 | 9.7 | 0 | 43450 | 20256 | 288 | 199557314 | 12306040 || 4093 | 20729657 | 254/ 254 | 2354194 | 0 | 1191.98/1192.05 c | 4093 | 5.8 | 0 | 40276 | 49557 | 289 | 200793915 | 12342073 || 4093 | 20729657 | 254/ 254 | 2354194 | 0 | 1210.88/1210.92 c | 4094 | 18.9 | 0 | 36170 | 78958 | 290 | 202036179 | 12433192 || 4094 | 21100445 | 254/ 254 | 2460237 | 0 | 1230.38/1230.44 c | 4094 | 19.5 | 0 | 39526 | 29501 | 291 | 203232550 | 12520358 || 4094 | 21261987 | 254/ 254 | 2461816 | 0 | 1256.58/1256.67 c | 4094 | 26.2 | 0 | 43088 | 29604 | 292 | 204449793 | 12605231 || 4094 | 21418843 | 254/ 254 | 2463426 | 0 | 1273.07/1273.18 c | 4094 | 16.5 | 0 | 45321 | 14162 | 293 | 205669938 | 12665242 || 4094 | 21498638 | 254/ 254 | 2464183 | 0 | 1279.57/1279.61 c | 4094 | 6.4 | 0 | 39348 | 43963 | 294 | 206901840 | 12701328 || 4094 | 21498638 | 254/ 254 | 2464183 | 0 | 1285.17/1285.27 c | 4094 | 5.7 | 0 | 40800 | 73868 | 295 | 208051840 | 12739053 || 4094 | 21498638 | 254/ 254 | 2464183 | 0 | 1302.28/1302.30 c | 4095 | 17.0 | 0 | 34942 | 103871 | 296 | 209097356 | 12782170 || 4095 | 21915368 | 254/ 254 | 2673128 | 0 | 1314.38/1314.41 c | 4095 | 12.1 | 0 | 35466 | 30101 | 297 | 210507279 | 12870163 || 4095 | 22085686 | 254/ 254 | 2674719 | 0 | 1333.08/1333.12 c | 4095 | 18.7 | 0 | 39434 | 30201 | 298 | 211948914 | 12949675 || 4095 | 22243025 | 254/ 254 | 2676231 | 0 | 1356.98/1357.00 c | 4095 | 23.9 | 0 | 44425 | 30302 | 299 | 213278059 | 13024925 || 4095 | 22393550 | 254/ 254 | 2677635 | 0 | 1379.18/1379.27 c | 4095 | 22.3 | 0 | 42095 | 30402 | 300 | 214678465 | 13098393 || 4095 | 22540045 | 254/ 254 | 2678975 | 0 | 1401.07/1401.15 c | 4095 | 21.9 | 0 | 46121 | 30502 | 301 | 216054093 | 13174736 || 4095 | 22692471 | 254/ 254 | 2680431 | 0 | 1429.38/1429.46 c | 4095 | 28.3 | 0 | 46165 | 30604 | 302 | 217348774 | 13248449 || 4095 | 22839890 | 254/ 254 | 2681834 | 0 | 1453.58/1453.68 c | 4095 | 24.2 | 0 | 47158 | 9482 | 303 | 218778723 | 13308179 || 4095 | 22936448 | 254/ 254 | 2682760 | 0 | 1460.89/1460.95 c | 4095 | 7.3 | 0 | 38571 | 40284 | 304 | 220356919 | 13344734 || 4095 | 22936448 | 254/ 254 | 2682760 | 0 | 1468.98/1469.08 c | 4095 | 8.1 | 0 | 49256 | 71185 | 305 | 221862541 | 13380341 || 4095 | 22936448 | 254/ 254 | 2682760 | 0 | 1476.68/1476.79 c | 4095 | 7.7 | 0 | 42472 | 102186 | 306 | 223423254 | 13416722 || 4095 | 22936448 | 254/ 254 | 2682760 | 0 | 1485.98/1486.09 c | 4095 | 9.3 | 0 | 50294 | 133288 | 307 | 224971560 | 13452506 || 4095 | 22936448 | 254/ 254 | 2682760 | 0 | 1494.29/1494.35 c | 4095 | 8.3 | 0 | 46260 | 164489 | 308 | 226479139 | 13488697 || 4095 | 22936448 | 254/ 254 | 2682760 | 0 | 1502.70/1502.71 c | 4095 | 8.4 | 0 | 43052 | 195790 | 309 | 227982947 | 13525601 || 4095 | 22936448 | 254/ 254 | 2682760 | 0 | 1511.69/1511.73 c | 4141 | 9.0 | 0 | 39380 | 703 | 310 | 229425019 | 13618258 || 4141 | 23066101 | 254/ 254 | 2695222 | 0 | 1520.49/1520.57 c | 4189 | 8.8 | 0 | 37404 | 912 | 311 | 230875563 | 13725686 || 4189 | 23239731 | 254/ 254 | 2712992 | 0 | 1529.39/1529.40 c | 4222 | 8.8 | 0 | 41176 | 2033 | 312 | 232336221 | 13824364 || 4222 | 23414214 | 254/ 254 | 2732335 | 0 | 1538.49/1538.57 c | 4283 | 9.2 | 0 | 44869 | 410 | 313 | 233849194 | 13931594 || 4283 | 23576804 | 254/ 254 | 2748341 | 0 | 1547.49/1547.57 c | 4330 | 9.0 | 0 | 47590 | 137 | 314 | 235309773 | 14035652 || 4330 | 23746476 | 254/ 254 | 2765235 | 0 | 1556.79/1556.84 c | 4350 | 9.3 | 0 | 51012 | 7607 | 315 | 236839242 | 14123958 || 4350 | 23926616 | 254/ 254 | 2794921 | 0 | 1565.40/1565.47 c | 4370 | 8.6 | 0 | 53518 | 69 | 316 | 238594803 | 14205926 || 4370 | 24044645 | 254/ 254 | 2799878 | 0 | 1574.89/1574.95 c | 4418 | 9.5 | 0 | 50456 | 71 | 317 | 240117117 | 14310120 || 4418 | 24217308 | 254/ 254 | 2817621 | 0 | 1584.69/1584.72 c | 4476 | 9.8 | 0 | 50427 | 2875 | 318 | 241643027 | 14423921 || 4476 | 24405149 | 254/ 254 | 2838063 | 0 | 1593.19/1593.23 c | 4508 | 8.5 | 0 | 51958 | 2317 | 319 | 243013792 | 14519154 || 4508 | 24561416 | 254/ 254 | 2854028 | 0 | 1602.88/1602.90 c | 4562 | 9.7 | 0 | 51196 | 430 | 320 | 244565287 | 14627787 || 4562 | 24733937 | 254/ 254 | 2871282 | 0 | 1612.59/1612.61 c | 4604 | 9.7 | 0 | 51327 | 5456 | 321 | 246104804 | 14731721 || 4604 | 24918619 | 254/ 254 | 2894247 | 0 | 1620.68/1620.79 c | 4605 | 8.2 | 0 | 52486 | 9254 | 322 | 247620077 | 14804754 || 4605 | 25045419 | 254/ 254 | 2908257 | 0 | 1633.98/1634.01 c | 4606 | 13.2 | 0 | 53248 | 3557 | 323 | 249310877 | 14895010 || 4606 | 25255941 | 254/ 254 | 2935907 | 0 | 1641.68/1641.74 c | 4635 | 7.7 | 0 | 52217 | 500 | 324 | 250979627 | 14966273 || 4635 | 25323874 | 254/ 254 | 2942191 | 0 | 1651.09/1651.13 c | 4684 | 9.4 | 0 | 48205 | 725 | 325 | 252418632 | 15077010 || 4684 | 25502320 | 254/ 254 | 2960816 | 0 | 1660.28/1660.31 c | 4732 | 9.2 | 0 | 48860 | 2835 | 326 | 253842022 | 15186781 || 4732 | 25677437 | 254/ 254 | 2978559 | 0 | 1669.79/1669.83 c | 4777 | 9.5 | 0 | 49526 | 68 | 327 | 255355290 | 15291908 || 4777 | 25847409 | 254/ 254 | 2996665 | 0 | 1679.58/1679.67 c | 4827 | 9.8 | 0 | 49882 | 184 | 328 | 256877495 | 15403829 || 4827 | 26030447 | 254/ 254 | 3015639 | 0 | 1689.28/1689.32 c | 4860 | 9.6 | 0 | 52518 | 3025 | 329 | 258490833 | 15501266 || 4860 | 26201522 | 254/ 254 | 3034886 | 0 | 1698.88/1698.98 c | 4875 | 9.7 | 0 | 55495 | 8 | 330 | 260311874 | 15577003 || 4875 | 26332242 | 254/ 254 | 3051319 | 0 | 1708.88/1708.96 c | 4924 | 10.0 | 0 | 53446 | 2634 | 331 | 261903904 | 15686442 || 4924 | 26511671 | 254/ 254 | 3069801 | 0 | 1719.40/1719.47 c | 4987 | 10.5 | 0 | 53534 | 2562 | 332 | 263485668 | 15804909 || 4987 | 26707268 | 254/ 254 | 3090910 | 0 | 1728.28/1728.38 c | 5019 | 8.9 | 0 | 53574 | 1017 | 333 | 265004201 | 15901380 || 5019 | 26864494 | 254/ 254 | 3106717 | 0 | 1738.38/1738.49 c | 5080 | 10.1 | 0 | 53323 | 506 | 334 | 266568330 | 16019146 || 5080 | 27051402 | 254/ 254 | 3125319 | 0 | 1748.68/1748.73 c | 5115 | 10.2 | 0 | 53459 | 9339 | 335 | 268173883 | 16124491 || 5115 | 27245443 | 254/ 254 | 3147218 | 0 | 1759.00/1759.05 c | 5117 | 10.3 | 0 | 54051 | 14539 | 336 | 269975857 | 16191933 || 5117 | 27409372 | 254/ 254 | 3187199 | 0 | 1769.78/1769.91 c | 5117 | 10.9 | 0 | 53861 | 10238 | 337 | 271433896 | 16277885 || 5117 | 27547588 | 254/ 254 | 3188530 | 0 | 1781.48/1781.55 c | 5118 | 11.6 | 0 | 53718 | 44439 | 338 | 272679554 | 16361213 || 5118 | 27761984 | 254/ 254 | 3241940 | 0 | 1802.89/1803.00 c | 5118 | 21.5 | 0 | 54793 | 1940 | 339 | 274047374 | 16459850 || 5118 | 27934456 | 254/ 254 | 3243709 | 0 | 1810.49/1810.56 c | 5118 | 7.6 | 0 | 48316 | 36342 | 340 | 275580260 | 16502237 || 5118 | 27934456 | 254/ 254 | 3243709 | 0 | 1819.99/1820.04 c | 5161 | 9.5 | 0 | 45209 | 76 | 341 | 277134621 | 16594422 || 5161 | 28046997 | 254/ 254 | 3254619 | 0 | 1829.99/1830.01 c | 5212 | 10.0 | 0 | 42898 | 1289 | 342 | 278730761 | 16710066 || 5212 | 28234184 | 254/ 254 | 3273785 | 0 | 1839.39/1839.42 c | 5245 | 9.4 | 0 | 45553 | 5551 | 343 | 280356971 | 16811691 || 5245 | 28406595 | 254/ 254 | 3293040 | 0 | 1849.89/1849.90 c | 5308 | 10.5 | 0 | 48206 | 3458 | 344 | 281925609 | 16936112 || 5308 | 28608151 | 254/ 254 | 3314117 | 0 | 1860.21/1860.29 c | 5370 | 10.4 | 0 | 50678 | 2232 | 345 | 283511116 | 17055859 || 5370 | 28796394 | 254/ 254 | 3331998 | 0 | 1870.39/1870.47 c | 5373 | 10.2 | 0 | 54674 | 1224 | 346 | 285167079 | 17140653 || 5373 | 28976349 | 254/ 254 | 3356114 | 0 | 1879.69/1879.73 c | 5424 | 9.3 | 0 | 55856 | 146 | 347 | 286753994 | 17244200 || 5424 | 29115494 | 254/ 254 | 3369300 | 0 | 1890.29/1890.32 c | 5481 | 10.6 | 0 | 55986 | 327 | 348 | 288323201 | 17363968 || 5481 | 29308964 | 254/ 254 | 3389009 | 0 | 1900.39/1900.40 c | 5514 | 10.1 | 0 | 56470 | 379 | 349 | 290106551 | 17464650 || 5514 | 29479110 | 254/ 254 | 3408243 | 0 | 1910.39/1910.48 c | 5568 | 10.1 | 0 | 56503 | 194 | 350 | 291700992 | 17579960 || 5568 | 29663305 | 254/ 254 | 3427424 | 0 | 1921.39/1921.45 c | 5626 | 11.0 | 0 | 56439 | 1278 | 351 | 293389254 | 17703208 || 5626 | 29865730 | 254/ 254 | 3447993 | 0 | 1931.09/1931.18 c | 5628 | 9.7 | 0 | 56328 | 8068 | 352 | 295088176 | 17782699 || 5628 | 30018118 | 254/ 254 | 3468661 | 0 | 1945.18/1945.24 c | 5629 | 14.1 | 0 | 57309 | 5366 | 353 | 296779702 | 17870444 || 5629 | 30210332 | 254/ 254 | 3496195 | 0 | 1953.78/1953.89 c | 5660 | 8.7 | 0 | 56329 | 1120 | 354 | 298429178 | 17952786 || 5660 | 30302959 | 254/ 254 | 3505084 | 0 | 1964.79/1964.89 c | 5723 | 11.0 | 0 | 52488 | 909 | 355 | 300101111 | 18077835 || 5723 | 30506979 | 254/ 254 | 3526303 | 0 | 1974.79/1974.83 c | 5756 | 9.9 | 0 | 53760 | 4071 | 356 | 301829119 | 18183348 || 5756 | 30685987 | 254/ 254 | 3545702 | 0 | 1985.79/1985.85 c | 5819 | 11.0 | 0 | 53527 | 3257 | 357 | 303539355 | 18305829 || 5819 | 30884222 | 254/ 254 | 3566794 | 0 | 1996.39/1996.44 c | 5881 | 10.6 | 0 | 53036 | 951 | 358 | 305175779 | 18430052 || 5881 | 31077290 | 254/ 254 | 3584702 | 0 | 2006.59/2006.66 c | 5884 | 10.2 | 0 | 56154 | 3652 | 359 | 306740778 | 18522423 || 5884 | 31268347 | 254/ 254 | 3608913 | 0 | 2016.20/2016.27 c | 5944 | 9.6 | 0 | 58075 | 345 | 360 | 308298111 | 18637497 || 5944 | 31428435 | 254/ 254 | 3624084 | 0 | 2027.10/2027.16 c | 6002 | 10.9 | 0 | 59030 | 30 | 361 | 309960396 | 18762830 || 6002 | 31631263 | 254/ 254 | 3644300 | 0 | 2037.69/2037.70 c | 6040 | 10.5 | 0 | 59332 | 284 | 362 | 311781216 | 18869376 || 6040 | 31815450 | 254/ 254 | 3664620 | 0 | 2048.49/2048.55 c | 6096 | 10.8 | 0 | 59805 | 275 | 363 | 313480113 | 18991376 || 6096 | 32013019 | 254/ 254 | 3684550 | 0 | 2059.69/2059.77 c | 6138 | 11.2 | 0 | 60060 | 619 | 364 | 315233484 | 19108674 || 6138 | 32220499 | 254/ 254 | 3707824 | 0 | 2070.69/2070.70 c | 6140 | 10.9 | 0 | 59505 | 18318 | 365 | 316914934 | 19187424 || 6140 | 32403102 | 254/ 254 | 3747970 | 0 | 2081.20/2081.26 c | 6140 | 10.6 | 0 | 60710 | 16919 | 366 | 318489553 | 19265378 || 6140 | 32511940 | 254/ 254 | 3748993 | 0 | 2096.89/2096.92 c | 6141 | 15.7 | 0 | 57097 | 54023 | 367 | 319968652 | 19366008 || 6141 | 32781468 | 254/ 254 | 3802904 | 0 | 2110.59/2110.69 c | 6141 | 13.8 | 0 | 56890 | 14425 | 368 | 321547832 | 19455634 || 6141 | 32912419 | 254/ 254 | 3804204 | 0 | 2125.69/2125.71 c | 6142 | 15.0 | 0 | 55266 | 51728 | 369 | 323264638 | 19502433 || 6142 | 33120704 | 254/ 254 | 3908737 | 0 | 2142.91/2142.99 c | 6142 | 17.3 | 0 | 47612 | 37404 | 370 | 324817966 | 19612530 || 6142 | 33328089 | 254/ 254 | 3910766 | 0 | 2170.79/2170.85 c | 6142 | 27.9 | 0 | 52774 | 37501 | 371 | 326322780 | 19716450 || 6142 | 33520850 | 254/ 254 | 3912693 | 0 | 2186.29/2186.39 c | 6142 | 15.5 | 0 | 46457 | 10627 | 372 | 327884125 | 19807964 || 6142 | 33667082 | 254/ 254 | 3914121 | 0 | 2191.79/2191.82 c | 6142 | 5.4 | 0 | 47352 | 48329 | 373 | 329245431 | 19856596 || 6142 | 33667082 | 254/ 254 | 3914121 | 0 | 2199.10/2199.12 c | 6142 | 7.3 | 0 | 49136 | 86130 | 374 | 330605466 | 19904205 || 6142 | 33667082 | 254/ 254 | 3914121 | 0 | 2209.19/2209.21 c | 6188 | 10.1 | 0 | 51831 | 1160 | 375 | 332164229 | 20005432 || 6188 | 33796688 | 254/ 254 | 3926574 | 0 | 2220.69/2220.75 c | 6251 | 11.5 | 0 | 46174 | 631 | 376 | 333917119 | 20133220 || 6251 | 34003038 | 254/ 254 | 3947761 | 0 | 2230.80/2230.86 c | 6290 | 10.1 | 0 | 50850 | 51 | 377 | 335502314 | 20247657 || 6290 | 34191300 | 254/ 254 | 3968023 | 0 | 2242.19/2242.28 c | 6352 | 11.4 | 0 | 54767 | 42 | 378 | 337206381 | 20377883 || 6352 | 34399882 | 254/ 254 | 3989025 | 0 | 2254.01/2254.05 c | 6396 | 11.8 | 0 | 58367 | 953 | 379 | 339018948 | 20500973 || 6396 | 34617145 | 254/ 254 | 4012973 | 0 | 2265.01/2265.09 c | 6416 | 11.0 | 0 | 61780 | 24 | 380 | 341074251 | 20591484 || 6416 | 34765059 | 254/ 254 | 4030945 | 0 | 2276.69/2276.74 c | 6479 | 11.7 | 0 | 62754 | 295 | 381 | 342756144 | 20723100 || 6479 | 34975458 | 254/ 254 | 4052166 | 0 | 2288.59/2288.63 c | 6524 | 11.9 | 0 | 62717 | 1033 | 382 | 344597193 | 20846280 || 6524 | 35191304 | 254/ 254 | 4076298 | 0 | 2299.89/2299.99 c | 6587 | 11.4 | 0 | 62006 | 2802 | 383 | 346418548 | 20971960 || 6587 | 35388526 | 254/ 254 | 4097482 | 0 | 2311.79/2311.88 c | 6650 | 11.9 | 0 | 62379 | 3097 | 384 | 348256713 | 21102895 || 6650 | 35600906 | 254/ 254 | 4118746 | 0 | 2321.70/2321.77 c | 6652 | 9.9 | 0 | 61901 | 8390 | 385 | 349949380 | 21195017 || 6652 | 35763770 | 254/ 254 | 4139526 | 0 | 2335.20/2335.27 c | 6653 | 13.5 | 0 | 61097 | 8992 | 386 | 351492334 | 21292912 || 6653 | 35965778 | 254/ 254 | 4167179 | 0 | 2345.00/2345.02 c | 6700 | 9.8 | 0 | 60966 | 807 | 387 | 353209870 | 21396112 || 6700 | 36097149 | 254/ 254 | 4179779 | 0 | 2356.80/2356.85 c | 6765 | 11.8 | 0 | 58342 | 100 | 388 | 355007228 | 21531707 || 6765 | 36313814 | 254/ 254 | 4201428 | 0 | 2368.42/2368.41 c | 6809 | 11.6 | 0 | 59446 | 331 | 389 | 356864331 | 21650281 || 6809 | 36515094 | 254/ 254 | 4222911 | 0 | 2380.30/2380.40 c | 6873 | 12.0 | 0 | 59343 | 1198 | 390 | 358756620 | 21783116 || 6873 | 36733353 | 254/ 254 | 4245029 | 0 | 2391.80/2391.80 c | 6908 | 11.4 | 0 | 59339 | 6631 | 391 | 360577886 | 21896617 || 6908 | 36948576 | 254/ 254 | 4279152 | 0 | 2403.10/2403.16 c | 6939 | 11.4 | 0 | 61341 | 2168 | 392 | 362474401 | 22005566 || 6939 | 37115548 | 254/ 254 | 4288816 | 0 | 2415.40/2415.40 c | 7002 | 12.2 | 0 | 63040 | 938 | 393 | 364406867 | 22135726 || 7002 | 37327071 | 254/ 254 | 4310104 | 0 | 2426.61/2426.69 c | 7048 | 11.3 | 0 | 63776 | 57 | 394 | 366123792 | 22261049 || 7048 | 37532372 | 254/ 254 | 4331721 | 0 | 2439.00/2439.09 c | 7113 | 12.4 | 0 | 63699 | 856 | 395 | 368047324 | 22397085 || 7113 | 37755126 | 254/ 254 | 4354332 | 0 | 2451.70/2451.77 c | 7162 | 12.7 | 0 | 64347 | 362 | 396 | 369994628 | 22526129 || 7162 | 37979604 | 254/ 254 | 4378908 | 0 | 2464.20/2464.26 c | 7164 | 12.5 | 0 | 63806 | 21263 | 397 | 371793808 | 22619655 || 7164 | 38194323 | 254/ 254 | 4419321 | 0 | 2475.50/2475.59 c | 7164 | 11.3 | 0 | 63576 | 23063 | 398 | 373811390 | 22695554 || 7164 | 38296063 | 254/ 254 | 4420278 | 0 | 2496.60/2496.63 c | 7165 | 21.0 | 0 | 63070 | 63365 | 399 | 375856779 | 22822422 || 7165 | 38633321 | 254/ 254 | 4474818 | 0 | 2506.91/2506.96 c | 7165 | 10.3 | 0 | 58032 | 26965 | 400 | 377388092 | 22901982 || 7165 | 38719297 | 254/ 254 | 4475645 | 0 | 2516.60/2516.61 c | 7198 | 9.7 | 0 | 58378 | 124 | 401 | 378960643 | 22993636 || 7198 | 38813662 | 254/ 254 | 4484798 | 0 | 2528.80/2528.89 c | 7266 | 12.3 | 0 | 53549 | 324 | 402 | 380812465 | 23132109 || 7266 | 39037563 | 254/ 254 | 4507205 | 0 | 2540.50/2540.52 c | 7313 | 11.6 | 0 | 54966 | 245 | 403 | 382707846 | 23257891 || 7313 | 39247205 | 254/ 254 | 4529743 | 0 | 2553.10/2553.17 c | 7383 | 12.7 | 0 | 56730 | 136 | 404 | 384675876 | 23396631 || 7383 | 39471096 | 254/ 254 | 4552394 | 0 | 2564.30/2564.39 c | 7419 | 11.2 | 0 | 60603 | 6068 | 405 | 386525495 | 23517731 || 7419 | 39673857 | 254/ 254 | 4574775 | 0 | 2576.10/2576.12 c | 7451 | 11.7 | 0 | 64050 | 617 | 406 | 388388367 | 23633257 || 7451 | 39865908 | 254/ 254 | 4597468 | 0 | 2588.30/2588.36 c | 7521 | 12.2 | 0 | 65842 | 203 | 407 | 390291293 | 23772060 || 7521 | 40085051 | 254/ 254 | 4619612 | 0 | 2600.10/2600.15 c | 7567 | 11.8 | 0 | 66764 | 12 | 408 | 392164656 | 23901315 || 7567 | 40296949 | 254/ 254 | 4642328 | 0 | 2613.00/2613.07 c | 7638 | 12.9 | 0 | 66305 | 79 | 409 | 394123252 | 24041831 || 7638 | 40524538 | 254/ 254 | 4665110 | 0 | 2625.61/2625.70 c | 7675 | 12.6 | 0 | 67195 | 6800 | 410 | 396118775 | 24158122 || 7675 | 40751489 | 254/ 254 | 4700440 | 0 | 2640.21/2640.24 c | 7676 | 14.5 | 0 | 66557 | 29101 | 411 | 398155607 | 24258007 || 7676 | 40971173 | 254/ 254 | 4728118 | 0 | 2652.41/2652.42 c | 7693 | 12.2 | 0 | 67690 | 175 | 412 | 400291156 | 24339331 || 7693 | 41063760 | 254/ 254 | 4732420 | 0 | 2665.42/2665.45 c | 7766 | 13.0 | 0 | 62357 | 141 | 413 | 402260299 | 24484638 || 7766 | 41294945 | 254/ 254 | 4755494 | 0 | 2676.71/2676.77 c | 7805 | 11.3 | 0 | 62735 | 69 | 414 | 404114253 | 24605831 || 7805 | 41498194 | 254/ 254 | 4778382 | 0 | 2689.81/2689.84 c | 7879 | 13.1 | 0 | 62445 | 232 | 415 | 406066162 | 24751420 || 7879 | 41732893 | 254/ 254 | 4801692 | 0 | 2702.91/2702.95 c | 7930 | 13.1 | 0 | 62543 | 833 | 416 | 408019511 | 24889151 || 7930 | 41973337 | 254/ 254 | 4827736 | 0 | 2714.81/2714.85 c | 7960 | 11.9 | 0 | 63826 | 65 | 417 | 409914366 | 24997026 || 7960 | 42146628 | 254/ 254 | 4847882 | 0 | 2727.90/2727.92 c | 8025 | 13.1 | 0 | 64903 | 151 | 418 | 411910726 | 25136657 || 8025 | 42378312 | 254/ 254 | 4871815 | 0 | 2740.40/2740.45 c | 8073 | 12.5 | 0 | 68216 | 1162 | 419 | 413972207 | 25263618 || 8073 | 42590884 | 254/ 254 | 4894736 | 0 | 2754.00/2754.01 c | 8146 | 13.6 | 0 | 67279 | 31 | 420 | 415969856 | 25409373 || 8146 | 42824862 | 254/ 254 | 4917884 | 0 | 2766.62/2766.69 c | 8186 | 12.7 | 0 | 68473 | 7091 | 421 | 417984957 | 25535181 || 8186 | 43064925 | 252/ 252 | 4953797 | 0 | 2780.41/2780.44 c | 8187 | 13.8 | 0 | 67532 | 30494 | 422 | 419875320 | 25648558 || 8187 | 43302145 | 252/ 252 | 4981626 | 0 | 2793.31/2793.38 c | 8188 | 12.9 | 0 | 67385 | 34795 | 423 | 421479075 | 25738729 || 8188 | 43509430 | 252/ 252 | 5034852 | 0 | 2815.11/2815.10 c | 8188 | 21.7 | 0 | 66458 | 797 | 424 | 423440352 | 25852433 || 8188 | 43733091 | 252/ 252 | 5037053 | 0 | 2821.63/2821.68 c | 8188 | 6.6 | 0 | 62242 | 43699 | 425 | 425056450 | 25907216 || 8188 | 43733091 | 252/ 252 | 5037053 | 0 | 2847.71/2847.78 c | 8189 | 26.1 | 0 | 64744 | 86702 | 426 | 426853106 | 26021626 || 8189 | 44136028 | 252/ 252 | 5143464 | 0 | 2878.41/2878.44 c | 8189 | 30.6 | 0 | 60409 | 43102 | 427 | 428681913 | 26136595 || 8189 | 44354959 | 252/ 252 | 5145578 | 0 | 2903.71/2903.70 c | 8189 | 25.3 | 0 | 63334 | 19400 | 428 | 430388686 | 26227391 || 8189 | 44478280 | 252/ 252 | 5146817 | 0 | 2913.51/2913.50 c | 8189 | 9.8 | 0 | 55060 | 62702 | 429 | 432088513 | 26281718 || 8189 | 44478280 | 252/ 252 | 5146817 | 0 | 2938.71/2938.74 c | 8190 | 25.2 | 0 | 56954 | 106103 | 430 | 433830535 | 26345157 || 8190 | 44911688 | 252/ 252 | 5355840 | 0 | 2961.61/2961.65 c | 8190 | 22.9 | 0 | 51166 | 43503 | 431 | 435658858 | 26488281 || 8190 | 45182318 | 252/ 252 | 5358554 | 0 | 2990.71/2990.70 c | 8190 | 29.1 | 0 | 54034 | 43603 | 432 | 437462865 | 26618934 || 8190 | 45433149 | 252/ 252 | 5361110 | 0 | 3026.32/3026.30 c | 8190 | 35.6 | 0 | 58765 | 43701 | 433 | 439222328 | 26753618 || 8190 | 45686491 | 252/ 252 | 5363642 | 0 | 3064.62/3064.71 c | 8190 | 38.4 | 0 | 61409 | 43802 | 434 | 441016830 | 26880555 || 8190 | 45926890 | 252/ 252 | 5366041 | 0 | 3089.41/3089.47 c | 8190 | 24.8 | 0 | 60314 | 17412 | 435 | 442694150 | 26979983 || 8190 | 46073177 | 252/ 252 | 5367537 | 0 | 3098.61/3098.71 c | 8190 | 9.2 | 0 | 55236 | 61414 | 436 | 444370782 | 27036352 || 8190 | 46073177 | 252/ 252 | 5367537 | 0 | 3107.71/3107.72 c | 8190 | 9.0 | 0 | 60000 | 105516 | 437 | 445928833 | 27094239 || 8190 | 46073177 | 252/ 252 | 5367537 | 0 | 3117.21/3117.27 c | 8190 | 9.6 | 0 | 58359 | 149718 | 438 | 447544365 | 27150810 || 8190 | 46073177 | 252/ 252 | 5367537 | 0 | 3126.81/3126.82 c | 8190 | 9.5 | 0 | 60626 | 194019 | 439 | 449215464 | 27208338 || 8190 | 46073177 | 252/ 252 | 5367537 | 0 | 3170.81/3170.84 c | 8191 | 44.0 | 0 | 58695 | 238423 | 440 | 451265209 | 27322373 || 8191 | 47085726 | 252/ 252 | 5787235 | 0 | 3211.42/3211.41 c | 8191 | 40.6 | 0 | 63148 | 44501 | 441 | 453273438 | 27443559 || 8191 | 47324266 | 252/ 252 | 5789550 | 0 | 3249.92/3249.93 c | 8191 | 38.5 | 0 | 63872 | 44603 | 442 | 455245662 | 27565275 || 8191 | 47563661 | 252/ 252 | 5791873 | 0 | 3305.02/3305.09 c | 8191 | 55.2 | 0 | 70449 | 44701 | 443 | 457150539 | 27679678 || 8191 | 47790514 | 252/ 252 | 5793946 | 0 | 3355.03/3355.02 c | 8191 | 49.9 | 0 | 70896 | 44804 | 444 | 459015492 | 27795156 || 8191 | 48014995 | 252/ 252 | 5796081 | 0 | 3396.12/3396.10 c | 8191 | 41.1 | 0 | 70061 | 44902 | 445 | 460989169 | 27912244 || 8191 | 48247990 | 252/ 252 | 5798345 | 0 | 3429.12/3429.10 c | 8191 | 33.0 | 0 | 58777 | 45002 | 446 | 463052714 | 28024556 || 8191 | 48478350 | 252/ 252 | 5800579 | 0 | 3471.74/3471.79 c | 8191 | 42.7 | 0 | 59995 | 45102 | 447 | 465090958 | 28134918 || 8191 | 48706294 | 252/ 252 | 5802761 | 0 | 3523.73/3523.78 c | 8191 | 52.0 | 0 | 65914 | 45202 | 448 | 467092229 | 28240953 || 8191 | 48930437 | 252/ 252 | 5804814 | 0 | 3545.53/3545.58 c | 8191 | 21.8 | 0 | 62229 | 28138 | 449 | 469140745 | 28317308 || 8191 | 49014853 | 252/ 252 | 5805585 | 0 | 3554.43/3554.48 c | 8191 | 8.9 | 0 | 53194 | 73540 | 450 | 470933692 | 28375011 || 8191 | 49014853 | 252/ 252 | 5805585 | 0 | 3564.33/3564.35 c | 8191 | 9.9 | 0 | 57546 | 119041 | 451 | 472686537 | 28432142 || 8191 | 49014853 | 252/ 252 | 5805585 | 0 | 3574.43/3574.41 c | 8191 | 10.1 | 0 | 58091 | 164642 | 452 | 474540731 | 28490065 || 8191 | 49014853 | 252/ 252 | 5805585 | 0 | 3588.35/3588.34 c | 8191 | 13.9 | 0 | 61855 | 210345 | 453 | 476454765 | 28545266 || 8191 | 49014853 | 252/ 252 | 5805585 | 0 | 3603.13/3603.17 c | 8191 | 14.8 | 0 | 61373 | 256147 | 454 | 478574721 | 28601026 || 8191 | 49014853 | 252/ 252 | 5805585 | 0 | 3619.93/3619.91 c | 8191 | 16.7 | 0 | 62932 | 302048 | 455 | 480825725 | 28654657 || 8191 | 49014853 | 252/ 252 | 5805585 | 0 | 3637.43/3637.45 c | 8191 | 17.5 | 0 | 64205 | 348049 | 456 | 483016324 | 28708784 || 8191 | 49014853 | 252/ 252 | 5805585 | 0 | 3656.83/3656.82 c | 8191 | 19.4 | 0 | 64563 | 394150 | 457 | 485219801 | 28762057 || 8191 | 49014853 | 252/ 252 | 5805585 | 0 | 3673.23/3673.23 c | 8253 | 16.4 | 0 | 61200 | 268 | 458 | 487406813 | 28893053 || 8253 | 49196334 | 252/ 252 | 5823365 | 0 | 3687.53/3687.56 c | 8318 | 14.3 | 0 | 54651 | 3272 | 459 | 489444371 | 29043506 || 8318 | 49452573 | 252/ 252 | 5854763 | 0 | 3701.33/3701.33 c | 8381 | 13.8 | 0 | 59404 | 3153 | 460 | 491547904 | 29192545 || 8381 | 49690795 | 252/ 252 | 5876250 | 0 | 3715.83/3715.83 c | 8445 | 14.5 | 0 | 63585 | 6330 | 461 | 493750386 | 29343495 || 8445 | 49945262 | 252/ 252 | 5904380 | 0 | 3729.14/3729.13 c | 8476 | 13.3 | 0 | 68974 | 475 | 462 | 496012377 | 29464101 || 8476 | 50140271 | 252/ 252 | 5925541 | 0 | 3743.92/3743.91 c | 8552 | 14.8 | 0 | 71022 | 152 | 463 | 498247226 | 29622323 || 8552 | 50394483 | 252/ 252 | 5950677 | 0 | 3757.64/3757.68 c | 8604 | 13.8 | 0 | 75471 | 555 | 464 | 500322264 | 29763925 || 8604 | 50631686 | 252/ 252 | 5976716 | 0 | 3772.53/3772.57 c | 8686 | 14.9 | 0 | 74816 | 27 | 465 | 502529580 | 29925959 || 8686 | 50890440 | 252/ 252 | 6002132 | 0 | 3786.53/3786.51 c | 8701 | 13.9 | 0 | 74886 | 6296 | 466 | 504745831 | 30042976 || 8701 | 51115576 | 252/ 252 | 6031039 | 0 | 3802.93/3802.96 c | 8702 | 16.4 | 0 | 74566 | 14995 | 467 | 507063190 | 30143850 || 8702 | 51312949 | 252/ 252 | 6058593 | 0 | 3816.63/3816.70 c | 8765 | 13.7 | 0 | 72628 | 1276 | 468 | 509211915 | 30286998 || 8765 | 51525223 | 252/ 252 | 6079945 | 0 | 3832.03/3832.01 c | 8829 | 15.3 | 0 | 72155 | 447 | 469 | 511373864 | 30442497 || 8829 | 51790648 | 252/ 252 | 6108088 | 0 | 3846.13/3846.14 c | 8902 | 14.1 | 0 | 72116 | 222 | 470 | 513559977 | 30593609 || 8902 | 52021148 | 252/ 252 | 6131151 | 0 | 3861.04/3861.02 c | 8956 | 14.9 | 0 | 72540 | 5499 | 471 | 515977046 | 30734513 || 8956 | 52266674 | 252/ 252 | 6157565 | 0 | 3875.73/3875.78 c | 9003 | 14.8 | 0 | 72107 | 619 | 472 | 518254141 | 30870740 || 9003 | 52497487 | 252/ 252 | 6183798 | 0 | 3891.33/3891.38 c | 9082 | 15.6 | 0 | 72768 | 2175 | 473 | 520534823 | 31032911 || 9082 | 52764521 | 252/ 252 | 6210358 | 0 | 3906.25/3906.29 c | 9144 | 14.9 | 0 | 77187 | 453 | 474 | 522854505 | 31180978 || 9144 | 53008563 | 252/ 252 | 6235973 | 0 | 3921.65/3921.67 c | 9210 | 15.4 | 0 | 76610 | 843 | 475 | 525102504 | 31337582 || 9210 | 53270207 | 252/ 252 | 6263310 | 0 | 3937.13/3937.19 c | 9213 | 15.5 | 0 | 77281 | 20040 | 476 | 527391730 | 31447492 || 9213 | 53522315 | 252/ 252 | 6310555 | 0 | 3952.63/3952.62 c | 9214 | 15.4 | 0 | 75420 | 29739 | 477 | 529175878 | 31550811 || 9214 | 53757330 | 252/ 252 | 6364087 | 0 | 3974.23/3974.25 c | 9214 | 21.6 | 0 | 73701 | 1141 | 478 | 531073190 | 31707368 || 9214 | 54046933 | 252/ 252 | 6366928 | 0 | 3984.93/3984.90 c | 9214 | 10.6 | 0 | 70140 | 49443 | 479 | 533274591 | 31767170 || 9214 | 54046933 | 252/ 252 | 6366928 | 0 | 4001.13/4001.19 c | 9299 | 16.3 | 0 | 67016 | 321 | 480 | 535546905 | 31933801 || 9299 | 54312854 | 252/ 252 | 6393138 | 0 | 4015.93/4015.97 c | 9356 | 14.8 | 0 | 66084 | 912 | 481 | 537871744 | 32080970 || 9356 | 54559486 | 252/ 252 | 6419990 | 0 | 4031.43/4031.50 c | 9435 | 15.5 | 0 | 65686 | 992 | 482 | 540174174 | 32246220 || 9435 | 54825373 | 252/ 252 | 6446638 | 0 | 4047.43/4047.44 c | 9469 | 15.9 | 0 | 69748 | 49 | 483 | 542495785 | 32391293 || 9469 | 55105951 | 252/ 252 | 6479756 | 0 | 4061.73/4061.79 c | 9532 | 14.3 | 0 | 70655 | 739 | 484 | 544839426 | 32533915 || 9532 | 55316507 | 252/ 252 | 6501094 | 0 | 4076.94/4076.91 c | 9596 | 15.1 | 0 | 73869 | 1530 | 485 | 547084178 | 32689504 || 9596 | 55578006 | 252/ 252 | 6529270 | 0 | 4092.16/4092.13 c | 9674 | 15.2 | 0 | 78467 | 6 | 486 | 549271965 | 32849774 || 9674 | 55826742 | 252/ 252 | 6554126 | 0 | 4107.84/4107.82 c | 9724 | 15.7 | 0 | 77834 | 9801 | 487 | 551605014 | 32995210 || 9724 | 56098980 | 252/ 252 | 6592053 | 0 | 4126.26/4126.23 c | 9725 | 18.4 | 0 | 78635 | 1398 | 488 | 553848198 | 33115556 || 9725 | 56353559 | 252/ 252 | 6620177 | 0 | 4139.04/4139.00 c | 9780 | 12.8 | 0 | 74659 | 115 | 489 | 556254900 | 33239143 || 9780 | 56501242 | 252/ 252 | 6634219 | 0 | 4154.64/4154.65 c | 9851 | 15.6 | 0 | 74766 | 698 | 490 | 558562463 | 33404645 || 9851 | 56779395 | 252/ 252 | 6662728 | 0 | 4169.94/4169.99 c | 9915 | 15.3 | 0 | 76023 | 3693 | 491 | 560949789 | 33556098 || 9915 | 57032620 | 252/ 252 | 6690776 | 0 | 4185.54/4185.60 c | 9979 | 15.6 | 0 | 76198 | 379 | 492 | 563240356 | 33712334 || 9979 | 57298540 | 252/ 252 | 6719023 | 0 | 4200.54/4200.50 c | 10018 | 14.9 | 0 | 75667 | 24 | 493 | 565733529 | 33844213 || 10018 | 57511983 | 252/ 252 | 6743089 | 0 | 4217.23/4217.27 c | 10105 | 16.8 | 0 | 74335 | 1277 | 494 | 568123612 | 34015573 || 10105 | 57791624 | 252/ 252 | 6771930 | 0 | 4233.03/4233.04 c | 10168 | 15.8 | 0 | 78316 | 1072 | 495 | 570514801 | 34171261 || 10168 | 58046793 | 252/ 252 | 6798467 | 0 | 4249.13/4249.14 c | 10234 | 16.1 | 0 | 78785 | 4165 | 496 | 573000965 | 34327649 || 10234 | 58320848 | 252/ 252 | 6831504 | 0 | 4265.64/4265.60 c | 10236 | 16.5 | 0 | 78662 | 25464 | 497 | 575583562 | 34446993 || 10236 | 58584594 | 252/ 252 | 6872552 | 0 | 4283.56/4283.55 c | 10237 | 18.0 | 0 | 77871 | 37264 | 498 | 577644242 | 34560507 || 10237 | 58834752 | 252/ 252 | 6926268 | 0 | 4305.64/4305.63 c | 10237 | 22.1 | 0 | 74436 | 10763 | 499 | 579371549 | 34705994 || 10237 | 59065526 | 252/ 252 | 6928631 | 0 | 4322.34/4322.31 c | 10238 | 16.7 | 0 | 72810 | 61164 | 500 | 580909382 | 34792734 || 10238 | 59335568 | 252/ 252 | 7033748 | 0 | 4354.04/4354.05 c | 10238 | 31.8 | 0 | 69320 | 50502 | 501 | 582975273 | 34947360 || 10238 | 59629023 | 252/ 252 | 7036605 | 0 | 4402.44/4402.48 c | 10238 | 48.4 | 0 | 76820 | 8663 | 502 | 584776181 | 35080716 || 10238 | 59855516 | 252/ 252 | 7038883 | 0 | 4411.74/4411.79 c | 10238 | 9.3 | 0 | 63419 | 59364 | 503 | 585990676 | 35148014 || 10238 | 59855516 | 252/ 252 | 7038883 | 0 | 4422.94/4422.93 c | 10259 | 11.1 | 0 | 66420 | 228 | 504 | 587444165 | 35236990 || 10259 | 59905139 | 252/ 252 | 7043402 | 0 | 4439.65/4439.70 c | 10346 | 16.8 | 0 | 63533 | 272 | 505 | 589903946 | 35410810 || 10346 | 60185807 | 252/ 252 | 7071660 | 0 | 4455.44/4455.46 c | 10409 | 15.8 | 0 | 68279 | 259 | 506 | 592343448 | 35569718 || 10409 | 60447252 | 252/ 252 | 7099336 | 0 | 4472.44/4472.40 c | 10491 | 16.9 | 0 | 70973 | 1902 | 507 | 594732162 | 35743197 || 10491 | 60731871 | 252/ 252 | 7130508 | 0 | 4487.06/4487.06 c | 10510 | 14.7 | 0 | 77161 | 170 | 508 | 597146891 | 35870371 || 10510 | 60946228 | 252/ 252 | 7155233 | 0 | 4504.44/4504.43 c | 10599 | 17.4 | 0 | 79292 | 109 | 509 | 599598656 | 36048311 || 10599 | 61233026 | 252/ 252 | 7183616 | 0 | 4520.64/4520.67 c | 10663 | 16.2 | 0 | 83345 | 192 | 510 | 602012201 | 36208357 || 10663 | 61497128 | 252/ 252 | 7211826 | 0 | 4538.24/4538.29 c | 10746 | 17.6 | 0 | 82470 | 2052 | 511 | 604446164 | 36384362 || 10746 | 61786755 | 252/ 252 | 7243265 | 0 | 4555.34/4555.37 c | 10749 | 17.1 | 0 | 82771 | 20049 | 512 | 606924186 | 36509283 || 10749 | 62066166 | 252/ 252 | 7290794 | 0 | 4570.55/4570.57 c | 10770 | 15.2 | 0 | 81911 | 207 | 513 | 609320164 | 36625507 || 10770 | 62219680 | 252/ 252 | 7296315 | 0 | 4587.84/4587.80 c | 10858 | 17.2 | 0 | 76515 | 542 | 514 | 611762572 | 36803064 || 10858 | 62504905 | 252/ 252 | 7325516 | 0 | 4603.95/4603.90 c | 10922 | 16.1 | 0 | 79365 | 1141 | 515 | 614196368 | 36964505 || 10922 | 62774132 | 252/ 252 | 7353804 | 0 | 4620.85/4620.87 c | 11002 | 17.0 | 0 | 78457 | 4607 | 516 | 616572815 | 37140658 || 11002 | 63065215 | 252/ 252 | 7383841 | 0 | 4635.65/4635.69 c | 11032 | 14.8 | 0 | 79832 | 55 | 517 | 618866927 | 37271819 || 11032 | 63285795 | 252/ 252 | 7410294 | 0 | 4653.06/4653.04 c | 11119 | 17.4 | 0 | 77678 | 104 | 518 | 621363875 | 37450128 || 11119 | 63572432 | 252/ 252 | 7439027 | 0 | 4669.66/4669.62 c | 11185 | 16.6 | 0 | 81071 | 10 | 519 | 623854378 | 37611987 || 11185 | 63840337 | 252/ 252 | 7467777 | 0 | 4686.95/4686.91 c | 11258 | 17.3 | 0 | 83679 | 3603 | 520 | 626291799 | 37783493 || 11258 | 64130615 | 252/ 252 | 7502959 | 0 | 4705.25/4705.21 c | 11260 | 18.3 | 0 | 83874 | 27300 | 521 | 628716797 | 37910105 || 11260 | 64404105 | 252/ 252 | 7544055 | 0 | 4724.24/4724.28 c | 11261 | 19.1 | 0 | 83152 | 41497 | 522 | 631060712 | 38030762 || 11261 | 64672033 | 252/ 252 | 7597934 | 0 | 4748.64/4748.60 c | 11261 | 24.3 | 0 | 79367 | 17397 | 523 | 633510089 | 38162862 || 11261 | 64874591 | 252/ 252 | 7600023 | 0 | 4766.84/4766.80 c | 11302 | 18.2 | 0 | 81162 | 211 | 524 | 636046787 | 38276176 || 11302 | 64987337 | 252/ 252 | 7610734 | 0 | 4785.06/4785.02 c | 11387 | 18.2 | 0 | 71961 | 2858 | 525 | 638488025 | 38456268 || 11387 | 65283089 | 252/ 252 | 7642506 | 0 | 4801.95/4801.90 c | 11451 | 16.9 | 0 | 73250 | 4540 | 526 | 641055475 | 38619676 || 11451 | 65553454 | 252/ 252 | 7670789 | 0 | 4818.25/4818.21 c | 11515 | 16.3 | 0 | 73030 | 4720 | 527 | 643584990 | 38779443 || 11515 | 65817001 | 252/ 252 | 7698887 | 0 | 4835.25/4835.28 c | 11574 | 17.1 | 0 | 76925 | 126 | 528 | 646235990 | 38929556 || 11574 | 66062571 | 252/ 252 | 7727054 | 0 | 4852.55/4852.52 c | 11643 | 17.2 | 0 | 78292 | 5430 | 529 | 648686763 | 39099573 || 11643 | 66358355 | 252/ 252 | 7761760 | 0 | 4869.45/4869.47 c | 11720 | 16.9 | 0 | 84094 | 510 | 530 | 651234287 | 39268385 || 11720 | 66624646 | 252/ 252 | 7785872 | 0 | 4886.95/4887.00 c | 11771 | 17.5 | 0 | 85433 | 12938 | 531 | 653670964 | 39432333 || 11771 | 66929785 | 252/ 252 | 7824808 | 0 | 4905.95/4905.94 c | 11772 | 18.9 | 0 | 85949 | 8939 | 532 | 655995109 | 39567613 || 11772 | 67177348 | 252/ 252 | 7852846 | 0 | 4920.65/4920.65 c | 11835 | 14.7 | 0 | 83975 | 1730 | 533 | 658247180 | 39721898 || 11835 | 67393376 | 252/ 252 | 7874204 | 0 | 4936.86/4936.82 c | 11904 | 16.2 | 0 | 82758 | 108 | 534 | 660727015 | 39888687 || 11904 | 67663307 | 252/ 252 | 7903027 | 0 | 4954.65/4954.63 c | 11995 | 17.8 | 0 | 84020 | 37 | 535 | 663213187 | 40074011 || 11995 | 67963453 | 252/ 252 | 7932830 | 0 | 4971.25/4971.26 c | 12027 | 16.6 | 0 | 85253 | 6283 | 536 | 665606788 | 40223477 || 12027 | 68237244 | 252/ 252 | 7965747 | 0 | 4988.75/4988.71 c | 12114 | 17.5 | 0 | 85015 | 121 | 537 | 668128452 | 40398816 || 12114 | 68506060 | 252/ 252 | 7992195 | 0 | 5000.06/5000.01 c | 12154 | 11.3 | 0 | 118773 | 7511 | 537 | 669735971 | 40507421 || 12154 | 68699639 | 252/ 252 | 8015023 | 0 | 5000.06/5000.01 c c 5000.06/5000.01 c ----------------------------------- 5000.06/5000.01 c # temps = 4996.320000 5000.06/5000.01 c # cleaningDB = 537 5000.06/5000.01 c # clause binaire = 1377 5000.06/5000.01 c # literal removed by litRedundant = 171902947 5000.06/5000.01 c # literal removed by litRedundantBin = 17391436 5000.06/5000.01 c # init clause removed by simplify = 0 5000.06/5000.01 c # learnt clause removed by simplify = 0 5000.06/5000.01 c # une clause fausse était une apprise = 0 5000.06/5000.01 c # equivalence dectecte = 0 5000.06/5000.01 c # Memory used : 169.60 MB 5000.06/5000.01 c 5000.06/5000.01 c ######################## 5000.06/5000.01 c #### ## ### ## #### 5000.06/5000.01 c #### #### # ## #### #### 5000.06/5000.01 c #### ## ### ## ### 5000.06/5000.01 c ######################## 5000.06/5000.01 c # restart = 12154 5000.06/5000.01 c # conflit = 14694918 5000.06/5000.01 c # decision = 40507421 5000.06/5000.01 c # propagation = 669735971 (134045.851947 (prop/sec)) 5000.06/5000.01 c 5000.06/5000.01 c ######################## 5000.06/5000.01 c ### ### # ## ## ## 5000.06/5000.01 c ### # # # #### # ### ### 5000.06/5000.01 c ### # ### ## # ### ### 5000.06/5000.01 c ######################## 5000.06/5000.01 c # numtry = 12154 5000.06/5000.01 c # numflips = 68699639 5000.06/5000.01 c # maxSat = 252 5000.06/5000.01 c # freeFlip = 14615711 5000.06/5000.01 c # nbBoundary = 0 5000.06/5000.01 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-3438790-1306895589/watcher-3438790-1306895589 -o /tmp/evaluation-result-3438790-1306895589/solver-3438790-1306895589 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438790-1306895589.cnf rnovelty running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 2.05 2.01 2/490 21233 /proc/meminfo: memFree=4714324/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 533750200 8912896 253 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21233/statm: 2176 253 211 178 0 69 0 [startup+0.104733 s] /proc/loadavg: 2.12 2.05 2.01 2/490 21233 /proc/meminfo: memFree=4714324/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 533750200 8912896 253 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21233/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.200716 s] /proc/loadavg: 2.12 2.05 2.01 2/490 21233 /proc/meminfo: memFree=4714324/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 533750200 8912896 253 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21233/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300698 s] /proc/loadavg: 2.12 2.05 2.01 2/490 21233 /proc/meminfo: memFree=4714324/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 533750200 8912896 253 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21233/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700625 s] /proc/loadavg: 2.12 2.05 2.01 2/490 21233 /proc/meminfo: memFree=4714324/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 533750200 8912896 253 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21233/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50049 s] /proc/loadavg: 2.12 2.05 2.01 3/492 21235 /proc/meminfo: memFree=4687396/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 533750200 8912896 253 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21233/statm: 2176 253 211 178 0 69 0 [pid=21234] ppid=21233 vsize=25440 CPUtime=1.49 cores=1,3,5,7 /proc/21234/stat : 21234 (SatELite_releas) R 21233 21233 20188 0 -1 4202496 5854 0 0 0 147 2 0 0 25 0 1 0 533750201 26050560 5809 33554432000 134512640 135144242 4293246528 18446744073709551615 134588216 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/21234/statm: 6360 5809 77 155 0 6203 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34144 [startup+3.10022 s] /proc/loadavg: 2.12 2.05 2.01 3/492 21235 /proc/meminfo: memFree=4683180/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 533750200 8912896 253 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21233/statm: 2176 253 211 178 0 69 0 [pid=21234] ppid=21233 vsize=25440 CPUtime=3.09 cores=1,3,5,7 /proc/21234/stat : 21234 (SatELite_releas) R 21233 21233 20188 0 -1 4202496 5854 0 0 0 307 2 0 0 25 0 1 0 533750201 26050560 5809 33554432000 134512640 135144242 4293246528 18446744073709551615 134588151 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/21234/statm: 6360 5809 77 155 0 6203 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34144 [startup+6.30067 s] /proc/loadavg: 2.19 2.06 2.01 3/493 21237 /proc/meminfo: memFree=4671016/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=36812 CPUtime=2.51 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 7526 0 0 0 250 1 0 0 21 0 1 0 533750577 37695488 7437 33554432000 4194304 4241092 140735597474544 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 9203 7437 136 12 0 7667 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 54220 [startup+12.7005 s] /proc/loadavg: 2.18 2.06 2.01 3/493 21238 /proc/meminfo: memFree=4668452/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=38528 CPUtime=8.91 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 7939 0 0 0 890 1 0 0 25 0 1 0 533750577 39452672 7850 33554432000 4194304 4241092 140735597474544 18446744073709551615 4223867 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 9632 7850 136 12 0 8096 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 55936 [startup+25.5013 s] /proc/loadavg: 2.14 2.06 2.01 3/493 21238 /proc/meminfo: memFree=4665712/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=41220 CPUtime=21.7 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 8613 0 0 0 2169 1 0 0 25 0 1 0 533750577 42209280 8524 33554432000 4194304 4241092 140735597474544 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 10305 8524 136 12 0 8769 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 58628 [startup+51.1008 s] /proc/loadavg: 2.16 2.07 2.02 3/493 21239 /proc/meminfo: memFree=4661832/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=45092 CPUtime=47.3 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 9589 0 0 0 4729 1 0 0 25 0 1 0 533750577 46174208 9500 33554432000 4194304 4241092 140735597474544 18446744073709551615 4221456 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 11273 9500 136 12 0 9737 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 62500 [startup+102.301 s] /proc/loadavg: 2.06 2.05 2.01 3/493 21240 /proc/meminfo: memFree=4651728/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=50884 CPUtime=98.52 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 11107 0 0 0 9850 2 0 0 25 0 1 0 533750577 52105216 10944 33554432000 4194304 4241092 140735597474544 18446744073709551615 4205867 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 12721 10944 136 12 0 11185 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 68292 [startup+162.301 s] /proc/loadavg: 2.02 2.04 2.00 3/493 21242 /proc/meminfo: memFree=4643628/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=54608 CPUtime=158.51 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 12180 0 0 0 15849 2 0 0 25 0 1 0 533750577 55918592 11868 33554432000 4194304 4241092 140735597474544 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 13652 11868 136 12 0 12116 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 72016 [startup+222.319 s] /proc/loadavg: 2.01 2.03 2.00 3/493 21243 /proc/meminfo: memFree=4634276/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=57616 CPUtime=218.53 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 13150 0 0 0 21850 3 0 0 25 0 1 0 533750577 58998784 12625 33554432000 4194304 4241092 140735597474544 18446744073709551615 4205981 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 14404 12625 136 12 0 12868 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 75024 [startup+282.301 s] /proc/loadavg: 2.00 2.02 2.00 3/493 21245 /proc/meminfo: memFree=4623824/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ /proc/meminfo: memFree=4634444/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=173500 CPUtime=4538.59 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 61401 0 0 0 453834 25 0 0 25 0 1 0 533750577 177664000 41572 33554432000 4194304 4241092 140735597474544 18446744073709551615 4223705 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 43375 41572 136 12 0 41839 0 Current children cumulated CPU time (s) 4542.34 Current children cumulated vsize (KiB) 190908 [startup+4602.3 s] /proc/loadavg: 1.13 1.15 1.50 2/485 21404 /proc/meminfo: memFree=4634300/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=173724 CPUtime=4598.6 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 61740 0 0 0 459834 26 0 0 25 0 1 0 533750577 177893376 41631 33554432000 4194304 4241092 140735597474544 18446744073709551615 4205864 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 43431 41631 136 12 0 41895 0 Current children cumulated CPU time (s) 4602.35 Current children cumulated vsize (KiB) 191132 [startup+4662.3 s] /proc/loadavg: 1.04 1.12 1.46 2/485 21406 /proc/meminfo: memFree=4634136/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=173596 CPUtime=4658.6 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 62064 0 0 0 465834 26 0 0 25 0 1 0 533750577 177762304 41601 33554432000 4194304 4241092 140735597474544 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 43399 41601 136 12 0 41863 0 Current children cumulated CPU time (s) 4662.35 Current children cumulated vsize (KiB) 191004 [startup+4722.3 s] /proc/loadavg: 1.01 1.09 1.43 2/485 21407 /proc/meminfo: memFree=4633480/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=173788 CPUtime=4718.6 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 62366 0 0 0 471834 26 0 0 25 0 1 0 533750577 177958912 41645 33554432000 4194304 4241092 140735597474544 18446744073709551615 4205577 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 43447 41645 136 12 0 41911 0 Current children cumulated CPU time (s) 4722.35 Current children cumulated vsize (KiB) 191196 [startup+4782.3 s] /proc/loadavg: 1.00 1.07 1.40 2/485 21409 /proc/meminfo: memFree=4634556/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=173724 CPUtime=4778.6 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 62633 0 0 0 477833 27 0 0 25 0 1 0 533750577 177893376 41635 33554432000 4194304 4241092 140735597474544 18446744073709551615 4205924 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 43431 41635 136 12 0 41895 0 Current children cumulated CPU time (s) 4782.35 Current children cumulated vsize (KiB) 191132 [startup+4842.32 s] /proc/loadavg: 1.00 1.06 1.37 2/485 21410 /proc/meminfo: memFree=4634140/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=173532 CPUtime=4838.62 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 62960 0 0 0 483835 27 0 0 25 0 1 0 533750577 177696768 41581 33554432000 4194304 4241092 140735597474544 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 43383 41581 136 12 0 41847 0 Current children cumulated CPU time (s) 4842.37 Current children cumulated vsize (KiB) 190940 [startup+4902.3 s] /proc/loadavg: 1.00 1.05 1.35 2/485 21413 /proc/meminfo: memFree=4634236/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=173724 CPUtime=4898.6 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 63272 0 0 0 489833 27 0 0 25 0 1 0 533750577 177893376 41634 33554432000 4194304 4241092 140735597474544 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 43431 41634 136 12 0 41895 0 Current children cumulated CPU time (s) 4902.35 Current children cumulated vsize (KiB) 191132 [startup+4962.3 s] /proc/loadavg: 1.00 1.03 1.32 3/486 21418 /proc/meminfo: memFree=4615092/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=173596 CPUtime=4958.6 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 63610 0 0 0 495833 27 0 0 25 0 1 0 533750577 177762304 41598 33554432000 4194304 4241092 140735597474544 18446744073709551615 4225153 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 43399 41598 136 12 0 41863 0 Current children cumulated CPU time (s) 4962.35 Current children cumulated vsize (KiB) 191004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 1.00 1.03 1.31 2/485 21419 /proc/meminfo: memFree=4634120/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=173660 CPUtime=4996.31 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 63820 0 0 0 499604 27 0 0 25 0 1 0 533750577 177827840 41619 33554432000 4194304 4241092 140735597474544 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 43415 41619 136 12 0 41879 0 Current children cumulated CPU time (s) 5000.06 Current children cumulated vsize (KiB) 191068 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+5000 s] /proc/loadavg: 1.00 1.03 1.31 2/485 21419 /proc/meminfo: memFree=4634120/32951124 swapFree=46575304/67111528 [pid=21233] ppid=21231 vsize=8704 CPUtime=3.75 cores=1,3,5,7 /proc/21233/stat : 21233 (esg_static.sh) S 21231 21233 20188 0 -1 4202496 348 5857 0 0 0 0 372 3 18 0 1 0 533750200 8912896 256 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/21233/statm: 2176 256 211 178 0 69 0 [pid=21236] ppid=21233 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21236/stat : 21236 (esg_static.sh) S 21233 21233 20188 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 533750577 8912896 135 33554432000 4194304 4922060 140737221071072 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21236/statm: 2176 135 90 178 0 69 0 [pid=21237] ppid=21236 vsize=173660 CPUtime=4996.31 cores=1,3,5,7 /proc/21237/stat : 21237 (sathys) R 21236 21233 20188 0 -1 4202496 63820 0 0 0 499604 27 0 0 25 0 1 0 533750577 177827840 41619 33554432000 4194304 4241092 140735597474544 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/21237/statm: 43415 41619 136 12 0 41879 0 Current children cumulated CPU time (s) 5000.06 Current children cumulated vsize (KiB) 191068 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21233 and gives # childrusage.ru_utime.tv_sec=3 # childrusage.ru_utime.tv_usec=729433 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=37994 # CPU time returned by wait4() is 3.76743 # while last known CPU time is 5000.06 # # 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.06 CPU user time (s): 4999.76 CPU system time (s): 0.3 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 191260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.72943 system time used= 0.037994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6371 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33 involuntary context switches= 46 runsolver used 23.2385 second user time and 57.2743 second system time The end
Begin job on node107 at 2011-06-01 04:33:09 IDJOB=3438790 IDBENCH=83173 IDSOLVER=1935 FILE ID=node107/3438790-1306895589 RUNJOBID= node107-1306884539-20208 PBS_JOBID= 13488469 Free space on /tmp= 56320 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-17x27.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438790-1306895589/watcher-3438790-1306895589 -o /tmp/evaluation-result-3438790-1306895589/solver-3438790-1306895589 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438790-1306895589.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b9a7e3013b1b74b08c8e421f15cb16c4 RANDOM SEED=20420593 node107.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.829 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.65 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.67 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.829 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.82 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.829 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.74 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.829 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 : 5359.47 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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 4714472 kB Buffers: 230464 kB Cached: 18479448 kB SwapCached: 9156 kB Active: 16311728 kB Inactive: 11188140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 4714472 kB SwapTotal: 67111528 kB SwapFree: 46575304 kB Dirty: 5292 kB Writeback: 48 kB AnonPages: 8788052 kB Mapped: 32812 kB Slab: 573072 kB PageTables: 95180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145200576 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= 56320 MiB End job on node107 at 2011-06-01 05:56:31