| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.01 | 1300.01 |
| Name | crafted/mosoi/289/ 289-unsat-6x34.cnf |
| MD5SUM | 1633295f58c28a5b4150be8640bdf9df |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 816 |
| Number of clauses | 35088 |
| Sum of the clauses size | 137904 |
| Maximum clause length | 4 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 1224 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 33864 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 35088 137904 | 10526 0 0 nan | 0.000 % | 0.00/0.27 c | 0 | 34272 203184 | -- 0 -- -- | -- | -816/65280 0.00/0.27 c ============================================================================== 0.00/0.27 c Result : #vars: 612 #clauses: 34272 #literals: 203184 0.00/0.27 c CPU time: 0.265959 s 0.00/0.27 c ============================================================================== 0.00/0.30 c 0.00/0.30 c Starting glucose 0.00/0.30 c 0.29/0.73 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 0.29/0.73 c WARNING: for repeatability, setting FPU to use double precision 0.29/0.73 c ============================[ Problem Statistics ]============================= 0.29/0.73 c | | 0.29/0.73 c | Number of variables: 612 | 0.29/0.73 c | Number of clauses: 34272 | 0.29/0.73 c | Parse time: 0.01 s | 0.29/0.73 c | | 0.29/0.73 c ============================[ Search Statistics ]============================== 0.29/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.73 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 0.29/0.73 c =============================================================================== 0.29/0.73 c | 26642 | 612 34272 203184 | 1 6370 22 | 0.000 % | 0.29/0.73 c | 26918 | 612 34272 203184 | 1 6646 23 | 0.000 % | 0.29/0.73 c | 27018 | 612 34272 203184 | 1 6746 23 | 0.000 % | 0.29/0.73 c | 27139 | 612 34272 203184 | 1 6867 24 | 0.000 % | 0.29/0.73 c | 27256 | 612 34272 203184 | 1 6984 24 | 0.000 % | 0.29/0.73 c | 27361 | 612 34272 203184 | 1 7089 25 | 0.000 % | 0.29/0.73 c | 27462 | 612 34272 203184 | 1 7190 25 | 0.000 % | 0.29/0.73 c | 27562 | 612 34272 203184 | 1 7290 25 | 0.000 % | 0.29/0.73 c | 27686 | 612 34272 203184 | 1 7414 26 | 0.000 % | 0.29/0.73 c | 27788 | 612 34272 203184 | 1 7516 26 | 0.000 % | 0.29/0.73 c | 27888 | 612 34272 203184 | 1 7616 26 | 0.000 % | 0.29/0.73 c | 27989 | 612 34272 203184 | 1 7717 27 | 0.000 % | 0.29/0.73 c | 28094 | 612 34272 203184 | 1 7822 27 | 0.000 % | 0.29/0.73 c | 28208 | 612 34272 203184 | 1 7936 27 | 0.000 % | 0.29/0.73 c | 28311 | 612 34272 203184 | 1 8039 28 | 0.000 % | 0.29/0.73 c | 28430 | 612 34272 203184 | 1 8158 28 | 0.000 % | 0.29/0.73 c | 28532 | 612 34272 203184 | 1 8260 28 | 0.000 % | 0.29/0.73 c | 28634 | 612 34272 203184 | 1 8362 28 | 0.000 % | 0.29/0.73 c | 28741 | 612 34272 203184 | 1 8469 29 | 0.000 % | 0.29/0.73 c | 28841 | 612 34272 203184 | 1 8569 29 | 0.000 % | 0.29/0.73 c | 28942 | 612 34272 203184 | 1 8670 29 | 0.000 % | 0.29/0.73 c | 29042 | 612 34272 203184 | 1 8770 30 | 0.000 % | 0.29/0.73 c | 29142 | 612 34272 203184 | 1 8870 30 | 0.000 % | 0.29/0.73 c | 29248 | 612 34272 203184 | 1 8976 30 | 0.000 % | 0.29/0.73 c | 29348 | 612 34272 203184 | 1 9076 30 | 0.000 % | 0.29/0.73 c | 29449 | 612 34272 203184 | 1 9177 31 | 0.000 % | 0.29/0.73 c | 29557 | 612 34272 203184 | 1 9285 31 | 0.000 % | 0.29/0.73 c | 29657 | 612 34272 203184 | 1 9385 31 | 0.000 % | 0.29/0.73 c | 29818 | 612 34272 203184 | 1 9546 31 | 0.000 % | 0.29/0.73 c | 29918 | 612 34272 203184 | 1 9646 31 | 0.000 % | 0.29/0.73 c | 30019 | 612 34272 203184 | 1 9747 32 | 0.000 % | 0.29/0.73 c | 30154 | 612 34272 203184 | 1 9882 32 | 0.000 % | 0.29/0.73 c | 30254 | 612 34272 203184 | 1 9982 32 | 0.000 % | 0.29/0.73 c | 30406 | 612 34272 203184 | 1 10134 32 | 0.000 % | 0.29/0.73 c | 30508 | 612 34272 203184 | 1 10236 33 | 0.000 % | 0.29/0.73 c | 30608 | 612 34272 203184 | 1 10336 33 | 0.000 % | 0.29/0.73 c | 30709 | 612 34272 203184 | 1 10437 33 | 0.000 % | 0.29/0.73 c | 30810 | 612 34272 203184 | 1 10538 33 | 0.000 % | 0.29/0.73 c | 30919 | 612 34272 203184 | 1 10647 33 | 0.000 % | 0.29/0.81 c | 31033 | 612 34272 203184 | 1 10761 34 | 0.000 % | 0.29/0.81 c | 31136 | 612 34272 203184 | 1 10864 34 | 0.000 % | 0.29/0.81 c | 31236 | 612 34272 203184 | 1 10964 34 | 0.000 % | 0.29/0.81 c | 31336 | 612 34272 203184 | 1 11064 34 | 0.000 % | 0.29/0.81 c | 31438 | 612 34272 203184 | 1 11166 34 | 0.000 % | 0.29/0.81 c | 31538 | 612 34272 203184 | 1 11266 35 | 0.000 % | 0.29/0.81 c | 31638 | 612 34272 203184 | 1 11366 35 | 0.000 % | 0.29/0.81 c | 31739 | 612 34272 203184 | 1 11467 35 | 0.000 % | 0.29/0.81 c | 31880 | 612 34272 203184 | 1 11608 35 | 0.000 % | 0.29/0.81 c | 31994 | 612 34272 203184 | 1 11722 35 | 0.000 % | 0.29/0.81 c | 32096 | 612 34272 203184 | 1 11824 35 | 0.000 % | 0.29/0.81 c | 32196 | 612 34272 203184 | 1 11924 36 | 0.000 % | 0.29/0.81 c | 32296 | 612 34272 203184 | 1 12024 36 | 0.000 % | 0.29/0.81 c | 32412 | 612 34272 203184 | 1 12140 36 | 0.000 % | 0.29/0.81 c | 32513 | 612 34272 203184 | 1 12241 36 | 0.000 % | 0.29/0.81 c | 32613 | 612 34272 203184 | 1 12341 36 | 0.000 % | 0.29/0.81 c | 32724 | 612 34272 203184 | 1 12452 36 | 0.000 % | 0.29/0.81 c | 32935 | 612 34272 203184 | 1 12663 36 | 0.000 % | 0.29/0.81 c | 33060 | 612 34272 203184 | 1 6440 19 | 0.000 % | 0.29/0.81 c | 33171 | 612 34272 203184 | 1 6551 20 | 0.000 % | 0.29/0.81 c | 33271 | 612 34272 203184 | 1 6651 20 | 0.000 % | 0.29/0.81 c | 33372 | 612 34272 203184 | 1 6752 21 | 0.000 % | 0.29/0.81 c | 33509 | 612 34272 203184 | 1 6889 21 | 0.000 % | 0.29/0.81 c | 33610 | 612 34272 203184 | 1 6990 22 | 0.000 % | 0.29/0.81 c | 33713 | 612 34272 203184 | 1 7093 22 | 0.000 % | 0.29/0.81 c | 33851 | 612 34272 203184 | 1 7231 23 | 0.000 % | 0.29/0.81 c | 33959 | 612 34272 203184 | 1 7339 23 | 0.000 % | 0.29/0.81 c | 34059 | 612 34272 203184 | 1 7439 23 | 0.000 % | 0.29/0.81 c | 34200 | 612 34272 203184 | 1 7580 24 | 0.000 % | 0.29/0.81 c | 34300 | 612 34272 203184 | 1 7680 24 | 0.000 % | 0.29/0.81 c | 34448 | 612 34272 203184 | 1 7828 25 | 0.000 % | 0.29/0.81 c | 34558 | 612 34272 203184 | 1 7938 25 | 0.000 % | 0.29/0.81 c | 34663 | 612 34272 203184 | 1 8043 26 | 0.000 % | 0.29/0.81 c | 34763 | 612 34272 203184 | 1 8143 26 | 0.000 % | 0.29/0.81 c | 34878 | 612 34272 203184 | 1 8258 26 | 0.000 % | 0.29/0.81 c | 34978 | 612 34272 203184 | 1 8358 27 | 0.000 % | 0.29/0.81 c | 35148 | 612 34272 203184 | 1 8528 27 | 0.000 % | 0.29/0.81 c | 35248 | 612 34272 203184 | 1 8628 28 | 0.000 % | 0.29/0.81 c | 35395 | 612 34272 203184 | 1 8775 28 | 0.000 % | 0.29/0.81 c | 35496 | 612 34272 203184 | 1 8876 28 | 0.000 % | 0.29/0.81 c | 35629 | 612 34272 203184 | 1 9009 29 | 0.000 % | 0.29/0.81 c | 35730 | 612 34272 203184 | 1 9110 29 | 0.000 % | 0.29/0.81 c | 35887 | 612 34272 203184 | 1 9267 29 | 0.000 % | 0.29/0.81 c | 35988 | 612 34272 203184 | 1 9368 30 | 0.000 % | 0.29/0.81 c | 36132 | 612 34272 203184 | 1 9512 30 | 0.000 % | 0.29/0.81 c | 36232 | 612 34272 203184 | 1 9612 30 | 0.000 % | 0.29/0.81 c | 36332 | 612 34272 203184 | 1 9712 31 | 0.000 % | 0.29/0.81 c | 36507 | 612 34272 203184 | 1 9887 31 | 0.000 % | 0.29/0.81 c | 36624 | 612 34272 203184 | 1 10004 31 | 0.000 % | 0.29/0.81 c | 36755 | 612 34272 203184 | 1 10135 32 | 0.000 % | 0.29/0.91 c | 36855 | 612 34272 203184 | 1 10235 32 | 0.000 % | 0.29/0.91 c | 36961 | 612 34272 203184 | 1 10341 32 | 0.000 % | 0.29/0.91 c | 37061 | 612 34272 203184 | 1 10441 32 | 0.000 % | 0.29/0.91 c | 37192 | 612 34272 203184 | 1 10572 33 | 0.000 % | 0.29/0.91 c | 37292 | 612 34272 203184 | 1 10672 33 | 0.000 % | 0.29/0.91 c | 37393 | 612 34272 203184 | 1 10773 33 | 0.000 % | 0.29/0.91 c | 37495 | 612 34272 203184 | 1 10875 33 | 0.000 % | 0.29/0.91 c | 37680 | 612 34272 203184 | 1 11060 34 | 0.000 % | 0.29/0.91 c | 37792 | 612 34272 203184 | 1 11172 34 | 0.000 % | 0.29/0.91 c | 37892 | 612 34272 203184 | 1 11272 34 | 0.000 % | 0.29/0.91 c | 37992 | 612 34272 203184 | 1 11372 34 | 0.000 % | 0.29/0.91 c | 38092 | 612 34272 203184 | 1 11472 34 | 0.000 % | 0.29/0.91 c | 38228 | 612 34272 203184 | 1 11608 35 | 0.000 % | 0.29/0.91 c | 38346 | 612 34272 203184 | 1 11726 35 | 0.000 % | 0.29/0.91 c | 38446 | 612 34272 203184 | 1 11826 35 | 0.000 % | 0.29/0.91 c | 38585 | 612 34272 203184 | 1 11965 35 | 0.000 % | 0.29/0.91 c | 38737 | 612 34272 203184 | 1 12117 35 | 0.000 % | 0.29/0.91 c | 38852 | 612 34272 203184 | 1 12232 36 | 0.000 % | 0.29/0.91 c | 38996 | 612 34272 203184 | 1 12376 36 | 0.000 % | 0.29/0.91 c | 39104 | 612 34272 203184 | 1 12484 36 | 0.000 % | 0.29/0.91 c | 39241 | 612 34272 203184 | 1 12621 36 | 0.000 % | 0.29/0.91 c | 39346 | 612 34272 203184 | 1 12726 36 | 0.000 % | 0.29/0.91 c | 39488 | 612 34272 203184 | 1 12868 37 | 0.000 % | 0.29/0.91 c | 39589 | 612 34272 203184 | 1 12969 37 | 0.000 % | 0.29/0.91 c | 39804 | 612 34272 203184 | 1 13184 37 | 0.000 % | 0.29/0.91 c | 39947 | 612 34272 203184 | 1 13327 37 | 0.000 % | 0.29/0.91 c | 40059 | 612 34272 203184 | 1 13439 37 | 0.000 % | 0.29/0.91 c | 40227 | 612 34272 203184 | 1 13607 37 | 0.000 % | 0.29/0.91 c | 40398 | 612 34272 203184 | 1 13778 38 | 0.000 % | 0.29/0.91 c | 40508 | 612 34272 203184 | 1 13888 38 | 0.000 % | 0.29/0.91 c | 40609 | 612 34272 203184 | 1 7001 18 | 0.000 % | 0.29/0.91 c | 40759 | 612 34272 203184 | 1 7151 19 | 0.000 % | 0.29/0.91 c | 40943 | 612 34272 203184 | 1 7335 20 | 0.000 % | 0.29/0.91 c | 41181 | 612 34272 203184 | 1 7573 21 | 0.000 % | 0.29/0.91 c | 41381 | 612 34272 203184 | 1 7773 22 | 0.000 % | 0.29/0.91 c | 41513 | 612 34272 203184 | 1 7905 22 | 0.000 % | 0.29/0.91 c | 41637 | 612 34272 203184 | 1 8029 23 | 0.000 % | 0.29/0.91 c | 41739 | 612 34272 203184 | 1 8131 23 | 0.000 % | 0.29/0.91 c | 41951 | 612 34272 203184 | 1 8343 24 | 0.000 % | 0.29/0.91 c | 42149 | 612 34272 203184 | 1 8541 25 | 0.000 % | 0.29/0.91 c | 42270 | 612 34272 203184 | 1 8662 25 | 0.000 % | 0.29/0.91 c | 42397 | 612 34272 203184 | 1 8789 25 | 0.000 % | 0.29/0.91 c | 42499 | 612 34272 203184 | 1 8891 26 | 0.000 % | 0.29/0.91 c | 42617 | 612 34272 203184 | 1 9009 26 | 0.000 % | 0.29/0.91 c | 42750 | 612 34272 203184 | 1 9142 27 | 0.000 % | 0.29/0.91 c | 42859 | 612 34272 203184 | 1 9251 27 | 0.000 % | 0.29/0.91 c | 43002 | 612 34272 203184 | 1 9394 27 | 0.000 % | 0.29/0.91 c | 43143 | 612 34272 203184 | 1 9535 28 | 0.000 % | 0.29/0.91 c | 43342 | 612 34272 203184 | 1 9734 28 | 0.000 % | 0.29/0.91 c | 43452 | 612 34272 203184 | 1 9844 28 | 0.000 % | 0.98/1.02 c | 43594 | 612 34272 203184 | 1 9986 29 | 0.000 % | 0.98/1.02 c | 43741 | 612 34272 203184 | 1 10133 29 | 0.000 % | 0.98/1.02 c | 43948 | 612 34272 203184 | 1 10340 30 | 0.000 % | 0.98/1.02 c | 44066 | 612 34272 203184 | 1 10458 30 | 0.000 % | 0.98/1.02 c | 44214 | 612 34272 203184 | 1 10606 30 | 0.000 % | 0.98/1.02 c | 44347 | 612 34272 203184 | 1 10739 31 | 0.000 % | 0.98/1.02 c | 44464 | 612 34272 203184 | 1 10856 31 | 0.000 % | 0.98/1.02 c | 44628 | 612 34272 203184 | 1 11020 31 | 0.000 % | 0.98/1.02 c | 44759 | 612 34272 203184 | 1 11151 31 | 0.000 % | 0.98/1.02 c | 44944 | 612 34272 203184 | 1 11336 32 | 0.000 % | 0.98/1.02 c | 45086 | 612 34272 203184 | 1 11478 32 | 0.000 % | 0.98/1.02 c | 45202 | 612 34272 203184 | 1 11594 32 | 0.000 % | 0.98/1.02 c | 45334 | 612 34272 203184 | 1 11726 33 | 0.000 % | 0.98/1.02 c | 45434 | 612 34272 203184 | 1 11826 33 | 0.000 % | 0.98/1.02 c | 45554 | 612 34272 203184 | 1 11946 33 | 0.000 % | 0.98/1.02 c | 45670 | 612 34272 203184 | 1 12062 33 | 0.000 % | 0.98/1.02 c | 45802 | 612 34272 203184 | 1 12194 34 | 0.000 % | 0.98/1.02 c | 45968 | 612 34272 203184 | 1 12360 34 | 0.000 % | 0.98/1.02 c | 46115 | 612 34272 203184 | 1 12507 34 | 0.000 % | 0.98/1.02 c | 46250 | 612 34272 203184 | 1 12642 34 | 0.000 % | 0.98/1.02 c | 46381 | 612 34272 203184 | 1 12773 35 | 0.000 % | 0.98/1.02 c | 46629 | 612 34272 203184 | 1 13021 35 | 0.000 % | 0.98/1.02 c | 46747 | 612 34272 203184 | 1 13139 35 | 0.000 % | 0.98/1.02 c | 46945 | 612 34272 203184 | 1 13337 35 | 0.000 % | 0.98/1.02 c | 47081 | 612 34272 203184 | 1 13473 36 | 0.000 % | 0.98/1.02 c | 47315 | 612 34272 203184 | 1 13707 36 | 0.000 % | 0.98/1.02 c | 47435 | 612 34272 203184 | 1 13827 36 | 0.000 % | 0.98/1.02 c | 47572 | 612 34272 203184 | 1 13964 36 | 0.000 % | 0.98/1.02 c | 47758 | 612 34272 203184 | 1 14150 36 | 0.000 % | 0.98/1.02 c | 47858 | 612 34272 203184 | 1 14250 37 | 0.000 % | 0.98/1.02 c | 47963 | 612 34272 203184 | 1 14355 37 | 0.000 % | 0.98/1.02 c | 48092 | 612 34272 203184 | 1 14484 37 | 0.000 % | 0.98/1.02 c | 48196 | 612 34272 203184 | 1 14588 37 | 0.000 % | 0.98/1.02 c | 48490 | 612 34272 203184 | 1 14882 37 | 0.000 % | 0.98/1.02 c | 48603 | 612 34272 203184 | 1 14995 38 | 0.000 % | 0.98/1.02 c | 48756 | 612 34272 203184 | 1 15148 38 | 0.000 % | 0.98/1.02 c | 48912 | 612 34272 203184 | 1 7719 19 | 0.000 % | 0.98/1.02 c | 49039 | 612 34272 203184 | 1 7846 19 | 0.000 % | 0.98/1.02 c | 49173 | 612 34272 203184 | 1 7980 20 | 0.000 % | 0.98/1.02 c | 49304 | 612 34272 203184 | 1 8111 21 | 0.000 % | 0.98/1.02 c | 49415 | 612 34272 203184 | 1 8222 21 | 0.000 % | 0.98/1.02 c | 49545 | 612 34272 203184 | 1 8352 22 | 0.000 % | 0.98/1.02 c | 49653 | 612 34272 203184 | 1 8460 22 | 0.000 % | 0.98/1.02 c | 49831 | 612 34272 203184 | 1 8638 23 | 0.000 % | 0.98/1.02 c | 49931 | 612 34272 203184 | 1 8738 23 | 0.000 % | 0.98/1.02 c | 50102 | 612 34272 203184 | 1 8909 24 | 0.000 % | 0.98/1.02 c | 50364 | 612 34272 203184 | 1 9171 25 | 0.000 % | 0.98/1.02 c | 50512 | 612 34272 203184 | 1 9319 25 | 0.000 % | 0.98/1.02 c | 50655 | 612 34272 203184 | 1 9462 26 | 0.000 % | 0.98/1.02 c | 50782 | 612 34272 203184 | 1 9589 26 | 0.000 % | 1.08/1.15 c | 50974 | 612 34272 203184 | 1 9781 27 | 0.000 % | 1.08/1.15 c | 51098 | 612 34272 203184 | 1 9905 27 | 0.000 % | 1.08/1.15 c | 51221 | 612 34272 203184 | 1 10028 28 | 0.000 % | 1.08/1.15 c | 51351 | 612 34272 203184 | 1 10158 28 | 0.000 % | 1.08/1.15 c | 51501 | 612 34272 203184 | 1 10308 28 | 0.000 % | 1.08/1.15 c | 51749 | 612 34272 203184 | 1 10556 29 | 0.000 % | 1.08/1.15 c | 51894 | 612 34272 203184 | 1 10701 29 | 0.000 % | 1.08/1.15 c | 52008 | 612 34272 203184 | 1 10815 29 | 0.000 % | 1.08/1.15 c | 52144 | 612 34272 203184 | 1 10951 30 | 0.000 % | 1.08/1.15 c | 52296 | 612 34272 203184 | 1 11103 30 | 0.000 % | 1.08/1.15 c | 52460 | 612 34272 203184 | 1 11267 31 | 0.000 % | 1.08/1.15 c | 52584 | 612 34272 203184 | 1 11391 31 | 0.000 % | 1.08/1.15 c | 52956 | 612 34272 203184 | 1 11763 32 | 0.000 % | 1.08/1.15 c | 53196 | 612 34272 203184 | 1 12003 32 | 0.000 % | 1.08/1.15 c | 53315 | 612 34272 203184 | 1 12122 32 | 0.000 % | 1.08/1.15 c | 53456 | 612 34272 203184 | 1 12263 33 | 0.000 % | 1.08/1.15 c | 53641 | 612 34272 203184 | 1 12448 33 | 0.000 % | 1.08/1.15 c | 53821 | 612 34272 203184 | 1 12628 33 | 0.000 % | 1.08/1.15 c | 54001 | 612 34272 203184 | 1 12808 34 | 0.000 % | 1.08/1.15 c | 54223 | 612 34272 203184 | 1 13030 34 | 0.000 % | 1.08/1.15 c | 54326 | 612 34272 203184 | 1 13133 34 | 0.000 % | 1.08/1.15 c | 54452 | 612 34272 203184 | 1 13259 34 | 0.000 % | 1.08/1.15 c | 54702 | 612 34272 203184 | 1 13509 35 | 0.000 % | 1.08/1.15 c | 54829 | 612 34272 203184 | 1 13636 35 | 0.000 % | 1.08/1.15 c | 54940 | 612 34272 203184 | 1 13747 35 | 0.000 % | 1.08/1.15 c | 55120 | 612 34272 203184 | 1 13927 36 | 0.000 % | 1.08/1.15 c | 55336 | 612 34272 203184 | 1 14143 36 | 0.000 % | 1.08/1.15 c | 55576 | 612 34272 203184 | 1 14383 36 | 0.000 % | 1.08/1.15 c | 55676 | 612 34272 203184 | 1 14483 36 | 0.000 % | 1.08/1.15 c | 55906 | 612 34272 203184 | 1 14713 37 | 0.000 % | 1.08/1.15 c | 56144 | 612 34272 203184 | 1 14951 37 | 0.000 % | 1.08/1.15 c | 56300 | 612 34272 203184 | 1 15107 37 | 0.000 % | 1.08/1.15 c | 56412 | 612 34272 203184 | 1 15219 37 | 0.000 % | 1.08/1.15 c | 56533 | 612 34272 203184 | 1 15340 37 | 0.000 % | 1.08/1.15 c | 56742 | 612 34272 203184 | 1 15549 38 | 0.000 % | 1.08/1.15 c | 56870 | 612 34272 203184 | 1 15677 38 | 0.000 % | 1.08/1.15 c | 57076 | 612 34272 203184 | 1 15883 38 | 0.000 % | 1.08/1.15 c | 57309 | 612 34272 203184 | 1 16116 38 | 0.000 % | 1.08/1.15 c | 57429 | 612 34272 203184 | 1 16236 38 | 0.000 % | 1.08/1.15 c | 57553 | 612 34272 203184 | 1 16360 39 | 0.000 % | 1.08/1.15 c | 57749 | 612 34272 203184 | 1 8358 19 | 0.000 % | 1.08/1.15 c | 57883 | 612 34272 203184 | 1 8492 19 | 0.000 % | 1.08/1.15 c | 58168 | 612 34272 203184 | 1 8777 20 | 0.000 % | 1.08/1.15 c | 58362 | 612 34272 203184 | 1 8971 21 | 0.000 % | 1.08/1.15 c | 58603 | 612 34272 203184 | 1 9212 22 | 0.000 % | 1.08/1.15 c | 58791 | 612 34272 203184 | 1 9400 23 | 0.000 % | 1.08/1.15 c | 58891 | 612 34272 203184 | 1 9500 23 | 0.000 % | 1.08/1.15 c | 59055 | 612 34272 203184 | 1 9664 24 | 0.000 % | 1.08/1.15 c | 59340 | 612 34272 203184 | 1 9949 25 | 0.000 % | 1.08/1.15 c | 59526 | 612 34272 203184 | 1 10135 26 | 0.000 % | 1.18/1.27 c | 59670 | 612 34272 203184 | 1 10279 26 | 0.000 % | 1.18/1.27 c | 59867 | 612 34272 203184 | 1 10476 27 | 0.000 % | 1.18/1.27 c | 60057 | 612 34272 203184 | 1 10666 27 | 0.000 % | 1.18/1.27 c | 60285 | 612 34272 203184 | 1 10894 28 | 0.000 % | 1.18/1.27 c | 60541 | 612 34272 203184 | 1 11150 28 | 0.000 % | 1.18/1.27 c | 60694 | 612 34272 203184 | 1 11303 29 | 0.000 % | 1.18/1.27 c | 60820 | 612 34272 203184 | 1 11429 29 | 0.000 % | 1.18/1.27 c | 60980 | 612 34272 203184 | 1 11589 29 | 0.000 % | 1.18/1.27 c | 61147 | 612 34272 203184 | 1 11756 30 | 0.000 % | 1.18/1.27 c | 61252 | 612 34272 203184 | 1 11861 30 | 0.000 % | 1.18/1.27 c | 61360 | 612 34272 203184 | 1 11969 30 | 0.000 % | 1.18/1.27 c | 61537 | 612 34272 203184 | 1 12146 31 | 0.000 % | 1.18/1.27 c | 61653 | 612 34272 203184 | 1 12262 31 | 0.000 % | 1.18/1.27 c | 61759 | 612 34272 203184 | 1 12368 31 | 0.000 % | 1.18/1.27 c | 61882 | 612 34272 203184 | 1 12491 32 | 0.000 % | 1.18/1.27 c | 61983 | 612 34272 203184 | 1 12592 32 | 0.000 % | 1.18/1.27 c | 62257 | 612 34272 203184 | 1 12866 32 | 0.000 % | 1.18/1.27 c | 62379 | 612 34272 203184 | 1 12988 33 | 0.000 % | 1.18/1.27 c | 62492 | 612 34272 203184 | 1 13101 33 | 0.000 % | 1.18/1.27 c | 62674 | 612 34272 203184 | 1 13283 33 | 0.000 % | 1.18/1.27 c | 62811 | 612 34272 203184 | 1 13420 34 | 0.000 % | 1.18/1.27 c | 63075 | 612 34272 203184 | 1 13684 34 | 0.000 % | 1.18/1.27 c | 63240 | 612 34272 203184 | 1 13849 34 | 0.000 % | 1.18/1.27 c | 63389 | 612 34272 203184 | 1 13998 35 | 0.000 % | 1.18/1.27 c | 63573 | 612 34272 203184 | 1 14182 35 | 0.000 % | 1.18/1.27 c | 63736 | 612 34272 203184 | 1 14345 35 | 0.000 % | 1.18/1.27 c | 63847 | 612 34272 203184 | 1 14456 35 | 0.000 % | 1.18/1.27 c | 64012 | 612 34272 203184 | 1 14621 36 | 0.000 % | 1.18/1.27 c | 64251 | 612 34272 203184 | 1 14860 36 | 0.000 % | 1.18/1.27 c | 64545 | 612 34272 203184 | 1 15154 36 | 0.000 % | 1.18/1.27 c | 64795 | 612 34272 203184 | 1 15404 37 | 0.000 % | 1.18/1.27 c | 65068 | 612 34272 203184 | 1 15677 37 | 0.000 % | 1.18/1.27 c | 65250 | 612 34272 203184 | 1 15859 37 | 0.000 % | 1.18/1.27 c | 65438 | 612 34272 203184 | 1 16047 37 | 0.000 % | 1.18/1.27 c | 65659 | 612 34272 203184 | 1 16268 38 | 0.000 % | 1.18/1.27 c | 65792 | 612 34272 203184 | 1 16401 38 | 0.000 % | 1.18/1.27 c | 65918 | 612 34272 203184 | 1 16527 38 | 0.000 % | 1.18/1.27 c | 66082 | 612 34272 203184 | 1 16691 38 | 0.000 % | 1.18/1.27 c | 66196 | 612 34272 203184 | 1 16805 38 | 0.000 % | 1.18/1.27 c | 66398 | 612 34272 203184 | 1 17007 39 | 0.000 % | 1.18/1.27 c | 66554 | 612 34272 203184 | 1 17163 39 | 0.000 % | 1.18/1.27 c | 66750 | 612 34272 203184 | 1 17359 39 | 0.000 % | 1.18/1.27 c | 66979 | 612 34272 203184 | 1 17588 39 | 0.000 % | 1.18/1.27 c | 67199 | 612 34272 203184 | 1 9010 19 | 0.000 % | 1.18/1.27 c | 67332 | 612 34272 203184 | 1 9143 19 | 0.000 % | 1.18/1.27 c | 67448 | 612 34272 203184 | 1 9259 20 | 0.000 % | 1.18/1.27 c | 67582 | 612 34272 203184 | 1 9393 20 | 0.000 % | 1.18/1.27 c | 67902 | 612 34272 203184 | 1 9713 21 | 0.000 % | 1.18/1.27 c | 68086 | 612 34272 203184 | 1 9897 22 | 0.000 % | 1.18/1.27 c | 68236 | 612 34272 203184 | 1 10047 23 | 0.000 % | 1.38/1.41 c | 68391 | 612 34272 203184 | 1 10202 23 | 0.000 % | 1.38/1.41 c | 68593 | 612 34272 203184 | 1 10404 24 | 0.000 % | 1.38/1.41 c | 68741 | 612 34272 203184 | 1 10552 24 | 0.000 % | 1.38/1.41 c | 68993 | 612 34272 203184 | 1 10804 25 | 0.000 % | 1.38/1.41 c | 69328 | 612 34272 203184 | 1 11139 26 | 0.000 % | 1.38/1.41 c | 69485 | 612 34272 203184 | 1 11296 27 | 0.000 % | 1.38/1.41 c | 69610 | 612 34272 203184 | 1 11421 27 | 0.000 % | 1.38/1.41 c | 69743 | 612 34272 203184 | 1 11554 27 | 0.000 % | 1.38/1.41 c | 69928 | 612 34272 203184 | 1 11739 28 | 0.000 % | 1.38/1.41 c | 70270 | 612 34272 203184 | 1 12081 29 | 0.000 % | 1.38/1.41 c | 70471 | 612 34272 203184 | 1 12282 29 | 0.000 % | 1.38/1.41 c | 70639 | 612 34272 203184 | 1 12450 30 | 0.000 % | 1.38/1.41 c | 70773 | 612 34272 203184 | 1 12584 30 | 0.000 % | 1.38/1.41 c | 70975 | 612 34272 203184 | 1 12786 31 | 0.000 % | 1.38/1.41 c | 71165 | 612 34272 203184 | 1 12976 31 | 0.000 % | 1.38/1.41 c | 71482 | 612 34272 203184 | 1 13293 32 | 0.000 % | 1.38/1.41 c | 71754 | 612 34272 203184 | 1 13565 32 | 0.000 % | 1.38/1.41 c | 71860 | 612 34272 203184 | 1 13671 32 | 0.000 % | 1.38/1.41 c | 72115 | 612 34272 203184 | 1 13926 33 | 0.000 % | 1.38/1.41 c | 72262 | 612 34272 203184 | 1 14073 33 | 0.000 % | 1.38/1.41 c | 72362 | 612 34272 203184 | 1 14173 33 | 0.000 % | 1.38/1.41 c | 72568 | 612 34272 203184 | 1 14379 34 | 0.000 % | 1.38/1.41 c | 72812 | 612 34272 203184 | 1 14623 34 | 0.000 % | 1.38/1.41 c | 73034 | 612 34272 203184 | 1 14845 34 | 0.000 % | 1.38/1.41 c | 73169 | 612 34272 203184 | 1 14980 35 | 0.000 % | 1.38/1.41 c | 73398 | 612 34272 203184 | 1 15209 35 | 0.000 % | 1.38/1.41 c | 73511 | 612 34272 203184 | 1 15322 35 | 0.000 % | 1.38/1.41 c | 73651 | 612 34272 203184 | 1 15462 35 | 0.000 % | 1.38/1.41 c | 73806 | 612 34272 203184 | 1 15617 36 | 0.000 % | 1.38/1.41 c | 74035 | 612 34272 203184 | 1 15846 36 | 0.000 % | 1.38/1.41 c | 74327 | 612 34272 203184 | 1 16138 36 | 0.000 % | 1.38/1.41 c | 74536 | 612 34272 203184 | 1 16347 37 | 0.000 % | 1.38/1.41 c | 74741 | 612 34272 203184 | 1 16552 37 | 0.000 % | 1.38/1.41 c | 74876 | 612 34272 203184 | 1 16687 37 | 0.000 % | 1.38/1.41 c | 75008 | 612 34272 203184 | 1 16819 37 | 0.000 % | 1.38/1.41 c | 75161 | 612 34272 203184 | 1 16972 38 | 0.000 % | 1.38/1.41 c | 75292 | 612 34272 203184 | 1 17103 38 | 0.000 % | 1.38/1.41 c | 75468 | 612 34272 203184 | 1 17279 38 | 0.000 % | 1.38/1.41 c | 75577 | 612 34272 203184 | 1 17388 38 | 0.000 % | 1.38/1.41 c | 75735 | 612 34272 203184 | 1 17546 38 | 0.000 % | 1.38/1.41 c | 75835 | 612 34272 203184 | 1 17646 38 | 0.000 % | 1.38/1.41 c | 75961 | 612 34272 203184 | 1 17772 39 | 0.000 % | 1.38/1.41 c | 76172 | 612 34272 203184 | 1 17983 39 | 0.000 % | 1.38/1.41 c | 76438 | 612 34272 203184 | 1 18249 39 | 0.000 % | 1.38/1.41 c | 76735 | 612 34272 203184 | 1 18546 39 | 0.000 % | 1.38/1.41 c | 76921 | 612 34272 203184 | 1 18732 40 | 0.000 % | 1.38/1.41 c | 77207 | 612 34272 203184 | 1 9619 18 | 0.000 % | 1.38/1.41 c | 77381 | 612 34272 203184 | 1 9793 19 | 0.000 % | 1.38/1.41 c | 77502 | 612 34272 203184 | 1 9914 20 | 0.000 % | 1.48/1.56 c | 77778 | 612 34272 203184 | 1 10190 21 | 0.000 % | 1.48/1.56 c | 77936 | 612 34272 203184 | 1 10348 21 | 0.000 % | 1.48/1.56 c | 78049 | 612 34272 203184 | 1 10461 22 | 0.000 % | 1.48/1.56 c | 78232 | 612 34272 203184 | 1 10644 23 | 0.000 % | 1.48/1.56 c | 78444 | 612 34272 203184 | 1 10856 23 | 0.000 % | 1.48/1.56 c | 78643 | 612 34272 203184 | 1 11055 24 | 0.000 % | 1.48/1.56 c | 78857 | 612 34272 203184 | 1 11269 24 | 0.000 % | 1.48/1.56 c | 79051 | 612 34272 203184 | 1 11463 25 | 0.000 % | 1.48/1.56 c | 79209 | 612 34272 203184 | 1 11621 25 | 0.000 % | 1.48/1.56 c | 79399 | 612 34272 203184 | 1 11811 26 | 0.000 % | 1.48/1.56 c | 79722 | 612 34272 203184 | 1 12134 27 | 0.000 % | 1.48/1.56 c | 79912 | 612 34272 203184 | 1 12324 27 | 0.000 % | 1.48/1.56 c | 80246 | 612 34272 203184 | 1 12658 28 | 0.000 % | 1.48/1.56 c | 80367 | 612 34272 203184 | 1 12779 29 | 0.000 % | 1.48/1.56 c | 80600 | 612 34272 203184 | 1 13012 29 | 0.000 % | 1.48/1.56 c | 80730 | 612 34272 203184 | 1 13142 30 | 0.000 % | 1.48/1.56 c | 80904 | 612 34272 203184 | 1 13316 30 | 0.000 % | 1.48/1.56 c | 81104 | 612 34272 203184 | 1 13516 30 | 0.000 % | 1.48/1.56 c | 81328 | 612 34272 203184 | 1 13740 31 | 0.000 % | 1.48/1.56 c | 81584 | 612 34272 203184 | 1 13996 31 | 0.000 % | 1.48/1.56 c | 81729 | 612 34272 203184 | 1 14141 32 | 0.000 % | 1.48/1.56 c | 81977 | 612 34272 203184 | 1 14389 32 | 0.000 % | 1.48/1.56 c | 82222 | 612 34272 203184 | 1 14634 33 | 0.000 % | 1.48/1.56 c | 82354 | 612 34272 203184 | 1 14766 33 | 0.000 % | 1.48/1.56 c | 82599 | 612 34272 203184 | 1 15011 33 | 0.000 % | 1.48/1.56 c | 83071 | 612 34272 203184 | 1 15483 34 | 0.000 % | 1.48/1.56 c | 83274 | 612 34272 203184 | 1 15686 34 | 0.000 % | 1.48/1.56 c | 83397 | 612 34272 203184 | 1 15809 35 | 0.000 % | 1.48/1.56 c | 83616 | 612 34272 203184 | 1 16028 35 | 0.000 % | 1.48/1.56 c | 83774 | 612 34272 203184 | 1 16186 35 | 0.000 % | 1.48/1.56 c | 84015 | 612 34272 203184 | 1 16427 36 | 0.000 % | 1.48/1.56 c | 84239 | 612 34272 203184 | 1 16651 36 | 0.000 % | 1.48/1.56 c | 84451 | 612 34272 203184 | 1 16863 36 | 0.000 % | 1.48/1.56 c | 84789 | 612 34272 203184 | 1 17201 37 | 0.000 % | 1.48/1.56 c | 85043 | 612 34272 203184 | 1 17455 37 | 0.000 % | 1.48/1.56 c | 85251 | 612 34272 203184 | 1 17663 37 | 0.000 % | 1.48/1.56 c | 85447 | 612 34272 203184 | 1 17859 37 | 0.000 % | 1.48/1.56 c | 85754 | 612 34272 203184 | 1 18166 38 | 0.000 % | 1.48/1.56 c | 85881 | 612 34272 203184 | 1 18293 38 | 0.000 % | 1.48/1.56 c | 86027 | 612 34272 203184 | 1 18439 38 | 0.000 % | 1.48/1.56 c | 86267 | 612 34272 203184 | 1 18679 38 | 0.000 % | 1.48/1.56 c | 86462 | 612 34272 203184 | 1 18874 39 | 0.000 % | 1.48/1.56 c | 86678 | 612 34272 203184 | 1 19090 39 | 0.000 % | 1.48/1.56 c | 87055 | 612 34272 203184 | 1 19467 39 | 0.000 % | 1.48/1.56 c | 87345 | 612 34272 203184 | 1 19757 40 | 0.000 % | 1.48/1.56 c | 87523 | 612 34272 203184 | 1 19935 40 | 0.000 % | 1.48/1.56 c | 87749 | 612 34272 203184 | 1 10162 18 | 0.000 % | 1.48/1.56 c | 87938 | 612 34272 203184 | 1 10351 19 | 0.000 % | 1.48/1.56 c | 88072 | 612 34272 203184 | 1 10485 19 | 0.000 % | 1.48/1.56 c | 88297 | 612 34272 203184 | 1 10710 20 | 0.000 % | 1.67/1.70 c | 88572 | 612 34272 203184 | 1 10985 21 | 0.000 % | 1.67/1.70 c | 88702 | 612 34272 203184 | 1 11115 22 | 0.000 % | 1.67/1.70 c | 88993 | 612 34272 203184 | 1 11406 23 | 0.000 % | 1.67/1.70 c | 89267 | 612 34272 203184 | 1 11680 24 | 0.000 % | 1.67/1.70 c | 89518 | 612 34272 203184 | 1 11931 25 | 0.000 % | 1.67/1.70 c | 89718 | 612 34272 203184 | 1 12131 25 | 0.000 % | 1.67/1.70 c | 89868 | 612 34272 203184 | 1 12281 26 | 0.000 % | 1.67/1.70 c | 90060 | 612 34272 203184 | 1 12473 26 | 0.000 % | 1.67/1.70 c | 90202 | 612 34272 203184 | 1 12615 27 | 0.000 % | 1.67/1.70 c | 90374 | 612 34272 203184 | 1 12787 27 | 0.000 % | 1.67/1.70 c | 90494 | 612 34272 203184 | 1 12907 27 | 0.000 % | 1.67/1.70 c | 90731 | 612 34272 203184 | 1 13144 28 | 0.000 % | 1.67/1.70 c | 90914 | 612 34272 203184 | 1 13327 28 | 0.000 % | 1.67/1.70 c | 91085 | 612 34272 203184 | 1 13498 29 | 0.000 % | 1.67/1.70 c | 91210 | 612 34272 203184 | 1 13623 29 | 0.000 % | 1.67/1.70 c | 91476 | 612 34272 203184 | 1 13889 30 | 0.000 % | 1.67/1.70 c | 91735 | 612 34272 203184 | 1 14148 30 | 0.000 % | 1.67/1.70 c | 91901 | 612 34272 203184 | 1 14314 31 | 0.000 % | 1.67/1.70 c | 92043 | 612 34272 203184 | 1 14456 31 | 0.000 % | 1.67/1.70 c | 92146 | 612 34272 203184 | 1 14559 31 | 0.000 % | 1.67/1.70 c | 92287 | 612 34272 203184 | 1 14700 32 | 0.000 % | 1.67/1.70 c | 92510 | 612 34272 203184 | 1 14923 32 | 0.000 % | 1.67/1.70 c | 92741 | 612 34272 203184 | 1 15154 32 | 0.000 % | 1.67/1.70 c | 92923 | 612 34272 203184 | 1 15336 33 | 0.000 % | 1.67/1.70 c | 93138 | 612 34272 203184 | 1 15551 33 | 0.000 % | 1.67/1.70 c | 93309 | 612 34272 203184 | 1 15722 33 | 0.000 % | 1.67/1.70 c | 93501 | 612 34272 203184 | 1 15914 34 | 0.000 % | 1.67/1.70 c | 93609 | 612 34272 203184 | 1 16022 34 | 0.000 % | 1.67/1.70 c | 93788 | 612 34272 203184 | 1 16201 34 | 0.000 % | 1.67/1.70 c | 94054 | 612 34272 203184 | 1 16467 35 | 0.000 % | 1.67/1.70 c | 94189 | 612 34272 203184 | 1 16602 35 | 0.000 % | 1.67/1.70 c | 94517 | 612 34272 203184 | 1 16930 36 | 0.000 % | 1.67/1.70 c | 94715 | 612 34272 203184 | 1 17128 36 | 0.000 % | 1.67/1.70 c | 94915 | 612 34272 203184 | 1 17328 36 | 0.000 % | 1.67/1.70 c | 95043 | 612 34272 203184 | 1 17456 36 | 0.000 % | 1.67/1.70 c | 95290 | 612 34272 203184 | 1 17703 37 | 0.000 % | 1.67/1.70 c | 95483 | 612 34272 203184 | 1 17896 37 | 0.000 % | 1.67/1.70 c | 95696 | 612 34272 203184 | 1 18109 37 | 0.000 % | 1.67/1.70 c | 95859 | 612 34272 203184 | 1 18272 38 | 0.000 % | 1.67/1.70 c | 96006 | 612 34272 203184 | 1 18419 38 | 0.000 % | 1.67/1.70 c | 96161 | 612 34272 203184 | 1 18574 38 | 0.000 % | 1.67/1.70 c | 96310 | 612 34272 203184 | 1 18723 38 | 0.000 % | 1.67/1.70 c | 96434 | 612 34272 203184 | 1 18847 38 | 0.000 % | 1.67/1.70 c | 96590 | 612 34272 203184 | 1 19003 39 | 0.000 % | 1.67/1.70 c | 96765 | 612 34272 203184 | 1 19178 39 | 0.000 % | 1.67/1.70 c | 97034 | 612 34272 203184 | 1 19447 39 | 0.000 % | 1.67/1.70 c | 97239 | 612 34272 203184 | 1 19652 39 | 0.000 % | 1.67/1.70 c | 97341 | 612 34272 203184 | 1 19754 40 | 0.000 % | 1.67/1.70 c | 97525 | 612 34272 203184 | 1 19938 40 | 0.000 % | 1.67/1.70 c | 97694 | 612 34272 203184 | 1 20107 40 | 0.000 % | 1.77/1.86 c | 97841 | 612 34272 203184 | 1 20254 40 | 0.000 % | 1.77/1.86 c | 98186 | 612 34272 203184 | 1 20599 40 | 0.000 % | 1.77/1.86 c | 98337 | 612 34272 203184 | 1 20750 41 | 0.000 % | 1.77/1.86 c | 98562 | 612 34272 203184 | 1 20975 41 | 0.000 % | 1.77/1.86 c | 98706 | 612 34272 203184 | 1 21119 41 | 0.000 % | 1.77/1.86 c | 99025 | 612 34272 203184 | 1 10841 18 | 0.000 % | 1.77/1.86 c | 99241 | 612 34272 203184 | 1 11057 19 | 0.000 % | 1.77/1.86 c | 99452 | 612 34272 203184 | 1 11268 20 | 0.000 % | 1.77/1.86 c | 99684 | 612 34272 203184 | 1 11500 21 | 0.000 % | 1.77/1.86 c | 99939 | 612 34272 203184 | 1 11755 22 | 0.000 % | 1.77/1.86 c | 100071 | 612 34272 203184 | 1 11887 22 | 0.000 % | 1.77/1.86 c | 100348 | 612 34272 203184 | 1 12164 23 | 0.000 % | 1.77/1.86 c | 100777 | 612 34272 203184 | 1 12593 24 | 0.000 % | 1.77/1.86 c | 101255 | 612 34272 203184 | 1 13071 26 | 0.000 % | 1.77/1.86 c | 101393 | 612 34272 203184 | 1 13209 26 | 0.000 % | 1.77/1.86 c | 101683 | 612 34272 203184 | 1 13499 27 | 0.000 % | 1.77/1.86 c | 102059 | 612 34272 203184 | 1 13875 28 | 0.000 % | 1.77/1.86 c | 102197 | 612 34272 203184 | 1 14013 28 | 0.000 % | 1.77/1.86 c | 102365 | 612 34272 203184 | 1 14181 28 | 0.000 % | 1.77/1.86 c | 102481 | 612 34272 203184 | 1 14297 29 | 0.000 % | 1.77/1.86 c | 102640 | 612 34272 203184 | 1 14456 29 | 0.000 % | 1.77/1.86 c | 102858 | 612 34272 203184 | 1 14674 30 | 0.000 % | 1.77/1.86 c | 102986 | 612 34272 203184 | 1 14802 30 | 0.000 % | 1.77/1.86 c | 103199 | 612 34272 203184 | 1 15015 30 | 0.000 % | 1.77/1.86 c | 103506 | 612 34272 203184 | 1 15322 31 | 0.000 % | 1.77/1.86 c | 103742 | 612 34272 203184 | 1 15558 32 | 0.000 % | 1.77/1.86 c | 103957 | 612 34272 203184 | 1 15773 32 | 0.000 % | 1.77/1.86 c | 104194 | 612 34272 203184 | 1 16010 32 | 0.000 % | 1.77/1.86 c | 104348 | 612 34272 203184 | 1 16164 33 | 0.000 % | 1.77/1.86 c | 104513 | 612 34272 203184 | 1 16329 33 | 0.000 % | 1.77/1.86 c | 104637 | 612 34272 203184 | 1 16453 33 | 0.000 % | 1.77/1.86 c | 104819 | 612 34272 203184 | 1 16635 34 | 0.000 % | 1.77/1.86 c | 105047 | 612 34272 203184 | 1 16863 34 | 0.000 % | 1.77/1.86 c | 105326 | 612 34272 203184 | 1 17142 34 | 0.000 % | 1.77/1.86 c | 105426 | 612 34272 203184 | 1 17242 35 | 0.000 % | 1.77/1.86 c | 105603 | 612 34272 203184 | 1 17419 35 | 0.000 % | 1.77/1.86 c | 105795 | 612 34272 203184 | 1 17611 35 | 0.000 % | 1.77/1.86 c | 106004 | 612 34272 203184 | 1 17820 35 | 0.000 % | 1.77/1.86 c | 106219 | 612 34272 203184 | 1 18035 36 | 0.000 % | 1.77/1.86 c | 106440 | 612 34272 203184 | 1 18256 36 | 0.000 % | 1.77/1.86 c | 106682 | 612 34272 203184 | 1 18498 37 | 0.000 % | 1.77/1.86 c | 106909 | 612 34272 203184 | 1 18725 37 | 0.000 % | 1.77/1.86 c | 107062 | 612 34272 203184 | 1 18878 37 | 0.000 % | 1.77/1.86 c | 107192 | 612 34272 203184 | 1 19008 37 | 0.000 % | 1.77/1.86 c | 107318 | 612 34272 203184 | 1 19134 37 | 0.000 % | 1.77/1.86 c | 107550 | 612 34272 203184 | 1 19366 38 | 0.000 % | 1.77/1.86 c | 107660 | 612 34272 203184 | 1 19476 38 | 0.000 % | 1.77/1.86 c | 107792 | 612 34272 203184 | 1 19608 38 | 0.000 % | 1.77/1.86 c | 107948 | 612 34272 203184 | 1 19764 38 | 0.000 % | 1.77/1.86 c | 108214 | 612 34272 203184 | 1 20030 39 | 0.000 % | 1.97/2.02 c | 108379 | 612 34272 203184 | 1 20195 39 | 0.000 % | 1.97/2.02 c | 108591 | 612 34272 203184 | 1 20407 39 | 0.000 % | 1.97/2.02 c | 108965 | 612 34272 203184 | 1 20781 40 | 0.000 % | 1.97/2.02 c | 109108 | 612 34272 203184 | 1 20924 40 | 0.000 % | 1.97/2.02 c | 109220 | 612 34272 203184 | 1 21036 40 | 0.000 % | 1.97/2.02 c | 109554 | 612 34272 203184 | 1 21370 40 | 0.000 % | 1.97/2.02 c | 109854 | 612 34272 203184 | 1 21670 41 | 0.000 % | 1.97/2.02 c | 110049 | 612 34272 203184 | 1 21865 41 | 0.000 % | 1.97/2.02 c | 110215 | 612 34272 203184 | 1 22031 41 | 0.000 % | 1.97/2.02 c | 110352 | 612 34272 203184 | 1 22168 41 | 0.000 % | 1.97/2.02 c | 110508 | 612 34272 203184 | 1 22324 41 | 0.000 % | 1.97/2.02 c | 110765 | 612 34272 203184 | 1 11391 18 | 0.000 % | 1.97/2.02 c | 111167 | 612 34272 203184 | 1 11793 19 | 0.000 % | 1.97/2.02 c | 111449 | 612 34272 203184 | 1 12075 20 | 0.000 % | 1.97/2.02 c | 111673 | 612 34272 203184 | 1 12299 21 | 0.000 % | 1.97/2.02 c | 111806 | 612 34272 203184 | 1 12432 21 | 0.000 % | 1.97/2.02 c | 111943 | 612 34272 203184 | 1 12569 22 | 0.000 % | 1.97/2.02 c | 112121 | 612 34272 203184 | 1 12747 22 | 0.000 % | 1.97/2.02 c | 112333 | 612 34272 203184 | 1 12959 23 | 0.000 % | 1.97/2.02 c | 112512 | 612 34272 203184 | 1 13138 24 | 0.000 % | 1.97/2.02 c | 112627 | 612 34272 203184 | 1 13253 24 | 0.000 % | 1.97/2.02 c | 112806 | 612 34272 203184 | 1 13432 25 | 0.000 % | 1.97/2.02 c | 112969 | 612 34272 203184 | 1 13595 25 | 0.000 % | 1.97/2.02 c | 113204 | 612 34272 203184 | 1 13830 26 | 0.000 % | 1.97/2.02 c | 113459 | 612 34272 203184 | 1 14085 26 | 0.000 % | 1.97/2.02 c | 113675 | 612 34272 203184 | 1 14301 27 | 0.000 % | 1.97/2.02 c | 113850 | 612 34272 203184 | 1 14476 27 | 0.000 % | 1.97/2.02 c | 114022 | 612 34272 203184 | 1 14648 28 | 0.000 % | 1.97/2.02 c | 114297 | 612 34272 203184 | 1 14923 28 | 0.000 % | 1.97/2.02 c | 114485 | 612 34272 203184 | 1 15111 29 | 0.000 % | 1.97/2.02 c | 114802 | 612 34272 203184 | 1 15428 30 | 0.000 % | 1.97/2.02 c | 114928 | 612 34272 203184 | 1 15554 30 | 0.000 % | 1.97/2.02 c | 115097 | 612 34272 203184 | 1 15723 30 | 0.000 % | 1.97/2.02 c | 115271 | 612 34272 203184 | 1 15897 31 | 0.000 % | 1.97/2.02 c | 115421 | 612 34272 203184 | 1 16047 31 | 0.000 % | 1.97/2.02 c | 115661 | 612 34272 203184 | 1 16287 32 | 0.000 % | 1.97/2.02 c | 115860 | 612 34272 203184 | 1 16486 32 | 0.000 % | 1.97/2.02 c | 116074 | 612 34272 203184 | 1 16700 33 | 0.000 % | 1.97/2.02 c | 116322 | 612 34272 203184 | 1 16948 33 | 0.000 % | 1.97/2.02 c | 116528 | 612 34272 203184 | 1 17154 33 | 0.000 % | 1.97/2.02 c | 116778 | 612 34272 203184 | 1 17404 34 | 0.000 % | 1.97/2.02 c | 116910 | 612 34272 203184 | 1 17536 34 | 0.000 % | 1.97/2.02 c | 117346 | 612 34272 203184 | 1 17972 35 | 0.000 % | 1.97/2.02 c | 117644 | 612 34272 203184 | 1 18270 35 | 0.000 % | 1.97/2.02 c | 117909 | 612 34272 203184 | 1 18535 36 | 0.000 % | 1.97/2.02 c | 118009 | 612 34272 203184 | 1 18635 36 | 0.000 % | 1.97/2.02 c | 118171 | 612 34272 203184 | 1 18797 36 | 0.000 % | 1.97/2.02 c | 118336 | 612 34272 203184 | 1 18962 37 | 0.000 % | 1.97/2.02 c | 118601 | 612 34272 203184 | 1 19227 37 | 0.000 % | 1.97/2.02 c | 118702 | 612 34272 203184 | 1 19328 37 | 0.000 % | 2.08/2.20 c | 118894 | 612 34272 203184 | 1 19520 37 | 0.000 % | 2.08/2.20 c | 119040 | 612 34272 203184 | 1 19666 38 | 0.000 % | 2.08/2.20 c | 119227 | 612 34272 203184 | 1 19853 38 | 0.000 % | 2.08/2.20 c | 119426 | 612 34272 203184 | 1 20052 38 | 0.000 % | 2.08/2.20 c | 119719 | 612 34272 203184 | 1 20345 39 | 0.000 % | 2.08/2.20 c | 120037 | 612 34272 203184 | 1 20663 39 | 0.000 % | 2.08/2.20 c | 120380 | 612 34272 203184 | 1 21006 39 | 0.000 % | 2.08/2.20 c | 120586 | 612 34272 203184 | 1 21212 39 | 0.000 % | 2.08/2.20 c | 120745 | 612 34272 203184 | 1 21371 40 | 0.000 % | 2.08/2.20 c | 120909 | 612 34272 203184 | 1 21535 40 | 0.000 % | 2.08/2.20 c | 121091 | 612 34272 203184 | 1 21717 40 | 0.000 % | 2.08/2.20 c | 121292 | 612 34272 203184 | 1 21918 40 | 0.000 % | 2.08/2.20 c | 121476 | 612 34272 203184 | 1 22102 41 | 0.000 % | 2.08/2.20 c | 121634 | 612 34272 203184 | 1 22260 41 | 0.000 % | 2.08/2.20 c | 121911 | 612 34272 203184 | 1 22537 41 | 0.000 % | 2.08/2.20 c | 122233 | 612 34272 203184 | 1 22859 41 | 0.000 % | 2.08/2.20 c | 122517 | 612 34272 203184 | 1 23143 42 | 0.000 % | 2.08/2.20 c | 122694 | 612 34272 203184 | 1 23320 42 | 0.000 % | 2.08/2.20 c | 122803 | 612 34272 203184 | 1 23429 42 | 0.000 % | 2.08/2.20 c | 123169 | 612 34272 203184 | 1 11996 18 | 0.000 % | 2.08/2.20 c | 123393 | 612 34272 203184 | 1 12220 19 | 0.000 % | 2.08/2.20 c | 123753 | 612 34272 203184 | 1 12580 20 | 0.000 % | 2.08/2.20 c | 123984 | 612 34272 203184 | 1 12811 21 | 0.000 % | 2.08/2.20 c | 124319 | 612 34272 203184 | 1 13146 22 | 0.000 % | 2.08/2.20 c | 124456 | 612 34272 203184 | 1 13283 22 | 0.000 % | 2.08/2.20 c | 124827 | 612 34272 203184 | 1 13654 23 | 0.000 % | 2.08/2.20 c | 125214 | 612 34272 203184 | 1 14041 25 | 0.000 % | 2.08/2.20 c | 125484 | 612 34272 203184 | 1 14311 25 | 0.000 % | 2.08/2.20 c | 125654 | 612 34272 203184 | 1 14481 26 | 0.000 % | 2.08/2.20 c | 126026 | 612 34272 203184 | 1 14853 27 | 0.000 % | 2.08/2.20 c | 126169 | 612 34272 203184 | 1 14996 27 | 0.000 % | 2.08/2.20 c | 126401 | 612 34272 203184 | 1 15228 28 | 0.000 % | 2.08/2.20 c | 126561 | 612 34272 203184 | 1 15388 28 | 0.000 % | 2.08/2.20 c | 126827 | 612 34272 203184 | 1 15654 29 | 0.000 % | 2.08/2.20 c | 127245 | 612 34272 203184 | 1 16072 30 | 0.000 % | 2.08/2.20 c | 127504 | 612 34272 203184 | 1 16331 30 | 0.000 % | 2.08/2.20 c | 127683 | 612 34272 203184 | 1 16510 31 | 0.000 % | 2.08/2.20 c | 127837 | 612 34272 203184 | 1 16664 31 | 0.000 % | 2.08/2.20 c | 128037 | 612 34272 203184 | 1 16864 31 | 0.000 % | 2.08/2.20 c | 128278 | 612 34272 203184 | 1 17105 32 | 0.000 % | 2.08/2.20 c | 128407 | 612 34272 203184 | 1 17234 32 | 0.000 % | 2.08/2.20 c | 128658 | 612 34272 203184 | 1 17485 32 | 0.000 % | 2.08/2.20 c | 128862 | 612 34272 203184 | 1 17689 33 | 0.000 % | 2.08/2.20 c | 128969 | 612 34272 203184 | 1 17796 33 | 0.000 % | 2.08/2.20 c | 129177 | 612 34272 203184 | 1 18004 33 | 0.000 % | 2.08/2.20 c | 129323 | 612 34272 203184 | 1 18150 33 | 0.000 % | 2.08/2.20 c | 129445 | 612 34272 203184 | 1 18272 34 | 0.000 % | 2.08/2.20 c | 129657 | 612 34272 203184 | 1 18484 34 | 0.000 % | 2.08/2.20 c | 129904 | 612 34272 203184 | 1 18731 35 | 0.000 % | 2.08/2.20 c | 130021 | 612 34272 203184 | 1 18848 35 | 0.000 % | 2.27/2.39 c | 130249 | 612 34272 203184 | 1 19076 35 | 0.000 % | 2.27/2.39 c | 130442 | 612 34272 203184 | 1 19269 35 | 0.000 % | 2.27/2.39 c | 130600 | 612 34272 203184 | 1 19427 36 | 0.000 % | 2.27/2.39 c | 130746 | 612 34272 203184 | 1 19573 36 | 0.000 % | 2.27/2.39 c | 130963 | 612 34272 203184 | 1 19790 36 | 0.000 % | 2.27/2.39 c | 131261 | 612 34272 203184 | 1 20088 37 | 0.000 % | 2.27/2.39 c | 131538 | 612 34272 203184 | 1 20365 37 | 0.000 % | 2.27/2.39 c | 131661 | 612 34272 203184 | 1 20488 37 | 0.000 % | 2.27/2.39 c | 131970 | 612 34272 203184 | 1 20797 38 | 0.000 % | 2.27/2.39 c | 132185 | 612 34272 203184 | 1 21012 38 | 0.000 % | 2.27/2.39 c | 132432 | 612 34272 203184 | 1 21259 38 | 0.000 % | 2.27/2.39 c | 132799 | 612 34272 203184 | 1 21626 39 | 0.000 % | 2.27/2.39 c | 133072 | 612 34272 203184 | 1 21899 39 | 0.000 % | 2.27/2.39 c | 133313 | 612 34272 203184 | 1 22140 39 | 0.000 % | 2.27/2.39 c | 133461 | 612 34272 203184 | 1 22288 40 | 0.000 % | 2.27/2.39 c | 133604 | 612 34272 203184 | 1 22431 40 | 0.000 % | 2.27/2.39 c | 133785 | 612 34272 203184 | 1 22612 40 | 0.000 % | 2.27/2.39 c | 133934 | 612 34272 203184 | 1 22761 40 | 0.000 % | 2.27/2.39 c | 134126 | 612 34272 203184 | 1 22953 40 | 0.000 % | 2.27/2.39 c | 134288 | 612 34272 203184 | 1 23115 41 | 0.000 % | 2.27/2.39 c | 134594 | 612 34272 203184 | 1 23421 41 | 0.000 % | 2.27/2.39 c | 134986 | 612 34272 203184 | 1 23813 41 | 0.000 % | 2.27/2.39 c | 135190 | 612 34272 203184 | 1 24017 41 | 0.000 % | 2.27/2.39 c | 135545 | 612 34272 203184 | 1 24372 42 | 0.000 % | 2.27/2.39 c | 135654 | 612 34272 203184 | 1 24481 42 | 0.000 % | 2.27/2.39 c | 135941 | 612 34272 203184 | 1 24768 42 | 0.000 % | 2.27/2.39 c | 136242 | 612 34272 203184 | 1 12659 18 | 0.000 % | 2.27/2.39 c | 136439 | 612 34272 203184 | 1 12856 18 | 0.000 % | 2.27/2.39 c | 136592 | 612 34272 203184 | 1 13009 19 | 0.000 % | 2.27/2.39 c | 136767 | 612 34272 203184 | 1 13184 20 | 0.000 % | 2.27/2.39 c | 136980 | 612 34272 203184 | 1 13397 20 | 0.000 % | 2.27/2.39 c | 137166 | 612 34272 203184 | 1 13583 21 | 0.000 % | 2.27/2.39 c | 137493 | 612 34272 203184 | 1 13910 22 | 0.000 % | 2.27/2.39 c | 137666 | 612 34272 203184 | 1 14083 23 | 0.000 % | 2.27/2.39 c | 138170 | 612 34272 203184 | 1 14587 24 | 0.000 % | 2.27/2.39 c | 138469 | 612 34272 203184 | 1 14886 25 | 0.000 % | 2.27/2.39 c | 138677 | 612 34272 203184 | 1 15094 25 | 0.000 % | 2.27/2.39 c | 139000 | 612 34272 203184 | 1 15417 26 | 0.000 % | 2.27/2.39 c | 139547 | 612 34272 203184 | 1 15964 27 | 0.000 % | 2.27/2.39 c | 139820 | 612 34272 203184 | 1 16237 28 | 0.000 % | 2.27/2.39 c | 139973 | 612 34272 203184 | 1 16390 29 | 0.000 % | 2.27/2.39 c | 140233 | 612 34272 203184 | 1 16650 29 | 0.000 % | 2.27/2.39 c | 140487 | 612 34272 203184 | 1 16904 30 | 0.000 % | 2.27/2.39 c | 140892 | 612 34272 203184 | 1 17309 30 | 0.000 % | 2.27/2.39 c | 141029 | 612 34272 203184 | 1 17446 31 | 0.000 % | 2.27/2.39 c | 141283 | 612 34272 203184 | 1 17700 31 | 0.000 % | 2.27/2.39 c | 141464 | 612 34272 203184 | 1 17881 32 | 0.000 % | 2.27/2.39 c | 141610 | 612 34272 203184 | 1 18027 32 | 0.000 % | 2.27/2.39 c | 141988 | 612 34272 203184 | 1 18405 32 | 0.000 % | 2.27/2.39 c | 142363 | 612 34272 203184 | 1 18780 33 | 0.000 % | 2.57/2.63 c | 142464 | 612 34272 203184 | 1 18881 33 | 0.000 % | 2.57/2.63 c | 142698 | 612 34272 203184 | 1 19115 34 | 0.000 % | 2.57/2.63 c | 143253 | 612 34272 203184 | 1 19670 35 | 0.000 % | 2.57/2.63 c | 143522 | 612 34272 203184 | 1 19939 35 | 0.000 % | 2.57/2.63 c | 143931 | 612 34272 203184 | 1 20348 36 | 0.000 % | 2.57/2.63 c | 144343 | 612 34272 203184 | 1 20760 36 | 0.000 % | 2.57/2.63 c | 144805 | 612 34272 203184 | 1 21222 37 | 0.000 % | 2.57/2.63 c | 145644 | 612 34272 203184 | 1 22061 38 | 0.000 % | 2.57/2.63 c | 145808 | 612 34272 203184 | 1 22225 38 | 0.000 % | 2.57/2.63 c | 146112 | 612 34272 203184 | 1 22529 39 | 0.000 % | 2.57/2.63 c | 146293 | 612 34272 203184 | 1 22710 39 | 0.000 % | 2.57/2.63 c | 146691 | 612 34272 203184 | 1 23108 39 | 0.000 % | 2.57/2.63 c | 147018 | 612 34272 203184 | 1 23435 40 | 0.000 % | 2.57/2.63 c | 147354 | 612 34272 203184 | 1 23771 40 | 0.000 % | 2.57/2.63 c | 147744 | 612 34272 203184 | 1 24161 40 | 0.000 % | 2.57/2.63 c | 147884 | 612 34272 203184 | 1 24301 41 | 0.000 % | 2.57/2.63 c | 148148 | 612 34272 203184 | 1 24565 41 | 0.000 % | 2.57/2.63 c | 148443 | 612 34272 203184 | 1 24860 41 | 0.000 % | 2.57/2.63 c | 148632 | 612 34272 203184 | 1 25049 41 | 0.000 % | 2.57/2.63 c | 149111 | 612 34272 203184 | 1 25528 42 | 0.000 % | 2.57/2.63 c | 149433 | 612 34272 203184 | 1 25850 42 | 0.000 % | 2.57/2.63 c | 149722 | 612 34272 203184 | 1 13141 17 | 0.000 % | 2.57/2.63 c | 150214 | 612 34272 203184 | 1 13633 19 | 0.000 % | 2.57/2.63 c | 150678 | 612 34272 203184 | 1 14097 20 | 0.000 % | 2.57/2.63 c | 151025 | 612 34272 203184 | 1 14444 21 | 0.000 % | 2.57/2.63 c | 151439 | 612 34272 203184 | 1 14858 23 | 0.000 % | 2.57/2.63 c | 151646 | 612 34272 203184 | 1 15065 23 | 0.000 % | 2.57/2.63 c | 152128 | 612 34272 203184 | 1 15547 25 | 0.000 % | 2.57/2.63 c | 152687 | 612 34272 203184 | 1 16106 26 | 0.000 % | 2.57/2.63 c | 152817 | 612 34272 203184 | 1 16236 26 | 0.000 % | 2.57/2.63 c | 153009 | 612 34272 203184 | 1 16428 27 | 0.000 % | 2.57/2.63 c | 153225 | 612 34272 203184 | 1 16644 27 | 0.000 % | 2.57/2.63 c | 153488 | 612 34272 203184 | 1 16907 28 | 0.000 % | 2.57/2.63 c | 153641 | 612 34272 203184 | 1 17060 28 | 0.000 % | 2.57/2.63 c | 153921 | 612 34272 203184 | 1 17340 29 | 0.000 % | 2.57/2.63 c | 154160 | 612 34272 203184 | 1 17579 30 | 0.000 % | 2.57/2.63 c | 154325 | 612 34272 203184 | 1 17744 30 | 0.000 % | 2.57/2.63 c | 154601 | 612 34272 203184 | 1 18020 30 | 0.000 % | 2.57/2.63 c | 154866 | 612 34272 203184 | 1 18285 31 | 0.000 % | 2.57/2.63 c | 155057 | 612 34272 203184 | 1 18476 31 | 0.000 % | 2.57/2.63 c | 155263 | 612 34272 203184 | 1 18682 32 | 0.000 % | 2.57/2.63 c | 155449 | 612 34272 203184 | 1 18868 32 | 0.000 % | 2.57/2.63 c | 155765 | 612 34272 203184 | 1 19184 32 | 0.000 % | 2.57/2.63 c | 156196 | 612 34272 203184 | 1 19615 33 | 0.000 % | 2.57/2.63 c | 156516 | 612 34272 203184 | 1 19935 34 | 0.000 % | 2.57/2.63 c | 156804 | 612 34272 203184 | 1 20223 34 | 0.000 % | 2.57/2.63 c | 157277 | 612 34272 203184 | 1 20696 35 | 0.000 % | 2.57/2.63 c | 157747 | 612 34272 203184 | 1 21166 36 | 0.000 % | 2.57/2.63 c | 158112 | 612 34272 203184 | 1 21531 36 | 0.000 % | 2.57/2.63 c | 158560 | 612 34272 203184 | 1 21979 37 | 0.000 % | 2.77/2.87 c | 158814 | 612 34272 203184 | 1 22233 37 | 0.000 % | 2.77/2.87 c | 159177 | 612 34272 203184 | 1 22596 38 | 0.000 % | 2.77/2.87 c | 159459 | 612 34272 203184 | 1 22878 38 | 0.000 % | 2.77/2.87 c | 159669 | 612 34272 203184 | 1 23088 38 | 0.000 % | 2.77/2.87 c | 159775 | 612 34272 203184 | 1 23194 38 | 0.000 % | 2.77/2.87 c | 160105 | 612 34272 203184 | 1 23524 39 | 0.000 % | 2.77/2.87 c | 160416 | 612 34272 203184 | 1 23835 39 | 0.000 % | 2.77/2.87 c | 160746 | 612 34272 203184 | 1 24165 39 | 0.000 % | 2.77/2.87 c | 160994 | 612 34272 203184 | 1 24413 40 | 0.000 % | 2.77/2.87 c | 161095 | 612 34272 203184 | 1 24514 40 | 0.000 % | 2.77/2.87 c | 161574 | 612 34272 203184 | 1 24993 40 | 0.000 % | 2.77/2.87 c | 161831 | 612 34272 203184 | 1 25250 41 | 0.000 % | 2.77/2.87 c | 162087 | 612 34272 203184 | 1 25506 41 | 0.000 % | 2.77/2.87 c | 162362 | 612 34272 203184 | 1 25781 41 | 0.000 % | 2.77/2.87 c | 162605 | 612 34272 203184 | 1 26024 41 | 0.000 % | 2.77/2.87 c | 162901 | 612 34272 203184 | 1 26320 42 | 0.000 % | 2.77/2.87 c | 163380 | 612 34272 203184 | 1 26799 42 | 0.000 % | 2.77/2.87 c | 163639 | 612 34272 203184 | 1 27058 42 | 0.000 % | 2.77/2.87 c | 163767 | 612 34272 203184 | 1 27186 43 | 0.000 % | 2.77/2.87 c | 163977 | 612 34272 203184 | 1 13793 17 | 0.000 % | 2.77/2.87 c | 164169 | 612 34272 203184 | 1 13985 18 | 0.000 % | 2.77/2.87 c | 164374 | 612 34272 203184 | 1 14190 19 | 0.000 % | 2.77/2.87 c | 164788 | 612 34272 203184 | 1 14604 20 | 0.000 % | 2.77/2.87 c | 165183 | 612 34272 203184 | 1 14999 21 | 0.000 % | 2.77/2.87 c | 165353 | 612 34272 203184 | 1 15169 22 | 0.000 % | 2.77/2.87 c | 165698 | 612 34272 203184 | 1 15514 22 | 0.000 % | 2.77/2.87 c | 166028 | 612 34272 203184 | 1 15844 23 | 0.000 % | 2.77/2.87 c | 166575 | 612 34272 203184 | 1 16391 25 | 0.000 % | 2.77/2.87 c | 166927 | 612 34272 203184 | 1 16743 26 | 0.000 % | 2.77/2.87 c | 167115 | 612 34272 203184 | 1 16931 26 | 0.000 % | 2.77/2.87 c | 167796 | 612 34272 203184 | 1 17612 28 | 0.000 % | 2.77/2.87 c | 168063 | 612 34272 203184 | 1 17879 28 | 0.000 % | 2.77/2.87 c | 168323 | 612 34272 203184 | 1 18139 29 | 0.000 % | 2.77/2.87 c | 168477 | 612 34272 203184 | 1 18293 29 | 0.000 % | 2.77/2.87 c | 169149 | 612 34272 203184 | 1 18965 31 | 0.000 % | 2.77/2.87 c | 169764 | 612 34272 203184 | 1 19580 32 | 0.000 % | 2.77/2.87 c | 170160 | 612 34272 203184 | 1 19976 32 | 0.000 % | 2.77/2.87 c | 170651 | 612 34272 203184 | 1 20467 33 | 0.000 % | 2.77/2.87 c | 170972 | 612 34272 203184 | 1 20788 34 | 0.000 % | 2.77/2.87 c | 171538 | 612 34272 203184 | 1 21354 35 | 0.000 % | 2.77/2.87 c | 171737 | 612 34272 203184 | 1 21553 35 | 0.000 % | 2.77/2.87 c | 172144 | 612 34272 203184 | 1 21960 36 | 0.000 % | 2.77/2.87 c | 172322 | 612 34272 203184 | 1 22138 36 | 0.000 % | 2.77/2.87 c | 172628 | 612 34272 203184 | 1 22444 36 | 0.000 % | 2.77/2.87 c | 172799 | 612 34272 203184 | 1 22615 36 | 0.000 % | 2.77/2.87 c | 173083 | 612 34272 203184 | 1 22899 37 | 0.000 % | 2.77/2.87 c | 173357 | 612 34272 203184 | 1 23173 37 | 0.000 % | 2.77/2.87 c | 173581 | 612 34272 203184 | 1 23397 37 | 0.000 % | 2.77/2.87 c | 173761 | 612 34272 203184 | 1 23577 38 | 0.000 % | 2.77/2.87 c | 173960 | 612 34272 203184 | 1 23776 38 | 0.000 % | 2.97/3.03 c | 174506 | 612 34272 203184 | 1 24322 39 | 0.000 % | 2.97/3.03 c | 174617 | 612 34272 203184 | 1 24433 39 | 0.000 % | 2.97/3.03 c | 174810 | 612 34272 203184 | 1 24626 39 | 0.000 % | 2.97/3.03 c | 174910 | 612 34272 203184 | 1 24726 39 | 0.000 % | 2.97/3.03 c | 175011 | 612 34272 203184 | 1 24827 39 | 0.000 % | 2.97/3.03 c | 175154 | 612 34272 203184 | 1 24970 39 | 0.000 % | 2.97/3.03 c | 175758 | 612 34272 203184 | 1 25574 40 | 0.000 % | 2.97/3.03 c | 175942 | 612 34272 203184 | 1 25758 40 | 0.000 % | 2.97/3.03 c | 176165 | 612 34272 203184 | 1 25981 41 | 0.000 % | 2.97/3.03 c | 176266 | 612 34272 203184 | 1 26082 41 | 0.000 % | 2.97/3.03 c | 176366 | 612 34272 203184 | 1 26182 41 | 0.000 % | 2.97/3.03 c | 176591 | 612 34272 203184 | 1 26407 41 | 0.000 % | 2.97/3.03 c | 176703 | 612 34272 203184 | 1 26519 41 | 0.000 % | 2.97/3.03 c | 176804 | 612 34272 203184 | 1 26620 42 | 0.000 % | 2.97/3.03 c | 176904 | 612 34272 203184 | 1 26720 42 | 0.000 % | 2.97/3.03 c | 177004 | 612 34272 203184 | 1 26820 42 | 0.000 % | 2.97/3.03 c | 177107 | 612 34272 203184 | 1 26923 42 | 0.000 % | 2.97/3.03 c | 177207 | 612 34272 203184 | 1 27023 42 | 0.000 % | 2.97/3.03 c | 177307 | 612 34272 203184 | 1 27123 42 | 0.000 % | 2.97/3.03 c | 177408 | 612 34272 203184 | 1 27224 42 | 0.000 % | 2.97/3.03 c | 177510 | 612 34272 203184 | 1 27326 43 | 0.000 % | 2.97/3.03 c | 177611 | 612 34272 203184 | 1 27427 43 | 0.000 % | 2.97/3.03 c | 177711 | 612 34272 203184 | 1 27527 43 | 0.000 % | 2.97/3.03 c | 177812 | 612 34272 203184 | 1 27628 43 | 0.000 % | 2.97/3.03 c | 177913 | 612 34272 203184 | 1 27729 43 | 0.000 % | 2.97/3.03 c | 178014 | 612 34272 203184 | 1 27830 43 | 0.000 % | 2.97/3.03 c | 178115 | 612 34272 203184 | 1 27931 43 | 0.000 % | 2.97/3.03 c | 178216 | 612 34272 203184 | 1 28032 44 | 0.000 % | 2.97/3.03 c | 178317 | 612 34272 203184 | 1 28133 44 | 0.000 % | 2.97/3.03 c | 178418 | 612 34272 203184 | 1 28234 44 | 0.000 % | 2.97/3.03 c | 178520 | 612 34272 203184 | 1 28336 44 | 0.000 % | 2.97/3.03 c | 178887 | 612 34272 203184 | 1 14501 17 | 0.000 % | 2.97/3.03 c | 179082 | 612 34272 203184 | 1 14696 18 | 0.000 % | 2.97/3.03 c | 179414 | 612 34272 203184 | 1 15028 19 | 0.000 % | 2.97/3.03 c | 179712 | 612 34272 203184 | 1 15326 20 | 0.000 % | 2.97/3.03 c | 180003 | 612 34272 203184 | 1 15617 21 | 0.000 % | 2.97/3.03 c | 180400 | 612 34272 203184 | 1 16014 22 | 0.000 % | 2.97/3.03 c | 180603 | 612 34272 203184 | 1 16217 22 | 0.000 % | 2.97/3.03 c | 180772 | 612 34272 203184 | 1 16386 23 | 0.000 % | 2.97/3.03 c | 181064 | 612 34272 203184 | 1 16678 24 | 0.000 % | 2.97/3.03 c | 181194 | 612 34272 203184 | 1 16808 24 | 0.000 % | 2.97/3.03 c | 181459 | 612 34272 203184 | 1 17073 25 | 0.000 % | 2.97/3.03 c | 181675 | 612 34272 203184 | 1 17289 25 | 0.000 % | 2.97/3.03 c | 181965 | 612 34272 203184 | 1 17579 26 | 0.000 % | 2.97/3.03 c | 182195 | 612 34272 203184 | 1 17809 26 | 0.000 % | 2.97/3.03 c | 182338 | 612 34272 203184 | 1 17952 27 | 0.000 % | 2.97/3.03 c | 182481 | 612 34272 203184 | 1 18095 27 | 0.000 % | 2.97/3.03 c | 182896 | 612 34272 203184 | 1 18510 28 | 0.000 % | 2.97/3.03 c | 183061 | 612 34272 203184 | 1 18675 29 | 0.000 % | 2.97/3.03 c | 183315 | 612 34272 203184 | 1 18929 29 | 0.000 % | 3.18/3.26 c | 183545 | 612 34272 203184 | 1 19159 30 | 0.000 % | 3.18/3.26 c | 183731 | 612 34272 203184 | 1 19345 30 | 0.000 % | 3.18/3.26 c | 183974 | 612 34272 203184 | 1 19588 30 | 0.000 % | 3.18/3.26 c | 184370 | 612 34272 203184 | 1 19984 31 | 0.000 % | 3.18/3.26 c | 184513 | 612 34272 203184 | 1 20127 31 | 0.000 % | 3.18/3.26 c | 184697 | 612 34272 203184 | 1 20311 32 | 0.000 % | 3.18/3.26 c | 184900 | 612 34272 203184 | 1 20514 32 | 0.000 % | 3.18/3.26 c | 185384 | 612 34272 203184 | 1 20998 33 | 0.000 % | 3.18/3.26 c | 185501 | 612 34272 203184 | 1 21115 33 | 0.000 % | 3.18/3.26 c | 185772 | 612 34272 203184 | 1 21386 34 | 0.000 % | 3.18/3.26 c | 186051 | 612 34272 203184 | 1 21665 34 | 0.000 % | 3.18/3.26 c | 186278 | 612 34272 203184 | 1 21892 35 | 0.000 % | 3.18/3.26 c | 186514 | 612 34272 203184 | 1 22128 35 | 0.000 % | 3.18/3.26 c | 186965 | 612 34272 203184 | 1 22579 36 | 0.000 % | 3.18/3.26 c | 187154 | 612 34272 203184 | 1 22768 36 | 0.000 % | 3.18/3.26 c | 187478 | 612 34272 203184 | 1 23092 36 | 0.000 % | 3.18/3.26 c | 187883 | 612 34272 203184 | 1 23497 37 | 0.000 % | 3.18/3.26 c | 188080 | 612 34272 203184 | 1 23694 37 | 0.000 % | 3.18/3.26 c | 188557 | 612 34272 203184 | 1 24171 38 | 0.000 % | 3.18/3.26 c | 188785 | 612 34272 203184 | 1 24399 38 | 0.000 % | 3.18/3.26 c | 188994 | 612 34272 203184 | 1 24608 38 | 0.000 % | 3.18/3.26 c | 189240 | 612 34272 203184 | 1 24854 39 | 0.000 % | 3.18/3.26 c | 189622 | 612 34272 203184 | 1 25236 39 | 0.000 % | 3.18/3.26 c | 189828 | 612 34272 203184 | 1 25442 39 | 0.000 % | 3.18/3.26 c | 190151 | 612 34272 203184 | 1 25765 40 | 0.000 % | 3.18/3.26 c | 190389 | 612 34272 203184 | 1 26003 40 | 0.000 % | 3.18/3.26 c | 190591 | 612 34272 203184 | 1 26205 40 | 0.000 % | 3.18/3.26 c | 190739 | 612 34272 203184 | 1 26353 40 | 0.000 % | 3.18/3.26 c | 191141 | 612 34272 203184 | 1 26755 41 | 0.000 % | 3.18/3.26 c | 191379 | 612 34272 203184 | 1 26993 41 | 0.000 % | 3.18/3.26 c | 191617 | 612 34272 203184 | 1 27231 41 | 0.000 % | 3.18/3.26 c | 191949 | 612 34272 203184 | 1 27563 41 | 0.000 % | 3.18/3.26 c | 192203 | 612 34272 203184 | 1 27817 42 | 0.000 % | 3.18/3.26 c | 192632 | 612 34272 203184 | 1 28246 42 | 0.000 % | 3.18/3.26 c | 192948 | 612 34272 203184 | 1 28562 42 | 0.000 % | 3.18/3.26 c | 193133 | 612 34272 203184 | 1 28747 42 | 0.000 % | 3.18/3.26 c | 193295 | 612 34272 203184 | 1 28909 43 | 0.000 % | 3.18/3.26 c | 193540 | 612 34272 203184 | 1 29154 43 | 0.000 % | 3.18/3.26 c | 193754 | 612 34272 203184 | 1 29368 43 | 0.000 % | 3.18/3.26 c | 193880 | 612 34272 203184 | 1 29494 43 | 0.000 % | 3.18/3.26 c | 194325 | 612 34272 203184 | 1 15156 18 | 0.000 % | 3.18/3.26 c | 194765 | 612 34272 203184 | 1 15596 19 | 0.000 % | 3.18/3.26 c | 195015 | 612 34272 203184 | 1 15846 20 | 0.000 % | 3.18/3.26 c | 195279 | 612 34272 203184 | 1 16110 21 | 0.000 % | 3.18/3.26 c | 195730 | 612 34272 203184 | 1 16561 22 | 0.000 % | 3.18/3.26 c | 196117 | 612 34272 203184 | 1 16948 23 | 0.000 % | 3.18/3.26 c | 196362 | 612 34272 203184 | 1 17193 24 | 0.000 % | 3.18/3.26 c | 196653 | 612 34272 203184 | 1 17484 24 | 0.000 % | 3.18/3.26 c | 196833 | 612 34272 203184 | 1 17664 25 | 0.000 % | 3.18/3.26 c | 196948 | 612 34272 203184 | 1 17779 25 | 0.000 % | 4.28/4.37 c | 197254 | 612 34272 203184 | 1 18085 26 | 0.000 % | 4.28/4.37 c | 197562 | 612 34272 203184 | 1 18393 27 | 0.000 % | 4.28/4.37 c | 197777 | 612 34272 203184 | 1 18608 27 | 0.000 % | 4.28/4.37 c | 198013 | 612 34272 203184 | 1 18844 28 | 0.000 % | 4.28/4.37 c | 198362 | 612 34272 203184 | 1 19193 29 | 0.000 % | 4.28/4.37 c | 198841 | 612 34272 203184 | 1 19672 30 | 0.000 % | 4.28/4.37 c | 199234 | 612 34272 203184 | 1 20065 30 | 0.000 % | 4.28/4.37 c | 199610 | 612 34272 203184 | 1 20441 31 | 0.000 % | 4.28/4.37 c | 200002 | 612 34272 203184 | 1 20833 32 | 0.000 % | 4.28/4.37 c | 200310 | 612 34272 203184 | 1 21141 32 | 0.000 % | 4.28/4.37 c | 200446 | 612 34272 203184 | 1 21277 32 | 0.000 % | 4.28/4.37 c | 200601 | 612 34272 203184 | 1 21432 33 | 0.000 % | 4.28/4.37 c | 200776 | 612 34272 203184 | 1 21607 33 | 0.000 % | 4.28/4.37 c | 201036 | 612 34272 203184 | 1 21867 33 | 0.000 % | 4.28/4.37 c | 201526 | 612 34272 203184 | 1 22357 34 | 0.000 % | 4.28/4.37 c | 201796 | 612 34272 203184 | 1 22627 35 | 0.000 % | 4.28/4.37 c | 201923 | 612 34272 203184 | 1 22754 35 | 0.000 % | 4.28/4.37 c | 202241 | 612 34272 203184 | 1 23072 36 | 0.000 % | 4.28/4.37 c | 202475 | 612 34272 203184 | 1 23306 36 | 0.000 % | 4.28/4.37 c | 202677 | 612 34272 203184 | 1 23508 36 | 0.000 % | 4.28/4.37 c | 202914 | 612 34272 203184 | 1 23745 37 | 0.000 % | 4.28/4.37 c | 203097 | 612 34272 203184 | 1 23928 37 | 0.000 % | 4.28/4.37 c | 203348 | 612 34272 203184 | 1 24179 37 | 0.000 % | 4.28/4.37 c | 203937 | 612 34272 203184 | 1 24768 38 | 0.000 % | 4.28/4.37 c | 204334 | 612 34272 203184 | 1 25165 38 | 0.000 % | 4.28/4.37 c | 204653 | 612 34272 203184 | 1 25484 39 | 0.000 % | 4.28/4.37 c | 204847 | 612 34272 203184 | 1 25678 39 | 0.000 % | 4.28/4.37 c | 205108 | 612 34272 203184 | 1 25939 39 | 0.000 % | 4.28/4.37 c | 205289 | 612 34272 203184 | 1 26120 40 | 0.000 % | 4.28/4.37 c | 205522 | 612 34272 203184 | 1 26353 40 | 0.000 % | 4.28/4.37 c | 205836 | 612 34272 203184 | 1 26667 40 | 0.000 % | 4.28/4.37 c | 206226 | 612 34272 203184 | 1 27057 41 | 0.000 % | 4.28/4.37 c | 206424 | 612 34272 203184 | 1 27255 41 | 0.000 % | 4.28/4.37 c | 206593 | 612 34272 203184 | 1 27424 41 | 0.000 % | 4.28/4.37 c | 206974 | 612 34272 203184 | 1 27805 42 | 0.000 % | 4.28/4.37 c | 207595 | 612 34272 203184 | 1 28426 42 | 0.000 % | 4.28/4.37 c | 212296 | 612 34272 203184 | 1 17724 24 | 0.000 % | 4.28/4.37 c | 213676 | 612 34272 203184 | 1 19104 27 | 0.000 % | 4.28/4.37 c | 215142 | 612 34272 203184 | 1 20570 31 | 0.000 % | 4.28/4.37 c | 216341 | 612 34272 203184 | 1 21769 34 | 0.000 % | 4.28/4.37 c | 219719 | 612 34272 203184 | 1 25147 40 | 0.000 % | 4.28/4.37 c | 223443 | 612 34272 203184 | 1 28871 45 | 0.000 % | 4.28/4.37 c | 223789 | 612 34272 203184 | 1 29217 45 | 0.000 % | 4.28/4.37 c | 224414 | 612 34272 203184 | 1 29842 46 | 0.000 % | 4.28/4.37 c | 225078 | 612 34272 203184 | 1 30506 46 | 0.000 % | 4.28/4.37 c | 225202 | 612 34272 203184 | 1 30630 46 | 0.000 % | 4.28/4.37 c | 231274 | 612 34272 203184 | 1 20698 30 | 0.000 % | 4.28/4.37 c | 232013 | 612 34272 203184 | 1 21437 32 | 0.000 % | 4.28/4.37 c | 247331 | 612 34272 203184 | 1 20149 28 | 0.000 % | 4.28/4.37 c | 247673 | 612 34272 203184 | 1 20491 29 | 0.000 % | 4.67/4.70 c | 248207 | 612 34272 203184 | 1 21025 30 | 0.000 % | 4.67/4.70 c | 248856 | 612 34272 203184 | 1 21674 31 | 0.000 % | 4.67/4.70 c | 249216 | 612 34272 203184 | 1 22034 32 | 0.000 % | 4.67/4.70 c | 249809 | 612 34272 203184 | 1 22627 33 | 0.000 % | 4.67/4.70 c | 250136 | 612 34272 203184 | 1 22954 33 | 0.000 % | 4.67/4.70 c | 250563 | 612 34272 203184 | 1 23381 34 | 0.000 % | 4.67/4.70 c | 250998 | 612 34272 203184 | 1 23816 34 | 0.000 % | 4.67/4.70 c | 251250 | 612 34272 203184 | 1 24068 35 | 0.000 % | 4.67/4.70 c | 251592 | 612 34272 203184 | 1 24410 35 | 0.000 % | 4.67/4.70 c | 251844 | 612 34272 203184 | 1 24662 36 | 0.000 % | 4.67/4.70 c | 252541 | 612 34272 203184 | 1 25359 37 | 0.000 % | 4.67/4.70 c | 252892 | 612 34272 203184 | 1 25710 37 | 0.000 % | 4.67/4.70 c | 253457 | 612 34272 203184 | 1 26275 38 | 0.000 % | 4.67/4.70 c | 253850 | 612 34272 203184 | 1 26668 39 | 0.000 % | 4.67/4.70 c | 254159 | 612 34272 203184 | 1 26977 39 | 0.000 % | 4.67/4.70 c | 254362 | 612 34272 203184 | 1 27180 39 | 0.000 % | 4.67/4.70 c | 254627 | 612 34272 203184 | 1 27445 40 | 0.000 % | 4.67/4.70 c | 254983 | 612 34272 203184 | 1 27801 40 | 0.000 % | 4.67/4.70 c | 255285 | 612 34272 203184 | 1 28103 40 | 0.000 % | 4.67/4.70 c | 255499 | 612 34272 203184 | 1 28317 41 | 0.000 % | 4.67/4.70 c | 255748 | 612 34272 203184 | 1 28566 41 | 0.000 % | 4.67/4.70 c | 256513 | 612 34272 203184 | 1 29331 42 | 0.000 % | 4.67/4.70 c | 256893 | 612 34272 203184 | 1 29711 42 | 0.000 % | 4.67/4.70 c | 257114 | 612 34272 203184 | 1 29932 42 | 0.000 % | 4.67/4.70 c | 257379 | 612 34272 203184 | 1 30197 43 | 0.000 % | 4.67/4.70 c | 257791 | 612 34272 203184 | 1 30609 43 | 0.000 % | 4.67/4.70 c | 258031 | 612 34272 203184 | 1 30849 43 | 0.000 % | 4.67/4.70 c | 258473 | 612 34272 203184 | 1 31291 44 | 0.000 % | 4.67/4.70 c | 258669 | 612 34272 203184 | 1 31487 44 | 0.000 % | 4.67/4.70 c | 258873 | 612 34272 203184 | 1 31691 44 | 0.000 % | 4.67/4.70 c | 259465 | 612 34272 203184 | 1 32283 45 | 0.000 % | 4.67/4.70 c | 259656 | 612 34272 203184 | 1 32474 45 | 0.000 % | 4.67/4.70 c | 259908 | 612 34272 203184 | 1 32726 45 | 0.000 % | 4.67/4.70 c | 260266 | 612 34272 203184 | 1 33084 45 | 0.000 % | 4.67/4.70 c | 260615 | 612 34272 203184 | 1 33433 46 | 0.000 % | 4.67/4.70 c | 260820 | 612 34272 203184 | 1 33638 46 | 0.000 % | 4.67/4.70 c | 261250 | 612 34272 203184 | 1 34068 46 | 0.000 % | 4.67/4.70 c | 261794 | 612 34272 203184 | 1 17422 18 | 0.000 % | 4.67/4.70 c | 262427 | 612 34272 203184 | 1 18055 19 | 0.000 % | 4.67/4.70 c | 263646 | 612 34272 203184 | 1 19274 23 | 0.000 % | 4.67/4.70 c | 263885 | 612 34272 203184 | 1 19513 23 | 0.000 % | 4.67/4.70 c | 264182 | 612 34272 203184 | 1 19810 24 | 0.000 % | 4.67/4.70 c | 264582 | 612 34272 203184 | 1 20210 25 | 0.000 % | 4.67/4.70 c | 264827 | 612 34272 203184 | 1 20455 25 | 0.000 % | 4.67/4.70 c | 265461 | 612 34272 203184 | 1 21089 27 | 0.000 % | 4.67/4.70 c | 265653 | 612 34272 203184 | 1 21281 27 | 0.000 % | 4.67/4.70 c | 265913 | 612 34272 203184 | 1 21541 28 | 0.000 % | 4.67/4.70 c | 266305 | 612 34272 203184 | 1 21933 29 | 0.000 % | 4.67/4.70 c | 266650 | 612 34272 203184 | 1 22278 29 | 0.000 % | 4.67/4.70 c | 267014 | 612 34272 203184 | 1 22642 30 | 0.000 % | 4.97/5.01 c | 267293 | 612 34272 203184 | 1 22921 31 | 0.000 % | 4.97/5.01 c | 267491 | 612 34272 203184 | 1 23119 31 | 0.000 % | 4.97/5.01 c | 267628 | 612 34272 203184 | 1 23256 31 | 0.000 % | 4.97/5.01 c | 267737 | 612 34272 203184 | 1 23365 31 | 0.000 % | 4.97/5.01 c | 267980 | 612 34272 203184 | 1 23608 32 | 0.000 % | 4.97/5.01 c | 268425 | 612 34272 203184 | 1 24053 33 | 0.000 % | 4.97/5.01 c | 268813 | 612 34272 203184 | 1 24441 33 | 0.000 % | 4.97/5.01 c | 269105 | 612 34272 203184 | 1 24733 34 | 0.000 % | 4.97/5.01 c | 269417 | 612 34272 203184 | 1 25045 34 | 0.000 % | 4.97/5.01 c | 269675 | 612 34272 203184 | 1 25303 35 | 0.000 % | 4.97/5.01 c | 269981 | 612 34272 203184 | 1 25609 35 | 0.000 % | 4.97/5.01 c | 270430 | 612 34272 203184 | 1 26058 36 | 0.000 % | 4.97/5.01 c | 270802 | 612 34272 203184 | 1 26430 36 | 0.000 % | 4.97/5.01 c | 271496 | 612 34272 203184 | 1 27124 37 | 0.000 % | 4.97/5.01 c | 271883 | 612 34272 203184 | 1 27511 38 | 0.000 % | 4.97/5.01 c | 272252 | 612 34272 203184 | 1 27880 38 | 0.000 % | 4.97/5.01 c | 272543 | 612 34272 203184 | 1 28171 39 | 0.000 % | 4.97/5.01 c | 272850 | 612 34272 203184 | 1 28478 39 | 0.000 % | 4.97/5.01 c | 273249 | 612 34272 203184 | 1 28877 39 | 0.000 % | 4.97/5.01 c | 273574 | 612 34272 203184 | 1 29202 40 | 0.000 % | 4.97/5.01 c | 273897 | 612 34272 203184 | 1 29525 40 | 0.000 % | 4.97/5.01 c | 274240 | 612 34272 203184 | 1 29868 41 | 0.000 % | 4.97/5.01 c | 274601 | 612 34272 203184 | 1 30229 41 | 0.000 % | 4.97/5.01 c | 275048 | 612 34272 203184 | 1 30676 41 | 0.000 % | 4.97/5.01 c | 275438 | 612 34272 203184 | 1 31066 42 | 0.000 % | 4.97/5.01 c | 275884 | 612 34272 203184 | 1 31512 42 | 0.000 % | 4.97/5.01 c | 276207 | 612 34272 203184 | 1 31835 42 | 0.000 % | 4.97/5.01 c | 276702 | 612 34272 203184 | 1 32330 43 | 0.000 % | 4.97/5.01 c | 277120 | 612 34272 203184 | 1 32748 43 | 0.000 % | 4.97/5.01 c | 277405 | 612 34272 203184 | 1 33033 43 | 0.000 % | 4.97/5.01 c | 277823 | 612 34272 203184 | 1 33451 44 | 0.000 % | 4.97/5.01 c | 278207 | 612 34272 203184 | 1 33835 44 | 0.000 % | 4.97/5.01 c | 278526 | 612 34272 203184 | 1 34154 44 | 0.000 % | 4.97/5.01 c | 278806 | 612 34272 203184 | 1 34434 45 | 0.000 % | 4.97/5.01 c | 279072 | 612 34272 203184 | 1 34700 45 | 0.000 % | 4.97/5.01 c | 279397 | 612 34272 203184 | 1 35025 45 | 0.000 % | 4.97/5.01 c | 280297 | 612 34272 203184 | 1 18133 18 | 0.000 % | 4.97/5.01 c | 280688 | 612 34272 203184 | 1 18524 19 | 0.000 % | 4.97/5.01 c | 281175 | 612 34272 203184 | 1 19011 20 | 0.000 % | 4.97/5.01 c | 281721 | 612 34272 203184 | 1 19557 22 | 0.000 % | 4.97/5.01 c | 282515 | 612 34272 203184 | 1 20351 23 | 0.000 % | 4.97/5.01 c | 282935 | 612 34272 203184 | 1 20771 24 | 0.000 % | 4.97/5.01 c | 283307 | 612 34272 203184 | 1 21143 25 | 0.000 % | 4.97/5.01 c | 283627 | 612 34272 203184 | 1 21463 26 | 0.000 % | 4.97/5.01 c | 284074 | 612 34272 203184 | 1 21910 27 | 0.000 % | 4.97/5.01 c | 284175 | 612 34272 203184 | 1 22011 27 | 0.000 % | 4.97/5.01 c | 284651 | 612 34272 203184 | 1 22487 28 | 0.000 % | 4.97/5.01 c | 285121 | 612 34272 203184 | 1 22957 29 | 0.000 % | 4.97/5.01 c | 285391 | 612 34272 203184 | 1 23227 30 | 0.000 % | 4.97/5.01 c | 285637 | 612 34272 203184 | 1 23473 30 | 0.000 % | 5.38/5.43 c | 286101 | 612 34272 203184 | 1 23937 31 | 0.000 % | 5.38/5.43 c | 286345 | 612 34272 203184 | 1 24181 31 | 0.000 % | 5.38/5.43 c | 286693 | 612 34272 203184 | 1 24529 32 | 0.000 % | 5.38/5.43 c | 287069 | 612 34272 203184 | 1 24905 33 | 0.000 % | 5.38/5.43 c | 287368 | 612 34272 203184 | 1 25204 33 | 0.000 % | 5.38/5.43 c | 287635 | 612 34272 203184 | 1 25471 33 | 0.000 % | 5.38/5.43 c | 287826 | 612 34272 203184 | 1 25662 34 | 0.000 % | 5.38/5.43 c | 288245 | 612 34272 203184 | 1 26081 35 | 0.000 % | 5.38/5.43 c | 288568 | 612 34272 203184 | 1 26404 35 | 0.000 % | 5.38/5.43 c | 288790 | 612 34272 203184 | 1 26626 35 | 0.000 % | 5.38/5.43 c | 289475 | 612 34272 203184 | 1 27311 36 | 0.000 % | 5.38/5.43 c | 289997 | 612 34272 203184 | 1 27833 37 | 0.000 % | 5.38/5.43 c | 290349 | 612 34272 203184 | 1 28185 38 | 0.000 % | 5.38/5.43 c | 290858 | 612 34272 203184 | 1 28694 38 | 0.000 % | 5.38/5.43 c | 291296 | 612 34272 203184 | 1 29132 39 | 0.000 % | 5.38/5.43 c | 291474 | 612 34272 203184 | 1 29310 39 | 0.000 % | 5.38/5.43 c | 291874 | 612 34272 203184 | 1 29710 39 | 0.000 % | 5.38/5.43 c | 292163 | 612 34272 203184 | 1 29999 40 | 0.000 % | 5.38/5.43 c | 292344 | 612 34272 203184 | 1 30180 40 | 0.000 % | 5.38/5.43 c | 292583 | 612 34272 203184 | 1 30419 40 | 0.000 % | 5.38/5.43 c | 292829 | 612 34272 203184 | 1 30665 41 | 0.000 % | 5.38/5.43 c | 293361 | 612 34272 203184 | 1 31197 41 | 0.000 % | 5.38/5.43 c | 294029 | 612 34272 203184 | 1 31865 42 | 0.000 % | 5.38/5.43 c | 294628 | 612 34272 203184 | 1 32464 43 | 0.000 % | 5.38/5.43 c | 294918 | 612 34272 203184 | 1 32754 43 | 0.000 % | 5.38/5.43 c | 295490 | 612 34272 203184 | 1 33326 43 | 0.000 % | 5.38/5.43 c | 295722 | 612 34272 203184 | 1 33558 44 | 0.000 % | 5.38/5.43 c | 296366 | 612 34272 203184 | 1 34202 44 | 0.000 % | 5.38/5.43 c | 296658 | 612 34272 203184 | 1 34494 45 | 0.000 % | 5.38/5.43 c | 297413 | 612 34272 203184 | 1 35249 45 | 0.000 % | 5.38/5.43 c | 297802 | 612 34272 203184 | 1 35638 45 | 0.000 % | 5.38/5.43 c | 298350 | 612 34272 203184 | 1 36186 46 | 0.000 % | 5.38/5.43 c | 299736 | 612 34272 203184 | 1 19166 19 | 0.000 % | 5.38/5.43 c | 300756 | 612 34272 203184 | 1 20186 22 | 0.000 % | 5.38/5.43 c | 301595 | 612 34272 203184 | 1 21025 24 | 0.000 % | 5.38/5.43 c | 301869 | 612 34272 203184 | 1 21299 25 | 0.000 % | 5.38/5.43 c | 302563 | 612 34272 203184 | 1 21993 26 | 0.000 % | 5.38/5.43 c | 303172 | 612 34272 203184 | 1 22602 28 | 0.000 % | 5.38/5.43 c | 303615 | 612 34272 203184 | 1 23045 29 | 0.000 % | 5.38/5.43 c | 304491 | 612 34272 203184 | 1 23921 30 | 0.000 % | 5.38/5.43 c | 305235 | 612 34272 203184 | 1 24665 32 | 0.000 % | 5.38/5.43 c | 305335 | 612 34272 203184 | 1 24765 32 | 0.000 % | 5.38/5.43 c | 305737 | 612 34272 203184 | 1 25167 33 | 0.000 % | 5.38/5.43 c | 306210 | 612 34272 203184 | 1 25640 34 | 0.000 % | 5.38/5.43 c | 306601 | 612 34272 203184 | 1 26031 34 | 0.000 % | 5.38/5.43 c | 306870 | 612 34272 203184 | 1 26300 35 | 0.000 % | 5.38/5.43 c | 307709 | 612 34272 203184 | 1 27139 36 | 0.000 % | 5.38/5.43 c | 307926 | 612 34272 203184 | 1 27356 36 | 0.000 % | 5.38/5.43 c | 308707 | 612 34272 203184 | 1 28137 37 | 0.000 % | 5.38/5.43 c | 309061 | 612 34272 203184 | 1 28491 38 | 0.000 % | 5.77/5.83 c | 309542 | 612 34272 203184 | 1 28972 38 | 0.000 % | 5.77/5.83 c | 309840 | 612 34272 203184 | 1 29270 39 | 0.000 % | 5.77/5.83 c | 310049 | 612 34272 203184 | 1 29479 39 | 0.000 % | 5.77/5.83 c | 310432 | 612 34272 203184 | 1 29862 40 | 0.000 % | 5.77/5.83 c | 311205 | 612 34272 203184 | 1 30635 40 | 0.000 % | 5.77/5.83 c | 312439 | 612 34272 203184 | 1 31869 42 | 0.000 % | 5.77/5.83 c | 312736 | 612 34272 203184 | 1 32166 42 | 0.000 % | 5.77/5.83 c | 312937 | 612 34272 203184 | 1 32367 42 | 0.000 % | 5.77/5.83 c | 313204 | 612 34272 203184 | 1 32634 42 | 0.000 % | 5.77/5.83 c | 313875 | 612 34272 203184 | 1 33305 43 | 0.000 % | 5.77/5.83 c | 314199 | 612 34272 203184 | 1 33629 43 | 0.000 % | 5.77/5.83 c | 314516 | 612 34272 203184 | 1 33946 43 | 0.000 % | 5.77/5.83 c | 314958 | 612 34272 203184 | 1 34388 44 | 0.000 % | 5.77/5.83 c | 315434 | 612 34272 203184 | 1 34864 44 | 0.000 % | 5.77/5.83 c | 315812 | 612 34272 203184 | 1 35242 44 | 0.000 % | 5.77/5.83 c | 316583 | 612 34272 203184 | 1 36013 45 | 0.000 % | 5.77/5.83 c | 317281 | 612 34272 203184 | 1 36711 46 | 0.000 % | 5.77/5.83 c | 318283 | 612 34272 203184 | 1 37713 46 | 0.000 % | 5.77/5.83 c | 319207 | 612 34272 203184 | 1 19643 19 | 0.000 % | 5.77/5.83 c | 319668 | 612 34272 203184 | 1 20104 20 | 0.000 % | 5.77/5.83 c | 319977 | 612 34272 203184 | 1 20413 21 | 0.000 % | 5.77/5.83 c | 320434 | 612 34272 203184 | 1 20870 22 | 0.000 % | 5.77/5.83 c | 320584 | 612 34272 203184 | 1 21020 22 | 0.000 % | 5.77/5.83 c | 320817 | 612 34272 203184 | 1 21253 23 | 0.000 % | 5.77/5.83 c | 321280 | 612 34272 203184 | 1 21716 24 | 0.000 % | 5.77/5.83 c | 321469 | 612 34272 203184 | 1 21905 24 | 0.000 % | 5.77/5.83 c | 321928 | 612 34272 203184 | 1 22364 25 | 0.000 % | 5.77/5.83 c | 322352 | 612 34272 203184 | 1 22788 26 | 0.000 % | 5.77/5.83 c | 322931 | 612 34272 203184 | 1 23367 28 | 0.000 % | 5.77/5.83 c | 323839 | 612 34272 203184 | 1 24275 30 | 0.000 % | 5.77/5.83 c | 324871 | 612 34272 203184 | 1 25307 31 | 0.000 % | 5.77/5.83 c | 325704 | 612 34272 203184 | 1 26140 33 | 0.000 % | 5.77/5.83 c | 326170 | 612 34272 203184 | 1 26606 34 | 0.000 % | 5.77/5.83 c | 326771 | 612 34272 203184 | 1 27207 35 | 0.000 % | 5.77/5.83 c | 327256 | 612 34272 203184 | 1 27692 35 | 0.000 % | 5.77/5.83 c | 327504 | 612 34272 203184 | 1 27940 36 | 0.000 % | 5.77/5.83 c | 327904 | 612 34272 203184 | 1 28340 36 | 0.000 % | 5.77/5.83 c | 328233 | 612 34272 203184 | 1 28669 37 | 0.000 % | 5.77/5.83 c | 328441 | 612 34272 203184 | 1 28877 37 | 0.000 % | 5.77/5.83 c | 328814 | 612 34272 203184 | 1 29250 38 | 0.000 % | 5.77/5.83 c | 329013 | 612 34272 203184 | 1 29449 38 | 0.000 % | 5.77/5.83 c | 329222 | 612 34272 203184 | 1 29658 38 | 0.000 % | 5.77/5.83 c | 329374 | 612 34272 203184 | 1 29810 38 | 0.000 % | 5.77/5.83 c | 329491 | 612 34272 203184 | 1 29927 39 | 0.000 % | 5.77/5.83 c | 329629 | 612 34272 203184 | 1 30065 39 | 0.000 % | 5.77/5.83 c | 330001 | 612 34272 203184 | 1 30437 39 | 0.000 % | 5.77/5.83 c | 330315 | 612 34272 203184 | 1 30751 40 | 0.000 % | 5.77/5.83 c | 330699 | 612 34272 203184 | 1 31135 40 | 0.000 % | 5.77/5.83 c | 331013 | 612 34272 203184 | 1 31449 41 | 0.000 % | 5.77/5.83 c | 331362 |
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3249150-1303505946/watcher-3249150-1303505946 -o /tmp/evaluation-result-3249150-1303505946/solver-3249150-1303505946 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3249150-1303505946.cnf running on 2 cores: 1,3 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: 4.00 4.01 3.81 4/192 1302 /proc/meminfo: memFree=13101816/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) R 1300 1302 925 0 -1 4202496 316 0 0 0 0 0 0 0 25 0 1 0 462193368 8912896 253 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272509333 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/1302/statm: 2176 253 211 178 0 69 0 [startup+0.0836891 s] /proc/loadavg: 4.00 4.01 3.81 4/192 1302 /proc/meminfo: memFree=13101816/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 462193368 8912896 253 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/1302/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100685 s] /proc/loadavg: 4.00 4.01 3.81 4/192 1302 /proc/meminfo: memFree=13101816/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 462193368 8912896 253 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/1302/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300651 s] /proc/loadavg: 4.00 4.01 3.81 4/192 1302 /proc/meminfo: memFree=13101816/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 462193368 8912896 253 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/1302/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700524 s] /proc/loadavg: 4.00 4.01 3.81 4/192 1302 /proc/meminfo: memFree=13101816/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8704 [startup+1.50038 s] /proc/loadavg: 4.00 4.01 3.81 5/194 1337 /proc/meminfo: memFree=13056784/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=24880 CPUtime=1.19 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 4288 0 0 0 119 0 0 0 25 0 1 0 462193398 25477120 3049 33554432000 4194304 4260849 140733228451136 18446744073709551615 4227998 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 6220 3049 251 17 0 2861 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 33584 [startup+3.10109 s] /proc/loadavg: 4.00 4.01 3.81 5/194 1337 /proc/meminfo: memFree=13039516/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=33628 CPUtime=2.78 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 6486 0 0 0 278 0 0 0 25 0 1 0 462193398 34435072 3960 33554432000 4194304 4260849 140733228451136 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 8407 3960 251 17 0 5048 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 42332 [startup+6.30052 s] /proc/loadavg: 4.00 4.01 3.81 5/194 1338 /proc/meminfo: memFree=12998844/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=36376 CPUtime=5.98 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 7856 0 0 0 598 0 0 0 25 0 1 0 462193398 37249024 5267 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 9094 5267 251 17 0 5735 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 45080 [startup+12.7004 s] /proc/loadavg: 4.00 4.01 3.82 5/194 1338 /proc/meminfo: memFree=13039388/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=38340 CPUtime=12.39 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 11948 0 0 0 1238 1 0 0 25 0 1 0 462193398 39260160 6419 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 9585 6419 251 17 0 6226 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 47044 [startup+25.5011 s] /proc/loadavg: 4.00 4.01 3.82 5/194 1338 /proc/meminfo: memFree=12975092/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=64324 CPUtime=25.18 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 14755 0 0 0 2517 1 0 0 25 0 1 0 462193398 65867776 9198 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 16081 9198 251 17 0 12722 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 73028 [startup+51.1005 s] /proc/loadavg: 4.00 4.00 3.82 5/194 1339 /proc/meminfo: memFree=12905984/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=83180 CPUtime=50.78 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 20787 0 0 0 5076 2 0 0 25 0 1 0 462193398 85176320 10525 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 20795 10525 251 17 0 17436 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 91884 [startup+102.306 s] /proc/loadavg: 4.07 4.02 3.83 5/194 1340 /proc/meminfo: memFree=12821144/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=83180 CPUtime=101.99 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 27138 0 0 0 10196 3 0 0 25 0 1 0 462193398 85176320 16756 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 20795 16756 251 17 0 17436 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 91884 [startup+162.301 s] /proc/loadavg: 4.02 4.01 3.84 5/194 1351 /proc/meminfo: memFree=12768624/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=83180 CPUtime=161.98 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 51299 0 0 0 16192 6 0 0 25 0 1 0 462193398 85176320 17629 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 20795 17629 251 17 0 17436 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 91884 [startup+222.301 s] /proc/loadavg: 4.01 4.00 3.84 5/194 1352 /proc/meminfo: memFree=12730532/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=95952 CPUtime=221.99 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 154785 0 0 0 22178 21 0 0 25 0 1 0 462193398 98254848 20822 33554432000 4194304 4260849 140733228451136 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 23988 20822 251 17 0 20629 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 104656 [startup+282.3 s] /proc/loadavg: 4.00 4.00 3.85 5/194 1354 /proc/meminfo: memFree=12768700/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=145272 CPUtime=281.99 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 255512 0 0 0 28165 34 0 0 25 0 1 0 462193398 148758528 28658 33554432000 4194304 4260849 140733228451136 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 36318 28658 251 17 0 32959 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 153976 [startup+342.301 s] /proc/loadavg: 4.00 4.00 3.85 5/194 1358 /proc/meminfo: memFree=12724596/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=145272 CPUtime=342 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 347754 0 0 0 34150 50 0 0 25 0 1 0 462193398 148758528 29762 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 36318 29762 251 17 0 32959 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 153976 [startup+402.301 s] /proc/loadavg: 4.00 4.00 3.86 5/194 1360 /proc/meminfo: memFree=12694200/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 ################ # More data... # ################ /proc/1329/statm: 36318 32363 251 17 0 32959 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 153976 [startup+642.301 s] /proc/loadavg: 4.00 4.00 3.88 5/194 1366 /proc/meminfo: memFree=12698476/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=95952 CPUtime=642 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 847629 0 0 0 64058 142 0 0 25 0 1 0 462193398 98254848 20847 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 23988 20847 251 17 0 20629 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 104656 [startup+702.3 s] /proc/loadavg: 4.04 4.01 3.90 5/194 1368 /proc/meminfo: memFree=12588456/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=176092 CPUtime=702 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 935684 0 0 0 70041 159 0 0 25 0 1 0 462193398 180318208 33251 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 44023 33251 251 17 0 40664 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 184796 [startup+762.307 s] /proc/loadavg: 4.01 4.01 3.90 5/194 1370 /proc/meminfo: memFree=12611740/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=95952 CPUtime=762.01 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 1017978 0 0 0 76026 175 0 0 25 0 1 0 462193398 98254848 20847 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 23988 20847 251 17 0 20629 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 104656 [startup+822.301 s] /proc/loadavg: 4.00 4.00 3.91 5/194 1371 /proc/meminfo: memFree=12566712/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=176092 CPUtime=822.01 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 1111942 0 0 0 82005 196 0 0 25 0 1 0 462193398 180318208 33747 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224688 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 44023 33747 251 17 0 40664 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 184796 [startup+882.3 s] /proc/loadavg: 4.00 4.00 3.91 5/194 1373 /proc/meminfo: memFree=12557524/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=176092 CPUtime=882.01 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 1198071 0 0 0 87987 214 0 0 25 0 1 0 462193398 180318208 35927 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 44023 35927 251 17 0 40664 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 184796 [startup+942.301 s] /proc/loadavg: 4.00 4.00 3.91 5/194 1374 /proc/meminfo: memFree=12587640/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=176092 CPUtime=942.01 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 1284193 0 0 0 93967 234 0 0 25 0 1 0 462193398 180318208 35642 33554432000 4194304 4260849 140733228451136 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 44023 35642 251 17 0 40664 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 184796 [startup+1002.3 s] /proc/loadavg: 4.00 4.00 3.91 5/194 1376 /proc/meminfo: memFree=12567756/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=95952 CPUtime=1002.01 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 1357888 0 0 0 99950 251 0 0 25 0 1 0 462193398 98254848 20847 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 23988 20847 251 17 0 20629 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 104656 [startup+1062.3 s] /proc/loadavg: 4.00 4.00 3.91 5/194 1378 /proc/meminfo: memFree=12581624/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=177040 CPUtime=1062.01 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 1444136 0 0 0 105931 270 0 0 25 0 1 0 462193398 181288960 34675 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 44260 34675 251 17 0 40901 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 185744 [startup+1122.3 s] /proc/loadavg: 4.00 4.00 3.91 5/194 1379 /proc/meminfo: memFree=12688604/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=178108 CPUtime=1122.02 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 1520704 0 0 0 111913 289 0 0 25 0 1 0 462193398 182382592 37447 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224909 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 44527 37447 251 17 0 41168 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 186812 [startup+1182.3 s] /proc/loadavg: 3.37 3.82 3.85 4/187 1399 /proc/meminfo: memFree=12678928/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=179104 CPUtime=1182.01 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 1596112 0 0 0 117895 306 0 0 25 0 1 0 462193398 183402496 37421 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 44776 37421 251 17 0 41417 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 187808 [startup+1242.3 s] /proc/loadavg: 3.18 3.68 3.80 4/187 1400 /proc/meminfo: memFree=12749220/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=181236 CPUtime=1242.02 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 1675141 0 0 0 123876 326 0 0 25 0 1 0 462193398 185585664 39232 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 45309 39232 251 17 0 41950 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 189940 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 3.14 3.58 3.76 3/184 1403 /proc/meminfo: memFree=12889948/32950928 swapFree=67111528/67111528 [pid=1302] ppid=1300 vsize=8704 CPUtime=0.29 cores=1,3 /proc/1302/stat : 1302 (glucose.sh) S 1300 1302 925 0 -1 4202496 360 1240 0 0 0 0 29 0 23 0 1 0 462193368 8912896 255 33554432000 4194304 4922060 140736150894336 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/1302/statm: 2176 255 211 178 0 69 0 [pid=1329] ppid=1302 vsize=152052 CPUtime=1299.72 cores=1,3 /proc/1329/stat : 1329 (glucose_static) R 1302 1302 925 0 -1 4202496 1746957 0 0 0 129626 346 0 0 25 0 1 0 462193398 155701248 32558 33554432000 4194304 4260849 140733228451136 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1329/statm: 38013 32558 251 17 0 34654 0 Current children cumulated CPU time (s) 1300.01 Current children cumulated vsize (KiB) 160756 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1302 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=296954 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=3999 # CPU time returned by wait4() is 0.300953 # while last known CPU time is 1300.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.01 CPU user time (s): 1296.55 CPU system time (s): 3.46 CPU usage (%): 99.9998 Max. virtual memory (cumulated for all children) (KiB): 191292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.296954 system time used= 0.003999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1600 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= 7 involuntary context switches= 5 runsolver used 2.06469 second user time and 5.04723 second system time The end
Begin job on node122 at 2011-04-22 22:59:06 IDJOB=3249150 IDBENCH=83157 IDSOLVER=1651 FILE ID=node122/3249150-1303505946 RUNJOBID= node122-1303503341-946 PBS_JOBID= 13134241 Free space on /tmp= 70988 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-6x34.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3249150-1303505946/watcher-3249150-1303505946 -o /tmp/evaluation-result-3249150-1303505946/solver-3249150-1303505946 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3249150-1303505946.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 1633295f58c28a5b4150be8640bdf9df RANDOM SEED=759144748 node122.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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.75 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.820 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.820 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.83 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.820 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.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 13102096 kB Buffers: 1622852 kB Cached: 17492876 kB SwapCached: 0 kB Active: 9300524 kB Inactive: 10000500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 13102096 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5340 kB Writeback: 24 kB AnonPages: 184816 kB Mapped: 15460 kB Slab: 484172 kB PageTables: 5632 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 381360 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 70976 MiB End job on node122 at 2011-04-22 23:20:48