| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | SAT | 1017.34 | 1017.32 |
| Name | CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf |
| MD5SUM | 04c9f68df814bad18919ca17a3e0867a |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 13.382 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 945 |
| Number of clauses | 61409 |
| Sum of the clauses size | 123673 |
| Maximum clause length | 21 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 61364 |
| 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 | 45 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 61409 123673 | 18422 0 0 nan | 0.000 % | 0.00/0.11 c | 0 | 60200 195461 | -- 0 -- -- | -- | -1209/71788 0.00/0.11 c ============================================================================== 0.00/0.11 c Result : #vars: 900 #clauses: 60200 #literals: 195461 0.00/0.11 c CPU time: 0.114982 s 0.00/0.11 c ============================================================================== 0.00/0.14 c 0.00/0.14 c Starting glucose 0.00/0.14 c 130.39/130.48 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 130.39/130.48 c WARNING: for repeatability, setting FPU to use double precision 130.39/130.48 c ============================[ Problem Statistics ]============================= 130.39/130.48 c | | 130.39/130.48 c | Number of variables: 900 | 130.39/130.48 c | Number of clauses: 60200 | 130.39/130.48 c | Parse time: 0.01 s | 130.39/130.48 c | | 130.39/130.48 c ============================[ Search Statistics ]============================== 130.39/130.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 130.39/130.48 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 130.39/130.48 c =============================================================================== 130.39/130.48 c | 17665 | 900 60200 195461 | 1 11372 74 | 0.000 % | 130.39/130.48 c | 62079 | 900 60200 195461 | 1 27939 55 | 0.000 % | 130.39/130.48 c | 320305 | 900 60200 195461 | 1 62933 43 | 0.000 % | 130.39/130.48 c | 393084 | 900 60200 195461 | 1 57517 38 | 0.000 % | 130.39/130.48 c | 394303 | 900 60200 195461 | 1 58736 39 | 0.000 % | 130.39/130.48 c | 431775 | 900 60200 195461 | 1 53200 33 | 0.000 % | 130.39/130.48 c | 571603 | 900 60200 195461 | 1 99224 39 | 0.000 % | 130.39/130.48 c | 592824 | 900 60200 195461 | 1 69643 33 | 0.000 % | 130.39/130.48 c | 605180 | 900 60200 195461 | 1 81999 35 | 0.000 % | 130.39/130.48 c | 607993 | 900 60200 195461 | 1 84812 35 | 0.000 % | 130.39/130.48 c | 616832 | 900 60200 195461 | 1 93651 36 | 0.000 % | 130.39/130.48 c | 616964 | 900 60200 195461 | 1 93783 36 | 0.000 % | 130.39/130.48 c | 672670 | 900 60200 195461 | 1 96092 35 | 0.000 % | 130.39/130.48 c | 673770 | 900 60200 195461 | 1 97192 35 | 0.000 % | 130.39/130.48 c | 704284 | 900 60200 195461 | 1 71709 31 | 0.000 % | 130.39/130.48 c | 705123 | 900 60200 195461 | 1 72548 31 | 0.000 % | 130.39/130.48 c | 711963 | 900 60200 195461 | 1 79388 33 | 0.000 % | 130.39/130.48 c | 719271 | 900 60200 195461 | 1 86696 34 | 0.000 % | 130.39/130.48 c | 738013 | 900 60200 195461 | 1 105438 36 | 0.000 % | 130.39/130.48 c | 759371 | 900 60200 195461 | 1 68196 29 | 0.000 % | 130.39/130.48 c | 759508 | 900 60200 195461 | 1 68333 29 | 0.000 % | 130.39/130.48 c | 769521 | 900 60200 195461 | 1 78346 32 | 0.000 % | 130.39/130.48 c | 775180 | 900 60200 195461 | 1 84005 32 | 0.000 % | 130.39/130.48 c | 787930 | 900 60200 195461 | 1 96755 34 | 0.000 % | 130.39/130.48 c | 793679 | 900 60200 195461 | 1 102504 34 | 0.000 % | 130.39/130.48 c | 797820 | 900 60200 195461 | 1 106645 35 | 0.000 % | 130.39/130.48 c | 821659 | 899 60192 195293 | 1 26809 30 | 0.111 % | 130.39/130.48 c | 826574 | 899 60192 195293 | 1 31724 33 | 0.111 % | 130.39/130.48 c | 827550 | 899 60192 195293 | 1 32700 34 | 0.111 % | 130.39/130.48 c | 872191 | 899 60192 195293 | 1 77341 42 | 0.111 % | 130.39/130.48 c | 880696 | 899 60192 195293 | 1 43280 32 | 0.111 % | 130.39/130.48 c | 881024 | 899 60192 195293 | 1 43608 33 | 0.111 % | 130.39/130.48 c | 888500 | 899 60192 195293 | 1 51084 35 | 0.111 % | 130.39/130.48 c | 921585 | 899 60192 195293 | 1 84169 42 | 0.111 % | 130.39/130.48 c | 921756 | 899 60192 195293 | 1 84340 42 | 0.111 % | 130.39/130.48 c | 940957 | 899 60192 195293 | 1 103541 43 | 0.111 % | 130.39/130.48 c | 958884 | 899 60192 195293 | 1 65682 35 | 0.111 % | 130.39/130.48 c | 977912 | 899 60192 195293 | 1 84710 37 | 0.111 % | 130.39/130.48 c | 1037661 | 899 60192 195293 | 1 80760 35 | 0.111 % | 209.79/209.83 c | 1037762 | 899 60192 195293 | 1 80861 35 | 0.111 % | 209.79/209.83 c | 1039974 | 899 60192 195293 | 1 83073 35 | 0.111 % | 209.79/209.83 c | 1044635 | 899 60192 195293 | 1 87734 37 | 0.111 % | 209.79/209.83 c | 1085146 | 899 60192 195293 | 1 128245 40 | 0.111 % | 209.79/209.83 c | 1085249 | 899 60192 195293 | 1 128348 40 | 0.111 % | 209.79/209.83 c | 1087563 | 899 60192 195293 | 1 130662 41 | 0.111 % | 209.79/209.83 c | 1132274 | 899 60192 195293 | 1 106429 39 | 0.111 % | 209.79/209.83 c | 1139604 | 899 60192 195293 | 1 113759 41 | 0.111 % | 209.79/209.83 c | 1222458 | 899 60192 195293 | 1 123742 39 | 0.111 % | 209.79/209.83 c | 1225574 | 899 60192 195293 | 1 126858 39 | 0.111 % | 209.79/209.83 c | 1238951 | 899 60192 195293 | 1 140235 41 | 0.111 % | 209.79/209.83 c | 1249913 | 899 60192 195293 | 1 151197 41 | 0.111 % | 209.79/209.83 c | 1258132 | 899 60192 195293 | 1 83282 32 | 0.111 % | 209.79/209.83 c | 1268624 | 899 60192 195293 | 1 93774 33 | 0.111 % | 209.79/209.83 c | 1273098 | 899 60192 195293 | 1 98248 34 | 0.111 % | 209.79/209.83 c | 1274909 | 899 60192 195293 | 1 100059 35 | 0.111 % | 209.79/209.83 c | 1280154 | 899 60192 195293 | 1 105304 36 | 0.111 % | 209.79/209.83 c | 1280255 | 899 60192 195293 | 1 105405 36 | 0.111 % | 209.79/209.83 c | 1280400 | 899 60192 195293 | 1 105550 36 | 0.111 % | 209.79/209.83 c | 1281888 | 899 60192 195293 | 1 107038 36 | 0.111 % | 209.79/209.83 c | 1284205 | 899 60192 195293 | 1 109355 36 | 0.111 % | 209.79/209.83 c | 1289307 | 899 60192 195293 | 1 114457 37 | 0.111 % | 209.79/209.83 c | 1293801 | 899 60192 195293 | 1 118951 38 | 0.111 % | 209.79/209.83 c | 1306280 | 899 60192 195293 | 1 131430 39 | 0.111 % | 209.79/209.83 c | 1313053 | 899 60192 195293 | 1 138203 40 | 0.111 % | 209.79/209.83 c | 1335517 | 899 60192 195293 | 1 81596 30 | 0.111 % | 209.79/209.83 c | 1410187 | 899 60192 195293 | 1 156266 39 | 0.111 % | 209.79/209.83 c | 1421143 | 899 60192 195293 | 1 85390 30 | 0.111 % | 209.79/209.83 c | 1421243 | 899 60192 195293 | 1 85490 30 | 0.111 % | 209.79/209.83 c | 1442499 | 899 60192 195293 | 1 106746 36 | 0.111 % | 209.79/209.83 c | 1474063 | 899 60192 195293 | 1 138310 38 | 0.111 % | 209.79/209.83 c | 1474164 | 899 60192 195293 | 1 138411 38 | 0.111 % | 209.79/209.83 c | 1474756 | 899 60192 195293 | 1 139003 39 | 0.111 % | 209.79/209.83 c | 1491798 | 899 60192 195293 | 1 156045 40 | 0.111 % | 209.79/209.83 c | 1492996 | 899 60192 195293 | 1 157243 40 | 0.111 % | 209.79/209.83 c | 1518734 | 899 60192 195293 | 1 98464 31 | 0.111 % | 209.79/209.83 c | 1528342 | 899 60192 195293 | 1 108072 33 | 0.111 % | 209.79/209.83 c | 1577419 | 899 60192 195293 | 1 157149 38 | 0.111 % | 209.79/209.83 c | 1578619 | 899 60192 195293 | 1 158349 38 | 0.111 % | 209.79/209.83 c | 1579173 | 899 60192 195293 | 1 158903 38 | 0.111 % | 209.79/209.83 c | 1584448 | 899 60192 195293 | 1 164178 39 | 0.111 % | 209.79/209.83 c | 1586789 | 899 60192 195293 | 1 166519 40 | 0.111 % | 209.79/209.83 c | 1586891 | 899 60192 195293 | 1 166621 40 | 0.111 % | 209.79/209.83 c | 1586991 | 899 60192 195293 | 1 166721 40 | 0.111 % | 209.79/209.83 c | 1588971 | 899 60192 195293 | 1 168701 40 | 0.111 % | 209.79/209.83 c | 1590204 | 899 60192 195293 | 1 169934 40 | 0.111 % | 209.79/209.83 c | 1593081 | 899 60192 195293 | 1 172811 40 | 0.111 % | 209.79/209.83 c | 1594098 | 899 60192 195293 | 1 173828 40 | 0.111 % | 209.79/209.83 c | 1594198 | 899 60192 195293 | 1 173928 40 | 0.111 % | 209.79/209.83 c | 1595179 | 899 60192 195293 | 1 87755 28 | 0.111 % | 273.19/273.28 c | 1621230 | 899 60192 195293 | 1 113806 34 | 0.111 % | 273.19/273.28 c | 1624618 | 899 60192 195293 | 1 117194 34 | 0.111 % | 273.19/273.28 c | 1626187 | 899 60192 195293 | 1 118763 35 | 0.111 % | 273.19/273.28 c | 1643583 | 899 60192 195293 | 1 136159 37 | 0.111 % | 273.19/273.28 c | 1684869 | 899 60192 195293 | 1 177445 42 | 0.111 % | 273.19/273.28 c | 1684969 | 899 60192 195293 | 1 177545 42 | 0.111 % | 273.19/273.28 c | 1685483 | 899 60192 195293 | 1 178059 42 | 0.111 % | 273.19/273.28 c | 1688113 | 899 60192 195293 | 1 90907 29 | 0.111 % | 273.19/273.28 c | 1701011 | 899 60192 195293 | 1 103805 34 | 0.111 % | 273.19/273.28 c | 1701113 | 899 60192 195293 | 1 103907 34 | 0.111 % | 273.19/273.28 c | 1701215 | 899 60192 195293 | 1 104009 34 | 0.111 % | 273.19/273.28 c | 1701315 | 899 60192 195293 | 1 104109 34 | 0.111 % | 273.19/273.28 c | 1703491 | 899 60192 195293 | 1 106285 34 | 0.111 % | 273.19/273.28 c | 1710777 | 899 60192 195293 | 1 113571 35 | 0.111 % | 273.19/273.28 c | 1714563 | 899 60192 195293 | 1 117357 36 | 0.111 % | 273.19/273.28 c | 1714673 | 899 60192 195293 | 1 117467 36 | 0.111 % | 273.19/273.28 c | 1714773 | 899 60192 195293 | 1 117567 36 | 0.111 % | 273.19/273.28 c | 1714873 | 899 60192 195293 | 1 117667 36 | 0.111 % | 273.19/273.28 c | 1715285 | 899 60192 195293 | 1 118079 36 | 0.111 % | 273.19/273.28 c | 1716182 | 899 60192 195293 | 1 118976 37 | 0.111 % | 273.19/273.28 c | 1730125 | 899 60192 195293 | 1 132919 38 | 0.111 % | 273.19/273.28 c | 1754211 | 899 60192 195293 | 1 157005 41 | 0.111 % | 273.19/273.28 c | 1761575 | 899 60192 195293 | 1 164369 42 | 0.111 % | 273.19/273.28 c | 1771339 | 899 60192 195293 | 1 174133 43 | 0.111 % | 273.19/273.28 c | 1772072 | 899 60192 195293 | 1 174866 43 | 0.111 % | 273.19/273.28 c | 1778748 | 899 60192 195293 | 1 181542 44 | 0.111 % | 273.19/273.28 c | 1798023 | 899 60192 195293 | 1 108427 31 | 0.111 % | 273.19/273.28 c | 1798141 | 899 60192 195293 | 1 108545 31 | 0.111 % | 273.19/273.28 c | 1800219 | 899 60192 195293 | 1 110623 31 | 0.111 % | 273.19/273.28 c | 1820093 | 899 60192 195293 | 1 130497 33 | 0.111 % | 273.19/273.28 c | 1844033 | 899 60192 195293 | 1 154437 36 | 0.111 % | 273.19/273.28 c | 1898246 | 899 60192 195293 | 1 113657 31 | 0.111 % | 273.19/273.28 c | 1910971 | 899 60192 195293 | 1 126382 33 | 0.111 % | 273.19/273.28 c | 1911071 | 899 60192 195293 | 1 126482 33 | 0.111 % | 273.19/273.28 c | 1915448 | 899 60192 195293 | 1 130859 33 | 0.111 % | 273.19/273.28 c | 1920785 | 899 60192 195293 | 1 136196 34 | 0.111 % | 273.19/273.28 c | 1920898 | 899 60192 195293 | 1 136309 34 | 0.111 % | 273.19/273.28 c | 1923073 | 899 60192 195293 | 1 138484 34 | 0.111 % | 273.19/273.28 c | 1930368 | 899 60192 195293 | 1 145779 35 | 0.111 % | 273.19/273.28 c | 1931202 | 899 60192 195293 | 1 146613 35 | 0.111 % | 273.19/273.28 c | 1931376 | 899 60192 195293 | 1 146787 35 | 0.111 % | 273.19/273.28 c | 1931541 | 899 60192 195293 | 1 146952 35 | 0.111 % | 273.19/273.28 c | 1931684 | 899 60192 195293 | 1 147095 35 | 0.111 % | 273.19/273.28 c | 1935665 | 899 60192 195293 | 1 151076 36 | 0.111 % | 273.19/273.28 c | 1935766 | 899 60192 195293 | 1 151177 36 | 0.111 % | 273.19/273.28 c | 1966105 | 899 60192 195293 | 1 181516 40 | 0.111 % | 273.19/273.28 c | 1966207 | 899 60192 195293 | 1 181618 40 | 0.111 % | 273.19/273.28 c | 1976427 | 899 60192 195293 | 1 191838 41 | 0.111 % | 273.19/273.28 c | 1982482 | 899 60192 195293 | 1 100299 28 | 0.111 % | 273.19/273.28 c | 1991313 | 899 60192 195293 | 1 109130 31 | 0.111 % | 307.59/307.60 c | 1996970 | 899 60192 195293 | 1 114787 32 | 0.111 % | 307.59/307.60 c | 1997072 | 899 60192 195293 | 1 114889 32 | 0.111 % | 307.59/307.60 c | 1999693 | 899 60192 195293 | 1 117510 33 | 0.111 % | 307.59/307.60 c | 2007246 | 899 60192 195293 | 1 125063 34 | 0.111 % | 307.59/307.60 c | 2007403 | 899 60192 195293 | 1 125220 34 | 0.111 % | 307.59/307.60 c | 2012125 | 899 60192 195293 | 1 129942 35 | 0.111 % | 307.59/307.60 c | 2014525 | 899 60192 195293 | 1 132342 36 | 0.111 % | 307.59/307.60 c | 2014629 | 899 60192 195293 | 1 132446 36 | 0.111 % | 307.59/307.60 c | 2014735 | 899 60192 195293 | 1 132552 36 | 0.111 % | 307.59/307.60 c | 2015165 | 899 60192 195293 | 1 132982 36 | 0.111 % | 307.59/307.60 c | 2015265 | 899 60192 195293 | 1 133082 36 | 0.111 % | 307.59/307.60 c | 2026559 | 899 60192 195293 | 1 144376 37 | 0.111 % | 307.59/307.60 c | 2026975 | 899 60192 195293 | 1 144792 37 | 0.111 % | 307.59/307.60 c | 2027075 | 899 60192 195293 | 1 144892 37 | 0.111 % | 307.59/307.60 c | 2030624 | 899 60192 195293 | 1 148441 37 | 0.111 % | 307.59/307.60 c | 2030904 | 899 60192 195293 | 1 148721 37 | 0.111 % | 307.59/307.60 c | 2032141 | 899 60192 195293 | 1 149958 37 | 0.111 % | 307.59/307.60 c | 2032242 | 899 60192 195293 | 1 150059 37 | 0.111 % | 307.59/307.60 c | 2036597 | 899 60192 195293 | 1 154414 38 | 0.111 % | 307.59/307.60 c | 2036697 | 899 60192 195293 | 1 154514 38 | 0.111 % | 307.59/307.60 c | 2046765 | 899 60192 195293 | 1 164582 38 | 0.111 % | 307.59/307.60 c | 2046892 | 899 60192 195293 | 1 164709 38 | 0.111 % | 307.59/307.60 c | 2049316 | 899 60192 195293 | 1 167133 39 | 0.111 % | 307.59/307.60 c | 2050556 | 899 60192 195293 | 1 168373 39 | 0.111 % | 307.59/307.60 c | 2057325 | 899 60192 195293 | 1 175142 39 | 0.111 % | 307.59/307.60 c | 2058581 | 899 60192 195293 | 1 176398 39 | 0.111 % | 307.59/307.60 c | 2067551 | 899 60192 195293 | 1 185368 40 | 0.111 % | 307.59/307.60 c | 2086121 | 899 60192 195293 | 1 103739 28 | 0.111 % | 307.59/307.60 c | 2091495 | 899 60192 195293 | 1 109113 29 | 0.111 % | 307.59/307.60 c | 2099830 | 899 60192 195293 | 1 117448 30 | 0.111 % | 307.59/307.60 c | 2101041 | 899 60192 195293 | 1 118659 31 | 0.111 % | 307.59/307.60 c | 2110095 | 899 60192 195293 | 1 127713 32 | 0.111 % | 307.59/307.60 c | 2128403 | 899 60192 195293 | 1 146021 34 | 0.111 % | 307.59/307.60 c | 2135189 | 899 60192 195293 | 1 152807 35 | 0.111 % | 307.59/307.60 c | 2137444 | 899 60192 195293 | 1 155062 35 | 0.111 % | 307.59/307.60 c | 2137649 | 899 60192 195293 | 1 155267 35 | 0.111 % | 307.59/307.60 c | 2140031 | 899 60192 195293 | 1 157649 36 | 0.111 % | 307.59/307.60 c | 2142324 | 899 60192 195293 | 1 159942 36 | 0.111 % | 307.59/307.60 c | 2142426 | 899 60192 195293 | 1 160044 36 | 0.111 % | 307.59/307.60 c | 2142526 | 899 60192 195293 | 1 160144 36 | 0.111 % | 307.59/307.60 c | 2144037 | 899 60192 195293 | 1 161655 36 | 0.111 % | 307.59/307.60 c | 2147503 | 899 60192 195293 | 1 165121 37 | 0.111 % | 307.59/307.60 c | 2149462 | 899 60192 195293 | 1 167080 37 | 0.111 % | 307.59/307.60 c | 2157139 | 899 60192 195293 | 1 174757 38 | 0.111 % | 307.59/307.60 c | 2158027 | 899 60192 195293 | 1 175645 38 | 0.111 % | 307.59/307.60 c | 2158830 | 899 60192 195293 | 1 176448 38 | 0.111 % | 307.59/307.60 c | 2159118 | 899 60192 195293 | 1 176736 38 | 0.111 % | 307.59/307.60 c | 2159963 | 899 60192 195293 | 1 177581 39 | 0.111 % | 307.59/307.60 c | 2171069 | 899 60192 195293 | 1 188687 39 | 0.111 % | 307.59/307.60 c | 2186643 | 899 60192 195293 | 1 204261 40 | 0.111 % | 338.89/338.98 c | 2186743 | 899 60192 195293 | 1 204361 40 | 0.111 % | 338.89/338.98 c | 2187074 | 899 60192 195293 | 1 204692 40 | 0.111 % | 338.89/338.98 c | 2188451 | 899 60192 195293 | 1 103268 27 | 0.111 % | 338.89/338.98 c | 2190961 | 899 60192 195293 | 1 105778 28 | 0.111 % | 338.89/338.98 c | 2191064 | 899 60192 195293 | 1 105881 28 | 0.111 % | 338.89/338.98 c | 2192049 | 899 60192 195293 | 1 106866 28 | 0.111 % | 338.89/338.98 c | 2192149 | 899 60192 195293 | 1 106966 28 | 0.111 % | 338.89/338.98 c | 2192683 | 899 60192 195293 | 1 107500 28 | 0.111 % | 338.89/338.98 c | 2200415 | 899 60192 195293 | 1 115232 30 | 0.111 % | 338.89/338.98 c | 2202001 | 899 60192 195293 | 1 116818 31 | 0.111 % | 338.89/338.98 c | 2202887 | 899 60192 195293 | 1 117704 31 | 0.111 % | 338.89/338.98 c | 2204279 | 899 60192 195293 | 1 119096 31 | 0.111 % | 338.89/338.98 c | 2210645 | 899 60192 195293 | 1 125462 32 | 0.111 % | 338.89/338.98 c | 2213154 | 899 60192 195293 | 1 127971 33 | 0.111 % | 338.89/338.98 c | 2215573 | 899 60192 195293 | 1 130390 33 | 0.111 % | 338.89/338.98 c | 2217296 | 899 60192 195293 | 1 132113 33 | 0.111 % | 338.89/338.98 c | 2217396 | 899 60192 195293 | 1 132213 33 | 0.111 % | 338.89/338.98 c | 2217678 | 899 60192 195293 | 1 132495 34 | 0.111 % | 338.89/338.98 c | 2217797 | 899 60192 195293 | 1 132614 34 | 0.111 % | 338.89/338.98 c | 2219827 | 899 60192 195293 | 1 134644 34 | 0.111 % | 338.89/338.98 c | 2219928 | 899 60192 195293 | 1 134745 34 | 0.111 % | 338.89/338.98 c | 2221951 | 899 60192 195293 | 1 136768 34 | 0.111 % | 338.89/338.98 c | 2225925 | 899 60192 195293 | 1 140742 35 | 0.111 % | 338.89/338.98 c | 2226027 | 899 60192 195293 | 1 140844 35 | 0.111 % | 338.89/338.98 c | 2227764 | 899 60192 195293 | 1 142581 35 | 0.111 % | 338.89/338.98 c | 2229857 | 899 60192 195293 | 1 144674 35 | 0.111 % | 338.89/338.98 c | 2229959 | 899 60192 195293 | 1 144776 36 | 0.111 % | 338.89/338.98 c | 2268504 | 899 60192 195293 | 1 183321 39 | 0.111 % | 338.89/338.98 c | 2271671 | 899 60192 195293 | 1 186488 39 | 0.111 % | 338.89/338.98 c | 2276391 | 899 60192 195293 | 1 191208 40 | 0.111 % | 338.89/338.98 c | 2276635 | 899 60192 195293 | 1 191452 40 | 0.111 % | 338.89/338.98 c | 2278229 | 899 60192 195293 | 1 193046 40 | 0.111 % | 338.89/338.98 c | 2279301 | 899 60192 195293 | 1 194118 40 | 0.111 % | 338.89/338.98 c | 2295166 | 899 60192 195293 | 1 209983 41 | 0.111 % | 338.89/338.98 c | 2295908 | 899 60192 195293 | 1 210725 41 | 0.111 % | 338.89/338.98 c | 2305590 | 899 60192 195293 | 1 115004 30 | 0.111 % | 338.89/338.98 c | 2306333 | 899 60192 195293 | 1 115747 30 | 0.111 % | 338.89/338.98 c | 2307278 | 899 60192 195293 | 1 116692 30 | 0.111 % | 338.89/338.98 c | 2323605 | 899 60192 195293 | 1 133019 32 | 0.111 % | 338.89/338.98 c | 2328358 | 899 60192 195293 | 1 137772 33 | 0.111 % | 338.89/338.98 c | 2328461 | 899 60192 195293 | 1 137875 33 | 0.111 % | 338.89/338.98 c | 2330218 | 899 60192 195293 | 1 139632 34 | 0.111 % | 338.89/338.98 c | 2330433 | 899 60192 195293 | 1 139847 34 | 0.111 % | 338.89/338.98 c | 2340935 | 899 60192 195293 | 1 150349 35 | 0.111 % | 338.89/338.98 c | 2346887 | 899 60192 195293 | 1 156301 36 | 0.111 % | 338.89/338.98 c | 2357326 | 899 60192 195293 | 1 166740 37 | 0.111 % | 338.89/338.98 c | 2357426 | 899 60192 195293 | 1 166840 37 | 0.111 % | 338.89/338.98 c | 2358357 | 899 60192 195293 | 1 167771 37 | 0.111 % | 338.89/338.98 c | 2365964 | 899 60192 195293 | 1 175378 38 | 0.111 % | 338.89/338.98 c | 2373953 | 899 60192 195293 | 1 183367 39 | 0.111 % | 371.19/371.24 c | 2374851 | 899 60192 195293 | 1 184265 39 | 0.111 % | 371.19/371.24 c | 2375402 | 899 60192 195293 | 1 184816 39 | 0.111 % | 371.19/371.24 c | 2392914 | 899 60192 195293 | 1 202328 40 | 0.111 % | 371.19/371.24 c | 2397444 | 899 60192 195293 | 1 206858 40 | 0.111 % | 371.19/371.24 c | 2397572 | 899 60192 195293 | 1 206986 40 | 0.111 % | 371.19/371.24 c | 2397888 | 899 60192 195293 | 1 207302 41 | 0.111 % | 371.19/371.24 c | 2398249 | 899 60192 195293 | 1 207663 41 | 0.111 % | 371.19/371.24 c | 2398403 | 899 60192 195293 | 1 207817 41 | 0.111 % | 371.19/371.24 c | 2405247 | 899 60192 195293 | 1 214661 41 | 0.111 % | 371.19/371.24 c | 2426385 | 899 60192 195293 | 1 127800 31 | 0.111 % | 371.19/371.24 c | 2426623 | 899 60192 195293 | 1 128038 32 | 0.111 % | 371.19/371.24 c | 2426725 | 899 60192 195293 | 1 128140 32 | 0.111 % | 371.19/371.24 c | 2431748 | 899 60192 195293 | 1 133163 32 | 0.111 % | 371.19/371.24 c | 2432668 | 899 60192 195293 | 1 134083 33 | 0.111 % | 371.19/371.24 c | 2435174 | 899 60192 195293 | 1 136589 33 | 0.111 % | 371.19/371.24 c | 2438991 | 899 60192 195293 | 1 140406 33 | 0.111 % | 371.19/371.24 c | 2444613 | 899 60192 195293 | 1 146028 34 | 0.111 % | 371.19/371.24 c | 2457798 | 899 60192 195293 | 1 159213 36 | 0.111 % | 371.19/371.24 c | 2459297 | 899 60192 195293 | 1 160712 36 | 0.111 % | 371.19/371.24 c | 2459928 | 899 60192 195293 | 1 161343 36 | 0.111 % | 371.19/371.24 c | 2474393 | 899 60192 195293 | 1 175808 37 | 0.111 % | 371.19/371.24 c | 2474689 | 899 60192 195293 | 1 176104 37 | 0.111 % | 371.19/371.24 c | 2478524 | 899 60192 195293 | 1 179939 38 | 0.111 % | 371.19/371.24 c | 2480993 | 899 60192 195293 | 1 182408 38 | 0.111 % | 371.19/371.24 c | 2481373 | 899 60192 195293 | 1 182788 38 | 0.111 % | 371.19/371.24 c | 2481473 | 899 60192 195293 | 1 182888 38 | 0.111 % | 371.19/371.24 c | 2490932 | 899 60192 195293 | 1 192347 39 | 0.111 % | 371.19/371.24 c | 2497172 | 899 60192 195293 | 1 198587 39 | 0.111 % | 371.19/371.24 c | 2503638 | 899 60192 195293 | 1 205053 40 | 0.111 % | 371.19/371.24 c | 2503936 | 899 60192 195293 | 1 205351 40 | 0.111 % | 371.19/371.24 c | 2504039 | 899 60192 195293 | 1 205454 40 | 0.111 % | 371.19/371.24 c | 2504406 | 899 60192 195293 | 1 205821 40 | 0.111 % | 371.19/371.24 c | 2511316 | 899 60192 195293 | 1 212731 40 | 0.111 % | 371.19/371.24 c | 2514927 | 899 60192 195293 | 1 216342 40 | 0.111 % | 371.19/371.24 c | 2517442 | 899 60192 195293 | 1 218857 40 | 0.111 % | 371.19/371.24 c | 2517544 | 899 60192 195293 | 1 218959 40 | 0.111 % | 371.19/371.24 c | 2518217 | 899 60192 195293 | 1 219632 40 | 0.111 % | 371.19/371.24 c | 2520035 | 899 60192 195293 | 1 110852 27 | 0.111 % | 371.19/371.24 c | 2520136 | 899 60192 195293 | 1 110953 27 | 0.111 % | 371.19/371.24 c | 2524622 | 899 60192 195293 | 1 115439 28 | 0.111 % | 371.19/371.24 c | 2525250 | 899 60192 195293 | 1 116067 28 | 0.111 % | 371.19/371.24 c | 2535166 | 899 60192 195293 | 1 125983 30 | 0.111 % | 371.19/371.24 c | 2535509 | 899 60192 195293 | 1 126326 30 | 0.111 % | 371.19/371.24 c | 2536927 | 899 60192 195293 | 1 127744 30 | 0.111 % | 371.19/371.24 c | 2549150 | 899 60192 195293 | 1 139967 31 | 0.111 % | 371.19/371.24 c | 2554719 | 899 60192 195293 | 1 145536 32 | 0.111 % | 371.19/371.24 c | 2557760 | 899 60192 195293 | 1 148577 32 | 0.111 % | 371.19/371.24 c | 2559083 | 899 60192 195293 | 1 149900 32 | 0.111 % | 371.19/371.24 c | 2560688 | 899 60192 195293 | 1 151505 33 | 0.111 % | 371.19/371.24 c | 2561694 | 899 60192 195293 | 1 152511 33 | 0.111 % | 428.90/428.98 c | 2567772 | 899 60192 195293 | 1 158589 33 | 0.111 % | 428.90/428.98 c | 2567899 | 899 60192 195293 | 1 158716 33 | 0.111 % | 428.90/428.98 c | 2569903 | 899 60192 195293 | 1 160720 33 | 0.111 % | 428.90/428.98 c | 2573622 | 899 60192 195293 | 1 164439 34 | 0.111 % | 428.90/428.98 c | 2577272 | 899 60192 195293 | 1 168089 34 | 0.111 % | 428.90/428.98 c | 2577539 | 899 60192 195293 | 1 168356 34 | 0.111 % | 428.90/428.98 c | 2593657 | 899 60192 195293 | 1 184474 36 | 0.111 % | 428.90/428.98 c | 2600566 | 899 60192 195293 | 1 191383 37 | 0.111 % | 428.90/428.98 c | 2603993 | 899 60192 195293 | 1 194810 37 | 0.111 % | 428.90/428.98 c | 2621993 | 899 60192 195293 | 1 212810 38 | 0.111 % | 428.90/428.98 c | 2625410 | 899 60192 195293 | 1 216227 38 | 0.111 % | 428.90/428.98 c | 2625510 | 899 60192 195293 | 1 216327 38 | 0.111 % | 428.90/428.98 c | 2629775 | 899 60192 195293 | 1 220592 39 | 0.111 % | 428.90/428.98 c | 2629937 | 899 60192 195293 | 1 220754 39 | 0.111 % | 428.90/428.98 c | 2634111 | 899 60192 195293 | 1 224928 39 | 0.111 % | 428.90/428.98 c | 2637319 | 899 60192 195293 | 1 114941 27 | 0.111 % | 428.90/428.98 c | 2637440 | 899 60192 195293 | 1 115062 27 | 0.111 % | 428.90/428.98 c | 2637540 | 899 60192 195293 | 1 115162 27 | 0.111 % | 428.90/428.98 c | 2643471 | 899 60192 195293 | 1 121093 28 | 0.111 % | 428.90/428.98 c | 2644439 | 899 60192 195293 | 1 122061 28 | 0.111 % | 428.90/428.98 c | 2658363 | 899 60192 195293 | 1 135985 31 | 0.111 % | 428.90/428.98 c | 2658466 | 899 60192 195293 | 1 136088 31 | 0.111 % | 428.90/428.98 c | 2698101 | 899 60192 195293 | 1 175723 38 | 0.111 % | 428.90/428.98 c | 2698219 | 899 60192 195293 | 1 175841 38 | 0.111 % | 428.90/428.98 c | 2708208 | 899 60192 195293 | 1 185830 39 | 0.111 % | 428.90/428.98 c | 2720420 | 899 60192 195293 | 1 198042 40 | 0.111 % | 428.90/428.98 c | 2736361 | 899 60192 195293 | 1 213983 40 | 0.111 % | 428.90/428.98 c | 2740921 | 899 60192 195293 | 1 218543 40 | 0.111 % | 428.90/428.98 c | 2747670 | 899 60192 195293 | 1 225292 41 | 0.111 % | 428.90/428.98 c | 2747860 | 899 60192 195293 | 1 225482 41 | 0.111 % | 428.90/428.98 c | 2748117 | 899 60192 195293 | 1 225739 41 | 0.111 % | 428.90/428.98 c | 2785154 | 899 60192 195293 | 1 146974 31 | 0.111 % | 428.90/428.98 c | 2789448 | 899 60192 195293 | 1 151268 32 | 0.111 % | 428.90/428.98 c | 2791369 | 899 60192 195293 | 1 153189 32 | 0.111 % | 428.90/428.98 c | 2798035 | 899 60192 195293 | 1 159855 33 | 0.111 % | 428.90/428.98 c | 2810016 | 899 60192 195293 | 1 171836 34 | 0.111 % | 428.90/428.98 c | 2811431 | 899 60192 195293 | 1 173251 34 | 0.111 % | 428.90/428.99 c | 2812182 | 899 60192 195293 | 1 174002 35 | 0.111 % | 428.90/428.99 c | 2813489 | 899 60192 195293 | 1 175309 35 | 0.111 % | 428.90/428.99 c | 2816090 | 899 60192 195293 | 1 177910 35 | 0.111 % | 428.90/428.99 c | 2832516 | 899 60192 195293 | 1 194336 37 | 0.111 % | 428.90/428.99 c | 2837706 | 899 60192 195293 | 1 199526 37 | 0.111 % | 428.90/428.99 c | 2837806 | 899 60192 195293 | 1 199626 37 | 0.111 % | 428.90/428.99 c | 2837907 | 899 60192 195293 | 1 199727 37 | 0.111 % | 428.90/428.99 c | 2840707 | 899 60192 195293 | 1 202527 38 | 0.111 % | 428.90/428.99 c | 2847413 | 899 60192 195293 | 1 209233 38 | 0.111 % | 428.90/428.99 c | 2853841 | 899 60192 195293 | 1 215661 38 | 0.111 % | 428.90/428.99 c | 2872754 | 899 60192 195293 | 1 234574 40 | 0.111 % | 428.90/428.99 c | 2873193 | 899 60192 195293 | 1 235013 40 | 0.111 % | 494.40/494.49 c | 2876313 | 899 60192 195293 | 1 119732 27 | 0.111 % | 494.40/494.49 c | 2879739 | 899 60192 195293 | 1 123158 27 | 0.111 % | 494.40/494.49 c | 2880520 | 899 60192 195293 | 1 123939 27 | 0.111 % | 494.40/494.49 c | 2880625 | 899 60192 195293 | 1 124044 27 | 0.111 % | 494.40/494.49 c | 2891132 | 899 60192 195293 | 1 134551 29 | 0.111 % | 494.40/494.49 c | 2891591 | 899 60192 195293 | 1 135010 29 | 0.111 % | 494.40/494.49 c | 2901217 | 899 60192 195293 | 1 144636 31 | 0.111 % | 494.40/494.49 c | 2908110 | 899 60192 195293 | 1 151529 32 | 0.111 % | 494.40/494.49 c | 2908927 | 899 60192 195293 | 1 152346 32 | 0.111 % | 494.40/494.49 c | 2920681 | 899 60192 195293 | 1 164100 33 | 0.111 % | 494.40/494.49 c | 2927740 | 899 60192 195293 | 1 171159 34 | 0.111 % | 494.40/494.49 c | 2933268 | 899 60192 195293 | 1 176687 35 | 0.111 % | 494.40/494.49 c | 2935594 | 899 60192 195293 | 1 179013 35 | 0.111 % | 494.40/494.49 c | 2936599 | 899 60192 195293 | 1 180018 35 | 0.111 % | 494.40/494.49 c | 2949453 | 899 60192 195293 | 1 192872 36 | 0.111 % | 494.40/494.49 c | 2949556 | 899 60192 195293 | 1 192975 36 | 0.111 % | 494.40/494.49 c | 2956230 | 899 60192 195293 | 1 199649 36 | 0.111 % | 494.40/494.49 c | 2967880 | 899 60192 195293 | 1 211299 37 | 0.111 % | 494.40/494.49 c | 2973230 | 899 60192 195293 | 1 216649 38 | 0.111 % | 494.40/494.49 c | 2973330 | 899 60192 195293 | 1 216749 38 | 0.111 % | 494.40/494.49 c | 2997506 | 899 60192 195293 | 1 240925 40 | 0.111 % | 494.40/494.49 c | 2998861 | 899 60192 195293 | 1 121276 26 | 0.111 % | 494.40/494.49 c | 2999608 | 899 60192 195293 | 1 122023 27 | 0.111 % | 494.40/494.49 c | 3002461 | 899 60192 195293 | 1 124876 27 | 0.111 % | 494.40/494.49 c | 3002562 | 899 60192 195293 | 1 124977 27 | 0.111 % | 494.40/494.49 c | 3008376 | 899 60192 195293 | 1 130791 28 | 0.111 % | 494.40/494.49 c | 3015424 | 899 60192 195293 | 1 137839 30 | 0.111 % | 494.40/494.49 c | 3022812 | 899 60192 195293 | 1 145227 31 | 0.111 % | 494.40/494.49 c | 3025665 | 899 60192 195293 | 1 148080 31 | 0.111 % | 494.40/494.49 c | 3046977 | 899 60192 195293 | 1 169392 34 | 0.111 % | 494.40/494.49 c | 3063503 | 899 60192 195293 | 1 185918 37 | 0.111 % | 494.40/494.49 c | 3067341 | 899 60192 195293 | 1 189756 37 | 0.111 % | 494.40/494.49 c | 3077586 | 899 60192 195293 | 1 200001 38 | 0.111 % | 494.40/494.49 c | 3083977 | 899 60192 195293 | 1 206392 38 | 0.111 % | 494.40/494.49 c | 3087649 | 899 60192 195293 | 1 210064 39 | 0.111 % | 494.40/494.49 c | 3089969 | 899 60192 195293 | 1 212384 39 | 0.111 % | 494.40/494.49 c | 3090914 | 899 60192 195293 | 1 213329 39 | 0.111 % | 494.40/494.49 c | 3091017 | 899 60192 195293 | 1 213432 39 | 0.111 % | 494.40/494.49 c | 3091786 | 899 60192 195293 | 1 214201 39 | 0.111 % | 494.40/494.49 c | 3110601 | 899 60192 195293 | 1 233016 39 | 0.111 % | 494.40/494.49 c | 3110846 | 899 60192 195293 | 1 233261 39 | 0.111 % | 494.40/494.49 c | 3143734 | 899 60192 195293 | 1 142550 29 | 0.111 % | 494.40/494.49 c | 3187237 | 899 60192 195293 | 1 186053 36 | 0.111 % | 494.40/494.49 c | 3190038 | 899 60192 195293 | 1 188854 36 | 0.111 % | 494.40/494.49 c | 3193392 | 899 60192 195293 | 1 192208 36 | 0.111 % | 494.40/494.49 c | 3193492 | 899 60192 195293 | 1 192308 36 | 0.111 % | 494.40/494.49 c | 3216278 | 899 60192 195293 | 1 215094 38 | 0.111 % | 494.40/494.49 c | 3216941 | 899 60192 195293 | 1 215757 38 | 0.111 % | 494.40/494.49 c | 3221158 | 899 60192 195293 | 1 219974 38 | 0.111 % | 494.40/494.49 c | 3223672 | 899 60192 195293 | 1 222488 38 | 0.111 % | 535.30/535.35 c | 3223773 | 899 60192 195293 | 1 222589 38 | 0.111 % | 535.30/535.35 c | 3231748 | 899 60192 195293 | 1 230564 38 | 0.111 % | 535.30/535.35 c | 3232838 | 899 60192 195293 | 1 231654 38 | 0.111 % | 535.30/535.35 c | 3241759 | 899 60192 195293 | 1 240575 39 | 0.111 % | 535.30/535.35 c | 3241859 | 899 60192 195293 | 1 240675 39 | 0.111 % | 535.30/535.35 c | 3249907 | 899 60192 195293 | 1 248723 39 | 0.111 % | 535.30/535.35 c | 3257800 | 899 60192 195293 | 1 130414 27 | 0.111 % | 535.30/535.35 c | 3261018 | 899 60192 195293 | 1 133632 28 | 0.111 % | 535.30/535.35 c | 3261118 | 899 60192 195293 | 1 133732 28 | 0.111 % | 535.30/535.35 c | 3261282 | 899 60192 195293 | 1 133896 28 | 0.111 % | 535.30/535.35 c | 3263060 | 899 60192 195293 | 1 135674 28 | 0.111 % | 535.30/535.35 c | 3264811 | 899 60192 195293 | 1 137425 28 | 0.111 % | 535.30/535.35 c | 3311464 | 899 60192 195293 | 1 184078 36 | 0.111 % | 535.30/535.35 c | 3312897 | 899 60192 195293 | 1 185511 36 | 0.111 % | 535.30/535.35 c | 3313000 | 899 60192 195293 | 1 185614 36 | 0.111 % | 535.30/535.35 c | 3313100 | 899 60192 195293 | 1 185714 36 | 0.111 % | 535.30/535.35 c | 3319048 | 899 60192 195293 | 1 191662 36 | 0.111 % | 535.30/535.35 c | 3323965 | 899 60192 195293 | 1 196579 37 | 0.111 % | 535.30/535.35 c | 3329141 | 899 60192 195293 | 1 201755 37 | 0.111 % | 535.30/535.35 c | 3332138 | 899 60192 195293 | 1 204752 37 | 0.111 % | 535.30/535.35 c | 3332239 | 899 60192 195293 | 1 204853 37 | 0.111 % | 535.30/535.35 c | 3334468 | 899 60192 195293 | 1 207082 37 | 0.111 % | 535.30/535.35 c | 3335676 | 899 60192 195293 | 1 208290 37 | 0.111 % | 535.30/535.35 c | 3341740 | 899 60192 195293 | 1 214354 38 | 0.111 % | 535.30/535.35 c | 3352356 | 899 60192 195293 | 1 224970 38 | 0.111 % | 535.30/535.36 c | 3353420 | 899 60192 195293 | 1 226034 38 | 0.111 % | 535.30/535.36 c | 3355472 | 899 60192 195293 | 1 228086 39 | 0.111 % | 535.30/535.36 c | 3355900 | 899 60192 195293 | 1 228514 39 | 0.111 % | 535.30/535.36 c | 3358669 | 899 60192 195293 | 1 231283 39 | 0.111 % | 535.30/535.36 c | 3359079 | 899 60192 195293 | 1 231693 39 | 0.111 % | 535.30/535.36 c | 3360141 | 899 60192 195293 | 1 232755 39 | 0.111 % | 535.30/535.36 c | 3369920 | 899 60192 195293 | 1 242534 39 | 0.111 % | 535.30/535.36 c | 3370059 | 899 60192 195293 | 1 242673 39 | 0.111 % | 535.30/535.36 c | 3375060 | 899 60192 195293 | 1 247674 40 | 0.111 % | 535.30/535.36 c | 3388092 | 899 60192 195293 | 1 131912 27 | 0.111 % | 535.30/535.36 c | 3388195 | 899 60192 195293 | 1 132015 27 | 0.111 % | 535.30/535.36 c | 3396217 | 899 60192 195293 | 1 140037 29 | 0.111 % | 535.30/535.36 c | 3396611 | 899 60192 195293 | 1 140431 29 | 0.111 % | 535.30/535.36 c | 3396711 | 899 60192 195293 | 1 140531 29 | 0.111 % | 535.30/535.36 c | 3396859 | 899 60192 195293 | 1 140679 29 | 0.111 % | 535.30/535.36 c | 3397661 | 899 60192 195293 | 1 141481 29 | 0.111 % | 535.30/535.36 c | 3410604 | 899 60192 195293 | 1 154424 31 | 0.111 % | 535.30/535.36 c | 3413978 | 899 60192 195293 | 1 157798 32 | 0.111 % | 535.30/535.36 c | 3417256 | 899 60192 195293 | 1 161076 32 | 0.111 % | 535.30/535.36 c | 3419582 | 899 60192 195293 | 1 163402 33 | 0.111 % | 535.30/535.36 c | 3422951 | 899 60192 195293 | 1 166771 33 | 0.111 % | 535.30/535.36 c | 3423108 | 899 60192 195293 | 1 166928 33 | 0.111 % | 535.30/535.36 c | 3423324 | 899 60192 195293 | 1 167144 33 | 0.111 % | 535.30/535.36 c | 3425508 | 899 60192 195293 | 1 169328 33 | 0.111 % | 535.30/535.36 c | 3437381 | 899 60192 195293 | 1 181201 35 | 0.111 % | 580.80/580.84 c | 3438139 | 899 60192 195293 | 1 181959 35 | 0.111 % | 580.80/580.84 c | 3446544 | 899 60192 195293 | 1 190364 36 | 0.111 % | 580.80/580.84 c | 3451086 | 899 60192 195293 | 1 194906 36 | 0.111 % | 580.80/580.84 c | 3459968 | 899 60192 195293 | 1 203788 37 | 0.111 % | 580.80/580.84 c | 3460068 | 899 60192 195293 | 1 203888 37 | 0.111 % | 580.80/580.84 c | 3460169 | 899 60192 195293 | 1 203989 37 | 0.111 % | 580.80/580.84 c | 3483746 | 899 60192 195293 | 1 227566 39 | 0.111 % | 580.80/580.84 c | 3487441 | 899 60192 195293 | 1 231261 39 | 0.111 % | 580.80/580.84 c | 3487552 | 899 60192 195293 | 1 231372 39 | 0.111 % | 580.80/580.84 c | 3487652 | 899 60192 195293 | 1 231472 39 | 0.111 % | 580.80/580.84 c | 3487752 | 899 60192 195293 | 1 231572 39 | 0.111 % | 580.80/580.84 c | 3488015 | 899 60192 195293 | 1 231835 39 | 0.111 % | 580.80/580.84 c | 3488274 | 899 60192 195293 | 1 232094 39 | 0.111 % | 580.80/580.84 c | 3488374 | 899 60192 195293 | 1 232194 39 | 0.111 % | 580.80/580.84 c | 3494425 | 899 60192 195293 | 1 238245 40 | 0.111 % | 580.80/580.84 c | 3495789 | 899 60192 195293 | 1 239609 40 | 0.111 % | 580.80/580.84 c | 3501997 | 899 60192 195293 | 1 245817 40 | 0.111 % | 580.80/580.84 c | 3502100 | 899 60192 195293 | 1 245920 40 | 0.111 % | 580.80/580.84 c | 3502317 | 899 60192 195293 | 1 246137 40 | 0.111 % | 580.80/580.84 c | 3502422 | 899 60192 195293 | 1 246242 40 | 0.111 % | 580.80/580.84 c | 3504678 | 899 60192 195293 | 1 248498 40 | 0.111 % | 580.80/580.84 c | 3504780 | 899 60192 195293 | 1 248600 40 | 0.111 % | 580.80/580.84 c | 3508054 | 899 60192 195293 | 1 251874 40 | 0.111 % | 580.80/580.84 c | 3514135 | 899 60192 195293 | 1 257955 41 | 0.111 % | 580.80/580.84 c | 3529135 | 899 60192 195293 | 1 141555 28 | 0.111 % | 580.80/580.84 c | 3530631 | 899 60192 195293 | 1 143051 29 | 0.111 % | 580.80/580.84 c | 3530743 | 899 60192 195293 | 1 143163 29 | 0.111 % | 580.80/580.84 c | 3537153 | 899 60192 195293 | 1 149573 30 | 0.111 % | 580.80/580.84 c | 3538091 | 899 60192 195293 | 1 150511 30 | 0.111 % | 580.80/580.84 c | 3571936 | 899 60192 195293 | 1 184356 34 | 0.111 % | 580.80/580.84 c | 3574289 | 899 60192 195293 | 1 186709 34 | 0.111 % | 580.80/580.84 c | 3574944 | 899 60192 195293 | 1 187364 34 | 0.111 % | 580.80/580.84 c | 3575160 | 899 60192 195293 | 1 187580 34 | 0.111 % | 580.80/580.84 c | 3575263 | 899 60192 195293 | 1 187683 34 | 0.111 % | 580.80/580.84 c | 3575363 | 899 60192 195293 | 1 187783 34 | 0.111 % | 580.80/580.84 c | 3583734 | 899 60192 195293 | 1 196154 35 | 0.111 % | 580.80/580.84 c | 3624943 | 899 60192 195293 | 1 237363 37 | 0.111 % | 580.80/580.84 c | 3635338 | 899 60192 195293 | 1 247758 38 | 0.111 % | 580.80/580.84 c | 3635438 | 899 60192 195293 | 1 247858 38 | 0.111 % | 580.80/580.84 c | 3635639 | 899 60192 195293 | 1 248059 38 | 0.111 % | 580.80/580.84 c | 3641540 | 899 60192 195293 | 1 253960 39 | 0.111 % | 580.80/580.84 c | 3641746 | 899 60192 195293 | 1 254166 39 | 0.111 % | 580.80/580.84 c | 3642841 | 899 60192 195293 | 1 255261 39 | 0.111 % | 580.80/580.84 c | 3646017 | 899 60192 195293 | 1 258437 39 | 0.111 % | 580.80/580.84 c | 3648105 | 899 60192 195293 | 1 260525 39 | 0.111 % | 580.80/580.84 c | 3652105 | 899 60192 195293 | 1 264525 39 | 0.111 % | 580.80/580.84 c | 3652277 | 899 60192 195293 | 1 264697 39 | 0.111 % | 580.80/580.84 c | 3653877 | 899 60192 195293 | 1 266297 39 | 0.111 % | 580.80/580.84 c | 3653978 | 899 60192 195293 | 1 266398 39 | 0.111 % | 580.80/580.84 c | 3658886 | 899 60192 195293 | 1 137302 27 | 0.111 % | 630.10/630.16 c | 3662304 | 899 60192 195293 | 1 140720 28 | 0.111 % | 630.10/630.16 c | 3671374 | 899 60192 195293 | 1 149790 29 | 0.111 % | 630.10/630.16 c | 3672440 | 899 60192 195293 | 1 150856 30 | 0.111 % | 630.10/630.16 c | 3675706 | 899 60192 195293 | 1 154122 30 | 0.111 % | 630.10/630.16 c | 3680881 | 899 60192 195293 | 1 159297 31 | 0.111 % | 630.10/630.16 c | 3683665 | 899 60192 195293 | 1 162081 31 | 0.111 % | 630.10/630.16 c | 3685292 | 899 60192 195293 | 1 163708 31 | 0.111 % | 630.10/630.16 c | 3685394 | 899 60192 195293 | 1 163810 31 | 0.111 % | 630.10/630.16 c | 3688123 | 899 60192 195293 | 1 166539 32 | 0.111 % | 630.10/630.16 c | 3688223 | 899 60192 195293 | 1 166639 32 | 0.111 % | 630.10/630.16 c | 3689492 | 899 60192 195293 | 1 167908 32 | 0.111 % | 630.10/630.16 c | 3697361 | 899 60192 195293 | 1 175777 33 | 0.111 % | 630.10/630.16 c | 3697461 | 899 60192 195293 | 1 175877 33 | 0.111 % | 630.10/630.16 c | 3711287 | 899 60192 195293 | 1 189703 34 | 0.111 % | 630.10/630.16 c | 3746578 | 899 60192 195293 | 1 224994 37 | 0.111 % | 630.10/630.16 c | 3746678 | 899 60192 195293 | 1 225094 37 | 0.111 % | 630.10/630.16 c | 3746778 | 899 60192 195293 | 1 225194 37 | 0.111 % | 630.10/630.16 c | 3749863 | 899 60192 195293 | 1 228279 37 | 0.111 % | 630.10/630.16 c | 3772343 | 899 60192 195293 | 1 250759 38 | 0.111 % | 630.10/630.16 c | 3772810 | 899 60192 195293 | 1 251226 38 | 0.111 % | 630.10/630.16 c | 3774715 | 899 60192 195293 | 1 253131 38 | 0.111 % | 630.10/630.16 c | 3779525 | 899 60192 195293 | 1 257941 39 | 0.111 % | 630.10/630.16 c | 3781654 | 899 60192 195293 | 1 260070 39 | 0.111 % | 630.10/630.16 c | 3784342 | 899 60192 195293 | 1 262758 39 | 0.111 % | 630.10/630.16 c | 3784532 | 899 60192 195293 | 1 262948 39 | 0.111 % | 630.10/630.16 c | 3787151 | 899 60192 195293 | 1 265567 39 | 0.111 % | 630.10/630.16 c | 3787470 | 899 60192 195293 | 1 265886 39 | 0.111 % | 630.10/630.16 c | 3795198 | 899 60192 195293 | 1 137013 26 | 0.111 % | 630.10/630.16 c | 3797316 | 899 60192 195293 | 1 139131 27 | 0.111 % | 630.10/630.16 c | 3805580 | 899 60192 195293 | 1 147395 28 | 0.111 % | 630.10/630.16 c | 3805758 | 899 60192 195293 | 1 147573 28 | 0.111 % | 630.10/630.16 c | 3814723 | 899 60192 195293 | 1 156538 30 | 0.111 % | 630.10/630.16 c | 3817243 | 899 60192 195293 | 1 159058 30 | 0.111 % | 630.10/630.16 c | 3827141 | 899 60192 195293 | 1 168956 32 | 0.111 % | 630.10/630.16 c | 3827241 | 899 60192 195293 | 1 169056 32 | 0.111 % | 630.10/630.16 c | 3827512 | 899 60192 195293 | 1 169327 32 | 0.111 % | 630.10/630.16 c | 3827996 | 899 60192 195293 | 1 169811 32 | 0.111 % | 630.10/630.16 c | 3828195 | 899 60192 195293 | 1 170010 32 | 0.111 % | 630.10/630.16 c | 3828467 | 899 60192 195293 | 1 170282 32 | 0.111 % | 630.10/630.16 c | 3850638 | 899 60192 195293 | 1 192453 34 | 0.111 % | 630.10/630.16 c | 3859803 | 899 60192 195293 | 1 201618 35 | 0.111 % | 630.10/630.16 c | 3860100 | 899 60192 195293 | 1 201915 35 | 0.111 % | 630.10/630.16 c | 3869773 | 899 60192 195293 | 1 211588 36 | 0.111 % | 630.10/630.16 c | 3880861 | 899 60192 195293 | 1 222676 36 | 0.111 % | 630.10/630.16 c | 3881311 | 899 60192 195293 | 1 223126 36 | 0.111 % | 630.10/630.16 c | 3881413 | 899 60192 195293 | 1 223228 36 | 0.111 % | 630.10/630.16 c | 3885956 | 899 60192 195293 | 1 227771 37 | 0.111 % | 630.10/630.16 c | 3894778 | 899 60192 195293 | 1 236593 37 | 0.111 % | 630.10/630.16 c | 3895398 | 899 60192 195293 | 1 237213 37 | 0.111 % | 630.10/630.16 c | 3902611 | 899 60192 195293 | 1 244426 38 | 0.111 % | 665.00/665.09 c | 3904127 | 899 60192 195293 | 1 245942 38 | 0.111 % | 665.00/665.09 c | 3907562 | 899 60192 195293 | 1 249377 38 | 0.111 % | 665.00/665.09 c | 3907664 | 899 60192 195293 | 1 249479 38 | 0.111 % | 665.00/665.09 c | 3911786 | 899 60192 195293 | 1 253601 38 | 0.111 % | 665.00/665.09 c | 3915637 | 899 60192 195293 | 1 257452 39 | 0.111 % | 665.00/665.09 c | 3917188 | 899 60192 195293 | 1 259003 39 | 0.111 % | 665.00/665.09 c | 3919299 | 899 60192 195293 | 1 261114 39 | 0.111 % | 665.00/665.09 c | 3925063 | 899 60192 195293 | 1 266878 39 | 0.111 % | 665.00/665.09 c | 3936177 | 899 60192 195293 | 1 277992 40 | 0.111 % | 665.00/665.09 c | 3950478 | 899 60192 195293 | 1 153088 29 | 0.111 % | 665.00/665.09 c | 3951485 | 899 60192 195293 | 1 154095 29 | 0.111 % | 665.00/665.09 c | 3954264 | 899 60192 195293 | 1 156874 29 | 0.111 % | 665.00/665.09 c | 3954801 | 899 60192 195293 | 1 157411 30 | 0.111 % | 665.00/665.09 c | 3961521 | 899 60192 195293 | 1 164131 31 | 0.111 % | 665.00/665.09 c | 3968569 | 899 60192 195293 | 1 171179 31 | 0.111 % | 665.00/665.09 c | 3970166 | 899 60192 195293 | 1 172776 31 | 0.111 % | 665.00/665.09 c | 3971319 | 899 60192 195293 | 1 173929 31 | 0.111 % | 665.00/665.09 c | 3977185 | 899 60192 195293 | 1 179795 32 | 0.111 % | 665.00/665.09 c | 3990610 | 899 60192 195293 | 1 193220 34 | 0.111 % | 665.00/665.09 c | 3992235 | 899 60192 195293 | 1 194845 34 | 0.111 % | 665.00/665.09 c | 3994915 | 899 60192 195293 | 1 197525 34 | 0.111 % | 665.00/665.09 c | 3995015 | 899 60192 195293 | 1 197625 34 | 0.111 % | 665.00/665.09 c | 3995115 | 899 60192 195293 | 1 197725 34 | 0.111 % | 665.00/665.09 c | 3998687 | 899 60192 195293 | 1 201297 35 | 0.111 % | 665.00/665.09 c | 4009256 | 899 60192 195293 | 1 211866 36 | 0.111 % | 665.00/665.09 c | 4015571 | 899 60192 195293 | 1 218181 36 | 0.111 % | 665.00/665.09 c | 4015923 | 899 60192 195293 | 1 218533 36 | 0.111 % | 665.00/665.09 c | 4027419 | 899 60192 195293 | 1 230029 36 | 0.111 % | 665.00/665.09 c | 4027612 | 899 60192 195293 | 1 230222 37 | 0.111 % | 665.00/665.09 c | 4029097 | 899 60192 195293 | 1 231707 37 | 0.111 % | 665.00/665.09 c | 4029294 | 899 60192 195293 | 1 231904 37 | 0.111 % | 665.00/665.09 c | 4029397 | 899 60192 195293 | 1 232007 37 | 0.111 % | 665.00/665.09 c | 4029954 | 899 60192 195293 | 1 232564 37 | 0.111 % | 665.00/665.09 c | 4034774 | 899 60192 195293 | 1 237384 37 | 0.111 % | 665.00/665.09 c | 4038186 | 899 60192 195293 | 1 240796 37 | 0.111 % | 665.00/665.09 c | 4041409 | 899 60192 195293 | 1 244019 37 | 0.111 % | 665.00/665.09 c | 4042376 | 899 60192 195293 | 1 244986 37 | 0.111 % | 665.00/665.09 c | 4042565 | 899 60192 195293 | 1 245175 37 | 0.111 % | 665.00/665.09 c | 4043730 | 899 60192 195293 | 1 246340 37 | 0.111 % | 665.00/665.09 c | 4044933 | 899 60192 195293 | 1 247543 37 | 0.111 % | 665.00/665.09 c | 4045059 | 899 60192 195293 | 1 247669 37 | 0.111 % | 665.00/665.09 c | 4045268 | 899 60192 195293 | 1 247878 38 | 0.111 % | 665.00/665.09 c | 4052066 | 899 60192 195293 | 1 254676 38 | 0.111 % | 665.00/665.09 c | 4064707 | 899 60192 195293 | 1 267317 39 | 0.111 % | 665.00/665.09 c | 4068216 | 899 60192 195293 | 1 270826 39 | 0.111 % | 665.00/665.09 c | 4068317 | 899 60192 195293 | 1 270927 39 | 0.111 % | 665.00/665.09 c | 4069965 | 899 60192 195293 | 1 272575 39 | 0.111 % | 665.00/665.09 c | 4071010 | 899 60192 195293 | 1 273620 39 | 0.111 % | 665.00/665.09 c | 4071172 | 899 60192 195293 | 1 273782 39 | 0.111 % | 665.00/665.09 c | 4071272 | 899 60192 195293 | 1 273882 39 | 0.111 % | 710.21/710.21 c | 4072106 | 899 60192 195293 | 1 274716 39 | 0.111 % | 710.21/710.21 c | 4072796 | 899 60192 195293 | 1 275406 39 | 0.111 % | 710.21/710.21 c | 4076898 | 899 60192 195293 | 1 279508 39 | 0.111 % | 710.21/710.21 c | 4089995 | 899 60192 195293 | 1 150810 27 | 0.111 % | 710.21/710.21 c | 4090095 | 899 60192 195293 | 1 150910 27 | 0.111 % | 710.21/710.21 c | 4101798 | 899 60192 195293 | 1 162613 29 | 0.111 % | 710.21/710.21 c | 4101899 | 899 60192 195293 | 1 162714 29 | 0.111 % | 710.21/710.21 c | 4102967 | 899 60192 195293 | 1 163782 29 | 0.111 % | 710.21/710.21 c | 4103076 | 899 60192 195293 | 1 163891 29 | 0.111 % | 710.21/710.21 c | 4104799 | 899 60192 195293 | 1 165614 30 | 0.111 % | 710.21/710.21 c | 4104900 | 899 60192 195293 | 1 165715 30 | 0.111 % | 710.21/710.21 c | 4116158 | 899 60192 195293 | 1 176973 31 | 0.111 % | 710.21/710.21 c | 4133478 | 899 60192 195293 | 1 194293 33 | 0.111 % | 710.21/710.21 c | 4136273 | 899 60192 195293 | 1 197088 33 | 0.111 % | 710.21/710.21 c | 4139087 | 899 60192 195293 | 1 199902 33 | 0.111 % | 710.21/710.21 c | 4142993 | 899 60192 195293 | 1 203808 34 | 0.111 % | 710.21/710.21 c | 4145858 | 899 60192 195293 | 1 206673 34 | 0.111 % | 710.21/710.21 c | 4147318 | 899 60192 195293 | 1 208133 34 | 0.111 % | 710.21/710.21 c | 4162024 | 899 60192 195293 | 1 222839 35 | 0.111 % | 710.21/710.21 c | 4163940 | 899 60192 195293 | 1 224755 35 | 0.111 % | 710.21/710.21 c | 4170457 | 899 60192 195293 | 1 231272 35 | 0.111 % | 710.21/710.21 c | 4170687 | 899 60192 195293 | 1 231502 35 | 0.111 % | 710.21/710.21 c | 4171321 | 899 60192 195293 | 1 232136 35 | 0.111 % | 710.21/710.21 c | 4172768 | 899 60192 195293 | 1 233583 35 | 0.111 % | 710.21/710.21 c | 4178815 | 899 60192 195293 | 1 239630 36 | 0.111 % | 710.21/710.21 c | 4187999 | 899 60192 195293 | 1 248814 36 | 0.111 % | 710.21/710.21 c | 4190053 | 899 60192 195293 | 1 250868 37 | 0.111 % | 710.21/710.21 c | 4212675 | 899 60192 195293 | 1 273490 38 | 0.111 % | 710.21/710.21 c | 4212956 | 899 60192 195293 | 1 273771 38 | 0.111 % | 710.21/710.21 c | 4213406 | 899 60192 195293 | 1 274221 38 | 0.111 % | 710.21/710.21 c | 4213593 | 899 60192 195293 | 1 274408 38 | 0.111 % | 710.21/710.21 c | 4217759 | 899 60192 195293 | 1 278574 38 | 0.111 % | 710.21/710.21 c | 4224839 | 899 60192 195293 | 1 285654 38 | 0.111 % | 710.21/710.21 c | 4224939 | 899 60192 195293 | 1 285754 38 | 0.111 % | 710.21/710.21 c | 4225914 | 899 60192 195293 | 1 286729 38 | 0.111 % | 710.21/710.21 c | 4226015 | 899 60192 195293 | 1 286830 38 | 0.111 % | 710.21/710.21 c | 4228099 | 899 60192 195293 | 1 144515 26 | 0.111 % | 710.21/710.21 c | 4230050 | 899 60192 195293 | 1 146466 26 | 0.111 % | 710.21/710.21 c | 4234245 | 899 60192 195293 | 1 150661 27 | 0.111 % | 710.21/710.21 c | 4241509 | 899 60192 195293 | 1 157925 28 | 0.111 % | 710.21/710.21 c | 4266056 | 899 60192 195293 | 1 182472 32 | 0.111 % | 710.21/710.21 c | 4266764 | 899 60192 195293 | 1 183180 32 | 0.111 % | 710.21/710.21 c | 4269966 | 899 60192 195293 | 1 186382 33 | 0.111 % | 710.21/710.21 c | 4271480 | 899 60192 195293 | 1 187896 33 | 0.111 % | 710.21/710.21 c | 4271972 | 899 60192 195293 | 1 188388 33 | 0.111 % | 710.21/710.21 c | 4273795 | 899 60192 195293 | 1 190211 33 | 0.111 % | 710.21/710.21 c | 4278076 | 899 60192 195293 | 1 194492 33 | 0.111 % | 710.21/710.21 c | 4290056 | 899 60192 195293 | 1 206472 34 | 0.111 % | 710.21/710.21 c | 4290562 | 899 60192 195293 | 1 206978 34 | 0.111 % | 710.21/710.21 c | 4291827 | 899 60192 195293 | 1 208243 34 | 0.111 % | 754.90/754.90 c | 4299891 | 899 60192 195293 | 1 216307 35 | 0.111 % | 754.90/754.90 c | 4310638 | 899 60192 195293 | 1 227054 35 | 0.111 % | 754.90/754.90 c | 4321688 | 899 60192 195293 | 1 238104 36 | 0.111 % | 754.90/754.90 c | 4321965 | 899 60192 195293 | 1 238381 36 | 0.111 % | 754.90/754.90 c | 4322728 | 899 60192 195293 | 1 239144 36 | 0.111 % | 754.90/754.90 c | 4322979 | 899 60192 195293 | 1 239395 36 | 0.111 % | 754.90/754.90 c | 4323079 | 899 60192 195293 | 1 239495 36 | 0.111 % | 754.90/754.90 c | 4323310 | 899 60192 195293 | 1 239726 36 | 0.111 % | 754.90/754.90 c | 4329251 | 899 60192 195293 | 1 245667 37 | 0.111 % | 754.90/754.90 c | 4333473 | 899 60192 195293 | 1 249889 37 | 0.111 % | 754.90/754.90 c | 4338338 | 899 60192 195293 | 1 254754 37 | 0.111 % | 754.90/754.90 c | 4340530 | 899 60192 195293 | 1 256946 37 | 0.111 % | 754.90/754.90 c | 4343698 | 899 60192 195293 | 1 260114 37 | 0.111 % | 754.90/754.90 c | 4346272 | 899 60192 195293 | 1 262688 38 | 0.111 % | 754.90/754.90 c | 4363147 | 899 60192 195293 | 1 279563 38 | 0.111 % | 754.90/754.90 c | 4380985 | 899 60192 195293 | 1 150400 26 | 0.111 % | 754.90/754.90 c | 4383692 | 899 60192 195293 | 1 153107 26 | 0.111 % | 754.90/754.90 c | 4386560 | 899 60192 195293 | 1 155975 27 | 0.111 % | 754.90/754.90 c | 4388698 | 899 60192 195293 | 1 158113 27 | 0.111 % | 754.90/754.90 c | 4389110 | 899 60192 195293 | 1 158525 27 | 0.111 % | 754.90/754.90 c | 4389777 | 899 60192 195293 | 1 159192 27 | 0.111 % | 754.90/754.90 c | 4389878 | 899 60192 195293 | 1 159293 28 | 0.111 % | 754.90/754.90 c | 4392665 | 899 60192 195293 | 1 162080 28 | 0.111 % | 754.90/754.90 c | 4394221 | 899 60192 195293 | 1 163636 28 | 0.111 % | 754.90/754.90 c | 4396876 | 899 60192 195293 | 1 166291 29 | 0.111 % | 754.90/754.90 c | 4400452 | 899 60192 195293 | 1 169867 29 | 0.111 % | 754.90/754.90 c | 4408789 | 899 60192 195293 | 1 178204 31 | 0.111 % | 754.90/754.90 c | 4409217 | 899 60192 195293 | 1 178632 31 | 0.111 % | 754.90/754.90 c | 4427765 | 899 60192 195293 | 1 197180 33 | 0.111 % | 754.90/754.90 c | 4438150 | 899 60192 195293 | 1 207565 34 | 0.111 % | 754.90/754.90 c | 4451766 | 899 60192 195293 | 1 221181 34 | 0.111 % | 754.90/754.90 c | 4455642 | 899 60192 195293 | 1 225057 35 | 0.111 % | 754.90/754.90 c | 4463788 | 899 60192 195293 | 1 233203 35 | 0.111 % | 754.90/754.90 c | 4464786 | 899 60192 195293 | 1 234201 35 | 0.111 % | 754.90/754.90 c | 4466455 | 899 60192 195293 | 1 235870 36 | 0.111 % | 754.90/754.90 c | 4466854 | 899 60192 195293 | 1 236269 36 | 0.111 % | 754.90/754.90 c | 4469174 | 899 60192 195293 | 1 238589 36 | 0.111 % | 754.90/754.90 c | 4469276 | 899 60192 195293 | 1 238691 36 | 0.111 % | 754.90/754.90 c | 4471787 | 899 60192 195293 | 1 241202 36 | 0.111 % | 754.90/754.90 c | 4472001 | 899 60192 195293 | 1 241416 36 | 0.111 % | 754.90/754.90 c | 4478587 | 899 60192 195293 | 1 248002 37 | 0.111 % | 754.90/754.90 c | 4479601 | 899 60192 195293 | 1 249016 37 | 0.111 % | 754.90/754.90 c | 4479780 | 899 60192 195293 | 1 249195 37 | 0.111 % | 754.90/754.90 c | 4487954 | 899 60192 195293 | 1 257369 37 | 0.111 % | 754.90/754.90 c | 4488058 | 899 60192 195293 | 1 257473 37 | 0.111 % | 754.90/754.90 c | 4489470 | 899 60192 195293 | 1 258885 37 | 0.111 % | 754.90/754.90 c | 4489580 | 899 60192 195293 | 1 258995 37 | 0.111 % | 754.90/754.90 c | 4490847 | 899 60192 195293 | 1 260262 37 | 0.111 % | 754.90/754.90 c | 4494958 | 899 60192 195293 | 1 264373 38 | 0.111 % | 754.90/754.90 c | 4497890 | 899 60192 195293 | 1 267305 38 | 0.111 % | 786.21/786.25 c | 4498485 | 899 60192 195293 | 1 267900 38 | 0.111 % | 786.21/786.25 c | 4498586 | 899 60192 195293 | 1 268001 38 | 0.111 % | 786.21/786.25 c | 4503153 | 899 60192 195293 | 1 272568 38 | 0.111 % | 786.21/786.25 c | 4517658 | 899 60192 195293 | 1 287073 39 | 0.111 % | 786.21/786.25 c | 4520052 | 899 60192 195293 | 1 289467 39 | 0.111 % | 786.21/786.25 c | 4522967 | 899 60192 195293 | 1 292382 39 | 0.111 % | 786.21/786.25 c | 4524351 | 899 60192 195293 | 1 293766 39 | 0.111 % | 786.21/786.25 c | 4524501 | 899 60192 195293 | 1 293916 39 | 0.111 % | 786.21/786.25 c | 4527031 | 899 60192 195293 | 1 296446 39 | 0.111 % | 786.21/786.25 c | 4529973 | 899 60192 195293 | 1 149793 26 | 0.111 % | 786.21/786.25 c | 4534801 | 899 60192 195293 | 1 154621 27 | 0.111 % | 786.21/786.25 c | 4536941 | 899 60192 195293 | 1 156761 27 | 0.111 % | 786.21/786.25 c | 4537919 | 899 60192 195293 | 1 157739 27 | 0.111 % | 786.21/786.25 c | 4538021 | 899 60192 195293 | 1 157841 27 | 0.111 % | 786.21/786.25 c | 4538862 | 899 60192 195293 | 1 158682 27 | 0.111 % | 786.21/786.25 c | 4544831 | 899 60192 195293 | 1 164651 29 | 0.111 % | 786.21/786.25 c | 4544933 | 899 60192 195293 | 1 164753 29 | 0.111 % | 786.21/786.25 c | 4547363 | 899 60192 195293 | 1 167183 29 | 0.111 % | 786.21/786.25 c | 4547463 | 899 60192 195293 | 1 167283 29 | 0.111 % | 786.21/786.25 c | 4547902 | 899 60192 195293 | 1 167722 29 | 0.111 % | 786.21/786.25 c | 4554020 | 899 60192 195293 | 1 173840 30 | 0.111 % | 786.21/786.25 c | 4554712 | 899 60192 195293 | 1 174532 30 | 0.111 % | 786.21/786.25 c | 4561335 | 899 60192 195293 | 1 181155 31 | 0.111 % | 786.21/786.25 c | 4565261 | 899 60192 195293 | 1 185081 31 | 0.111 % | 786.21/786.25 c | 4566570 | 899 60192 195293 | 1 186390 31 | 0.111 % | 786.21/786.25 c | 4583399 | 899 60192 195293 | 1 203219 33 | 0.111 % | 786.21/786.25 c | 4583767 | 899 60192 195293 | 1 203587 33 | 0.111 % | 786.21/786.25 c | 4583870 | 899 60192 195293 | 1 203690 33 | 0.111 % | 786.21/786.25 c | 4586291 | 899 60192 195293 | 1 206111 33 | 0.111 % | 786.21/786.25 c | 4587835 | 899 60192 195293 | 1 207655 33 | 0.111 % | 786.21/786.25 c | 4592299 | 899 60192 195293 | 1 212119 34 | 0.111 % | 786.21/786.25 c | 4592504 | 899 60192 195293 | 1 212324 34 | 0.111 % | 786.21/786.25 c | 4603302 | 899 60192 195293 | 1 223122 35 | 0.111 % | 786.21/786.25 c | 4605859 | 899 60192 195293 | 1 225679 36 | 0.111 % | 786.21/786.25 c | 4606103 | 899 60192 195293 | 1 225923 36 | 0.111 % | 786.21/786.25 c | 4610575 | 899 60192 195293 | 1 230395 36 | 0.111 % | 786.21/786.25 c | 4617372 | 899 60192 195293 | 1 237192 37 | 0.111 % | 786.21/786.25 c | 4621151 | 899 60192 195293 | 1 240971 37 | 0.111 % | 786.21/786.25 c | 4621252 | 899 60192 195293 | 1 241072 37 | 0.111 % | 786.21/786.25 c | 4621912 | 899 60192 195293 | 1 241732 37 | 0.111 % | 786.21/786.25 c | 4622239 | 899 60192 195293 | 1 242059 37 | 0.111 % | 786.21/786.25 c | 4626739 | 899 60192 195293 | 1 246559 37 | 0.111 % | 786.21/786.25 c | 4631814 | 899 60192 195293 | 1 251634 37 | 0.111 % | 786.21/786.25 c | 4632248 | 899 60192 195293 | 1 252068 38 | 0.111 % | 786.21/786.25 c | 4633031 | 899 60192 195293 | 1 252851 38 | 0.111 % | 786.21/786.25 c | 4634380 | 899 60192 195293 | 1 254200 38 | 0.111 % | 786.21/786.25 c | 4640801 | 899 60192 195293 | 1 260621 38 | 0.111 % | 786.21/786.25 c | 4643843 | 899 60192 195293 | 1 263663 38 | 0.111 % | 786.21/786.25 c | 4645140 | 899 60192 195293 | 1 264960 38 | 0.111 % | 786.21/786.25 c | 4646519 | 899 60192 195293 | 1 266339 39 | 0.111 % | 833.51/833.50 c | 4646856 | 899 60192 195293 | 1 266676 39 | 0.111 % | 833.51/833.50 c | 4646991 | 899 60192 195293 | 1 266811 39 | 0.111 % | 833.51/833.50 c | 4650694 | 899 60192 195293 | 1 270514 39 | 0.111 % | 833.51/833.50 c | 4650794 | 899 60192 195293 | 1 270614 39 | 0.111 % | 833.51/833.50 c | 4656420 | 899 60192 195293 | 1 276240 39 | 0.111 % | 833.51/833.50 c | 4664028 | 899 60192 195293 | 1 283848 39 | 0.111 % | 833.51/833.50 c | 4664578 | 899 60192 195293 | 1 284398 39 | 0.111 % | 833.51/833.50 c | 4665994 | 899 60192 195293 | 1 285814 39 | 0.111 % | 833.51/833.50 c | 4673246 | 899 60192 195293 | 1 293066 40 | 0.111 % | 833.51/833.50 c | 4673451 | 899 60192 195293 | 1 293271 40 | 0.111 % | 833.51/833.50 c | 4673552 | 899 60192 195293 | 1 293372 40 | 0.111 % | 833.51/833.50 c | 4673653 | 899 60192 195293 | 1 293473 40 | 0.111 % | 833.51/833.50 c | 4673753 | 899 60192 195293 | 1 293573 40 | 0.111 % | 833.51/833.50 c | 4677938 | 899 60192 195293 | 1 297758 40 | 0.111 % | 833.51/833.50 c | 4683959 | 899 60192 195293 | 1 303779 40 | 0.111 % | 833.51/833.50 c | 4686002 | 899 60192 195293 | 1 153622 26 | 0.111 % | 833.51/833.50 c | 4688327 | 899 60192 195293 | 1 155947 27 | 0.111 % | 833.51/833.50 c | 4689811 | 899 60192 195293 | 1 157431 27 | 0.111 % | 833.51/833.50 c | 4706095 | 899 60192 195293 | 1 173715 29 | 0.111 % | 833.51/833.50 c | 4706893 | 899 60192 195293 | 1 174513 29 | 0.111 % | 833.51/833.50 c | 4711915 | 899 60192 195293 | 1 179535 30 | 0.111 % | 833.51/833.50 c | 4720139 | 899 60192 195293 | 1 187759 31 | 0.111 % | 833.51/833.50 c | 4725082 | 899 60192 195293 | 1 192702 31 | 0.111 % | 833.51/833.50 c | 4737535 | 899 60192 195293 | 1 205155 32 | 0.111 % | 833.51/833.50 c | 4743117 | 899 60192 195293 | 1 210737 33 | 0.111 % | 833.51/833.50 c | 4743833 | 899 60192 195293 | 1 211453 33 | 0.111 % | 833.51/833.50 c | 4790517 | 899 60192 195293 | 1 258137 35 | 0.111 % | 833.51/833.50 c | 4798624 | 899 60192 195293 | 1 266244 36 | 0.111 % | 833.51/833.50 c | 4806436 | 899 60192 195293 | 1 274056 36 | 0.111 % | 833.51/833.50 c | 4806940 | 899 60192 195293 | 1 274560 36 | 0.111 % | 833.51/833.50 c | 4810773 | 899 60192 195293 | 1 278393 36 | 0.111 % | 833.51/833.50 c | 4810947 | 899 60192 195293 | 1 278567 36 | 0.111 % | 833.51/833.50 c | 4811047 | 899 60192 195293 | 1 278667 36 | 0.111 % | 833.51/833.50 c | 4814789 | 899 60192 195293 | 1 282409 37 | 0.111 % | 833.51/833.50 c | 4815801 | 899 60192 195293 | 1 283421 37 | 0.111 % | 833.51/833.50 c | 4820568 | 899 60192 195293 | 1 288188 37 | 0.111 % | 833.51/833.50 c | 4821287 | 899 60192 195293 | 1 288907 37 | 0.111 % | 833.51/833.50 c | 4827758 | 899 60192 195293 | 1 295378 37 | 0.111 % | 833.51/833.50 c | 4832750 | 899 60192 195293 | 1 300370 38 | 0.111 % | 833.51/833.50 c | 4834734 | 899 60192 195293 | 1 302354 38 | 0.111 % | 833.51/833.50 c | 4836850 | 899 60192 195293 | 1 304470 38 | 0.111 % | 833.51/833.50 c | 4837271 | 899 60192 195293 | 1 304891 38 | 0.111 % | 833.51/833.50 c | 4838615 | 899 60192 195293 | 1 306235 38 | 0.111 % | 833.51/833.50 c | 4838719 | 899 60192 195293 | 1 306339 38 | 0.111 % | 833.51/833.50 c | 4838820 | 899 60192 195293 | 1 306440 38 | 0.111 % | 833.51/833.50 c | 4838923 | 899 60192 195293 | 1 306543 38 | 0.111 % | 833.51/833.50 c | 4839087 | 899 60192 195293 | 1 306707 38 | 0.111 % | 833.51/833.50 c | 4842889 | 899 60192 195293 | 1 155708 25 | 0.111 % | 833.51/833.50 c | 4852055 | 899 60192 195293 | 1 164874 27 | 0.111 % | 833.51/833.50 c | 4854078 | 899 60192 195293 | 1 166897 27 | 0.111 % | 872.71/872.79 c | 4854550 | 899 60192 195293 | 1 167369 28 | 0.111 % | 872.71/872.79 c | 4855020 | 899 60192 195293 | 1 167839 28 | 0.111 % | 872.71/872.79 c | 4855121 | 899 60192 195293 | 1 167940 28 | 0.111 % | 872.71/872.79 c | 4856134 | 899 60192 195293 | 1 168953 28 | 0.111 % | 872.71/872.79 c | 4859788 | 899 60192 195293 | 1 172607 29 | 0.111 % | 872.71/872.79 c | 4859888 | 899 60192 195293 | 1 172707 29 | 0.111 % | 872.71/872.79 c | 4861233 | 899 60192 195293 | 1 174052 29 | 0.111 % | 872.71/872.79 c | 4861342 | 899 60192 195293 | 1 174161 29 | 0.111 % | 872.71/872.79 c | 4874151 | 899 60192 195293 | 1 186970 31 | 0.111 % | 872.71/872.79 c | 4887985 | 899 60192 195293 | 1 200804 32 | 0.111 % | 872.71/872.79 c | 4888085 | 899 60192 195293 | 1 200904 32 | 0.111 % | 872.71/872.79 c | 4891487 | 899 60192 195293 | 1 204306 32 | 0.111 % | 872.71/872.79 c | 4893466 | 899 60192 195293 | 1 206285 33 | 0.111 % | 872.71/872.79 c | 4893566 | 899 60192 195293 | 1 206385 33 | 0.111 % | 872.71/872.79 c | 4893667 | 899 60192 195293 | 1 206486 33 | 0.111 % | 872.71/872.79 c | 4894265 | 899 60192 195293 | 1 207084 33 | 0.111 % | 872.71/872.79 c | 4898501 | 899 60192 195293 | 1 211320 33 | 0.111 % | 872.71/872.79 c | 4898653 | 899 60192 195293 | 1 211472 33 | 0.111 % | 872.71/872.79 c | 4922861 | 899 60192 195293 | 1 235680 35 | 0.111 % | 872.71/872.79 c | 4929739 | 899 60192 195293 | 1 242558 35 | 0.111 % | 872.71/872.79 c | 4935263 | 899 60192 195293 | 1 248082 36 | 0.111 % | 872.71/872.79 c | 4935363 | 899 60192 195293 | 1 248182 36 | 0.111 % | 872.71/872.79 c | 4938979 | 899 60192 195293 | 1 251798 36 | 0.111 % | 872.71/872.79 c | 4958799 | 899 60192 195293 | 1 271618 37 | 0.111 % | 872.71/872.79 c | 4967221 | 899 60192 195293 | 1 280040 38 | 0.111 % | 872.71/872.79 c | 4967322 | 899 60192 195293 | 1 280141 38 | 0.111 % | 872.71/872.79 c | 4967424 | 899 60192 195293 | 1 280243 38 | 0.111 % | 872.71/872.79 c | 4979292 | 899 60192 195293 | 1 292111 38 | 0.111 % | 872.71/872.79 c | 4980543 | 899 60192 195293 | 1 293362 38 | 0.111 % | 872.71/872.79 c | 4984531 | 899 60192 195293 | 1 297350 38 | 0.111 % | 872.71/872.79 c | 4986663 | 899 60192 195293 | 1 299482 38 | 0.111 % | 872.71/872.79 c | 4988221 | 899 60192 195293 | 1 301040 38 | 0.111 % | 872.71/872.79 c | 4988489 | 899 60192 195293 | 1 301308 38 | 0.111 % | 872.71/872.79 c | 4991049 | 899 60192 195293 | 1 303868 39 | 0.111 % | 872.71/872.79 c | 4998018 | 899 60192 195293 | 1 310837 39 | 0.111 % | 872.71/872.79 c | 5000482 | 899 60192 195293 | 1 313301 39 | 0.111 % | 872.71/872.79 c | 5000588 | 899 60192 195293 | 1 313407 39 | 0.111 % | 872.71/872.79 c | 5002384 | 899 60192 195293 | 1 157803 25 | 0.111 % | 872.71/872.79 c | 5004032 | 899 60192 195293 | 1 159451 26 | 0.111 % | 872.71/872.79 c | 5005483 | 899 60192 195293 | 1 160902 26 | 0.111 % | 872.71/872.79 c | 5006436 | 899 60192 195293 | 1 161855 26 | 0.111 % | 872.71/872.79 c | 5007557 | 899 60192 195293 | 1 162976 26 | 0.111 % | 872.71/872.79 c | 5014484 | 899 60192 195293 | 1 169903 28 | 0.111 % | 872.71/872.79 c | 5017453 | 899 60192 195293 | 1 172872 28 | 0.111 % | 872.71/872.79 c | 5017675 | 899 60192 195293 | 1 173094 28 | 0.111 % | 872.71/872.79 c | 5018487 | 899 60192 195293 | 1 173906 28 | 0.111 % | 872.71/872.79 c | 5019499 | 899 60192 195293 | 1 174918 29 | 0.111 % | 872.71/872.79 c | 5019600 | 899 60192 195293 | 1 175019 29 | 0.111 % | 872.71/872.79 c | 5026053 | 899 60192 195293 | 1 181472 29 | 0.111 % | 872.71/872.79 c | 5026345 | 899 60192 195293 | 1 181764 30 | 0.111 % | 900.21/900.20 c | 5028829 | 899 60192 195293 | 1 184248 30 | 0.111 % | 900.21/900.20 c | 5028929 | 899 60192 195293 | 1 184348 30 | 0.111 % | 900.21/900.20 c | 5029170 | 899 60192 195293 | 1 184589 30 | 0.111 % | 900.21/900.20 c | 5030873 | 899 60192 195293 | 1 186292 30 | 0.111 % | 900.21/900.20 c | 5030973 | 899 60192 195293 | 1 186392 30 | 0.111 % | 900.21/900.20 c | 5031652 | 899 60192 195293 | 1 187071 30 | 0.111 % | 900.21/900.20 c | 5037515 | 899 60192 195293 | 1 192934 31 | 0.111 % | 900.21/900.20 c | 5037616 | 899 60192 195293 | 1 193035 31 | 0.111 % | 900.21/900.20 c | 5042079 | 899 60192 195293 | 1 197498 31 | 0.111 % | 900.21/900.20 c | 5043785 | 899 60192 195293 | 1 199204 32 | 0.111 % | 900.21/900.20 c | 5056970 | 899 60192 195293 | 1 212389 33 | 0.111 % | 900.21/900.20 c | 5062974 | 899 60192 195293 | 1 218393 34 | 0.111 % | 900.21/900.20 c | 5064261 | 899 60192 195293 | 1 219680 34 | 0.111 % | 900.21/900.20 c | 5066840 | 899 60192 195293 | 1 222259 34 | 0.111 % | 900.21/900.20 c | 5066943 | 899 60192 195293 | 1 222362 34 | 0.111 % | 900.21/900.20 c | 5070531 | 899 60192 195293 | 1 225950 34 | 0.111 % | 900.21/900.20 c | 5070632 | 899 60192 195293 | 1 226051 34 | 0.111 % | 900.21/900.20 c | 5071845 | 899 60192 195293 | 1 227264 35 | 0.111 % | 900.21/900.20 c | 5076823 | 899 60192 195293 | 1 232242 35 | 0.111 % | 900.21/900.20 c | 5079329 | 899 60192 195293 | 1 234748 35 | 0.111 % | 900.21/900.20 c | 5079430 | 899 60192 195293 | 1 234849 35 | 0.111 % | 900.21/900.20 c | 5083341 | 899 60192 195293 | 1 238760 35 | 0.111 % | 900.21/900.20 c | 5084391 | 899 60192 195293 | 1 239810 35 | 0.111 % | 900.21/900.20 c | 5084508 | 899 60192 195293 | 1 239927 35 | 0.111 % | 900.21/900.20 c | 5084608 | 899 60192 195293 | 1 240027 35 | 0.111 % | 900.21/900.20 c | 5085916 | 899 60192 195293 | 1 241335 36 | 0.111 % | 900.21/900.20 c | 5086455 | 899 60192 195293 | 1 241874 36 | 0.111 % | 900.21/900.20 c | 5088042 | 899 60192 195293 | 1 243461 36 | 0.111 % | 900.21/900.20 c | 5089809 | 899 60192 195293 | 1 245228 36 | 0.111 % | 900.21/900.20 c | 5089910 | 899 60192 195293 | 1 245329 36 | 0.111 % | 900.21/900.20 c | 5090188 | 899 60192 195293 | 1 245607 36 | 0.111 % | 900.21/900.20 c | 5105216 | 899 60192 195293 | 1 260635 37 | 0.111 % | 900.21/900.20 c | 5108245 | 899 60192 195293 | 1 263664 37 | 0.111 % | 900.21/900.20 c | 5108350 | 899 60192 195293 | 1 263769 37 | 0.111 % | 900.21/900.20 c | 5119215 | 899 60192 195293 | 1 274634 38 | 0.111 % | 900.21/900.20 c | 5119315 | 899 60192 195293 | 1 274734 38 | 0.111 % | 900.21/900.20 c | 5121047 | 899 60192 195293 | 1 276466 38 | 0.111 % | 900.21/900.20 c | 5125636 | 899 60192 195293 | 1 281055 39 | 0.111 % | 900.21/900.20 c | 5129286 | 899 60192 195293 | 1 284705 39 | 0.111 % | 900.21/900.20 c | 5129386 | 899 60192 195293 | 1 284805 39 | 0.111 % | 900.21/900.20 c | 5129503 | 899 60192 195293 | 1 284922 39 | 0.111 % | 900.21/900.20 c | 5138292 | 899 60192 195293 | 1 293711 39 | 0.111 % | 900.21/900.20 c | 5139331 | 899 60192 195293 | 1 294750 39 | 0.111 % | 900.21/900.20 c | 5140991 | 899 60192 195293 | 1 296410 39 | 0.111 % | 900.21/900.20 c | 5144563 | 899 60192 195293 | 1 299982 39 | 0.111 % | 900.21/900.20 c | 5145504 | 899 60192 195293 | 1 300923 39 | 0.111 % | 900.21/900.20 c | 5145866 | 899 60192 195293 | 1 301285 39 | 0.111 % | 900.21/900.20 c | 5145967 | 899 60192 195293 | 1 301386 39 | 0.111 % | 900.21/900.20 c | 5146874 | 899 60192 195293 | 1 302293 39 | 0.111 % | 900.21/900.20 c | 5148431 | 899 60192 195293 | 1 303850 40 | 0.111 % | 937.91/937.98 c | 5158195 | 899 60192 195293 | 1 313614 40 | 0.111 % | 937.91/937.98 c | 5158841 | 899 60192 195293 | 1 314260 40 | 0.111 % | 937.91/937.98 c | 5158942 | 899 60192 195293 | 1 314361 40 | 0.111 % | 937.91/937.98 c | 5159475 | 899 60192 195293 | 1 314894 40 | 0.111 % | 937.91/937.98 c | 5159826 | 899 60192 195293 | 1 315245 40 | 0.111 % | 937.91/937.98 c | 5159926 | 899 60192 195293 | 1 315345 40 | 0.111 % | 937.91/937.98 c | 5160344 | 899 60192 195293 | 1 315763 40 | 0.111 % | 937.91/937.98 c | 5163692 | 899 60192 195293 | 1 319111 40 | 0.111 % | 937.91/937.98 c | 5198199 | 899 60192 195293 | 1 193617 31 | 0.111 % | 937.91/937.98 c | 5198565 | 899 60192 195293 | 1 193983 31 | 0.111 % | 937.91/937.98 c | 5211898 | 899 60192 195293 | 1 207316 32 | 0.111 % | 937.91/937.98 c | 5211999 | 899 60192 195293 | 1 207417 32 | 0.111 % | 937.91/937.98 c | 5216317 | 899 60192 195293 | 1 211735 32 | 0.111 % | 937.91/937.98 c | 5221333 | 899 60192 195293 | 1 216751 33 | 0.111 % | 937.91/937.98 c | 5221433 | 899 60192 195293 | 1 216851 33 | 0.111 % | 937.91/937.98 c | 5224460 | 899 60192 195293 | 1 219878 33 | 0.111 % | 937.91/937.98 c | 5230528 | 899 60192 195293 | 1 225946 33 | 0.111 % | 937.91/937.98 c | 5234431 | 899 60192 195293 | 1 229849 34 | 0.111 % | 937.91/937.98 c | 5236157 | 899 60192 195293 | 1 231575 34 | 0.111 % | 937.91/937.98 c | 5237037 | 899 60192 195293 | 1 232455 34 | 0.111 % | 937.91/937.98 c | 5241968 | 899 60192 195293 | 1 237386 34 | 0.111 % | 937.91/937.98 c | 5242901 | 899 60192 195293 | 1 238319 34 | 0.111 % | 937.91/937.98 c | 5243290 | 899 60192 195293 | 1 238708 34 | 0.111 % | 937.91/937.98 c | 5248944 | 899 60192 195293 | 1 244362 35 | 0.111 % | 937.91/937.98 c | 5249228 | 899 60192 195293 | 1 244646 35 | 0.111 % | 937.91/937.98 c | 5255851 | 899 60192 195293 | 1 251269 35 | 0.111 % | 937.91/937.98 c | 5256071 | 899 60192 195293 | 1 251489 35 | 0.111 % | 937.91/937.98 c | 5256171 | 899 60192 195293 | 1 251589 35 | 0.111 % | 937.91/937.98 c | 5256868 | 899 60192 195293 | 1 252286 35 | 0.111 % | 937.91/937.98 c | 5256968 | 899 60192 195293 | 1 252386 35 | 0.111 % | 937.91/937.98 c | 5257465 | 899 60192 195293 | 1 252883 35 | 0.111 % | 937.91/937.98 c | 5258055 | 899 60192 195293 | 1 253473 35 | 0.111 % | 937.91/937.98 c | 5260906 | 899 60192 195293 | 1 256324 35 | 0.111 % | 937.91/937.98 c | 5261147 | 899 60192 195293 | 1 256565 36 | 0.111 % | 937.91/937.98 c | 5263405 | 899 60192 195293 | 1 258823 36 | 0.111 % | 937.91/937.98 c | 5267786 | 899 60192 195293 | 1 263204 36 | 0.111 % | 937.91/937.98 c | 5268411 | 899 60192 195293 | 1 263829 36 | 0.111 % | 937.91/937.98 c | 5273808 | 899 60192 195293 | 1 269226 36 | 0.111 % | 937.91/937.98 c | 5276255 | 899 60192 195293 | 1 271673 36 | 0.111 % | 937.91/937.98 c | 5276997 | 899 60192 195293 | 1 272415 37 | 0.111 % | 937.91/937.98 c | 5277097 | 899 60192 195293 | 1 272515 37 | 0.111 % | 937.91/937.98 c | 5277304 | 899 60192 195293 | 1 272722 37 | 0.111 % | 937.91/937.98 c | 5280899 | 899 60192 195293 | 1 276317 37 | 0.111 % | 937.91/937.98 c | 5281037 | 899 60192 195293 | 1 276455 37 | 0.111 % | 937.91/937.98 c | 5284422 | 899 60192 195293 | 1 279840 37 | 0.111 % | 937.91/937.98 c | 5296315 | 899 60192 195293 | 1 291733 38 | 0.111 % | 937.91/937.98 c | 5301374 | 899 60192 195293 | 1 296792 38 | 0.111 % | 937.91/937.98 c | 5301696 | 899 60192 195293 | 1 297114 38 | 0.111 % | 937.91/937.98 c | 5302989 | 899 60192 195293 | 1 298407 38 | 0.111 % | 937.91/937.98 c | 5309591 | 899 60192 195293 | 1 305009 39 | 0.111 % | 965.61/965.69 c | 5309698 | 899 60192 195293 | 1 305116 39 | 0.111 % | 965.61/965.69 c | 5312699 | 899 60192 195293 | 1 308117 39 | 0.111 % | 965.61/965.69 c | 5314451 | 899 60192 195293 | 1 309869 39 | 0.111 % | 965.61/965.69 c | 5325959 | 899 60192 195293 | 1 321377 40 | 0.111 % | 965.61/965.69 c | 5327007 | 899 60192 195293 | 1 322425 40 | 0.111 % | 965.61/965.69 c | 5327107 | 899 60192 195293 | 1 322525 40 | 0.111 % | 965.61/965.69 c | 5329379 | 899 60192 195293 | 1 324797 40 | 0.111 % | 965.61/965.69 c | 5329481 | 899 60192 195293 | 1 324899 40 | 0.111 % | 965.61/965.69 c | 5332647 | 899 60192 195293 | 1 165461 26 | 0.111 % | 965.61/965.69 c | 5333053 | 899 60192 195293 | 1 165867 26 | 0.111 % | 965.61/965.69 c | 5333923 | 899 60192 195293 | 1 166737 26 | 0.111 % | 965.61/965.69 c | 5338446 | 899 60192 195293 | 1 171260 27 | 0.111 % | 965.61/965.69 c | 5338546 | 899 60192 195293 | 1 171360 27 | 0.111 % | 965.61/965.69 c | 5342128 | 899 60192 195293 | 1 174942 27 | 0.111 % | 965.61/965.69 c | 5342252 | 899 60192 195293 | 1 175066 27 | 0.111 % | 965.61/965.69 c | 5355631 | 899 60192 195293 | 1 188445 29 | 0.111 % | 965.61/965.69 c | 5355732 | 899 60192 195293 | 1 188546 29 | 0.111 % | 965.61/965.69 c | 5356168 | 899 60192 195293 | 1 188982 29 | 0.111 % | 965.61/965.69 c | 5356268 | 899 60192 195293 | 1 189082 29 | 0.111 % | 965.61/965.69 c | 5356399 | 899 60192 195293 | 1 189213 29 | 0.111 % | 965.61/965.69 c | 5357701 | 899 60192 195293 | 1 190515 29 | 0.111 % | 965.61/965.69 c | 5358795 | 899 60192 195293 | 1 191609 29 | 0.111 % | 965.61/965.69 c | 5358901 | 899 60192 195293 | 1 191715 29 | 0.111 % | 965.61/965.69 c | 5360449 | 899 60192 195293 | 1 193263 29 | 0.111 % | 965.61/965.69 c | 5363741 | 899 60192 195293 | 1 196555 30 | 0.111 % | 965.61/965.69 c | 5363994 | 899 60192 195293 | 1 196808 30 | 0.111 % | 965.61/965.69 c | 5364808 | 899 60192 195293 | 1 197622 30 | 0.111 % | 965.61/965.69 c | 5373799 | 899 60192 195293 | 1 206613 31 | 0.111 % | 965.61/965.69 c | 5385012 | 899 60192 195293 | 1 217826 32 | 0.111 % | 965.61/965.69 c | 5385112 | 899 60192 195293 | 1 217926 32 | 0.111 % | 965.61/965.69 c | 5387610 | 899 60192 195293 | 1 220424 32 | 0.111 % | 965.61/965.69 c | 5387851 | 899 60192 195293 | 1 220665 32 | 0.111 % | 965.61/965.69 c | 5391289 | 899 60192 195293 | 1 224103 33 | 0.111 % | 965.61/965.69 c | 5391389 | 899 60192 195293 | 1 224203 33 | 0.111 % | 965.61/965.69 c | 5391489 | 899 60192 195293 | 1 224303 33 | 0.111 % | 965.61/965.69 c | 5393761 | 899 60192 195293 | 1 226575 33 | 0.111 % | 965.61/965.69 c | 5393862 | 899 60192 195293 | 1 226676 33 | 0.111 % | 965.61/965.69 c | 5393968 | 899 60192 195293 | 1 226782 33 | 0.111 % | 965.61/965.69 c | 5399151 | 899 60192 195293 | 1 231965 34 | 0.111 % | 965.61/965.69 c | 5399665 | 899 60192 195293 | 1 232479 34 | 0.111 % | 965.61/965.69 c | 5410281 | 899 60192 195293 | 1 243095 35 | 0.111 % | 965.61/965.69 c | 5410381 | 899 60192 195293 | 1 243195 35 | 0.111 % | 965.61/965.69 c | 5413142 | 899 60192 195293 | 1 245956 35 | 0.111 % | 965.61/965.69 c | 5413242 | 899 60192 195293 | 1 246056 35 | 0.111 % | 965.61/965.69 c | 5413563 | 899 60192 195293 | 1 246377 35 | 0.111 % | 965.61/965.69 c | 5414308 | 899 60192 195293 | 1 247122 35 | 0.111 % | 965.61/965.69 c | 5417867 | 899 60192 195293 | 1 250681 35 | 0.111 % | 965.61/965.69 c | 5425356 | 899 60192 195293 | 1 258170 35 | 0.111 % | 965.61/965.69 c | 5428561 | 899 60192 195293 | 1 261375 35 | 0.111 % | 965.61/965.69 c | 5429204 | 899 60192 195293 | 1 262018 35 | 0.111 % | 998.61/998.66 c | 5432182 | 899 60192 195293 | 1 264996 35 | 0.111 % | 998.61/998.66 c | 5433106 | 899 60192 195293 | 1 265920 35 | 0.111 % | 998.61/998.66 c | 5439314 | 899 60192 195293 | 1 272128 36 | 0.111 % | 998.61/998.66 c | 5443257 | 899 60192 195293 | 1 276071 36 | 0.111 % | 998.61/998.66 c | 5444541 | 899 60192 195293 | 1 277355 36 | 0.111 % | 998.61/998.66 c | 5444946 | 899 60192 195293 | 1 277760 36 | 0.111 % | 998.61/998.66 c | 5449836 | 899 60192 195293 | 1 282650 36 | 0.111 % | 998.61/998.66 c | 5452084 | 899 60192 195293 | 1 284898 37 | 0.111 % | 998.61/998.66 c | 5452232 | 899 60192 195293 | 1 285046 37 | 0.111 % | 998.61/998.66 c | 5466843 | 899 60192 195293 | 1 299657 37 | 0.111 % | 998.61/998.66 c | 5473542 | 899 60192 195293 | 1 306356 37 | 0.111 % | 998.61/998.66 c | 5475034 | 899 60192 195293 | 1 307848 38 | 0.111 % | 998.61/998.67 c | 5475446 | 899 60192 195293 | 1 308260 38 | 0.111 % | 998.61/998.67 c | 5475927 | 899 60192 195293 | 1 308741 38 | 0.111 % | 998.61/998.67 c | 5476027 | 899 60192 195293 | 1 308841 38 | 0.111 % | 998.61/998.67 c | 5476496 | 899 60192 195293 | 1 309310 38 | 0.111 % | 998.61/998.67 c | 5482732 | 899 60192 195293 | 1 315546 38 | 0.111 % | 998.61/998.67 c | 5482832 | 899 60192 195293 | 1 315646 38 | 0.111 % | 998.61/998.67 c | 5482932 | 899 60192 195293 | 1 315746 38 | 0.111 % | 998.61/998.67 c | 5483032 | 899 60192 195293 | 1 315846 38 | 0.111 % | 998.61/998.67 c | 5483342 | 899 60192 195293 | 1 316156 38 | 0.111 % | 998.61/998.67 c | 5486908 | 899 60192 195293 | 1 319722 38 | 0.111 % | 998.61/998.67 c | 5487745 | 899 60192 195293 | 1 320559 38 | 0.111 % | 998.61/998.67 c | 5495690 | 899 60192 195293 | 1 328504 38 | 0.111 % | 998.61/998.67 c | 5496483 | 899 60192 195293 | 1 329297 38 | 0.111 % | 998.61/998.67 c | 5498266 | 899 60192 195293 | 1 165881 25 | 0.111 % | 998.61/998.67 c | 5499159 | 899 60192 195293 | 1 166774 25 | 0.111 % | 998.61/998.67 c | 5499888 | 899 60192 195293 | 1 167503 25 | 0.111 % | 998.61/998.67 c | 5505584 | 899 60192 195293 | 1 173199 26 | 0.111 % | 998.61/998.67 c | 5511699 | 899 60192 195293 | 1 179314 27 | 0.111 % | 998.61/998.67 c | 5512187 | 899 60192 195293 | 1 179802 27 | 0.111 % | 998.61/998.67 c | 5517607 | 899 60192 195293 | 1 185222 28 | 0.111 % | 998.61/998.67 c | 5518972 | 899 60192 195293 | 1 186587 28 | 0.111 % | 998.61/998.67 c | 5519074 | 899 60192 195293 | 1 186689 28 | 0.111 % | 998.61/998.67 c | 5527388 | 899 60192 195293 | 1 195003 29 | 0.111 % | 998.61/998.67 c | 5527489 | 899 60192 195293 | 1 195104 29 | 0.111 % | 998.61/998.67 c | 5527753 | 899 60192 195293 | 1 195368 29 | 0.111 % | 998.61/998.67 c | 5527855 | 899 60192 195293 | 1 195470 29 | 0.111 % | 998.61/998.67 c | 5527975 | 899 60192 195293 | 1 195590 29 | 0.111 % | 998.61/998.67 c | 5529816 | 899 60192 195293 | 1 197431 29 | 0.111 % | 998.61/998.67 c | 5532789 | 899 60192 195293 | 1 200404 30 | 0.111 % | 998.61/998.67 c | 5539063 | 899 60192 195293 | 1 206678 30 | 0.111 % | 998.61/998.67 c | 5546998 | 899 60192 195293 | 1 214613 31 | 0.111 % | 998.61/998.67 c | 5547946 | 899 60192 195293 | 1 215561 31 | 0.111 % | 998.61/998.67 c | 5555647 | 899 60192 195293 | 1 223262 32 | 0.111 % | 998.61/998.67 c | 5563631 | 899 60192 195293 | 1 231246 33 | 0.111 % | 998.61/998.67 c | 5564438 | 899 60192 195293 | 1 232053 33 | 0.111 % | 998.61/998.67 c | 5564539 | 899 60192 195293 | 1 232154 33 | 0.111 % | 998.61/998.67 c | 5564639 | 899 60192 195293 | 1 232254 33 | 0.111 % | 998.61/998.67 c | 5564741 | 899 60192 195293 | 1 232356 33 | 0.111 % | 1017.31/1017.30 c | 5564843 | 899 60192 195293 | 1 232458 33 | 0.111 % | 1017.31/1017.30 c | 5564945 | 899 60192 195293 | 1 232560 33 | 0.111 % | 1017.31/1017.30 c | 5578277 | 899 60192 195293 | 1 245892 33 | 0.111 % | 1017.31/1017.30 c | 5580998 | 899 60192 195293 | 1 248613 33 | 0.111 % | 1017.31/1017.30 c | 5581604 | 899 60192 195293 | 1 249219 34 | 0.111 % | 1017.31/1017.30 c | 5593471 | 899 60192 195293 | 1 261086 35 | 0.111 % | 1017.31/1017.30 c | 5598013 | 899 60192 195293 | 1 265628 35 | 0.111 % | 1017.31/1017.30 c | 5598276 | 899 60192 195293 | 1 265891 35 | 0.111 % | 1017.31/1017.30 c | 5606822 | 899 60192 195293 | 1 274437 35 | 0.111 % | 1017.31/1017.30 c | 5606923 | 899 60192 195293 | 1 274538 35 | 0.111 % | 1017.31/1017.30 c | 5608387 | 899 60192 195293 | 1 276002 35 | 0.111 % | 1017.31/1017.30 c | 5608488 | 899 60192 195293 | 1 276103 35 | 0.111 % | 1017.31/1017.30 c | 5608772 | 899 60192 195293 | 1 276387 35 | 0.111 % | 1017.31/1017.30 c | 5611644 | 899 60192 195293 | 1 279259 36 | 0.111 % | 1017.31/1017.30 c | 5616251 | 899 60192 195293 | 1 283866 36 | 0.111 % | 1017.31/1017.30 c | 5617141 | 899 60192 195293 | 1 284756 36 | 0.111 % | 1017.31/1017.30 c | 5617406 | 899 60192 195293 | 1 285021 36 | 0.111 % | 1017.31/1017.30 c | 5618087 | 899 60192 195293 | 1 285702 36 | 0.111 % | 1017.31/1017.30 c | 5623832 | 899 60192 195293 | 1 291447 36 | 0.111 % | 1017.31/1017.30 c | 5624486 | 899 60192 195293 | 1 292101 36 | 0.111 % | 1017.31/1017.30 c | 5624635 | 899 60192 195293 | 1 292250 36 | 0.111 % | 1017.31/1017.30 c | 5634102 | 899 60192 195293 | 1 301717 37 | 0.111 % | 1017.31/1017.30 c | 5636122 | 899 60192 195293 | 1 303737 37 | 0.111 % | 1017.31/1017.30 c | 5637883 | 899 60192 195293 | 1 305498 37 | 0.111 % | 1017.31/1017.30 c | 5639538 | 899 60192 195293 | 1 307153 37 | 0.111 % | 1017.31/1017.30 c =============================================================================== 1017.31/1017.30 c restarts : 1063 1017.31/1017.30 c nb ReduceDB : 64 1017.31/1017.30 c nb removed Clauses : 5247424 1017.31/1017.30 c nb learnts DL2 : 336 1017.31/1017.30 c nb learnts size 2 : 44 1017.31/1017.30 c nb learnts size 1 : 1 1017.31/1017.30 c conflicts : 5639538 (5547 /sec) 1017.31/1017.30 c decisions : 6819491 (0.00 % random) (6708 /sec) 1017.31/1017.30 c propagations : 487644406 (479662 /sec) 1017.31/1017.30 c conflict literals : 294560759 (57.91 % deleted) 1017.31/1017.30 c nb reduced Clauses : 96645 1017.31/1017.30 c CPU time : 1016.64 s 1017.31/1017.30 1017.31/1017.31 s SATISFIABLE 1017.31/1017.31 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 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 818 -819 820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 898 -899 -900 -901 -902 -903 -904 905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 936 -937 -938 -939 -940 -941 -942 -943 -944 -945 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-3303337-1303899330/watcher-3303337-1303899330 -o /tmp/evaluation-result-3303337-1303899330/solver-3303337-1303899330 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303337-1303899330.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 2/178 21088 /proc/meminfo: memFree=25849768/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 482348949 8912896 252 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21088/statm: 2176 252 211 178 0 69 0 [startup+0.078715 s] /proc/loadavg: 0.00 0.00 0.00 2/178 21088 /proc/meminfo: memFree=25849768/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 482348949 8912896 252 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21088/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100704 s] /proc/loadavg: 0.00 0.00 0.00 2/178 21088 /proc/meminfo: memFree=25849768/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 482348949 8912896 252 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21088/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300657 s] /proc/loadavg: 0.00 0.00 0.00 2/178 21088 /proc/meminfo: memFree=25849768/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 8704 [startup+0.700598 s] /proc/loadavg: 0.00 0.00 0.00 2/178 21088 /proc/meminfo: memFree=25849768/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 8704 [startup+1.50045 s] /proc/loadavg: 0.00 0.00 0.00 2/174 21111 /proc/meminfo: memFree=25853884/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=24192 CPUtime=1.34 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 6049 0 0 0 134 0 0 0 25 0 1 0 482348964 24772608 2873 33554432000 4194304 4260849 140734338816304 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21094/statm: 6048 2873 251 17 0 2689 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 32896 [startup+3.10015 s] /proc/loadavg: 0.08 0.02 0.01 2/174 21111 /proc/meminfo: memFree=25848924/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=31264 CPUtime=2.95 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 7738 0 0 0 294 1 0 0 25 0 1 0 482348964 32014336 4485 33554432000 4194304 4260849 140734338816304 18446744073709551615 4214038 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21094/statm: 7816 4485 251 17 0 4457 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39968 [startup+6.30055 s] /proc/loadavg: 0.08 0.02 0.01 3/180 21123 /proc/meminfo: memFree=25794460/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=35684 CPUtime=6.15 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 9066 0 0 0 614 1 0 0 25 0 1 0 482348964 36540416 5730 33554432000 4194304 4260849 140734338816304 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21094/statm: 8921 5730 251 17 0 5562 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44388 [startup+12.7004 s] /proc/loadavg: 0.37 0.08 0.03 3/180 21123 /proc/meminfo: memFree=25773928/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=50232 CPUtime=12.54 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 12097 0 0 0 1253 1 0 0 25 0 1 0 482348964 51437568 8725 33554432000 4194304 4260849 140734338816304 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21094/statm: 12558 8725 251 17 0 9199 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 58936 [startup+25.501 s] /proc/loadavg: 0.62 0.14 0.05 3/180 21124 /proc/meminfo: memFree=25789936/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=61832 CPUtime=25.35 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 16868 0 0 0 2533 2 0 0 25 0 1 0 482348964 63315968 7992 33554432000 4194304 4260849 140734338816304 18446744073709551615 4225091 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21094/statm: 15458 7992 251 17 0 12099 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 70536 [startup+51.1003 s] /proc/loadavg: 1.09 0.29 0.10 3/180 21124 /proc/meminfo: memFree=25740776/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=61832 CPUtime=50.95 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 20665 0 0 0 5093 2 0 0 25 0 1 0 482348964 63315968 11654 33554432000 4194304 4260849 140734338816304 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21094/statm: 15458 11654 251 17 0 12099 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 70536 [startup+102.307 s] /proc/loadavg: 1.64 0.58 0.20 3/180 21126 /proc/meminfo: memFree=25729696/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=61832 CPUtime=102.15 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 26178 0 0 0 10213 2 0 0 25 0 1 0 482348964 63315968 12282 33554432000 4194304 4260849 140734338816304 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21094/statm: 15458 12282 252 17 0 12099 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 70536 [startup+162.301 s] /proc/loadavg: 1.86 0.83 0.31 3/180 21127 /proc/meminfo: memFree=25697424/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=93600 CPUtime=162.15 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 33628 0 0 0 16211 4 0 0 25 0 1 0 482348964 95846400 19566 33554432000 4194304 4260849 140734338816304 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21094/statm: 23400 19566 252 17 0 20041 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 102304 [startup+222.301 s] /proc/loadavg: 2.03 1.06 0.42 3/180 21129 /proc/meminfo: memFree=25656068/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=142920 CPUtime=222.16 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 49608 0 0 0 22210 6 0 0 25 0 1 0 482348964 146350080 27818 33554432000 4194304 4260849 140734338816304 18446744073709551615 4225107 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21094/statm: 35730 27818 252 17 0 32371 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 151624 [startup+282.301 s] /proc/loadavg: 2.01 1.23 0.52 3/180 21130 /proc/meminfo: memFree=25640384/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=93600 CPUtime=282.15 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 75682 0 0 0 28206 9 0 0 25 0 1 0 482348964 95846400 20225 33554432000 4194304 4260849 140734338816304 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 23400 20225 252 17 0 20041 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 102304 [startup+342.301 s] /proc/loadavg: 2.00 1.37 0.61 3/180 21132 /proc/meminfo: memFree=25659932/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=142920 CPUtime=342.15 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 111812 0 0 0 34203 12 0 0 25 0 1 0 482348964 146350080 29001 33554432000 4194304 4260849 140734338816304 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 35730 29001 252 17 0 32371 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 151624 [startup+402.301 s] /proc/loadavg: 2.00 1.48 0.69 3/180 21134 /proc/meminfo: memFree=25598636/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 ################ # More data... # ################ [startup+582.3 s] /proc/loadavg: 2.00 1.71 0.91 3/180 21141 /proc/meminfo: memFree=25632956/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=93600 CPUtime=582.16 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 218862 0 0 0 58189 27 0 0 25 0 1 0 482348964 95846400 20226 33554432000 4194304 4260849 140734338816304 18446744073709551615 4224416 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 23400 20226 252 17 0 20041 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 102304 [startup+642.3 s] /proc/loadavg: 2.00 1.76 0.98 3/180 21143 /proc/meminfo: memFree=25618100/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=93600 CPUtime=642.16 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 242640 0 0 0 64186 30 0 0 25 0 1 0 482348964 95846400 20226 33554432000 4194304 4260849 140734338816304 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 23400 20226 252 17 0 20041 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 102304 [startup+702.3 s] /proc/loadavg: 2.00 1.80 1.04 3/180 21145 /proc/meminfo: memFree=25688112/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=93600 CPUtime=702.16 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 266923 0 0 0 70182 34 0 0 25 0 1 0 482348964 95846400 20226 33554432000 4194304 4260849 140734338816304 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 23400 20226 252 17 0 20041 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 102304 [startup+762.306 s] /proc/loadavg: 2.00 1.83 1.10 3/180 21146 /proc/meminfo: memFree=25563572/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=173740 CPUtime=762.17 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 291931 0 0 0 76179 38 0 0 25 0 1 0 482348964 177909760 32866 33554432000 4194304 4260849 140734338816304 18446744073709551615 4224818 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 43435 32866 252 17 0 40076 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 182444 [startup+822.301 s] /proc/loadavg: 2.04 1.88 1.16 3/180 21148 /proc/meminfo: memFree=25568004/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=142920 CPUtime=822.17 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 315988 0 0 0 82175 42 0 0 25 0 1 0 482348964 146350080 30946 33554432000 4194304 4260849 140734338816304 18446744073709551615 4226859 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 35730 30946 252 17 0 32371 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 151624 [startup+882.301 s] /proc/loadavg: 2.01 1.89 1.21 3/180 21149 /proc/meminfo: memFree=25601684/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=142920 CPUtime=882.17 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 340113 0 0 0 88171 46 0 0 25 0 1 0 482348964 146350080 28875 33554432000 4194304 4260849 140734338816304 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 35730 28875 252 17 0 32371 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 151624 [startup+942.301 s] /proc/loadavg: 2.00 1.91 1.25 3/180 21151 /proc/meminfo: memFree=25544988/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=173740 CPUtime=942.17 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 359257 0 0 0 94168 49 0 0 25 0 1 0 482348964 177909760 33951 33554432000 4194304 4260849 140734338816304 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 43435 33951 252 17 0 40076 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 182444 [startup+1002.3 s] /proc/loadavg: 2.00 1.92 1.30 3/180 21153 /proc/meminfo: memFree=25570268/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=142920 CPUtime=1002.17 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 382233 0 0 0 100164 53 0 0 25 0 1 0 482348964 146350080 29339 33554432000 4194304 4260849 140734338816304 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 35730 29339 252 17 0 32371 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 151624 Solver just ended. Dumping a history of the last processes samples [startup+1011.1 s] /proc/loadavg: 2.00 1.93 1.30 3/180 21153 /proc/meminfo: memFree=25547824/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=142920 CPUtime=1010.98 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 384235 0 0 0 101044 54 0 0 25 0 1 0 482348964 146350080 31309 33554432000 4194304 4260849 140734338816304 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 35730 31309 252 17 0 32371 0 Current children cumulated CPU time (s) 1011.12 Current children cumulated vsize (KiB) 151624 [startup+1014.3 s] /proc/loadavg: 2.00 1.93 1.30 3/180 21153 /proc/meminfo: memFree=25540384/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=142920 CPUtime=1014.17 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 384931 0 0 0 101363 54 0 0 25 0 1 0 482348964 146350080 31991 33554432000 4194304 4260849 140734338816304 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 35730 31991 252 17 0 32371 0 Current children cumulated CPU time (s) 1014.31 Current children cumulated vsize (KiB) 151624 [startup+1015.9 s] /proc/loadavg: 2.00 1.93 1.30 3/180 21153 /proc/meminfo: memFree=25603128/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=142920 CPUtime=1015.77 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 385257 0 0 0 101523 54 0 0 25 0 1 0 482348964 146350080 32314 33554432000 4194304 4260849 140734338816304 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 35730 32314 252 17 0 32371 0 Current children cumulated CPU time (s) 1015.91 Current children cumulated vsize (KiB) 151624 [startup+1016.7 s] /proc/loadavg: 2.00 1.93 1.31 3/180 21153 /proc/meminfo: memFree=25600524/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=142920 CPUtime=1016.57 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 385410 0 0 0 101603 54 0 0 25 0 1 0 482348964 146350080 32460 33554432000 4194304 4260849 140734338816304 18446744073709551615 4227998 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 35730 32460 252 17 0 32371 0 Current children cumulated CPU time (s) 1016.71 Current children cumulated vsize (KiB) 151624 [startup+1017.1 s] /proc/loadavg: 2.00 1.93 1.31 3/180 21153 /proc/meminfo: memFree=25600524/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=142920 CPUtime=1016.97 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 385498 0 0 0 101643 54 0 0 25 0 1 0 482348964 146350080 32547 33554432000 4194304 4260849 140734338816304 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 35730 32547 252 17 0 32371 0 Current children cumulated CPU time (s) 1017.11 Current children cumulated vsize (KiB) 151624 [startup+1017.3 s] /proc/loadavg: 2.00 1.93 1.31 3/180 21153 /proc/meminfo: memFree=25600524/32951124 swapFree=67111524/67111528 [pid=21088] ppid=21086 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21088/stat : 21088 (glucose.sh) S 21086 21088 21049 0 -1 4202496 359 1397 0 0 0 0 14 0 20 0 1 0 482348949 8912896 254 33554432000 4194304 4922060 140734401190880 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21088/statm: 2176 254 211 178 0 69 0 [pid=21094] ppid=21088 vsize=173740 CPUtime=1017.17 cores=1,3,5,7 /proc/21094/stat : 21094 (glucose_static) R 21088 21088 21049 0 -1 4202496 385540 0 0 0 101663 54 0 0 25 0 1 0 482348964 177909760 32588 33554432000 4194304 4260849 140734338816304 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21094/statm: 43435 32588 252 17 0 40076 0 Current children cumulated CPU time (s) 1017.31 Current children cumulated vsize (KiB) 182444 Child status: 10 Real time (s): 1017.32 CPU time (s): 1017.34 CPU user time (s): 1016.79 CPU system time (s): 0.555915 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 182444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1016.79 system time used= 0.555915 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 387699 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42 involuntary context switches= 9564 runsolver used 1.53577 second user time and 3.56746 second system time The end
Begin job on node147 at 2011-04-27 12:15:30 IDJOB=3303337 IDBENCH=71271 IDSOLVER=1687 FILE ID=node147/3303337-1303899330 RUNJOBID= node147-1303899329-21068 PBS_JOBID= 13164501 Free space on /tmp= 72680 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g4.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303337-1303899330/watcher-3303337-1303899330 -o /tmp/evaluation-result-3303337-1303899330/solver-3303337-1303899330 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303337-1303899330.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 04c9f68df814bad18919ca17a3e0867a RANDOM SEED=580329049 node147.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.836 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.67 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.836 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.836 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.836 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.76 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.836 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.836 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: 25850172 kB Buffers: 995612 kB Cached: 5585412 kB SwapCached: 4 kB Active: 1054116 kB Inactive: 5601788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25850172 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 7816 kB Writeback: 0 kB AnonPages: 74504 kB Mapped: 14824 kB Slab: 380476 kB PageTables: 4548 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 216208 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= 72676 MiB End job on node147 at 2011-04-27 12:32:28