| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.03 | 4999.91 |
| Name | CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf |
| MD5SUM | e033e9c916da557514299cce9ca2468f |
| 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 | 2100 |
| Number of clauses | 215164 |
| Sum of the clauses size | 432288 |
| Maximum clause length | 30 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 215094 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 70 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.05 c ============================================================================== 0.00/0.05 c | | ORIGINAL | LEARNT | | 0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.05 c ============================================================================== 0.00/0.05 c | 0 | 215164 432288 | 64549 0 0 nan | 0.000 % | 0.00/0.63 c | 0 | 212532 713480 | -- 0 -- -- | -- | -2632/281192 0.00/0.63 c ============================================================================== 0.00/0.63 c Result : #vars: 2030 #clauses: 212532 #literals: 713480 0.00/0.63 c CPU time: 0.632903 s 0.00/0.63 c ============================================================================== 0.00/0.74 c 0.00/0.74 c Starting glucose 0.00/0.74 c 624.39/624.46 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 624.39/624.46 c WARNING: for repeatability, setting FPU to use double precision 624.39/624.46 c ============================[ Problem Statistics ]============================= 624.39/624.46 c | | 624.39/624.46 c | Number of variables: 2030 | 624.39/624.46 c | Number of clauses: 212532 | 624.39/624.46 c | Parse time: 0.04 s | 624.39/624.46 c | | 624.39/624.46 c ============================[ Search Statistics ]============================== 624.39/624.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 624.39/624.46 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 624.39/624.46 c =============================================================================== 624.39/624.46 c | 417 | 2030 212532 713480 | 1 417 193 | 0.000 % | 624.39/624.46 c | 602 | 2030 212532 713480 | 1 602 185 | 0.000 % | 624.39/624.46 c | 3757 | 2030 212532 713480 | 1 3757 141 | 0.000 % | 624.39/624.46 c | 79908 | 2030 212532 713480 | 1 31342 74 | 0.000 % | 624.39/624.46 c | 494572 | 2030 212532 713480 | 1 70395 57 | 0.000 % | 624.39/624.46 c | 500009 | 2030 212532 713480 | 1 75832 60 | 0.000 % | 624.39/624.46 c | 915634 | 2030 212532 713480 | 1 99460 55 | 0.000 % | 624.39/624.46 c | 915736 | 2030 212532 713480 | 1 99562 55 | 0.000 % | 624.39/624.46 c | 919348 | 2030 212532 713480 | 1 103174 56 | 0.000 % | 624.39/624.46 c | 995206 | 2030 212532 713480 | 1 112632 53 | 0.000 % | 624.39/624.46 c | 1116411 | 2030 212532 713480 | 1 93226 51 | 0.000 % | 624.39/624.46 c | 1117060 | 2030 212532 713480 | 1 93875 51 | 0.000 % | 624.39/624.46 c | 1207513 | 2030 212532 713480 | 1 110137 56 | 0.000 % | 624.39/624.46 c | 1264744 | 2030 212532 713480 | 1 90564 45 | 0.000 % | 624.39/624.46 c | 1309997 | 2030 212532 713480 | 1 135817 56 | 0.000 % | 624.39/624.46 c | 1388631 | 2030 212532 713480 | 1 135053 56 | 0.000 % | 624.39/624.46 c | 1575922 | 2030 212532 713480 | 1 155746 57 | 0.000 % | 624.39/624.46 c | 1593676 | 2030 212532 713480 | 1 173500 60 | 0.000 % | 624.39/624.46 c | 1621640 | 2030 212532 713480 | 1 114255 49 | 0.000 % | 624.39/624.46 c | 1630700 | 2030 212532 713480 | 1 123315 51 | 0.000 % | 624.39/624.46 c | 1759789 | 2030 212532 713480 | 1 162610 57 | 0.000 % | 624.39/624.46 c | 2062509 | 2030 212532 713480 | 1 180341 54 | 0.000 % | 624.39/624.46 c | 2067397 | 2030 212532 713480 | 1 185229 54 | 0.000 % | 624.39/624.46 c | 2074452 | 2030 212532 713480 | 1 192284 55 | 0.000 % | 624.39/624.46 c | 2187282 | 2030 212532 713480 | 1 204903 59 | 0.000 % | 624.39/624.46 c | 2222491 | 2030 212532 713480 | 1 137311 50 | 0.000 % | 624.39/624.46 c | 2259323 | 2030 212532 713480 | 1 174143 57 | 0.000 % | 624.39/624.46 c | 2269880 | 2030 212532 713480 | 1 184700 59 | 0.000 % | 624.39/624.46 c | 2369076 | 2030 212532 713480 | 1 178490 54 | 0.000 % | 624.39/624.46 c | 2394738 | 2030 212532 713480 | 1 204152 57 | 0.000 % | 624.39/624.46 c | 2401284 | 2030 212532 713480 | 1 210698 58 | 0.000 % | 624.39/624.46 c | 2414396 | 2030 212532 713480 | 1 115812 44 | 0.000 % | 624.39/624.46 c | 2419750 | 2030 212532 713480 | 1 121166 46 | 0.000 % | 624.39/624.46 c | 2462644 | 2030 212532 713480 | 1 164060 56 | 0.000 % | 624.39/624.46 c | 2463369 | 2030 212532 713480 | 1 164785 56 | 0.000 % | 624.39/624.46 c | 2754344 | 2030 212532 713480 | 1 116193 40 | 0.000 % | 624.39/624.46 c | 2755166 | 2030 212532 713480 | 1 117015 41 | 0.000 % | 624.39/624.46 c | 2763650 | 2030 212532 713480 | 1 125499 44 | 0.000 % | 624.39/624.46 c | 2797354 | 2030 212532 713480 | 1 159203 52 | 0.000 % | 1168.81/1168.88 c | 2809096 | 2030 212532 713480 | 1 170945 54 | 0.000 % | 1168.81/1168.88 c | 2847420 | 2030 212532 713480 | 1 209269 58 | 0.000 % | 1168.81/1168.88 c | 2942127 | 2030 212532 713480 | 1 185576 60 | 0.000 % | 1168.81/1168.88 c | 2949321 | 2030 212532 713480 | 1 192770 61 | 0.000 % | 1168.81/1168.88 c | 2973192 | 2030 212532 713480 | 1 216641 64 | 0.000 % | 1168.81/1168.88 c | 2973405 | 2030 212532 713480 | 1 216854 64 | 0.000 % | 1168.81/1168.88 c | 2985231 | 2030 212532 713480 | 1 228680 64 | 0.000 % | 1168.81/1168.88 c | 3013890 | 2030 212532 713480 | 1 136331 47 | 0.000 % | 1168.81/1168.88 c | 3039577 | 2030 212532 713480 | 1 162018 54 | 0.000 % | 1168.81/1168.88 c | 3141069 | 2030 212532 713480 | 1 139926 50 | 0.000 % | 1168.81/1168.88 c | 3148446 | 2030 212532 713480 | 1 147303 52 | 0.000 % | 1168.81/1168.88 c | 3157863 | 2030 212532 713480 | 1 156720 53 | 0.000 % | 1168.81/1168.88 c | 3162187 | 2030 212532 713480 | 1 161044 54 | 0.000 % | 1168.81/1168.88 c | 3175966 | 2030 212532 713480 | 1 174823 57 | 0.000 % | 1168.81/1168.88 c | 3196066 | 2030 212532 713480 | 1 194923 61 | 0.000 % | 1168.81/1168.88 c | 3231886 | 2030 212532 713480 | 1 230743 62 | 0.000 % | 1168.81/1168.88 c | 3338913 | 2030 212532 713480 | 1 211552 49 | 0.000 % | 1168.81/1168.88 c | 3467520 | 2030 212532 713480 | 1 211358 58 | 0.000 % | 1168.81/1168.88 c | 3667491 | 2030 212532 713480 | 1 145924 39 | 0.000 % | 1168.81/1168.88 c | 3690745 | 2030 212532 713480 | 1 169178 45 | 0.000 % | 1168.81/1168.88 c | 3692736 | 2030 212532 713480 | 1 171169 45 | 0.000 % | 1168.81/1168.88 c | 3723557 | 2030 212532 713480 | 1 201990 50 | 0.000 % | 1168.81/1168.88 c | 3723742 | 2030 212532 713480 | 1 202175 50 | 0.000 % | 1168.81/1168.88 c | 3779279 | 2030 212532 713480 | 1 257712 59 | 0.000 % | 1168.81/1168.88 c | 3826657 | 2030 212532 713480 | 1 168486 44 | 0.000 % | 1168.81/1168.88 c | 3859096 | 2030 212532 713480 | 1 200925 50 | 0.000 % | 1168.81/1168.88 c | 3981051 | 2030 212532 713480 | 1 183685 47 | 0.000 % | 1168.81/1168.88 c | 3982404 | 2030 212532 713480 | 1 185038 47 | 0.000 % | 1168.81/1168.88 c | 3986857 | 2030 212532 713480 | 1 189491 48 | 0.000 % | 1168.81/1168.88 c | 3986957 | 2030 212532 713480 | 1 189591 48 | 0.000 % | 1168.81/1168.88 c | 4086072 | 2030 212532 713480 | 1 146912 38 | 0.000 % | 1168.81/1168.88 c | 4194287 | 2030 212532 713480 | 1 255127 50 | 0.000 % | 1168.81/1168.88 c | 4198330 | 2030 212532 713480 | 1 259170 51 | 0.000 % | 1168.81/1168.88 c | 4202723 | 2030 212532 713480 | 1 263563 51 | 0.000 % | 1168.81/1168.88 c | 4203085 | 2030 212532 713480 | 1 263925 51 | 0.000 % | 1168.81/1168.88 c | 4203187 | 2030 212532 713480 | 1 264027 51 | 0.000 % | 1168.81/1168.88 c | 4284649 | 2030 212532 713480 | 1 201079 48 | 0.000 % | 1168.81/1168.88 c | 4304620 | 2030 212532 713480 | 1 221050 51 | 0.000 % | 1168.81/1168.88 c | 4403708 | 2030 212532 713480 | 1 173143 44 | 0.000 % | 1168.81/1168.88 c | 4475928 | 2030 212532 713480 | 1 245363 51 | 0.000 % | 1168.81/1168.88 c | 4476618 | 2030 212532 713480 | 1 246053 51 | 0.000 % | 1168.81/1168.88 c | 4533955 | 2030 212532 713480 | 1 153790 41 | 0.000 % | 1168.81/1168.88 c | 4544328 | 2030 212532 713480 | 1 164163 43 | 0.000 % | 1168.81/1168.88 c | 4693266 | 2030 212532 713480 | 1 160900 41 | 0.000 % | 1168.81/1168.88 c | 4721140 | 2030 212532 713480 | 1 188774 47 | 0.000 % | 1168.81/1168.88 c | 4781734 | 2030 212532 713480 | 1 249368 53 | 0.000 % | 1168.81/1168.88 c | 4782667 | 2030 212532 713480 | 1 250301 53 | 0.000 % | 1168.81/1168.88 c | 4802383 | 2030 212532 713480 | 1 270017 55 | 0.000 % | 1168.81/1168.88 c | 4813337 | 2030 212532 713480 | 1 280971 56 | 0.000 % | 1168.81/1168.88 c | 4813437 | 2030 212532 713480 | 1 281071 56 | 0.000 % | 1563.92/1563.92 c | 4827801 | 2030 212532 713480 | 1 295435 57 | 0.000 % | 1563.92/1563.92 c | 4828827 | 2030 212532 713480 | 1 296461 57 | 0.000 % | 1563.92/1563.92 c | 4829544 | 2030 212532 713480 | 1 297178 57 | 0.000 % | 1563.92/1563.92 c | 4835003 | 2030 212532 713480 | 1 302637 57 | 0.000 % | 1563.92/1563.92 c | 4835408 | 2030 212532 713480 | 1 303042 57 | 0.000 % | 1563.92/1563.92 c | 4876085 | 2030 212532 713480 | 1 188913 45 | 0.000 % | 1563.92/1563.92 c | 4879322 | 2030 212532 713480 | 1 192150 46 | 0.000 % | 1563.92/1563.92 c | 4883725 | 2030 212532 713480 | 1 196553 47 | 0.000 % | 1563.92/1563.92 c | 4884899 | 2030 212532 713480 | 1 197727 48 | 0.000 % | 1563.92/1563.92 c | 4891147 | 2030 212532 713480 | 1 203975 49 | 0.000 % | 1563.92/1563.92 c | 4946064 | 2030 212532 713480 | 1 258892 54 | 0.000 % | 1563.92/1563.92 c | 4968621 | 2030 212532 713480 | 1 281449 56 | 0.000 % | 1563.92/1563.92 c | 4977534 | 2030 212532 713480 | 1 290362 57 | 0.000 % | 1563.92/1563.92 c | 5025410 | 2030 212532 713480 | 1 180845 44 | 0.000 % | 1563.92/1563.92 c | 5026111 | 2030 212532 713480 | 1 181546 44 | 0.000 % | 1563.92/1563.92 c | 5034569 | 2030 212532 713480 | 1 190004 46 | 0.000 % | 1563.92/1563.92 c | 5034670 | 2030 212532 713480 | 1 190105 46 | 0.000 % | 1563.92/1563.92 c | 5036130 | 2030 212532 713480 | 1 191565 47 | 0.000 % | 1563.92/1563.92 c | 5039112 | 2030 212532 713480 | 1 194547 48 | 0.000 % | 1563.92/1563.92 c | 5077114 | 2030 212532 713480 | 1 232549 56 | 0.000 % | 1563.92/1563.92 c | 5112120 | 2030 212532 713480 | 1 267555 60 | 0.000 % | 1563.92/1563.92 c | 5275640 | 2030 212532 713480 | 1 271082 55 | 0.000 % | 1563.92/1563.92 c | 5298344 | 2030 212532 713480 | 1 293786 57 | 0.000 % | 1563.92/1563.92 c | 5312997 | 2030 212532 713480 | 1 308439 58 | 0.000 % | 1563.92/1563.92 c | 5331260 | 2030 212532 713480 | 1 164098 39 | 0.000 % | 1563.92/1563.92 c | 5332383 | 2030 212532 713480 | 1 165221 39 | 0.000 % | 1563.92/1563.92 c | 5365472 | 2030 212532 713480 | 1 198310 51 | 0.000 % | 1563.92/1563.92 c | 5386057 | 2030 212532 713480 | 1 218895 54 | 0.000 % | 1563.92/1563.92 c | 5388019 | 2030 212532 713480 | 1 220857 55 | 0.000 % | 1563.92/1563.92 c | 5389309 | 2030 212532 713480 | 1 222147 55 | 0.000 % | 1563.92/1563.92 c | 5418613 | 2030 212532 713480 | 1 251451 57 | 0.000 % | 1563.92/1563.92 c | 5464407 | 2030 212532 713480 | 1 297245 59 | 0.000 % | 1563.92/1563.92 c | 5465100 | 2030 212532 713480 | 1 297938 59 | 0.000 % | 1563.92/1563.92 c | 5470855 | 2030 212532 713480 | 1 303693 60 | 0.000 % | 1563.92/1563.92 c | 5471641 | 2030 212532 713480 | 1 304479 60 | 0.000 % | 1563.92/1563.92 c | 5478298 | 2030 212532 713480 | 1 311136 60 | 0.000 % | 1563.92/1563.92 c | 5627663 | 2030 212532 713480 | 1 295300 51 | 0.000 % | 1563.92/1563.92 c | 5636695 | 2030 212532 713480 | 1 304332 52 | 0.000 % | 1563.92/1563.92 c | 5934587 | 2030 212532 713480 | 1 264024 51 | 0.000 % | 1563.92/1563.92 c | 5944339 | 2030 212532 713480 | 1 273776 52 | 0.000 % | 1563.92/1563.92 c | 5969801 | 2030 212532 713480 | 1 299238 55 | 0.000 % | 1563.92/1563.92 c | 6030311 | 2030 212532 713480 | 1 186747 41 | 0.000 % | 1563.92/1563.92 c | 6033401 | 2030 212532 713480 | 1 189837 42 | 0.000 % | 1563.92/1563.92 c | 6039097 | 2030 212532 713480 | 1 195533 43 | 0.000 % | 1563.92/1563.92 c | 6044412 | 2030 212532 713480 | 1 200848 44 | 0.000 % | 1563.92/1563.92 c | 6045013 | 2030 212532 713480 | 1 201449 44 | 0.000 % | 1563.92/1563.92 c | 6070195 | 2030 212532 713480 | 1 226631 47 | 0.000 % | 1563.92/1563.92 c | 6090097 | 2030 212532 713480 | 1 246533 50 | 0.000 % | 1563.92/1563.92 c | 6179402 | 2030 212532 713480 | 1 335838 54 | 0.000 % | 1563.92/1563.92 c | 6180170 | 2030 212532 713480 | 1 336606 54 | 0.000 % | 1751.23/1751.23 c | 6184950 | 2030 212532 713480 | 1 341386 55 | 0.000 % | 1751.23/1751.23 c | 6215755 | 2030 212532 713480 | 1 196584 41 | 0.000 % | 1751.23/1751.23 c | 6216949 | 2030 212532 713480 | 1 197778 41 | 0.000 % | 1751.23/1751.23 c | 6220284 | 2030 212532 713480 | 1 201113 42 | 0.000 % | 1751.23/1751.23 c | 6245858 | 2030 212532 713480 | 1 226687 46 | 0.000 % | 1751.23/1751.23 c | 6294762 | 2030 212532 713480 | 1 275591 53 | 0.000 % | 1751.23/1751.23 c | 6298939 | 2030 212532 713480 | 1 279768 53 | 0.000 % | 1751.23/1751.23 c | 6302273 | 2030 212532 713480 | 1 283102 54 | 0.000 % | 1751.23/1751.23 c | 6306256 | 2030 212532 713480 | 1 287085 54 | 0.000 % | 1751.23/1751.23 c | 6306839 | 2030 212532 713480 | 1 287668 54 | 0.000 % | 1751.23/1751.23 c | 6306944 | 2030 212532 713480 | 1 287773 54 | 0.000 % | 1751.23/1751.23 c | 6307555 | 2030 212532 713480 | 1 288384 54 | 0.000 % | 1751.23/1751.23 c | 6313908 | 2030 212532 713480 | 1 294737 55 | 0.000 % | 1751.23/1751.23 c | 6321207 | 2030 212532 713480 | 1 302036 56 | 0.000 % | 1751.23/1751.23 c | 6323289 | 2030 212532 713480 | 1 304118 56 | 0.000 % | 1751.23/1751.23 c | 6324339 | 2030 212532 713480 | 1 305168 56 | 0.000 % | 1751.23/1751.23 c | 6333873 | 2030 212532 713480 | 1 314702 57 | 0.000 % | 1751.23/1751.23 c | 6374070 | 2030 212532 713480 | 1 354899 61 | 0.000 % | 1751.23/1751.23 c | 6394753 | 2030 212532 713480 | 1 197375 44 | 0.000 % | 1751.23/1751.23 c | 6405462 | 2030 212532 713480 | 1 208084 45 | 0.000 % | 1751.23/1751.23 c | 6406109 | 2030 212532 713480 | 1 208731 45 | 0.000 % | 1751.23/1751.23 c | 6431309 | 2030 212532 713480 | 1 233931 49 | 0.000 % | 1751.23/1751.23 c | 6433089 | 2030 212532 713480 | 1 235711 49 | 0.000 % | 1751.23/1751.23 c | 6437019 | 2030 212532 713480 | 1 239641 50 | 0.000 % | 1751.23/1751.23 c | 6479028 | 2030 212532 713480 | 1 281650 55 | 0.000 % | 1751.23/1751.23 c | 6486436 | 2030 212532 713480 | 1 289058 55 | 0.000 % | 1751.23/1751.23 c | 6573853 | 2030 212532 713480 | 1 195683 44 | 0.000 % | 1751.23/1751.23 c | 6609070 | 2030 212532 713480 | 1 230900 49 | 0.000 % | 1751.23/1751.23 c | 6612647 | 2030 212532 713480 | 1 234477 50 | 0.000 % | 1751.23/1751.23 c | 6619454 | 2030 212532 713480 | 1 241284 51 | 0.000 % | 1751.23/1751.23 c | 6626678 | 2030 212532 713480 | 1 248508 52 | 0.000 % | 1751.23/1751.23 c | 6628448 | 2030 212532 713480 | 1 250278 52 | 0.000 % | 1751.23/1751.23 c | 6637052 | 2030 212532 713480 | 1 258882 53 | 0.000 % | 1751.23/1751.23 c | 6638531 | 2030 212532 713480 | 1 260361 53 | 0.000 % | 1751.23/1751.23 c | 6642387 | 2030 212532 713480 | 1 264217 54 | 0.000 % | 1751.23/1751.23 c | 6643696 | 2030 212532 713480 | 1 265526 54 | 0.000 % | 1751.23/1751.23 c | 6688249 | 2030 212532 713480 | 1 310079 57 | 0.000 % | 1751.23/1751.23 c | 6715438 | 2030 212532 713480 | 1 337268 59 | 0.000 % | 1751.23/1751.23 c | 6756418 | 2030 212532 713480 | 1 194855 41 | 0.000 % | 1751.23/1751.23 c | 6767902 | 2030 212532 713480 | 1 206339 44 | 0.000 % | 1751.23/1751.23 c | 6768344 | 2030 212532 713480 | 1 206781 44 | 0.000 % | 1751.23/1751.23 c | 6771354 | 2030 212532 713480 | 1 209791 45 | 0.000 % | 1751.23/1751.23 c | 6771461 | 2030 212532 713480 | 1 209898 45 | 0.000 % | 1751.23/1751.23 c | 6793440 | 2030 212532 713480 | 1 231877 49 | 0.000 % | 1751.23/1751.23 c | 6821296 | 2030 212532 713480 | 1 259733 51 | 0.000 % | 1751.23/1751.23 c | 6825720 | 2030 212532 713480 | 1 264157 52 | 0.000 % | 1751.23/1751.23 c | 6829929 | 2030 212532 713480 | 1 268366 52 | 0.000 % | 1751.23/1751.23 c | 6919086 | 2030 212532 713480 | 1 357523 59 | 0.000 % | 1751.23/1751.23 c | 6960561 | 2030 212532 713480 | 1 212993 44 | 0.000 % | 1751.23/1751.23 c | 6960661 | 2030 212532 713480 | 1 213093 44 | 0.000 % | 1953.13/1953.17 c | 6962077 | 2030 212532 713480 | 1 214509 44 | 0.000 % | 1953.13/1953.17 c | 6973587 | 2030 212532 713480 | 1 226019 46 | 0.000 % | 1953.13/1953.17 c | 6978183 | 2030 212532 713480 | 1 230615 47 | 0.000 % | 1953.13/1953.17 c | 6978558 | 2030 212532 713480 | 1 230990 47 | 0.000 % | 1953.13/1953.17 c | 6979367 | 2030 212532 713480 | 1 231799 47 | 0.000 % | 1953.13/1953.17 c | 6980244 | 2030 212532 713480 | 1 232676 47 | 0.000 % | 1953.13/1953.17 c | 6987993 | 2030 212532 713480 | 1 240425 49 | 0.000 % | 1953.13/1953.17 c | 6995566 | 2030 212532 713480 | 1 247998 50 | 0.000 % | 1953.13/1953.17 c | 7027464 | 2030 212532 713480 | 1 279896 53 | 0.000 % | 1953.13/1953.17 c | 7066819 | 2030 212532 713480 | 1 319251 55 | 0.000 % | 1953.13/1953.17 c | 7124535 | 2030 212532 713480 | 1 376967 61 | 0.000 % | 1953.13/1953.17 c | 7137403 | 2030 212532 713480 | 1 201225 41 | 0.000 % | 1953.13/1953.17 c | 7151409 | 2030 212532 713480 | 1 215231 44 | 0.000 % | 1953.13/1953.17 c | 7155454 | 2030 212532 713480 | 1 219276 45 | 0.000 % | 1953.13/1953.17 c | 7175871 | 2030 212532 713480 | 1 239693 48 | 0.000 % | 1953.13/1953.17 c | 7177297 | 2030 212532 713480 | 1 241119 49 | 0.000 % | 1953.13/1953.17 c | 7226992 | 2030 212532 713480 | 1 290814 55 | 0.000 % | 1953.13/1953.17 c | 7237335 | 2030 212532 713480 | 1 301157 56 | 0.000 % | 1953.13/1953.17 c | 7237620 | 2030 212532 713480 | 1 301442 56 | 0.000 % | 1953.13/1953.17 c | 7273204 | 2030 212532 713480 | 1 337026 58 | 0.000 % | 1953.13/1953.17 c | 7332257 | 2030 212532 713480 | 1 204878 40 | 0.000 % | 1953.13/1953.17 c | 7338930 | 2030 212532 713480 | 1 211551 42 | 0.000 % | 1953.13/1953.17 c | 7340909 | 2030 212532 713480 | 1 213530 42 | 0.000 % | 1953.13/1953.17 c | 7348353 | 2030 212532 713480 | 1 220974 43 | 0.000 % | 1953.13/1953.17 c | 7353756 | 2030 212532 713480 | 1 226377 44 | 0.000 % | 1953.13/1953.17 c | 7354058 | 2030 212532 713480 | 1 226679 44 | 0.000 % | 1953.13/1953.17 c | 7368683 | 2030 212532 713480 | 1 241304 46 | 0.000 % | 1953.13/1953.17 c | 7369496 | 2030 212532 713480 | 1 242117 47 | 0.000 % | 1953.13/1953.17 c | 7398428 | 2030 212532 713480 | 1 271049 49 | 0.000 % | 1953.13/1953.17 c | 7410214 | 2030 212532 713480 | 1 282835 50 | 0.000 % | 1953.13/1953.17 c | 7410314 | 2030 212532 713480 | 1 282935 50 | 0.000 % | 1953.13/1953.17 c | 7413861 | 2030 212532 713480 | 1 286482 50 | 0.000 % | 1953.13/1953.17 c | 7459699 | 2030 212532 713480 | 1 332320 52 | 0.000 % | 1953.13/1953.17 c | 7502098 | 2030 212532 713480 | 1 374719 53 | 0.000 % | 1953.13/1953.17 c | 7514383 | 2030 212532 713480 | 1 387004 53 | 0.000 % | 1953.13/1953.17 c | 7533118 | 2030 212532 713480 | 1 211929 38 | 0.000 % | 1953.13/1953.17 c | 7549066 | 2030 212532 713480 | 1 227877 40 | 0.000 % | 1953.13/1953.17 c | 7550694 | 2030 212532 713480 | 1 229505 41 | 0.000 % | 1953.13/1953.17 c | 7553779 | 2030 212532 713480 | 1 232590 41 | 0.000 % | 1953.13/1953.17 c | 7614458 | 2030 212532 713480 | 1 293269 50 | 0.000 % | 1953.13/1953.17 c | 7656113 | 2030 212532 713480 | 1 334924 54 | 0.000 % | 1953.13/1953.17 c | 7656340 | 2030 212532 713480 | 1 335151 54 | 0.000 % | 1953.13/1953.17 c | 7710907 | 2030 212532 713480 | 1 389718 61 | 0.000 % | 1953.13/1953.17 c | 7712580 | 2030 212532 713480 | 1 391391 61 | 0.000 % | 1953.13/1953.17 c | 7712681 | 2030 212532 713480 | 1 391492 61 | 0.000 % | 1953.13/1953.17 c | 7713516 | 2030 212532 713480 | 1 392327 61 | 0.000 % | 1953.13/1953.17 c | 7713669 | 2030 212532 713480 | 1 392480 61 | 0.000 % | 1953.13/1953.17 c | 7713967 | 2030 212532 713480 | 1 392778 61 | 0.000 % | 1953.13/1953.17 c | 7714446 | 2030 212532 713480 | 1 196856 40 | 0.000 % | 1953.13/1953.17 c | 7723792 | 2030 212532 713480 | 1 206202 41 | 0.000 % | 2169.15/2169.13 c | 7725905 | 2030 212532 713480 | 1 208315 42 | 0.000 % | 2169.15/2169.13 c | 7738451 | 2030 212532 713480 | 1 220861 44 | 0.000 % | 2169.15/2169.13 c | 7765948 | 2030 212532 713480 | 1 248358 48 | 0.000 % | 2169.15/2169.13 c | 7787387 | 2030 212532 713480 | 1 269797 50 | 0.000 % | 2169.15/2169.13 c | 7791848 | 2030 212532 713480 | 1 274258 50 | 0.000 % | 2169.15/2169.13 c | 7792561 | 2030 212532 713480 | 1 274971 50 | 0.000 % | 2169.15/2169.13 c | 7795355 | 2030 212532 713480 | 1 277765 51 | 0.000 % | 2169.15/2169.13 c | 7795705 | 2030 212532 713480 | 1 278115 51 | 0.000 % | 2169.15/2169.13 c | 7814462 | 2030 212532 713480 | 1 296872 53 | 0.000 % | 2169.15/2169.13 c | 7814562 | 2030 212532 713480 | 1 296972 53 | 0.000 % | 2169.15/2169.13 c | 7823937 | 2030 212532 713480 | 1 306347 54 | 0.000 % | 2169.15/2169.13 c | 7840053 | 2030 212532 713480 | 1 322463 56 | 0.000 % | 2169.15/2169.13 c | 7840559 | 2030 212532 713480 | 1 322969 56 | 0.000 % | 2169.15/2169.13 c | 7927263 | 2030 212532 713480 | 1 210677 40 | 0.000 % | 2169.15/2169.13 c | 7927388 | 2030 212532 713480 | 1 210802 40 | 0.000 % | 2169.15/2169.13 c | 7990757 | 2030 212532 713480 | 1 274171 47 | 0.000 % | 2169.15/2169.13 c | 7992621 | 2030 212532 713480 | 1 276035 48 | 0.000 % | 2169.15/2169.13 c | 7994065 | 2030 212532 713480 | 1 277479 48 | 0.000 % | 2169.15/2169.13 c | 8084325 | 2030 212532 713480 | 1 367739 57 | 0.000 % | 2169.15/2169.13 c | 8089500 | 2030 212532 713480 | 1 372914 58 | 0.000 % | 2169.15/2169.13 c | 8090228 | 2030 212532 713480 | 1 373642 58 | 0.000 % | 2169.15/2169.13 c | 8096619 | 2030 212532 713480 | 1 380033 58 | 0.000 % | 2169.15/2169.13 c | 8102588 | 2030 212532 713480 | 1 386002 59 | 0.000 % | 2169.15/2169.13 c | 8103166 | 2030 212532 713480 | 1 386580 59 | 0.000 % | 2169.15/2169.13 c | 8143464 | 2030 212532 713480 | 1 225280 42 | 0.000 % | 2169.15/2169.13 c | 8166767 | 2030 212532 713480 | 1 248583 45 | 0.000 % | 2169.15/2169.13 c | 8167598 | 2030 212532 713480 | 1 249414 45 | 0.000 % | 2169.15/2169.13 c | 8170002 | 2030 212532 713480 | 1 251818 46 | 0.000 % | 2169.15/2169.13 c | 8175235 | 2030 212532 713480 | 1 257051 46 | 0.000 % | 2169.15/2169.13 c | 8181218 | 2030 212532 713480 | 1 263034 47 | 0.000 % | 2169.15/2169.13 c | 8207441 | 2030 212532 713480 | 1 289257 51 | 0.000 % | 2169.15/2169.13 c | 8211387 | 2030 212532 713480 | 1 293203 51 | 0.000 % | 2169.15/2169.13 c | 8227076 | 2030 212532 713480 | 1 308892 53 | 0.000 % | 2169.15/2169.13 c | 8230488 | 2030 212532 713480 | 1 312304 54 | 0.000 % | 2169.15/2169.13 c | 8236402 | 2030 212532 713480 | 1 318218 55 | 0.000 % | 2169.15/2169.13 c | 8250275 | 2030 212532 713480 | 1 332091 56 | 0.000 % | 2169.15/2169.13 c | 8272472 | 2030 212532 713480 | 1 354288 58 | 0.000 % | 2169.15/2169.13 c | 8272573 | 2030 212532 713480 | 1 354389 58 | 0.000 % | 2169.15/2169.13 c | 8281824 | 2030 212532 713480 | 1 363640 59 | 0.000 % | 2169.15/2169.13 c | 8297612 | 2030 212532 713480 | 1 379428 60 | 0.000 % | 2169.15/2169.13 c | 8301787 | 2030 212532 713480 | 1 383603 60 | 0.000 % | 2169.15/2169.13 c | 8329485 | 2030 212532 713480 | 1 207106 38 | 0.000 % | 2169.15/2169.13 c | 8350091 | 2030 212532 713480 | 1 227712 43 | 0.000 % | 2169.15/2169.13 c | 8350668 | 2030 212532 713480 | 1 228289 43 | 0.000 % | 2169.15/2169.13 c | 8361497 | 2030 212532 713480 | 1 239118 45 | 0.000 % | 2169.15/2169.13 c | 8422247 | 2030 212532 713480 | 1 299868 53 | 0.000 % | 2169.15/2169.13 c | 8430741 | 2030 212532 713480 | 1 308362 54 | 0.000 % | 2169.15/2169.13 c | 8432366 | 2030 212532 713480 | 1 309987 54 | 0.000 % | 2169.15/2169.13 c | 8444900 | 2030 212532 713480 | 1 322521 55 | 0.000 % | 2169.15/2169.13 c | 8470575 | 2030 212532 713480 | 1 348196 57 | 0.000 % | 2476.85/2476.82 c | 8473984 | 2030 212532 713480 | 1 351605 57 | 0.000 % | 2476.85/2476.82 c | 8474117 | 2030 212532 713480 | 1 351738 57 | 0.000 % | 2476.85/2476.82 c | 8477488 | 2030 212532 713480 | 1 355109 58 | 0.000 % | 2476.85/2476.82 c | 8488079 | 2030 212532 713480 | 1 365700 59 | 0.000 % | 2476.85/2476.82 c | 8488372 | 2030 212532 713480 | 1 365993 59 | 0.000 % | 2476.85/2476.82 c | 8609096 | 2030 212532 713480 | 1 279915 48 | 0.000 % | 2476.85/2476.82 c | 8637315 | 2030 212532 713480 | 1 308134 52 | 0.000 % | 2476.85/2476.82 c | 8685488 | 2030 212532 713480 | 1 356307 54 | 0.000 % | 2476.85/2476.82 c | 8702505 | 2030 212532 713480 | 1 373324 55 | 0.000 % | 2476.85/2476.82 c | 8800840 | 2030 212532 713480 | 1 262261 44 | 0.000 % | 2476.85/2476.82 c | 8801556 | 2030 212532 713480 | 1 262977 45 | 0.000 % | 2476.85/2476.82 c | 8839472 | 2030 212532 713480 | 1 300893 49 | 0.000 % | 2476.85/2476.82 c | 8846701 | 2030 212532 713480 | 1 308122 50 | 0.000 % | 2476.85/2476.82 c | 8846803 | 2030 212532 713480 | 1 308224 50 | 0.000 % | 2476.85/2476.82 c | 8874291 | 2030 212532 713480 | 1 335712 53 | 0.000 % | 2476.85/2476.82 c | 8877374 | 2030 212532 713480 | 1 338795 53 | 0.000 % | 2476.85/2476.82 c | 8943552 | 2030 212532 713480 | 1 404973 59 | 0.000 % | 2476.85/2476.82 c | 8993474 | 2030 212532 713480 | 1 242896 43 | 0.000 % | 2476.85/2476.82 c | 9001695 | 2030 212532 713480 | 1 251117 45 | 0.000 % | 2476.85/2476.82 c | 9003481 | 2030 212532 713480 | 1 252903 45 | 0.000 % | 2476.85/2476.82 c | 9024181 | 2030 212532 713480 | 1 273603 47 | 0.000 % | 2476.85/2476.82 c | 9047823 | 2030 212532 713480 | 1 297245 50 | 0.000 % | 2476.85/2476.82 c | 9048083 | 2030 212532 713480 | 1 297505 50 | 0.000 % | 2476.85/2476.82 c | 9053089 | 2030 212532 713480 | 1 302511 51 | 0.000 % | 2476.85/2476.82 c | 9060199 | 2030 212532 713480 | 1 309621 52 | 0.000 % | 2476.85/2476.82 c | 9060979 | 2030 212532 713480 | 1 310401 52 | 0.000 % | 2476.85/2476.82 c | 9076829 | 2030 212532 713480 | 1 326251 54 | 0.000 % | 2476.85/2476.82 c | 9088612 | 2030 212532 713480 | 1 338034 55 | 0.000 % | 2476.85/2476.82 c | 9089153 | 2030 212532 713480 | 1 338575 55 | 0.000 % | 2476.85/2476.82 c | 9091990 | 2030 212532 713480 | 1 341412 55 | 0.000 % | 2476.85/2476.82 c | 9165003 | 2030 212532 713480 | 1 414425 60 | 0.000 % | 2476.85/2476.82 c | 9220013 | 2030 212532 713480 | 1 254843 44 | 0.000 % | 2476.85/2476.82 c | 9220206 | 2030 212532 713480 | 1 255036 44 | 0.000 % | 2476.85/2476.82 c | 9225307 | 2030 212532 713480 | 1 260137 45 | 0.000 % | 2476.85/2476.82 c | 9272333 | 2030 212532 713480 | 1 307163 51 | 0.000 % | 2476.85/2476.82 c | 9278854 | 2030 212532 713480 | 1 313684 52 | 0.000 % | 2476.85/2476.82 c | 9280245 | 2030 212532 713480 | 1 315075 52 | 0.000 % | 2476.85/2476.82 c | 9294675 | 2030 212532 713480 | 1 329505 53 | 0.000 % | 2476.85/2476.82 c | 9350629 | 2030 212532 713480 | 1 385459 57 | 0.000 % | 2476.85/2476.82 c | 9390156 | 2030 212532 713480 | 1 424986 59 | 0.000 % | 2476.85/2476.82 c | 9448046 | 2030 212532 713480 | 1 265675 43 | 0.000 % | 2476.85/2476.82 c | 9473760 | 2030 212532 713480 | 1 291389 46 | 0.000 % | 2476.85/2476.82 c | 9473861 | 2030 212532 713480 | 1 291490 46 | 0.000 % | 2476.85/2476.82 c | 9490528 | 2030 212532 713480 | 1 308157 48 | 0.000 % | 2476.85/2476.82 c | 9513345 | 2030 212532 713480 | 1 330974 51 | 0.000 % | 2476.85/2476.82 c | 9518569 | 2030 212532 713480 | 1 336198 51 | 0.000 % | 2476.85/2476.82 c | 9526513 | 2030 212532 713480 | 1 344142 52 | 0.000 % | 2476.85/2476.82 c | 9530271 | 2030 212532 713480 | 1 347900 52 | 0.000 % | 2476.85/2476.82 c | 9539948 | 2030 212532 713480 | 1 357577 53 | 0.000 % | 2695.96/2695.91 c | 9542311 | 2030 212532 713480 | 1 359940 53 | 0.000 % | 2695.96/2695.91 c | 9542411 | 2030 212532 713480 | 1 360040 53 | 0.000 % | 2695.96/2695.91 c | 9546518 | 2030 212532 713480 | 1 364147 54 | 0.000 % | 2695.96/2695.91 c | 9607068 | 2030 212532 713480 | 1 424697 58 | 0.000 % | 2695.96/2695.91 c | 9614691 | 2030 212532 713480 | 1 432320 58 | 0.000 % | 2695.96/2695.91 c | 9615098 | 2030 212532 713480 | 1 432727 58 | 0.000 % | 2695.96/2695.91 c | 9620469 | 2030 212532 713480 | 1 438098 59 | 0.000 % | 2695.96/2695.91 c | 9637677 | 2030 212532 713480 | 1 235500 40 | 0.000 % | 2695.96/2695.91 c | 9652342 | 2030 212532 713480 | 1 250165 43 | 0.000 % | 2695.96/2695.91 c | 9652679 | 2030 212532 713480 | 1 250502 43 | 0.000 % | 2695.96/2695.91 c | 9653391 | 2030 212532 713480 | 1 251214 43 | 0.000 % | 2695.96/2695.91 c | 9655954 | 2030 212532 713480 | 1 253777 44 | 0.000 % | 2695.96/2695.91 c | 9656056 | 2030 212532 713480 | 1 253879 44 | 0.000 % | 2695.96/2695.91 c | 9658200 | 2030 212532 713480 | 1 256023 44 | 0.000 % | 2695.96/2695.91 c | 9671186 | 2030 212532 713480 | 1 269009 46 | 0.000 % | 2695.96/2695.91 c | 9671513 | 2030 212532 713480 | 1 269336 46 | 0.000 % | 2695.96/2695.91 c | 9672500 | 2030 212532 713480 | 1 270323 46 | 0.000 % | 2695.96/2695.91 c | 9685754 | 2030 212532 713480 | 1 283577 48 | 0.000 % | 2695.96/2695.91 c | 9708910 | 2030 212532 713480 | 1 306733 50 | 0.000 % | 2695.96/2695.91 c | 9711008 | 2030 212532 713480 | 1 308831 51 | 0.000 % | 2695.96/2695.91 c | 9725110 | 2030 212532 713480 | 1 322933 51 | 0.000 % | 2695.96/2695.91 c | 9740150 | 2030 212532 713480 | 1 337973 53 | 0.000 % | 2695.96/2695.91 c | 9750847 | 2030 212532 713480 | 1 348670 54 | 0.000 % | 2695.96/2695.91 c | 9751036 | 2030 212532 713480 | 1 348859 54 | 0.000 % | 2695.96/2695.91 c | 9781768 | 2030 212532 713480 | 1 379591 57 | 0.000 % | 2695.96/2695.91 c | 9834528 | 2030 212532 713480 | 1 432351 60 | 0.000 % | 2695.96/2695.91 c | 9856945 | 2030 212532 713480 | 1 232364 39 | 0.000 % | 2695.96/2695.91 c | 9865083 | 2030 212532 713480 | 1 240502 40 | 0.000 % | 2695.96/2695.91 c | 9885350 | 2030 212532 713480 | 1 260769 43 | 0.000 % | 2695.96/2695.91 c | 9920481 | 2030 212532 713480 | 1 295900 47 | 0.000 % | 2695.96/2695.91 c | 9953389 | 2030 212532 713480 | 1 328808 51 | 0.000 % | 2695.96/2695.91 c | 9954103 | 2030 212532 713480 | 1 329522 51 | 0.000 % | 2695.96/2695.91 c | 9990237 | 2030 212532 713480 | 1 365656 54 | 0.000 % | 2695.96/2695.91 c | 10008001 | 2030 212532 713480 | 1 383420 55 | 0.000 % | 2695.96/2695.91 c | 10011840 | 2030 212532 713480 | 1 387259 55 | 0.000 % | 2695.96/2695.91 c | 10066531 | 2030 212532 713480 | 1 441950 58 | 0.000 % | 2695.96/2695.91 c | 10081909 | 2030 212532 713480 | 1 232339 38 | 0.000 % | 2695.96/2695.91 c | 10102383 | 2030 212532 713480 | 1 252813 42 | 0.000 % | 2695.96/2695.91 c | 10113299 | 2030 212532 713480 | 1 263729 43 | 0.000 % | 2695.96/2695.91 c | 10113906 | 2030 212532 713480 | 1 264336 44 | 0.000 % | 2695.96/2695.91 c | 10144040 | 2030 212532 713480 | 1 294470 48 | 0.000 % | 2695.96/2695.91 c | 10151927 | 2030 212532 713480 | 1 302357 49 | 0.000 % | 2695.96/2695.91 c | 10154267 | 2030 212532 713480 | 1 304697 49 | 0.000 % | 2695.96/2695.91 c | 10193794 | 2030 212532 713480 | 1 344224 53 | 0.000 % | 2695.96/2695.91 c | 10194082 | 2030 212532 713480 | 1 344512 53 | 0.000 % | 2695.96/2695.91 c | 10280449 | 2030 212532 713480 | 1 430879 57 | 0.000 % | 2695.96/2695.91 c | 10283099 | 2030 212532 713480 | 1 433529 57 | 0.000 % | 2695.96/2695.91 c | 10330858 | 2030 212532 713480 | 1 253680 41 | 0.000 % | 2695.96/2695.91 c | 10342223 | 2030 212532 713480 | 1 265045 43 | 0.000 % | 2695.96/2695.91 c | 10346872 | 2030 212532 713480 | 1 269694 43 | 0.000 % | 2894.47/2894.45 c | 10359687 | 2030 212532 713480 | 1 282509 45 | 0.000 % | 2894.47/2894.45 c | 10392616 | 2030 212532 713480 | 1 315438 49 | 0.000 % | 2894.47/2894.45 c | 10408275 | 2030 212532 713480 | 1 331097 51 | 0.000 % | 2894.47/2894.45 c | 10408396 | 2030 212532 713480 | 1 331218 51 | 0.000 % | 2894.47/2894.45 c | 10416130 | 2030 212532 713480 | 1 338952 51 | 0.000 % | 2894.47/2894.45 c | 10418021 | 2030 212532 713480 | 1 340843 51 | 0.000 % | 2894.47/2894.45 c | 10443107 | 2030 212532 713480 | 1 365929 53 | 0.000 % | 2894.47/2894.45 c | 10444288 | 2030 212532 713480 | 1 367110 53 | 0.000 % | 2894.47/2894.45 c | 10468457 | 2030 212532 713480 | 1 391279 55 | 0.000 % | 2894.47/2894.45 c | 10478022 | 2030 212532 713480 | 1 400844 56 | 0.000 % | 2894.47/2894.45 c | 10478203 | 2030 212532 713480 | 1 401025 56 | 0.000 % | 2894.47/2894.45 c | 10523343 | 2030 212532 713480 | 1 446165 59 | 0.000 % | 2894.47/2894.45 c | 10525052 | 2030 212532 713480 | 1 447874 59 | 0.000 % | 2894.47/2894.45 c | 10525799 | 2030 212532 713480 | 1 448621 59 | 0.000 % | 2894.47/2894.45 c | 10526001 | 2030 212532 713480 | 1 448823 59 | 0.000 % | 2894.47/2894.45 c | 10529049 | 2030 212532 713480 | 1 451871 59 | 0.000 % | 2894.47/2894.45 c | 10534620 | 2030 212532 713480 | 1 457442 60 | 0.000 % | 2894.47/2894.45 c | 10534720 | 2030 212532 713480 | 1 457542 60 | 0.000 % | 2894.47/2894.45 c | 10547145 | 2030 212532 713480 | 1 239767 39 | 0.000 % | 2894.47/2894.45 c | 10605343 | 2030 212532 713480 | 1 297965 46 | 0.000 % | 2894.47/2894.45 c | 10656725 | 2030 212532 713480 | 1 349347 51 | 0.000 % | 2894.47/2894.45 c | 10657962 | 2030 212532 713480 | 1 350584 51 | 0.000 % | 2894.47/2894.45 c | 10665095 | 2030 212532 713480 | 1 357717 51 | 0.000 % | 2894.47/2894.45 c | 10679194 | 2030 212532 713480 | 1 371816 53 | 0.000 % | 2894.47/2894.45 c | 10686829 | 2030 212532 713480 | 1 379451 53 | 0.000 % | 2894.47/2894.45 c | 10711619 | 2030 212532 713480 | 1 404241 55 | 0.000 % | 2894.47/2894.45 c | 10718406 | 2030 212532 713480 | 1 411028 55 | 0.000 % | 2894.47/2894.45 c | 10736849 | 2030 212532 713480 | 1 429471 56 | 0.000 % | 2894.47/2894.45 c | 10745081 | 2030 212532 713480 | 1 437703 57 | 0.000 % | 2894.47/2894.45 c | 10745929 | 2030 212532 713480 | 1 438551 57 | 0.000 % | 2894.47/2894.45 c | 10750849 | 2030 212532 713480 | 1 443471 57 | 0.000 % | 2894.47/2894.45 c | 10777519 | 2030 212532 713480 | 1 237342 37 | 0.000 % | 2894.47/2894.45 c | 10820083 | 2030 212532 713480 | 1 279906 43 | 0.000 % | 2894.47/2894.45 c | 10840681 | 2030 212532 713480 | 1 300504 45 | 0.000 % | 2894.47/2894.45 c | 10867531 | 2030 212532 713480 | 1 327354 48 | 0.000 % | 2894.47/2894.45 c | 10877789 | 2030 212532 713480 | 1 337612 49 | 0.000 % | 2894.47/2894.45 c | 10911625 | 2030 212532 713480 | 1 371448 51 | 0.000 % | 2894.47/2894.45 c | 10967571 | 2030 212532 713480 | 1 427394 57 | 0.000 % | 2894.47/2894.45 c | 10975486 | 2030 212532 713480 | 1 435309 57 | 0.000 % | 2894.47/2894.45 c | 10976910 | 2030 212532 713480 | 1 436733 57 | 0.000 % | 2894.47/2894.45 c | 10979133 | 2030 212532 713480 | 1 438956 58 | 0.000 % | 2894.47/2894.45 c | 10981866 | 2030 212532 713480 | 1 441689 58 | 0.000 % | 2894.47/2894.45 c | 10983111 | 2030 212532 713480 | 1 442934 58 | 0.000 % | 2894.47/2894.45 c | 10983212 | 2030 212532 713480 | 1 443035 58 | 0.000 % | 2894.47/2894.45 c | 10984498 | 2030 212532 713480 | 1 444321 58 | 0.000 % | 2894.47/2894.45 c | 10984621 | 2030 212532 713480 | 1 444444 58 | 0.000 % | 2894.47/2894.45 c | 11022624 | 2030 212532 713480 | 1 247042 40 | 0.000 % | 2894.47/2894.45 c | 11028372 | 2030 212532 713480 | 1 252790 41 | 0.000 % | 2894.47/2894.45 c | 11049809 | 2030 212532 713480 | 1 274227 44 | 0.000 % | 2894.47/2894.45 c | 11050923 | 2030 212532 713480 | 1 275341 44 | 0.000 % | 3140.17/3140.13 c | 11058330 | 2030 212532 713480 | 1 282748 45 | 0.000 % | 3140.17/3140.13 c | 11058908 | 2030 212532 713480 | 1 283326 46 | 0.000 % | 3140.17/3140.13 c | 11059158 | 2030 212532 713480 | 1 283576 46 | 0.000 % | 3140.17/3140.13 c | 11062327 | 2030 212532 713480 | 1 286745 46 | 0.000 % | 3140.17/3140.13 c | 11096874 | 2030 212532 713480 | 1 321292 50 | 0.000 % | 3140.17/3140.13 c | 11133004 | 2030 212532 713480 | 1 357422 53 | 0.000 % | 3140.17/3140.13 c | 11216275 | 2030 212532 713480 | 1 440693 58 | 0.000 % | 3140.17/3140.13 c | 11229661 | 2030 212532 713480 | 1 454079 60 | 0.000 % | 3140.17/3140.13 c | 11229871 | 2030 212532 713480 | 1 454289 60 | 0.000 % | 3140.17/3140.13 c | 11233613 | 2030 212532 713480 | 1 458031 60 | 0.000 % | 3140.17/3140.13 c | 11247325 | 2030 212532 713480 | 1 471743 61 | 0.000 % | 3140.17/3140.13 c | 11247461 | 2030 212532 713480 | 1 471879 61 | 0.000 % | 3140.17/3140.13 c | 11261565 | 2030 212532 713480 | 1 247988 39 | 0.000 % | 3140.17/3140.13 c | 11278603 | 2030 212532 713480 | 1 265026 42 | 0.000 % | 3140.17/3140.13 c | 11311567 | 2030 212532 713480 | 1 297990 46 | 0.000 % | 3140.17/3140.13 c | 11311979 | 2030 212532 713480 | 1 298402 46 | 0.000 % | 3140.17/3140.13 c | 11397581 | 2030 212532 713480 | 1 384004 54 | 0.000 % | 3140.17/3140.13 c | 11407410 | 2030 212532 713480 | 1 393833 54 | 0.000 % | 3140.17/3140.13 c | 11408387 | 2030 212532 713480 | 1 394810 55 | 0.000 % | 3140.17/3140.13 c | 11408487 | 2030 212532 713480 | 1 394910 55 | 0.000 % | 3140.17/3140.13 c | 11456241 | 2030 212532 713480 | 1 442664 58 | 0.000 % | 3140.17/3140.13 c | 11471443 | 2030 212532 713480 | 1 457866 58 | 0.000 % | 3140.17/3140.13 c | 11510141 | 2030 212532 713480 | 1 255959 39 | 0.000 % | 3140.17/3140.13 c | 11511485 | 2030 212532 713480 | 1 257303 39 | 0.000 % | 3140.17/3140.13 c | 11516292 | 2030 212532 713480 | 1 262110 40 | 0.000 % | 3140.17/3140.13 c | 11538770 | 2030 212532 713480 | 1 284588 43 | 0.000 % | 3140.17/3140.13 c | 11556956 | 2030 212532 713480 | 1 302774 45 | 0.000 % | 3140.17/3140.13 c | 11557974 | 2030 212532 713480 | 1 303792 45 | 0.000 % | 3140.17/3140.13 c | 11561131 | 2030 212532 713480 | 1 306949 46 | 0.000 % | 3140.17/3140.13 c | 11614880 | 2030 212532 713480 | 1 360698 49 | 0.000 % | 3140.17/3140.13 c | 11624588 | 2030 212532 713480 | 1 370406 50 | 0.000 % | 3140.17/3140.13 c | 11654319 | 2030 212532 713480 | 1 400137 52 | 0.000 % | 3140.17/3140.13 c | 11655876 | 2030 212532 713480 | 1 401694 52 | 0.000 % | 3140.17/3140.13 c | 11656057 | 2030 212532 713480 | 1 401875 52 | 0.000 % | 3140.17/3140.13 c | 11721151 | 2030 212532 713480 | 1 466969 57 | 0.000 % | 3140.17/3140.13 c | 11729243 | 2030 212532 713480 | 1 475061 57 | 0.000 % | 3140.17/3140.13 c | 11729646 | 2030 212532 713480 | 1 475464 58 | 0.000 % | 3140.17/3140.13 c | 11729746 | 2030 212532 713480 | 1 475564 58 | 0.000 % | 3140.17/3140.13 c | 11732242 | 2030 212532 713480 | 1 478060 58 | 0.000 % | 3140.17/3140.13 c | 11745629 | 2030 212532 713480 | 1 248243 37 | 0.000 % | 3140.17/3140.13 c | 11762392 | 2030 212532 713480 | 1 265006 40 | 0.000 % | 3140.17/3140.13 c | 11862073 | 2030 212532 713480 | 1 364687 51 | 0.000 % | 3140.17/3140.13 c | 11862376 | 2030 212532 713480 | 1 364990 51 | 0.000 % | 3140.17/3140.13 c | 11863617 | 2030 212532 713480 | 1 366231 51 | 0.000 % | 3140.17/3140.13 c | 11874476 | 2030 212532 713480 | 1 377090 52 | 0.000 % | 3140.17/3140.13 c | 11874679 | 2030 212532 713480 | 1 377293 52 | 0.000 % | 3140.17/3140.13 c | 11877135 | 2030 212532 713480 | 1 379749 52 | 0.000 % | 3140.17/3140.13 c | 11879239 | 2030 212532 713480 | 1 381853 52 | 0.000 % | 3140.17/3140.13 c | 11894841 | 2030 212532 713480 | 1 397455 54 | 0.000 % | 3140.17/3140.13 c | 11896066 | 2030 212532 713480 | 1 398680 54 | 0.000 % | 3429.88/3429.85 c | 11905845 | 2030 212532 713480 | 1 408459 55 | 0.000 % | 3429.88/3429.85 c | 11910379 | 2030 212532 713480 | 1 412993 55 | 0.000 % | 3429.88/3429.85 c | 12019278 | 2030 212532 713480 | 1 276094 40 | 0.000 % | 3429.88/3429.85 c | 12047942 | 2030 212532 713480 | 1 304758 44 | 0.000 % | 3429.88/3429.85 c | 12076109 | 2030 212532 713480 | 1 332925 47 | 0.000 % | 3429.88/3429.85 c | 12079625 | 2030 212532 713480 | 1 336441 47 | 0.000 % | 3429.88/3429.85 c | 12111847 | 2030 212532 713480 | 1 368663 49 | 0.000 % | 3429.88/3429.85 c | 12124852 | 2030 212532 713480 | 1 381668 50 | 0.000 % | 3429.88/3429.85 c | 12135578 | 2030 212532 713480 | 1 392394 51 | 0.000 % | 3429.88/3429.85 c | 12158738 | 2030 212532 713480 | 1 415554 53 | 0.000 % | 3429.88/3429.85 c | 12164042 | 2030 212532 713480 | 1 420858 53 | 0.000 % | 3429.88/3429.85 c | 12173670 | 2030 212532 713480 | 1 430486 54 | 0.000 % | 3429.88/3429.85 c | 12180248 | 2030 212532 713480 | 1 437064 55 | 0.000 % | 3429.88/3429.85 c | 12202374 | 2030 212532 713480 | 1 459190 56 | 0.000 % | 3429.88/3429.85 c | 12203318 | 2030 212532 713480 | 1 460134 56 | 0.000 % | 3429.88/3429.85 c | 12221382 | 2030 212532 713480 | 1 478198 57 | 0.000 % | 3429.88/3429.85 c | 12223552 | 2030 212532 713480 | 1 480368 57 | 0.000 % | 3429.88/3429.85 c | 12238412 | 2030 212532 713480 | 1 495228 58 | 0.000 % | 3429.88/3429.85 c | 12252092 | 2030 212532 713480 | 1 260514 38 | 0.000 % | 3429.88/3429.85 c | 12283941 | 2030 212532 713480 | 1 292363 43 | 0.000 % | 3429.88/3429.85 c | 12291179 | 2030 212532 713480 | 1 299601 44 | 0.000 % | 3429.88/3429.85 c | 12292023 | 2030 212532 713480 | 1 300445 44 | 0.000 % | 3429.88/3429.85 c | 12334755 | 2030 212532 713480 | 1 343177 49 | 0.000 % | 3429.88/3429.85 c | 12343534 | 2030 212532 713480 | 1 351956 49 | 0.000 % | 3429.88/3429.85 c | 12346096 | 2030 212532 713480 | 1 354518 50 | 0.000 % | 3429.88/3429.85 c | 12401749 | 2030 212532 713480 | 1 410171 57 | 0.000 % | 3429.88/3429.85 c | 12401850 | 2030 212532 713480 | 1 410272 57 | 0.000 % | 3429.88/3429.85 c | 12403867 | 2030 212532 713480 | 1 412289 58 | 0.000 % | 3429.88/3429.85 c | 12414863 | 2030 212532 713480 | 1 423285 58 | 0.000 % | 3429.88/3429.85 c | 12444231 | 2030 212532 713480 | 1 452653 59 | 0.000 % | 3429.88/3429.85 c | 12515263 | 2030 212532 713480 | 1 272687 41 | 0.000 % | 3429.88/3429.85 c | 12550010 | 2030 212532 713480 | 1 307434 45 | 0.000 % | 3429.88/3429.85 c | 12552858 | 2030 212532 713480 | 1 310282 46 | 0.000 % | 3429.88/3429.85 c | 12578868 | 2030 212532 713480 | 1 336292 48 | 0.000 % | 3429.88/3429.85 c | 12610222 | 2030 212532 713480 | 1 367646 51 | 0.000 % | 3429.88/3429.85 c | 12616823 | 2030 212532 713480 | 1 374247 51 | 0.000 % | 3429.88/3429.85 c | 12624101 | 2030 212532 713480 | 1 381525 52 | 0.000 % | 3429.88/3429.85 c | 12650689 | 2030 212532 713480 | 1 408113 53 | 0.000 % | 3429.88/3429.85 c | 12653767 | 2030 212532 713480 | 1 411191 53 | 0.000 % | 3429.88/3429.85 c | 12653893 | 2030 212532 713480 | 1 411317 53 | 0.000 % | 3429.88/3429.85 c | 12663602 | 2030 212532 713480 | 1 421026 54 | 0.000 % | 3429.88/3429.85 c | 12671711 | 2030 212532 713480 | 1 429135 54 | 0.000 % | 3429.88/3429.85 c | 12671814 | 2030 212532 713480 | 1 429238 54 | 0.000 % | 3429.88/3429.85 c | 12673740 | 2030 212532 713480 | 1 431164 54 | 0.000 % | 3429.88/3429.85 c | 12695301 | 2030 212532 713480 | 1 452725 56 | 0.000 % | 3429.88/3429.85 c | 12700498 | 2030 212532 713480 | 1 457922 56 | 0.000 % | 3429.88/3429.85 c | 12762708 | 2030 212532 713480 | 1 266529 38 | 0.000 % | 3429.88/3429.85 c | 12787431 | 2030 212532 713480 | 1 291252 43 | 0.000 % | 3429.88/3429.85 c | 12813037 | 2030 212532 713480 | 1 316858 46 | 0.000 % | 3429.88/3429.85 c | 12827939 | 2030 212532 713480 | 1 331760 47 | 0.000 % | 3619.09/3619.05 c | 12883552 | 2030 212532 713480 | 1 387373 53 | 0.000 % | 3619.09/3619.05 c | 12889066 | 2030 212532 713480 | 1 392887 54 | 0.000 % | 3619.09/3619.05 c | 12907315 | 2030 212532 713480 | 1 411136 55 | 0.000 % | 3619.09/3619.05 c | 12915097 | 2030 212532 713480 | 1 418918 55 | 0.000 % | 3619.09/3619.05 c | 12925009 | 2030 212532 713480 | 1 428830 56 | 0.000 % | 3619.09/3619.05 c | 12936472 | 2030 212532 713480 | 1 440293 57 | 0.000 % | 3619.09/3619.05 c | 12952279 | 2030 212532 713480 | 1 456100 58 | 0.000 % | 3619.09/3619.05 c | 12961190 | 2030 212532 713480 | 1 465011 59 | 0.000 % | 3619.09/3619.05 c | 12976550 | 2030 212532 713480 | 1 480371 60 | 0.000 % | 3619.09/3619.05 c | 12986692 | 2030 212532 713480 | 1 490513 61 | 0.000 % | 3619.09/3619.05 c | 12995269 | 2030 212532 713480 | 1 499090 61 | 0.000 % | 3619.09/3619.05 c | 12996338 | 2030 212532 713480 | 1 500159 61 | 0.000 % | 3619.09/3619.05 c | 13005710 | 2030 212532 713480 | 1 509531 62 | 0.000 % | 3619.09/3619.05 c | 13011129 | 2030 212532 713480 | 1 258750 39 | 0.000 % | 3619.09/3619.05 c | 13022211 | 2030 212532 713480 | 1 269832 41 | 0.000 % | 3619.09/3619.05 c | 13027311 | 2030 212532 713480 | 1 274932 42 | 0.000 % | 3619.09/3619.05 c | 13031056 | 2030 212532 713480 | 1 278677 42 | 0.000 % | 3619.09/3619.05 c | 13053991 | 2030 212532 713480 | 1 301612 45 | 0.000 % | 3619.09/3619.05 c | 13063330 | 2030 212532 713480 | 1 310951 46 | 0.000 % | 3619.09/3619.05 c | 13074559 | 2030 212532 713480 | 1 322180 48 | 0.000 % | 3619.09/3619.05 c | 13111615 | 2030 212532 713480 | 1 359236 50 | 0.000 % | 3619.09/3619.05 c | 13128751 | 2030 212532 713480 | 1 376372 51 | 0.000 % | 3619.09/3619.05 c | 13193303 | 2030 212532 713480 | 1 440924 55 | 0.000 % | 3619.09/3619.05 c | 13212881 | 2030 212532 713480 | 1 460502 56 | 0.000 % | 3619.09/3619.05 c | 13213705 | 2030 212532 713480 | 1 461326 56 | 0.000 % | 3619.09/3619.05 c | 13222471 | 2030 212532 713480 | 1 470092 56 | 0.000 % | 3619.09/3619.05 c | 13231007 | 2030 212532 713480 | 1 478628 57 | 0.000 % | 3619.09/3619.05 c | 13247601 | 2030 212532 713480 | 1 495222 57 | 0.000 % | 3619.09/3619.05 c | 13251570 | 2030 212532 713480 | 1 499191 58 | 0.000 % | 3619.09/3619.05 c | 13264351 | 2030 212532 713480 | 1 511972 58 | 0.000 % | 3619.09/3619.05 c | 13266434 | 2030 212532 713480 | 1 514055 59 | 0.000 % | 3619.09/3619.05 c | 13266540 | 2030 212532 713480 | 1 514161 59 | 0.000 % | 3619.09/3619.05 c | 13269949 | 2030 212532 713480 | 1 517570 59 | 0.000 % | 3619.09/3619.05 c | 13276878 | 2030 212532 713480 | 1 265697 37 | 0.000 % | 3619.09/3619.05 c | 13297675 | 2030 212532 713480 | 1 286494 40 | 0.000 % | 3619.09/3619.05 c | 13305794 | 2030 212532 713480 | 1 294613 41 | 0.000 % | 3619.09/3619.05 c | 13313601 | 2030 212532 713480 | 1 302420 43 | 0.000 % | 3619.09/3619.05 c | 13317778 | 2030 212532 713480 | 1 306597 43 | 0.000 % | 3619.09/3619.05 c | 13319265 | 2030 212532 713480 | 1 308084 44 | 0.000 % | 3619.09/3619.05 c | 13336674 | 2030 212532 713480 | 1 325493 46 | 0.000 % | 3619.09/3619.05 c | 13336971 | 2030 212532 713480 | 1 325790 46 | 0.000 % | 3619.09/3619.05 c | 13337116 | 2030 212532 713480 | 1 325935 46 | 0.000 % | 3619.09/3619.05 c | 13340952 | 2030 212532 713480 | 1 329771 46 | 0.000 % | 3619.09/3619.05 c | 13369472 | 2030 212532 713480 | 1 358291 49 | 0.000 % | 3619.09/3619.05 c | 13391456 | 2030 212532 713480 | 1 380275 51 | 0.000 % | 3619.09/3619.05 c | 13393674 | 2030 212532 713480 | 1 382493 51 | 0.000 % | 3619.09/3619.05 c | 13395344 | 2030 212532 713480 | 1 384163 51 | 0.000 % | 3619.09/3619.05 c | 13401179 | 2030 212532 713480 | 1 389998 52 | 0.000 % | 3619.09/3619.05 c | 13451262 | 2030 212532 713480 | 1 440081 55 | 0.000 % | 3619.09/3619.05 c | 13497071 | 2030 212532 713480 | 1 485890 58 | 0.000 % | 3798.99/3798.98 c | 13539269 | 2030 212532 713480 | 1 266687 38 | 0.000 % | 3798.99/3798.98 c | 13597530 | 2030 212532 713480 | 1 324948 44 | 0.000 % | 3798.99/3798.98 c | 13598221 | 2030 212532 713480 | 1 325639 44 | 0.000 % | 3798.99/3798.98 c | 13600079 | 2030 212532 713480 | 1 327497 44 | 0.000 % | 3798.99/3798.98 c | 13604769 | 2030 212532 713480 | 1 332187 45 | 0.000 % | 3798.99/3798.98 c | 13645031 | 2030 212532 713480 | 1 372449 49 | 0.000 % | 3798.99/3798.98 c | 13647290 | 2030 212532 713480 | 1 374708 50 | 0.000 % | 3798.99/3798.98 c | 13658225 | 2030 212532 713480 | 1 385643 51 | 0.000 % | 3798.99/3798.98 c | 13658706 | 2030 212532 713480 | 1 386124 51 | 0.000 % | 3798.99/3798.98 c | 13697177 | 2030 212532 713480 | 1 424595 54 | 0.000 % | 3798.99/3798.98 c | 13698311 | 2030 212532 713480 | 1 425729 54 | 0.000 % | 3798.99/3798.98 c | 13698413 | 2030 212532 713480 | 1 425831 54 | 0.000 % | 3798.99/3798.98 c | 13702605 | 2030 212532 713480 | 1 430023 54 | 0.000 % | 3798.99/3798.98 c | 13707428 | 2030 212532 713480 | 1 434846 54 | 0.000 % | 3798.99/3798.98 c | 13734939 | 2030 212532 713480 | 1 462357 56 | 0.000 % | 3798.99/3798.98 c | 13754294 | 2030 212532 713480 | 1 481712 57 | 0.000 % | 3798.99/3798.98 c | 13756307 | 2030 212532 713480 | 1 483725 57 | 0.000 % | 3798.99/3798.98 c | 13759861 | 2030 212532 713480 | 1 487279 57 | 0.000 % | 3798.99/3798.98 c | 13773276 | 2030 212532 713480 | 1 500694 58 | 0.000 % | 3798.99/3798.98 c | 13775512 | 2030 212532 713480 | 1 502930 58 | 0.000 % | 3798.99/3798.98 c | 13776387 | 2030 212532 713480 | 1 503805 58 | 0.000 % | 3798.99/3798.98 c | 13776489 | 2030 212532 713480 | 1 503907 58 | 0.000 % | 3798.99/3798.98 c | 13776706 | 2030 212532 713480 | 1 504124 58 | 0.000 % | 3798.99/3798.98 c | 13776842 | 2030 212532 713480 | 1 504260 58 | 0.000 % | 3798.99/3798.98 c | 13777070 | 2030 212532 713480 | 1 504488 58 | 0.000 % | 3798.99/3798.98 c | 13778079 | 2030 212532 713480 | 1 505497 58 | 0.000 % | 3798.99/3798.98 c | 13778179 | 2030 212532 713480 | 1 505597 58 | 0.000 % | 3798.99/3798.98 c | 13784475 | 2030 212532 713480 | 1 511893 59 | 0.000 % | 3798.99/3798.98 c | 13790251 | 2030 212532 713480 | 1 517669 59 | 0.000 % | 3798.99/3798.98 c | 13823143 | 2030 212532 713480 | 1 286564 40 | 0.000 % | 3798.99/3798.98 c | 13823775 | 2030 212532 713480 | 1 287196 40 | 0.000 % | 3798.99/3798.98 c | 13841376 | 2030 212532 713480 | 1 304797 43 | 0.000 % | 3798.99/3798.98 c | 13875718 | 2030 212532 713480 | 1 339139 46 | 0.000 % | 3798.99/3798.98 c | 13898479 | 2030 212532 713480 | 1 361900 47 | 0.000 % | 3798.99/3798.98 c | 13898581 | 2030 212532 713480 | 1 362002 47 | 0.000 % | 3798.99/3798.98 c | 13925688 | 2030 212532 713480 | 1 389109 49 | 0.000 % | 3798.99/3798.98 c | 13937676 | 2030 212532 713480 | 1 401097 50 | 0.000 % | 3798.99/3798.98 c | 13939067 | 2030 212532 713480 | 1 402488 50 | 0.000 % | 3798.99/3798.98 c | 13939169 | 2030 212532 713480 | 1 402590 50 | 0.000 % | 3798.99/3798.98 c | 13939605 | 2030 212532 713480 | 1 403026 50 | 0.000 % | 3798.99/3798.98 c | 13941445 | 2030 212532 713480 | 1 404866 50 | 0.000 % | 3798.99/3798.98 c | 13956243 | 2030 212532 713480 | 1 419664 51 | 0.000 % | 3798.99/3798.98 c | 13967372 | 2030 212532 713480 | 1 430793 52 | 0.000 % | 3798.99/3798.98 c | 14028861 | 2030 212532 713480 | 1 492282 54 | 0.000 % | 3798.99/3798.98 c | 14030310 | 2030 212532 713480 | 1 493731 54 | 0.000 % | 3798.99/3798.98 c | 14041491 | 2030 212532 713480 | 1 504912 55 | 0.000 % | 3798.99/3798.98 c | 14077580 | 2030 212532 713480 | 1 274414 37 | 0.000 % | 3798.99/3798.98 c | 14079687 | 2030 212532 713480 | 1 276521 37 | 0.000 % | 3798.99/3798.98 c | 14129631 | 2030 212532 713480 | 1 326465 41 | 0.000 % | 3798.99/3798.98 c | 14131981 | 2030 212532 713480 | 1 328815 42 | 0.000 % | 4113.60/4113.52 c | 14203598 | 2030 212532 713480 | 1 400432 46 | 0.000 % | 4113.60/4113.52 c | 14207072 | 2030 212532 713480 | 1 403906 47 | 0.000 % | 4113.60/4113.52 c | 14220655 | 2030 212532 713480 | 1 417489 48 | 0.000 % | 4113.60/4113.52 c | 14223130 | 2030 212532 713480 | 1 419964 48 | 0.000 % | 4113.60/4113.52 c | 14230312 | 2030 212532 713480 | 1 427146 48 | 0.000 % | 4113.60/4113.52 c | 14247925 | 2030 212532 713480 | 1 444759 49 | 0.000 % | 4113.60/4113.52 c | 14278093 | 2030 212532 713480 | 1 474927 51 | 0.000 % | 4113.60/4113.52 c | 14282091 | 2030 212532 713480 | 1 478925 51 | 0.000 % | 4113.60/4113.52 c | 14292605 | 2030 212532 713480 | 1 489439 52 | 0.000 % | 4113.60/4113.52 c | 14298913 | 2030 212532 713480 | 1 495747 52 | 0.000 % | 4113.60/4113.52 c | 14370704 | 2030 212532 713480 | 1 298335 38 | 0.000 % | 4113.60/4113.52 c | 14375559 | 2030 212532 713480 | 1 303190 39 | 0.000 % | 4113.60/4113.52 c | 14377845 | 2030 212532 713480 | 1 305476 39 | 0.000 % | 4113.60/4113.52 c | 14379063 | 2030 212532 713480 | 1 306694 39 | 0.000 % | 4113.60/4113.52 c | 14437485 | 2030 212532 713480 | 1 365116 47 | 0.000 % | 4113.60/4113.52 c | 14463267 | 2030 212532 713480 | 1 390898 50 | 0.000 % | 4113.60/4113.52 c | 14463767 | 2030 212532 713480 | 1 391398 50 | 0.000 % | 4113.60/4113.52 c | 14465453 | 2030 212532 713480 | 1 393084 50 | 0.000 % | 4113.60/4113.52 c | 14465612 | 2030 212532 713480 | 1 393243 50 | 0.000 % | 4113.60/4113.52 c | 14465838 | 2030 212532 713480 | 1 393469 50 | 0.000 % | 4113.60/4113.52 c | 14476794 | 2030 212532 713480 | 1 404425 51 | 0.000 % | 4113.60/4113.52 c | 14479873 | 2030 212532 713480 | 1 407504 52 | 0.000 % | 4113.60/4113.52 c | 14481691 | 2030 212532 713480 | 1 409322 52 | 0.000 % | 4113.60/4113.52 c | 14484327 | 2030 212532 713480 | 1 411958 52 | 0.000 % | 4113.60/4113.52 c | 14484548 | 2030 212532 713480 | 1 412179 52 | 0.000 % | 4113.60/4113.52 c | 14504638 | 2030 212532 713480 | 1 432269 54 | 0.000 % | 4113.60/4113.52 c | 14514970 | 2030 212532 713480 | 1 442601 55 | 0.000 % | 4113.60/4113.52 c | 14565654 | 2030 212532 713480 | 1 493285 58 | 0.000 % | 4113.60/4113.52 c | 14565806 | 2030 212532 713480 | 1 493437 58 | 0.000 % | 4113.60/4113.52 c | 14565956 | 2030 212532 713480 | 1 493587 58 | 0.000 % | 4113.60/4113.52 c | 14567042 | 2030 212532 713480 | 1 494673 58 | 0.000 % | 4113.60/4113.52 c | 14605183 | 2030 212532 713480 | 1 532814 59 | 0.000 % | 4113.60/4113.52 c | 14605286 | 2030 212532 713480 | 1 532917 59 | 0.000 % | 4113.60/4113.52 c | 14639925 | 2030 212532 713480 | 1 295750 42 | 0.000 % | 4113.60/4113.52 c | 14640609 | 2030 212532 713480 | 1 296434 42 | 0.000 % | 4113.60/4113.52 c | 14676218 | 2030 212532 713480 | 1 332043 46 | 0.000 % | 4113.60/4113.52 c | 14768178 | 2030 212532 713480 | 1 424003 55 | 0.000 % | 4113.60/4113.52 c | 14847734 | 2030 212532 713480 | 1 503559 59 | 0.000 % | 4113.60/4113.52 c | 14850892 | 2030 212532 713480 | 1 506717 59 | 0.000 % | 4113.60/4113.52 c | 14864507 | 2030 212532 713480 | 1 520332 59 | 0.000 % | 4113.60/4113.52 c | 14877226 | 2030 212532 713480 | 1 533051 60 | 0.000 % | 4113.60/4113.52 c | 14946183 | 2030 212532 713480 | 1 327609 45 | 0.000 % | 4113.60/4113.52 c | 14946290 | 2030 212532 713480 | 1 327716 45 | 0.000 % | 4113.60/4113.52 c | 14948549 | 2030 212532 713480 | 1 329975 46 | 0.000 % | 4113.60/4113.52 c | 14952361 | 2030 212532 713480 | 1 333787 46 | 0.000 % | 4113.60/4113.52 c | 14952666 | 2030 212532 713480 | 1 334092 46 | 0.000 % | 4113.60/4113.52 c | 14985420 | 2030 212532 713480 | 1 366846 48 | 0.000 % | 4113.60/4113.52 c | 14993387 | 2030 212532 713480 | 1 374813 49 | 0.000 % | 4113.60/4113.52 c | 15023516 | 2030 212532 713480 | 1 404942 50 | 0.000 % | 4113.60/4113.52 c | 15158881 | 2030 212532 713480 | 1 540307 59 | 0.000 % | 4313.91/4313.81 c | 15166838 | 2030 212532 713480 | 1 548264 59 | 0.000 % | 4313.91/4313.81 c | 15166940 | 2030 212532 713480 | 1 548366 59 | 0.000 % | 4313.91/4313.81 c | 15167503 | 2030 212532 713480 | 1 548929 59 | 0.000 % | 4313.91/4313.81 c | 15167980 | 2030 212532 713480 | 1 549406 59 | 0.000 % | 4313.91/4313.81 c | 15182819 | 2030 212532 713480 | 1 287245 38 | 0.000 % | 4313.91/4313.81 c | 15182920 | 2030 212532 713480 | 1 287346 38 | 0.000 % | 4313.91/4313.81 c | 15183021 | 2030 212532 713480 | 1 287447 38 | 0.000 % | 4313.91/4313.81 c | 15186337 | 2030 212532 713480 | 1 290763 39 | 0.000 % | 4313.91/4313.81 c | 15198875 | 2030 212532 713480 | 1 303301 41 | 0.000 % | 4313.91/4313.81 c | 15205412 | 2030 212532 713480 | 1 309838 42 | 0.000 % | 4313.91/4313.81 c | 15248529 | 2030 212532 713480 | 1 352955 46 | 0.000 % | 4313.91/4313.81 c | 15254864 | 2030 212532 713480 | 1 359290 47 | 0.000 % | 4313.91/4313.81 c | 15255119 | 2030 212532 713480 | 1 359545 47 | 0.000 % | 4313.91/4313.81 c | 15260301 | 2030 212532 713480 | 1 364727 47 | 0.000 % | 4313.91/4313.81 c | 15277895 | 2030 212532 713480 | 1 382321 49 | 0.000 % | 4313.91/4313.81 c | 15282107 | 2030 212532 713480 | 1 386533 50 | 0.000 % | 4313.91/4313.81 c | 15358025 | 2030 212532 713480 | 1 462451 54 | 0.000 % | 4313.91/4313.81 c | 15379741 | 2030 212532 713480 | 1 484167 55 | 0.000 % | 4313.91/4313.81 c | 15386227 | 2030 212532 713480 | 1 490653 55 | 0.000 % | 4313.91/4313.81 c | 15475238 | 2030 212532 713480 | 1 300063 40 | 0.000 % | 4313.91/4313.81 c | 15476097 | 2030 212532 713480 | 1 300922 40 | 0.000 % | 4313.91/4313.81 c | 15476509 | 2030 212532 713480 | 1 301334 40 | 0.000 % | 4313.91/4313.81 c | 15487798 | 2030 212532 713480 | 1 312623 42 | 0.000 % | 4313.91/4313.81 c | 15490437 | 2030 212532 713480 | 1 315262 42 | 0.000 % | 4313.91/4313.81 c | 15496775 | 2030 212532 713480 | 1 321600 43 | 0.000 % | 4313.91/4313.81 c | 15525379 | 2030 212532 713480 | 1 350204 46 | 0.000 % | 4313.91/4313.81 c | 15525502 | 2030 212532 713480 | 1 350327 46 | 0.000 % | 4313.91/4313.81 c | 15526254 | 2030 212532 713480 | 1 351079 46 | 0.000 % | 4313.91/4313.81 c | 15609580 | 2030 212532 713480 | 1 434405 53 | 0.000 % | 4313.91/4313.81 c | 15614993 | 2030 212532 713480 | 1 439818 53 | 0.000 % | 4313.91/4313.81 c | 15674470 | 2030 212532 713480 | 1 499295 56 | 0.000 % | 4313.91/4313.81 c | 15675168 | 2030 212532 713480 | 1 499993 56 | 0.000 % | 4313.91/4313.81 c | 15675651 | 2030 212532 713480 | 1 500476 56 | 0.000 % | 4313.91/4313.81 c | 15690379 | 2030 212532 713480 | 1 515204 57 | 0.000 % | 4313.91/4313.81 c | 15692363 | 2030 212532 713480 | 1 517188 57 | 0.000 % | 4313.91/4313.81 c | 15694318 | 2030 212532 713480 | 1 519143 57 | 0.000 % | 4313.91/4313.81 c | 15694753 | 2030 212532 713480 | 1 519578 57 | 0.000 % | 4313.91/4313.81 c | 15694854 | 2030 212532 713480 | 1 519679 57 | 0.000 % | 4313.91/4313.81 c | 15698282 | 2030 212532 713480 | 1 523107 58 | 0.000 % | 4313.91/4313.81 c | 15725772 | 2030 212532 713480 | 1 550597 59 | 0.000 % | 4313.91/4313.81 c | 15733020 | 2030 212532 713480 | 1 557845 59 | 0.000 % | 4313.91/4313.81 c | 15734071 | 2030 212532 713480 | 1 558896 59 | 0.000 % | 4313.91/4313.81 c | 15747518 | 2030 212532 713480 | 1 290148 38 | 0.000 % | 4313.91/4313.81 c | 15751435 | 2030 212532 713480 | 1 294065 39 | 0.000 % | 4313.91/4313.81 c | 15751535 | 2030 212532 713480 | 1 294165 39 | 0.000 % | 4313.91/4313.81 c | 15751635 | 2030 212532 713480 | 1 294265 39 | 0.000 % | 4313.91/4313.81 c | 15791185 | 2030 212532 713480 | 1 333815 45 | 0.000 % | 4313.91/4313.81 c | 15795592 | 2030 212532 713480 | 1 338222 45 | 0.000 % | 4313.91/4313.81 c | 15796697 | 2030 212532 713480 | 1 339327 45 | 0.000 % | 4313.91/4313.81 c | 15805131 | 2030 212532 713480 | 1 347761 46 | 0.000 % | 4884.62/4884.51 c | 15807588 | 2030 212532 713480 | 1 350218 47 | 0.000 % | 4884.62/4884.51 c | 15837680 | 2030 212532 713480 | 1 380310 49 | 0.000 % | 4884.62/4884.51 c | 15876493 | 2030 212532 713480 | 1 419123 52 | 0.000 % | 4884.62/4884.51 c | 15900429 | 2030 212532 713480 | 1 443059 53 | 0.000 % | 4884.62/4884.51 c | 15901537 | 2030 212532 713480 | 1 444167 53 | 0.000 % | 4884.62/4884.51 c | 15924628 | 2030 212532 713480 | 1 467258 54 | 0.000 % | 4884.62/4884.51 c | 15971839 | 2030 212532 713480 | 1 514469 56 | 0.000 % | 4884.62/4884.51 c | 16015693 | 2030 212532 713480 | 1 558323 57 | 0.000 % | 4884.62/4884.51 c | 16017087 | 2030 212532 713480 | 1 559717 57 | 0.000 % | 4884.62/4884.51 c | 16031576 | 2030 212532 713480 | 1 289399 36 | 0.000 % | 4884.62/4884.51 c | 16046520 | 2030 212532 713480 | 1 304343 39 | 0.000 % | 4884.62/4884.51 c | 16166388 | 2030 212532 713480 | 1 424211 47 | 0.000 % | 4884.62/4884.51 c | 16346250 | 2030 212532 713480 | 1 316672 38 | 0.000 % | 4884.62/4884.51 c | 16349785 | 2030 212532 713480 | 1 320207 39 | 0.000 % | 4884.62/4884.51 c | 16359941 | 2030 212532 713480 | 1 330363 40 | 0.000 % | 4884.62/4884.51 c | 16365813 | 2030 212532 713480 | 1 336235 41 | 0.000 % | 4884.62/4884.51 c | 16451687 | 2030 212532 713480 | 1 422109 51 | 0.000 % | 4884.62/4884.51 c | 16470256 | 2030 212532 713480 | 1 440678 52 | 0.000 % | 4884.62/4884.51 c | 16478419 | 2030 212532 713480 | 1 448841 53 | 0.000 % | 4884.62/4884.51 c | 16486495 | 2030 212532 713480 | 1 456917 54 | 0.000 % | 4884.62/4884.51 c | 16488949 | 2030 212532 713480 | 1 459371 54 | 0.000 % | 4884.62/4884.51 c | 16492228 | 2030 212532 713480 | 1 462650 54 | 0.000 % | 4884.62/4884.51 c | 16561675 | 2030 212532 713480 | 1 532097 57 | 0.000 % | 4884.62/4884.51 c | 16561776 | 2030 212532 713480 | 1 532198 57 | 0.000 % | 4884.62/4884.51 c | 16596505 | 2030 212532 713480 | 1 566927 58 | 0.000 % | 4884.62/4884.51 c | 16596607 | 2030 212532 713480 | 1 567029 58 | 0.000 % | 4884.62/4884.51 c | 16649682 | 2030 212532 713480 | 1 330114 41 | 0.000 % | 4884.62/4884.51 c | 16675397 | 2030 212532 713480 | 1 355829 43 | 0.000 % | 4884.62/4884.51 c | 16682978 | 2030 212532 713480 | 1 363410 44 | 0.000 % | 4884.62/4884.51 c | 16733260 | 2030 212532 713480 | 1 413692 48 | 0.000 % | 4884.62/4884.51 c | 16734072 | 2030 212532 713480 | 1 414504 48 | 0.000 % | 4884.62/4884.51 c | 16792830 | 2030 212532 713480 | 1 473262 52 | 0.000 % | 4884.62/4884.51 c | 16795420 | 2030 212532 713480 | 1 475852 52 | 0.000 % | 4884.62/4884.51 c | 16823367 | 2030 212532 713480 | 1 503799 54 | 0.000 % | 4884.62/4884.51 c | 16847343 | 2030 212532 713480 | 1 527775 55 | 0.000 % | 4884.62/4884.51 c | 16852546 | 2030 212532 713480 | 1 532978 55 | 0.000 % | 4884.62/4884.51 c | 16907679 | 2030 212532 713480 | 1 295515 36 | 0.000 % | 4884.62/4884.51 c | 16939351 | 2030 212532 713480 | 1 327187 39 | 0.000 % | 4884.62/4884.51 c | 16963237 | 2030 212532 713480 | 1 351073 42 | 0.000 % | 4884.62/4884.51 c | 16990076 | 2030 212532 713480 | 1 377912 45 | 0.000 % | 4884.62/4884.51 c | 16992488 | 2030 212532 713480 | 1 380324 45 | 0.000 % | 4884.62/4884.51 c | 16994169 | 2030 212532 713480 | 1 382005 45 | 0.000 % | 4884.62/4884.51 c | 17015574 | 2030 212532 713480 | 1 403410 46 | 0.000 % | 4884.62/4884.51 c | 17029688 | 2030 212532 713480 | 1 417524 47 | 0.000 % | 4884.62/4884.51 c | 17075826 | 2030 212532 713480 | 1 463662 49 | 0.000 % | 4884.62/4884.51 c | 17216518 | 2030 212532 713480 | 1 309149 37 | 0.000 % | 4884.62/4884.51 c | 17219866 | 2030 212532 713480 | 1 312497 37 | 0.000 % | 4884.62/4884.51 c | 17297954 | 2030 212532 713480 | 1 390585 43 | 0.000 % | 4884.62/4884.51 c | 17298373 | 2030 212532 713480 | 1 391004 43 | 0.000 % | 4884.62/4884.51 c | 17400883 | 2030 212532 713480 |
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: 935) 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-3303341-1303899331/watcher-3303341-1303899331 -o /tmp/evaluation-result-3303341-1303899331/solver-3303341-1303899331 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303341-1303899331.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 2/178 18695 /proc/meminfo: memFree=14466324/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 482348564 8912896 253 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/18695/statm: 2176 253 211 178 0 69 0 [startup+0.0810041 s] /proc/loadavg: 0.00 0.00 0.00 2/178 18695 /proc/meminfo: memFree=14466324/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 482348564 8912896 253 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/18695/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.101001 s] /proc/loadavg: 0.00 0.00 0.00 2/178 18695 /proc/meminfo: memFree=14466324/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 482348564 8912896 253 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/18695/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300974 s] /proc/loadavg: 0.00 0.00 0.00 2/178 18695 /proc/meminfo: memFree=14466324/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 482348564 8912896 253 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/18695/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700878 s] /proc/loadavg: 0.00 0.00 0.00 2/178 18695 /proc/meminfo: memFree=14466324/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 482348564 8912896 253 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/18695/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50071 s] /proc/loadavg: 0.00 0.00 0.00 3/180 18699 /proc/meminfo: memFree=14441396/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=28700 CPUtime=0.74 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 6124 0 0 0 74 0 0 0 17 0 1 0 482348639 29388800 3969 33554432000 4194304 4260849 140734071278368 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 7175 3969 251 17 0 3816 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 37404 [startup+3.10045 s] /proc/loadavg: 0.16 0.03 0.01 3/180 18699 /proc/meminfo: memFree=14427012/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=47484 CPUtime=2.34 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 12576 0 0 0 233 1 0 0 20 0 1 0 482348639 48623616 8084 33554432000 4194304 4260849 140734071278368 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 11871 8084 251 17 0 8512 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 56188 [startup+6.30086 s] /proc/loadavg: 0.16 0.03 0.01 3/180 18700 /proc/meminfo: memFree=14413872/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=59088 CPUtime=5.54 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 15856 0 0 0 553 1 0 0 25 0 1 0 482348639 60506112 11121 33554432000 4194304 4260849 140734071278368 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 14772 11121 251 17 0 11413 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 67792 [startup+12.7007 s] /proc/loadavg: 0.44 0.10 0.03 3/180 18700 /proc/meminfo: memFree=14411868/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=59088 CPUtime=11.94 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 23598 0 0 0 1192 2 0 0 25 0 1 0 482348639 60506112 7430 33554432000 4194304 4260849 140734071278368 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 14772 7430 251 17 0 11413 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 67792 [startup+25.5004 s] /proc/loadavg: 0.68 0.16 0.05 3/180 18700 /proc/meminfo: memFree=14379084/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=59088 CPUtime=24.74 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 27918 0 0 0 2471 3 0 0 25 0 1 0 482348639 60506112 11482 33554432000 4194304 4260849 140734071278368 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 14772 11482 251 17 0 11413 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 67792 [startup+51.1007 s] /proc/loadavg: 1.13 0.31 0.10 3/180 18701 /proc/meminfo: memFree=14360052/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=77944 CPUtime=50.34 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 37952 0 0 0 5030 4 0 0 25 0 1 0 482348639 79814656 16234 33554432000 4194304 4260849 140734071278368 18446744073709551615 4227820 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 19486 16234 251 17 0 16127 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 86648 [startup+102.306 s] /proc/loadavg: 1.65 0.59 0.21 3/180 18702 /proc/meminfo: memFree=14332004/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=109096 CPUtime=101.55 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 40891 0 0 0 10150 5 0 0 25 0 1 0 482348639 111714304 19134 33554432000 4194304 4260849 140734071278368 18446744073709551615 4224838 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 27274 19134 251 17 0 23915 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 117800 [startup+162.3 s] /proc/loadavg: 1.87 0.84 0.32 3/180 18704 /proc/meminfo: memFree=14325880/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=109096 CPUtime=161.55 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 72552 0 0 0 16146 9 0 0 25 0 1 0 482348639 111714304 19354 33554432000 4194304 4260849 140734071278368 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 27274 19354 251 17 0 23915 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 117800 [startup+222.3 s] /proc/loadavg: 1.95 1.05 0.42 3/180 18705 /proc/meminfo: memFree=14276144/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=158416 CPUtime=221.55 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 108601 0 0 0 22141 14 0 0 25 0 1 0 482348639 162217984 28254 33554432000 4194304 4260849 140734071278368 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 39604 28254 251 17 0 36245 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 167120 [startup+282.3 s] /proc/loadavg: 1.98 1.22 0.52 3/180 18707 /proc/meminfo: memFree=14310692/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=109096 CPUtime=281.55 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 140986 0 0 0 28136 19 0 0 25 0 1 0 482348639 111714304 19454 33554432000 4194304 4260849 140734071278368 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 27274 19454 251 17 0 23915 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 117800 [startup+342.3 s] /proc/loadavg: 1.99 1.36 0.61 3/180 18709 /proc/meminfo: memFree=14278924/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=158416 CPUtime=341.55 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 183267 0 0 0 34130 25 0 0 25 0 1 0 482348639 162217984 27631 33554432000 4194304 4260849 140734071278368 18446744073709551615 4209306 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 39604 27631 251 17 0 36245 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 167120 [startup+402.3 s] /proc/loadavg: 2.03 1.49 0.70 3/180 18710 /proc/meminfo: memFree=14262664/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 ################ # More data... # ################ /proc/18699/statm: 69031 60782 251 17 0 65672 0 Current children cumulated CPU time (s) 4362.4 Current children cumulated vsize (KiB) 284828 [startup+4422.3 s] /proc/loadavg: 2.00 2.01 1.93 3/180 18863 /proc/meminfo: memFree=14138508/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=226696 CPUtime=4421.68 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 2051961 0 0 0 441781 387 0 0 25 0 1 0 482348639 232136704 50282 33554432000 4194304 4260849 140734071278368 18446744073709551615 4226157 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 56674 50282 251 17 0 53315 0 Current children cumulated CPU time (s) 4422.41 Current children cumulated vsize (KiB) 235400 [startup+4482.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 18865 /proc/meminfo: memFree=14029872/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=278356 CPUtime=4481.68 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 2062154 0 0 0 447778 390 0 0 25 0 1 0 482348639 285036544 60346 33554432000 4194304 4260849 140734071278368 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 69589 60346 251 17 0 66230 0 Current children cumulated CPU time (s) 4482.41 Current children cumulated vsize (KiB) 287060 [startup+4542.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 18867 /proc/meminfo: memFree=14106244/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=229332 CPUtime=4541.68 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 2087704 0 0 0 453773 395 0 0 25 0 1 0 482348639 234835968 51568 33554432000 4194304 4260849 140734071278368 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 57333 51568 251 17 0 53974 0 Current children cumulated CPU time (s) 4542.41 Current children cumulated vsize (KiB) 238036 [startup+4602.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 18899 /proc/meminfo: memFree=14176008/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=361616 CPUtime=4601.69 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 2102656 0 0 0 459770 399 0 0 25 0 1 0 482348639 370294784 66354 33554432000 4194304 4260849 140734071278368 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 90404 66354 251 17 0 87045 0 Current children cumulated CPU time (s) 4602.42 Current children cumulated vsize (KiB) 370320 [startup+4662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 18901 /proc/meminfo: memFree=14185452/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=280228 CPUtime=4661.69 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 2130859 0 0 0 465765 404 0 0 25 0 1 0 482348639 286953472 57906 33554432000 4194304 4260849 140734071278368 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 70057 57906 251 17 0 66698 0 Current children cumulated CPU time (s) 4662.42 Current children cumulated vsize (KiB) 288932 [startup+4722.31 s] /proc/loadavg: 2.00 2.00 1.93 3/180 18902 /proc/meminfo: memFree=14196804/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=230912 CPUtime=4721.7 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 2159576 0 0 0 471760 410 0 0 25 0 1 0 482348639 236453888 50752 33554432000 4194304 4260849 140734071278368 18446744073709551615 4225495 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 57728 50752 251 17 0 54369 0 Current children cumulated CPU time (s) 4722.43 Current children cumulated vsize (KiB) 239616 [startup+4782.3 s] /proc/loadavg: 2.03 2.01 1.93 3/180 18904 /proc/meminfo: memFree=14135260/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=281708 CPUtime=4781.69 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 2173828 0 0 0 477757 412 0 0 25 0 1 0 482348639 288468992 64811 33554432000 4194304 4260849 140734071278368 18446744073709551615 4209990 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 70427 64811 251 17 0 67068 0 Current children cumulated CPU time (s) 4782.42 Current children cumulated vsize (KiB) 290412 [startup+4842.3 s] /proc/loadavg: 2.01 2.01 1.93 3/180 18906 /proc/meminfo: memFree=14172416/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=232624 CPUtime=4841.69 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 2197753 0 0 0 483752 417 0 0 25 0 1 0 482348639 238206976 53506 33554432000 4194304 4260849 140734071278368 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 58156 53506 251 17 0 54797 0 Current children cumulated CPU time (s) 4842.42 Current children cumulated vsize (KiB) 241328 [startup+4902.3 s] /proc/loadavg: 2.03 2.02 1.94 3/180 18907 /proc/meminfo: memFree=14130860/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=284248 CPUtime=4901.69 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 2207247 0 0 0 489748 421 0 0 25 0 1 0 482348639 291069952 62905 33554432000 4194304 4260849 140734071278368 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 71062 62905 251 17 0 67703 0 Current children cumulated CPU time (s) 4902.42 Current children cumulated vsize (KiB) 292952 [startup+4962.3 s] /proc/loadavg: 2.01 2.01 1.94 3/180 18909 /proc/meminfo: memFree=14157988/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=285472 CPUtime=4961.69 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 2234435 0 0 0 495742 427 0 0 25 0 1 0 482348639 292323328 55931 33554432000 4194304 4260849 140734071278368 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 71368 55931 251 17 0 68009 0 Current children cumulated CPU time (s) 4962.42 Current children cumulated vsize (KiB) 294176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.00 2.01 1.94 3/180 18910 /proc/meminfo: memFree=14116192/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=285800 CPUtime=4999.3 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 2244812 0 0 0 499500 430 0 0 25 0 1 0 482348639 292659200 66186 33554432000 4194304 4260849 140734071278368 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 71450 66186 251 17 0 68091 0 Current children cumulated CPU time (s) 5000.03 Current children cumulated vsize (KiB) 294504 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+4999.9 s] /proc/loadavg: 2.00 2.01 1.94 3/180 18910 /proc/meminfo: memFree=14116192/32951124 swapFree=67111528/67111528 [pid=18695] ppid=18693 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/18695/stat : 18695 (glucose.sh) S 18693 18695 18656 0 -1 4202496 360 4436 0 0 0 0 73 0 15 0 1 0 482348564 8912896 255 33554432000 4194304 4922060 140733615847728 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/18695/statm: 2176 255 211 178 0 69 0 [pid=18699] ppid=18695 vsize=285800 CPUtime=4999.3 cores=0,2,4,6 /proc/18699/stat : 18699 (glucose_static) R 18695 18695 18656 0 -1 4202496 2244812 0 0 0 499500 430 0 0 25 0 1 0 482348639 292659200 66186 33554432000 4194304 4260849 140734071278368 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18699/statm: 71450 66186 251 17 0 68091 0 Current children cumulated CPU time (s) 5000.03 Current children cumulated vsize (KiB) 294504 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 18695 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=739887 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=7998 # CPU time returned by wait4() is 0.747885 # while last known CPU time is 5000.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.91 CPU time (s): 5000.03 CPU user time (s): 4995.73 CPU system time (s): 4.3 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 424884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.739887 system time used= 0.007998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4796 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= 8 involuntary context switches= 6 runsolver used 8.00378 second user time and 15.8486 second system time The end
Begin job on node142 at 2011-04-27 12:15:31 IDJOB=3303341 IDBENCH=71294 IDSOLVER=1687 FILE ID=node142/3303341-1303899331 RUNJOBID= node142-1303899330-18674 PBS_JOBID= 13164506 Free space on /tmp= 71316 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2100c215164g9.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303341-1303899331/watcher-3303341-1303899331 -o /tmp/evaluation-result-3303341-1303899331/solver-3303341-1303899331 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303341-1303899331.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e033e9c916da557514299cce9ca2468f RANDOM SEED=580329049 node142.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.846 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.69 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.846 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 : 5131.95 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.67 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.846 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.81 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 14466604 kB Buffers: 2097196 kB Cached: 15738672 kB SwapCached: 0 kB Active: 7771532 kB Inactive: 10134184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 14466604 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5884 kB Writeback: 0 kB AnonPages: 69468 kB Mapped: 15120 kB Slab: 513236 kB PageTables: 5448 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 208944 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= 71312 MiB End job on node142 at 2011-04-27 13:38:53