| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000 | 4999.91 |
| Name | CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf |
| MD5SUM | 26b9098de258b0434de90e744962df46 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 10.76 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 945 |
| Number of clauses | 61409 |
| Sum of the clauses size | 123673 |
| Maximum clause length | 21 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 61364 |
| 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 | 45 |
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.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 61409 123673 | 18422 0 0 nan | 0.000 % | 0.00/0.12 c | 0 | 60464 198905 | -- 0 -- -- | -- | -945/75232 0.00/0.12 c ============================================================================== 0.00/0.12 c Result : #vars: 900 #clauses: 60464 #literals: 198905 0.00/0.12 c CPU time: 0.116982 s 0.00/0.12 c ============================================================================== 0.00/0.15 c 0.00/0.15 c Starting glucose 0.00/0.15 c 661.10/661.20 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 661.10/661.20 c WARNING: for repeatability, setting FPU to use double precision 661.10/661.20 c ============================[ Problem Statistics ]============================= 661.10/661.20 c | | 661.10/661.20 c | Number of variables: 900 | 661.10/661.20 c | Number of clauses: 60464 | 661.10/661.20 c | Parse time: 0.01 s | 661.10/661.20 c | | 661.10/661.20 c ============================[ Search Statistics ]============================== 661.10/661.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 661.10/661.20 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 661.10/661.20 c =============================================================================== 661.10/661.20 c | 18472 | 900 60464 198905 | 1 12182 112 | 0.000 % | 661.10/661.20 c | 19203 | 900 60464 198905 | 1 12913 111 | 0.000 % | 661.10/661.20 c | 465280 | 900 60464 198905 | 1 86730 52 | 0.000 % | 661.10/661.20 c | 538527 | 900 60464 198905 | 1 66161 41 | 0.000 % | 661.10/661.20 c | 1268677 | 900 60464 198905 | 1 94515 36 | 0.000 % | 661.10/661.20 c | 1485816 | 900 60464 198905 | 1 150243 37 | 0.000 % | 661.10/661.20 c | 1545452 | 900 60464 198905 | 1 125278 38 | 0.000 % | 661.10/661.20 c | 1742816 | 900 60464 198905 | 1 145634 39 | 0.000 % | 661.10/661.20 c | 1946871 | 900 60464 198905 | 1 162295 39 | 0.000 % | 661.10/661.20 c | 1956675 | 900 60464 198905 | 1 172099 39 | 0.000 % | 661.10/661.20 c | 2014505 | 900 60464 198905 | 1 132323 37 | 0.000 % | 661.10/661.20 c | 2014797 | 900 60464 198905 | 1 132615 37 | 0.000 % | 661.10/661.20 c | 2014897 | 900 60464 198905 | 1 132715 37 | 0.000 % | 661.10/661.20 c | 2022973 | 900 60464 198905 | 1 140791 38 | 0.000 % | 661.10/661.20 c | 2179611 | 900 60464 198905 | 1 197227 41 | 0.000 % | 661.10/661.20 c | 2186498 | 900 60464 198905 | 1 204114 41 | 0.000 % | 661.10/661.20 c | 2222523 | 900 60464 198905 | 1 137338 36 | 0.000 % | 661.10/661.20 c | 2223211 | 900 60464 198905 | 1 138026 36 | 0.000 % | 661.10/661.20 c | 2252376 | 900 60464 198905 | 1 167191 40 | 0.000 % | 661.10/661.20 c | 2254829 | 900 60464 198905 | 1 169644 41 | 0.000 % | 661.10/661.20 c | 2268049 | 900 60464 198905 | 1 182864 41 | 0.000 % | 661.10/661.20 c | 2448568 | 900 60464 198905 | 1 149986 33 | 0.000 % | 661.10/661.20 c | 2485105 | 900 60464 198905 | 1 186523 37 | 0.000 % | 661.10/661.20 c | 2550882 | 900 60464 198905 | 1 141694 36 | 0.000 % | 661.10/661.20 c | 2568038 | 900 60464 198905 | 1 158850 38 | 0.000 % | 661.10/661.20 c | 2652450 | 900 60464 198905 | 1 130062 32 | 0.000 % | 661.10/661.20 c | 2666497 | 900 60464 198905 | 1 144109 34 | 0.000 % | 661.10/661.20 c | 2692001 | 900 60464 198905 | 1 169613 36 | 0.000 % | 661.10/661.20 c | 2829627 | 900 60464 198905 | 1 191441 38 | 0.000 % | 661.10/661.20 c | 2852257 | 900 60464 198905 | 1 214071 39 | 0.000 % | 661.10/661.20 c | 2858133 | 900 60464 198905 | 1 219947 40 | 0.000 % | 661.10/661.20 c | 2909877 | 900 60464 198905 | 1 153291 34 | 0.000 % | 661.10/661.20 c | 3040196 | 900 60464 198905 | 1 162622 39 | 0.000 % | 661.10/661.20 c | 3041487 | 900 60464 198905 | 1 163913 40 | 0.000 % | 661.10/661.20 c | 3080130 | 900 60464 198905 | 1 202556 42 | 0.000 % | 661.10/661.20 c | 3149062 | 900 60464 198905 | 1 147886 35 | 0.000 % | 661.10/661.20 c | 3151790 | 900 60464 198905 | 1 150614 36 | 0.000 % | 661.10/661.20 c | 3186223 | 900 60464 198905 | 1 185047 39 | 0.000 % | 661.10/661.20 c | 3205804 | 900 60464 198905 | 1 204628 40 | 0.000 % | 1062.30/1062.37 c | 3206707 | 900 60464 198905 | 1 205531 40 | 0.000 % | 1062.30/1062.37 c | 3216038 | 900 60464 198905 | 1 214862 41 | 0.000 % | 1062.30/1062.37 c | 3216300 | 900 60464 198905 | 1 215124 41 | 0.000 % | 1062.30/1062.37 c | 3216400 | 900 60464 198905 | 1 215224 41 | 0.000 % | 1062.30/1062.37 c | 3217075 | 900 60464 198905 | 1 215899 41 | 0.000 % | 1062.30/1062.37 c | 3400538 | 900 60464 198905 | 1 144361 31 | 0.000 % | 1062.30/1062.37 c | 3416369 | 900 60464 198905 | 1 160192 33 | 0.000 % | 1062.30/1062.37 c | 3426973 | 900 60464 198905 | 1 170796 35 | 0.000 % | 1062.30/1062.37 c | 3461128 | 900 60464 198905 | 1 204951 37 | 0.000 % | 1062.30/1062.37 c | 3467709 | 900 60464 198905 | 1 211532 37 | 0.000 % | 1062.30/1062.37 c | 3499586 | 900 60464 198905 | 1 243409 39 | 0.000 % | 1062.30/1062.37 c | 3499687 | 900 60464 198905 | 1 243510 39 | 0.000 % | 1062.30/1062.37 c | 3530629 | 900 60464 198905 | 1 143053 30 | 0.000 % | 1062.30/1062.37 c | 3536808 | 900 60464 198905 | 1 149232 31 | 0.000 % | 1062.30/1062.37 c | 3538070 | 900 60464 198905 | 1 150494 31 | 0.000 % | 1062.30/1062.37 c | 3582988 | 900 60464 198905 | 1 195412 37 | 0.000 % | 1062.30/1062.37 c | 3583185 | 900 60464 198905 | 1 195609 37 | 0.000 % | 1062.30/1062.37 c | 3686848 | 900 60464 198905 | 1 165269 34 | 0.000 % | 1062.30/1062.37 c | 3697857 | 900 60464 198905 | 1 176278 36 | 0.000 % | 1062.30/1062.37 c | 3760737 | 900 60464 198905 | 1 239158 40 | 0.000 % | 1062.30/1062.37 c | 3761942 | 900 60464 198905 | 1 240363 40 | 0.000 % | 1062.30/1062.37 c | 3784536 | 900 60464 198905 | 1 262957 41 | 0.000 % | 1062.30/1062.37 c | 3850789 | 900 60464 198905 | 1 192604 36 | 0.000 % | 1062.30/1062.37 c | 3866107 | 900 60464 198905 | 1 207922 37 | 0.000 % | 1062.30/1062.37 c | 3875877 | 900 60464 198905 | 1 217692 38 | 0.000 % | 1062.30/1062.37 c | 3881284 | 900 60464 198905 | 1 223099 38 | 0.000 % | 1062.30/1062.37 c | 3902586 | 900 60464 198905 | 1 244401 38 | 0.000 % | 1062.30/1062.37 c | 3987671 | 900 60464 198905 | 1 190288 33 | 0.000 % | 1062.30/1062.37 c | 4046035 | 900 60464 198905 | 1 248652 36 | 0.000 % | 1062.30/1062.37 c | 4157910 | 900 60464 198905 | 1 218725 36 | 0.000 % | 1062.30/1062.37 c | 4165518 | 900 60464 198905 | 1 226333 37 | 0.000 % | 1062.30/1062.37 c | 4211476 | 900 60464 198905 | 1 272291 39 | 0.000 % | 1062.30/1062.37 c | 4212063 | 900 60464 198905 | 1 272878 39 | 0.000 % | 1062.30/1062.37 c | 4236613 | 900 60464 198905 | 1 153028 30 | 0.000 % | 1062.30/1062.37 c | 4236863 | 900 60464 198905 | 1 153278 30 | 0.000 % | 1062.30/1062.37 c | 4269361 | 900 60464 198905 | 1 185776 33 | 0.000 % | 1062.30/1062.37 c | 4294838 | 900 60464 198905 | 1 211253 35 | 0.000 % | 1062.30/1062.37 c | 4308258 | 900 60464 198905 | 1 224673 35 | 0.000 % | 1062.30/1062.37 c | 4313798 | 900 60464 198905 | 1 230213 35 | 0.000 % | 1062.30/1062.37 c | 4345817 | 900 60464 198905 | 1 262232 37 | 0.000 % | 1062.30/1062.37 c | 4416363 | 900 60464 198905 | 1 185784 32 | 0.000 % | 1062.30/1062.37 c | 4416464 | 900 60464 198905 | 1 185885 32 | 0.000 % | 1062.30/1062.37 c | 4449130 | 900 60464 198905 | 1 218551 36 | 0.000 % | 1062.30/1062.37 c | 4449434 | 900 60464 198905 | 1 218855 36 | 0.000 % | 1062.30/1062.37 c | 4469379 | 900 60464 198905 | 1 238800 38 | 0.000 % | 1062.30/1062.37 c | 4479016 | 900 60464 198905 | 1 248437 39 | 0.000 % | 1062.30/1062.37 c | 4522715 | 900 60464 198905 | 1 292136 40 | 0.000 % | 1062.30/1062.37 c | 4522817 | 900 60464 198905 | 1 292238 40 | 0.000 % | 1062.30/1062.37 c | 4526947 | 900 60464 198905 | 1 296368 40 | 0.000 % | 1062.30/1062.37 c | 4616985 | 900 60464 198905 | 1 236804 35 | 0.000 % | 1346.21/1346.30 c | 4619841 | 900 60464 198905 | 1 239660 35 | 0.000 % | 1346.21/1346.30 c | 4660808 | 900 60464 198905 | 1 280627 38 | 0.000 % | 1346.21/1346.30 c | 4670421 | 900 60464 198905 | 1 290240 38 | 0.000 % | 1346.21/1346.30 c | 4688022 | 900 60464 198905 | 1 155638 29 | 0.000 % | 1346.21/1346.30 c | 4696341 | 900 60464 198905 | 1 163957 30 | 0.000 % | 1346.21/1346.30 c | 4697722 | 900 60464 198905 | 1 165338 30 | 0.000 % | 1346.21/1346.30 c | 4705585 | 900 60464 198905 | 1 173201 31 | 0.000 % | 1346.21/1346.30 c | 4718776 | 900 60464 198905 | 1 186392 33 | 0.000 % | 1346.21/1346.30 c | 4738455 | 900 60464 198905 | 1 206071 34 | 0.000 % | 1346.21/1346.30 c | 4751307 | 900 60464 198905 | 1 218923 35 | 0.000 % | 1346.21/1346.30 c | 4762325 | 900 60464 198905 | 1 229941 36 | 0.000 % | 1346.21/1346.30 c | 4796520 | 900 60464 198905 | 1 264136 38 | 0.000 % | 1346.21/1346.30 c | 4841752 | 900 60464 198905 | 1 309368 40 | 0.000 % | 1346.21/1346.30 c | 4845366 | 900 60464 198905 | 1 158176 29 | 0.000 % | 1346.21/1346.30 c | 4845662 | 900 60464 198905 | 1 158472 29 | 0.000 % | 1346.21/1346.30 c | 4889438 | 900 60464 198905 | 1 202248 35 | 0.000 % | 1346.21/1346.30 c | 4908149 | 900 60464 198905 | 1 220959 36 | 0.000 % | 1346.21/1346.30 c | 4908249 | 900 60464 198905 | 1 221059 36 | 0.000 % | 1346.21/1346.30 c | 4911906 | 900 60464 198905 | 1 224716 37 | 0.000 % | 1346.21/1346.30 c | 4925338 | 900 60464 198905 | 1 238148 38 | 0.000 % | 1346.21/1346.30 c | 4926728 | 900 60464 198905 | 1 239538 38 | 0.000 % | 1346.21/1346.30 c | 4930814 | 900 60464 198905 | 1 243624 38 | 0.000 % | 1346.21/1346.30 c | 4964903 | 900 60464 198905 | 1 277713 40 | 0.000 % | 1346.21/1346.30 c | 4969664 | 900 60464 198905 | 1 282474 40 | 0.000 % | 1346.21/1346.30 c | 4969990 | 900 60464 198905 | 1 282800 40 | 0.000 % | 1346.21/1346.30 c | 4979892 | 900 60464 198905 | 1 292702 41 | 0.000 % | 1346.21/1346.30 c | 4994108 | 900 60464 198905 | 1 306918 41 | 0.000 % | 1346.21/1346.30 c | 4999463 | 900 60464 198905 | 1 312273 41 | 0.000 % | 1346.21/1346.30 c | 4999574 | 900 60464 198905 | 1 312384 41 | 0.000 % | 1346.21/1346.30 c | 5034097 | 900 60464 198905 | 1 189513 33 | 0.000 % | 1346.21/1346.30 c | 5053383 | 900 60464 198905 | 1 208799 35 | 0.000 % | 1346.21/1346.30 c | 5106775 | 900 60464 198905 | 1 262191 38 | 0.000 % | 1346.21/1346.30 c | 5206550 | 900 60464 198905 | 1 201961 32 | 0.000 % | 1346.21/1346.30 c | 5236684 | 900 60464 198905 | 1 232095 35 | 0.000 % | 1346.21/1346.30 c | 5272120 | 900 60464 198905 | 1 267531 36 | 0.000 % | 1346.21/1346.30 c | 5298769 | 900 60464 198905 | 1 294180 37 | 0.000 % | 1346.21/1346.30 c | 5300881 | 900 60464 198905 | 1 296292 38 | 0.000 % | 1346.21/1346.30 c | 5340270 | 900 60464 198905 | 1 173083 31 | 0.000 % | 1346.21/1346.30 c | 5371146 | 900 60464 198905 | 1 203959 34 | 0.000 % | 1346.21/1346.30 c | 5389328 | 900 60464 198905 | 1 222141 36 | 0.000 % | 1346.21/1346.30 c | 5415310 | 900 60464 198905 | 1 248123 37 | 0.000 % | 1346.21/1346.30 c | 5488099 | 900 60464 198905 | 1 320912 39 | 0.000 % | 1346.21/1346.30 c | 5490674 | 900 60464 198905 | 1 323487 39 | 0.000 % | 1346.21/1346.30 c | 5511810 | 900 60464 198905 | 1 179422 29 | 0.000 % | 1346.21/1346.30 c | 5527206 | 900 60464 198905 | 1 194818 31 | 0.000 % | 1346.21/1346.30 c | 5562938 | 900 60464 198905 | 1 230550 34 | 0.000 % | 1346.21/1346.30 c | 5564918 | 900 60464 198905 | 1 232530 34 | 0.000 % | 1346.21/1346.30 c | 5565198 | 900 60464 198905 | 1 232810 34 | 0.000 % | 1346.21/1346.30 c | 5567277 | 900 60464 198905 | 1 234889 34 | 0.000 % | 1346.21/1346.30 c | 5572706 | 900 60464 198905 | 1 240318 35 | 0.000 % | 1591.32/1591.39 c | 5643730 | 900 60464 198905 | 1 311342 39 | 0.000 % | 1591.32/1591.39 c | 5643998 | 900 60464 198905 | 1 311610 39 | 0.000 % | 1591.32/1591.39 c | 5647669 | 900 60464 198905 | 1 315281 39 | 0.000 % | 1591.32/1591.39 c | 5650874 | 900 60464 198905 | 1 318486 39 | 0.000 % | 1591.32/1591.39 c | 5653378 | 900 60464 198905 | 1 320990 39 | 0.000 % | 1591.32/1591.39 c | 5703225 | 900 60464 198905 | 1 203041 32 | 0.000 % | 1591.32/1591.39 c | 5703328 | 900 60464 198905 | 1 203144 32 | 0.000 % | 1591.32/1591.39 c | 5704316 | 900 60464 198905 | 1 204132 32 | 0.000 % | 1591.32/1591.39 c | 5758362 | 900 60464 198905 | 1 258178 35 | 0.000 % | 1591.32/1591.39 c | 5789292 | 900 60464 198905 | 1 289108 37 | 0.000 % | 1591.32/1591.39 c | 5790569 | 900 60464 198905 | 1 290385 37 | 0.000 % | 1591.32/1591.39 c | 5794359 | 900 60464 198905 | 1 294175 37 | 0.000 % | 1591.32/1591.39 c | 5794965 | 900 60464 198905 | 1 294781 37 | 0.000 % | 1591.32/1591.39 c | 5795330 | 900 60464 198905 | 1 295146 37 | 0.000 % | 1591.32/1591.39 c | 5807921 | 900 60464 198905 | 1 307737 38 | 0.000 % | 1591.32/1591.39 c | 5818897 | 900 60464 198905 | 1 318713 38 | 0.000 % | 1591.32/1591.39 c | 5820628 | 900 60464 198905 | 1 320444 38 | 0.000 % | 1591.32/1591.39 c | 5839908 | 900 60464 198905 | 1 339724 40 | 0.000 % | 1591.32/1591.39 c | 5849370 | 900 60464 198905 | 1 178783 29 | 0.000 % | 1591.32/1591.39 c | 5853465 | 900 60464 198905 | 1 182878 30 | 0.000 % | 1591.32/1591.39 c | 5854322 | 900 60464 198905 | 1 183735 30 | 0.000 % | 1591.32/1591.39 c | 5854423 | 900 60464 198905 | 1 183836 30 | 0.000 % | 1591.32/1591.39 c | 5904738 | 900 60464 198905 | 1 234151 34 | 0.000 % | 1591.32/1591.39 c | 5913725 | 900 60464 198905 | 1 243138 35 | 0.000 % | 1591.32/1591.39 c | 5913827 | 900 60464 198905 | 1 243240 35 | 0.000 % | 1591.32/1591.39 c | 5972250 | 900 60464 198905 | 1 301663 38 | 0.000 % | 1591.32/1591.39 c | 5997316 | 900 60464 198905 | 1 326729 39 | 0.000 % | 1591.32/1591.39 c | 6003673 | 900 60464 198905 | 1 333086 39 | 0.000 % | 1591.32/1591.39 c | 6009849 | 900 60464 198905 | 1 339262 39 | 0.000 % | 1591.32/1591.39 c | 6017511 | 900 60464 198905 | 1 173932 28 | 0.000 % | 1591.32/1591.39 c | 6021162 | 900 60464 198905 | 1 177583 29 | 0.000 % | 1591.32/1591.39 c | 6024683 | 900 60464 198905 | 1 181104 29 | 0.000 % | 1591.32/1591.39 c | 6024798 | 900 60464 198905 | 1 181219 29 | 0.000 % | 1591.32/1591.39 c | 6031893 | 900 60464 198905 | 1 188314 30 | 0.000 % | 1591.32/1591.39 c | 6050706 | 900 60464 198905 | 1 207127 32 | 0.000 % | 1591.32/1591.39 c | 6061547 | 900 60464 198905 | 1 217968 32 | 0.000 % | 1591.32/1591.39 c | 6062535 | 900 60464 198905 | 1 218956 32 | 0.000 % | 1591.32/1591.39 c | 6108328 | 900 60464 198905 | 1 264749 35 | 0.000 % | 1591.32/1591.39 c | 6111821 | 900 60464 198905 | 1 268242 36 | 0.000 % | 1591.32/1591.39 c | 6118784 | 900 60464 198905 | 1 275205 36 | 0.000 % | 1591.32/1591.39 c | 6125885 | 900 60464 198905 | 1 282306 37 | 0.000 % | 1591.32/1591.39 c | 6130152 | 900 60464 198905 | 1 286573 37 | 0.000 % | 1591.32/1591.39 c | 6194961 | 900 60464 198905 | 1 175790 28 | 0.000 % | 1591.32/1591.39 c | 6206508 | 900 60464 198905 | 1 187337 30 | 0.000 % | 1591.32/1591.39 c | 6236096 | 900 60464 198905 | 1 216925 32 | 0.000 % | 1591.32/1591.39 c | 6256267 | 900 60464 198905 | 1 237096 33 | 0.000 % | 1591.32/1591.39 c | 6341331 | 900 60464 198905 | 1 322160 37 | 0.000 % | 1591.32/1591.39 c | 6341431 | 900 60464 198905 | 1 322260 37 | 0.000 % | 1591.32/1591.39 c | 6341905 | 900 60464 198905 | 1 322734 37 | 0.000 % | 1591.32/1591.39 c | 6363271 | 900 60464 198905 | 1 344100 38 | 0.000 % | 1739.62/1739.64 c | 6364072 | 900 60464 198905 | 1 344901 38 | 0.000 % | 1739.62/1739.64 c | 6381166 | 900 60464 198905 | 1 183792 28 | 0.000 % | 1739.62/1739.64 c | 6428454 | 900 60464 198905 | 1 231080 33 | 0.000 % | 1739.62/1739.64 c | 6429942 | 900 60464 198905 | 1 232568 33 | 0.000 % | 1739.62/1739.64 c | 6436579 | 900 60464 198905 | 1 239205 34 | 0.000 % | 1739.62/1739.64 c | 6450198 | 900 60464 198905 | 1 252824 34 | 0.000 % | 1739.62/1739.64 c | 6450298 | 900 60464 198905 | 1 252924 34 | 0.000 % | 1739.62/1739.64 c | 6452083 | 900 60464 198905 | 1 254709 34 | 0.000 % | 1739.62/1739.64 c | 6452183 | 900 60464 198905 | 1 254809 34 | 0.000 % | 1739.62/1739.64 c | 6452284 | 900 60464 198905 | 1 254910 34 | 0.000 % | 1739.62/1739.64 c | 6452386 | 900 60464 198905 | 1 255012 34 | 0.000 % | 1739.62/1739.64 c | 6480956 | 900 60464 198905 | 1 283582 36 | 0.000 % | 1739.62/1739.64 c | 6494196 | 900 60464 198905 | 1 296822 37 | 0.000 % | 1739.62/1739.64 c | 6517420 | 900 60464 198905 | 1 320046 38 | 0.000 % | 1739.62/1739.64 c | 6517835 | 900 60464 198905 | 1 320461 38 | 0.000 % | 1739.62/1739.64 c | 6542856 | 900 60464 198905 | 1 345482 39 | 0.000 % | 1739.62/1739.64 c | 6543621 | 900 60464 198905 | 1 346247 39 | 0.000 % | 1739.62/1739.64 c | 6553782 | 900 60464 198905 | 1 356408 39 | 0.000 % | 1739.62/1739.64 c | 6555853 | 900 60464 198905 | 1 358479 39 | 0.000 % | 1739.62/1739.64 c | 6591928 | 900 60464 198905 | 1 213756 31 | 0.000 % | 1739.62/1739.64 c | 6597991 | 900 60464 198905 | 1 219819 32 | 0.000 % | 1739.62/1739.64 c | 6599203 | 900 60464 198905 | 1 221031 32 | 0.000 % | 1739.62/1739.64 c | 6599411 | 900 60464 198905 | 1 221239 32 | 0.000 % | 1739.62/1739.64 c | 6607723 | 900 60464 198905 | 1 229551 33 | 0.000 % | 1739.62/1739.64 c | 6607823 | 900 60464 198905 | 1 229651 33 | 0.000 % | 1739.62/1739.64 c | 6614090 | 900 60464 198905 | 1 235918 33 | 0.000 % | 1739.62/1739.64 c | 6622389 | 900 60464 198905 | 1 244217 34 | 0.000 % | 1739.62/1739.64 c | 6634155 | 900 60464 198905 | 1 255983 35 | 0.000 % | 1739.62/1739.64 c | 6636454 | 900 60464 198905 | 1 258282 35 | 0.000 % | 1739.62/1739.64 c | 6638885 | 900 60464 198905 | 1 260713 35 | 0.000 % | 1739.62/1739.64 c | 6661397 | 900 60464 198905 | 1 283225 37 | 0.000 % | 1739.62/1739.64 c | 6697724 | 900 60464 198905 | 1 319552 39 | 0.000 % | 1739.62/1739.64 c | 6714865 | 900 60464 198905 | 1 336693 39 | 0.000 % | 1739.62/1739.64 c | 6716574 | 900 60464 198905 | 1 338402 40 | 0.000 % | 1739.62/1739.64 c | 6723716 | 900 60464 198905 | 1 345544 40 | 0.000 % | 1739.62/1739.64 c | 6726153 | 900 60464 198905 | 1 347981 40 | 0.000 % | 1739.62/1739.64 c | 6734472 | 900 60464 198905 | 1 356300 40 | 0.000 % | 1739.62/1739.64 c | 6755590 | 900 60464 198905 | 1 194012 29 | 0.000 % | 1739.62/1739.64 c | 6758158 | 900 60464 198905 | 1 196580 29 | 0.000 % | 1739.62/1739.64 c | 6767663 | 900 60464 198905 | 1 206085 30 | 0.000 % | 1739.62/1739.64 c | 6767763 | 900 60464 198905 | 1 206185 30 | 0.000 % | 1739.62/1739.64 c | 6767865 | 900 60464 198905 | 1 206287 30 | 0.000 % | 1739.62/1739.64 c | 6774409 | 900 60464 198905 | 1 212831 31 | 0.000 % | 1739.62/1739.64 c | 6774516 | 900 60464 198905 | 1 212938 31 | 0.000 % | 1739.62/1739.64 c | 6785912 | 900 60464 198905 | 1 224334 32 | 0.000 % | 1739.62/1739.64 c | 6806996 | 900 60464 198905 | 1 245418 34 | 0.000 % | 1739.62/1739.64 c | 6811185 | 900 60464 198905 | 1 249607 35 | 0.000 % | 1739.62/1739.64 c | 6813486 | 900 60464 198905 | 1 251908 35 | 0.000 % | 1739.62/1739.64 c | 6826779 | 900 60464 198905 | 1 265201 35 | 0.000 % | 1739.62/1739.64 c | 6827581 | 900 60464 198905 | 1 266003 35 | 0.000 % | 2003.23/2003.24 c | 6836899 | 900 60464 198905 | 1 275321 36 | 0.000 % | 2003.23/2003.24 c | 6848206 | 900 60464 198905 | 1 286628 37 | 0.000 % | 2003.23/2003.24 c | 6848870 | 900 60464 198905 | 1 287292 37 | 0.000 % | 2003.23/2003.24 c | 6885539 | 900 60464 198905 | 1 323961 38 | 0.000 % | 2003.23/2003.24 c | 6899001 | 900 60464 198905 | 1 337423 39 | 0.000 % | 2003.23/2003.24 c | 6932081 | 900 60464 198905 | 1 370503 39 | 0.000 % | 2003.23/2003.24 c | 6934360 | 900 60464 198905 | 1 186780 28 | 0.000 % | 2003.23/2003.24 c | 6987559 | 900 60464 198905 | 1 239979 34 | 0.000 % | 2003.23/2003.24 c | 6996164 | 900 60464 198905 | 1 248584 35 | 0.000 % | 2003.23/2003.24 c | 7030516 | 900 60464 198905 | 1 282936 36 | 0.000 % | 2003.23/2003.24 c | 7030841 | 900 60464 198905 | 1 283261 36 | 0.000 % | 2003.23/2003.24 c | 7032522 | 900 60464 198905 | 1 284942 36 | 0.000 % | 2003.23/2003.24 c | 7051129 | 900 60464 198905 | 1 303549 37 | 0.000 % | 2003.23/2003.24 c | 7055106 | 900 60464 198905 | 1 307526 37 | 0.000 % | 2003.23/2003.24 c | 7071272 | 900 60464 198905 | 1 323692 38 | 0.000 % | 2003.23/2003.24 c | 7140959 | 900 60464 198905 | 1 204785 30 | 0.000 % | 2003.23/2003.24 c | 7141728 | 900 60464 198905 | 1 205554 30 | 0.000 % | 2003.23/2003.24 c | 7169981 | 900 60464 198905 | 1 233807 34 | 0.000 % | 2003.23/2003.24 c | 7170349 | 900 60464 198905 | 1 234175 34 | 0.000 % | 2003.23/2003.24 c | 7189606 | 900 60464 198905 | 1 253432 35 | 0.000 % | 2003.23/2003.24 c | 7192314 | 900 60464 198905 | 1 256140 36 | 0.000 % | 2003.23/2003.24 c | 7196055 | 900 60464 198905 | 1 259881 36 | 0.000 % | 2003.23/2003.24 c | 7234612 | 900 60464 198905 | 1 298438 38 | 0.000 % | 2003.23/2003.24 c | 7256996 | 900 60464 198905 | 1 320822 39 | 0.000 % | 2003.23/2003.24 c | 7258518 | 900 60464 198905 | 1 322344 39 | 0.000 % | 2003.23/2003.24 c | 7269093 | 900 60464 198905 | 1 332919 40 | 0.000 % | 2003.23/2003.24 c | 7358263 | 900 60464 198905 | 1 230889 32 | 0.000 % | 2003.23/2003.24 c | 7368319 | 900 60464 198905 | 1 240945 33 | 0.000 % | 2003.23/2003.24 c | 7369522 | 900 60464 198905 | 1 242148 34 | 0.000 % | 2003.23/2003.24 c | 7406668 | 900 60464 198905 | 1 279294 36 | 0.000 % | 2003.23/2003.24 c | 7407303 | 900 60464 198905 | 1 279929 36 | 0.000 % | 2003.23/2003.24 c | 7408814 | 900 60464 198905 | 1 281440 36 | 0.000 % | 2003.23/2003.24 c | 7416154 | 900 60464 198905 | 1 288780 36 | 0.000 % | 2003.23/2003.24 c | 7435348 | 900 60464 198905 | 1 307974 37 | 0.000 % | 2003.23/2003.24 c | 7436716 | 900 60464 198905 | 1 309342 37 | 0.000 % | 2003.23/2003.24 c | 7448200 | 900 60464 198905 | 1 320826 38 | 0.000 % | 2003.23/2003.24 c | 7457059 | 900 60464 198905 | 1 329685 38 | 0.000 % | 2003.23/2003.24 c | 7464619 | 900 60464 198905 | 1 337245 38 | 0.000 % | 2003.23/2003.24 c | 7471762 | 900 60464 198905 | 1 344388 39 | 0.000 % | 2003.23/2003.24 c | 7482679 | 900 60464 198905 | 1 355305 39 | 0.000 % | 2003.23/2003.24 c | 7488262 | 900 60464 198905 | 1 360888 39 | 0.000 % | 2003.23/2003.24 c | 7489826 | 900 60464 198905 | 1 362452 39 | 0.000 % | 2003.23/2003.24 c | 7489927 | 900 60464 198905 | 1 362553 39 | 0.000 % | 2003.23/2003.24 c | 7493012 | 900 60464 198905 | 1 365638 39 | 0.000 % | 2003.23/2003.24 c | 7493112 | 900 60464 198905 | 1 365738 39 | 0.000 % | 2003.23/2003.24 c | 7496257 | 900 60464 198905 | 1 368883 40 | 0.000 % | 2003.23/2003.24 c | 7506534 | 900 60464 198905 | 1 379160 40 | 0.000 % | 2003.23/2003.24 c | 7508200 | 900 60464 198905 | 1 380826 40 | 0.000 % | 2003.23/2003.24 c | 7587383 | 900 60464 198905 | 1 266201 32 | 0.000 % | 2003.23/2003.24 c | 7603421 | 900 60464 198905 | 1 282239 34 | 0.000 % | 2149.33/2149.31 c | 7654501 | 900 60464 198905 | 1 333319 36 | 0.000 % | 2149.33/2149.31 c | 7657481 | 900 60464 198905 | 1 336299 37 | 0.000 % | 2149.33/2149.31 c | 7680632 | 900 60464 198905 | 1 359450 38 | 0.000 % | 2149.33/2149.31 c | 7682952 | 900 60464 198905 | 1 361770 38 | 0.000 % | 2149.33/2149.31 c | 7689759 | 900 60464 198905 | 1 368577 38 | 0.000 % | 2149.33/2149.31 c | 7691711 | 900 60464 198905 | 1 370529 38 | 0.000 % | 2149.33/2149.31 c | 7691874 | 900 60464 198905 | 1 370692 38 | 0.000 % | 2149.33/2149.31 c | 7698403 | 900 60464 198905 | 1 377221 39 | 0.000 % | 2149.33/2149.31 c | 7700484 | 900 60464 198905 | 1 379302 39 | 0.000 % | 2149.33/2149.31 c | 7706713 | 900 60464 198905 | 1 385531 39 | 0.000 % | 2149.33/2149.31 c | 7710636 | 900 60464 198905 | 1 389454 39 | 0.000 % | 2149.33/2149.31 c | 7716094 | 900 60464 198905 | 1 198510 28 | 0.000 % | 2149.33/2149.31 c | 7723621 | 900 60464 198905 | 1 206037 29 | 0.000 % | 2149.33/2149.31 c | 7728259 | 900 60464 198905 | 1 210675 29 | 0.000 % | 2149.33/2149.31 c | 7735053 | 900 60464 198905 | 1 217469 30 | 0.000 % | 2149.33/2149.31 c | 7735153 | 900 60464 198905 | 1 217569 30 | 0.000 % | 2149.33/2149.31 c | 7738032 | 900 60464 198905 | 1 220448 30 | 0.000 % | 2149.33/2149.31 c | 7755969 | 900 60464 198905 | 1 238385 32 | 0.000 % | 2149.33/2149.31 c | 7774597 | 900 60464 198905 | 1 257013 33 | 0.000 % | 2149.33/2149.31 c | 7778801 | 900 60464 198905 | 1 261217 33 | 0.000 % | 2149.33/2149.31 c | 7807964 | 900 60464 198905 | 1 290380 35 | 0.000 % | 2149.33/2149.31 c | 7820518 | 900 60464 198905 | 1 302934 36 | 0.000 % | 2149.33/2149.31 c | 7822110 | 900 60464 198905 | 1 304526 36 | 0.000 % | 2149.33/2149.31 c | 7822905 | 900 60464 198905 | 1 305321 36 | 0.000 % | 2149.33/2149.31 c | 7838481 | 900 60464 198905 | 1 320897 37 | 0.000 % | 2149.33/2149.31 c | 7838583 | 900 60464 198905 | 1 320999 37 | 0.000 % | 2149.33/2149.31 c | 7848127 | 900 60464 198905 | 1 330543 37 | 0.000 % | 2149.33/2149.31 c | 7857079 | 900 60464 198905 | 1 339495 37 | 0.000 % | 2149.33/2149.31 c | 7866603 | 900 60464 198905 | 1 349019 38 | 0.000 % | 2149.33/2149.31 c | 7874335 | 900 60464 198905 | 1 356751 38 | 0.000 % | 2149.33/2149.31 c | 7876535 | 900 60464 198905 | 1 358951 38 | 0.000 % | 2149.33/2149.31 c | 7886218 | 900 60464 198905 | 1 368634 39 | 0.000 % | 2149.33/2149.31 c | 7904650 | 900 60464 198905 | 1 387066 39 | 0.000 % | 2149.33/2149.31 c | 7913364 | 900 60464 198905 | 1 395780 39 | 0.000 % | 2149.33/2149.31 c | 7921591 | 900 60464 198905 | 1 205006 28 | 0.000 % | 2149.33/2149.31 c | 7921691 | 900 60464 198905 | 1 205106 28 | 0.000 % | 2149.33/2149.31 c | 7921800 | 900 60464 198905 | 1 205215 28 | 0.000 % | 2149.33/2149.31 c | 7923400 | 900 60464 198905 | 1 206815 29 | 0.000 % | 2149.33/2149.31 c | 7924134 | 900 60464 198905 | 1 207549 29 | 0.000 % | 2149.33/2149.31 c | 7926966 | 900 60464 198905 | 1 210381 29 | 0.000 % | 2149.33/2149.31 c | 7945543 | 900 60464 198905 | 1 228958 31 | 0.000 % | 2149.33/2149.31 c | 7963982 | 900 60464 198905 | 1 247397 32 | 0.000 % | 2149.33/2149.31 c | 7969348 | 900 60464 198905 | 1 252763 33 | 0.000 % | 2149.33/2149.31 c | 7969730 | 900 60464 198905 | 1 253145 33 | 0.000 % | 2149.33/2149.31 c | 7977144 | 900 60464 198905 | 1 260559 33 | 0.000 % | 2149.33/2149.31 c | 7977266 | 900 60464 198905 | 1 260681 33 | 0.000 % | 2149.33/2149.31 c | 7985779 | 900 60464 198905 | 1 269194 34 | 0.000 % | 2149.33/2149.31 c | 8024936 | 900 60464 198905 | 1 308351 35 | 0.000 % | 2149.33/2149.31 c | 8027141 | 900 60464 198905 | 1 310556 35 | 0.000 % | 2317.93/2317.92 c | 8052527 | 900 60464 198905 | 1 335942 36 | 0.000 % | 2317.93/2317.92 c | 8052627 | 900 60464 198905 | 1 336042 36 | 0.000 % | 2317.93/2317.92 c | 8052858 | 900 60464 198905 | 1 336273 36 | 0.000 % | 2317.93/2317.92 c | 8054336 | 900 60464 198905 | 1 337751 36 | 0.000 % | 2317.93/2317.92 c | 8073050 | 900 60464 198905 | 1 356465 37 | 0.000 % | 2317.93/2317.92 c | 8073150 | 900 60464 198905 | 1 356565 37 | 0.000 % | 2317.93/2317.92 c | 8075608 | 900 60464 198905 | 1 359023 37 | 0.000 % | 2317.93/2317.92 c | 8110439 | 900 60464 198905 | 1 393854 38 | 0.000 % | 2317.93/2317.92 c | 8110946 | 900 60464 198905 | 1 394361 38 | 0.000 % | 2317.93/2317.92 c | 8120233 | 900 60464 198905 | 1 202055 27 | 0.000 % | 2317.93/2317.92 c | 8124222 | 900 60464 198905 | 1 206044 28 | 0.000 % | 2317.93/2317.92 c | 8144103 | 900 60464 198905 | 1 225925 30 | 0.000 % | 2317.93/2317.92 c | 8166322 | 900 60464 198905 | 1 248144 32 | 0.000 % | 2317.93/2317.92 c | 8202358 | 900 60464 198905 | 1 284180 35 | 0.000 % | 2317.93/2317.92 c | 8210716 | 900 60464 198905 | 1 292538 35 | 0.000 % | 2317.93/2317.92 c | 8216547 | 900 60464 198905 | 1 298369 36 | 0.000 % | 2317.93/2317.92 c | 8245160 | 900 60464 198905 | 1 326982 38 | 0.000 % | 2317.93/2317.92 c | 8245261 | 900 60464 198905 | 1 327083 38 | 0.000 % | 2317.93/2317.92 c | 8252488 | 900 60464 198905 | 1 334310 38 | 0.000 % | 2317.93/2317.92 c | 8256856 | 900 60464 198905 | 1 338678 38 | 0.000 % | 2317.93/2317.92 c | 8257198 | 900 60464 198905 | 1 339020 38 | 0.000 % | 2317.93/2317.92 c | 8258645 | 900 60464 198905 | 1 340467 38 | 0.000 % | 2317.93/2317.92 c | 8267365 | 900 60464 198905 | 1 349187 39 | 0.000 % | 2317.93/2317.92 c | 8267465 | 900 60464 198905 | 1 349287 39 | 0.000 % | 2317.93/2317.92 c | 8268499 | 900 60464 198905 | 1 350321 39 | 0.000 % | 2317.93/2317.92 c | 8269851 | 900 60464 198905 | 1 351673 39 | 0.000 % | 2317.93/2317.92 c | 8271197 | 900 60464 198905 | 1 353019 39 | 0.000 % | 2317.93/2317.92 c | 8314106 | 900 60464 198905 | 1 395928 41 | 0.000 % | 2317.93/2317.92 c | 8315194 | 900 60464 198905 | 1 397016 41 | 0.000 % | 2317.93/2317.92 c | 8315913 | 900 60464 198905 | 1 397735 41 | 0.000 % | 2317.93/2317.92 c | 8337686 | 900 60464 198905 | 1 215302 29 | 0.000 % | 2317.93/2317.92 c | 8346160 | 900 60464 198905 | 1 223776 30 | 0.000 % | 2317.93/2317.92 c | 8346346 | 900 60464 198905 | 1 223962 30 | 0.000 % | 2317.93/2317.92 c | 8380559 | 900 60464 198905 | 1 258175 32 | 0.000 % | 2317.93/2317.92 c | 8381506 | 900 60464 198905 | 1 259122 32 | 0.000 % | 2317.93/2317.92 c | 8387167 | 900 60464 198905 | 1 264783 33 | 0.000 % | 2317.93/2317.92 c | 8390600 | 900 60464 198905 | 1 268216 33 | 0.000 % | 2317.93/2317.92 c | 8424768 | 900 60464 198905 | 1 302384 36 | 0.000 % | 2317.93/2317.92 c | 8455411 | 900 60464 198905 | 1 333027 37 | 0.000 % | 2317.93/2317.92 c | 8455512 | 900 60464 198905 | 1 333128 37 | 0.000 % | 2317.93/2317.92 c | 8465089 | 900 60464 198905 | 1 342705 38 | 0.000 % | 2317.93/2317.92 c | 8465709 | 900 60464 198905 | 1 343325 38 | 0.000 % | 2317.93/2317.92 c | 8467831 | 900 60464 198905 | 1 345447 38 | 0.000 % | 2317.93/2317.92 c | 8485254 | 900 60464 198905 | 1 362870 39 | 0.000 % | 2317.93/2317.92 c | 8485381 | 900 60464 198905 | 1 362997 39 | 0.000 % | 2317.93/2317.92 c | 8485481 | 900 60464 198905 | 1 363097 39 | 0.000 % | 2317.93/2317.92 c | 8485956 | 900 60464 198905 | 1 363572 39 | 0.000 % | 2317.93/2317.92 c | 8491201 | 900 60464 198905 | 1 368817 39 | 0.000 % | 2317.93/2317.92 c | 8503424 | 900 60464 198905 | 1 381040 40 | 0.000 % | 2317.93/2317.92 c | 8503525 | 900 60464 198905 | 1 381141 40 | 0.000 % | 2520.05/2520.02 c | 8508417 | 900 60464 198905 | 1 386033 40 | 0.000 % | 2520.05/2520.02 c | 8522767 | 900 60464 198905 | 1 400383 40 | 0.000 % | 2520.05/2520.02 c | 8523768 | 900 60464 198905 | 1 401384 40 | 0.000 % | 2520.05/2520.02 c | 8526104 | 900 60464 198905 | 1 403720 40 | 0.000 % | 2520.05/2520.02 c | 8526309 | 900 60464 198905 | 1 403925 40 | 0.000 % | 2520.05/2520.02 c | 8568088 | 900 60464 198905 | 1 238903 31 | 0.000 % | 2520.05/2520.02 c | 8577474 | 900 60464 198905 | 1 248289 32 | 0.000 % | 2520.05/2520.02 c | 8593942 | 900 60464 198905 | 1 264757 34 | 0.000 % | 2520.05/2520.02 c | 8661886 | 900 60464 198905 | 1 332701 37 | 0.000 % | 2520.05/2520.02 c | 8661989 | 900 60464 198905 | 1 332804 37 | 0.000 % | 2520.05/2520.02 c | 8662091 | 900 60464 198905 | 1 332906 37 | 0.000 % | 2520.05/2520.02 c | 8672403 | 900 60464 198905 | 1 343218 37 | 0.000 % | 2520.05/2520.02 c | 8673270 | 900 60464 198905 | 1 344085 37 | 0.000 % | 2520.05/2520.02 c | 8707442 | 900 60464 198905 | 1 378257 39 | 0.000 % | 2520.05/2520.02 c | 8743704 | 900 60464 198905 | 1 414519 41 | 0.000 % | 2520.05/2520.02 c | 8749183 | 900 60464 198905 | 1 210596 28 | 0.000 % | 2520.05/2520.02 c | 8755755 | 900 60464 198905 | 1 217168 29 | 0.000 % | 2520.05/2520.02 c | 8757490 | 900 60464 198905 | 1 218903 29 | 0.000 % | 2520.05/2520.02 c | 8763888 | 900 60464 198905 | 1 225301 30 | 0.000 % | 2520.05/2520.02 c | 8775061 | 900 60464 198905 | 1 236474 31 | 0.000 % | 2520.05/2520.02 c | 8775981 | 900 60464 198905 | 1 237394 31 | 0.000 % | 2520.05/2520.02 c | 8776081 | 900 60464 198905 | 1 237494 31 | 0.000 % | 2520.05/2520.02 c | 8785467 | 900 60464 198905 | 1 246880 32 | 0.000 % | 2520.05/2520.02 c | 8791775 | 900 60464 198905 | 1 253188 32 | 0.000 % | 2520.05/2520.02 c | 8845041 | 900 60464 198905 | 1 306454 34 | 0.000 % | 2520.05/2520.02 c | 8877456 | 900 60464 198905 | 1 338869 35 | 0.000 % | 2520.05/2520.02 c | 8896792 | 900 60464 198905 | 1 358205 36 | 0.000 % | 2520.05/2520.02 c | 8898543 | 900 60464 198905 | 1 359956 36 | 0.000 % | 2520.05/2520.02 c | 8905939 | 900 60464 198905 | 1 367352 36 | 0.000 % | 2520.05/2520.02 c | 8906258 | 900 60464 198905 | 1 367671 36 | 0.000 % | 2520.05/2520.02 c | 8909738 | 900 60464 198905 | 1 371151 37 | 0.000 % | 2520.05/2520.02 c | 8909839 | 900 60464 198905 | 1 371252 37 | 0.000 % | 2520.05/2520.02 c | 8946721 | 900 60464 198905 | 1 408134 38 | 0.000 % | 2520.05/2520.02 c | 8950267 | 900 60464 198905 | 1 411680 38 | 0.000 % | 2520.05/2520.02 c | 8956566 | 900 60464 198905 | 1 417979 39 | 0.000 % | 2520.05/2520.02 c | 8961163 | 900 60464 198905 | 1 422576 39 | 0.000 % | 2520.05/2520.02 c | 8961264 | 900 60464 198905 | 1 422677 39 | 0.000 % | 2520.05/2520.02 c | 8964006 | 900 60464 198905 | 1 213420 27 | 0.000 % | 2520.05/2520.02 c | 8985107 | 900 60464 198905 | 1 234521 31 | 0.000 % | 2520.05/2520.02 c | 8985247 | 900 60464 198905 | 1 234661 31 | 0.000 % | 2520.05/2520.02 c | 9003772 | 900 60464 198905 | 1 253186 32 | 0.000 % | 2520.05/2520.02 c | 9003951 | 900 60464 198905 | 1 253365 32 | 0.000 % | 2520.05/2520.02 c | 9004256 | 900 60464 198905 | 1 253670 32 | 0.000 % | 2520.05/2520.02 c | 9004359 | 900 60464 198905 | 1 253773 32 | 0.000 % | 2520.05/2520.02 c | 9038367 | 900 60464 198905 | 1 287781 34 | 0.000 % | 2520.05/2520.02 c | 9040381 | 900 60464 198905 | 1 289795 35 | 0.000 % | 2520.05/2520.02 c | 9040823 | 900 60464 198905 | 1 290237 35 | 0.000 % | 2520.05/2520.02 c | 9049553 | 900 60464 198905 | 1 298967 35 | 0.000 % | 2520.05/2520.02 c | 9050266 | 900 60464 198905 | 1 299680 35 | 0.000 % | 2520.05/2520.02 c | 9050791 | 900 60464 198905 | 1 300205 35 | 0.000 % | 2694.95/2694.90 c | 9051376 | 900 60464 198905 | 1 300790 35 | 0.000 % | 2694.95/2694.90 c | 9059030 | 900 60464 198905 | 1 308444 36 | 0.000 % | 2694.95/2694.90 c | 9064356 | 900 60464 198905 | 1 313770 36 | 0.000 % | 2694.95/2694.90 c | 9071435 | 900 60464 198905 | 1 320849 36 | 0.000 % | 2694.95/2694.90 c | 9071912 | 900 60464 198905 | 1 321326 36 | 0.000 % | 2694.95/2694.90 c | 9092898 | 900 60464 198905 | 1 342312 37 | 0.000 % | 2694.95/2694.90 c | 9094848 | 900 60464 198905 | 1 344262 37 | 0.000 % | 2694.95/2694.90 c | 9094950 | 900 60464 198905 | 1 344364 37 | 0.000 % | 2694.95/2694.90 c | 9095745 | 900 60464 198905 | 1 345159 37 | 0.000 % | 2694.95/2694.90 c | 9096445 | 900 60464 198905 | 1 345859 37 | 0.000 % | 2694.95/2694.90 c | 9100630 | 900 60464 198905 | 1 350044 37 | 0.000 % | 2694.95/2694.90 c | 9101322 | 900 60464 198905 | 1 350736 37 | 0.000 % | 2694.95/2694.90 c | 9110748 | 900 60464 198905 | 1 360162 38 | 0.000 % | 2694.95/2694.90 c | 9119913 | 900 60464 198905 | 1 369327 38 | 0.000 % | 2694.95/2694.90 c | 9120013 | 900 60464 198905 | 1 369427 38 | 0.000 % | 2694.95/2694.90 c | 9179008 | 900 60464 198905 | 1 428422 39 | 0.000 % | 2694.95/2694.90 c | 9197739 | 900 60464 198905 | 1 232559 29 | 0.000 % | 2694.95/2694.90 c | 9200734 | 900 60464 198905 | 1 235554 29 | 0.000 % | 2694.95/2694.90 c | 9220812 | 900 60464 198905 | 1 255632 31 | 0.000 % | 2694.95/2694.90 c | 9220989 | 900 60464 198905 | 1 255809 31 | 0.000 % | 2694.95/2694.90 c | 9226322 | 900 60464 198905 | 1 261142 32 | 0.000 % | 2694.95/2694.90 c | 9228589 | 900 60464 198905 | 1 263409 32 | 0.000 % | 2694.95/2694.90 c | 9247905 | 900 60464 198905 | 1 282725 34 | 0.000 % | 2694.95/2694.90 c | 9256495 | 900 60464 198905 | 1 291315 35 | 0.000 % | 2694.95/2694.90 c | 9257697 | 900 60464 198905 | 1 292517 35 | 0.000 % | 2694.95/2694.90 c | 9258616 | 900 60464 198905 | 1 293436 35 | 0.000 % | 2694.95/2694.90 c | 9259026 | 900 60464 198905 | 1 293846 35 | 0.000 % | 2694.95/2694.90 c | 9305549 | 900 60464 198905 | 1 340369 37 | 0.000 % | 2694.95/2694.90 c | 9320395 | 900 60464 198905 | 1 355215 38 | 0.000 % | 2694.95/2694.90 c | 9338429 | 900 60464 198905 | 1 373249 39 | 0.000 % | 2694.95/2694.90 c | 9347187 | 900 60464 198905 | 1 382007 39 | 0.000 % | 2694.95/2694.90 c | 9348890 | 900 60464 198905 | 1 383710 39 | 0.000 % | 2694.95/2694.90 c | 9369896 | 900 60464 198905 | 1 404716 40 | 0.000 % | 2694.95/2694.90 c | 9384221 | 900 60464 198905 | 1 419041 40 | 0.000 % | 2694.95/2694.90 c | 9392156 | 900 60464 198905 | 1 426976 41 | 0.000 % | 2694.95/2694.90 c | 9392392 | 900 60464 198905 | 1 427212 41 | 0.000 % | 2694.95/2694.90 c | 9397926 | 900 60464 198905 | 1 432746 41 | 0.000 % | 2694.95/2694.90 c | 9405438 | 900 60464 198905 | 1 223060 28 | 0.000 % | 2694.95/2694.90 c | 9414392 | 900 60464 198905 | 1 232014 29 | 0.000 % | 2694.95/2694.90 c | 9431631 | 900 60464 198905 | 1 249253 31 | 0.000 % | 2694.95/2694.90 c | 9434652 | 900 60464 198905 | 1 252274 31 | 0.000 % | 2694.95/2694.90 c | 9454879 | 900 60464 198905 | 1 272501 32 | 0.000 % | 2694.95/2694.90 c | 9461500 | 900 60464 198905 | 1 279122 33 | 0.000 % | 2694.95/2694.90 c | 9461973 | 900 60464 198905 | 1 279595 33 | 0.000 % | 2694.95/2694.90 c | 9462156 | 900 60464 198905 | 1 279778 33 | 0.000 % | 2694.95/2694.90 c | 9472390 | 900 60464 198905 | 1 290012 33 | 0.000 % | 2694.95/2694.90 c | 9474725 | 900 60464 198905 | 1 292347 34 | 0.000 % | 2694.95/2694.90 c | 9515328 | 900 60464 198905 | 1 332950 36 | 0.000 % | 2694.95/2694.90 c | 9515574 | 900 60464 198905 | 1 333196 36 | 0.000 % | 2694.95/2694.90 c | 9516710 | 900 60464 198905 | 1 334332 36 | 0.000 % | 2882.75/2882.76 c | 9526303 | 900 60464 198905 | 1 343925 36 | 0.000 % | 2882.75/2882.76 c | 9531070 | 900 60464 198905 | 1 348692 36 | 0.000 % | 2882.75/2882.76 c | 9570336 | 900 60464 198905 | 1 387958 37 | 0.000 % | 2882.75/2882.76 c | 9603572 | 900 60464 198905 | 1 421194 39 | 0.000 % | 2882.75/2882.76 c | 9618265 | 900 60464 198905 | 1 435887 39 | 0.000 % | 2882.75/2882.76 c | 9631391 | 900 60464 198905 | 1 229212 28 | 0.000 % | 2882.75/2882.76 c | 9632399 | 900 60464 198905 | 1 230220 28 | 0.000 % | 2882.75/2882.76 c | 9632607 | 900 60464 198905 | 1 230428 28 | 0.000 % | 2882.75/2882.76 c | 9632866 | 900 60464 198905 | 1 230687 28 | 0.000 % | 2882.75/2882.76 c | 9638919 | 900 60464 198905 | 1 236740 29 | 0.000 % | 2882.75/2882.76 c | 9645572 | 900 60464 198905 | 1 243393 29 | 0.000 % | 2882.75/2882.76 c | 9662275 | 900 60464 198905 | 1 260096 30 | 0.000 % | 2882.75/2882.76 c | 9681174 | 900 60464 198905 | 1 278995 32 | 0.000 % | 2882.75/2882.76 c | 9731921 | 900 60464 198905 | 1 329742 35 | 0.000 % | 2882.75/2882.76 c | 9734131 | 900 60464 198905 | 1 331952 35 | 0.000 % | 2882.75/2882.76 c | 9737578 | 900 60464 198905 | 1 335399 35 | 0.000 % | 2882.75/2882.76 c | 9741268 | 900 60464 198905 | 1 339089 35 | 0.000 % | 2882.75/2882.76 c | 9756955 | 900 60464 198905 | 1 354776 36 | 0.000 % | 2882.75/2882.76 c | 9767587 | 900 60464 198905 | 1 365408 37 | 0.000 % | 2882.75/2882.76 c | 9775019 | 900 60464 198905 | 1 372840 37 | 0.000 % | 2882.75/2882.76 c | 9775609 | 900 60464 198905 | 1 373430 37 | 0.000 % | 2882.75/2882.76 c | 9780608 | 900 60464 198905 | 1 378429 37 | 0.000 % | 2882.75/2882.76 c | 9795516 | 900 60464 198905 | 1 393337 38 | 0.000 % | 2882.75/2882.76 c | 9799677 | 900 60464 198905 | 1 397498 38 | 0.000 % | 2882.75/2882.76 c | 9802804 | 900 60464 198905 | 1 400625 38 | 0.000 % | 2882.75/2882.76 c | 9810783 | 900 60464 198905 | 1 408604 38 | 0.000 % | 2882.75/2882.76 c | 9819454 | 900 60464 198905 | 1 417275 38 | 0.000 % | 2882.75/2882.76 c | 9819663 | 900 60464 198905 | 1 417484 38 | 0.000 % | 2882.75/2882.76 c | 9821178 | 900 60464 198905 | 1 418999 39 | 0.000 % | 2882.75/2882.76 c | 9823130 | 900 60464 198905 | 1 420951 39 | 0.000 % | 2882.75/2882.76 c | 9829518 | 900 60464 198905 | 1 427339 39 | 0.000 % | 2882.75/2882.76 c | 9832338 | 900 60464 198905 | 1 430159 39 | 0.000 % | 2882.75/2882.76 c | 9854453 | 900 60464 198905 | 1 229869 28 | 0.000 % | 2882.75/2882.76 c | 9854915 | 900 60464 198905 | 1 230331 28 | 0.000 % | 2882.75/2882.76 c | 9864196 | 900 60464 198905 | 1 239612 29 | 0.000 % | 2882.75/2882.76 c | 9893089 | 900 60464 198905 | 1 268505 31 | 0.000 % | 2882.75/2882.76 c | 9893373 | 900 60464 198905 | 1 268789 31 | 0.000 % | 2882.75/2882.76 c | 9893475 | 900 60464 198905 | 1 268891 31 | 0.000 % | 2882.75/2882.76 c | 9893578 | 900 60464 198905 | 1 268994 31 | 0.000 % | 2882.75/2882.76 c | 9905157 | 900 60464 198905 | 1 280573 32 | 0.000 % | 2882.75/2882.76 c | 9931053 | 900 60464 198905 | 1 306469 34 | 0.000 % | 2882.75/2882.76 c | 9934650 | 900 60464 198905 | 1 310066 34 | 0.000 % | 2882.75/2882.76 c | 9934960 | 900 60464 198905 | 1 310376 34 | 0.000 % | 2882.75/2882.76 c | 9952656 | 900 60464 198905 | 1 328072 35 | 0.000 % | 2882.75/2882.76 c | 9952806 | 900 60464 198905 | 1 328222 36 | 0.000 % | 2882.75/2882.76 c | 9965987 | 900 60464 198905 | 1 341403 36 | 0.000 % | 2882.75/2882.76 c | 9985156 | 900 60464 198905 | 1 360572 37 | 0.000 % | 2882.75/2882.76 c | 9990862 | 900 60464 198905 | 1 366278 37 | 0.000 % | 2882.75/2882.76 c | 9990963 | 900 60464 198905 | 1 366379 37 | 0.000 % | 2882.75/2882.76 c | 10005315 | 900 60464 198905 | 1 380731 38 | 0.000 % | 3055.05/3055.03 c | 10006389 | 900 60464 198905 | 1 381805 38 | 0.000 % | 3055.05/3055.03 c | 10013287 | 900 60464 198905 | 1 388703 38 | 0.000 % | 3055.05/3055.03 c | 10014643 | 900 60464 198905 | 1 390059 38 | 0.000 % | 3055.05/3055.03 c | 10016032 | 900 60464 198905 | 1 391448 38 | 0.000 % | 3055.05/3055.03 c | 10017931 | 900 60464 198905 | 1 393347 38 | 0.000 % | 3055.05/3055.03 c | 10018081 | 900 60464 198905 | 1 393497 38 | 0.000 % | 3055.05/3055.03 c | 10041295 | 900 60464 198905 | 1 416711 39 | 0.000 % | 3055.05/3055.03 c | 10051506 | 900 60464 198905 | 1 426922 40 | 0.000 % | 3055.05/3055.03 c | 10051706 | 900 60464 198905 | 1 427122 40 | 0.000 % | 3055.05/3055.03 c | 10062342 | 900 60464 198905 | 1 437758 40 | 0.000 % | 3055.05/3055.03 c | 10063479 | 900 60464 198905 | 1 438895 40 | 0.000 % | 3055.05/3055.03 c | 10078648 | 900 60464 198905 | 1 229066 28 | 0.000 % | 3055.05/3055.03 c | 10081380 | 900 60464 198905 | 1 231798 28 | 0.000 % | 3055.05/3055.03 c | 10108420 | 900 60464 198905 | 1 258838 30 | 0.000 % | 3055.05/3055.03 c | 10111662 | 900 60464 198905 | 1 262080 31 | 0.000 % | 3055.05/3055.03 c | 10125661 | 900 60464 198905 | 1 276079 32 | 0.000 % | 3055.05/3055.03 c | 10133527 | 900 60464 198905 | 1 283945 32 | 0.000 % | 3055.05/3055.03 c | 10148642 | 900 60464 198905 | 1 299060 33 | 0.000 % | 3055.05/3055.03 c | 10161896 | 900 60464 198905 | 1 312314 34 | 0.000 % | 3055.05/3055.03 c | 10163171 | 900 60464 198905 | 1 313589 34 | 0.000 % | 3055.05/3055.03 c | 10182910 | 900 60464 198905 | 1 333328 35 | 0.000 % | 3055.05/3055.03 c | 10183090 | 900 60464 198905 | 1 333508 35 | 0.000 % | 3055.05/3055.03 c | 10184976 | 900 60464 198905 | 1 335394 35 | 0.000 % | 3055.05/3055.03 c | 10202455 | 900 60464 198905 | 1 352873 36 | 0.000 % | 3055.05/3055.03 c | 10210080 | 900 60464 198905 | 1 360498 36 | 0.000 % | 3055.05/3055.03 c | 10228769 | 900 60464 198905 | 1 379187 37 | 0.000 % | 3055.05/3055.03 c | 10228911 | 900 60464 198905 | 1 379329 37 | 0.000 % | 3055.05/3055.03 c | 10229011 | 900 60464 198905 | 1 379429 38 | 0.000 % | 3055.05/3055.03 c | 10229111 | 900 60464 198905 | 1 379529 38 | 0.000 % | 3055.05/3055.03 c | 10229987 | 900 60464 198905 | 1 380405 38 | 0.000 % | 3055.05/3055.03 c | 10249815 | 900 60464 198905 | 1 400233 39 | 0.000 % | 3055.05/3055.03 c | 10249915 | 900 60464 198905 | 1 400333 39 | 0.000 % | 3055.05/3055.03 c | 10267165 | 900 60464 198905 | 1 417583 39 | 0.000 % | 3055.05/3055.03 c | 10267771 | 900 60464 198905 | 1 418189 39 | 0.000 % | 3055.05/3055.03 c | 10270343 | 900 60464 198905 | 1 420761 39 | 0.000 % | 3055.05/3055.03 c | 10295005 | 900 60464 198905 | 1 445423 40 | 0.000 % | 3055.05/3055.03 c | 10307611 | 900 60464 198905 | 1 230425 28 | 0.000 % | 3055.05/3055.03 c | 10341598 | 900 60464 198905 | 1 264412 31 | 0.000 % | 3055.05/3055.03 c | 10344090 | 900 60464 198905 | 1 266904 31 | 0.000 % | 3055.05/3055.03 c | 10344190 | 900 60464 198905 | 1 267004 31 | 0.000 % | 3055.05/3055.03 c | 10344292 | 900 60464 198905 | 1 267106 31 | 0.000 % | 3055.05/3055.03 c | 10344821 | 900 60464 198905 | 1 267635 31 | 0.000 % | 3055.05/3055.03 c | 10344921 | 900 60464 198905 | 1 267735 31 | 0.000 % | 3055.05/3055.03 c | 10366495 | 900 60464 198905 | 1 289309 32 | 0.000 % | 3055.05/3055.03 c | 10367721 | 900 60464 198905 | 1 290535 33 | 0.000 % | 3055.05/3055.03 c | 10407435 | 900 60464 198905 | 1 330249 35 | 0.000 % | 3055.05/3055.03 c | 10421921 | 900 60464 198905 | 1 344735 35 | 0.000 % | 3055.05/3055.03 c | 10429369 | 900 60464 198905 | 1 352183 35 | 0.000 % | 3055.05/3055.03 c | 10450758 | 900 60464 198905 | 1 373572 36 | 0.000 % | 3055.05/3055.03 c | 10458088 | 900 60464 198905 | 1 380902 37 | 0.000 % | 3244.56/3244.52 c | 10467544 | 900 60464 198905 | 1 390358 37 | 0.000 % | 3244.56/3244.52 c | 10482805 | 900 60464 198905 | 1 405619 37 | 0.000 % | 3244.56/3244.52 c | 10494085 | 900 60464 198905 | 1 416899 38 | 0.000 % | 3244.56/3244.52 c | 10515035 | 900 60464 198905 | 1 437849 38 | 0.000 % | 3244.56/3244.52 c | 10515137 | 900 60464 198905 | 1 437951 38 | 0.000 % | 3244.56/3244.52 c | 10519712 | 900 60464 198905 | 1 442526 39 | 0.000 % | 3244.56/3244.52 c | 10532183 | 900 60464 198905 | 1 454997 39 | 0.000 % | 3244.56/3244.52 c | 10532963 | 900 60464 198905 | 1 455777 39 | 0.000 % | 3244.56/3244.52 c | 10533847 | 900 60464 198905 | 1 456661 39 | 0.000 % | 3244.56/3244.52 c | 10534057 | 900 60464 198905 | 1 456871 39 | 0.000 % | 3244.56/3244.52 c | 10559949 | 900 60464 198905 | 1 252566 29 | 0.000 % | 3244.56/3244.52 c | 10595938 | 900 60464 198905 | 1 288555 33 | 0.000 % | 3244.56/3244.52 c | 10596039 | 900 60464 198905 | 1 288656 33 | 0.000 % | 3244.56/3244.52 c | 10604282 | 900 60464 198905 | 1 296899 33 | 0.000 % | 3244.56/3244.52 c | 10605696 | 900 60464 198905 | 1 298313 33 | 0.000 % | 3244.56/3244.52 c | 10619050 | 900 60464 198905 | 1 311667 34 | 0.000 % | 3244.56/3244.52 c | 10628643 | 900 60464 198905 | 1 321260 34 | 0.000 % | 3244.56/3244.52 c | 10638244 | 900 60464 198905 | 1 330861 35 | 0.000 % | 3244.56/3244.52 c | 10649763 | 900 60464 198905 | 1 342380 35 | 0.000 % | 3244.56/3244.52 c | 10652255 | 900 60464 198905 | 1 344872 35 | 0.000 % | 3244.56/3244.52 c | 10652482 | 900 60464 198905 | 1 345099 35 | 0.000 % | 3244.56/3244.52 c | 10656106 | 900 60464 198905 | 1 348723 36 | 0.000 % | 3244.56/3244.52 c | 10675808 | 900 60464 198905 | 1 368425 36 | 0.000 % | 3244.56/3244.52 c | 10675908 | 900 60464 198905 | 1 368525 36 | 0.000 % | 3244.56/3244.52 c | 10689779 | 900 60464 198905 | 1 382396 37 | 0.000 % | 3244.56/3244.52 c | 10692547 | 900 60464 198905 | 1 385164 37 | 0.000 % | 3244.56/3244.52 c | 10703568 | 900 60464 198905 | 1 396185 37 | 0.000 % | 3244.56/3244.52 c | 10711355 | 900 60464 198905 | 1 403972 38 | 0.000 % | 3244.56/3244.52 c | 10737482 | 900 60464 198905 | 1 430099 39 | 0.000 % | 3244.56/3244.52 c | 10743300 | 900 60464 198905 | 1 435917 40 | 0.000 % | 3244.56/3244.52 c | 10745823 | 900 60464 198905 | 1 438440 40 | 0.000 % | 3244.56/3244.52 c | 10769804 | 900 60464 198905 | 1 462421 40 | 0.000 % | 3244.56/3244.52 c | 10776330 | 900 60464 198905 | 1 236145 28 | 0.000 % | 3244.56/3244.52 c | 10783605 | 900 60464 198905 | 1 243420 29 | 0.000 % | 3244.56/3244.52 c | 10783927 | 900 60464 198905 | 1 243742 29 | 0.000 % | 3244.56/3244.52 c | 10784284 | 900 60464 198905 | 1 244099 29 | 0.000 % | 3244.56/3244.52 c | 10819486 | 900 60464 198905 | 1 279301 31 | 0.000 % | 3244.56/3244.52 c | 10825257 | 900 60464 198905 | 1 285072 31 | 0.000 % | 3244.56/3244.52 c | 10826503 | 900 60464 198905 | 1 286318 32 | 0.000 % | 3244.56/3244.52 c | 10826605 | 900 60464 198905 | 1 286420 32 | 0.000 % | 3244.56/3244.52 c | 10847253 | 900 60464 198905 | 1 307068 33 | 0.000 % | 3244.56/3244.52 c | 10851061 | 900 60464 198905 | 1 310876 33 | 0.000 % | 3244.56/3244.52 c | 10875501 | 900 60464 198905 | 1 335316 35 | 0.000 % | 3244.56/3244.52 c | 10875602 | 900 60464 198905 | 1 335417 35 | 0.000 % | 3244.56/3244.52 c | 10884003 | 900 60464 198905 | 1 343818 35 | 0.000 % | 3244.56/3244.52 c | 10886775 | 900 60464 198905 | 1 346590 35 | 0.000 % | 3244.56/3244.52 c | 10886945 | 900 60464 198905 | 1 346760 35 | 0.000 % | 3244.56/3244.52 c | 10903420 | 900 60464 198905 | 1 363235 36 | 0.000 % | 3244.56/3244.52 c | 10925574 | 900 60464 198905 | 1 385389 36 | 0.000 % | 3244.56/3244.52 c | 10926128 | 900 60464 198905 | 1 385943 36 | 0.000 % | 3367.76/3367.77 c | 10930232 | 900 60464 198905 | 1 390047 37 | 0.000 % | 3367.76/3367.77 c | 10942053 | 900 60464 198905 | 1 401868 37 | 0.000 % | 3367.76/3367.77 c | 10944085 | 900 60464 198905 | 1 403900 37 | 0.000 % | 3367.76/3367.77 c | 10944666 | 900 60464 198905 | 1 404481 37 | 0.000 % | 3367.76/3367.77 c | 10954108 | 900 60464 198905 | 1 413923 38 | 0.000 % | 3367.76/3367.77 c | 10954238 | 900 60464 198905 | 1 414053 38 | 0.000 % | 3367.76/3367.77 c | 10955782 | 900 60464 198905 | 1 415597 38 | 0.000 % | 3367.76/3367.77 c | 10956700 | 900 60464 198905 | 1 416515 38 | 0.000 % | 3367.76/3367.77 c | 10957114 | 900 60464 198905 | 1 416929 38 | 0.000 % | 3367.76/3367.77 c | 10963137 | 900 60464 198905 | 1 422952 38 | 0.000 % | 3367.76/3367.77 c | 10973388 | 900 60464 198905 | 1 433203 38 | 0.000 % | 3367.76/3367.77 c | 10982543 | 900 60464 198905 | 1 442358 38 | 0.000 % | 3367.76/3367.77 c | 10982790 | 900 60464 198905 | 1 442605 38 | 0.000 % | 3367.76/3367.77 c | 10986721 | 900 60464 198905 | 1 446536 38 | 0.000 % | 3367.76/3367.77 c | 11019459 | 900 60464 198905 | 1 243879 28 | 0.000 % | 3367.76/3367.77 c | 11028548 | 900 60464 198905 | 1 252968 29 | 0.000 % | 3367.76/3367.77 c | 11028648 | 900 60464 198905 | 1 253068 29 | 0.000 % | 3367.76/3367.77 c | 11028748 | 900 60464 198905 | 1 253168 29 | 0.000 % | 3367.76/3367.77 c | 11028852 | 900 60464 198905 | 1 253272 29 | 0.000 % | 3367.76/3367.77 c | 11037835 | 900 60464 198905 | 1 262255 30 | 0.000 % | 3367.76/3367.77 c | 11037937 | 900 60464 198905 | 1 262357 30 | 0.000 % | 3367.76/3367.77 c | 11038157 | 900 60464 198905 | 1 262577 30 | 0.000 % | 3367.76/3367.77 c | 11039254 | 900 60464 198905 | 1 263674 30 | 0.000 % | 3367.76/3367.77 c | 11039743 | 900 60464 198905 | 1 264163 30 | 0.000 % | 3367.76/3367.77 c | 11039846 | 900 60464 198905 | 1 264266 30 | 0.000 % | 3367.76/3367.77 c | 11040036 | 900 60464 198905 | 1 264456 30 | 0.000 % | 3367.76/3367.77 c | 11053617 | 900 60464 198905 | 1 278037 31 | 0.000 % | 3367.76/3367.77 c | 11058369 | 900 60464 198905 | 1 282789 31 | 0.000 % | 3367.76/3367.77 c | 11058469 | 900 60464 198905 | 1 282889 31 | 0.000 % | 3367.76/3367.77 c | 11062276 | 900 60464 198905 | 1 286696 32 | 0.000 % | 3367.76/3367.77 c | 11069984 | 900 60464 198905 | 1 294404 32 | 0.000 % | 3367.76/3367.77 c | 11070404 | 900 60464 198905 | 1 294824 32 | 0.000 % | 3367.76/3367.77 c | 11103819 | 900 60464 198905 | 1 328239 35 | 0.000 % | 3367.76/3367.77 c | 11103920 | 900 60464 198905 | 1 328340 35 | 0.000 % | 3367.76/3367.77 c | 11104419 | 900 60464 198905 | 1 328839 35 | 0.000 % | 3367.76/3367.77 c | 11113402 | 900 60464 198905 | 1 337822 35 | 0.000 % | 3367.76/3367.77 c | 11121207 | 900 60464 198905 | 1 345627 35 | 0.000 % | 3367.76/3367.77 c | 11139586 | 900 60464 198905 | 1 364006 36 | 0.000 % | 3367.76/3367.77 c | 11174410 | 900 60464 198905 | 1 398830 38 | 0.000 % | 3367.76/3367.77 c | 11184849 | 900 60464 198905 | 1 409269 38 | 0.000 % | 3367.76/3367.77 c | 11185469 | 900 60464 198905 | 1 409889 38 | 0.000 % | 3367.76/3367.77 c | 11185717 | 900 60464 198905 | 1 410137 38 | 0.000 % | 3367.76/3367.77 c | 11190257 | 900 60464 198905 | 1 414677 38 | 0.000 % | 3367.76/3367.77 c | 11190357 | 900 60464 198905 | 1 414777 38 | 0.000 % | 3367.76/3367.77 c | 11215084 | 900 60464 198905 | 1 439504 39 | 0.000 % | 3367.76/3367.77 c | 11215846 | 900 60464 198905 | 1 440266 39 | 0.000 % | 3367.76/3367.77 c | 11215949 | 900 60464 198905 | 1 440369 39 | 0.000 % | 3367.76/3367.77 c | 11216074 | 900 60464 198905 | 1 440494 39 | 0.000 % | 3367.76/3367.77 c | 11217015 | 900 60464 198905 | 1 441435 39 | 0.000 % | 3367.76/3367.77 c | 11217345 | 900 60464 198905 | 1 441765 39 | 0.000 % | 3520.86/3520.81 c | 11218428 | 900 60464 198905 | 1 442848 39 | 0.000 % | 3520.86/3520.81 c | 11247894 | 900 60464 198905 | 1 472314 40 | 0.000 % | 3520.86/3520.81 c | 11247999 | 900 60464 198905 | 1 472419 40 | 0.000 % | 3520.86/3520.81 c | 11251168 | 900 60464 198905 | 1 475588 40 | 0.000 % | 3520.86/3520.81 c | 11254328 | 900 60464 198905 | 1 240746 28 | 0.000 % | 3520.86/3520.81 c | 11254430 | 900 60464 198905 | 1 240848 28 | 0.000 % | 3520.86/3520.81 c | 11254530 | 900 60464 198905 | 1 240948 28 | 0.000 % | 3520.86/3520.81 c | 11255466 | 900 60464 198905 | 1 241884 28 | 0.000 % | 3520.86/3520.81 c | 11261081 | 900 60464 198905 | 1 247499 28 | 0.000 % | 3520.86/3520.81 c | 11268902 | 900 60464 198905 | 1 255320 29 | 0.000 % | 3520.86/3520.81 c | 11269015 | 900 60464 198905 | 1 255433 29 | 0.000 % | 3520.86/3520.81 c | 11278956 | 900 60464 198905 | 1 265374 31 | 0.000 % | 3520.86/3520.81 c | 11282373 | 900 60464 198905 | 1 268791 31 | 0.000 % | 3520.86/3520.81 c | 11282474 | 900 60464 198905 | 1 268892 31 | 0.000 % | 3520.86/3520.81 c | 11289459 | 900 60464 198905 | 1 275877 31 | 0.000 % | 3520.86/3520.81 c | 11289560 | 900 60464 198905 | 1 275978 31 | 0.000 % | 3520.86/3520.81 c | 11298024 | 900 60464 198905 | 1 284442 32 | 0.000 % | 3520.86/3520.81 c | 11298126 | 900 60464 198905 | 1 284544 32 | 0.000 % | 3520.86/3520.81 c | 11312686 | 900 60464 198905 | 1 299104 33 | 0.000 % | 3520.86/3520.81 c | 11314245 | 900 60464 198905 | 1 300663 33 | 0.000 % | 3520.86/3520.81 c | 11329579 | 900 60464 198905 | 1 315997 35 | 0.000 % | 3520.86/3520.81 c | 11329680 | 900 60464 198905 | 1 316098 35 | 0.000 % | 3520.86/3520.81 c | 11340290 | 900 60464 198905 | 1 326708 35 | 0.000 % | 3520.86/3520.81 c | 11377857 | 900 60464 198905 | 1 364275 36 | 0.000 % | 3520.86/3520.81 c | 11378643 | 900 60464 198905 | 1 365061 36 | 0.000 % | 3520.86/3520.81 c | 11394485 | 900 60464 198905 | 1 380903 37 | 0.000 % | 3520.86/3520.81 c | 11432012 | 900 60464 198905 | 1 418430 38 | 0.000 % | 3520.86/3520.81 c | 11434762 | 900 60464 198905 | 1 421180 38 | 0.000 % | 3520.86/3520.81 c | 11434942 | 900 60464 198905 | 1 421360 38 | 0.000 % | 3520.86/3520.81 c | 11436821 | 900 60464 198905 | 1 423239 38 | 0.000 % | 3520.86/3520.81 c | 11462774 | 900 60464 198905 | 1 449192 39 | 0.000 % | 3520.86/3520.81 c | 11471847 | 900 60464 198905 | 1 458265 39 | 0.000 % | 3520.86/3520.81 c | 11484973 | 900 60464 198905 | 1 471391 39 | 0.000 % | 3520.86/3520.81 c | 11487760 | 900 60464 198905 | 1 474178 39 | 0.000 % | 3520.86/3520.81 c | 11494624 | 900 60464 198905 | 1 481042 40 | 0.000 % | 3520.86/3520.81 c | 11496428 | 900 60464 198905 | 1 242242 27 | 0.000 % | 3520.86/3520.81 c | 11508454 | 900 60464 198905 | 1 254268 29 | 0.000 % | 3520.86/3520.81 c | 11509896 | 900 60464 198905 | 1 255710 29 | 0.000 % | 3520.86/3520.81 c | 11532178 | 900 60464 198905 | 1 277992 31 | 0.000 % | 3520.86/3520.81 c | 11532280 | 900 60464 198905 | 1 278094 31 | 0.000 % | 3520.86/3520.81 c | 11538804 | 900 60464 198905 | 1 284618 31 | 0.000 % | 3520.86/3520.81 c | 11543242 | 900 60464 198905 | 1 289056 32 | 0.000 % | 3520.86/3520.81 c | 11547893 | 900 60464 198905 | 1 293707 32 | 0.000 % | 3520.86/3520.81 c | 11555933 | 900 60464 198905 | 1 301747 33 | 0.000 % | 3520.86/3520.81 c | 11558845 | 900 60464 198905 | 1 304659 33 | 0.000 % | 3520.86/3520.81 c | 11563362 | 900 60464 198905 | 1 309176 33 | 0.000 % | 3520.86/3520.81 c | 11571320 | 900 60464 198905 | 1 317134 34 | 0.000 % | 3520.86/3520.81 c | 11572060 | 900 60464 198905 | 1 317874 34 | 0.000 % | 3520.86/3520.81 c | 11577808 | 900 60464 198905 | 1 323622 34 | 0.000 % | 3520.86/3520.81 c | 11577924 | 900 60464 198905 | 1 323738 34 | 0.000 % | 3765.47/3765.45 c | 11579894 | 900 60464 198905 | 1 325708 34 | 0.000 % | 3765.47/3765.45 c | 11635634 | 900 60464 198905 | 1 381448 36 | 0.000 % | 3765.47/3765.45 c | 11657033 | 900 60464 198905 | 1 402847 36 | 0.000 % | 3765.47/3765.45 c | 11657883 | 900 60464 198905 | 1 403697 36 | 0.000 % | 3765.47/3765.45 c | 11669902 | 900 60464 198905 | 1 415716 37 | 0.000 % | 3765.47/3765.45 c | 11672593 | 900 60464 198905 | 1 418407 37 | 0.000 % | 3765.47/3765.45 c | 11672717 | 900 60464 198905 | 1 418531 37 | 0.000 % | 3765.47/3765.45 c | 11675597 | 900 60464 198905 | 1 421411 37 | 0.000 % | 3765.47/3765.45 c | 11677106 | 900 60464 198905 | 1 422920 37 | 0.000 % | 3765.47/3765.45 c | 11703853 | 900 60464 198905 | 1 449667 37 | 0.000 % | 3765.47/3765.45 c | 11744045 | 900 60464 198905 | 1 246664 27 | 0.000 % | 3765.47/3765.45 c | 11749385 | 900 60464 198905 | 1 252004 27 | 0.000 % | 3765.47/3765.45 c | 11753958 | 900 60464 198905 | 1 256577 28 | 0.000 % | 3765.47/3765.45 c | 11754237 | 900 60464 198905 | 1 256856 28 | 0.000 % | 3765.47/3765.45 c | 11783214 | 900 60464 198905 | 1 285833 30 | 0.000 % | 3765.47/3765.45 c | 11784779 | 900 60464 198905 | 1 287398 30 | 0.000 % | 3765.47/3765.45 c | 11800750 | 900 60464 198905 | 1 303369 31 | 0.000 % | 3765.47/3765.45 c | 11811325 | 900 60464 198905 | 1 313944 31 | 0.000 % | 3765.47/3765.45 c | 11848735 | 900 60464 198905 | 1 351354 33 | 0.000 % | 3765.47/3765.45 c | 11868045 | 900 60464 198905 | 1 370664 34 | 0.000 % | 3765.47/3765.45 c | 11870301 | 900 60464 198905 | 1 372920 34 | 0.000 % | 3765.47/3765.45 c | 11870401 | 900 60464 198905 | 1 373020 34 | 0.000 % | 3765.47/3765.45 c | 11882155 | 900 60464 198905 | 1 384774 34 | 0.000 % | 3765.47/3765.45 c | 11882508 | 900 60464 198905 | 1 385127 34 | 0.000 % | 3765.47/3765.45 c | 11888198 | 900 60464 198905 | 1 390817 35 | 0.000 % | 3765.47/3765.45 c | 11889486 | 900 60464 198905 | 1 392105 35 | 0.000 % | 3765.47/3765.45 c | 11892402 | 900 60464 198905 | 1 395021 35 | 0.000 % | 3765.47/3765.45 c | 11892504 | 900 60464 198905 | 1 395123 35 | 0.000 % | 3765.47/3765.45 c | 11893307 | 900 60464 198905 | 1 395926 35 | 0.000 % | 3765.47/3765.45 c | 11896283 | 900 60464 198905 | 1 398902 35 | 0.000 % | 3765.47/3765.45 c | 11896383 | 900 60464 198905 | 1 399002 35 | 0.000 % | 3765.47/3765.45 c | 11899027 | 900 60464 198905 | 1 401646 35 | 0.000 % | 3765.47/3765.45 c | 11899127 | 900 60464 198905 | 1 401746 35 | 0.000 % | 3765.47/3765.45 c | 11917793 | 900 60464 198905 | 1 420412 35 | 0.000 % | 3765.47/3765.45 c | 11922704 | 900 60464 198905 | 1 425323 35 | 0.000 % | 3765.47/3765.45 c | 11944714 | 900 60464 198905 | 1 447333 36 | 0.000 % | 3765.47/3765.45 c | 11949927 | 900 60464 198905 | 1 452546 36 | 0.000 % | 3765.47/3765.45 c | 11966375 | 900 60464 198905 | 1 468994 37 | 0.000 % | 3765.47/3765.45 c | 11971448 | 900 60464 198905 | 1 474067 37 | 0.000 % | 3765.47/3765.45 c | 11972025 | 900 60464 198905 | 1 474644 37 | 0.000 % | 3765.47/3765.45 c | 11979688 | 900 60464 198905 | 1 482307 37 | 0.000 % | 3765.47/3765.45 c | 11981412 | 900 60464 198905 | 1 484031 37 | 0.000 % | 3765.47/3765.45 c | 11990481 | 900 60464 198905 | 1 247300 26 | 0.000 % | 3765.47/3765.45 c | 11991774 | 900 60464 198905 | 1 248593 26 | 0.000 % | 3765.47/3765.45 c | 12000700 | 900 60464 198905 | 1 257519 27 | 0.000 % | 3765.47/3765.45 c | 12006124 | 900 60464 198905 | 1 262943 27 | 0.000 % | 3765.47/3765.45 c | 12007262 | 900 60464 198905 | 1 264081 28 | 0.000 % | 3765.47/3765.45 c | 12016477 | 900 60464 198905 | 1 273296 28 | 0.000 % | 3765.47/3765.45 c | 12018752 | 900 60464 198905 | 1 275571 28 | 0.000 % | 3765.47/3765.45 c | 12022548 | 900 60464 198905 | 1 279367 29 | 0.000 % | 3952.38/3952.36 c | 12025273 | 900 60464 198905 | 1 282092 29 | 0.000 % | 3952.38/3952.36 c | 12028864 | 900 60464 198905 | 1 285683 29 | 0.000 % | 3952.38/3952.36 c | 12028985 | 900 60464 198905 | 1 285804 29 | 0.000 % | 3952.38/3952.36 c | 12029086 | 900 60464 198905 | 1 285905 29 | 0.000 % | 3952.38/3952.36 c | 12055167 | 900 60464 198905 | 1 311986 31 | 0.000 % | 3952.38/3952.36 c | 12057356 | 900 60464 198905 | 1 314175 31 | 0.000 % | 3952.38/3952.36 c | 12061427 | 900 60464 198905 | 1 318246 31 | 0.000 % | 3952.38/3952.36 c | 12067572 | 900 60464 198905 | 1 324391 31 | 0.000 % | 3952.38/3952.36 c | 12072641 | 900 60464 198905 | 1 329460 31 | 0.000 % | 3952.38/3952.36 c | 12080420 | 900 60464 198905 | 1 337239 32 | 0.000 % | 3952.38/3952.36 c | 12108900 | 900 60464 198905 | 1 365719 33 | 0.000 % | 3952.38/3952.36 c | 12130117 | 900 60464 198905 | 1 386936 34 | 0.000 % | 3952.38/3952.36 c | 12136110 | 900 60464 198905 | 1 392929 34 | 0.000 % | 3952.38/3952.36 c | 12146400 | 900 60464 198905 | 1 403219 34 | 0.000 % | 3952.38/3952.36 c | 12150799 | 900 60464 198905 | 1 407618 34 | 0.000 % | 3952.38/3952.36 c | 12150901 | 900 60464 198905 | 1 407720 34 | 0.000 % | 3952.38/3952.36 c | 12152253 | 900 60464 198905 | 1 409072 34 | 0.000 % | 3952.38/3952.36 c | 12154356 | 900 60464 198905 | 1 411175 34 | 0.000 % | 3952.38/3952.36 c | 12156311 | 900 60464 198905 | 1 413130 34 | 0.000 % | 3952.38/3952.36 c | 12156831 | 900 60464 198905 | 1 413650 34 | 0.000 % | 3952.38/3952.36 c | 12161413 | 900 60464 198905 | 1 418232 35 | 0.000 % | 3952.38/3952.36 c | 12163685 | 900 60464 198905 | 1 420504 35 | 0.000 % | 3952.38/3952.36 c | 12167417 | 900 60464 198905 | 1 424236 35 | 0.000 % | 3952.38/3952.36 c | 12171522 | 900 60464 198905 | 1 428341 35 | 0.000 % | 3952.38/3952.36 c | 12171622 | 900 60464 198905 | 1 428441 35 | 0.000 % | 3952.38/3952.36 c | 12173603 | 900 60464 198905 | 1 430422 35 | 0.000 % | 3952.38/3952.36 c | 12173704 | 900 60464 198905 | 1 430523 35 | 0.000 % | 3952.38/3952.36 c | 12176549 | 900 60464 198905 | 1 433368 35 | 0.000 % | 3952.38/3952.36 c | 12183093 | 900 60464 198905 | 1 439912 35 | 0.000 % | 3952.38/3952.36 c | 12186267 | 900 60464 198905 | 1 443086 35 | 0.000 % | 3952.38/3952.36 c | 12193131 | 900 60464 198905 | 1 449950 35 | 0.000 % | 3952.38/3952.36 c | 12193635 | 900 60464 198905 | 1 450454 35 | 0.000 % | 3952.38/3952.36 c | 12212615 | 900 60464 198905 | 1 469434 36 | 0.000 % | 3952.38/3952.36 c | 12220176 | 900 60464 198905 | 1 476995 36 | 0.000 % | 3952.38/3952.36 c | 12227489 | 900 60464 198905 | 1 484308 36 | 0.000 % | 3952.38/3952.36 c | 12227589 | 900 60464 198905 | 1 484408 36 | 0.000 % | 3952.38/3952.36 c | 12235420 | 900 60464 198905 | 1 492239 36 | 0.000 % | 3952.38/3952.36 c | 12236095 | 900 60464 198905 | 1 492914 36 | 0.000 % | 3952.38/3952.36 c | 12240736 | 900 60464 198905 | 1 249147 26 | 0.000 % | 3952.38/3952.36 c | 12248738 | 900 60464 198905 | 1 257149 26 | 0.000 % | 3952.38/3952.36 c | 12255292 | 900 60464 198905 | 1 263703 27 | 0.000 % | 3952.38/3952.36 c | 12292070 | 900 60464 198905 | 1 300481 29 | 0.000 % | 3952.38/3952.36 c | 12298572 | 900 60464 198905 | 1 306983 30 | 0.000 % | 3952.38/3952.36 c | 12328650 | 900 60464 198905 | 1 337061 32 | 0.000 % | 3952.38/3952.36 c | 12346520 | 900 60464 198905 | 1 354931 33 | 0.000 % | 3952.38/3952.36 c | 12346746 | 900 60464 198905 | 1 355157 33 | 0.000 % | 3952.38/3952.36 c | 12346848 | 900 60464 198905 | 1 355259 33 | 0.000 % | 3952.38/3952.36 c | 12357711 | 900 60464 198905 | 1 366122 33 | 0.000 % | 3952.38/3952.36 c | 12368172 | 900 60464 198905 | 1 376583 34 | 0.000 % | 3952.38/3952.36 c | 12372801 | 900 60464 198905 | 1 381212 34 | 0.000 % | 4173.17/4173.13 c | 12386575 | 900 60464 198905 | 1 394986 34 | 0.000 % | 4173.17/4173.13 c | 12415950 | 900 60464 198905 | 1 424361 35 | 0.000 % | 4173.17/4173.13 c | 12416053 | 900 60464 198905 | 1 424464 35 | 0.000 % | 4173.17/4173.13 c | 12417913 | 900 60464 198905 | 1 426324 35 | 0.000 % | 4173.17/4173.13 c | 12423069 | 900 60464 198905 | 1 431480 35 | 0.000 % | 4173.17/4173.13 c | 12434383 | 900 60464 198905 | 1 442794 36 | 0.000 % | 4173.17/4173.13 c | 12434484 | 900 60464 198905 | 1 442895 36 | 0.000 % | 4173.17/4173.13 c | 12434833 | 900 60464 198905 | 1 443244 36 | 0.000 % | 4173.17/4173.13 c | 12460217 | 900 60464 198905 | 1 468628 36 | 0.000 % | 4173.17/4173.13 c | 12472129 | 900 60464 198905 | 1 480540 36 | 0.000 % | 4173.17/4173.13 c | 12472827 | 900 60464 198905 | 1 481238 36 | 0.000 % | 4173.17/4173.13 c | 12472927 | 900 60464 198905 | 1 481338 36 | 0.000 % | 4173.17/4173.13 c | 12510611 | 900 60464 198905 | 1 268023 28 | 0.000 % | 4173.17/4173.13 c | 12537150 | 900 60464 198905 | 1 294562 29 | 0.000 % | 4173.17/4173.13 c | 12537251 | 900 60464 198905 | 1 294663 29 | 0.000 % | 4173.17/4173.13 c | 12547533 | 900 60464 198905 | 1 304945 30 | 0.000 % | 4173.17/4173.13 c | 12547633 | 900 60464 198905 | 1 305045 30 | 0.000 % | 4173.17/4173.13 c | 12550187 | 900 60464 198905 | 1 307599 30 | 0.000 % | 4173.17/4173.13 c | 12588373 | 900 60464 198905 | 1 345785 32 | 0.000 % | 4173.17/4173.13 c | 12591304 | 900 60464 198905 | 1 348716 32 | 0.000 % | 4173.17/4173.13 c | 12594486 | 900 60464 198905 | 1 351898 32 | 0.000 % | 4173.17/4173.13 c | 12595721 | 900 60464 198905 | 1 353133 33 | 0.000 % | 4173.17/4173.13 c | 12599625 | 900 60464 198905 | 1 357037 33 | 0.000 % | 4173.17/4173.13 c | 12609032 | 900 60464 198905 | 1 366444 33 | 0.000 % | 4173.17/4173.13 c | 12609134 | 900 60464 198905 | 1 366546 33 | 0.000 % | 4173.17/4173.13 c | 12649248 | 900 60464 198905 | 1 406660 34 | 0.000 % | 4173.17/4173.13 c | 12661153 | 900 60464 198905 | 1 418565 35 | 0.000 % | 4173.17/4173.13 c | 12669899 | 900 60464 198905 | 1 427311 35 | 0.000 % | 4173.17/4173.13 c | 12672327 | 900 60464 198905 | 1 429739 36 | 0.000 % | 4173.17/4173.13 c | 12682474 | 900 60464 198905 | 1 439886 36 | 0.000 % | 4173.17/4173.13 c | 12693561 | 900 60464 198905 | 1 450973 36 | 0.000 % | 4173.17/4173.13 c | 12707802 | 900 60464 198905 | 1 465214 37 | 0.000 % | 4173.17/4173.13 c | 12707968 | 900 60464 198905 | 1 465380 37 | 0.000 % | 4173.17/4173.13 c | 12708072 | 900 60464 198905 | 1 465484 37 | 0.000 % | 4173.17/4173.13 c | 12725315 | 900 60464 198905 | 1 482727 37 | 0.000 % | 4173.17/4173.13 c | 12735310 | 900 60464 198905 | 1 492722 37 | 0.000 % | 4173.17/4173.13 c | 12738363 | 900 60464 198905 | 1 495775 37 | 0.000 % | 4173.17/4173.13 c | 12738463 | 900 60464 198905 | 1 495875 37 | 0.000 % | 4173.17/4173.13 c | 12741488 | 900 60464 198905 | 1 498900 37 | 0.000 % | 4173.17/4173.13 c | 12757998 | 900 60464 198905 | 1 261811 27 | 0.000 % | 4173.17/4173.13 c | 12759273 | 900 60464 198905 | 1 263086 27 | 0.000 % | 4173.17/4173.13 c | 12797535 | 900 60464 198905 | 1 301348 29 | 0.000 % | 4173.17/4173.13 c | 12800166 | 900 60464 198905 | 1 303979 29 | 0.000 % | 4173.17/4173.13 c | 12818013 | 900 60464 198905 | 1 321826 30 | 0.000 % | 4173.17/4173.13 c | 12818113 | 900 60464 198905 | 1 321926 30 | 0.000 % | 4173.17/4173.13 c | 12820587 | 900 60464 198905 | 1 324400 31 | 0.000 % | 4173.17/4173.13 c | 12855889 | 900 60464 198905 | 1 359702 32 | 0.000 % | 4173.17/4173.13 c | 12858567 | 900 60464 198905 | 1 362380 33 | 0.000 % | 4173.17/4173.13 c | 12858667 | 900 60464 198905 | 1 362480 33 | 0.000 % | 4173.17/4173.13 c | 12870131 | 900 60464 198905 | 1 373944 33 | 0.000 % | 4365.68/4365.60 c | 12870849 | 900 60464 198905 | 1 374662 33 | 0.000 % | 4365.68/4365.60 c | 12877248 | 900 60464 198905 | 1 381061 33 | 0.000 % | 4365.68/4365.60 c | 12885932 | 900 60464 198905 | 1 389745 33 | 0.000 % | 4365.68/4365.60 c | 12886748 | 900 60464 198905 | 1 390561 33 | 0.000 % | 4365.68/4365.60 c | 12892233 | 900 60464 198905 | 1 396046 33 | 0.000 % | 4365.68/4365.60 c | 12926342 | 900 60464 198905 | 1 430155 35 | 0.000 % | 4365.68/4365.60 c | 12936471 | 900 60464 198905 | 1 440284 35 | 0.000 % | 4365.68/4365.60 c | 12966492 | 900 60464 198905 | 1 470305 36 | 0.000 % | 4365.68/4365.60 c | 12988108 | 900 60464 198905 | 1 491921 37 | 0.000 % | 4365.68/4365.60 c | 12992305 | 900 60464 198905 | 1 496118 37 | 0.000 % | 4365.68/4365.60 c | 12992478 | 900 60464 198905 | 1 496291 37 | 0.000 % | 4365.68/4365.60 c | 12997210 | 900 60464 198905 | 1 501023 37 | 0.000 % | 4365.68/4365.60 c | 13002279 | 900 60464 198905 | 1 506092 37 | 0.000 % | 4365.68/4365.60 c | 13006627 | 900 60464 198905 | 1 510440 37 | 0.000 % | 4365.68/4365.60 c | 13008361 | 900 60464 198905 | 1 512174 37 | 0.000 % | 4365.68/4365.60 c | 13008727 | 900 60464 198905 | 1 256343 26 | 0.000 % | 4365.68/4365.60 c | 13008828 | 900 60464 198905 | 1 256444 26 | 0.000 % | 4365.68/4365.60 c | 13009724 | 900 60464 198905 | 1 257340 26 | 0.000 % | 4365.68/4365.60 c | 13009826 | 900 60464 198905 | 1 257442 26 | 0.000 % | 4365.68/4365.60 c | 13050899 | 900 60464 198905 | 1 298515 31 | 0.000 % | 4365.68/4365.60 c | 13068920 | 900 60464 198905 | 1 316536 32 | 0.000 % | 4365.68/4365.60 c | 13072606 | 900 60464 198905 | 1 320222 32 | 0.000 % | 4365.68/4365.60 c | 13072706 | 900 60464 198905 | 1 320322 32 | 0.000 % | 4365.68/4365.60 c | 13080375 | 900 60464 198905 | 1 327991 33 | 0.000 % | 4365.68/4365.60 c | 13080984 | 900 60464 198905 | 1 328600 33 | 0.000 % | 4365.68/4365.60 c | 13088313 | 900 60464 198905 | 1 335929 33 | 0.000 % | 4365.68/4365.60 c | 13100882 | 900 60464 198905 | 1 348498 34 | 0.000 % | 4365.68/4365.60 c | 13101289 | 900 60464 198905 | 1 348905 34 | 0.000 % | 4365.68/4365.60 c | 13120999 | 900 60464 198905 | 1 368615 35 | 0.000 % | 4365.68/4365.60 c | 13123754 | 900 60464 198905 | 1 371370 35 | 0.000 % | 4365.68/4365.60 c | 13127634 | 900 60464 198905 | 1 375250 35 | 0.000 % | 4365.68/4365.60 c | 13152950 | 900 60464 198905 | 1 400566 37 | 0.000 % | 4365.68/4365.60 c | 13156197 | 900 60464 198905 | 1 403813 37 | 0.000 % | 4365.68/4365.60 c | 13188627 | 900 60464 198905 | 1 436243 38 | 0.000 % | 4365.68/4365.60 c | 13194233 | 900 60464 198905 | 1 441849 38 | 0.000 % | 4365.68/4365.60 c | 13197064 | 900 60464 198905 | 1 444680 38 | 0.000 % | 4365.68/4365.60 c | 13198370 | 900 60464 198905 | 1 445986 38 | 0.000 % | 4365.68/4365.60 c | 13210370 | 900 60464 198905 | 1 457986 38 | 0.000 % | 4365.68/4365.60 c | 13218465 | 900 60464 198905 | 1 466081 38 | 0.000 % | 4365.68/4365.60 c | 13221054 | 900 60464 198905 | 1 468670 38 | 0.000 % | 4365.68/4365.60 c | 13224640 | 900 60464 198905 | 1 472256 38 | 0.000 % | 4365.68/4365.60 c | 13232472 | 900 60464 198905 | 1 480088 38 | 0.000 % | 4365.68/4365.60 c | 13232573 | 900 60464 198905 | 1 480189 38 | 0.000 % | 4365.68/4365.60 c | 13238388 | 900 60464 198905 | 1 486004 38 | 0.000 % | 4365.68/4365.60 c | 13242379 | 900 60464 198905 | 1 489995 39 | 0.000 % | 4365.68/4365.60 c | 13261417 | 900 60464 198905 | 1 509033 38 | 0.000 % | 4365.68/4365.60 c | 13262279 | 900 60464 198905 | 1 509895 39 | 0.000 % | 4365.68/4365.60 c | 13266400 | 900 60464 198905 | 1 514016 39 | 0.000 % | 4365.68/4365.60 c | 13282632 | 900 60464 198905 | 1 271445 27 | 0.000 % | 4365.68/4365.60 c | 13290161 | 900 60464 198905 | 1 278974 28 | 0.000 % | 4584.29/4584.26 c | 13302190 | 900 60464 198905 | 1 291003 28 | 0.000 % | 4584.29/4584.26 c | 13302295 | 900 60464 198905 | 1 291108 28 | 0.000 % | 4584.29/4584.26 c | 13310108 | 900 60464 198905 | 1 298921 29 | 0.000 % | 4584.29/4584.26 c | 13324486 | 900 60464 198905 | 1 313299 30 | 0.000 % | 4584.29/4584.26 c | 13337251 | 900 60464 198905 | 1 326064 31 | 0.000 % | 4584.29/4584.26 c | 13340080 | 900 60464 198905 | 1 328893 31 | 0.000 % | 4584.29/4584.26 c | 13344443 | 900 60464 198905 | 1 333256 31 | 0.000 % | 4584.29/4584.26 c | 13406991 | 900 60464 198905 | 1 395804 35 | 0.000 % | 4584.29/4584.26 c | 13498014 | 900 60464 198905 | 1 486827 37 | 0.000 % | 4584.29/4584.26 c | 13500474 | 900 60464 198905 | 1 489287 37 | 0.000 % | 4584.29/4584.26 c | 13517451 | 900 60464 198905 | 1 506264 38 | 0.000 % | 4584.29/4584.26 c | 13522558 | 900 60464 198905 | 1 511371 38 | 0.000 % | 4584.29/4584.26 c | 13528307 | 900 60464 198905 | 1 517120 38 | 0.000 % | 4584.29/4584.26 c | 13547647 | 900 60464 198905 | 1 275058 28 | 0.000 % | 4584.29/4584.26 c | 13611625 | 900 60464 198905 | 1 339036 32 | 0.000 % | 4584.29/4584.26 c | 13645817 | 900 60464 198905 | 1 373228 34 | 0.000 % | 4584.29/4584.26 c | 13646553 | 900 60464 198905 | 1 373964 34 | 0.000 % | 4584.29/4584.26 c | 13651924 | 900 60464 198905 | 1 379335 34 | 0.000 % | 4584.29/4584.26 c | 13655913 | 900 60464 198905 | 1 383324 34 | 0.000 % | 4584.29/4584.26 c | 13659207 | 900 60464 198905 | 1 386618 34 | 0.000 % | 4584.29/4584.26 c | 13685282 | 900 60464 198905 | 1 412693 35 | 0.000 % | 4584.29/4584.26 c | 13690685 | 900 60464 198905 | 1 418096 35 | 0.000 % | 4584.29/4584.26 c | 13692662 | 900 60464 198905 | 1 420073 36 | 0.000 % | 4584.29/4584.26 c | 13746406 | 900 60464 198905 | 1 473817 37 | 0.000 % | 4584.29/4584.26 c | 13756441 | 900 60464 198905 | 1 483852 38 | 0.000 % | 4584.29/4584.26 c | 13756545 | 900 60464 198905 | 1 483956 38 | 0.000 % | 4584.29/4584.26 c | 13783105 | 900 60464 198905 | 1 510516 38 | 0.000 % | 4584.29/4584.26 c | 13786468 | 900 60464 198905 | 1 513879 38 | 0.000 % | 4584.29/4584.26 c | 13795135 | 900 60464 198905 | 1 522546 38 | 0.000 % | 4584.29/4584.26 c | 13796559 | 900 60464 198905 | 1 523970 38 | 0.000 % | 4584.29/4584.26 c | 13797558 | 900 60464 198905 | 1 524969 38 | 0.000 % | 4584.29/4584.26 c | 13797659 | 900 60464 198905 | 1 525070 38 | 0.000 % | 4584.29/4584.26 c | 13801212 | 900 60464 198905 | 1 264625 27 | 0.000 % | 4584.29/4584.26 c | 13802698 | 900 60464 198905 | 1 266111 27 | 0.000 % | 4584.29/4584.26 c | 13808576 | 900 60464 198905 | 1 271989 27 | 0.000 % | 4584.29/4584.26 c | 13821073 | 900 60464 198905 | 1 284486 28 | 0.000 % | 4584.29/4584.26 c | 13823817 | 900 60464 198905 | 1 287230 28 | 0.000 % | 4584.29/4584.26 c | 13848043 | 900 60464 198905 | 1 311456 30 | 0.000 % | 4584.29/4584.26 c | 13858892 | 900 60464 198905 | 1 322305 31 | 0.000 % | 4584.29/4584.26 c | 13867698 | 900 60464 198905 | 1 331111 32 | 0.000 % | 4584.29/4584.26 c | 13878755 | 900 60464 198905 | 1 342168 32 | 0.000 % | 4584.29/4584.26 c | 13888659 | 900 60464 198905 | 1 352072 33 | 0.000 % | 4584.29/4584.26 c | 13888979 | 900 60464 198905 | 1 352392 33 | 0.000 % | 4584.29/4584.26 c | 13904678 | 900 60464 198905 | 1 368091 33 | 0.000 % | 4584.29/4584.26 c | 13910102 | 900 60464 198905 | 1 373515 34 | 0.000 % | 4584.29/4584.26 c | 13910202 | 900 60464 198905 | 1 373615 34 | 0.000 % | 4584.29/4584.26 c | 13910303 | 900 60464 198905 | 1 373716 34 | 0.000 % | 4584.29/4584.26 c | 13945610 | 900 60464 198905 | 1 409023 35 | 0.000 % | 4584.29/4584.26 c | 13950452 | 900 60464 198905 | 1 413865 35 | 0.000 % | 4584.29/4584.26 c | 13951771 | 900 60464 198905 | 1 415184 35 | 0.000 % | 4786.09/4786.02 c | 13976038 | 900 60464 198905 | 1 439451 36 | 0.000 % | 4786.09/4786.02 c | 13983115 | 900 60464 198905 | 1 446528 36 | 0.000 % | 4786.09/4786.02 c | 13983383 | 900 60464 198905 | 1 446796 36 | 0.000 % | 4786.09/4786.02 c | 13999232 | 900 60464 198905 | 1 462645 37 | 0.000 % | 4786.09/4786.02 c | 14001590 | 900 60464 198905 | 1 465003 37 | 0.000 % | 4786.09/4786.02 c | 14005988 | 900 60464 198905 | 1 469401 37 | 0.000 % | 4786.09/4786.02 c | 14015996 | 900 60464 198905 | 1 479409 37 | 0.000 % | 4786.09/4786.02 c | 14017107 | 900 60464 198905 | 1 480520 37 | 0.000 % | 4786.09/4786.02 c | 14055587 | 900 60464 198905 | 1 519000 38 | 0.000 % | 4786.09/4786.02 c | 14138022 | 900 60464 198905 | 1 334837 30 | 0.000 % | 4786.09/4786.02 c | 14191333 | 900 60464 198905 | 1 388148 33 | 0.000 % | 4786.09/4786.02 c | 14200217 | 900 60464 198905 | 1 397032 34 | 0.000 % | 4786.09/4786.02 c | 14205494 | 900 60464 198905 | 1 402309 34 | 0.000 % | 4786.09/4786.02 c | 14220956 | 900 60464 198905 | 1 417771 35 | 0.000 % | 4786.09/4786.02 c | 14221057 | 900 60464 198905 | 1 417872 35 | 0.000 % | 4786.09/4786.02 c | 14230243 | 900 60464 198905 | 1 427058 36 | 0.000 % | 4786.09/4786.02 c | 14247040 | 900 60464 198905 | 1 443855 36 | 0.000 % | 4786.09/4786.02 c | 14247614 | 900 60464 198905 | 1 444429 36 | 0.000 % | 4786.09/4786.02 c | 14247716 | 900 60464 198905 | 1 444531 36 | 0.000 % | 4786.09/4786.02 c | 14250283 | 900 60464 198905 | 1 447098 36 | 0.000 % | 4786.09/4786.02 c | 14250438 | 900 60464 198905 | 1 447253 36 | 0.000 % | 4786.09/4786.02 c | 14262534 | 900 60464 198905 | 1 459349 37 | 0.000 % | 4786.09/4786.02 c | 14263255 | 900 60464 198905 | 1 460070 37 | 0.000 % | 4786.09/4786.02 c | 14264100 | 900 60464 198905 | 1 460915 37 | 0.000 % | 4786.09/4786.02 c | 14264201 | 900 60464 198905 | 1 461016 37 | 0.000 % | 4786.09/4786.02 c | 14269510 | 900 60464 198905 | 1 466325 37 | 0.000 % | 4786.09/4786.02 c | 14269827 | 900 60464 198905 | 1 466642 37 | 0.000 % | 4786.09/4786.02 c | 14282344 | 900 60464 198905 | 1 479159 37 | 0.000 % | 4786.09/4786.02 c | 14285703 | 900 60464 198905 | 1 482518 37 | 0.000 % | 4786.09/4786.02 c | 14285806 | 900 60464 198905 | 1 482621 37 | 0.000 % | 4786.09/4786.02 c | 14313074 | 900 60464 198905 | 1 509889 38 | 0.000 % | 4786.09/4786.02 c | 14318884 | 900 60464 198905 | 1 515699 38 | 0.000 % | 4786.09/4786.02 c | 14329742 | 900 60464 198905 | 1 526557 39 | 0.000 % | 4786.09/4786.02 c | 14334016 | 900 60464 198905 | 1 530831 39 | 0.000 % | 4786.09/4786.02 c | 14338720 | 900 60464 198905 | 1 535535 39 | 0.000 % | 4786.09/4786.02 c | 14357894 | 900 60464 198905 | 1 285518 28 | 0.000 % | 4786.09/4786.02 c | 14358493 | 900 60464 198905 | 1 286117 28 | 0.000 % | 4786.09/4786.02 c | 14359448 | 900 60464 198905 | 1 287072 28 | 0.000 % | 4786.09/4786.02 c | 14360782 | 900 60464 198905 | 1 288406 29 | 0.000 % | 4786.09/4786.02 c | 14362593 | 900 60464 198905 | 1 290217 29 | 0.000 % | 4786.09/4786.02 c | 14382201 | 900 60464 198905 | 1 309825 30 | 0.000 % | 4786.09/4786.02 c | 14391431 | 900 60464 198905 | 1 319055 31 | 0.000 % | 4786.09/4786.02 c | 14408037 | 900 60464 198905 | 1 335661 32 | 0.000 % | 4786.09/4786.02 c | 14411173 | 900 60464 198905 | 1 338797 32 | 0.000 % | 4786.09/4786.02 c | 14411275 | 900 60464 198905 | 1 338899 32 | 0.000 % | 4786.09/4786.02 c | 14413509 | 900 60464 198905 | 1 341133 32 | 0.000 % | 4786.09/4786.02 c | 14416009 | 900 60464 198905 | 1 343633 32 | 0.000 % | 4786.09/4786.02 c | 14420462 | 900 60464 198905 | 1 348086 32 | 0.000 % | 4786.09/4786.02 c | 14424037 | 900 60464 198905 | 1 351661 33 | 0.000 % | 4786.09/4786.02 c | 14427667 | 900 60464 198905 | 1 355291 33 | 0.000 % | 4994.60/4994.58 c | 14452626 | 900 60464 198905 | 1 380250 34 | 0.000 % | 4994.60/4994.58 c | 14453855 | 900 60464 198905 | 1 381479 34 | 0.000 % | 4994.60/4994.58 c | 14464679 | 900 60464 198905 | 1 392303 34 | 0.000 % | 4994.60/4994.58 c | 14464779 | 900 60464 198905 | 1 392403 34 | 0.000 % | 4994.60/4994.58 c | 14464888 | 900 60464 198905 | 1 392512 34 | 0.000 % | 4994.60/4994.58 c | 14476747 | 900 60464 198905 | 1 404371 34 | 0.000 % | 4994.60/4994.58 c | 14486636 | 900 60464 198905 | 1 414260 35 | 0.000 % | 4994.60/4994.58 c | 14487374 | 900 60464 198905 | 1 414998 35 | 0.000 % | 4994.60/4994.58 c | 14503101 | 900 60464 198905 | 1 430725 35 | 0.000 % | 4994.60/4994.58 c | 14503867 | 900 60464 198905 | 1 431491 35 | 0.000 % | 4994.60/4994.58 c | 14536781 | 900 60464 198905 | 1 464405 36 | 0.000 % | 4994.60/4994.58 c | 14561267 | 900 60464 198905 | 1 488891 37 | 0.000 % | 4994.60/4994.58 c | 14574366 | 900 60464 198905 | 1 501990 38 | 0.000 % | 4994.60/4994.58 c | 14607036 | 900 60464 198905 | 1 534660 38 | 0.000 % | 4994.60/4994.58 c | 14612340 | 900 60464 198905 | 1 539964 38 | 0.000 % | 4994.60/4994.58 c | 14615866 | 900 60464 198905 | 1 543490 39 | 0.000 % | 4994.60/4994.58 c | 14643604 | 900 60464 198905 | 1 299423 29 | 0.000 % | 4994.60/4994.58 c | 14659530 | 900 60464 198905 | 1 315349 30 | 0.000 % | 4994.60/4994.58 c | 14659630 | 900 60464 198905 | 1 315449 30 | 0.000 % | 4994.60/4994.58 c | 14659730 | 900 60464 198905 | 1 315549 30 | 0.000 % | 4994.60/4994.58 c | 14665936 | 900 60464 198905 | 1 321755 30 | 0.000 % | 4994.60/4994.58 c | 14668020 | 900 60464 198905 | 1 323839 31 | 0.000 % | 4994.60/4994.58 c | 14668120 | 900 60464 198905 | 1 323939 31 | 0.000 % | 4994.60/4994.58 c | 14676034 | 900 60464 198905 | 1 331853 31 | 0.000 % | 4994.60/4994.58 c | 14676931 | 900 60464 198905 | 1 332750 31 | 0.000 % | 4994.60/4994.58 c | 14677031 | 900 60464 198905 | 1 332850 31 | 0.000 % | 4994.60/4994.58 c | 14681886 | 900 60464 198905 | 1 337705 31 | 0.000 % | 4994.60/4994.58 c | 14690641 | 900 60464 198905 | 1 346460 31 | 0.000 % | 4994.60/4994.58 c | 14694632 | 900 60464 198905 | 1 350451 32 | 0.000 % | 4994.60/4994.58 c | 14700344 | 900 60464 198905 | 1 356163 32 | 0.000 % | 4994.60/4994.58 c | 14708767 | 900 60464 198905 | 1 364586 32 | 0.000 % | 4994.60/4994.58 c | 14714394 | 900 60464 198905 | 1 370213 32 | 0.000 % | 4994.60/4994.58 c | 14717059 | 900 60464 198905 | 1 372878 32 | 0.000 % | 4994.60/4994.58 c | 14717225 | 900 60464 198905 | 1 373044 32 | 0.000 % | 4994.60/4994.58 c | 14726131 | 900 60464 198905 | 1 381950 33 | 0.000 % | 4994.60/4994.58 c | 14772628 | 900 60464 198905 | 1 428447 35 | 0.000 % | 4994.60/4994.58 c | 14778852 | 900 60464 198905 | 1 434671 35 | 0.000 % | 4994.60/4994.58 c | 14788647 | 900 60464 198905 | 1 444466 35 | 0.000 % | 4994.60/4994.58 c | 14805055 | 900 60464 198905 | 1 460874 36 | 0.000 % | 4994.60/4994.58 c | 14813162 | 900 60464 198905 | 1 468981 36 | 0.000 % | 4994.60/4994.58 c | 14818007 | 900 60464 198905 | 1 473826 36 | 0.000 % | 4994.60/4994.58 c | 14818483 | 900 60464 198905 | 1 474302 36 | 0.000 % | 4994.60/4994.58 c | 14820544 | 900 60464 198905 | 1 476363 36 | 0.000 % | 4994.60/4994.58 c | 14830331 | 900 60464 198905 | 1 486150 37 | 0.000 % | 4994.60/4994.58 c | 14831163 | 900 60464 198905 | 1 486982 37 | 0.000 % | 4994.60/4994.58 c | 14843684 | 900 60464 198905 | 1 499503 37 | 0.000 % | 4994.60/4994.58 c | 14895689 | 900 60464 198905 | 1 277103 26 | 0.000 % | 4994.60/4994.58 c | 14896169 | 900 60464 198905 | 1 277583 27 | 0.000 % | 4994.60/4994.58 c | 14897213 | 900 60464 198905 | 1 278627 27 | 0.000 % | 4994.60/4994.58 c | 14903840 |
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303376-1307645032/watcher-3303376-1307645032 -o /tmp/evaluation-result-3303376-1307645032/solver-3303376-1307645032 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303376-1307645032.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: 3.84 4.10 4.03 1/174 6292 /proc/meminfo: memFree=32591332/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 876101997 8912896 253 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6292/statm: 2176 253 211 178 0 69 0 [startup+0.065513 s] /proc/loadavg: 3.84 4.10 4.03 1/174 6292 /proc/meminfo: memFree=32591332/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 876101997 8912896 253 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6292/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100504 s] /proc/loadavg: 3.84 4.10 4.03 1/174 6292 /proc/meminfo: memFree=32591332/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 876101997 8912896 253 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6292/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300533 s] /proc/loadavg: 3.84 4.10 4.03 1/174 6292 /proc/meminfo: memFree=32591332/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 8704 [startup+0.7004 s] /proc/loadavg: 3.84 4.10 4.03 1/174 6292 /proc/meminfo: memFree=32591332/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 8704 [startup+1.50032 s] /proc/loadavg: 3.84 4.10 4.03 3/180 6307 /proc/meminfo: memFree=32551584/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=28640 CPUtime=1.33 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 8295 0 0 0 133 0 0 0 25 0 1 0 876102012 29327360 3989 33554432000 4194304 4260849 140734379829296 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/6295/statm: 7160 3989 250 17 0 3801 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 37344 [startup+3.10103 s] /proc/loadavg: 3.77 4.08 4.02 3/180 6307 /proc/meminfo: memFree=32541168/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=40132 CPUtime=2.94 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 10237 0 0 0 293 1 0 0 25 0 1 0 876102012 41095168 5857 33554432000 4194304 4260849 140734379829296 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/6295/statm: 10033 5857 250 17 0 6674 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 48836 [startup+6.30047 s] /proc/loadavg: 3.77 4.08 4.02 3/180 6307 /proc/meminfo: memFree=32523072/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=40132 CPUtime=6.14 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 10918 0 0 0 613 1 0 0 25 0 1 0 876102012 41095168 6528 33554432000 4194304 4260849 140734379829296 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/6295/statm: 10033 6528 250 17 0 6674 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 48836 [startup+12.7003 s] /proc/loadavg: 3.50 4.01 4.00 3/180 6307 /proc/meminfo: memFree=32504556/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=47316 CPUtime=12.54 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 13106 0 0 0 1253 1 0 0 25 0 1 0 876102012 48451584 8631 33554432000 4194304 4260849 140734379829296 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/6295/statm: 11829 8631 250 17 0 8470 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 56020 [startup+25.501 s] /proc/loadavg: 3.27 3.94 3.98 3/180 6307 /proc/meminfo: memFree=32492920/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=47636 CPUtime=25.34 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 17431 0 0 0 2533 1 0 0 25 0 1 0 876102012 48779264 8735 33554432000 4194304 4260849 140734379829296 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/6295/statm: 11909 8735 250 17 0 8550 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 56340 [startup+51.1005 s] /proc/loadavg: 2.83 3.79 3.92 3/180 6308 /proc/meminfo: memFree=32469120/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=89680 CPUtime=50.93 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 25784 0 0 0 5091 2 0 0 25 0 1 0 876102012 91832320 12153 33554432000 4194304 4260849 140734379829296 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 22420 12153 250 17 0 19061 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 98384 [startup+102.306 s] /proc/loadavg: 2.33 3.48 3.81 3/180 6309 /proc/meminfo: memFree=32437460/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=89680 CPUtime=102.14 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 30805 0 0 0 10211 3 0 0 25 0 1 0 876102012 91832320 17018 33554432000 4194304 4260849 140734379829296 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 22420 17018 250 17 0 19061 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 98384 [startup+162.301 s] /proc/loadavg: 2.13 3.23 3.70 3/180 6311 /proc/meminfo: memFree=32431572/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=89680 CPUtime=162.14 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 31642 0 0 0 16211 3 0 0 25 0 1 0 876102012 91832320 17838 33554432000 4194304 4260849 140734379829296 18446744073709551615 4225421 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 22420 17838 250 17 0 19061 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 98384 [startup+222.301 s] /proc/loadavg: 2.07 3.00 3.59 3/180 6396 /proc/meminfo: memFree=32435180/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=89680 CPUtime=222.14 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 32521 0 0 0 22211 3 0 0 25 0 1 0 876102012 91832320 18706 33554432000 4194304 4260849 140734379829296 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 22420 18706 250 17 0 19061 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 98384 [startup+282.3 s] /proc/loadavg: 2.03 2.83 3.50 3/180 6398 /proc/meminfo: memFree=32402052/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=101480 CPUtime=282.15 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 40951 0 0 0 28210 5 0 0 25 0 1 0 876102012 103915520 19372 33554432000 4194304 4260849 140734379829296 18446744073709551615 4225091 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 25370 19372 250 17 0 22011 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 110184 [startup+342.301 s] /proc/loadavg: 2.05 2.68 3.40 3/180 6400 /proc/meminfo: memFree=32327172/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=101480 CPUtime=342.14 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 68031 0 0 0 34206 8 0 0 25 0 1 0 876102012 103915520 22199 33554432000 4194304 4260849 140734379829296 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 25370 22199 250 17 0 22011 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 110184 [startup+402.301 s] /proc/loadavg: 2.02 2.56 3.31 3/180 6401 /proc/meminfo: memFree=32343116/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 ################ # More data... # ################ /proc/6295/statm: 43899 36703 251 17 0 40540 0 Current children cumulated CPU time (s) 4362.38 Current children cumulated vsize (KiB) 184300 [startup+4422.3 s] /proc/loadavg: 2.02 2.01 2.00 3/180 6520 /proc/meminfo: memFree=32106472/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=206416 CPUtime=4422.24 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 1057148 0 0 0 441998 226 0 0 25 0 1 0 876102012 211369984 47054 33554432000 4194304 4260849 140734379829296 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 51604 47054 251 17 0 48245 0 Current children cumulated CPU time (s) 4422.38 Current children cumulated vsize (KiB) 215120 [startup+4482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/180 6522 /proc/meminfo: memFree=32089804/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=206416 CPUtime=4482.25 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 1075405 0 0 0 447996 229 0 0 25 0 1 0 876102012 211369984 43592 33554432000 4194304 4260849 140734379829296 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 51604 43592 251 17 0 48245 0 Current children cumulated CPU time (s) 4482.39 Current children cumulated vsize (KiB) 215120 [startup+4542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 6524 /proc/meminfo: memFree=32079952/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=175596 CPUtime=4542.24 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 1092145 0 0 0 453992 232 0 0 25 0 1 0 876102012 179810304 38288 33554432000 4194304 4260849 140734379829296 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 43899 38288 251 17 0 40540 0 Current children cumulated CPU time (s) 4542.38 Current children cumulated vsize (KiB) 184300 [startup+4602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 6525 /proc/meminfo: memFree=32016164/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=206416 CPUtime=4602.25 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 1100583 0 0 0 459989 236 0 0 25 0 1 0 876102012 211369984 46571 33554432000 4194304 4260849 140734379829296 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 51604 46571 251 17 0 48245 0 Current children cumulated CPU time (s) 4602.39 Current children cumulated vsize (KiB) 215120 [startup+4662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 6536 /proc/meminfo: memFree=32014500/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=175596 CPUtime=4662.24 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 1116066 0 0 0 465986 238 0 0 25 0 1 0 876102012 179810304 39843 33554432000 4194304 4260849 140734379829296 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 43899 39843 251 17 0 40540 0 Current children cumulated CPU time (s) 4662.38 Current children cumulated vsize (KiB) 184300 [startup+4722.31 s] /proc/loadavg: 2.00 2.00 2.00 3/180 6537 /proc/meminfo: memFree=32222996/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=206416 CPUtime=4722.25 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 1124118 0 0 0 471983 242 0 0 25 0 1 0 876102012 211369984 47752 33554432000 4194304 4260849 140734379829296 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 51604 47752 251 17 0 48245 0 Current children cumulated CPU time (s) 4722.39 Current children cumulated vsize (KiB) 215120 [startup+4782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 6539 /proc/meminfo: memFree=32225044/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=175596 CPUtime=4782.25 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 1139880 0 0 0 477979 246 0 0 25 0 1 0 876102012 179810304 40656 33554432000 4194304 4260849 140734379829296 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 43899 40656 251 17 0 40540 0 Current children cumulated CPU time (s) 4782.39 Current children cumulated vsize (KiB) 184300 [startup+4842.3 s] /proc/loadavg: 2.03 2.01 2.00 3/180 6544 /proc/meminfo: memFree=32167440/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=206416 CPUtime=4842.25 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 1147211 0 0 0 483977 248 0 0 25 0 1 0 876102012 211369984 47850 33554432000 4194304 4260849 140734379829296 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 51604 47850 251 17 0 48245 0 Current children cumulated CPU time (s) 4842.39 Current children cumulated vsize (KiB) 215120 [startup+4902.3 s] /proc/loadavg: 2.08 2.02 2.00 3/180 6545 /proc/meminfo: memFree=32167500/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=206416 CPUtime=4902.25 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 1163096 0 0 0 489973 252 0 0 25 0 1 0 876102012 211369984 40889 33554432000 4194304 4260849 140734379829296 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 51604 40889 251 17 0 48245 0 Current children cumulated CPU time (s) 4902.39 Current children cumulated vsize (KiB) 215120 [startup+4962.3 s] /proc/loadavg: 2.03 2.02 2.00 3/180 6547 /proc/meminfo: memFree=32110412/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=206416 CPUtime=4962.26 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 1170344 0 0 0 495971 255 0 0 25 0 1 0 876102012 211369984 48001 33554432000 4194304 4260849 140734379829296 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 51604 48001 251 17 0 48245 0 Current children cumulated CPU time (s) 4962.4 Current children cumulated vsize (KiB) 215120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.01 2.01 2.00 3/180 6548 /proc/meminfo: memFree=32132564/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=175596 CPUtime=4999.86 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 1182700 0 0 0 499729 257 0 0 25 0 1 0 876102012 179810304 37898 33554432000 4194304 4260849 140734379829296 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 43899 37898 251 17 0 40540 0 Current children cumulated CPU time (s) 5000 Current children cumulated vsize (KiB) 184300 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.01 2.01 2.00 3/180 6548 /proc/meminfo: memFree=32132564/32950928 swapFree=67048816/67111528 [pid=6292] ppid=6290 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/6292/stat : 6292 (glucose.sh) S 6290 6292 6256 0 -1 4202496 360 1406 0 0 0 0 14 0 24 0 1 0 876101997 8912896 255 33554432000 4194304 4922060 140733717006160 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6292/statm: 2176 255 211 178 0 69 0 [pid=6295] ppid=6292 vsize=175596 CPUtime=4999.86 cores=0,2,4,6 /proc/6295/stat : 6295 (glucose_static) R 6292 6292 6256 0 -1 4202496 1182700 0 0 0 499729 257 0 0 25 0 1 0 876102012 179810304 37898 33554432000 4194304 4260849 140734379829296 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/6295/statm: 43899 37898 251 17 0 40540 0 Current children cumulated CPU time (s) 5000 Current children cumulated vsize (KiB) 184300 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 6292 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=145977 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=4999 # CPU time returned by wait4() is 0.150976 # while last known CPU time is 5000 # # 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 CPU user time (s): 4997.43 CPU system time (s): 2.57 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 314528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.145977 system time used= 0.004999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1766 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= 35 runsolver used 8.76267 second user time and 17.2604 second system time The end
Begin job on node122 at 2011-06-09 20:43:52 IDJOB=3303376 IDBENCH=71583 IDSOLVER=1687 FILE ID=node122/3303376-1307645032 RUNJOBID= node122-1307645032-6274 PBS_JOBID= 13549408 Free space on /tmp= 74108 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes1.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303376-1307645032/watcher-3303376-1307645032 -o /tmp/evaluation-result-3303376-1307645032/solver-3303376-1307645032 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303376-1307645032.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 26b9098de258b0434de90e744962df46 RANDOM SEED=802663814 node122.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.820 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.64 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.75 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.75 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.820 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 32592132 kB Buffers: 28428 kB Cached: 183084 kB SwapCached: 14148 kB Active: 90360 kB Inactive: 139128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 32592132 kB SwapTotal: 67111528 kB SwapFree: 67048816 kB Dirty: 1980 kB Writeback: 0 kB AnonPages: 15332 kB Mapped: 8796 kB Slab: 62484 kB PageTables: 5120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 191820 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= 74076 MiB End job on node122 at 2011-06-09 22:07:14