| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | UNSAT | 164.276 | 164.308 |
| Name | velev-pipe-o-uns-1.0-7.cnf |
| MD5SUM | b7df25f653e1e7a9ffcd39b3231809e6 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 75.1726 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 24415 |
| Number of clauses | 711050 |
| Sum of the clauses size | 2091630 |
| Maximum clause length | 161 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 605924 |
| Number of clauses of size 3 | 86384 |
| Number of clauses of size 4 | 614 |
| Number of clauses of size 5 | 475 |
| Number of clauses of size over 5 | 17652 |
0.00/0.02 c 0.00/0.02 c Starting SatElite Preprocessing 0.00/0.02 c 0.00/0.02 c Parsing... 0.00/0.27 c ============================================================================== 0.00/0.27 c | | ORIGINAL | LEARNT | | 0.00/0.27 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.27 c ============================================================================== 0.00/0.27 c | 0 | 711049 2091629 | 213314 0 0 nan | 0.000 % | 1.07/1.15 c | 0 | 700461 2138957 | -- 0 -- -- | -- | -10530/47459 1.07/1.15 c ============================================================================== 1.07/1.15 c Result : #vars: 21173 #clauses: 700461 #literals: 2138957 1.07/1.15 c CPU time: 1.09983 s 1.07/1.15 c ============================================================================== 1.36/1.50 c 1.36/1.50 c Starting glucose 1.36/1.50 c 2.96/3.00 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 2.96/3.00 c WARNING: for repeatability, setting FPU to use double precision 2.96/3.00 c ============================[ Problem Statistics ]============================= 2.96/3.00 c | | 2.96/3.00 c | Number of variables: 21173 | 2.96/3.00 c | Number of clauses: 700461 | 2.96/3.00 c | Parse time: 0.14 s | 2.96/3.00 c | | 2.96/3.00 c ============================[ Search Statistics ]============================== 2.96/3.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.96/3.00 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 2.96/3.00 c =============================================================================== 2.96/3.00 c | 425 | 21173 700461 2138957 | 1 425 39 | 0.000 % | 2.96/3.00 c | 526 | 21172 700461 2138957 | 1 525 51 | 0.005 % | 2.96/3.00 c | 1080 | 21172 700461 2138957 | 1 1079 56 | 0.005 % | 2.96/3.00 c | 1189 | 21172 700461 2138957 | 1 1188 59 | 0.005 % | 2.96/3.00 c | 1649 | 21172 700461 2138957 | 1 1648 70 | 0.005 % | 2.96/3.00 c | 1876 | 21172 700461 2138957 | 1 1875 75 | 0.005 % | 2.96/3.00 c | 2239 | 21172 700461 2138957 | 1 2238 77 | 0.005 % | 2.96/3.00 c | 2639 | 21172 700461 2138957 | 1 2638 79 | 0.005 % | 2.96/3.00 c | 3721 | 21172 700461 2138957 | 1 3720 84 | 0.005 % | 2.96/3.00 c | 4142 | 21172 700461 2138957 | 1 2143 37 | 0.005 % | 2.96/3.00 c | 6918 | 21172 700461 2138957 | 1 4918 50 | 0.005 % | 2.96/3.00 c | 7125 | 21172 700461 2138957 | 1 5125 51 | 0.005 % | 2.96/3.00 c | 7424 | 21172 700461 2138957 | 1 5424 52 | 0.005 % | 2.96/3.00 c | 7593 | 21172 700461 2138957 | 1 5593 54 | 0.005 % | 2.96/3.00 c | 7928 | 21172 700461 2138957 | 1 5928 59 | 0.005 % | 2.96/3.00 c | 8064 | 21172 700461 2138957 | 1 6064 60 | 0.005 % | 2.96/3.00 c | 8349 | 21172 700461 2138957 | 1 6349 62 | 0.005 % | 2.96/3.00 c | 9759 | 21172 700461 2138957 | 1 7759 62 | 0.005 % | 2.96/3.00 c | 9903 | 21172 700461 2138957 | 1 7903 63 | 0.005 % | 2.96/3.00 c | 10006 | 21172 700461 2138957 | 1 8006 63 | 0.005 % | 2.96/3.00 c | 10504 | 21172 700461 2138957 | 1 8504 64 | 0.005 % | 2.96/3.00 c | 13405 | 21172 700461 2138957 | 1 7107 46 | 0.005 % | 2.96/3.00 c | 14180 | 21172 700461 2138957 | 1 7882 48 | 0.005 % | 2.96/3.00 c | 14526 | 21172 700461 2138957 | 1 8228 50 | 0.005 % | 2.96/3.00 c | 14686 | 21172 700461 2138957 | 1 8388 51 | 0.005 % | 2.96/3.00 c | 14950 | 21172 700461 2138957 | 1 8652 52 | 0.005 % | 2.96/3.00 c | 15100 | 21172 700461 2138957 | 1 8802 53 | 0.005 % | 2.96/3.00 c | 15200 | 21172 700461 2138957 | 1 8902 53 | 0.005 % | 2.96/3.00 c | 15301 | 21172 700461 2138957 | 1 9003 54 | 0.005 % | 2.96/3.00 c | 15599 | 21172 700461 2138957 | 1 9301 55 | 0.005 % | 2.96/3.00 c | 16241 | 21172 700461 2138957 | 1 9943 58 | 0.005 % | 2.96/3.00 c | 16376 | 21172 700461 2138957 | 1 10078 59 | 0.005 % | 2.96/3.00 c | 16706 | 21172 700461 2138957 | 1 10408 60 | 0.005 % | 2.96/3.00 c | 16807 | 21172 700461 2138957 | 1 10509 60 | 0.005 % | 2.96/3.00 c | 17108 | 21172 700461 2138957 | 1 10810 61 | 0.005 % | 2.96/3.00 c | 17208 | 21172 700461 2138957 | 1 10910 62 | 0.005 % | 2.96/3.00 c | 17313 | 21172 700461 2138957 | 1 11015 62 | 0.005 % | 2.96/3.00 c | 17514 | 21172 700461 2138957 | 1 11216 62 | 0.005 % | 2.96/3.00 c | 17616 | 21172 700461 2138957 | 1 11318 63 | 0.005 % | 5.06/5.17 c | 17842 | 21171 700461 2138957 | 1 11543 64 | 0.009 % | 5.06/5.17 c | 17942 | 21170 700461 2138957 | 1 11642 64 | 0.014 % | 5.06/5.17 c | 18261 | 21170 700461 2138957 | 1 11961 65 | 0.014 % | 5.06/5.17 c | 19327 | 21170 700461 2138957 | 1 13027 69 | 0.014 % | 5.06/5.17 c | 20018 | 21170 700461 2138957 | 1 6971 34 | 0.014 % | 5.06/5.17 c | 20344 | 21170 700461 2138957 | 1 7297 36 | 0.014 % | 5.06/5.17 c | 20563 | 21170 700461 2138957 | 1 7516 38 | 0.014 % | 5.06/5.17 c | 20832 | 21170 700461 2138957 | 1 7785 39 | 0.014 % | 5.06/5.17 c | 21742 | 21170 700461 2138957 | 1 8695 44 | 0.014 % | 5.06/5.17 c | 22496 | 21170 700461 2138957 | 1 9449 52 | 0.014 % | 5.06/5.17 c | 22988 | 21170 700461 2138957 | 1 9941 54 | 0.014 % | 5.06/5.17 c | 23699 | 21170 700461 2138957 | 1 10652 56 | 0.014 % | 5.06/5.17 c | 23964 | 21170 700461 2138957 | 1 10917 56 | 0.014 % | 5.06/5.17 c | 24370 | 21170 700461 2138957 | 1 11323 58 | 0.014 % | 5.06/5.17 c | 25266 | 21170 700461 2138957 | 1 12219 61 | 0.014 % | 5.06/5.17 c | 25376 | 21170 700461 2138957 | 1 12329 61 | 0.014 % | 5.06/5.17 c | 30879 | 21170 700461 2138957 | 1 17832 71 | 0.014 % | 5.06/5.17 c | 32296 | 21169 700461 2138957 | 1 9978 33 | 0.019 % | 5.06/5.17 c | 32581 | 21169 700461 2138957 | 1 10263 36 | 0.019 % | 5.06/5.17 c | 32969 | 21169 700461 2138957 | 1 10651 38 | 0.019 % | 5.06/5.17 c | 33073 | 21169 700461 2138957 | 1 10755 39 | 0.019 % | 5.06/5.17 c | 33173 | 21169 700461 2138957 | 1 10855 39 | 0.019 % | 5.06/5.17 c | 33273 | 21169 700461 2138957 | 1 10955 40 | 0.019 % | 5.06/5.17 c | 33373 | 21169 700461 2138957 | 1 11055 40 | 0.019 % | 5.06/5.17 c | 33585 | 21169 700461 2138957 | 1 11267 41 | 0.019 % | 5.06/5.17 c | 33835 | 21169 700461 2138957 | 1 11517 43 | 0.019 % | 5.06/5.17 c | 33938 | 21169 700461 2138957 | 1 11620 44 | 0.019 % | 5.06/5.17 c | 34084 | 21169 700461 2138957 | 1 11766 45 | 0.019 % | 5.06/5.17 c | 34185 | 21169 700461 2138957 | 1 11867 46 | 0.019 % | 5.06/5.17 c | 34285 | 21169 700461 2138957 | 1 11967 46 | 0.019 % | 5.06/5.17 c | 34411 | 21169 700461 2138957 | 1 12093 47 | 0.019 % | 5.06/5.17 c | 34575 | 21169 700461 2138957 | 1 12257 47 | 0.019 % | 5.06/5.17 c | 35134 | 21169 700461 2138957 | 1 12816 49 | 0.019 % | 5.06/5.17 c | 35266 | 21169 700461 2138957 | 1 12948 50 | 0.019 % | 5.06/5.17 c | 35435 | 21169 700461 2138957 | 1 13117 51 | 0.019 % | 5.06/5.17 c | 35851 | 21169 700461 2138957 | 1 13533 51 | 0.019 % | 5.06/5.17 c | 35959 | 21169 700461 2138957 | 1 13641 52 | 0.019 % | 5.06/5.17 c | 38395 | 21169 700461 2138957 | 1 16077 60 | 0.019 % | 5.06/5.17 c | 39316 | 21169 700461 2138957 | 1 16998 61 | 0.019 % | 5.06/5.17 c | 39528 | 21169 700461 2138957 | 1 17210 62 | 0.019 % | 5.06/5.17 c | 39888 | 21169 700461 2138957 | 1 17570 63 | 0.019 % | 5.06/5.17 c | 40184 | 21169 700461 2138957 | 1 17866 63 | 0.019 % | 5.06/5.17 c | 40284 | 21169 700461 2138957 | 1 17966 63 | 0.019 % | 5.06/5.17 c | 40812 | 21169 700461 2138957 | 1 18494 64 | 0.019 % | 5.06/5.17 c | 41008 | 21169 700461 2138957 | 1 18690 64 | 0.019 % | 5.06/5.17 c | 41113 | 21169 700461 2138957 | 1 18795 64 | 0.019 % | 5.06/5.17 c | 41793 | 21169 700461 2138957 | 1 19475 66 | 0.019 % | 5.06/5.17 c | 41951 | 21169 700461 2138957 | 1 19633 66 | 0.019 % | 5.06/5.17 c | 42053 | 21169 700461 2138957 | 1 19735 66 | 0.019 % | 5.06/5.17 c | 42300 | 21169 700461 2138957 | 1 19982 66 | 0.019 % | 16.46/16.55 c | 42400 | 21169 700461 2138957 | 1 20082 67 | 0.019 % | 16.46/16.55 c | 42523 | 21169 700461 2138957 | 1 20205 67 | 0.019 % | 16.46/16.55 c | 42666 | 21169 700461 2138957 | 1 20348 68 | 0.019 % | 16.46/16.55 c | 42944 | 21169 700461 2138957 | 1 20626 68 | 0.019 % | 16.46/16.55 c | 43862 | 21169 700461 2138957 | 1 21544 69 | 0.019 % | 16.46/16.55 c | 43977 | 21169 700461 2138957 | 1 21659 69 | 0.019 % | 16.46/16.55 c | 44554 | 21169 700461 2138957 | 1 22236 70 | 0.019 % | 16.46/16.55 c | 46336 | 21169 700461 2138957 | 1 12184 34 | 0.019 % | 16.46/16.55 c | 46545 | 21169 700461 2138957 | 1 12393 35 | 0.019 % | 16.46/16.55 c | 46650 | 21169 700461 2138957 | 1 12498 35 | 0.019 % | 16.46/16.55 c | 46874 | 21169 700461 2138957 | 1 12722 36 | 0.019 % | 16.46/16.55 c | 47105 | 21169 700461 2138957 | 1 12953 37 | 0.019 % | 16.46/16.55 c | 47867 | 21168 700461 2138957 | 1 13713 39 | 0.024 % | 16.46/16.55 c | 47998 | 21168 700461 2138957 | 1 13844 40 | 0.024 % | 16.46/16.55 c | 48205 | 21168 700461 2138957 | 1 14051 41 | 0.024 % | 16.46/16.55 c | 48460 | 21168 700461 2138957 | 1 14306 42 | 0.024 % | 16.46/16.55 c | 48786 | 21168 700461 2138957 | 1 14632 43 | 0.024 % | 16.46/16.55 c | 48998 | 21168 700461 2138957 | 1 14844 44 | 0.024 % | 16.46/16.55 c | 49589 | 21168 700461 2138957 | 1 15435 46 | 0.024 % | 16.46/16.55 c | 49689 | 21168 700461 2138957 | 1 15535 46 | 0.024 % | 16.46/16.55 c | 52533 | 21168 700461 2138957 | 1 18379 57 | 0.024 % | 16.46/16.55 c | 58043 | 21167 700461 2138957 | 1 23887 64 | 0.028 % | 16.46/16.55 c | 116246 | 21167 700461 2138957 | 1 31074 55 | 0.028 % | 16.46/16.55 c | 135160 | 21167 700461 2138957 | 1 27775 47 | 0.028 % | 16.46/16.55 c | 135802 | 21167 700461 2138957 | 1 28417 47 | 0.028 % | 16.46/16.55 c | 135905 | 21167 700461 2138957 | 1 28520 47 | 0.028 % | 16.46/16.55 c | 138340 | 21167 700461 2138957 | 1 30955 47 | 0.028 % | 16.46/16.55 c | 138472 | 21167 700461 2138957 | 1 31087 47 | 0.028 % | 16.46/16.55 c | 139074 | 21167 700461 2138957 | 1 31689 48 | 0.028 % | 16.46/16.55 c | 140062 | 21167 700461 2138957 | 1 32677 48 | 0.028 % | 16.46/16.55 c | 141596 | 21167 700461 2138957 | 1 34211 47 | 0.028 % | 16.46/16.55 c | 143317 | 21167 700461 2138957 | 1 35932 47 | 0.028 % | 16.46/16.55 c | 151257 | 21163 699525 2129519 | 1 22321 43 | 0.047 % | 16.46/16.55 c | 151459 | 21163 699525 2129519 | 1 22523 43 | 0.047 % | 16.46/16.55 c | 151785 | 21163 699525 2129519 | 1 22849 44 | 0.047 % | 16.46/16.55 c | 151886 | 21163 699525 2129519 | 1 22950 44 | 0.047 % | 16.46/16.55 c | 151986 | 21163 699525 2129519 | 1 23050 44 | 0.047 % | 16.46/16.55 c | 152208 | 21163 699525 2129519 | 1 23272 45 | 0.047 % | 16.46/16.55 c | 166625 | 21161 699525 2129519 | 1 23658 49 | 0.057 % | 16.46/16.55 c | 166901 | 21161 699525 2129519 | 1 23934 49 | 0.057 % | 16.46/16.55 c | 167020 | 21161 699525 2129519 | 1 24053 49 | 0.057 % | 16.46/16.55 c | 167154 | 21161 699525 2129519 | 1 24187 50 | 0.057 % | 16.46/16.55 c | 167808 | 21161 699525 2129519 | 1 24841 51 | 0.057 % | 16.46/16.55 c | 167956 | 21161 699525 2129519 | 1 24989 51 | 0.057 % | 16.46/16.55 c | 168204 | 21161 699525 2129519 | 1 25237 52 | 0.057 % | 16.46/16.55 c | 168535 | 21161 699525 2129519 | 1 25568 53 | 0.057 % | 16.46/16.55 c | 168842 | 21160 699525 2129519 | 1 25874 53 | 0.061 % | 16.46/16.55 c | 170050 | 21160 699525 2129519 | 1 27082 54 | 0.061 % | 16.46/16.55 c | 171640 | 21160 699525 2129519 | 1 28672 55 | 0.061 % | 16.46/16.55 c | 172378 | 21159 699525 2129519 | 1 29409 56 | 0.066 % | 20.76/20.81 c | 173364 | 21159 699525 2129519 | 1 30395 57 | 0.066 % | 20.76/20.81 c | 180864 | 21159 699525 2129519 | 1 37895 72 | 0.066 % | 20.76/20.81 c | 181073 | 21159 699525 2129519 | 1 38103 73 | 0.066 % | 20.76/20.81 c | 181642 | 21159 699525 2129519 | 1 38672 73 | 0.066 % | 20.76/20.81 c | 182056 | 21159 699525 2129519 | 1 39086 73 | 0.066 % | 20.76/20.81 c | 182206 | 21159 699525 2129519 | 1 39236 73 | 0.066 % | 20.76/20.81 c | 184235 | 21159 699525 2129519 | 1 41265 75 | 0.066 % | 20.76/20.81 c | 184853 | 21159 699525 2129519 | 1 41883 75 | 0.066 % | 20.76/20.81 c | 186285 | 21158 699525 2129519 | 1 43314 76 | 0.071 % | 20.76/20.81 c | 186937 | 21158 699525 2129519 | 1 43966 77 | 0.071 % | 20.76/20.81 c | 187562 | 21157 699525 2129519 | 1 22583 46 | 0.076 % | 20.76/20.81 c | 190233 | 21157 699525 2129519 | 1 25254 53 | 0.076 % | 20.76/20.81 c | 190372 | 21157 699525 2129519 | 1 25391 54 | 0.076 % | 20.76/20.81 c | 193711 | 21156 699525 2129519 | 1 28729 61 | 0.080 % | 20.76/20.81 c | 193811 | 21156 699525 2129519 | 1 28829 61 | 0.080 % | 20.76/20.81 c | 193936 | 21155 699525 2129519 | 1 28953 61 | 0.085 % | 20.76/20.81 c | 194107 | 21155 699525 2129519 | 1 29124 61 | 0.085 % | 20.76/20.81 c | 194207 | 21155 699525 2129519 | 1 29224 62 | 0.085 % | 20.76/20.81 c | 194485 | 21155 699525 2129519 | 1 29502 62 | 0.085 % | 20.76/20.81 c | 194601 | 21155 699525 2129519 | 1 29618 62 | 0.085 % | 20.76/20.81 c | 194703 | 21155 699525 2129519 | 1 29720 62 | 0.085 % | 20.76/20.81 c | 199751 | 21155 699525 2129519 | 1 34768 76 | 0.085 % | 20.76/20.81 c | 199870 | 21155 699525 2129519 | 1 34886 76 | 0.085 % | 20.76/20.81 c | 200102 | 21155 699525 2129519 | 1 35118 77 | 0.085 % | 20.76/20.81 c | 200340 | 21155 699525 2129519 | 1 35356 76 | 0.085 % | 20.76/20.81 c | 200440 | 21155 699525 2129519 | 1 35456 77 | 0.085 % | 20.76/20.81 c | 200541 | 21155 699525 2129519 | 1 35557 77 | 0.085 % | 20.76/20.81 c | 200646 | 21155 699525 2129519 | 1 35662 77 | 0.085 % | 20.76/20.81 c | 200834 | 21155 699525 2129519 | 1 35850 77 | 0.085 % | 20.76/20.81 c | 200934 | 21152 699525 2129519 | 1 35947 77 | 0.099 % | 20.76/20.81 c | 201034 | 21152 699525 2129519 | 1 36047 77 | 0.099 % | 20.76/20.81 c | 201137 | 21152 699525 2129519 | 1 36150 77 | 0.099 % | 20.76/20.81 c | 201238 | 21152 699525 2129519 | 1 36251 77 | 0.099 % | 20.76/20.81 c | 201338 | 21152 699525 2129519 | 1 36351 77 | 0.099 % | 20.76/20.81 c | 203776 | 21152 699525 2129519 | 1 38789 79 | 0.099 % | 20.76/20.81 c | 203878 | 21150 699525 2129519 | 1 38889 79 | 0.109 % | 20.76/20.81 c | 203979 | 21150 699525 2129519 | 1 38990 79 | 0.109 % | 20.76/20.81 c | 204080 | 21150 699525 2129519 | 1 39091 79 | 0.109 % | 20.76/20.81 c | 204180 | 21150 699525 2129519 | 1 39191 79 | 0.109 % | 20.76/20.81 c | 204475 | 21149 699525 2129519 | 1 39485 79 | 0.113 % | 20.76/20.81 c | 204575 | 21149 699525 2129519 | 1 39585 80 | 0.113 % | 20.76/20.81 c | 204676 | 21149 699525 2129519 | 1 39686 80 | 0.113 % | 20.76/20.81 c | 204779 | 21149 699525 2129519 | 1 39789 80 | 0.113 % | 20.76/20.81 c | 205135 | 21149 699525 2129519 | 1 40145 80 | 0.113 % | 20.76/20.81 c | 205235 | 21149 699525 2129519 | 1 40245 80 | 0.113 % | 20.76/20.81 c | 205335 | 21149 699525 2129519 | 1 40345 80 | 0.113 % | 20.76/20.81 c | 215509 | 21148 699499 2129417 | 1 50498 93 | 0.118 % | 20.76/20.81 c | 215686 | 21148 699499 2129417 | 1 50675 93 | 0.118 % | 20.76/20.81 c | 215786 | 21148 699499 2129417 | 1 50775 93 | 0.118 % | 20.76/20.81 c | 216259 | 21148 699499 2129417 | 1 51248 93 | 0.118 % | 31.25/31.38 c | 216433 | 21148 699499 2129417 | 1 51422 93 | 0.118 % | 31.25/31.38 c | 216533 | 21148 699499 2129417 | 1 51522 93 | 0.118 % | 31.25/31.38 c | 216749 | 21148 699499 2129417 | 1 51738 93 | 0.118 % | 31.25/31.38 c | 216849 | 21148 699499 2129417 | 1 51838 93 | 0.118 % | 31.25/31.38 c | 216992 | 21148 699499 2129417 | 1 51981 93 | 0.118 % | 31.25/31.38 c | 218525 | 21148 699499 2129417 | 1 53514 93 | 0.118 % | 31.25/31.38 c | 219050 | 21148 699499 2129417 | 1 54039 93 | 0.118 % | 31.25/31.38 c | 219383 | 21147 699499 2129417 | 1 54371 93 | 0.123 % | 31.25/31.38 c | 219483 | 21147 699499 2129417 | 1 54471 93 | 0.123 % | 31.25/31.38 c | 219743 | 21147 699499 2129417 | 1 27454 56 | 0.123 % | 31.25/31.38 c | 220637 | 21147 699499 2129417 | 1 28348 58 | 0.123 % | 31.25/31.38 c | 220810 | 21147 699499 2129417 | 1 28521 58 | 0.123 % | 31.25/31.38 c | 221057 | 21145 699499 2129417 | 1 28766 58 | 0.132 % | 31.25/31.38 c | 222051 | 21144 699499 2129417 | 1 29759 59 | 0.137 % | 31.25/31.38 c | 222453 | 21144 699499 2129417 | 1 30161 60 | 0.137 % | 31.25/31.38 c | 223355 | 21144 699499 2129417 | 1 31063 61 | 0.137 % | 31.25/31.38 c | 224521 | 21144 699499 2129417 | 1 32229 62 | 0.137 % | 31.25/31.38 c | 224722 | 21142 699499 2129417 | 1 32428 62 | 0.146 % | 31.25/31.38 c | 224868 | 21142 699499 2129417 | 1 32574 62 | 0.146 % | 31.25/31.38 c | 225944 | 21142 699499 2129417 | 1 33650 63 | 0.146 % | 31.25/31.38 c | 226045 | 21142 699499 2129417 | 1 33733 63 | 0.146 % | 31.25/31.38 c | 226304 | 21142 699499 2129417 | 1 33992 63 | 0.146 % | 31.25/31.38 c | 226404 | 21142 699499 2129417 | 1 34092 63 | 0.146 % | 31.25/31.38 c | 226860 | 21142 699499 2129417 | 1 34548 64 | 0.146 % | 31.25/31.38 c | 227130 | 21142 699499 2129417 | 1 34818 64 | 0.146 % | 31.25/31.38 c | 227554 | 21142 699499 2129417 | 1 35242 64 | 0.146 % | 31.25/31.38 c | 227752 | 21142 699499 2129417 | 1 35440 64 | 0.146 % | 31.25/31.38 c | 228016 | 21142 699499 2129417 | 1 35704 64 | 0.146 % | 31.25/31.38 c | 229826 | 21142 699499 2129417 | 1 37514 64 | 0.146 % | 31.25/31.38 c | 305208 | 21138 699499 2129417 | 1 47131 107 | 0.165 % | 31.25/31.38 c | 305349 | 21138 699499 2129417 | 1 47272 107 | 0.165 % | 31.25/31.38 c | 306145 | 21138 699499 2129417 | 1 48068 107 | 0.165 % | 31.25/31.38 c | 306328 | 21138 699499 2129417 | 1 48251 106 | 0.165 % | 31.25/31.38 c | 307022 | 21138 699499 2129417 | 1 48945 106 | 0.165 % | 31.25/31.38 c | 307734 | 21135 699499 2129417 | 1 49654 106 | 0.179 % | 31.25/31.38 c | 307834 | 21135 699499 2129417 | 1 49754 106 | 0.179 % | 31.25/31.38 c | 307936 | 21135 699499 2129417 | 1 49856 106 | 0.179 % | 31.25/31.38 c | 308183 | 21135 699499 2129417 | 1 50103 105 | 0.179 % | 31.25/31.38 c | 309510 | 21135 699499 2129417 | 1 51430 105 | 0.179 % | 31.25/31.38 c | 309611 | 21135 699499 2129417 | 1 51531 105 | 0.179 % | 31.25/31.38 c | 309711 | 21135 699499 2129417 | 1 51631 105 | 0.179 % | 31.25/31.38 c | 309813 | 21135 699499 2129417 | 1 51733 104 | 0.179 % | 31.25/31.38 c | 310064 | 21135 699499 2129417 | 1 51984 104 | 0.179 % | 31.25/31.38 c | 310180 | 21135 699499 2129417 | 1 52100 104 | 0.179 % | 31.25/31.38 c | 311858 | 21132 699499 2129417 | 1 53775 103 | 0.194 % | 31.25/31.38 c | 312012 | 21132 699499 2129417 | 1 53929 103 | 0.194 % | 31.25/31.38 c | 312622 | 21132 699499 2129417 | 1 54539 102 | 0.194 % | 31.25/31.38 c | 312775 | 21132 699499 2129417 | 1 54692 102 | 0.194 % | 31.25/31.38 c | 312942 | 21132 699499 2129417 | 1 54859 102 | 0.194 % | 31.25/31.38 c | 314000 | 21131 699499 2129417 | 1 55916 102 | 0.198 % | 33.76/33.88 c | 314223 | 21131 699499 2129417 | 1 56139 102 | 0.198 % | 33.76/33.88 c | 314429 | 21131 699499 2129417 | 1 56345 102 | 0.198 % | 33.76/33.88 c | 314529 | 21131 699499 2129417 | 1 56445 102 | 0.198 % | 33.76/33.88 c | 314938 | 21131 699499 2129417 | 1 56854 101 | 0.198 % | 33.76/33.88 c | 315139 | 21131 699499 2129417 | 1 57031 101 | 0.198 % | 33.76/33.88 c | 315693 | 21131 699499 2129417 | 1 57585 101 | 0.198 % | 33.76/33.88 c | 323414 | 21130 699499 2129417 | 1 65305 100 | 0.203 % | 33.76/33.88 c | 324148 | 21130 699499 2129417 | 1 66039 101 | 0.203 % | 33.76/33.88 c | 324551 | 21130 699499 2129417 | 1 66442 101 | 0.203 % | 33.76/33.88 c | 324652 | 21130 699499 2129417 | 1 66543 101 | 0.203 % | 33.76/33.88 c | 324904 | 21130 699499 2129417 | 1 66795 100 | 0.203 % | 33.76/33.88 c | 327385 | 21130 699499 2129417 | 1 69276 101 | 0.203 % | 33.76/33.88 c | 327517 | 21130 699499 2129417 | 1 69408 101 | 0.203 % | 33.76/33.88 c | 328683 | 21130 699499 2129417 | 1 70574 101 | 0.203 % | 33.76/33.88 c | 328806 | 21130 699499 2129417 | 1 70693 101 | 0.203 % | 33.76/33.88 c | 328906 | 21130 699499 2129417 | 1 70793 101 | 0.203 % | 33.76/33.88 c | 329098 | 21130 699499 2129417 | 1 70985 101 | 0.203 % | 33.76/33.88 c | 329208 | 21130 699499 2129417 | 1 71095 101 | 0.203 % | 33.76/33.88 c | 329308 | 21130 699499 2129417 | 1 71195 101 | 0.203 % | 33.76/33.88 c | 329497 | 21130 699499 2129417 | 1 71384 101 | 0.203 % | 33.76/33.88 c | 330181 | 21130 699499 2129417 | 1 72068 101 | 0.203 % | 33.76/33.88 c | 330281 | 21130 699499 2129417 | 1 72168 101 | 0.203 % | 33.76/33.88 c | 330381 | 21130 699499 2129417 | 1 72268 100 | 0.203 % | 33.76/33.88 c | 330642 | 21130 699499 2129417 | 1 72529 100 | 0.203 % | 33.76/33.88 c | 330744 | 21130 699499 2129417 | 1 72631 100 | 0.203 % | 33.76/33.88 c | 330909 | 21130 699499 2129417 | 1 72796 100 | 0.203 % | 33.76/33.88 c | 331170 | 21130 699499 2129417 | 1 73057 100 | 0.203 % | 33.76/33.88 c | 331856 | 21130 699499 2129417 | 1 73743 100 | 0.203 % | 33.76/33.88 c | 332594 | 21130 699499 2129417 | 1 74481 100 | 0.203 % | 33.76/33.88 c | 332694 | 21130 699499 2129417 | 1 74581 100 | 0.203 % | 33.76/33.88 c | 332799 | 21130 699499 2129417 | 1 74686 100 | 0.203 % | 33.76/33.88 c | 332901 | 21130 699499 2129417 | 1 74788 100 | 0.203 % | 33.76/33.88 c | 333012 | 21130 699499 2129417 | 1 37482 59 | 0.203 % | 33.76/33.88 c | 333112 | 21130 699499 2129417 | 1 37582 59 | 0.203 % | 33.76/33.88 c | 334243 | 21130 699499 2129417 | 1 38713 60 | 0.203 % | 33.76/33.88 c | 334573 | 21130 699499 2129417 | 1 39043 60 | 0.203 % | 33.76/33.88 c | 334674 | 21130 699499 2129417 | 1 39144 60 | 0.203 % | 33.76/33.88 c | 334775 | 21130 699499 2129417 | 1 39245 60 | 0.203 % | 33.76/33.88 c | 334875 | 21130 699499 2129417 | 1 39345 60 | 0.203 % | 33.76/33.88 c | 334975 | 21130 699499 2129417 | 1 39445 60 | 0.203 % | 33.76/33.88 c | 335076 | 21130 699499 2129417 | 1 39546 60 | 0.203 % | 33.76/33.88 c | 335177 | 21130 699499 2129417 | 1 39647 60 | 0.203 % | 33.76/33.88 c | 335278 | 21130 699499 2129417 | 1 39748 60 | 0.203 % | 33.76/33.88 c | 335378 | 21130 699499 2129417 | 1 39848 60 | 0.203 % | 33.76/33.88 c | 335479 | 21130 699499 2129417 | 1 39949 60 | 0.203 % | 33.76/33.88 c | 335582 | 21130 699499 2129417 | 1 40052 60 | 0.203 % | 33.76/33.88 c | 336006 | 21130 699499 2129417 | 1 40476 60 | 0.203 % | 33.76/33.88 c | 337424 | 21130 699499 2129417 | 1 41894 60 | 0.203 % | 33.76/33.88 c | 338257 | 21128 699499 2129417 | 1 42725 61 | 0.213 % | 33.76/33.88 c | 338423 | 21128 699499 2129417 | 1 42891 61 | 0.213 % | 36.05/36.12 c | 338545 | 21128 699499 2129417 | 1 43013 61 | 0.213 % | 36.05/36.12 c | 338646 | 21128 699499 2129417 | 1 43114 61 | 0.213 % | 36.05/36.12 c | 339102 | 21128 699499 2129417 | 1 43570 61 | 0.213 % | 36.05/36.12 c | 339202 | 21128 699499 2129417 | 1 43670 61 | 0.213 % | 36.05/36.12 c | 339321 | 21128 699499 2129417 | 1 43789 61 | 0.213 % | 36.05/36.12 c | 339509 | 21127 699499 2129417 | 1 43976 61 | 0.217 % | 36.05/36.12 c | 339611 | 21127 699499 2129417 | 1 44078 61 | 0.217 % | 36.05/36.12 c | 340630 | 21124 699499 2129417 | 1 45094 62 | 0.231 % | 36.05/36.12 c | 341318 | 21124 699499 2129417 | 1 45782 62 | 0.231 % | 36.05/36.12 c | 341602 | 21124 699499 2129417 | 1 46066 62 | 0.231 % | 36.05/36.12 c | 341702 | 21124 699499 2129417 | 1 46166 62 | 0.231 % | 36.05/36.12 c | 341905 | 21124 699499 2129417 | 1 46369 62 | 0.231 % | 36.05/36.12 c | 342326 | 21124 699499 2129417 | 1 46790 62 | 0.231 % | 36.05/36.12 c | 343160 | 21124 699499 2129417 | 1 47624 63 | 0.231 % | 36.05/36.12 c | 343711 | 21124 699499 2129417 | 1 48175 63 | 0.231 % | 36.05/36.12 c | 343843 | 21123 699499 2129417 | 1 48291 64 | 0.236 % | 36.05/36.12 c | 343944 | 21123 699499 2129417 | 1 48392 64 | 0.236 % | 36.05/36.12 c | 344044 | 21123 699499 2129417 | 1 48492 64 | 0.236 % | 36.05/36.12 c | 344148 | 21123 699499 2129417 | 1 48596 64 | 0.236 % | 36.05/36.12 c | 347356 | 21123 699499 2129417 | 1 51804 63 | 0.236 % | 36.05/36.12 c | 347504 | 21123 699499 2129417 | 1 51952 63 | 0.236 % | 36.05/36.12 c | 347605 | 21123 699499 2129417 | 1 52053 63 | 0.236 % | 36.05/36.12 c | 348054 | 21123 699499 2129417 | 1 52502 63 | 0.236 % | 36.05/36.12 c | 348154 | 21123 699499 2129417 | 1 52602 63 | 0.236 % | 36.05/36.12 c | 350949 | 21121 699499 2129417 | 1 55395 63 | 0.246 % | 36.05/36.12 c | 351049 | 21121 699499 2129417 | 1 55495 63 | 0.246 % | 36.05/36.12 c | 351150 | 21121 699499 2129417 | 1 55596 63 | 0.246 % | 36.05/36.12 c | 351725 | 21120 699499 2129417 | 1 56170 63 | 0.250 % | 36.05/36.12 c | 351849 | 21120 699499 2129417 | 1 56277 63 | 0.250 % | 36.05/36.12 c | 351949 | 21120 699499 2129417 | 1 56377 63 | 0.250 % | 36.05/36.12 c | 352051 | 21120 699499 2129417 | 1 56479 64 | 0.250 % | 36.05/36.12 c | 352274 | 21119 699499 2129417 | 1 56701 64 | 0.255 % | 36.05/36.12 c | 352375 | 21119 699499 2129417 | 1 56802 64 | 0.255 % | 36.05/36.12 c | 352552 | 21119 699499 2129417 | 1 56979 64 | 0.255 % | 36.05/36.12 c | 352797 | 21119 699499 2129417 | 1 57224 64 | 0.255 % | 36.05/36.12 c | 352900 | 21119 699499 2129417 | 1 57327 64 | 0.255 % | 36.05/36.12 c | 353000 | 21119 699499 2129417 | 1 57427 64 | 0.255 % | 36.05/36.12 c | 353194 | 21119 699499 2129417 | 1 57621 64 | 0.255 % | 36.05/36.12 c | 353459 | 21119 699499 2129417 | 1 57886 64 | 0.255 % | 36.05/36.12 c | 353559 | 21119 699499 2129417 | 1 57986 64 | 0.255 % | 36.05/36.12 c | 353661 | 21119 699499 2129417 | 1 58088 64 | 0.255 % | 36.05/36.12 c | 353884 | 21119 699499 2129417 | 1 58311 64 | 0.255 % | 36.05/36.12 c | 354536 | 21119 699499 2129417 | 1 58963 64 | 0.255 % | 36.05/36.12 c | 356735 | 21119 699499 2129417 | 1 61162 66 | 0.255 % | 36.05/36.12 c | 358996 | 21118 699499 2129417 | 1 63422 67 | 0.260 % | 36.05/36.12 c | 359170 | 21118 699499 2129417 | 1 63596 67 | 0.260 % | 36.05/36.12 c | 359275 | 21118 699499 2129417 | 1 63701 67 | 0.260 % | 36.05/36.12 c | 360039 | 21118 699499 2129417 | 1 64465 67 | 0.260 % | 36.05/36.12 c | 360139 | 21118 699499 2129417 | 1 64552 67 | 0.260 % | 38.66/38.79 c | 360239 | 21118 699499 2129417 | 1 64652 67 | 0.260 % | 38.66/38.79 c | 360339 | 21118 699499 2129417 | 1 64752 67 | 0.260 % | 38.66/38.79 c | 360975 | 21118 699499 2129417 | 1 65388 67 | 0.260 % | 38.66/38.79 c | 361159 | 21118 699499 2129417 | 1 65572 67 | 0.260 % | 38.66/38.79 c | 361260 | 21118 699499 2129417 | 1 65673 67 | 0.260 % | 38.66/38.79 c | 361360 | 21118 699499 2129417 | 1 65773 67 | 0.260 % | 38.66/38.79 c | 361864 | 21118 699499 2129417 | 1 66277 67 | 0.260 % | 38.66/38.79 c | 362026 | 21117 699499 2129417 | 1 66438 67 | 0.264 % | 38.66/38.79 c | 362263 | 21117 699499 2129417 | 1 66675 67 | 0.264 % | 38.66/38.79 c | 362364 | 21117 699499 2129417 | 1 66776 67 | 0.264 % | 38.66/38.79 c | 362671 | 21117 699499 2129417 | 1 67083 68 | 0.264 % | 38.66/38.79 c | 362808 | 21117 699499 2129417 | 1 67220 68 | 0.264 % | 38.66/38.79 c | 362909 | 21117 699499 2129417 | 1 67321 68 | 0.264 % | 38.66/38.79 c | 363395 | 21117 699499 2129417 | 1 67807 68 | 0.264 % | 38.66/38.79 c | 363952 | 21117 699499 2129417 | 1 68364 68 | 0.264 % | 38.66/38.79 c | 364052 | 21117 699499 2129417 | 1 68464 68 | 0.264 % | 38.66/38.79 c | 364375 | 21116 699499 2129417 | 1 68786 68 | 0.269 % | 38.66/38.79 c | 364477 | 21116 699499 2129417 | 1 68888 68 | 0.269 % | 38.66/38.79 c | 364971 | 21116 699499 2129417 | 1 69382 68 | 0.269 % | 38.66/38.79 c | 365074 | 21116 699499 2129417 | 1 69485 68 | 0.269 % | 38.66/38.79 c | 365937 | 21116 699499 2129417 | 1 70348 68 | 0.269 % | 38.66/38.79 c | 369112 | 21116 699499 2129417 | 1 73523 69 | 0.269 % | 38.66/38.79 c | 369271 | 21116 699499 2129417 | 1 73682 69 | 0.269 % | 38.66/38.79 c | 371419 | 21116 699499 2129417 | 1 75830 70 | 0.269 % | 38.66/38.79 c | 373407 | 21116 699499 2129417 | 1 77800 71 | 0.269 % | 38.66/38.79 c | 373507 | 21116 699499 2129417 | 1 77900 71 | 0.269 % | 38.66/38.79 c | 373607 | 21116 699499 2129417 | 1 78000 71 | 0.269 % | 38.66/38.79 c | 373858 | 21116 699499 2129417 | 1 78251 71 | 0.269 % | 38.66/38.79 c | 373968 | 21116 699499 2129417 | 1 78361 71 | 0.269 % | 38.66/38.79 c | 374409 | 21116 699499 2129417 | 1 78802 71 | 0.269 % | 38.66/38.79 c | 374512 | 21116 699499 2129417 | 1 78905 71 | 0.269 % | 38.66/38.79 c | 376750 | 21116 699499 2129417 | 1 40956 43 | 0.269 % | 38.66/38.79 c | 376897 | 21116 699499 2129417 | 1 41103 43 | 0.269 % | 38.66/38.79 c | 377990 | 21116 699499 2129417 | 1 42196 44 | 0.269 % | 38.66/38.79 c | 378098 | 21116 699499 2129417 | 1 42304 44 | 0.269 % | 38.66/38.79 c | 378389 | 21116 699499 2129417 | 1 42595 44 | 0.269 % | 38.66/38.79 c | 378968 | 21116 699499 2129417 | 1 43174 45 | 0.269 % | 38.66/38.79 c | 379068 | 21116 699499 2129417 | 1 43274 45 | 0.269 % | 38.66/38.79 c | 379168 | 21116 699499 2129417 | 1 43374 45 | 0.269 % | 38.66/38.79 c | 381115 | 21116 699499 2129417 | 1 45321 46 | 0.269 % | 38.66/38.79 c | 382798 | 21116 699499 2129417 | 1 47004 49 | 0.269 % | 38.66/38.79 c | 382943 | 21116 699499 2129417 | 1 47149 49 | 0.269 % | 38.66/38.79 c | 384423 | 21116 699499 2129417 | 1 48629 50 | 0.269 % | 38.66/38.79 c | 384671 | 21116 699499 2129417 | 1 48877 50 | 0.269 % | 38.66/38.79 c | 384773 | 21116 699499 2129417 | 1 48979 50 | 0.269 % | 38.66/38.79 c | 384915 | 21116 699499 2129417 | 1 49121 50 | 0.269 % | 38.66/38.79 c | 385138 | 21116 699499 2129417 | 1 49344 51 | 0.269 % | 38.66/38.79 c | 385238 | 21116 699499 2129417 | 1 49444 51 | 0.269 % | 38.66/38.79 c | 385338 | 21116 699499 2129417 | 1 49544 51 | 0.269 % | 38.66/38.79 c | 385495 | 21116 699499 2129417 | 1 49701 51 | 0.269 % | 47.65/47.70 c | 385667 | 21116 699499 2129417 | 1 49873 51 | 0.269 % | 47.65/47.70 c | 385767 | 21116 699499 2129417 | 1 49973 51 | 0.269 % | 47.65/47.70 c | 385868 | 21116 699499 2129417 | 1 50074 51 | 0.269 % | 47.65/47.70 c | 386110 | 21116 699499 2129417 | 1 50316 51 | 0.269 % | 47.65/47.70 c | 388324 | 21116 699499 2129417 | 1 52530 52 | 0.269 % | 47.65/47.70 c | 391069 | 21116 699499 2129417 | 1 55275 52 | 0.269 % | 47.65/47.70 c | 394366 | 21116 699499 2129417 | 1 58572 54 | 0.269 % | 47.65/47.70 c | 400167 | 21114 699499 2129417 | 1 64363 57 | 0.279 % | 47.65/47.70 c | 403759 | 21113 699499 2129417 | 1 67954 60 | 0.283 % | 47.65/47.70 c | 405329 | 21113 699499 2129417 | 1 69524 60 | 0.283 % | 47.65/47.70 c | 405436 | 21113 699499 2129417 | 1 69631 60 | 0.283 % | 47.65/47.70 c | 405537 | 21113 699499 2129417 | 1 69732 60 | 0.283 % | 47.65/47.70 c | 405652 | 21113 699499 2129417 | 1 69847 60 | 0.283 % | 47.65/47.70 c | 405753 | 21113 699499 2129417 | 1 69948 60 | 0.283 % | 47.65/47.70 c | 405855 | 21113 699499 2129417 | 1 70050 60 | 0.283 % | 47.65/47.70 c | 406607 | 21113 699499 2129417 | 1 70802 61 | 0.283 % | 47.65/47.70 c | 410282 | 21113 699499 2129417 | 1 74463 61 | 0.283 % | 47.65/47.70 c | 410706 | 21113 699499 2129417 | 1 74887 61 | 0.283 % | 47.65/47.70 c | 410883 | 21113 699499 2129417 | 1 75064 61 | 0.283 % | 47.65/47.70 c | 426334 | 21112 699499 2129417 | 1 47642 55 | 0.288 % | 47.65/47.70 c | 426610 | 21109 699499 2129417 | 1 47914 55 | 0.302 % | 47.65/47.70 c | 427022 | 21109 699499 2129417 | 1 48326 56 | 0.302 % | 47.65/47.70 c | 427317 | 21109 699499 2129417 | 1 48621 56 | 0.302 % | 47.65/47.70 c | 427544 | 21109 699499 2129417 | 1 48848 56 | 0.302 % | 47.65/47.70 c | 428289 | 21109 699499 2129417 | 1 49593 56 | 0.302 % | 47.65/47.70 c | 428759 | 21109 699499 2129417 | 1 50063 57 | 0.302 % | 47.65/47.70 c | 429747 | 21109 699499 2129417 | 1 51051 57 | 0.302 % | 47.65/47.70 c | 430162 | 21107 699499 2129417 | 1 51464 58 | 0.312 % | 47.65/47.70 c | 430572 | 21107 699499 2129417 | 1 51874 58 | 0.312 % | 47.65/47.70 c | 430829 | 21107 699499 2129417 | 1 52131 58 | 0.312 % | 47.65/47.70 c | 431241 | 21107 699499 2129417 | 1 52543 58 | 0.312 % | 47.65/47.70 c | 432531 | 21107 699499 2129417 | 1 53833 60 | 0.312 % | 47.65/47.70 c | 432749 | 21106 699499 2129417 | 1 54050 60 | 0.316 % | 47.65/47.70 c | 433124 | 21106 699499 2129417 | 1 54425 60 | 0.316 % | 47.65/47.70 c | 434148 | 21102 699499 2129417 | 1 55445 61 | 0.335 % | 47.65/47.70 c | 437396 | 21101 699499 2129417 | 1 58565 62 | 0.340 % | 47.65/47.70 c | 438129 | 21101 699499 2129417 | 1 59298 62 | 0.340 % | 47.65/47.70 c | 438437 | 21101 699499 2129417 | 1 59606 62 | 0.340 % | 47.65/47.70 c | 438565 | 21100 699499 2129417 | 1 59733 62 | 0.345 % | 47.65/47.70 c | 439930 | 21100 699499 2129417 | 1 61098 63 | 0.345 % | 47.65/47.70 c | 445704 | 21098 699499 2129417 | 1 66870 69 | 0.354 % | 47.65/47.70 c | 450506 | 21095 699499 2129417 | 1 71669 79 | 0.368 % | 47.65/47.70 c | 465406 | 21091 699499 2129417 | 1 86505 90 | 0.387 % | 47.65/47.70 c | 465895 | 21091 699499 2129417 | 1 86971 90 | 0.387 % | 47.65/47.70 c | 467926 | 21091 699499 2129417 | 1 89002 90 | 0.387 % | 47.65/47.70 c | 468176 | 21091 699499 2129417 | 1 89252 90 | 0.387 % | 47.65/47.70 c | 468809 | 21090 699499 2129417 | 1 89884 90 | 0.392 % | 47.65/47.70 c | 469351 | 21090 699499 2129417 | 1 90426 90 | 0.392 % | 47.65/47.70 c | 472797 | 21089 699499 2129417 | 1 48451 50 | 0.397 % | 47.65/47.70 c | 473000 | 21089 699499 2129417 | 1 48654 50 | 0.397 % | 55.35/55.45 c | 473662 | 21089 699499 2129417 | 1 49316 51 | 0.397 % | 55.35/55.45 c | 476171 | 21088 699499 2129417 | 1 51824 52 | 0.401 % | 55.35/55.45 c | 478657 | 21088 699499 2129417 | 1 54310 54 | 0.401 % | 55.35/55.45 c | 480083 | 21087 699499 2129417 | 1 55735 55 | 0.406 % | 55.35/55.45 c | 480674 | 21087 699499 2129417 | 1 56326 55 | 0.406 % | 55.35/55.45 c | 482295 | 21087 699499 2129417 | 1 57947 56 | 0.406 % | 55.35/55.45 c | 487974 | 21087 699499 2129417 | 1 63615 59 | 0.406 % | 55.35/55.45 c | 488182 | 21087 699499 2129417 | 1 63823 59 | 0.406 % | 55.35/55.45 c | 491179 | 21085 699499 2129417 | 1 66813 62 | 0.416 % | 55.35/55.45 c | 496262 | 21083 699499 2129417 | 1 71894 65 | 0.425 % | 55.35/55.45 c | 496508 | 21083 699499 2129417 | 1 72140 65 | 0.425 % | 55.35/55.45 c | 496620 | 21083 699499 2129417 | 1 72252 65 | 0.425 % | 55.35/55.45 c | 496724 | 21083 699499 2129417 | 1 72356 65 | 0.425 % | 55.35/55.45 c | 497417 | 21082 699499 2129417 | 1 73048 65 | 0.430 % | 55.35/55.45 c | 497600 | 21082 699499 2129417 | 1 73231 65 | 0.430 % | 55.35/55.45 c | 497979 | 21082 699499 2129417 | 1 73610 65 | 0.430 % | 55.35/55.45 c | 499432 | 21082 699499 2129417 | 1 75063 65 | 0.430 % | 55.35/55.45 c | 499630 | 21082 699499 2129417 | 1 75261 65 | 0.430 % | 55.35/55.45 c | 500450 | 21082 699499 2129417 | 1 76081 65 | 0.430 % | 55.35/55.45 c | 510767 | 21082 699499 2129417 | 1 86398 72 | 0.430 % | 55.35/55.45 c | 511023 | 21081 699499 2129417 | 1 86642 72 | 0.435 % | 55.35/55.45 c | 514163 | 21081 699499 2129417 | 1 89782 73 | 0.435 % | 55.35/55.45 c | 514657 | 21081 699499 2129417 | 1 90276 73 | 0.435 % | 55.35/55.45 c | 516609 | 21081 699499 2129417 | 1 92228 73 | 0.435 % | 55.35/55.45 c | 516709 | 21081 699499 2129417 | 1 92328 73 | 0.435 % | 55.35/55.45 c | 529826 | 21081 699499 2129417 | 1 57391 49 | 0.435 % | 55.35/55.45 c | 529929 | 21081 699499 2129417 | 1 57485 49 | 0.435 % | 55.35/55.45 c | 530030 | 21081 699499 2129417 | 1 57586 49 | 0.435 % | 55.35/55.45 c | 535844 | 21081 699499 2129417 | 1 63400 59 | 0.435 % | 55.35/55.45 c | 535945 | 21081 699499 2129417 | 1 63501 59 | 0.435 % | 55.35/55.45 c | 537970 | 21081 699499 2129417 | 1 65526 60 | 0.435 % | 55.35/55.45 c | 538070 | 21081 699499 2129417 | 1 65626 60 | 0.435 % | 55.35/55.45 c | 538171 | 21081 699499 2129417 | 1 65727 60 | 0.435 % | 55.35/55.45 c | 538604 | 21081 699499 2129417 | 1 66160 60 | 0.435 % | 55.35/55.45 c | 538736 | 21081 699499 2129417 | 1 66292 60 | 0.435 % | 55.35/55.45 c | 538947 | 21081 699499 2129417 | 1 66503 60 | 0.435 % | 55.35/55.45 c | 539311 | 21081 699499 2129417 | 1 66867 60 | 0.435 % | 55.35/55.45 c | 539412 | 21081 699499 2129417 | 1 66968 60 | 0.435 % | 55.35/55.45 c | 539512 | 21081 699499 2129417 | 1 67068 60 | 0.435 % | 55.35/55.45 c | 540039 | 21081 699499 2129417 | 1 67595 60 | 0.435 % | 55.35/55.45 c | 540183 | 21081 699499 2129417 | 1 67739 60 | 0.435 % | 55.35/55.45 c | 540378 | 21081 699499 2129417 | 1 67934 60 | 0.435 % | 55.35/55.45 c | 540673 | 21081 699499 2129417 | 1 68229 60 | 0.435 % | 55.35/55.45 c | 542360 | 21081 699499 2129417 | 1 69916 60 | 0.435 % | 55.35/55.45 c | 542597 | 21081 699499 2129417 | 1 70153 59 | 0.435 % | 55.35/55.45 c | 542837 | 21081 699499 2129417 | 1 70393 59 | 0.435 % | 55.35/55.45 c | 543513 | 21081 699499 2129417 | 1 71069 59 | 0.435 % | 55.35/55.45 c | 544385 | 21081 699499 2129417 | 1 71941 59 | 0.435 % | 55.35/55.45 c | 544573 | 21081 699499 2129417 | 1 72129 59 | 0.435 % | 55.35/55.45 c | 544673 | 21081 699499 2129417 | 1 72229 59 | 0.435 % | 65.96/66.07 c | 547532 | 21081 699499 2129417 | 1 75088 61 | 0.435 % | 65.96/66.07 c | 547635 | 21081 699499 2129417 | 1 75191 61 | 0.435 % | 65.96/66.07 c | 548874 | 21081 699499 2129417 | 1 76430 61 | 0.435 % | 65.96/66.07 c | 550600 | 21081 699499 2129417 | 1 78156 61 | 0.435 % | 65.96/66.07 c | 555134 | 21080 699499 2129417 | 1 82680 64 | 0.439 % | 65.96/66.07 c | 555324 | 21080 699499 2129417 | 1 82870 64 | 0.439 % | 65.96/66.07 c | 555425 | 21080 699499 2129417 | 1 82971 64 | 0.439 % | 65.96/66.07 c | 555601 | 21080 699499 2129417 | 1 83147 64 | 0.439 % | 65.96/66.07 c | 555749 | 21080 699499 2129417 | 1 83295 64 | 0.439 % | 65.96/66.07 c | 556010 | 21080 699499 2129417 | 1 83556 64 | 0.439 % | 65.96/66.07 c | 559201 | 21080 699499 2129417 | 1 86747 66 | 0.439 % | 65.96/66.07 c | 559950 | 21080 699499 2129417 | 1 87496 66 | 0.439 % | 65.96/66.07 c | 562642 | 21080 699499 2129417 | 1 90188 67 | 0.439 % | 65.96/66.07 c | 567957 | 21080 699499 2129417 | 1 95503 72 | 0.439 % | 65.96/66.07 c | 568742 | 21079 699499 2129417 | 1 96280 72 | 0.444 % | 65.96/66.07 c | 572718 | 21079 699499 2129417 | 1 100256 72 | 0.444 % | 65.96/66.07 c | 573124 | 21078 699499 2129417 | 1 100661 72 | 0.449 % | 65.96/66.07 c | 573237 | 21078 699499 2129417 | 1 100774 72 | 0.449 % | 65.96/66.07 c | 574184 | 21078 699499 2129417 | 1 50956 46 | 0.449 % | 65.96/66.07 c | 574284 | 21078 699499 2129417 | 1 51056 46 | 0.449 % | 65.96/66.07 c | 577374 | 21078 699499 2129417 | 1 54146 49 | 0.449 % | 65.96/66.07 c | 577744 | 21078 699499 2129417 | 1 54516 49 | 0.449 % | 65.96/66.07 c | 579081 | 21078 699499 2129417 | 1 55853 49 | 0.449 % | 65.96/66.07 c | 583913 | 21078 699499 2129417 | 1 60685 60 | 0.449 % | 65.96/66.07 c | 587775 | 21078 699499 2129417 | 1 64542 66 | 0.449 % | 65.96/66.07 c | 588381 | 21078 699499 2129417 | 1 65148 66 | 0.449 % | 65.96/66.07 c | 589052 | 21078 699499 2129417 | 1 65819 66 | 0.449 % | 65.96/66.07 c | 589662 | 21078 699499 2129417 | 1 66429 67 | 0.449 % | 65.96/66.07 c | 591425 | 21076 699499 2129417 | 1 68190 69 | 0.458 % | 65.96/66.07 c | 591634 | 21075 699499 2129417 | 1 68398 69 | 0.463 % | 65.96/66.07 c | 592186 | 21075 699499 2129417 | 1 68950 69 | 0.463 % | 65.96/66.07 c | 593513 | 21074 699499 2129417 | 1 70276 70 | 0.468 % | 65.96/66.07 c | 598978 | 21069 699495 2129399 | 1 75613 70 | 0.491 % | 65.96/66.07 c | 601083 | 21069 699495 2129399 | 1 77718 71 | 0.491 % | 65.96/66.07 c | 604619 | 21069 699495 2129399 | 1 81254 72 | 0.491 % | 65.96/66.07 c | 604740 | 21069 699495 2129399 | 1 81375 72 | 0.491 % | 65.96/66.07 c | 604840 | 21069 699495 2129399 | 1 81475 72 | 0.491 % | 65.96/66.07 c | 614961 | 21069 699495 2129399 | 1 91596 81 | 0.491 % | 65.96/66.07 c | 615082 | 21069 699495 2129399 | 1 91717 81 | 0.491 % | 65.96/66.07 c | 615695 | 21068 699495 2129399 | 1 92326 81 | 0.496 % | 65.96/66.07 c | 617537 | 21068 699495 2129399 | 1 94168 81 | 0.496 % | 65.96/66.07 c | 620472 | 21068 699495 2129399 | 1 97103 81 | 0.496 % | 65.96/66.07 c | 621017 | 21068 699495 2129399 | 1 97648 81 | 0.496 % | 65.96/66.07 c | 621351 | 21068 699495 2129399 | 1 97982 81 | 0.496 % | 65.96/66.07 c | 626306 | 21067 699495 2129399 | 1 102936 81 | 0.501 % | 65.96/66.07 c | 633390 | 21065 699495 2129399 | 1 56741 46 | 0.510 % | 65.96/66.07 c | 633490 | 21065 699495 2129399 | 1 56836 46 | 0.510 % | 65.96/66.07 c | 642331 | 21065 699495 2129399 | 1 65677 58 | 0.510 % | 65.96/66.07 c | 642962 | 21065 699495 2129399 | 1 66308 58 | 0.510 % | 65.96/66.07 c | 645852 | 21065 699495 2129399 | 1 69198 59 | 0.510 % | 79.96/80.06 c | 653380 | 21064 699495 2129399 | 1 76722 59 | 0.515 % | 79.96/80.06 c | 656542 | 21064 699495 2129399 | 1 79884 59 | 0.515 % | 79.96/80.06 c | 658174 | 21064 699495 2129399 | 1 81516 60 | 0.515 % | 79.96/80.06 c | 659247 | 21064 699495 2129399 | 1 82589 59 | 0.515 % | 79.96/80.06 c | 659895 | 21064 699495 2129399 | 1 83237 59 | 0.515 % | 79.96/80.06 c | 660008 | 21064 699495 2129399 | 1 83350 59 | 0.515 % | 79.96/80.06 c | 677047 | 21056 699495 2129399 | 1 100305 61 | 0.553 % | 79.96/80.06 c | 677147 | 21056 699495 2129399 | 1 100405 61 | 0.553 % | 79.96/80.06 c | 687459 | 21056 699495 2129399 | 1 110717 67 | 0.553 % | 79.96/80.06 c | 691385 | 21056 699495 2129399 | 1 58730 44 | 0.553 % | 79.96/80.06 c | 693452 | 21055 699495 2129399 | 1 60796 47 | 0.557 % | 79.96/80.06 c | 693762 | 21055 699495 2129399 | 1 61106 47 | 0.557 % | 79.96/80.06 c | 694229 | 21055 699495 2129399 | 1 61573 47 | 0.557 % | 79.96/80.06 c | 694329 | 21055 699495 2129399 | 1 61673 47 | 0.557 % | 79.96/80.06 c | 694496 | 21055 699495 2129399 | 1 61840 47 | 0.557 % | 79.96/80.06 c | 694986 | 21055 699495 2129399 | 1 62330 47 | 0.557 % | 79.96/80.06 c | 695086 | 21055 699495 2129399 | 1 62430 47 | 0.557 % | 79.96/80.06 c | 697397 | 21054 699495 2129399 | 1 64740 50 | 0.562 % | 79.96/80.06 c | 697497 | 21052 699495 2129399 | 1 64838 50 | 0.571 % | 79.96/80.06 c | 698017 | 21052 699495 2129399 | 1 65358 50 | 0.571 % | 79.96/80.06 c | 700860 | 21052 699495 2129399 | 1 68201 54 | 0.571 % | 79.96/80.06 c | 703781 | 21052 699495 2129399 | 1 71122 54 | 0.571 % | 79.96/80.06 c | 704197 | 21052 699495 2129399 | 1 71468 55 | 0.571 % | 79.96/80.06 c | 704297 | 21052 699495 2129399 | 1 71568 55 | 0.571 % | 79.96/80.06 c | 706473 | 21052 699495 2129399 | 1 73744 54 | 0.571 % | 79.96/80.06 c | 706645 | 21052 699495 2129399 | 1 73916 54 | 0.571 % | 79.96/80.06 c | 706930 | 21052 699495 2129399 | 1 74201 54 | 0.571 % | 79.96/80.06 c | 707747 | 21052 699495 2129399 | 1 75018 55 | 0.571 % | 79.96/80.06 c | 707847 | 21052 699495 2129399 | 1 75118 55 | 0.571 % | 79.96/80.06 c | 707947 | 21052 699495 2129399 | 1 75218 55 | 0.571 % | 79.96/80.06 c | 708778 | 21052 699495 2129399 | 1 76049 55 | 0.571 % | 79.96/80.06 c | 754670 | 21052 699495 2129399 | 1 63427 58 | 0.571 % | 79.96/80.06 c | 754771 | 21052 699495 2129399 | 1 63528 58 | 0.571 % | 79.96/80.06 c | 755605 | 21052 699495 2129399 | 1 64362 59 | 0.571 % | 79.96/80.06 c | 758074 | 21051 699495 2129399 | 1 66823 59 | 0.576 % | 79.96/80.06 c | 758303 | 21051 699495 2129399 | 1 67052 59 | 0.576 % | 79.96/80.06 c | 758662 | 21051 699495 2129399 | 1 67411 59 | 0.576 % | 79.96/80.06 c | 758815 | 21051 699495 2129399 | 1 67564 59 | 0.576 % | 79.96/80.06 c | 760674 | 21050 699495 2129399 | 1 69422 62 | 0.581 % | 79.96/80.06 c | 761049 | 21050 699495 2129399 | 1 69797 62 | 0.581 % | 79.96/80.06 c | 762819 | 21050 699495 2129399 | 1 71567 62 | 0.581 % | 79.96/80.06 c | 767132 | 21049 699495 2129399 | 1 75879 64 | 0.586 % | 79.96/80.06 c | 767251 | 21049 699495 2129399 | 1 75998 64 | 0.586 % | 79.96/80.06 c | 768253 | 21049 699495 2129399 | 1 77000 64 | 0.586 % | 79.96/80.06 c | 770206 | 21047 699495 2129399 | 1 78936 64 | 0.595 % | 79.96/80.06 c | 770913 | 21047 699495 2129399 | 1 79643 64 | 0.595 % | 79.96/80.06 c | 773715 | 21044 699495 2129399 | 1 82442 65 | 0.609 % | 79.96/80.06 c | 774906 | 21043 699495 2129399 | 1 83632 66 | 0.614 % | 79.96/80.06 c | 776467 | 21041 699495 2129399 | 1 85191 67 | 0.623 % | 79.96/80.06 c | 776767 | 21041 699495 2129399 | 1 85491 67 | 0.623 % | 96.15/96.25 c | 776867 | 21041 699495 2129399 | 1 85591 67 | 0.623 % | 96.15/96.25 c | 777069 | 21041 699495 2129399 | 1 85793 67 | 0.623 % | 96.15/96.25 c | 777208 | 21041 699495 2129399 | 1 85932 67 | 0.623 % | 96.15/96.25 c | 777309 | 21041 699495 2129399 | 1 86033 67 | 0.623 % | 96.15/96.25 c | 777646 | 21041 699495 2129399 | 1 86370 67 | 0.623 % | 96.15/96.25 c | 777819 | 21041 699495 2129399 | 1 86543 67 | 0.623 % | 96.15/96.25 c | 778323 | 21041 699495 2129399 | 1 87047 67 | 0.623 % | 96.15/96.25 c | 781357 | 21033 699495 2129399 | 1 89920 67 | 0.661 % | 96.15/96.25 c | 782231 | 21033 699495 2129399 | 1 90794 67 | 0.661 % | 96.15/96.25 c | 782936 | 21032 699495 2129399 | 1 91498 68 | 0.666 % | 96.15/96.25 c | 798553 | 21032 699495 2129399 | 1 107115 84 | 0.666 % | 96.15/96.25 c | 799242 | 21028 699495 2129399 | 1 107708 84 | 0.685 % | 96.15/96.25 c | 799800 | 21027 699495 2129399 | 1 108265 84 | 0.690 % | 96.15/96.25 c | 799921 | 21026 699495 2129399 | 1 108385 84 | 0.694 % | 96.15/96.25 c | 800283 | 21026 699495 2129399 | 1 108747 84 | 0.694 % | 96.15/96.25 c | 801019 | 21024 699495 2129399 | 1 109481 84 | 0.704 % | 96.15/96.25 c | 806190 | 21017 699495 2129399 | 1 114645 84 | 0.737 % | 96.15/96.25 c | 806809 | 21017 699495 2129399 | 1 115264 84 | 0.737 % | 96.15/96.25 c | 817019 | 21015 699495 2129399 | 1 64478 44 | 0.746 % | 96.15/96.25 c | 817609 | 21015 699495 2129399 | 1 65068 44 | 0.746 % | 96.15/96.25 c | 828714 | 21013 699484 2129341 | 1 76006 49 | 0.756 % | 96.15/96.25 c | 832024 | 21011 699484 2129341 | 1 79314 50 | 0.765 % | 96.15/96.25 c | 834224 | 21011 699484 2129341 | 1 81514 51 | 0.765 % | 96.15/96.25 c | 834377 | 21011 699484 2129341 | 1 81667 51 | 0.765 % | 96.15/96.25 c | 834477 | 21011 699484 2129341 | 1 81767 51 | 0.765 % | 96.15/96.25 c | 842942 | 21011 699484 2129341 | 1 90232 51 | 0.765 % | 96.15/96.25 c | 917392 | 21010 699484 2129341 | 1 101038 63 | 0.770 % | 96.15/96.25 c | 917574 | 21010 699484 2129341 | 1 101219 63 | 0.770 % | 96.15/96.25 c | 917730 | 21007 699484 2129341 | 1 101372 63 | 0.784 % | 96.15/96.25 c | 917831 | 21007 699484 2129341 | 1 101473 63 | 0.784 % | 96.15/96.25 c | 917938 | 21007 699484 2129341 | 1 101580 63 | 0.784 % | 96.15/96.25 c | 918042 | 21007 699484 2129341 | 1 101684 63 | 0.784 % | 96.15/96.25 c | 918142 | 21007 699484 2129341 | 1 101784 63 | 0.784 % | 96.15/96.25 c | 918244 | 21007 699484 2129341 | 1 101886 63 | 0.784 % | 96.15/96.25 c | 918441 | 21007 699484 2129341 | 1 102083 63 | 0.784 % | 96.15/96.25 c | 918542 | 21007 699484 2129341 | 1 102184 63 | 0.784 % | 96.15/96.25 c | 918654 | 21007 699484 2129341 | 1 102296 63 | 0.784 % | 96.15/96.25 c | 918754 | 21007 699484 2129341 | 1 102396 63 | 0.784 % | 96.15/96.25 c | 918857 | 21007 699484 2129341 | 1 102499 63 | 0.784 % | 96.15/96.25 c | 919086 | 21007 699484 2129341 | 1 102728 63 | 0.784 % | 96.15/96.25 c | 919188 | 21007 699484 2129341 | 1 102830 63 | 0.784 % | 96.15/96.25 c | 919385 | 21007 699484 2129341 | 1 103027 63 | 0.784 % | 96.15/96.25 c | 919621 | 21007 699484 2129341 | 1 103263 63 | 0.784 % | 96.15/96.25 c | 920097 | 21007 699484 2129341 | 1 103739 63 | 0.784 % | 96.15/96.25 c | 920369 | 21007 699484 2129341 | 1 104011 63 | 0.784 % | 96.15/96.25 c | 920469 | 21007 699484 2129341 | 1 104111 63 | 0.784 % | 96.15/96.25 c | 920569 | 21007 699484 2129341 | 1 104211 63 | 0.784 % | 96.15/96.25 c | 920670 | 21007 699484 2129341 | 1 104312 63 | 0.784 % | 96.15/96.25 c | 920774 | 21007 699484 2129341 | 1 104416 63 | 0.784 % | 96.15/96.25 c | 920875 | 21007 699484 2129341 | 1 104517 63 | 0.784 % | 105.35/105.45 c | 920975 | 21007 699484 2129341 | 1 104617 63 | 0.784 % | 105.35/105.45 c | 921075 | 21007 699484 2129341 | 1 104717 63 | 0.784 % | 105.35/105.45 c | 921177 | 21007 699484 2129341 | 1 104819 63 | 0.784 % | 105.35/105.45 c | 921278 | 21007 699484 2129341 | 1 104920 63 | 0.784 % | 105.35/105.45 c | 921380 | 21007 699484 2129341 | 1 105022 63 | 0.784 % | 105.35/105.45 c | 922629 | 21007 699484 2129341 | 1 106271 63 | 0.784 % | 105.35/105.45 c | 922729 | 21007 699484 2129341 | 1 106371 63 | 0.784 % | 105.35/105.45 c | 922830 | 21007 699484 2129341 | 1 106472 63 | 0.784 % | 105.35/105.45 c | 922930 | 21007 699484 2129341 | 1 106572 63 | 0.784 % | 105.35/105.45 c | 923097 | 21007 699484 2129341 | 1 106739 63 | 0.784 % | 105.35/105.45 c | 923198 | 21007 699484 2129341 | 1 106840 63 | 0.784 % | 105.35/105.45 c | 923625 | 21007 699484 2129341 | 1 107267 63 | 0.784 % | 105.35/105.45 c | 924744 | 21007 699484 2129341 | 1 108386 63 | 0.784 % | 105.35/105.45 c | 931418 | 21006 699484 2129341 | 1 115059 65 | 0.789 % | 105.35/105.45 c | 931519 | 21006 699484 2129341 | 1 115143 65 | 0.789 % | 105.35/105.45 c | 932089 | 21006 699484 2129341 | 1 115713 65 | 0.789 % | 105.35/105.45 c | 932189 | 21006 699484 2129341 | 1 115813 65 | 0.789 % | 105.35/105.45 c | 932993 | 21006 699484 2129341 | 1 116617 65 | 0.789 % | 105.35/105.45 c | 935018 | 21006 699484 2129341 | 1 118642 65 | 0.789 % | 105.35/105.45 c | 937346 | 21006 699484 2129341 | 1 120970 65 | 0.789 % | 105.35/105.45 c | 937446 | 21006 699484 2129341 | 1 121070 65 | 0.789 % | 105.35/105.45 c | 938917 | 21005 699484 2129341 | 1 122540 65 | 0.793 % | 105.35/105.45 c | 939019 | 21005 699484 2129341 | 1 122642 65 | 0.793 % | 105.35/105.45 c | 939119 | 21005 699484 2129341 | 1 122742 65 | 0.793 % | 105.35/105.45 c | 939298 | 21005 699484 2129341 | 1 122921 65 | 0.793 % | 105.35/105.45 c | 940749 | 21005 699484 2129341 | 1 124372 65 | 0.793 % | 105.35/105.45 c | 941454 | 21004 699484 2129341 | 1 125076 65 | 0.798 % | 105.35/105.45 c | 942710 | 21004 699484 2129341 | 1 126332 65 | 0.798 % | 105.35/105.45 c | 943021 | 21002 699484 2129341 | 1 126641 65 | 0.808 % | 105.35/105.45 c | 947680 | 21000 699484 2129341 | 1 131229 67 | 0.817 % | 105.35/105.45 c | 960403 | 20994 699484 2129341 | 1 77709 46 | 0.845 % | 105.35/105.45 c | 966882 | 20993 699484 2129341 | 1 84136 50 | 0.850 % | 105.35/105.45 c | 966990 | 20993 699484 2129341 | 1 84244 50 | 0.850 % | 105.35/105.45 c | 967722 | 20993 699484 2129341 | 1 84976 51 | 0.850 % | 105.35/105.45 c | 967823 | 20993 699484 2129341 | 1 85077 51 | 0.850 % | 105.35/105.45 c | 967923 | 20993 699484 2129341 | 1 85177 51 | 0.850 % | 105.35/105.45 c | 968660 | 20993 699484 2129341 | 1 85914 51 | 0.850 % | 105.35/105.45 c | 968760 | 20993 699484 2129341 | 1 86014 51 | 0.850 % | 105.35/105.45 c | 969598 | 20993 699484 2129341 | 1 86852 51 | 0.850 % | 105.35/105.45 c | 970822 | 20993 699484 2129341 | 1 88076 51 | 0.850 % | 105.35/105.45 c | 970922 | 20993 699484 2129341 | 1 88176 51 | 0.850 % | 105.35/105.45 c | 972478 | 20993 699484 2129341 | 1 89732 52 | 0.850 % | 105.35/105.45 c | 987105 | 20993 699484 2129341 | 1 104359 57 | 0.850 % | 105.35/105.45 c | 987428 | 20993 699484 2129341 | 1 104682 57 | 0.850 % | 105.35/105.45 c | 1000315 | 20990 699484 2129341 | 1 117504 64 | 0.864 % | 105.35/105.45 c | 1002301 | 20990 699484 2129341 | 1 119490 64 | 0.864 % | 105.35/105.45 c | 1002548 | 20990 699484 2129341 | 1 119737 64 | 0.864 % | 105.35/105.45 c | 1004706 | 20990 699484 2129341 | 1 121895 65 | 0.864 % | 105.35/105.45 c | 1004995 | 20990 699484 2129341 | 1 122184 65 | 0.864 % | 105.35/105.45 c | 1005237 | 20989 699484 2129341 | 1 122425 65 | 0.869 % | 130.25/130.33 c | 1007175 | 20988 699484 2129341 | 1 124362 64 | 0.874 % | 130.25/130.33 c | 1007275 | 20988 699484 2129341 | 1 124416 64 | 0.874 % | 130.25/130.33 c | 1007376 | 20988 699484 2129341 | 1 124517 64 | 0.874 % | 130.25/130.33 c | 1007480 | 20988 699484 2129341 | 1 124621 64 | 0.874 % | 130.25/130.33 c | 1007654 | 20988 699484 2129341 | 1 124795 64 | 0.874 % | 130.25/130.33 c | 1007755 | 20988 699484 2129341 | 1 124896 64 | 0.874 % | 130.25/130.33 c | 1007855 | 20988 699484 2129341 | 1 124996 64 | 0.874 % | 130.25/130.33 c | 1042030 | 20988 699484 2129341 | 1 90319 69 | 0.874 % | 130.25/130.33 c | 1043645 | 20988 699484 2129341 | 1 91934 69 | 0.874 % | 130.25/130.33 c | 1043777 | 20988 699484 2129341 | 1 92066 69 | 0.874 % | 130.25/130.33 c | 1045207 | 20987 699484 2129341 | 1 93491 69 | 0.878 % | 130.25/130.33 c | 1045308 | 20987 699484 2129341 | 1 93592 68 | 0.878 % | 130.25/130.33 c | 1045408 | 20987 699484 2129341 | 1 93692 68 | 0.878 % | 130.25/130.33 c | 1045508 | 20987 699484 2129341 | 1 93792 68 | 0.878 % | 130.25/130.33 c | 1046611 | 20987 699484 2129341 | 1 94895 69 | 0.878 % | 130.25/130.33 c | 1047347 | 20987 699484 2129341 | 1 95631 69 | 0.878 % | 130.25/130.33 c | 1058853 | 20987 699484 2129341 | 1 107137 70 | 0.878 % | 130.25/130.33 c | 1060838 | 20987 699484 2129341 | 1 109122 70 | 0.878 % | 130.25/130.33 c | 1060939 | 20985 699484 2129341 | 1 109216 70 | 0.888 % | 130.25/130.33 c | 1081798 | 20985 699484 2129341 | 1 130075 77 | 0.888 % | 130.25/130.33 c | 1081951 | 20985 699484 2129341 | 1 130213 77 | 0.888 % | 130.25/130.33 c | 1088146 | 20976 699484 2129341 | 1 136399 78 | 0.930 % | 130.25/130.33 c | 1092106 | 20971 699484 2129341 | 1 140354 78 | 0.954 % | 130.25/130.33 c | 1123589 | 20960 699477 2129305 | 1 99756 53 | 1.006 % | 130.25/130.33 c | 1125169 | 20960 699477 2129305 | 1 101336 54 | 1.006 % | 130.25/130.33 c | 1125286 | 20960 699477 2129305 | 1 101453 54 | 1.006 % | 130.25/130.33 c | 1125445 | 20960 699477 2129305 | 1 101612 54 | 1.006 % | 130.25/130.33 c | 1125545 | 20960 699477 2129305 | 1 101712 54 | 1.006 % | 130.25/130.33 c | 1125887 | 20960 699477 2129305 | 1 102054 54 | 1.006 % | 130.25/130.33 c | 1181287 | 20957 699462 2129219 | 1 83561 67 | 1.020 % | 130.25/130.33 c | 1181649 | 20957 699462 2129219 | 1 83918 67 | 1.020 % | 130.25/130.33 c | 1182605 | 20955 699462 2129219 | 1 84872 68 | 1.030 % | 130.25/130.33 c | 1182705 | 20955 699462 2129219 | 1 84972 68 | 1.030 % | 130.25/130.33 c | 1183109 | 20955 699462 2129219 | 1 85376 68 | 1.030 % | 130.25/130.33 c | 1183393 | 20955 699462 2129219 | 1 85660 68 | 1.030 % | 130.25/130.33 c | 1183494 | 20955 699462 2129219 | 1 85761 68 | 1.030 % | 130.25/130.33 c | 1185391 | 20952 699462 2129219 | 1 87655 68 | 1.044 % | 130.25/130.33 c | 1187832 | 20948 699462 2129219 | 1 90092 68 | 1.063 % | 130.25/130.33 c | 1188180 | 20948 699462 2129219 | 1 90440 68 | 1.063 % | 130.25/130.33 c | 1188460 | 20948 699462 2129219 | 1 90720 68 | 1.063 % | 130.25/130.33 c | 1192935 | 20947 699462 2129219 | 1 95194 68 | 1.067 % | 130.25/130.33 c | 1194753 | 20947 699462 2129219 | 1 97012 68 | 1.067 % | 130.25/130.33 c | 1196137 | 20947 699462 2129219 | 1 98314 67 | 1.067 % | 130.25/130.33 c | 1196954 | 20947 699462 2129219 | 1 99131 67 | 1.067 % | 130.25/130.33 c | 1197304 | 20947 699462 2129219 | 1 99481 68 | 1.067 % | 130.25/130.33 c | 1197967 | 20947 699462 2129219 | 1 100144 68 | 1.067 % | 130.25/130.33 c | 1206901 | 20947 699462 2129219 | 1 109078 68 | 1.067 % | 130.25/130.33 c | 1210673 | 20946 699462 2129219 | 1 112849 71 | 1.072 % | 130.25/130.33 c | 1219397 | 20934 699462 2129219 | 1 121537 72 | 1.129 % | 130.25/130.33 c | 1219497 | 20934 699462 2129219 | 1 121637 72 | 1.129 % | 164.16/164.29 c | 1228029 | 20932 699462 2129219 | 1 130167 73 | 1.138 % | 164.16/164.29 c | 1228130 | 20931 699462 2129219 | 1 130072 73 | 1.143 % | 164.16/164.29 c | 1228423 | 20928 699462 2129219 | 1 130362 73 | 1.157 % | 164.16/164.29 c | 1235778 | 20915 699462 2129219 | 1 137704 73 | 1.219 % | 164.16/164.29 c | 1236038 | 20915 699462 2129219 | 1 137964 73 | 1.219 % | 164.16/164.29 c | 1257529 | 20912 699462 2129219 | 1 83011 42 | 1.233 % | 164.16/164.29 c | 1269274 | 20911 699449 2129145 | 1 94464 47 | 1.237 % | 164.16/164.29 c | 1294011 | 20894 699449 2129145 | 1 118957 61 | 1.318 % | 164.16/164.29 c | 1294659 | 20894 699449 2129145 | 1 119605 61 | 1.318 % | 164.16/164.29 c | 1295346 | 20894 699449 2129145 | 1 120292 61 | 1.318 % | 164.16/164.29 c | 1295446 | 20894 699449 2129145 | 1 120392 61 | 1.318 % | 164.16/164.29 c | 1296360 | 20894 699449 2129145 | 1 121306 61 | 1.318 % | 164.16/164.29 c | 1306621 | 20892 699449 2129145 | 1 131565 60 | 1.327 % | 164.16/164.29 c | 1307714 | 20892 699449 2129145 | 1 132658 61 | 1.327 % | 164.16/164.29 c | 1308173 | 20889 699449 2129145 | 1 133114 61 | 1.341 % | 164.16/164.29 c | 1308273 | 20889 699449 2129145 | 1 133214 61 | 1.341 % | 164.16/164.29 c | 1313302 | 20883 699449 2129145 | 1 138203 61 | 1.370 % | 164.16/164.29 c | 1313402 | 20882 699449 2129145 | 1 138302 61 | 1.374 % | 164.16/164.29 c | 1357839 | 20873 699449 2129145 | 1 103647 43 | 1.417 % | 164.16/164.29 c | 1367219 | 20864 699449 2129145 | 1 113018 44 | 1.459 % | 164.16/164.29 c | 1383185 | 20862 699449 2129145 | 1 128896 49 | 1.469 % | 164.16/164.29 c | 1412316 | 20852 699449 2129145 | 1 157936 55 | 1.516 % | 164.16/164.29 c | 1421998 | 20851 699449 2129145 | 1 86015 39 | 1.521 % | 164.16/164.29 c | 1422099 | 20851 699449 2129145 | 1 86116 39 | 1.521 % | 164.16/164.29 c | 1422208 | 20851 699449 2129145 | 1 86225 39 | 1.521 % | 164.16/164.29 c | 1439432 | 20846 699449 2129145 | 1 103429 42 | 1.544 % | 164.16/164.29 c | 1439547 | 20846 699449 2129145 | 1 103544 42 | 1.544 % | 164.16/164.29 c | 1439726 | 20846 699449 2129145 | 1 103723 42 | 1.544 % | 164.16/164.29 c | 1457939 | 20841 699449 2129145 | 1 121901 45 | 1.568 % | 164.16/164.29 c | 1466264 | 20841 699449 2129145 | 1 130226 44 | 1.568 % | 164.16/164.29 c | 1466738 | 20841 699449 2129145 | 1 130688 44 | 1.568 % | 164.16/164.29 c | 1466838 | 20841 699449 2129145 | 1 130788 44 | 1.568 % | 164.16/164.29 c | 1466938 | 20841 699449 2129145 | 1 130888 45 | 1.568 % | 164.16/164.29 c | 1467632 | 20841 699449 2129145 | 1 131582 45 | 1.568 % | 164.16/164.29 c | 1479227 | 20838 699449 2129145 | 1 143174 45 | 1.582 % | 164.16/164.29 c | 1479572 | 20838 699449 2129145 | 1 143491 45 | 1.582 % | 164.16/164.29 c | 1480129 | 20838 699449 2129145 | 1 144048 45 | 1.582 % | 164.16/164.29 c | 1486991 | 20838 699449 2129145 | 1 150910 46 | 1.582 % | 164.16/164.29 c | 1487091 | 20838 699449 2129145 | 1 151010 46 | 1.582 % | 164.16/164.29 c | 1487298 | 20838 699449 2129145 | 1 151217 46 | 1.582 % | 164.16/164.29 c | 1500168 | 16198 690583 2019423 | 1 45876 19 | 23.497 % | 164.16/164.29 c | 1512426 | 13911 687079 1980089 | 1 34682 18 | 34.298 % | 164.16/164.29 c =============================================================================== 164.16/164.29 c restarts : 780 164.16/164.29 c nb ReduceDB : 33 164.16/164.29 c nb removed Clauses : 1328635 164.16/164.29 c nb learnts DL2 : 11652 164.16/164.29 c nb learnts size 2 : 10500 164.16/164.29 c nb learnts size 1 : 354 164.16/164.29 c conflicts : 1512426 (9318 /sec) 164.16/164.29 c decisions : 6927281 (0.00 % random) (42677 /sec) 164.16/164.29 c propagations : 918870007 (5660948 /sec) 164.16/164.29 c conflict literals : 148478220 (54.72 % deleted) 164.16/164.29 c nb reduced Clauses : 9410 164.16/164.29 c CPU time : 162.317 s 164.16/164.29 164.25/164.30 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-3303805-1303904345/watcher-3303805-1303904345 -o /tmp/evaluation-result-3303805-1303904345/solver-3303805-1303904345 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303805-1303904345.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.84 1.97 1.92 1/172 21909 /proc/meminfo: memFree=15255476/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=11800 CPUtime=0 cores=0,2,4,6 /proc/21909/stat : 21909 (runsolver) S 21907 21909 21675 0 -1 4202560 41 0 0 0 0 0 0 0 22 0 1 0 502034230 12083200 51 33554432000 4194304 5434984 140737192826256 18446744073709551615 4881607 0 2147483391 4096 24578 18446744071699977015 0 0 17 0 0 0 0 /proc/21909/statm: 2950 51 31 303 0 2644 0 [startup+0.0182009 s] /proc/loadavg: 1.84 1.97 1.92 1/172 21909 /proc/meminfo: memFree=15255476/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=11800 CPUtime=0 cores=0,2,4,6 /proc/21909/stat : 21909 (runsolver) S 21907 21909 21675 0 -1 4202560 41 0 0 0 0 0 0 0 22 0 1 0 502034230 12083200 51 33554432000 4194304 5434984 140737192826256 18446744073709551615 4881607 0 2147483391 4096 24578 18446744071699977015 0 0 17 0 0 0 0 /proc/21909/statm: 2950 51 31 303 0 2644 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11800 [startup+0.100184 s] /proc/loadavg: 1.84 1.97 1.92 1/172 21909 /proc/meminfo: memFree=15255476/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/21909/stat : 21909 (glucose.sh) S 21907 21909 21675 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 502034230 8912896 253 33554432000 4194304 4922060 140736488328960 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21909/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.301205 s] /proc/loadavg: 1.84 1.97 1.92 1/172 21909 /proc/meminfo: memFree=15255476/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/21909/stat : 21909 (glucose.sh) S 21907 21909 21675 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 502034230 8912896 253 33554432000 4194304 4922060 140736488328960 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21909/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.70114 s] /proc/loadavg: 1.84 1.97 1.92 1/172 21909 /proc/meminfo: memFree=15255476/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/21909/stat : 21909 (glucose.sh) S 21907 21909 21675 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 502034230 8912896 253 33554432000 4194304 4922060 140736488328960 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/21909/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50099 s] /proc/loadavg: 1.84 1.97 1.92 3/180 21922 /proc/meminfo: memFree=15149508/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=8704 CPUtime=1.47 cores=0,2,4,6 /proc/21909/stat : 21909 (glucose.sh) R 21907 21909 21675 0 -1 4202496 342 16903 0 0 0 0 143 4 18 0 1 0 502034230 8912896 255 33554432000 4194304 4922060 140736488328960 18446744073709551615 274473787797 0 65538 4100 65536 0 0 0 17 4 0 0 0 /proc/21909/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 8704 [startup+3.10072 s] /proc/loadavg: 1.84 1.97 1.92 3/180 21923 /proc/meminfo: memFree=15059608/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=8704 CPUtime=1.47 cores=0,2,4,6 /proc/21909/stat : 21909 (glucose.sh) S 21907 21909 21675 0 -1 4202496 360 16903 0 0 0 0 143 4 18 0 1 0 502034230 8912896 255 33554432000 4194304 4922060 140736488328960 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/21909/statm: 2176 255 211 178 0 69 0 [pid=21923] ppid=21909 vsize=68764 CPUtime=1.59 cores=0,2,4,6 /proc/21923/stat : 21923 (glucose_static) R 21909 21909 21675 0 -1 4202496 11938 0 0 0 158 1 0 0 23 0 1 0 502034380 70414336 11117 33554432000 4194304 4260849 140734827823024 18446744073709551615 4211186 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21923/statm: 17191 11117 250 17 0 13832 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 77468 [startup+6.30115 s] /proc/loadavg: 1.85 1.97 1.92 3/177 21929 /proc/meminfo: memFree=15153660/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=8704 CPUtime=1.47 cores=0,2,4,6 /proc/21909/stat : 21909 (glucose.sh) S 21907 21909 21675 0 -1 4202496 360 16903 0 0 0 0 143 4 18 0 1 0 502034230 8912896 255 33554432000 4194304 4922060 140736488328960 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/21909/statm: 2176 255 211 178 0 69 0 [pid=21923] ppid=21909 vsize=107064 CPUtime=4.79 cores=0,2,4,6 /proc/21923/stat : 21923 (glucose_static) R 21909 21909 21675 0 -1 4202496 33792 0 0 0 475 4 0 0 25 0 1 0 502034380 109633536 20878 33554432000 4194304 4260849 140734827823024 18446744073709551615 274473664846 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21923/statm: 26766 20878 251 17 0 23407 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 115768 [startup+12.7009 s] /proc/loadavg: 1.86 1.97 1.92 3/180 21954 /proc/meminfo: memFree=14634672/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=8704 CPUtime=1.47 cores=0,2,4,6 /proc/21909/stat : 21909 (glucose.sh) S 21907 21909 21675 0 -1 4202496 360 16903 0 0 0 0 143 4 18 0 1 0 502034230 8912896 255 33554432000 4194304 4922060 140736488328960 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/21909/statm: 2176 255 211 178 0 69 0 [pid=21923] ppid=21909 vsize=107064 CPUtime=11.18 cores=0,2,4,6 /proc/21923/stat : 21923 (glucose_static) R 21909 21909 21675 0 -1 4202496 34720 0 0 0 1112 6 0 0 25 0 1 0 502034380 109633536 21798 33554432000 4194304 4260849 140734827823024 18446744073709551615 4224341 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21923/statm: 26766 21798 251 17 0 23407 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 115768 [startup+25.5008 s] /proc/loadavg: 1.89 1.97 1.92 3/180 21955 /proc/meminfo: memFree=14744088/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=8704 CPUtime=1.47 cores=0,2,4,6 /proc/21909/stat : 21909 (glucose.sh) S 21907 21909 21675 0 -1 4202496 360 16903 0 0 0 0 143 4 18 0 1 0 502034230 8912896 255 33554432000 4194304 4922060 140736488328960 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/21909/statm: 2176 255 211 178 0 69 0 [pid=21923] ppid=21909 vsize=107064 CPUtime=23.98 cores=0,2,4,6 /proc/21923/stat : 21923 (glucose_static) R 21909 21909 21675 0 -1 4202496 54666 0 0 0 2390 8 0 0 25 0 1 0 502034380 109633536 23274 33554432000 4194304 4260849 140734827823024 18446744073709551615 4209227 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21923/statm: 26766 23274 251 17 0 23407 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 115768 [startup+51.1012 s] /proc/loadavg: 1.99 1.99 1.93 3/180 21956 /proc/meminfo: memFree=14675740/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=8704 CPUtime=1.47 cores=0,2,4,6 /proc/21909/stat : 21909 (glucose.sh) S 21907 21909 21675 0 -1 4202496 360 16903 0 0 0 0 143 4 18 0 1 0 502034230 8912896 255 33554432000 4194304 4922060 140736488328960 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/21909/statm: 2176 255 211 178 0 69 0 [pid=21923] ppid=21909 vsize=156384 CPUtime=49.58 cores=0,2,4,6 /proc/21923/stat : 21923 (glucose_static) R 21909 21909 21675 0 -1 4202496 118434 0 0 0 4941 17 0 0 25 0 1 0 502034380 160137216 32264 33554432000 4194304 4260849 140734827823024 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21923/statm: 39096 32264 251 17 0 35737 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 165088 [startup+102.306 s] /proc/loadavg: 1.99 1.99 1.93 3/180 21957 /proc/meminfo: memFree=14644004/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=8704 CPUtime=1.47 cores=0,2,4,6 /proc/21909/stat : 21909 (glucose.sh) S 21907 21909 21675 0 -1 4202496 360 16903 0 0 0 0 143 4 18 0 1 0 502034230 8912896 255 33554432000 4194304 4922060 140736488328960 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/21909/statm: 2176 255 211 178 0 69 0 [pid=21923] ppid=21909 vsize=156384 CPUtime=100.79 cores=0,2,4,6 /proc/21923/stat : 21923 (glucose_static) R 21909 21909 21675 0 -1 4202496 215540 0 0 0 10047 32 0 0 25 0 1 0 502034380 160137216 31981 33554432000 4194304 4260849 140734827823024 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21923/statm: 39096 31981 251 17 0 35737 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 165088 [startup+162.301 s] /proc/loadavg: 1.99 1.99 1.93 3/180 21959 /proc/meminfo: memFree=14630940/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=8704 CPUtime=1.47 cores=0,2,4,6 /proc/21909/stat : 21909 (glucose.sh) S 21907 21909 21675 0 -1 4202496 360 16903 0 0 0 0 143 4 18 0 1 0 502034230 8912896 255 33554432000 4194304 4922060 140736488328960 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/21909/statm: 2176 255 211 178 0 69 0 [pid=21923] ppid=21909 vsize=156384 CPUtime=160.79 cores=0,2,4,6 /proc/21923/stat : 21923 (glucose_static) R 21909 21909 21675 0 -1 4202496 304096 0 0 0 16032 47 0 0 25 0 1 0 502034380 160137216 34384 33554432000 4194304 4260849 140734827823024 18446744073709551615 4224583 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21923/statm: 39096 34384 251 17 0 35737 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 165088 Solver just ended. Dumping a history of the last processes samples [startup+163.101 s] /proc/loadavg: 1.99 1.99 1.93 3/180 21959 /proc/meminfo: memFree=14670868/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=8704 CPUtime=1.47 cores=0,2,4,6 /proc/21909/stat : 21909 (glucose.sh) S 21907 21909 21675 0 -1 4202496 360 16903 0 0 0 0 143 4 18 0 1 0 502034230 8912896 255 33554432000 4194304 4922060 140736488328960 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/21909/statm: 2176 255 211 178 0 69 0 [pid=21923] ppid=21909 vsize=107064 CPUtime=161.59 cores=0,2,4,6 /proc/21923/stat : 21923 (glucose_static) R 21909 21909 21675 0 -1 4202496 304370 0 0 0 16112 47 0 0 25 0 1 0 502034380 109633536 23275 33554432000 4194304 4260849 140734827823024 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21923/statm: 26766 23275 251 17 0 23407 0 Current children cumulated CPU time (s) 163.06 Current children cumulated vsize (KiB) 115768 [startup+163.906 s] /proc/loadavg: 1.99 1.99 1.93 3/180 21959 /proc/meminfo: memFree=14663924/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=8704 CPUtime=1.47 cores=0,2,4,6 /proc/21909/stat : 21909 (glucose.sh) S 21907 21909 21675 0 -1 4202496 360 16903 0 0 0 0 143 4 18 0 1 0 502034230 8912896 255 33554432000 4194304 4922060 140736488328960 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/21909/statm: 2176 255 211 178 0 69 0 [pid=21923] ppid=21909 vsize=107064 CPUtime=162.39 cores=0,2,4,6 /proc/21923/stat : 21923 (glucose_static) R 21909 21909 21675 0 -1 4202496 304370 0 0 0 16192 47 0 0 25 0 1 0 502034380 109633536 23275 33554432000 4194304 4260849 140734827823024 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21923/statm: 26766 23275 251 17 0 23407 0 Current children cumulated CPU time (s) 163.86 Current children cumulated vsize (KiB) 115768 [startup+164.3 s] /proc/loadavg: 1.99 1.99 1.93 3/180 21959 /proc/meminfo: memFree=14663924/32950928 swapFree=67111528/67111528 [pid=21909] ppid=21907 vsize=8704 CPUtime=1.47 cores=0,2,4,6 /proc/21909/stat : 21909 (glucose.sh) S 21907 21909 21675 0 -1 4202496 360 16903 0 0 0 0 143 4 18 0 1 0 502034230 8912896 255 33554432000 4194304 4922060 140736488328960 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/21909/statm: 2176 255 211 178 0 69 0 [pid=21923] ppid=21909 vsize=0 CPUtime=162.78 cores=0,2,4,6 /proc/21923/stat : 21923 (glucose_static) R 21909 21909 21675 0 -1 4202500 304375 0 0 0 16231 47 0 0 25 0 1 0 502034380 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 /proc/21923/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 164.25 Current children cumulated vsize (KiB) 8704 Child status: 20 Real time (s): 164.308 CPU time (s): 164.276 CPU user time (s): 163.749 CPU system time (s): 0.526919 CPU usage (%): 99.9803 Max. virtual memory (cumulated for all children) (KiB): 245228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 163.749 system time used= 0.526919 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 321849 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= 42 involuntary context switches= 719 runsolver used 0.285956 second user time and 0.578911 second system time The end
Begin job on node125 at 2011-04-27 13:39:06 IDJOB=3303805 IDBENCH=71743 IDSOLVER=1687 FILE ID=node125/3303805-1303904345 RUNJOBID= node125-1303899342-21693 PBS_JOBID= 13164523 Free space on /tmp= 72760 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303805-1303904345/watcher-3303805-1303904345 -o /tmp/evaluation-result-3303805-1303904345/solver-3303805-1303904345 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303805-1303904345.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b7df25f653e1e7a9ffcd39b3231809e6 RANDOM SEED=883491911 node125.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.828 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.65 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.828 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 : 5266.55 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.828 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.84 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.828 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.74 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.828 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.82 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.828 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.74 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 15255756 kB Buffers: 2211052 kB Cached: 14889184 kB SwapCached: 0 kB Active: 8697504 kB Inactive: 8466368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 15255756 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 14008 kB Writeback: 0 kB AnonPages: 63504 kB Mapped: 14688 kB Slab: 468428 kB PageTables: 4632 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 187132 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= 72612 MiB End job on node125 at 2011-04-27 13:41:50