| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | UNSAT | 373.165 | 373.161 |
| Name | application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf |
| MD5SUM | 8f0e3738453893efc8a2d1abcf0d190d |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 143.969 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 50277 |
| Number of clauses | 283903 |
| Sum of the clauses size | 636342 |
| Maximum clause length | 61 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 414 |
| Number of clauses of size 2 | 248375 |
| Number of clauses of size 3 | 27490 |
| Number of clauses of size 4 | 5332 |
| Number of clauses of size 5 | 458 |
| Number of clauses of size over 5 | 1834 |
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.11 c ============================================================================== 0.00/0.11 c | | ORIGINAL | LEARNT | | 0.00/0.11 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.11 c ============================================================================== 0.00/0.11 c | 0 | 283484 635918 | 85045 0 0 nan | 0.000 % | 0.00/0.68 c | 0 | 249569 571335 | -- 0 -- -- | -- | -30553/-57337 0.00/0.68 c ============================================================================== 0.00/0.68 c Result : #vars: 37813 #clauses: 249569 #literals: 571335 0.00/0.68 c CPU time: 0.659899 s 0.00/0.68 c ============================================================================== 0.00/0.80 c 0.00/0.80 c Starting glucose 0.00/0.80 c 5.38/5.40 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 5.38/5.40 c WARNING: for repeatability, setting FPU to use double precision 5.38/5.40 c ============================[ Problem Statistics ]============================= 5.38/5.40 c | | 5.38/5.40 c | Number of variables: 37813 | 5.38/5.40 c | Number of clauses: 249569 | 5.38/5.40 c | Parse time: 0.05 s | 5.38/5.40 c | | 5.38/5.40 c ============================[ Search Statistics ]============================== 5.38/5.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.38/5.40 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 5.38/5.40 c =============================================================================== 5.38/5.40 c | 764 | 37487 249569 571335 | 1 762 40 | 0.862 % | 5.38/5.40 c | 991 | 37466 249569 571335 | 1 988 52 | 0.918 % | 5.38/5.40 c | 1395 | 37449 249118 569721 | 1 1385 48 | 0.963 % | 5.38/5.40 c | 1512 | 37449 249118 569721 | 1 1502 46 | 0.963 % | 5.38/5.40 c | 2192 | 37427 249118 569721 | 1 2181 60 | 1.021 % | 5.38/5.40 c | 2925 | 37427 249068 569554 | 1 2913 55 | 1.021 % | 5.38/5.40 c | 3114 | 37427 249068 569554 | 1 3102 54 | 1.021 % | 5.38/5.40 c | 3551 | 37427 249068 569554 | 1 3539 62 | 1.021 % | 5.38/5.40 c | 3651 | 37427 249068 569554 | 1 3639 63 | 1.021 % | 5.38/5.40 c | 3954 | 37427 249068 569554 | 1 3942 68 | 1.021 % | 5.38/5.40 c | 5117 | 37427 249068 569554 | 1 3120 42 | 1.021 % | 5.38/5.40 c | 5953 | 37427 249068 569554 | 1 3956 68 | 1.021 % | 5.38/5.40 c | 6585 | 37427 249068 569554 | 1 4588 82 | 1.021 % | 5.38/5.40 c | 6686 | 37427 249068 569554 | 1 4689 82 | 1.021 % | 5.38/5.40 c | 6991 | 37427 249068 569554 | 1 4994 91 | 1.021 % | 5.38/5.40 c | 7091 | 37427 249068 569554 | 1 5094 90 | 1.021 % | 5.38/5.40 c | 7478 | 37427 249068 569554 | 1 5481 93 | 1.021 % | 5.38/5.40 c | 8412 | 37427 249068 569554 | 1 6415 92 | 1.021 % | 5.38/5.40 c | 8513 | 37427 249068 569554 | 1 6516 91 | 1.021 % | 5.38/5.40 c | 8613 | 37427 249068 569554 | 1 6616 90 | 1.021 % | 5.38/5.40 c | 8827 | 37427 249068 569554 | 1 6830 92 | 1.021 % | 5.38/5.40 c | 9406 | 37427 249068 569554 | 1 7409 91 | 1.021 % | 5.38/5.40 c | 9898 | 37406 249048 569487 | 1 7900 91 | 1.076 % | 5.38/5.40 c | 11993 | 37406 249048 569487 | 1 5701 60 | 1.076 % | 5.38/5.40 c | 12093 | 37406 249048 569487 | 1 5801 61 | 1.076 % | 5.38/5.40 c | 13003 | 37342 249001 569322 | 1 6710 64 | 1.246 % | 5.38/5.40 c | 13167 | 37342 249001 569322 | 1 6874 65 | 1.246 % | 5.38/5.40 c | 13539 | 37342 249001 569322 | 1 7246 67 | 1.246 % | 5.38/5.40 c | 14931 | 37342 249001 569322 | 1 8638 65 | 1.246 % | 5.38/5.40 c | 16068 | 37342 249001 569322 | 1 9775 81 | 1.246 % | 5.38/5.40 c | 24144 | 37323 248988 569278 | 1 11101 102 | 1.296 % | 5.38/5.40 c | 24244 | 37323 248988 569278 | 1 11201 102 | 1.296 % | 5.38/5.40 c | 24432 | 37323 248988 569278 | 1 11389 102 | 1.296 % | 5.38/5.40 c | 25605 | 37323 248988 569278 | 1 12562 121 | 1.296 % | 5.38/5.40 c | 27553 | 37323 248988 569278 | 1 14510 119 | 1.296 % | 5.38/5.40 c | 27653 | 37323 248988 569278 | 1 14610 120 | 1.296 % | 5.38/5.40 c | 27754 | 37323 248988 569278 | 1 14711 120 | 1.296 % | 5.38/5.40 c | 27854 | 37323 248988 569278 | 1 14811 120 | 1.296 % | 5.38/5.40 c | 30441 | 37323 248988 569278 | 1 17398 122 | 1.296 % | 11.38/11.49 c | 30544 | 37323 248988 569278 | 1 17501 122 | 1.296 % | 11.38/11.49 c | 30644 | 37323 248988 569278 | 1 17601 123 | 1.296 % | 11.38/11.49 c | 31471 | 37323 248988 569278 | 1 18428 120 | 1.296 % | 11.38/11.49 c | 40198 | 37323 248988 569278 | 1 17879 114 | 1.296 % | 11.38/11.49 c | 40299 | 37323 248988 569278 | 1 17980 114 | 1.296 % | 11.38/11.49 c | 40399 | 37323 248988 569278 | 1 18080 114 | 1.296 % | 11.38/11.49 c | 40501 | 37323 248988 569278 | 1 18182 115 | 1.296 % | 11.38/11.49 c | 40601 | 37323 248988 569278 | 1 18282 115 | 1.296 % | 11.38/11.49 c | 48961 | 37323 248988 569278 | 1 14805 93 | 1.296 % | 11.38/11.49 c | 49061 | 37323 248988 569278 | 1 14905 94 | 1.296 % | 11.38/11.49 c | 49162 | 37323 248988 569278 | 1 15006 94 | 1.296 % | 11.38/11.49 c | 49264 | 37323 248988 569278 | 1 15108 94 | 1.296 % | 11.38/11.49 c | 49365 | 37323 248988 569278 | 1 15209 94 | 1.296 % | 11.38/11.49 c | 49465 | 37323 248988 569278 | 1 15309 94 | 1.296 % | 11.38/11.49 c | 49569 | 37323 248988 569278 | 1 15413 95 | 1.296 % | 11.38/11.49 c | 49670 | 37323 248988 569278 | 1 15514 95 | 1.296 % | 11.38/11.49 c | 49771 | 37323 248988 569278 | 1 15615 96 | 1.296 % | 11.38/11.49 c | 49872 | 37323 248988 569278 | 1 15716 97 | 1.296 % | 11.38/11.49 c | 49972 | 37323 248988 569278 | 1 15816 97 | 1.296 % | 11.38/11.49 c | 50107 | 37323 248988 569278 | 1 15951 98 | 1.296 % | 11.38/11.49 c | 50207 | 37323 248988 569278 | 1 16051 98 | 1.296 % | 11.38/11.49 c | 50490 | 37323 248988 569278 | 1 16334 100 | 1.296 % | 11.38/11.49 c | 50593 | 37323 248988 569278 | 1 16437 100 | 1.296 % | 11.38/11.49 c | 51254 | 37304 248976 569237 | 1 17097 105 | 1.346 % | 11.38/11.49 c | 51409 | 37304 248976 569237 | 1 17252 105 | 1.346 % | 11.38/11.49 c | 51509 | 37304 248976 569237 | 1 17352 106 | 1.346 % | 11.38/11.49 c | 52888 | 37304 248976 569237 | 1 18731 105 | 1.346 % | 11.38/11.49 c | 53472 | 37304 248976 569237 | 1 19315 106 | 1.346 % | 11.38/11.49 c | 53573 | 37304 248976 569237 | 1 19416 106 | 1.346 % | 11.38/11.49 c | 54552 | 37304 248976 569237 | 1 20395 113 | 1.346 % | 11.38/11.49 c | 54758 | 37304 248976 569237 | 1 20601 113 | 1.346 % | 11.38/11.49 c | 55019 | 37304 248976 569237 | 1 20862 115 | 1.346 % | 11.38/11.49 c | 55120 | 37304 248976 569237 | 1 20963 115 | 1.346 % | 11.38/11.49 c | 55363 | 37304 248976 569237 | 1 21206 115 | 1.346 % | 11.38/11.49 c | 55463 | 37304 248976 569237 | 1 21306 115 | 1.346 % | 11.38/11.49 c | 56084 | 37304 248976 569237 | 1 21927 117 | 1.346 % | 11.38/11.49 c | 56184 | 37304 248976 569237 | 1 22027 117 | 1.346 % | 11.38/11.49 c | 56456 | 37304 248976 569237 | 1 22299 119 | 1.346 % | 11.38/11.49 c | 56556 | 37304 248976 569237 | 1 22399 119 | 1.346 % | 11.38/11.49 c | 56657 | 37304 248976 569237 | 1 22500 120 | 1.346 % | 11.38/11.49 c | 56757 | 37304 248976 569237 | 1 22600 120 | 1.346 % | 11.38/11.49 c | 57038 | 37304 248976 569237 | 1 22881 122 | 1.346 % | 11.38/11.49 c | 57139 | 37304 248976 569237 | 1 22982 122 | 1.346 % | 11.38/11.49 c | 57239 | 37304 248976 569237 | 1 23082 123 | 1.346 % | 11.38/11.49 c | 57339 | 37304 248976 569237 | 1 23182 123 | 1.346 % | 11.38/11.49 c | 57640 | 37304 248976 569237 | 1 23483 123 | 1.346 % | 11.38/11.49 c | 57740 | 37304 248976 569237 | 1 23583 123 | 1.346 % | 11.38/11.49 c | 57959 | 37304 248976 569237 | 1 23802 123 | 1.346 % | 11.38/11.49 c | 58648 | 37304 248976 569237 | 1 24491 125 | 1.346 % | 11.38/11.49 c | 58811 | 37304 248976 569237 | 1 24654 125 | 1.346 % | 16.68/16.78 c | 58912 | 37304 248976 569237 | 1 24755 125 | 1.346 % | 16.68/16.78 c | 59024 | 37304 248976 569237 | 1 24867 125 | 1.346 % | 16.68/16.78 c | 59125 | 37304 248976 569237 | 1 24968 125 | 1.346 % | 16.68/16.78 c | 59346 | 37304 248976 569237 | 1 25189 126 | 1.346 % | 16.68/16.78 c | 59447 | 37304 248976 569237 | 1 25290 126 | 1.346 % | 16.68/16.78 c | 59639 | 37304 248976 569237 | 1 25482 127 | 1.346 % | 16.68/16.78 c | 59740 | 37304 248976 569237 | 1 25583 127 | 1.346 % | 16.68/16.78 c | 59840 | 37304 248976 569237 | 1 25683 128 | 1.346 % | 16.68/16.78 c | 60044 | 37304 248976 569237 | 1 25887 128 | 1.346 % | 16.68/16.78 c | 60163 | 37304 248976 569237 | 1 26006 128 | 1.346 % | 16.68/16.78 c | 60365 | 37304 248976 569237 | 1 26208 129 | 1.346 % | 16.68/16.78 c | 60466 | 37304 248976 569237 | 1 26309 129 | 1.346 % | 16.68/16.78 c | 60566 | 37304 248976 569237 | 1 26409 129 | 1.346 % | 16.68/16.78 c | 60668 | 37304 248976 569237 | 1 26511 130 | 1.346 % | 16.68/16.78 c | 60768 | 37304 248976 569237 | 1 26611 130 | 1.346 % | 16.68/16.78 c | 60868 | 37304 248976 569237 | 1 26711 130 | 1.346 % | 16.68/16.78 c | 60968 | 37304 248976 569237 | 1 26811 129 | 1.346 % | 16.68/16.78 c | 61069 | 37304 248976 569237 | 1 26912 130 | 1.346 % | 16.68/16.78 c | 61284 | 37304 248976 569237 | 1 27127 129 | 1.346 % | 16.68/16.78 c | 61384 | 37304 248976 569237 | 1 27227 129 | 1.346 % | 16.68/16.78 c | 61485 | 37304 248976 569237 | 1 27328 129 | 1.346 % | 16.68/16.78 c | 63461 | 37304 248976 569237 | 1 14882 67 | 1.346 % | 16.68/16.78 c | 65548 | 37304 248976 569237 | 1 16969 76 | 1.346 % | 16.68/16.78 c | 66011 | 37304 248976 569237 | 1 17432 76 | 1.346 % | 16.68/16.78 c | 69339 | 37304 248976 569237 | 1 20760 100 | 1.346 % | 16.68/16.78 c | 69439 | 37304 248976 569237 | 1 20860 101 | 1.346 % | 16.68/16.78 c | 71487 | 37304 248976 569237 | 1 22908 108 | 1.346 % | 16.68/16.78 c | 71590 | 37304 248976 569237 | 1 23011 108 | 1.346 % | 16.68/16.78 c | 71847 | 37304 248976 569237 | 1 23268 109 | 1.346 % | 16.68/16.78 c | 77417 | 37304 248976 569237 | 1 28838 126 | 1.346 % | 16.68/16.78 c | 77517 | 37304 248976 569237 | 1 28938 127 | 1.346 % | 16.68/16.78 c | 77617 | 37304 248976 569237 | 1 29038 127 | 1.346 % | 16.68/16.78 c | 77717 | 37304 248976 569237 | 1 29138 127 | 1.346 % | 16.68/16.78 c | 77817 | 37304 248976 569237 | 1 29238 127 | 1.346 % | 16.68/16.78 c | 77918 | 37304 248976 569237 | 1 29339 127 | 1.346 % | 16.68/16.78 c | 78020 | 37304 248976 569237 | 1 29441 127 | 1.346 % | 16.68/16.78 c | 78122 | 37304 248976 569237 | 1 29543 127 | 1.346 % | 16.68/16.78 c | 78355 | 37304 248976 569237 | 1 29776 128 | 1.346 % | 16.68/16.78 c | 78455 | 37304 248976 569237 | 1 29876 128 | 1.346 % | 16.68/16.78 c | 78556 | 37304 248976 569237 | 1 29977 128 | 1.346 % | 16.68/16.78 c | 78656 | 37304 248976 569237 | 1 30077 129 | 1.346 % | 16.68/16.78 c | 78756 | 37304 248976 569237 | 1 30177 129 | 1.346 % | 16.68/16.78 c | 78856 | 37304 248976 569237 | 1 30277 129 | 1.346 % | 16.68/16.78 c | 79177 | 37304 248976 569237 | 1 30598 129 | 1.346 % | 16.68/16.78 c | 79277 | 37304 248976 569237 | 1 30698 129 | 1.346 % | 16.68/16.78 c | 79379 | 37304 248976 569237 | 1 30800 129 | 1.346 % | 16.68/16.78 c | 79479 | 37304 248976 569237 | 1 30900 130 | 1.346 % | 16.68/16.78 c | 79582 | 37304 248976 569237 | 1 31003 129 | 1.346 % | 16.68/16.78 c | 79699 | 37304 248976 569237 | 1 31120 129 | 1.346 % | 16.68/16.78 c | 79800 | 37304 248976 569237 | 1 31221 130 | 1.346 % | 27.58/27.64 c | 79900 | 37304 248976 569237 | 1 31321 130 | 1.346 % | 27.58/27.64 c | 80004 | 37304 248976 569237 | 1 31425 130 | 1.346 % | 27.58/27.64 c | 81387 | 37304 248976 569237 | 1 32808 131 | 1.346 % | 27.58/27.64 c | 81488 | 37304 248976 569237 | 1 32909 131 | 1.346 % | 27.58/27.64 c | 81591 | 37304 248976 569237 | 1 33012 131 | 1.346 % | 27.58/27.64 c | 82011 | 37304 248976 569237 | 1 33432 131 | 1.346 % | 27.58/27.64 c | 82111 | 37304 248976 569237 | 1 33532 131 | 1.346 % | 27.58/27.64 c | 82213 | 37304 248976 569237 | 1 33634 131 | 1.346 % | 27.58/27.64 c | 86657 | 37304 248976 569237 | 1 21076 94 | 1.346 % | 27.58/27.64 c | 86758 | 37304 248976 569237 | 1 21177 94 | 1.346 % | 27.58/27.64 c | 88601 | 37304 248976 569237 | 1 23020 104 | 1.346 % | 27.58/27.64 c | 89610 | 37304 248976 569237 | 1 24029 107 | 1.346 % | 27.58/27.64 c | 89711 | 37304 248976 569237 | 1 24130 107 | 1.346 % | 27.58/27.64 c | 89813 | 37304 248976 569237 | 1 24232 107 | 1.346 % | 27.58/27.64 c | 89913 | 37304 248976 569237 | 1 24332 108 | 1.346 % | 27.58/27.64 c | 90013 | 37304 248976 569237 | 1 24432 108 | 1.346 % | 27.58/27.64 c | 90292 | 37304 248976 569237 | 1 24711 108 | 1.346 % | 27.58/27.64 c | 90393 | 37304 248976 569237 | 1 24812 108 | 1.346 % | 27.58/27.64 c | 92987 | 37304 248976 569237 | 1 27406 115 | 1.346 % | 27.58/27.64 c | 93648 | 37304 248976 569237 | 1 28067 116 | 1.346 % | 27.58/27.64 c | 93999 | 37304 248976 569237 | 1 28418 116 | 1.346 % | 27.58/27.64 c | 94169 | 37304 248976 569237 | 1 28588 116 | 1.346 % | 27.58/27.64 c | 94332 | 37304 248976 569237 | 1 28751 117 | 1.346 % | 27.58/27.64 c | 94469 | 37304 248976 569237 | 1 28888 117 | 1.346 % | 27.58/27.64 c | 94572 | 37304 248976 569237 | 1 28991 117 | 1.346 % | 27.58/27.64 c | 94704 | 37304 248976 569237 | 1 29123 117 | 1.346 % | 27.58/27.64 c | 94891 | 37304 248976 569237 | 1 29310 117 | 1.346 % | 27.58/27.64 c | 94992 | 37304 248976 569237 | 1 29411 117 | 1.346 % | 27.58/27.64 c | 95093 | 37304 248976 569237 | 1 29512 117 | 1.346 % | 27.58/27.64 c | 95193 | 37304 248976 569237 | 1 29612 117 | 1.346 % | 27.58/27.64 c | 95327 | 37304 248976 569237 | 1 29746 117 | 1.346 % | 27.58/27.64 c | 95430 | 37304 248976 569237 | 1 29849 117 | 1.346 % | 27.58/27.64 c | 106306 | 37304 248976 569237 | 1 21122 65 | 1.346 % | 27.58/27.64 c | 107553 | 37304 248976 569237 | 1 22369 66 | 1.346 % | 27.58/27.64 c | 110552 | 37304 248976 569237 | 1 25368 79 | 1.346 % | 27.58/27.64 c | 110653 | 37304 248976 569237 | 1 25469 79 | 1.346 % | 27.58/27.64 c | 110757 | 37304 248976 569237 | 1 25573 80 | 1.346 % | 27.58/27.64 c | 110857 | 37304 248976 569237 | 1 25673 80 | 1.346 % | 27.58/27.64 c | 110957 | 37304 248976 569237 | 1 25773 80 | 1.346 % | 27.58/27.64 c | 111057 | 37304 248976 569237 | 1 25873 80 | 1.346 % | 27.58/27.64 c | 111157 | 37304 248976 569237 | 1 25973 80 | 1.346 % | 27.58/27.64 c | 111403 | 37304 248976 569237 | 1 26219 81 | 1.346 % | 27.58/27.64 c | 111503 | 37304 248976 569237 | 1 26319 81 | 1.346 % | 27.58/27.64 c | 111604 | 37304 248976 569237 | 1 26420 82 | 1.346 % | 27.58/27.64 c | 111717 | 37304 248976 569237 | 1 26533 82 | 1.346 % | 27.58/27.64 c | 111967 | 37304 248976 569237 | 1 26783 82 | 1.346 % | 27.58/27.64 c | 112067 | 37304 248976 569237 | 1 26883 83 | 1.346 % | 27.58/27.64 c | 112168 | 37304 248976 569237 | 1 26984 83 | 1.346 % | 27.58/27.64 c | 122373 | 37304 248976 569237 | 1 37189 107 | 1.346 % | 27.58/27.64 c | 122475 | 37304 248976 569237 | 1 37291 107 | 1.346 % | 38.78/38.81 c | 123368 | 37304 248976 569237 | 1 38184 109 | 1.346 % | 38.78/38.81 c | 125558 | 37304 248976 569237 | 1 40374 108 | 1.346 % | 38.78/38.81 c | 125659 | 37304 248976 569237 | 1 40475 108 | 1.346 % | 38.78/38.81 c | 125759 | 37304 248976 569237 | 1 40575 108 | 1.346 % | 38.78/38.81 c | 128640 | 37304 248976 569237 | 1 43456 113 | 1.346 % | 38.78/38.81 c | 128741 | 37304 248976 569237 | 1 43557 113 | 1.346 % | 38.78/38.81 c | 128842 | 37304 248976 569237 | 1 43658 113 | 1.346 % | 38.78/38.81 c | 128942 | 37304 248976 569237 | 1 43758 113 | 1.346 % | 38.78/38.81 c | 129042 | 37304 248976 569237 | 1 43858 113 | 1.346 % | 38.78/38.81 c | 129142 | 37304 248976 569237 | 1 43958 113 | 1.346 % | 38.78/38.81 c | 129243 | 37304 248976 569237 | 1 44059 114 | 1.346 % | 38.78/38.81 c | 129537 | 37304 248976 569237 | 1 44353 114 | 1.346 % | 38.78/38.81 c | 129670 | 37304 248976 569237 | 1 22280 62 | 1.346 % | 38.78/38.81 c | 129770 | 37304 248976 569237 | 1 22380 63 | 1.346 % | 38.78/38.81 c | 139028 | 37304 248976 569237 | 1 31638 85 | 1.346 % | 38.78/38.81 c | 139394 | 37304 248976 569237 | 1 32004 85 | 1.346 % | 38.78/38.81 c | 140154 | 37304 248976 569237 | 1 32764 89 | 1.346 % | 38.78/38.81 c | 140256 | 37304 248976 569237 | 1 32866 90 | 1.346 % | 38.78/38.81 c | 159760 | 37304 248976 569237 | 1 27568 94 | 1.346 % | 38.78/38.81 c | 159861 | 37304 248976 569237 | 1 27669 94 | 1.346 % | 38.78/38.81 c | 159961 | 37304 248976 569237 | 1 27769 94 | 1.346 % | 38.78/38.81 c | 160061 | 37304 248976 569237 | 1 27869 94 | 1.346 % | 38.78/38.81 c | 160163 | 37304 248976 569237 | 1 27971 95 | 1.346 % | 38.78/38.81 c | 160263 | 37304 248976 569237 | 1 28071 95 | 1.346 % | 38.78/38.81 c | 160379 | 37304 248976 569237 | 1 28187 95 | 1.346 % | 38.78/38.81 c | 160479 | 37304 248976 569237 | 1 28287 95 | 1.346 % | 38.78/38.81 c | 160634 | 37304 248976 569237 | 1 28442 97 | 1.346 % | 38.78/38.81 c | 160735 | 37304 248976 569237 | 1 28543 97 | 1.346 % | 38.78/38.81 c | 160836 | 37304 248976 569237 | 1 28644 97 | 1.346 % | 38.78/38.81 c | 160937 | 37304 248976 569237 | 1 28745 97 | 1.346 % | 38.78/38.81 c | 161038 | 37304 248976 569237 | 1 28846 98 | 1.346 % | 38.78/38.81 c | 161138 | 37304 248976 569237 | 1 28946 98 | 1.346 % | 38.78/38.81 c | 161238 | 37304 248976 569237 | 1 29046 98 | 1.346 % | 38.78/38.81 c | 161338 | 37304 248976 569237 | 1 29146 98 | 1.346 % | 38.78/38.81 c | 161439 | 37304 248976 569237 | 1 29247 98 | 1.346 % | 38.78/38.81 c | 161539 | 37304 248976 569237 | 1 29347 98 | 1.346 % | 38.78/38.81 c | 161640 | 37304 248976 569237 | 1 29448 98 | 1.346 % | 38.78/38.81 c | 161742 | 37304 248976 569237 | 1 29550 98 | 1.346 % | 38.78/38.81 c | 161843 | 37304 248976 569237 | 1 29651 98 | 1.346 % | 38.78/38.81 c | 161943 | 37304 248976 569237 | 1 29751 98 | 1.346 % | 38.78/38.81 c | 162043 | 37304 248976 569237 | 1 29851 98 | 1.346 % | 38.78/38.81 c | 162186 | 37304 248976 569237 | 1 29994 98 | 1.346 % | 38.78/38.81 c | 162290 | 37304 248976 569237 | 1 30098 98 | 1.346 % | 38.78/38.81 c | 162390 | 37304 248976 569237 | 1 30198 99 | 1.346 % | 38.78/38.81 c | 162490 | 37304 248976 569237 | 1 30298 99 | 1.346 % | 38.78/38.81 c | 162905 | 37304 248976 569237 | 1 30713 99 | 1.346 % | 38.78/38.81 c | 163006 | 37304 248976 569237 | 1 30814 99 | 1.346 % | 38.78/38.81 c | 165530 | 37304 248976 569237 | 1 33338 99 | 1.346 % | 38.78/38.81 c | 165630 | 37304 248976 569237 | 1 33438 99 | 1.346 % | 38.78/38.81 c | 165771 | 37304 248976 569237 | 1 33579 99 | 1.346 % | 59.47/59.59 c | 166461 | 37304 248976 569237 | 1 34269 101 | 1.346 % | 59.47/59.59 c | 181558 | 37304 248976 569237 | 1 49366 100 | 1.346 % | 59.47/59.59 c | 181664 | 37304 248976 569237 | 1 49472 100 | 1.346 % | 59.47/59.59 c | 181767 | 37304 248976 569237 | 1 49575 100 | 1.346 % | 59.47/59.59 c | 181867 | 37304 248976 569237 | 1 49675 100 | 1.346 % | 59.47/59.59 c | 182975 | 37304 248976 569237 | 1 50783 102 | 1.346 % | 59.47/59.59 c | 183075 | 37304 248976 569237 | 1 50883 102 | 1.346 % | 59.47/59.59 c | 183236 | 37304 248976 569237 | 1 51044 102 | 1.346 % | 59.47/59.59 c | 184085 | 37304 248976 569237 | 1 51893 104 | 1.346 % | 59.47/59.59 c | 186878 | 37276 248953 569143 | 1 54670 107 | 1.420 % | 59.47/59.59 c | 189618 | 37276 248953 569143 | 1 30017 68 | 1.420 % | 59.47/59.59 c | 189719 | 37276 248953 569143 | 1 30118 68 | 1.420 % | 59.47/59.59 c | 205240 | 37276 248953 569143 | 1 45639 77 | 1.420 % | 59.47/59.59 c | 205341 | 37276 248953 569143 | 1 45740 77 | 1.420 % | 59.47/59.59 c | 205441 | 37276 248953 569143 | 1 45840 77 | 1.420 % | 59.47/59.59 c | 205541 | 37276 248953 569143 | 1 45940 78 | 1.420 % | 59.47/59.59 c | 205667 | 37276 248953 569143 | 1 46066 78 | 1.420 % | 59.47/59.59 c | 205769 | 37276 248953 569143 | 1 46168 78 | 1.420 % | 59.47/59.59 c | 205870 | 37276 248953 569143 | 1 46269 78 | 1.420 % | 59.47/59.59 c | 207161 | 37276 248953 569143 | 1 47560 80 | 1.420 % | 59.47/59.59 c | 207261 | 37276 248953 569143 | 1 47660 80 | 1.420 % | 59.47/59.59 c | 207765 | 37276 248953 569143 | 1 48164 82 | 1.420 % | 59.47/59.59 c | 207865 | 37276 248953 569143 | 1 48264 82 | 1.420 % | 59.47/59.59 c | 208548 | 37276 248953 569143 | 1 48947 82 | 1.420 % | 59.47/59.59 c | 209811 | 37275 248953 569143 | 1 50209 85 | 1.423 % | 59.47/59.59 c | 215075 | 37266 248953 569143 | 1 55472 87 | 1.447 % | 59.47/59.59 c | 232024 | 37266 248944 569110 | 1 42425 65 | 1.447 % | 59.47/59.59 c | 234426 | 37266 248944 569110 | 1 44827 69 | 1.447 % | 59.47/59.59 c | 236195 | 37266 248944 569110 | 1 46596 72 | 1.447 % | 59.47/59.59 c | 236513 | 37266 248944 569110 | 1 46914 72 | 1.447 % | 59.47/59.59 c | 236615 | 37266 248944 569110 | 1 47016 73 | 1.447 % | 59.47/59.59 c | 236717 | 37266 248944 569110 | 1 47118 73 | 1.447 % | 59.47/59.59 c | 236817 | 37266 248944 569110 | 1 47218 73 | 1.447 % | 59.47/59.59 c | 236917 | 37266 248944 569110 | 1 47318 73 | 1.447 % | 59.47/59.59 c | 241852 | 37266 248944 569110 | 1 52253 84 | 1.447 % | 59.47/59.59 c | 242115 | 37266 248944 569110 | 1 52516 84 | 1.447 % | 59.47/59.59 c | 242217 | 37266 248944 569110 | 1 52618 84 | 1.447 % | 59.47/59.59 c | 242321 | 37266 248944 569110 | 1 52722 84 | 1.447 % | 59.47/59.59 c | 242426 | 37266 248944 569110 | 1 52827 84 | 1.447 % | 59.47/59.59 c | 242528 | 37266 248944 569110 | 1 52929 84 | 1.447 % | 59.47/59.59 c | 242631 | 37266 248944 569110 | 1 53032 84 | 1.447 % | 59.47/59.59 c | 242731 | 37266 248944 569110 | 1 53132 84 | 1.447 % | 59.47/59.59 c | 242833 | 37266 248944 569110 | 1 53234 84 | 1.447 % | 59.47/59.59 c | 242935 | 37266 248944 569110 | 1 53336 84 | 1.447 % | 59.47/59.59 c | 243036 | 37266 248944 569110 | 1 53437 84 | 1.447 % | 59.47/59.59 c | 243138 | 37266 248944 569110 | 1 53539 84 | 1.447 % | 59.47/59.59 c | 243242 | 37266 248944 569110 | 1 53643 84 | 1.447 % | 59.47/59.59 c | 243345 | 37266 248944 569110 | 1 53746 85 | 1.447 % | 59.47/59.59 c | 249009 | 37266 248944 569110 | 1 59410 86 | 1.447 % | 59.47/59.59 c | 249110 | 37266 248944 569110 | 1 59511 86 | 1.447 % | 74.27/74.39 c | 250312 | 37266 248944 569110 | 1 60713 86 | 1.447 % | 74.27/74.39 c | 250414 | 37266 248944 569110 | 1 60815 86 | 1.447 % | 74.27/74.39 c | 251046 | 37266 248944 569110 | 1 61447 86 | 1.447 % | 74.27/74.39 c | 251146 | 37266 248944 569110 | 1 61547 86 | 1.447 % | 74.27/74.39 c | 251246 | 37266 248944 569110 | 1 61647 86 | 1.447 % | 74.27/74.39 c | 255615 | 37266 248944 569110 | 1 33442 57 | 1.447 % | 74.27/74.39 c | 255715 | 37266 248944 569110 | 1 33542 57 | 1.447 % | 74.27/74.39 c | 256019 | 37266 248944 569110 | 1 33846 58 | 1.447 % | 74.27/74.39 c | 256119 | 37266 248944 569110 | 1 33946 58 | 1.447 % | 74.27/74.39 c | 258290 | 37266 248944 569110 | 1 36117 78 | 1.447 % | 74.27/74.39 c | 258660 | 37266 248944 569110 | 1 36487 78 | 1.447 % | 74.27/74.39 c | 258760 | 37266 248944 569110 | 1 36587 78 | 1.447 % | 74.27/74.39 c | 258861 | 37266 248944 569110 | 1 36688 78 | 1.447 % | 74.27/74.39 c | 259365 | 37266 248944 569110 | 1 37192 78 | 1.447 % | 74.27/74.39 c | 259466 | 37266 248944 569110 | 1 37293 78 | 1.447 % | 74.27/74.39 c | 259566 | 37266 248944 569110 | 1 37393 78 | 1.447 % | 74.27/74.39 c | 260336 | 37266 248944 569110 | 1 38163 78 | 1.447 % | 74.27/74.39 c | 260436 | 37266 248944 569110 | 1 38263 78 | 1.447 % | 74.27/74.39 c | 260569 | 37266 248944 569110 | 1 38396 78 | 1.447 % | 74.27/74.39 c | 265256 | 37266 248944 569110 | 1 43083 91 | 1.447 % | 74.27/74.39 c | 265629 | 37266 248944 569110 | 1 43456 91 | 1.447 % | 74.27/74.39 c | 265960 | 37266 248944 569110 | 1 43787 92 | 1.447 % | 74.27/74.39 c | 266060 | 37266 248944 569110 | 1 43887 92 | 1.447 % | 74.27/74.39 c | 266215 | 37266 248944 569110 | 1 44042 92 | 1.447 % | 74.27/74.39 c | 266315 | 37266 248944 569110 | 1 44142 92 | 1.447 % | 74.27/74.39 c | 266421 | 37266 248944 569110 | 1 44248 92 | 1.447 % | 74.27/74.39 c | 270293 | 37266 248944 569110 | 1 48120 90 | 1.447 % | 74.27/74.39 c | 270394 | 37266 248944 569110 | 1 48221 90 | 1.447 % | 74.27/74.39 c | 276168 | 37205 248941 569043 | 1 49850 95 | 1.608 % | 74.27/74.39 c | 276269 | 37205 248941 569043 | 1 49951 95 | 1.608 % | 74.27/74.39 c | 278927 | 37205 248941 569043 | 1 52609 96 | 1.608 % | 74.27/74.39 c | 287692 | 37205 248941 569043 | 1 61374 95 | 1.608 % | 74.27/74.39 c | 288289 | 37205 248941 569043 | 1 61971 95 | 1.608 % | 74.27/74.39 c | 288390 | 37205 248941 569043 | 1 62072 95 | 1.608 % | 74.27/74.39 c | 288964 | 37205 248941 569043 | 1 62646 95 | 1.608 % | 74.27/74.39 c | 289064 | 37205 248941 569043 | 1 62746 96 | 1.608 % | 74.27/74.39 c | 289624 | 37205 248941 569043 | 1 63306 96 | 1.608 % | 74.27/74.39 c | 289973 | 37205 248941 569043 | 1 63655 96 | 1.608 % | 74.27/74.39 c | 298169 | 37205 248941 569043 | 1 38715 81 | 1.608 % | 74.27/74.39 c | 298269 | 37205 248941 569043 | 1 38815 81 | 1.608 % | 74.27/74.39 c | 298372 | 37205 248941 569043 | 1 38918 81 | 1.608 % | 74.27/74.39 c | 298475 | 37205 248941 569043 | 1 39021 82 | 1.608 % | 74.27/74.39 c | 300436 | 37205 248941 569043 | 1 40982 81 | 1.608 % | 74.27/74.39 c | 301331 | 37205 248941 569043 | 1 41877 84 | 1.608 % | 74.27/74.39 c | 301431 | 37205 248941 569043 | 1 41977 84 | 1.608 % | 74.27/74.39 c | 302149 | 37205 248941 569043 | 1 42695 90 | 1.608 % | 74.27/74.39 c | 302412 | 37205 248941 569043 | 1 42958 90 | 1.608 % | 74.27/74.39 c | 302589 | 37205 248941 569043 | 1 43135 91 | 1.608 % | 74.27/74.39 c | 302691 | 37205 248941 569043 | 1 43237 91 | 1.608 % | 88.77/88.87 c | 302793 | 37205 248941 569043 | 1 43339 91 | 1.608 % | 88.77/88.87 c | 302894 | 37205 248941 569043 | 1 43440 92 | 1.608 % | 88.77/88.87 c | 302995 | 37205 248941 569043 | 1 43541 92 | 1.608 % | 88.77/88.87 c | 308372 | 37205 248941 569043 | 1 48918 91 | 1.608 % | 88.77/88.87 c | 308473 | 37205 248941 569043 | 1 49019 92 | 1.608 % | 88.77/88.87 c | 308592 | 37205 248941 569043 | 1 49138 92 | 1.608 % | 88.77/88.87 c | 323737 | 37205 248941 569043 | 1 64283 92 | 1.608 % | 88.77/88.87 c | 323839 | 37205 248941 569043 | 1 64385 92 | 1.608 % | 88.77/88.87 c | 324437 | 37205 248941 569043 | 1 64983 92 | 1.608 % | 88.77/88.87 c | 330296 | 37205 248941 569043 | 1 70842 89 | 1.608 % | 88.77/88.87 c | 333453 | 37205 248941 569043 | 1 37246 53 | 1.608 % | 88.77/88.87 c | 333553 | 37205 248941 569043 | 1 37346 53 | 1.608 % | 88.77/88.87 c | 333653 | 37205 248941 569043 | 1 37446 54 | 1.608 % | 88.77/88.87 c | 333764 | 37205 248941 569043 | 1 37557 54 | 1.608 % | 88.77/88.87 c | 334722 | 37205 248941 569043 | 1 38515 59 | 1.608 % | 88.77/88.87 c | 339149 | 37205 248941 569043 | 1 42942 69 | 1.608 % | 88.77/88.87 c | 339278 | 37205 248941 569043 | 1 43071 69 | 1.608 % | 88.77/88.87 c | 339378 | 37205 248941 569043 | 1 43171 69 | 1.608 % | 88.77/88.87 c | 340965 | 37205 248941 569043 | 1 44758 71 | 1.608 % | 88.77/88.87 c | 343388 | 37168 248880 568841 | 1 47177 87 | 1.706 % | 88.77/88.87 c | 343490 | 37168 248880 568841 | 1 47279 87 | 1.706 % | 88.77/88.87 c | 346489 | 37168 248880 568841 | 1 50278 90 | 1.706 % | 88.77/88.87 c | 346591 | 37168 248880 568841 | 1 50380 90 | 1.706 % | 88.77/88.87 c | 346691 | 37168 248880 568841 | 1 50480 90 | 1.706 % | 88.77/88.87 c | 347311 | 37168 248880 568841 | 1 51100 90 | 1.706 % | 88.77/88.87 c | 347575 | 37168 248880 568841 | 1 51364 90 | 1.706 % | 88.77/88.87 c | 347676 | 37168 248880 568841 | 1 51465 91 | 1.706 % | 88.77/88.87 c | 347777 | 37168 248880 568841 | 1 51566 90 | 1.706 % | 88.77/88.87 c | 347878 | 37168 248880 568841 | 1 51667 91 | 1.706 % | 88.77/88.87 c | 347978 | 37168 248880 568841 | 1 51767 91 | 1.706 % | 88.77/88.87 c | 348079 | 37168 248880 568841 | 1 51868 91 | 1.706 % | 88.77/88.87 c | 348343 | 37168 248880 568841 | 1 52132 91 | 1.706 % | 88.77/88.87 c | 348443 | 37168 248880 568841 | 1 52232 91 | 1.706 % | 88.77/88.87 c | 348545 | 37168 248880 568841 | 1 52334 92 | 1.706 % | 88.77/88.87 c | 348753 | 37168 248880 568841 | 1 52542 92 | 1.706 % | 88.77/88.87 c | 351173 | 37168 248880 568841 | 1 54962 97 | 1.706 % | 88.77/88.87 c | 351274 | 37168 248880 568841 | 1 55063 97 | 1.706 % | 88.77/88.87 c | 351416 | 37168 248880 568841 | 1 55205 97 | 1.706 % | 88.77/88.87 c | 351516 | 37168 248880 568841 | 1 55305 98 | 1.706 % | 88.77/88.87 c | 351619 | 37168 248880 568841 | 1 55408 98 | 1.706 % | 88.77/88.87 c | 351719 | 37168 248880 568841 | 1 55508 98 | 1.706 % | 88.77/88.87 c | 352829 | 37168 248880 568841 | 1 56618 100 | 1.706 % | 88.77/88.87 c | 352929 | 37168 248880 568841 | 1 56718 100 | 1.706 % | 88.77/88.87 c | 353252 | 37168 248880 568841 | 1 57041 100 | 1.706 % | 88.77/88.87 c | 353460 | 37168 248880 568841 | 1 57249 100 | 1.706 % | 88.77/88.87 c | 353560 | 37168 248880 568841 | 1 57349 100 | 1.706 % | 88.77/88.87 c | 353660 | 37168 248880 568841 | 1 57449 100 | 1.706 % | 88.77/88.87 c | 354045 | 37168 248880 568841 | 1 57834 103 | 1.706 % | 88.77/88.87 c | 354145 | 37168 248880 568841 | 1 57934 103 | 1.706 % | 88.77/88.87 c | 354934 | 37168 248880 568841 | 1 58723 107 | 1.706 % | 96.79/96.82 c | 355035 | 37168 248880 568841 | 1 58824 107 | 1.706 % | 96.79/96.82 c | 355135 | 37168 248880 568841 | 1 58924 107 | 1.706 % | 96.79/96.82 c | 355237 | 37168 248880 568841 | 1 59026 108 | 1.706 % | 96.79/96.82 c | 355340 | 37168 248880 568841 | 1 59129 108 | 1.706 % | 96.79/96.82 c | 355441 | 37168 248880 568841 | 1 59230 108 | 1.706 % | 96.79/96.82 c | 355542 | 37168 248880 568841 | 1 59331 108 | 1.706 % | 96.79/96.82 c | 358654 | 37168 248880 568841 | 1 62443 123 | 1.706 % | 96.79/96.82 c | 358941 | 37168 248880 568841 | 1 62730 125 | 1.706 % | 96.79/96.82 c | 360163 | 37168 248880 568841 | 1 63952 125 | 1.706 % | 96.79/96.82 c | 360274 | 37168 248880 568841 | 1 64063 126 | 1.706 % | 96.79/96.82 c | 361175 | 37167 248880 568841 | 1 64054 123 | 1.708 % | 96.79/96.82 c | 361279 | 37167 248880 568841 | 1 64158 123 | 1.708 % | 96.79/96.82 c | 365678 | 37167 248880 568841 | 1 68557 119 | 1.708 % | 96.79/96.82 c | 365831 | 37167 248880 568841 | 1 68710 119 | 1.708 % | 96.79/96.82 c | 365931 | 37167 248880 568841 | 1 68810 119 | 1.708 % | 96.79/96.82 c | 366032 | 37167 248880 568841 | 1 68911 119 | 1.708 % | 96.79/96.82 c | 366133 | 37167 248880 568841 | 1 69012 119 | 1.708 % | 96.79/96.82 c | 366610 | 37167 248880 568841 | 1 69489 119 | 1.708 % | 96.79/96.82 c | 366710 | 37167 248880 568841 | 1 69589 119 | 1.708 % | 96.79/96.82 c | 366810 | 37167 248880 568841 | 1 69689 119 | 1.708 % | 96.79/96.82 c | 367194 | 37167 248880 568841 | 1 70073 119 | 1.708 % | 96.79/96.82 c | 368963 | 37167 248880 568841 | 1 71842 121 | 1.708 % | 96.79/96.82 c | 369063 | 37167 248880 568841 | 1 71942 121 | 1.708 % | 96.79/96.82 c | 369179 | 37167 248880 568841 | 1 72058 120 | 1.708 % | 96.79/96.82 c | 369279 | 37167 248880 568841 | 1 72158 120 | 1.708 % | 96.79/96.82 c | 369433 | 37167 248880 568841 | 1 72312 120 | 1.708 % | 96.79/96.82 c | 369536 | 37167 248880 568841 | 1 72415 120 | 1.708 % | 96.79/96.82 c | 369636 | 37167 248880 568841 | 1 72515 120 | 1.708 % | 96.79/96.82 c | 369736 | 37167 248880 568841 | 1 72615 120 | 1.708 % | 96.79/96.82 c | 369836 | 37167 248880 568841 | 1 72715 121 | 1.708 % | 96.79/96.82 c | 369965 | 37167 248880 568841 | 1 72844 120 | 1.708 % | 96.79/96.82 c | 370065 | 37167 248880 568841 | 1 72944 121 | 1.708 % | 96.79/96.82 c | 370165 | 37167 248880 568841 | 1 73044 121 | 1.708 % | 96.79/96.82 c | 370265 | 37167 248880 568841 | 1 73144 121 | 1.708 % | 96.79/96.82 c | 370388 | 37167 248880 568841 | 1 73267 121 | 1.708 % | 96.79/96.82 c | 370491 | 37167 248880 568841 | 1 73370 121 | 1.708 % | 96.79/96.82 c | 376148 | 37167 248880 568841 | 1 39596 71 | 1.708 % | 96.79/96.82 c | 376248 | 37167 248880 568841 | 1 39696 71 | 1.708 % | 96.79/96.82 c | 377388 | 37167 248880 568841 | 1 40836 72 | 1.708 % | 96.79/96.82 c | 377594 | 37167 248880 568841 | 1 41042 73 | 1.708 % | 96.79/96.82 c | 377694 | 37167 248880 568841 | 1 41142 73 | 1.708 % | 96.79/96.82 c | 377794 | 37167 248880 568841 | 1 41242 73 | 1.708 % | 96.79/96.82 c | 377894 | 37167 248880 568841 | 1 41342 73 | 1.708 % | 96.79/96.82 c | 377996 | 37167 248880 568841 | 1 41444 74 | 1.708 % | 96.79/96.82 c | 379867 | 37167 248880 568841 | 1 43315 81 | 1.708 % | 96.79/96.82 c | 379967 | 37167 248880 568841 | 1 43415 81 | 1.708 % | 96.79/96.82 c | 380069 | 37167 248880 568841 | 1 43517 81 | 1.708 % | 96.79/96.82 c | 380171 | 37167 248880 568841 | 1 43619 81 | 1.708 % | 96.79/96.82 c | 380486 | 37167 248880 568841 | 1 43934 81 | 1.708 % | 96.79/96.82 c | 380588 | 37167 248880 568841 | 1 44036 81 | 1.708 % | 106.38/106.48 c | 382038 | 37167 248880 568841 | 1 45486 82 | 1.708 % | 106.38/106.48 c | 382263 | 37167 248880 568841 | 1 45711 82 | 1.708 % | 106.38/106.48 c | 382364 | 37167 248880 568841 | 1 45812 82 | 1.708 % | 106.38/106.48 c | 382464 | 37167 248880 568841 | 1 45912 82 | 1.708 % | 106.38/106.48 c | 382564 | 37167 248880 568841 | 1 46012 82 | 1.708 % | 106.38/106.48 c | 382666 | 37167 248880 568841 | 1 46114 82 | 1.708 % | 106.38/106.48 c | 383823 | 37167 248880 568841 | 1 47271 83 | 1.708 % | 106.38/106.48 c | 383951 | 37167 248880 568841 | 1 47399 83 | 1.708 % | 106.38/106.48 c | 384052 | 37167 248880 568841 | 1 47500 83 | 1.708 % | 106.38/106.48 c | 384155 | 37167 248880 568841 | 1 47603 83 | 1.708 % | 106.38/106.48 c | 384258 | 37167 248880 568841 | 1 47706 83 | 1.708 % | 106.38/106.48 c | 384359 | 37167 248880 568841 | 1 47807 83 | 1.708 % | 106.38/106.48 c | 384499 | 37167 248880 568841 | 1 47947 83 | 1.708 % | 106.38/106.48 c | 385556 | 37167 248880 568841 | 1 49004 83 | 1.708 % | 106.38/106.48 c | 385701 | 37167 248880 568841 | 1 49149 84 | 1.708 % | 106.38/106.48 c | 385801 | 37167 248880 568841 | 1 49249 85 | 1.708 % | 106.38/106.48 c | 385901 | 37167 248880 568841 | 1 49349 85 | 1.708 % | 106.38/106.48 c | 386049 | 37167 248880 568841 | 1 49497 85 | 1.708 % | 106.38/106.48 c | 386149 | 37167 248880 568841 | 1 49597 86 | 1.708 % | 106.38/106.48 c | 386249 | 37167 248880 568841 | 1 49697 86 | 1.708 % | 106.38/106.48 c | 386349 | 37167 248880 568841 | 1 49797 87 | 1.708 % | 106.38/106.48 c | 386449 | 37167 248880 568841 | 1 49897 87 | 1.708 % | 106.38/106.48 c | 386549 | 37167 248880 568841 | 1 49997 87 | 1.708 % | 106.38/106.48 c | 386649 | 37167 248880 568841 | 1 50097 87 | 1.708 % | 106.38/106.48 c | 386753 | 37167 248880 568841 | 1 50201 87 | 1.708 % | 106.38/106.48 c | 386854 | 37167 248880 568841 | 1 50302 87 | 1.708 % | 106.38/106.48 c | 389221 | 37167 248880 568841 | 1 52669 88 | 1.708 % | 106.38/106.48 c | 414763 | 37167 248880 568841 | 1 78211 81 | 1.708 % | 106.38/106.48 c | 415693 | 37167 248880 568841 | 1 79141 83 | 1.708 % | 106.38/106.48 c | 415795 | 37167 248880 568841 | 1 79243 83 | 1.708 % | 106.38/106.48 c | 415898 | 37167 248880 568841 | 1 79346 83 | 1.708 % | 106.38/106.48 c | 415999 | 37167 248880 568841 | 1 79447 83 | 1.708 % | 106.38/106.48 c | 416101 | 37167 248880 568841 | 1 79549 83 | 1.708 % | 106.38/106.48 c | 416204 | 37167 248880 568841 | 1 79652 83 | 1.708 % | 106.38/106.48 c | 416603 | 37167 248880 568841 | 1 80051 85 | 1.708 % | 106.38/106.48 c | 417459 | 37167 248880 568841 | 1 80907 85 | 1.708 % | 106.38/106.48 c | 417673 | 37167 248880 568841 | 1 81121 86 | 1.708 % | 106.38/106.48 c | 418480 | 37167 248880 568841 | 1 81928 85 | 1.708 % | 106.38/106.48 c | 418580 | 37167 248880 568841 | 1 82028 85 | 1.708 % | 106.38/106.48 c | 418683 | 37167 248880 568841 | 1 82131 85 | 1.708 % | 106.38/106.48 c | 418784 | 37167 248880 568841 | 1 82232 85 | 1.708 % | 106.38/106.48 c | 420211 | 37167 248880 568841 | 1 83659 86 | 1.708 % | 106.38/106.48 c | 420312 | 37167 248880 568841 | 1 83760 86 | 1.708 % | 106.38/106.48 c | 420996 | 37167 248880 568841 | 1 84444 87 | 1.708 % | 106.38/106.48 c | 421260 | 37167 248880 568841 | 1 84708 87 | 1.708 % | 106.38/106.48 c | 421360 | 37167 248880 568841 | 1 84808 87 | 1.708 % | 106.38/106.48 c | 421503 | 37167 248880 568841 | 1 84951 87 | 1.708 % | 106.38/106.48 c | 422745 | 37167 248880 568841 | 1 43672 56 | 1.708 % | 106.38/106.48 c | 422910 | 37167 248880 568841 | 1 43837 56 | 1.708 % | 106.38/106.48 c | 423011 | 37167 248880 568841 | 1 43938 57 | 1.708 % | 111.78/111.80 c | 423171 | 37167 248880 568841 | 1 44098 57 | 1.708 % | 111.78/111.80 c | 423384 | 37167 248880 568841 | 1 44311 57 | 1.708 % | 111.78/111.80 c | 423485 | 37167 248880 568841 | 1 44412 57 | 1.708 % | 111.78/111.80 c | 423586 | 37167 248880 568841 | 1 44513 58 | 1.708 % | 111.78/111.80 c | 429055 | 37167 248880 568841 | 1 49982 59 | 1.708 % | 111.78/111.80 c | 429247 | 37167 248880 568841 | 1 50174 59 | 1.708 % | 111.78/111.80 c | 429347 | 37167 248880 568841 | 1 50274 59 | 1.708 % | 111.78/111.80 c | 429447 | 37167 248880 568841 | 1 50374 60 | 1.708 % | 111.78/111.80 c | 429548 | 37167 248880 568841 | 1 50475 60 | 1.708 % | 111.78/111.80 c | 429900 | 37167 248880 568841 | 1 50827 62 | 1.708 % | 111.78/111.80 c | 430000 | 37167 248880 568841 | 1 50927 62 | 1.708 % | 111.78/111.80 c | 431305 | 37167 248880 568841 | 1 52232 64 | 1.708 % | 111.78/111.80 c | 431461 | 37167 248880 568841 | 1 52388 64 | 1.708 % | 111.78/111.80 c | 431613 | 37167 248880 568841 | 1 52540 64 | 1.708 % | 111.78/111.80 c | 431720 | 37167 248880 568841 | 1 52647 64 | 1.708 % | 111.78/111.80 c | 431820 | 37167 248880 568841 | 1 52747 64 | 1.708 % | 111.78/111.80 c | 433403 | 37167 248880 568841 | 1 54330 64 | 1.708 % | 111.78/111.80 c | 433504 | 37167 248880 568841 | 1 54431 65 | 1.708 % | 111.78/111.80 c | 433606 | 37167 248880 568841 | 1 54533 65 | 1.708 % | 111.78/111.80 c | 434323 | 37167 248880 568841 | 1 55250 65 | 1.708 % | 111.78/111.80 c | 434423 | 37167 248880 568841 | 1 55350 65 | 1.708 % | 111.78/111.80 c | 434526 | 37167 248880 568841 | 1 55453 65 | 1.708 % | 111.78/111.80 c | 434628 | 37167 248880 568841 | 1 55555 66 | 1.708 % | 111.78/111.80 c | 434761 | 37167 248880 568841 | 1 55688 66 | 1.708 % | 111.78/111.80 c | 434861 | 37167 248880 568841 | 1 55788 66 | 1.708 % | 111.78/111.80 c | 434964 | 37167 248880 568841 | 1 55891 66 | 1.708 % | 111.78/111.80 c | 436967 | 37167 248880 568841 | 1 57894 76 | 1.708 % | 111.78/111.80 c | 437067 | 37167 248880 568841 | 1 57994 76 | 1.708 % | 111.78/111.80 c | 437499 | 37167 248880 568841 | 1 58426 76 | 1.708 % | 111.78/111.80 c | 437940 | 37167 248880 568841 | 1 58867 78 | 1.708 % | 111.78/111.80 c | 438042 | 37167 248880 568841 | 1 58969 79 | 1.708 % | 111.78/111.80 c | 438144 | 37167 248880 568841 | 1 59071 79 | 1.708 % | 111.78/111.80 c | 438244 | 37167 248880 568841 | 1 59171 79 | 1.708 % | 111.78/111.80 c | 438344 | 37167 248880 568841 | 1 59271 79 | 1.708 % | 111.78/111.80 c | 438484 | 37167 248880 568841 | 1 59411 79 | 1.708 % | 111.78/111.80 c | 439736 | 37167 248880 568841 | 1 60663 79 | 1.708 % | 111.78/111.80 c | 439836 | 37167 248880 568841 | 1 60763 79 | 1.708 % | 111.78/111.80 c | 439936 | 37167 248880 568841 | 1 60863 79 | 1.708 % | 111.78/111.80 c | 440038 | 37167 248880 568841 | 1 60965 79 | 1.708 % | 111.78/111.80 c | 441268 | 37167 248880 568841 | 1 62195 79 | 1.708 % | 111.78/111.80 c | 441924 | 37167 248880 568841 | 1 62851 80 | 1.708 % | 111.78/111.80 c | 442133 | 37167 248880 568841 | 1 63060 80 | 1.708 % | 111.78/111.80 c | 442233 | 37167 248880 568841 | 1 63160 80 | 1.708 % | 111.78/111.80 c | 442517 | 37167 248880 568841 | 1 63444 81 | 1.708 % | 111.78/111.80 c | 442645 | 37167 248880 568841 | 1 63572 81 | 1.708 % | 111.78/111.80 c | 443068 | 37167 248880 568841 | 1 63995 81 | 1.708 % | 111.78/111.80 c | 443317 | 37167 248880 568841 | 1 64244 81 | 1.708 % | 111.78/111.80 c | 443417 | 37167 248880 568841 | 1 64344 82 | 1.708 % | 111.78/111.80 c | 444170 | 37167 248880 568841 | 1 65097 81 | 1.708 % | 111.78/111.80 c | 444518 | 37167 248880 568841 | 1 65445 82 | 1.708 % | 121.28/121.34 c | 444619 | 37167 248880 568841 | 1 65546 82 | 1.708 % | 121.28/121.34 c | 444723 | 37167 248880 568841 | 1 65650 83 | 1.708 % | 121.28/121.34 c | 444884 | 37167 248880 568841 | 1 65811 83 | 1.708 % | 121.28/121.34 c | 446161 | 37167 248880 568841 | 1 67088 88 | 1.708 % | 121.28/121.34 c | 446261 | 37167 248880 568841 | 1 67188 88 | 1.708 % | 121.28/121.34 c | 446362 | 37167 248880 568841 | 1 67289 88 | 1.708 % | 121.28/121.34 c | 446981 | 37167 248880 568841 | 1 67908 88 | 1.708 % | 121.28/121.34 c | 447083 | 37167 248880 568841 | 1 68010 88 | 1.708 % | 121.28/121.34 c | 447183 | 37167 248880 568841 | 1 68110 88 | 1.708 % | 121.28/121.34 c | 447284 | 37167 248880 568841 | 1 68211 88 | 1.708 % | 121.28/121.34 c | 450503 | 37167 248880 568841 | 1 71430 87 | 1.708 % | 121.28/121.34 c | 451752 | 37167 248880 568841 | 1 72679 87 | 1.708 % | 121.28/121.34 c | 451855 | 37167 248880 568841 | 1 72782 87 | 1.708 % | 121.28/121.34 c | 454579 | 37167 248880 568841 | 1 75506 89 | 1.708 % | 121.28/121.34 c | 454756 | 37167 248880 568841 | 1 75683 89 | 1.708 % | 121.28/121.34 c | 454860 | 37167 248880 568841 | 1 75787 89 | 1.708 % | 121.28/121.34 c | 459597 | 37167 248880 568841 | 1 80524 95 | 1.708 % | 121.28/121.34 c | 459697 | 37167 248880 568841 | 1 80624 95 | 1.708 % | 121.28/121.34 c | 459797 | 37167 248880 568841 | 1 80724 95 | 1.708 % | 121.28/121.34 c | 463851 | 37167 248880 568841 | 1 84778 95 | 1.708 % | 121.28/121.34 c | 463953 | 37167 248880 568841 | 1 84880 95 | 1.708 % | 121.28/121.34 c | 465636 | 37167 248880 568841 | 1 86563 94 | 1.708 % | 121.28/121.34 c | 465751 | 37167 248880 568841 | 1 86678 95 | 1.708 % | 121.28/121.34 c | 465852 | 37167 248880 568841 | 1 86779 95 | 1.708 % | 121.28/121.34 c | 465953 | 37167 248880 568841 | 1 86880 95 | 1.708 % | 121.28/121.34 c | 466054 | 37167 248880 568841 | 1 86981 94 | 1.708 % | 121.28/121.34 c | 466158 | 37167 248880 568841 | 1 87085 94 | 1.708 % | 121.28/121.34 c | 466258 | 37167 248880 568841 | 1 87185 94 | 1.708 % | 121.28/121.34 c | 466359 | 37167 248880 568841 | 1 87286 94 | 1.708 % | 121.28/121.34 c | 466563 | 37167 248880 568841 | 1 87490 95 | 1.708 % | 121.28/121.34 c | 468545 | 37167 248880 568841 | 1 89472 94 | 1.708 % | 121.28/121.34 c | 468647 | 37167 248880 568841 | 1 89574 94 | 1.708 % | 121.28/121.34 c | 468748 | 37167 248880 568841 | 1 89675 94 | 1.708 % | 121.28/121.34 c | 469332 | 37167 248880 568841 | 1 90259 95 | 1.708 % | 121.28/121.34 c | 469526 | 37167 248880 568841 | 1 90453 95 | 1.708 % | 121.28/121.34 c | 469627 | 37167 248880 568841 | 1 90554 95 | 1.708 % | 121.28/121.34 c | 469854 | 37167 248880 568841 | 1 45425 57 | 1.708 % | 121.28/121.34 c | 471224 | 37167 248880 568841 | 1 46795 58 | 1.708 % | 121.28/121.34 c | 471324 | 37167 248880 568841 | 1 46895 58 | 1.708 % | 121.28/121.34 c | 471425 | 37167 248880 568841 | 1 46996 58 | 1.708 % | 121.28/121.34 c | 471525 | 37167 248880 568841 | 1 47096 58 | 1.708 % | 121.28/121.34 c | 471625 | 37167 248880 568841 | 1 47196 59 | 1.708 % | 121.28/121.34 c | 471726 | 37167 248880 568841 | 1 47297 59 | 1.708 % | 121.28/121.34 c | 474040 | 37167 248880 568841 | 1 49611 60 | 1.708 % | 121.28/121.34 c | 474209 | 37167 248880 568841 | 1 49780 60 | 1.708 % | 121.28/121.34 c | 475149 | 37167 248880 568841 | 1 50720 62 | 1.708 % | 121.28/121.34 c | 475253 | 37167 248880 568841 | 1 50824 62 | 1.708 % | 121.28/121.34 c | 475370 | 37167 248880 568841 | 1 50941 62 | 1.708 % | 121.28/121.34 c | 475642 | 37167 248880 568841 | 1 51213 63 | 1.708 % | 121.28/121.34 c | 476717 | 37167 248880 568841 | 1 52288 63 | 1.708 % | 146.08/146.14 c | 476817 | 37167 248880 568841 | 1 52388 64 | 1.708 % | 146.08/146.14 c | 477209 | 37167 248880 568841 | 1 52780 64 | 1.708 % | 146.08/146.14 c | 477309 | 37167 248880 568841 | 1 52880 64 | 1.708 % | 146.08/146.14 c | 477409 | 37167 248880 568841 | 1 52980 64 | 1.708 % | 146.08/146.14 c | 477509 | 37167 248880 568841 | 1 53080 65 | 1.708 % | 146.08/146.14 c | 477613 | 37167 248880 568841 | 1 53184 65 | 1.708 % | 146.08/146.14 c | 477713 | 37167 248880 568841 | 1 53284 65 | 1.708 % | 146.08/146.14 c | 477819 | 37167 248880 568841 | 1 53390 66 | 1.708 % | 146.08/146.14 c | 477966 | 37167 248880 568841 | 1 53537 66 | 1.708 % | 146.08/146.14 c | 501304 | 37160 248879 568833 | 1 60329 74 | 1.727 % | 146.08/146.14 c | 502306 | 37160 248879 568833 | 1 61331 73 | 1.727 % | 146.08/146.14 c | 502794 | 37160 248879 568833 | 1 61819 73 | 1.727 % | 146.08/146.14 c | 502898 | 37160 248879 568833 | 1 61923 73 | 1.727 % | 146.08/146.14 c | 523275 | 37160 248879 568833 | 1 42492 48 | 1.727 % | 146.08/146.14 c | 524535 | 37160 248879 568833 | 1 43752 50 | 1.727 % | 146.08/146.14 c | 524636 | 37160 248879 568833 | 1 43853 50 | 1.727 % | 146.08/146.14 c | 524738 | 37160 248879 568833 | 1 43955 50 | 1.727 % | 146.08/146.14 c | 524838 | 37160 248879 568833 | 1 44055 51 | 1.727 % | 146.08/146.14 c | 524943 | 37160 248879 568833 | 1 44160 51 | 1.727 % | 146.08/146.14 c | 525158 | 37160 248879 568833 | 1 44375 51 | 1.727 % | 146.08/146.14 c | 525598 | 37160 248879 568833 | 1 44815 52 | 1.727 % | 146.08/146.14 c | 525956 | 37160 248879 568833 | 1 45173 52 | 1.727 % | 146.08/146.14 c | 530576 | 37160 248879 568833 | 1 49793 62 | 1.727 % | 146.08/146.14 c | 530677 | 37160 248879 568833 | 1 49894 62 | 1.727 % | 146.08/146.14 c | 530788 | 37160 248879 568833 | 1 50005 62 | 1.727 % | 146.08/146.14 c | 530888 | 37160 248879 568833 | 1 50105 62 | 1.727 % | 146.08/146.14 c | 531895 | 37160 248879 568833 | 1 51112 63 | 1.727 % | 146.08/146.14 c | 532068 | 37160 248879 568833 | 1 51285 63 | 1.727 % | 146.08/146.14 c | 532202 | 37160 248879 568833 | 1 51419 63 | 1.727 % | 146.08/146.14 c | 535842 | 37160 248879 568833 | 1 55059 64 | 1.727 % | 146.08/146.14 c | 535942 | 37160 248879 568833 | 1 55159 64 | 1.727 % | 146.08/146.14 c | 536955 | 37160 248879 568833 | 1 56172 65 | 1.727 % | 146.08/146.14 c | 537056 | 37160 248879 568833 | 1 56273 65 | 1.727 % | 146.08/146.14 c | 539433 | 37160 248879 568833 | 1 58650 66 | 1.727 % | 146.08/146.14 c | 539534 | 37160 248879 568833 | 1 58751 66 | 1.727 % | 146.08/146.14 c | 539634 | 37160 248879 568833 | 1 58851 66 | 1.727 % | 146.08/146.14 c | 539734 | 37160 248879 568833 | 1 58951 67 | 1.727 % | 146.08/146.14 c | 539834 | 37160 248879 568833 | 1 59051 67 | 1.727 % | 146.08/146.14 c | 539934 | 37160 248879 568833 | 1 59151 67 | 1.727 % | 146.08/146.14 c | 546230 | 37160 248879 568833 | 1 65447 70 | 1.727 % | 146.08/146.14 c | 546331 | 37160 248879 568833 | 1 65548 70 | 1.727 % | 146.08/146.14 c | 547165 | 37160 248879 568833 | 1 66382 74 | 1.727 % | 146.08/146.14 c | 547268 | 37160 248879 568833 | 1 66485 74 | 1.727 % | 146.08/146.14 c | 547368 | 37160 248879 568833 | 1 66585 74 | 1.727 % | 146.08/146.14 c | 547468 | 37160 248879 568833 | 1 66685 74 | 1.727 % | 146.08/146.14 c | 548097 | 37160 248879 568833 | 1 67314 75 | 1.727 % | 146.08/146.14 c | 548197 | 37160 248879 568833 | 1 67414 75 | 1.727 % | 146.08/146.14 c | 563876 | 37160 248879 568833 | 1 83093 77 | 1.727 % | 146.08/146.14 c | 563977 | 37160 248879 568833 | 1 83194 77 | 1.727 % | 146.08/146.14 c | 564078 | 37160 248879 568833 | 1 83295 77 | 1.727 % | 159.68/159.78 c | 564178 | 37160 248879 568833 | 1 83395 78 | 1.727 % | 159.68/159.78 c | 564705 | 37160 248879 568833 | 1 83922 78 | 1.727 % | 159.68/159.78 c | 564842 | 37160 248879 568833 | 1 84059 78 | 1.727 % | 159.68/159.78 c | 566139 | 37160 248879 568833 | 1 85356 82 | 1.727 % | 159.68/159.78 c | 566240 | 37160 248879 568833 | 1 85457 82 | 1.727 % | 159.68/159.78 c | 566341 | 37160 248879 568833 | 1 85558 82 | 1.727 % | 159.68/159.78 c | 566441 | 37160 248879 568833 | 1 85658 82 | 1.727 % | 159.68/159.78 c | 566928 | 37160 248879 568833 | 1 86145 82 | 1.727 % | 159.68/159.78 c | 567030 | 37160 248879 568833 | 1 86247 82 | 1.727 % | 159.68/159.78 c | 567131 | 37160 248879 568833 | 1 86348 82 | 1.727 % | 159.68/159.78 c | 567231 | 37160 248879 568833 | 1 86448 82 | 1.727 % | 159.68/159.78 c | 567421 | 37160 248879 568833 | 1 86638 82 | 1.727 % | 159.68/159.78 c | 568460 | 37160 248879 568833 | 1 87677 82 | 1.727 % | 159.68/159.78 c | 570852 | 37160 248879 568833 | 1 90069 82 | 1.727 % | 159.68/159.78 c | 570953 | 37160 248879 568833 | 1 90170 82 | 1.727 % | 159.68/159.78 c | 580945 | 37160 248879 568833 | 1 53558 55 | 1.727 % | 159.68/159.78 c | 581046 | 37160 248879 568833 | 1 53659 55 | 1.727 % | 159.68/159.78 c | 581150 | 37160 248879 568833 | 1 53763 56 | 1.727 % | 159.68/159.78 c | 581519 | 37160 248879 568833 | 1 54132 56 | 1.727 % | 159.68/159.78 c | 581626 | 37160 248879 568833 | 1 54239 56 | 1.727 % | 159.68/159.78 c | 581726 | 37160 248879 568833 | 1 54339 56 | 1.727 % | 159.68/159.78 c | 593407 | 37160 248879 568833 | 1 66020 71 | 1.727 % | 159.68/159.78 c | 593609 | 37160 248879 568833 | 1 66222 71 | 1.727 % | 159.68/159.78 c | 593712 | 37160 248879 568833 | 1 66325 71 | 1.727 % | 159.68/159.78 c | 593815 | 37160 248879 568833 | 1 66428 71 | 1.727 % | 159.68/159.78 c | 595140 | 37160 248879 568833 | 1 67753 72 | 1.727 % | 159.68/159.78 c | 595241 | 37160 248879 568833 | 1 67854 72 | 1.727 % | 159.68/159.78 c | 595673 | 37160 248879 568833 | 1 68286 72 | 1.727 % | 159.68/159.78 c | 595781 | 37160 248879 568833 | 1 68394 72 | 1.727 % | 159.68/159.78 c | 595881 | 37160 248879 568833 | 1 68494 72 | 1.727 % | 159.68/159.78 c | 595981 | 37160 248879 568833 | 1 68594 72 | 1.727 % | 159.68/159.78 c | 596344 | 37160 248879 568833 | 1 68957 73 | 1.727 % | 159.68/159.78 c | 596705 | 37160 248879 568833 | 1 69318 73 | 1.727 % | 159.68/159.78 c | 596805 | 37160 248879 568833 | 1 69418 73 | 1.727 % | 159.68/159.78 c | 598824 | 37160 248879 568833 | 1 71437 73 | 1.727 % | 159.68/159.78 c | 598924 | 37160 248879 568833 | 1 71537 73 | 1.727 % | 159.68/159.78 c | 599024 | 37160 248879 568833 | 1 71637 73 | 1.727 % | 159.68/159.78 c | 604005 | 37160 248879 568833 | 1 76618 76 | 1.727 % | 159.68/159.78 c | 604110 | 37160 248879 568833 | 1 76723 76 | 1.727 % | 159.68/159.78 c | 604212 | 37160 248879 568833 | 1 76825 76 | 1.727 % | 159.68/159.78 c | 605283 | 37160 248879 568833 | 1 77896 77 | 1.727 % | 159.68/159.78 c | 605383 | 37160 248879 568833 | 1 77996 78 | 1.727 % | 159.68/159.78 c | 605518 | 37160 248879 568833 | 1 78131 78 | 1.727 % | 159.68/159.78 c | 606617 | 37160 248879 568833 | 1 79230 80 | 1.727 % | 159.68/159.78 c | 606718 | 37160 248879 568833 | 1 79331 80 | 1.727 % | 159.68/159.78 c | 606936 | 37160 248879 568833 | 1 79549 81 | 1.727 % | 159.68/159.78 c | 607037 | 37160 248879 568833 | 1 79650 81 | 1.727 % | 159.68/159.78 c | 607361 | 37160 248879 568833 | 1 79974 81 | 1.727 % | 159.68/159.78 c | 607469 | 37160 248879 568833 | 1 80082 81 | 1.727 % | 159.68/159.78 c | 607570 | 37160 248879 568833 | 1 80183 81 | 1.727 % | 185.79/185.86 c | 610014 | 37160 248879 568833 | 1 82627 82 | 1.727 % | 185.79/185.86 c | 610114 | 37160 248879 568833 | 1 82727 82 | 1.727 % | 185.79/185.86 c | 616865 | 37160 248879 568833 | 1 89478 94 | 1.727 % | 185.79/185.86 c | 619283 | 37160 248879 568833 | 1 91896 99 | 1.727 % | 185.79/185.86 c | 619384 | 37160 248879 568833 | 1 91997 99 | 1.727 % | 185.79/185.86 c | 619646 | 37160 248879 568833 | 1 92259 100 | 1.727 % | 185.79/185.86 c | 619747 | 37160 248879 568833 | 1 92360 100 | 1.727 % | 185.79/185.86 c | 620123 | 37160 248879 568833 | 1 92736 100 | 1.727 % | 185.79/185.86 c | 620223 | 37160 248879 568833 | 1 92836 100 | 1.727 % | 185.79/185.86 c | 623017 | 37160 248879 568833 | 1 95630 104 | 1.727 % | 185.79/185.86 c | 623150 | 37160 248879 568833 | 1 95763 104 | 1.727 % | 185.79/185.86 c | 625550 | 37160 248879 568833 | 1 98163 105 | 1.727 % | 185.79/185.86 c | 625650 | 37160 248879 568833 | 1 98263 105 | 1.727 % | 185.79/185.86 c | 626906 | 37160 248879 568833 | 1 99519 105 | 1.727 % | 185.79/185.86 c | 630737 | 37160 248879 568833 | 1 52045 69 | 1.727 % | 185.79/185.86 c | 631948 | 37159 248879 568833 | 1 53254 70 | 1.730 % | 185.79/185.86 c | 632048 | 37159 248879 568833 | 1 53354 70 | 1.730 % | 185.79/185.86 c | 632148 | 37159 248879 568833 | 1 53454 70 | 1.730 % | 185.79/185.86 c | 632256 | 37159 248879 568833 | 1 53562 70 | 1.730 % | 185.79/185.86 c | 635218 | 37159 248879 568833 | 1 56524 70 | 1.730 % | 185.79/185.86 c | 635318 | 37159 248879 568833 | 1 56624 71 | 1.730 % | 185.79/185.86 c | 635948 | 37159 248879 568833 | 1 57254 71 | 1.730 % | 185.79/185.86 c | 636050 | 37159 248879 568833 | 1 57356 71 | 1.730 % | 185.79/185.86 c | 636710 | 37159 248879 568833 | 1 58016 72 | 1.730 % | 185.79/185.86 c | 637266 | 37159 248879 568833 | 1 58572 72 | 1.730 % | 185.79/185.86 c | 637367 | 37159 248879 568833 | 1 58673 72 | 1.730 % | 185.79/185.86 c | 637472 | 37159 248879 568833 | 1 58778 72 | 1.730 % | 185.79/185.86 c | 652396 | 37159 248879 568833 | 1 73702 73 | 1.730 % | 185.79/185.86 c | 653364 | 37159 248879 568833 | 1 74670 75 | 1.730 % | 185.79/185.86 c | 658379 | 37159 248879 568833 | 1 79685 75 | 1.730 % | 185.79/185.86 c | 658480 | 37159 248879 568833 | 1 79786 75 | 1.730 % | 185.79/185.86 c | 658580 | 37159 248879 568833 | 1 79886 75 | 1.730 % | 185.79/185.86 c | 658680 | 37159 248879 568833 | 1 79986 75 | 1.730 % | 185.79/185.86 c | 659916 | 37159 248879 568833 | 1 81222 74 | 1.730 % | 185.79/185.86 c | 660017 | 37159 248879 568833 | 1 81323 74 | 1.730 % | 185.79/185.86 c | 660120 | 37159 248879 568833 | 1 81426 74 | 1.730 % | 185.79/185.86 c | 660332 | 37159 248879 568833 | 1 81638 74 | 1.730 % | 185.79/185.86 c | 660435 | 37159 248879 568833 | 1 81741 75 | 1.730 % | 185.79/185.86 c | 660537 | 37159 248879 568833 | 1 81843 75 | 1.730 % | 185.79/185.86 c | 662866 | 37159 248879 568833 | 1 84172 76 | 1.730 % | 185.79/185.86 c | 662966 | 37159 248879 568833 | 1 84272 76 | 1.730 % | 185.79/185.86 c | 663068 | 37159 248879 568833 | 1 84374 76 | 1.730 % | 185.79/185.86 c | 663169 | 37159 248879 568833 | 1 84475 76 | 1.730 % | 185.79/185.86 c | 663269 | 37159 248879 568833 | 1 84575 76 | 1.730 % | 185.79/185.86 c | 663369 | 37159 248879 568833 | 1 84675 76 | 1.730 % | 185.79/185.86 c | 663623 | 37159 248879 568833 | 1 84929 76 | 1.730 % | 185.79/185.86 c | 676454 | 37159 248879 568833 | 1 97760 76 | 1.730 % | 185.79/185.86 c | 690534 | 37159 248879 568833 | 1 56890 46 | 1.730 % | 185.79/185.86 c | 690737 | 37159 248879 568833 | 1 57093 46 | 1.730 % | 185.79/185.86 c | 690837 | 37159 248879 568833 | 1 57193 46 | 1.730 % | 200.19/200.21 c | 690988 | 37159 248879 568833 | 1 57344 48 | 1.730 % | 200.19/200.21 c | 691088 | 37159 248879 568833 | 1 57444 48 | 1.730 % | 200.19/200.21 c | 691538 | 37159 248879 568833 | 1 57894 50 | 1.730 % | 200.19/200.21 c | 691642 | 37159 248879 568833 | 1 57998 50 | 1.730 % | 200.19/200.21 c | 691748 | 37159 248879 568833 | 1 58104 51 | 1.730 % | 200.19/200.21 c | 691848 | 37159 248879 568833 | 1 58204 51 | 1.730 % | 200.19/200.21 c | 694337 | 37159 248879 568833 | 1 60693 56 | 1.730 % | 200.19/200.21 c | 694519 | 37159 248879 568833 | 1 60875 56 | 1.730 % | 200.19/200.21 c | 694781 | 37159 248879 568833 | 1 61137 56 | 1.730 % | 200.19/200.21 c | 694884 | 37159 248879 568833 | 1 61240 57 | 1.730 % | 200.19/200.21 c | 695045 | 37159 248879 568833 | 1 61401 57 | 1.730 % | 200.19/200.21 c | 695145 | 37159 248879 568833 | 1 61501 57 | 1.730 % | 200.19/200.21 c | 698122 | 37159 248879 568833 | 1 64478 58 | 1.730 % | 200.19/200.21 c | 698225 | 37159 248879 568833 | 1 64581 58 | 1.730 % | 200.19/200.21 c | 705964 | 37159 248879 568833 | 1 72320 59 | 1.730 % | 200.19/200.21 c | 706064 | 37159 248879 568833 | 1 72420 59 | 1.730 % | 200.19/200.21 c | 706364 | 37159 248879 568833 | 1 72720 60 | 1.730 % | 200.19/200.21 c | 709800 | 37159 248879 568833 | 1 76156 60 | 1.730 % | 200.19/200.21 c | 710128 | 37159 248879 568833 | 1 76484 60 | 1.730 % | 200.19/200.21 c | 722084 | 37159 248879 568833 | 1 88440 60 | 1.730 % | 200.19/200.21 c | 728657 | 37159 248879 568833 | 1 95013 62 | 1.730 % | 200.19/200.21 c | 729395 | 37159 248879 568833 | 1 95751 63 | 1.730 % | 200.19/200.21 c | 729539 | 37159 248879 568833 | 1 95895 63 | 1.730 % | 200.19/200.21 c | 729675 | 37159 248879 568833 | 1 96031 63 | 1.730 % | 200.19/200.21 c | 729776 | 37159 248879 568833 | 1 96132 63 | 1.730 % | 200.19/200.21 c | 731203 | 37159 248879 568833 | 1 97559 64 | 1.730 % | 200.19/200.21 c | 731304 | 37159 248879 568833 | 1 97660 64 | 1.730 % | 200.19/200.21 c | 732712 | 37159 248879 568833 | 1 99068 64 | 1.730 % | 200.19/200.21 c | 732812 | 37159 248879 568833 | 1 99168 64 | 1.730 % | 200.19/200.21 c | 732912 | 37159 248879 568833 | 1 99268 64 | 1.730 % | 200.19/200.21 c | 733012 | 37159 248879 568833 | 1 99368 64 | 1.730 % | 200.19/200.21 c | 733113 | 37159 248879 568833 | 1 99469 64 | 1.730 % | 200.19/200.21 c | 733217 | 37159 248879 568833 | 1 99573 64 | 1.730 % | 200.19/200.21 c | 733317 | 37159 248879 568833 | 1 99673 64 | 1.730 % | 200.19/200.21 c | 733706 | 37159 248879 568833 | 1 100062 64 | 1.730 % | 200.19/200.21 c | 733807 | 37159 248879 568833 | 1 100163 64 | 1.730 % | 200.19/200.21 c | 733919 | 37159 248879 568833 | 1 100275 65 | 1.730 % | 200.19/200.21 c | 735101 | 37159 248879 568833 | 1 101457 64 | 1.730 % | 200.19/200.21 c | 735201 | 37159 248879 568833 | 1 101557 65 | 1.730 % | 200.19/200.21 c | 735301 | 37159 248879 568833 | 1 101657 65 | 1.730 % | 200.19/200.21 c | 735632 | 37159 248879 568833 | 1 101988 65 | 1.730 % | 200.19/200.21 c | 735736 | 37159 248879 568833 | 1 102092 65 | 1.730 % | 200.19/200.21 c | 735837 | 37159 248879 568833 | 1 102193 65 | 1.730 % | 200.19/200.21 c | 738985 | 37098 248877 568769 | 1 105336 67 | 1.891 % | 200.19/200.21 c | 739086 | 37098 248877 568769 | 1 105437 67 | 1.891 % | 200.19/200.21 c | 739722 | 37098 248877 568769 | 1 106073 67 | 1.891 % | 200.19/200.21 c | 743205 | 37098 248877 568769 | 1 109556 69 | 1.891 % | 200.19/200.21 c | 743305 | 37098 248877 568769 | 1 109656 69 | 1.891 % | 200.19/200.21 c | 743405 | 37098 248877 568769 | 1 109756 69 | 1.891 % | 200.19/200.21 c | 743505 | 37098 248877 568769 | 1 109856 69 | 1.891 % | 214.89/214.92 c | 743605 | 37098 248877 568769 | 1 109956 69 | 1.891 % | 214.89/214.92 c | 744633 | 37098 248877 568769 | 1 110984 70 | 1.891 % | 214.89/214.92 c | 744735 | 37098 248877 568769 | 1 111086 70 | 1.891 % | 214.89/214.92 c | 744856 | 37098 248877 568769 | 1 111207 70 | 1.891 % | 214.89/214.92 c | 746093 | 37098 248877 568769 | 1 112444 70 | 1.891 % | 214.89/214.92 c | 746193 | 37098 248877 568769 | 1 112544 70 | 1.891 % | 214.89/214.92 c | 746743 | 37098 248877 568769 | 1 113094 71 | 1.891 % | 214.89/214.92 c | 747179 | 37098 248877 568769 | 1 113530 71 | 1.891 % | 214.89/214.92 c | 747300 | 37098 248877 568769 | 1 113651 71 | 1.891 % | 214.89/214.92 c | 747402 | 37098 248877 568769 | 1 113753 71 | 1.891 % | 214.89/214.92 c | 747506 | 37098 248877 568769 | 1 113857 71 | 1.891 % | 214.89/214.92 c | 750151 | 37098 248877 568769 | 1 58431 48 | 1.891 % | 214.89/214.92 c | 751177 | 37098 248877 568769 | 1 59457 48 | 1.891 % | 214.89/214.92 c | 751300 | 37098 248877 568769 | 1 59580 48 | 1.891 % | 214.89/214.92 c | 756444 | 37098 248877 568769 | 1 64724 50 | 1.891 % | 214.89/214.92 c | 756546 | 37098 248877 568769 | 1 64826 50 | 1.891 % | 214.89/214.92 c | 756646 | 37098 248877 568769 | 1 64926 50 | 1.891 % | 214.89/214.92 c | 756747 | 37098 248877 568769 | 1 65027 50 | 1.891 % | 214.89/214.92 c | 757593 | 37098 248877 568769 | 1 65873 50 | 1.891 % | 214.89/214.92 c | 757694 | 37098 248877 568769 | 1 65974 50 | 1.891 % | 214.89/214.92 c | 757801 | 37098 248877 568769 | 1 66081 50 | 1.891 % | 214.89/214.92 c | 758038 | 37098 248877 568769 | 1 66318 51 | 1.891 % | 214.89/214.92 c | 763214 | 37098 248877 568769 | 1 71494 54 | 1.891 % | 214.89/214.92 c | 763314 | 37098 248877 568769 | 1 71594 54 | 1.891 % | 214.89/214.92 c | 763415 | 37098 248877 568769 | 1 71695 54 | 1.891 % | 214.89/214.92 c | 763563 | 37098 248877 568769 | 1 71843 54 | 1.891 % | 214.89/214.92 c | 764022 | 37098 248877 568769 | 1 72302 55 | 1.891 % | 214.89/214.92 c | 764123 | 37098 248877 568769 | 1 72403 55 | 1.891 % | 214.89/214.92 c | 764604 | 37098 248877 568769 | 1 72884 56 | 1.891 % | 214.89/214.92 c | 764741 | 37098 248877 568769 | 1 73021 56 | 1.891 % | 214.89/214.92 c | 764987 | 37098 248877 568769 | 1 73267 56 | 1.891 % | 214.89/214.92 c | 765558 | 37098 248877 568769 | 1 73838 56 | 1.891 % | 214.89/214.92 c | 768655 | 37098 248877 568769 | 1 76935 65 | 1.891 % | 214.89/214.92 c | 768872 | 37098 248877 568769 | 1 77152 65 | 1.891 % | 214.89/214.92 c | 769321 | 37098 248877 568769 | 1 77601 66 | 1.891 % | 214.89/214.92 c | 773948 | 37098 248877 568769 | 1 82228 66 | 1.891 % | 214.89/214.92 c | 785903 | 37098 248877 568769 | 1 94183 67 | 1.891 % | 214.89/214.92 c | 787227 | 37098 248877 568769 | 1 95507 67 | 1.891 % | 214.89/214.92 c | 787328 | 37098 248877 568769 | 1 95608 67 | 1.891 % | 214.89/214.92 c | 787625 | 37098 248877 568769 | 1 95905 67 | 1.891 % | 214.89/214.92 c | 787840 | 37098 248877 568769 | 1 96120 67 | 1.891 % | 214.89/214.92 c | 788029 | 37098 248877 568769 | 1 96309 68 | 1.891 % | 214.89/214.92 c | 788131 | 37098 248877 568769 | 1 96411 68 | 1.891 % | 214.89/214.92 c | 788231 | 37098 248877 568769 | 1 96511 68 | 1.891 % | 214.89/214.92 c | 788331 | 37098 248877 568769 | 1 96611 68 | 1.891 % | 214.89/214.92 c | 790333 | 37098 248877 568769 | 1 98613 71 | 1.891 % | 214.89/214.92 c | 790433 | 37098 248877 568769 | 1 98713 71 | 1.891 % | 214.89/214.92 c | 790535 | 37098 248877 568769 | 1 98815 71 | 1.891 % | 214.89/214.92 c | 790718 | 37098 248877 568769 | 1 98998 71 | 1.891 % | 214.89/214.92 c | 790818 | 37098 248877 568769 | 1 99098 71 | 1.891 % | 240.89/240.98 c | 790930 | 37098 248877 568769 | 1 99210 71 | 1.891 % | 240.89/240.98 c | 791034 | 37098 248877 568769 | 1 99314 71 | 1.891 % | 240.89/240.98 c | 791586 | 37098 248877 568769 | 1 99866 72 | 1.891 % | 240.89/240.98 c | 791818 | 37098 248877 568769 | 1 100098 72 | 1.891 % | 240.89/240.98 c | 792010 | 37098 248877 568769 | 1 100290 72 | 1.891 % | 240.89/240.98 c | 792118 | 37098 248877 568769 | 1 100398 72 | 1.891 % | 240.89/240.98 c | 792242 | 37098 248877 568769 | 1 100522 72 | 1.891 % | 240.89/240.98 c | 792342 | 37098 248877 568769 | 1 100622 72 | 1.891 % | 240.89/240.98 c | 809393 | 37091 248876 568761 | 1 106709 74 | 1.909 % | 240.89/240.98 c | 809494 | 37091 248876 568761 | 1 106810 74 | 1.909 % | 240.89/240.98 c | 809596 | 37091 248876 568761 | 1 106912 74 | 1.909 % | 240.89/240.98 c | 810052 | 37091 248876 568761 | 1 107368 74 | 1.909 % | 240.89/240.98 c | 810579 | 37091 248876 568761 | 1 107895 74 | 1.909 % | 240.89/240.98 c | 810681 | 37091 248876 568761 | 1 107997 74 | 1.909 % | 240.89/240.98 c | 810782 | 37091 248876 568761 | 1 108098 74 | 1.909 % | 240.89/240.98 c | 812052 | 37091 248876 568761 | 1 109368 75 | 1.909 % | 240.89/240.98 c | 812152 | 37091 248876 568761 | 1 109468 75 | 1.909 % | 240.89/240.98 c | 812376 | 37091 248876 568761 | 1 109692 75 | 1.909 % | 240.89/240.98 c | 812610 | 37091 248876 568761 | 1 109926 75 | 1.909 % | 240.89/240.98 c | 816718 | 37091 248876 568761 | 1 58580 50 | 1.909 % | 240.89/240.98 c | 819755 | 37091 248876 568761 | 1 61617 53 | 1.909 % | 240.89/240.98 c | 819855 | 37091 248876 568761 | 1 61717 53 | 1.909 % | 240.89/240.98 c | 820243 | 37091 248876 568761 | 1 62105 53 | 1.909 % | 240.89/240.98 c | 820345 | 37091 248876 568761 | 1 62207 53 | 1.909 % | 240.89/240.98 c | 821849 | 37091 248876 568761 | 1 63711 55 | 1.909 % | 240.89/240.98 c | 824150 | 37091 248876 568761 | 1 66012 55 | 1.909 % | 240.89/240.98 c | 824252 | 37091 248876 568761 | 1 66114 55 | 1.909 % | 240.89/240.98 c | 824355 | 37091 248876 568761 | 1 66217 55 | 1.909 % | 240.89/240.98 c | 824456 | 37091 248876 568761 | 1 66318 55 | 1.909 % | 240.89/240.98 c | 824582 | 37091 248876 568761 | 1 66444 55 | 1.909 % | 240.89/240.98 c | 838785 | 37091 248876 568761 | 1 80647 66 | 1.909 % | 240.89/240.98 c | 838888 | 37091 248876 568761 | 1 80750 66 | 1.909 % | 240.89/240.98 c | 839014 | 37091 248876 568761 | 1 80876 66 | 1.909 % | 240.89/240.98 c | 839974 | 37091 248876 568761 | 1 81836 66 | 1.909 % | 240.89/240.98 c | 840078 | 37091 248876 568761 | 1 81940 66 | 1.909 % | 240.89/240.98 c | 841020 | 37091 248876 568761 | 1 82882 67 | 1.909 % | 240.89/240.98 c | 841121 | 37091 248876 568761 | 1 82983 67 | 1.909 % | 240.89/240.98 c | 841221 | 37091 248876 568761 | 1 83083 67 | 1.909 % | 240.89/240.98 c | 841323 | 37091 248876 568761 | 1 83185 67 | 1.909 % | 240.89/240.98 c | 849282 | 37091 248876 568761 | 1 91144 72 | 1.909 % | 240.89/240.98 c | 849382 | 37091 248876 568761 | 1 91244 72 | 1.909 % | 240.89/240.98 c | 849826 | 37091 248876 568761 | 1 91688 73 | 1.909 % | 240.89/240.98 c | 849927 | 37091 248876 568761 | 1 91789 73 | 1.909 % | 240.89/240.98 c | 850574 | 37091 248876 568761 | 1 92436 74 | 1.909 % | 240.89/240.98 c | 850674 | 37091 248876 568761 | 1 92536 74 | 1.909 % | 240.89/240.98 c | 867570 | 37091 248876 568761 | 1 109432 73 | 1.909 % | 240.89/240.98 c | 867672 | 37091 248876 568761 | 1 109534 73 | 1.909 % | 240.89/240.98 c | 867775 | 37091 248876 568761 | 1 109637 73 | 1.909 % | 240.89/240.98 c | 869147 | 37091 248876 568761 | 1 111009 74 | 1.909 % | 240.89/240.98 c | 869249 | 37091 248876 568761 | 1 111111 74 | 1.909 % | 270.29/270.34 c | 869351 | 37091 248876 568761 | 1 111213 74 | 1.909 % | 270.29/270.34 c | 869452 | 37091 248876 568761 | 1 111314 74 | 1.909 % | 270.29/270.34 c | 869554 | 37091 248876 568761 | 1 111416 74 | 1.909 % | 270.29/270.34 c | 871518 | 37091 248876 568761 | 1 113380 77 | 1.909 % | 270.29/270.34 c | 871624 | 37091 248876 568761 | 1 113486 77 | 1.909 % | 270.29/270.34 c | 873543 | 37091 248876 568761 | 1 115405 77 | 1.909 % | 270.29/270.34 c | 877097 | 37091 248876 568761 | 1 118959 77 | 1.909 % | 270.29/270.34 c | 877232 | 37091 248876 568761 | 1 119094 77 | 1.909 % | 270.29/270.34 c | 877332 | 37091 248876 568761 | 1 119194 77 | 1.909 % | 270.29/270.34 c | 885500 | 37091 248876 568761 | 1 66436 54 | 1.909 % | 270.29/270.34 c | 886101 | 37091 248876 568761 | 1 67037 55 | 1.909 % | 270.29/270.34 c | 886204 | 37091 248876 568761 | 1 67140 55 | 1.909 % | 270.29/270.34 c | 910669 | 37091 248876 568761 | 1 91605 58 | 1.909 % | 270.29/270.34 c | 910770 | 37091 248876 568761 | 1 91706 58 | 1.909 % | 270.29/270.34 c | 953458 | 37082 248875 568752 | 1 56467 41 | 1.933 % | 270.29/270.34 c | 953560 | 37082 248875 568752 | 1 56569 42 | 1.933 % | 270.29/270.34 c | 953699 | 37082 248875 568752 | 1 56708 42 | 1.933 % | 270.29/270.34 c | 953909 | 37082 248875 568752 | 1 56918 43 | 1.933 % | 270.29/270.34 c | 954579 | 37082 248875 568752 | 1 57588 45 | 1.933 % | 270.29/270.34 c | 954680 | 37082 248875 568752 | 1 57689 45 | 1.933 % | 270.29/270.34 c | 954780 | 37082 248875 568752 | 1 57789 46 | 1.933 % | 270.29/270.34 c | 954880 | 37082 248875 568752 | 1 57889 46 | 1.933 % | 270.29/270.34 c | 955140 | 37082 248875 568752 | 1 58149 46 | 1.933 % | 270.29/270.34 c | 957376 | 37082 248875 568752 | 1 60385 48 | 1.933 % | 270.29/270.34 c | 957476 | 37082 248875 568752 | 1 60485 48 | 1.933 % | 270.29/270.34 c | 958007 | 37082 248875 568752 | 1 61016 50 | 1.933 % | 270.29/270.34 c | 958107 | 37082 248875 568752 | 1 61116 50 | 1.933 % | 270.29/270.34 c | 958213 | 37082 248875 568752 | 1 61222 50 | 1.933 % | 270.29/270.34 c | 958366 | 37082 248875 568752 | 1 61375 50 | 1.933 % | 270.29/270.34 c | 958845 | 37082 248875 568752 | 1 61854 50 | 1.933 % | 270.29/270.34 c | 959329 | 37082 248875 568752 | 1 62338 51 | 1.933 % | 270.29/270.34 c | 959429 | 37082 248875 568752 | 1 62438 51 | 1.933 % | 270.29/270.34 c | 963542 | 37082 248875 568752 | 1 66551 54 | 1.933 % | 270.29/270.34 c | 963645 | 37082 248875 568752 | 1 66654 54 | 1.933 % | 270.29/270.34 c | 963916 | 37082 248875 568752 | 1 66925 54 | 1.933 % | 270.29/270.34 c | 964078 | 37082 248875 568752 | 1 67087 54 | 1.933 % | 270.29/270.34 c | 964296 | 37082 248875 568752 | 1 67305 54 | 1.933 % | 270.29/270.34 c | 964396 | 37082 248875 568752 | 1 67405 54 | 1.933 % | 270.29/270.34 c | 964497 | 37082 248875 568752 | 1 67506 54 | 1.933 % | 270.29/270.34 c | 964597 | 37082 248875 568752 | 1 67606 54 | 1.933 % | 270.29/270.34 c | 964697 | 37082 248875 568752 | 1 67706 54 | 1.933 % | 270.29/270.34 c | 965102 | 37082 248875 568752 | 1 68111 55 | 1.933 % | 270.29/270.34 c | 965205 | 37082 248875 568752 | 1 68214 56 | 1.933 % | 270.29/270.34 c | 965379 | 37082 248875 568752 | 1 68388 56 | 1.933 % | 270.29/270.34 c | 965574 | 37082 248875 568752 | 1 68583 56 | 1.933 % | 270.29/270.34 c | 965916 | 37082 248875 568752 | 1 68925 56 | 1.933 % | 270.29/270.34 c | 968032 | 37082 248875 568752 | 1 71041 56 | 1.933 % | 270.29/270.34 c | 968776 | 37082 248875 568752 | 1 71785 56 | 1.933 % | 270.29/270.34 c | 969104 | 37082 248875 568752 | 1 72113 56 | 1.933 % | 270.29/270.34 c | 969208 | 37082 248875 568752 | 1 72217 56 | 1.933 % | 294.09/294.10 c | 969308 | 37082 248875 568752 | 1 72317 56 | 1.933 % | 294.09/294.10 c | 969408 | 37082 248875 568752 | 1 72417 57 | 1.933 % | 294.09/294.10 c | 969534 | 37082 248875 568752 | 1 72543 57 | 1.933 % | 294.09/294.10 c | 969635 | 37082 248875 568752 | 1 72644 57 | 1.933 % | 294.09/294.10 c | 969818 | 37082 248875 568752 | 1 72827 58 | 1.933 % | 294.09/294.10 c | 978322 | 37082 248875 568752 | 1 81331 59 | 1.933 % | 294.09/294.10 c | 978994 | 37082 248875 568752 | 1 82003 60 | 1.933 % | 294.09/294.10 c | 979094 | 37082 248875 568752 | 1 82103 60 | 1.933 % | 294.09/294.10 c | 979197 | 37082 248875 568752 | 1 82206 60 | 1.933 % | 294.09/294.10 c | 979299 | 37082 248875 568752 | 1 82308 60 | 1.933 % | 294.09/294.10 c | 979399 | 37082 248875 568752 | 1 82408 60 | 1.933 % | 294.09/294.10 c | 979503 | 37082 248875 568752 | 1 82512 60 | 1.933 % | 294.09/294.10 c | 979604 | 37082 248875 568752 | 1 82613 61 | 1.933 % | 294.09/294.10 c | 979704 | 37082 248875 568752 | 1 82713 61 | 1.933 % | 294.09/294.10 c | 979807 | 37082 248875 568752 | 1 82816 61 | 1.933 % | 294.09/294.10 c | 979907 | 37082 248875 568752 | 1 82916 61 | 1.933 % | 294.09/294.10 c | 982016 | 37082 248875 568752 | 1 85025 62 | 1.933 % | 294.09/294.10 c | 982118 | 37082 248875 568752 | 1 85127 62 | 1.933 % | 294.09/294.10 c | 983384 | 37082 248875 568752 | 1 86393 62 | 1.933 % | 294.09/294.10 c | 983484 | 37082 248875 568752 | 1 86493 62 | 1.933 % | 294.09/294.10 c | 983744 | 37082 248875 568752 | 1 86753 63 | 1.933 % | 294.09/294.10 c | 983845 | 37082 248875 568752 | 1 86854 63 | 1.933 % | 294.09/294.10 c | 986667 | 37082 248875 568752 | 1 89676 65 | 1.933 % | 294.09/294.10 c | 986778 | 37082 248875 568752 | 1 89787 65 | 1.933 % | 294.09/294.10 c | 986884 | 37082 248875 568752 | 1 89893 65 | 1.933 % | 294.09/294.10 c | 986984 | 37082 248875 568752 | 1 89993 65 | 1.933 % | 294.09/294.10 c | 987084 | 37082 248875 568752 | 1 90093 65 | 1.933 % | 294.09/294.10 c | 989762 | 37082 248875 568752 | 1 92771 65 | 1.933 % | 294.09/294.10 c | 991238 | 37082 248875 568752 | 1 94247 65 | 1.933 % | 294.09/294.10 c | 994643 | 37082 248875 568752 | 1 97652 68 | 1.933 % | 294.09/294.10 c | 995308 | 37082 248875 568752 | 1 98317 68 | 1.933 % | 294.09/294.10 c | 995408 | 37082 248875 568752 | 1 98417 68 | 1.933 % | 294.09/294.10 c | 995508 | 37082 248875 568752 | 1 98517 68 | 1.933 % | 294.09/294.10 c | 995973 | 37082 248875 568752 | 1 98982 68 | 1.933 % | 294.09/294.10 c | 996538 | 37082 248875 568752 | 1 99547 68 | 1.933 % | 294.09/294.10 c | 1002488 | 37077 248874 568747 | 1 102595 73 | 1.946 % | 294.09/294.10 c | 1002588 | 37077 248874 568747 | 1 102695 73 | 1.946 % | 294.09/294.10 c | 1002689 | 37077 248874 568747 | 1 102796 73 | 1.946 % | 294.09/294.10 c | 1003875 | 37077 248874 568747 | 1 103982 73 | 1.946 % | 294.09/294.10 c | 1004377 | 37077 248874 568747 | 1 104484 75 | 1.946 % | 294.09/294.10 c | 1004478 | 37077 248874 568747 | 1 104585 75 | 1.946 % | 294.09/294.10 c | 1004578 | 37077 248874 568747 | 1 104685 75 | 1.946 % | 294.09/294.10 c | 1029220 | 37007 248807 568515 | 1 59884 52 | 2.132 % | 294.09/294.10 c | 1029402 | 37007 248807 568515 | 1 60066 52 | 2.132 % | 294.09/294.10 c | 1029504 | 37007 248807 568515 | 1 60168 52 | 2.132 % | 294.09/294.10 c | 1029606 | 37007 248807 568515 | 1 60270 52 | 2.132 % | 294.09/294.10 c | 1030419 | 37007 248807 568515 | 1 61083 54 | 2.132 % | 294.09/294.10 c | 1030521 | 37007 248807 568515 | 1 61185 54 | 2.132 % | 294.09/294.10 c | 1030695 | 37007 248807 568515 | 1 61359 55 | 2.132 % | 294.09/294.10 c | 1030795 | 37007 248807 568515 | 1 61459 55 | 2.132 % | 312.69/312.79 c | 1030898 | 37007 248807 568515 | 1 61562 55 | 2.132 % | 312.69/312.79 c | 1031435 | 37007 248807 568515 | 1 62099 55 | 2.132 % | 312.69/312.79 c | 1031560 | 37007 248807 568515 | 1 62224 55 | 2.132 % | 312.69/312.79 c | 1032401 | 37007 248807 568515 | 1 63065 56 | 2.132 % | 312.69/312.79 c | 1037947 | 37007 248807 568515 | 1 68611 56 | 2.132 % | 312.69/312.79 c | 1038054 | 37007 248807 568515 | 1 68718 56 | 2.132 % | 312.69/312.79 c | 1038157 | 37007 248807 568515 | 1 68821 56 | 2.132 % | 312.69/312.79 c | 1038608 | 37007 248807 568515 | 1 69272 56 | 2.132 % | 312.69/312.79 c | 1039483 | 37007 248807 568515 | 1 70147 56 | 2.132 % | 312.69/312.79 c | 1039583 | 37007 248807 568515 | 1 70247 56 | 2.132 % | 312.69/312.79 c | 1039759 | 37007 248807 568515 | 1 70423 57 | 2.132 % | 312.69/312.79 c | 1039938 | 37007 248807 568515 | 1 70602 57 | 2.132 % | 312.69/312.79 c | 1040047 | 37007 248807 568515 | 1 70711 57 | 2.132 % | 312.69/312.79 c | 1040905 | 37007 248807 568515 | 1 71569 57 | 2.132 % | 312.69/312.79 c | 1042873 | 37007 248807 568515 | 1 73537 60 | 2.132 % | 312.69/312.79 c | 1042976 | 37007 248807 568515 | 1 73640 60 | 2.132 % | 312.69/312.79 c | 1043450 | 37007 248807 568515 | 1 74114 61 | 2.132 % | 312.69/312.79 c | 1043550 | 37007 248807 568515 | 1 74214 61 | 2.132 % | 312.69/312.79 c | 1046440 | 37007 248807 568515 | 1 77104 64 | 2.132 % | 312.69/312.79 c | 1046540 | 37007 248807 568515 | 1 77204 64 | 2.132 % | 312.69/312.79 c | 1046641 | 37007 248807 568515 | 1 77305 65 | 2.132 % | 312.69/312.79 c | 1064444 | 37007 248807 568515 | 1 95108 62 | 2.132 % | 312.69/312.79 c | 1064545 | 37007 248807 568515 | 1 95209 62 | 2.132 % | 312.69/312.79 c | 1066092 | 37007 248807 568515 | 1 96756 63 | 2.132 % | 312.69/312.79 c | 1068667 | 37007 248807 568515 | 1 99331 63 | 2.132 % | 312.69/312.79 c | 1068768 | 37007 248807 568515 | 1 99432 63 | 2.132 % | 312.69/312.79 c | 1068871 | 37007 248807 568515 | 1 99535 63 | 2.132 % | 312.69/312.79 c | 1072448 | 37007 248807 568515 | 1 103112 66 | 2.132 % | 312.69/312.79 c | 1072563 | 37007 248807 568515 | 1 103227 66 | 2.132 % | 312.69/312.79 c | 1072975 | 37007 248807 568515 | 1 103639 67 | 2.132 % | 312.69/312.79 c | 1073076 | 37007 248807 568515 | 1 103740 67 | 2.132 % | 312.69/312.79 c | 1073302 | 37007 248807 568515 | 1 103966 67 | 2.132 % | 312.69/312.79 c | 1073403 | 37007 248807 568515 | 1 104067 67 | 2.132 % | 312.69/312.79 c | 1075455 | 37007 248807 568515 | 1 106119 67 | 2.132 % | 312.69/312.79 c | 1075557 | 37007 248807 568515 | 1 106221 67 | 2.132 % | 312.69/312.79 c | 1078151 | 37007 248807 568515 | 1 108815 70 | 2.132 % | 312.69/312.79 c | 1079597 | 37007 248807 568515 | 1 110261 69 | 2.132 % | 312.69/312.79 c | 1079732 | 37007 248807 568515 | 1 110396 70 | 2.132 % | 312.69/312.79 c | 1080201 | 37007 248807 568515 | 1 110865 70 | 2.132 % | 312.69/312.79 c | 1080302 | 37007 248807 568515 | 1 110966 70 | 2.132 % | 312.69/312.79 c | 1081632 | 37007 248807 568515 | 1 112296 70 | 2.132 % | 312.69/312.79 c | 1081732 | 37007 248807 568515 | 1 112396 70 | 2.132 % | 312.69/312.79 c | 1081833 | 37007 248807 568515 | 1 112497 70 | 2.132 % | 312.69/312.79 c | 1082550 | 37007 248807 568515 | 1 113214 70 | 2.132 % | 312.69/312.79 c | 1082652 | 37007 248807 568515 | 1 113316 70 | 2.132 % | 312.69/312.79 c | 1082752 | 37007 248807 568515 | 1 113416 70 | 2.132 % | 312.69/312.79 c | 1083335 | 37007 248807 568515 | 1 113999 70 | 2.132 % | 312.69/312.79 c | 1083437 | 37007 248807 568515 | 1 114101 70 | 2.132 % | 312.69/312.79 c | 1083854 | 37007 248807 568515 | 1 114518 70 | 2.132 % | 312.69/312.79 c | 1083957 | 37007 248807 568515 | 1 114621 70 | 2.132 % | 351.99/352.09 c | 1084110 | 37007 248807 568515 | 1 114774 70 | 2.132 % | 351.99/352.09 c | 1090861 | 36894 248691 568122 | 1 118462 73 | 2.430 % | 351.99/352.09 c | 1090961 | 36894 248691 568122 | 1 118562 73 | 2.430 % | 351.99/352.09 c | 1091061 | 36894 248691 568122 | 1 118662 73 | 2.430 % | 351.99/352.09 c | 1091161 | 36894 248691 568122 | 1 118762 73 | 2.430 % | 351.99/352.09 c | 1099529 | 36894 248691 568122 | 1 65937 49 | 2.430 % | 351.99/352.09 c | 1099641 | 36894 248691 568122 | 1 66049 49 | 2.430 % | 351.99/352.09 c | 1099742 | 36894 248691 568122 | 1 66150 50 | 2.430 % | 351.99/352.09 c | 1099842 | 36894 248691 568122 | 1 66250 50 | 2.430 % | 351.99/352.09 c | 1105780 | 36894 248691 568122 | 1 72188 57 | 2.430 % | 351.99/352.09 c | 1105881 | 36894 248691 568122 | 1 72289 57 | 2.430 % | 351.99/352.09 c | 1106439 | 36894 248691 568122 | 1 72847 57 | 2.430 % | 351.99/352.09 c | 1111538 | 36894 248691 568122 | 1 77946 58 | 2.430 % | 351.99/352.09 c | 1111639 | 36894 248691 568122 | 1 78047 58 | 2.430 % | 351.99/352.09 c | 1115889 | 36894 248691 568122 | 1 82297 61 | 2.430 % | 351.99/352.09 c | 1115989 | 36894 248691 568122 | 1 82397 61 | 2.430 % | 351.99/352.09 c | 1116090 | 36894 248691 568122 | 1 82498 61 | 2.430 % | 351.99/352.09 c | 1117733 | 36894 248691 568122 | 1 84141 61 | 2.430 % | 351.99/352.09 c | 1117834 | 36894 248691 568122 | 1 84242 61 | 2.430 % | 351.99/352.09 c | 1118460 | 36894 248691 568122 | 1 84868 62 | 2.430 % | 351.99/352.09 c | 1118562 | 36894 248691 568122 | 1 84970 62 | 2.430 % | 351.99/352.09 c | 1119726 | 36894 248691 568122 | 1 86134 62 | 2.430 % | 351.99/352.09 c | 1121596 | 36894 248691 568122 | 1 88004 62 | 2.430 % | 351.99/352.09 c | 1121696 | 36894 248691 568122 | 1 88104 62 | 2.430 % | 351.99/352.09 c | 1121796 | 36894 248691 568122 | 1 88204 62 | 2.430 % | 351.99/352.09 c | 1121932 | 36894 248691 568122 | 1 88340 62 | 2.430 % | 351.99/352.09 c | 1122037 | 36894 248691 568122 | 1 88445 62 | 2.430 % | 351.99/352.09 c | 1122553 | 36894 248691 568122 | 1 88961 62 | 2.430 % | 351.99/352.09 c | 1122653 | 36894 248691 568122 | 1 89061 62 | 2.430 % | 351.99/352.09 c | 1123774 | 36894 248691 568122 | 1 90182 63 | 2.430 % | 351.99/352.09 c | 1129946 | 36894 248691 568122 | 1 96354 63 | 2.430 % | 351.99/352.09 c | 1130046 | 36894 248691 568122 | 1 96454 63 | 2.430 % | 351.99/352.09 c | 1130146 | 36894 248691 568122 | 1 96554 63 | 2.430 % | 351.99/352.09 c | 1130247 | 36894 248691 568122 | 1 96655 63 | 2.430 % | 351.99/352.09 c | 1130457 | 36894 248691 568122 | 1 96865 63 | 2.430 % | 351.99/352.09 c | 1130558 | 36894 248691 568122 | 1 96966 63 | 2.430 % | 351.99/352.09 c | 1131285 | 36894 248691 568122 | 1 97693 63 | 2.430 % | 351.99/352.09 c | 1131720 | 36894 248691 568122 | 1 98128 63 | 2.430 % | 351.99/352.09 c | 1132458 | 36894 248691 568122 | 1 98866 63 | 2.430 % | 351.99/352.09 c | 1132558 | 36894 248691 568122 | 1 98966 63 | 2.430 % | 351.99/352.09 c | 1145904 | 36894 248691 568122 | 1 112312 62 | 2.430 % | 351.99/352.09 c | 1146005 | 36894 248691 568122 | 1 112413 62 | 2.430 % | 351.99/352.09 c | 1160107 | 36894 248691 568122 | 1 126515 62 | 2.430 % | 351.99/352.09 c | 1160250 | 36894 248691 568122 | 1 126658 62 | 2.430 % | 351.99/352.09 c | 1160883 | 36894 248691 568122 | 1 127291 63 | 2.430 % | 351.99/352.09 c | 1160983 | 36894 248691 568122 | 1 127391 63 | 2.430 % | 351.99/352.09 c | 1170222 | 36893 248691 568122 | 1 136624 64 | 2.433 % | 351.99/352.09 c | 1185774 | 36185 247908 565407 | 1 65166 49 | 4.305 % | 351.99/352.09 c | 1185874 | 36185 247908 565407 | 1 65266 49 | 4.305 % | 351.99/352.09 c | 1187590 | 36185 247908 565407 | 1 66982 52 | 4.305 % | 373.08/373.15 c | 1187691 | 36185 247908 565407 | 1 67083 52 | 4.305 % | 373.08/373.15 c | 1187794 | 36185 247908 565407 | 1 67186 52 | 4.305 % | 373.08/373.15 c | 1187894 | 36185 247908 565407 | 1 67286 52 | 4.305 % | 373.08/373.15 c | 1187994 | 36185 247908 565407 | 1 67386 53 | 4.305 % | 373.08/373.15 c | 1188095 | 36185 247908 565407 | 1 67487 53 | 4.305 % | 373.08/373.15 c | 1188196 | 36185 247908 565407 | 1 67588 53 | 4.305 % | 373.08/373.15 c | 1188307 | 36185 247908 565407 | 1 67699 53 | 4.305 % | 373.08/373.15 c | 1188408 | 36185 247908 565407 | 1 67800 53 | 4.305 % | 373.08/373.15 c | 1188510 | 36185 247908 565407 | 1 67902 53 | 4.305 % | 373.08/373.15 c | 1188610 | 36185 247908 565407 | 1 68002 53 | 4.305 % | 373.08/373.15 c | 1189136 | 36185 247908 565407 | 1 68528 53 | 4.305 % | 373.08/373.15 c | 1189237 | 36185 247908 565407 | 1 68629 53 | 4.305 % | 373.08/373.15 c | 1190881 | 36185 247908 565407 | 1 70273 54 | 4.305 % | 373.08/373.15 c | 1190984 | 36185 247908 565407 | 1 70376 54 | 4.305 % | 373.08/373.15 c | 1202061 | 36185 247908 565407 | 1 81453 58 | 4.305 % | 373.08/373.15 c | 1202161 | 36185 247908 565407 | 1 81553 58 | 4.305 % | 373.08/373.15 c | 1202287 | 36185 247908 565407 | 1 81679 58 | 4.305 % | 373.08/373.15 c | 1205070 | 36185 247908 565407 | 1 84462 60 | 4.305 % | 373.08/373.15 c | 1205171 | 36185 247908 565407 | 1 84563 60 | 4.305 % | 373.08/373.15 c | 1208072 | 36185 247908 565407 | 1 87464 61 | 4.305 % | 373.08/373.15 c | 1209243 | 36185 247908 565407 | 1 88635 61 | 4.305 % | 373.08/373.15 c | 1209542 | 36185 247908 565407 | 1 88934 61 | 4.305 % | 373.08/373.15 c | 1212635 | 36185 247908 565407 | 1 92027 64 | 4.305 % | 373.08/373.15 c | 1212736 | 36185 247908 565407 | 1 92128 64 | 4.305 % | 373.08/373.15 c | 1212839 | 36185 247908 565407 | 1 92231 64 | 4.305 % | 373.08/373.15 c | 1219368 | 36185 247908 565407 | 1 98760 63 | 4.305 % | 373.08/373.15 c | 1220357 | 36185 247908 565407 | 1 99749 64 | 4.305 % | 373.08/373.15 c | 1220457 | 36185 247908 565407 | 1 99849 64 | 4.305 % | 373.08/373.15 c | 1224999 | 36175 247906 565397 | 1 98952 69 | 4.332 % | 373.08/373.15 c | 1227669 | 36175 247906 565397 | 1 101622 69 | 4.332 % | 373.08/373.15 c | 1227769 | 36175 247906 565397 | 1 101722 69 | 4.332 % | 373.08/373.15 c | 1232091 | 36175 247906 565397 | 1 106044 69 | 4.332 % | 373.08/373.15 c | 1232191 | 36175 247906 565397 | 1 106144 69 | 4.332 % | 373.08/373.15 c | 1234770 | 36175 247906 565397 | 1 108723 69 | 4.332 % | 373.08/373.15 c | 1236475 | 36175 247906 565397 | 1 110428 69 | 4.332 % | 373.08/373.15 c | 1238725 | 27339 247257 562968 | 1 74098 35 | 27.699 % | 373.08/373.15 c =============================================================================== 373.08/373.15 c restarts : 1124 373.08/373.15 c nb ReduceDB : 29 373.08/373.15 c nb removed Clauses : 1041951 373.08/373.15 c nb learnts DL2 : 929 373.08/373.15 c nb learnts size 2 : 515 373.08/373.15 c nb learnts size 1 : 31 373.08/373.15 c conflicts : 1238725 (3330 /sec) 373.08/373.15 c decisions : 1812691 (0.00 % random) (4873 /sec) 373.08/373.15 c propagations : 1396587040 (3754292 /sec) 373.08/373.15 c conflict literals : 136806641 (58.11 % deleted) 373.08/373.15 c nb reduced Clauses : 1539 373.08/373.15 c CPU time : 371.997 s 373.08/373.15 373.08/373.15 s UNSATISFIABLE
No possible verification on an UNSAT instance
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-3286320-1303763509/watcher-3286320-1303763509 -o /tmp/evaluation-result-3286320-1303763509/solver-3286320-1303763509 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3286320-1303763509.cnf running on 2 cores: 0,2 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.97 3.98 3.61 4/185 21765 /proc/meminfo: memFree=27894184/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 487950632 8912896 253 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 253 211 178 0 69 0 [startup+0.0889481 s] /proc/loadavg: 3.97 3.98 3.61 4/185 21765 /proc/meminfo: memFree=27894184/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 487950632 8912896 253 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100948 s] /proc/loadavg: 3.97 3.98 3.61 4/185 21765 /proc/meminfo: memFree=27894184/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 487950632 8912896 253 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300962 s] /proc/loadavg: 3.97 3.98 3.61 4/185 21765 /proc/meminfo: memFree=27894184/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 487950632 8912896 253 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700834 s] /proc/loadavg: 3.97 3.98 3.61 4/185 21765 /proc/meminfo: memFree=27894184/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 487950632 8912896 253 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50073 s] /proc/loadavg: 3.97 3.98 3.61 4/187 21768 /proc/meminfo: memFree=27832964/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=34764 CPUtime=0.68 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 5473 0 0 0 68 0 0 0 21 0 1 0 487950712 35598336 5071 33554432000 4194304 4260849 140737113262448 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 8691 5071 250 17 0 5332 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 43468 [startup+3.10037 s] /proc/loadavg: 3.97 3.98 3.61 5/190 21796 /proc/meminfo: memFree=27806100/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=39812 CPUtime=2.29 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 8375 0 0 0 228 1 0 0 25 0 1 0 487950712 40767488 5765 33554432000 4194304 4260849 140737113262448 18446744073709551615 4226551 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 9953 5765 252 17 0 6594 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 48516 [startup+6.30082 s] /proc/loadavg: 3.97 3.98 3.61 5/190 21809 /proc/meminfo: memFree=28045684/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=47016 CPUtime=5.49 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 16832 0 0 0 547 2 0 0 25 0 1 0 487950712 48144384 8364 33554432000 4194304 4260849 140737113262448 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 11754 8364 252 17 0 8395 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 55720 [startup+12.7006 s] /proc/loadavg: 3.97 3.98 3.62 5/190 21839 /proc/meminfo: memFree=27815136/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=96044 CPUtime=11.88 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 26680 0 0 0 1185 3 0 0 25 0 1 0 487950712 98349056 17965 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 24011 17965 252 17 0 20652 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 104748 [startup+25.5011 s] /proc/loadavg: 3.82 3.95 3.61 4/181 21906 /proc/meminfo: memFree=28315724/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=84548 CPUtime=24.69 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 31770 0 0 0 2464 5 0 0 25 0 1 0 487950712 86577152 17704 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224583 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 21137 17704 252 17 0 17778 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 93252 [startup+51.1003 s] /proc/loadavg: 3.54 3.87 3.59 4/187 21915 /proc/meminfo: memFree=28020864/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=84548 CPUtime=50.28 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 39765 0 0 0 5022 6 0 0 25 0 1 0 487950712 86577152 17748 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 21137 17748 252 17 0 17778 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 93252 [startup+102.307 s] /proc/loadavg: 3.23 3.74 3.56 5/187 21977 /proc/meminfo: memFree=28524072/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=96364 CPUtime=101.5 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 68790 0 0 0 10139 11 0 0 25 0 1 0 487950712 98676736 20059 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 24091 20059 252 17 0 20732 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 105068 [startup+162.301 s] /proc/loadavg: 3.08 3.60 3.52 5/187 21979 /proc/meminfo: memFree=28383592/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=145684 CPUtime=161.49 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 113407 0 0 0 16131 18 0 0 25 0 1 0 487950712 149180416 29371 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 36421 29371 252 17 0 33062 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 154388 [startup+222.301 s] /proc/loadavg: 3.10 3.50 3.49 5/187 21981 /proc/meminfo: memFree=28379188/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=145684 CPUtime=221.49 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 145341 0 0 0 22125 24 0 0 25 0 1 0 487950712 149180416 30565 33554432000 4194304 4260849 140737113262448 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 36421 30565 252 17 0 33062 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 154388 [startup+282.3 s] /proc/loadavg: 3.04 3.41 3.46 5/187 21982 /proc/meminfo: memFree=28398600/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=145684 CPUtime=281.5 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 173776 0 0 0 28120 30 0 0 25 0 1 0 487950712 149180416 29997 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224816 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 36421 29997 252 17 0 33062 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 154388 [startup+342.301 s] /proc/loadavg: 3.06 3.35 3.43 4/187 21984 /proc/meminfo: memFree=28397548/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=145684 CPUtime=341.5 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 195036 0 0 0 34116 34 0 0 25 0 1 0 487950712 149180416 29955 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 36421 29955 252 17 0 33062 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 154388 Solver just ended. Dumping a history of the last processes samples [startup+358.301 s] /proc/loadavg: 3.05 3.33 3.43 4/187 21984 /proc/meminfo: memFree=28361456/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=96364 CPUtime=357.5 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 195857 0 0 0 35716 34 0 0 25 0 1 0 487950712 98676736 20704 33554432000 4194304 4260849 140737113262448 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 24091 20704 252 17 0 20732 0 Current children cumulated CPU time (s) 358.29 Current children cumulated vsize (KiB) 105068 [startup+364.701 s] /proc/loadavg: 3.04 3.32 3.42 5/187 21984 /proc/meminfo: memFree=28392444/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=145684 CPUtime=363.9 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 204659 0 0 0 36355 35 0 0 25 0 1 0 487950712 149180416 29491 33554432000 4194304 4260849 140737113262448 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 36421 29491 252 17 0 33062 0 Current children cumulated CPU time (s) 364.69 Current children cumulated vsize (KiB) 154388 [startup+367.901 s] /proc/loadavg: 3.04 3.32 3.42 4/187 21984 /proc/meminfo: memFree=28381532/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=145684 CPUtime=367.1 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 205173 0 0 0 36675 35 0 0 25 0 1 0 487950712 149180416 30003 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 36421 30003 252 17 0 33062 0 Current children cumulated CPU time (s) 367.89 Current children cumulated vsize (KiB) 154388 [startup+371.1 s] /proc/loadavg: 3.04 3.31 3.42 5/187 21985 /proc/meminfo: memFree=28372848/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=145684 CPUtime=370.29 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 205616 0 0 0 36994 35 0 0 25 0 1 0 487950712 149180416 30439 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 36421 30439 252 17 0 33062 0 Current children cumulated CPU time (s) 371.08 Current children cumulated vsize (KiB) 154388 [startup+371.901 s] /proc/loadavg: 3.04 3.31 3.42 4/187 21985 /proc/meminfo: memFree=28369860/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=145684 CPUtime=371.09 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 205760 0 0 0 37074 35 0 0 25 0 1 0 487950712 149180416 30583 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 36421 30583 252 17 0 33062 0 Current children cumulated CPU time (s) 371.88 Current children cumulated vsize (KiB) 154388 [startup+372.701 s] /proc/loadavg: 3.04 3.31 3.42 4/187 21985 /proc/meminfo: memFree=28369860/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=145684 CPUtime=371.89 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 205826 0 0 0 37154 35 0 0 25 0 1 0 487950712 149180416 30648 33554432000 4194304 4260849 140737113262448 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 36421 30648 252 17 0 33062 0 Current children cumulated CPU time (s) 372.68 Current children cumulated vsize (KiB) 154388 [startup+373.101 s] /proc/loadavg: 3.04 3.31 3.42 4/187 21985 /proc/meminfo: memFree=28336132/32950928 swapFree=67111364/67111528 [pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2 /proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21765/statm: 2176 255 211 178 0 69 0 [pid=21768] ppid=21765 vsize=145684 CPUtime=372.29 cores=0,2 /proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 205851 0 0 0 37194 35 0 0 25 0 1 0 487950712 149180416 30671 33554432000 4194304 4260849 140737113262448 18446744073709551615 4223122 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21768/statm: 36421 30671 252 17 0 33062 0 Current children cumulated CPU time (s) 373.08 Current children cumulated vsize (KiB) 154388 Child status: 20 Real time (s): 373.161 CPU time (s): 373.165 CPU user time (s): 372.763 CPU system time (s): 0.401938 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 154388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 372.763 system time used= 0.401938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 216978 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= 972 runsolver used 0.643902 second user time and 1.40379 second system time The end
Begin job on node127 at 2011-04-25 22:31:50 IDJOB=3286320 IDBENCH=82422 IDSOLVER=1651 FILE ID=node127/3286320-1303763509 RUNJOBID= node127-1303762207-21568 PBS_JOBID= 13157130 Free space on /tmp= 71032 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step20.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3286320-1303763509/watcher-3286320-1303763509 -o /tmp/evaluation-result-3286320-1303763509/solver-3286320-1303763509 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3286320-1303763509.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 8f0e3738453893efc8a2d1abcf0d190d RANDOM SEED=584234903 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: 27894332 kB Buffers: 1233632 kB Cached: 2677548 kB SwapCached: 0 kB Active: 1276060 kB Inactive: 3312124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 27894332 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 205732 kB Writeback: 0 kB AnonPages: 677012 kB Mapped: 15212 kB Slab: 401460 kB PageTables: 6296 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 963332 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= 71276 MiB End job on node127 at 2011-04-25 22:38:03