| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | SAT | 2605.9 | 2605.81 |
| Name | CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf |
| MD5SUM | bd9e06c08721e6eb7b4cb4a265dbdd48 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 11.6932 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 760 |
| Number of clauses | 43649 |
| Sum of the clauses size | 87978 |
| Maximum clause length | 19 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 43609 |
| 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 | 40 |
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 | 43649 87978 | 13094 0 0 nan | 0.000 % | 0.00/0.07 c | 0 | 42889 140325 | -- 0 -- -- | -- | -760/52347 0.00/0.07 c ============================================================================== 0.00/0.07 c Result : #vars: 720 #clauses: 42889 #literals: 140325 0.00/0.07 c CPU time: 0.075988 s 0.00/0.07 c ============================================================================== 0.00/0.09 c 0.00/0.09 c Starting glucose 0.00/0.09 c 365.49/365.57 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 365.49/365.57 c WARNING: for repeatability, setting FPU to use double precision 365.49/365.57 c ============================[ Problem Statistics ]============================= 365.49/365.57 c | | 365.49/365.57 c | Number of variables: 720 | 365.49/365.57 c | Number of clauses: 42889 | 365.49/365.57 c | Parse time: 0.01 s | 365.49/365.57 c | | 365.49/365.57 c ============================[ Search Statistics ]============================== 365.49/365.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 365.49/365.57 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 365.49/365.57 c =============================================================================== 365.49/365.57 c | 8702 | 720 42889 140325 | 1 6704 76 | 0.000 % | 365.49/365.57 c | 132054 | 720 42889 140325 | 1 24687 36 | 0.000 % | 365.49/365.57 c | 138990 | 720 42889 140325 | 1 31623 41 | 0.000 % | 365.49/365.57 c | 183154 | 720 42889 140325 | 1 50980 45 | 0.000 % | 365.49/365.57 c | 285347 | 720 42889 140325 | 1 63166 48 | 0.000 % | 365.49/365.57 c | 442152 | 720 42889 140325 | 1 63572 41 | 0.000 % | 365.49/365.57 c | 981004 | 720 42889 140325 | 1 98421 34 | 0.000 % | 365.49/365.57 c | 1005030 | 720 42889 140325 | 1 122447 37 | 0.000 % | 365.49/365.57 c | 1130653 | 720 42889 140325 | 1 107469 32 | 0.000 % | 365.49/365.57 c | 1133123 | 720 42889 140325 | 1 109939 33 | 0.000 % | 365.49/365.57 c | 1133226 | 720 42889 140325 | 1 110042 33 | 0.000 % | 365.49/365.57 c | 1378911 | 720 42889 140325 | 1 125331 33 | 0.000 % | 365.49/365.57 c | 1466067 | 720 42889 140325 | 1 130488 35 | 0.000 % | 365.49/365.57 c | 1472338 | 720 42889 140325 | 1 136759 35 | 0.000 % | 365.49/365.57 c | 1575995 | 720 42889 140325 | 1 155819 36 | 0.000 % | 365.49/365.57 c | 1600052 | 720 42889 140325 | 1 92670 27 | 0.000 % | 365.49/365.57 c | 1600206 | 720 42889 140325 | 1 92824 27 | 0.000 % | 365.49/365.57 c | 1644380 | 720 42889 140325 | 1 136998 33 | 0.000 % | 365.49/365.57 c | 1679610 | 720 42889 140325 | 1 172228 35 | 0.000 % | 365.49/365.57 c | 1691879 | 720 42889 140325 | 1 94691 27 | 0.000 % | 365.49/365.57 c | 1786510 | 720 42889 140325 | 1 96933 29 | 0.000 % | 365.49/365.57 c | 1787032 | 720 42889 140325 | 1 97455 29 | 0.000 % | 365.49/365.57 c | 1844466 | 720 42889 140325 | 1 154889 35 | 0.000 % | 365.49/365.57 c | 1918136 | 720 42889 140325 | 1 133560 32 | 0.000 % | 365.49/365.57 c | 1925263 | 720 42889 140325 | 1 140687 32 | 0.000 % | 365.49/365.57 c | 1967067 | 720 42889 140325 | 1 182491 34 | 0.000 % | 365.49/365.57 c | 2046567 | 720 42889 140325 | 1 164401 33 | 0.000 % | 365.49/365.57 c | 2047434 | 720 42889 140325 | 1 165268 33 | 0.000 % | 365.49/365.57 c | 2143210 | 720 42889 140325 | 1 160833 34 | 0.000 % | 365.49/365.57 c | 2143375 | 720 42889 140325 | 1 160998 34 | 0.000 % | 365.49/365.57 c | 2381184 | 720 42889 140325 | 1 190600 33 | 0.000 % | 365.49/365.57 c | 2386675 | 720 42889 140325 | 1 196091 33 | 0.000 % | 365.49/365.57 c | 2410531 | 720 42889 140325 | 1 111955 26 | 0.000 % | 365.49/365.57 c | 2480648 | 720 42889 140325 | 1 182072 31 | 0.000 % | 365.49/365.57 c | 2505142 | 720 42889 140325 | 1 206566 33 | 0.000 % | 365.49/365.57 c | 2513438 | 720 42889 140325 | 1 214862 34 | 0.000 % | 365.49/365.57 c | 2516441 | 720 42889 140325 | 1 217865 34 | 0.000 % | 365.49/365.57 c | 2517622 | 720 42889 140325 | 1 219046 34 | 0.000 % | 365.49/365.57 c | 2555545 | 720 42889 140325 | 1 146359 29 | 0.000 % | 608.40/608.45 c | 2601152 | 720 42889 140325 | 1 191966 34 | 0.000 % | 608.40/608.45 c | 2601383 | 720 42889 140325 | 1 192197 34 | 0.000 % | 608.40/608.45 c | 2603786 | 720 42889 140325 | 1 194600 34 | 0.000 % | 608.40/608.45 c | 2664314 | 720 42889 140325 | 1 141924 30 | 0.000 % | 608.40/608.45 c | 2698153 | 720 42889 140325 | 1 175763 32 | 0.000 % | 608.40/608.45 c | 2789889 | 720 42889 140325 | 1 151715 32 | 0.000 % | 608.40/608.45 c | 2828719 | 720 42889 140325 | 1 190545 35 | 0.000 % | 608.40/608.45 c | 2828820 | 720 42889 140325 | 1 190646 35 | 0.000 % | 608.40/608.45 c | 2829042 | 720 42889 140325 | 1 190868 35 | 0.000 % | 608.40/608.45 c | 2829275 | 720 42889 140325 | 1 191101 35 | 0.000 % | 608.40/608.45 c | 2929215 | 720 42889 140325 | 1 172638 31 | 0.000 % | 608.40/608.45 c | 2931316 | 720 42889 140325 | 1 174739 32 | 0.000 % | 608.40/608.45 c | 2968457 | 720 42889 140325 | 1 211880 33 | 0.000 % | 608.40/608.45 c | 2999065 | 720 42889 140325 | 1 121488 25 | 0.000 % | 608.40/608.45 c | 3067396 | 720 42889 140325 | 1 189819 30 | 0.000 % | 608.40/608.45 c | 3067497 | 720 42889 140325 | 1 189920 30 | 0.000 % | 608.40/608.45 c | 3082341 | 720 42889 140325 | 1 204764 31 | 0.000 % | 608.40/608.45 c | 3106558 | 720 42889 140325 | 1 228981 32 | 0.000 % | 608.40/608.45 c | 3130056 | 720 42889 140325 | 1 128880 25 | 0.000 % | 608.40/608.45 c | 3147656 | 720 42889 140325 | 1 146480 27 | 0.000 % | 608.40/608.45 c | 3164283 | 720 42889 140325 | 1 163107 29 | 0.000 % | 608.40/608.45 c | 3179407 | 720 42889 140325 | 1 178231 30 | 0.000 % | 608.40/608.45 c | 3179509 | 720 42889 140325 | 1 178333 30 | 0.000 % | 608.40/608.45 c | 3212016 | 720 42889 140325 | 1 210840 32 | 0.000 % | 608.40/608.45 c | 3230092 | 720 42889 140325 | 1 228916 32 | 0.000 % | 608.40/608.45 c | 3230847 | 720 42889 140325 | 1 229671 32 | 0.000 % | 608.40/608.45 c | 3231618 | 720 42889 140325 | 1 230442 32 | 0.000 % | 608.40/608.45 c | 3315646 | 720 42889 140325 | 1 188267 28 | 0.000 % | 608.40/608.45 c | 3349270 | 720 42889 140325 | 1 221891 30 | 0.000 % | 608.40/608.45 c | 3377110 | 720 42889 140325 | 1 249731 31 | 0.000 % | 608.40/608.45 c | 3413563 | 720 42889 140325 | 1 157380 26 | 0.000 % | 608.40/608.45 c | 3421263 | 720 42889 140325 | 1 165080 27 | 0.000 % | 608.40/608.45 c | 3443641 | 720 42889 140325 | 1 187458 30 | 0.000 % | 608.40/608.45 c | 3454105 | 720 42889 140325 | 1 197922 31 | 0.000 % | 608.40/608.45 c | 3494884 | 720 42889 140325 | 1 238701 34 | 0.000 % | 608.40/608.45 c | 3510878 | 720 42889 140325 | 1 254695 35 | 0.000 % | 608.40/608.45 c | 3523368 | 720 42889 140325 | 1 135784 26 | 0.000 % | 608.40/608.45 c | 3552462 | 720 42889 140325 | 1 164878 29 | 0.000 % | 608.40/608.45 c | 3575010 | 720 42889 140325 | 1 187426 31 | 0.000 % | 608.40/608.45 c | 3622372 | 720 42889 140325 | 1 234788 32 | 0.000 % | 608.40/608.45 c | 3668135 | 720 42889 140325 | 1 146556 26 | 0.000 % | 608.40/608.45 c | 3697414 | 720 42889 140325 | 1 175835 29 | 0.000 % | 608.40/608.45 c | 3730247 | 720 42889 140325 | 1 208668 31 | 0.000 % | 608.40/608.45 c | 3816180 | 720 42889 140325 | 1 157995 26 | 0.000 % | 608.40/608.45 c | 3816490 | 720 42889 140325 | 1 158305 26 | 0.000 % | 608.40/608.45 c | 3851092 | 720 42889 140325 | 1 192907 28 | 0.000 % | 608.40/608.45 c | 3863290 | 720 42889 140325 | 1 205105 29 | 0.000 % | 608.40/608.45 c | 3873103 | 720 42889 140325 | 1 214918 30 | 0.000 % | 608.40/608.45 c | 3907563 | 720 42889 140325 | 1 249378 31 | 0.000 % | 608.40/608.45 c | 3922924 | 720 42889 140325 | 1 264739 32 | 0.000 % | 831.21/831.26 c | 3994454 | 720 42889 140325 | 1 197068 28 | 0.000 % | 831.21/831.26 c | 3996617 | 720 42889 140325 | 1 199231 28 | 0.000 % | 831.21/831.26 c | 4046497 | 720 42889 140325 | 1 249111 30 | 0.000 % | 831.21/831.26 c | 4070597 | 720 42889 140325 | 1 273211 31 | 0.000 % | 831.21/831.26 c | 4085877 | 720 42889 140325 | 1 146697 24 | 0.000 % | 831.21/831.26 c | 4121736 | 720 42889 140325 | 1 182556 28 | 0.000 % | 831.21/831.26 c | 4140489 | 720 42889 140325 | 1 201309 29 | 0.000 % | 831.21/831.26 c | 4141535 | 720 42889 140325 | 1 202355 29 | 0.000 % | 831.21/831.26 c | 4173005 | 720 42889 140325 | 1 233825 31 | 0.000 % | 831.21/831.26 c | 4203727 | 720 42889 140325 | 1 264547 32 | 0.000 % | 831.21/831.26 c | 4204450 | 720 42889 140325 | 1 265270 32 | 0.000 % | 831.21/831.26 c | 4238564 | 720 42889 140325 | 1 154987 25 | 0.000 % | 831.21/831.26 c | 4238667 | 720 42889 140325 | 1 155090 25 | 0.000 % | 831.21/831.26 c | 4248261 | 720 42889 140325 | 1 164684 26 | 0.000 % | 831.21/831.26 c | 4248693 | 720 42889 140325 | 1 165116 26 | 0.000 % | 831.21/831.26 c | 4295635 | 720 42889 140325 | 1 212058 29 | 0.000 % | 831.21/831.26 c | 4317190 | 720 42889 140325 | 1 233613 31 | 0.000 % | 831.21/831.26 c | 4345358 | 720 42889 140325 | 1 261781 32 | 0.000 % | 831.21/831.26 c | 4427943 | 720 42889 140325 | 1 197370 28 | 0.000 % | 831.21/831.26 c | 4428245 | 720 42889 140325 | 1 197672 28 | 0.000 % | 831.21/831.26 c | 4443794 | 720 42889 140325 | 1 213221 29 | 0.000 % | 831.21/831.26 c | 4469940 | 720 42889 140325 | 1 239367 30 | 0.000 % | 831.21/831.26 c | 4476368 | 720 42889 140325 | 1 245795 30 | 0.000 % | 831.21/831.26 c | 4503650 | 720 42889 140325 | 1 273077 31 | 0.000 % | 831.21/831.26 c | 4509671 | 720 42889 140325 | 1 279098 32 | 0.000 % | 831.21/831.26 c | 4529477 | 720 42889 140325 | 1 298904 32 | 0.000 % | 831.21/831.26 c | 4552525 | 720 42889 140325 | 1 172348 25 | 0.000 % | 831.21/831.26 c | 4576460 | 720 42889 140325 | 1 196283 28 | 0.000 % | 831.21/831.26 c | 4578426 | 720 42889 140325 | 1 198249 28 | 0.000 % | 831.21/831.26 c | 4603721 | 720 42889 140325 | 1 223544 29 | 0.000 % | 831.21/831.26 c | 4620488 | 720 42889 140325 | 1 240311 30 | 0.000 % | 831.21/831.26 c | 4655916 | 720 42889 140325 | 1 275739 31 | 0.000 % | 831.21/831.26 c | 4718113 | 720 42889 140325 | 1 185744 26 | 0.000 % | 831.21/831.26 c | 4762210 | 720 42889 140325 | 1 229841 28 | 0.000 % | 831.21/831.26 c | 4783313 | 720 42889 140325 | 1 250944 29 | 0.000 % | 831.21/831.26 c | 4822352 | 720 42889 140325 | 1 289983 31 | 0.000 % | 831.21/831.26 c | 4823960 | 720 42889 140325 | 1 291591 31 | 0.000 % | 831.21/831.26 c | 4899918 | 720 42889 140325 | 1 212744 27 | 0.000 % | 831.21/831.26 c | 4902229 | 720 42889 140325 | 1 215055 27 | 0.000 % | 831.21/831.26 c | 4921816 | 720 42889 140325 | 1 234642 29 | 0.000 % | 831.21/831.26 c | 4936624 | 720 42889 140325 | 1 249450 30 | 0.000 % | 831.21/831.26 c | 4963778 | 720 42889 140325 | 1 276604 31 | 0.000 % | 831.21/831.26 c | 4966772 | 720 42889 140325 | 1 279598 31 | 0.000 % | 831.21/831.26 c | 4967022 | 720 42889 140325 | 1 279848 31 | 0.000 % | 831.21/831.26 c | 4999155 | 720 42889 140325 | 1 311981 32 | 0.000 % | 831.21/831.26 c | 5016924 | 720 42889 140325 | 1 172350 24 | 0.000 % | 831.21/831.26 c | 5038510 | 720 42889 140325 | 1 193936 26 | 0.000 % | 831.21/831.26 c | 5047296 | 720 42889 140325 | 1 202722 27 | 0.000 % | 831.21/831.26 c | 5047705 | 720 42889 140325 | 1 203131 27 | 0.000 % | 831.21/831.26 c | 5064815 | 720 42889 140325 | 1 220241 29 | 0.000 % | 984.22/984.22 c | 5065433 | 720 42889 140325 | 1 220859 29 | 0.000 % | 984.22/984.22 c | 5065667 | 720 42889 140325 | 1 221093 29 | 0.000 % | 984.22/984.22 c | 5086804 | 720 42889 140325 | 1 242230 30 | 0.000 % | 984.22/984.22 c | 5090265 | 720 42889 140325 | 1 245691 31 | 0.000 % | 984.22/984.22 c | 5102235 | 720 42889 140325 | 1 257661 31 | 0.000 % | 984.22/984.22 c | 5142586 | 720 42889 140325 | 1 298012 33 | 0.000 % | 984.22/984.22 c | 5148019 | 720 42889 140325 | 1 303445 33 | 0.000 % | 984.22/984.22 c | 5173173 | 720 42889 140325 | 1 168593 25 | 0.000 % | 984.22/984.22 c | 5199544 | 720 42889 140325 | 1 194964 27 | 0.000 % | 984.22/984.22 c | 5202585 | 720 42889 140325 | 1 198005 27 | 0.000 % | 984.22/984.22 c | 5203179 | 720 42889 140325 | 1 198599 27 | 0.000 % | 984.22/984.22 c | 5208067 | 720 42889 140325 | 1 203487 28 | 0.000 % | 984.22/984.22 c | 5222902 | 720 42889 140325 | 1 218322 29 | 0.000 % | 984.22/984.22 c | 5235320 | 720 42889 140325 | 1 230740 30 | 0.000 % | 984.22/984.22 c | 5248121 | 720 42889 140325 | 1 243541 30 | 0.000 % | 984.22/984.22 c | 5248659 | 720 42889 140325 | 1 244079 31 | 0.000 % | 984.22/984.22 c | 5266461 | 720 42889 140325 | 1 261881 32 | 0.000 % | 984.22/984.22 c | 5266563 | 720 42889 140325 | 1 261983 32 | 0.000 % | 984.22/984.22 c | 5374770 | 720 42889 140325 | 1 207601 27 | 0.000 % | 984.22/984.22 c | 5397968 | 720 42889 140325 | 1 230799 28 | 0.000 % | 984.22/984.22 c | 5406224 | 720 42889 140325 | 1 239055 29 | 0.000 % | 984.22/984.22 c | 5406327 | 720 42889 140325 | 1 239158 29 | 0.000 % | 984.22/984.22 c | 5414359 | 720 42889 140325 | 1 247190 29 | 0.000 % | 984.22/984.22 c | 5419926 | 720 42889 140325 | 1 252757 30 | 0.000 % | 984.22/984.22 c | 5421238 | 720 42889 140325 | 1 254069 30 | 0.000 % | 984.22/984.22 c | 5423660 | 720 42889 140325 | 1 256491 30 | 0.000 % | 984.22/984.22 c | 5423761 | 720 42889 140325 | 1 256592 30 | 0.000 % | 984.22/984.22 c | 5478580 | 720 42889 140325 | 1 311411 32 | 0.000 % | 984.22/984.22 c | 5518872 | 720 42889 140325 | 1 186495 25 | 0.000 % | 984.22/984.22 c | 5580225 | 720 42889 140325 | 1 247848 28 | 0.000 % | 984.22/984.22 c | 5612623 | 720 42889 140325 | 1 280246 30 | 0.000 % | 984.22/984.22 c | 5651395 | 720 42889 140325 | 1 319018 31 | 0.000 % | 984.22/984.22 c | 5655332 | 720 42889 140325 | 1 322955 31 | 0.000 % | 984.22/984.22 c | 5672980 | 720 42889 140325 | 1 172803 23 | 0.000 % | 984.22/984.22 c | 5682691 | 720 42889 140325 | 1 182514 24 | 0.000 % | 984.22/984.22 c | 5686306 | 720 42889 140325 | 1 186129 24 | 0.000 % | 984.22/984.22 c | 5693930 | 720 42889 140325 | 1 193753 25 | 0.000 % | 984.22/984.22 c | 5701318 | 720 42889 140325 | 1 201141 26 | 0.000 % | 984.22/984.22 c | 5715197 | 720 42889 140325 | 1 215020 27 | 0.000 % | 984.22/984.22 c | 5724941 | 720 42889 140325 | 1 224764 28 | 0.000 % | 984.22/984.22 c | 5740683 | 720 42889 140325 | 1 240506 28 | 0.000 % | 984.22/984.22 c | 5759399 | 720 42889 140325 | 1 259222 29 | 0.000 % | 984.22/984.22 c | 5765168 | 720 42889 140325 | 1 264991 29 | 0.000 % | 984.22/984.22 c | 5767460 | 720 42889 140325 | 1 267283 30 | 0.000 % | 984.22/984.22 c | 5772251 | 720 42889 140325 | 1 272074 30 | 0.000 % | 984.22/984.22 c | 5818033 | 720 42889 140325 | 1 317856 31 | 0.000 % | 984.22/984.22 c | 5840324 | 720 42889 140325 | 1 340147 32 | 0.000 % | 984.22/984.22 c | 5840425 | 720 42889 140325 | 1 340248 32 | 0.000 % | 984.22/984.22 c | 5844710 | 720 42889 140325 | 1 174124 23 | 0.000 % | 984.22/984.22 c | 5851794 | 720 42889 140325 | 1 181208 24 | 0.000 % | 1078.82/1078.90 c | 5868513 | 720 42889 140325 | 1 197927 25 | 0.000 % | 1078.82/1078.90 c | 5868615 | 720 42889 140325 | 1 198029 25 | 0.000 % | 1078.82/1078.90 c | 5869130 | 720 42889 140325 | 1 198544 25 | 0.000 % | 1078.82/1078.90 c | 5873715 | 720 42889 140325 | 1 203129 26 | 0.000 % | 1078.82/1078.90 c | 5874115 | 720 42889 140325 | 1 203529 26 | 0.000 % | 1078.82/1078.90 c | 5874723 | 720 42889 140325 | 1 204137 26 | 0.000 % | 1078.82/1078.90 c | 5877031 | 720 42889 140325 | 1 206445 26 | 0.000 % | 1078.82/1078.90 c | 5895747 | 720 42889 140325 | 1 225161 27 | 0.000 % | 1078.82/1078.90 c | 5907868 | 720 42889 140325 | 1 237282 27 | 0.000 % | 1078.82/1078.90 c | 5910845 | 720 42889 140325 | 1 240259 27 | 0.000 % | 1078.82/1078.90 c | 5912490 | 720 42889 140325 | 1 241904 27 | 0.000 % | 1078.82/1078.90 c | 5934679 | 720 42889 140325 | 1 264093 28 | 0.000 % | 1078.82/1078.90 c | 5934779 | 720 42889 140325 | 1 264193 28 | 0.000 % | 1078.82/1078.90 c | 5939207 | 720 42889 140325 | 1 268621 29 | 0.000 % | 1078.82/1078.90 c | 5961869 | 720 42889 140325 | 1 291283 29 | 0.000 % | 1078.82/1078.90 c | 5962420 | 720 42889 140325 | 1 291834 30 | 0.000 % | 1078.82/1078.90 c | 5966841 | 720 42889 140325 | 1 296255 30 | 0.000 % | 1078.82/1078.90 c | 5967319 | 720 42889 140325 | 1 296733 30 | 0.000 % | 1078.82/1078.90 c | 6001948 | 720 42889 140325 | 1 331362 31 | 0.000 % | 1078.82/1078.90 c | 6021672 | 720 42889 140325 | 1 178088 23 | 0.000 % | 1078.82/1078.90 c | 6025638 | 720 42889 140325 | 1 182054 23 | 0.000 % | 1078.82/1078.90 c | 6040580 | 720 42889 140325 | 1 196996 25 | 0.000 % | 1078.82/1078.90 c | 6059610 | 720 42889 140325 | 1 216026 26 | 0.000 % | 1078.82/1078.90 c | 6061161 | 720 42889 140325 | 1 217577 27 | 0.000 % | 1078.82/1078.90 c | 6064045 | 720 42889 140325 | 1 220461 27 | 0.000 % | 1078.82/1078.90 c | 6083360 | 720 42889 140325 | 1 239776 28 | 0.000 % | 1078.82/1078.90 c | 6083990 | 720 42889 140325 | 1 240406 28 | 0.000 % | 1078.82/1078.90 c | 6102120 | 720 42889 140325 | 1 258536 29 | 0.000 % | 1078.82/1078.90 c | 6133166 | 720 42889 140325 | 1 289582 30 | 0.000 % | 1078.82/1078.90 c | 6133920 | 720 42889 140325 | 1 290336 30 | 0.000 % | 1078.82/1078.90 c | 6137519 | 720 42889 140325 | 1 293935 30 | 0.000 % | 1078.82/1078.90 c | 6138676 | 720 42889 140325 | 1 295092 30 | 0.000 % | 1078.82/1078.90 c | 6138781 | 720 42889 140325 | 1 295197 30 | 0.000 % | 1078.82/1078.90 c | 6141693 | 720 42889 140325 | 1 298109 30 | 0.000 % | 1078.82/1078.90 c | 6151088 | 720 42889 140325 | 1 307504 31 | 0.000 % | 1078.82/1078.90 c | 6151631 | 720 42889 140325 | 1 308047 31 | 0.000 % | 1078.82/1078.90 c | 6151976 | 720 42889 140325 | 1 308392 31 | 0.000 % | 1078.82/1078.90 c | 6152315 | 720 42889 140325 | 1 308731 31 | 0.000 % | 1078.82/1078.90 c | 6183011 | 720 42889 140325 | 1 339427 31 | 0.000 % | 1078.82/1078.90 c | 6196755 | 720 42889 140325 | 1 177571 23 | 0.000 % | 1078.82/1078.90 c | 6204072 | 720 42889 140325 | 1 184888 23 | 0.000 % | 1078.82/1078.90 c | 6211279 | 720 42889 140325 | 1 192095 24 | 0.000 % | 1078.82/1078.90 c | 6211765 | 720 42889 140325 | 1 192581 24 | 0.000 % | 1078.82/1078.90 c | 6212832 | 720 42889 140325 | 1 193648 24 | 0.000 % | 1078.82/1078.90 c | 6215168 | 720 42889 140325 | 1 195984 24 | 0.000 % | 1078.82/1078.90 c | 6215269 | 720 42889 140325 | 1 196085 24 | 0.000 % | 1078.82/1078.90 c | 6224410 | 720 42889 140325 | 1 205226 25 | 0.000 % | 1078.82/1078.90 c | 6230737 | 720 42889 140325 | 1 211553 26 | 0.000 % | 1078.82/1078.90 c | 6234354 | 720 42889 140325 | 1 215170 26 | 0.000 % | 1078.82/1078.90 c | 6248058 | 720 42889 140325 | 1 228874 27 | 0.000 % | 1165.22/1165.25 c | 6248158 | 720 42889 140325 | 1 228974 27 | 0.000 % | 1165.22/1165.25 c | 6254359 | 720 42889 140325 | 1 235175 28 | 0.000 % | 1165.22/1165.25 c | 6257115 | 720 42889 140325 | 1 237931 28 | 0.000 % | 1165.22/1165.25 c | 6257218 | 720 42889 140325 | 1 238034 28 | 0.000 % | 1165.22/1165.25 c | 6261342 | 720 42889 140325 | 1 242158 28 | 0.000 % | 1165.22/1165.25 c | 6264262 | 720 42889 140325 | 1 245078 29 | 0.000 % | 1165.22/1165.25 c | 6285717 | 720 42889 140325 | 1 266533 30 | 0.000 % | 1165.22/1165.25 c | 6285818 | 720 42889 140325 | 1 266634 30 | 0.000 % | 1165.22/1165.25 c | 6286984 | 720 42889 140325 | 1 267800 30 | 0.000 % | 1165.22/1165.25 c | 6287493 | 720 42889 140325 | 1 268309 30 | 0.000 % | 1165.22/1165.25 c | 6288950 | 720 42889 140325 | 1 269766 30 | 0.000 % | 1165.22/1165.25 c | 6292898 | 720 42889 140325 | 1 273714 30 | 0.000 % | 1165.22/1165.25 c | 6306541 | 720 42889 140325 | 1 287357 31 | 0.000 % | 1165.22/1165.25 c | 6311719 | 720 42889 140325 | 1 292535 31 | 0.000 % | 1165.22/1165.25 c | 6313302 | 720 42889 140325 | 1 294118 31 | 0.000 % | 1165.22/1165.25 c | 6321874 | 720 42889 140325 | 1 302690 31 | 0.000 % | 1165.22/1165.25 c | 6324908 | 720 42889 140325 | 1 305724 31 | 0.000 % | 1165.22/1165.25 c | 6325515 | 720 42889 140325 | 1 306331 31 | 0.000 % | 1165.22/1165.25 c | 6327684 | 720 42889 140325 | 1 308500 31 | 0.000 % | 1165.22/1165.25 c | 6334547 | 720 42889 140325 | 1 315363 31 | 0.000 % | 1165.22/1165.25 c | 6337090 | 720 42889 140325 | 1 317906 32 | 0.000 % | 1165.22/1165.25 c | 6365150 | 720 42889 140325 | 1 345966 32 | 0.000 % | 1165.22/1165.25 c | 6378466 | 720 42889 140325 | 1 181085 23 | 0.000 % | 1165.22/1165.25 c | 6381159 | 720 42889 140325 | 1 183778 24 | 0.000 % | 1165.22/1165.25 c | 6387584 | 720 42889 140325 | 1 190203 24 | 0.000 % | 1165.22/1165.25 c | 6387730 | 720 42889 140325 | 1 190349 24 | 0.000 % | 1165.22/1165.25 c | 6388112 | 720 42889 140325 | 1 190731 24 | 0.000 % | 1165.22/1165.25 c | 6388312 | 720 42889 140325 | 1 190931 24 | 0.000 % | 1165.22/1165.25 c | 6398532 | 720 42889 140325 | 1 201151 25 | 0.000 % | 1165.22/1165.25 c | 6410056 | 720 42889 140325 | 1 212675 26 | 0.000 % | 1165.22/1165.25 c | 6410158 | 720 42889 140325 | 1 212777 26 | 0.000 % | 1165.22/1165.25 c | 6428244 | 720 42889 140325 | 1 230863 26 | 0.000 % | 1165.22/1165.25 c | 6428640 | 720 42889 140325 | 1 231259 26 | 0.000 % | 1165.22/1165.25 c | 6429335 | 720 42889 140325 | 1 231954 26 | 0.000 % | 1165.22/1165.25 c | 6447004 | 720 42889 140325 | 1 249623 27 | 0.000 % | 1165.22/1165.25 c | 6462720 | 720 42889 140325 | 1 265339 28 | 0.000 % | 1165.22/1165.25 c | 6468257 | 720 42889 140325 | 1 270876 29 | 0.000 % | 1165.22/1165.25 c | 6473196 | 720 42889 140325 | 1 275815 29 | 0.000 % | 1165.22/1165.25 c | 6475700 | 720 42889 140325 | 1 278319 29 | 0.000 % | 1165.22/1165.25 c | 6477755 | 720 42889 140325 | 1 280374 29 | 0.000 % | 1165.22/1165.25 c | 6514597 | 720 42889 140325 | 1 317216 31 | 0.000 % | 1165.22/1165.25 c | 6516107 | 720 42889 140325 | 1 318726 31 | 0.000 % | 1165.22/1165.25 c | 6526300 | 720 42889 140325 | 1 328919 31 | 0.000 % | 1165.22/1165.25 c | 6529818 | 720 42889 140325 | 1 332437 31 | 0.000 % | 1165.22/1165.25 c | 6535560 | 720 42889 140325 | 1 338179 31 | 0.000 % | 1165.22/1165.25 c | 6535708 | 720 42889 140325 | 1 338327 31 | 0.000 % | 1165.22/1165.25 c | 6582141 | 720 42889 140325 | 1 203961 24 | 0.000 % | 1165.22/1165.25 c | 6585664 | 720 42889 140325 | 1 207484 24 | 0.000 % | 1165.22/1165.25 c | 6613524 | 720 42889 140325 | 1 235344 26 | 0.000 % | 1165.22/1165.25 c | 6629007 | 720 42889 140325 | 1 250827 27 | 0.000 % | 1304.93/1304.94 c | 6633764 | 720 42889 140325 | 1 255584 27 | 0.000 % | 1304.93/1304.94 c | 6635045 | 720 42889 140325 | 1 256865 27 | 0.000 % | 1304.93/1304.94 c | 6644540 | 720 42889 140325 | 1 266360 28 | 0.000 % | 1304.93/1304.94 c | 6670761 | 720 42889 140325 | 1 292581 29 | 0.000 % | 1304.93/1304.94 c | 6682644 | 720 42889 140325 | 1 304464 29 | 0.000 % | 1304.93/1304.94 c | 6684978 | 720 42889 140325 | 1 306798 29 | 0.000 % | 1304.93/1304.94 c | 6687381 | 720 42889 140325 | 1 309201 29 | 0.000 % | 1304.93/1304.94 c | 6726014 | 720 42889 140325 | 1 347834 30 | 0.000 % | 1304.93/1304.94 c | 6746369 | 720 42889 140325 | 1 184789 22 | 0.000 % | 1304.93/1304.94 c | 6754662 | 720 42889 140325 | 1 193082 23 | 0.000 % | 1304.93/1304.94 c | 6777042 | 720 42889 140325 | 1 215462 25 | 0.000 % | 1304.93/1304.94 c | 6787477 | 720 42889 140325 | 1 225897 25 | 0.000 % | 1304.93/1304.94 c | 6831330 | 720 42889 140325 | 1 269750 27 | 0.000 % | 1304.93/1304.94 c | 6838363 | 720 42889 140325 | 1 276783 27 | 0.000 % | 1304.93/1304.94 c | 6842221 | 720 42889 140325 | 1 280641 28 | 0.000 % | 1304.93/1304.94 c | 6866010 | 720 42889 140325 | 1 304430 28 | 0.000 % | 1304.93/1304.94 c | 6887947 | 720 42889 140325 | 1 326367 29 | 0.000 % | 1304.93/1304.94 c | 6919879 | 720 42889 140325 | 1 358299 30 | 0.000 % | 1304.93/1304.94 c | 6948652 | 720 42889 140325 | 1 201068 23 | 0.000 % | 1304.93/1304.94 c | 6959205 | 720 42889 140325 | 1 211621 24 | 0.000 % | 1304.93/1304.94 c | 6972140 | 720 42889 140325 | 1 224556 25 | 0.000 % | 1304.93/1304.94 c | 6976871 | 720 42889 140325 | 1 229287 25 | 0.000 % | 1304.93/1304.94 c | 6976972 | 720 42889 140325 | 1 229388 26 | 0.000 % | 1304.93/1304.94 c | 6977631 | 720 42889 140325 | 1 230047 26 | 0.000 % | 1304.93/1304.94 c | 6999113 | 720 42889 140325 | 1 251529 27 | 0.000 % | 1304.93/1304.94 c | 6999214 | 720 42889 140325 | 1 251630 27 | 0.000 % | 1304.93/1304.94 c | 7002067 | 720 42889 140325 | 1 254483 27 | 0.000 % | 1304.93/1304.94 c | 7010894 | 720 42889 140325 | 1 263310 27 | 0.000 % | 1304.93/1304.94 c | 7011704 | 720 42889 140325 | 1 264120 27 | 0.000 % | 1304.93/1304.94 c | 7014249 | 720 42889 140325 | 1 266665 27 | 0.000 % | 1304.93/1304.94 c | 7040224 | 720 42889 140325 | 1 292640 29 | 0.000 % | 1304.93/1304.94 c | 7047679 | 720 42889 140325 | 1 300095 29 | 0.000 % | 1304.93/1304.94 c | 7047781 | 720 42889 140325 | 1 300197 29 | 0.000 % | 1304.93/1304.94 c | 7058790 | 720 42889 140325 | 1 311206 29 | 0.000 % | 1304.93/1304.94 c | 7073784 | 720 42889 140325 | 1 326200 30 | 0.000 % | 1304.93/1304.94 c | 7089704 | 720 42889 140325 | 1 342120 30 | 0.000 % | 1304.93/1304.94 c | 7112415 | 720 42889 140325 | 1 364831 31 | 0.000 % | 1304.93/1304.94 c | 7118333 | 720 42889 140325 | 1 370749 31 | 0.000 % | 1304.93/1304.94 c | 7120229 | 720 42889 140325 | 1 372645 31 | 0.000 % | 1304.93/1304.94 c | 7120329 | 720 42889 140325 | 1 372745 31 | 0.000 % | 1304.93/1304.94 c | 7121548 | 720 42889 140325 | 1 373964 32 | 0.000 % | 1304.93/1304.94 c | 7133441 | 720 42889 140325 | 1 197259 23 | 0.000 % | 1304.93/1304.94 c | 7191324 | 720 42889 140325 | 1 255142 27 | 0.000 % | 1304.93/1304.94 c | 7214765 | 720 42889 140325 | 1 278583 28 | 0.000 % | 1304.93/1304.94 c | 7214953 | 720 42889 140325 | 1 278771 28 | 0.000 % | 1304.93/1304.94 c | 7215053 | 720 42889 140325 | 1 278871 28 | 0.000 % | 1304.93/1304.94 c | 7218847 | 720 42889 140325 | 1 282665 29 | 0.000 % | 1304.93/1304.94 c | 7238290 | 720 42889 140325 | 1 302108 30 | 0.000 % | 1304.93/1304.94 c | 7241601 | 720 42889 140325 | 1 305419 31 | 0.000 % | 1448.14/1448.17 c | 7249243 | 720 42889 140325 | 1 313061 31 | 0.000 % | 1448.14/1448.17 c | 7255738 | 720 42889 140325 | 1 319556 31 | 0.000 % | 1448.14/1448.17 c | 7268918 | 720 42889 140325 | 1 332736 32 | 0.000 % | 1448.14/1448.17 c | 7279093 | 720 42889 140325 | 1 342911 33 | 0.000 % | 1448.14/1448.17 c | 7283164 | 720 42889 140325 | 1 346982 33 | 0.000 % | 1448.14/1448.17 c | 7301922 | 720 42889 140325 | 1 365740 33 | 0.000 % | 1448.14/1448.17 c | 7326512 | 720 42889 140325 | 1 199136 25 | 0.000 % | 1448.14/1448.17 c | 7337418 | 720 42889 140325 | 1 210042 26 | 0.000 % | 1448.14/1448.17 c | 7348722 | 720 42889 140325 | 1 221346 27 | 0.000 % | 1448.14/1448.17 c | 7368159 | 720 42889 140325 | 1 240783 28 | 0.000 % | 1448.14/1448.17 c | 7377421 | 720 42889 140325 | 1 250045 29 | 0.000 % | 1448.14/1448.17 c | 7391074 | 720 42889 140325 | 1 263698 29 | 0.000 % | 1448.14/1448.17 c | 7408868 | 720 42889 140325 | 1 281492 30 | 0.000 % | 1448.14/1448.17 c | 7425734 | 720 42889 140325 | 1 298358 31 | 0.000 % | 1448.14/1448.17 c | 7440561 | 720 42889 140325 | 1 313185 31 | 0.000 % | 1448.14/1448.17 c | 7489030 | 720 42889 140325 | 1 361654 32 | 0.000 % | 1448.14/1448.17 c | 7498596 | 720 42889 140325 | 1 371220 33 | 0.000 % | 1448.14/1448.17 c | 7508490 | 720 42889 140325 | 1 381114 33 | 0.000 % | 1448.14/1448.17 c | 7508770 | 720 42889 140325 | 1 381394 33 | 0.000 % | 1448.14/1448.17 c | 7508929 | 720 42889 140325 | 1 381553 33 | 0.000 % | 1448.14/1448.17 c | 7521593 | 720 42889 140325 | 1 200412 23 | 0.000 % | 1448.14/1448.17 c | 7538043 | 720 42889 140325 | 1 216862 26 | 0.000 % | 1448.14/1448.17 c | 7570382 | 720 42889 140325 | 1 249201 28 | 0.000 % | 1448.14/1448.17 c | 7572161 | 720 42889 140325 | 1 250980 28 | 0.000 % | 1448.14/1448.17 c | 7580236 | 720 42889 140325 | 1 259055 28 | 0.000 % | 1448.14/1448.17 c | 7597713 | 720 42889 140325 | 1 276532 29 | 0.000 % | 1448.14/1448.17 c | 7625608 | 720 42889 140325 | 1 304427 30 | 0.000 % | 1448.14/1448.17 c | 7691657 | 720 42889 140325 | 1 370476 31 | 0.000 % | 1448.14/1448.17 c | 7694866 | 720 42889 140325 | 1 373685 31 | 0.000 % | 1448.14/1448.17 c | 7697119 | 720 42889 140325 | 1 375938 32 | 0.000 % | 1448.14/1448.17 c | 7700365 | 720 42889 140325 | 1 379184 32 | 0.000 % | 1448.14/1448.17 c | 7717212 | 720 42889 140325 | 1 199627 23 | 0.000 % | 1448.14/1448.17 c | 7720566 | 720 42889 140325 | 1 202981 23 | 0.000 % | 1448.14/1448.17 c | 7728323 | 720 42889 140325 | 1 210738 24 | 0.000 % | 1448.14/1448.17 c | 7731071 | 720 42889 140325 | 1 213486 24 | 0.000 % | 1448.14/1448.17 c | 7731728 | 720 42889 140325 | 1 214143 24 | 0.000 % | 1448.14/1448.17 c | 7739504 | 720 42889 140325 | 1 221919 25 | 0.000 % | 1448.14/1448.17 c | 7741680 | 720 42889 140325 | 1 224095 25 | 0.000 % | 1448.14/1448.17 c | 7758389 | 720 42889 140325 | 1 240804 27 | 0.000 % | 1448.14/1448.17 c | 7773661 | 720 42889 140325 | 1 256076 28 | 0.000 % | 1448.14/1448.17 c | 7814272 | 720 42889 140325 | 1 296687 30 | 0.000 % | 1448.14/1448.17 c | 7816441 | 720 42889 140325 | 1 298856 30 | 0.000 % | 1448.14/1448.17 c | 7817911 | 720 42889 140325 | 1 300326 30 | 0.000 % | 1448.14/1448.17 c | 7852899 | 720 42889 140325 | 1 335314 32 | 0.000 % | 1448.14/1448.17 c | 7879063 | 720 42889 140325 | 1 361478 32 | 0.000 % | 1448.14/1448.17 c | 7879438 | 720 42889 140325 | 1 361853 33 | 0.000 % | 1448.14/1448.17 c | 7882676 | 720 42889 140325 | 1 365091 33 | 0.000 % | 1448.14/1448.17 c | 7892971 | 720 42889 140325 | 1 375386 33 | 0.000 % | 1448.14/1448.17 c | 7905157 | 720 42889 140325 | 1 387572 33 | 0.000 % | 1448.14/1448.17 c | 7907436 | 720 42889 140325 | 1 389851 33 | 0.000 % | 1568.14/1568.16 c | 7962228 | 720 42889 140325 | 1 245646 27 | 0.000 % | 1568.14/1568.16 c | 7987779 | 720 42889 140325 | 1 271197 28 | 0.000 % | 1568.14/1568.16 c | 7988894 | 720 42889 140325 | 1 272312 28 | 0.000 % | 1568.14/1568.16 c | 7998025 | 720 42889 140325 | 1 281443 29 | 0.000 % | 1568.14/1568.16 c | 8030248 | 720 42889 140325 | 1 313666 30 | 0.000 % | 1568.14/1568.16 c | 8064051 | 720 42889 140325 | 1 347469 31 | 0.000 % | 1568.14/1568.16 c | 8064153 | 720 42889 140325 | 1 347571 31 | 0.000 % | 1568.14/1568.16 c | 8065593 | 720 42889 140325 | 1 349011 31 | 0.000 % | 1568.14/1568.16 c | 8070874 | 720 42889 140325 | 1 354292 31 | 0.000 % | 1568.14/1568.16 c | 8075271 | 720 42889 140325 | 1 358689 31 | 0.000 % | 1568.14/1568.16 c | 8075375 | 720 42889 140325 | 1 358793 31 | 0.000 % | 1568.14/1568.16 c | 8081661 | 720 42889 140325 | 1 365079 31 | 0.000 % | 1568.14/1568.16 c | 8081763 | 720 42889 140325 | 1 365181 31 | 0.000 % | 1568.14/1568.16 c | 8087025 | 720 42889 140325 | 1 370443 31 | 0.000 % | 1568.14/1568.16 c | 8106469 | 720 42889 140325 | 1 389887 32 | 0.000 % | 1568.14/1568.16 c | 8110089 | 720 42889 140325 | 1 393507 32 | 0.000 % | 1568.14/1568.16 c | 8117218 | 720 42889 140325 | 1 400636 32 | 0.000 % | 1568.14/1568.16 c | 8134153 | 720 42889 140325 | 1 215967 24 | 0.000 % | 1568.14/1568.16 c | 8134425 | 720 42889 140325 | 1 216239 24 | 0.000 % | 1568.14/1568.16 c | 8134670 | 720 42889 140325 | 1 216484 24 | 0.000 % | 1568.14/1568.16 c | 8150399 | 720 42889 140325 | 1 232213 25 | 0.000 % | 1568.14/1568.16 c | 8170193 | 720 42889 140325 | 1 252007 26 | 0.000 % | 1568.14/1568.16 c | 8170527 | 720 42889 140325 | 1 252341 26 | 0.000 % | 1568.14/1568.16 c | 8171768 | 720 42889 140325 | 1 253582 26 | 0.000 % | 1568.14/1568.16 c | 8188563 | 720 42889 140325 | 1 270377 27 | 0.000 % | 1568.14/1568.16 c | 8230088 | 720 42889 140325 | 1 311902 29 | 0.000 % | 1568.14/1568.16 c | 8239075 | 720 42889 140325 | 1 320889 29 | 0.000 % | 1568.14/1568.16 c | 8250359 | 720 42889 140325 | 1 332173 30 | 0.000 % | 1568.14/1568.16 c | 8251602 | 720 42889 140325 | 1 333416 30 | 0.000 % | 1568.14/1568.16 c | 8254410 | 720 42889 140325 | 1 336224 30 | 0.000 % | 1568.14/1568.16 c | 8305785 | 720 42889 140325 | 1 387599 33 | 0.000 % | 1568.14/1568.16 c | 8305887 | 720 42889 140325 | 1 387701 33 | 0.000 % | 1568.14/1568.16 c | 8306085 | 720 42889 140325 | 1 387899 33 | 0.000 % | 1568.14/1568.16 c | 8306185 | 720 42889 140325 | 1 387999 33 | 0.000 % | 1568.14/1568.16 c | 8312726 | 720 42889 140325 | 1 394540 33 | 0.000 % | 1568.14/1568.16 c | 8315693 | 720 42889 140325 | 1 397507 33 | 0.000 % | 1568.14/1568.16 c | 8339545 | 720 42889 140325 | 1 217161 24 | 0.000 % | 1568.14/1568.16 c | 8342888 | 720 42889 140325 | 1 220504 24 | 0.000 % | 1568.14/1568.16 c | 8351246 | 720 42889 140325 | 1 228862 25 | 0.000 % | 1568.14/1568.16 c | 8354360 | 720 42889 140325 | 1 231976 25 | 0.000 % | 1568.14/1568.16 c | 8359076 | 720 42889 140325 | 1 236692 26 | 0.000 % | 1568.14/1568.16 c | 8360966 | 720 42889 140325 | 1 238582 26 | 0.000 % | 1568.14/1568.16 c | 8397391 | 720 42889 140325 | 1 275007 28 | 0.000 % | 1568.14/1568.16 c | 8399135 | 720 42889 140325 | 1 276751 28 | 0.000 % | 1568.14/1568.16 c | 8412775 | 720 42889 140325 | 1 290391 28 | 0.000 % | 1568.14/1568.16 c | 8412896 | 720 42889 140325 | 1 290512 28 | 0.000 % | 1568.14/1568.16 c | 8430371 | 720 42889 140325 | 1 307987 29 | 0.000 % | 1568.14/1568.16 c | 8447079 | 720 42889 140325 | 1 324695 30 | 0.000 % | 1568.14/1568.16 c | 8457676 | 720 42889 140325 | 1 335292 30 | 0.000 % | 1568.14/1568.16 c | 8458289 | 720 42889 140325 | 1 335905 30 | 0.000 % | 1701.55/1701.56 c | 8460352 | 720 42889 140325 | 1 337968 30 | 0.000 % | 1701.55/1701.56 c | 8463901 | 720 42889 140325 | 1 341517 30 | 0.000 % | 1701.55/1701.56 c | 8472741 | 720 42889 140325 | 1 350357 31 | 0.000 % | 1701.55/1701.56 c | 8554502 | 720 42889 140325 | 1 225317 24 | 0.000 % | 1701.55/1701.56 c | 8571327 | 720 42889 140325 | 1 242142 26 | 0.000 % | 1701.55/1701.56 c | 8574889 | 720 42889 140325 | 1 245704 26 | 0.000 % | 1701.55/1701.56 c | 8599190 | 720 42889 140325 | 1 270005 27 | 0.000 % | 1701.55/1701.56 c | 8606778 | 720 42889 140325 | 1 277593 28 | 0.000 % | 1701.55/1701.56 c | 8625302 | 720 42889 140325 | 1 296117 28 | 0.000 % | 1701.55/1701.56 c | 8626874 | 720 42889 140325 | 1 297689 28 | 0.000 % | 1701.55/1701.56 c | 8627323 | 720 42889 140325 | 1 298138 28 | 0.000 % | 1701.55/1701.56 c | 8631209 | 720 42889 140325 | 1 302024 29 | 0.000 % | 1701.55/1701.56 c | 8633707 | 720 42889 140325 | 1 304522 29 | 0.000 % | 1701.55/1701.56 c | 8644521 | 720 42889 140325 | 1 315336 29 | 0.000 % | 1701.55/1701.56 c | 8667828 | 720 42889 140325 | 1 338643 30 | 0.000 % | 1701.55/1701.56 c | 8673931 | 720 42889 140325 | 1 344746 30 | 0.000 % | 1701.55/1701.56 c | 8704529 | 720 42889 140325 | 1 375344 31 | 0.000 % | 1701.55/1701.56 c | 8726915 | 720 42889 140325 | 1 397730 31 | 0.000 % | 1701.55/1701.56 c | 8795511 | 720 42889 140325 | 1 256931 24 | 0.000 % | 1701.55/1701.56 c | 8800784 | 720 42889 140325 | 1 262204 25 | 0.000 % | 1701.55/1701.56 c | 8821563 | 720 42889 140325 | 1 282983 26 | 0.000 % | 1701.55/1701.56 c | 8827968 | 720 42889 140325 | 1 289388 26 | 0.000 % | 1701.55/1701.56 c | 8844535 | 720 42889 140325 | 1 305955 27 | 0.000 % | 1701.55/1701.56 c | 8847166 | 720 42889 140325 | 1 308586 27 | 0.000 % | 1701.55/1701.56 c | 8857482 | 720 42889 140325 | 1 318902 28 | 0.000 % | 1701.55/1701.56 c | 8858106 | 720 42889 140325 | 1 319526 28 | 0.000 % | 1701.55/1701.56 c | 8870622 | 720 42889 140325 | 1 332042 28 | 0.000 % | 1701.55/1701.56 c | 8912485 | 720 42889 140325 | 1 373905 30 | 0.000 % | 1701.55/1701.56 c | 8912585 | 720 42889 140325 | 1 374005 30 | 0.000 % | 1701.55/1701.56 c | 8934728 | 720 42889 140325 | 1 396148 30 | 0.000 % | 1701.55/1701.56 c | 8941085 | 720 42889 140325 | 1 402505 30 | 0.000 % | 1701.55/1701.56 c | 8941185 | 720 42889 140325 | 1 402605 30 | 0.000 % | 1701.55/1701.56 c | 8943231 | 720 42889 140325 | 1 404651 30 | 0.000 % | 1701.55/1701.56 c | 8945395 | 720 42889 140325 | 1 406815 30 | 0.000 % | 1701.55/1701.56 c | 8945512 | 720 42889 140325 | 1 406932 30 | 0.000 % | 1701.55/1701.56 c | 8953048 | 720 42889 140325 | 1 414468 30 | 0.000 % | 1701.55/1701.56 c | 8954633 | 720 42889 140325 | 1 416053 30 | 0.000 % | 1701.55/1701.56 c | 8955153 | 720 42889 140325 | 1 416573 30 | 0.000 % | 1701.55/1701.56 c | 8957503 | 720 42889 140325 | 1 418923 31 | 0.000 % | 1701.55/1701.56 c | 8960128 | 720 42889 140325 | 1 421548 31 | 0.000 % | 1701.55/1701.56 c | 8962192 | 720 42889 140325 | 1 423612 31 | 0.000 % | 1701.55/1701.56 c | 8962887 | 720 42889 140325 | 1 212297 22 | 0.000 % | 1701.55/1701.56 c | 8970998 | 720 42889 140325 | 1 220408 23 | 0.000 % | 1701.55/1701.56 c | 8972291 | 720 42889 140325 | 1 221701 23 | 0.000 % | 1701.55/1701.56 c | 8981752 | 720 42889 140325 | 1 231162 24 | 0.000 % | 1701.55/1701.56 c | 8988710 | 720 42889 140325 | 1 238120 24 | 0.000 % | 1701.55/1701.56 c | 8998106 | 720 42889 140325 | 1 247516 25 | 0.000 % | 1701.55/1701.56 c | 9017986 | 720 42889 140325 | 1 267396 26 | 0.000 % | 1701.55/1701.56 c | 9018546 | 720 42889 140325 | 1 267956 26 | 0.000 % | 1701.55/1701.56 c | 9021583 | 720 42889 140325 | 1 270993 26 | 0.000 % | 1799.85/1799.85 c | 9033952 | 720 42889 140325 | 1 283362 27 | 0.000 % | 1799.85/1799.85 c | 9034311 | 720 42889 140325 | 1 283721 27 | 0.000 % | 1799.85/1799.85 c | 9035085 | 720 42889 140325 | 1 284495 27 | 0.000 % | 1799.85/1799.85 c | 9035186 | 720 42889 140325 | 1 284596 27 | 0.000 % | 1799.85/1799.85 c | 9036199 | 720 42889 140325 | 1 285609 27 | 0.000 % | 1799.85/1799.85 c | 9047755 | 720 42889 140325 | 1 297165 28 | 0.000 % | 1799.85/1799.85 c | 9050850 | 720 42889 140325 | 1 300260 28 | 0.000 % | 1799.85/1799.85 c | 9061366 | 720 42889 140325 | 1 310776 29 | 0.000 % | 1799.85/1799.85 c | 9065916 | 720 42889 140325 | 1 315326 29 | 0.000 % | 1799.85/1799.85 c | 9102711 | 720 42889 140325 | 1 352121 30 | 0.000 % | 1799.85/1799.85 c | 9131820 | 720 42889 140325 | 1 381230 31 | 0.000 % | 1799.85/1799.85 c | 9139881 | 720 42889 140325 | 1 389291 31 | 0.000 % | 1799.85/1799.85 c | 9144985 | 720 42889 140325 | 1 394395 32 | 0.000 % | 1799.85/1799.85 c | 9145094 | 720 42889 140325 | 1 394504 32 | 0.000 % | 1799.85/1799.85 c | 9147044 | 720 42889 140325 | 1 396454 32 | 0.000 % | 1799.85/1799.85 c | 9152780 | 720 42889 140325 | 1 402190 32 | 0.000 % | 1799.85/1799.85 c | 9155769 | 720 42889 140325 | 1 405179 32 | 0.000 % | 1799.85/1799.85 c | 9178149 | 720 42889 140325 | 1 427559 32 | 0.000 % | 1799.85/1799.85 c | 9179544 | 720 42889 140325 | 1 428954 32 | 0.000 % | 1799.85/1799.85 c | 9180339 | 720 42889 140325 | 1 215145 23 | 0.000 % | 1799.85/1799.85 c | 9185308 | 720 42889 140325 | 1 220114 23 | 0.000 % | 1799.85/1799.85 c | 9207661 | 720 42889 140325 | 1 242467 25 | 0.000 % | 1799.85/1799.85 c | 9214592 | 720 42889 140325 | 1 249398 26 | 0.000 % | 1799.85/1799.85 c | 9272914 | 720 42889 140325 | 1 307720 30 | 0.000 % | 1799.85/1799.85 c | 9273017 | 720 42889 140325 | 1 307823 30 | 0.000 % | 1799.85/1799.85 c | 9275107 | 720 42889 140325 | 1 309913 30 | 0.000 % | 1799.85/1799.85 c | 9275550 | 720 42889 140325 | 1 310356 30 | 0.000 % | 1799.85/1799.85 c | 9289233 | 720 42889 140325 | 1 324039 30 | 0.000 % | 1799.85/1799.85 c | 9293765 | 720 42889 140325 | 1 328571 31 | 0.000 % | 1799.85/1799.85 c | 9305730 | 720 42889 140325 | 1 340536 31 | 0.000 % | 1799.85/1799.85 c | 9305867 | 720 42889 140325 | 1 340673 31 | 0.000 % | 1799.85/1799.85 c | 9306025 | 720 42889 140325 | 1 340831 31 | 0.000 % | 1799.85/1799.85 c | 9309766 | 720 42889 140325 | 1 344572 31 | 0.000 % | 1799.85/1799.85 c | 9312680 | 720 42889 140325 | 1 347486 31 | 0.000 % | 1799.85/1799.85 c | 9315009 | 720 42889 140325 | 1 349815 31 | 0.000 % | 1799.85/1799.85 c | 9336136 | 720 42889 140325 | 1 370942 32 | 0.000 % | 1799.85/1799.85 c | 9352867 | 720 42889 140325 | 1 387673 32 | 0.000 % | 1799.85/1799.85 c | 9361526 | 720 42889 140325 | 1 396332 32 | 0.000 % | 1799.85/1799.85 c | 9363984 | 720 42889 140325 | 1 398790 33 | 0.000 % | 1799.85/1799.85 c | 9372948 | 720 42889 140325 | 1 407754 33 | 0.000 % | 1799.85/1799.85 c | 9373049 | 720 42889 140325 | 1 407855 33 | 0.000 % | 1799.85/1799.85 c | 9391229 | 720 42889 140325 | 1 426035 33 | 0.000 % | 1799.85/1799.85 c | 9392735 | 720 42889 140325 | 1 427541 33 | 0.000 % | 1799.85/1799.85 c | 9392836 | 720 42889 140325 | 1 427642 33 | 0.000 % | 1799.85/1799.85 c | 9392937 | 720 42889 140325 | 1 427743 33 | 0.000 % | 1799.85/1799.85 c | 9393295 | 720 42889 140325 | 1 428101 33 | 0.000 % | 1799.85/1799.85 c | 9423746 | 720 42889 140325 | 1 241362 25 | 0.000 % | 1799.85/1799.85 c | 9444486 | 720 42889 140325 | 1 262102 26 | 0.000 % | 1799.85/1799.85 c | 9448218 | 720 42889 140325 | 1 265834 26 | 0.000 % | 1799.85/1799.85 c | 9462189 | 720 42889 140325 | 1 279805 27 | 0.000 % | 1897.96/1897.94 c | 9469222 | 720 42889 140325 | 1 286838 27 | 0.000 % | 1897.96/1897.94 c | 9510998 | 720 42889 140325 | 1 328614 30 | 0.000 % | 1897.96/1897.94 c | 9519481 | 720 42889 140325 | 1 337097 30 | 0.000 % | 1897.96/1897.94 c | 9528606 | 720 42889 140325 | 1 346222 30 | 0.000 % | 1897.96/1897.94 c | 9535595 | 720 42889 140325 | 1 353211 31 | 0.000 % | 1897.96/1897.94 c | 9535697 | 720 42889 140325 | 1 353313 31 | 0.000 % | 1897.96/1897.94 c | 9541077 | 720 42889 140325 | 1 358693 31 | 0.000 % | 1897.96/1897.94 c | 9549180 | 720 42889 140325 | 1 366796 31 | 0.000 % | 1897.96/1897.94 c | 9552113 | 720 42889 140325 | 1 369729 31 | 0.000 % | 1897.96/1897.94 c | 9552222 | 720 42889 140325 | 1 369838 31 | 0.000 % | 1897.96/1897.94 c | 9570899 | 720 42889 140325 | 1 388515 32 | 0.000 % | 1897.96/1897.94 c | 9571724 | 720 42889 140325 | 1 389340 32 | 0.000 % | 1897.96/1897.94 c | 9576645 | 720 42889 140325 | 1 394261 32 | 0.000 % | 1897.96/1897.94 c | 9576746 | 720 42889 140325 | 1 394362 32 | 0.000 % | 1897.96/1897.94 c | 9584216 | 720 42889 140325 | 1 401832 32 | 0.000 % | 1897.96/1897.94 c | 9584316 | 720 42889 140325 | 1 401932 32 | 0.000 % | 1897.96/1897.94 c | 9585824 | 720 42889 140325 | 1 403440 32 | 0.000 % | 1897.96/1897.94 c | 9588850 | 720 42889 140325 | 1 406466 32 | 0.000 % | 1897.96/1897.94 c | 9590396 | 720 42889 140325 | 1 408012 32 | 0.000 % | 1897.96/1897.94 c | 9590498 | 720 42889 140325 | 1 408114 32 | 0.000 % | 1897.96/1897.94 c | 9594460 | 720 42889 140325 | 1 412076 33 | 0.000 % | 1897.96/1897.94 c | 9609239 | 720 42889 140325 | 1 426855 33 | 0.000 % | 1897.96/1897.94 c | 9624968 | 720 42889 140325 | 1 222783 23 | 0.000 % | 1897.96/1897.94 c | 9635519 | 720 42889 140325 | 1 233334 24 | 0.000 % | 1897.96/1897.94 c | 9652293 | 720 42889 140325 | 1 250108 25 | 0.000 % | 1897.96/1897.94 c | 9655560 | 720 42889 140325 | 1 253375 25 | 0.000 % | 1897.96/1897.94 c | 9659320 | 720 42889 140325 | 1 257135 26 | 0.000 % | 1897.96/1897.94 c | 9674580 | 720 42889 140325 | 1 272395 27 | 0.000 % | 1897.96/1897.94 c | 9677945 | 720 42889 140325 | 1 275760 27 | 0.000 % | 1897.96/1897.94 c | 9681546 | 720 42889 140325 | 1 279361 27 | 0.000 % | 1897.96/1897.94 c | 9695566 | 720 42889 140325 | 1 293381 28 | 0.000 % | 1897.96/1897.94 c | 9703221 | 720 42889 140325 | 1 301036 28 | 0.000 % | 1897.96/1897.94 c | 9709913 | 720 42889 140325 | 1 307728 28 | 0.000 % | 1897.96/1897.94 c | 9713630 | 720 42889 140325 | 1 311445 28 | 0.000 % | 1897.96/1897.94 c | 9715430 | 720 42889 140325 | 1 313245 29 | 0.000 % | 1897.96/1897.94 c | 9722125 | 720 42889 140325 | 1 319940 29 | 0.000 % | 1897.96/1897.94 c | 9730363 | 720 42889 140325 | 1 328178 29 | 0.000 % | 1897.96/1897.94 c | 9744632 | 720 42889 140325 | 1 342447 30 | 0.000 % | 1897.96/1897.94 c | 9744882 | 720 42889 140325 | 1 342697 30 | 0.000 % | 1897.96/1897.94 c | 9782859 | 720 42889 140325 | 1 380674 31 | 0.000 % | 1897.96/1897.94 c | 9801068 | 720 42889 140325 | 1 398883 31 | 0.000 % | 1897.96/1897.94 c | 9802082 | 720 42889 140325 | 1 399897 31 | 0.000 % | 1897.96/1897.94 c | 9802941 | 720 42889 140325 | 1 400756 31 | 0.000 % | 1897.96/1897.94 c | 9807178 | 720 42889 140325 | 1 404993 31 | 0.000 % | 1897.96/1897.94 c | 9808340 | 720 42889 140325 | 1 406155 32 | 0.000 % | 1897.96/1897.94 c | 9811032 | 720 42889 140325 | 1 408847 32 | 0.000 % | 1897.96/1897.94 c | 9855659 | 720 42889 140325 | 1 231072 24 | 0.000 % | 1897.96/1897.94 c | 9883540 | 720 42889 140325 | 1 258953 26 | 0.000 % | 1897.96/1897.94 c | 9894696 | 720 42889 140325 | 1 270109 26 | 0.000 % | 1897.96/1897.94 c | 9896802 | 720 42889 140325 | 1 272215 27 | 0.000 % | 2001.55/2001.50 c | 9899411 | 720 42889 140325 | 1 274824 27 | 0.000 % | 2001.55/2001.50 c | 9904371 | 720 42889 140325 | 1 279784 27 | 0.000 % | 2001.55/2001.50 c | 9906429 | 720 42889 140325 | 1 281842 27 | 0.000 % | 2001.55/2001.50 c | 9907018 | 720 42889 140325 | 1 282431 27 | 0.000 % | 2001.55/2001.50 c | 9911521 | 720 42889 140325 | 1 286934 28 | 0.000 % | 2001.55/2001.50 c | 9922401 | 720 42889 140325 | 1 297814 28 | 0.000 % | 2001.55/2001.50 c | 9939110 | 720 42889 140325 | 1 314523 29 | 0.000 % | 2001.55/2001.50 c | 9942782 | 720 42889 140325 | 1 318195 29 | 0.000 % | 2001.55/2001.50 c | 9955340 | 720 42889 140325 | 1 330753 30 | 0.000 % | 2001.55/2001.50 c | 9965783 | 720 42889 140325 | 1 341196 31 | 0.000 % | 2001.55/2001.50 c | 9965883 | 720 42889 140325 | 1 341296 31 | 0.000 % | 2001.55/2001.50 c | 9975377 | 720 42889 140325 | 1 350790 31 | 0.000 % | 2001.55/2001.50 c | 10002059 | 720 42889 140325 | 1 377472 32 | 0.000 % | 2001.55/2001.50 c | 10002159 | 720 42889 140325 | 1 377572 32 | 0.000 % | 2001.55/2001.50 c | 10062999 | 720 42889 140325 | 1 438412 33 | 0.000 % | 2001.55/2001.50 c | 10070184 | 720 42889 140325 | 1 445597 33 | 0.000 % | 2001.55/2001.50 c | 10094570 | 720 42889 140325 | 1 244983 24 | 0.000 % | 2001.55/2001.50 c | 10099711 | 720 42889 140325 | 1 250124 25 | 0.000 % | 2001.55/2001.50 c | 10115006 | 720 42889 140325 | 1 265419 25 | 0.000 % | 2001.55/2001.50 c | 10118208 | 720 42889 140325 | 1 268621 26 | 0.000 % | 2001.55/2001.50 c | 10120072 | 720 42889 140325 | 1 270485 26 | 0.000 % | 2001.55/2001.50 c | 10122457 | 720 42889 140325 | 1 272870 26 | 0.000 % | 2001.55/2001.50 c | 10129443 | 720 42889 140325 | 1 279856 26 | 0.000 % | 2001.55/2001.50 c | 10129840 | 720 42889 140325 | 1 280253 26 | 0.000 % | 2001.55/2001.50 c | 10137995 | 720 42889 140325 | 1 288408 27 | 0.000 % | 2001.55/2001.50 c | 10140123 | 720 42889 140325 | 1 290536 27 | 0.000 % | 2001.55/2001.50 c | 10142671 | 720 42889 140325 | 1 293084 27 | 0.000 % | 2001.55/2001.50 c | 10194670 | 720 42889 140325 | 1 345083 29 | 0.000 % | 2001.55/2001.50 c | 10195942 | 720 42889 140325 | 1 346355 29 | 0.000 % | 2001.55/2001.50 c | 10197824 | 720 42889 140325 | 1 348237 29 | 0.000 % | 2001.55/2001.50 c | 10198091 | 720 42889 140325 | 1 348504 29 | 0.000 % | 2001.55/2001.50 c | 10214909 | 720 42889 140325 | 1 365322 30 | 0.000 % | 2001.55/2001.50 c | 10215010 | 720 42889 140325 | 1 365423 30 | 0.000 % | 2001.55/2001.50 c | 10215889 | 720 42889 140325 | 1 366302 30 | 0.000 % | 2001.55/2001.50 c | 10220279 | 720 42889 140325 | 1 370692 30 | 0.000 % | 2001.55/2001.50 c | 10222722 | 720 42889 140325 | 1 373135 30 | 0.000 % | 2001.55/2001.50 c | 10287324 | 720 42889 140325 | 1 437737 32 | 0.000 % | 2001.55/2001.50 c | 10290341 | 720 42889 140325 | 1 440754 32 | 0.000 % | 2001.55/2001.50 c | 10301297 | 720 42889 140325 | 1 451710 32 | 0.000 % | 2001.55/2001.50 c | 10302600 | 720 42889 140325 | 1 453013 32 | 0.000 % | 2001.55/2001.50 c | 10302711 | 720 42889 140325 | 1 453124 32 | 0.000 % | 2001.55/2001.50 c | 10303959 | 720 42889 140325 | 1 454372 32 | 0.000 % | 2001.55/2001.50 c | 10304500 | 720 42889 140325 | 1 454913 32 | 0.000 % | 2001.55/2001.50 c | 10304602 | 720 42889 140325 | 1 455015 32 | 0.000 % | 2001.55/2001.50 c | 10336557 | 720 42889 140325 | 1 259371 25 | 0.000 % | 2001.55/2001.50 c | 10338302 | 720 42889 140325 | 1 261116 25 | 0.000 % | 2001.55/2001.50 c | 10338832 | 720 42889 140325 | 1 261646 25 | 0.000 % | 2001.55/2001.50 c | 10341366 | 720 42889 140325 | 1 264180 25 | 0.000 % | 2001.55/2001.50 c | 10347181 | 720 42889 140325 | 1 269995 26 | 0.000 % | 2001.55/2001.50 c | 10347479 | 720 42889 140325 | 1 270293 26 | 0.000 % | 2142.46/2142.50 c | 10367919 | 720 42889 140325 | 1 290733 27 | 0.000 % | 2142.46/2142.50 c | 10382709 | 720 42889 140325 | 1 305523 28 | 0.000 % | 2142.46/2142.50 c | 10403187 | 720 42889 140325 | 1 326001 28 | 0.000 % | 2142.46/2142.50 c | 10425182 | 720 42889 140325 | 1 347996 29 | 0.000 % | 2142.46/2142.50 c | 10439822 | 720 42889 140325 | 1 362636 30 | 0.000 % | 2142.46/2142.50 c | 10450839 | 720 42889 140325 | 1 373653 31 | 0.000 % | 2142.46/2142.50 c | 10463463 | 720 42889 140325 | 1 386277 31 | 0.000 % | 2142.46/2142.50 c | 10486737 | 720 42889 140325 | 1 409551 32 | 0.000 % | 2142.46/2142.50 c | 10489982 | 720 42889 140325 | 1 412796 32 | 0.000 % | 2142.46/2142.50 c | 10490784 | 720 42889 140325 | 1 413598 32 | 0.000 % | 2142.46/2142.50 c | 10525534 | 720 42889 140325 | 1 448348 33 | 0.000 % | 2142.46/2142.50 c | 10550198 | 720 42889 140325 | 1 242811 24 | 0.000 % | 2142.46/2142.50 c | 10590825 | 720 42889 140325 | 1 283438 27 | 0.000 % | 2142.46/2142.50 c | 10592528 | 720 42889 140325 | 1 285141 27 | 0.000 % | 2142.46/2142.50 c | 10597331 | 720 42889 140325 | 1 289944 27 | 0.000 % | 2142.46/2142.50 c | 10603629 | 720 42889 140325 | 1 296242 28 | 0.000 % | 2142.46/2142.50 c | 10611704 | 720 42889 140325 | 1 304317 28 | 0.000 % | 2142.46/2142.50 c | 10640276 | 720 42889 140325 | 1 332889 29 | 0.000 % | 2142.46/2142.50 c | 10646699 | 720 42889 140325 | 1 339312 29 | 0.000 % | 2142.46/2142.50 c | 10653248 | 720 42889 140325 | 1 345861 30 | 0.000 % | 2142.46/2142.50 c | 10683224 | 720 42889 140325 | 1 375837 30 | 0.000 % | 2142.46/2142.50 c | 10683325 | 720 42889 140325 | 1 375938 30 | 0.000 % | 2142.46/2142.50 c | 10693840 | 720 42889 140325 | 1 386453 31 | 0.000 % | 2142.46/2142.50 c | 10695614 | 720 42889 140325 | 1 388227 31 | 0.000 % | 2142.46/2142.50 c | 10709807 | 720 42889 140325 | 1 402420 31 | 0.000 % | 2142.46/2142.50 c | 10730242 | 720 42889 140325 | 1 422855 32 | 0.000 % | 2142.46/2142.50 c | 10746777 | 720 42889 140325 | 1 439390 32 | 0.000 % | 2142.46/2142.50 c | 10756733 | 720 42889 140325 | 1 449346 32 | 0.000 % | 2142.46/2142.50 c | 10806442 | 720 42889 140325 | 1 266254 25 | 0.000 % | 2142.46/2142.50 c | 10812587 | 720 42889 140325 | 1 272399 25 | 0.000 % | 2142.46/2142.50 c | 10812687 | 720 42889 140325 | 1 272499 25 | 0.000 % | 2142.46/2142.50 c | 10816208 | 720 42889 140325 | 1 276020 25 | 0.000 % | 2142.46/2142.50 c | 10831251 | 720 42889 140325 | 1 291063 26 | 0.000 % | 2142.46/2142.50 c | 10839156 | 720 42889 140325 | 1 298968 27 | 0.000 % | 2142.46/2142.50 c | 10840774 | 720 42889 140325 | 1 300586 27 | 0.000 % | 2142.46/2142.50 c | 10846436 | 720 42889 140325 | 1 306248 27 | 0.000 % | 2142.46/2142.50 c | 10848844 | 720 42889 140325 | 1 308656 27 | 0.000 % | 2142.46/2142.50 c | 10849695 | 720 42889 140325 | 1 309507 27 | 0.000 % | 2142.46/2142.50 c | 10850332 | 720 42889 140325 | 1 310144 27 | 0.000 % | 2142.46/2142.50 c | 10852554 | 720 42889 140325 | 1 312366 27 | 0.000 % | 2142.46/2142.50 c | 10863096 | 720 42889 140325 | 1 322908 28 | 0.000 % | 2142.46/2142.50 c | 10866708 | 720 42889 140325 | 1 326520 28 | 0.000 % | 2142.46/2142.50 c | 10908496 | 720 42889 140325 | 1 368308 30 | 0.000 % | 2142.46/2142.50 c | 10924378 | 720 42889 140325 | 1 384190 30 | 0.000 % | 2142.46/2142.50 c | 10927475 | 720 42889 140325 | 1 387287 30 | 0.000 % | 2142.46/2142.50 c | 10929947 | 720 42889 140325 | 1 389759 31 | 0.000 % | 2142.46/2142.50 c | 10939452 | 720 42889 140325 | 1 399264 31 | 0.000 % | 2142.46/2142.50 c | 10949333 | 720 42889 140325 | 1 409145 31 | 0.000 % | 2142.46/2142.50 c | 10958062 | 720 42889 140325 | 1 417874 31 | 0.000 % | 2142.46/2142.50 c | 10960882 | 720 42889 140325 | 1 420694 31 | 0.000 % | 2238.26/2238.23 c | 10960982 | 720 42889 140325 | 1 420794 31 | 0.000 % | 2238.26/2238.23 c | 10966332 | 720 42889 140325 | 1 426144 31 | 0.000 % | 2238.26/2238.23 c | 10979967 | 720 42889 140325 | 1 439779 32 | 0.000 % | 2238.26/2238.23 c | 10980101 | 720 42889 140325 | 1 439913 32 | 0.000 % | 2238.26/2238.23 c | 10981187 | 720 42889 140325 | 1 440999 32 | 0.000 % | 2238.26/2238.23 c | 10985175 | 720 42889 140325 | 1 444987 32 | 0.000 % | 2238.26/2238.23 c | 10985275 | 720 42889 140325 | 1 445087 32 | 0.000 % | 2238.26/2238.23 c | 11009112 | 720 42889 140325 | 1 468924 33 | 0.000 % | 2238.26/2238.23 c | 11031936 | 720 42889 140325 | 1 256354 24 | 0.000 % | 2238.26/2238.23 c | 11036349 | 720 42889 140325 | 1 260767 24 | 0.000 % | 2238.26/2238.23 c | 11036449 | 720 42889 140325 | 1 260867 24 | 0.000 % | 2238.26/2238.23 c | 11063092 | 720 42889 140325 | 1 287510 26 | 0.000 % | 2238.26/2238.23 c | 11069675 | 720 42889 140325 | 1 294093 26 | 0.000 % | 2238.26/2238.23 c | 11084180 | 720 42889 140325 | 1 308598 27 | 0.000 % | 2238.26/2238.23 c | 11093294 | 720 42889 140325 | 1 317712 27 | 0.000 % | 2238.26/2238.23 c | 11096635 | 720 42889 140325 | 1 321053 27 | 0.000 % | 2238.26/2238.23 c | 11096739 | 720 42889 140325 | 1 321157 27 | 0.000 % | 2238.26/2238.23 c | 11096896 | 720 42889 140325 | 1 321314 27 | 0.000 % | 2238.26/2238.23 c | 11123758 | 720 42889 140325 | 1 348176 28 | 0.000 % | 2238.26/2238.23 c | 11129415 | 720 42889 140325 | 1 353833 28 | 0.000 % | 2238.26/2238.23 c | 11129516 | 720 42889 140325 | 1 353934 28 | 0.000 % | 2238.26/2238.23 c | 11161584 | 720 42889 140325 | 1 386002 29 | 0.000 % | 2238.26/2238.23 c | 11175597 | 720 42889 140325 | 1 400015 29 | 0.000 % | 2238.26/2238.23 c | 11179694 | 720 42889 140325 | 1 404112 30 | 0.000 % | 2238.26/2238.23 c | 11182406 | 720 42889 140325 | 1 406824 30 | 0.000 % | 2238.26/2238.23 c | 11186656 | 720 42889 140325 | 1 411074 30 | 0.000 % | 2238.26/2238.23 c | 11194677 | 720 42889 140325 | 1 419095 30 | 0.000 % | 2238.26/2238.23 c | 11201814 | 720 42889 140325 | 1 426232 30 | 0.000 % | 2238.26/2238.23 c | 11206577 | 720 42889 140325 | 1 430995 30 | 0.000 % | 2238.26/2238.23 c | 11208925 | 720 42889 140325 | 1 433343 30 | 0.000 % | 2238.26/2238.23 c | 11226469 | 720 42889 140325 | 1 450887 31 | 0.000 % | 2238.26/2238.23 c | 11232887 | 720 42889 140325 | 1 457305 31 | 0.000 % | 2238.26/2238.23 c | 11236694 | 720 42889 140325 | 1 461112 31 | 0.000 % | 2238.26/2238.23 c | 11236796 | 720 42889 140325 | 1 461214 31 | 0.000 % | 2238.26/2238.23 c | 11241299 | 720 42889 140325 | 1 465717 31 | 0.000 % | 2238.26/2238.23 c | 11241429 | 720 42889 140325 | 1 465847 31 | 0.000 % | 2238.26/2238.23 c | 11244797 | 720 42889 140325 | 1 469215 31 | 0.000 % | 2238.26/2238.23 c | 11244898 | 720 42889 140325 | 1 469316 31 | 0.000 % | 2238.26/2238.23 c | 11245538 | 720 42889 140325 | 1 469956 31 | 0.000 % | 2238.26/2238.23 c | 11250683 | 720 42889 140325 | 1 475101 31 | 0.000 % | 2238.26/2238.23 c | 11281288 | 720 42889 140325 | 1 267707 24 | 0.000 % | 2238.26/2238.23 c | 11281388 | 720 42889 140325 | 1 267807 24 | 0.000 % | 2238.26/2238.23 c | 11282372 | 720 42889 140325 | 1 268791 24 | 0.000 % | 2238.26/2238.23 c | 11284862 | 720 42889 140325 | 1 271281 24 | 0.000 % | 2238.26/2238.23 c | 11289168 | 720 42889 140325 | 1 275587 24 | 0.000 % | 2238.26/2238.23 c | 11289268 | 720 42889 140325 | 1 275687 24 | 0.000 % | 2238.26/2238.23 c | 11306116 | 720 42889 140325 | 1 292535 25 | 0.000 % | 2238.26/2238.23 c | 11307143 | 720 42889 140325 | 1 293562 25 | 0.000 % | 2238.26/2238.23 c | 11307246 | 720 42889 140325 | 1 293665 25 | 0.000 % | 2238.26/2238.23 c | 11332771 | 720 42889 140325 | 1 319190 26 | 0.000 % | 2336.58/2336.56 c | 11336795 | 720 42889 140325 | 1 323214 27 | 0.000 % | 2336.58/2336.56 c | 11339360 | 720 42889 140325 | 1 325779 27 | 0.000 % | 2336.58/2336.56 c | 11350023 | 720 42889 140325 | 1 336442 27 | 0.000 % | 2336.58/2336.56 c | 11356930 | 720 42889 140325 | 1 343349 27 | 0.000 % | 2336.58/2336.56 c | 11357031 | 720 42889 140325 | 1 343450 28 | 0.000 % | 2336.58/2336.56 c | 11357131 | 720 42889 140325 | 1 343550 28 | 0.000 % | 2336.58/2336.56 c | 11358628 | 720 42889 140325 | 1 345047 28 | 0.000 % | 2336.58/2336.56 c | 11369270 | 720 42889 140325 | 1 355689 28 | 0.000 % | 2336.58/2336.56 c | 11374396 | 720 42889 140325 | 1 360815 28 | 0.000 % | 2336.58/2336.56 c | 11378244 | 720 42889 140325 | 1 364663 28 | 0.000 % | 2336.58/2336.56 c | 11387554 | 720 42889 140325 | 1 373973 29 | 0.000 % | 2336.58/2336.56 c | 11388476 | 720 42889 140325 | 1 374895 29 | 0.000 % | 2336.58/2336.56 c | 11393620 | 720 42889 140325 | 1 380039 29 | 0.000 % | 2336.58/2336.56 c | 11418174 | 720 42889 140325 | 1 404593 30 | 0.000 % | 2336.58/2336.56 c | 11419712 | 720 42889 140325 | 1 406131 30 | 0.000 % | 2336.58/2336.56 c | 11420339 | 720 42889 140325 | 1 406758 30 | 0.000 % | 2336.58/2336.56 c | 11420439 | 720 42889 140325 | 1 406858 30 | 0.000 % | 2336.58/2336.56 c | 11421973 | 720 42889 140325 | 1 408392 30 | 0.000 % | 2336.58/2336.56 c | 11424620 | 720 42889 140325 | 1 411039 30 | 0.000 % | 2336.58/2336.56 c | 11439818 | 720 42889 140325 | 1 426237 30 | 0.000 % | 2336.58/2336.56 c | 11448522 | 720 42889 140325 | 1 434941 31 | 0.000 % | 2336.58/2336.56 c | 11448625 | 720 42889 140325 | 1 435044 31 | 0.000 % | 2336.58/2336.56 c | 11448939 | 720 42889 140325 | 1 435358 31 | 0.000 % | 2336.58/2336.56 c | 11449039 | 720 42889 140325 | 1 435458 31 | 0.000 % | 2336.58/2336.56 c | 11452671 | 720 42889 140325 | 1 439090 31 | 0.000 % | 2336.58/2336.56 c | 11452771 | 720 42889 140325 | 1 439190 31 | 0.000 % | 2336.58/2336.56 c | 11455478 | 720 42889 140325 | 1 441897 31 | 0.000 % | 2336.58/2336.56 c | 11463148 | 720 42889 140325 | 1 449567 31 | 0.000 % | 2336.58/2336.56 c | 11465284 | 720 42889 140325 | 1 451703 31 | 0.000 % | 2336.58/2336.56 c | 11476282 | 720 42889 140325 | 1 462701 32 | 0.000 % | 2336.58/2336.56 c | 11483239 | 720 42889 140325 | 1 469658 32 | 0.000 % | 2336.58/2336.56 c | 11483340 | 720 42889 140325 | 1 469759 32 | 0.000 % | 2336.58/2336.56 c | 11483440 | 720 42889 140325 | 1 469859 32 | 0.000 % | 2336.58/2336.56 c | 11483650 | 720 42889 140325 | 1 470069 32 | 0.000 % | 2336.58/2336.56 c | 11545774 | 720 42889 140325 | 1 291599 27 | 0.000 % | 2336.58/2336.56 c | 11564447 | 720 42889 140325 | 1 310272 28 | 0.000 % | 2336.58/2336.56 c | 11582059 | 720 42889 140325 | 1 327884 29 | 0.000 % | 2336.58/2336.56 c | 11604296 | 720 42889 140325 | 1 350121 30 | 0.000 % | 2336.58/2336.56 c | 11607576 | 720 42889 140325 | 1 353401 30 | 0.000 % | 2336.58/2336.56 c | 11612891 | 720 42889 140325 | 1 358716 30 | 0.000 % | 2336.58/2336.56 c | 11679746 | 720 42889 140325 | 1 425571 31 | 0.000 % | 2336.58/2336.56 c | 11702354 | 720 42889 140325 | 1 448179 31 | 0.000 % | 2336.58/2336.56 c | 11708706 | 720 42889 140325 | 1 454531 31 | 0.000 % | 2336.58/2336.56 c | 11710014 | 720 42889 140325 | 1 455839 31 | 0.000 % | 2336.58/2336.56 c | 11716116 | 720 42889 140325 | 1 461941 32 | 0.000 % | 2336.58/2336.56 c | 11716218 | 720 42889 140325 | 1 462043 32 | 0.000 % | 2336.58/2336.56 c | 11726526 | 720 42889 140325 | 1 472351 32 | 0.000 % | 2336.58/2336.56 c | 11726627 | 720 42889 140325 | 1 472452 32 | 0.000 % | 2336.58/2336.56 c | 11729885 | 720 42889 140325 | 1 475710 32 | 0.000 % | 2336.58/2336.56 c | 11731169 | 720 42889 140325 | 1 476994 32 | 0.000 % | 2410.67/2410.62 c | 11742414 | 720 42889 140325 | 1 245037 23 | 0.000 % | 2410.67/2410.62 c | 11743468 | 720 42889 140325 | 1 246091 23 | 0.000 % | 2410.67/2410.62 c | 11743590 | 720 42889 140325 | 1 246213 23 | 0.000 % | 2410.67/2410.62 c | 11744009 | 720 42889 140325 | 1 246632 23 | 0.000 % | 2410.67/2410.62 c | 11759421 | 720 42889 140325 | 1 262044 24 | 0.000 % | 2410.67/2410.62 c | 11766854 | 720 42889 140325 | 1 269477 25 | 0.000 % | 2410.67/2410.62 c | 11766958 | 720 42889 140325 | 1 269581 25 | 0.000 % | 2410.67/2410.62 c | 11774334 | 720 42889 140325 | 1 276957 25 | 0.000 % | 2410.67/2410.62 c | 11791693 | 720 42889 140325 | 1 294316 26 | 0.000 % | 2410.67/2410.62 c | 11793313 | 720 42889 140325 | 1 295936 26 | 0.000 % | 2410.67/2410.62 c | 11802166 | 720 42889 140325 | 1 304789 27 | 0.000 % | 2410.67/2410.62 c | 11822242 | 720 42889 140325 | 1 324865 28 | 0.000 % | 2410.67/2410.62 c | 11823191 | 720 42889 140325 | 1 325814 28 | 0.000 % | 2410.67/2410.62 c | 11830440 | 720 42889 140325 | 1 333063 28 | 0.000 % | 2410.67/2410.62 c | 11850809 | 720 42889 140325 | 1 353432 29 | 0.000 % | 2410.67/2410.62 c | 11850921 | 720 42889 140325 | 1 353544 29 | 0.000 % | 2410.67/2410.62 c | 11851420 | 720 42889 140325 | 1 354043 29 | 0.000 % | 2410.67/2410.62 c | 11863553 | 720 42889 140325 | 1 366176 30 | 0.000 % | 2410.67/2410.62 c | 11874611 | 720 42889 140325 | 1 377234 30 | 0.000 % | 2410.67/2410.62 c | 11874716 | 720 42889 140325 | 1 377339 30 | 0.000 % | 2410.67/2410.62 c | 11877457 | 720 42889 140325 | 1 380080 30 | 0.000 % | 2410.67/2410.62 c | 11890589 | 720 42889 140325 | 1 393212 30 | 0.000 % | 2410.67/2410.62 c | 11895092 | 720 42889 140325 | 1 397715 30 | 0.000 % | 2410.67/2410.62 c | 11896772 | 720 42889 140325 | 1 399395 31 | 0.000 % | 2410.67/2410.62 c | 11898924 | 720 42889 140325 | 1 401547 31 | 0.000 % | 2410.67/2410.62 c | 11901325 | 720 42889 140325 | 1 403948 31 | 0.000 % | 2410.67/2410.62 c | 11901464 | 720 42889 140325 | 1 404087 31 | 0.000 % | 2410.67/2410.62 c | 11914979 | 720 42889 140325 | 1 417602 31 | 0.000 % | 2410.67/2410.62 c | 11920408 | 720 42889 140325 | 1 423031 32 | 0.000 % | 2410.67/2410.62 c | 11924502 | 720 42889 140325 | 1 427125 32 | 0.000 % | 2410.67/2410.62 c | 11929124 | 720 42889 140325 | 1 431747 32 | 0.000 % | 2410.67/2410.62 c | 11935459 | 720 42889 140325 | 1 438082 32 | 0.000 % | 2410.67/2410.62 c | 11937409 | 720 42889 140325 | 1 440032 32 | 0.000 % | 2410.67/2410.62 c | 11944771 | 720 42889 140325 | 1 447394 32 | 0.000 % | 2410.67/2410.62 c | 11949814 | 720 42889 140325 | 1 452437 32 | 0.000 % | 2410.67/2410.62 c | 11949915 | 720 42889 140325 | 1 452538 32 | 0.000 % | 2410.67/2410.62 c | 11955697 | 720 42889 140325 | 1 458320 32 | 0.000 % | 2410.67/2410.62 c | 11956275 | 720 42889 140325 | 1 458898 32 | 0.000 % | 2410.67/2410.62 c | 11959784 | 720 42889 140325 | 1 462407 32 | 0.000 % | 2410.67/2410.62 c | 11961263 | 720 42889 140325 | 1 463886 32 | 0.000 % | 2410.67/2410.62 c | 11961615 | 720 42889 140325 | 1 464238 32 | 0.000 % | 2410.67/2410.62 c | 11965982 | 720 42889 140325 | 1 468605 32 | 0.000 % | 2410.67/2410.62 c | 11971186 | 720 42889 140325 | 1 473809 33 | 0.000 % | 2410.67/2410.62 c | 11971691 | 720 42889 140325 | 1 474314 33 | 0.000 % | 2410.67/2410.62 c | 11976434 | 720 42889 140325 | 1 479057 33 | 0.000 % | 2410.67/2410.62 c | 11997426 | 720 42889 140325 | 1 254248 23 | 0.000 % | 2410.67/2410.62 c | 11998635 | 720 42889 140325 | 1 255457 23 | 0.000 % | 2410.67/2410.62 c | 12000125 | 720 42889 140325 | 1 256947 23 | 0.000 % | 2410.67/2410.62 c | 12000231 | 720 42889 140325 | 1 257053 23 | 0.000 % | 2410.67/2410.62 c | 12006016 | 720 42889 140325 | 1 262838 24 | 0.000 % | 2516.38/2516.33 c | 12023488 | 720 42889 140325 | 1 280310 25 | 0.000 % | 2516.38/2516.33 c | 12024016 | 720 42889 140325 | 1 280838 25 | 0.000 % | 2516.38/2516.33 c | 12029487 | 720 42889 140325 | 1 286309 25 | 0.000 % | 2516.38/2516.33 c | 12029589 | 720 42889 140325 | 1 286411 25 | 0.000 % | 2516.38/2516.33 c | 12043167 | 720 42889 140325 | 1 299989 26 | 0.000 % | 2516.38/2516.33 c | 12044593 | 720 42889 140325 | 1 301415 26 | 0.000 % | 2516.38/2516.33 c | 12044694 | 720 42889 140325 | 1 301516 26 | 0.000 % | 2516.38/2516.33 c | 12057382 | 720 42889 140325 | 1 314204 26 | 0.000 % | 2516.38/2516.33 c | 12087346 | 720 42889 140325 | 1 344168 28 | 0.000 % | 2516.38/2516.33 c | 12103667 | 720 42889 140325 | 1 360489 28 | 0.000 % | 2516.38/2516.33 c | 12104357 | 720 42889 140325 | 1 361179 28 | 0.000 % | 2516.38/2516.33 c | 12105160 | 720 42889 140325 | 1 361982 28 | 0.000 % | 2516.38/2516.33 c | 12108225 | 720 42889 140325 | 1 365047 28 | 0.000 % | 2516.38/2516.33 c | 12108326 | 720 42889 140325 | 1 365148 28 | 0.000 % | 2516.38/2516.33 c | 12116611 | 720 42889 140325 | 1 373433 29 | 0.000 % | 2516.38/2516.33 c | 12118121 | 720 42889 140325 | 1 374943 29 | 0.000 % | 2516.38/2516.33 c | 12132773 | 720 42889 140325 | 1 389595 29 | 0.000 % | 2516.38/2516.33 c | 12145927 | 720 42889 140325 | 1 402749 30 | 0.000 % | 2516.38/2516.33 c | 12146030 | 720 42889 140325 | 1 402852 30 | 0.000 % | 2516.38/2516.33 c | 12147170 | 720 42889 140325 | 1 403992 30 | 0.000 % | 2516.38/2516.33 c | 12147488 | 720 42889 140325 | 1 404310 30 | 0.000 % | 2516.38/2516.33 c | 12161539 | 720 42889 140325 | 1 418361 30 | 0.000 % | 2516.38/2516.33 c | 12197812 | 720 42889 140325 | 1 454634 31 | 0.000 % | 2516.38/2516.33 c | 12216182 | 720 42889 140325 | 1 473004 32 | 0.000 % | 2516.38/2516.33 c | 12216324 | 720 42889 140325 | 1 473146 32 | 0.000 % | 2516.38/2516.33 c | 12218318 | 720 42889 140325 | 1 475140 32 | 0.000 % | 2516.38/2516.33 c | 12238394 | 720 42889 140325 | 1 495216 32 | 0.000 % | 2516.38/2516.33 c | 12253102 | 720 42889 140325 | 1 261518 23 | 0.000 % | 2516.38/2516.33 c | 12257796 | 720 42889 140325 | 1 266212 23 | 0.000 % | 2516.38/2516.33 c | 12266690 | 720 42889 140325 | 1 275106 24 | 0.000 % | 2516.38/2516.33 c | 12266793 | 720 42889 140325 | 1 275209 24 | 0.000 % | 2516.38/2516.33 c | 12268723 | 720 42889 140325 | 1 277139 24 | 0.000 % | 2516.38/2516.33 c | 12277525 | 720 42889 140325 | 1 285941 25 | 0.000 % | 2516.38/2516.33 c | 12282819 | 720 42889 140325 | 1 291235 25 | 0.000 % | 2516.38/2516.33 c | 12285051 | 720 42889 140325 | 1 293467 26 | 0.000 % | 2516.38/2516.33 c | 12299584 | 720 42889 140325 | 1 308000 26 | 0.000 % | 2516.38/2516.33 c | 12322741 | 720 42889 140325 | 1 331157 27 | 0.000 % | 2516.38/2516.33 c | 12343914 | 720 42889 140325 | 1 352330 28 | 0.000 % | 2516.38/2516.33 c | 12349753 | 720 42889 140325 | 1 358169 28 | 0.000 % | 2516.38/2516.33 c | 12364427 | 720 42889 140325 | 1 372843 29 | 0.000 % | 2516.38/2516.33 c | 12377750 | 720 42889 140325 | 1 386166 29 | 0.000 % | 2516.38/2516.33 c | 12389164 | 720 42889 140325 | 1 397580 30 | 0.000 % | 2516.38/2516.33 c | 12391744 | 720 42889 140325 | 1 400160 30 | 0.000 % | 2516.38/2516.33 c | 12392390 | 720 42889 140325 | 1 400806 30 | 0.000 % | 2516.38/2516.33 c | 12394203 | 720 42889 140325 | 1 402619 30 | 0.000 % | 2516.38/2516.33 c | 12394303 | 720 42889 140325 | 1 402719 30 | 0.000 % | 2516.38/2516.33 c | 12396380 | 720 42889 140325 | 1 404796 30 | 0.000 % | 2516.38/2516.33 c | 12396480 | 720 42889 140325 | 1 404896 30 | 0.000 % | 2516.38/2516.33 c | 12421970 | 720 42889 140325 | 1 430386 30 | 0.000 % | 2516.38/2516.33 c | 12439511 | 720 42889 140325 | 1 447927 31 | 0.000 % | 2605.78/2605.79 c | 12440959 | 720 42889 140325 | 1 449375 31 | 0.000 % | 2605.78/2605.79 c | 12441060 | 720 42889 140325 | 1 449476 31 | 0.000 % | 2605.78/2605.79 c | 12451621 | 720 42889 140325 | 1 460037 32 | 0.000 % | 2605.78/2605.79 c | 12467064 | 720 42889 140325 | 1 475480 32 | 0.000 % | 2605.78/2605.79 c | 12485315 | 720 42889 140325 | 1 493731 32 | 0.000 % | 2605.78/2605.79 c | 12496835 | 720 42889 140325 | 1 254256 23 | 0.000 % | 2605.78/2605.79 c | 12503072 | 720 42889 140325 | 1 260493 23 | 0.000 % | 2605.78/2605.79 c | 12508841 | 720 42889 140325 | 1 266262 24 | 0.000 % | 2605.78/2605.79 c | 12511125 | 720 42889 140325 | 1 268546 24 | 0.000 % | 2605.78/2605.79 c | 12513921 | 720 42889 140325 | 1 271342 24 | 0.000 % | 2605.78/2605.79 c | 12514032 | 720 42889 140325 | 1 271453 24 | 0.000 % | 2605.78/2605.79 c | 12527765 | 720 42889 140325 | 1 285186 25 | 0.000 % | 2605.78/2605.79 c | 12534958 | 720 42889 140325 | 1 292379 25 | 0.000 % | 2605.78/2605.79 c | 12545208 | 720 42889 140325 | 1 302629 26 | 0.000 % | 2605.78/2605.79 c | 12545881 | 720 42889 140325 | 1 303302 26 | 0.000 % | 2605.78/2605.79 c | 12567084 | 720 42889 140325 | 1 324505 27 | 0.000 % | 2605.78/2605.79 c | 12569042 | 720 42889 140325 | 1 326463 27 | 0.000 % | 2605.78/2605.79 c | 12594800 | 720 42889 140325 | 1 352221 28 | 0.000 % | 2605.78/2605.79 c | 12600977 | 720 42889 140325 | 1 358398 28 | 0.000 % | 2605.78/2605.79 c | 12605094 | 720 42889 140325 | 1 362515 28 | 0.000 % | 2605.78/2605.79 c | 12616720 | 720 42889 140325 | 1 374141 29 | 0.000 % | 2605.78/2605.79 c | 12616820 | 720 42889 140325 | 1 374241 29 | 0.000 % | 2605.78/2605.79 c | 12617669 | 720 42889 140325 | 1 375090 29 | 0.000 % | 2605.78/2605.79 c | 12624100 | 720 42889 140325 | 1 381521 29 | 0.000 % | 2605.78/2605.79 c | 12624200 | 720 42889 140325 | 1 381621 29 | 0.000 % | 2605.78/2605.79 c | 12624353 | 720 42889 140325 | 1 381774 29 | 0.000 % | 2605.78/2605.79 c | 12624811 | 720 42889 140325 | 1 382232 29 | 0.000 % | 2605.78/2605.79 c | 12626639 | 720 42889 140325 | 1 384060 29 | 0.000 % | 2605.78/2605.79 c | 12628594 | 720 42889 140325 | 1 386015 29 | 0.000 % | 2605.78/2605.79 c | 12628694 | 720 42889 140325 | 1 386115 29 | 0.000 % | 2605.78/2605.79 c | 12630708 | 720 42889 140325 | 1 388129 29 | 0.000 % | 2605.78/2605.79 c | 12643343 | 720 42889 140325 | 1 400764 30 | 0.000 % | 2605.78/2605.79 c | 12647927 | 720 42889 140325 | 1 405348 30 | 0.000 % | 2605.78/2605.79 c | 12658376 | 720 42889 140325 | 1 415797 30 | 0.000 % | 2605.78/2605.79 c | 12663083 | 720 42889 140325 | 1 420504 30 | 0.000 % | 2605.78/2605.79 c | 12673816 | 720 42889 140325 | 1 431237 30 | 0.000 % | 2605.78/2605.79 c | 12674473 | 720 42889 140325 | 1 431894 30 | 0.000 % | 2605.78/2605.79 c | 12678116 | 720 42889 140325 | 1 435537 30 | 0.000 % | 2605.78/2605.79 c | 12696927 | 720 42889 140325 | 1 454348 31 | 0.000 % | 2605.78/2605.79 c | 12698253 | 720 42889 140325 | 1 455674 31 | 0.000 % | 2605.78/2605.79 c | 12699103 | 720 42889 140325 | 1 456524 31 | 0.000 % | 2605.78/2605.79 c | 12704641 | 720 42889 140325 | 1 462062 31 | 0.000 % | 2605.78/2605.79 c | 12706895 | 720 42889 140325 | 1 464316 31 | 0.000 % | 2605.78/2605.79 c | 12708986 | 720 42889 140325 | 1 466407 31 | 0.000 % | 2605.78/2605.79 c | 12709514 | 720 42889 140325 | 1 466935 31 | 0.000 % | 2605.78/2605.79 c | 12724140 | 720 42889 140325 | 1 481561 32 | 0.000 % | 2605.78/2605.79 c | 12725279 | 720 42889 140325 | 1 482700 32 | 0.000 % | 2605.78/2605.79 c | 12754024 | 720 42889 140325 | 1 257852 23 | 0.000 % | 2605.78/2605.79 c =============================================================================== 2605.78/2605.79 c restarts : 936 2605.78/2605.79 c nb ReduceDB : 98 2605.78/2605.79 c nb removed Clauses : 12496172 2605.78/2605.79 c nb learnts DL2 : 79 2605.78/2605.79 c nb learnts size 2 : 8 2605.78/2605.79 c nb learnts size 1 : 0 2605.78/2605.79 c conflicts : 12754024 (4897 /sec) 2605.78/2605.79 c decisions : 15676874 (0.00 % random) (6019 /sec) 2605.78/2605.79 c propagations : 779104933 (299142 /sec) 2605.78/2605.79 c conflict literals : 547542563 (59.36 % deleted) 2605.78/2605.79 c nb reduced Clauses : 156924 2605.78/2605.79 c CPU time : 2604.46 s 2605.78/2605.79 2605.78/2605.80 s SATISFIABLE 2605.78/2605.80 v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 19 -20 -21 -22 -23 -24 25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 114 -115 -116 -117 -118 -119 -120 -121 122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 298 -299 -300 -301 -302 -303 -304 -305 306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 452 -453 -454 -455 -456 -457 458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 608 -609 -610 611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 755 -756 -757 -758 -759 -760 0
OK
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-3303366-1303899342/watcher-3303366-1303899342 -o /tmp/evaluation-result-3303366-1303899342/solver-3303366-1303899342 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303366-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 1/172 3319 /proc/meminfo: memFree=26664652/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 501533860 8912896 253 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/3319/statm: 2176 253 211 178 0 69 0 [startup+0.069603 s] /proc/loadavg: 0.00 0.00 0.00 1/172 3319 /proc/meminfo: memFree=26664652/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 501533860 8912896 253 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/3319/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.105604 s] /proc/loadavg: 0.00 0.00 0.00 1/172 3319 /proc/meminfo: memFree=26664652/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8704 [startup+0.300619 s] /proc/loadavg: 0.00 0.00 0.00 1/172 3319 /proc/meminfo: memFree=26664652/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8704 [startup+0.700541 s] /proc/loadavg: 0.00 0.00 0.00 1/172 3319 /proc/meminfo: memFree=26664652/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8704 [startup+1.50027 s] /proc/loadavg: 0.00 0.00 0.00 3/180 3333 /proc/meminfo: memFree=26638252/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=30740 CPUtime=1.39 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 5311 0 0 0 139 0 0 0 25 0 1 0 501533870 31477760 3607 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 7685 3607 247 17 0 4326 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 39444 [startup+3.10097 s] /proc/loadavg: 0.00 0.00 0.00 3/180 3334 /proc/meminfo: memFree=26626512/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=30780 CPUtime=2.99 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 7315 0 0 0 299 0 0 0 25 0 1 0 501533870 31518720 3970 33554432000 4194304 4260849 140734400719520 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 7695 3970 248 17 0 4336 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 39484 [startup+6.30047 s] /proc/loadavg: 0.24 0.05 0.02 3/180 3334 /proc/meminfo: memFree=26590640/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=26428 CPUtime=6.2 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 8956 0 0 0 619 1 0 0 25 0 1 0 501533870 27062272 3399 33554432000 4194304 4260849 140734400719520 18446744073709551615 4209264 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 6607 3399 248 17 0 3248 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35132 [startup+12.7003 s] /proc/loadavg: 0.38 0.08 0.03 3/180 3334 /proc/meminfo: memFree=26576556/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=38476 CPUtime=12.59 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 13929 0 0 0 1258 1 0 0 25 0 1 0 501533870 39399424 6159 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 9619 6159 248 17 0 6260 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 47180 [startup+25.5008 s] /proc/loadavg: 0.74 0.18 0.06 3/180 3335 /proc/meminfo: memFree=26542420/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=52732 CPUtime=25.39 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 17829 0 0 0 2537 2 0 0 25 0 1 0 501533870 53997568 9912 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 13183 9912 248 17 0 9824 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 61436 [startup+51.1009 s] /proc/loadavg: 1.17 0.32 0.11 3/180 3335 /proc/meminfo: memFree=26526728/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=52732 CPUtime=50.99 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 21898 0 0 0 5097 2 0 0 25 0 1 0 501533870 53997568 9939 33554432000 4194304 4260849 140734400719520 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 13183 9939 248 17 0 9824 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 61436 [startup+102.306 s] /proc/loadavg: 1.64 0.58 0.20 3/180 3337 /proc/meminfo: memFree=26471652/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=87624 CPUtime=102.2 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 35856 0 0 0 10215 5 0 0 25 0 1 0 501533870 89726976 18619 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224834 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 21906 18619 248 17 0 18547 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 96328 [startup+162.301 s] /proc/loadavg: 1.87 0.83 0.31 3/180 3338 /proc/meminfo: memFree=26453644/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=87624 CPUtime=162.2 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 35856 0 0 0 16215 5 0 0 25 0 1 0 501533870 89726976 18619 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 21906 18619 248 17 0 18547 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 96328 [startup+222.3 s] /proc/loadavg: 1.95 1.04 0.42 3/180 3340 /proc/meminfo: memFree=26453864/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=88668 CPUtime=222.2 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 46047 0 0 0 22214 6 0 0 25 0 1 0 501533870 90796032 18218 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 22167 18218 249 17 0 18808 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 97372 [startup+282.301 s] /proc/loadavg: 1.98 1.21 0.51 3/180 3341 /proc/meminfo: memFree=26438340/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=107324 CPUtime=282.2 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 67055 0 0 0 28211 9 0 0 25 0 1 0 501533870 109899776 23588 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 26831 23588 249 17 0 23472 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 116028 [startup+342.3 s] /proc/loadavg: 1.99 1.36 0.60 3/180 3343 /proc/meminfo: memFree=26392320/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=156644 CPUtime=342.2 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 98839 0 0 0 34208 12 0 0 25 0 1 0 501533870 160403456 31655 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 39161 31655 249 17 0 35802 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 165348 [startup+402.301 s] /proc/loadavg: 1.99 1.47 0.69 3/180 3345 /proc/meminfo: memFree=26440652/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 ################ # More data... # ################ /proc/3322/statm: 50386 41077 249 17 0 47027 0 Current children cumulated CPU time (s) 2202.37 Current children cumulated vsize (KiB) 210248 [startup+2262.3 s] /proc/loadavg: 2.06 2.00 1.79 3/180 3398 /proc/meminfo: memFree=26328380/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=201944 CPUtime=2262.27 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 738132 0 0 0 226113 114 0 0 25 0 1 0 501533870 206790656 40708 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 50486 40708 249 17 0 47127 0 Current children cumulated CPU time (s) 2262.36 Current children cumulated vsize (KiB) 210648 [startup+2322.3 s] /proc/loadavg: 2.02 2.00 1.81 3/180 3400 /proc/meminfo: memFree=26303680/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=203224 CPUtime=2322.28 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 756215 0 0 0 232110 118 0 0 25 0 1 0 501533870 208101376 41748 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 50806 41748 249 17 0 47447 0 Current children cumulated CPU time (s) 2322.37 Current children cumulated vsize (KiB) 211928 [startup+2382.3 s] /proc/loadavg: 2.00 2.00 1.82 3/180 3401 /proc/meminfo: memFree=26291256/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=203540 CPUtime=2382.28 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 773563 0 0 0 238107 121 0 0 25 0 1 0 501533870 208424960 41840 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 50885 41840 249 17 0 47526 0 Current children cumulated CPU time (s) 2382.37 Current children cumulated vsize (KiB) 212244 [startup+2442.3 s] /proc/loadavg: 2.00 2.00 1.82 3/180 3403 /proc/meminfo: memFree=26301652/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=204192 CPUtime=2442.28 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 789786 0 0 0 244103 125 0 0 25 0 1 0 501533870 209092608 40398 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 51048 40398 249 17 0 47689 0 Current children cumulated CPU time (s) 2442.37 Current children cumulated vsize (KiB) 212896 [startup+2502.3 s] /proc/loadavg: 2.00 2.00 1.83 3/180 3405 /proc/meminfo: memFree=26298020/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=204192 CPUtime=2502.28 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 807326 0 0 0 250100 128 0 0 25 0 1 0 501533870 209092608 40494 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 51048 40494 249 17 0 47689 0 Current children cumulated CPU time (s) 2502.37 Current children cumulated vsize (KiB) 212896 [startup+2562.3 s] /proc/loadavg: 2.05 2.01 1.84 3/180 3406 /proc/meminfo: memFree=26324148/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=173584 CPUtime=2562.29 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 823407 0 0 0 256098 131 0 0 25 0 1 0 501533870 177750016 39045 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 43396 39045 249 17 0 40037 0 Current children cumulated CPU time (s) 2562.38 Current children cumulated vsize (KiB) 182288 Solver just ended. Dumping a history of the last processes samples [startup+2585.5 s] /proc/loadavg: 2.03 2.01 1.84 3/180 3407 /proc/meminfo: memFree=26292520/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=204404 CPUtime=2585.49 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 826489 0 0 0 258417 132 0 0 25 0 1 0 501533870 209309696 42045 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 51101 42045 249 17 0 47742 0 Current children cumulated CPU time (s) 2585.58 Current children cumulated vsize (KiB) 213108 [startup+2598.3 s] /proc/loadavg: 2.03 2.01 1.84 3/180 3407 /proc/meminfo: memFree=26271556/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=204404 CPUtime=2598.3 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 828925 0 0 0 259697 133 0 0 25 0 1 0 501533870 209309696 44424 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 51101 44424 249 17 0 47742 0 Current children cumulated CPU time (s) 2598.39 Current children cumulated vsize (KiB) 213108 [startup+2601.51 s] /proc/loadavg: 2.02 2.01 1.85 3/180 3407 /proc/meminfo: memFree=26267088/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=204404 CPUtime=2601.5 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 829468 0 0 0 260017 133 0 0 25 0 1 0 501533870 209309696 44961 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 51101 44961 249 17 0 47742 0 Current children cumulated CPU time (s) 2601.59 Current children cumulated vsize (KiB) 213108 [startup+2603.1 s] /proc/loadavg: 2.02 2.01 1.85 3/180 3407 /proc/meminfo: memFree=26265600/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=204404 CPUtime=2603.1 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 829773 0 0 0 260177 133 0 0 25 0 1 0 501533870 209309696 45260 33554432000 4194304 4260849 140734400719520 18446744073709551615 4229340 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 51101 45260 249 17 0 47742 0 Current children cumulated CPU time (s) 2603.19 Current children cumulated vsize (KiB) 213108 [startup+2604.7 s] /proc/loadavg: 2.02 2.01 1.85 3/180 3407 /proc/meminfo: memFree=26262500/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=204404 CPUtime=2604.7 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 830064 0 0 0 260337 133 0 0 25 0 1 0 501533870 209309696 45542 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 51101 45542 249 17 0 47742 0 Current children cumulated CPU time (s) 2604.79 Current children cumulated vsize (KiB) 213108 [startup+2605.5 s] /proc/loadavg: 2.02 2.01 1.85 3/180 3407 /proc/meminfo: memFree=26262500/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=124916 CPUtime=2605.49 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 830069 0 0 0 260416 133 0 0 25 0 1 0 501533870 127913984 27827 33554432000 4194304 4260849 140734400719520 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 31229 27827 249 17 0 27870 0 Current children cumulated CPU time (s) 2605.58 Current children cumulated vsize (KiB) 133620 [startup+2605.7 s] /proc/loadavg: 2.02 2.01 1.85 3/180 3407 /proc/meminfo: memFree=26262500/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 360 1071 0 0 0 0 9 0 25 0 1 0 501533860 8912896 255 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3319/statm: 2176 255 211 178 0 69 0 [pid=3322] ppid=3319 vsize=124916 CPUtime=2605.69 cores=0,2,4,6 /proc/3322/stat : 3322 (glucose_static) R 3319 3319 3290 0 -1 4202496 830069 0 0 0 260436 133 0 0 25 0 1 0 501533870 127913984 27827 33554432000 4194304 4260849 140734400719520 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3322/statm: 31229 27827 249 17 0 27870 0 Current children cumulated CPU time (s) 2605.78 Current children cumulated vsize (KiB) 133620 [startup+2605.8 s] /proc/loadavg: 2.02 2.01 1.85 2/180 3407 /proc/meminfo: memFree=26442424/32950928 swapFree=67111364/67111528 [pid=3319] ppid=3317 vsize=8704 CPUtime=2605.89 cores=0,2,4,6 /proc/3319/stat : 3319 (glucose.sh) S 3317 3319 3290 0 -1 4202496 414 831302 0 0 0 0 260456 133 19 0 1 0 501533860 8912896 257 33554432000 4194304 4922060 140736211953712 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/3319/statm: 2176 257 213 178 0 69 0 Current children cumulated CPU time (s) 2605.89 Current children cumulated vsize (KiB) 8704 Child status: 10 Real time (s): 2605.81 CPU time (s): 2605.9 CPU user time (s): 2604.56 CPU system time (s): 1.3408 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 213760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2604.56 system time used= 1.3408 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 831901 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= 43 involuntary context switches= 2370 runsolver used 4.05338 second user time and 8.42872 second system time The end
Begin job on node127 at 2011-04-27 12:15:42 IDJOB=3303366 IDBENCH=71487 IDSOLVER=1687 FILE ID=node127/3303366-1303899342 RUNJOBID= node127-1303899342-3309 PBS_JOBID= 13164521 Free space on /tmp= 71900 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v760c43649g7.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303366-1303899342/watcher-3303366-1303899342 -o /tmp/evaluation-result-3303366-1303899342/solver-3303366-1303899342 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303366-1303899342.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bd9e06c08721e6eb7b4cb4a265dbdd48 RANDOM SEED=1223450421 node127.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.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.86 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.823 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.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.60 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.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 26664808 kB Buffers: 1334940 kB Cached: 4414276 kB SwapCached: 0 kB Active: 1402648 kB Inactive: 4409712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 26664808 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 1572 kB Writeback: 0 kB AnonPages: 63280 kB Mapped: 14200 kB Slab: 408640 kB PageTables: 4824 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 184912 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= 71888 MiB End job on node127 at 2011-04-27 12:59:08