| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | SAT | 698.024 | 698.005 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf |
| MD5SUM | 0906ad3a7678a4284d484fb4b8c72f61 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.414936 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 792 |
| Number of clauses | 67279 |
| Sum of the clauses size | 135290 |
| Maximum clause length | 31 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 67249 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 30 |
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.02 c ============================================================================== 0.00/0.02 c | | ORIGINAL | LEARNT | | 0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.02 c ============================================================================== 0.00/0.02 c | 0 | 67279 135290 | 20183 0 0 nan | 0.000 % | 0.00/0.11 c | 0 | 66487 192349 | -- 0 -- -- | -- | -792/57059 0.00/0.11 c ============================================================================== 0.00/0.11 c Result : #vars: 762 #clauses: 66487 #literals: 192349 0.00/0.11 c CPU time: 0.110983 s 0.00/0.11 c ============================================================================== 0.00/0.14 c 0.00/0.14 c Starting glucose 0.00/0.14 c 52.57/52.69 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 52.57/52.69 c WARNING: for repeatability, setting FPU to use double precision 52.57/52.69 c ============================[ Problem Statistics ]============================= 52.57/52.69 c | | 52.57/52.69 c | Number of variables: 762 | 52.57/52.69 c | Number of clauses: 66487 | 52.57/52.69 c | Parse time: 0.01 s | 52.57/52.69 c | | 52.57/52.69 c ============================[ Search Statistics ]============================== 52.57/52.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.57/52.69 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 52.57/52.69 c =============================================================================== 52.57/52.69 c | 14843 | 762 66487 192349 | 1 8556 94 | 0.000 % | 52.57/52.69 c | 14998 | 762 66487 192349 | 1 8711 94 | 0.000 % | 52.57/52.69 c | 29678 | 762 66487 192349 | 1 16647 78 | 0.000 % | 52.57/52.69 c | 51663 | 762 66487 192349 | 1 17518 78 | 0.000 % | 52.57/52.69 c | 51779 | 762 66487 192349 | 1 17634 78 | 0.000 % | 52.57/52.69 c | 64313 | 762 66487 192349 | 1 15749 67 | 0.000 % | 52.57/52.69 c | 64480 | 762 66487 192349 | 1 15916 68 | 0.000 % | 52.57/52.69 c | 67376 | 762 66487 192349 | 1 18812 70 | 0.000 % | 52.57/52.69 c | 88712 | 762 66487 192349 | 1 23143 71 | 0.000 % | 52.57/52.69 c | 88979 | 762 66487 192349 | 1 23410 71 | 0.000 % | 52.57/52.69 c | 89080 | 762 66487 192349 | 1 23511 71 | 0.000 % | 52.57/52.69 c | 92019 | 762 66487 192349 | 1 26450 71 | 0.000 % | 52.57/52.69 c | 99995 | 762 66487 192349 | 1 34426 71 | 0.000 % | 52.57/52.69 c | 100897 | 762 66487 192349 | 1 35328 72 | 0.000 % | 52.57/52.69 c | 101048 | 762 66487 192349 | 1 35479 72 | 0.000 % | 52.57/52.69 c | 101148 | 762 66487 192349 | 1 35579 72 | 0.000 % | 52.57/52.69 c | 163655 | 762 66487 192349 | 1 31478 67 | 0.000 % | 52.57/52.69 c | 163756 | 762 66487 192349 | 1 31579 67 | 0.000 % | 52.57/52.69 c | 169502 | 762 66487 192349 | 1 37325 70 | 0.000 % | 52.57/52.69 c | 191550 | 762 66487 192349 | 1 31972 65 | 0.000 % | 52.57/52.69 c | 192780 | 762 66487 192349 | 1 33202 66 | 0.000 % | 52.57/52.69 c | 200173 | 762 66487 192349 | 1 40595 69 | 0.000 % | 52.57/52.69 c | 206199 | 762 66487 192349 | 1 46621 71 | 0.000 % | 52.57/52.69 c | 222994 | 762 66487 192349 | 1 33413 64 | 0.000 % | 52.57/52.69 c | 230930 | 762 66487 192349 | 1 41349 66 | 0.000 % | 52.57/52.69 c | 231984 | 762 66487 192349 | 1 42403 67 | 0.000 % | 52.57/52.69 c | 263711 | 762 66487 192349 | 1 41537 66 | 0.000 % | 52.57/52.69 c | 269972 | 762 66487 192349 | 1 47798 69 | 0.000 % | 52.57/52.69 c | 301027 | 762 66487 192349 | 1 43647 65 | 0.000 % | 52.57/52.69 c | 338940 | 762 66487 192349 | 1 43773 65 | 0.000 % | 52.57/52.69 c | 363379 | 762 66487 192349 | 1 68212 69 | 0.000 % | 52.57/52.69 c | 363734 | 762 66487 192349 | 1 68567 69 | 0.000 % | 52.57/52.69 c | 363837 | 762 66487 192349 | 1 68670 69 | 0.000 % | 52.57/52.69 c | 365210 | 762 66487 192349 | 1 70043 70 | 0.000 % | 52.57/52.69 c | 365313 | 762 66487 192349 | 1 70146 70 | 0.000 % | 52.57/52.69 c | 365413 | 762 66487 192349 | 1 70246 70 | 0.000 % | 52.57/52.69 c | 365515 | 762 66487 192349 | 1 70348 70 | 0.000 % | 52.57/52.69 c | 365615 | 762 66487 192349 | 1 70448 70 | 0.000 % | 52.57/52.69 c | 365918 | 762 66487 192349 | 1 70751 70 | 0.000 % | 216.28/216.37 c | 366145 | 762 66487 192349 | 1 70978 70 | 0.000 % | 216.28/216.37 c | 366248 | 762 66487 192349 | 1 71081 70 | 0.000 % | 216.28/216.37 c | 369878 | 762 66487 192349 | 1 74711 71 | 0.000 % | 216.28/216.37 c | 371838 | 762 66487 192349 | 1 76671 71 | 0.000 % | 216.28/216.37 c | 378652 | 762 66487 192349 | 1 43076 62 | 0.000 % | 216.28/216.37 c | 383411 | 762 66487 192349 | 1 47835 63 | 0.000 % | 216.28/216.37 c | 385038 | 762 66487 192349 | 1 49462 64 | 0.000 % | 216.28/216.37 c | 385138 | 762 66487 192349 | 1 49562 64 | 0.000 % | 216.28/216.37 c | 388398 | 762 66487 192349 | 1 52822 64 | 0.000 % | 216.28/216.37 c | 389556 | 762 66487 192349 | 1 53980 65 | 0.000 % | 216.28/216.37 c | 391554 | 762 66487 192349 | 1 55978 65 | 0.000 % | 216.28/216.37 c | 421309 | 762 66487 192349 | 1 85733 68 | 0.000 % | 216.28/216.37 c | 934255 | 758 66470 191895 | 1 109246 77 | 0.525 % | 216.28/216.37 c | 934355 | 758 66453 191464 | 1 102062 80 | 0.525 % | 216.28/216.37 c | 934481 | 758 66453 191464 | 1 102188 80 | 0.525 % | 216.28/216.37 c | 934581 | 758 66453 191464 | 1 102288 80 | 0.525 % | 216.28/216.37 c | 934683 | 758 66453 191464 | 1 102390 80 | 0.525 % | 216.28/216.37 c | 934783 | 758 66453 191464 | 1 102490 80 | 0.525 % | 216.28/216.37 c | 934883 | 758 66453 191464 | 1 102590 80 | 0.525 % | 216.28/216.37 c | 934983 | 758 66453 191464 | 1 102690 80 | 0.525 % | 216.28/216.37 c | 935085 | 758 66453 191464 | 1 102792 80 | 0.525 % | 216.28/216.37 c | 935187 | 758 66453 191464 | 1 102894 80 | 0.525 % | 216.28/216.37 c | 935287 | 758 66453 191464 | 1 102994 80 | 0.525 % | 216.28/216.37 c | 935387 | 758 66453 191464 | 1 103094 80 | 0.525 % | 216.28/216.37 c | 935488 | 758 66453 191464 | 1 103195 80 | 0.525 % | 216.28/216.37 c | 935588 | 758 66453 191464 | 1 103295 80 | 0.525 % | 216.28/216.37 c | 935690 | 758 66453 191464 | 1 103397 80 | 0.525 % | 216.28/216.37 c | 935792 | 758 66453 191464 | 1 103499 80 | 0.525 % | 216.28/216.37 c | 935892 | 758 66453 191464 | 1 103599 80 | 0.525 % | 216.28/216.37 c | 935992 | 758 66453 191464 | 1 103699 80 | 0.525 % | 216.28/216.37 c | 936094 | 758 66453 191464 | 1 103801 80 | 0.525 % | 216.28/216.37 c | 936336 | 758 66453 191464 | 1 104043 80 | 0.525 % | 216.28/216.37 c | 936436 | 758 66453 191464 | 1 104143 80 | 0.525 % | 216.28/216.37 c | 936537 | 758 66453 191464 | 1 104244 80 | 0.525 % | 216.28/216.37 c | 936637 | 758 66453 191464 | 1 104344 80 | 0.525 % | 216.28/216.37 c | 936737 | 758 66453 191464 | 1 104444 80 | 0.525 % | 216.28/216.37 c | 939823 | 758 66453 191464 | 1 107530 80 | 0.525 % | 216.28/216.37 c | 939924 | 758 66453 191464 | 1 107631 80 | 0.525 % | 216.28/216.37 c | 940194 | 758 66453 191464 | 1 107901 80 | 0.525 % | 216.28/216.37 c | 940295 | 758 66453 191464 | 1 108002 80 | 0.525 % | 216.28/216.37 c | 940395 | 758 66453 191464 | 1 108102 80 | 0.525 % | 216.28/216.37 c | 940576 | 758 66453 191464 | 1 108283 80 | 0.525 % | 216.28/216.37 c | 940782 | 758 66453 191464 | 1 108489 80 | 0.525 % | 216.28/216.37 c | 940883 | 758 66453 191464 | 1 108590 80 | 0.525 % | 216.28/216.37 c | 945372 | 758 66453 191464 | 1 113079 80 | 0.525 % | 216.28/216.37 c | 945472 | 758 66453 191464 | 1 113179 80 | 0.525 % | 216.28/216.37 c | 946830 | 758 66453 191464 | 1 114537 80 | 0.525 % | 216.28/216.37 c | 946931 | 758 66453 191464 | 1 114638 80 | 0.525 % | 216.28/216.37 c | 948238 | 758 66453 191464 | 1 115945 81 | 0.525 % | 216.28/216.37 c | 948340 | 758 66453 191464 | 1 116047 81 | 0.525 % | 227.18/227.26 c | 948582 | 758 66453 191464 | 1 116289 81 | 0.525 % | 227.18/227.26 c | 952103 | 758 66453 191464 | 1 61466 66 | 0.525 % | 227.18/227.26 c | 952204 | 758 66453 191464 | 1 61567 66 | 0.525 % | 227.18/227.26 c | 952409 | 758 66453 191464 | 1 61772 66 | 0.525 % | 227.18/227.26 c | 952509 | 758 66453 191464 | 1 61872 66 | 0.525 % | 227.18/227.26 c | 952610 | 758 66453 191464 | 1 61973 66 | 0.525 % | 227.18/227.26 c | 952711 | 758 66453 191464 | 1 62074 66 | 0.525 % | 227.18/227.26 c | 952811 | 758 66453 191464 | 1 62174 66 | 0.525 % | 227.18/227.26 c | 952944 | 758 66453 191464 | 1 62307 66 | 0.525 % | 227.18/227.26 c | 955801 | 758 66453 191464 | 1 65164 67 | 0.525 % | 227.18/227.26 c | 955903 | 758 66453 191464 | 1 65266 67 | 0.525 % | 227.18/227.26 c | 956006 | 758 66453 191464 | 1 65369 67 | 0.525 % | 227.18/227.26 c | 956106 | 758 66453 191464 | 1 65469 67 | 0.525 % | 227.18/227.26 c | 956206 | 758 66453 191464 | 1 65569 67 | 0.525 % | 227.18/227.26 c | 956796 | 758 66453 191464 | 1 66159 67 | 0.525 % | 227.18/227.26 c | 956896 | 758 66453 191464 | 1 66259 67 | 0.525 % | 227.18/227.26 c | 956996 | 758 66453 191464 | 1 66359 67 | 0.525 % | 227.18/227.26 c | 957096 | 758 66453 191464 | 1 66459 67 | 0.525 % | 227.18/227.26 c | 957469 | 758 66453 191464 | 1 66832 67 | 0.525 % | 227.18/227.26 c | 961168 | 758 66453 191464 | 1 70531 68 | 0.525 % | 227.18/227.26 c | 961271 | 758 66453 191464 | 1 70634 68 | 0.525 % | 227.18/227.26 c | 961371 | 758 66453 191464 | 1 70734 68 | 0.525 % | 227.18/227.26 c | 961471 | 758 66453 191464 | 1 70834 68 | 0.525 % | 227.18/227.26 c | 961572 | 758 66453 191464 | 1 70935 68 | 0.525 % | 227.18/227.26 c | 961672 | 758 66453 191464 | 1 71035 68 | 0.525 % | 227.18/227.26 c | 961773 | 758 66453 191464 | 1 71136 68 | 0.525 % | 227.18/227.26 c | 961874 | 758 66453 191464 | 1 71237 68 | 0.525 % | 227.18/227.26 c | 961977 | 758 66453 191464 | 1 71340 68 | 0.525 % | 227.18/227.26 c | 962078 | 758 66453 191464 | 1 71441 68 | 0.525 % | 227.18/227.26 c | 963256 | 758 66453 191464 | 1 72619 69 | 0.525 % | 227.18/227.26 c | 963357 | 758 66453 191464 | 1 72720 69 | 0.525 % | 227.18/227.26 c | 963458 | 758 66453 191464 | 1 72821 69 | 0.525 % | 227.18/227.26 c | 963559 | 758 66453 191464 | 1 72922 69 | 0.525 % | 227.18/227.26 c | 963660 | 758 66453 191464 | 1 73023 69 | 0.525 % | 227.18/227.26 c | 964122 | 758 66453 191464 | 1 73485 69 | 0.525 % | 227.18/227.26 c | 968535 | 758 66453 191464 | 1 77898 70 | 0.525 % | 227.18/227.26 c | 969145 | 758 66453 191464 | 1 78508 70 | 0.525 % | 227.18/227.26 c | 974787 | 758 66453 191464 | 1 84150 71 | 0.525 % | 227.18/227.26 c | 975856 | 758 66453 191464 | 1 85219 72 | 0.525 % | 227.18/227.26 c | 975957 | 758 66453 191464 | 1 85320 72 | 0.525 % | 227.18/227.26 c | 976142 | 758 66453 191464 | 1 85505 72 | 0.525 % | 227.18/227.26 c | 976244 | 758 66453 191464 | 1 85607 72 | 0.525 % | 227.18/227.26 c | 976390 | 758 66453 191464 | 1 85753 72 | 0.525 % | 227.18/227.26 c | 977053 | 758 66453 191464 | 1 86416 72 | 0.525 % | 227.18/227.26 c | 978007 | 758 66453 191464 | 1 87370 72 | 0.525 % | 227.18/227.26 c | 978239 | 758 66453 191464 | 1 87602 72 | 0.525 % | 227.18/227.26 c | 979579 | 758 66453 191464 | 1 88942 73 | 0.525 % | 227.18/227.26 c | 979679 | 758 66453 191464 | 1 89042 73 | 0.525 % | 227.18/227.26 c | 979780 | 758 66453 191464 | 1 89143 73 | 0.525 % | 227.18/227.26 c | 980643 | 758 66453 191464 | 1 90006 73 | 0.525 % | 236.08/236.19 c | 980744 | 758 66453 191464 | 1 90107 73 | 0.525 % | 236.08/236.19 c | 980845 | 758 66453 191464 | 1 90208 73 | 0.525 % | 236.08/236.19 c | 980947 | 758 66453 191464 | 1 90310 73 | 0.525 % | 236.08/236.19 c | 981269 | 758 66453 191464 | 1 90632 73 | 0.525 % | 236.08/236.19 c | 981370 | 758 66453 191464 | 1 90733 73 | 0.525 % | 236.08/236.19 c | 981471 | 758 66453 191464 | 1 90834 73 | 0.525 % | 236.08/236.19 c | 981681 | 758 66453 191464 | 1 91044 74 | 0.525 % | 236.08/236.19 c | 981781 | 758 66453 191464 | 1 91144 74 | 0.525 % | 236.08/236.19 c | 981881 | 758 66453 191464 | 1 91244 74 | 0.525 % | 236.08/236.19 c | 981982 | 758 66453 191464 | 1 91345 74 | 0.525 % | 236.08/236.19 c | 983955 | 758 66453 191464 | 1 93318 74 | 0.525 % | 236.08/236.19 c | 984057 | 758 66453 191464 | 1 93420 74 | 0.525 % | 236.08/236.19 c | 984158 | 758 66453 191464 | 1 93521 74 | 0.525 % | 236.08/236.19 c | 986225 | 758 66453 191464 | 1 95588 75 | 0.525 % | 236.08/236.19 c | 986326 | 758 66453 191464 | 1 95689 75 | 0.525 % | 236.08/236.19 c | 986429 | 758 66453 191464 | 1 95792 75 | 0.525 % | 236.08/236.19 c | 986532 | 758 66453 191464 | 1 95895 75 | 0.525 % | 236.08/236.19 c | 991933 | 758 66453 191464 | 1 101296 75 | 0.525 % | 236.08/236.19 c | 992033 | 758 66453 191464 | 1 101396 75 | 0.525 % | 236.08/236.19 c | 992208 | 758 66453 191464 | 1 101571 75 | 0.525 % | 236.08/236.19 c | 992309 | 758 66453 191464 | 1 101672 75 | 0.525 % | 236.08/236.19 c | 992409 | 758 66453 191464 | 1 101772 75 | 0.525 % | 236.08/236.19 c | 992510 | 758 66453 191464 | 1 101873 75 | 0.525 % | 236.08/236.19 c | 992612 | 758 66453 191464 | 1 101975 75 | 0.525 % | 236.08/236.19 c | 992712 | 758 66453 191464 | 1 102075 75 | 0.525 % | 236.08/236.19 c | 992812 | 758 66453 191464 | 1 102175 75 | 0.525 % | 236.08/236.19 c | 992912 | 758 66453 191464 | 1 102275 75 | 0.525 % | 236.08/236.19 c | 993012 | 758 66453 191464 | 1 102375 75 | 0.525 % | 236.08/236.19 c | 993113 | 758 66453 191464 | 1 102476 75 | 0.525 % | 236.08/236.19 c | 993214 | 758 66453 191464 | 1 102577 75 | 0.525 % | 236.08/236.19 c | 993314 | 758 66453 191464 | 1 102677 75 | 0.525 % | 236.08/236.19 c | 993415 | 758 66453 191464 | 1 102778 75 | 0.525 % | 236.08/236.19 c | 993516 | 758 66453 191464 | 1 102879 76 | 0.525 % | 236.08/236.19 c | 996233 | 758 66453 191464 | 1 105596 76 | 0.525 % | 236.08/236.19 c | 996356 | 758 66453 191464 | 1 105719 76 | 0.525 % | 236.08/236.19 c | 996466 | 758 66453 191464 | 1 105829 76 | 0.525 % | 236.08/236.19 c | 996568 | 758 66453 191464 | 1 105931 76 | 0.525 % | 236.08/236.19 c | 996707 | 758 66453 191464 | 1 106070 76 | 0.525 % | 236.08/236.19 c | 996809 | 758 66453 191464 | 1 106172 76 | 0.525 % | 236.08/236.19 c | 996910 | 758 66453 191464 | 1 106273 76 | 0.525 % | 236.08/236.19 c | 997010 | 758 66453 191464 | 1 106373 76 | 0.525 % | 236.08/236.19 c | 997110 | 758 66453 191464 | 1 106473 76 | 0.525 % | 236.08/236.19 c | 997211 | 758 66453 191464 | 1 106574 76 | 0.525 % | 236.08/236.19 c | 997313 | 758 66453 191464 | 1 106676 76 | 0.525 % | 236.08/236.19 c | 997415 | 758 66453 191464 | 1 106778 76 | 0.525 % | 236.08/236.19 c | 997516 | 758 66453 191464 | 1 106879 76 | 0.525 % | 236.08/236.19 c | 997617 | 758 66453 191464 | 1 106980 76 | 0.525 % | 236.08/236.19 c | 997718 | 758 66453 191464 | 1 107081 76 | 0.525 % | 236.08/236.19 c | 997818 | 758 66453 191464 | 1 107181 76 | 0.525 % | 236.08/236.19 c | 997923 | 758 66453 191464 | 1 107286 76 | 0.525 % | 249.48/249.60 c | 998023 | 758 66453 191464 | 1 107386 76 | 0.525 % | 249.48/249.60 c | 998126 | 758 66453 191464 | 1 107489 76 | 0.525 % | 249.48/249.60 c | 998230 | 758 66453 191464 | 1 107593 76 | 0.525 % | 249.48/249.60 c | 998331 | 758 66453 191464 | 1 107694 76 | 0.525 % | 249.48/249.60 c | 998434 | 758 66453 191464 | 1 107797 76 | 0.525 % | 249.48/249.60 c | 998537 | 758 66453 191464 | 1 107900 76 | 0.525 % | 249.48/249.60 c | 998638 | 758 66453 191464 | 1 108001 76 | 0.525 % | 249.48/249.60 c | 998738 | 758 66453 191464 | 1 108101 76 | 0.525 % | 249.48/249.60 c | 998842 | 758 66453 191464 | 1 108205 77 | 0.525 % | 249.48/249.60 c | 998943 | 758 66453 191464 | 1 108306 77 | 0.525 % | 249.48/249.60 c | 999045 | 758 66453 191464 | 1 108408 77 | 0.525 % | 249.48/249.60 c | 999145 | 758 66453 191464 | 1 108508 77 | 0.525 % | 249.48/249.60 c | 999246 | 758 66453 191464 | 1 108609 77 | 0.525 % | 249.48/249.60 c | 999346 | 758 66453 191464 | 1 108709 77 | 0.525 % | 249.48/249.60 c | 999446 | 758 66453 191464 | 1 108809 77 | 0.525 % | 249.48/249.60 c | 999547 | 758 66453 191464 | 1 108910 77 | 0.525 % | 249.48/249.60 c | 1000397 | 758 66453 191464 | 1 109760 77 | 0.525 % | 249.48/249.60 c | 1000498 | 758 66453 191464 | 1 109861 77 | 0.525 % | 249.48/249.60 c | 1000599 | 758 66453 191464 | 1 109962 77 | 0.525 % | 249.48/249.60 c | 1001311 | 758 66453 191464 | 1 110674 77 | 0.525 % | 249.48/249.60 c | 1006732 | 758 66453 191464 | 1 116095 78 | 0.525 % | 249.48/249.60 c | 1006834 | 758 66453 191464 | 1 116197 78 | 0.525 % | 249.48/249.60 c | 1006938 | 758 66453 191464 | 1 116301 78 | 0.525 % | 249.48/249.60 c | 1007041 | 758 66453 191464 | 1 116404 78 | 0.525 % | 249.48/249.60 c | 1007141 | 758 66453 191464 | 1 116504 78 | 0.525 % | 249.48/249.60 c | 1007244 | 758 66453 191464 | 1 116607 78 | 0.525 % | 249.48/249.60 c | 1007367 | 758 66453 191464 | 1 116730 78 | 0.525 % | 249.48/249.60 c | 1009971 | 758 66453 191464 | 1 119334 78 | 0.525 % | 249.48/249.60 c | 1010072 | 758 66453 191464 | 1 119435 78 | 0.525 % | 249.48/249.60 c | 1012475 | 758 66453 191464 | 1 121838 79 | 0.525 % | 249.48/249.60 c | 1013125 | 758 66453 191464 | 1 122488 79 | 0.525 % | 249.48/249.60 c | 1013229 | 758 66453 191464 | 1 122592 79 | 0.525 % | 249.48/249.60 c | 1013329 | 758 66453 191464 | 1 122692 79 | 0.525 % | 249.48/249.60 c | 1013431 | 758 66453 191464 | 1 122794 79 | 0.525 % | 249.48/249.60 c | 1013531 | 758 66453 191464 | 1 122894 79 | 0.525 % | 249.48/249.60 c | 1013633 | 758 66453 191464 | 1 122996 79 | 0.525 % | 249.48/249.60 c | 1013733 | 758 66453 191464 | 1 123096 79 | 0.525 % | 249.48/249.60 c | 1013834 | 758 66453 191464 | 1 123197 79 | 0.525 % | 249.48/249.60 c | 1013939 | 758 66453 191464 | 1 123302 79 | 0.525 % | 249.48/249.60 c | 1014039 | 758 66453 191464 | 1 123402 79 | 0.525 % | 249.48/249.60 c | 1014139 | 758 66453 191464 | 1 123502 79 | 0.525 % | 249.48/249.60 c | 1014266 | 758 66453 191464 | 1 123629 79 | 0.525 % | 249.48/249.60 c | 1015243 | 758 66453 191464 | 1 124606 79 | 0.525 % | 249.48/249.60 c | 1016177 | 758 66453 191464 | 1 125540 79 | 0.525 % | 249.48/249.60 c | 1018110 | 758 66453 191464 | 1 127473 79 | 0.525 % | 249.48/249.60 c | 1019352 | 758 66453 191464 | 1 128715 79 | 0.525 % | 249.48/249.60 c | 1019453 | 758 66453 191464 | 1 128816 79 | 0.525 % | 249.48/249.60 c | 1019553 | 758 66453 191464 | 1 128916 79 | 0.525 % | 249.48/249.60 c | 1019653 | 758 66453 191464 | 1 129016 79 | 0.525 % | 249.48/249.60 c | 1019753 | 758 66453 191464 | 1 129116 79 | 0.525 % | 273.68/273.76 c | 1019853 | 758 66453 191464 | 1 129216 79 | 0.525 % | 273.68/273.76 c | 1019954 | 758 66453 191464 | 1 129317 79 | 0.525 % | 273.68/273.76 c | 1020054 | 758 66453 191464 | 1 129417 79 | 0.525 % | 273.68/273.76 c | 1020155 | 758 66453 191464 | 1 129518 79 | 0.525 % | 273.68/273.76 c | 1020257 | 758 66453 191464 | 1 129620 79 | 0.525 % | 273.68/273.76 c | 1020358 | 758 66453 191464 | 1 129721 79 | 0.525 % | 273.68/273.76 c | 1023510 | 758 66453 191464 | 1 67893 66 | 0.525 % | 273.68/273.76 c | 1024461 | 758 66453 191464 | 1 68844 66 | 0.525 % | 273.68/273.76 c | 1024562 | 758 66453 191464 | 1 68945 66 | 0.525 % | 273.68/273.76 c | 1024797 | 758 66453 191464 | 1 69180 66 | 0.525 % | 273.68/273.76 c | 1024897 | 758 66453 191464 | 1 69280 66 | 0.525 % | 273.68/273.76 c | 1025032 | 758 66453 191464 | 1 69415 66 | 0.525 % | 273.68/273.76 c | 1025132 | 758 66453 191464 | 1 69515 66 | 0.525 % | 273.68/273.76 c | 1027715 | 758 66453 191464 | 1 72098 67 | 0.525 % | 273.68/273.76 c | 1027816 | 758 66453 191464 | 1 72199 67 | 0.525 % | 273.68/273.76 c | 1027916 | 758 66453 191464 | 1 72299 67 | 0.525 % | 273.68/273.76 c | 1029184 | 758 66453 191464 | 1 73567 67 | 0.525 % | 273.68/273.76 c | 1029284 | 758 66453 191464 | 1 73667 68 | 0.525 % | 273.68/273.76 c | 1029384 | 758 66453 191464 | 1 73767 68 | 0.525 % | 273.68/273.76 c | 1029484 | 758 66453 191464 | 1 73867 68 | 0.525 % | 273.68/273.76 c | 1029586 | 758 66453 191464 | 1 73969 68 | 0.525 % | 273.68/273.76 c | 1029691 | 758 66453 191464 | 1 74074 68 | 0.525 % | 273.68/273.76 c | 1031081 | 758 66453 191464 | 1 75464 68 | 0.525 % | 273.68/273.76 c | 1031289 | 758 66453 191464 | 1 75672 68 | 0.525 % | 273.68/273.76 c | 1031389 | 758 66453 191464 | 1 75772 69 | 0.525 % | 273.68/273.76 c | 1031490 | 758 66453 191464 | 1 75873 69 | 0.525 % | 273.68/273.76 c | 1031663 | 758 66453 191464 | 1 76046 69 | 0.525 % | 273.68/273.76 c | 1033040 | 758 66453 191464 | 1 77423 69 | 0.525 % | 273.68/273.76 c | 1033141 | 758 66453 191464 | 1 77524 69 | 0.525 % | 273.68/273.76 c | 1036803 | 758 66453 191464 | 1 81186 71 | 0.525 % | 273.68/273.76 c | 1036904 | 758 66453 191464 | 1 81287 71 | 0.525 % | 273.68/273.76 c | 1037004 | 758 66453 191464 | 1 81387 71 | 0.525 % | 273.68/273.76 c | 1037668 | 758 66453 191464 | 1 82051 71 | 0.525 % | 273.68/273.76 c | 1038024 | 758 66453 191464 | 1 82407 71 | 0.525 % | 273.68/273.76 c | 1079182 | 758 66453 191464 | 1 123565 77 | 0.525 % | 273.68/273.76 c | 1079283 | 758 66453 191464 | 1 123666 77 | 0.525 % | 273.68/273.76 c | 1079384 | 758 66453 191464 | 1 123767 77 | 0.525 % | 273.68/273.76 c | 1079484 | 758 66453 191464 | 1 123867 77 | 0.525 % | 273.68/273.76 c | 1079584 | 758 66453 191464 | 1 123967 77 | 0.525 % | 273.68/273.76 c | 1079686 | 758 66453 191464 | 1 124069 77 | 0.525 % | 273.68/273.76 c | 1079787 | 758 66453 191464 | 1 124170 77 | 0.525 % | 273.68/273.76 c | 1079888 | 758 66453 191464 | 1 124271 77 | 0.525 % | 273.68/273.76 c | 1079990 | 758 66453 191464 | 1 124373 77 | 0.525 % | 273.68/273.76 c | 1080090 | 758 66453 191464 | 1 124473 77 | 0.525 % | 273.68/273.76 c | 1081087 | 758 66453 191464 | 1 125470 77 | 0.525 % | 273.68/273.76 c | 1081187 | 758 66453 191464 | 1 125570 77 | 0.525 % | 273.68/273.76 c | 1081288 | 758 66453 191464 | 1 125671 77 | 0.525 % | 273.68/273.76 c | 1082557 | 758 66453 191464 | 1 126940 77 | 0.525 % | 273.68/273.76 c | 1082658 | 758 66453 191464 | 1 127041 77 | 0.525 % | 273.68/273.76 c | 1082814 | 758 66453 191464 | 1 127197 77 | 0.525 % | 287.39/287.46 c | 1086438 | 758 66453 191464 | 1 130821 77 | 0.525 % | 287.39/287.46 c | 1086538 | 758 66453 191464 | 1 130921 77 | 0.525 % | 287.39/287.46 c | 1089044 | 758 66453 191464 | 1 133427 77 | 0.525 % | 287.39/287.46 c | 1089144 | 758 66453 191464 | 1 133527 77 | 0.525 % | 287.39/287.46 c | 1089248 | 758 66453 191464 | 1 133631 77 | 0.525 % | 287.39/287.46 c | 1089349 | 758 66453 191464 | 1 133732 77 | 0.525 % | 287.39/287.46 c | 1089449 | 758 66453 191464 | 1 133832 77 | 0.525 % | 287.39/287.46 c | 1089549 | 758 66453 191464 | 1 133932 77 | 0.525 % | 287.39/287.46 c | 1089651 | 758 66453 191464 | 1 134034 77 | 0.525 % | 287.39/287.46 c | 1089751 | 758 66453 191464 | 1 134134 77 | 0.525 % | 287.39/287.46 c | 1089853 | 758 66453 191464 | 1 134236 77 | 0.525 % | 287.39/287.46 c | 1090654 | 758 66453 191464 | 1 135037 77 | 0.525 % | 287.39/287.46 c | 1090759 | 758 66453 191464 | 1 135142 77 | 0.525 % | 287.39/287.46 c | 1094332 | 758 66453 191464 | 1 138715 77 | 0.525 % | 287.39/287.46 c | 1094436 | 758 66453 191464 | 1 138819 77 | 0.525 % | 287.39/287.46 c | 1094539 | 758 66453 191464 | 1 138922 77 | 0.525 % | 287.39/287.46 c | 1094639 | 758 66453 191464 | 1 139022 77 | 0.525 % | 287.39/287.46 c | 1094741 | 758 66453 191464 | 1 139124 78 | 0.525 % | 287.39/287.46 c | 1094841 | 758 66453 191464 | 1 69646 64 | 0.525 % | 287.39/287.46 c | 1094941 | 758 66453 191464 | 1 69746 64 | 0.525 % | 287.39/287.46 c | 1095043 | 758 66453 191464 | 1 69848 64 | 0.525 % | 287.39/287.46 c | 1095144 | 758 66453 191464 | 1 69949 65 | 0.525 % | 287.39/287.46 c | 1095245 | 758 66453 191464 | 1 70050 65 | 0.525 % | 287.39/287.46 c | 1095898 | 758 66453 191464 | 1 70703 65 | 0.525 % | 287.39/287.46 c | 1095998 | 758 66453 191464 | 1 70803 65 | 0.525 % | 287.39/287.46 c | 1096098 | 758 66453 191464 | 1 70903 65 | 0.525 % | 287.39/287.46 c | 1096199 | 758 66453 191464 | 1 71004 65 | 0.525 % | 287.39/287.46 c | 1097132 | 758 66453 191464 | 1 71937 65 | 0.525 % | 287.39/287.46 c | 1097233 | 758 66453 191464 | 1 72038 65 | 0.525 % | 287.39/287.46 c | 1097693 | 758 66453 191464 | 1 72498 66 | 0.525 % | 287.39/287.46 c | 1097794 | 758 66453 191464 | 1 72599 66 | 0.525 % | 287.39/287.46 c | 1097925 | 758 66453 191464 | 1 72730 66 | 0.525 % | 287.39/287.46 c | 1101846 | 758 66453 191464 | 1 76651 66 | 0.525 % | 287.39/287.46 c | 1101948 | 758 66453 191464 | 1 76753 66 | 0.525 % | 287.39/287.46 c | 1104880 | 758 66453 191464 | 1 79685 67 | 0.525 % | 287.39/287.46 c | 1104983 | 758 66453 191464 | 1 79788 67 | 0.525 % | 287.39/287.46 c | 1105435 | 758 66453 191464 | 1 80240 67 | 0.525 % | 287.39/287.46 c | 1105853 | 758 66453 191464 | 1 80658 67 | 0.525 % | 287.39/287.46 c | 1107906 | 758 66453 191464 | 1 82711 68 | 0.525 % | 287.39/287.46 c | 1108006 | 758 66453 191464 | 1 82811 68 | 0.525 % | 287.39/287.46 c | 1108106 | 758 66453 191464 | 1 82911 68 | 0.525 % | 287.39/287.46 c | 1108519 | 758 66453 191464 | 1 83324 68 | 0.525 % | 287.39/287.46 c | 1108620 | 758 66453 191464 | 1 83425 68 | 0.525 % | 287.39/287.46 c | 1108721 | 758 66453 191464 | 1 83526 68 | 0.525 % | 287.39/287.46 c | 1108821 | 758 66453 191464 | 1 83626 68 | 0.525 % | 287.39/287.46 c | 1108923 | 758 66453 191464 | 1 83728 68 | 0.525 % | 287.39/287.46 c | 1109023 | 758 66453 191464 | 1 83828 68 | 0.525 % | 287.39/287.46 c | 1109124 | 758 66453 191464 | 1 83929 68 | 0.525 % | 287.39/287.46 c | 1109224 | 758 66453 191464 | 1 84029 68 | 0.525 % | 304.58/304.62 c | 1109324 | 758 66453 191464 | 1 84129 68 | 0.525 % | 304.58/304.62 c | 1109427 | 758 66453 191464 | 1 84232 68 | 0.525 % | 304.58/304.62 c | 1109527 | 758 66453 191464 | 1 84332 68 | 0.525 % | 304.58/304.62 c | 1109627 | 758 66453 191464 | 1 84432 68 | 0.525 % | 304.58/304.62 c | 1109728 | 758 66453 191464 | 1 84533 68 | 0.525 % | 304.58/304.62 c | 1109829 | 758 66453 191464 | 1 84634 68 | 0.525 % | 304.58/304.62 c | 1109930 | 758 66453 191464 | 1 84735 68 | 0.525 % | 304.58/304.62 c | 1110030 | 758 66453 191464 | 1 84835 68 | 0.525 % | 304.58/304.62 c | 1110131 | 758 66453 191464 | 1 84936 68 | 0.525 % | 304.58/304.62 c | 1110283 | 758 66453 191464 | 1 85088 68 | 0.525 % | 304.58/304.62 c | 1113484 | 758 66453 191464 | 1 88289 69 | 0.525 % | 304.58/304.62 c | 1113584 | 758 66453 191464 | 1 88389 69 | 0.525 % | 304.58/304.62 c | 1114932 | 758 66453 191464 | 1 89737 69 | 0.525 % | 304.58/304.62 c | 1115032 | 758 66453 191464 | 1 89837 69 | 0.525 % | 304.58/304.62 c | 1116704 | 758 66453 191464 | 1 91509 70 | 0.525 % | 304.58/304.62 c | 1117054 | 758 66453 191464 | 1 91859 70 | 0.525 % | 304.58/304.62 c | 1118784 | 758 66453 191464 | 1 93589 70 | 0.525 % | 304.58/304.62 c | 1118886 | 758 66453 191464 | 1 93691 70 | 0.525 % | 304.58/304.62 c | 1118986 | 758 66453 191464 | 1 93791 70 | 0.525 % | 304.58/304.62 c | 1119088 | 758 66453 191464 | 1 93893 70 | 0.525 % | 304.58/304.62 c | 1119188 | 758 66453 191464 | 1 93993 70 | 0.525 % | 304.58/304.62 c | 1119289 | 758 66453 191464 | 1 94094 70 | 0.525 % | 304.58/304.62 c | 1119389 | 758 66453 191464 | 1 94194 70 | 0.525 % | 304.58/304.62 c | 1119515 | 758 66453 191464 | 1 94320 70 | 0.525 % | 304.58/304.62 c | 1122811 | 758 66453 191464 | 1 97616 71 | 0.525 % | 304.58/304.62 c | 1122911 | 758 66453 191464 | 1 97716 71 | 0.525 % | 304.58/304.62 c | 1124456 | 758 66453 191464 | 1 99261 71 | 0.525 % | 304.58/304.62 c | 1124585 | 758 66453 191464 | 1 99390 71 | 0.525 % | 304.58/304.62 c | 1129061 | 758 66453 191464 | 1 103866 72 | 0.525 % | 304.58/304.62 c | 1132813 | 758 66453 191464 | 1 107618 72 | 0.525 % | 304.58/304.62 c | 1132916 | 758 66453 191464 | 1 107721 72 | 0.525 % | 304.58/304.62 c | 1133016 | 758 66453 191464 | 1 107821 72 | 0.525 % | 304.58/304.62 c | 1133116 | 758 66453 191464 | 1 107921 72 | 0.525 % | 304.58/304.62 c | 1133217 | 758 66453 191464 | 1 108022 72 | 0.525 % | 304.58/304.62 c | 1133491 | 758 66453 191464 | 1 108296 72 | 0.525 % | 304.58/304.62 c | 1133591 | 758 66453 191464 | 1 108396 72 | 0.525 % | 304.58/304.62 c | 1133693 | 758 66453 191464 | 1 108498 72 | 0.525 % | 304.58/304.62 c | 1133794 | 758 66453 191464 | 1 108599 72 | 0.525 % | 304.58/304.62 c | 1133895 | 758 66453 191464 | 1 108700 72 | 0.525 % | 304.58/304.62 c | 1137753 | 758 66453 191464 | 1 112558 73 | 0.525 % | 304.58/304.62 c | 1138416 | 758 66453 191464 | 1 113221 73 | 0.525 % | 304.58/304.62 c | 1138702 | 758 66453 191464 | 1 113507 73 | 0.525 % | 304.58/304.62 c | 1138802 | 758 66453 191464 | 1 113607 73 | 0.525 % | 304.58/304.62 c | 1138903 | 758 66453 191464 | 1 113708 73 | 0.525 % | 304.58/304.62 c | 1139006 | 758 66453 191464 | 1 113811 73 | 0.525 % | 304.58/304.62 c | 1139108 | 758 66453 191464 | 1 113913 73 | 0.525 % | 304.58/304.62 c | 1139209 | 758 66453 191464 | 1 114014 73 | 0.525 % | 304.58/304.62 c | 1139309 | 758 66453 191464 | 1 114114 73 | 0.525 % | 304.58/304.62 c | 1139411 | 758 66453 191464 | 1 114216 73 | 0.525 % | 304.58/304.62 c | 1143356 | 758 66453 191464 | 1 118161 74 | 0.525 % | 316.28/316.30 c | 1143457 | 758 66453 191464 | 1 118262 74 | 0.525 % | 316.28/316.30 c | 1143557 | 758 66453 191464 | 1 118362 74 | 0.525 % | 316.28/316.30 c | 1143658 | 758 66453 191464 | 1 118463 74 | 0.525 % | 316.28/316.30 c | 1145217 | 758 66453 191464 | 1 120022 74 | 0.525 % | 316.28/316.30 c | 1145852 | 758 66453 191464 | 1 120657 74 | 0.525 % | 316.28/316.30 c | 1147273 | 758 66453 191464 | 1 122078 74 | 0.525 % | 316.28/316.30 c | 1147373 | 758 66453 191464 | 1 122178 74 | 0.525 % | 316.28/316.30 c | 1147475 | 758 66453 191464 | 1 122280 74 | 0.525 % | 316.28/316.30 c | 1147576 | 758 66453 191464 | 1 122381 74 | 0.525 % | 316.28/316.30 c | 1147677 | 758 66453 191464 | 1 122482 74 | 0.525 % | 316.28/316.30 c | 1147777 | 758 66453 191464 | 1 122582 74 | 0.525 % | 316.28/316.30 c | 1148869 | 758 66453 191464 | 1 123674 75 | 0.525 % | 316.28/316.30 c | 1148970 | 758 66453 191464 | 1 123775 75 | 0.525 % | 316.28/316.30 c | 1151864 | 758 66453 191464 | 1 126669 75 | 0.525 % | 316.28/316.30 c | 1151965 | 758 66453 191464 | 1 126770 75 | 0.525 % | 316.28/316.30 c | 1152066 | 758 66453 191464 | 1 126871 75 | 0.525 % | 316.28/316.30 c | 1152168 | 758 66453 191464 | 1 126973 75 | 0.525 % | 316.28/316.30 c | 1152270 | 758 66453 191464 | 1 127075 75 | 0.525 % | 316.28/316.30 c | 1152370 | 758 66453 191464 | 1 127175 75 | 0.525 % | 316.28/316.30 c | 1153414 | 758 66453 191464 | 1 128219 75 | 0.525 % | 316.28/316.30 c | 1153515 | 758 66453 191464 | 1 128320 75 | 0.525 % | 316.28/316.30 c | 1153677 | 758 66453 191464 | 1 128482 75 | 0.525 % | 316.28/316.30 c | 1153777 | 758 66453 191464 | 1 128582 75 | 0.525 % | 316.28/316.30 c | 1155576 | 758 66453 191464 | 1 130381 75 | 0.525 % | 316.28/316.30 c | 1155678 | 758 66453 191464 | 1 130483 75 | 0.525 % | 316.28/316.30 c | 1155779 | 758 66453 191464 | 1 130584 75 | 0.525 % | 316.28/316.30 c | 1155880 | 758 66453 191464 | 1 130685 75 | 0.525 % | 316.28/316.30 c | 1157488 | 758 66453 191464 | 1 132293 76 | 0.525 % | 316.28/316.30 c | 1157590 | 758 66453 191464 | 1 132395 76 | 0.525 % | 316.28/316.30 c | 1158707 | 758 66453 191464 | 1 133512 76 | 0.525 % | 316.28/316.30 c | 1158969 | 758 66453 191464 | 1 133774 76 | 0.525 % | 316.28/316.30 c | 1159070 | 758 66453 191464 | 1 133875 76 | 0.525 % | 316.28/316.30 c | 1159173 | 758 66453 191464 | 1 133978 76 | 0.525 % | 316.28/316.30 c | 1159275 | 758 66453 191464 | 1 134080 76 | 0.525 % | 316.28/316.30 c | 1159375 | 758 66453 191464 | 1 134180 76 | 0.525 % | 316.28/316.30 c | 1159475 | 758 66453 191464 | 1 134280 76 | 0.525 % | 316.28/316.30 c | 1159576 | 758 66453 191464 | 1 134381 76 | 0.525 % | 316.28/316.30 c | 1159677 | 758 66453 191464 | 1 134482 76 | 0.525 % | 316.28/316.30 c | 1159778 | 758 66453 191464 | 1 134583 76 | 0.525 % | 316.28/316.30 c | 1159878 | 758 66453 191464 | 1 134683 76 | 0.525 % | 316.28/316.30 c | 1159978 | 758 66453 191464 | 1 134783 76 | 0.525 % | 316.28/316.30 c | 1160078 | 758 66453 191464 | 1 134883 76 | 0.525 % | 316.28/316.30 c | 1160179 | 758 66453 191464 | 1 134984 76 | 0.525 % | 316.28/316.30 c | 1160279 | 758 66453 191464 | 1 135084 76 | 0.525 % | 316.28/316.30 c | 1160381 | 758 66453 191464 | 1 135186 76 | 0.525 % | 316.28/316.30 c | 1160481 | 758 66453 191464 | 1 135286 76 | 0.525 % | 316.28/316.30 c | 1160581 | 758 66453 191464 | 1 135386 76 | 0.525 % | 316.28/316.30 c | 1160698 | 758 66453 191464 | 1 135503 76 | 0.525 % | 316.28/316.30 c | 1161018 | 758 66453 191464 | 1 135823 76 | 0.525 % | 316.28/316.30 c | 1161120 | 758 66453 191464 | 1 135925 76 | 0.525 % | 328.79/328.87 c | 1161223 | 758 66453 191464 | 1 136028 76 | 0.525 % | 328.79/328.87 c | 1163780 | 758 66453 191464 | 1 138585 76 | 0.525 % | 328.79/328.87 c | 1163883 | 758 66453 191464 | 1 138688 76 | 0.525 % | 328.79/328.87 c | 1163989 | 758 66453 191464 | 1 138794 76 | 0.525 % | 328.79/328.87 c | 1164091 | 758 66453 191464 | 1 138896 76 | 0.525 % | 328.79/328.87 c | 1165021 | 758 66453 191464 | 1 139826 76 | 0.525 % | 328.79/328.87 c | 1165450 | 758 66453 191464 | 1 140255 76 | 0.525 % | 328.79/328.87 c | 1165550 | 758 66453 191464 | 1 140355 76 | 0.525 % | 328.79/328.87 c | 1165653 | 758 66453 191464 | 1 140458 76 | 0.525 % | 328.79/328.87 c | 1165754 | 758 66453 191464 | 1 140559 76 | 0.525 % | 328.79/328.87 c | 1165855 | 758 66453 191464 | 1 140660 76 | 0.525 % | 328.79/328.87 c | 1165955 | 758 66453 191464 | 1 140760 76 | 0.525 % | 328.79/328.87 c | 1171235 | 758 66453 191464 | 1 146040 77 | 0.525 % | 328.79/328.87 c | 1171335 | 758 66453 191464 | 1 146140 77 | 0.525 % | 328.79/328.87 c | 1171435 | 758 66453 191464 | 1 146240 77 | 0.525 % | 328.79/328.87 c | 1171536 | 758 66453 191464 | 1 146341 77 | 0.525 % | 328.79/328.87 c | 1172583 | 758 66453 191464 | 1 74189 64 | 0.525 % | 328.79/328.87 c | 1172683 | 758 66453 191464 | 1 74289 64 | 0.525 % | 328.79/328.87 c | 1175099 | 758 66453 191464 | 1 76705 65 | 0.525 % | 328.79/328.87 c | 1175561 | 758 66453 191464 | 1 77167 66 | 0.525 % | 328.79/328.87 c | 1175661 | 758 66453 191464 | 1 77267 66 | 0.525 % | 328.79/328.87 c | 1175761 | 758 66453 191464 | 1 77367 66 | 0.525 % | 328.79/328.87 c | 1175865 | 758 66453 191464 | 1 77471 66 | 0.525 % | 328.79/328.87 c | 1175967 | 758 66453 191464 | 1 77573 66 | 0.525 % | 328.79/328.87 c | 1176069 | 758 66453 191464 | 1 77675 66 | 0.525 % | 328.79/328.87 c | 1176172 | 758 66453 191464 | 1 77778 66 | 0.525 % | 328.79/328.87 c | 1176272 | 758 66453 191464 | 1 77878 66 | 0.525 % | 328.79/328.87 c | 1176494 | 758 66453 191464 | 1 78100 66 | 0.525 % | 328.79/328.87 c | 1177013 | 758 66453 191464 | 1 78619 66 | 0.525 % | 328.79/328.87 c | 1177113 | 758 66453 191464 | 1 78719 66 | 0.525 % | 328.79/328.87 c | 1177215 | 758 66453 191464 | 1 78821 66 | 0.525 % | 328.79/328.87 c | 1179886 | 758 66453 191464 | 1 81492 67 | 0.525 % | 328.79/328.87 c | 1180131 | 758 66453 191464 | 1 81737 67 | 0.525 % | 328.79/328.87 c | 1180231 | 758 66453 191464 | 1 81837 67 | 0.525 % | 328.79/328.87 c | 1180331 | 758 66453 191464 | 1 81937 67 | 0.525 % | 328.79/328.87 c | 1180431 | 758 66453 191464 | 1 82037 67 | 0.525 % | 328.79/328.87 c | 1184760 | 758 66453 191464 | 1 86366 68 | 0.525 % | 328.79/328.87 c | 1184860 | 758 66453 191464 | 1 86466 68 | 0.525 % | 328.79/328.87 c | 1184961 | 758 66453 191464 | 1 86567 68 | 0.525 % | 328.79/328.87 c | 1185064 | 758 66453 191464 | 1 86670 68 | 0.525 % | 328.79/328.87 c | 1185314 | 758 66453 191464 | 1 86920 68 | 0.525 % | 328.79/328.87 c | 1185415 | 758 66453 191464 | 1 87021 68 | 0.525 % | 328.79/328.87 c | 1185516 | 758 66453 191464 | 1 87122 68 | 0.525 % | 328.79/328.87 c | 1185679 | 758 66453 191464 | 1 87285 68 | 0.525 % | 328.79/328.87 c | 1185779 | 758 66453 191464 | 1 87385 68 | 0.525 % | 328.79/328.87 c | 1186038 | 758 66453 191464 | 1 87644 68 | 0.525 % | 328.79/328.87 c | 1186138 | 758 66453 191464 | 1 87744 68 | 0.525 % | 328.79/328.87 c | 1186238 | 758 66453 191464 | 1 87844 68 | 0.525 % | 328.79/328.87 c | 1186339 | 758 66453 191464 | 1 87945 69 | 0.525 % | 328.79/328.87 c | 1186440 | 758 66453 191464 | 1 88046 69 | 0.525 % | 401.40/401.49 c | 1186541 | 758 66453 191464 | 1 88147 69 | 0.525 % | 401.40/401.49 c | 1186641 | 758 66453 191464 | 1 88247 69 | 0.525 % | 401.40/401.49 c | 1186743 | 758 66453 191464 | 1 88349 69 | 0.525 % | 401.40/401.49 c | 1187150 | 758 66453 191464 | 1 88756 69 | 0.525 % | 401.40/401.49 c | 1187317 | 758 66453 191464 | 1 88923 69 | 0.525 % | 401.40/401.49 c | 1187421 | 758 66453 191464 | 1 89027 69 | 0.525 % | 401.40/401.49 c | 1187786 | 758 66453 191464 | 1 89392 69 | 0.525 % | 401.40/401.49 c | 1187887 | 758 66453 191464 | 1 89493 69 | 0.525 % | 401.40/401.49 c | 1187988 | 758 66453 191464 | 1 89594 69 | 0.525 % | 401.40/401.49 c | 1188089 | 758 66453 191464 | 1 89695 69 | 0.525 % | 401.40/401.49 c | 1188189 | 758 66453 191464 | 1 89795 69 | 0.525 % | 401.40/401.49 c | 1190801 | 758 66453 191464 | 1 92407 69 | 0.525 % | 401.40/401.49 c | 1304251 | 758 66453 191464 | 1 129564 70 | 0.525 % | 401.40/401.49 c | 1304351 | 758 66453 191464 | 1 129664 70 | 0.525 % | 401.40/401.49 c | 1312210 | 758 66453 191464 | 1 137523 72 | 0.525 % | 401.40/401.49 c | 1312861 | 758 66453 191464 | 1 138174 72 | 0.525 % | 401.40/401.49 c | 1317268 | 758 66453 191464 | 1 142581 72 | 0.525 % | 401.40/401.49 c | 1317368 | 758 66453 191464 | 1 142681 72 | 0.525 % | 401.40/401.49 c | 1317468 | 758 66453 191464 | 1 142781 72 | 0.525 % | 401.40/401.49 c | 1320117 | 758 66453 191464 | 1 145430 73 | 0.525 % | 401.40/401.49 c | 1320218 | 758 66453 191464 | 1 145531 73 | 0.525 % | 401.40/401.49 c | 1329562 | 758 66453 191464 | 1 154875 73 | 0.525 % | 401.40/401.49 c | 1329740 | 758 66453 191464 | 1 155053 73 | 0.525 % | 401.40/401.49 c | 1329840 | 758 66453 191464 | 1 155153 73 | 0.525 % | 401.40/401.49 c | 1329942 | 758 66453 191464 | 1 155255 73 | 0.525 % | 401.40/401.49 c | 1330394 | 758 66453 191464 | 1 155707 73 | 0.525 % | 401.40/401.49 c | 1330498 | 758 66453 191464 | 1 155811 73 | 0.525 % | 401.40/401.49 c | 1332023 | 758 66453 191464 | 1 157336 74 | 0.525 % | 401.40/401.49 c | 1336013 | 758 66453 191464 | 1 82177 63 | 0.525 % | 401.40/401.49 c | 1336113 | 758 66453 191464 | 1 82277 63 | 0.525 % | 401.40/401.49 c | 1339164 | 758 66453 191464 | 1 85328 63 | 0.525 % | 401.40/401.49 c | 1343332 | 758 66453 191464 | 1 89496 65 | 0.525 % | 401.40/401.49 c | 1343432 | 758 66453 191464 | 1 89596 65 | 0.525 % | 401.40/401.49 c | 1343532 | 758 66453 191464 | 1 89696 65 | 0.525 % | 401.40/401.49 c | 1344114 | 758 66453 191464 | 1 90278 65 | 0.525 % | 401.40/401.49 c | 1344214 | 758 66453 191464 | 1 90378 65 | 0.525 % | 401.40/401.49 c | 1344315 | 758 66453 191464 | 1 90479 65 | 0.525 % | 401.40/401.49 c | 1344509 | 758 66453 191464 | 1 90673 65 | 0.525 % | 401.40/401.49 c | 1344610 | 758 66453 191464 | 1 90774 65 | 0.525 % | 401.40/401.49 c | 1344712 | 758 66453 191464 | 1 90876 65 | 0.525 % | 401.40/401.49 c | 1345229 | 758 66453 191464 | 1 91393 65 | 0.525 % | 401.40/401.49 c | 1345374 | 758 66453 191464 | 1 91538 65 | 0.525 % | 401.40/401.49 c | 1345475 | 758 66453 191464 | 1 91639 65 | 0.525 % | 401.40/401.49 c | 1345575 | 758 66453 191464 | 1 91739 65 | 0.525 % | 401.40/401.49 c | 1345676 | 758 66453 191464 | 1 91840 65 | 0.525 % | 401.40/401.49 c | 1347636 | 758 66453 191464 | 1 93800 66 | 0.525 % | 401.40/401.49 c | 1347738 | 758 66453 191464 | 1 93902 66 | 0.525 % | 401.40/401.49 c | 1350644 | 758 66453 191464 | 1 96808 67 | 0.525 % | 401.40/401.49 c | 1355419 | 758 66453 191464 | 1 101583 68 | 0.525 % | 401.40/401.49 c | 1355853 | 758 66453 191464 | 1 102017 68 | 0.525 % | 430.19/430.29 c | 1356523 | 758 66453 191464 | 1 102687 68 | 0.525 % | 430.19/430.29 c | 1365861 | 758 66453 191464 | 1 112025 69 | 0.525 % | 430.19/430.29 c | 1365961 | 758 66453 191464 | 1 112125 69 | 0.525 % | 430.19/430.29 c | 1366062 | 758 66453 191464 | 1 112226 69 | 0.525 % | 430.19/430.29 c | 1366782 | 758 66453 191464 | 1 112946 70 | 0.525 % | 430.19/430.29 c | 1366885 | 758 66453 191464 | 1 113049 70 | 0.525 % | 430.19/430.29 c | 1367048 | 758 66453 191464 | 1 113212 70 | 0.525 % | 430.19/430.29 c | 1367148 | 758 66453 191464 | 1 113312 70 | 0.525 % | 430.19/430.29 c | 1367366 | 758 66453 191464 | 1 113530 70 | 0.525 % | 430.19/430.29 c | 1368923 | 758 66453 191464 | 1 115087 70 | 0.525 % | 430.19/430.29 c | 1369557 | 758 66453 191464 | 1 115721 70 | 0.525 % | 430.19/430.29 c | 1369947 | 758 66453 191464 | 1 116111 70 | 0.525 % | 430.19/430.29 c | 1378602 | 758 66453 191464 | 1 124766 71 | 0.525 % | 430.19/430.29 c | 1384695 | 758 66453 191464 | 1 130859 71 | 0.525 % | 430.19/430.29 c | 1384798 | 758 66453 191464 | 1 130962 71 | 0.525 % | 430.19/430.29 c | 1384900 | 758 66453 191464 | 1 131064 71 | 0.525 % | 430.19/430.29 c | 1385003 | 758 66453 191464 | 1 131167 71 | 0.525 % | 430.19/430.29 c | 1385105 | 758 66453 191464 | 1 131269 71 | 0.525 % | 430.19/430.29 c | 1385205 | 758 66453 191464 | 1 131369 71 | 0.525 % | 430.19/430.29 c | 1385306 | 758 66453 191464 | 1 131470 71 | 0.525 % | 430.19/430.29 c | 1385411 | 758 66453 191464 | 1 131575 71 | 0.525 % | 430.19/430.29 c | 1385512 | 758 66453 191464 | 1 131676 71 | 0.525 % | 430.19/430.29 c | 1385612 | 758 66453 191464 | 1 131776 71 | 0.525 % | 430.19/430.29 c | 1389028 | 758 66453 191464 | 1 135192 72 | 0.525 % | 430.19/430.29 c | 1389129 | 758 66453 191464 | 1 135293 72 | 0.525 % | 430.19/430.29 c | 1389233 | 758 66453 191464 | 1 135397 72 | 0.525 % | 430.19/430.29 c | 1389340 | 758 66453 191464 | 1 135504 72 | 0.525 % | 430.19/430.29 c | 1389441 | 758 66453 191464 | 1 135605 72 | 0.525 % | 430.19/430.29 c | 1391417 | 758 66453 191464 | 1 137581 72 | 0.525 % | 430.19/430.29 c | 1391617 | 758 66453 191464 | 1 137781 72 | 0.525 % | 430.19/430.29 c | 1392615 | 758 66453 191464 | 1 138779 73 | 0.525 % | 430.19/430.29 c | 1392837 | 758 66453 191464 | 1 139001 73 | 0.525 % | 430.19/430.29 c | 1392938 | 758 66453 191464 | 1 139102 73 | 0.525 % | 430.19/430.29 c | 1393040 | 758 66453 191464 | 1 139204 73 | 0.525 % | 430.19/430.29 c | 1393142 | 758 66453 191464 | 1 139306 73 | 0.525 % | 430.19/430.29 c | 1393243 | 758 66453 191464 | 1 139407 73 | 0.525 % | 430.19/430.29 c | 1393345 | 758 66453 191464 | 1 139509 73 | 0.525 % | 430.19/430.29 c | 1393445 | 758 66453 191464 | 1 139609 73 | 0.525 % | 430.19/430.29 c | 1393546 | 758 66453 191464 | 1 139710 73 | 0.525 % | 430.19/430.29 c | 1398000 | 758 66453 191464 | 1 144164 73 | 0.525 % | 430.19/430.29 c | 1398737 | 758 66453 191464 | 1 144901 73 | 0.525 % | 430.19/430.29 c | 1405785 | 758 66453 191464 | 1 151949 74 | 0.525 % | 430.19/430.29 c | 1405885 | 758 66453 191464 | 1 152049 74 | 0.525 % | 430.19/430.29 c | 1405985 | 758 66453 191464 | 1 152149 74 | 0.525 % | 430.19/430.29 c | 1406085 | 758 66453 191464 | 1 152249 74 | 0.525 % | 430.19/430.29 c | 1406185 | 758 66453 191464 | 1 152349 74 | 0.525 % | 430.19/430.29 c | 1406286 | 758 66453 191464 | 1 152450 74 | 0.525 % | 430.19/430.29 c | 1406386 | 758 66453 191464 | 1 152550 74 | 0.525 % | 430.19/430.29 c | 1406487 | 758 66453 191464 | 1 152651 74 | 0.525 % | 430.19/430.29 c | 1406589 | 758 66453 191464 | 1 152753 74 | 0.525 % | 445.39/445.41 c | 1406843 | 758 66453 191464 | 1 153007 74 | 0.525 % | 445.39/445.41 c | 1408002 | 758 66453 191464 | 1 154166 74 | 0.525 % | 445.39/445.41 c | 1408136 | 758 66453 191464 | 1 154300 74 | 0.525 % | 445.39/445.41 c | 1409010 | 758 66453 191464 | 1 155174 74 | 0.525 % | 445.39/445.41 c | 1411474 | 758 66453 191464 | 1 157638 75 | 0.525 % | 445.39/445.41 c | 1412597 | 758 66453 191464 | 1 158761 75 | 0.525 % | 445.39/445.41 c | 1412697 | 758 66453 191464 | 1 158861 75 | 0.525 % | 445.39/445.41 c | 1412797 | 758 66453 191464 | 1 158961 75 | 0.525 % | 445.39/445.41 c | 1412898 | 758 66453 191464 | 1 159062 75 | 0.525 % | 445.39/445.41 c | 1412998 | 758 66453 191464 | 1 159162 75 | 0.525 % | 445.39/445.41 c | 1413100 | 758 66453 191464 | 1 159264 75 | 0.525 % | 445.39/445.41 c | 1413201 | 758 66453 191464 | 1 159365 75 | 0.525 % | 445.39/445.41 c | 1413301 | 758 66453 191464 | 1 159465 75 | 0.525 % | 445.39/445.41 c | 1413402 | 758 66453 191464 | 1 159566 75 | 0.525 % | 445.39/445.41 c | 1413503 | 758 66453 191464 | 1 159667 75 | 0.525 % | 445.39/445.41 c | 1413606 | 758 66453 191464 | 1 159770 75 | 0.525 % | 445.39/445.41 c | 1414945 | 758 66453 191464 | 1 161109 75 | 0.525 % | 445.39/445.41 c | 1420923 | 758 66453 191464 | 1 85217 61 | 0.525 % | 445.39/445.41 c | 1421025 | 758 66453 191464 | 1 85319 61 | 0.525 % | 445.39/445.41 c | 1423276 | 758 66453 191464 | 1 87570 62 | 0.525 % | 445.39/445.41 c | 1425655 | 758 66453 191464 | 1 89949 63 | 0.525 % | 445.39/445.41 c | 1425849 | 758 66453 191464 | 1 90143 63 | 0.525 % | 445.39/445.41 c | 1426623 | 758 66453 191464 | 1 90917 63 | 0.525 % | 445.39/445.41 c | 1426724 | 758 66453 191464 | 1 91018 63 | 0.525 % | 445.39/445.41 c | 1426824 | 758 66453 191464 | 1 91118 63 | 0.525 % | 445.39/445.41 c | 1427077 | 758 66453 191464 | 1 91371 63 | 0.525 % | 445.39/445.41 c | 1427393 | 758 66453 191464 | 1 91687 63 | 0.525 % | 445.39/445.41 c | 1427527 | 758 66453 191464 | 1 91821 64 | 0.525 % | 445.39/445.41 c | 1427627 | 758 66453 191464 | 1 91921 64 | 0.525 % | 445.39/445.41 c | 1427727 | 758 66453 191464 | 1 92021 64 | 0.525 % | 445.39/445.41 c | 1427829 | 758 66453 191464 | 1 92123 64 | 0.525 % | 445.39/445.41 c | 1430460 | 758 66453 191464 | 1 94754 64 | 0.525 % | 445.39/445.41 c | 1430560 | 758 66453 191464 | 1 94854 64 | 0.525 % | 445.39/445.41 c | 1430660 | 758 66453 191464 | 1 94954 64 | 0.525 % | 445.39/445.41 c | 1430808 | 758 66453 191464 | 1 95102 65 | 0.525 % | 445.39/445.41 c | 1430915 | 758 66453 191464 | 1 95209 65 | 0.525 % | 445.39/445.41 c | 1431016 | 758 66453 191464 | 1 95310 65 | 0.525 % | 445.39/445.41 c | 1431116 | 758 66453 191464 | 1 95410 65 | 0.525 % | 445.39/445.41 c | 1431217 | 758 66453 191464 | 1 95511 65 | 0.525 % | 445.39/445.41 c | 1431317 | 758 66453 191464 | 1 95611 65 | 0.525 % | 445.39/445.41 c | 1431460 | 758 66453 191464 | 1 95754 65 | 0.525 % | 445.39/445.41 c | 1431561 | 758 66453 191464 | 1 95855 65 | 0.525 % | 445.39/445.41 c | 1431661 | 758 66453 191464 | 1 95955 65 | 0.525 % | 445.39/445.41 c | 1431761 | 758 66453 191464 | 1 96055 65 | 0.525 % | 445.39/445.41 c | 1431861 | 758 66453 191464 | 1 96155 65 | 0.525 % | 445.39/445.41 c | 1431961 | 758 66453 191464 | 1 96255 65 | 0.525 % | 445.39/445.41 c | 1432061 | 758 66453 191464 | 1 96355 65 | 0.525 % | 445.39/445.41 c | 1433187 | 758 66453 191464 | 1 97481 65 | 0.525 % | 445.39/445.41 c | 1433289 | 758 66453 191464 | 1 97583 65 | 0.525 % | 445.39/445.41 c | 1433390 | 758 66453 191464 | 1 97684 65 | 0.525 % | 455.59/455.68 c | 1433490 | 758 66453 191464 | 1 97784 65 | 0.525 % | 455.59/455.68 c | 1433592 | 758 66453 191464 | 1 97886 65 | 0.525 % | 455.59/455.68 c | 1433692 | 758 66453 191464 | 1 97986 65 | 0.525 % | 455.59/455.68 c | 1433792 | 758 66453 191464 | 1 98086 65 | 0.525 % | 455.59/455.68 c | 1433892 | 758 66453 191464 | 1 98186 65 | 0.525 % | 455.59/455.68 c | 1433996 | 758 66453 191464 | 1 98290 65 | 0.525 % | 455.59/455.68 c | 1434900 | 758 66453 191464 | 1 99194 66 | 0.525 % | 455.59/455.68 c | 1435001 | 758 66453 191464 | 1 99295 66 | 0.525 % | 455.59/455.68 c | 1435255 | 758 66453 191464 | 1 99549 66 | 0.525 % | 455.59/455.68 c | 1435355 | 758 66453 191464 | 1 99649 66 | 0.525 % | 455.59/455.68 c | 1436327 | 758 66453 191464 | 1 100621 66 | 0.525 % | 455.59/455.68 c | 1436498 | 758 66453 191464 | 1 100792 66 | 0.525 % | 455.59/455.68 c | 1436600 | 758 66453 191464 | 1 100894 66 | 0.525 % | 455.59/455.68 c | 1436701 | 758 66453 191464 | 1 100995 66 | 0.525 % | 455.59/455.68 c | 1436802 | 758 66453 191464 | 1 101096 66 | 0.525 % | 455.59/455.68 c | 1436903 | 758 66453 191464 | 1 101197 66 | 0.525 % | 455.59/455.68 c | 1437003 | 758 66453 191464 | 1 101297 66 | 0.525 % | 455.59/455.68 c | 1437103 | 758 66453 191464 | 1 101397 66 | 0.525 % | 455.59/455.68 c | 1437203 | 758 66453 191464 | 1 101497 66 | 0.525 % | 455.59/455.68 c | 1437303 | 758 66453 191464 | 1 101597 66 | 0.525 % | 455.59/455.68 c | 1438271 | 758 66453 191464 | 1 102565 66 | 0.525 % | 455.59/455.68 c | 1438371 | 758 66453 191464 | 1 102665 66 | 0.525 % | 455.59/455.68 c | 1438474 | 758 66453 191464 | 1 102768 66 | 0.525 % | 455.59/455.68 c | 1438575 | 758 66453 191464 | 1 102869 66 | 0.525 % | 455.59/455.68 c | 1440935 | 758 66453 191464 | 1 105229 67 | 0.525 % | 455.59/455.68 c | 1441037 | 758 66453 191464 | 1 105331 67 | 0.525 % | 455.59/455.68 c | 1441137 | 758 66453 191464 | 1 105431 67 | 0.525 % | 455.59/455.68 c | 1441238 | 758 66453 191464 | 1 105532 67 | 0.525 % | 455.59/455.68 c | 1441339 | 758 66453 191464 | 1 105633 67 | 0.525 % | 455.59/455.68 c | 1445106 | 758 66453 191464 | 1 109400 68 | 0.525 % | 455.59/455.68 c | 1445209 | 758 66453 191464 | 1 109503 68 | 0.525 % | 455.59/455.68 c | 1445825 | 758 66453 191464 | 1 110119 68 | 0.525 % | 455.59/455.68 c | 1445926 | 758 66453 191464 | 1 110220 68 | 0.525 % | 455.59/455.68 c | 1447218 | 758 66453 191464 | 1 111512 68 | 0.525 % | 455.59/455.68 c | 1447318 | 758 66453 191464 | 1 111612 68 | 0.525 % | 455.59/455.68 c | 1447422 | 758 66453 191464 | 1 111716 68 | 0.525 % | 455.59/455.68 c | 1447522 | 758 66453 191464 | 1 111816 68 | 0.525 % | 455.59/455.68 c | 1447813 | 758 66453 191464 | 1 112107 68 | 0.525 % | 455.59/455.68 c | 1449477 | 758 66453 191464 | 1 113771 69 | 0.525 % | 455.59/455.68 c | 1451370 | 758 66453 191464 | 1 115664 69 | 0.525 % | 455.59/455.68 c | 1451471 | 758 66453 191464 | 1 115765 69 | 0.525 % | 455.59/455.68 c | 1451572 | 758 66453 191464 | 1 115866 69 | 0.525 % | 455.59/455.68 c | 1451672 | 758 66453 191464 | 1 115966 69 | 0.525 % | 455.59/455.68 c | 1451772 | 758 66453 191464 | 1 116066 69 | 0.525 % | 455.59/455.68 c | 1451875 | 758 66453 191464 | 1 116169 69 | 0.525 % | 455.59/455.68 c | 1451975 | 758 66453 191464 | 1 116269 69 | 0.525 % | 455.59/455.68 c | 1452075 | 758 66453 191464 | 1 116369 69 | 0.525 % | 455.59/455.68 c | 1452175 | 758 66453 191464 | 1 116469 69 | 0.525 % | 455.59/455.68 c | 1452276 | 758 66453 191464 | 1 116570 69 | 0.525 % | 455.59/455.68 c | 1452376 | 758 66453 191464 | 1 116670 69 | 0.525 % | 587.29/587.38 c | 1452480 | 758 66453 191464 | 1 116774 69 | 0.525 % | 587.29/587.38 c | 1452580 | 758 66453 191464 | 1 116874 69 | 0.525 % | 587.29/587.38 c | 1452681 | 758 66453 191464 | 1 116975 69 | 0.525 % | 587.29/587.38 c | 1454603 | 758 66453 191464 | 1 118897 69 | 0.525 % | 587.29/587.38 c | 1461811 | 758 66453 191464 | 1 126105 70 | 0.525 % | 587.29/587.38 c | 1461913 | 758 66453 191464 | 1 126207 70 | 0.525 % | 587.29/587.38 c | 1462243 | 758 66453 191464 | 1 126537 70 | 0.525 % | 587.29/587.38 c | 1463002 | 758 66453 191464 | 1 127296 70 | 0.525 % | 587.29/587.38 c | 1463313 | 758 66453 191464 | 1 127607 71 | 0.525 % | 587.29/587.38 c | 1464635 | 758 66453 191464 | 1 128929 71 | 0.525 % | 587.29/587.38 c | 1464737 | 758 66453 191464 | 1 129031 71 | 0.525 % | 587.29/587.38 c | 1464838 | 758 66453 191464 | 1 129132 71 | 0.525 % | 587.29/587.38 c | 1464939 | 758 66453 191464 | 1 129233 71 | 0.525 % | 587.29/587.38 c | 1465040 | 758 66453 191464 | 1 129334 71 | 0.525 % | 587.29/587.38 c | 1469759 | 758 66453 191464 | 1 134053 71 | 0.525 % | 587.29/587.38 c | 1469900 | 758 66453 191464 | 1 134194 71 | 0.525 % | 587.29/587.38 c | 1470000 | 758 66453 191464 | 1 134294 71 | 0.525 % | 587.29/587.38 c | 1470100 | 758 66453 191464 | 1 134394 71 | 0.525 % | 587.29/587.38 c | 1470751 | 758 66453 191464 | 1 135045 71 | 0.525 % | 587.29/587.38 c | 1470856 | 758 66453 191464 | 1 135150 71 | 0.525 % | 587.29/587.38 c | 1471057 | 758 66453 191464 | 1 135351 71 | 0.525 % | 587.29/587.38 c | 1471157 | 758 66453 191464 | 1 135451 71 | 0.525 % | 587.29/587.38 c | 1471457 | 758 66453 191464 | 1 135751 71 | 0.525 % | 587.29/587.38 c | 1471975 | 758 66453 191464 | 1 136269 71 | 0.525 % | 587.29/587.38 c | 1472237 | 758 66453 191464 | 1 136531 71 | 0.525 % | 587.29/587.38 c | 1472338 | 758 66453 191464 | 1 136632 71 | 0.525 % | 587.29/587.38 c | 1472440 | 758 66453 191464 | 1 136734 71 | 0.525 % | 587.29/587.38 c | 1472541 | 758 66453 191464 | 1 136835 71 | 0.525 % | 587.29/587.38 c | 1472641 | 758 66453 191464 | 1 136935 71 | 0.525 % | 587.29/587.38 c | 1472935 | 758 66453 191464 | 1 137229 71 | 0.525 % | 587.29/587.38 c | 1473036 | 758 66453 191464 | 1 137330 71 | 0.525 % | 587.29/587.38 c | 1473162 | 758 66453 191464 | 1 137456 71 | 0.525 % | 587.29/587.38 c | 1473262 | 758 66453 191464 | 1 137556 71 | 0.525 % | 587.29/587.38 c | 1473362 | 758 66453 191464 | 1 137656 71 | 0.525 % | 587.29/587.38 c | 1473792 | 758 66453 191464 | 1 138086 71 | 0.525 % | 587.29/587.38 c | 1473892 | 758 66453 191464 | 1 138186 71 | 0.525 % | 587.29/587.38 c | 1474463 | 758 66453 191464 | 1 138757 71 | 0.525 % | 587.29/587.38 c | 1474719 | 758 66453 191464 | 1 139013 71 | 0.525 % | 587.29/587.38 c | 1653313 | 757 66453 191464 | 1 142574 70 | 0.656 % | 587.29/587.38 c | 1653413 | 757 66453 191464 | 1 142674 70 | 0.656 % | 587.29/587.38 c | 1653514 | 757 66453 191464 | 1 142775 71 | 0.656 % | 587.29/587.38 c | 1673279 | 757 66453 191464 | 1 162540 76 | 0.656 % | 587.29/587.38 c | 1673381 | 757 66453 191464 | 1 162642 76 | 0.656 % | 587.29/587.38 c | 1679030 | 757 66453 191464 | 1 168291 76 | 0.656 % | 587.29/587.38 c | 1679483 | 757 66453 191464 | 1 168744 76 | 0.656 % | 587.29/587.38 c | 1679674 | 757 66453 191464 | 1 168935 76 | 0.656 % | 587.29/587.38 c | 1679776 | 757 66453 191464 | 1 169037 76 | 0.656 % | 587.29/587.38 c | 1709643 | 757 66453 191464 | 1 110793 67 | 0.656 % | 587.29/587.38 c | 1709748 | 757 66453 191464 | 1 110898 67 | 0.656 % | 587.29/587.38 c | 1709853 | 757 66453 191464 | 1 111003 67 | 0.656 % | 611.60/611.64 c | 1709955 | 757 66453 191464 | 1 111105 67 | 0.656 % | 611.60/611.64 c | 1710056 | 757 66453 191464 | 1 111206 67 | 0.656 % | 611.60/611.64 c | 1710157 | 757 66453 191464 | 1 111307 67 | 0.656 % | 611.60/611.64 c | 1710258 | 757 66453 191464 | 1 111408 67 | 0.656 % | 611.60/611.64 c | 1710359 | 757 66453 191464 | 1 111509 67 | 0.656 % | 611.60/611.64 c | 1710554 | 757 66453 191464 | 1 111704 67 | 0.656 % | 611.60/611.64 c | 1713770 | 757 66453 191464 | 1 114920 68 | 0.656 % | 611.60/611.64 c | 1714011 | 757 66453 191464 | 1 115161 68 | 0.656 % | 611.60/611.64 c | 1714111 | 757 66453 191464 | 1 115261 68 | 0.656 % | 611.60/611.64 c | 1722194 | 757 66453 191464 | 1 123344 69 | 0.656 % | 611.60/611.64 c | 1727282 | 757 66453 191464 | 1 128432 69 | 0.656 % | 611.60/611.64 c | 1728452 | 757 66453 191464 | 1 129602 69 | 0.656 % | 611.60/611.64 c | 1728553 | 757 66453 191464 | 1 129703 69 | 0.656 % | 611.60/611.64 c | 1728831 | 757 66453 191464 | 1 129981 69 | 0.656 % | 611.60/611.64 c | 1728931 | 757 66453 191464 | 1 130081 69 | 0.656 % | 611.60/611.64 c | 1729031 | 757 66453 191464 | 1 130181 69 | 0.656 % | 611.60/611.64 c | 1729133 | 757 66453 191464 | 1 130283 69 | 0.656 % | 611.60/611.64 c | 1729234 | 757 66453 191464 | 1 130384 70 | 0.656 % | 611.60/611.64 c | 1729335 | 757 66453 191464 | 1 130485 70 | 0.656 % | 611.60/611.64 c | 1729437 | 757 66453 191464 | 1 130587 70 | 0.656 % | 611.60/611.64 c | 1729537 | 757 66453 191464 | 1 130687 70 | 0.656 % | 611.60/611.64 c | 1733660 | 757 66453 191464 | 1 134810 71 | 0.656 % | 611.60/611.64 c | 1733760 | 757 66453 191464 | 1 134910 71 | 0.656 % | 611.60/611.64 c | 1733901 | 757 66453 191464 | 1 135051 71 | 0.656 % | 611.60/611.64 c | 1734001 | 757 66453 191464 | 1 135151 71 | 0.656 % | 611.60/611.64 c | 1734101 | 757 66453 191464 | 1 135251 71 | 0.656 % | 611.60/611.64 c | 1734202 | 757 66453 191464 | 1 135352 71 | 0.656 % | 611.60/611.64 c | 1734322 | 757 66453 191464 | 1 135472 71 | 0.656 % | 611.60/611.64 c | 1734422 | 757 66453 191464 | 1 135572 71 | 0.656 % | 611.60/611.64 c | 1734522 | 757 66453 191464 | 1 135672 71 | 0.656 % | 611.60/611.64 c | 1734622 | 757 66453 191464 | 1 135772 71 | 0.656 % | 611.60/611.64 c | 1734722 | 757 66453 191464 | 1 135872 71 | 0.656 % | 611.60/611.64 c | 1734822 | 757 66453 191464 | 1 135972 71 | 0.656 % | 611.60/611.64 c | 1734925 | 757 66453 191464 | 1 136075 71 | 0.656 % | 611.60/611.64 c | 1735025 | 757 66453 191464 | 1 136175 71 | 0.656 % | 611.60/611.64 c | 1735125 | 757 66453 191464 | 1 136275 71 | 0.656 % | 611.60/611.64 c | 1735225 | 757 66453 191464 | 1 136375 71 | 0.656 % | 611.60/611.64 c | 1735326 | 757 66453 191464 | 1 136476 71 | 0.656 % | 611.60/611.64 c | 1735426 | 757 66453 191464 | 1 136576 71 | 0.656 % | 611.60/611.64 c | 1735526 | 757 66453 191464 | 1 136676 71 | 0.656 % | 611.60/611.64 c | 1735626 | 757 66453 191464 | 1 136776 71 | 0.656 % | 611.60/611.64 c | 1735727 | 757 66453 191464 | 1 136877 71 | 0.656 % | 611.60/611.64 c | 1735828 | 757 66453 191464 | 1 136978 71 | 0.656 % | 611.60/611.64 c | 1735929 | 757 66453 191464 | 1 137079 71 | 0.656 % | 611.60/611.64 c | 1736267 | 757 66453 191464 | 1 137417 71 | 0.656 % | 611.60/611.64 c | 1736367 | 757 66453 191464 | 1 137517 71 | 0.656 % | 611.60/611.64 c | 1736467 | 757 66453 191464 | 1 137617 71 | 0.656 % | 611.60/611.64 c | 1739536 | 757 66453 191464 | 1 140686 72 | 0.656 % | 611.60/611.64 c | 1740141 | 757 66453 191464 | 1 141291 72 | 0.656 % | 611.60/611.64 c | 1748085 | 757 66453 191464 | 1 149235 72 | 0.656 % | 632.80/632.85 c | 1748188 | 757 66453 191464 | 1 149338 72 | 0.656 % | 632.80/632.85 c | 1756877 | 757 66453 191464 | 1 158027 72 | 0.656 % | 632.80/632.85 c | 1756977 | 757 66453 191464 | 1 158127 72 | 0.656 % | 632.80/632.85 c | 1757078 | 757 66453 191464 | 1 158228 72 | 0.656 % | 632.80/632.85 c | 1757179 | 757 66453 191464 | 1 158329 72 | 0.656 % | 632.80/632.85 c | 1757279 | 757 66453 191464 | 1 158429 72 | 0.656 % | 632.80/632.85 c | 1757381 | 757 66453 191464 | 1 158531 72 | 0.656 % | 632.80/632.85 c | 1757481 | 757 66453 191464 | 1 158631 72 | 0.656 % | 632.80/632.85 c | 1757581 | 757 66453 191464 | 1 158731 72 | 0.656 % | 632.80/632.85 c | 1757681 | 757 66453 191464 | 1 158831 72 | 0.656 % | 632.80/632.85 c | 1757781 | 757 66453 191464 | 1 158931 72 | 0.656 % | 632.80/632.85 c | 1764671 | 757 66453 191464 | 1 165821 73 | 0.656 % | 632.80/632.85 c | 1764901 | 757 66453 191464 | 1 166051 73 | 0.656 % | 632.80/632.85 c | 1765034 | 757 66453 191464 | 1 166184 73 | 0.656 % | 632.80/632.85 c | 1765152 | 757 66453 191464 | 1 166302 73 | 0.656 % | 632.80/632.85 c | 1765253 | 757 66453 191464 | 1 166403 73 | 0.656 % | 632.80/632.85 c | 1767679 | 757 66453 191464 | 1 168829 73 | 0.656 % | 632.80/632.85 c | 1767826 | 757 66453 191464 | 1 168976 73 | 0.656 % | 632.80/632.85 c | 1767928 | 757 66453 191464 | 1 169078 73 | 0.656 % | 632.80/632.85 c | 1768028 | 757 66453 191464 | 1 169178 73 | 0.656 % | 632.80/632.85 c | 1768128 | 757 66453 191464 | 1 169278 73 | 0.656 % | 632.80/632.85 c | 1768574 | 757 66453 191464 | 1 169724 73 | 0.656 % | 632.80/632.85 c | 1768674 | 757 66453 191464 | 1 169824 73 | 0.656 % | 632.80/632.85 c | 1768774 | 757 66453 191464 | 1 169924 73 | 0.656 % | 632.80/632.85 c | 1768874 | 757 66453 191464 | 1 170024 73 | 0.656 % | 632.80/632.85 c | 1768975 | 757 66453 191464 | 1 170125 73 | 0.656 % | 632.80/632.85 c | 1769076 | 757 66453 191464 | 1 170226 73 | 0.656 % | 632.80/632.85 c | 1769178 | 757 66453 191464 | 1 170328 73 | 0.656 % | 632.80/632.85 c | 1769506 | 757 66453 191464 | 1 170656 73 | 0.656 % | 632.80/632.85 c | 1769606 | 757 66453 191464 | 1 170756 73 | 0.656 % | 632.80/632.85 c | 1769706 | 757 66453 191464 | 1 170856 73 | 0.656 % | 632.80/632.85 c | 1769806 | 757 66453 191464 | 1 170956 73 | 0.656 % | 632.80/632.85 c | 1770607 | 757 66453 191464 | 1 171757 73 | 0.656 % | 632.80/632.85 c | 1770708 | 757 66453 191464 | 1 171858 73 | 0.656 % | 632.80/632.85 c | 1770916 | 757 66453 191464 | 1 172066 74 | 0.656 % | 632.80/632.85 c | 1771017 | 757 66453 191464 | 1 172167 74 | 0.656 % | 632.80/632.85 c | 1771118 | 757 66453 191464 | 1 172268 74 | 0.656 % | 632.80/632.85 c | 1771219 | 757 66453 191464 | 1 172369 74 | 0.656 % | 632.80/632.85 c | 1771319 | 757 66453 191464 | 1 172469 74 | 0.656 % | 632.80/632.85 c | 1771421 | 757 66453 191464 | 1 172571 74 | 0.656 % | 632.80/632.85 c | 1771521 | 757 66453 191464 | 1 172671 74 | 0.656 % | 632.80/632.85 c | 1771621 | 757 66453 191464 | 1 172771 74 | 0.656 % | 632.80/632.85 c | 1771723 | 757 66453 191464 | 1 172873 74 | 0.656 % | 632.80/632.85 c | 1771825 | 757 66453 191464 | 1 172975 74 | 0.656 % | 632.80/632.85 c | 1771927 | 757 66453 191464 | 1 173077 74 | 0.656 % | 632.80/632.85 c | 1772031 | 757 66453 191464 | 1 173181 74 | 0.656 % | 632.80/632.85 c | 1772160 | 757 66453 191464 | 1 173310 74 | 0.656 % | 632.80/632.85 c | 1772260 | 757 66453 191464 | 1 173410 74 | 0.656 % | 632.80/632.85 c | 1772360 | 757 66453 191464 | 1 173510 74 | 0.656 % | 632.80/632.85 c | 1772504 | 757 66453 191464 | 1 173654 74 | 0.656 % | 656.50/656.53 c | 1772604 | 757 66453 191464 | 1 173754 74 | 0.656 % | 656.50/656.53 c | 1772704 | 757 66453 191464 | 1 173854 74 | 0.656 % | 656.50/656.53 c | 1772804 | 757 66453 191464 | 1 173954 74 | 0.656 % | 656.50/656.53 c | 1772905 | 757 66453 191464 | 1 174055 74 | 0.656 % | 656.50/656.53 c | 1773005 | 757 66453 191464 | 1 174155 74 | 0.656 % | 656.50/656.53 c | 1773108 | 757 66453 191464 | 1 174258 74 | 0.656 % | 656.50/656.53 c | 1773209 | 757 66453 191464 | 1 174359 74 | 0.656 % | 656.50/656.53 c | 1773309 | 757 66453 191464 | 1 174459 74 | 0.656 % | 656.50/656.53 c | 1773413 | 757 66453 191464 | 1 174563 74 | 0.656 % | 656.50/656.53 c | 1773784 | 757 66453 191464 | 1 174934 74 | 0.656 % | 656.50/656.53 c | 1773885 | 757 66453 191464 | 1 175035 74 | 0.656 % | 656.50/656.53 c | 1773985 | 757 66453 191464 | 1 175135 74 | 0.656 % | 656.50/656.53 c | 1774092 | 757 66453 191464 | 1 175242 74 | 0.656 % | 656.50/656.53 c | 1777516 | 757 66453 191464 | 1 178666 74 | 0.656 % | 656.50/656.53 c | 1777617 | 757 66453 191464 | 1 178767 74 | 0.656 % | 656.50/656.53 c | 1777718 | 757 66453 191464 | 1 178868 74 | 0.656 % | 656.50/656.53 c | 1777818 | 757 66453 191464 | 1 178968 74 | 0.656 % | 656.50/656.53 c | 1778511 | 757 66453 191464 | 1 179661 74 | 0.656 % | 656.50/656.53 c | 1778613 | 757 66453 191464 | 1 179763 74 | 0.656 % | 656.50/656.53 c | 1778717 | 757 66453 191464 | 1 179867 74 | 0.656 % | 656.50/656.53 c | 1778818 | 757 66453 191464 | 1 179968 74 | 0.656 % | 656.50/656.53 c | 1778918 | 757 66453 191464 | 1 180068 74 | 0.656 % | 656.50/656.53 c | 1779020 | 757 66453 191464 | 1 180170 74 | 0.656 % | 656.50/656.53 c | 1780678 | 757 66453 191464 | 1 181828 74 | 0.656 % | 656.50/656.53 c | 1781035 | 757 66453 191464 | 1 182185 74 | 0.656 % | 656.50/656.53 c | 1781862 | 757 66453 191464 | 1 183012 74 | 0.656 % | 656.50/656.53 c | 1781993 | 757 66453 191464 | 1 183143 74 | 0.656 % | 656.50/656.53 c | 1782093 | 757 66453 191464 | 1 91677 59 | 0.656 % | 656.50/656.53 c | 1788937 | 757 66453 191464 | 1 98521 61 | 0.656 % | 656.50/656.53 c | 1789038 | 757 66453 191464 | 1 98622 61 | 0.656 % | 656.50/656.53 c | 1789140 | 757 66453 191464 | 1 98724 61 | 0.656 % | 656.50/656.53 c | 1789241 | 757 66453 191464 | 1 98825 61 | 0.656 % | 656.50/656.53 c | 1800785 | 757 66453 191464 | 1 110369 64 | 0.656 % | 656.50/656.53 c | 1800886 | 757 66453 191464 | 1 110470 64 | 0.656 % | 656.50/656.53 c | 1800988 | 757 66453 191464 | 1 110572 64 | 0.656 % | 656.50/656.53 c | 1801146 | 757 66453 191464 | 1 110730 64 | 0.656 % | 656.50/656.53 c | 1801246 | 757 66453 191464 | 1 110830 64 | 0.656 % | 656.50/656.53 c | 1801347 | 757 66453 191464 | 1 110931 64 | 0.656 % | 656.50/656.53 c | 1804461 | 757 66453 191464 | 1 114045 65 | 0.656 % | 656.50/656.53 c | 1804606 | 757 66453 191464 | 1 114190 65 | 0.656 % | 656.50/656.53 c | 1804706 | 757 66453 191464 | 1 114290 65 | 0.656 % | 656.50/656.53 c | 1804808 | 757 66453 191464 | 1 114392 65 | 0.656 % | 656.50/656.53 c | 1804909 | 757 66453 191464 | 1 114493 65 | 0.656 % | 656.50/656.53 c | 1805009 | 757 66453 191464 | 1 114593 65 | 0.656 % | 656.50/656.53 c | 1807293 | 757 66453 191464 | 1 116877 65 | 0.656 % | 656.50/656.53 c | 1807395 | 757 66453 191464 | 1 116979 65 | 0.656 % | 656.50/656.53 c | 1807497 | 757 66453 191464 | 1 117081 66 | 0.656 % | 656.50/656.53 c | 1807597 | 757 66453 191464 | 1 117181 66 | 0.656 % | 656.50/656.53 c | 1808560 | 757 66453 191464 | 1 118144 66 | 0.656 % | 656.50/656.53 c | 1808661 | 757 66453 191464 | 1 118245 66 | 0.656 % | 686.49/686.56 c | 1808851 | 757 66453 191464 | 1 118435 66 | 0.656 % | 686.49/686.56 c | 1808952 | 757 66453 191464 | 1 118536 66 | 0.656 % | 686.49/686.56 c | 1809052 | 757 66453 191464 | 1 118636 66 | 0.656 % | 686.49/686.56 c | 1809152 | 757 66453 191464 | 1 118736 66 | 0.656 % | 686.49/686.56 c | 1809252 | 757 66453 191464 | 1 118836 66 | 0.656 % | 686.49/686.56 c | 1809352 | 757 66453 191464 | 1 118936 66 | 0.656 % | 686.49/686.56 c | 1809453 | 757 66453 191464 | 1 119037 66 | 0.656 % | 686.49/686.56 c | 1818555 | 757 66453 191464 | 1 128139 68 | 0.656 % | 686.49/686.56 c | 1818655 | 757 66453 191464 | 1 128239 68 | 0.656 % | 686.49/686.56 c | 1819464 | 757 66453 191464 | 1 129048 68 | 0.656 % | 686.49/686.56 c | 1819566 | 757 66453 191464 | 1 129150 68 | 0.656 % | 686.49/686.56 c | 1819669 | 757 66453 191464 | 1 129253 68 | 0.656 % | 686.49/686.56 c | 1819771 | 757 66453 191464 | 1 129355 68 | 0.656 % | 686.49/686.56 c | 1819874 | 757 66453 191464 | 1 129458 68 | 0.656 % | 686.49/686.56 c | 1819977 | 757 66453 191464 | 1 129561 68 | 0.656 % | 686.49/686.56 c | 1823958 | 757 66453 191464 | 1 133542 69 | 0.656 % | 686.49/686.56 c | 1824058 | 757 66453 191464 | 1 133642 69 | 0.656 % | 686.49/686.56 c | 1824158 | 757 66453 191464 | 1 133742 69 | 0.656 % | 686.49/686.56 c | 1824260 | 757 66453 191464 | 1 133844 69 | 0.656 % | 686.49/686.56 c | 1824361 | 757 66453 191464 | 1 133945 69 | 0.656 % | 686.49/686.56 c | 1824464 | 757 66453 191464 | 1 134048 69 | 0.656 % | 686.49/686.56 c | 1824774 | 757 66453 191464 | 1 134358 69 | 0.656 % | 686.49/686.56 c | 1824874 | 757 66453 191464 | 1 134458 69 | 0.656 % | 686.49/686.56 c | 1825767 | 757 66453 191464 | 1 135351 69 | 0.656 % | 686.49/686.56 c | 1825867 | 757 66453 191464 | 1 135451 69 | 0.656 % | 686.49/686.56 c | 1825968 | 757 66453 191464 | 1 135552 69 | 0.656 % | 686.49/686.56 c | 1826227 | 757 66453 191464 | 1 135811 69 | 0.656 % | 686.49/686.56 c | 1826329 | 757 66453 191464 | 1 135913 69 | 0.656 % | 686.49/686.56 c | 1829244 | 757 66453 191464 | 1 138828 70 | 0.656 % | 686.49/686.56 c | 1829345 | 757 66453 191464 | 1 138929 70 | 0.656 % | 686.49/686.56 c | 1840253 | 757 66453 191464 | 1 149837 70 | 0.656 % | 686.49/686.56 c | 1840354 | 757 66453 191464 | 1 149938 70 | 0.656 % | 686.49/686.56 c | 1840693 | 757 66453 191464 | 1 150277 70 | 0.656 % | 686.49/686.56 c | 1840941 | 757 66453 191464 | 1 150525 70 | 0.656 % | 686.49/686.56 c | 1849540 | 757 66453 191464 | 1 159124 71 | 0.656 % | 686.49/686.56 c | 1849640 | 757 66453 191464 | 1 159224 71 | 0.656 % | 686.49/686.56 c | 1849741 | 757 66453 191464 | 1 159325 71 | 0.656 % | 686.49/686.56 c | 1850245 | 757 66453 191464 | 1 159829 71 | 0.656 % | 686.49/686.56 c | 1850347 | 757 66453 191464 | 1 159931 71 | 0.656 % | 686.49/686.56 c | 1850447 | 757 66453 191464 | 1 160031 71 | 0.656 % | 686.49/686.56 c | 1850548 | 757 66453 191464 | 1 160132 71 | 0.656 % | 686.49/686.56 c | 1850649 | 757 66453 191464 | 1 160233 71 | 0.656 % | 686.49/686.56 c | 1850754 | 757 66453 191464 | 1 160338 71 | 0.656 % | 686.49/686.56 c | 1850854 | 757 66453 191464 | 1 160438 71 | 0.656 % | 686.49/686.56 c | 1850954 | 757 66453 191464 | 1 160538 71 | 0.656 % | 686.49/686.56 c | 1851054 | 757 66453 191464 | 1 160638 71 | 0.656 % | 686.49/686.56 c | 1851155 | 757 66453 191464 | 1 160739 71 | 0.656 % | 686.49/686.56 c | 1851256 | 757 66453 191464 | 1 160840 71 | 0.656 % | 686.49/686.56 c | 1851356 | 757 66453 191464 | 1 160940 71 | 0.656 % | 686.49/686.56 c | 1851456 | 757 66453 191464 | 1 161040 71 | 0.656 % | 693.60/693.63 c | 1851557 | 757 66453 191464 | 1 161141 71 | 0.656 % | 693.60/693.63 c | 1851657 | 757 66453 191464 | 1 161241 71 | 0.656 % | 693.60/693.63 c | 1851758 | 757 66453 191464 | 1 161342 71 | 0.656 % | 693.60/693.63 c | 1851858 | 757 66453 191464 | 1 161442 71 | 0.656 % | 693.60/693.63 c | 1851961 | 757 66453 191464 | 1 161545 71 | 0.656 % | 693.60/693.63 c | 1852062 | 757 66453 191464 | 1 161646 71 | 0.656 % | 693.60/693.63 c | 1852841 | 757 66453 191464 | 1 162425 71 | 0.656 % | 693.60/693.63 c | 1852942 | 757 66453 191464 | 1 162526 71 | 0.656 % | 693.60/693.63 c | 1853043 | 757 66453 191464 | 1 162627 71 | 0.656 % | 693.60/693.63 c | 1853144 | 757 66453 191464 | 1 162728 71 | 0.656 % | 693.60/693.63 c | 1853245 | 757 66453 191464 | 1 162829 71 | 0.656 % | 693.60/693.63 c | 1853345 | 757 66453 191464 | 1 162929 71 | 0.656 % | 693.60/693.63 c | 1853445 | 757 66453 191464 | 1 163029 71 | 0.656 % | 693.60/693.63 c | 1853545 | 757 66453 191464 | 1 163129 71 | 0.656 % | 693.60/693.63 c | 1853645 | 757 66453 191464 | 1 163229 71 | 0.656 % | 693.60/693.63 c | 1853748 | 757 66453 191464 | 1 163332 71 | 0.656 % | 693.60/693.63 c | 1853848 | 757 66453 191464 | 1 163432 71 | 0.656 % | 693.60/693.63 c | 1853949 | 757 66453 191464 | 1 163533 71 | 0.656 % | 693.60/693.63 c | 1854051 | 757 66453 191464 | 1 163635 71 | 0.656 % | 693.60/693.63 c | 1854152 | 757 66453 191464 | 1 163736 71 | 0.656 % | 693.60/693.63 c | 1854252 | 757 66453 191464 | 1 163836 71 | 0.656 % | 693.60/693.63 c | 1854353 | 757 66453 191464 | 1 163937 71 | 0.656 % | 693.60/693.63 c | 1854457 | 757 66453 191464 | 1 164041 71 | 0.656 % | 693.60/693.63 c | 1854557 | 757 66453 191464 | 1 164141 71 | 0.656 % | 693.60/693.63 c | 1854660 | 757 66453 191464 | 1 164244 71 | 0.656 % | 693.60/693.63 c | 1854761 | 757 66453 191464 | 1 164345 71 | 0.656 % | 693.60/693.63 c | 1854862 | 757 66453 191464 | 1 164446 71 | 0.656 % | 693.60/693.63 c | 1854963 | 757 66453 191464 | 1 164547 71 | 0.656 % | 693.60/693.63 c | 1855063 | 757 66453 191464 | 1 164647 71 | 0.656 % | 693.60/693.63 c | 1855165 | 757 66453 191464 | 1 164749 71 | 0.656 % | 693.60/693.63 c | 1855266 | 757 66453 191464 | 1 164850 71 | 0.656 % | 693.60/693.63 c | 1855367 | 757 66453 191464 | 1 164951 71 | 0.656 % | 693.60/693.63 c | 1855468 | 757 66453 191464 | 1 165052 71 | 0.656 % | 693.60/693.63 c | 1855568 | 757 66453 191464 | 1 165152 71 | 0.656 % | 693.60/693.63 c | 1855668 | 757 66453 191464 | 1 165252 71 | 0.656 % | 693.60/693.63 c | 1855768 | 757 66453 191464 | 1 165352 71 | 0.656 % | 693.60/693.63 c | 1855869 | 757 66453 191464 | 1 165453 72 | 0.656 % | 693.60/693.63 c | 1855969 | 757 66453 191464 | 1 165553 72 | 0.656 % | 693.60/693.63 c | 1856071 | 757 66453 191464 | 1 165655 72 | 0.656 % | 693.60/693.63 c | 1856172 | 757 66453 191464 | 1 165756 72 | 0.656 % | 693.60/693.63 c | 1856273 | 757 66453 191464 | 1 165857 72 | 0.656 % | 693.60/693.63 c | 1856375 | 757 66453 191464 | 1 165959 72 | 0.656 % | 693.60/693.63 c | 1856475 | 757 66453 191464 | 1 166059 72 | 0.656 % | 693.60/693.63 c | 1856577 | 757 66453 191464 | 1 166161 72 | 0.656 % | 693.60/693.63 c | 1856681 | 757 66453 191464 | 1 166265 72 | 0.656 % | 693.60/693.63 c | 1856783 | 757 66453 191464 | 1 166367 72 | 0.656 % | 693.60/693.63 c | 1856883 | 757 66453 191464 | 1 166467 72 | 0.656 % | 693.60/693.63 c | 1856986 | 757 66453 191464 | 1 166570 72 | 0.656 % | 693.60/693.63 c | 1857086 | 757 66453 191464 | 1 166670 72 | 0.656 % | 693.60/693.63 c | 1857186 | 757 66453 191464 | 1 166770 72 | 0.656 % | 697.90/697.99 c | 1857287 | 757 66453 191464 | 1 166871 72 | 0.656 % | 697.90/697.99 c | 1863510 | 757 66453 191464 | 1 173094 72 | 0.656 % | 697.90/697.99 c =============================================================================== 697.90/697.99 c restarts : 990 697.90/697.99 c nb ReduceDB : 36 697.90/697.99 c nb removed Clauses : 1554817 697.90/697.99 c nb learnts DL2 : 49 697.90/697.99 c nb learnts size 2 : 40 697.90/697.99 c nb learnts size 1 : 5 697.90/697.99 c conflicts : 1863510 (2672 /sec) 697.90/697.99 c decisions : 2247869 (0.00 % random) (3223 /sec) 697.90/697.99 c propagations : 109159583 (156518 /sec) 697.90/697.99 c conflict literals : 155595241 (30.89 % deleted) 697.90/697.99 c nb reduced Clauses : 4601 697.90/697.99 c CPU time : 697.426 s 697.90/697.99 698.01/698.00 s SATISFIABLE 698.01/698.00 v 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 792 0
OK
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3266972-1303574792/watcher-3266972-1303574792 -o /tmp/evaluation-result-3266972-1303574792/solver-3266972-1303574792 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3266972-1303574792.cnf running on 2 cores: 0,2 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.69 1.98 2.80 5/180 1884 /proc/meminfo: memFree=12948180/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 335 0 0 0 0 0 0 0 22 0 1 0 469081524 8912896 253 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 253 211 178 0 69 0 [startup+0.048186 s] /proc/loadavg: 1.69 1.98 2.80 5/180 1884 /proc/meminfo: memFree=12948180/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 335 0 0 0 0 0 0 0 22 0 1 0 469081524 8912896 253 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.101176 s] /proc/loadavg: 1.69 1.98 2.80 5/180 1884 /proc/meminfo: memFree=12948180/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 335 0 0 0 0 0 0 0 22 0 1 0 469081524 8912896 253 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.301163 s] /proc/loadavg: 1.69 1.98 2.80 5/180 1884 /proc/meminfo: memFree=12948180/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 8704 [startup+0.701076 s] /proc/loadavg: 1.69 1.98 2.80 5/180 1884 /proc/meminfo: memFree=12948180/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 8704 [startup+1.50093 s] /proc/loadavg: 1.69 1.98 2.80 5/194 1909 /proc/meminfo: memFree=12863856/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=28968 CPUtime=1.34 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 6041 0 0 0 133 1 0 0 25 0 1 0 469081539 29663232 3661 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224696 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 7242 3661 249 17 0 3883 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 37672 [startup+3.10064 s] /proc/loadavg: 1.69 1.98 2.80 5/194 1911 /proc/meminfo: memFree=12841048/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=37740 CPUtime=2.94 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 8779 0 0 0 293 1 0 0 25 0 1 0 469081539 38645760 6248 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 9435 6248 249 17 0 6076 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 46444 [startup+6.30103 s] /proc/loadavg: 1.88 2.02 2.80 5/194 1911 /proc/meminfo: memFree=12745396/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=40460 CPUtime=6.15 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 9469 0 0 0 613 2 0 0 25 0 1 0 469081539 41431040 6928 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 10115 6928 249 17 0 6756 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49164 [startup+12.7008 s] /proc/loadavg: 2.05 2.05 2.81 5/194 1911 /proc/meminfo: memFree=12686436/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=52064 CPUtime=12.54 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 14660 0 0 0 1252 2 0 0 25 0 1 0 469081539 53313536 8519 33554432000 4194304 4260849 140735656413424 18446744073709551615 4225142 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 13016 8519 251 17 0 9657 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 60768 [startup+25.5004 s] /proc/loadavg: 2.48 2.14 2.83 5/194 1912 /proc/meminfo: memFree=12637720/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=70952 CPUtime=25.35 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 20713 0 0 0 2531 4 0 0 25 0 1 0 469081539 72654848 10929 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224459 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 17738 10929 252 17 0 14379 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 79656 [startup+51.1005 s] /proc/loadavg: 3.00 2.29 2.86 5/194 1913 /proc/meminfo: memFree=12604408/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=89808 CPUtime=50.94 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 26750 0 0 0 5089 5 0 0 25 0 1 0 469081539 91963392 12141 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 22452 12141 252 17 0 19093 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 98512 [startup+102.307 s] /proc/loadavg: 3.56 2.55 2.92 5/194 1914 /proc/meminfo: memFree=12523544/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=89808 CPUtime=102.15 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 30899 0 0 0 10208 7 0 0 25 0 1 0 469081539 91963392 16207 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224816 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 22452 16207 252 17 0 19093 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 98512 [startup+162.3 s] /proc/loadavg: 3.84 2.81 2.98 5/194 1915 /proc/meminfo: memFree=12463360/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=102176 CPUtime=162.15 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 53222 0 0 0 16204 11 0 0 25 0 1 0 469081539 104628224 21053 33554432000 4194304 4260849 140735656413424 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 25544 21053 252 17 0 22185 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 110880 [startup+222.301 s] /proc/loadavg: 3.94 3.03 3.04 5/194 1917 /proc/meminfo: memFree=12417460/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=102176 CPUtime=222.15 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 73656 0 0 0 22200 15 0 0 25 0 1 0 469081539 104628224 22366 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 25544 22366 252 17 0 22185 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 110880 [startup+282.301 s] /proc/loadavg: 4.03 3.22 3.10 5/194 1919 /proc/meminfo: memFree=12289092/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=102176 CPUtime=282.16 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 95705 0 0 0 28197 19 0 0 25 0 1 0 469081539 104628224 22366 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 25544 22366 252 17 0 22185 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 110880 [startup+342.3 s] /proc/loadavg: 4.01 3.36 3.16 5/194 1920 /proc/meminfo: memFree=12308296/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=151496 CPUtime=342.16 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 117589 0 0 0 34193 23 0 0 25 0 1 0 469081539 155131904 32398 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 37874 32398 252 17 0 34515 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 160200 [startup+402.301 s] /proc/loadavg: 4.00 3.47 3.21 5/194 1922 /proc/meminfo: memFree=12351552/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=102176 CPUtime=402.16 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 131481 0 0 0 40190 26 0 0 25 0 1 0 469081539 104628224 22368 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 25544 22368 252 17 0 22185 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 110880 [startup+462.301 s] /proc/loadavg: 4.00 3.56 3.25 5/194 1923 /proc/meminfo: memFree=12337144/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=151496 CPUtime=462.16 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 153865 0 0 0 46187 29 0 0 25 0 1 0 469081539 155131904 31858 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 37874 31858 252 17 0 34515 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 160200 [startup+522.3 s] /proc/loadavg: 4.04 3.66 3.30 5/194 1925 /proc/meminfo: memFree=12351388/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=151496 CPUtime=522.16 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 169427 0 0 0 52183 33 0 0 25 0 1 0 469081539 155131904 34679 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224834 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 37874 34679 252 17 0 34515 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 160200 [startup+582.301 s] /proc/loadavg: 4.01 3.72 3.34 5/194 1927 /proc/meminfo: memFree=12330516/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=102176 CPUtime=582.16 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 184429 0 0 0 58178 38 0 0 25 0 1 0 469081539 104628224 22368 33554432000 4194304 4260849 140735656413424 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 25544 22368 252 17 0 22185 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 110880 [startup+642.301 s] /proc/loadavg: 4.00 3.76 3.38 5/194 1928 /proc/meminfo: memFree=12302820/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=182316 CPUtime=642.17 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 198539 0 0 0 64176 41 0 0 25 0 1 0 469081539 186691584 36400 33554432000 4194304 4260849 140735656413424 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 45579 36400 252 17 0 42220 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 191020 Solver just ended. Dumping a history of the last processes samples [startup+665.507 s] /proc/loadavg: 4.00 3.78 3.40 5/194 1929 /proc/meminfo: memFree=12272424/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=151496 CPUtime=665.37 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 208414 0 0 0 66494 43 0 0 25 0 1 0 469081539 155131904 32103 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 37874 32103 252 17 0 34515 0 Current children cumulated CPU time (s) 665.5 Current children cumulated vsize (KiB) 160200 [startup+678.301 s] /proc/loadavg: 4.00 3.79 3.40 5/194 1929 /proc/meminfo: memFree=12342728/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=151496 CPUtime=678.16 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 209797 0 0 0 67773 43 0 0 25 0 1 0 469081539 155131904 33469 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 37874 33469 252 17 0 34515 0 Current children cumulated CPU time (s) 678.29 Current children cumulated vsize (KiB) 160200 [startup+691.1 s] /proc/loadavg: 4.00 3.80 3.41 5/194 1930 /proc/meminfo: memFree=12306520/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=151496 CPUtime=690.97 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 211017 0 0 0 69053 44 0 0 25 0 1 0 469081539 155131904 34673 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 37874 34673 252 17 0 34515 0 Current children cumulated CPU time (s) 691.1 Current children cumulated vsize (KiB) 160200 [startup+694.301 s] /proc/loadavg: 4.00 3.80 3.41 5/194 1930 /proc/meminfo: memFree=12292256/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=182316 CPUtime=694.17 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 211249 0 0 0 69373 44 0 0 25 0 1 0 469081539 186691584 34900 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 45579 34900 252 17 0 42220 0 Current children cumulated CPU time (s) 694.3 Current children cumulated vsize (KiB) 191020 [startup+695.9 s] /proc/loadavg: 4.00 3.80 3.41 5/194 1930 /proc/meminfo: memFree=12286676/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=182316 CPUtime=695.77 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 211497 0 0 0 69533 44 0 0 25 0 1 0 469081539 186691584 35147 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 45579 35147 252 17 0 42220 0 Current children cumulated CPU time (s) 695.9 Current children cumulated vsize (KiB) 191020 [startup+696.7 s] /proc/loadavg: 4.00 3.80 3.41 5/194 1930 /proc/meminfo: memFree=12281468/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=182316 CPUtime=696.57 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 211572 0 0 0 69613 44 0 0 25 0 1 0 469081539 186691584 35221 33554432000 4194304 4260849 140735656413424 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 45579 35221 252 17 0 42220 0 Current children cumulated CPU time (s) 696.7 Current children cumulated vsize (KiB) 191020 [startup+697.501 s] /proc/loadavg: 4.00 3.80 3.41 5/194 1930 /proc/meminfo: memFree=12276508/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=182316 CPUtime=697.37 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 211642 0 0 0 69693 44 0 0 25 0 1 0 469081539 186691584 35291 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 45579 35291 252 17 0 42220 0 Current children cumulated CPU time (s) 697.5 Current children cumulated vsize (KiB) 191020 [startup+697.901 s] /proc/loadavg: 4.00 3.80 3.41 5/194 1930 /proc/meminfo: memFree=12276508/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=0.13 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 360 1396 0 0 0 0 13 0 21 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 [pid=1901] ppid=1884 vsize=182316 CPUtime=697.77 cores=0,2 /proc/1901/stat : 1901 (glucose_static) R 1884 1884 504 0 -1 4202496 211660 0 0 0 69733 44 0 0 25 0 1 0 469081539 186691584 35308 33554432000 4194304 4260849 140735656413424 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1901/statm: 45579 35308 252 17 0 42220 0 Current children cumulated CPU time (s) 697.9 Current children cumulated vsize (KiB) 191020 [startup+698.001 s] /proc/loadavg: 4.00 3.80 3.41 5/194 1930 /proc/meminfo: memFree=12276508/32951124 swapFree=67111528/67111528 [pid=1884] ppid=1882 vsize=8704 CPUtime=698.01 cores=0,2 /proc/1884/stat : 1884 (glucose.sh) S 1882 1884 504 0 -1 4202496 386 213063 0 0 0 0 69756 45 18 0 1 0 469081524 8912896 255 33554432000 4194304 4922060 140735999432128 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1884/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 698.01 Current children cumulated vsize (KiB) 8704 Child status: 10 Real time (s): 698.005 CPU time (s): 698.024 CPU user time (s): 697.566 CPU system time (s): 0.45793 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 191020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 697.566 system time used= 0.45793 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 213820 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= 45 involuntary context switches= 1116 runsolver used 1.25181 second user time and 2.56461 second system time The end
Begin job on node102 at 2011-04-23 18:06:32 IDJOB=3266972 IDBENCH=88224 IDSOLVER=1651 FILE ID=node102/3266972-1303574792 RUNJOBID= node102-1303574792-1860 PBS_JOBID= 13150307 Free space on /tmp= 70728 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266972-1303574792/watcher-3266972-1303574792 -o /tmp/evaluation-result-3266972-1303574792/solver-3266972-1303574792 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3266972-1303574792.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 0906ad3a7678a4284d484fb4b8c72f61 RANDOM SEED=934114269 node102.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 12949488 kB Buffers: 1838308 kB Cached: 17530936 kB SwapCached: 0 kB Active: 9793164 kB Inactive: 9652572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 12949488 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4036 kB Writeback: 0 kB AnonPages: 75484 kB Mapped: 14488 kB Slab: 493404 kB PageTables: 5644 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 202376 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= 70700 MiB End job on node102 at 2011-04-23 18:18:10