| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | UNSAT | 1145.76 | 1145.8 |
| Name | SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf |
| MD5SUM | f16626953757fdd1326f2a14f01adca9 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1015.28 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 435701 |
| Number of clauses | 1379987 |
| Sum of the clauses size | 3544455 |
| Maximum clause length | 304 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 142 |
| Number of clauses of size 2 | 654099 |
| Number of clauses of size 3 | 705129 |
| Number of clauses of size 4 | 12732 |
| Number of clauses of size 5 | 4852 |
| Number of clauses of size over 5 | 3033 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 1.39/1.49 c ============================================================================== 1.39/1.49 c | | ORIGINAL | LEARNT | | 1.39/1.49 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 1.39/1.49 c ============================================================================== 1.39/1.49 c | 0 | 1379117 3541891 | 413735 0 0 nan | 0.000 % | 8.80/8.80 c | 0 | 616639 2018525 | -- 0 -- -- | -- | -735035/-1451089 8.80/8.80 c ============================================================================== 8.80/8.80 c Result : #vars: 113534 #clauses: 616639 #literals: 2018525 8.80/8.80 c CPU time: 8.5677 s 8.80/8.80 c ============================================================================== 9.29/9.32 c 9.29/9.32 c Starting glucose 9.29/9.32 c 25.73/25.85 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 25.73/25.85 c WARNING: for repeatability, setting FPU to use double precision 25.73/25.85 c ============================[ Problem Statistics ]============================= 25.73/25.85 c | | 25.73/25.85 c | Number of variables: 113534 | 25.73/25.85 c | Number of clauses: 616639 | 25.73/25.85 c | Parse time: 0.28 s | 25.73/25.85 c | | 25.73/25.85 c ============================[ Search Statistics ]============================== 25.73/25.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.73/25.85 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 25.73/25.85 c =============================================================================== 25.73/25.85 c | 235 | 113533 616639 2018525 | 1 234 20 | 0.001 % | 25.73/25.85 c | 1397 | 113533 616639 2018525 | 1 1396 12 | 0.001 % | 25.73/25.85 c | 1498 | 113532 616637 2018513 | 1 1496 15 | 0.002 % | 25.73/25.85 c | 2400 | 113485 616637 2018513 | 1 2395 19 | 0.043 % | 25.73/25.85 c | 3067 | 113484 616392 2017560 | 1 3060 18 | 0.044 % | 25.73/25.85 c | 3212 | 113484 616392 2017560 | 1 3205 18 | 0.044 % | 25.73/25.85 c | 4967 | 113484 616392 2017560 | 1 3041 16 | 0.044 % | 25.73/25.85 c | 5093 | 113484 616386 2017542 | 1 3167 17 | 0.044 % | 25.73/25.85 c | 5607 | 113484 616386 2017542 | 1 3681 18 | 0.044 % | 25.73/25.85 c | 5916 | 113484 616386 2017542 | 1 3990 23 | 0.044 % | 25.73/25.85 c | 6016 | 113484 616386 2017542 | 1 4090 23 | 0.044 % | 25.73/25.85 c | 6183 | 113484 616386 2017542 | 1 4257 24 | 0.044 % | 25.73/25.85 c | 6283 | 113484 616386 2017542 | 1 4357 25 | 0.044 % | 25.73/25.85 c | 6889 | 113484 616386 2017542 | 1 4963 26 | 0.044 % | 25.73/25.85 c | 8277 | 113482 616373 2017502 | 1 6349 23 | 0.046 % | 25.73/25.85 c | 9416 | 113477 616335 2017209 | 1 7485 24 | 0.050 % | 25.73/25.85 c | 9516 | 113477 616335 2017209 | 1 7585 25 | 0.050 % | 25.73/25.85 c | 9693 | 113476 616335 2017209 | 1 7761 25 | 0.051 % | 25.73/25.85 c | 9800 | 113476 616335 2017209 | 1 7868 26 | 0.051 % | 25.73/25.85 c | 9901 | 113476 616335 2017209 | 1 7969 27 | 0.051 % | 25.73/25.85 c | 10222 | 113476 616331 2017197 | 1 8290 28 | 0.051 % | 25.73/25.85 c | 10322 | 113476 616331 2017197 | 1 8390 28 | 0.051 % | 25.73/25.85 c | 10595 | 113476 616331 2017197 | 1 8663 28 | 0.051 % | 25.73/25.85 c | 10740 | 113476 616331 2017197 | 1 8808 29 | 0.051 % | 25.73/25.85 c | 10840 | 113476 616331 2017197 | 1 8908 29 | 0.051 % | 25.73/25.85 c | 10941 | 113476 616331 2017197 | 1 9009 30 | 0.051 % | 25.73/25.85 c | 11074 | 113476 616331 2017197 | 1 9142 31 | 0.051 % | 25.73/25.85 c | 13136 | 113473 616325 2017179 | 1 6643 19 | 0.054 % | 25.73/25.85 c | 13238 | 113473 616304 2017109 | 1 6745 19 | 0.054 % | 25.73/25.85 c | 13970 | 113473 616304 2017109 | 1 7477 21 | 0.054 % | 25.73/25.85 c | 14070 | 113473 616304 2017109 | 1 7577 22 | 0.054 % | 25.73/25.85 c | 14455 | 113473 616304 2017109 | 1 7962 23 | 0.054 % | 25.73/25.85 c | 14555 | 113473 616304 2017109 | 1 8062 23 | 0.054 % | 25.73/25.85 c | 15526 | 113472 616292 2017067 | 1 9032 29 | 0.055 % | 25.73/25.85 c | 17190 | 113471 616280 2017030 | 1 10695 31 | 0.055 % | 25.73/25.85 c | 17292 | 113471 616280 2017030 | 1 10797 31 | 0.055 % | 25.73/25.85 c | 17392 | 113471 616280 2017030 | 1 10897 31 | 0.055 % | 25.73/25.85 c | 17492 | 113471 616280 2017030 | 1 10997 31 | 0.055 % | 25.73/25.85 c | 18370 | 113470 616268 2016990 | 1 11874 33 | 0.056 % | 52.64/52.76 c | 19054 | 113470 616268 2016990 | 1 12558 33 | 0.056 % | 52.64/52.76 c | 19164 | 113470 616268 2016990 | 1 12668 34 | 0.056 % | 52.64/52.76 c | 19264 | 113470 616268 2016990 | 1 12768 34 | 0.056 % | 52.64/52.76 c | 20951 | 113469 616262 2016972 | 1 14454 35 | 0.057 % | 52.64/52.76 c | 21051 | 113469 616262 2016972 | 1 14554 35 | 0.057 % | 52.64/52.76 c | 21846 | 113469 616262 2016972 | 1 15349 35 | 0.057 % | 52.64/52.76 c | 22808 | 113469 616262 2016972 | 1 16311 34 | 0.057 % | 52.64/52.76 c | 22910 | 113469 616262 2016972 | 1 16413 34 | 0.057 % | 52.64/52.76 c | 24713 | 113467 616249 2016927 | 1 18214 36 | 0.059 % | 52.64/52.76 c | 24814 | 113467 616237 2016885 | 1 18315 36 | 0.059 % | 52.64/52.76 c | 24914 | 113467 616237 2016885 | 1 18415 37 | 0.059 % | 52.64/52.76 c | 25162 | 113467 616237 2016885 | 1 18663 37 | 0.059 % | 52.64/52.76 c | 25940 | 113467 616237 2016885 | 1 11698 19 | 0.059 % | 52.64/52.76 c | 26108 | 113467 616237 2016885 | 1 11866 20 | 0.059 % | 52.64/52.76 c | 26208 | 113467 616237 2016885 | 1 11966 20 | 0.059 % | 52.64/52.76 c | 26639 | 113467 616237 2016885 | 1 12397 21 | 0.059 % | 52.64/52.76 c | 26797 | 113467 616237 2016885 | 1 12555 22 | 0.059 % | 52.64/52.76 c | 26897 | 113467 616237 2016885 | 1 12655 22 | 0.059 % | 52.64/52.76 c | 27317 | 113467 616237 2016885 | 1 13075 23 | 0.059 % | 52.64/52.76 c | 27504 | 113467 616237 2016885 | 1 13262 23 | 0.059 % | 52.64/52.76 c | 27606 | 113467 616237 2016885 | 1 13364 23 | 0.059 % | 52.64/52.76 c | 27848 | 113467 616237 2016885 | 1 13606 24 | 0.059 % | 52.64/52.76 c | 27948 | 113467 616237 2016885 | 1 13706 25 | 0.059 % | 52.64/52.76 c | 28653 | 113467 616237 2016885 | 1 14411 27 | 0.059 % | 52.64/52.76 c | 30381 | 113465 616224 2016845 | 1 16137 29 | 0.061 % | 52.64/52.76 c | 30526 | 113465 616224 2016845 | 1 16282 29 | 0.061 % | 52.64/52.76 c | 30785 | 113465 616224 2016845 | 1 16541 29 | 0.061 % | 52.64/52.76 c | 33553 | 113464 616205 2016773 | 1 19308 30 | 0.062 % | 52.64/52.76 c | 34000 | 113464 616205 2016773 | 1 19755 31 | 0.062 % | 52.64/52.76 c | 34196 | 113464 616205 2016773 | 1 19951 31 | 0.062 % | 52.64/52.76 c | 34296 | 113464 616205 2016773 | 1 20051 32 | 0.062 % | 52.64/52.76 c | 34396 | 113464 616205 2016773 | 1 20151 32 | 0.062 % | 52.64/52.76 c | 34754 | 113464 616205 2016773 | 1 20509 32 | 0.062 % | 52.64/52.76 c | 36310 | 113464 616205 2016773 | 1 22065 33 | 0.062 % | 52.64/52.76 c | 36416 | 113464 616205 2016773 | 1 22171 33 | 0.062 % | 52.64/52.76 c | 37469 | 113464 616205 2016773 | 1 23224 34 | 0.062 % | 52.64/52.76 c | 37627 | 113464 616205 2016773 | 1 23382 35 | 0.062 % | 52.64/52.76 c | 37910 | 113463 616199 2016755 | 1 23664 35 | 0.063 % | 52.64/52.76 c | 38010 | 113463 616199 2016755 | 1 23764 35 | 0.063 % | 52.64/52.76 c | 38246 | 113463 616199 2016755 | 1 24000 35 | 0.063 % | 52.64/52.76 c | 39498 | 113463 616199 2016755 | 1 25252 37 | 0.063 % | 52.64/52.76 c | 39598 | 113463 616199 2016755 | 1 25352 37 | 0.063 % | 52.64/52.76 c | 39723 | 113463 616199 2016755 | 1 25477 38 | 0.063 % | 52.64/52.76 c | 39823 | 113463 616199 2016755 | 1 25577 38 | 0.063 % | 52.64/52.76 c | 40574 | 113463 616199 2016755 | 1 26328 39 | 0.063 % | 52.64/52.76 c | 41151 | 113463 616199 2016755 | 1 26905 39 | 0.063 % | 52.64/52.76 c | 41272 | 113463 616199 2016755 | 1 27026 39 | 0.063 % | 52.64/52.76 c | 41633 | 113463 616199 2016755 | 1 27387 39 | 0.063 % | 52.64/52.76 c | 41769 | 113463 616199 2016755 | 1 27523 39 | 0.063 % | 52.64/52.76 c | 41869 | 113463 616199 2016755 | 1 27623 39 | 0.063 % | 98.24/98.38 c | 41969 | 113463 616199 2016755 | 1 27723 39 | 0.063 % | 98.24/98.38 c | 45422 | 113462 616193 2016737 | 1 19616 21 | 0.063 % | 98.24/98.38 c | 46049 | 113462 616193 2016737 | 1 20243 22 | 0.063 % | 98.24/98.38 c | 46734 | 113462 616193 2016737 | 1 20928 23 | 0.063 % | 98.24/98.38 c | 47041 | 113462 616193 2016737 | 1 21235 23 | 0.063 % | 98.24/98.38 c | 47468 | 113462 616193 2016737 | 1 21662 25 | 0.063 % | 98.24/98.38 c | 47720 | 113462 616193 2016737 | 1 21914 26 | 0.063 % | 98.24/98.38 c | 47820 | 113462 616193 2016737 | 1 22014 26 | 0.063 % | 98.24/98.38 c | 48078 | 113462 616193 2016737 | 1 22272 26 | 0.063 % | 98.24/98.38 c | 48436 | 113461 616187 2016719 | 1 22629 26 | 0.064 % | 98.24/98.38 c | 48857 | 113461 616187 2016719 | 1 23050 27 | 0.064 % | 98.24/98.38 c | 48972 | 113460 616187 2016719 | 1 23164 27 | 0.065 % | 98.24/98.38 c | 50368 | 113460 616174 2016674 | 1 24560 28 | 0.065 % | 98.24/98.38 c | 50966 | 113460 616174 2016674 | 1 25158 29 | 0.065 % | 98.24/98.38 c | 51887 | 113458 616168 2016656 | 1 26077 30 | 0.067 % | 98.24/98.38 c | 52170 | 113458 616168 2016656 | 1 26360 30 | 0.067 % | 98.24/98.38 c | 52355 | 113458 616156 2016616 | 1 26544 31 | 0.067 % | 98.24/98.38 c | 52456 | 113458 616156 2016616 | 1 26645 31 | 0.067 % | 98.24/98.38 c | 52868 | 113458 616156 2016616 | 1 27057 31 | 0.067 % | 98.24/98.38 c | 52968 | 113458 616156 2016616 | 1 27157 31 | 0.067 % | 98.24/98.38 c | 53974 | 113458 616156 2016616 | 1 28163 31 | 0.067 % | 98.24/98.38 c | 54074 | 113458 616156 2016616 | 1 28263 33 | 0.067 % | 98.24/98.38 c | 54175 | 113458 616156 2016616 | 1 28364 33 | 0.067 % | 98.24/98.38 c | 54670 | 113458 616156 2016616 | 1 28859 33 | 0.067 % | 98.24/98.38 c | 56138 | 113457 616144 2016576 | 1 30326 34 | 0.068 % | 98.24/98.38 c | 56316 | 113457 616144 2016576 | 1 30504 34 | 0.068 % | 98.24/98.38 c | 56777 | 113457 616144 2016576 | 1 30965 35 | 0.068 % | 98.24/98.38 c | 57103 | 113457 616144 2016576 | 1 31291 36 | 0.068 % | 98.24/98.38 c | 57513 | 113456 616131 2016524 | 1 31700 36 | 0.069 % | 98.24/98.38 c | 57613 | 113456 616131 2016524 | 1 31800 36 | 0.069 % | 98.24/98.38 c | 58049 | 113456 616131 2016524 | 1 32236 37 | 0.069 % | 98.24/98.38 c | 58149 | 113456 616131 2016524 | 1 32336 37 | 0.069 % | 98.24/98.38 c | 61500 | 113455 616125 2016506 | 1 35686 38 | 0.070 % | 98.24/98.38 c | 61601 | 113455 616125 2016506 | 1 35787 38 | 0.070 % | 98.24/98.38 c | 61774 | 113455 616125 2016506 | 1 35960 39 | 0.070 % | 98.24/98.38 c | 62350 | 113455 616125 2016506 | 1 36536 40 | 0.070 % | 98.24/98.38 c | 63558 | 113454 616115 2016472 | 1 37742 41 | 0.070 % | 98.24/98.38 c | 64308 | 113454 616115 2016472 | 1 38492 41 | 0.070 % | 98.24/98.38 c | 64445 | 113454 616115 2016472 | 1 38629 41 | 0.070 % | 98.24/98.38 c | 64742 | 113454 616115 2016472 | 1 38926 41 | 0.070 % | 98.24/98.38 c | 65208 | 113454 616115 2016472 | 1 39392 41 | 0.070 % | 98.24/98.38 c | 71476 | 113454 616115 2016472 | 1 30110 27 | 0.070 % | 98.24/98.38 c | 72950 | 113454 616115 2016472 | 1 31584 30 | 0.070 % | 98.24/98.38 c | 74237 | 113454 616115 2016472 | 1 32871 33 | 0.070 % | 98.24/98.38 c | 74366 | 113454 616115 2016472 | 1 33000 33 | 0.070 % | 98.24/98.38 c | 74466 | 113454 616115 2016472 | 1 33100 33 | 0.070 % | 98.24/98.38 c | 74566 | 113454 616115 2016472 | 1 33200 33 | 0.070 % | 98.24/98.38 c | 74675 | 113454 616115 2016472 | 1 33309 33 | 0.070 % | 98.24/98.38 c | 74775 | 113454 616115 2016472 | 1 33409 33 | 0.070 % | 98.24/98.38 c | 74914 | 113454 616115 2016472 | 1 33548 34 | 0.070 % | 119.53/119.64 c | 75014 | 113454 616115 2016472 | 1 33648 34 | 0.070 % | 119.53/119.64 c | 75115 | 113454 616115 2016472 | 1 33749 34 | 0.070 % | 119.53/119.64 c | 75659 | 113454 616115 2016472 | 1 34293 34 | 0.070 % | 119.53/119.64 c | 76161 | 113454 616115 2016472 | 1 34795 35 | 0.070 % | 119.53/119.64 c | 76409 | 113329 615229 2013358 | 1 35021 36 | 0.181 % | 119.53/119.64 c | 76512 | 113329 615229 2013358 | 1 35124 36 | 0.181 % | 119.53/119.64 c | 77121 | 113329 615229 2013358 | 1 35733 37 | 0.181 % | 119.53/119.64 c | 77221 | 113329 615229 2013358 | 1 35833 37 | 0.181 % | 119.53/119.64 c | 77323 | 113329 615229 2013358 | 1 35935 37 | 0.181 % | 119.53/119.64 c | 78047 | 113329 615229 2013358 | 1 36659 37 | 0.181 % | 119.53/119.64 c | 78147 | 113329 615229 2013358 | 1 36759 38 | 0.181 % | 119.53/119.64 c | 78247 | 113329 615229 2013358 | 1 36859 38 | 0.181 % | 119.53/119.64 c | 78348 | 113329 615229 2013358 | 1 36960 38 | 0.181 % | 119.53/119.64 c | 78475 | 113329 615229 2013358 | 1 37087 38 | 0.181 % | 119.53/119.64 c | 79014 | 113329 615229 2013358 | 1 37626 39 | 0.181 % | 119.53/119.64 c | 79114 | 113329 615229 2013358 | 1 37726 39 | 0.181 % | 119.53/119.64 c | 79219 | 113329 615229 2013358 | 1 37831 40 | 0.181 % | 119.53/119.64 c | 79681 | 113329 615229 2013358 | 1 38293 40 | 0.181 % | 119.53/119.64 c | 79881 | 113329 615229 2013358 | 1 38493 40 | 0.181 % | 119.53/119.64 c | 79991 | 113329 615229 2013358 | 1 38603 41 | 0.181 % | 119.53/119.64 c | 80237 | 113329 615229 2013358 | 1 38849 41 | 0.181 % | 119.53/119.64 c | 81261 | 113328 615223 2013340 | 1 39872 41 | 0.181 % | 119.53/119.64 c | 81363 | 113328 615223 2013340 | 1 39974 41 | 0.181 % | 119.53/119.64 c | 81465 | 113328 615223 2013340 | 1 40076 41 | 0.181 % | 119.53/119.64 c | 82045 | 113327 615217 2013322 | 1 40654 42 | 0.182 % | 119.53/119.64 c | 82489 | 113327 615217 2013322 | 1 41098 42 | 0.182 % | 119.53/119.64 c | 82621 | 113327 615217 2013322 | 1 41230 42 | 0.182 % | 119.53/119.64 c | 82788 | 113327 615217 2013322 | 1 41397 42 | 0.182 % | 119.53/119.64 c | 82888 | 113327 615217 2013322 | 1 41497 42 | 0.182 % | 119.53/119.64 c | 84846 | 113327 615217 2013322 | 1 43455 43 | 0.182 % | 119.53/119.64 c | 84951 | 113327 615217 2013322 | 1 43560 43 | 0.182 % | 119.53/119.64 c | 85051 | 113327 615217 2013322 | 1 43660 43 | 0.182 % | 119.53/119.64 c | 85202 | 113327 615217 2013322 | 1 43811 43 | 0.182 % | 119.53/119.64 c | 85361 | 113327 615217 2013322 | 1 43970 43 | 0.182 % | 119.53/119.64 c | 85462 | 113327 615217 2013322 | 1 44071 43 | 0.182 % | 119.53/119.64 c | 86993 | 113327 615217 2013322 | 1 45602 44 | 0.182 % | 119.53/119.64 c | 87093 | 113327 615217 2013322 | 1 45702 44 | 0.182 % | 119.53/119.64 c | 88153 | 113327 615217 2013322 | 1 46762 43 | 0.182 % | 119.53/119.64 c | 88500 | 113327 615217 2013322 | 1 47109 44 | 0.182 % | 119.53/119.64 c | 89688 | 113327 615217 2013322 | 1 48297 43 | 0.182 % | 119.53/119.64 c | 92466 | 113327 615217 2013322 | 1 51075 44 | 0.182 % | 119.53/119.64 c | 92699 | 113327 615217 2013322 | 1 51308 44 | 0.182 % | 119.53/119.64 c | 92892 | 113327 615217 2013322 | 1 51501 44 | 0.182 % | 119.53/119.64 c | 93125 | 113327 615217 2013322 | 1 32502 22 | 0.182 % | 119.53/119.64 c | 93225 | 113327 615217 2013322 | 1 32602 22 | 0.182 % | 119.53/119.64 c | 93401 | 113327 615217 2013322 | 1 32778 22 | 0.182 % | 119.53/119.64 c | 93501 | 113327 615217 2013322 | 1 32878 22 | 0.182 % | 119.53/119.64 c | 94151 | 113327 615217 2013322 | 1 33528 23 | 0.182 % | 119.53/119.64 c | 94308 | 113327 615217 2013322 | 1 33685 24 | 0.182 % | 119.53/119.64 c | 94410 | 113327 615217 2013322 | 1 33787 24 | 0.182 % | 157.63/157.75 c | 98271 | 113326 615205 2013282 | 1 37647 30 | 0.183 % | 157.63/157.75 c | 98479 | 113326 615205 2013282 | 1 37855 30 | 0.183 % | 157.63/157.75 c | 98579 | 113326 615205 2013282 | 1 37955 30 | 0.183 % | 157.63/157.75 c | 98713 | 113326 615205 2013282 | 1 38089 31 | 0.183 % | 157.63/157.75 c | 98813 | 113326 615205 2013282 | 1 38189 31 | 0.183 % | 157.63/157.75 c | 100333 | 113326 615205 2013282 | 1 39709 32 | 0.183 % | 157.63/157.75 c | 100433 | 113326 615205 2013282 | 1 39809 32 | 0.183 % | 157.63/157.75 c | 100819 | 113326 615205 2013282 | 1 40195 32 | 0.183 % | 157.63/157.75 c | 101337 | 113326 615205 2013282 | 1 40713 33 | 0.183 % | 157.63/157.75 c | 101438 | 113326 615205 2013282 | 1 40814 33 | 0.183 % | 157.63/157.75 c | 101547 | 113326 615205 2013282 | 1 40923 33 | 0.183 % | 157.63/157.75 c | 101812 | 113324 615199 2013264 | 1 41186 34 | 0.185 % | 157.63/157.75 c | 101912 | 113324 615199 2013264 | 1 41286 34 | 0.185 % | 157.63/157.75 c | 102086 | 113324 615199 2013264 | 1 41460 35 | 0.185 % | 157.63/157.75 c | 102217 | 113324 615199 2013264 | 1 41591 35 | 0.185 % | 157.63/157.75 c | 102318 | 113324 615199 2013264 | 1 41692 36 | 0.185 % | 157.63/157.75 c | 102642 | 113324 615196 2013254 | 1 42016 37 | 0.185 % | 157.63/157.75 c | 102742 | 113324 615196 2013254 | 1 42116 37 | 0.185 % | 157.63/157.75 c | 104271 | 113324 615196 2013254 | 1 43645 37 | 0.185 % | 157.63/157.75 c | 104371 | 113324 615196 2013254 | 1 43745 37 | 0.185 % | 157.63/157.75 c | 104472 | 113324 615196 2013254 | 1 43846 37 | 0.185 % | 157.63/157.75 c | 104674 | 113324 615196 2013254 | 1 44048 37 | 0.185 % | 157.63/157.75 c | 105126 | 113324 615196 2013254 | 1 44500 39 | 0.185 % | 157.63/157.75 c | 105606 | 113324 615196 2013254 | 1 44980 40 | 0.185 % | 157.63/157.75 c | 106272 | 113324 615196 2013254 | 1 45646 40 | 0.185 % | 157.63/157.75 c | 107155 | 113324 615196 2013254 | 1 46529 42 | 0.185 % | 157.63/157.75 c | 107570 | 113324 615196 2013254 | 1 46944 42 | 0.185 % | 157.63/157.75 c | 107731 | 113324 615196 2013254 | 1 47105 43 | 0.185 % | 157.63/157.75 c | 107831 | 113324 615196 2013254 | 1 47205 43 | 0.185 % | 157.63/157.75 c | 107932 | 113324 615196 2013254 | 1 47306 43 | 0.185 % | 157.63/157.75 c | 108032 | 113324 615196 2013254 | 1 47406 43 | 0.185 % | 157.63/157.75 c | 108154 | 113324 615196 2013254 | 1 47528 43 | 0.185 % | 157.63/157.75 c | 109495 | 113324 615196 2013254 | 1 48869 43 | 0.185 % | 157.63/157.75 c | 109754 | 113324 615196 2013254 | 1 49128 44 | 0.185 % | 157.63/157.75 c | 109859 | 113324 615196 2013254 | 1 49233 44 | 0.185 % | 157.63/157.75 c | 109959 | 113324 615196 2013254 | 1 49333 44 | 0.185 % | 157.63/157.75 c | 110246 | 113324 615196 2013254 | 1 49620 44 | 0.185 % | 157.63/157.75 c | 110346 | 113324 615196 2013254 | 1 49720 44 | 0.185 % | 157.63/157.75 c | 110446 | 113324 615196 2013254 | 1 49820 44 | 0.185 % | 157.63/157.75 c | 110547 | 113324 615196 2013254 | 1 49921 44 | 0.185 % | 157.63/157.75 c | 111906 | 113324 615196 2013254 | 1 51280 45 | 0.185 % | 157.63/157.75 c | 112006 | 113324 615196 2013254 | 1 51380 45 | 0.185 % | 157.63/157.75 c | 112238 | 113324 615196 2013254 | 1 51612 45 | 0.185 % | 157.63/157.75 c | 112339 | 113324 615196 2013254 | 1 51713 45 | 0.185 % | 157.63/157.75 c | 112641 | 113324 615196 2013254 | 1 52015 46 | 0.185 % | 157.63/157.75 c | 113688 | 113324 615196 2013254 | 1 53062 46 | 0.185 % | 157.63/157.75 c | 113844 | 113324 615196 2013254 | 1 53218 47 | 0.185 % | 157.63/157.75 c | 113945 | 113324 615196 2013254 | 1 53319 47 | 0.185 % | 157.63/157.75 c | 114205 | 113324 615196 2013254 | 1 53579 47 | 0.185 % | 157.63/157.75 c | 114306 | 113324 615196 2013254 | 1 53680 47 | 0.185 % | 198.44/198.53 c | 114494 | 113324 615196 2013254 | 1 53868 48 | 0.185 % | 198.44/198.53 c | 114598 | 113324 615196 2013254 | 1 53972 48 | 0.185 % | 198.44/198.53 c | 114764 | 113324 615196 2013254 | 1 54138 48 | 0.185 % | 198.44/198.53 c | 115403 | 113324 615196 2013254 | 1 54777 49 | 0.185 % | 198.44/198.53 c | 115503 | 113324 615196 2013254 | 1 54877 49 | 0.185 % | 198.44/198.53 c | 116561 | 113324 615196 2013254 | 1 55935 49 | 0.185 % | 198.44/198.53 c | 118527 | 113324 615196 2013254 | 1 57901 50 | 0.185 % | 198.44/198.53 c | 118690 | 113324 615196 2013254 | 1 58064 50 | 0.185 % | 198.44/198.53 c | 118791 | 113324 615196 2013254 | 1 58165 50 | 0.185 % | 198.44/198.53 c | 118921 | 113324 615196 2013254 | 1 58295 50 | 0.185 % | 198.44/198.53 c | 119111 | 113324 615196 2013254 | 1 58485 51 | 0.185 % | 198.44/198.53 c | 121721 | 113324 615196 2013254 | 1 61095 51 | 0.185 % | 198.44/198.53 c | 121901 | 113324 615196 2013254 | 1 61275 51 | 0.185 % | 198.44/198.53 c | 122276 | 113324 615196 2013254 | 1 61650 52 | 0.185 % | 198.44/198.53 c | 123979 | 113324 615196 2013254 | 1 63353 52 | 0.185 % | 198.44/198.53 c | 124152 | 113324 615196 2013254 | 1 63526 53 | 0.185 % | 198.44/198.53 c | 124253 | 113324 615196 2013254 | 1 63627 53 | 0.185 % | 198.44/198.53 c | 124646 | 113324 615196 2013254 | 1 40153 26 | 0.185 % | 198.44/198.53 c | 124843 | 113324 615196 2013254 | 1 40350 27 | 0.185 % | 198.44/198.53 c | 124962 | 113324 615196 2013254 | 1 40469 27 | 0.185 % | 198.44/198.53 c | 125640 | 113324 615196 2013254 | 1 41147 28 | 0.185 % | 198.44/198.53 c | 125740 | 113324 615196 2013254 | 1 41247 28 | 0.185 % | 198.44/198.53 c | 125855 | 113324 615196 2013254 | 1 41362 29 | 0.185 % | 198.44/198.53 c | 126016 | 113324 615196 2013254 | 1 41523 29 | 0.185 % | 198.44/198.53 c | 126116 | 113324 615196 2013254 | 1 41623 30 | 0.185 % | 198.44/198.53 c | 126216 | 113324 615196 2013254 | 1 41723 30 | 0.185 % | 198.44/198.53 c | 126317 | 113324 615196 2013254 | 1 41824 30 | 0.185 % | 198.44/198.53 c | 126435 | 113324 615196 2013254 | 1 41942 31 | 0.185 % | 198.44/198.53 c | 126536 | 113324 615196 2013254 | 1 42043 31 | 0.185 % | 198.44/198.53 c | 126770 | 113324 615196 2013254 | 1 42277 31 | 0.185 % | 198.44/198.53 c | 127051 | 113324 615196 2013254 | 1 42558 31 | 0.185 % | 198.44/198.53 c | 127152 | 113324 615196 2013254 | 1 42659 31 | 0.185 % | 198.44/198.53 c | 129057 | 113324 615196 2013254 | 1 44564 38 | 0.185 % | 198.44/198.53 c | 129666 | 113324 615196 2013254 | 1 45173 39 | 0.185 % | 198.44/198.53 c | 129767 | 113324 615196 2013254 | 1 45274 39 | 0.185 % | 198.44/198.53 c | 130265 | 113324 615196 2013254 | 1 45772 39 | 0.185 % | 198.44/198.53 c | 130456 | 113323 615184 2013214 | 1 45962 40 | 0.186 % | 198.44/198.53 c | 130665 | 113323 615184 2013214 | 1 46171 40 | 0.186 % | 198.44/198.53 c | 133945 | 113322 615184 2013214 | 1 49450 41 | 0.187 % | 198.44/198.53 c | 138703 | 113322 615173 2013175 | 1 54208 45 | 0.187 % | 198.44/198.53 c | 138817 | 113322 615173 2013175 | 1 54322 45 | 0.187 % | 198.44/198.53 c | 143665 | 113322 615173 2013175 | 1 59170 47 | 0.187 % | 198.44/198.53 c | 143765 | 113322 615173 2013175 | 1 59270 47 | 0.187 % | 198.44/198.53 c | 143865 | 113322 615173 2013175 | 1 59370 47 | 0.187 % | 198.44/198.53 c | 144308 | 113322 615173 2013175 | 1 59813 47 | 0.187 % | 198.44/198.53 c | 144498 | 113322 615173 2013175 | 1 60003 47 | 0.187 % | 198.44/198.53 c | 145546 | 113322 615173 2013175 | 1 61051 48 | 0.187 % | 198.44/198.53 c | 145727 | 113322 615173 2013175 | 1 61232 48 | 0.187 % | 198.44/198.53 c | 146001 | 113322 615173 2013175 | 1 61506 49 | 0.187 % | 198.44/198.53 c | 146154 | 113322 615173 2013175 | 1 61659 49 | 0.187 % | 233.73/233.88 c | 146292 | 113322 615173 2013175 | 1 61797 49 | 0.187 % | 233.73/233.88 c | 146392 | 113322 615173 2013175 | 1 61897 49 | 0.187 % | 233.73/233.88 c | 146621 | 113321 615167 2013157 | 1 62125 49 | 0.188 % | 233.73/233.88 c | 146723 | 113321 615167 2013157 | 1 62227 49 | 0.188 % | 233.73/233.88 c | 147034 | 113321 615167 2013157 | 1 62538 49 | 0.188 % | 233.73/233.88 c | 147536 | 113321 615167 2013157 | 1 63040 49 | 0.188 % | 233.73/233.88 c | 148179 | 113321 615167 2013157 | 1 63683 49 | 0.188 % | 233.73/233.88 c | 148379 | 113321 615167 2013157 | 1 63883 49 | 0.188 % | 233.73/233.88 c | 148712 | 113321 615167 2013157 | 1 64216 50 | 0.188 % | 233.73/233.88 c | 149350 | 113321 615167 2013157 | 1 64854 50 | 0.188 % | 233.73/233.88 c | 149610 | 113321 615167 2013157 | 1 65114 50 | 0.188 % | 233.73/233.88 c | 149710 | 113321 615167 2013157 | 1 65214 50 | 0.188 % | 233.73/233.88 c | 149812 | 113321 615167 2013157 | 1 65316 50 | 0.188 % | 233.73/233.88 c | 149938 | 113321 615167 2013157 | 1 65442 51 | 0.188 % | 233.73/233.88 c | 150038 | 113321 615167 2013157 | 1 65542 51 | 0.188 % | 233.73/233.88 c | 150138 | 113321 615167 2013157 | 1 65642 51 | 0.188 % | 233.73/233.88 c | 150238 | 113321 615167 2013157 | 1 65742 51 | 0.188 % | 233.73/233.88 c | 150339 | 113321 615167 2013157 | 1 65843 51 | 0.188 % | 233.73/233.88 c | 150439 | 113321 615167 2013157 | 1 65943 51 | 0.188 % | 233.73/233.88 c | 150540 | 113321 615167 2013157 | 1 66044 51 | 0.188 % | 233.73/233.88 c | 150640 | 113321 615167 2013157 | 1 66144 51 | 0.188 % | 233.73/233.88 c | 150760 | 113321 615167 2013157 | 1 66264 51 | 0.188 % | 233.73/233.88 c | 150860 | 113321 615167 2013157 | 1 66364 51 | 0.188 % | 233.73/233.88 c | 151023 | 113321 615167 2013157 | 1 66527 51 | 0.188 % | 233.73/233.88 c | 153139 | 113321 615167 2013157 | 1 68643 52 | 0.188 % | 233.73/233.88 c | 153247 | 113321 615167 2013157 | 1 68751 53 | 0.188 % | 233.73/233.88 c | 153389 | 113321 615167 2013157 | 1 68893 53 | 0.188 % | 233.73/233.88 c | 153489 | 113321 615167 2013157 | 1 68993 53 | 0.188 % | 233.73/233.88 c | 153774 | 113321 615167 2013157 | 1 69278 54 | 0.188 % | 233.73/233.88 c | 153875 | 113321 615167 2013157 | 1 69379 54 | 0.188 % | 233.73/233.88 c | 154541 | 113321 615167 2013157 | 1 70045 54 | 0.188 % | 233.73/233.88 c | 155507 | 113321 615167 2013157 | 1 71011 54 | 0.188 % | 233.73/233.88 c | 155732 | 113321 615167 2013157 | 1 71236 55 | 0.188 % | 233.73/233.88 c | 156250 | 113321 615167 2013157 | 1 71754 56 | 0.188 % | 233.73/233.88 c | 156351 | 113321 615167 2013157 | 1 71855 56 | 0.188 % | 233.73/233.88 c | 157990 | 113321 615167 2013157 | 1 73494 56 | 0.188 % | 233.73/233.88 c | 158093 | 113321 615167 2013157 | 1 73597 56 | 0.188 % | 233.73/233.88 c | 158364 | 113321 615167 2013157 | 1 73868 57 | 0.188 % | 233.73/233.88 c | 158467 | 113321 615167 2013157 | 1 73971 57 | 0.188 % | 233.73/233.88 c | 158632 | 113316 615010 2012686 | 1 73889 57 | 0.192 % | 233.73/233.88 c | 160491 | 113316 615010 2012686 | 1 75748 57 | 0.192 % | 233.73/233.88 c | 162796 | 113315 615006 2012674 | 1 51064 32 | 0.193 % | 233.73/233.88 c | 165345 | 113315 615006 2012674 | 1 53613 33 | 0.193 % | 233.73/233.88 c | 166280 | 113315 615006 2012674 | 1 54548 34 | 0.193 % | 233.73/233.88 c | 166380 | 113315 615006 2012674 | 1 54648 34 | 0.193 % | 233.73/233.88 c | 166686 | 113315 615006 2012674 | 1 54954 34 | 0.193 % | 233.73/233.88 c | 167278 | 113315 615006 2012674 | 1 55546 34 | 0.193 % | 233.73/233.88 c | 173104 | 113315 615006 2012674 | 1 61372 36 | 0.193 % | 233.73/233.88 c | 173204 | 113315 615006 2012674 | 1 61472 36 | 0.193 % | 278.84/278.99 c | 173305 | 113315 615006 2012674 | 1 61573 36 | 0.193 % | 278.84/278.99 c | 173405 | 113315 615006 2012674 | 1 61673 36 | 0.193 % | 278.84/278.99 c | 174284 | 113315 615006 2012674 | 1 62552 36 | 0.193 % | 278.84/278.99 c | 175643 | 113315 615006 2012674 | 1 63911 38 | 0.193 % | 278.84/278.99 c | 175823 | 113315 615006 2012674 | 1 64091 38 | 0.193 % | 278.84/278.99 c | 176101 | 113315 615006 2012674 | 1 64369 38 | 0.193 % | 278.84/278.99 c | 176644 | 113315 615006 2012674 | 1 64912 38 | 0.193 % | 278.84/278.99 c | 177598 | 113315 615006 2012674 | 1 65866 39 | 0.193 % | 278.84/278.99 c | 178210 | 113315 615006 2012674 | 1 66478 39 | 0.193 % | 278.84/278.99 c | 178311 | 113315 615006 2012674 | 1 66579 39 | 0.193 % | 278.84/278.99 c | 178968 | 113315 615006 2012674 | 1 67236 40 | 0.193 % | 278.84/278.99 c | 179335 | 113315 615006 2012674 | 1 67603 40 | 0.193 % | 278.84/278.99 c | 179435 | 113315 615006 2012674 | 1 67703 40 | 0.193 % | 278.84/278.99 c | 180129 | 113315 615006 2012674 | 1 68397 41 | 0.193 % | 278.84/278.99 c | 183658 | 113315 615006 2012674 | 1 71926 41 | 0.193 % | 278.84/278.99 c | 183759 | 113315 615006 2012674 | 1 72027 41 | 0.193 % | 278.84/278.99 c | 184408 | 113315 615006 2012674 | 1 72676 42 | 0.193 % | 278.84/278.99 c | 186288 | 113315 615006 2012674 | 1 74556 42 | 0.193 % | 278.84/278.99 c | 186388 | 113315 615006 2012674 | 1 74656 42 | 0.193 % | 278.84/278.99 c | 188030 | 113315 615006 2012674 | 1 76298 43 | 0.193 % | 278.84/278.99 c | 188327 | 113314 615002 2012661 | 1 76470 43 | 0.194 % | 278.84/278.99 c | 189035 | 113314 615002 2012661 | 1 77178 43 | 0.194 % | 278.84/278.99 c | 189628 | 113314 615002 2012661 | 1 77771 44 | 0.194 % | 278.84/278.99 c | 189728 | 113314 615002 2012661 | 1 77871 44 | 0.194 % | 278.84/278.99 c | 191788 | 113314 615002 2012661 | 1 79931 45 | 0.194 % | 278.84/278.99 c | 191920 | 113314 615002 2012661 | 1 80063 45 | 0.194 % | 278.84/278.99 c | 192490 | 113314 615002 2012661 | 1 80633 46 | 0.194 % | 278.84/278.99 c | 193067 | 113314 615002 2012661 | 1 81210 47 | 0.194 % | 278.84/278.99 c | 193167 | 113314 615002 2012661 | 1 81310 47 | 0.194 % | 278.84/278.99 c | 193321 | 113314 615002 2012661 | 1 81464 47 | 0.194 % | 278.84/278.99 c | 193422 | 113314 615002 2012661 | 1 81565 47 | 0.194 % | 278.84/278.99 c | 193847 | 113314 615002 2012661 | 1 81990 47 | 0.194 % | 278.84/278.99 c | 196940 | 113314 615002 2012661 | 1 85083 48 | 0.194 % | 278.84/278.99 c | 197042 | 113314 615002 2012661 | 1 85185 48 | 0.194 % | 278.84/278.99 c | 197230 | 113314 615002 2012661 | 1 85373 48 | 0.194 % | 278.84/278.99 c | 197388 | 113314 615002 2012661 | 1 85531 48 | 0.194 % | 278.84/278.99 c | 204680 | 113314 615002 2012661 | 1 60853 26 | 0.194 % | 278.84/278.99 c | 205056 | 113313 614996 2012643 | 1 61228 26 | 0.195 % | 278.84/278.99 c | 205163 | 113313 614996 2012643 | 1 61335 27 | 0.195 % | 278.84/278.99 c | 206524 | 113313 614996 2012643 | 1 62696 27 | 0.195 % | 278.84/278.99 c | 208102 | 113313 614996 2012643 | 1 64274 28 | 0.195 % | 278.84/278.99 c | 208339 | 113313 614996 2012643 | 1 64511 28 | 0.195 % | 278.84/278.99 c | 208495 | 113313 614996 2012643 | 1 64667 28 | 0.195 % | 278.84/278.99 c | 208595 | 113313 614996 2012643 | 1 64767 28 | 0.195 % | 278.84/278.99 c | 209241 | 113313 614996 2012643 | 1 65413 29 | 0.195 % | 278.84/278.99 c | 209352 | 113313 614996 2012643 | 1 65524 29 | 0.195 % | 278.84/278.99 c | 219884 | 113313 614996 2012643 | 1 76056 34 | 0.195 % | 278.84/278.99 c | 220145 | 113313 614996 2012643 | 1 76317 34 | 0.195 % | 278.84/278.99 c | 220245 | 113313 614996 2012643 | 1 76417 34 | 0.195 % | 278.84/278.99 c | 220560 | 113313 614996 2012643 | 1 76732 34 | 0.195 % | 335.64/335.71 c | 221547 | 113313 614996 2012643 | 1 77719 34 | 0.195 % | 335.64/335.71 c | 221647 | 113313 614996 2012643 | 1 77819 34 | 0.195 % | 335.64/335.71 c | 224248 | 113313 614996 2012643 | 1 80420 36 | 0.195 % | 335.64/335.71 c | 224746 | 113313 614996 2012643 | 1 80918 36 | 0.195 % | 335.64/335.71 c | 225169 | 113312 614983 2012596 | 1 81340 36 | 0.196 % | 335.64/335.71 c | 225879 | 113312 614983 2012596 | 1 82050 37 | 0.196 % | 335.64/335.71 c | 226595 | 113312 614983 2012596 | 1 82766 38 | 0.196 % | 335.64/335.71 c | 226695 | 113312 614983 2012596 | 1 82866 38 | 0.196 % | 335.64/335.71 c | 226906 | 113312 614983 2012596 | 1 83077 38 | 0.196 % | 335.64/335.71 c | 227344 | 113312 614983 2012596 | 1 83515 39 | 0.196 % | 335.64/335.71 c | 227910 | 113312 614983 2012596 | 1 84081 39 | 0.196 % | 335.64/335.71 c | 228010 | 113312 614983 2012596 | 1 84181 39 | 0.196 % | 335.64/335.71 c | 229264 | 113312 614983 2012596 | 1 85435 41 | 0.196 % | 335.64/335.71 c | 231020 | 113312 614983 2012596 | 1 87191 41 | 0.196 % | 335.64/335.71 c | 233340 | 113312 614983 2012596 | 1 89511 41 | 0.196 % | 335.64/335.71 c | 233573 | 113312 614983 2012596 | 1 89744 42 | 0.196 % | 335.64/335.71 c | 238402 | 113312 614983 2012596 | 1 94573 42 | 0.196 % | 335.64/335.71 c | 238706 | 113312 614983 2012596 | 1 94877 43 | 0.196 % | 335.64/335.71 c | 239225 | 113312 614983 2012596 | 1 95396 43 | 0.196 % | 335.64/335.71 c | 239682 | 113312 614983 2012596 | 1 95853 43 | 0.196 % | 335.64/335.71 c | 240010 | 113312 614983 2012596 | 1 96181 43 | 0.196 % | 335.64/335.71 c | 240536 | 113312 614983 2012596 | 1 96707 44 | 0.196 % | 335.64/335.71 c | 240637 | 113312 614983 2012596 | 1 96808 44 | 0.196 % | 335.64/335.71 c | 241071 | 113312 614983 2012596 | 1 97242 44 | 0.196 % | 335.64/335.71 c | 242138 | 113307 614826 2012125 | 1 97856 44 | 0.200 % | 335.64/335.71 c | 242405 | 113303 614826 2012125 | 1 98122 44 | 0.203 % | 335.64/335.71 c | 242506 | 113303 614826 2012125 | 1 98223 44 | 0.203 % | 335.64/335.71 c | 242610 | 113303 614826 2012125 | 1 98327 44 | 0.203 % | 335.64/335.71 c | 242712 | 113303 614826 2012125 | 1 98429 44 | 0.203 % | 335.64/335.71 c | 242983 | 113303 614826 2012125 | 1 98700 44 | 0.203 % | 335.64/335.71 c | 243330 | 113303 614826 2012125 | 1 99047 44 | 0.203 % | 335.64/335.71 c | 243545 | 113303 614811 2012062 | 1 99147 44 | 0.203 % | 335.64/335.71 c | 255440 | 113303 614811 2012062 | 1 73189 29 | 0.203 % | 335.64/335.71 c | 255640 | 113303 614811 2012062 | 1 73389 29 | 0.203 % | 335.64/335.71 c | 255981 | 113303 614811 2012062 | 1 73730 30 | 0.203 % | 335.64/335.71 c | 256143 | 113303 614811 2012062 | 1 73892 30 | 0.203 % | 335.64/335.71 c | 257031 | 113303 614811 2012062 | 1 74780 30 | 0.203 % | 335.64/335.71 c | 258595 | 113303 614811 2012062 | 1 76344 30 | 0.203 % | 335.64/335.71 c | 258757 | 113303 614811 2012062 | 1 76506 30 | 0.203 % | 335.64/335.71 c | 259310 | 113303 614811 2012062 | 1 77059 30 | 0.203 % | 335.64/335.71 c | 264301 | 113303 614811 2012062 | 1 82050 32 | 0.203 % | 335.64/335.71 c | 264567 | 113303 614811 2012062 | 1 82316 32 | 0.203 % | 335.64/335.71 c | 264667 | 113303 614811 2012062 | 1 82416 32 | 0.203 % | 335.64/335.71 c | 264769 | 113303 614811 2012062 | 1 82518 33 | 0.203 % | 335.64/335.71 c | 264921 | 113303 614811 2012062 | 1 82670 33 | 0.203 % | 335.64/335.71 c | 266063 | 113303 614811 2012062 | 1 83812 33 | 0.203 % | 335.64/335.71 c | 266187 | 113303 614811 2012062 | 1 83936 33 | 0.203 % | 335.64/335.71 c | 266504 | 113303 614811 2012062 | 1 84253 34 | 0.203 % | 335.64/335.71 c | 266604 | 113303 614811 2012062 | 1 84353 34 | 0.203 % | 335.64/335.71 c | 267623 | 113303 614811 2012062 | 1 85372 34 | 0.203 % | 391.23/391.38 c | 268552 | 113303 614811 2012062 | 1 86301 34 | 0.203 % | 391.23/391.38 c | 269274 | 113301 614811 2012062 | 1 86987 35 | 0.205 % | 391.23/391.38 c | 269888 | 113301 614811 2012062 | 1 87601 35 | 0.205 % | 391.23/391.38 c | 270792 | 113301 614811 2012062 | 1 88505 35 | 0.205 % | 391.23/391.38 c | 272476 | 113301 614811 2012062 | 1 90189 36 | 0.205 % | 391.23/391.38 c | 272576 | 113301 614811 2012062 | 1 90289 36 | 0.205 % | 391.23/391.38 c | 273331 | 113301 614811 2012062 | 1 91044 36 | 0.205 % | 391.23/391.38 c | 273711 | 113301 614811 2012062 | 1 91424 36 | 0.205 % | 391.23/391.38 c | 274014 | 113301 614811 2012062 | 1 91727 36 | 0.205 % | 391.23/391.38 c | 274115 | 113301 614811 2012062 | 1 91828 36 | 0.205 % | 391.23/391.38 c | 274440 | 113301 614811 2012062 | 1 92153 36 | 0.205 % | 391.23/391.38 c | 280695 | 113301 614811 2012062 | 1 98408 38 | 0.205 % | 391.23/391.38 c | 281079 | 113301 614811 2012062 | 1 98792 38 | 0.205 % | 391.23/391.38 c | 281433 | 113301 614811 2012062 | 1 99146 39 | 0.205 % | 391.23/391.38 c | 281533 | 113301 614811 2012062 | 1 99246 39 | 0.205 % | 391.23/391.38 c | 281888 | 113301 614811 2012062 | 1 99601 39 | 0.205 % | 391.23/391.38 c | 284369 | 113301 614811 2012062 | 1 102082 39 | 0.205 % | 391.23/391.38 c | 284942 | 113301 614811 2012062 | 1 102655 40 | 0.205 % | 391.23/391.38 c | 286370 | 113301 614811 2012062 | 1 104083 40 | 0.205 % | 391.23/391.38 c | 289602 | 113301 614811 2012062 | 1 107315 41 | 0.205 % | 391.23/391.38 c | 289785 | 113301 614811 2012062 | 1 107498 42 | 0.205 % | 391.23/391.38 c | 289885 | 113301 614811 2012062 | 1 107598 42 | 0.205 % | 391.23/391.38 c | 290489 | 113301 614811 2012062 | 1 108202 42 | 0.205 % | 391.23/391.38 c | 290775 | 113301 614811 2012062 | 1 108488 42 | 0.205 % | 391.23/391.38 c | 291175 | 113301 614811 2012062 | 1 108888 42 | 0.205 % | 391.23/391.38 c | 291299 | 113301 614811 2012062 | 1 109012 42 | 0.205 % | 391.23/391.38 c | 295980 | 113301 614811 2012062 | 1 113693 43 | 0.205 % | 391.23/391.38 c | 296315 | 113301 614811 2012062 | 1 114028 44 | 0.205 % | 391.23/391.38 c | 296649 | 113301 614811 2012062 | 1 114362 44 | 0.205 % | 391.23/391.38 c | 296749 | 113301 614811 2012062 | 1 114462 44 | 0.205 % | 391.23/391.38 c | 297039 | 113301 614811 2012062 | 1 74080 24 | 0.205 % | 391.23/391.38 c | 297453 | 113301 614811 2012062 | 1 74494 24 | 0.205 % | 391.23/391.38 c | 298264 | 113301 614811 2012062 | 1 75305 25 | 0.205 % | 391.23/391.38 c | 298425 | 113301 614811 2012062 | 1 75466 25 | 0.205 % | 391.23/391.38 c | 298525 | 113301 614811 2012062 | 1 75566 25 | 0.205 % | 391.23/391.38 c | 298718 | 113301 614811 2012062 | 1 75759 25 | 0.205 % | 391.23/391.38 c | 298818 | 113301 614811 2012062 | 1 75859 25 | 0.205 % | 391.23/391.38 c | 300727 | 113301 614811 2012062 | 1 77768 27 | 0.205 % | 391.23/391.38 c | 301167 | 113301 614811 2012062 | 1 78208 27 | 0.205 % | 391.23/391.38 c | 301267 | 113301 614811 2012062 | 1 78308 27 | 0.205 % | 391.23/391.38 c | 304571 | 113301 614811 2012062 | 1 81612 29 | 0.205 % | 391.23/391.38 c | 304713 | 113301 614811 2012062 | 1 81754 29 | 0.205 % | 391.23/391.38 c | 304813 | 113301 614811 2012062 | 1 81854 29 | 0.205 % | 391.23/391.38 c | 305931 | 113301 614811 2012062 | 1 82972 30 | 0.205 % | 391.23/391.38 c | 307113 | 113301 614811 2012062 | 1 84154 30 | 0.205 % | 391.23/391.38 c | 307490 | 113301 614811 2012062 | 1 84531 30 | 0.205 % | 391.23/391.38 c | 307938 | 113301 614811 2012062 | 1 84979 31 | 0.205 % | 391.23/391.38 c | 308045 | 113301 614811 2012062 | 1 85086 31 | 0.205 % | 391.23/391.38 c | 310271 | 113301 614811 2012062 | 1 87312 32 | 0.205 % | 391.23/391.38 c | 311293 | 113301 614811 2012062 | 1 88334 32 | 0.205 % | 448.13/448.27 c | 311393 | 113301 614811 2012062 | 1 88434 32 | 0.205 % | 448.13/448.27 c | 311493 | 113301 614811 2012062 | 1 88534 32 | 0.205 % | 448.13/448.27 c | 311887 | 113301 614811 2012062 | 1 88928 32 | 0.205 % | 448.13/448.27 c | 312849 | 113301 614811 2012062 | 1 89890 33 | 0.205 % | 448.13/448.27 c | 312949 | 113301 614811 2012062 | 1 89990 33 | 0.205 % | 448.13/448.27 c | 313733 | 113301 614811 2012062 | 1 90774 33 | 0.205 % | 448.13/448.27 c | 313890 | 113301 614811 2012062 | 1 90931 33 | 0.205 % | 448.13/448.27 c | 313990 | 113301 614811 2012062 | 1 91031 33 | 0.205 % | 448.13/448.27 c | 314121 | 113301 614811 2012062 | 1 91162 34 | 0.205 % | 448.13/448.27 c | 314221 | 113301 614811 2012062 | 1 91262 34 | 0.205 % | 448.13/448.27 c | 314352 | 113301 614811 2012062 | 1 91393 34 | 0.205 % | 448.13/448.27 c | 314990 | 113301 614811 2012062 | 1 92031 34 | 0.205 % | 448.13/448.27 c | 315090 | 113301 614811 2012062 | 1 92131 34 | 0.205 % | 448.13/448.27 c | 316040 | 113300 614805 2012044 | 1 93079 34 | 0.206 % | 448.13/448.27 c | 316180 | 113300 614805 2012044 | 1 93219 34 | 0.206 % | 448.13/448.27 c | 316282 | 113300 614805 2012044 | 1 93321 34 | 0.206 % | 448.13/448.27 c | 320074 | 113300 614805 2012044 | 1 97113 35 | 0.206 % | 448.13/448.27 c | 322071 | 113300 614805 2012044 | 1 99110 36 | 0.206 % | 448.13/448.27 c | 324130 | 113300 614805 2012044 | 1 101169 36 | 0.206 % | 448.13/448.27 c | 324230 | 113300 614805 2012044 | 1 101269 36 | 0.206 % | 448.13/448.27 c | 324737 | 113300 614805 2012044 | 1 101776 36 | 0.206 % | 448.13/448.27 c | 325089 | 113300 614805 2012044 | 1 102128 37 | 0.206 % | 448.13/448.27 c | 325958 | 113300 614805 2012044 | 1 102997 38 | 0.206 % | 448.13/448.27 c | 327025 | 113300 614805 2012044 | 1 104064 38 | 0.206 % | 448.13/448.27 c | 327539 | 113300 614805 2012044 | 1 104578 39 | 0.206 % | 448.13/448.27 c | 327982 | 113300 614805 2012044 | 1 105021 39 | 0.206 % | 448.13/448.27 c | 328382 | 113300 614805 2012044 | 1 105421 39 | 0.206 % | 448.13/448.27 c | 328482 | 113300 614805 2012044 | 1 105521 39 | 0.206 % | 448.13/448.27 c | 329056 | 113300 614805 2012044 | 1 106095 39 | 0.206 % | 448.13/448.27 c | 329156 | 113300 614805 2012044 | 1 106195 39 | 0.206 % | 448.13/448.27 c | 332027 | 113300 614805 2012044 | 1 109066 40 | 0.206 % | 448.13/448.27 c | 333285 | 113300 614805 2012044 | 1 110324 41 | 0.206 % | 448.13/448.27 c | 333809 | 113300 614805 2012044 | 1 110848 41 | 0.206 % | 448.13/448.27 c | 337360 | 113300 614805 2012044 | 1 114399 42 | 0.206 % | 448.13/448.27 c | 337589 | 113300 614805 2012044 | 1 114628 43 | 0.206 % | 448.13/448.27 c | 337793 | 113300 614805 2012044 | 1 114832 43 | 0.206 % | 448.13/448.27 c | 337921 | 113300 614805 2012044 | 1 114960 43 | 0.206 % | 448.13/448.27 c | 338021 | 113300 614805 2012044 | 1 115060 43 | 0.206 % | 448.13/448.27 c | 338770 | 113300 614805 2012044 | 1 115809 43 | 0.206 % | 448.13/448.27 c | 338872 | 113300 614805 2012044 | 1 115911 43 | 0.206 % | 448.13/448.27 c | 339127 | 113300 614805 2012044 | 1 116166 43 | 0.206 % | 448.13/448.27 c | 340526 | 113300 614805 2012044 | 1 117565 43 | 0.206 % | 448.13/448.27 c | 340627 | 113300 614805 2012044 | 1 117666 43 | 0.206 % | 448.13/448.27 c | 341015 | 113300 614805 2012044 | 1 118054 44 | 0.206 % | 448.13/448.27 c | 341436 | 113300 614805 2012044 | 1 118475 44 | 0.206 % | 448.13/448.27 c | 341544 | 113300 614805 2012044 | 1 118583 44 | 0.206 % | 448.13/448.27 c | 341644 | 113300 614805 2012044 | 1 118683 44 | 0.206 % | 448.13/448.27 c | 346201 | 113300 614805 2012044 | 1 123240 45 | 0.206 % | 448.13/448.27 c | 346372 | 113300 614805 2012044 | 1 123411 45 | 0.206 % | 448.13/448.27 c | 346619 | 113300 614805 2012044 | 1 123658 45 | 0.206 % | 524.94/525.04 c | 350057 | 113297 614761 2011870 | 1 126954 46 | 0.209 % | 524.94/525.04 c | 350565 | 113297 614761 2011870 | 1 127462 47 | 0.209 % | 524.94/525.04 c | 350665 | 113297 614761 2011870 | 1 127562 47 | 0.209 % | 524.94/525.04 c | 350917 | 113297 614761 2011870 | 1 127814 47 | 0.209 % | 524.94/525.04 c | 351384 | 113297 614761 2011870 | 1 128281 47 | 0.209 % | 524.94/525.04 c | 351486 | 113297 614761 2011870 | 1 128383 47 | 0.209 % | 524.94/525.04 c | 351588 | 113297 614761 2011870 | 1 128485 47 | 0.209 % | 524.94/525.04 c | 353247 | 113297 614761 2011870 | 1 83790 27 | 0.209 % | 524.94/525.04 c | 353473 | 113297 614761 2011870 | 1 84016 27 | 0.209 % | 524.94/525.04 c | 354269 | 113297 614761 2011870 | 1 84812 27 | 0.209 % | 524.94/525.04 c | 355910 | 113297 614761 2011870 | 1 86453 28 | 0.209 % | 524.94/525.04 c | 356014 | 113297 614761 2011870 | 1 86557 28 | 0.209 % | 524.94/525.04 c | 356882 | 113297 614761 2011870 | 1 87425 28 | 0.209 % | 524.94/525.04 c | 357533 | 113297 614761 2011870 | 1 88076 28 | 0.209 % | 524.94/525.04 c | 358688 | 113297 614761 2011870 | 1 89231 29 | 0.209 % | 524.94/525.04 c | 358788 | 113297 614761 2011870 | 1 89331 29 | 0.209 % | 524.94/525.04 c | 359204 | 113297 614761 2011870 | 1 89747 29 | 0.209 % | 524.94/525.04 c | 359805 | 113297 614761 2011870 | 1 90348 30 | 0.209 % | 524.94/525.04 c | 359906 | 113297 614761 2011870 | 1 90449 30 | 0.209 % | 524.94/525.04 c | 360857 | 113297 614761 2011870 | 1 91400 31 | 0.209 % | 524.94/525.04 c | 360959 | 113297 614761 2011870 | 1 91502 31 | 0.209 % | 524.94/525.04 c | 361359 | 113261 614684 2011557 | 1 91721 31 | 0.240 % | 524.94/525.04 c | 361617 | 113261 614684 2011557 | 1 91979 31 | 0.240 % | 524.94/525.04 c | 361858 | 113261 614684 2011557 | 1 92220 31 | 0.240 % | 524.94/525.04 c | 361958 | 113261 614684 2011557 | 1 92320 31 | 0.240 % | 524.94/525.04 c | 362742 | 113261 614684 2011557 | 1 93104 32 | 0.240 % | 524.94/525.04 c | 362847 | 113261 614684 2011557 | 1 93209 32 | 0.240 % | 524.94/525.04 c | 363013 | 113250 614616 2011297 | 1 92591 32 | 0.250 % | 524.94/525.04 c | 370524 | 113250 614616 2011297 | 1 100102 36 | 0.250 % | 524.94/525.04 c | 370624 | 113250 614616 2011297 | 1 100202 36 | 0.250 % | 524.94/525.04 c | 371186 | 113250 614616 2011297 | 1 100764 36 | 0.250 % | 524.94/525.04 c | 376673 | 113250 614616 2011297 | 1 106251 39 | 0.250 % | 524.94/525.04 c | 378582 | 113250 614616 2011297 | 1 108160 40 | 0.250 % | 524.94/525.04 c | 378865 | 113246 614598 2011184 | 1 108275 40 | 0.254 % | 524.94/525.04 c | 378968 | 113246 614598 2011184 | 1 108378 40 | 0.254 % | 524.94/525.04 c | 379135 | 113246 614598 2011184 | 1 108545 40 | 0.254 % | 524.94/525.04 c | 379237 | 113246 614598 2011184 | 1 108647 40 | 0.254 % | 524.94/525.04 c | 379337 | 113246 614598 2011184 | 1 108747 40 | 0.254 % | 524.94/525.04 c | 379437 | 113246 614598 2011184 | 1 108847 40 | 0.254 % | 524.94/525.04 c | 379538 | 113246 614598 2011184 | 1 108948 40 | 0.254 % | 524.94/525.04 c | 379640 | 113246 614598 2011184 | 1 109050 40 | 0.254 % | 524.94/525.04 c | 380496 | 113246 614598 2011184 | 1 109906 41 | 0.254 % | 524.94/525.04 c | 380626 | 113246 614598 2011184 | 1 110036 41 | 0.254 % | 524.94/525.04 c | 382985 | 113246 614598 2011184 | 1 112395 43 | 0.254 % | 524.94/525.04 c | 386435 | 113246 614598 2011184 | 1 115845 44 | 0.254 % | 524.94/525.04 c | 387113 | 113246 614598 2011184 | 1 116523 44 | 0.254 % | 524.94/525.04 c | 387336 | 113246 614598 2011184 | 1 116746 44 | 0.254 % | 524.94/525.04 c | 387436 | 113246 614598 2011184 | 1 116846 44 | 0.254 % | 524.94/525.04 c | 387863 | 113246 614598 2011184 | 1 117273 44 | 0.254 % | 524.94/525.04 c | 392551 | 113246 614598 2011184 | 1 121961 45 | 0.254 % | 578.74/578.85 c | 392694 | 113246 614598 2011184 | 1 122104 45 | 0.254 % | 578.74/578.85 c | 392794 | 113246 614598 2011184 | 1 122204 45 | 0.254 % | 578.74/578.85 c | 394801 | 113246 614598 2011184 | 1 124211 46 | 0.254 % | 578.74/578.85 c | 394902 | 113246 614598 2011184 | 1 124312 46 | 0.254 % | 578.74/578.85 c | 395250 | 113246 614598 2011184 | 1 124660 46 | 0.254 % | 578.74/578.85 c | 395706 | 113246 614598 2011184 | 1 125116 47 | 0.254 % | 578.74/578.85 c | 397531 | 113246 614598 2011184 | 1 126941 47 | 0.254 % | 578.74/578.85 c | 397823 | 113246 614598 2011184 | 1 127233 47 | 0.254 % | 578.74/578.85 c | 397924 | 113246 614598 2011184 | 1 127334 48 | 0.254 % | 578.74/578.85 c | 398024 | 113246 614598 2011184 | 1 127434 48 | 0.254 % | 578.74/578.85 c | 398124 | 113246 614598 2011184 | 1 127534 48 | 0.254 % | 578.74/578.85 c | 398635 | 113246 614598 2011184 | 1 128045 48 | 0.254 % | 578.74/578.85 c | 399770 | 113246 614598 2011184 | 1 129180 49 | 0.254 % | 578.74/578.85 c | 401789 | 113246 614598 2011184 | 1 131199 49 | 0.254 % | 578.74/578.85 c | 401890 | 113246 614598 2011184 | 1 131300 49 | 0.254 % | 578.74/578.85 c | 402494 | 113246 614598 2011184 | 1 131904 50 | 0.254 % | 578.74/578.85 c | 402594 | 113246 614598 2011184 | 1 132004 50 | 0.254 % | 578.74/578.85 c | 403253 | 113246 614598 2011184 | 1 132663 50 | 0.254 % | 578.74/578.85 c | 403353 | 113246 614598 2011184 | 1 132763 50 | 0.254 % | 578.74/578.85 c | 403455 | 113246 614598 2011184 | 1 132865 50 | 0.254 % | 578.74/578.85 c | 403555 | 113246 614598 2011184 | 1 132965 50 | 0.254 % | 578.74/578.85 c | 404389 | 113246 614598 2011184 | 1 133799 50 | 0.254 % | 578.74/578.85 c | 404601 | 113246 614598 2011184 | 1 134011 51 | 0.254 % | 578.74/578.85 c | 406313 | 113246 614598 2011184 | 1 135723 52 | 0.254 % | 578.74/578.85 c | 407598 | 113246 614598 2011184 | 1 137008 53 | 0.254 % | 578.74/578.85 c | 409857 | 113246 614598 2011184 | 1 139267 53 | 0.254 % | 578.74/578.85 c | 409987 | 113246 614598 2011184 | 1 139397 53 | 0.254 % | 578.74/578.85 c | 410087 | 113246 614598 2011184 | 1 139497 53 | 0.254 % | 578.74/578.85 c | 410189 | 113246 614598 2011184 | 1 139599 53 | 0.254 % | 578.74/578.85 c | 410307 | 113246 614598 2011184 | 1 139717 53 | 0.254 % | 578.74/578.85 c | 410408 | 113246 614598 2011184 | 1 139818 53 | 0.254 % | 578.74/578.85 c | 410509 | 113246 614598 2011184 | 1 139919 53 | 0.254 % | 578.74/578.85 c | 410710 | 113246 614598 2011184 | 1 140120 53 | 0.254 % | 578.74/578.85 c | 410810 | 113246 614598 2011184 | 1 91873 29 | 0.254 % | 578.74/578.85 c | 410945 | 113246 614598 2011184 | 1 92008 29 | 0.254 % | 578.74/578.85 c | 411046 | 113246 614598 2011184 | 1 92109 29 | 0.254 % | 578.74/578.85 c | 411146 | 113246 614598 2011184 | 1 92209 30 | 0.254 % | 578.74/578.85 c | 412771 | 113246 614598 2011184 | 1 93834 30 | 0.254 % | 578.74/578.85 c | 413033 | 113246 614598 2011184 | 1 94096 30 | 0.254 % | 578.74/578.85 c | 414987 | 113245 614592 2011166 | 1 96049 32 | 0.255 % | 578.74/578.85 c | 415087 | 113245 614592 2011166 | 1 96149 32 | 0.255 % | 578.74/578.85 c | 417756 | 113245 614592 2011166 | 1 98818 33 | 0.255 % | 578.74/578.85 c | 417873 | 113245 614592 2011166 | 1 98935 33 | 0.255 % | 578.74/578.85 c | 417973 | 113245 614592 2011166 | 1 99035 33 | 0.255 % | 578.74/578.85 c | 422319 | 113245 614592 2011166 | 1 103381 35 | 0.255 % | 578.74/578.85 c | 422420 | 113245 614592 2011166 | 1 103482 35 | 0.255 % | 578.74/578.85 c | 422693 | 113245 614592 2011166 | 1 103755 35 | 0.255 % | 578.74/578.85 c | 424557 | 113245 614592 2011166 | 1 105619 36 | 0.255 % | 578.74/578.85 c | 424853 | 113245 614592 2011166 | 1 105915 36 | 0.255 % | 578.74/578.85 c | 424953 | 113245 614592 2011166 | 1 106015 36 | 0.255 % | 632.34/632.41 c | 425340 | 113245 614592 2011166 | 1 106402 36 | 0.255 % | 632.34/632.41 c | 425441 | 113245 614592 2011166 | 1 106503 36 | 0.255 % | 632.34/632.41 c | 425983 | 113245 614592 2011166 | 1 107045 36 | 0.255 % | 632.34/632.41 c | 426910 | 113245 614592 2011166 | 1 107972 37 | 0.255 % | 632.34/632.41 c | 427012 | 113245 614592 2011166 | 1 108074 37 | 0.255 % | 632.34/632.41 c | 427389 | 113245 614592 2011166 | 1 108451 37 | 0.255 % | 632.34/632.41 c | 427489 | 113245 614592 2011166 | 1 108551 37 | 0.255 % | 632.34/632.41 c | 427956 | 113245 614592 2011166 | 1 109018 37 | 0.255 % | 632.34/632.41 c | 429139 | 113245 614592 2011166 | 1 110201 39 | 0.255 % | 632.34/632.41 c | 429242 | 113245 614592 2011166 | 1 110304 39 | 0.255 % | 632.34/632.41 c | 429439 | 113245 614592 2011166 | 1 110501 40 | 0.255 % | 632.34/632.41 c | 429539 | 113245 614592 2011166 | 1 110601 40 | 0.255 % | 632.34/632.41 c | 429641 | 113245 614592 2011166 | 1 110703 40 | 0.255 % | 632.34/632.41 c | 429742 | 113245 614592 2011166 | 1 110804 40 | 0.255 % | 632.34/632.41 c | 432429 | 113245 614592 2011166 | 1 113491 40 | 0.255 % | 632.34/632.41 c | 432550 | 113245 614592 2011166 | 1 113612 40 | 0.255 % | 632.34/632.41 c | 435545 | 113245 614592 2011166 | 1 116607 41 | 0.255 % | 632.34/632.41 c | 436606 | 113245 614592 2011166 | 1 117668 42 | 0.255 % | 632.34/632.41 c | 436706 | 113245 614592 2011166 | 1 117768 42 | 0.255 % | 632.34/632.41 c | 437612 | 113245 614592 2011166 | 1 118674 42 | 0.255 % | 632.34/632.41 c | 437712 | 113245 614592 2011166 | 1 118774 43 | 0.255 % | 632.34/632.41 c | 437813 | 113245 614592 2011166 | 1 118875 43 | 0.255 % | 632.34/632.41 c | 441050 | 113245 614592 2011166 | 1 122112 43 | 0.255 % | 632.34/632.41 c | 441152 | 113245 614592 2011166 | 1 122214 43 | 0.255 % | 632.34/632.41 c | 441826 | 113245 614592 2011166 | 1 122888 44 | 0.255 % | 632.34/632.41 c | 441928 | 113245 614592 2011166 | 1 122990 44 | 0.255 % | 632.34/632.41 c | 442028 | 113245 614592 2011166 | 1 123090 44 | 0.255 % | 632.34/632.41 c | 442797 | 113245 614592 2011166 | 1 123859 45 | 0.255 % | 632.34/632.41 c | 444180 | 113245 614592 2011166 | 1 125242 46 | 0.255 % | 632.34/632.41 c | 444280 | 113245 614592 2011166 | 1 125342 46 | 0.255 % | 632.34/632.41 c | 444384 | 113245 614592 2011166 | 1 125446 46 | 0.255 % | 632.34/632.41 c | 444484 | 113245 614592 2011166 | 1 125546 47 | 0.255 % | 632.34/632.41 c | 444584 | 113245 614592 2011166 | 1 125646 47 | 0.255 % | 632.34/632.41 c | 444892 | 113245 614592 2011166 | 1 125954 47 | 0.255 % | 632.34/632.41 c | 447196 | 113245 614592 2011166 | 1 128258 47 | 0.255 % | 632.34/632.41 c | 447573 | 113245 614592 2011166 | 1 128635 48 | 0.255 % | 632.34/632.41 c | 447704 | 113245 614592 2011166 | 1 128766 48 | 0.255 % | 632.34/632.41 c | 447924 | 113245 614592 2011166 | 1 128986 48 | 0.255 % | 632.34/632.41 c | 448562 | 113245 614592 2011166 | 1 129624 48 | 0.255 % | 632.34/632.41 c | 448662 | 113245 614592 2011166 | 1 129724 48 | 0.255 % | 632.34/632.41 c | 450334 | 113245 614592 2011166 | 1 131396 49 | 0.255 % | 632.34/632.41 c | 450448 | 113245 614592 2011166 | 1 131510 49 | 0.255 % | 632.34/632.41 c | 451977 | 113245 614592 2011166 | 1 133039 49 | 0.255 % | 632.34/632.41 c | 452138 | 113245 614592 2011166 | 1 133200 49 | 0.255 % | 632.34/632.41 c | 452238 | 113245 614592 2011166 | 1 133300 49 | 0.255 % | 632.34/632.41 c | 452392 | 113245 614592 2011166 | 1 133454 49 | 0.255 % | 632.34/632.41 c | 452492 | 113245 614592 2011166 | 1 133554 49 | 0.255 % | 632.34/632.41 c | 452593 | 113245 614592 2011166 | 1 133655 49 | 0.255 % | 632.34/632.41 c | 454308 | 113245 614592 2011166 | 1 135370 50 | 0.255 % | 632.34/632.41 c | 454410 | 113245 614592 2011166 | 1 135472 50 | 0.255 % | 689.74/689.83 c | 454510 | 113245 614592 2011166 | 1 135572 50 | 0.255 % | 689.74/689.83 c | 454611 | 113245 614592 2011166 | 1 135673 50 | 0.255 % | 689.74/689.83 c | 454737 | 113245 614592 2011166 | 1 135799 50 | 0.255 % | 689.74/689.83 c | 455091 | 113245 614592 2011166 | 1 136153 50 | 0.255 % | 689.74/689.83 c | 455192 | 113245 614592 2011166 | 1 136254 50 | 0.255 % | 689.74/689.83 c | 455861 | 113245 614592 2011166 | 1 136923 51 | 0.255 % | 689.74/689.83 c | 456790 | 113245 614592 2011166 | 1 137852 51 | 0.255 % | 689.74/689.83 c | 457651 | 113245 614592 2011166 | 1 138713 51 | 0.255 % | 689.74/689.83 c | 457946 | 113245 614592 2011166 | 1 139008 51 | 0.255 % | 689.74/689.83 c | 458303 | 113245 614592 2011166 | 1 139365 51 | 0.255 % | 689.74/689.83 c | 458403 | 113245 614592 2011166 | 1 139465 51 | 0.255 % | 689.74/689.83 c | 458550 | 113245 614592 2011166 | 1 139612 51 | 0.255 % | 689.74/689.83 c | 458961 | 113245 614592 2011166 | 1 140023 51 | 0.255 % | 689.74/689.83 c | 459507 | 113245 614592 2011166 | 1 140569 51 | 0.255 % | 689.74/689.83 c | 460498 | 113245 614592 2011166 | 1 141560 52 | 0.255 % | 689.74/689.83 c | 460657 | 113245 614592 2011166 | 1 141719 52 | 0.255 % | 689.74/689.83 c | 460959 | 113245 614592 2011166 | 1 142021 52 | 0.255 % | 689.74/689.83 c | 463105 | 113245 614592 2011166 | 1 144167 53 | 0.255 % | 689.74/689.83 c | 463264 | 113245 614592 2011166 | 1 144326 53 | 0.255 % | 689.74/689.83 c | 464593 | 113245 614592 2011166 | 1 145655 54 | 0.255 % | 689.74/689.83 c | 464695 | 113245 614592 2011166 | 1 145757 54 | 0.255 % | 689.74/689.83 c | 465222 | 113245 614592 2011166 | 1 146284 54 | 0.255 % | 689.74/689.83 c | 466996 | 113245 614592 2011166 | 1 148058 54 | 0.255 % | 689.74/689.83 c | 467150 | 113245 614592 2011166 | 1 148212 54 | 0.255 % | 689.74/689.83 c | 467251 | 113245 614592 2011166 | 1 148313 54 | 0.255 % | 689.74/689.83 c | 467355 | 113245 614592 2011166 | 1 148417 54 | 0.255 % | 689.74/689.83 c | 467512 | 113245 614592 2011166 | 1 148574 55 | 0.255 % | 689.74/689.83 c | 468437 | 113245 614592 2011166 | 1 149499 55 | 0.255 % | 689.74/689.83 c | 468770 | 113245 614592 2011166 | 1 149832 55 | 0.255 % | 689.74/689.83 c | 468923 | 113245 614592 2011166 | 1 149985 55 | 0.255 % | 689.74/689.83 c | 469075 | 113245 614592 2011166 | 1 150137 55 | 0.255 % | 689.74/689.83 c | 469224 | 113245 614592 2011166 | 1 150286 55 | 0.255 % | 689.74/689.83 c | 469852 | 113245 614592 2011166 | 1 150914 55 | 0.255 % | 689.74/689.83 c | 474573 | 113244 614588 2011154 | 1 154861 55 | 0.255 % | 689.74/689.83 c | 474673 | 113244 614588 2011154 | 1 101110 29 | 0.255 % | 689.74/689.83 c | 475245 | 113220 614588 2011154 | 1 101681 29 | 0.277 % | 689.74/689.83 c | 479149 | 113220 614588 2011154 | 1 105585 31 | 0.277 % | 689.74/689.83 c | 479249 | 113220 614510 2010815 | 1 105451 31 | 0.277 % | 689.74/689.83 c | 479526 | 113220 614510 2010815 | 1 105728 31 | 0.277 % | 689.74/689.83 c | 479646 | 113220 614510 2010815 | 1 105848 31 | 0.277 % | 689.74/689.83 c | 482096 | 113220 614510 2010815 | 1 108298 35 | 0.277 % | 689.74/689.83 c | 482250 | 113220 614510 2010815 | 1 108452 35 | 0.277 % | 689.74/689.83 c | 482651 | 113220 614510 2010815 | 1 108853 35 | 0.277 % | 689.74/689.83 c | 484240 | 113220 614510 2010815 | 1 110442 36 | 0.277 % | 689.74/689.83 c | 484439 | 113220 614510 2010815 | 1 110641 36 | 0.277 % | 689.74/689.83 c | 484609 | 113220 614510 2010815 | 1 110811 36 | 0.277 % | 689.74/689.83 c | 484709 | 113220 614510 2010815 | 1 110911 36 | 0.277 % | 689.74/689.83 c | 485221 | 113220 614510 2010815 | 1 111423 37 | 0.277 % | 689.74/689.83 c | 485321 | 113220 614510 2010815 | 1 111523 37 | 0.277 % | 689.74/689.83 c | 485455 | 113220 614510 2010815 | 1 111657 37 | 0.277 % | 746.74/746.86 c | 485555 | 113220 614510 2010815 | 1 111757 37 | 0.277 % | 746.74/746.86 c | 485709 | 113220 614510 2010815 | 1 111911 37 | 0.277 % | 746.74/746.86 c | 485809 | 113220 614510 2010815 | 1 112011 37 | 0.277 % | 746.74/746.86 c | 486764 | 113220 614510 2010815 | 1 112966 37 | 0.277 % | 746.74/746.86 c | 486865 | 113220 614510 2010815 | 1 113067 37 | 0.277 % | 746.74/746.86 c | 489497 | 113220 614510 2010815 | 1 115699 38 | 0.277 % | 746.74/746.86 c | 491682 | 113220 614510 2010815 | 1 117884 39 | 0.277 % | 746.74/746.86 c | 491784 | 113220 614510 2010815 | 1 117986 39 | 0.277 % | 746.74/746.86 c | 491884 | 113220 614510 2010815 | 1 118086 39 | 0.277 % | 746.74/746.86 c | 491987 | 113220 614510 2010815 | 1 118189 39 | 0.277 % | 746.74/746.86 c | 493032 | 113220 614510 2010815 | 1 119234 40 | 0.277 % | 746.74/746.86 c | 493741 | 113220 614510 2010815 | 1 119943 41 | 0.277 % | 746.74/746.86 c | 493905 | 113220 614510 2010815 | 1 120107 41 | 0.277 % | 746.74/746.86 c | 494005 | 113220 614510 2010815 | 1 120207 41 | 0.277 % | 746.74/746.86 c | 497110 | 113220 614510 2010815 | 1 123312 42 | 0.277 % | 746.74/746.86 c | 497211 | 113215 614464 2010625 | 1 121180 41 | 0.281 % | 746.74/746.86 c | 497693 | 113215 614464 2010625 | 1 121662 41 | 0.281 % | 746.74/746.86 c | 501536 | 113215 614464 2010625 | 1 125505 42 | 0.281 % | 746.74/746.86 c | 504349 | 113215 614464 2010625 | 1 128318 42 | 0.281 % | 746.74/746.86 c | 504449 | 113215 614464 2010625 | 1 128418 43 | 0.281 % | 746.74/746.86 c | 504686 | 113215 614464 2010625 | 1 128655 43 | 0.281 % | 746.74/746.86 c | 504787 | 113215 614464 2010625 | 1 128756 43 | 0.281 % | 746.74/746.86 c | 505898 | 113215 614464 2010625 | 1 129867 43 | 0.281 % | 746.74/746.86 c | 506248 | 113215 614464 2010625 | 1 130217 43 | 0.281 % | 746.74/746.86 c | 506348 | 113215 614464 2010625 | 1 130317 43 | 0.281 % | 746.74/746.86 c | 506628 | 113215 614464 2010625 | 1 130597 43 | 0.281 % | 746.74/746.86 c | 507243 | 113215 614464 2010625 | 1 131212 43 | 0.281 % | 746.74/746.86 c | 507343 | 113215 614464 2010625 | 1 131312 44 | 0.281 % | 746.74/746.86 c | 509509 | 113215 614464 2010625 | 1 133478 44 | 0.281 % | 746.74/746.86 c | 510006 | 113215 614464 2010625 | 1 133975 44 | 0.281 % | 746.74/746.86 c | 510107 | 113215 614464 2010625 | 1 134076 44 | 0.281 % | 746.74/746.86 c | 510482 | 113215 614464 2010625 | 1 134451 44 | 0.281 % | 746.74/746.86 c | 510907 | 113215 614464 2010625 | 1 134876 44 | 0.281 % | 746.74/746.86 c | 511420 | 113215 614464 2010625 | 1 135389 44 | 0.281 % | 746.74/746.86 c | 511521 | 113215 614464 2010625 | 1 135490 44 | 0.281 % | 746.74/746.86 c | 513582 | 113215 614464 2010625 | 1 137551 46 | 0.281 % | 746.74/746.86 c | 513902 | 113215 614464 2010625 | 1 137871 46 | 0.281 % | 746.74/746.86 c | 516791 | 113215 614464 2010625 | 1 140760 46 | 0.281 % | 746.74/746.86 c | 517128 | 113215 614464 2010625 | 1 141097 46 | 0.281 % | 746.74/746.86 c | 517230 | 113215 614464 2010625 | 1 141199 46 | 0.281 % | 746.74/746.86 c | 517685 | 113215 614464 2010625 | 1 141654 46 | 0.281 % | 746.74/746.86 c | 518153 | 113215 614464 2010625 | 1 142122 47 | 0.281 % | 746.74/746.86 c | 519553 | 113215 614464 2010625 | 1 143522 47 | 0.281 % | 746.74/746.86 c | 520099 | 113215 614464 2010625 | 1 144068 47 | 0.281 % | 746.74/746.86 c | 520497 | 113215 614464 2010625 | 1 144466 48 | 0.281 % | 746.74/746.86 c | 520597 | 113215 614464 2010625 | 1 144566 48 | 0.281 % | 746.74/746.86 c | 520698 | 113215 614464 2010625 | 1 144667 48 | 0.281 % | 746.74/746.86 c | 521158 | 113215 614464 2010625 | 1 145127 48 | 0.281 % | 746.74/746.86 c | 521260 | 113215 614464 2010625 | 1 145229 48 | 0.281 % | 746.74/746.86 c | 523931 | 113215 614464 2010625 | 1 147900 48 | 0.281 % | 818.45/818.57 c | 525322 | 113215 614464 2010625 | 1 149291 49 | 0.281 % | 818.45/818.57 c | 525422 | 113215 614464 2010625 | 1 149391 49 | 0.281 % | 818.45/818.57 c | 525716 | 113215 614464 2010625 | 1 149685 49 | 0.281 % | 818.45/818.57 c | 525892 | 113215 614464 2010625 | 1 149861 49 | 0.281 % | 818.45/818.57 c | 525992 | 113215 614464 2010625 | 1 149961 49 | 0.281 % | 818.45/818.57 c | 526492 | 113215 614464 2010625 | 1 150461 49 | 0.281 % | 818.45/818.57 c | 528713 | 113215 614464 2010625 | 1 152682 49 | 0.281 % | 818.45/818.57 c | 529257 | 113215 614464 2010625 | 1 153226 49 | 0.281 % | 818.45/818.57 c | 529532 | 113215 614464 2010625 | 1 153501 50 | 0.281 % | 818.45/818.57 c | 529739 | 113215 614464 2010625 | 1 153708 50 | 0.281 % | 818.45/818.57 c | 530065 | 113215 614464 2010625 | 1 154034 50 | 0.281 % | 818.45/818.57 c | 530609 | 113215 614464 2010625 | 1 154578 50 | 0.281 % | 818.45/818.57 c | 530711 | 113215 614464 2010625 | 1 154680 50 | 0.281 % | 818.45/818.57 c | 531564 | 113215 614464 2010625 | 1 155533 50 | 0.281 % | 818.45/818.57 c | 531664 | 113215 614464 2010625 | 1 155633 50 | 0.281 % | 818.45/818.57 c | 531766 | 113215 614464 2010625 | 1 155735 50 | 0.281 % | 818.45/818.57 c | 531866 | 113215 614464 2010625 | 1 155835 50 | 0.281 % | 818.45/818.57 c | 531967 | 113215 614464 2010625 | 1 155936 50 | 0.281 % | 818.45/818.57 c | 533423 | 113191 614317 2010016 | 1 154816 49 | 0.302 % | 818.45/818.57 c | 533782 | 113191 614317 2010016 | 1 155175 50 | 0.302 % | 818.45/818.57 c | 533883 | 113191 614317 2010016 | 1 155276 50 | 0.302 % | 818.45/818.57 c | 534428 | 113191 614317 2010016 | 1 155821 50 | 0.302 % | 818.45/818.57 c | 535918 | 113191 614317 2010016 | 1 157311 50 | 0.302 % | 818.45/818.57 c | 536019 | 113191 614317 2010016 | 1 157412 50 | 0.302 % | 818.45/818.57 c | 537279 | 113191 614317 2010016 | 1 158672 50 | 0.302 % | 818.45/818.57 c | 537635 | 113191 614317 2010016 | 1 159028 51 | 0.302 % | 818.45/818.57 c | 537778 | 113191 614317 2010016 | 1 159171 51 | 0.302 % | 818.45/818.57 c | 537878 | 113191 614317 2010016 | 1 159271 51 | 0.302 % | 818.45/818.57 c | 541953 | 113191 614317 2010016 | 1 163346 52 | 0.302 % | 818.45/818.57 c | 542055 | 113191 614317 2010016 | 1 163448 52 | 0.302 % | 818.45/818.57 c | 542155 | 113191 614317 2010016 | 1 163548 52 | 0.302 % | 818.45/818.57 c | 542257 | 113191 614317 2010016 | 1 163650 52 | 0.302 % | 818.45/818.57 c | 542357 | 113191 614317 2010016 | 1 163750 52 | 0.302 % | 818.45/818.57 c | 545888 | 113191 614317 2010016 | 1 113148 30 | 0.302 % | 818.45/818.57 c | 546059 | 113191 614317 2010016 | 1 113319 30 | 0.302 % | 818.45/818.57 c | 546477 | 113191 614317 2010016 | 1 113737 30 | 0.302 % | 818.45/818.57 c | 548123 | 113191 614317 2010016 | 1 115383 31 | 0.302 % | 818.45/818.57 c | 548240 | 113191 614317 2010016 | 1 115500 31 | 0.302 % | 818.45/818.57 c | 552839 | 109703 585496 1883810 | 1 98459 32 | 3.374 % | 818.45/818.57 c | 555155 | 109703 585496 1883810 | 1 100775 34 | 3.374 % | 818.45/818.57 c | 555255 | 109703 581275 1865989 | 1 91570 32 | 3.374 % | 818.45/818.57 c | 555355 | 109703 581275 1865989 | 1 91670 32 | 3.374 % | 818.45/818.57 c | 557093 | 109703 581275 1865989 | 1 93408 33 | 3.374 % | 818.45/818.57 c | 557260 | 109703 581275 1865989 | 1 93575 33 | 3.374 % | 818.45/818.57 c | 559464 | 109703 581275 1865989 | 1 95779 35 | 3.374 % | 818.45/818.57 c | 559564 | 109703 581275 1865989 | 1 95879 35 | 3.374 % | 818.45/818.57 c | 563131 | 109703 581275 1865989 | 1 99446 37 | 3.374 % | 818.45/818.57 c | 563619 | 109703 581275 1865989 | 1 99934 38 | 3.374 % | 818.45/818.57 c | 563719 | 109703 581275 1865989 | 1 100034 38 | 3.374 % | 818.45/818.57 c | 564010 | 109703 581275 1865989 | 1 100325 38 | 3.374 % | 890.15/890.28 c | 564677 | 109703 581275 1865989 | 1 100992 38 | 3.374 % | 890.15/890.28 c | 566031 | 109702 581269 1865971 | 1 102345 39 | 3.375 % | 890.15/890.28 c | 566477 | 109702 581269 1865971 | 1 102791 39 | 3.375 % | 890.15/890.28 c | 566882 | 109702 581269 1865971 | 1 103196 40 | 3.375 % | 890.15/890.28 c | 566983 | 109702 581269 1865971 | 1 103297 40 | 3.375 % | 890.15/890.28 c | 569712 | 109688 581192 1865679 | 1 105706 40 | 3.388 % | 890.15/890.28 c | 570418 | 109688 581192 1865679 | 1 106412 40 | 3.388 % | 890.15/890.28 c | 572370 | 109688 581192 1865679 | 1 108364 42 | 3.388 % | 890.15/890.28 c | 573765 | 109688 581192 1865679 | 1 109759 43 | 3.388 % | 890.15/890.28 c | 575050 | 109687 581179 1865625 | 1 111043 44 | 3.388 % | 890.15/890.28 c | 577769 | 109687 581179 1865625 | 1 113762 45 | 3.388 % | 890.15/890.28 c | 578700 | 109687 581179 1865625 | 1 114693 47 | 3.388 % | 890.15/890.28 c | 578800 | 109687 581179 1865625 | 1 114793 47 | 3.388 % | 890.15/890.28 c | 579467 | 109687 581179 1865625 | 1 115460 47 | 3.388 % | 890.15/890.28 c | 579567 | 109687 581179 1865625 | 1 115560 47 | 3.388 % | 890.15/890.28 c | 579670 | 109687 581179 1865625 | 1 115663 47 | 3.388 % | 890.15/890.28 c | 579771 | 109687 581179 1865625 | 1 115764 47 | 3.388 % | 890.15/890.28 c | 579871 | 109687 581179 1865625 | 1 115864 47 | 3.388 % | 890.15/890.28 c | 581663 | 109687 581179 1865625 | 1 117656 48 | 3.388 % | 890.15/890.28 c | 582626 | 109687 581179 1865625 | 1 118619 49 | 3.388 % | 890.15/890.28 c | 582728 | 109687 581179 1865625 | 1 118721 49 | 3.388 % | 890.15/890.28 c | 584099 | 109687 581179 1865625 | 1 120092 49 | 3.388 % | 890.15/890.28 c | 585573 | 109686 581168 1865588 | 1 121565 50 | 3.389 % | 890.15/890.28 c | 585673 | 109686 581168 1865588 | 1 121665 50 | 3.389 % | 890.15/890.28 c | 586083 | 109686 581168 1865588 | 1 122075 50 | 3.389 % | 890.15/890.28 c | 587476 | 109686 581168 1865588 | 1 123468 50 | 3.389 % | 890.15/890.28 c | 587576 | 109686 581168 1865588 | 1 123568 51 | 3.389 % | 890.15/890.28 c | 588186 | 109686 581168 1865588 | 1 124178 51 | 3.389 % | 890.15/890.28 c | 588985 | 109686 581168 1865588 | 1 124977 52 | 3.389 % | 890.15/890.28 c | 589564 | 109686 581168 1865588 | 1 125556 52 | 3.389 % | 890.15/890.28 c | 590014 | 109686 581168 1865588 | 1 126006 53 | 3.389 % | 890.15/890.28 c | 590704 | 109686 581168 1865588 | 1 126696 53 | 3.389 % | 890.15/890.28 c | 591000 | 109686 581168 1865588 | 1 126992 54 | 3.389 % | 890.15/890.28 c | 591100 | 109686 581168 1865588 | 1 127092 54 | 3.389 % | 890.15/890.28 c | 591200 | 109686 581168 1865588 | 1 127192 54 | 3.389 % | 890.15/890.28 c | 591804 | 109686 581168 1865588 | 1 127796 54 | 3.389 % | 890.15/890.28 c | 592547 | 109231 570700 1831793 | 1 127762 56 | 3.790 % | 890.15/890.28 c | 592647 | 109231 570700 1831793 | 1 127862 56 | 3.790 % | 890.15/890.28 c | 592978 | 109231 570700 1831793 | 1 128193 56 | 3.790 % | 890.15/890.28 c | 593257 | 109231 570700 1831793 | 1 128472 56 | 3.790 % | 890.15/890.28 c | 593472 | 109231 570700 1831793 | 1 128687 57 | 3.790 % | 890.15/890.28 c | 593572 | 109231 570700 1831793 | 1 128787 57 | 3.790 % | 890.15/890.28 c | 593705 | 109231 570700 1831793 | 1 128920 57 | 3.790 % | 890.15/890.28 c | 593805 | 109231 570700 1831793 | 1 129020 57 | 3.790 % | 890.15/890.28 c | 594622 | 109231 570700 1831793 | 1 129837 61 | 3.790 % | 890.15/890.28 c | 594725 | 109231 570700 1831793 | 1 129940 61 | 3.790 % | 890.15/890.28 c | 596282 | 109231 570700 1831793 | 1 131497 61 | 3.790 % | 890.15/890.28 c | 596382 | 109231 570700 1831793 | 1 131597 61 | 3.790 % | 890.15/890.28 c | 596482 | 109231 570700 1831793 | 1 131697 61 | 3.790 % | 890.15/890.28 c | 596654 | 109231 570700 1831793 | 1 131869 62 | 3.790 % | 961.24/961.40 c | 597113 | 109231 570700 1831793 | 1 132328 62 | 3.790 % | 961.24/961.40 c | 597306 | 109231 570700 1831793 | 1 132521 63 | 3.790 % | 961.24/961.40 c | 597407 | 109231 570700 1831793 | 1 132622 63 | 3.790 % | 961.24/961.40 c | 598060 | 109231 570700 1831793 | 1 133275 65 | 3.790 % | 961.24/961.40 c | 598161 | 109231 570700 1831793 | 1 133376 65 | 3.790 % | 961.24/961.40 c | 599098 | 109231 570700 1831793 | 1 134313 66 | 3.790 % | 961.24/961.40 c | 600323 | 109231 570700 1831793 | 1 135538 66 | 3.790 % | 961.24/961.40 c | 601408 | 109231 570700 1831793 | 1 136623 68 | 3.790 % | 961.24/961.40 c | 601509 | 109231 570700 1831793 | 1 136724 68 | 3.790 % | 961.24/961.40 c | 603717 | 109231 570700 1831793 | 1 138932 68 | 3.790 % | 961.24/961.40 c | 603819 | 109231 570700 1831793 | 1 139034 68 | 3.790 % | 961.24/961.40 c | 604252 | 109231 570700 1831793 | 1 139467 68 | 3.790 % | 961.24/961.40 c | 605696 | 109231 570700 1831793 | 1 140911 68 | 3.790 % | 961.24/961.40 c | 606323 | 109201 570624 1831486 | 1 141119 69 | 3.816 % | 961.24/961.40 c | 606424 | 109201 570624 1831486 | 1 141220 69 | 3.816 % | 961.24/961.40 c | 606981 | 109201 570624 1831486 | 1 141777 70 | 3.816 % | 961.24/961.40 c | 607302 | 109201 570624 1831486 | 1 142098 70 | 3.816 % | 961.24/961.40 c | 607402 | 109201 570624 1831486 | 1 142198 70 | 3.816 % | 961.24/961.40 c | 607502 | 109201 570624 1831486 | 1 142298 70 | 3.816 % | 961.24/961.40 c | 610888 | 109201 570624 1831486 | 1 145684 71 | 3.816 % | 961.24/961.40 c | 610989 | 109201 570624 1831486 | 1 145785 71 | 3.816 % | 961.24/961.40 c | 611112 | 109201 570624 1831486 | 1 145908 72 | 3.816 % | 961.24/961.40 c | 611214 | 109201 570624 1831486 | 1 146010 72 | 3.816 % | 961.24/961.40 c | 611315 | 109201 570624 1831486 | 1 146111 72 | 3.816 % | 961.24/961.40 c | 611518 | 109201 570624 1831486 | 1 146314 72 | 3.816 % | 961.24/961.40 c | 611940 | 109201 570624 1831486 | 1 146736 72 | 3.816 % | 961.24/961.40 c | 612056 | 109201 570624 1831486 | 1 146852 72 | 3.816 % | 961.24/961.40 c | 612662 | 109201 570624 1831486 | 1 147458 73 | 3.816 % | 961.24/961.40 c | 612764 | 109201 570624 1831486 | 1 147560 73 | 3.816 % | 961.24/961.40 c | 612864 | 109201 570624 1831486 | 1 147660 73 | 3.816 % | 961.24/961.40 c | 614123 | 109201 570624 1831486 | 1 148919 73 | 3.816 % | 961.24/961.40 c | 614223 | 109201 570624 1831486 | 1 149019 73 | 3.816 % | 961.24/961.40 c | 615514 | 109201 570624 1831486 | 1 150310 74 | 3.816 % | 961.24/961.40 c | 615614 | 109201 570624 1831486 | 1 150410 74 | 3.816 % | 961.24/961.40 c | 617016 | 109201 570624 1831486 | 1 98494 41 | 3.816 % | 961.24/961.40 c | 617450 | 109201 570624 1831486 | 1 98928 43 | 3.816 % | 961.24/961.40 c | 617550 | 109201 570624 1831486 | 1 99028 43 | 3.816 % | 961.24/961.40 c | 617650 | 109201 570624 1831486 | 1 99128 43 | 3.816 % | 961.24/961.40 c | 618023 | 109201 570624 1831486 | 1 99501 44 | 3.816 % | 961.24/961.40 c | 618124 | 109201 570624 1831486 | 1 99602 44 | 3.816 % | 961.24/961.40 c | 620332 | 109201 570624 1831486 | 1 101810 47 | 3.816 % | 961.24/961.40 c | 620432 | 109201 570624 1831486 | 1 101910 47 | 3.816 % | 961.24/961.40 c | 620533 | 109201 570624 1831486 | 1 102011 47 | 3.816 % | 961.24/961.40 c | 620815 | 109201 570624 1831486 | 1 102293 47 | 3.816 % | 961.24/961.40 c | 621075 | 109201 570624 1831486 | 1 102553 48 | 3.816 % | 961.24/961.40 c | 621178 | 109201 570624 1831486 | 1 102656 48 | 3.816 % | 961.24/961.40 c | 621281 | 109201 570624 1831486 | 1 102759 48 | 3.816 % | 961.24/961.40 c | 623431 | 109201 570624 1831486 | 1 104909 51 | 3.816 % | 961.24/961.40 c | 623560 | 109201 570624 1831486 | 1 105038 51 | 3.816 % | 961.24/961.40 c | 623661 | 109201 570624 1831486 | 1 105139 52 | 3.816 % | 1033.74/1033.87 c | 623836 | 109201 570624 1831486 | 1 105314 52 | 3.816 % | 1033.74/1033.87 c | 624301 | 109201 570624 1831486 | 1 105779 52 | 3.816 % | 1033.74/1033.87 c | 624698 | 109201 570624 1831486 | 1 106176 52 | 3.816 % | 1033.74/1033.87 c | 625006 | 109201 570624 1831486 | 1 106484 53 | 3.816 % | 1033.74/1033.87 c | 625235 | 109201 570624 1831486 | 1 106713 53 | 3.816 % | 1033.74/1033.87 c | 625337 | 109201 570624 1831486 | 1 106815 53 | 3.816 % | 1033.74/1033.87 c | 626693 | 109201 570624 1831486 | 1 108171 55 | 3.816 % | 1033.74/1033.87 c | 626794 | 109201 570624 1831486 | 1 108272 55 | 3.816 % | 1033.74/1033.87 c | 627136 | 109201 570624 1831486 | 1 108614 56 | 3.816 % | 1033.74/1033.87 c | 628656 | 109201 570624 1831486 | 1 110134 58 | 3.816 % | 1033.74/1033.87 c | 628769 | 109201 570624 1831486 | 1 110247 58 | 3.816 % | 1033.74/1033.87 c | 629312 | 109201 570624 1831486 | 1 110790 61 | 3.816 % | 1033.74/1033.87 c | 629412 | 109201 570624 1831486 | 1 110890 61 | 3.816 % | 1033.74/1033.87 c | 629512 | 109201 570624 1831486 | 1 110990 61 | 3.816 % | 1033.74/1033.87 c | 630055 | 109201 570624 1831486 | 1 111533 63 | 3.816 % | 1033.74/1033.87 c | 630157 | 109201 570624 1831486 | 1 111635 63 | 3.816 % | 1033.74/1033.87 c | 630313 | 109201 570624 1831486 | 1 111791 63 | 3.816 % | 1033.74/1033.87 c | 630584 | 109201 570624 1831486 | 1 112062 63 | 3.816 % | 1033.74/1033.87 c | 630706 | 109201 570624 1831486 | 1 112184 63 | 3.816 % | 1033.74/1033.87 c | 630806 | 109201 570624 1831486 | 1 112284 63 | 3.816 % | 1033.74/1033.87 c | 631001 | 109201 570624 1831486 | 1 112479 63 | 3.816 % | 1033.74/1033.87 c | 631102 | 109201 570624 1831486 | 1 112580 64 | 3.816 % | 1033.74/1033.87 c | 631202 | 109201 570624 1831486 | 1 112680 64 | 3.816 % | 1033.74/1033.87 c | 633989 | 109201 570624 1831486 | 1 115467 68 | 3.816 % | 1033.74/1033.87 c | 634119 | 109201 570624 1831486 | 1 115597 68 | 3.816 % | 1033.74/1033.87 c | 634375 | 109201 570624 1831486 | 1 115853 68 | 3.816 % | 1033.74/1033.87 c | 634734 | 109201 570624 1831486 | 1 116212 69 | 3.816 % | 1033.74/1033.87 c | 634834 | 109201 570624 1831486 | 1 116312 69 | 3.816 % | 1033.74/1033.87 c | 634956 | 109201 570624 1831486 | 1 116434 70 | 3.816 % | 1033.74/1033.87 c | 635056 | 109201 570624 1831486 | 1 116534 70 | 3.816 % | 1033.74/1033.87 c | 635600 | 109201 570624 1831486 | 1 117078 70 | 3.816 % | 1033.74/1033.87 c | 635700 | 109201 570624 1831486 | 1 117178 70 | 3.816 % | 1033.74/1033.87 c | 635801 | 109201 570624 1831486 | 1 117279 70 | 3.816 % | 1033.74/1033.87 c | 636636 | 109201 570624 1831486 | 1 118114 70 | 3.816 % | 1033.74/1033.87 c | 636736 | 109201 570624 1831486 | 1 118214 70 | 3.816 % | 1033.74/1033.87 c | 636840 | 109201 570624 1831486 | 1 118318 71 | 3.816 % | 1033.74/1033.87 c | 636943 | 109201 570624 1831486 | 1 118421 71 | 3.816 % | 1033.74/1033.87 c | 637044 | 109201 570624 1831486 | 1 118522 71 | 3.816 % | 1033.74/1033.87 c | 637715 | 109201 570624 1831486 | 1 119193 73 | 3.816 % | 1033.74/1033.87 c | 637816 | 109201 570624 1831486 | 1 119294 73 | 3.816 % | 1033.74/1033.87 c | 637916 | 109201 570624 1831486 | 1 119394 73 | 3.816 % | 1033.74/1033.87 c | 639706 | 109201 570624 1831486 | 1 121184 80 | 3.816 % | 1033.74/1033.87 c | 640259 | 109201 570624 1831486 | 1 121737 81 | 3.816 % | 1033.74/1033.87 c | 640361 | 109201 570624 1831486 | 1 121839 81 | 3.816 % | 1033.74/1033.87 c | 641113 | 109201 570624 1831486 | 1 122591 81 | 3.816 % | 1033.74/1033.87 c | 641604 | 109201 570624 1831486 | 1 123082 81 | 3.816 % | 1033.74/1033.87 c | 641775 | 109201 570624 1831486 | 1 123253 81 | 3.816 % | 1033.74/1033.87 c | 642260 | 109201 570624 1831486 | 1 123738 82 | 3.816 % | 1033.74/1033.87 c | 642362 | 109201 570624 1831486 | 1 123840 82 | 3.816 % | 1033.74/1033.87 c | 648456 | 109201 570624 1831486 | 1 129934 83 | 3.816 % | 1118.05/1118.10 c | 649684 | 109196 570467 1831015 | 1 130856 84 | 3.821 % | 1118.05/1118.10 c | 649786 | 109196 570467 1831015 | 1 130958 84 | 3.821 % | 1118.05/1118.10 c | 649886 | 109196 570467 1831015 | 1 131058 84 | 3.821 % | 1118.05/1118.10 c | 650806 | 109196 570467 1831015 | 1 131978 84 | 3.821 % | 1118.05/1118.10 c | 650914 | 109196 570467 1831015 | 1 132086 84 | 3.821 % | 1118.05/1118.10 c | 651765 | 109196 570467 1831015 | 1 132937 85 | 3.821 % | 1118.05/1118.10 c | 651866 | 109196 570467 1831015 | 1 133038 85 | 3.821 % | 1118.05/1118.10 c | 653115 | 109196 570467 1831015 | 1 134287 86 | 3.821 % | 1118.05/1118.10 c | 653218 | 109196 570467 1831015 | 1 134390 86 | 3.821 % | 1118.05/1118.10 c | 653318 | 109196 570467 1831015 | 1 134490 86 | 3.821 % | 1118.05/1118.10 c | 653422 | 109196 570467 1831015 | 1 134594 86 | 3.821 % | 1118.05/1118.10 c | 653784 | 109196 570467 1831015 | 1 134956 88 | 3.821 % | 1118.05/1118.11 c | 653885 | 109196 570467 1831015 | 1 135057 88 | 3.821 % | 1118.05/1118.11 c | 654843 | 109196 570467 1831015 | 1 136015 92 | 3.821 % | 1118.05/1118.11 c | 654944 | 109196 570467 1831015 | 1 136116 92 | 3.821 % | 1118.05/1118.11 c | 655288 | 109196 570467 1831015 | 1 136460 93 | 3.821 % | 1118.05/1118.11 c | 656746 | 109196 570467 1831015 | 1 137918 94 | 3.821 % | 1118.05/1118.11 c | 657431 | 109196 570467 1831015 | 1 138603 95 | 3.821 % | 1118.05/1118.11 c | 657531 | 109196 570467 1831015 | 1 138703 95 | 3.821 % | 1118.05/1118.11 c | 657762 | 109196 570467 1831015 | 1 138934 96 | 3.821 % | 1118.05/1118.11 c | 658625 | 109196 570467 1831015 | 1 139797 96 | 3.821 % | 1118.05/1118.11 c | 659724 | 109196 570467 1831015 | 1 140896 97 | 3.821 % | 1118.05/1118.11 c | 660100 | 109196 570467 1831015 | 1 141272 97 | 3.821 % | 1118.05/1118.11 c | 660347 | 109196 570467 1831015 | 1 141519 97 | 3.821 % | 1118.05/1118.11 c | 660450 | 109196 570467 1831015 | 1 141622 98 | 3.821 % | 1118.05/1118.11 c | 660572 | 109196 570467 1831015 | 1 141744 98 | 3.821 % | 1118.05/1118.11 c | 660675 | 109196 570467 1831015 | 1 141847 98 | 3.821 % | 1118.05/1118.11 c | 660777 | 109196 570467 1831015 | 1 141949 98 | 3.821 % | 1118.05/1118.11 c | 660877 | 109196 570467 1831015 | 1 142049 98 | 3.821 % | 1118.05/1118.11 c | 660978 | 109196 570467 1831015 | 1 142150 99 | 3.821 % | 1118.05/1118.11 c | 661079 | 109196 570467 1831015 | 1 142251 99 | 3.821 % | 1118.05/1118.11 c | 661375 | 109196 570467 1831015 | 1 142547 100 | 3.821 % | 1118.05/1118.11 c | 661475 | 109196 570467 1831015 | 1 142647 100 | 3.821 % | 1118.05/1118.11 c | 661686 | 109196 570467 1831015 | 1 142858 100 | 3.821 % | 1118.05/1118.11 c | 661787 | 109196 570467 1831015 | 1 142959 100 | 3.821 % | 1118.05/1118.11 c | 661952 | 109196 570467 1831015 | 1 143124 100 | 3.821 % | 1118.05/1118.11 c | 662053 | 109196 570467 1831015 | 1 143225 100 | 3.821 % | 1118.05/1118.11 c | 662153 | 109196 570467 1831015 | 1 143325 100 | 3.821 % | 1118.05/1118.11 c | 663487 | 109196 570467 1831015 | 1 144659 100 | 3.821 % | 1118.05/1118.11 c | 664495 | 109196 570467 1831015 | 1 145667 100 | 3.821 % | 1118.05/1118.11 c | 665068 | 109196 570467 1831015 | 1 146240 101 | 3.821 % | 1118.05/1118.11 c | 665757 | 109196 570467 1831015 | 1 146929 102 | 3.821 % | 1118.05/1118.11 c | 665859 | 109196 570467 1831015 | 1 147031 102 | 3.821 % | 1118.05/1118.11 c | 665986 | 109196 570467 1831015 | 1 147158 103 | 3.821 % | 1118.05/1118.11 c | 666086 | 109196 570467 1831015 | 1 147258 103 | 3.821 % | 1118.05/1118.11 c | 668455 | 109196 570467 1831015 | 1 149627 107 | 3.821 % | 1118.05/1118.11 c | 668556 | 109196 570467 1831015 | 1 149728 107 | 3.821 % | 1118.05/1118.11 c | 669174 | 109196 570467 1831015 | 1 150346 108 | 3.821 % | 1118.05/1118.11 c | 669824 | 109196 570467 1831015 | 1 150996 109 | 3.821 % | 1118.05/1118.11 c | 669927 | 109196 570467 1831015 | 1 151099 109 | 3.821 % | 1145.65/1145.77 c | 670029 | 109196 570467 1831015 | 1 151201 109 | 3.821 % | 1145.65/1145.77 c | 670131 | 109196 570467 1831015 | 1 151303 110 | 3.821 % | 1145.65/1145.77 c | 670231 | 109196 570467 1831015 | 1 151403 110 | 3.821 % | 1145.65/1145.77 c | 670337 | 109196 570467 1831015 | 1 151509 110 | 3.821 % | 1145.65/1145.77 c | 670439 | 109196 570467 1831015 | 1 151611 110 | 3.821 % | 1145.65/1145.77 c | 670540 | 109196 570467 1831015 | 1 151712 110 | 3.821 % | 1145.65/1145.77 c | 670640 | 109196 570467 1831015 | 1 151812 110 | 3.821 % | 1145.65/1145.77 c | 670742 | 109196 570467 1831015 | 1 151914 110 | 3.821 % | 1145.65/1145.77 c | 670842 | 109196 570467 1831015 | 1 152014 110 | 3.821 % | 1145.65/1145.77 c | 670943 | 109196 570467 1831015 | 1 152115 110 | 3.821 % | 1145.65/1145.77 c | 671045 | 109196 570467 1831015 | 1 152217 110 | 3.821 % | 1145.65/1145.77 c | 671148 | 109196 570467 1831015 | 1 152320 111 | 3.821 % | 1145.65/1145.77 c | 671248 | 109196 570467 1831015 | 1 152420 111 | 3.821 % | 1145.65/1145.77 c | 671560 | 109196 570467 1831015 | 1 152732 111 | 3.821 % | 1145.65/1145.77 c | 671660 | 109196 570467 1831015 | 1 152832 111 | 3.821 % | 1145.65/1145.77 c | 671760 | 109196 570467 1831015 | 1 152932 111 | 3.821 % | 1145.65/1145.77 c | 672387 | 109196 570467 1831015 | 1 153559 113 | 3.821 % | 1145.65/1145.77 c | 672487 | 109196 570467 1831015 | 1 153659 113 | 3.821 % | 1145.65/1145.77 c | 673621 | 109089 569470 1826883 | 1 143187 99 | 3.915 % | 1145.65/1145.77 c | 673723 | 109089 569470 1826883 | 1 143289 99 | 3.915 % | 1145.65/1145.77 c | 673823 | 109089 569470 1826883 | 1 143389 99 | 3.915 % | 1145.65/1145.77 c | 673987 | 109089 569470 1826883 | 1 143553 100 | 3.915 % | 1145.65/1145.77 c | 674089 | 109089 569470 1826883 | 1 143655 100 | 3.915 % | 1145.65/1145.77 c | 674190 | 109089 569470 1826883 | 1 143756 100 | 3.915 % | 1145.65/1145.77 c | 674889 | 109089 569470 1826883 | 1 144455 101 | 3.915 % | 1145.65/1145.77 c | 674989 | 109089 569470 1826883 | 1 144555 101 | 3.915 % | 1145.65/1145.77 c | 675193 | 109089 569470 1826883 | 1 144759 102 | 3.915 % | 1145.65/1145.77 c | 675659 | 109089 569470 1826883 | 1 145225 103 | 3.915 % | 1145.65/1145.77 c | 675760 | 109089 569470 1826883 | 1 145326 103 | 3.915 % | 1145.65/1145.77 c | 676118 | 74343 569176 1825818 | 1 137954 93 | 34.519 % | 1145.65/1145.77 c =============================================================================== 1145.65/1145.77 c restarts : 1068 1145.65/1145.77 c nb ReduceDB : 16 1145.65/1145.77 c nb removed Clauses : 477912 1145.65/1145.77 c nb learnts DL2 : 16369 1145.65/1145.77 c nb learnts size 2 : 7100 1145.65/1145.77 c nb learnts size 1 : 79 1145.65/1145.77 c conflicts : 676118 (595 /sec) 1145.65/1145.77 c decisions : 2160220 (0.00 % random) (1902 /sec) 1145.65/1145.77 c propagations : 2581215093 (2272882 /sec) 1145.65/1145.77 c conflict literals : 66817657 (52.10 % deleted) 1145.65/1145.77 c nb reduced Clauses : 10282 1145.65/1145.77 c CPU time : 1135.66 s 1145.65/1145.77 1145.65/1145.78 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-3291656-1303778616/watcher-3291656-1303778616 -o /tmp/evaluation-result-3291656-1303778616/solver-3291656-1303778616 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3291656-1303778616.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.26 3.52 3.79 5/179 16908 /proc/meminfo: memFree=18191384/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) R 16906 16908 15815 0 -1 4202496 317 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646966677 0 65538 4100 65536 0 0 0 17 0 0 0 0 /proc/16908/statm: 2176 253 211 178 0 69 0 [startup+0.105509 s] /proc/loadavg: 3.26 3.52 3.79 5/179 16908 /proc/meminfo: memFree=18191384/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.200499 s] /proc/loadavg: 3.26 3.52 3.79 5/179 16908 /proc/meminfo: memFree=18191384/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300455 s] /proc/loadavg: 3.26 3.52 3.79 5/179 16908 /proc/meminfo: memFree=18191384/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700413 s] /proc/loadavg: 3.26 3.52 3.79 5/179 16908 /proc/meminfo: memFree=18191384/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50024 s] /proc/loadavg: 3.26 3.52 3.79 6/181 16910 /proc/meminfo: memFree=18020612/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 253 211 178 0 69 0 [pid=16909] ppid=16908 vsize=181460 CPUtime=1.49 cores=0,2 /proc/16909/stat : 16909 (SatELite_releas) R 16908 16908 15815 0 -1 4202496 41567 0 0 0 139 10 0 0 25 0 1 0 489461430 185815040 41293 33554432000 134512640 135144242 4289553520 18446744073709551615 134550815 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16909/statm: 45365 41293 71 155 0 45208 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 190164 [startup+3.101 s] /proc/loadavg: 3.26 3.52 3.79 7/185 16917 /proc/meminfo: memFree=17798436/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 253 211 178 0 69 0 [pid=16909] ppid=16908 vsize=214308 CPUtime=3.09 cores=0,2 /proc/16909/stat : 16909 (SatELite_releas) R 16908 16908 15815 0 -1 4202496 51838 0 0 0 294 15 0 0 25 0 1 0 489461430 219451392 47774 33554432000 134512640 135144242 4289553520 18446744073709551615 134745630 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16909/statm: 53577 47774 77 155 0 53420 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 223012 [startup+6.30044 s] /proc/loadavg: 3.32 3.53 3.79 5/185 16918 /proc/meminfo: memFree=17526052/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 253 211 178 0 69 0 [pid=16909] ppid=16908 vsize=217664 CPUtime=6.29 cores=0,2 /proc/16909/stat : 16909 (SatELite_releas) R 16908 16908 15815 0 -1 4202496 53677 0 0 0 611 18 0 0 25 0 1 0 489461430 222887936 48623 33554432000 134512640 135144242 4289553520 18446744073709551615 134588216 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16909/statm: 54416 48623 77 155 0 54259 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 226368 [startup+12.7003 s] /proc/loadavg: 3.45 3.55 3.80 4/185 16919 /proc/meminfo: memFree=17649624/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=72376 CPUtime=3.34 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 13830 0 0 0 332 2 0 0 25 0 1 0 489462362 74113024 13007 33554432000 4194304 4260849 140734703586496 18446744073709551615 4226718 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/16919/statm: 18094 13007 250 17 0 14735 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 81080 [startup+25.5012 s] /proc/loadavg: 4.02 3.67 3.83 3/185 16920 /proc/meminfo: memFree=17993008/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=73848 CPUtime=16.12 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 14804 0 0 0 1607 5 0 0 25 0 1 0 489462362 75620352 13965 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 18462 13965 251 17 0 15103 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 82552 [startup+51.1009 s] /proc/loadavg: 4.89 3.91 3.91 4/185 16921 /proc/meminfo: memFree=17836580/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=86560 CPUtime=41.72 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 16264 0 0 0 4158 14 0 0 25 0 1 0 489462362 88637440 15409 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 21640 15409 251 17 0 18281 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 95264 [startup+102.301 s] /proc/loadavg: 4.21 3.90 3.90 4/185 16982 /proc/meminfo: memFree=18023220/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=76756 CPUtime=92.93 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 27718 0 0 0 9268 25 0 0 25 0 1 0 489462362 78598144 15517 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 19189 15517 252 17 0 15830 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 85460 [startup+162.301 s] /proc/loadavg: 5.09 4.17 3.99 4/185 17015 /proc/meminfo: memFree=17404404/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=125328 CPUtime=152.93 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 39124 0 0 0 15251 42 0 0 25 0 1 0 489462362 128335872 26225 33554432000 4194304 4260849 140734703586496 18446744073709551615 4209582 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 31332 26225 252 17 0 27973 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 134032 [startup+222.307 s] /proc/loadavg: 3.77 3.95 3.93 4/185 17016 /proc/meminfo: memFree=17376276/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=125328 CPUtime=212.93 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 48307 0 0 0 21250 43 0 0 25 0 1 0 489462362 128335872 27685 33554432000 4194304 4260849 140734703586496 18446744073709551615 4226480 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 31332 27685 252 17 0 27973 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 134032 [startup+282.301 s] /proc/loadavg: 3.28 3.78 3.87 4/185 17018 /proc/meminfo: memFree=17416244/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=125328 CPUtime=272.93 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 55980 0 0 0 27249 44 0 0 25 0 1 0 489462362 128335872 27685 33554432000 4194304 4260849 140734703586496 18446744073709551615 4209990 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 31332 27685 252 17 0 27973 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 134032 [startup+342.301 s] /proc/loadavg: 3.10 3.63 3.81 4/185 17020 /proc/meminfo: memFree=17398880/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=125328 CPUtime=332.93 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 63974 0 0 0 33248 45 0 0 25 0 1 0 489462362 128335872 27685 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 31332 27685 252 17 0 27973 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 134032 [startup+402.3 s] /proc/loadavg: 3.04 3.51 3.76 4/185 17021 /proc/meminfo: memFree=17361344/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 3.01 3.14 3.48 4/185 17032 /proc/meminfo: memFree=17299824/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=174648 CPUtime=812.93 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 126094 0 0 0 81232 61 0 0 25 0 1 0 489462362 178839552 36194 33554432000 4194304 4260849 140734703586496 18446744073709551615 4209990 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 43662 36194 252 17 0 40303 0 Current children cumulated CPU time (s) 822.24 Current children cumulated vsize (KiB) 183352 [startup+882.306 s] /proc/loadavg: 3.00 3.11 3.44 4/185 17034 /proc/meminfo: memFree=17285052/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=174648 CPUtime=872.94 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 129557 0 0 0 87232 62 0 0 25 0 1 0 489462362 178839552 39633 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 43662 39633 252 17 0 40303 0 Current children cumulated CPU time (s) 882.25 Current children cumulated vsize (KiB) 183352 [startup+942.301 s] /proc/loadavg: 3.00 3.09 3.41 4/185 17036 /proc/meminfo: memFree=17350252/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=125328 CPUtime=932.94 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 133429 0 0 0 93229 65 0 0 25 0 1 0 489462362 128335872 27685 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224391 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 31332 27685 252 17 0 27973 0 Current children cumulated CPU time (s) 942.25 Current children cumulated vsize (KiB) 134032 [startup+1002.3 s] /proc/loadavg: 3.00 3.07 3.39 4/185 17037 /proc/meminfo: memFree=17272860/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=174648 CPUtime=992.94 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 145084 0 0 0 99225 69 0 0 25 0 1 0 489462362 178839552 39321 33554432000 4194304 4260849 140734703586496 18446744073709551615 4209645 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 43662 39321 252 17 0 40303 0 Current children cumulated CPU time (s) 1002.25 Current children cumulated vsize (KiB) 183352 [startup+1062.3 s] /proc/loadavg: 3.00 3.05 3.36 4/185 17048 /proc/meminfo: memFree=17258284/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=205468 CPUtime=1052.94 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 149188 0 0 0 105224 70 0 0 25 0 1 0 489462362 210399232 43401 33554432000 4194304 4260849 140734703586496 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 51367 43401 252 17 0 48008 0 Current children cumulated CPU time (s) 1062.25 Current children cumulated vsize (KiB) 214172 [startup+1122.3 s] /proc/loadavg: 3.04 3.06 3.34 4/185 17049 /proc/meminfo: memFree=17247720/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=205468 CPUtime=1112.94 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 153209 0 0 0 111221 73 0 0 25 0 1 0 489462362 210399232 47409 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 51367 47409 252 17 0 48008 0 Current children cumulated CPU time (s) 1122.25 Current children cumulated vsize (KiB) 214172 Solver just ended. Dumping a history of the last processes samples [startup+1126.4 s] /proc/loadavg: 3.04 3.06 3.34 4/185 17049 /proc/meminfo: memFree=17243380/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=205468 CPUtime=1117.04 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 153501 0 0 0 111631 73 0 0 25 0 1 0 489462362 210399232 47699 33554432000 4194304 4260849 140734703586496 18446744073709551615 4209245 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 51367 47699 252 17 0 48008 0 Current children cumulated CPU time (s) 1126.35 Current children cumulated vsize (KiB) 214172 [startup+1139.2 s] /proc/loadavg: 3.03 3.05 3.33 4/185 17050 /proc/meminfo: memFree=17271028/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=255556 CPUtime=1129.84 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 154779 0 0 0 112910 74 0 0 25 0 1 0 489462362 261689344 48973 33554432000 4194304 4260849 140734703586496 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 63889 48973 252 17 0 60530 0 Current children cumulated CPU time (s) 1139.15 Current children cumulated vsize (KiB) 264260 [startup+1142.4 s] /proc/loadavg: 3.03 3.05 3.33 4/185 17050 /proc/meminfo: memFree=17266812/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=255556 CPUtime=1133.04 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 155000 0 0 0 113230 74 0 0 25 0 1 0 489462362 261689344 49193 33554432000 4194304 4260849 140734703586496 18446744073709551615 4225277 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 63889 49193 252 17 0 60530 0 Current children cumulated CPU time (s) 1142.35 Current children cumulated vsize (KiB) 264260 [startup+1144 s] /proc/loadavg: 3.03 3.05 3.33 4/185 17050 /proc/meminfo: memFree=17264084/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=255556 CPUtime=1134.65 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 155138 0 0 0 113391 74 0 0 25 0 1 0 489462362 261689344 49331 33554432000 4194304 4260849 140734703586496 18446744073709551615 4226832 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 63889 49331 252 17 0 60530 0 Current children cumulated CPU time (s) 1143.96 Current children cumulated vsize (KiB) 264260 [startup+1144.8 s] /proc/loadavg: 3.03 3.05 3.33 4/185 17050 /proc/meminfo: memFree=17264084/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=255556 CPUtime=1135.44 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 155199 0 0 0 113470 74 0 0 25 0 1 0 489462362 261689344 49391 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224284 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 63889 49391 252 17 0 60530 0 Current children cumulated CPU time (s) 1144.75 Current children cumulated vsize (KiB) 264260 [startup+1145.21 s] /proc/loadavg: 3.02 3.05 3.33 4/185 17050 /proc/meminfo: memFree=17262596/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=335696 CPUtime=1135.85 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 165059 0 0 0 113510 75 0 0 25 0 1 0 489462362 343752704 58839 33554432000 4194304 4260849 140734703586496 18446744073709551615 4220705 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 83924 58843 252 17 0 80565 0 Current children cumulated CPU time (s) 1145.16 Current children cumulated vsize (KiB) 344400 [startup+1145.6 s] /proc/loadavg: 3.02 3.05 3.33 4/185 17050 /proc/meminfo: memFree=17262596/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=205468 CPUtime=1136.24 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 171676 0 0 0 113548 76 0 0 25 0 1 0 489462362 210399232 43481 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 51367 43481 252 17 0 48008 0 Current children cumulated CPU time (s) 1145.55 Current children cumulated vsize (KiB) 214172 [startup+1145.7 s] /proc/loadavg: 3.02 3.05 3.33 4/185 17050 /proc/meminfo: memFree=17262596/32951132 swapFree=67111524/67111528 [pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2 /proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16908/statm: 2176 255 211 178 0 69 0 [pid=16919] ppid=16908 vsize=205468 CPUtime=1136.34 cores=0,2 /proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 171679 0 0 0 113558 76 0 0 25 0 1 0 489462362 210399232 43484 33554432000 4194304 4260849 140734703586496 18446744073709551615 4226849 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16919/statm: 51367 43484 252 17 0 48008 0 Current children cumulated CPU time (s) 1145.65 Current children cumulated vsize (KiB) 214172 Child status: 20 Real time (s): 1145.8 CPU time (s): 1145.76 CPU user time (s): 1144.7 CPU system time (s): 1.05984 CPU usage (%): 99.997 Max. virtual memory (cumulated for all children) (KiB): 344400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1144.7 system time used= 1.05984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 251603 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= 44 involuntary context switches= 4218 runsolver used 1.91871 second user time and 4.34534 second system time The end
Begin job on node129 at 2011-04-26 02:43:38 IDJOB=3291656 IDBENCH=84246 IDSOLVER=1651 FILE ID=node129/3291656-1303778616 RUNJOBID= node129-1303777313-16637 PBS_JOBID= 13157179 Free space on /tmp= 66228 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291656-1303778616/watcher-3291656-1303778616 -o /tmp/evaluation-result-3291656-1303778616/solver-3291656-1303778616 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3291656-1303778616.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= f16626953757fdd1326f2a14f01adca9 RANDOM SEED=1957467949 node129.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.831 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.66 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.831 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.82 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.831 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.74 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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.831 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: 32951132 kB MemFree: 18191540 kB Buffers: 1243256 kB Cached: 12575332 kB SwapCached: 4 kB Active: 2328084 kB Inactive: 11763844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 18191540 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 67892 kB Writeback: 0 kB AnonPages: 272956 kB Mapped: 15512 kB Slab: 604376 kB PageTables: 5472 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 455064 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 65952 MiB End job on node129 at 2011-04-26 03:02:44