| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.06 | 5000.01 |
| Name | CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf |
| MD5SUM | 6200c727c8a5a324974090a1f9a6d7ab |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 21.61 |
| 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 198501 | -- 0 -- -- | -- | -945/74828 0.00/0.12 c ============================================================================== 0.00/0.12 c Result : #vars: 900 #clauses: 60464 #literals: 198501 0.00/0.12 c CPU time: 0.115982 s 0.00/0.12 c ============================================================================== 0.00/0.15 c 0.00/0.15 c Starting glucose 0.00/0.15 c 744.20/744.20 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 744.20/744.20 c WARNING: for repeatability, setting FPU to use double precision 744.20/744.20 c ============================[ Problem Statistics ]============================= 744.20/744.20 c | | 744.20/744.20 c | Number of variables: 900 | 744.20/744.20 c | Number of clauses: 60464 | 744.20/744.20 c | Parse time: 0.01 s | 744.20/744.20 c | | 744.20/744.20 c ============================[ Search Statistics ]============================== 744.20/744.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 744.20/744.20 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 744.20/744.20 c =============================================================================== 744.20/744.20 c | 7088 | 900 60464 198501 | 1 5098 80 | 0.000 % | 744.20/744.20 c | 13981 | 900 60464 198501 | 1 7695 75 | 0.000 % | 744.20/744.20 c | 79952 | 900 60464 198501 | 1 31392 64 | 0.000 % | 744.20/744.20 c | 384910 | 900 60464 198501 | 1 49352 38 | 0.000 % | 744.20/744.20 c | 479239 | 900 60464 198501 | 1 55086 38 | 0.000 % | 744.20/744.20 c | 922296 | 900 60464 198501 | 1 106125 39 | 0.000 % | 744.20/744.20 c | 941917 | 900 60464 198501 | 1 125746 42 | 0.000 % | 744.20/744.20 c | 1009866 | 900 60464 198501 | 1 127294 43 | 0.000 % | 744.20/744.20 c | 1010886 | 900 60464 198501 | 1 128314 43 | 0.000 % | 744.20/744.20 c | 1182515 | 900 60464 198501 | 1 85142 34 | 0.000 % | 744.20/744.20 c | 1409377 | 900 60464 198501 | 1 155805 38 | 0.000 % | 744.20/744.20 c | 1500125 | 900 60464 198501 | 1 164544 40 | 0.000 % | 744.20/744.20 c | 1532076 | 900 60464 198501 | 1 111905 38 | 0.000 % | 744.20/744.20 c | 1591885 | 900 60464 198501 | 1 171714 44 | 0.000 % | 744.20/744.20 c | 1601003 | 900 60464 198501 | 1 93632 33 | 0.000 % | 744.20/744.20 c | 1756991 | 900 60464 198501 | 1 159820 39 | 0.000 % | 744.20/744.20 c | 1760259 | 900 60464 198501 | 1 163088 39 | 0.000 % | 744.20/744.20 c | 1804216 | 900 60464 198501 | 1 114648 34 | 0.000 % | 744.20/744.20 c | 1826956 | 900 60464 198501 | 1 137388 37 | 0.000 % | 744.20/744.20 c | 1829176 | 900 60464 198501 | 1 139608 37 | 0.000 % | 744.20/744.20 c | 2104445 | 900 60464 198501 | 1 122082 33 | 0.000 % | 744.20/744.20 c | 2159245 | 900 60464 198501 | 1 176882 38 | 0.000 % | 744.20/744.20 c | 2170891 | 900 60464 198501 | 1 188528 39 | 0.000 % | 744.20/744.20 c | 2267715 | 900 60464 198501 | 1 182547 37 | 0.000 % | 744.20/744.20 c | 2721032 | 900 60464 198501 | 1 198653 39 | 0.000 % | 744.20/744.20 c | 2746632 | 900 60464 198501 | 1 224253 40 | 0.000 % | 744.20/744.20 c | 2900296 | 900 60464 198501 | 1 143717 34 | 0.000 % | 744.20/744.20 c | 2912911 | 900 60464 198501 | 1 156332 35 | 0.000 % | 744.20/744.20 c | 3212734 | 900 60464 198501 | 1 211553 36 | 0.000 % | 744.20/744.20 c | 3228044 | 900 60464 198501 | 1 226863 37 | 0.000 % | 744.20/744.20 c | 3331829 | 900 60464 198501 | 1 204450 36 | 0.000 % | 744.20/744.20 c | 3351291 | 900 60464 198501 | 1 223912 39 | 0.000 % | 744.20/744.20 c | 3441362 | 900 60464 198501 | 1 185183 35 | 0.000 % | 744.20/744.20 c | 3464975 | 900 60464 198501 | 1 208796 39 | 0.000 % | 744.20/744.20 c | 3483917 | 900 60464 198501 | 1 227738 40 | 0.000 % | 744.20/744.20 c | 3547050 | 900 60464 198501 | 1 159476 34 | 0.000 % | 744.20/744.20 c | 3665785 | 900 60464 198501 | 1 144209 31 | 0.000 % | 744.20/744.20 c | 3667144 | 900 60464 198501 | 1 145568 32 | 0.000 % | 744.20/744.20 c | 3695591 | 900 60464 198501 | 1 174015 36 | 0.000 % | 1067.90/1067.93 c | 3703963 | 900 60464 198501 | 1 182387 37 | 0.000 % | 1067.90/1067.93 c | 3706401 | 900 60464 198501 | 1 184825 38 | 0.000 % | 1067.90/1067.93 c | 3737316 | 900 60464 198501 | 1 215740 40 | 0.000 % | 1067.90/1067.93 c | 3740505 | 900 60464 198501 | 1 218929 40 | 0.000 % | 1067.90/1067.93 c | 3782016 | 900 60464 198501 | 1 260440 42 | 0.000 % | 1067.90/1067.93 c | 3784619 | 900 60464 198501 | 1 263043 43 | 0.000 % | 1067.90/1067.93 c | 3797423 | 900 60464 198501 | 1 139245 30 | 0.000 % | 1067.90/1067.93 c | 3847886 | 900 60464 198501 | 1 189708 36 | 0.000 % | 1067.90/1067.93 c | 3881099 | 900 60464 198501 | 1 222921 40 | 0.000 % | 1067.90/1067.93 c | 3883924 | 900 60464 198501 | 1 225746 40 | 0.000 % | 1067.90/1067.93 c | 3899399 | 900 60464 198501 | 1 241221 40 | 0.000 % | 1067.90/1067.93 c | 3961878 | 900 60464 198501 | 1 164500 32 | 0.000 % | 1067.90/1067.93 c | 3977441 | 900 60464 198501 | 1 180063 34 | 0.000 % | 1067.90/1067.93 c | 3977542 | 900 60464 198501 | 1 180164 34 | 0.000 % | 1067.90/1067.93 c | 3992558 | 900 60464 198501 | 1 195180 36 | 0.000 % | 1067.90/1067.93 c | 4001220 | 900 60464 198501 | 1 203842 37 | 0.000 % | 1067.90/1067.93 c | 4004163 | 900 60464 198501 | 1 206785 37 | 0.000 % | 1067.90/1067.93 c | 4137258 | 900 60464 198501 | 1 198084 37 | 0.000 % | 1067.90/1067.93 c | 4189945 | 900 60464 198501 | 1 250771 40 | 0.000 % | 1067.90/1067.93 c | 4190047 | 900 60464 198501 | 1 250873 40 | 0.000 % | 1067.90/1067.93 c | 4294582 | 900 60464 198501 | 1 211010 34 | 0.000 % | 1067.90/1067.93 c | 4338105 | 900 60464 198501 | 1 254533 37 | 0.000 % | 1067.90/1067.93 c | 4343929 | 900 60464 198501 | 1 260357 37 | 0.000 % | 1067.90/1067.93 c | 4361714 | 900 60464 198501 | 1 278142 38 | 0.000 % | 1067.90/1067.93 c | 4361814 | 900 60464 198501 | 1 278242 38 | 0.000 % | 1067.90/1067.93 c | 4399105 | 900 60464 198501 | 1 168533 31 | 0.000 % | 1067.90/1067.93 c | 4517894 | 900 60464 198501 | 1 287322 39 | 0.000 % | 1067.90/1067.93 c | 4538475 | 900 60464 198501 | 1 158300 30 | 0.000 % | 1067.90/1067.93 c | 4542251 | 900 60464 198501 | 1 162076 31 | 0.000 % | 1067.90/1067.93 c | 4549547 | 900 60464 198501 | 1 169372 32 | 0.000 % | 1067.90/1067.93 c | 4552279 | 900 60464 198501 | 1 172104 32 | 0.000 % | 1067.90/1067.93 c | 4563280 | 900 60464 198501 | 1 183105 33 | 0.000 % | 1067.90/1067.93 c | 4595277 | 900 60464 198501 | 1 215102 36 | 0.000 % | 1067.90/1067.93 c | 4612410 | 900 60464 198501 | 1 232235 37 | 0.000 % | 1067.90/1067.93 c | 4616968 | 900 60464 198501 | 1 236793 37 | 0.000 % | 1067.90/1067.93 c | 4764514 | 900 60464 198501 | 1 232130 37 | 0.000 % | 1067.90/1067.93 c | 4764617 | 900 60464 198501 | 1 232233 37 | 0.000 % | 1067.90/1067.93 c | 4770617 | 900 60464 198501 | 1 238233 37 | 0.000 % | 1067.90/1067.93 c | 4803743 | 900 60464 198501 | 1 271359 40 | 0.000 % | 1067.90/1067.93 c | 4814649 | 900 60464 198501 | 1 282265 40 | 0.000 % | 1067.90/1067.93 c | 4814927 | 900 60464 198501 | 1 282543 40 | 0.000 % | 1067.90/1067.93 c | 4848966 | 900 60464 198501 | 1 161780 29 | 0.000 % | 1067.90/1067.93 c | 4860000 | 900 60464 198501 | 1 172814 31 | 0.000 % | 1067.90/1067.93 c | 4899106 | 900 60464 198501 | 1 211920 34 | 0.000 % | 1067.90/1067.93 c | 4915320 | 900 60464 198501 | 1 228134 35 | 0.000 % | 1067.90/1067.93 c | 4920816 | 900 60464 198501 | 1 233630 36 | 0.000 % | 1067.90/1067.93 c | 4940017 | 900 60464 198501 | 1 252831 37 | 0.000 % | 1067.90/1067.93 c | 4940932 | 900 60464 198501 | 1 253746 37 | 0.000 % | 1067.90/1067.93 c | 4941737 | 900 60464 198501 | 1 254551 37 | 0.000 % | 1067.90/1067.93 c | 4956121 | 900 60464 198501 | 1 268935 38 | 0.000 % | 1360.20/1360.27 c | 4963496 | 900 60464 198501 | 1 276310 38 | 0.000 % | 1360.20/1360.27 c | 4978965 | 900 60464 198501 | 1 291779 40 | 0.000 % | 1360.20/1360.27 c | 4987521 | 900 60464 198501 | 1 300335 40 | 0.000 % | 1360.20/1360.27 c | 5010811 | 900 60464 198501 | 1 166232 30 | 0.000 % | 1360.20/1360.27 c | 5088121 | 900 60464 198501 | 1 243542 37 | 0.000 % | 1360.20/1360.27 c | 5150779 | 900 60464 198501 | 1 306200 40 | 0.000 % | 1360.20/1360.27 c | 5159297 | 900 60464 198501 | 1 314718 40 | 0.000 % | 1360.20/1360.27 c | 5224515 | 900 60464 198501 | 1 219934 38 | 0.000 % | 1360.20/1360.27 c | 5249186 | 900 60464 198501 | 1 244605 40 | 0.000 % | 1360.20/1360.27 c | 5326337 | 900 60464 198501 | 1 321756 45 | 0.000 % | 1360.20/1360.27 c | 5328854 | 900 60464 198501 | 1 324273 45 | 0.000 % | 1360.20/1360.27 c | 5331510 | 900 60464 198501 | 1 164325 31 | 0.000 % | 1360.20/1360.27 c | 5341378 | 900 60464 198501 | 1 174193 33 | 0.000 % | 1360.20/1360.27 c | 5359651 | 900 60464 198501 | 1 192466 34 | 0.000 % | 1360.20/1360.27 c | 5379151 | 900 60464 198501 | 1 211966 37 | 0.000 % | 1360.20/1360.27 c | 5387664 | 900 60464 198501 | 1 220479 38 | 0.000 % | 1360.20/1360.27 c | 5435064 | 900 60464 198501 | 1 267879 40 | 0.000 % | 1360.20/1360.27 c | 5488011 | 900 60464 198501 | 1 320826 43 | 0.000 % | 1360.20/1360.27 c | 5488253 | 900 60464 198501 | 1 321068 43 | 0.000 % | 1360.20/1360.27 c | 5488473 | 900 60464 198501 | 1 321288 43 | 0.000 % | 1360.20/1360.27 c | 5488795 | 900 60464 198501 | 1 321610 43 | 0.000 % | 1360.20/1360.27 c | 5545238 | 900 60464 198501 | 1 212850 35 | 0.000 % | 1360.20/1360.27 c | 5547735 | 900 60464 198501 | 1 215347 35 | 0.000 % | 1360.20/1360.27 c | 5548546 | 900 60464 198501 | 1 216158 35 | 0.000 % | 1360.20/1360.27 c | 5564577 | 900 60464 198501 | 1 232189 37 | 0.000 % | 1360.20/1360.27 c | 5631072 | 900 60464 198501 | 1 298684 40 | 0.000 % | 1360.20/1360.27 c | 5635821 | 900 60464 198501 | 1 303433 40 | 0.000 % | 1360.20/1360.27 c | 5740293 | 900 60464 198501 | 1 240107 37 | 0.000 % | 1360.20/1360.27 c | 5791020 | 900 60464 198501 | 1 290834 40 | 0.000 % | 1360.20/1360.27 c | 5796405 | 900 60464 198501 | 1 296219 40 | 0.000 % | 1360.20/1360.27 c | 5799863 | 900 60464 198501 | 1 299677 40 | 0.000 % | 1360.20/1360.27 c | 5831273 | 900 60464 198501 | 1 331087 42 | 0.000 % | 1360.20/1360.27 c | 5906836 | 900 60464 198501 | 1 236258 36 | 0.000 % | 1360.20/1360.27 c | 5916265 | 900 60464 198501 | 1 245687 37 | 0.000 % | 1360.20/1360.27 c | 5919150 | 900 60464 198501 | 1 248572 37 | 0.000 % | 1360.20/1360.27 c | 5921786 | 900 60464 198501 | 1 251208 37 | 0.000 % | 1360.20/1360.27 c | 5924964 | 900 60464 198501 | 1 254386 37 | 0.000 % | 1360.20/1360.27 c | 5935650 | 900 60464 198501 | 1 265072 38 | 0.000 % | 1360.20/1360.27 c | 5936717 | 900 60464 198501 | 1 266139 38 | 0.000 % | 1360.20/1360.27 c | 5945418 | 900 60464 198501 | 1 274840 39 | 0.000 % | 1360.20/1360.27 c | 5997598 | 900 60464 198501 | 1 327020 42 | 0.000 % | 1360.20/1360.27 c | 6000171 | 900 60464 198501 | 1 329593 42 | 0.000 % | 1360.20/1360.27 c | 6018218 | 900 60464 198501 | 1 174645 29 | 0.000 % | 1360.20/1360.27 c | 6063825 | 900 60464 198501 | 1 220252 33 | 0.000 % | 1360.20/1360.27 c | 6096688 | 900 60464 198501 | 1 253115 35 | 0.000 % | 1360.20/1360.27 c | 6097169 | 900 60464 198501 | 1 253596 35 | 0.000 % | 1360.20/1360.27 c | 6223329 | 900 60464 198501 | 1 204150 30 | 0.000 % | 1360.20/1360.27 c | 6231733 | 900 60464 198501 | 1 212554 30 | 0.000 % | 1360.20/1360.27 c | 6236323 | 900 60464 198501 | 1 217144 31 | 0.000 % | 1360.20/1360.27 c | 6252213 | 900 60464 198501 | 1 233034 32 | 0.000 % | 1551.01/1551.06 c | 6276746 | 900 60464 198501 | 1 257567 34 | 0.000 % | 1551.01/1551.06 c | 6288951 | 900 60464 198501 | 1 269772 35 | 0.000 % | 1551.01/1551.06 c | 6328995 | 900 60464 198501 | 1 309816 37 | 0.000 % | 1551.01/1551.06 c | 6359191 | 900 60464 198501 | 1 340012 38 | 0.000 % | 1551.01/1551.06 c | 6394171 | 900 60464 198501 | 1 196791 29 | 0.000 % | 1551.01/1551.06 c | 6406757 | 900 60464 198501 | 1 209377 31 | 0.000 % | 1551.01/1551.06 c | 6415424 | 900 60464 198501 | 1 218044 32 | 0.000 % | 1551.01/1551.06 c | 6418924 | 900 60464 198501 | 1 221544 32 | 0.000 % | 1551.01/1551.06 c | 6423076 | 900 60464 198501 | 1 225696 32 | 0.000 % | 1551.01/1551.06 c | 6508069 | 900 60464 198501 | 1 310689 36 | 0.000 % | 1551.01/1551.06 c | 6508828 | 900 60464 198501 | 1 311448 36 | 0.000 % | 1551.01/1551.06 c | 6535280 | 900 60464 198501 | 1 337900 37 | 0.000 % | 1551.01/1551.06 c | 6535382 | 900 60464 198501 | 1 338002 37 | 0.000 % | 1551.01/1551.06 c | 6537057 | 900 60464 198501 | 1 339677 37 | 0.000 % | 1551.01/1551.06 c | 6537157 | 900 60464 198501 | 1 339777 37 | 0.000 % | 1551.01/1551.06 c | 6538036 | 900 60464 198501 | 1 340656 37 | 0.000 % | 1551.01/1551.06 c | 6538886 | 900 60464 198501 | 1 341506 37 | 0.000 % | 1551.01/1551.06 c | 6538986 | 900 60464 198501 | 1 341606 37 | 0.000 % | 1551.01/1551.06 c | 6539087 | 900 60464 198501 | 1 341707 37 | 0.000 % | 1551.01/1551.06 c | 6542192 | 900 60464 198501 | 1 344812 38 | 0.000 % | 1551.01/1551.06 c | 6543291 | 900 60464 198501 | 1 345911 38 | 0.000 % | 1551.01/1551.06 c | 6562496 | 900 60464 198501 | 1 184313 28 | 0.000 % | 1551.01/1551.06 c | 6587557 | 900 60464 198501 | 1 209374 30 | 0.000 % | 1551.01/1551.06 c | 6620580 | 900 60464 198501 | 1 242397 33 | 0.000 % | 1551.01/1551.06 c | 6631200 | 900 60464 198501 | 1 253017 34 | 0.000 % | 1551.01/1551.06 c | 6631302 | 900 60464 198501 | 1 253119 34 | 0.000 % | 1551.01/1551.06 c | 6634264 | 900 60464 198501 | 1 256081 34 | 0.000 % | 1551.01/1551.06 c | 6643628 | 900 60464 198501 | 1 265445 35 | 0.000 % | 1551.01/1551.06 c | 6646667 | 900 60464 198501 | 1 268484 35 | 0.000 % | 1551.01/1551.06 c | 6712314 | 900 60464 198501 | 1 334131 39 | 0.000 % | 1551.01/1551.06 c | 6735265 | 900 60464 198501 | 1 357082 39 | 0.000 % | 1551.01/1551.06 c | 6752371 | 900 60464 198501 | 1 190787 28 | 0.000 % | 1551.01/1551.06 c | 6752471 | 900 60464 198501 | 1 190887 28 | 0.000 % | 1551.01/1551.06 c | 6763295 | 900 60464 198501 | 1 201711 30 | 0.000 % | 1551.01/1551.06 c | 6773261 | 900 60464 198501 | 1 211677 31 | 0.000 % | 1551.01/1551.06 c | 6800966 | 900 60464 198501 | 1 239382 34 | 0.000 % | 1551.01/1551.06 c | 6801463 | 900 60464 198501 | 1 239879 34 | 0.000 % | 1551.01/1551.06 c | 6805005 | 900 60464 198501 | 1 243421 34 | 0.000 % | 1551.01/1551.06 c | 6805106 | 900 60464 198501 | 1 243522 34 | 0.000 % | 1551.01/1551.06 c | 6825105 | 900 60464 198501 | 1 263521 35 | 0.000 % | 1551.01/1551.06 c | 6851487 | 900 60464 198501 | 1 289903 36 | 0.000 % | 1551.01/1551.06 c | 6851587 | 900 60464 198501 | 1 290003 36 | 0.000 % | 1551.01/1551.06 c | 6855108 | 900 60464 198501 | 1 293524 36 | 0.000 % | 1551.01/1551.06 c | 6857318 | 900 60464 198501 | 1 295734 37 | 0.000 % | 1551.01/1551.06 c | 6870933 | 900 60464 198501 | 1 309349 37 | 0.000 % | 1551.01/1551.06 c | 6877581 | 900 60464 198501 | 1 315997 38 | 0.000 % | 1551.01/1551.06 c | 6883379 | 900 60464 198501 | 1 321795 38 | 0.000 % | 1551.01/1551.06 c | 6888735 | 900 60464 198501 | 1 327151 38 | 0.000 % | 1551.01/1551.06 c | 6913728 | 900 60464 198501 | 1 352144 39 | 0.000 % | 1551.01/1551.06 c | 6916453 | 900 60464 198501 | 1 354869 39 | 0.000 % | 1721.10/1721.16 c | 6923969 | 900 60464 198501 | 1 362385 40 | 0.000 % | 1721.10/1721.16 c | 6928386 | 900 60464 198501 | 1 366802 40 | 0.000 % | 1721.10/1721.16 c | 6934636 | 900 60464 198501 | 1 187053 27 | 0.000 % | 1721.10/1721.16 c | 6939671 | 900 60464 198501 | 1 192088 28 | 0.000 % | 1721.10/1721.16 c | 6963867 | 900 60464 198501 | 1 216284 30 | 0.000 % | 1721.10/1721.16 c | 6964653 | 900 60464 198501 | 1 217070 30 | 0.000 % | 1721.10/1721.16 c | 6964804 | 900 60464 198501 | 1 217221 30 | 0.000 % | 1721.10/1721.16 c | 6979239 | 900 60464 198501 | 1 231656 32 | 0.000 % | 1721.10/1721.16 c | 6982393 | 900 60464 198501 | 1 234810 32 | 0.000 % | 1721.10/1721.16 c | 6982493 | 900 60464 198501 | 1 234910 32 | 0.000 % | 1721.10/1721.16 c | 7018786 | 900 60464 198501 | 1 271203 35 | 0.000 % | 1721.10/1721.16 c | 7027072 | 900 60464 198501 | 1 279489 35 | 0.000 % | 1721.10/1721.16 c | 7027174 | 900 60464 198501 | 1 279591 35 | 0.000 % | 1721.10/1721.16 c | 7038926 | 900 60464 198501 | 1 291343 36 | 0.000 % | 1721.10/1721.16 c | 7039128 | 900 60464 198501 | 1 291545 36 | 0.000 % | 1721.10/1721.16 c | 7040801 | 900 60464 198501 | 1 293218 37 | 0.000 % | 1721.10/1721.16 c | 7041965 | 900 60464 198501 | 1 294382 37 | 0.000 % | 1721.10/1721.16 c | 7042943 | 900 60464 198501 | 1 295360 37 | 0.000 % | 1721.10/1721.16 c | 7061533 | 900 60464 198501 | 1 313950 38 | 0.000 % | 1721.10/1721.16 c | 7067965 | 900 60464 198501 | 1 320382 39 | 0.000 % | 1721.10/1721.16 c | 7097355 | 900 60464 198501 | 1 349772 39 | 0.000 % | 1721.10/1721.16 c | 7100394 | 900 60464 198501 | 1 352811 39 | 0.000 % | 1721.10/1721.16 c | 7103135 | 900 60464 198501 | 1 355552 39 | 0.000 % | 1721.10/1721.16 c | 7109470 | 900 60464 198501 | 1 361887 40 | 0.000 % | 1721.10/1721.16 c | 7136106 | 900 60464 198501 | 1 199929 29 | 0.000 % | 1721.10/1721.16 c | 7136358 | 900 60464 198501 | 1 200181 29 | 0.000 % | 1721.10/1721.16 c | 7138605 | 900 60464 198501 | 1 202428 29 | 0.000 % | 1721.10/1721.16 c | 7155997 | 900 60464 198501 | 1 219820 31 | 0.000 % | 1721.10/1721.16 c | 7209976 | 900 60464 198501 | 1 273799 35 | 0.000 % | 1721.10/1721.16 c | 7216783 | 900 60464 198501 | 1 280606 35 | 0.000 % | 1721.10/1721.16 c | 7269718 | 900 60464 198501 | 1 333541 37 | 0.000 % | 1721.10/1721.16 c | 7332842 | 900 60464 198501 | 1 205467 29 | 0.000 % | 1721.10/1721.16 c | 7333369 | 900 60464 198501 | 1 205994 29 | 0.000 % | 1721.10/1721.16 c | 7340178 | 900 60464 198501 | 1 212803 30 | 0.000 % | 1721.10/1721.16 c | 7342240 | 900 60464 198501 | 1 214865 30 | 0.000 % | 1721.10/1721.16 c | 7342342 | 900 60464 198501 | 1 214967 30 | 0.000 % | 1721.10/1721.16 c | 7351302 | 900 60464 198501 | 1 223927 31 | 0.000 % | 1721.10/1721.16 c | 7379280 | 900 60464 198501 | 1 251905 33 | 0.000 % | 1721.10/1721.16 c | 7379604 | 900 60464 198501 | 1 252229 33 | 0.000 % | 1721.10/1721.16 c | 7389014 | 900 60464 198501 | 1 261639 34 | 0.000 % | 1721.10/1721.16 c | 7392538 | 900 60464 198501 | 1 265163 34 | 0.000 % | 1721.10/1721.16 c | 7394433 | 900 60464 198501 | 1 267058 34 | 0.000 % | 1721.10/1721.16 c | 7409870 | 900 60464 198501 | 1 282495 36 | 0.000 % | 1721.10/1721.16 c | 7423730 | 900 60464 198501 | 1 296355 36 | 0.000 % | 1721.10/1721.16 c | 7426061 | 900 60464 198501 | 1 298686 36 | 0.000 % | 1721.10/1721.16 c | 7432077 | 900 60464 198501 | 1 304702 37 | 0.000 % | 1721.10/1721.16 c | 7439766 | 900 60464 198501 | 1 312391 37 | 0.000 % | 1721.10/1721.16 c | 7445829 | 900 60464 198501 | 1 318454 38 | 0.000 % | 1721.10/1721.16 c | 7450500 | 900 60464 198501 | 1 323125 38 | 0.000 % | 1721.10/1721.16 c | 7481927 | 900 60464 198501 | 1 354552 39 | 0.000 % | 1925.81/1925.85 c | 7655744 | 900 60464 198501 | 1 334568 36 | 0.000 % | 1925.81/1925.85 c | 7698065 | 900 60464 198501 | 1 376889 38 | 0.000 % | 1925.81/1925.85 c | 7698166 | 900 60464 198501 | 1 376990 38 | 0.000 % | 1925.81/1925.85 c | 7698266 | 900 60464 198501 | 1 377090 38 | 0.000 % | 1925.81/1925.85 c | 7707105 | 900 60464 198501 | 1 385929 39 | 0.000 % | 1925.81/1925.85 c | 7707793 | 900 60464 198501 | 1 386617 39 | 0.000 % | 1925.81/1925.85 c | 7709578 | 900 60464 198501 | 1 388402 39 | 0.000 % | 1925.81/1925.85 c | 7709678 | 900 60464 198501 | 1 388502 39 | 0.000 % | 1925.81/1925.85 c | 7712236 | 900 60464 198501 | 1 391060 39 | 0.000 % | 1925.81/1925.85 c | 7712628 | 900 60464 198501 | 1 391452 39 | 0.000 % | 1925.81/1925.85 c | 7735356 | 900 60464 198501 | 1 217775 29 | 0.000 % | 1925.81/1925.85 c | 7737473 | 900 60464 198501 | 1 219892 30 | 0.000 % | 1925.81/1925.85 c | 7747266 | 900 60464 198501 | 1 229685 31 | 0.000 % | 1925.81/1925.85 c | 7754230 | 900 60464 198501 | 1 236649 31 | 0.000 % | 1925.81/1925.85 c | 7792221 | 900 60464 198501 | 1 274640 33 | 0.000 % | 1925.81/1925.85 c | 7793341 | 900 60464 198501 | 1 275760 33 | 0.000 % | 1925.81/1925.85 c | 7795954 | 900 60464 198501 | 1 278373 34 | 0.000 % | 1925.81/1925.85 c | 7797535 | 900 60464 198501 | 1 279954 34 | 0.000 % | 1925.81/1925.85 c | 7808844 | 900 60464 198501 | 1 291263 35 | 0.000 % | 1925.81/1925.85 c | 7808944 | 900 60464 198501 | 1 291363 35 | 0.000 % | 1925.81/1925.85 c | 7818993 | 900 60464 198501 | 1 301412 35 | 0.000 % | 1925.81/1925.85 c | 7829408 | 900 60464 198501 | 1 311827 36 | 0.000 % | 1925.81/1925.85 c | 7884342 | 900 60464 198501 | 1 366761 37 | 0.000 % | 1925.81/1925.85 c | 7884442 | 900 60464 198501 | 1 366861 37 | 0.000 % | 1925.81/1925.85 c | 7902417 | 900 60464 198501 | 1 384836 38 | 0.000 % | 1925.81/1925.85 c | 7902517 | 900 60464 198501 | 1 384936 38 | 0.000 % | 1925.81/1925.85 c | 7905220 | 900 60464 198501 | 1 387639 38 | 0.000 % | 1925.81/1925.85 c | 7920298 | 900 60464 198501 | 1 203715 27 | 0.000 % | 1925.81/1925.85 c | 7923026 | 900 60464 198501 | 1 206443 27 | 0.000 % | 1925.81/1925.85 c | 7948669 | 900 60464 198501 | 1 232086 30 | 0.000 % | 1925.81/1925.85 c | 7948769 | 900 60464 198501 | 1 232186 30 | 0.000 % | 1925.81/1925.85 c | 7948871 | 900 60464 198501 | 1 232288 30 | 0.000 % | 1925.81/1925.85 c | 7966769 | 900 60464 198501 | 1 250186 32 | 0.000 % | 1925.81/1925.85 c | 7973173 | 900 60464 198501 | 1 256590 32 | 0.000 % | 1925.81/1925.85 c | 7983321 | 900 60464 198501 | 1 266738 33 | 0.000 % | 1925.81/1925.85 c | 8003756 | 900 60464 198501 | 1 287173 34 | 0.000 % | 1925.81/1925.85 c | 8003859 | 900 60464 198501 | 1 287276 35 | 0.000 % | 1925.81/1925.85 c | 8031877 | 900 60464 198501 | 1 315294 36 | 0.000 % | 1925.81/1925.85 c | 8032843 | 900 60464 198501 | 1 316260 36 | 0.000 % | 1925.81/1925.85 c | 8052286 | 900 60464 198501 | 1 335703 37 | 0.000 % | 1925.81/1925.85 c | 8083699 | 900 60464 198501 | 1 367116 39 | 0.000 % | 1925.81/1925.85 c | 8088591 | 900 60464 198501 | 1 372008 39 | 0.000 % | 1925.81/1925.85 c | 8089086 | 900 60464 198501 | 1 372503 39 | 0.000 % | 1925.81/1925.85 c | 8089562 | 900 60464 198501 | 1 372979 39 | 0.000 % | 1925.81/1925.85 c | 8093996 | 900 60464 198501 | 1 377413 40 | 0.000 % | 1925.81/1925.85 c | 8105463 | 900 60464 198501 | 1 388880 40 | 0.000 % | 1925.81/1925.85 c | 8105563 | 900 60464 198501 | 1 388980 40 | 0.000 % | 1925.81/1925.85 c | 8120623 | 900 60464 198501 | 1 202444 28 | 0.000 % | 1925.81/1925.85 c | 8128244 | 900 60464 198501 | 1 210065 29 | 0.000 % | 1925.81/1925.85 c | 8128345 | 900 60464 198501 | 1 210166 29 | 0.000 % | 2120.41/2120.41 c | 8154449 | 900 60464 198501 | 1 236270 31 | 0.000 % | 2120.41/2120.41 c | 8154551 | 900 60464 198501 | 1 236372 31 | 0.000 % | 2120.41/2120.41 c | 8157899 | 900 60464 198501 | 1 239720 32 | 0.000 % | 2120.41/2120.41 c | 8159991 | 900 60464 198501 | 1 241812 32 | 0.000 % | 2120.41/2120.41 c | 8161713 | 900 60464 198501 | 1 243534 32 | 0.000 % | 2120.41/2120.41 c | 8181062 | 900 60464 198501 | 1 262883 34 | 0.000 % | 2120.41/2120.41 c | 8182770 | 900 60464 198501 | 1 264591 34 | 0.000 % | 2120.41/2120.41 c | 8183591 | 900 60464 198501 | 1 265412 34 | 0.000 % | 2120.41/2120.41 c | 8185773 | 900 60464 198501 | 1 267594 34 | 0.000 % | 2120.41/2120.41 c | 8185875 | 900 60464 198501 | 1 267696 34 | 0.000 % | 2120.41/2120.41 c | 8186118 | 900 60464 198501 | 1 267939 34 | 0.000 % | 2120.41/2120.41 c | 8193865 | 900 60464 198501 | 1 275686 35 | 0.000 % | 2120.41/2120.41 c | 8207571 | 900 60464 198501 | 1 289392 36 | 0.000 % | 2120.41/2120.41 c | 8238738 | 900 60464 198501 | 1 320559 37 | 0.000 % | 2120.41/2120.41 c | 8248482 | 900 60464 198501 | 1 330303 37 | 0.000 % | 2120.41/2120.41 c | 8277882 | 900 60464 198501 | 1 359703 38 | 0.000 % | 2120.41/2120.41 c | 8280565 | 900 60464 198501 | 1 362386 38 | 0.000 % | 2120.41/2120.41 c | 8299506 | 900 60464 198501 | 1 381327 39 | 0.000 % | 2120.41/2120.41 c | 8302870 | 900 60464 198501 | 1 384691 39 | 0.000 % | 2120.41/2120.41 c | 8327043 | 900 60464 198501 | 1 204659 27 | 0.000 % | 2120.41/2120.41 c | 8370506 | 900 60464 198501 | 1 248122 31 | 0.000 % | 2120.41/2120.41 c | 8370811 | 900 60464 198501 | 1 248427 31 | 0.000 % | 2120.41/2120.41 c | 8408865 | 900 60464 198501 | 1 286481 34 | 0.000 % | 2120.41/2120.41 c | 8467639 | 900 60464 198501 | 1 345255 37 | 0.000 % | 2120.41/2120.41 c | 8483988 | 900 60464 198501 | 1 361604 37 | 0.000 % | 2120.41/2120.41 c | 8485561 | 900 60464 198501 | 1 363177 37 | 0.000 % | 2120.41/2120.41 c | 8487524 | 900 60464 198501 | 1 365140 38 | 0.000 % | 2120.41/2120.41 c | 8487625 | 900 60464 198501 | 1 365241 38 | 0.000 % | 2120.41/2120.41 c | 8489024 | 900 60464 198501 | 1 366640 38 | 0.000 % | 2120.41/2120.41 c | 8499182 | 900 60464 198501 | 1 376798 38 | 0.000 % | 2120.41/2120.41 c | 8503159 | 900 60464 198501 | 1 380775 38 | 0.000 % | 2120.41/2120.41 c | 8513924 | 900 60464 198501 | 1 391540 39 | 0.000 % | 2120.41/2120.41 c | 8534261 | 900 60464 198501 | 1 411877 39 | 0.000 % | 2120.41/2120.41 c | 8545850 | 900 60464 198501 | 1 216664 28 | 0.000 % | 2120.41/2120.41 c | 8547353 | 900 60464 198501 | 1 218167 28 | 0.000 % | 2120.41/2120.41 c | 8551055 | 900 60464 198501 | 1 221869 28 | 0.000 % | 2120.41/2120.41 c | 8551775 | 900 60464 198501 | 1 222589 28 | 0.000 % | 2120.41/2120.41 c | 8553661 | 900 60464 198501 | 1 224475 29 | 0.000 % | 2120.41/2120.41 c | 8560908 | 900 60464 198501 | 1 231722 29 | 0.000 % | 2120.41/2120.41 c | 8594619 | 900 60464 198501 | 1 265433 33 | 0.000 % | 2120.41/2120.41 c | 8627991 | 900 60464 198501 | 1 298805 35 | 0.000 % | 2120.41/2120.41 c | 8628379 | 900 60464 198501 | 1 299193 35 | 0.000 % | 2120.41/2120.41 c | 8631652 | 900 60464 198501 | 1 302466 35 | 0.000 % | 2120.41/2120.41 c | 8634201 | 900 60464 198501 | 1 305015 35 | 0.000 % | 2120.41/2120.41 c | 8647176 | 900 60464 198501 | 1 317990 36 | 0.000 % | 2120.41/2120.41 c | 8654668 | 900 60464 198501 | 1 325482 36 | 0.000 % | 2120.41/2120.41 c | 8691581 | 900 60464 198501 | 1 362395 37 | 0.000 % | 2120.41/2120.41 c | 8693848 | 900 60464 198501 | 1 364662 38 | 0.000 % | 2120.41/2120.41 c | 8718893 | 900 60464 198501 | 1 389707 38 | 0.000 % | 2345.01/2345.04 c | 8724452 | 900 60464 198501 | 1 395266 39 | 0.000 % | 2345.01/2345.04 c | 8724556 | 900 60464 198501 | 1 395370 39 | 0.000 % | 2345.01/2345.04 c | 8733556 | 900 60464 198501 | 1 404370 39 | 0.000 % | 2345.01/2345.04 c | 8736222 | 900 60464 198501 | 1 407036 39 | 0.000 % | 2345.01/2345.04 c | 8736322 | 900 60464 198501 | 1 407136 39 | 0.000 % | 2345.01/2345.04 c | 8752439 | 900 60464 198501 | 1 213856 27 | 0.000 % | 2345.01/2345.04 c | 8779059 | 900 60464 198501 | 1 240476 30 | 0.000 % | 2345.01/2345.04 c | 8783716 | 900 60464 198501 | 1 245133 30 | 0.000 % | 2345.01/2345.04 c | 8802534 | 900 60464 198501 | 1 263951 32 | 0.000 % | 2345.01/2345.04 c | 8802695 | 900 60464 198501 | 1 264112 32 | 0.000 % | 2345.01/2345.04 c | 8830298 | 900 60464 198501 | 1 291715 35 | 0.000 % | 2345.01/2345.04 c | 8836964 | 900 60464 198501 | 1 298381 35 | 0.000 % | 2345.01/2345.04 c | 8898088 | 900 60464 198501 | 1 359505 37 | 0.000 % | 2345.01/2345.04 c | 8906781 | 900 60464 198501 | 1 368198 38 | 0.000 % | 2345.01/2345.04 c | 8908173 | 900 60464 198501 | 1 369590 38 | 0.000 % | 2345.01/2345.04 c | 8917502 | 900 60464 198501 | 1 378919 38 | 0.000 % | 2345.01/2345.04 c | 8925831 | 900 60464 198501 | 1 387248 39 | 0.000 % | 2345.01/2345.04 c | 8937002 | 900 60464 198501 | 1 398419 39 | 0.000 % | 2345.01/2345.04 c | 8942745 | 900 60464 198501 | 1 404162 39 | 0.000 % | 2345.01/2345.04 c | 8943375 | 900 60464 198501 | 1 404792 39 | 0.000 % | 2345.01/2345.04 c | 8951629 | 900 60464 198501 | 1 413046 39 | 0.000 % | 2345.01/2345.04 c | 8965172 | 900 60464 198501 | 1 214587 27 | 0.000 % | 2345.01/2345.04 c | 9011300 | 900 60464 198501 | 1 260715 31 | 0.000 % | 2345.01/2345.04 c | 9021532 | 900 60464 198501 | 1 270947 32 | 0.000 % | 2345.01/2345.04 c | 9031235 | 900 60464 198501 | 1 280650 32 | 0.000 % | 2345.01/2345.04 c | 9053210 | 900 60464 198501 | 1 302625 34 | 0.000 % | 2345.01/2345.04 c | 9053312 | 900 60464 198501 | 1 302727 34 | 0.000 % | 2345.01/2345.04 c | 9089196 | 900 60464 198501 | 1 338611 36 | 0.000 % | 2345.01/2345.04 c | 9092121 | 900 60464 198501 | 1 341536 36 | 0.000 % | 2345.01/2345.04 c | 9092221 | 900 60464 198501 | 1 341636 36 | 0.000 % | 2345.01/2345.04 c | 9111135 | 900 60464 198501 | 1 360550 37 | 0.000 % | 2345.01/2345.04 c | 9111984 | 900 60464 198501 | 1 361399 37 | 0.000 % | 2345.01/2345.04 c | 9118419 | 900 60464 198501 | 1 367834 38 | 0.000 % | 2345.01/2345.04 c | 9118519 | 900 60464 198501 | 1 367934 38 | 0.000 % | 2345.01/2345.04 c | 9131737 | 900 60464 198501 | 1 381152 38 | 0.000 % | 2345.01/2345.04 c | 9196061 | 900 60464 198501 | 1 230871 28 | 0.000 % | 2345.01/2345.04 c | 9197115 | 900 60464 198501 | 1 231925 28 | 0.000 % | 2345.01/2345.04 c | 9206053 | 900 60464 198501 | 1 240863 29 | 0.000 % | 2345.01/2345.04 c | 9216353 | 900 60464 198501 | 1 251163 30 | 0.000 % | 2345.01/2345.04 c | 9217158 | 900 60464 198501 | 1 251968 30 | 0.000 % | 2345.01/2345.04 c | 9217436 | 900 60464 198501 | 1 252246 30 | 0.000 % | 2345.01/2345.04 c | 9218461 | 900 60464 198501 | 1 253271 31 | 0.000 % | 2345.01/2345.04 c | 9229498 | 900 60464 198501 | 1 264308 31 | 0.000 % | 2345.01/2345.04 c | 9275588 | 900 60464 198501 | 1 310398 34 | 0.000 % | 2345.01/2345.04 c | 9276940 | 900 60464 198501 | 1 311750 34 | 0.000 % | 2345.01/2345.04 c | 9298899 | 900 60464 198501 | 1 333709 36 | 0.000 % | 2345.01/2345.04 c | 9298999 | 900 60464 198501 | 1 333809 36 | 0.000 % | 2345.01/2345.04 c | 9330873 | 900 60464 198501 | 1 365683 37 | 0.000 % | 2345.01/2345.04 c | 9373322 | 900 60464 198501 | 1 408132 38 | 0.000 % | 2345.01/2345.04 c | 9375915 | 900 60464 198501 | 1 410725 38 | 0.000 % | 2471.52/2471.50 c | 9376019 | 900 60464 198501 | 1 410829 38 | 0.000 % | 2471.52/2471.50 c | 9376868 | 900 60464 198501 | 1 411678 38 | 0.000 % | 2471.52/2471.50 c | 9377808 | 900 60464 198501 | 1 412618 38 | 0.000 % | 2471.52/2471.50 c | 9378934 | 900 60464 198501 | 1 413744 38 | 0.000 % | 2471.52/2471.50 c | 9379035 | 900 60464 198501 | 1 413845 38 | 0.000 % | 2471.52/2471.50 c | 9379135 | 900 60464 198501 | 1 413945 38 | 0.000 % | 2471.52/2471.50 c | 9380723 | 900 60464 198501 | 1 415533 39 | 0.000 % | 2471.52/2471.50 c | 9419626 | 900 60464 198501 | 1 237241 28 | 0.000 % | 2471.52/2471.50 c | 9422239 | 900 60464 198501 | 1 239854 29 | 0.000 % | 2471.52/2471.50 c | 9438004 | 900 60464 198501 | 1 255619 30 | 0.000 % | 2471.52/2471.50 c | 9448131 | 900 60464 198501 | 1 265746 31 | 0.000 % | 2471.52/2471.50 c | 9448876 | 900 60464 198501 | 1 266491 31 | 0.000 % | 2471.52/2471.50 c | 9452841 | 900 60464 198501 | 1 270456 31 | 0.000 % | 2471.52/2471.50 c | 9468835 | 900 60464 198501 | 1 286450 32 | 0.000 % | 2471.52/2471.50 c | 9470262 | 900 60464 198501 | 1 287877 32 | 0.000 % | 2471.52/2471.50 c | 9479089 | 900 60464 198501 | 1 296704 33 | 0.000 % | 2471.52/2471.50 c | 9480312 | 900 60464 198501 | 1 297927 33 | 0.000 % | 2471.52/2471.50 c | 9480412 | 900 60464 198501 | 1 298027 33 | 0.000 % | 2471.52/2471.50 c | 9483005 | 900 60464 198501 | 1 300620 33 | 0.000 % | 2471.52/2471.50 c | 9490325 | 900 60464 198501 | 1 307940 33 | 0.000 % | 2471.52/2471.50 c | 9522380 | 900 60464 198501 | 1 339995 34 | 0.000 % | 2471.52/2471.50 c | 9523007 | 900 60464 198501 | 1 340622 34 | 0.000 % | 2471.52/2471.50 c | 9526545 | 900 60464 198501 | 1 344160 34 | 0.000 % | 2471.52/2471.50 c | 9534490 | 900 60464 198501 | 1 352105 35 | 0.000 % | 2471.52/2471.50 c | 9542088 | 900 60464 198501 | 1 359703 35 | 0.000 % | 2471.52/2471.50 c | 9579828 | 900 60464 198501 | 1 397443 38 | 0.000 % | 2471.52/2471.50 c | 9592200 | 900 60464 198501 | 1 409815 38 | 0.000 % | 2471.52/2471.50 c | 9594875 | 900 60464 198501 | 1 412490 38 | 0.000 % | 2471.52/2471.50 c | 9618789 | 900 60464 198501 | 1 436404 39 | 0.000 % | 2471.52/2471.50 c | 9621074 | 900 60464 198501 | 1 438689 39 | 0.000 % | 2471.52/2471.50 c | 9630422 | 900 60464 198501 | 1 228236 28 | 0.000 % | 2471.52/2471.50 c | 9638909 | 900 60464 198501 | 1 236723 29 | 0.000 % | 2471.52/2471.50 c | 9646124 | 900 60464 198501 | 1 243938 29 | 0.000 % | 2471.52/2471.50 c | 9646564 | 900 60464 198501 | 1 244378 29 | 0.000 % | 2471.52/2471.50 c | 9668099 | 900 60464 198501 | 1 265913 32 | 0.000 % | 2471.52/2471.50 c | 9673896 | 900 60464 198501 | 1 271710 32 | 0.000 % | 2471.52/2471.50 c | 9683817 | 900 60464 198501 | 1 281631 33 | 0.000 % | 2471.52/2471.50 c | 9694908 | 900 60464 198501 | 1 292722 34 | 0.000 % | 2471.52/2471.50 c | 9695480 | 900 60464 198501 | 1 293294 34 | 0.000 % | 2471.52/2471.50 c | 9696095 | 900 60464 198501 | 1 293909 34 | 0.000 % | 2471.52/2471.50 c | 9696251 | 900 60464 198501 | 1 294065 34 | 0.000 % | 2471.52/2471.50 c | 9700115 | 900 60464 198501 | 1 297929 34 | 0.000 % | 2471.52/2471.50 c | 9701515 | 900 60464 198501 | 1 299329 34 | 0.000 % | 2471.52/2471.50 c | 9710390 | 900 60464 198501 | 1 308204 35 | 0.000 % | 2471.52/2471.50 c | 9716350 | 900 60464 198501 | 1 314164 35 | 0.000 % | 2471.52/2471.50 c | 9716603 | 900 60464 198501 | 1 314417 35 | 0.000 % | 2471.52/2471.50 c | 9718933 | 900 60464 198501 | 1 316747 35 | 0.000 % | 2471.52/2471.50 c | 9722205 | 900 60464 198501 | 1 320019 35 | 0.000 % | 2471.52/2471.50 c | 9749720 | 900 60464 198501 | 1 347534 37 | 0.000 % | 2471.52/2471.50 c | 9751949 | 900 60464 198501 | 1 349763 37 | 0.000 % | 2654.92/2654.96 c | 9759985 | 900 60464 198501 | 1 357799 37 | 0.000 % | 2654.92/2654.96 c | 9764053 | 900 60464 198501 | 1 361867 37 | 0.000 % | 2654.92/2654.96 c | 9767901 | 900 60464 198501 | 1 365715 38 | 0.000 % | 2654.92/2654.96 c | 9768204 | 900 60464 198501 | 1 366018 38 | 0.000 % | 2654.92/2654.96 c | 9768304 | 900 60464 198501 | 1 366118 38 | 0.000 % | 2654.92/2654.96 c | 9779436 | 900 60464 198501 | 1 377250 38 | 0.000 % | 2654.92/2654.96 c | 9880514 | 900 60464 198501 | 1 255929 31 | 0.000 % | 2654.92/2654.96 c | 9906288 | 900 60464 198501 | 1 281703 32 | 0.000 % | 2654.92/2654.96 c | 9916259 | 900 60464 198501 | 1 291674 33 | 0.000 % | 2654.92/2654.96 c | 9918726 | 900 60464 198501 | 1 294141 33 | 0.000 % | 2654.92/2654.96 c | 9936365 | 900 60464 198501 | 1 311780 34 | 0.000 % | 2654.92/2654.96 c | 9938559 | 900 60464 198501 | 1 313974 35 | 0.000 % | 2654.92/2654.96 c | 9959090 | 900 60464 198501 | 1 334505 36 | 0.000 % | 2654.92/2654.96 c | 9959190 | 900 60464 198501 | 1 334605 36 | 0.000 % | 2654.92/2654.96 c | 9959291 | 900 60464 198501 | 1 334706 36 | 0.000 % | 2654.92/2654.96 c | 10004152 | 900 60464 198501 | 1 379567 38 | 0.000 % | 2654.92/2654.96 c | 10004252 | 900 60464 198501 | 1 379667 38 | 0.000 % | 2654.92/2654.96 c | 10012850 | 900 60464 198501 | 1 388265 38 | 0.000 % | 2654.92/2654.96 c | 10015278 | 900 60464 198501 | 1 390693 39 | 0.000 % | 2654.92/2654.96 c | 10017073 | 900 60464 198501 | 1 392488 39 | 0.000 % | 2654.92/2654.96 c | 10017603 | 900 60464 198501 | 1 393018 39 | 0.000 % | 2654.92/2654.96 c | 10019249 | 900 60464 198501 | 1 394664 39 | 0.000 % | 2654.92/2654.96 c | 10029706 | 900 60464 198501 | 1 405121 39 | 0.000 % | 2654.92/2654.96 c | 10036663 | 900 60464 198501 | 1 412078 39 | 0.000 % | 2654.92/2654.96 c | 10038880 | 900 60464 198501 | 1 414295 39 | 0.000 % | 2654.92/2654.96 c | 10048578 | 900 60464 198501 | 1 423993 40 | 0.000 % | 2654.92/2654.96 c | 10058326 | 900 60464 198501 | 1 433741 40 | 0.000 % | 2654.92/2654.96 c | 10063049 | 900 60464 198501 | 1 438464 40 | 0.000 % | 2654.92/2654.96 c | 10065686 | 900 60464 198501 | 1 441101 40 | 0.000 % | 2654.92/2654.96 c | 10065923 | 900 60464 198501 | 1 441338 40 | 0.000 % | 2654.92/2654.96 c | 10069204 | 900 60464 198501 | 1 444619 40 | 0.000 % | 2654.92/2654.96 c | 10071725 | 900 60464 198501 | 1 447140 41 | 0.000 % | 2654.92/2654.96 c | 10091809 | 900 60464 198501 | 1 242231 28 | 0.000 % | 2654.92/2654.96 c | 10094221 | 900 60464 198501 | 1 244643 29 | 0.000 % | 2654.92/2654.96 c | 10103601 | 900 60464 198501 | 1 254023 30 | 0.000 % | 2654.92/2654.96 c | 10120876 | 900 60464 198501 | 1 271298 31 | 0.000 % | 2654.92/2654.96 c | 10121034 | 900 60464 198501 | 1 271456 32 | 0.000 % | 2654.92/2654.96 c | 10136483 | 900 60464 198501 | 1 286905 32 | 0.000 % | 2654.92/2654.96 c | 10136585 | 900 60464 198501 | 1 287007 32 | 0.000 % | 2654.92/2654.96 c | 10155655 | 900 60464 198501 | 1 306077 34 | 0.000 % | 2654.92/2654.96 c | 10155755 | 900 60464 198501 | 1 306177 34 | 0.000 % | 2654.92/2654.96 c | 10155936 | 900 60464 198501 | 1 306358 34 | 0.000 % | 2654.92/2654.96 c | 10203467 | 900 60464 198501 | 1 353889 36 | 0.000 % | 2654.92/2654.96 c | 10224661 | 900 60464 198501 | 1 375083 37 | 0.000 % | 2654.92/2654.96 c | 10238554 | 900 60464 198501 | 1 388976 38 | 0.000 % | 2654.92/2654.96 c | 10241778 | 900 60464 198501 | 1 392200 38 | 0.000 % | 2654.92/2654.96 c | 10241878 | 900 60464 198501 | 1 392300 38 | 0.000 % | 2654.92/2654.96 c | 10250518 | 900 60464 198501 | 1 400940 38 | 0.000 % | 2654.92/2654.96 c | 10250619 | 900 60464 198501 | 1 401041 38 | 0.000 % | 2654.92/2654.96 c | 10259698 | 900 60464 198501 | 1 410120 39 | 0.000 % | 2860.33/2860.30 c | 10261531 | 900 60464 198501 | 1 411953 39 | 0.000 % | 2860.33/2860.30 c | 10299536 | 900 60464 198501 | 1 449958 39 | 0.000 % | 2860.33/2860.30 c | 10304675 | 900 60464 198501 | 1 455097 39 | 0.000 % | 2860.33/2860.30 c | 10338774 | 900 60464 198501 | 1 261588 30 | 0.000 % | 2860.33/2860.30 c | 10339015 | 900 60464 198501 | 1 261829 30 | 0.000 % | 2860.33/2860.30 c | 10339116 | 900 60464 198501 | 1 261930 30 | 0.000 % | 2860.33/2860.30 c | 10360115 | 900 60464 198501 | 1 282929 31 | 0.000 % | 2860.33/2860.30 c | 10361644 | 900 60464 198501 | 1 284458 32 | 0.000 % | 2860.33/2860.30 c | 10363473 | 900 60464 198501 | 1 286287 32 | 0.000 % | 2860.33/2860.30 c | 10423620 | 900 60464 198501 | 1 346434 36 | 0.000 % | 2860.33/2860.30 c | 10425702 | 900 60464 198501 | 1 348516 36 | 0.000 % | 2860.33/2860.30 c | 10430476 | 900 60464 198501 | 1 353290 36 | 0.000 % | 2860.33/2860.30 c | 10430608 | 900 60464 198501 | 1 353422 36 | 0.000 % | 2860.33/2860.30 c | 10452099 | 900 60464 198501 | 1 374913 37 | 0.000 % | 2860.33/2860.30 c | 10452202 | 900 60464 198501 | 1 375016 37 | 0.000 % | 2860.33/2860.30 c | 10452310 | 900 60464 198501 | 1 375124 37 | 0.000 % | 2860.33/2860.30 c | 10452412 | 900 60464 198501 | 1 375226 37 | 0.000 % | 2860.33/2860.30 c | 10466414 | 900 60464 198501 | 1 389228 38 | 0.000 % | 2860.33/2860.30 c | 10471113 | 900 60464 198501 | 1 393927 38 | 0.000 % | 2860.33/2860.30 c | 10471213 | 900 60464 198501 | 1 394027 38 | 0.000 % | 2860.33/2860.30 c | 10471315 | 900 60464 198501 | 1 394129 38 | 0.000 % | 2860.33/2860.30 c | 10471416 | 900 60464 198501 | 1 394230 38 | 0.000 % | 2860.33/2860.30 c | 10493088 | 900 60464 198501 | 1 415902 39 | 0.000 % | 2860.33/2860.30 c | 10513046 | 900 60464 198501 | 1 435860 40 | 0.000 % | 2860.33/2860.30 c | 10527172 | 900 60464 198501 | 1 449986 40 | 0.000 % | 2860.33/2860.30 c | 10527275 | 900 60464 198501 | 1 450089 40 | 0.000 % | 2860.33/2860.30 c | 10540118 | 900 60464 198501 | 1 232735 27 | 0.000 % | 2860.33/2860.30 c | 10540218 | 900 60464 198501 | 1 232835 27 | 0.000 % | 2860.33/2860.30 c | 10541294 | 900 60464 198501 | 1 233911 27 | 0.000 % | 2860.33/2860.30 c | 10555416 | 900 60464 198501 | 1 248033 29 | 0.000 % | 2860.33/2860.30 c | 10555782 | 900 60464 198501 | 1 248399 29 | 0.000 % | 2860.33/2860.30 c | 10565903 | 900 60464 198501 | 1 258520 30 | 0.000 % | 2860.33/2860.30 c | 10585172 | 900 60464 198501 | 1 277789 31 | 0.000 % | 2860.33/2860.30 c | 10591717 | 900 60464 198501 | 1 284334 32 | 0.000 % | 2860.33/2860.30 c | 10595360 | 900 60464 198501 | 1 287977 32 | 0.000 % | 2860.33/2860.30 c | 10627308 | 900 60464 198501 | 1 319925 34 | 0.000 % | 2860.33/2860.30 c | 10650426 | 900 60464 198501 | 1 343043 35 | 0.000 % | 2860.33/2860.30 c | 10660910 | 900 60464 198501 | 1 353527 35 | 0.000 % | 2860.33/2860.30 c | 10670834 | 900 60464 198501 | 1 363451 35 | 0.000 % | 2860.33/2860.30 c | 10685939 | 900 60464 198501 | 1 378556 36 | 0.000 % | 2860.33/2860.30 c | 10687686 | 900 60464 198501 | 1 380303 36 | 0.000 % | 2860.33/2860.30 c | 10727160 | 900 60464 198501 | 1 419777 38 | 0.000 % | 2860.33/2860.30 c | 10727416 | 900 60464 198501 | 1 420033 38 | 0.000 % | 2860.33/2860.30 c | 10728129 | 900 60464 198501 | 1 420746 38 | 0.000 % | 2860.33/2860.30 c | 10728793 | 900 60464 198501 | 1 421410 38 | 0.000 % | 2860.33/2860.30 c | 10758675 | 900 60464 198501 | 1 451292 39 | 0.000 % | 2860.33/2860.30 c | 10764200 | 900 60464 198501 | 1 456817 39 | 0.000 % | 2860.33/2860.30 c | 10776368 | 900 60464 198501 | 1 236184 27 | 0.000 % | 2860.33/2860.30 c | 10797327 | 900 60464 198501 | 1 257143 28 | 0.000 % | 2860.33/2860.30 c | 10800045 | 900 60464 198501 | 1 259861 29 | 0.000 % | 3015.93/3015.96 c | 10819376 | 900 60464 198501 | 1 279192 30 | 0.000 % | 3015.93/3015.96 c | 10819988 | 900 60464 198501 | 1 279804 30 | 0.000 % | 3015.93/3015.96 c | 10842088 | 900 60464 198501 | 1 301904 31 | 0.000 % | 3015.93/3015.96 c | 10842397 | 900 60464 198501 | 1 302213 31 | 0.000 % | 3015.93/3015.96 c | 10867992 | 900 60464 198501 | 1 327808 33 | 0.000 % | 3015.93/3015.96 c | 10868914 | 900 60464 198501 | 1 328730 33 | 0.000 % | 3015.93/3015.96 c | 10887659 | 900 60464 198501 | 1 347475 34 | 0.000 % | 3015.93/3015.96 c | 10887763 | 900 60464 198501 | 1 347579 34 | 0.000 % | 3015.93/3015.96 c | 10900301 | 900 60464 198501 | 1 360117 35 | 0.000 % | 3015.93/3015.96 c | 10903697 | 900 60464 198501 | 1 363513 35 | 0.000 % | 3015.93/3015.96 c | 10905628 | 900 60464 198501 | 1 365444 35 | 0.000 % | 3015.93/3015.96 c | 10922805 | 900 60464 198501 | 1 382621 36 | 0.000 % | 3015.93/3015.96 c | 11012165 | 900 60464 198501 | 1 236580 26 | 0.000 % | 3015.93/3015.96 c | 11018365 | 900 60464 198501 | 1 242780 27 | 0.000 % | 3015.93/3015.96 c | 11024818 | 900 60464 198501 | 1 249233 28 | 0.000 % | 3015.93/3015.96 c | 11024918 | 900 60464 198501 | 1 249333 28 | 0.000 % | 3015.93/3015.96 c | 11035089 | 900 60464 198501 | 1 259504 29 | 0.000 % | 3015.93/3015.96 c | 11046450 | 900 60464 198501 | 1 270865 30 | 0.000 % | 3015.93/3015.96 c | 11046550 | 900 60464 198501 | 1 270965 30 | 0.000 % | 3015.93/3015.96 c | 11048144 | 900 60464 198501 | 1 272559 30 | 0.000 % | 3015.93/3015.96 c | 11052332 | 900 60464 198501 | 1 276747 31 | 0.000 % | 3015.93/3015.96 c | 11054933 | 900 60464 198501 | 1 279348 31 | 0.000 % | 3015.93/3015.96 c | 11061832 | 900 60464 198501 | 1 286247 31 | 0.000 % | 3015.93/3015.96 c | 11071059 | 900 60464 198501 | 1 295474 32 | 0.000 % | 3015.93/3015.96 c | 11079122 | 900 60464 198501 | 1 303537 33 | 0.000 % | 3015.93/3015.96 c | 11079226 | 900 60464 198501 | 1 303641 33 | 0.000 % | 3015.93/3015.96 c | 11081758 | 900 60464 198501 | 1 306173 33 | 0.000 % | 3015.93/3015.96 c | 11082198 | 900 60464 198501 | 1 306613 33 | 0.000 % | 3015.93/3015.96 c | 11116767 | 900 60464 198501 | 1 341182 35 | 0.000 % | 3015.93/3015.96 c | 11119860 | 900 60464 198501 | 1 344275 35 | 0.000 % | 3015.93/3015.96 c | 11125045 | 900 60464 198501 | 1 349460 35 | 0.000 % | 3015.93/3015.96 c | 11131009 | 900 60464 198501 | 1 355424 36 | 0.000 % | 3015.93/3015.96 c | 11133057 | 900 60464 198501 | 1 357472 36 | 0.000 % | 3015.93/3015.96 c | 11136857 | 900 60464 198501 | 1 361272 36 | 0.000 % | 3015.93/3015.96 c | 11136957 | 900 60464 198501 | 1 361372 36 | 0.000 % | 3015.93/3015.96 c | 11144607 | 900 60464 198501 | 1 369022 36 | 0.000 % | 3015.93/3015.96 c | 11149433 | 900 60464 198501 | 1 373848 36 | 0.000 % | 3015.93/3015.96 c | 11151801 | 900 60464 198501 | 1 376216 37 | 0.000 % | 3015.93/3015.96 c | 11158455 | 900 60464 198501 | 1 382870 37 | 0.000 % | 3015.93/3015.96 c | 11169926 | 900 60464 198501 | 1 394341 37 | 0.000 % | 3015.93/3015.96 c | 11184296 | 900 60464 198501 | 1 408711 38 | 0.000 % | 3015.93/3015.96 c | 11184644 | 900 60464 198501 | 1 409059 38 | 0.000 % | 3015.93/3015.96 c | 11187140 | 900 60464 198501 | 1 411555 38 | 0.000 % | 3015.93/3015.96 c | 11187241 | 900 60464 198501 | 1 411656 38 | 0.000 % | 3015.93/3015.96 c | 11200835 | 900 60464 198501 | 1 425250 38 | 0.000 % | 3015.93/3015.96 c | 11201417 | 900 60464 198501 | 1 425832 38 | 0.000 % | 3015.93/3015.96 c | 11207114 | 900 60464 198501 | 1 431529 39 | 0.000 % | 3015.93/3015.96 c | 11210131 | 900 60464 198501 | 1 434546 39 | 0.000 % | 3015.93/3015.96 c | 11213652 | 900 60464 198501 | 1 438067 39 | 0.000 % | 3015.93/3015.96 c | 11224629 | 900 60464 198501 | 1 449044 39 | 0.000 % | 3149.13/3149.16 c | 11224729 | 900 60464 198501 | 1 449144 39 | 0.000 % | 3149.13/3149.16 c | 11224830 | 900 60464 198501 | 1 449245 39 | 0.000 % | 3149.13/3149.16 c | 11229917 | 900 60464 198501 | 1 454332 40 | 0.000 % | 3149.13/3149.16 c | 11291350 | 900 60464 198501 | 1 277766 30 | 0.000 % | 3149.13/3149.16 c | 11292290 | 900 60464 198501 | 1 278706 30 | 0.000 % | 3149.13/3149.16 c | 11293165 | 900 60464 198501 | 1 279581 30 | 0.000 % | 3149.13/3149.16 c | 11311701 | 900 60464 198501 | 1 298117 31 | 0.000 % | 3149.13/3149.16 c | 11311802 | 900 60464 198501 | 1 298218 31 | 0.000 % | 3149.13/3149.16 c | 11327488 | 900 60464 198501 | 1 313904 32 | 0.000 % | 3149.13/3149.16 c | 11327589 | 900 60464 198501 | 1 314005 32 | 0.000 % | 3149.13/3149.16 c | 11346742 | 900 60464 198501 | 1 333158 34 | 0.000 % | 3149.13/3149.16 c | 11347934 | 900 60464 198501 | 1 334350 34 | 0.000 % | 3149.13/3149.16 c | 11348199 | 900 60464 198501 | 1 334615 34 | 0.000 % | 3149.13/3149.16 c | 11349377 | 900 60464 198501 | 1 335793 34 | 0.000 % | 3149.13/3149.16 c | 11362906 | 900 60464 198501 | 1 349322 35 | 0.000 % | 3149.13/3149.16 c | 11367018 | 900 60464 198501 | 1 353434 35 | 0.000 % | 3149.13/3149.16 c | 11402817 | 900 60464 198501 | 1 389233 37 | 0.000 % | 3149.13/3149.16 c | 11403341 | 900 60464 198501 | 1 389757 37 | 0.000 % | 3149.13/3149.16 c | 11404001 | 900 60464 198501 | 1 390417 37 | 0.000 % | 3149.13/3149.16 c | 11425118 | 900 60464 198501 | 1 411534 38 | 0.000 % | 3149.13/3149.16 c | 11429103 | 900 60464 198501 | 1 415519 38 | 0.000 % | 3149.13/3149.16 c | 11429482 | 900 60464 198501 | 1 415898 38 | 0.000 % | 3149.13/3149.16 c | 11444134 | 900 60464 198501 | 1 430550 38 | 0.000 % | 3149.13/3149.16 c | 11446121 | 900 60464 198501 | 1 432537 38 | 0.000 % | 3149.13/3149.16 c | 11446222 | 900 60464 198501 | 1 432638 38 | 0.000 % | 3149.13/3149.16 c | 11460251 | 900 60464 198501 | 1 446667 39 | 0.000 % | 3149.13/3149.16 c | 11460466 | 900 60464 198501 | 1 446882 39 | 0.000 % | 3149.13/3149.16 c | 11467480 | 900 60464 198501 | 1 453896 39 | 0.000 % | 3149.13/3149.16 c | 11467753 | 900 60464 198501 | 1 454169 39 | 0.000 % | 3149.13/3149.16 c | 11467885 | 900 60464 198501 | 1 454301 39 | 0.000 % | 3149.13/3149.16 c | 11467985 | 900 60464 198501 | 1 454401 39 | 0.000 % | 3149.13/3149.16 c | 11468869 | 900 60464 198501 | 1 455285 39 | 0.000 % | 3149.13/3149.16 c | 11468970 | 900 60464 198501 | 1 455386 39 | 0.000 % | 3149.13/3149.16 c | 11470244 | 900 60464 198501 | 1 456660 39 | 0.000 % | 3149.13/3149.16 c | 11470448 | 900 60464 198501 | 1 456864 39 | 0.000 % | 3149.13/3149.16 c | 11475264 | 900 60464 198501 | 1 461680 39 | 0.000 % | 3149.13/3149.16 c | 11484338 | 900 60464 198501 | 1 470754 39 | 0.000 % | 3149.13/3149.16 c | 11488489 | 900 60464 198501 | 1 474905 40 | 0.000 % | 3149.13/3149.16 c | 11492612 | 900 60464 198501 | 1 479028 40 | 0.000 % | 3149.13/3149.16 c | 11495019 | 900 60464 198501 | 1 240841 27 | 0.000 % | 3149.13/3149.16 c | 11496430 | 900 60464 198501 | 1 242252 27 | 0.000 % | 3149.13/3149.16 c | 11497969 | 900 60464 198501 | 1 243791 27 | 0.000 % | 3149.13/3149.16 c | 11498865 | 900 60464 198501 | 1 244687 27 | 0.000 % | 3149.13/3149.16 c | 11564893 | 900 60464 198501 | 1 310715 32 | 0.000 % | 3149.13/3149.16 c | 11567509 | 900 60464 198501 | 1 313331 32 | 0.000 % | 3149.13/3149.16 c | 11568488 | 900 60464 198501 | 1 314310 32 | 0.000 % | 3149.13/3149.16 c | 11568590 | 900 60464 198501 | 1 314412 32 | 0.000 % | 3149.13/3149.16 c | 11569795 | 900 60464 198501 | 1 315617 32 | 0.000 % | 3149.13/3149.16 c | 11569971 | 900 60464 198501 | 1 315793 33 | 0.000 % | 3149.13/3149.16 c | 11570467 | 900 60464 198501 | 1 316289 33 | 0.000 % | 3270.73/3270.73 c | 11588928 | 900 60464 198501 | 1 334750 34 | 0.000 % | 3270.73/3270.73 c | 11589616 | 900 60464 198501 | 1 335438 34 | 0.000 % | 3270.73/3270.73 c | 11589881 | 900 60464 198501 | 1 335703 34 | 0.000 % | 3270.73/3270.73 c | 11590877 | 900 60464 198501 | 1 336699 34 | 0.000 % | 3270.73/3270.73 c | 11590978 | 900 60464 198501 | 1 336800 34 | 0.000 % | 3270.73/3270.73 c | 11591078 | 900 60464 198501 | 1 336900 34 | 0.000 % | 3270.73/3270.73 c | 11609159 | 900 60464 198501 | 1 354981 35 | 0.000 % | 3270.73/3270.73 c | 11613256 | 900 60464 198501 | 1 359078 35 | 0.000 % | 3270.73/3270.73 c | 11623501 | 900 60464 198501 | 1 369323 35 | 0.000 % | 3270.73/3270.73 c | 11624898 | 900 60464 198501 | 1 370720 35 | 0.000 % | 3270.73/3270.73 c | 11625000 | 900 60464 198501 | 1 370822 35 | 0.000 % | 3270.73/3270.73 c | 11625138 | 900 60464 198501 | 1 370960 35 | 0.000 % | 3270.73/3270.73 c | 11625239 | 900 60464 198501 | 1 371061 35 | 0.000 % | 3270.73/3270.73 c | 11625341 | 900 60464 198501 | 1 371163 35 | 0.000 % | 3270.73/3270.73 c | 11651396 | 900 60464 198501 | 1 397218 36 | 0.000 % | 3270.73/3270.73 c | 11653477 | 900 60464 198501 | 1 399299 37 | 0.000 % | 3270.73/3270.73 c | 11655083 | 900 60464 198501 | 1 400905 37 | 0.000 % | 3270.73/3270.73 c | 11680236 | 900 60464 198501 | 1 426058 38 | 0.000 % | 3270.73/3270.73 c | 11680460 | 900 60464 198501 | 1 426282 38 | 0.000 % | 3270.73/3270.73 c | 11680908 | 900 60464 198501 | 1 426730 38 | 0.000 % | 3270.73/3270.73 c | 11695134 | 900 60464 198501 | 1 440956 39 | 0.000 % | 3270.73/3270.73 c | 11697223 | 900 60464 198501 | 1 443045 39 | 0.000 % | 3270.73/3270.73 c | 11707443 | 900 60464 198501 | 1 453265 39 | 0.000 % | 3270.73/3270.73 c | 11710445 | 900 60464 198501 | 1 456267 39 | 0.000 % | 3270.73/3270.73 c | 11714587 | 900 60464 198501 | 1 460409 40 | 0.000 % | 3270.73/3270.73 c | 11714908 | 900 60464 198501 | 1 460730 40 | 0.000 % | 3270.73/3270.73 c | 11719475 | 900 60464 198501 | 1 465297 40 | 0.000 % | 3270.73/3270.73 c | 11775994 | 900 60464 198501 | 1 278619 29 | 0.000 % | 3270.73/3270.73 c | 11782352 | 900 60464 198501 | 1 284977 29 | 0.000 % | 3270.73/3270.73 c | 11795914 | 900 60464 198501 | 1 298539 30 | 0.000 % | 3270.73/3270.73 c | 11796015 | 900 60464 198501 | 1 298640 30 | 0.000 % | 3270.73/3270.73 c | 11798825 | 900 60464 198501 | 1 301450 31 | 0.000 % | 3270.73/3270.73 c | 11798927 | 900 60464 198501 | 1 301552 31 | 0.000 % | 3270.73/3270.73 c | 11799028 | 900 60464 198501 | 1 301653 31 | 0.000 % | 3270.73/3270.73 c | 11800285 | 900 60464 198501 | 1 302910 31 | 0.000 % | 3270.73/3270.73 c | 11803927 | 900 60464 198501 | 1 306552 31 | 0.000 % | 3270.73/3270.73 c | 11805362 | 900 60464 198501 | 1 307987 31 | 0.000 % | 3270.73/3270.73 c | 11805494 | 900 60464 198501 | 1 308119 31 | 0.000 % | 3270.73/3270.73 c | 11806388 | 900 60464 198501 | 1 309013 31 | 0.000 % | 3270.73/3270.73 c | 11807447 | 900 60464 198501 | 1 310072 31 | 0.000 % | 3270.73/3270.73 c | 11808162 | 900 60464 198501 | 1 310787 31 | 0.000 % | 3270.73/3270.73 c | 11810848 | 900 60464 198501 | 1 313473 32 | 0.000 % | 3270.73/3270.73 c | 11810950 | 900 60464 198501 | 1 313575 32 | 0.000 % | 3270.73/3270.73 c | 11843438 | 900 60464 198501 | 1 346063 34 | 0.000 % | 3270.73/3270.73 c | 11843539 | 900 60464 198501 | 1 346164 34 | 0.000 % | 3270.73/3270.73 c | 11855123 | 900 60464 198501 | 1 357748 34 | 0.000 % | 3270.73/3270.73 c | 11855768 | 900 60464 198501 | 1 358393 34 | 0.000 % | 3270.73/3270.73 c | 11876286 | 900 60464 198501 | 1 378911 35 | 0.000 % | 3270.73/3270.73 c | 11882943 | 900 60464 198501 | 1 385568 35 | 0.000 % | 3270.73/3270.73 c | 11883325 | 900 60464 198501 | 1 385950 35 | 0.000 % | 3448.54/3448.58 c | 11887991 | 900 60464 198501 | 1 390616 36 | 0.000 % | 3448.54/3448.58 c | 11891788 | 900 60464 198501 | 1 394413 36 | 0.000 % | 3448.54/3448.58 c | 11892823 | 900 60464 198501 | 1 395448 36 | 0.000 % | 3448.54/3448.58 c | 11959368 | 900 60464 198501 | 1 461993 38 | 0.000 % | 3448.54/3448.58 c | 11961916 | 900 60464 198501 | 1 464541 38 | 0.000 % | 3448.54/3448.58 c | 11977788 | 900 60464 198501 | 1 480413 38 | 0.000 % | 3448.54/3448.58 c | 11979615 | 900 60464 198501 | 1 482240 38 | 0.000 % | 3448.54/3448.58 c | 12002570 | 900 60464 198501 | 1 259391 28 | 0.000 % | 3448.54/3448.58 c | 12020796 | 900 60464 198501 | 1 277617 30 | 0.000 % | 3448.54/3448.58 c | 12020897 | 900 60464 198501 | 1 277718 30 | 0.000 % | 3448.54/3448.58 c | 12034602 | 900 60464 198501 | 1 291423 31 | 0.000 % | 3448.54/3448.58 c | 12043880 | 900 60464 198501 | 1 300701 31 | 0.000 % | 3448.54/3448.58 c | 12044408 | 900 60464 198501 | 1 301229 31 | 0.000 % | 3448.54/3448.58 c | 12044611 | 900 60464 198501 | 1 301432 31 | 0.000 % | 3448.54/3448.58 c | 12052796 | 900 60464 198501 | 1 309617 32 | 0.000 % | 3448.54/3448.58 c | 12079293 | 900 60464 198501 | 1 336114 33 | 0.000 % | 3448.54/3448.58 c | 12081691 | 900 60464 198501 | 1 338512 33 | 0.000 % | 3448.54/3448.58 c | 12084434 | 900 60464 198501 | 1 341255 33 | 0.000 % | 3448.54/3448.58 c | 12084538 | 900 60464 198501 | 1 341359 33 | 0.000 % | 3448.54/3448.58 c | 12088105 | 900 60464 198501 | 1 344926 34 | 0.000 % | 3448.54/3448.58 c | 12095411 | 900 60464 198501 | 1 352232 34 | 0.000 % | 3448.54/3448.58 c | 12113933 | 900 60464 198501 | 1 370754 35 | 0.000 % | 3448.54/3448.58 c | 12117124 | 900 60464 198501 | 1 373945 35 | 0.000 % | 3448.54/3448.58 c | 12121911 | 900 60464 198501 | 1 378732 35 | 0.000 % | 3448.54/3448.58 c | 12122357 | 900 60464 198501 | 1 379178 35 | 0.000 % | 3448.54/3448.58 c | 12133949 | 900 60464 198501 | 1 390770 36 | 0.000 % | 3448.54/3448.58 c | 12138938 | 900 60464 198501 | 1 395759 36 | 0.000 % | 3448.54/3448.58 c | 12172338 | 900 60464 198501 | 1 429159 37 | 0.000 % | 3448.54/3448.58 c | 12174567 | 900 60464 198501 | 1 431388 37 | 0.000 % | 3448.54/3448.58 c | 12192346 | 900 60464 198501 | 1 449167 38 | 0.000 % | 3448.54/3448.58 c | 12197919 | 900 60464 198501 | 1 454740 38 | 0.000 % | 3448.54/3448.58 c | 12199856 | 900 60464 198501 | 1 456677 38 | 0.000 % | 3448.54/3448.58 c | 12233287 | 900 60464 198501 | 1 490108 39 | 0.000 % | 3448.54/3448.58 c | 12238921 | 900 60464 198501 | 1 495742 39 | 0.000 % | 3448.54/3448.58 c | 12272464 | 900 60464 198501 | 1 280886 30 | 0.000 % | 3448.54/3448.58 c | 12273819 | 900 60464 198501 | 1 282241 30 | 0.000 % | 3448.54/3448.58 c | 12273999 | 900 60464 198501 | 1 282421 30 | 0.000 % | 3448.54/3448.58 c | 12274100 | 900 60464 198501 | 1 282522 30 | 0.000 % | 3448.54/3448.58 c | 12274265 | 900 60464 198501 | 1 282687 30 | 0.000 % | 3448.54/3448.58 c | 12306654 | 900 60464 198501 | 1 315076 32 | 0.000 % | 3448.54/3448.58 c | 12310253 | 900 60464 198501 | 1 318675 32 | 0.000 % | 3448.54/3448.58 c | 12316524 | 900 60464 198501 | 1 324946 33 | 0.000 % | 3448.54/3448.58 c | 12317712 | 900 60464 198501 | 1 326134 33 | 0.000 % | 3448.54/3448.58 c | 12318054 | 900 60464 198501 | 1 326476 33 | 0.000 % | 3448.54/3448.58 c | 12322769 | 900 60464 198501 | 1 331191 33 | 0.000 % | 3448.54/3448.58 c | 12335086 | 900 60464 198501 | 1 343508 33 | 0.000 % | 3448.54/3448.58 c | 12335399 | 900 60464 198501 | 1 343821 33 | 0.000 % | 3448.54/3448.58 c | 12335636 | 900 60464 198501 | 1 344058 33 | 0.000 % | 3448.54/3448.58 c | 12337838 | 900 60464 198501 | 1 346260 33 | 0.000 % | 3448.54/3448.58 c | 12342391 | 900 60464 198501 | 1 350813 34 | 0.000 % | 3669.33/3669.34 c | 12387119 | 900 60464 198501 | 1 395541 36 | 0.000 % | 3669.33/3669.34 c | 12389181 | 900 60464 198501 | 1 397603 36 | 0.000 % | 3669.33/3669.34 c | 12389282 | 900 60464 198501 | 1 397704 36 | 0.000 % | 3669.33/3669.34 c | 12389856 | 900 60464 198501 | 1 398278 36 | 0.000 % | 3669.33/3669.34 c | 12391969 | 900 60464 198501 | 1 400391 36 | 0.000 % | 3669.33/3669.34 c | 12392069 | 900 60464 198501 | 1 400491 36 | 0.000 % | 3669.33/3669.34 c | 12394416 | 900 60464 198501 | 1 402838 36 | 0.000 % | 3669.33/3669.34 c | 12398124 | 900 60464 198501 | 1 406546 36 | 0.000 % | 3669.33/3669.34 c | 12421852 | 900 60464 198501 | 1 430274 36 | 0.000 % | 3669.33/3669.34 c | 12426530 | 900 60464 198501 | 1 434952 37 | 0.000 % | 3669.33/3669.34 c | 12446087 | 900 60464 198501 | 1 454509 37 | 0.000 % | 3669.33/3669.34 c | 12446406 | 900 60464 198501 | 1 454828 37 | 0.000 % | 3669.33/3669.34 c | 12450799 | 900 60464 198501 | 1 459221 38 | 0.000 % | 3669.33/3669.34 c | 12458673 | 900 60464 198501 | 1 467095 38 | 0.000 % | 3669.33/3669.34 c | 12459805 | 900 60464 198501 | 1 468227 38 | 0.000 % | 3669.33/3669.34 c | 12459962 | 900 60464 198501 | 1 468384 38 | 0.000 % | 3669.33/3669.34 c | 12463847 | 900 60464 198501 | 1 472269 38 | 0.000 % | 3669.33/3669.34 c | 12559817 | 900 60464 198501 | 1 317243 31 | 0.000 % | 3669.33/3669.34 c | 12565479 | 900 60464 198501 | 1 322905 31 | 0.000 % | 3669.33/3669.34 c | 12565581 | 900 60464 198501 | 1 323007 31 | 0.000 % | 3669.33/3669.34 c | 12573746 | 900 60464 198501 | 1 331172 32 | 0.000 % | 3669.33/3669.34 c | 12573849 | 900 60464 198501 | 1 331275 32 | 0.000 % | 3669.33/3669.34 c | 12574219 | 900 60464 198501 | 1 331645 32 | 0.000 % | 3669.33/3669.34 c | 12641730 | 900 60464 198501 | 1 399156 35 | 0.000 % | 3669.33/3669.34 c | 12641830 | 900 60464 198501 | 1 399256 35 | 0.000 % | 3669.33/3669.34 c | 12652150 | 900 60464 198501 | 1 409576 36 | 0.000 % | 3669.33/3669.34 c | 12654887 | 900 60464 198501 | 1 412313 36 | 0.000 % | 3669.33/3669.34 c | 12655867 | 900 60464 198501 | 1 413293 36 | 0.000 % | 3669.33/3669.34 c | 12675263 | 900 60464 198501 | 1 432689 37 | 0.000 % | 3669.33/3669.34 c | 12697963 | 900 60464 198501 | 1 455389 37 | 0.000 % | 3669.33/3669.34 c | 12701894 | 900 60464 198501 | 1 459320 38 | 0.000 % | 3669.33/3669.34 c | 12703534 | 900 60464 198501 | 1 460960 38 | 0.000 % | 3669.33/3669.34 c | 12726666 | 900 60464 198501 | 1 484092 38 | 0.000 % | 3669.33/3669.34 c | 12728826 | 900 60464 198501 | 1 486252 38 | 0.000 % | 3669.33/3669.34 c | 12728928 | 900 60464 198501 | 1 486354 38 | 0.000 % | 3669.33/3669.34 c | 12776002 | 900 60464 198501 | 1 279820 29 | 0.000 % | 3669.33/3669.34 c | 12776104 | 900 60464 198501 | 1 279922 29 | 0.000 % | 3669.33/3669.34 c | 12800067 | 900 60464 198501 | 1 303885 31 | 0.000 % | 3669.33/3669.34 c | 12803738 | 900 60464 198501 | 1 307556 31 | 0.000 % | 3669.33/3669.34 c | 12803925 | 900 60464 198501 | 1 307743 31 | 0.000 % | 3669.33/3669.34 c | 12805402 | 900 60464 198501 | 1 309220 32 | 0.000 % | 3669.33/3669.34 c | 12811030 | 900 60464 198501 | 1 314848 32 | 0.000 % | 3669.33/3669.34 c | 12816118 | 900 60464 198501 | 1 319936 32 | 0.000 % | 3669.33/3669.34 c | 12816292 | 900 60464 198501 | 1 320110 32 | 0.000 % | 3669.33/3669.34 c | 12853131 | 900 60464 198501 | 1 356949 34 | 0.000 % | 3669.33/3669.34 c | 12853234 | 900 60464 198501 | 1 357052 34 | 0.000 % | 3669.33/3669.34 c | 12862638 | 900 60464 198501 | 1 366456 35 | 0.000 % | 3669.33/3669.34 c | 12867611 | 900 60464 198501 | 1 371429 35 | 0.000 % | 3669.33/3669.34 c | 12870881 | 900 60464 198501 | 1 374699 35 | 0.000 % | 3669.33/3669.34 c | 12886320 | 900 60464 198501 | 1 390138 37 | 0.000 % | 3834.54/3834.59 c | 12887127 | 900 60464 198501 | 1 390945 37 | 0.000 % | 3834.54/3834.59 c | 12902358 | 900 60464 198501 | 1 406176 37 | 0.000 % | 3834.54/3834.59 c | 12903065 | 900 60464 198501 | 1 406883 37 | 0.000 % | 3834.54/3834.59 c | 12906061 | 900 60464 198501 | 1 409879 37 | 0.000 % | 3834.54/3834.59 c | 12911008 | 900 60464 198501 | 1 414826 37 | 0.000 % | 3834.54/3834.59 c | 12922763 | 900 60464 198501 | 1 426581 38 | 0.000 % | 3834.54/3834.59 c | 12924068 | 900 60464 198501 | 1 427886 38 | 0.000 % | 3834.54/3834.59 c | 12934582 | 900 60464 198501 | 1 438400 38 | 0.000 % | 3834.54/3834.59 c | 12937820 | 900 60464 198501 | 1 441638 38 | 0.000 % | 3834.54/3834.59 c | 12946569 | 900 60464 198501 | 1 450387 39 | 0.000 % | 3834.54/3834.59 c | 12951072 | 900 60464 198501 | 1 454890 39 | 0.000 % | 3834.54/3834.59 c | 12967485 | 900 60464 198501 | 1 471303 40 | 0.000 % | 3834.54/3834.59 c | 12968030 | 900 60464 198501 | 1 471848 40 | 0.000 % | 3834.54/3834.59 c | 12971453 | 900 60464 198501 | 1 475271 40 | 0.000 % | 3834.54/3834.59 c | 12986333 | 900 60464 198501 | 1 490151 40 | 0.000 % | 3834.54/3834.59 c | 12986433 | 900 60464 198501 | 1 490251 40 | 0.000 % | 3834.54/3834.59 c | 12988781 | 900 60464 198501 | 1 492599 40 | 0.000 % | 3834.54/3834.59 c | 12988881 | 900 60464 198501 | 1 492699 40 | 0.000 % | 3834.54/3834.59 c | 12989014 | 900 60464 198501 | 1 492832 40 | 0.000 % | 3834.54/3834.59 c | 12989131 | 900 60464 198501 | 1 492949 40 | 0.000 % | 3834.54/3834.59 c | 12989232 | 900 60464 198501 | 1 493050 40 | 0.000 % | 3834.54/3834.59 c | 12997135 | 900 60464 198501 | 1 500953 40 | 0.000 % | 3834.54/3834.59 c | 12999269 | 900 60464 198501 | 1 503087 41 | 0.000 % | 3834.54/3834.59 c | 13000157 | 900 60464 198501 | 1 503975 41 | 0.000 % | 3834.54/3834.59 c | 13001241 | 900 60464 198501 | 1 505059 41 | 0.000 % | 3834.54/3834.59 c | 13002665 | 900 60464 198501 | 1 506483 41 | 0.000 % | 3834.54/3834.59 c | 13002971 | 900 60464 198501 | 1 506789 41 | 0.000 % | 3834.54/3834.59 c | 13006643 | 900 60464 198501 | 1 510461 41 | 0.000 % | 3834.54/3834.59 c | 13039400 | 900 60464 198501 | 1 287014 30 | 0.000 % | 3834.54/3834.59 c | 13039753 | 900 60464 198501 | 1 287367 30 | 0.000 % | 3834.54/3834.59 c | 13056391 | 900 60464 198501 | 1 304005 31 | 0.000 % | 3834.54/3834.59 c | 13056493 | 900 60464 198501 | 1 304107 31 | 0.000 % | 3834.54/3834.59 c | 13117731 | 900 60464 198501 | 1 365345 34 | 0.000 % | 3834.54/3834.59 c | 13131895 | 900 60464 198501 | 1 379509 34 | 0.000 % | 3834.54/3834.59 c | 13131995 | 900 60464 198501 | 1 379609 34 | 0.000 % | 3834.54/3834.59 c | 13177593 | 900 60464 198501 | 1 425207 36 | 0.000 % | 3834.54/3834.59 c | 13182540 | 900 60464 198501 | 1 430154 36 | 0.000 % | 3834.54/3834.60 c | 13188860 | 900 60464 198501 | 1 436474 36 | 0.000 % | 3834.54/3834.60 c | 13196740 | 900 60464 198501 | 1 444354 37 | 0.000 % | 3834.54/3834.60 c | 13212558 | 900 60464 198501 | 1 460172 37 | 0.000 % | 3834.54/3834.60 c | 13219618 | 900 60464 198501 | 1 467232 37 | 0.000 % | 3834.54/3834.60 c | 13220327 | 900 60464 198501 | 1 467941 37 | 0.000 % | 3834.54/3834.60 c | 13224589 | 900 60464 198501 | 1 472203 38 | 0.000 % | 3834.54/3834.60 c | 13230087 | 900 60464 198501 | 1 477701 38 | 0.000 % | 3834.54/3834.60 c | 13237803 | 900 60464 198501 | 1 485417 38 | 0.000 % | 3834.54/3834.60 c | 13239971 | 900 60464 198501 | 1 487585 38 | 0.000 % | 3834.54/3834.60 c | 13240833 | 900 60464 198501 | 1 488447 38 | 0.000 % | 3834.54/3834.60 c | 13240933 | 900 60464 198501 | 1 488547 38 | 0.000 % | 3834.54/3834.60 c | 13275040 | 900 60464 198501 | 1 263857 27 | 0.000 % | 3834.54/3834.60 c | 13275364 | 900 60464 198501 | 1 264181 27 | 0.000 % | 3984.14/3984.13 c | 13279841 | 900 60464 198501 | 1 268658 27 | 0.000 % | 3984.14/3984.13 c | 13306959 | 900 60464 198501 | 1 295776 29 | 0.000 % | 3984.14/3984.13 c | 13336277 | 900 60464 198501 | 1 325094 31 | 0.000 % | 3984.14/3984.13 c | 13361677 | 900 60464 198501 | 1 350494 33 | 0.000 % | 3984.14/3984.13 c | 13364549 | 900 60464 198501 | 1 353366 33 | 0.000 % | 3984.14/3984.13 c | 13364658 | 900 60464 198501 | 1 353475 33 | 0.000 % | 3984.14/3984.13 c | 13368026 | 900 60464 198501 | 1 356843 33 | 0.000 % | 3984.14/3984.13 c | 13439780 | 900 60464 198501 | 1 428597 36 | 0.000 % | 3984.14/3984.13 c | 13439881 | 900 60464 198501 | 1 428698 36 | 0.000 % | 3984.14/3984.13 c | 13440503 | 900 60464 198501 | 1 429320 36 | 0.000 % | 3984.14/3984.13 c | 13456739 | 900 60464 198501 | 1 445556 37 | 0.000 % | 3984.14/3984.13 c | 13464898 | 900 60464 198501 | 1 453715 37 | 0.000 % | 3984.14/3984.13 c | 13465958 | 900 60464 198501 | 1 454775 38 | 0.000 % | 3984.14/3984.13 c | 13467732 | 900 60464 198501 | 1 456549 38 | 0.000 % | 3984.14/3984.13 c | 13471291 | 900 60464 198501 | 1 460108 38 | 0.000 % | 3984.14/3984.13 c | 13472048 | 900 60464 198501 | 1 460865 38 | 0.000 % | 3984.14/3984.13 c | 13472148 | 900 60464 198501 | 1 460965 38 | 0.000 % | 3984.14/3984.13 c | 13472248 | 900 60464 198501 | 1 461065 38 | 0.000 % | 3984.14/3984.13 c | 13472348 | 900 60464 198501 | 1 461165 38 | 0.000 % | 3984.14/3984.13 c | 13474544 | 900 60464 198501 | 1 463361 38 | 0.000 % | 3984.14/3984.13 c | 13475531 | 900 60464 198501 | 1 464348 38 | 0.000 % | 3984.14/3984.13 c | 13477277 | 900 60464 198501 | 1 466094 38 | 0.000 % | 3984.14/3984.13 c | 13524791 | 900 60464 198501 | 1 513608 39 | 0.000 % | 3984.14/3984.13 c | 13536098 | 900 60464 198501 | 1 263518 26 | 0.000 % | 3984.14/3984.13 c | 13537190 | 900 60464 198501 | 1 264610 27 | 0.000 % | 3984.14/3984.13 c | 13542651 | 900 60464 198501 | 1 270071 27 | 0.000 % | 3984.14/3984.13 c | 13555601 | 900 60464 198501 | 1 283021 29 | 0.000 % | 3984.14/3984.13 c | 13556707 | 900 60464 198501 | 1 284127 29 | 0.000 % | 3984.14/3984.13 c | 13558703 | 900 60464 198501 | 1 286123 29 | 0.000 % | 3984.14/3984.13 c | 13563974 | 900 60464 198501 | 1 291394 30 | 0.000 % | 3984.14/3984.13 c | 13594161 | 900 60464 198501 | 1 321581 32 | 0.000 % | 3984.14/3984.13 c | 13594396 | 900 60464 198501 | 1 321816 32 | 0.000 % | 3984.14/3984.13 c | 13597289 | 900 60464 198501 | 1 324709 32 | 0.000 % | 3984.14/3984.13 c | 13603351 | 900 60464 198501 | 1 330771 33 | 0.000 % | 3984.14/3984.13 c | 13611929 | 900 60464 198501 | 1 339349 33 | 0.000 % | 3984.14/3984.13 c | 13612029 | 900 60464 198501 | 1 339449 33 | 0.000 % | 3984.14/3984.13 c | 13612163 | 900 60464 198501 | 1 339583 33 | 0.000 % | 3984.14/3984.13 c | 13612869 | 900 60464 198501 | 1 340289 33 | 0.000 % | 3984.14/3984.13 c | 13619650 | 900 60464 198501 | 1 347070 34 | 0.000 % | 3984.14/3984.13 c | 13620420 | 900 60464 198501 | 1 347840 34 | 0.000 % | 3984.14/3984.13 c | 13626967 | 900 60464 198501 | 1 354387 34 | 0.000 % | 3984.14/3984.13 c | 13627547 | 900 60464 198501 | 1 354967 34 | 0.000 % | 3984.14/3984.13 c | 13627647 | 900 60464 198501 | 1 355067 34 | 0.000 % | 3984.14/3984.13 c | 13635295 | 900 60464 198501 | 1 362715 35 | 0.000 % | 3984.14/3984.13 c | 13635708 | 900 60464 198501 | 1 363128 35 | 0.000 % | 3984.14/3984.13 c | 13642906 | 900 60464 198501 | 1 370326 35 | 0.000 % | 3984.14/3984.13 c | 13643112 | 900 60464 198501 | 1 370532 35 | 0.000 % | 3984.14/3984.13 c | 13646224 | 900 60464 198501 | 1 373644 35 | 0.000 % | 3984.14/3984.13 c | 13646326 | 900 60464 198501 | 1 373746 35 | 0.000 % | 3984.14/3984.13 c | 13648297 | 900 60464 198501 | 1 375717 35 | 0.000 % | 4135.54/4135.59 c | 13651213 | 900 60464 198501 | 1 378633 36 | 0.000 % | 4135.54/4135.59 c | 13662913 | 900 60464 198501 | 1 390333 36 | 0.000 % | 4135.54/4135.59 c | 13666383 | 900 60464 198501 | 1 393803 36 | 0.000 % | 4135.54/4135.59 c | 13668165 | 900 60464 198501 | 1 395585 36 | 0.000 % | 4135.54/4135.59 c | 13678093 | 900 60464 198501 | 1 405513 37 | 0.000 % | 4135.54/4135.59 c | 13678614 | 900 60464 198501 | 1 406034 37 | 0.000 % | 4135.54/4135.59 c | 13683583 | 900 60464 198501 | 1 411003 37 | 0.000 % | 4135.54/4135.59 c | 13683735 | 900 60464 198501 | 1 411155 37 | 0.000 % | 4135.54/4135.59 c | 13683835 | 900 60464 198501 | 1 411255 37 | 0.000 % | 4135.54/4135.59 c | 13696631 | 900 60464 198501 | 1 424051 38 | 0.000 % | 4135.54/4135.59 c | 13696734 | 900 60464 198501 | 1 424154 38 | 0.000 % | 4135.54/4135.59 c | 13696906 | 900 60464 198501 | 1 424326 38 | 0.000 % | 4135.54/4135.59 c | 13700575 | 900 60464 198501 | 1 427995 38 | 0.000 % | 4135.54/4135.59 c | 13701743 | 900 60464 198501 | 1 429163 38 | 0.000 % | 4135.54/4135.59 c | 13702367 | 900 60464 198501 | 1 429787 38 | 0.000 % | 4135.54/4135.59 c | 13702509 | 900 60464 198501 | 1 429929 38 | 0.000 % | 4135.54/4135.59 c | 13702724 | 900 60464 198501 | 1 430144 38 | 0.000 % | 4135.54/4135.59 c | 13707809 | 900 60464 198501 | 1 435229 38 | 0.000 % | 4135.54/4135.59 c | 13721749 | 900 60464 198501 | 1 449169 39 | 0.000 % | 4135.54/4135.59 c | 13721850 | 900 60464 198501 | 1 449270 39 | 0.000 % | 4135.54/4135.59 c | 13721953 | 900 60464 198501 | 1 449373 39 | 0.000 % | 4135.54/4135.59 c | 13724133 | 900 60464 198501 | 1 451553 39 | 0.000 % | 4135.54/4135.59 c | 13753579 | 900 60464 198501 | 1 480999 39 | 0.000 % | 4135.54/4135.59 c | 13758912 | 900 60464 198501 | 1 486332 40 | 0.000 % | 4135.54/4135.59 c | 13799581 | 900 60464 198501 | 1 527001 41 | 0.000 % | 4135.54/4135.59 c | 13806445 | 900 60464 198501 | 1 269861 27 | 0.000 % | 4135.54/4135.59 c | 13812265 | 900 60464 198501 | 1 275681 28 | 0.000 % | 4135.54/4135.59 c | 13822175 | 900 60464 198501 | 1 285591 29 | 0.000 % | 4135.54/4135.59 c | 13834106 | 900 60464 198501 | 1 297522 30 | 0.000 % | 4135.54/4135.59 c | 13834206 | 900 60464 198501 | 1 297622 30 | 0.000 % | 4135.54/4135.59 c | 13840368 | 900 60464 198501 | 1 303784 30 | 0.000 % | 4135.54/4135.59 c | 13864221 | 900 60464 198501 | 1 327637 32 | 0.000 % | 4135.54/4135.59 c | 13878749 | 900 60464 198501 | 1 342165 33 | 0.000 % | 4135.54/4135.59 c | 13891967 | 900 60464 198501 | 1 355383 34 | 0.000 % | 4135.54/4135.59 c | 13892067 | 900 60464 198501 | 1 355483 34 | 0.000 % | 4135.54/4135.59 c | 13899852 | 900 60464 198501 | 1 363268 34 | 0.000 % | 4135.54/4135.59 c | 13905186 | 900 60464 198501 | 1 368602 34 | 0.000 % | 4135.54/4135.59 c | 13905425 | 900 60464 198501 | 1 368841 34 | 0.000 % | 4135.54/4135.59 c | 13906083 | 900 60464 198501 | 1 369499 34 | 0.000 % | 4135.54/4135.59 c | 13913620 | 900 60464 198501 | 1 377036 35 | 0.000 % | 4135.54/4135.59 c | 13941407 | 900 60464 198501 | 1 404823 36 | 0.000 % | 4135.54/4135.59 c | 13942013 | 900 60464 198501 | 1 405429 36 | 0.000 % | 4135.54/4135.59 c | 13942124 | 900 60464 198501 | 1 405540 36 | 0.000 % | 4135.54/4135.59 c | 13945705 | 900 60464 198501 | 1 409121 36 | 0.000 % | 4135.54/4135.59 c | 13957033 | 900 60464 198501 | 1 420449 36 | 0.000 % | 4135.54/4135.59 c | 13964503 | 900 60464 198501 | 1 427919 37 | 0.000 % | 4135.54/4135.59 c | 13970318 | 900 60464 198501 | 1 433734 37 | 0.000 % | 4135.54/4135.59 c | 13970418 | 900 60464 198501 | 1 433834 37 | 0.000 % | 4135.54/4135.59 c | 13976091 | 900 60464 198501 | 1 439507 37 | 0.000 % | 4135.54/4135.59 c | 13997556 | 900 60464 198501 | 1 460972 38 | 0.000 % | 4287.75/4287.75 c | 13997656 | 900 60464 198501 | 1 461072 38 | 0.000 % | 4287.75/4287.75 c | 14020137 | 900 60464 198501 | 1 483553 39 | 0.000 % | 4287.75/4287.75 c | 14023445 | 900 60464 198501 | 1 486861 39 | 0.000 % | 4287.75/4287.75 c | 14025649 | 900 60464 198501 | 1 489065 39 | 0.000 % | 4287.75/4287.75 c | 14039120 | 900 60464 198501 | 1 502536 40 | 0.000 % | 4287.75/4287.75 c | 14041356 | 900 60464 198501 | 1 504772 40 | 0.000 % | 4287.75/4287.75 c | 14043737 | 900 60464 198501 | 1 507153 40 | 0.000 % | 4287.75/4287.75 c | 14043839 | 900 60464 198501 | 1 507255 40 | 0.000 % | 4287.75/4287.75 c | 14050443 | 900 60464 198501 | 1 513859 40 | 0.000 % | 4287.75/4287.75 c | 14054236 | 900 60464 198501 | 1 517652 40 | 0.000 % | 4287.75/4287.75 c | 14072379 | 900 60464 198501 | 1 269194 27 | 0.000 % | 4287.75/4287.75 c | 14072479 | 900 60464 198501 | 1 269294 27 | 0.000 % | 4287.75/4287.75 c | 14074992 | 900 60464 198501 | 1 271807 27 | 0.000 % | 4287.75/4287.75 c | 14076559 | 900 60464 198501 | 1 273374 27 | 0.000 % | 4287.75/4287.75 c | 14088722 | 900 60464 198501 | 1 285537 28 | 0.000 % | 4287.75/4287.75 c | 14094371 | 900 60464 198501 | 1 291186 29 | 0.000 % | 4287.75/4287.75 c | 14108284 | 900 60464 198501 | 1 305099 30 | 0.000 % | 4287.75/4287.75 c | 14108384 | 900 60464 198501 | 1 305199 30 | 0.000 % | 4287.75/4287.75 c | 14109173 | 900 60464 198501 | 1 305988 30 | 0.000 % | 4287.75/4287.75 c | 14110198 | 900 60464 198501 | 1 307013 30 | 0.000 % | 4287.75/4287.75 c | 14118827 | 900 60464 198501 | 1 315642 31 | 0.000 % | 4287.75/4287.75 c | 14137690 | 900 60464 198501 | 1 334505 32 | 0.000 % | 4287.75/4287.75 c | 14139432 | 900 60464 198501 | 1 336247 32 | 0.000 % | 4287.75/4287.75 c | 14139533 | 900 60464 198501 | 1 336348 32 | 0.000 % | 4287.75/4287.75 c | 14143329 | 900 60464 198501 | 1 340144 32 | 0.000 % | 4287.75/4287.75 c | 14146329 | 900 60464 198501 | 1 343144 32 | 0.000 % | 4287.75/4287.75 c | 14161154 | 900 60464 198501 | 1 357969 33 | 0.000 % | 4287.75/4287.75 c | 14161288 | 900 60464 198501 | 1 358103 33 | 0.000 % | 4287.75/4287.75 c | 14171021 | 900 60464 198501 | 1 367836 33 | 0.000 % | 4287.75/4287.75 c | 14171123 | 900 60464 198501 | 1 367938 33 | 0.000 % | 4287.75/4287.75 c | 14171487 | 900 60464 198501 | 1 368302 33 | 0.000 % | 4287.75/4287.75 c | 14182895 | 900 60464 198501 | 1 379710 34 | 0.000 % | 4287.75/4287.75 c | 14185554 | 900 60464 198501 | 1 382369 34 | 0.000 % | 4287.75/4287.75 c | 14186178 | 900 60464 198501 | 1 382993 34 | 0.000 % | 4287.75/4287.75 c | 14210422 | 900 60464 198501 | 1 407237 35 | 0.000 % | 4287.75/4287.75 c | 14217501 | 900 60464 198501 | 1 414316 35 | 0.000 % | 4287.75/4287.75 c | 14232468 | 900 60464 198501 | 1 429283 35 | 0.000 % | 4287.75/4287.75 c | 14233990 | 900 60464 198501 | 1 430805 36 | 0.000 % | 4287.75/4287.75 c | 14234091 | 900 60464 198501 | 1 430906 36 | 0.000 % | 4287.75/4287.75 c | 14235014 | 900 60464 198501 | 1 431829 36 | 0.000 % | 4287.75/4287.75 c | 14253108 | 900 60464 198501 | 1 449923 37 | 0.000 % | 4287.75/4287.75 c | 14253456 | 900 60464 198501 | 1 450271 37 | 0.000 % | 4287.75/4287.75 c | 14261540 | 900 60464 198501 | 1 458355 37 | 0.000 % | 4287.75/4287.75 c | 14276621 | 900 60464 198501 | 1 473436 37 | 0.000 % | 4287.75/4287.75 c | 14278764 | 900 60464 198501 | 1 475579 37 | 0.000 % | 4287.75/4287.75 c | 14292005 | 900 60464 198501 | 1 488820 38 | 0.000 % | 4287.75/4287.75 c | 14320928 | 900 60464 198501 | 1 517743 38 | 0.000 % | 4287.75/4287.75 c | 14324994 | 900 60464 198501 | 1 521809 38 | 0.000 % | 4287.75/4287.75 c | 14332043 | 900 60464 198501 | 1 528858 38 | 0.000 % | 4287.75/4287.75 c | 14338539 | 900 60464 198501 | 1 535354 38 | 0.000 % | 4498.35/4498.37 c | 14357349 | 900 60464 198501 | 1 284970 28 | 0.000 % | 4498.35/4498.37 c | 14359725 | 900 60464 198501 | 1 287346 28 | 0.000 % | 4498.35/4498.37 c | 14382899 | 900 60464 198501 | 1 310520 29 | 0.000 % | 4498.35/4498.37 c | 14383953 | 900 60464 198501 | 1 311574 29 | 0.000 % | 4498.35/4498.37 c | 14384195 | 900 60464 198501 | 1 311816 29 | 0.000 % | 4498.35/4498.37 c | 14384299 | 900 60464 198501 | 1 311920 29 | 0.000 % | 4498.35/4498.37 c | 14410251 | 900 60464 198501 | 1 337872 31 | 0.000 % | 4498.35/4498.37 c | 14414827 | 900 60464 198501 | 1 342448 32 | 0.000 % | 4498.35/4498.37 c | 14415075 | 900 60464 198501 | 1 342696 32 | 0.000 % | 4498.35/4498.37 c | 14433525 | 900 60464 198501 | 1 361146 32 | 0.000 % | 4498.35/4498.37 c | 14459475 | 900 60464 198501 | 1 387096 33 | 0.000 % | 4498.35/4498.37 c | 14460879 | 900 60464 198501 | 1 388500 33 | 0.000 % | 4498.35/4498.37 c | 14466991 | 900 60464 198501 | 1 394612 34 | 0.000 % | 4498.35/4498.37 c | 14475379 | 900 60464 198501 | 1 403000 34 | 0.000 % | 4498.35/4498.37 c | 14477999 | 900 60464 198501 | 1 405620 34 | 0.000 % | 4498.35/4498.37 c | 14480243 | 900 60464 198501 | 1 407864 34 | 0.000 % | 4498.35/4498.37 c | 14489516 | 900 60464 198501 | 1 417137 34 | 0.000 % | 4498.35/4498.37 c | 14489616 | 900 60464 198501 | 1 417237 34 | 0.000 % | 4498.35/4498.37 c | 14521028 | 900 60464 198501 | 1 448649 36 | 0.000 % | 4498.35/4498.37 c | 14528815 | 900 60464 198501 | 1 456436 36 | 0.000 % | 4498.35/4498.37 c | 14529757 | 900 60464 198501 | 1 457378 36 | 0.000 % | 4498.35/4498.37 c | 14546858 | 900 60464 198501 | 1 474479 37 | 0.000 % | 4498.35/4498.37 c | 14547603 | 900 60464 198501 | 1 475224 37 | 0.000 % | 4498.35/4498.37 c | 14567573 | 900 60464 198501 | 1 495194 38 | 0.000 % | 4498.35/4498.37 c | 14588021 | 900 60464 198501 | 1 515642 38 | 0.000 % | 4498.35/4498.37 c | 14588121 | 900 60464 198501 | 1 515742 38 | 0.000 % | 4498.35/4498.37 c | 14589777 | 900 60464 198501 | 1 517398 38 | 0.000 % | 4498.35/4498.37 c | 14595721 | 900 60464 198501 | 1 523342 39 | 0.000 % | 4498.35/4498.37 c | 14618125 | 900 60464 198501 | 1 273946 26 | 0.000 % | 4498.35/4498.37 c | 14673776 | 900 60464 198501 | 1 329597 30 | 0.000 % | 4498.35/4498.37 c | 14676115 | 900 60464 198501 | 1 331936 30 | 0.000 % | 4498.35/4498.37 c | 14693272 | 900 60464 198501 | 1 349093 31 | 0.000 % | 4498.35/4498.37 c | 14705272 | 900 60464 198501 | 1 361093 32 | 0.000 % | 4498.35/4498.37 c | 14705402 | 900 60464 198501 | 1 361223 32 | 0.000 % | 4498.35/4498.37 c | 14705874 | 900 60464 198501 | 1 361695 32 | 0.000 % | 4498.35/4498.37 c | 14707269 | 900 60464 198501 | 1 363090 32 | 0.000 % | 4498.35/4498.37 c | 14708622 | 900 60464 198501 | 1 364443 32 | 0.000 % | 4498.35/4498.37 c | 14715366 | 900 60464 198501 | 1 371187 33 | 0.000 % | 4498.35/4498.37 c | 14727665 | 900 60464 198501 | 1 383486 34 | 0.000 % | 4498.35/4498.37 c | 14727767 | 900 60464 198501 | 1 383588 34 | 0.000 % | 4498.35/4498.37 c | 14728732 | 900 60464 198501 | 1 384553 34 | 0.000 % | 4498.35/4498.37 c | 14729021 | 900 60464 198501 | 1 384842 34 | 0.000 % | 4498.35/4498.37 c | 14735415 | 900 60464 198501 | 1 391236 34 | 0.000 % | 4498.35/4498.37 c | 14768370 | 900 60464 198501 | 1 424191 35 | 0.000 % | 4498.35/4498.37 c | 14769055 | 900 60464 198501 | 1 424876 35 | 0.000 % | 4498.35/4498.37 c | 14776071 | 900 60464 198501 | 1 431892 36 | 0.000 % | 4498.35/4498.37 c | 14781742 | 900 60464 198501 | 1 437563 36 | 0.000 % | 4498.35/4498.37 c | 14813904 | 900 60464 198501 | 1 469725 37 | 0.000 % | 4498.35/4498.37 c | 14814006 | 900 60464 198501 | 1 469827 37 | 0.000 % | 4498.35/4498.37 c | 14822081 | 900 60464 198501 | 1 477902 37 | 0.000 % | 4651.15/4651.10 c | 14829190 | 900 60464 198501 | 1 485011 37 | 0.000 % | 4651.15/4651.10 c | 14829434 | 900 60464 198501 | 1 485255 37 | 0.000 % | 4651.15/4651.10 c | 14831929 | 900 60464 198501 | 1 487750 37 | 0.000 % | 4651.15/4651.10 c | 14840382 | 900 60464 198501 | 1 496203 37 | 0.000 % | 4651.15/4651.10 c | 14840828 | 900 60464 198501 | 1 496649 37 | 0.000 % | 4651.15/4651.10 c | 14852422 | 900 60464 198501 | 1 508243 38 | 0.000 % | 4651.15/4651.10 c | 14898809 | 900 60464 198501 | 1 280229 27 | 0.000 % | 4651.15/4651.10 c | 14901880 | 900 60464 198501 | 1 283300 28 | 0.000 % | 4651.15/4651.10 c | 14902854 | 900 60464 198501 | 1 284274 28 | 0.000 % | 4651.15/4651.10 c | 14904034 | 900 60464 198501 | 1 285454 28 | 0.000 % | 4651.15/4651.10 c | 14909444 | 900 60464 198501 | 1 290864 28 | 0.000 % | 4651.15/4651.10 c | 14909545 | 900 60464 198501 | 1 290965 28 | 0.000 % | 4651.15/4651.10 c | 14909733 | 900 60464 198501 | 1 291153 28 | 0.000 % | 4651.15/4651.10 c | 14909833 | 900 60464 198501 | 1 291253 28 | 0.000 % | 4651.15/4651.10 c | 14916011 | 900 60464 198501 | 1 297431 29 | 0.000 % | 4651.15/4651.10 c | 14919341 | 900 60464 198501 | 1 300761 29 | 0.000 % | 4651.15/4651.10 c | 14930712 | 900 60464 198501 | 1 312132 30 | 0.000 % | 4651.15/4651.10 c | 14930813 | 900 60464 198501 | 1 312233 30 | 0.000 % | 4651.15/4651.10 c | 14998990 | 900 60464 198501 | 1 380410 34 | 0.000 % | 4651.15/4651.10 c | 15014401 | 900 60464 198501 | 1 395821 34 | 0.000 % | 4651.15/4651.10 c | 15055626 | 900 60464 198501 | 1 437046 36 | 0.000 % | 4651.15/4651.10 c | 15056841 | 900 60464 198501 | 1 438261 36 | 0.000 % | 4651.15/4651.10 c | 15066851 | 900 60464 198501 | 1 448271 36 | 0.000 % | 4651.15/4651.10 c | 15066953 | 900 60464 198501 | 1 448373 36 | 0.000 % | 4651.15/4651.10 c | 15085645 | 900 60464 198501 | 1 467065 37 | 0.000 % | 4651.15/4651.10 c | 15089060 | 900 60464 198501 | 1 470480 37 | 0.000 % | 4651.15/4651.10 c | 15092460 | 900 60464 198501 | 1 473880 38 | 0.000 % | 4651.15/4651.10 c | 15093824 | 900 60464 198501 | 1 475244 38 | 0.000 % | 4651.15/4651.10 c | 15095652 | 900 60464 198501 | 1 477072 38 | 0.000 % | 4651.15/4651.10 c | 15096369 | 900 60464 198501 | 1 477789 38 | 0.000 % | 4651.15/4651.10 c | 15101659 | 900 60464 198501 | 1 483079 38 | 0.000 % | 4651.15/4651.10 c | 15101860 | 900 60464 198501 | 1 483280 38 | 0.000 % | 4651.15/4651.10 c | 15111344 | 900 60464 198501 | 1 492764 38 | 0.000 % | 4651.15/4651.10 c | 15121100 | 900 60464 198501 | 1 502520 39 | 0.000 % | 4651.15/4651.10 c | 15123175 | 900 60464 198501 | 1 504595 39 | 0.000 % | 4651.15/4651.10 c | 15123276 | 900 60464 198501 | 1 504696 39 | 0.000 % | 4651.15/4651.10 c | 15123377 | 900 60464 198501 | 1 504797 39 | 0.000 % | 4651.15/4651.10 c | 15125359 | 900 60464 198501 | 1 506779 39 | 0.000 % | 4651.15/4651.10 c | 15137454 | 900 60464 198501 | 1 518874 39 | 0.000 % | 4651.15/4651.10 c | 15141972 | 900 60464 198501 | 1 523392 39 | 0.000 % | 4651.15/4651.10 c | 15142170 | 900 60464 198501 | 1 523590 39 | 0.000 % | 4651.15/4651.10 c | 15145044 | 900 60464 198501 | 1 526464 39 | 0.000 % | 4651.15/4651.10 c | 15145144 | 900 60464 198501 | 1 526564 39 | 0.000 % | 4651.15/4651.10 c | 15145244 | 900 60464 198501 | 1 526664 39 | 0.000 % | 4651.15/4651.10 c | 15147493 | 900 60464 198501 | 1 528913 39 | 0.000 % | 4651.15/4651.10 c | 15148036 | 900 60464 198501 | 1 529456 39 | 0.000 % | 4651.15/4651.10 c | 15155363 | 900 60464 198501 | 1 536783 40 | 0.000 % | 4651.15/4651.10 c | 15168747 | 900 60464 198501 | 1 550167 40 | 0.000 % | 4651.15/4651.10 c | 15170248 | 900 60464 198501 | 1 551668 40 | 0.000 % | 4651.15/4651.10 c | 15170439 | 900 60464 198501 | 1 551859 40 | 0.000 % | 4794.96/4794.96 c | 15182267 | 900 60464 198501 | 1 286689 28 | 0.000 % | 4794.96/4794.96 c | 15182369 | 900 60464 198501 | 1 286791 28 | 0.000 % | 4794.96/4794.96 c | 15182984 | 900 60464 198501 | 1 287406 28 | 0.000 % | 4794.96/4794.96 c | 15183084 | 900 60464 198501 | 1 287506 28 | 0.000 % | 4794.96/4794.96 c | 15197434 | 900 60464 198501 | 1 301856 29 | 0.000 % | 4794.96/4794.96 c | 15218688 | 900 60464 198501 | 1 323110 30 | 0.000 % | 4794.96/4794.96 c | 15240105 | 900 60464 198501 | 1 344527 31 | 0.000 % | 4794.96/4794.96 c | 15247552 | 900 60464 198501 | 1 351974 31 | 0.000 % | 4794.96/4794.96 c | 15250674 | 900 60464 198501 | 1 355096 31 | 0.000 % | 4794.96/4794.96 c | 15272993 | 900 60464 198501 | 1 377415 32 | 0.000 % | 4794.96/4794.96 c | 15273674 | 900 60464 198501 | 1 378096 32 | 0.000 % | 4794.96/4794.96 c | 15275037 | 900 60464 198501 | 1 379459 32 | 0.000 % | 4794.96/4794.96 c | 15275137 | 900 60464 198501 | 1 379559 32 | 0.000 % | 4794.96/4794.96 c | 15275237 | 900 60464 198501 | 1 379659 32 | 0.000 % | 4794.96/4794.96 c | 15288558 | 900 60464 198501 | 1 392980 33 | 0.000 % | 4794.96/4794.96 c | 15295490 | 900 60464 198501 | 1 399912 33 | 0.000 % | 4794.96/4794.96 c | 15301036 | 900 60464 198501 | 1 405458 34 | 0.000 % | 4794.96/4794.96 c | 15307803 | 900 60464 198501 | 1 412225 34 | 0.000 % | 4794.96/4794.96 c | 15307915 | 900 60464 198501 | 1 412337 34 | 0.000 % | 4794.96/4794.96 c | 15323316 | 900 60464 198501 | 1 427738 35 | 0.000 % | 4794.96/4794.96 c | 15328391 | 900 60464 198501 | 1 432813 35 | 0.000 % | 4794.96/4794.96 c | 15328492 | 900 60464 198501 | 1 432914 35 | 0.000 % | 4794.96/4794.96 c | 15349089 | 900 60464 198501 | 1 453511 36 | 0.000 % | 4794.96/4794.96 c | 15349189 | 900 60464 198501 | 1 453611 36 | 0.000 % | 4794.96/4794.96 c | 15354740 | 900 60464 198501 | 1 459162 36 | 0.000 % | 4794.96/4794.96 c | 15356740 | 900 60464 198501 | 1 461162 36 | 0.000 % | 4794.96/4794.96 c | 15366947 | 900 60464 198501 | 1 471369 37 | 0.000 % | 4794.96/4794.96 c | 15367540 | 900 60464 198501 | 1 471962 37 | 0.000 % | 4794.96/4794.96 c | 15376297 | 900 60464 198501 | 1 480719 37 | 0.000 % | 4794.96/4794.96 c | 15378427 | 900 60464 198501 | 1 482849 37 | 0.000 % | 4794.96/4794.96 c | 15395515 | 900 60464 198501 | 1 499937 38 | 0.000 % | 4794.96/4794.96 c | 15407722 | 900 60464 198501 | 1 512144 38 | 0.000 % | 4794.96/4794.96 c | 15415690 | 900 60464 198501 | 1 520112 38 | 0.000 % | 4794.96/4794.96 c | 15425058 | 900 60464 198501 | 1 529480 39 | 0.000 % | 4794.96/4794.96 c | 15433327 | 900 60464 198501 | 1 537749 39 | 0.000 % | 4794.96/4794.96 c | 15437653 | 900 60464 198501 | 1 542075 39 | 0.000 % | 4794.96/4794.96 c | 15442330 | 900 60464 198501 | 1 546752 39 | 0.000 % | 4794.96/4794.96 c | 15445152 | 900 60464 198501 | 1 549574 39 | 0.000 % | 4794.96/4794.96 c | 15445743 | 900 60464 198501 | 1 550165 39 | 0.000 % | 4794.96/4794.96 c | 15448394 | 900 60464 198501 | 1 552816 39 | 0.000 % | 4794.96/4794.96 c | 15451017 | 900 60464 198501 | 1 555439 39 | 0.000 % | 4794.96/4794.96 c | 15484729 | 900 60464 198501 | 1 309552 29 | 0.000 % | 4794.96/4794.96 c | 15485465 | 900 60464 198501 | 1 310288 29 | 0.000 % | 4794.96/4794.96 c | 15485565 | 900 60464 198501 | 1 310388 29 | 0.000 % | 4794.96/4794.96 c | 15485791 | 900 60464 198501 | 1 310614 29 | 0.000 % | 4794.96/4794.96 c | 15491360 | 900 60464 198501 | 1 316183 30 | 0.000 % | 4794.96/4794.96 c | 15495794 | 900 60464 198501 | 1 320617 30 | 0.000 % | 4794.96/4794.96 c | 15495933 | 900 60464 198501 | 1 320756 30 | 0.000 % | 4794.96/4794.96 c | 15496166 | 900 60464 198501 | 1 320989 30 | 0.000 % | 4794.96/4794.96 c | 15508736 | 900 60464 198501 | 1 333559 31 | 0.000 % | 4918.75/4918.75 c | 15514112 | 900 60464 198501 | 1 338935 31 | 0.000 % | 4918.75/4918.75 c | 15516064 | 900 60464 198501 | 1 340887 31 | 0.000 % | 4918.75/4918.75 c | 15524511 | 900 60464 198501 | 1 349334 32 | 0.000 % | 4918.75/4918.75 c | 15524612 | 900 60464 198501 | 1 349435 32 | 0.000 % | 4918.75/4918.75 c | 15525285 | 900 60464 198501 | 1 350108 32 | 0.000 % | 4918.75/4918.75 c | 15525385 | 900 60464 198501 | 1 350208 32 | 0.000 % | 4918.75/4918.75 c | 15526146 | 900 60464 198501 | 1 350969 32 | 0.000 % | 4918.75/4918.75 c | 15526679 | 900 60464 198501 | 1 351502 32 | 0.000 % | 4918.75/4918.75 c | 15527444 | 900 60464 198501 | 1 352267 32 | 0.000 % | 4918.75/4918.75 c | 15532183 | 900 60464 198501 | 1 357006 32 | 0.000 % | 4918.75/4918.75 c | 15533657 | 900 60464 198501 | 1 358480 33 | 0.000 % | 4918.75/4918.75 c | 15542958 | 900 60464 198501 | 1 367781 33 | 0.000 % | 4918.75/4918.75 c | 15544291 | 900 60464 198501 | 1 369114 33 | 0.000 % | 4918.75/4918.75 c | 15545710 | 900 60464 198501 | 1 370533 33 | 0.000 % | 4918.75/4918.75 c | 15545811 | 900 60464 198501 | 1 370634 33 | 0.000 % | 4918.75/4918.75 c | 15565457 | 900 60464 198501 | 1 390280 34 | 0.000 % | 4918.75/4918.75 c | 15565810 | 900 60464 198501 | 1 390633 34 | 0.000 % | 4918.75/4918.75 c | 15567316 | 900 60464 198501 | 1 392139 34 | 0.000 % | 4918.75/4918.75 c | 15568097 | 900 60464 198501 | 1 392920 34 | 0.000 % | 4918.75/4918.75 c | 15570369 | 900 60464 198501 | 1 395192 35 | 0.000 % | 4918.75/4918.75 c | 15578502 | 900 60464 198501 | 1 403325 35 | 0.000 % | 4918.75/4918.75 c | 15596442 | 900 60464 198501 | 1 421265 35 | 0.000 % | 4918.75/4918.75 c | 15602290 | 900 60464 198501 | 1 427113 36 | 0.000 % | 4918.75/4918.75 c | 15614303 | 900 60464 198501 | 1 439126 36 | 0.000 % | 4918.75/4918.75 c | 15615109 | 900 60464 198501 | 1 439932 36 | 0.000 % | 4918.75/4918.75 c | 15627535 | 900 60464 198501 | 1 452358 36 | 0.000 % | 4918.75/4918.75 c | 15631164 | 900 60464 198501 | 1 455987 37 | 0.000 % | 4918.75/4918.75 c | 15638154 | 900 60464 198501 | 1 462977 37 | 0.000 % | 4918.75/4918.75 c | 15647860 | 900 60464 198501 | 1 472683 37 | 0.000 % | 4918.75/4918.75 c | 15648101 | 900 60464 198501 | 1 472924 37 | 0.000 % | 4918.75/4918.75 c | 15655076 | 900 60464 198501 | 1 479899 37 | 0.000 % | 4918.75/4918.75 c | 15655176 | 900 60464 198501 | 1 479999 37 | 0.000 % | 4918.75/4918.75 c | 15670930 | 900 60464 198501 | 1 495753 38 | 0.000 % | 4918.75/4918.75 c | 15677626 | 900 60464 198501 | 1 502449 38 | 0.000 % | 4918.75/4918.75 c | 15677726 | 900 60464 198501 | 1 502549 38 | 0.000 % | 4918.75/4918.75 c | 15689139 | 900 60464 198501 | 1 513962 39 | 0.000 % | 4918.75/4918.75 c | 15694380 | 900 60464 198501 | 1 519203 39 | 0.000 % | 4918.75/4918.75 c | 15694482 | 900 60464 198501 | 1 519305 39 | 0.000 % | 4918.75/4918.75 c | 15700855 | 900 60464 198501 | 1 525678 39 | 0.000 % | 4918.75/4918.75 c | 15700955 | 900 60464 198501 | 1 525778 39 | 0.000 % | 4918.75/4918.75 c | 15734674 | 900 60464 198501 | 1 559497 40 | 0.000 % | 4918.75/4918.75 c | 15749088 | 900 60464 198501 | 1 291713 27 | 0.000 % | 4918.75/4918.75 c | 15766401 | 900 60464 198501 | 1 309026 28 | 0.000 % | 4918.75/4918.75 c | 15766501 | 900 60464 198501 | 1 309126 28 | 0.000 % | 4918.75/4918.75 c | 15766700 | 900 60464 198501 | 1 309325 28 | 0.000 % | 4918.75/4918.75 c | 15766881 | 900 60464 198501 | 1 309506 28 | 0.000 % | 4918.75/4918.75 c | 15774238 | 900 60464 198501 | 1 316863 29 | 0.000 % | 4918.75/4918.75 c | 15775007 | 900 60464 198501 | 1 317632 29 | 0.000 % | 4918.75/4918.75 c | 15775237 | 900 60464 198501 | 1 317862 29 | 0.000 % | 4918.75/4918.75 c | 157753
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303370-1303899342/watcher-3303370-1303899342 -o /tmp/evaluation-result-3303370-1303899342/solver-3303370-1303899342 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303370-1303899342.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 2/172 21066 /proc/meminfo: memFree=16967648/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 501532750 8912896 252 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21066/statm: 2176 252 211 178 0 69 0 [startup+0.020382 s] /proc/loadavg: 0.00 0.00 0.00 2/172 21066 /proc/meminfo: memFree=16967648/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 501532750 8912896 252 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21066/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100389 s] /proc/loadavg: 0.00 0.00 0.00 2/172 21066 /proc/meminfo: memFree=16967648/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 501532750 8912896 252 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21066/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300307 s] /proc/loadavg: 0.00 0.00 0.00 2/172 21066 /proc/meminfo: memFree=16967648/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 8704 [startup+0.700266 s] /proc/loadavg: 0.00 0.00 0.00 2/172 21066 /proc/meminfo: memFree=16967648/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 8704 [startup+1.50112 s] /proc/loadavg: 0.00 0.00 0.00 3/180 21081 /proc/meminfo: memFree=16944636/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=24180 CPUtime=1.34 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 6203 0 0 0 134 0 0 0 25 0 1 0 501532765 24760320 2871 33554432000 4194304 4260849 140735214501408 18446744073709551615 4226718 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 6045 2871 248 17 0 2686 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 32884 [startup+3.10088 s] /proc/loadavg: 0.00 0.00 0.00 3/180 21081 /proc/meminfo: memFree=16929136/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=31252 CPUtime=2.94 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 7936 0 0 0 294 0 0 0 25 0 1 0 501532765 32002048 4518 33554432000 4194304 4260849 140735214501408 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 7813 4518 248 17 0 4454 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 39956 [startup+6.30033 s] /proc/loadavg: 0.16 0.03 0.01 3/180 21081 /proc/meminfo: memFree=16915384/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=35672 CPUtime=6.14 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 9213 0 0 0 613 1 0 0 25 0 1 0 501532765 36528128 5728 33554432000 4194304 4260849 140735214501408 18446744073709551615 4209318 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 8918 5728 248 17 0 5559 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 44376 [startup+12.7003 s] /proc/loadavg: 0.31 0.07 0.02 3/180 21081 /proc/meminfo: memFree=16915420/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=42964 CPUtime=12.54 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 13570 0 0 0 1252 2 0 0 25 0 1 0 501532765 43995136 7031 33554432000 4194304 4260849 140735214501408 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 10741 7031 248 17 0 7382 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 51668 [startup+25.5011 s] /proc/loadavg: 0.68 0.16 0.05 3/180 21082 /proc/meminfo: memFree=16888872/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=61640 CPUtime=25.34 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 14923 0 0 0 2532 2 0 0 25 0 1 0 501532765 63119360 8363 33554432000 4194304 4260849 140735214501408 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 15410 8363 248 17 0 12051 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 70344 [startup+51.1008 s] /proc/loadavg: 1.13 0.31 0.10 3/180 21083 /proc/meminfo: memFree=16856848/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=61640 CPUtime=50.94 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 18586 0 0 0 5091 3 0 0 25 0 1 0 501532765 63119360 11913 33554432000 4194304 4260849 140735214501408 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 15410 11913 248 17 0 12051 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 70344 [startup+102.306 s] /proc/loadavg: 1.62 0.56 0.20 3/180 21084 /proc/meminfo: memFree=16853104/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=61460 CPUtime=102.15 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 40088 0 0 0 10209 6 0 0 25 0 1 0 501532765 62935040 9268 33554432000 4194304 4260849 140735214501408 18446744073709551615 4224898 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 15365 9268 249 17 0 12006 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 70164 [startup+162.301 s] /proc/loadavg: 1.89 0.84 0.31 3/180 21085 /proc/meminfo: memFree=16821444/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=80980 CPUtime=162.15 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 55939 0 0 0 16207 8 0 0 25 0 1 0 501532765 82923520 16069 33554432000 4194304 4260849 140735214501408 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 20245 16069 249 17 0 16886 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 89684 [startup+222.301 s] /proc/loadavg: 1.96 1.05 0.42 3/180 21087 /proc/meminfo: memFree=16799836/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=99628 CPUtime=222.14 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 61228 0 0 0 22206 8 0 0 25 0 1 0 501532765 102019072 21193 33554432000 4194304 4260849 140735214501408 18446744073709551615 4224730 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 24907 21193 249 17 0 21548 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 108332 [startup+282.301 s] /proc/loadavg: 1.98 1.22 0.51 3/180 21089 /proc/meminfo: memFree=16752800/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=99628 CPUtime=282.14 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 78429 0 0 0 28204 10 0 0 25 0 1 0 501532765 102019072 21729 33554432000 4194304 4260849 140735214501408 18446744073709551615 4209420 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 24907 21729 250 17 0 21548 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 108332 [startup+342.301 s] /proc/loadavg: 1.99 1.36 0.60 3/180 21091 /proc/meminfo: memFree=16784248/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=99628 CPUtime=342.14 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 104078 0 0 0 34200 14 0 0 25 0 1 0 501532765 102019072 21729 33554432000 4194304 4260849 140735214501408 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 24907 21729 250 17 0 21548 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 108332 [startup+402.301 s] /proc/loadavg: 2.03 1.48 0.69 3/180 21092 /proc/meminfo: memFree=16784340/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 ################ # More data... # ################ /proc/21074/statm: 45109 39258 250 17 0 41750 0 Current children cumulated CPU time (s) 4302.34 Current children cumulated vsize (KiB) 189140 [startup+4362.3 s] /proc/loadavg: 2.01 2.01 1.92 3/180 21209 /proc/meminfo: memFree=16590720/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=211256 CPUtime=4362.2 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 1184447 0 0 0 435997 223 0 0 25 0 1 0 501532765 216326144 46589 33554432000 4194304 4260849 140735214501408 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 52814 46589 250 17 0 49455 0 Current children cumulated CPU time (s) 4362.34 Current children cumulated vsize (KiB) 219960 [startup+4422.3 s] /proc/loadavg: 2.00 2.00 1.92 3/180 21211 /proc/meminfo: memFree=16594528/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=180436 CPUtime=4422.21 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 1199345 0 0 0 441994 227 0 0 25 0 1 0 501532765 184766464 38602 33554432000 4194304 4260849 140735214501408 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 45109 38602 250 17 0 41750 0 Current children cumulated CPU time (s) 4422.35 Current children cumulated vsize (KiB) 189140 [startup+4482.3 s] /proc/loadavg: 2.00 2.00 1.92 3/180 21213 /proc/meminfo: memFree=16582716/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=211256 CPUtime=4482.2 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 1207773 0 0 0 447991 229 0 0 25 0 1 0 501532765 216326144 46887 33554432000 4194304 4260849 140735214501408 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 52814 46887 250 17 0 49455 0 Current children cumulated CPU time (s) 4482.34 Current children cumulated vsize (KiB) 219960 [startup+4542.3 s] /proc/loadavg: 2.03 2.01 1.93 3/180 21215 /proc/meminfo: memFree=16635732/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=180436 CPUtime=4542.21 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 1224156 0 0 0 453988 233 0 0 25 0 1 0 501532765 184766464 39702 33554432000 4194304 4260849 140735214501408 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 45109 39702 250 17 0 41750 0 Current children cumulated CPU time (s) 4542.35 Current children cumulated vsize (KiB) 189140 [startup+4602.3 s] /proc/loadavg: 2.01 2.01 1.93 3/180 21216 /proc/meminfo: memFree=16563280/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=211256 CPUtime=4602.21 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 1232005 0 0 0 459986 235 0 0 25 0 1 0 501532765 216326144 47411 33554432000 4194304 4260849 140735214501408 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 52814 47411 250 17 0 49455 0 Current children cumulated CPU time (s) 4602.35 Current children cumulated vsize (KiB) 219960 [startup+4662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 21217 /proc/meminfo: memFree=16622760/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=180436 CPUtime=4662.21 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 1248045 0 0 0 465981 240 0 0 25 0 1 0 501532765 184766464 39302 33554432000 4194304 4260849 140735214501408 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 45109 39302 250 17 0 41750 0 Current children cumulated CPU time (s) 4662.35 Current children cumulated vsize (KiB) 189140 [startup+4722.31 s] /proc/loadavg: 2.00 2.00 1.93 3/180 21219 /proc/meminfo: memFree=16560852/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=211256 CPUtime=4722.22 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 1255856 0 0 0 471979 243 0 0 25 0 1 0 501532765 216326144 46987 33554432000 4194304 4260849 140735214501408 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 52814 46988 250 17 0 49455 0 Current children cumulated CPU time (s) 4722.36 Current children cumulated vsize (KiB) 219960 [startup+4782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 21221 /proc/meminfo: memFree=16623676/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=180436 CPUtime=4782.21 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 1271847 0 0 0 477975 246 0 0 25 0 1 0 501532765 184766464 39034 33554432000 4194304 4260849 140735214501408 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 45109 39034 250 17 0 41750 0 Current children cumulated CPU time (s) 4782.35 Current children cumulated vsize (KiB) 189140 [startup+4842.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 21223 /proc/meminfo: memFree=16555064/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=211256 CPUtime=4842.21 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 1279869 0 0 0 483972 249 0 0 25 0 1 0 501532765 216326144 46918 33554432000 4194304 4260849 140735214501408 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 52814 46918 250 17 0 49455 0 Current children cumulated CPU time (s) 4842.35 Current children cumulated vsize (KiB) 219960 [startup+4902.3 s] /proc/loadavg: 2.04 2.01 1.93 3/180 21224 /proc/meminfo: memFree=16542880/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=261344 CPUtime=4902.22 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 1286394 0 0 0 489970 252 0 0 25 0 1 0 501532765 267616256 53324 33554432000 4194304 4260849 140735214501408 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 65336 53324 250 17 0 61977 0 Current children cumulated CPU time (s) 4902.36 Current children cumulated vsize (KiB) 270048 [startup+4962.3 s] /proc/loadavg: 2.01 2.01 1.93 3/180 21225 /proc/meminfo: memFree=16582764/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=211256 CPUtime=4962.22 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 1302967 0 0 0 495967 255 0 0 25 0 1 0 501532765 216326144 45504 33554432000 4194304 4260849 140735214501408 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 52814 45504 250 17 0 49455 0 Current children cumulated CPU time (s) 4962.36 Current children cumulated vsize (KiB) 219960 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.00 2.00 1.93 3/180 21227 /proc/meminfo: memFree=16537232/32951124 swapFree=67111528/67111528 [pid=21066] ppid=21064 vsize=8704 CPUtime=0.14 cores=0,2,4,6 /proc/21066/stat : 21066 (glucose.sh) S 21064 21066 21038 0 -1 4202496 359 1402 0 0 0 0 14 0 23 0 1 0 501532750 8912896 254 33554432000 4194304 4922060 140734612341024 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21066/statm: 2176 254 211 178 0 69 0 [pid=21074] ppid=21066 vsize=261344 CPUtime=4999.92 cores=0,2,4,6 /proc/21074/stat : 21074 (glucose_static) R 21066 21066 21038 0 -1 4202496 1307510 0 0 0 499736 256 0 0 25 0 1 0 501532765 267616256 49979 33554432000 4194304 4260849 140735214501408 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21074/statm: 65336 49979 250 17 0 61977 0 Current children cumulated CPU time (s) 5000.06 Current children cumulated vsize (KiB) 270048 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21066 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=146977 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.149976 # while last known CPU time is 5000.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 5000.01 CPU time (s): 5000.06 CPU user time (s): 4997.5 CPU system time (s): 2.56 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 319368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.146977 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1761 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= 5 runsolver used 9.10661 second user time and 17.5953 second system time The end
Begin job on node130 at 2011-04-27 12:15:42 IDJOB=3303370 IDBENCH=71540 IDSOLVER=1687 FILE ID=node130/3303370-1303899342 RUNJOBID= node130-1303899341-21056 PBS_JOBID= 13164518 Free space on /tmp= 72020 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes7.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303370-1303899342/watcher-3303370-1303899342 -o /tmp/evaluation-result-3303370-1303899342/solver-3303370-1303899342 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303370-1303899342.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6200c727c8a5a324974090a1f9a6d7ab RANDOM SEED=1223450421 node130.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.838 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.67 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.838 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.83 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.838 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.838 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.81 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.838 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.838 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.83 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.838 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.838 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.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 16968052 kB Buffers: 2122196 kB Cached: 13245584 kB SwapCached: 0 kB Active: 7157064 kB Inactive: 8274368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 16968052 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1968 kB Writeback: 0 kB AnonPages: 63304 kB Mapped: 14636 kB Slab: 488476 kB PageTables: 4828 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 186668 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= 72016 MiB End job on node130 at 2011-04-27 13:39:05