0.00/0.00 c Parsing...
1.09/1.18 c ==============================================================================
1.09/1.18 c | | ORIGINAL | LEARNT | |
1.09/1.18 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.09/1.18 c ==============================================================================
1.09/1.18 c | 0 | 1291713 3013997 | 387513 0 0 nan | 0.000 % |
10.18/10.24 c | 0 | 547995 2160666 | -- 0 -- -- | -- | -743716/-853326
10.18/10.24 c ==============================================================================
10.18/10.24 c Result : #vars: 68748 #clauses: 547995 #literals: 2160666
10.18/10.24 c CPU time: 9.76851 s
10.18/10.24 c ==============================================================================
10.87/11.00 c This is MiniSat 2.0 beta
10.87/11.00 c WARNING: for repeatability, setting FPU to use double precision
10.87/11.00 c ============================[ Problem Statistics ]=============================
10.87/11.00 c | |
10.87/11.00 c | Number of variables: 68748 |
10.87/11.00 c | Number of clauses: 547995 |
10.96/11.41 c | Parsing time: 0.36 s |
10.96/11.44 c ============================[ Search Statistics ]==============================
10.96/11.44 c | Conflicts | ORIGINAL | LEARNT | Progress |
10.96/11.44 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.96/11.44 c ===============================================================================
10.96/11.44 c | 0 | 68748 547995 2160666 | 182665 0 nan | 0.000 % |
10.96/11.48 c | 100 | 68748 547995 2160666 | 182665 100 17 | 0.000 % |
10.96/11.57 c | 200 | 68748 547995 2160666 | 182665 200 15 | 0.000 % |
10.96/11.75 c | 301 | 68748 547995 2160666 | 182665 301 15 | 0.000 % |
10.96/11.97 c | 412 | 68748 547995 2160666 | 182665 412 15 | 0.000 % |
11.96/12.02 c | 514 | 68748 547995 2160666 | 182665 514 16 | 0.000 % |
11.96/12.08 c | 625 | 68744 547995 2160666 | 182665 624 14 | 0.019 % |
12.06/12.12 c | 746 | 68744 547995 2160666 | 182665 745 16 | 0.019 % |
12.06/12.13 c | 846 | 68743 547995 2160666 | 182665 844 16 | 0.028 % |
12.15/12.22 c | 957 | 68743 547995 2160666 | 182665 955 16 | 0.028 % |
12.15/12.24 c | 1078 | 68743 547995 2160666 | 182665 1076 16 | 0.028 % |
12.25/12.32 c | 1213 | 68743 547995 2160666 | 182665 1211 18 | 0.028 % |
12.25/12.34 c | 1313 | 68743 547995 2160666 | 182665 1311 18 | 0.028 % |
12.35/12.40 c | 1424 | 68743 547995 2160666 | 182665 1422 18 | 0.028 % |
12.35/12.43 c | 1545 | 68743 547995 2160666 | 182665 1543 17 | 0.028 % |
12.35/12.49 c | 1678 | 68742 547995 2160666 | 182665 1675 17 | 0.038 % |
12.45/12.55 c | 1824 | 68742 547995 2160666 | 182665 1821 17 | 0.038 % |
12.45/12.58 c | 1925 | 68742 547995 2160666 | 182665 1922 18 | 0.038 % |
12.55/12.62 c | 2035 | 68742 547995 2160666 | 182665 2032 18 | 0.038 % |
12.55/12.64 c | 2158 | 68703 547995 2160666 | 182665 2154 19 | 0.516 % |
12.55/12.69 c | 2292 | 68688 547995 2160666 | 182665 2288 19 | 0.516 % |
12.75/12.80 c | 2438 | 68685 547995 2160666 | 182665 2434 19 | 0.516 % |
12.75/12.85 c | 2598 | 68685 547995 2160666 | 182665 2594 19 | 0.516 % |
12.85/12.91 c | 2699 | 68685 547995 2160666 | 182665 2695 19 | 0.516 % |
12.85/12.98 c | 2809 | 68684 547995 2160666 | 182665 2804 19 | 0.525 % |
12.85/12.99 c | 2930 | 68679 547995 2160666 | 182665 2924 19 | 0.534 % |
12.95/13.02 c | 3064 | 68679 547995 2160666 | 182665 3058 19 | 0.534 % |
12.95/13.09 c | 3210 | 68679 547995 2160666 | 182665 3204 19 | 0.534 % |
13.05/13.19 c | 3371 | 68679 547995 2160666 | 182665 3365 19 | 0.534 % |
13.15/13.23 c | 3547 | 68679 547995 2160666 | 182665 3541 18 | 0.534 % |
13.25/13.33 c | 3647 | 68377 539255 2127496 | 182665 3630 18 | 0.541 % |
13.35/13.40 c | 3758 | 68377 539255 2127496 | 182665 3741 19 | 0.541 % |
13.35/13.45 c | 3879 | 68375 539255 2127496 | 182665 3861 18 | 0.636 % |
13.45/13.51 c | 4012 | 68375 539255 2127496 | 182665 3994 19 | 0.636 % |
13.45/13.55 c | 4158 | 68375 539255 2127496 | 182665 4140 19 | 0.636 % |
13.55/13.60 c | 4319 | 68375 539255 2127496 | 182665 4301 19 | 0.636 % |
13.55/13.61 c | 4496 | 68375 539255 2127496 | 182665 4478 19 | 0.636 % |
13.65/13.71 c | 4689 | 68375 539255 2127496 | 182665 4671 19 | 0.636 % |
13.65/13.76 c | 4791 | 68373 539255 2127496 | 182665 4772 19 | 0.643 % |
13.75/13.82 c | 4901 | 68373 539255 2127496 | 182665 4882 19 | 0.643 % |
13.75/13.88 c | 5022 | 68373 539255 2127496 | 182665 5003 19 | 0.643 % |
13.85/13.96 c | 5155 | 68373 539255 2127496 | 182665 5136 19 | 0.643 % |
13.95/14.02 c | 5303 | 68373 539255 2127496 | 182665 5284 19 | 0.643 % |
13.95/14.07 c | 5463 | 68373 539255 2127496 | 182665 5444 19 | 0.643 % |
13.95/14.09 c | 5641 | 68373 539255 2127496 | 182665 5622 19 | 0.643 % |
14.05/14.13 c | 5834 | 68373 539255 2127496 | 182665 5815 19 | 0.643 % |
14.05/14.19 c | 6046 | 68372 539255 2127496 | 182665 6026 19 | 0.644 % |
14.15/14.21 c | 6146 | 68370 539255 2127496 | 182665 6124 19 | 0.650 % |
14.15/14.25 c | 6256 | 68370 539255 2127496 | 182665 6234 19 | 0.650 % |
14.15/14.27 c | 6377 | 68370 539255 2127496 | 182665 6355 19 | 0.650 % |
14.15/14.29 c | 6510 | 68370 539255 2127496 | 182665 6488 19 | 0.650 % |
14.25/14.36 c | 6656 | 68366 539255 2127496 | 182665 6633 20 | 0.655 % |
14.25/14.39 c | 6816 | 68366 539255 2127496 | 182665 6793 20 | 0.655 % |
14.35/14.42 c | 6993 | 68366 539255 2127496 | 182665 6970 20 | 0.655 % |
14.35/14.49 c | 7186 | 68366 539255 2127496 | 182665 7163 20 | 0.655 % |
14.45/14.53 c | 7398 | 68366 539255 2127496 | 182665 7375 20 | 0.655 % |
14.45/14.56 c | 7634 | 68366 539255 2127496 | 182665 7611 19 | 0.655 % |
14.45/14.58 c | 7734 | 68366 539255 2127496 | 182665 7711 19 | 0.655 % |
14.45/14.59 c | 7844 | 68366 539255 2127496 | 182665 7821 19 | 0.655 % |
14.45/14.60 c | 7965 | 68366 539255 2127496 | 182665 7942 19 | 0.655 % |
14.55/14.69 c | 8099 | 68366 539255 2127496 | 182665 8076 20 | 0.655 % |
14.65/14.73 c | 8247 | 68365 539255 2127496 | 182665 8223 20 | 0.666 % |
14.65/14.75 c | 8407 | 68365 539255 2127496 | 182665 8383 20 | 0.666 % |
14.75/14.82 c | 8584 | 68358 539255 2127496 | 182665 8559 20 | 0.676 % |
14.75/14.84 c | 8778 | 68358 539255 2127496 | 182665 8753 20 | 0.676 % |
14.75/14.87 c | 8990 | 68358 539255 2127496 | 182665 8965 19 | 0.676 % |
14.85/14.92 c | 9224 | 68358 539255 2127496 | 182665 9199 19 | 0.676 % |
14.95/15.03 c | 9481 | 68282 538344 2123858 | 182665 9364 20 | 0.681 % |
14.95/15.04 c | 9581 | 68282 538344 2123858 | 182665 9464 20 | 0.681 % |
14.95/15.07 c | 9691 | 68282 538344 2123858 | 182665 9574 20 | 0.681 % |
15.05/15.10 c | 9812 | 68282 538344 2123858 | 182665 9695 20 | 0.681 % |
15.05/15.12 c | 9945 | 68282 538344 2123858 | 182665 9828 20 | 0.681 % |
15.05/15.15 c | 10093 | 68282 538344 2123858 | 2147483647 9976 20 | 0.681 % |
15.05/15.18 c | 10253 | 68282 538344 2123858 | 2147483647 10136 20 | 0.681 % |
15.25/15.35 c | 10429 | 68281 538344 2123858 | 2147483647 10312 20 | 0.681 % |
15.35/15.43 c | 10622 | 68281 538344 2123858 | 2147483647 10505 20 | 0.681 % |
15.44/15.59 c | 10834 | 68275 538344 2123858 | 2147483647 10716 20 | 0.689 % |
15.54/15.67 c | 11070 | 68275 538344 2123858 | 2147483647 10952 19 | 0.689 % |
15.64/15.74 c | 11326 | 68275 538344 2123858 | 2147483647 11208 19 | 0.689 % |
15.75/15.82 c | 11607 | 68275 538344 2123858 | 2147483647 11489 19 | 0.689 % |
15.75/15.88 c | 11708 | 68275 538344 2123858 | 2147483647 11590 19 | 0.689 % |
15.75/15.89 c | 11819 | 68275 538344 2123858 | 2147483647 11701 19 | 0.689 % |
15.85/15.94 c | 11940 | 68275 538344 2123858 | 2147483647 11822 19 | 0.689 % |
15.95/16.00 c | 12074 | 68275 538344 2123858 | 2147483647 11956 19 | 0.689 % |
15.95/16.01 c | 12220 | 68275 538344 2123858 | 2147483647 12102 19 | 0.689 % |
16.05/16.16 c | 12380 | 68275 538344 2123858 | 2147483647 12262 19 | 0.689 % |
16.15/16.21 c | 12557 | 68275 538344 2123858 | 2147483647 12439 19 | 0.689 % |
16.25/16.32 c | 12751 | 68275 538344 2123858 | 2147483647 12633 19 | 0.689 % |
16.25/16.36 c | 12963 | 68275 538344 2123858 | 2147483647 12845 19 | 0.689 % |
16.36/16.42 c | 13197 | 68251 538344 2123858 | 2147483647 13076 19 | 0.967 % |
16.36/16.44 c | 13453 | 68251 538344 2123858 | 2147483647 13332 19 | 0.967 % |
16.45/16.51 c | 13734 | 68251 538344 2123858 | 2147483647 13613 19 | 0.967 % |
16.55/16.63 c | 14043 | 68251 538344 2123858 | 2147483647 13922 20 | 0.967 % |
16.55/16.65 c | 14144 | 68251 538344 2123858 | 2147483647 14023 20 | 0.967 % |
16.65/16.73 c | 14254 | 68251 538344 2123858 | 2147483647 14133 20 | 0.967 % |
16.65/16.76 c | 14375 | 68251 538344 2123858 | 2147483647 14254 20 | 0.967 % |
16.75/16.82 c | 14509 | 68251 538344 2123858 | 2147483647 14388 20 | 0.967 % |
16.85/16.91 c | 14655 | 68083 533804 2107424 | 2147483647 14529 20 | 0.967 % |
16.85/16.95 c | 14816 | 68083 533804 2107424 | 2147483647 14690 20 | 0.967 % |
16.85/16.99 c | 14992 | 68083 533804 2107424 | 2147483647 14866 20 | 0.967 % |
16.95/17.02 c | 15186 | 68083 533804 2107424 | 2147483647 15060 20 | 0.967 % |
16.95/17.05 c | 15398 | 68083 533804 2107424 | 2147483647 15272 20 | 0.967 % |
17.05/17.15 c | 15633 | 68083 533804 2107424 | 2147483647 15507 20 | 0.967 % |
17.05/17.19 c | 15889 | 68083 533804 2107424 | 2147483647 15763 20 | 0.967 % |
17.15/17.29 c | 16171 | 68083 533804 2107424 | 2147483647 16045 20 | 0.967 % |
17.25/17.37 c | 16481 | 68083 533804 2107424 | 2147483647 16355 20 | 0.967 % |
17.35/17.43 c | 16820 | 68083 533804 2107424 | 2147483647 16694 21 | 0.967 % |
17.35/17.45 c | 16920 | 68081 533804 2107424 | 2147483647 16793 21 | 0.976 % |
17.35/17.47 c | 17031 | 68078 533804 2107424 | 2147483647 16904 21 | 0.976 % |
17.45/17.55 c | 17154 | 68078 533804 2107424 | 2147483647 17027 21 | 0.976 % |
17.55/17.61 c | 17287 | 68078 533804 2107424 | 2147483647 17160 21 | 0.976 % |
17.55/17.68 c | 17435 | 68078 533804 2107424 | 2147483647 17308 21 | 0.976 % |
17.65/17.75 c | 17595 | 68078 533804 2107424 | 2147483647 17468 21 | 0.976 % |
17.75/17.84 c | 17772 | 68078 533804 2107424 | 2147483647 17645 21 | 0.976 % |
17.75/17.89 c | 17966 | 68078 533804 2107424 | 2147483647 17839 21 | 0.976 % |
17.85/17.93 c | 18178 | 68078 533804 2107424 | 2147483647 18051 21 | 0.976 % |
17.85/17.96 c | 18413 | 68078 533804 2107424 | 2147483647 18286 21 | 0.976 % |
17.95/18.05 c | 18669 | 68078 533804 2107424 | 2147483647 18542 21 | 0.976 % |
18.05/18.10 c | 18951 | 68078 533804 2107424 | 2147483647 18824 21 | 0.976 % |
18.05/18.13 c | 19261 | 68077 533804 2107424 | 2147483647 19133 21 | 0.977 % |
18.24/18.32 c | 19600 | 68076 533804 2107424 | 2147483647 19472 21 | 0.977 % |
18.34/18.48 c | 19973 | 68076 533804 2107424 | 2147483647 19845 21 | 0.977 % |
18.34/18.49 c | 20074 | 68076 533804 2107424 | 2147483647 19946 21 | 0.977 % |
18.44/18.53 c | 20186 | 68076 533804 2107424 | 2147483647 20058 21 | 0.977 % |
18.44/18.58 c | 20307 | 68076 533804 2107424 | 2147483647 20179 21 | 0.977 % |
18.55/18.63 c | 20441 | 68076 533804 2107424 | 2147483647 20313 21 | 0.977 % |
18.55/18.67 c | 20588 | 68076 533804 2107424 | 2147483647 20460 21 | 0.977 % |
18.65/18.73 c | 20748 | 68076 533804 2107424 | 2147483647 20620 21 | 0.977 % |
18.65/18.75 c | 20926 | 68076 533804 2107424 | 2147483647 20798 21 | 0.977 % |
18.65/18.77 c | 21120 | 68076 533804 2107424 | 2147483647 20992 21 | 0.977 % |
18.65/18.77 c | 21333 | 68076 533804 2107424 | 2147483647 21205 21 | 0.977 % |
18.84/18.98 c | 21566 | 68076 533644 2106951 | 2147483647 21437 21 | 0.977 % |
19.04/19.12 c | 21822 | 68076 533644 2106951 | 2147483647 21693 21 | 0.977 % |
19.04/19.19 c | 22105 | 68075 533644 2106951 | 2147483647 21975 20 | 0.982 % |
19.14/19.27 c | 22415 | 68075 533644 2106951 | 2147483647 22285 21 | 0.982 % |
19.24/19.36 c | 22754 | 68072 533644 2106951 | 2147483647 22622 21 | 1.235 % |
19.34/19.41 c | 23126 | 68072 533644 2106951 | 2147483647 22994 21 | 1.235 % |
19.66/19.76 c | 23535 | 68008 533644 2106951 | 2147483647 23403 21 | 1.235 % |
19.76/19.84 c | 23635 | 68008 533644 2106951 | 2147483647 23503 21 | 1.235 % |
19.85/19.95 c | 23745 | 68008 533644 2106951 | 2147483647 23613 21 | 1.235 % |
19.95/20.08 c | 23867 | 68008 533644 2106951 | 2147483647 23735 21 | 1.235 % |
20.05/20.15 c | 24000 | 68008 533644 2106951 | 2147483647 23868 21 | 1.235 % |
20.15/20.23 c | 24146 | 68008 533644 2106951 | 2147483647 24014 21 | 1.235 % |
20.15/20.25 c | 24307 | 68008 533644 2106951 | 2147483647 24175 21 | 1.235 % |
20.25/20.35 c | 24484 | 68008 533644 2106951 | 2147483647 24352 21 | 1.235 % |
20.25/20.37 c | 24678 | 68008 533644 2106951 | 2147483647 24546 21 | 1.235 % |
20.45/20.54 c | 24891 | 68008 533644 2106951 | 2147483647 24759 21 | 1.235 % |
20.55/20.67 c | 25125 | 68008 533644 2106951 | 2147483647 24993 21 | 1.235 % |
20.65/20.76 c | 25382 | 68008 533644 2106951 | 2147483647 25250 21 | 1.235 % |
20.65/20.78 c | 25664 | 68008 533644 2106951 | 2147483647 25532 21 | 1.235 % |
20.75/20.89 c | 25974 | 68008 533644 2106951 | 2147483647 25842 21 | 1.235 % |
20.85/20.95 c | 26313 | 68008 533644 2106951 | 2147483647 26181 22 | 1.235 % |
20.85/20.99 c | 26685 | 68008 533644 2106951 | 2147483647 26553 22 | 1.235 % |
20.95/21.09 c | 27095 | 68007 533644 2106951 | 2147483647 26962 22 | 1.236 % |
21.25/21.30 c | 27544 | 67898 529337 2091025 | 2147483647 27405 22 | 1.236 % |
21.25/21.35 c | 27644 | 67889 529337 2091025 | 2147483647 27503 22 | 1.251 % |
21.35/21.43 c | 27758 | 67889 529337 2091025 | 2147483647 27617 22 | 1.251 % |
21.45/21.53 c | 27879 | 67887 529337 2091025 | 2147483647 27737 22 | 1.260 % |
21.45/21.59 c | 28012 | 67887 529337 2091025 | 2147483647 27870 22 | 1.260 % |
21.65/21.70 c | 28159 | 67887 529337 2091025 | 2147483647 28017 22 | 1.260 % |
21.65/21.73 c | 28321 | 67887 529337 2091025 | 2147483647 28179 22 | 1.260 % |
21.75/21.83 c | 28498 | 67887 529337 2091025 | 2147483647 28356 22 | 1.260 % |
21.75/21.88 c | 28692 | 67887 529337 2091025 | 2147483647 28550 22 | 1.260 % |
21.85/21.96 c | 28904 | 67887 529337 2091025 | 2147483647 28762 22 | 1.260 % |
21.95/22.05 c | 29138 | 67887 529337 2091025 | 2147483647 28996 22 | 1.260 % |
21.95/22.08 c | 29394 | 67887 529337 2091025 | 2147483647 29252 22 | 1.260 % |
22.05/22.20 c | 29676 | 67887 529337 2091025 | 2147483647 29534 22 | 1.260 % |
22.15/22.26 c | 29985 | 67887 529337 2091025 | 2147483647 29843 22 | 1.260 % |
22.25/22.34 c | 30324 | 67887 529337 2091025 | 2147483647 30182 22 | 1.260 % |
22.45/22.52 c | 30698 | 67869 529337 2091025 | 2147483647 30554 23 | 1.360 % |
22.55/22.66 c | 31108 | 67869 529337 2091025 | 2147483647 30964 22 | 1.360 % |
22.75/22.82 c | 31557 | 67869 529337 2091025 | 2147483647 31413 22 | 1.360 % |
22.75/22.86 c | 32052 | 67869 529337 2091025 | 2147483647 31908 22 | 1.360 % |
22.85/22.90 c | 32153 | 67869 529337 2091025 | 2147483647 32009 22 | 1.360 % |
22.85/22.96 c | 32263 | 67869 529337 2091025 | 2147483647 32119 22 | 1.360 % |
22.95/23.04 c | 32385 | 67869 529337 2091025 | 2147483647 32241 22 | 1.360 % |
22.95/23.07 c | 32518 | 67869 529337 2091025 | 2147483647 32374 22 | 1.360 % |
22.95/23.10 c | 32664 | 67869 529337 2091025 | 2147483647 32520 22 | 1.360 % |
23.05/23.15 c | 32824 | 67869 529337 2091025 | 2147483647 32680 22 | 1.360 % |
23.05/23.16 c | 33000 | 67869 529337 2091025 | 2147483647 32856 22 | 1.360 % |
23.05/23.19 c | 33193 | 67869 529337 2091025 | 2147483647 33049 22 | 1.360 % |
23.15/23.24 c | 33405 | 67869 529337 2091025 | 2147483647 33261 22 | 1.360 % |
23.25/23.31 c | 33638 | 67869 529337 2091025 | 2147483647 33494 22 | 1.360 % |
23.25/23.35 c | 33894 | 67869 529337 2091025 | 2147483647 33750 22 | 1.360 % |
23.34/23.46 c | 34175 | 67869 529337 2091025 | 2147483647 34031 22 | 1.360 % |
23.54/23.66 c | 34485 | 67869 529337 2091025 | 2147483647 34341 22 | 1.360 % |
23.74/23.89 c | 34826 | 67813 527424 2083797 | 2147483647 34660 22 | 1.360 % |
23.84/23.96 c | 35198 | 67813 527424 2083797 | 2147483647 35032 23 | 1.360 % |
23.84/23.99 c | 35608 | 67813 527424 2083797 | 2147483647 35442 23 | 1.360 % |
23.94/24.06 c | 36058 | 67813 527424 2083797 | 2147483647 35892 23 | 1.360 % |
24.05/24.17 c | 36551 | 67813 527424 2083797 | 2147483647 36385 23 | 1.360 % |
24.24/24.39 c | 37093 | 67813 527424 2083797 | 2147483647 36927 23 | 1.360 % |
24.34/24.43 c | 37193 | 67813 527424 2083797 | 2147483647 37027 23 | 1.360 % |
24.34/24.49 c | 37303 | 67813 527424 2083797 | 2147483647 37137 23 | 1.360 % |
24.44/24.54 c | 37426 | 67813 527424 2083797 | 2147483647 37260 23 | 1.360 % |
24.44/24.57 c | 37560 | 67813 527424 2083797 | 2147483647 37394 23 | 1.360 % |
24.54/24.63 c | 37707 | 67813 527424 2083797 | 2147483647 37541 23 | 1.360 % |
24.64/24.71 c | 37869 | 67813 527424 2083797 | 2147483647 37703 23 | 1.360 % |
24.74/24.85 c | 38047 | 67813 527424 2083797 | 2147483647 37881 23 | 1.360 % |
24.84/24.94 c | 38240 | 67809 527424 2083797 | 2147483647 38072 23 | 1.369 % |
24.94/25.02 c | 38453 | 67807 527424 2083797 | 2147483647 38285 23 | 1.369 % |
24.94/25.09 c | 38686 | 67807 527424 2083797 | 2147483647 38518 23 | 1.369 % |
25.15/25.26 c | 38942 | 67807 527424 2083797 | 2147483647 38774 23 | 1.369 % |
25.15/25.29 c | 39224 | 67807 527424 2083797 | 2147483647 39056 23 | 1.369 % |
25.34/25.44 c | 39533 | 67807 527424 2083797 | 2147483647 39365 23 | 1.369 % |
25.54/25.66 c | 39872 | 67804 527424 2083797 | 2147483647 39703 23 | 1.402 % |
25.74/25.82 c | 40245 | 67802 527424 2083797 | 2147483647 40076 23 | 1.402 % |
25.84/25.94 c | 40655 | 67799 527424 2083797 | 2147483647 40483 23 | 1.409 % |
26.25/26.32 c | 41104 | 67773 526398 2080023 | 2147483647 40923 23 | 1.418 % |
26.44/26.58 c | 41598 | 67773 526398 2080023 | 2147483647 41417 23 | 1.418 % |
26.54/26.60 c | 42140 | 67767 526398 2080023 | 2147483647 41958 23 | 1.481 % |
26.84/26.96 c | 42736 | 67764 526398 2080023 | 2147483647 42554 23 | 1.481 % |
26.94/27.01 c | 42839 | 67744 526398 2080023 | 2147483647 42655 23 | 1.682 % |
26.94/27.05 c | 42950 | 67744 526398 2080023 | 2147483647 42766 23 | 1.682 % |
27.04/27.12 c | 43074 | 67744 526398 2080023 | 2147483647 42890 23 | 1.682 % |
27.04/27.14 c | 43207 | 67744 526398 2080023 | 2147483647 43023 23 | 1.682 % |
27.04/27.16 c | 43353 | 67744 526398 2080023 | 2147483647 43169 23 | 1.682 % |
27.24/27.30 c | 43513 | 67692 526398 2080023 | 2147483647 43329 23 | 1.682 % |
27.34/27.42 c | 43690 | 67691 526398 2080023 | 2147483647 43505 23 | 1.683 % |
27.34/27.50 c | 43883 | 67691 526398 2080023 | 2147483647 43698 23 | 1.683 % |
27.44/27.55 c | 44095 | 67688 526398 2080023 | 2147483647 43909 23 | 1.687 % |
27.54/27.66 c | 44328 | 67688 526398 2080023 | 2147483647 44142 23 | 1.687 % |
27.64/27.74 c | 44587 | 67688 526398 2080023 | 2147483647 44401 23 | 1.687 % |
27.94/28.01 c | 44868 | 67688 526398 2080023 | 2147483647 44682 23 | 1.687 % |
28.04/28.19 c | 45177 | 67688 526398 2080023 | 2147483647 44991 23 | 1.687 % |
28.24/28.36 c | 45516 | 67688 526398 2080023 | 2147483647 45330 23 | 1.687 % |
28.34/28.40 c | 45889 | 67688 526398 2080023 | 2147483647 45703 23 | 1.687 % |
28.54/28.64 c | 46299 | 67687 526398 2080023 | 2147483647 46112 24 | 1.689 % |
28.64/28.71 c | 46749 | 67687 526398 2080023 | 2147483647 46562 23 | 1.689 % |
28.84/28.95 c | 47242 | 67687 526398 2080023 | 2147483647 47055 23 | 1.689 % |
28.94/29.02 c | 47784 | 67687 526398 2080023 | 2147483647 47597 23 | 1.689 % |
29.14/29.23 c | 48381 | 67687 526398 2080023 | 2147483647 48194 24 | 1.689 % |
29.44/29.59 c | 49037 | 67587 522195 2064145 | 2147483647 48808 24 | 1.689 % |
29.54/29.65 c | 49140 | 67587 522195 2064145 | 2147483647 48911 24 | 1.689 % |
29.54/29.68 c | 49250 | 67587 522195 2064145 | 2147483647 49021 24 | 1.689 % |
29.54/29.70 c | 49372 | 67587 522195 2064145 | 2147483647 49143 24 | 1.689 % |
29.64/29.77 c | 49507 | 67587 522195 2064145 | 2147483647 49278 24 | 1.689 % |
29.74/29.85 c | 49653 | 67587 522195 2064145 | 2147483647 49424 24 | 1.689 % |
29.74/29.89 c | 49813 | 67587 522195 2064145 | 2147483647 49584 24 | 1.689 % |
29.94/30.00 c | 49989 | 67587 522195 2064145 | 2147483647 49760 24 | 1.689 % |
29.94/30.07 c | 50182 | 67587 522195 2064145 | 2147483647 49953 24 | 1.689 % |
30.05/30.11 c | 50395 | 67587 522195 2064145 | 2147483647 50166 24 | 1.689 % |
30.05/30.18 c | 50628 | 67587 522195 2064145 | 2147483647 50399 24 | 1.689 % |
30.15/30.24 c | 50885 | 67587 522195 2064145 | 2147483647 50656 24 | 1.689 % |
30.25/30.34 c | 51166 | 67587 522195 2064145 | 2147483647 50937 24 | 1.689 % |
30.35/30.42 c | 51475 | 67587 522195 2064145 | 2147483647 51246 24 | 1.689 % |
30.45/30.53 c | 51815 | 67587 522195 2064145 | 2147483647 51586 24 | 1.689 % |
30.55/30.62 c | 52188 | 67587 522195 2064145 | 2147483647 51959 24 | 1.689 % |
30.95/31.06 c | 52598 | 67587 522195 2064145 | 2147483647 52369 24 | 1.689 % |
31.15/31.27 c | 53047 | 67587 522195 2064145 | 2147483647 52818 24 | 1.689 % |
31.54/31.60 c | 53540 | 67587 522195 2064145 | 2147483647 53311 24 | 1.689 % |
31.64/31.71 c | 54082 | 67587 522195 2064145 | 2147483647 53853 24 | 1.689 % |
31.85/31.95 c | 54678 | 67587 522195 2064145 | 2147483647 54449 24 | 1.689 % |
31.94/32.00 c | 55333 | 67587 522195 2064145 | 2147483647 55104 24 | 1.689 % |
32.24/32.39 c | 56054 | 67587 522195 2064145 | 2147483647 55825 24 | 1.689 % |
32.34/32.48 c | 56154 | 67583 522142 2064002 | 2147483647 55923 24 | 1.695 % |
32.44/32.57 c | 56265 | 67583 522142 2064002 | 2147483647 56034 24 | 1.695 % |
32.54/32.64 c | 56386 | 67583 522142 2064002 | 2147483647 56155 24 | 1.695 % |
32.64/32.78 c | 56520 | 67583 522142 2064002 | 2147483647 56289 24 | 1.695 % |
32.74/32.82 c | 56666 | 67583 522142 2064002 | 2147483647 56435 24 | 1.695 % |
32.74/32.89 c | 56828 | 67583 522142 2064002 | 2147483647 56597 24 | 1.695 % |
32.85/32.92 c | 57004 | 67583 522142 2064002 | 2147483647 56773 24 | 1.695 % |
32.95/33.03 c | 57198 | 67583 522142 2064002 | 2147483647 56967 24 | 1.695 % |
33.04/33.14 c | 57410 | 67583 522142 2064002 | 2147483647 57179 24 | 1.695 % |
33.14/33.21 c | 57643 | 67583 522142 2064002 | 2147483647 57412 24 | 1.695 % |
33.14/33.29 c | 57899 | 67583 522142 2064002 | 2147483647 57668 24 | 1.695 % |
33.34/33.44 c | 58181 | 67583 522142 2064002 | 2147483647 57950 24 | 1.695 % |
33.44/33.52 c | 58490 | 67583 522142 2064002 | 2147483647 58259 24 | 1.695 % |
33.54/33.66 c | 58830 | 67583 522142 2064002 | 2147483647 58599 24 | 1.695 % |
33.64/33.76 c | 59203 | 67583 522142 2064002 | 2147483647 58972 24 | 1.695 % |
33.84/33.96 c | 59612 | 67583 522142 2064002 | 2147483647 59381 24 | 1.695 % |
34.14/34.21 c | 60062 | 67583 522142 2064002 | 2147483647 59831 24 | 1.695 % |
34.24/34.33 c | 60555 | 67576 522142 2064002 | 2147483647 60322 24 | 1.708 % |
34.44/34.54 c | 61100 | 67576 522142 2064002 | 2147483647 60867 24 | 1.708 % |
34.74/34.83 c | 61696 | 67576 522142 2064002 | 2147483647 61463 24 | 1.708 % |
34.84/34.98 c | 62352 | 67576 522142 2064002 | 2147483647 62119 24 | 1.708 % |
34.94/35.08 c | 63073 | 67576 522142 2064002 | 2147483647 62840 24 | 1.708 % |
35.24/35.30 c | 63867 | 67576 522142 2064002 | 2147483647 63634 24 | 1.708 % |
35.24/35.32 c | 63967 | 67576 522142 2064002 | 2147483647 63734 24 | 1.708 % |
35.24/35.38 c | 64077 | 67575 522142 2064002 | 2147483647 63843 24 | 1.709 % |
35.34/35.41 c | 64199 | 67575 522142 2064002 | 2147483647 63965 24 | 1.709 % |
35.34/35.48 c | 64332 | 67575 522142 2064002 | 2147483647 64098 24 | 1.709 % |
35.44/35.57 c | 64479 | 67575 522142 2064002 | 2147483647 64245 24 | 1.709 % |
35.54/35.67 c | 64639 | 67575 522142 2064002 | 2147483647 64405 24 | 1.709 % |
35.64/35.72 c | 64816 | 67575 522142 2064002 | 2147483647 64582 24 | 1.709 % |
35.64/35.74 c | 65010 | 67575 522142 2064002 | 2147483647 64776 24 | 1.709 % |
35.64/35.75 c | 65222 | 67575 522142 2064002 | 2147483647 64988 24 | 1.709 % |
35.74/35.87 c | 65456 | 67575 522142 2064002 | 2147483647 65222 24 | 1.709 % |
35.94/36.09 c | 65712 | 67573 521736 2062762 | 2147483647 65478 24 | 1.709 % |
36.15/36.28 c | 65993 | 67573 521736 2062762 | 2147483647 65759 24 | 1.709 % |
36.34/36.48 c | 66302 | 67573 521736 2062762 | 2147483647 66068 24 | 1.709 % |
36.44/36.57 c | 66641 | 67573 521736 2062762 | 2147483647 66407 24 | 1.709 % |
36.54/36.64 c | 67014 | 67573 521736 2062762 | 2147483647 66780 24 | 1.709 % |
36.64/36.73 c | 67423 | 67573 521736 2062762 | 2147483647 67189 24 | 1.709 % |
36.74/36.83 c | 67872 | 67573 521736 2062762 | 2147483647 67638 24 | 1.709 % |
36.94/37.03 c | 68366 | 67573 521736 2062762 | 2147483647 68132 24 | 1.709 % |
37.14/37.26 c | 68909 | 67568 521736 2062762 | 2147483647 68674 24 | 1.716 % |
37.54/37.69 c | 69507 | 67568 521736 2062762 | 2147483647 69272 24 | 1.716 % |
37.84/37.91 c | 70163 | 67555 521736 2062762 | 2147483647 69926 24 | 1.991 % |
37.94/38.00 c | 70883 | 67555 521736 2062762 | 2147483647 70646 24 | 1.991 % |
38.04/38.17 c | 71675 | 67555 521736 2062762 | 2147483647 71438 25 | 1.991 % |
38.24/38.37 c | 72547 | 67555 521736 2062762 | 2147483647 72310 25 | 1.991 % |
38.34/38.41 c | 72647 | 67555 521736 2062762 | 2147483647 72410 25 | 1.991 % |
38.34/38.46 c | 72757 | 67555 521736 2062762 | 2147483647 72520 25 | 1.991 % |
38.44/38.53 c | 72878 | 67555 521736 2062762 | 2147483647 72641 25 | 1.991 % |
38.54/38.68 c | 73011 | 67542 521736 2062762 | 2147483647 72774 25 | 1.991 % |
38.64/38.76 c | 73158 | 67542 521736 2062762 | 2147483647 72921 25 | 1.991 % |
38.74/38.89 c | 73318 | 67542 521736 2062762 | 2147483647 73081 25 | 1.991 % |
38.84/38.97 c | 73494 | 67542 521736 2062762 | 2147483647 73257 25 | 1.991 % |
38.94/39.03 c | 73687 | 67542 521736 2062762 | 2147483647 73450 25 | 1.991 % |
39.04/39.12 c | 73899 | 67542 521736 2062762 | 2147483647 73662 25 | 1.991 % |
39.14/39.25 c | 74133 | 67542 521736 2062762 | 2147483647 73896 25 | 1.991 % |
39.24/39.33 c | 74389 | 67542 521736 2062762 | 2147483647 74152 25 | 1.991 % |
39.44/39.56 c | 74670 | 67497 521736 2062762 | 2147483647 74433 25 | 1.991 % |
39.65/39.77 c | 74979 | 67497 521736 2062762 | 2147483647 74742 25 | 1.991 % |
39.95/40.01 c | 75319 | 67379 517305 2046106 | 2147483647 75067 25 | 1.991 % |
40.15/40.21 c | 75691 | 67379 517305 2046106 | 2147483647 75439 25 | 1.991 % |
40.34/40.44 c | 76101 | 67379 517305 2046106 | 2147483647 75849 25 | 1.991 % |
40.55/40.68 c | 76550 | 67379 517305 2046106 | 2147483647 76298 25 | 1.991 % |
40.84/40.96 c | 77043 | 67379 517305 2046106 | 2147483647 76791 25 | 1.991 % |
41.04/41.16 c | 77586 | 67379 517305 2046106 | 2147483647 77334 25 | 1.991 % |
41.24/41.37 c | 78184 | 67379 517305 2046106 | 2147483647 77932 25 | 1.991 % |
41.65/41.70 c | 78840 | 67379 517305 2046106 | 2147483647 78588 25 | 1.991 % |
41.75/41.82 c | 79560 | 67377 517305 2046106 | 2147483647 79307 25 | 2.000 % |
41.94/42.07 c | 80353 | 67374 517305 2046106 | 2147483647 80100 25 | 2.000 % |
42.14/42.25 c | 81225 | 67374 517305 2046106 | 2147483647 80972 25 | 2.000 % |
42.64/42.74 c | 82184 | 67374 517305 2046106 | 2147483647 81931 25 | 2.000 % |
42.75/42.82 c | 82284 | 67374 517305 2046106 | 2147483647 82031 25 | 2.000 % |
42.75/42.83 c | 82395 | 67372 517305 2046106 | 2147483647 82141 25 | 2.004 % |
42.75/42.87 c | 82517 | 67372 517305 2046106 | 2147483647 82263 25 | 2.004 % |
42.84/42.97 c | 82651 | 67372 517305 2046106 | 2147483647 82397 25 | 2.004 % |
42.84/42.99 c | 82797 | 67372 517305 2046106 | 2147483647 82543 25 | 2.004 % |
42.94/43.04 c | 82958 | 67372 517305 2046106 | 2147483647 82704 25 | 2.004 % |
43.04/43.12 c | 83135 | 67372 517305 2046106 | 2147483647 82881 25 | 2.004 % |
43.04/43.15 c | 83328 | 67372 517305 2046106 | 2147483647 83074 25 | 2.004 % |
43.14/43.24 c | 83540 | 67371 517305 2046106 | 2147483647 83286 25 | 2.004 % |
43.64/43.71 c | 83774 | 67370 517305 2046106 | 2147483647 83520 25 | 2.004 % |
43.74/43.87 c | 84031 | 67368 517305 2046106 | 2147483647 83776 25 | 2.007 % |
43.84/43.91 c | 84314 | 67368 517305 2046106 | 2147483647 84059 25 | 2.007 % |
44.04/44.19 c | 84623 | 67365 517128 2045498 | 2147483647 84356 25 | 2.012 % |
44.14/44.30 c | 84962 | 67365 517128 2045498 | 2147483647 84695 25 | 2.012 % |
44.64/44.71 c | 85334 | 67365 517128 2045498 | 2147483647 85067 25 | 2.012 % |
44.84/44.95 c | 85744 | 67365 517128 2045498 | 2147483647 85477 25 | 2.012 % |
45.04/45.12 c | 86194 | 67365 517128 2045498 | 2147483647 85927 25 | 2.012 % |
45.04/45.14 c | 86687 | 67365 517128 2045498 | 2147483647 86420 25 | 2.012 % |
45.24/45.30 c | 87229 | 67365 517128 2045498 | 2147483647 86962 25 | 2.012 % |
45.34/45.46 c | 87828 | 67365 517128 2045498 | 2147483647 87561 25 | 2.012 % |
45.74/45.80 c | 88483 | 67365 517128 2045498 | 2147483647 88216 25 | 2.012 % |
46.04/46.12 c | 89203 | 67364 517128 2045498 | 2147483647 88935 25 | 2.013 % |
46.14/46.22 c | 89995 | 67364 517128 2045498 | 2147483647 89727 25 | 2.013 % |
46.34/46.47 c | 90866 | 67362 517128 2045498 | 2147483647 90597 25 | 2.018 % |
46.84/46.95 c | 91825 | 67361 517128 2045498 | 2147483647 91556 25 | 2.018 % |
47.34/47.46 c | 92879 | 67361 517128 2045498 | 2147483647 92610 25 | 2.018 % |
47.54/47.61 c | 92979 | 67361 517128 2045498 | 2147483647 92710 25 | 2.018 % |
47.54/47.67 c | 93089 | 67361 517128 2045498 | 2147483647 92820 25 | 2.018 % |
47.64/47.75 c | 93210 | 67361 517128 2045498 | 2147483647 92941 25 | 2.018 % |
47.64/47.79 c | 93343 | 67361 517128 2045498 | 2147483647 93074 25 | 2.018 % |
47.84/47.95 c | 93489 | 67361 517128 2045498 | 2147483647 93220 25 | 2.018 % |
47.94/48.02 c | 93650 | 67361 517128 2045498 | 2147483647 93381 25 | 2.018 % |
47.94/48.07 c | 93826 | 67361 517128 2045498 | 2147483647 93557 25 | 2.018 % |
48.04/48.15 c | 94019 | 67361 517128 2045498 | 2147483647 93750 25 | 2.018 % |
48.14/48.23 c | 94233 | 67361 517128 2045498 | 2147483647 93964 25 | 2.018 % |
48.44/48.60 c | 94466 | 67361 517128 2045498 | 2147483647 94197 25 | 2.018 % |
48.54/48.67 c | 94723 | 67361 517128 2045498 | 2147483647 94454 25 | 2.018 % |
48.64/48.72 c | 95004 | 67361 517128 2045498 | 2147483647 94735 25 | 2.018 % |
48.74/48.85 c | 95313 | 67361 517097 2045375 | 2147483647 95039 25 | 2.018 % |
48.84/48.96 c | 95652 | 67361 517097 2045375 | 2147483647 95378 25 | 2.018 % |
49.04/49.11 c | 96025 | 67361 517097 2045375 | 2147483647 95751 25 | 2.018 % |
49.13/49.21 c | 96434 | 67361 517097 2045375 | 2147483647 96160 25 | 2.018 % |
49.34/49.44 c | 96884 | 67361 517097 2045375 | 2147483647 96610 25 | 2.018 % |
49.74/49.86 c | 97377 | 67361 517097 2045375 | 2147483647 97103 25 | 2.018 % |
50.14/50.21 c | 97920 | 67361 517097 2045375 | 2147483647 97646 25 | 2.018 % |
50.45/50.56 c | 98516 | 67358 517097 2045375 | 2147483647 98241 25 | 2.022 % |
50.74/50.80 c | 99171 | 67358 517097 2045375 | 2147483647 98896 25 | 2.022 % |
50.84/50.95 c | 99892 | 67358 517097 2045375 | 2147483647 99617 25 | 2.022 % |
51.44/51.51 c | 100684 | 67358 517097 2045375 | 2147483647 100409 25 | 2.022 % |
52.04/52.11 c | 101555 | 67358 517097 2045375 | 2147483647 101280 25 | 2.022 % |
52.14/52.27 c | 102513 | 67358 517097 2045375 | 2147483647 102238 25 | 2.022 % |
52.24/52.35 c | 103566 | 67358 517097 2045375 | 2147483647 103291 25 | 2.022 % |
52.84/52.93 c | 104724 | 67358 517097 2045375 | 2147483647 104449 25 | 2.022 % |
52.94/53.01 c | 104824 | 67358 517097 2045375 | 2147483647 104549 25 | 2.022 % |
52.94/53.09 c | 104934 | 67358 517097 2045375 | 2147483647 104659 25 | 2.022 % |
53.04/53.13 c | 105055 | 67358 517097 2045375 | 2147483647 104780 25 | 2.022 % |
53.14/53.20 c | 105188 | 67358 517097 2045375 | 2147483647 104913 25 | 2.022 % |
53.14/53.28 c | 105335 | 67358 517097 2045375 | 2147483647 105060 25 | 2.022 % |
53.24/53.34 c | 105495 | 67358 517097 2045375 | 2147483647 105220 25 | 2.022 % |
53.44/53.55 c | 105671 | 67358 517097 2045375 | 2147483647 105396 25 | 2.022 % |
53.64/53.71 c | 105864 | 67358 517074 2045278 | 2147483647 105588 25 | 2.022 % |
53.74/53.88 c | 106076 | 67358 517074 2045278 | 2147483647 105800 25 | 2.022 % |
53.84/53.92 c | 106309 | 67356 517074 2045278 | 2147483647 106032 25 | 2.026 % |
53.94/54.04 c | 106565 | 67356 517074 2045278 | 2147483647 106288 25 | 2.026 % |
54.04/54.19 c | 106847 | 67356 517074 2045278 | 2147483647 106570 25 | 2.026 % |
54.14/54.27 c | 107157 | 67356 517074 2045278 | 2147483647 106880 25 | 2.026 % |
54.24/54.38 c | 107496 | 67356 517074 2045278 | 2147483647 107219 25 | 2.026 % |
54.44/54.57 c | 107868 | 67356 517074 2045278 | 2147483647 107591 25 | 2.026 % |
54.54/54.69 c | 108277 | 67356 517074 2045278 | 2147483647 108000 25 | 2.026 % |
54.74/54.84 c | 108726 | 67356 517074 2045278 | 2147483647 108449 25 | 2.026 % |
55.04/55.20 c | 109220 | 67356 517074 2045278 | 2147483647 108943 25 | 2.026 % |
55.34/55.44 c | 109763 | 67312 517074 2045278 | 2147483647 109484 25 | 2.236 % |
55.64/55.74 c | 110359 | 67305 517074 2045278 | 2147483647 110080 25 | 2.236 % |
56.14/56.26 c | 111015 | 67305 517074 2045278 | 2147483647 110736 25 | 2.236 % |
56.54/56.67 c | 111736 | 67305 517074 2045278 | 2147483647 111457 25 | 2.236 % |
57.04/57.18 c | 112528 | 67277 517074 2045278 | 2147483647 112249 25 | 2.236 % |
57.44/57.57 c | 113399 | 67275 517074 2045278 | 2147483647 113118 25 | 2.239 % |
57.54/57.66 c | 114357 | 67275 517074 2045278 | 2147483647 114076 25 | 2.239 % |
57.74/57.84 c | 115411 | 67275 517074 2045278 | 2147483647 115130 25 | 2.239 % |
58.14/58.25 c | 116571 | 67275 517074 2045278 | 2147483647 116290 25 | 2.239 % |
58.33/58.48 c | 117844 | 67275 517074 2045278 | 2147483647 117563 25 | 2.239 % |
58.43/58.53 c | 117944 | 67275 517074 2045278 | 2147483647 117663 25 | 2.239 % |
58.43/58.53 c | 118055 | 67275 517074 2045278 | 2147483647 117774 25 | 2.239 % |
58.43/58.54 c | 118178 | 67275 517074 2045278 | 2147483647 117897 25 | 2.239 % |
58.53/58.65 c | 118312 | 67275 517074 2045278 | 2147483647 118031 25 | 2.239 % |
58.63/58.78 c | 118459 | 67275 517074 2045278 | 2147483647 118178 25 | 2.239 % |
58.73/58.86 c | 118620 | 67275 517074 2045278 | 2147483647 118339 25 | 2.239 % |
58.83/58.98 c | 118797 | 67209 513608 2032479 | 2147483647 118492 25 | 2.239 % |
58.93/59.03 c | 118991 | 67209 513608 2032479 | 2147483647 118686 25 | 2.239 % |
58.93/59.10 c | 119203 | 67209 513608 2032479 | 2147483647 118898 25 | 2.239 % |
59.34/59.44 c | 119436 | 67209 513608 2032479 | 2147483647 119131 25 | 2.239 % |
59.34/59.45 c | 119695 | 67209 513608 2032479 | 2147483647 119390 25 | 2.239 % |
59.53/59.66 c | 119976 | 67209 513608 2032479 | 2147483647 119671 25 | 2.239 % |
59.63/59.74 c | 120285 | 67209 513608 2032479 | 2147483647 119980 25 | 2.239 % |
59.83/59.94 c | 120625 | 67209 513608 2032479 | 2147483647 120320 25 | 2.239 % |
60.03/60.16 c | 120997 | 67209 513608 2032479 | 2147483647 120692 25 | 2.239 % |
60.34/60.46 c | 121407 | 67209 513608 2032479 | 2147483647 121102 25 | 2.239 % |
60.53/60.66 c | 121858 | 67209 513608 2032479 | 2147483647 121553 25 | 2.239 % |
60.63/60.75 c | 122352 | 67207 513608 2032479 | 2147483647 122046 25 | 2.243 % |
60.83/60.98 c | 122895 | 67206 513608 2032479 | 2147483647 122589 25 | 2.243 % |
61.13/61.25 c | 123491 | 67206 513608 2032479 | 2147483647 123185 25 | 2.243 % |
61.33/61.49 c | 124147 | 67206 513608 2032479 | 2147483647 123841 25 | 2.243 % |
61.73/61.83 c | 124869 | 67206 513608 2032479 | 2147483647 124563 25 | 2.243 % |
62.14/62.27 c | 125662 | 67206 513608 2032479 | 2147483647 125356 25 | 2.243 % |
62.34/62.45 c | 126534 | 67206 513608 2032479 | 2147483647 126228 25 | 2.243 % |
62.84/62.98 c | 127493 | 67206 513608 2032479 | 2147483647 127187 25 | 2.243 % |
63.24/63.31 c | 128546 | 67206 513608 2032479 | 2147483647 128240 25 | 2.243 % |
64.14/64.20 c | 129704 | 67206 513608 2032479 | 2147483647 129398 25 | 2.243 % |
64.54/64.69 c | 130978 | 67206 513608 2032479 | 2147483647 130672 25 | 2.243 % |
65.14/65.23 c | 132380 | 67200 513608 2032479 | 2147483647 132073 25 | 2.330 % |
65.34/65.40 c | 132483 | 67146 512235 2027440 | 2147483647 132166 25 | 2.330 % |
65.34/65.41 c | 132594 | 67146 512235 2027440 | 2147483647 132277 25 | 2.330 % |
65.34/65.46 c | 132716 | 67145 512235 2027440 | 2147483647 132398 25 | 2.438 % |
65.34/65.48 c | 132850 | 67145 512235 2027440 | 2147483647 132532 25 | 2.438 % |
65.34/65.49 c | 132996 | 67145 512235 2027440 | 2147483647 132678 25 | 2.438 % |
65.54/65.62 c | 133156 | 67145 512235 2027440 | 2147483647 132838 25 | 2.438 % |
65.64/65.70 c | 133332 | 67145 512235 2027440 | 2147483647 133014 25 | 2.438 % |
65.64/65.77 c | 133526 | 67145 512235 2027440 | 2147483647 133208 25 | 2.438 % |
65.74/65.86 c | 133739 | 67145 512235 2027440 | 2147483647 133421 25 | 2.438 % |
65.74/65.90 c | 133972 | 67145 512235 2027440 | 2147483647 133654 25 | 2.438 % |
65.84/65.99 c | 134228 | 67142 512235 2027440 | 2147483647 133908 25 | 2.452 % |
65.94/66.04 c | 134510 | 67142 512235 2027440 | 2147483647 134190 25 | 2.452 % |
66.24/66.31 c | 134819 | 67134 512235 2027440 | 2147483647 134499 25 | 2.452 % |
66.43/66.55 c | 135158 | 67134 512235 2027440 | 2147483647 134838 25 | 2.452 % |
66.63/66.78 c | 135530 | 67133 512235 2027440 | 2147483647 135210 25 | 2.452 % |
66.83/66.91 c | 135939 | 67133 512235 2027440 | 2147483647 135619 25 | 2.452 % |
67.04/67.11 c | 136389 | 67133 512235 2027440 | 2147483647 136069 25 | 2.452 % |
67.13/67.21 c | 136884 | 67133 512235 2027440 | 2147483647 136564 25 | 2.452 % |
67.33/67.47 c | 137426 | 67133 512235 2027440 | 2147483647 137106 25 | 2.452 % |
67.63/67.71 c | 138023 | 67133 512235 2027440 | 2147483647 137703 25 | 2.452 % |
68.03/68.11 c | 138679 | 67120 512235 2027440 | 2147483647 138359 25 | 2.452 % |
68.33/68.49 c | 139399 | 67116 512235 2027440 | 2147483647 139078 25 | 2.461 % |
68.63/68.77 c | 140191 | 67116 512235 2027440 | 2147483647 139870 25 | 2.461 % |
68.83/68.96 c | 141062 | 67116 512235 2027440 | 2147483647 140741 25 | 2.461 % |
69.03/69.17 c | 142021 | 67116 512235 2027440 | 2147483647 141700 25 | 2.461 % |
69.54/69.68 c | 143074 | 67116 512235 2027440 | 2147483647 142753 25 | 2.461 % |
69.73/69.81 c | 144233 | 67116 512235 2027440 | 2147483647 143912 25 | 2.461 % |
70.34/70.47 c | 145506 | 67116 512235 2027440 | 2147483647 145185 25 | 2.461 % |
71.23/71.32 c | 146907 | 67111 512235 2027440 | 2147483647 146584 25 | 2.468 % |
71.63/71.74 c | 148447 | 67107 512235 2027440 | 2147483647 148123 25 | 2.492 % |
71.73/71.81 c | 148549 | 67105 512235 2027440 | 2147483647 148224 25 | 2.496 % |
71.83/71.95 c | 148659 | 67105 512235 2027440 | 2147483647 148334 25 | 2.496 % |
72.03/72.14 c | 148782 | 67032 510060 2019494 | 2147483647 142231 26 | 2.496 % |
72.13/72.26 c | 148916 | 67032 510060 2019494 | 2147483647 142365 26 | 2.496 % |
72.23/72.37 c | 149062 | 67032 510060 2019494 | 2147483647 142511 26 | 2.496 % |
72.33/72.49 c | 149222 | 67032 510060 2019494 | 2147483647 142671 26 | 2.496 % |
72.44/72.57 c | 149399 | 67032 510060 2019494 | 2147483647 142848 26 | 2.496 % |
72.54/72.70 c | 149594 | 67032 510060 2019494 | 2147483647 143043 26 | 2.496 % |
72.63/72.79 c | 149807 | 67032 510060 2019494 | 2147483647 143256 26 | 2.496 % |
72.83/72.94 c | 150041 | 67032 510060 2019494 | 2147483647 143490 26 | 2.496 % |
73.03/73.13 c | 150297 | 67032 510060 2019494 | 2147483647 143746 26 | 2.496 % |
73.33/73.41 c | 150578 | 66993 510060 2019494 | 2147483647 144025 26 | 2.653 % |
73.43/73.57 c | 150887 | 66993 510060 2019494 | 2147483647 144334 25 | 2.653 % |
73.54/73.68 c | 151226 | 66993 510060 2019494 | 2147483647 144673 25 | 2.653 % |
73.73/73.82 c | 151599 | 66969 510060 2019494 | 2147483647 145046 25 | 2.653 % |
73.93/74.00 c | 152008 | 66969 510060 2019494 | 2147483647 145455 25 | 2.653 % |
74.03/74.18 c | 152458 | 66969 510060 2019494 | 2147483647 145905 25 | 2.653 % |
74.33/74.41 c | 152951 | 66965 510060 2019494 | 2147483647 146397 25 | 2.659 % |
74.43/74.58 c | 153493 | 66960 510060 2019494 | 2147483647 146937 25 | 2.671 % |
74.74/74.84 c | 154091 | 66960 510060 2019494 | 2147483647 147535 25 | 2.671 % |
75.03/75.16 c | 154748 | 66960 510060 2019494 | 2147483647 148192 25 | 2.671 % |
75.33/75.50 c | 155469 | 66960 510060 2019494 | 2147483647 148913 25 | 2.671 % |
75.83/75.91 c | 156262 | 66960 510060 2019494 | 2147483647 149706 25 | 2.671 % |
76.23/76.34 c | 157134 | 66959 510060 2019494 | 2147483647 150577 25 | 2.676 % |
76.93/77.05 c | 158092 | 66959 510060 2019494 | 2147483647 151535 25 | 2.676 % |
77.33/77.46 c | 159146 | 66959 510060 2019494 | 2147483647 152589 25 | 2.676 % |
78.43/78.58 c | 160305 | 66959 510060 2019494 | 2147483647 153748 26 | 2.676 % |
78.93/79.05 c | 161580 | 66959 510060 2019494 | 2147483647 155023 26 | 2.676 % |
79.53/79.60 c | 162982 | 66959 510060 2019494 | 2147483647 156425 26 | 2.676 % |
80.24/80.35 c | 164524 | 66943 510060 2019494 | 2147483647 157967 26 | 2.676 % |
81.24/81.39 c | 166218 | 66908 508405 2012504 | 2147483647 157639 26 | 2.676 % |
81.34/81.48 c | 166318 | 66908 508405 2012504 | 2147483647 157739 26 | 2.676 % |
81.43/81.54 c | 166430 | 66908 508405 2012504 | 2147483647 157851 26 | 2.676 % |
81.53/81.61 c | 166551 | 66908 508405 2012504 | 2147483647 157972 26 | 2.676 % |
81.63/81.78 c | 166684 | 66908 508405 2012504 | 2147483647 158105 26 | 2.676 % |
81.83/81.95 c | 166834 | 66908 508405 2012504 | 2147483647 158255 26 | 2.676 % |
81.93/82.09 c | 166995 | 66908 508405 2012504 | 2147483647 158416 26 | 2.676 % |
82.13/82.21 c | 167171 | 66908 508405 2012504 | 2147483647 158592 26 | 2.676 % |
82.23/82.33 c | 167366 | 66908 508405 2012504 | 2147483647 158787 26 | 2.676 % |
82.34/82.42 c | 167578 | 66908 508405 2012504 | 2147483647 158999 26 | 2.676 % |
82.44/82.56 c | 167812 | 66908 508405 2012504 | 2147483647 159233 26 | 2.676 % |
82.53/82.62 c | 168068 | 66908 508405 2012504 | 2147483647 159489 26 | 2.676 % |
82.63/82.75 c | 168349 | 66908 508405 2012504 | 2147483647 159770 26 | 2.676 % |
82.93/83.07 c | 168660 | 66908 508405 2012504 | 2147483647 160081 26 | 2.676 % |
83.03/83.19 c | 168999 | 66908 508405 2012504 | 2147483647 160420 26 | 2.676 % |
83.23/83.33 c | 169371 | 66908 508405 2012504 | 2147483647 160792 26 | 2.676 % |
83.43/83.52 c | 169780 | 66908 508405 2012504 | 2147483647 161201 26 | 2.676 % |
83.63/83.75 c | 170230 | 66908 508405 2012504 | 2147483647 161651 26 | 2.676 % |
83.83/83.97 c | 170723 | 66908 508405 2012504 | 2147483647 162144 26 | 2.676 % |
84.13/84.25 c | 171265 | 66908 508405 2012504 | 2147483647 162686 26 | 2.676 % |
84.53/84.67 c | 171861 | 66908 508405 2012504 | 2147483647 163282 26 | 2.676 % |
84.83/84.99 c | 172517 | 66908 508405 2012504 | 2147483647 163938 26 | 2.676 % |
85.13/85.28 c | 173237 | 66908 508405 2012504 | 2147483647 164658 26 | 2.676 % |
85.43/85.57 c | 174029 | 66908 508405 2012504 | 2147483647 165450 26 | 2.676 % |
85.93/86.02 c | 174901 | 66908 508405 2012504 | 2147483647 166322 26 | 2.676 % |
86.13/86.27 c | 175859 | 66908 508405 2012504 | 2147483647 167280 26 | 2.676 % |
86.43/86.56 c | 176913 | 66908 508405 2012504 | 2147483647 168334 26 | 2.676 % |
87.03/87.16 c | 178073 | 66908 508405 2012504 | 2147483647 169494 26 | 2.676 % |
87.83/87.98 c | 179346 | 66908 508405 2012504 | 2147483647 170767 26 | 2.676 % |
88.72/88.82 c | 180748 | 66908 508405 2012504 | 2147483647 172169 26 | 2.676 % |
89.32/89.45 c | 182288 | 66908 508405 2012504 | 2147483647 173709 26 | 2.676 % |
89.92/90.10 c | 183983 | 66908 508405 2012504 | 2147483647 175404 26 | 2.676 % |
90.33/90.40 c | 185846 | 66908 508405 2012504 | 2147483647 177267 26 | 2.676 % |
90.33/90.42 c | 185946 | 66908 508405 2012504 | 2147483647 177367 26 | 2.676 % |
90.43/90.52 c | 186056 | 66908 508405 2012504 | 2147483647 177477 26 | 2.676 % |
90.43/90.57 c | 186177 | 66908 508405 2012504 | 2147483647 177598 26 | 2.676 % |
90.63/90.71 c | 186311 | 66908 508405 2012504 | 2147483647 177732 26 | 2.676 % |
90.73/90.84 c | 186457 | 66908 508405 2012504 | 2147483647 177878 26 | 2.676 % |
90.83/90.97 c | 186617 | 66908 508405 2012504 | 2147483647 178038 26 | 2.676 % |
90.93/91.08 c | 186793 | 66908 508405 2012504 | 2147483647 178214 26 | 2.676 % |
91.03/91.18 c | 186986 | 66908 508405 2012504 | 2147483647 178407 26 | 2.676 % |
91.14/91.30 c | 187198 | 66908 508405 2012504 | 2147483647 178619 26 | 2.676 % |
91.33/91.42 c | 187432 | 66908 508405 2012504 | 2147483647 178853 26 | 2.676 % |
91.33/91.49 c | 187689 | 66908 508405 2012504 | 2147483647 179110 26 | 2.676 % |
91.53/91.69 c | 187970 | 66908 508405 2012504 | 2147483647 179391 26 | 2.676 % |
91.73/91.80 c | 188279 | 66908 508405 2012504 | 2147483647 179700 26 | 2.676 % |
91.83/91.96 c | 188618 | 66908 508405 2012504 | 2147483647 180039 26 | 2.676 % |
92.03/92.15 c | 188991 | 66908 508405 2012504 | 2147483647 180412 26 | 2.676 % |
92.23/92.31 c | 189400 | 66908 508405 2012504 | 2147483647 180821 26 | 2.676 % |
92.43/92.52 c | 189850 | 66908 508405 2012504 | 2147483647 181271 26 | 2.676 % |
92.63/92.73 c | 190343 | 66908 508405 2012504 | 2147483647 181764 26 | 2.676 % |
92.93/93.06 c | 190885 | 66908 508405 2012504 | 2147483647 182306 26 | 2.676 % |
93.33/93.47 c | 191481 | 66908 508405 2012504 | 2147483647 182902 26 | 2.676 % |
93.83/93.96 c | 192136 | 66908 508405 2012504 | 2147483647 183557 26 | 2.676 % |
94.33/94.43 c | 192856 | 66908 508405 2012504 | 2147483647 184277 26 | 2.676 % |
94.53/94.60 c | 193649 | 66908 508405 2012504 | 2147483647 185070 26 | 2.676 % |
94.93/95.09 c | 194520 | 66908 508405 2012504 | 2147483647 185941 26 | 2.676 % |
95.33/95.46 c | 195478 | 66908 508405 2012504 | 2147483647 186899 26 | 2.676 % |
95.53/95.69 c | 196531 | 66908 508405 2012504 | 2147483647 187952 26 | 2.676 % |
96.53/96.67 c | 197689 | 66908 508405 2012504 | 2147483647 189110 26 | 2.676 % |
97.52/97.60 c | 198963 | 66908 508405 2012504 | 2147483647 190384 26 | 2.676 % |
97.52/97.69 c | 200364 | 66908 508405 2012504 | 2147483647 191785 26 | 2.676 % |
98.83/98.94 c | 201904 | 66908 508405 2012504 | 2147483647 193325 26 | 2.676 % |
99.93/100.05 c | 203599 | 66908 508405 2012504 | 2147483647 195020 26 | 2.676 % |
101.03/101.18 c | 205463 | 66907 508394 2012474 | 2147483647 196882 26 | 2.678 % |
102.42/102.50 c | 207513 | 66895 508394 2012474 | 2147483647 198931 26 | 2.735 % |
102.52/102.60 c | 207614 | 66895 508394 2012474 | 2147483647 199032 26 | 2.735 % |
102.52/102.67 c | 207724 | 66895 508394 2012474 | 2147483647 199142 26 | 2.735 % |
102.62/102.75 c | 207845 | 66895 508394 2012474 | 2147483647 199263 26 | 2.735 % |
102.82/102.92 c | 207979 | 66895 508394 2012474 | 2147483647 199397 26 | 2.735 % |
102.92/103.03 c | 208125 | 66895 508394 2012474 | 2147483647 199543 26 | 2.735 % |
103.02/103.16 c | 208286 | 66885 508394 2012474 | 2147483647 199704 26 | 2.735 % |
103.32/103.44 c | 208462 | 66885 508394 2012474 | 2147483647 199880 26 | 2.735 % |
103.32/103.49 c | 208656 | 66885 508394 2012474 | 2147483647 200074 26 | 2.735 % |
103.42/103.56 c | 208868 | 66885 508394 2012474 | 2147483647 200286 26 | 2.735 % |
103.42/103.59 c | 209102 | 66885 508394 2012474 | 2147483647 200520 26 | 2.735 % |
103.62/103.77 c | 209359 | 66881 508394 2012474 | 2147483647 200775 26 | 2.740 % |
104.11/104.29 c | 209640 | 66881 508394 2012474 | 2147483647 201056 26 | 2.740 % |
104.32/104.45 c | 209949 | 66881 508394 2012474 | 2147483647 201365 26 | 2.740 % |
104.32/104.47 c | 210288 | 66881 508394 2012474 | 2147483647 201704 26 | 2.740 % |
104.62/104.75 c | 210660 | 66881 508394 2012474 | 2147483647 202076 26 | 2.740 % |
104.72/104.87 c | 211069 | 66881 508394 2012474 | 2147483647 202485 26 | 2.740 % |
105.02/105.18 c | 211518 | 66881 508394 2012474 | 2147483647 202934 26 | 2.740 % |
105.32/105.48 c | 212012 | 66881 508394 2012474 | 2147483647 203428 26 | 2.740 % |
105.82/105.96 c | 212554 | 66881 508394 2012474 | 2147483647 203970 26 | 2.740 % |
106.12/106.24 c | 213150 | 66880 508394 2012474 | 2147483647 204565 26 | 2.745 % |
106.82/106.98 c | 213806 | 66870 508394 2012474 | 2147483647 205221 26 | 2.745 % |
107.22/107.34 c | 214526 | 66870 508394 2012474 | 2147483647 205941 26 | 2.745 % |
107.52/107.63 c | 215318 | 66870 508394 2012474 | 2147483647 206733 26 | 2.745 % |
108.02/108.11 c | 216190 | 66869 508394 2012474 | 2147483647 207604 26 | 2.746 % |
108.62/108.78 c | 217148 | 66869 508394 2012474 | 2147483647 208562 26 | 2.746 % |
109.22/109.30 c | 218201 | 66869 508394 2012474 | 2147483647 209615 26 | 2.746 % |
109.72/109.85 c | 219360 | 66866 508394 2012474 | 2147483647 210772 26 | 2.756 % |
110.22/110.39 c | 220633 | 66863 508394 2012474 | 2147483647 212043 26 | 2.771 % |
111.41/111.56 c | 222034 | 66853 508394 2012474 | 2147483647 213444 26 | 2.771 % |
112.21/112.32 c | 223574 | 66843 507071 2006882 | 2147483647 199472 24 | 2.771 % |
112.51/112.65 c | 225268 | 66843 507071 2006882 | 2147483647 201166 24 | 2.771 % |
113.81/113.94 c | 227133 | 66843 507071 2006882 | 2147483647 203031 24 | 2.771 % |
115.21/115.30 c | 229182 | 66843 507071 2006882 | 2147483647 205080 24 | 2.771 % |
115.71/115.85 c | 231435 | 66843 507071 2006882 | 2147483647 207333 24 | 2.771 % |
115.81/115.97 c | 231535 | 66843 507071 2006882 | 2147483647 207433 24 | 2.771 % |
115.91/116.10 c | 231645 | 66843 507071 2006882 | 2147483647 207543 24 | 2.771 % |
116.11/116.24 c | 231766 | 66805 507071 2006882 | 2147483647 207663 24 | 2.962 % |
116.21/116.40 c | 231899 | 66805 507071 2006882 | 2147483647 207796 24 | 2.962 % |
116.42/116.52 c | 232045 | 66805 507071 2006882 | 2147483647 207942 24 | 2.962 % |
116.52/116.65 c | 232206 | 66805 507071 2006882 | 2147483647 208103 24 | 2.962 % |
116.61/116.79 c | 232382 | 66805 507071 2006882 | 2147483647 208279 24 | 2.962 % |
116.71/116.84 c | 232576 | 66805 507071 2006882 | 2147483647 208473 24 | 2.962 % |
116.81/116.96 c | 232788 | 66799 507071 2006882 | 2147483647 208684 24 | 2.979 % |
117.01/117.13 c | 233021 | 66797 507071 2006882 | 2147483647 208917 24 | 2.979 % |
117.21/117.30 c | 233278 | 66797 507071 2006882 | 2147483647 209174 24 | 2.979 % |
117.41/117.52 c | 233560 | 66797 507071 2006882 | 2147483647 209456 24 | 2.979 % |
117.81/117.95 c | 233870 | 66787 507071 2006882 | 2147483647 209766 24 | 2.979 % |
118.11/118.22 c | 234209 | 66787 507071 2006882 | 2147483647 210105 24 | 2.979 % |
118.41/118.52 c | 234581 | 66787 507071 2006882 | 2147483647 210477 24 | 2.979 % |
118.71/118.85 c | 234993 | 66787 507071 2006882 | 2147483647 210889 24 | 2.979 % |
119.41/119.52 c | 235444 | 66754 507071 2006882 | 2147483647 211340 24 | 2.979 % |
119.41/119.56 c | 235937 | 66754 507071 2006882 | 2147483647 211833 24 | 2.979 % |
119.61/119.77 c | 236482 | 66750 507071 2006882 | 2147483647 212376 24 | 2.985 % |
119.81/119.93 c | 237085 | 66750 507071 2006882 | 2147483647 212979 24 | 2.985 % |
120.31/120.40 c | 237740 | 66750 507071 2006882 | 2147483647 213634 24 | 2.985 % |
120.51/120.60 c | 238462 | 66750 507071 2006882 | 2147483647 214356 24 | 2.985 % |
120.71/120.85 c | 239254 | 66750 507071 2006882 | 2147483647 215148 24 | 2.985 % |
121.01/121.13 c | 240125 | 66750 507071 2006882 | 2147483647 216019 24 | 2.985 % |
121.51/121.61 c | 241085 | 66750 507071 2006882 | 2147483647 216979 24 | 2.985 % |
122.31/122.45 c | 242138 | 66696 504197 1994989 | 2147483647 199854 23 | 2.985 % |
123.21/123.31 c | 243296 | 66696 504197 1994989 | 2147483647 201012 23 | 2.985 % |
123.51/123.66 c | 244572 | 66696 504197 1994989 | 2147483647 202288 23 | 2.985 % |
125.01/125.20 c | 245972 | 66684 504197 1994989 | 2147483647 203685 23 | 3.007 % |
125.61/125.73 c | 247513 | 66683 504197 1994989 | 2147483647 205225 23 | 3.023 % |
126.11/126.23 c | 249207 | 66682 504197 1994989 | 2147483647 206919 23 | 3.023 % |
126.51/126.64 c | 251072 | 66682 504197 1994989 | 2147483647 208784 23 | 3.023 % |
127.41/127.60 c | 253121 | 66682 504197 1994989 | 2147483647 210833 23 | 3.023 % |
127.71/127.83 c | 255378 | 66682 504197 1994989 | 2147483647 213090 23 | 3.023 % |
128.91/129.03 c | 257857 | 66682 504197 1994989 | 2147483647 215569 23 | 3.023 % |
129.01/129.16 c | 257958 | 66682 504197 1994989 | 2147483647 215670 23 | 3.023 % |
129.21/129.30 c | 258068 | 66672 504197 1994989 | 2147483647 215777 23 | 3.066 % |
129.31/129.41 c | 258189 | 66663 504197 1994989 | 2147483647 215898 23 | 3.066 % |
129.40/129.50 c | 258323 | 66655 504197 1994989 | 2147483647 216032 23 | 3.066 % |
129.50/129.63 c | 258470 | 66655 504197 1994989 | 2147483647 216179 23 | 3.066 % |
129.61/129.74 c | 258632 | 66655 504197 1994989 | 2147483647 216341 23 | 3.066 % |
129.80/129.92 c | 258809 | 66655 504197 1994989 | 2147483647 216518 23 | 3.066 % |
129.80/129.97 c | 259003 | 66655 504197 1994989 | 2147483647 216712 23 | 3.066 % |
130.00/130.13 c | 259215 | 66655 504197 1994989 | 2147483647 216924 23 | 3.066 % |
130.10/130.27 c | 259449 | 66655 504197 1994989 | 2147483647 217158 23 | 3.066 % |
130.20/130.33 c | 259705 | 66655 504197 1994989 | 2147483647 217414 23 | 3.066 % |
130.30/130.45 c | 259988 | 66655 504197 1994989 | 2147483647 217697 23 | 3.066 % |
130.50/130.66 c | 260298 | 66655 504197 1994989 | 2147483647 218007 23 | 3.066 % |
130.60/130.79 c | 260638 | 66640 503543 1992288 | 2147483647 214091 23 | 3.066 % |
130.81/130.96 c | 261010 | 66640 503543 1992288 | 2147483647 214463 23 | 3.066 % |
131.10/131.29 c | 261420 | 66637 503543 1992288 | 2147483647 214872 23 | 3.071 % |
131.50/131.63 c | 261869 | 66637 503543 1992288 | 2147483647 215321 23 | 3.071 % |
131.81/132.00 c | 262362 | 66637 503543 1992288 | 2147483647 215814 23 | 3.071 % |
132.20/132.38 c | 262904 | 66637 503543 1992288 | 2147483647 216356 23 | 3.071 % |
132.80/132.94 c | 263502 | 66637 503543 1992288 | 2147483647 216954 23 | 3.071 % |
133.10/133.24 c | 264158 | 66637 503543 1992288 | 2147483647 217610 23 | 3.071 % |
133.30/133.46 c | 264878 | 66637 503543 1992288 | 2147483647 218330 23 | 3.071 % |
133.50/133.62 c | 265670 | 66637 503543 1992288 | 2147483647 219122 23 | 3.071 % |
134.01/134.13 c | 266542 | 66637 503543 1992288 | 2147483647 219994 23 | 3.071 % |
134.20/134.32 c | 267500 | 66637 503543 1992288 | 2147483647 220952 23 | 3.071 % |
134.60/134.70 c | 268554 | 66637 503543 1992288 | 2147483647 222006 23 | 3.071 % |
134.90/135.07 c | 269712 | 66637 503543 1992288 | 2147483647 223164 23 | 3.071 % |
135.21/135.35 c | 270985 | 66637 503543 1992288 | 2147483647 224437 23 | 3.071 % |
136.00/136.14 c | 272386 | 66637 503543 1992288 | 2147483647 225838 23 | 3.071 % |
136.60/136.73 c | 273927 | 66637 503543 1992288 | 2147483647 227379 23 | 3.071 % |
136.90/137.07 c | 275621 | 66637 503543 1992288 | 2147483647 229073 23 | 3.071 % |
137.80/137.99 c | 277485 | 66637 503543 1992288 | 2147483647 230937 23 | 3.071 % |
138.41/138.52 c | 279535 | 66637 503543 1992288 | 2147483647 232987 23 | 3.071 % |
138.90/139.02 c | 281788 | 66637 503543 1992288 | 2147483647 235240 23 | 3.071 % |
140.71/140.81 c | 284266 | 66634 503543 1992288 | 2147483647 237717 23 | 3.078 % |
142.51/142.61 c | 286991 | 66626 503505 1992103 | 2147483647 240023 23 | 3.087 % |
142.61/142.71 c | 287091 | 66622 503505 1992103 | 2147483647 240121 23 | 3.122 % |
142.70/142.88 c | 287201 | 66618 503505 1992103 | 2147483647 240231 23 | 3.122 % |
142.91/143.01 c | 287322 | 66618 503505 1992103 | 2147483647 240352 23 | 3.122 % |
143.10/143.23 c | 287455 | 66618 503505 1992103 | 2147483647 240485 23 | 3.122 % |
143.20/143.32 c | 287602 | 66618 503505 1992103 | 2147483647 240632 23 | 3.122 % |
143.30/143.47 c | 287763 | 66617 503505 1992103 | 2147483647 240792 23 | 3.123 % |
143.50/143.63 c | 287940 | 66617 503505 1992103 | 2147483647 240969 23 | 3.123 % |
143.70/143.82 c | 288134 | 66617 503505 1992103 | 2147483647 241163 23 | 3.123 % |
143.91/144.05 c | 288347 | 66617 503505 1992103 | 2147483647 241376 23 | 3.123 % |
144.20/144.37 c | 288581 | 66613 503505 1992103 | 2147483647 241610 23 | 3.123 % |
144.40/144.60 c | 288837 | 66613 503505 1992103 | 2147483647 241866 23 | 3.123 % |
144.80/144.90 c | 289118 | 66613 503505 1992103 | 2147483647 242147 23 | 3.123 % |
145.00/145.18 c | 289428 | 66613 503505 1992103 | 2147483647 242457 23 | 3.123 % |
145.20/145.37 c | 289768 | 66613 503505 1992103 | 2147483647 242797 23 | 3.123 % |
145.60/145.78 c | 290141 | 66613 503505 1992103 | 2147483647 243170 23 | 3.123 % |
146.10/146.28 c | 290552 | 66608 503505 1992103 | 2147483647 243580 23 | 3.130 % |
146.50/146.60 c | 291002 | 66608 503505 1992103 | 2147483647 244030 23 | 3.130 % |
146.80/146.90 c | 291495 | 66607 503505 1992103 | 2147483647 244522 23 | 3.132 % |
147.30/147.40 c | 292037 | 66607 503505 1992103 | 2147483647 245064 23 | 3.132 % |
147.50/147.64 c | 292633 | 66607 503505 1992103 | 2147483647 245660 23 | 3.132 % |
147.70/147.83 c | 293289 | 66607 503505 1992103 | 2147483647 246316 23 | 3.132 % |
148.20/148.30 c | 294010 | 66607 503505 1992103 | 2147483647 247037 23 | 3.132 % |
149.10/149.23 c | 294802 | 66607 503505 1992103 | 2147483647 247829 23 | 3.132 % |
149.60/149.72 c | 295673 | 66607 503505 1992103 | 2147483647 248700 23 | 3.132 % |
149.90/150.00 c | 296631 | 66607 503505 1992103 | 2147483647 249658 23 | 3.132 % |
151.20/151.39 c | 297684 | 66603 503505 1992103 | 2147483647 250710 23 | 3.138 % |
151.50/151.67 c | 298842 | 66603 503505 1992103 | 2147483647 251868 23 | 3.138 % |
152.09/152.21 c | 300115 | 66591 502920 1989674 | 2147483647 251475 23 | 3.138 % |
152.81/152.95 c | 301516 | 66591 502920 1989674 | 2147483647 252876 23 | 3.138 % |
153.91/154.05 c | 303056 | 66588 502920 1989674 | 2147483647 254415 23 | 3.142 % |
154.70/154.82 c | 304750 | 66588 502920 1989674 | 2147483647 256109 23 | 3.142 % |
155.01/155.18 c | 306613 | 66588 502920 1989674 | 2147483647 257972 23 | 3.142 % |
156.20/156.36 c | 308663 | 66586 502920 1989674 | 2147483647 260021 23 | 3.145 % |
157.50/157.65 c | 310919 | 66584 502920 1989674 | 2147483647 262275 23 | 3.148 % |
157.90/158.01 c | 313397 | 66584 502920 1989674 | 2147483647 264753 23 | 3.148 % |
160.10/160.24 c | 316122 | 66584 502920 1989674 | 2147483647 267478 24 | 3.148 % |
161.30/161.40 c | 319120 | 66584 502920 1989674 | 2147483647 270476 24 | 3.148 % |
161.30/161.46 c | 319220 | 66584 502920 1989674 | 2147483647 270576 24 | 3.148 % |
161.39/161.57 c | 319331 | 66584 502920 1989674 | 2147483647 270687 24 | 3.148 % |
161.50/161.67 c | 319452 | 66584 502920 1989674 | 2147483647 270808 24 | 3.148 % |
161.69/161.88 c | 319587 | 66579 502920 1989674 | 2147483647 270941 24 | 3.155 % |
161.89/162.03 c | 319735 | 66579 502920 1989674 | 2147483647 271089 24 | 3.155 % |
162.09/162.23 c | 319895 | 66579 502920 1989674 | 2147483647 271249 24 | 3.155 % |
162.29/162.44 c | 320071 | 66579 502920 1989674 | 2147483647 271425 24 | 3.155 % |
162.49/162.68 c | 320264 | 66579 502920 1989674 | 2147483647 271618 24 | 3.155 % |
162.99/163.13 c | 320477 | 66579 502920 1989674 | 2147483647 271831 24 | 3.155 % |
163.19/163.37 c | 320712 | 66578 502920 1989674 | 2147483647 272065 24 | 3.156 % |
163.59/163.73 c | 320969 | 66578 502920 1989674 | 2147483647 272322 24 | 3.156 % |
163.70/163.90 c | 321251 | 66578 502920 1989674 | 2147483647 272604 24 | 3.156 % |
164.19/164.36 c | 321561 | 66578 502920 1989674 | 2147483647 272914 24 | 3.156 % |
164.69/164.81 c | 321901 | 66578 502741 1988832 | 2147483647 270831 23 | 3.156 % |
164.99/165.12 c | 322273 | 66578 502741 1988832 | 2147483647 271203 23 | 3.156 % |
165.19/165.39 c | 322682 | 66578 502741 1988832 | 2147483647 271612 23 | 3.156 % |
165.59/165.72 c | 323131 | 66578 502741 1988832 | 2147483647 272061 23 | 3.156 % |
165.79/165.95 c | 323625 | 66578 502741 1988832 | 2147483647 272555 23 | 3.156 % |
166.19/166.30 c | 324168 | 66578 502741 1988832 | 2147483647 273098 23 | 3.156 % |
166.39/166.54 c | 324764 | 66578 502741 1988832 | 2147483647 273694 23 | 3.156 % |
166.59/166.73 c | 325419 | 66578 502741 1988832 | 2147483647 274349 23 | 3.156 % |
167.30/167.46 c | 326139 | 66578 502741 1988832 | 2147483647 275069 23 | 3.156 % |
167.70/167.81 c | 326931 | 66578 502741 1988832 | 2147483647 275861 23 | 3.156 % |
168.20/168.37 c | 327802 | 66578 502741 1988832 | 2147483647 276732 24 | 3.156 % |
168.50/168.67 c | 328763 | 66578 502741 1988832 | 2147483647 277693 24 | 3.156 % |
168.80/168.99 c | 329818 | 66578 502741 1988832 | 2147483647 278748 24 | 3.156 % |
169.30/169.40 c | 330978 | 66573 502741 1988832 | 2147483647 279906 24 | 3.165 % |
169.59/169.71 c | 332253 | 66573 502741 1988832 | 2147483647 281181 24 | 3.165 % |
170.19/170.35 c | 333654 | 66572 502741 1988832 | 2147483647 282582 24 | 3.165 % |
170.89/171.00 c | 335194 | 66566 502741 1988832 | 2147483647 284121 24 | 3.263 % |
171.49/171.61 c | 336889 | 66557 502741 1988832 | 2147483647 285816 24 | 3.263 % |
172.99/173.17 c | 338753 | 66557 502741 1988832 | 2147483647 287680 24 | 3.263 % |
174.49/174.63 c | 340803 | 66557 502741 1988832 | 2147483647 289730 24 | 3.263 % |
175.49/175.70 c | 343058 | 66557 502741 1988832 | 2147483647 291985 24 | 3.263 % |
177.39/177.59 c | 345537 | 66557 502741 1988832 | 2147483647 294464 24 | 3.263 % |
179.20/179.36 c | 348262 | 66504 501213 1983252 | 2147483647 296959 24 | 3.264 % |
180.99/181.19 c | 351259 | 66487 501213 1983252 | 2147483647 299955 24 | 3.289 % |
183.19/183.32 c | 354555 | 66487 501213 1983252 | 2147483647 303251 24 | 3.289 % |
183.29/183.41 c | 354655 | 66487 501213 1983252 | 2147483647 303351 24 | 3.289 % |
183.29/183.46 c | 354766 | 66487 501213 1983252 | 2147483647 303462 24 | 3.289 % |
183.39/183.51 c | 354890 | 66487 501213 1983252 | 2147483647 303586 24 | 3.289 % |
183.39/183.54 c | 355024 | 66487 501213 1983252 | 2147483647 303720 24 | 3.289 % |
183.59/183.79 c | 355170 | 66487 501213 1983252 | 2147483647 303866 24 | 3.289 % |
183.79/183.93 c | 355334 | 66487 501213 1983252 | 2147483647 304030 24 | 3.289 % |
183.89/184.10 c | 355510 | 66487 501213 1983252 | 2147483647 304206 24 | 3.289 % |
184.09/184.24 c | 355707 | 66483 501213 1983252 | 2147483647 304402 24 | 3.298 % |
184.29/184.49 c | 355919 | 66482 501213 1983252 | 2147483647 304614 24 | 3.298 % |
184.59/184.75 c | 356152 | 66482 501213 1983252 | 2147483647 304847 24 | 3.298 % |
184.79/184.95 c | 356408 | 66482 501213 1983252 | 2147483647 305103 24 | 3.298 % |
184.99/185.18 c | 356690 | 66482 501213 1983252 | 2147483647 305385 24 | 3.298 % |
185.39/185.52 c | 357000 | 66482 501213 1983252 | 2147483647 305695 24 | 3.298 % |
185.59/185.78 c | 357339 | 66482 501213 1983252 | 2147483647 306034 24 | 3.298 % |
185.89/186.09 c | 357711 | 66482 501213 1983252 | 2147483647 306406 24 | 3.298 % |
186.39/186.56 c | 358121 | 66482 501213 1983252 | 2147483647 306816 24 | 3.298 % |
186.69/186.86 c | 358576 | 66482 501213 1983252 | 2147483647 307271 24 | 3.298 % |
187.09/187.27 c | 359070 | 66482 501213 1983252 | 2147483647 307765 24 | 3.298 % |
187.59/187.76 c | 359612 | 66482 501213 1983252 | 2147483647 308307 24 | 3.298 % |
187.89/188.00 c | 360209 | 66482 501213 1983252 | 2147483647 308904 24 | 3.298 % |
188.38/188.53 c | 360865 | 66482 501213 1983252 | 2147483647 309560 24 | 3.298 % |
188.99/189.17 c | 361588 | 66482 501213 1983252 | 2147483647 310283 24 | 3.298 % |
189.68/189.80 c | 362380 | 66481 501213 1983252 | 2147483647 311074 24 | 3.299 % |
190.09/190.27 c | 363253 | 66481 501213 1983252 | 2147483647 311947 24 | 3.299 % |
190.58/190.77 c | 364211 | 66481 501213 1983252 | 2147483647 312905 24 | 3.299 % |
191.88/192.04 c | 365264 | 66481 501213 1983252 | 2147483647 313958 24 | 3.299 % |
192.39/192.58 c | 366422 | 66481 501213 1983252 | 2147483647 315116 24 | 3.299 % |
193.29/193.47 c | 367695 | 66479 500847 1981765 | 2147483647 312268 24 | 3.300 % |
194.19/194.34 c | 369095 | 66476 500847 1981765 | 2147483647 313666 24 | 3.305 % |
194.89/195.08 c | 370635 | 66476 500847 1981765 | 2147483647 315206 24 | 3.305 % |
195.38/195.57 c | 372330 | 66476 500847 1981765 | 2147483647 316901 24 | 3.305 % |
196.18/196.30 c | 374193 | 66476 500847 1981765 | 2147483647 318764 25 | 3.305 % |
197.28/197.40 c | 376244 | 66476 500847 1981765 | 2147483647 320815 24 | 3.305 % |
198.78/198.95 c | 378497 | 66476 500847 1981765 | 2147483647 323068 25 | 3.305 % |
199.48/199.62 c | 380976 | 66476 500847 1981765 | 2147483647 325547 25 | 3.305 % |
200.18/200.38 c | 383701 | 66476 500847 1981765 | 2147483647 328272 25 | 3.305 % |
202.08/202.23 c | 386699 | 66476 500847 1981765 | 2147483647 331270 25 | 3.305 % |
203.58/203.78 c | 389997 | 66471 500847 1981765 | 2147483647 334566 25 | 3.312 % |
205.38/205.58 c | 393623 | 66469 500847 1981765 | 2147483647 338190 25 | 3.315 % |
205.59/205.71 c | 393723 | 66469 500847 1981765 | 2147483647 338290 25 | 3.315 % |
205.59/205.77 c | 393833 | 66469 500847 1981765 | 2147483647 338400 25 | 3.315 % |
205.78/205.98 c | 393954 | 66469 500847 1981765 | 2147483647 338521 25 | 3.315 % |
205.88/206.09 c | 394087 | 66469 500847 1981765 | 2147483647 338654 25 | 3.315 % |
206.08/206.27 c | 394233 | 66469 500847 1981765 | 2147483647 338800 25 | 3.315 % |
206.28/206.45 c | 394396 | 66469 500847 1981765 | 2147483647 338963 25 | 3.315 % |
206.38/206.53 c | 394572 | 66469 500847 1981765 | 2147483647 339139 25 | 3.315 % |
206.59/206.71 c | 394766 | 66469 500847 1981765 | 2147483647 339333 25 | 3.315 % |
206.88/207.06 c | 394980 | 66469 500847 1981765 | 2147483647 339547 25 | 3.315 % |
207.18/207.31 c | 395213 | 66469 500847 1981765 | 2147483647 339780 25 | 3.315 % |
207.38/207.54 c | 395470 | 66469 500847 1981765 | 2147483647 340037 25 | 3.315 % |
207.88/208.06 c | 395752 | 66468 500847 1981765 | 2147483647 340318 25 | 3.318 % |
208.18/208.36 c | 396062 | 66468 500847 1981765 | 2147483647 340628 25 | 3.318 % |
208.58/208.78 c | 396401 | 66467 500847 1981765 | 2147483647 340966 25 | 3.319 % |
208.98/209.13 c | 396773 | 66467 500847 1981765 | 2147483647 341338 25 | 3.319 % |
209.28/209.44 c | 397182 | 66467 500847 1981765 | 2147483647 341747 25 | 3.319 % |
209.78/209.91 c | 397631 | 66467 500847 1981765 | 2147483647 342196 25 | 3.319 % |
210.18/210.38 c | 398124 | 66466 500714 1981116 | 2147483647 340627 25 | 3.319 % |
210.58/210.70 c | 398666 | 66466 500714 1981116 | 2147483647 341169 25 | 3.319 % |
211.08/211.25 c | 399262 | 66466 500714 1981116 | 2147483647 341765 25 | 3.319 % |
211.78/211.94 c | 399917 | 66466 500714 1981116 | 2147483647 342420 25 | 3.319 % |
212.28/212.42 c | 400638 | 66466 500714 1981116 | 2147483647 343141 25 | 3.319 % |
212.78/212.98 c | 401430 | 66466 500714 1981116 | 2147483647 343933 25 | 3.319 % |
213.68/213.88 c | 402304 | 66466 500714 1981116 | 2147483647 344807 25 | 3.319 % |
214.68/214.80 c | 403263 | 66463 500714 1981116 | 2147483647 345764 25 | 3.324 % |
215.88/216.09 c | 404316 | 66460 500714 1981116 | 2147483647 346816 25 | 3.331 % |
216.68/216.85 c | 405475 | 66458 500714 1981116 | 2147483647 347975 25 | 3.331 % |
217.28/217.40 c | 406750 | 66458 500714 1981116 | 2147483647 349250 25 | 3.331 % |
218.57/218.78 c | 408150 | 66458 500714 1981116 | 2147483647 350650 25 | 3.331 % |
220.07/220.22 c | 409690 | 66458 500714 1981116 | 2147483647 352190 25 | 3.331 % |
221.17/221.35 c | 411384 | 66458 500714 1981116 | 2147483647 353884 25 | 3.331 % |
221.98/222.14 c | 413248 | 66458 500714 1981116 | 2147483647 355748 25 | 3.331 % |
222.47/222.64 c | 415298 | 66458 500714 1981116 | 2147483647 357798 25 | 3.331 % |
224.88/225.06 c | 417551 | 66458 500714 1981116 | 2147483647 360051 25 | 3.331 % |
226.97/227.16 c | 420030 | 66458 500714 1981116 | 2147483647 362530 25 | 3.331 % |
227.87/228.03 c | 422756 | 66458 500714 1981116 | 2147483647 365256 25 | 3.331 % |
228.87/229.09 c | 425754 | 66458 500714 1981116 | 2147483647 368254 25 | 3.331 % |
231.67/231.82 c | 429051 | 66458 500714 1981116 | 2147483647 371551 25 | 3.331 % |
233.37/233.58 c | 432678 | 66458 500637 1980865 | 2147483647 374925 26 | 3.331 % |
235.87/236.01 c | 436665 | 66458 500637 1980865 | 2147483647 378912 26 | 3.331 % |
235.97/236.11 c | 436766 | 66458 500637 1980865 | 2147483647 379013 26 | 3.331 % |
236.07/236.29 c | 436876 | 66458 500637 1980865 | 2147483647 379123 26 | 3.331 % |
236.37/236.52 c | 436998 | 66458 500637 1980865 | 2147483647 379245 26 | 3.331 % |
236.46/236.62 c | 437132 | 66458 500637 1980865 | 2147483647 379379 26 | 3.331 % |
236.56/236.77 c | 437278 | 66458 500637 1980865 | 2147483647 379525 26 | 3.331 % |
236.86/237.01 c | 437438 | 66458 500637 1980865 | 2147483647 379685 26 | 3.331 % |
237.16/237.39 c | 437614 | 66458 500637 1980865 | 2147483647 379861 26 | 3.331 % |
237.47/237.65 c | 437807 | 66458 500637 1980865 | 2147483647 380054 26 | 3.331 % |
237.56/237.78 c | 438019 | 66458 500637 1980865 | 2147483647 380266 26 | 3.331 % |
237.86/238.02 c | 438255 | 66458 500637 1980865 | 2147483647 380502 26 | 3.331 % |
238.06/238.27 c | 438514 | 66458 500637 1980865 | 2147483647 380761 26 | 3.331 % |
238.26/238.48 c | 438795 | 66458 500637 1980865 | 2147483647 381042 26 | 3.331 % |
238.66/238.81 c | 439107 | 66458 500637 1980865 | 2147483647 381354 26 | 3.331 % |
239.36/239.50 c | 439447 | 66457 500637 1980865 | 2147483647 381693 26 | 3.332 % |
239.66/239.83 c | 439819 | 66457 500637 1980865 | 2147483647 382065 26 | 3.332 % |
240.16/240.30 c | 440229 | 66457 500637 1980865 | 2147483647 382475 26 | 3.332 % |
240.46/240.65 c | 440681 | 66457 500637 1980865 | 2147483647 382927 26 | 3.332 % |
240.97/241.11 c | 441176 | 66456 500637 1980865 | 2147483647 383421 26 | 3.334 % |
241.47/241.62 c | 441718 | 66456 500637 1980865 | 2147483647 383963 26 | 3.334 % |
241.57/241.73 c | 442314 | 66456 500637 1980865 | 2147483647 384559 26 | 3.334 % |
242.27/242.46 c | 442969 | 66456 500637 1980865 | 2147483647 385214 26 | 3.334 % |
242.77/242.94 c | 443689 | 66456 500637 1980865 | 2147483647 385934 26 | 3.334 % |
243.07/243.26 c | 444481 | 66454 500637 1980865 | 2147483647 386724 26 | 3.337 % |
243.97/244.12 c | 445352 | 66454 500637 1980865 | 2147483647 387595 26 | 3.337 % |
244.97/245.15 c | 446310 | 66454 500637 1980865 | 2147483647 388553 26 | 3.337 % |
245.66/245.88 c | 447364 | 66454 500637 1980865 | 2147483647 389607 26 | 3.337 % |
246.27/246.43 c | 448523 | 66454 500637 1980865 | 2147483647 390766 26 | 3.337 % |
247.06/247.27 c | 449796 | 66454 500637 1980865 | 2147483647 392039 26 | 3.337 % |
248.47/248.63 c | 451196 | 66449 500637 1980865 | 2147483647 393438 26 | 3.353 % |
249.76/249.93 c | 452737 | 66449 500637 1980865 | 2147483647 394979 26 | 3.353 % |
250.26/250.45 c | 454431 | 66449 500637 1980865 | 2147483647 396673 26 | 3.353 % |
251.67/251.85 c | 456294 | 66449 500637 1980865 | 2147483647 398536 26 | 3.353 % |
253.56/253.76 c | 458343 | 66443 500637 1980865 | 2147483647 400585 26 | 3.353 % |
255.86/256.04 c | 460597 | 66443 500321 1979829 | 2147483647 402666 26 | 3.353 % |
256.46/256.64 c | 463075 | 66443 500321 1979829 | 2147483647 405144 26 | 3.353 % |
259.25/259.50 c | 465800 | 66443 500321 1979829 | 2147483647 407869 26 | 3.353 % |
260.56/260.78 c | 468797 | 66443 500321 1979829 | 2147483647 410866 26 | 3.353 % |
261.25/261.44 c | 472093 | 66443 500321 1979829 | 2147483647 414162 26 | 3.353 % |
262.45/262.60 c | 475718 | 66443 500321 1979829 | 2147483647 417787 26 | 3.353 % |
265.36/265.59 c | 479706 | 66443 500321 1979829 | 2147483647 421775 26 | 3.353 % |
268.45/268.69 c | 484092 | 66443 500321 1979829 | 2147483647 426161 26 | 3.353 % |
268.65/268.85 c | 484193 | 66443 500321 1979829 | 2147483647 426262 26 | 3.353 % |
268.75/269.00 c | 484303 | 66443 500321 1979829 | 2147483647 426372 26 | 3.353 % |
269.05/269.22 c | 484424 | 66443 500321 1979829 | 2147483647 426493 26 | 3.353 % |
269.05/269.28 c | 484559 | 66443 500321 1979829 | 2147483647 426628 26 | 3.353 % |
269.15/269.34 c | 484705 | 66440 500321 1979829 | 2147483647 426773 26 | 3.357 % |
269.36/269.52 c | 484866 | 66440 500321 1979829 | 2147483647 426934 26 | 3.357 % |
269.55/269.73 c | 485043 | 66440 500321 1979829 | 2147483647 427111 26 | 3.357 % |
269.65/269.89 c | 485236 | 66440 500321 1979829 | 2147483647 427304 26 | 3.357 % |
269.75/269.99 c | 485448 | 66440 500321 1979829 | 2147483647 427516 26 | 3.357 % |
269.95/270.20 c | 485682 | 66440 500321 1979829 | 2147483647 427750 26 | 3.357 % |
270.15/270.33 c | 485941 | 66440 500321 1979829 | 2147483647 428009 26 | 3.357 % |
270.46/270.69 c | 486222 | 66440 500321 1979829 | 2147483647 428290 26 | 3.357 % |
270.85/271.07 c | 486531 | 66440 500321 1979829 | 2147483647 428599 26 | 3.357 % |
271.05/271.29 c | 486871 | 66440 500321 1979829 | 2147483647 428939 26 | 3.357 % |
271.56/271.70 c | 487247 | 66440 500321 1979829 | 2147483647 429315 26 | 3.357 % |
271.95/272.17 c | 487656 | 66440 500321 1979829 | 2147483647 429724 26 | 3.357 % |
272.45/272.64 c | 488106 | 66440 500321 1979829 | 2147483647 430174 26 | 3.357 % |
272.95/273.10 c | 488599 | 66440 500321 1979829 | 2147483647 430667 26 | 3.357 % |
273.66/273.84 c | 489141 | 66440 500321 1979829 | 2147483647 431209 26 | 3.357 % |
274.35/274.52 c | 489741 | 66440 500321 1979829 | 2147483647 431809 26 | 3.357 % |
275.05/275.21 c | 490398 | 66440 500321 1979829 | 2147483647 432466 26 | 3.357 % |
275.95/276.14 c | 491118 | 66440 500321 1979829 | 2147483647 433186 26 | 3.357 % |
277.55/277.70 c | 491910 | 66440 500321 1979829 | 2147483647 433978 26 | 3.357 % |
277.65/277.88 c | 492784 | 66440 500321 1979829 | 2147483647 434852 26 | 3.357 % |
278.75/278.92 c | 493742 | 66440 500321 1979829 | 2147483647 435810 26 | 3.357 % |
279.75/279.94 c | 494795 | 66440 500321 1979829 | 2147483647 436863 26 | 3.357 % |
280.95/281.15 c | 495953 | 66440 500218 1979503 | 2147483647 438013 26 | 3.357 % |
281.45/281.68 c | 497226 | 66440 500218 1979503 | 2147483647 439286 26 | 3.357 % |
282.25/282.49 c | 498627 | 66432 500218 1979503 | 2147483647 440686 26 | 3.369 % |
282.85/283.02 c | 500167 | 66432 500218 1979503 | 2147483647 442226 26 | 3.369 % |
285.14/285.39 c | 501861 | 66432 500218 1979503 | 2147483647 443920 26 | 3.369 % |
286.34/286.57 c | 503724 | 66432 500218 1979503 | 2147483647 445783 26 | 3.369 % |
287.14/287.36 c | 505776 | 66432 500218 1979503 | 2147483647 447835 26 | 3.369 % |
289.75/289.95 c | 508031 | 66432 500218 1979503 | 2147483647 450090 26 | 3.369 % |
290.45/290.63 c | 510512 | 66432 500218 1979503 | 2147483647 452571 26 | 3.369 % |
292.15/292.36 c | 513238 | 66432 500218 1979503 | 2147483647 455297 26 | 3.369 % |
293.35/293.50 c | 516235 | 66432 500218 1979503 | 2147483647 458294 26 | 3.369 % |
296.45/296.61 c | 519531 | 66432 500218 1979503 | 2147483647 461590 27 | 3.369 % |
299.14/299.35 c | 523156 | 66427 500218 1979503 | 2147483647 465214 27 | 3.376 % |
301.44/301.60 c | 527143 | 66427 500218 1979503 | 2147483647 469201 27 | 3.376 % |
304.74/304.94 c | 531528 | 66427 500218 1979503 | 2147483647 473586 27 | 3.376 % |
307.15/307.30 c | 536353 | 66427 500218 1979503 | 2147483647 478411 27 | 3.376 % |
307.54/307.77 c | 536453 | 66427 500030 1978769 | 2147483647 477450 27 | 3.376 % |
307.85/308.02 c | 536564 | 66427 500030 1978769 | 2147483647 477561 27 | 3.376 % |
307.94/308.16 c | 536688 | 66427 500030 1978769 | 2147483647 477685 27 | 3.376 % |
308.04/308.29 c | 536822 | 66427 500030 1978769 | 2147483647 477819 27 | 3.376 % |
308.44/308.60 c | 536969 | 66427 500030 1978769 | 2147483647 477966 27 | 3.376 % |
308.64/308.87 c | 537129 | 66427 500030 1978769 | 2147483647 478126 27 | 3.376 % |
308.85/309.08 c | 537308 | 66427 500030 1978769 | 2147483647 478305 27 | 3.376 % |
309.24/309.41 c | 537503 | 66427 500030 1978769 | 2147483647 478500 27 | 3.376 % |
309.54/309.70 c | 537719 | 66427 500030 1978769 | 2147483647 478716 27 | 3.376 % |
309.64/309.89 c | 537954 | 66427 500030 1978769 | 2147483647 478951 27 | 3.376 % |
309.95/310.16 c | 538210 | 66427 500030 1978769 | 2147483647 479207 27 | 3.376 % |
310.24/310.47 c | 538492 | 66427 500030 1978769 | 2147483647 479489 27 | 3.376 % |
310.64/310.86 c | 538801 | 66427 500030 1978769 | 2147483647 479798 27 | 3.376 % |
311.05/311.30 c | 539141 | 66427 500030 1978769 | 2147483647 480138 27 | 3.376 % |
311.74/311.94 c | 539514 | 66427 500030 1978769 | 2147483647 480511 27 | 3.376 % |
312.34/312.53 c | 539923 | 66427 500030 1978769 | 2147483647 480920 27 | 3.376 % |
312.94/313.14 c | 540373 | 66427 500030 1978769 | 2147483647 481370 27 | 3.376 % |
313.84/314.06 c | 540867 | 66425 500030 1978769 | 2147483647 481863 27 | 3.379 % |
314.44/314.68 c | 541409 | 66425 500030 1978769 | 2147483647 482405 27 | 3.379 % |
314.74/314.90 c | 542005 | 66425 500030 1978769 | 2147483647 483001 27 | 3.379 % |
315.24/315.45 c | 542661 | 66425 500030 1978769 | 2147483647 483657 27 | 3.379 % |
316.84/317.06 c | 543381 | 66425 500030 1978769 | 2147483647 484377 27 | 3.379 % |
317.44/317.67 c | 544173 | 66425 500030 1978769 | 2147483647 485169 27 | 3.379 % |
318.34/318.54 c | 545049 | 66425 500030 1978769 | 2147483647 486045 27 | 3.379 % |
318.84/319.03 c | 546008 | 66425 500030 1978769 | 2147483647 487004 27 | 3.379 % |
319.74/319.97 c | 547061 | 66425 500030 1978769 | 2147483647 488057 27 | 3.379 % |
320.63/320.82 c | 548219 | 66425 500030 1978769 | 2147483647 489215 27 | 3.379 % |
322.14/322.40 c | 549492 | 66425 500030 1978769 | 2147483647 490488 27 | 3.379 % |
323.24/323.48 c | 550892 | 66425 500030 1978769 | 2147483647 491888 27 | 3.379 % |
324.13/324.33 c | 552432 | 66425 500030 1978769 | 2147483647 493428 27 | 3.379 % |
325.13/325.32 c | 554127 | 66425 500030 1978769 | 2147483647 495123 27 | 3.379 % |
326.64/326.90 c | 555990 | 66425 500030 1978769 | 2147483647 496986 27 | 3.379 % |
328.14/328.34 c | 558040 | 66425 500030 1978769 | 2147483647 499036 27 | 3.379 % |
329.34/329.56 c | 560293 | 66425 500030 1978769 | 2147483647 501289 27 | 3.379 % |
332.14/332.31 c | 562774 | 66425 500030 1978769 | 2147483647 503770 27 | 3.379 % |
333.53/333.74 c | 565503 | 66425 500030 1978769 | 2147483647 506499 27 | 3.379 % |
336.73/336.91 c | 568501 | 66425 500030 1978769 | 2147483647 509497 27 | 3.379 % |
339.33/339.51 c | 571797 | 66425 500030 1978769 | 2147483647 512793 27 | 3.379 % |
341.43/341.65 c | 575422 | 66425 500030 1978769 | 2147483647 516418 27 | 3.379 % |
342.93/343.20 c | 579409 | 66425 500020 1978721 | 2147483647 520037 27 | 3.379 % |
346.62/346.88 c | 583796 | 66425 500020 1978721 | 2147483647 524424 27 | 3.379 % |
351.22/351.49 c | 588619 | 66425 500020 1978721 | 2147483647 529247 27 | 3.379 % |
351.82/352.06 c | 593925 | 66425 500020 1978721 | 2147483647 534553 27 | 3.379 % |
352.02/352.26 c | 594026 | 66425 500020 1978721 | 2147483647 534654 27 | 3.379 % |
352.12/352.38 c | 594137 | 66425 500020 1978721 | 2147483647 534765 27 | 3.379 % |
352.32/352.53 c | 594258 | 66425 500020 1978721 | 2147483647 534886 27 | 3.379 % |
352.62/352.81 c | 594391 | 66425 500020 1978721 | 2147483647 535019 27 | 3.379 % |
352.92/353.10 c | 594537 | 66425 500020 1978721 | 2147483647 535165 27 | 3.379 % |
353.12/353.34 c | 594697 | 66425 500020 1978721 | 2147483647 535325 27 | 3.379 % |
353.42/353.63 c | 594873 | 66425 500020 1978721 | 2147483647 535501 27 | 3.379 % |
353.52/353.74 c | 595067 | 66425 500020 1978721 | 2147483647 535695 27 | 3.379 % |
353.92/354.11 c | 595279 | 66425 500020 1978721 | 2147483647 535907 27 | 3.379 % |
354.32/354.52 c | 595514 | 66425 500020 1978721 | 2147483647 536142 27 | 3.379 % |
354.72/354.98 c | 595772 | 66425 500020 1978721 | 2147483647 536400 27 | 3.379 % |
355.32/355.53 c | 596053 | 66425 500020 1978721 | 2147483647 536681 27 | 3.379 % |
355.73/355.97 c | 596362 | 66425 500020 1978721 | 2147483647 536990 27 | 3.379 % |
356.43/356.62 c | 596702 | 66425 500020 1978721 | 2147483647 537330 27 | 3.379 % |
356.83/357.05 c | 597075 | 66425 500020 1978721 | 2147483647 537703 27 | 3.379 % |
357.13/357.31 c | 597486 | 66425 500020 1978721 | 2147483647 538114 27 | 3.379 % |
357.43/357.67 c | 597937 | 66424 500020 1978721 | 2147483647 538564 27 | 3.380 % |
357.92/358.11 c | 598430 | 66424 500020 1978721 | 2147483647 539057 27 | 3.380 % |
358.62/358.88 c | 598972 | 66423 500020 1978721 | 2147483647 539598 27 | 3.382 % |
359.53/359.74 c | 599568 | 66423 500020 1978721 | 2147483647 540194 27 | 3.382 % |
360.12/360.38 c | 600223 | 66423 500020 1978721 | 2147483647 540849 27 | 3.382 % |
360.92/361.13 c | 600943 | 66423 500020 1978721 | 2147483647 541569 27 | 3.382 % |
362.42/362.61 c | 601737 | 66423 500020 1978721 | 2147483647 542363 27 | 3.382 % |
363.83/364.02 c | 602608 | 66423 500020 1978721 | 2147483647 543234 27 | 3.382 % |
365.12/365.32 c | 603568 | 66418 500020 1978721 | 2147483647 544193 27 | 3.395 % |
365.92/366.20 c | 604623 | 66418 500020 1978721 | 2147483647 545248 27 | 3.395 % |
366.72/366.94 c | 605781 | 66418 500020 1978721 | 2147483647 546406 27 | 3.395 % |
368.02/368.29 c | 607054 | 66418 500020 1978721 | 2147483647 547679 27 | 3.395 % |
368.62/368.86 c | 608454 | 66418 500020 1978721 | 2147483647 549079 27 | 3.395 % |
369.42/369.70 c | 609994 | 66418 500020 1978721 | 2147483647 550619 27 | 3.395 % |
371.22/371.41 c | 611688 | 66418 500020 1978721 | 2147483647 552313 27 | 3.395 % |
373.62/373.88 c | 613551 | 66418 500020 1978721 | 2147483647 554176 27 | 3.395 % |
376.91/377.13 c | 615600 | 66418 500020 1978721 | 2147483647 556225 27 | 3.395 % |
379.33/379.59 c | 617853 | 66417 500020 1978721 | 2147483647 558477 27 | 3.396 % |
382.42/382.69 c | 620331 | 66413 499850 1978073 | 2147483647 560773 27 | 3.396 % |
386.31/386.50 c | 623056 | 66413 499850 1978073 | 2147483647 563498 28 | 3.396 % |
388.71/388.98 c | 626055 | 66413 499850 1978073 | 2147483647 566497 28 | 3.396 % |
390.22/390.47 c | 629353 | 66413 499850 1978073 | 2147483647 569795 28 | 3.396 % |
390.91/391.17 c | 632979 | 66413 499850 1978073 | 2147483647 573421 28 | 3.396 % |
395.01/395.27 c | 636968 | 66413 499850 1978073 | 2147483647 577410 28 | 3.396 % |
401.01/401.29 c | 641354 | 66412 499850 1978073 | 2147483647 581795 28 | 3.398 % |
407.91/408.20 c | 646177 | 66409 499850 1978073 | 2147483647 586617 28 | 3.402 % |
415.81/416.03 c | 651482 | 66409 499850 1978073 | 2147483647 591922 28 | 3.402 % |
418.50/418.77 c | 657317 | 66409 499850 1978073 | 2147483647 597757 28 | 3.402 % |
418.70/418.90 c | 657417 | 66409 499850 1978073 | 2147483647 597857 28 | 3.402 % |
418.90/419.12 c | 657527 | 66409 499850 1978073 | 2147483647 597967 28 | 3.402 % |
419.00/419.28 c | 657648 | 66409 499850 1978073 | 2147483647 598088 28 | 3.402 % |
419.10/419.30 c | 657781 | 66409 499850 1978073 | 2147483647 598221 28 | 3.402 % |
419.10/419.33 c | 657930 | 66409 499850 1978073 | 2147483647 598370 28 | 3.402 % |
419.30/419.52 c | 658091 | 66409 499850 1978073 | 2147483647 598531 28 | 3.402 % |
419.41/419.61 c | 658267 | 66409 499850 1978073 | 2147483647 598707 28 | 3.402 % |
419.61/419.87 c | 658460 | 66409 499850 1978073 | 2147483647 598900 28 | 3.402 % |
420.21/420.45 c | 658676 | 66409 499850 1978073 | 2147483647 599116 28 | 3.402 % |
420.81/421.05 c | 658910 | 66409 499850 1978073 | 2147483647 599350 28 | 3.402 % |
421.11/421.39 c | 659166 | 66409 499850 1978073 | 2147483647 599606 28 | 3.402 % |
421.61/421.89 c | 659447 | 66409 499850 1978073 | 2147483647 599887 28 | 3.402 % |
421.91/422.10 c | 659756 | 66409 499850 1978073 | 2147483647 600196 28 | 3.402 % |
422.51/422.76 c | 660096 | 66409 499850 1978073 | 2147483647 600536 28 | 3.402 % |
423.00/423.27 c | 660470 | 66409 499813 1977950 | 2147483647 600909 28 | 3.402 % |
423.50/423.76 c | 660880 | 66409 499813 1977950 | 2147483647 601319 28 | 3.402 % |
423.90/424.17 c | 661329 | 66409 499813 1977950 | 2147483647 601768 28 | 3.402 % |
424.60/424.80 c | 661823 | 66409 499813 1977950 | 2147483647 602262 28 | 3.402 % |
425.51/425.78 c | 662366 | 66409 499813 1977950 | 2147483647 602805 28 | 3.402 % |
426.20/426.45 c | 662966 | 66409 499813 1977950 | 2147483647 603405 28 | 3.402 % |
426.61/426.81 c | 663624 | 66409 499813 1977950 | 2147483647 604063 28 | 3.402 % |
427.10/427.30 c | 664344 | 66409 499813 1977950 | 2147483647 604783 28 | 3.402 % |
427.71/427.92 c | 665136 | 66409 499813 1977950 | 2147483647 605575 28 | 3.402 % |
429.00/429.25 c | 666009 | 66409 499813 1977950 | 2147483647 606448 28 | 3.402 % |
430.40/430.63 c | 666967 | 66409 499813 1977950 | 2147483647 607406 28 | 3.402 % |
431.20/431.49 c | 668020 | 66409 499813 1977950 | 2147483647 608459 28 | 3.402 % |
432.30/432.56 c | 669180 | 66409 499813 1977950 | 2147483647 609619 28 | 3.402 % |
434.30/434.54 c | 670454 | 66408 499813 1977950 | 2147483647 610892 28 | 3.404 % |
435.20/435.47 c | 671854 | 66408 499813 1977950 | 2147483647 612292 28 | 3.404 % |
437.10/437.32 c | 673394 | 66408 499813 1977950 | 2147483647 613832 28 | 3.404 % |
438.50/438.77 c | 675088 | 66408 499813 1977950 | 2147483647 615526 28 | 3.404 % |
439.99/440.22 c | 676951 | 66405 499813 1977950 | 2147483647 617388 28 | 3.408 % |
441.19/441.42 c | 679000 | 66405 499813 1977950 | 2147483647 619437 28 | 3.408 % |
442.49/442.72 c | 681253 | 66405 499813 1977950 | 2147483647 621690 28 | 3.408 % |
446.69/446.95 c | 683731 | 66405 499813 1977950 | 2147483647 624168 28 | 3.408 % |
447.99/448.23 c | 686459 | 66405 499813 1977950 | 2147483647 626896 28 | 3.408 % |
450.89/451.12 c | 689456 | 66405 499813 1977950 | 2147483647 629893 28 | 3.408 % |
455.49/455.75 c | 692752 | 66405 499813 1977950 | 2147483647 633189 28 | 3.408 % |
457.79/458.09 c | 696377 | 66405 499813 1977950 | 2147483647 636814 28 | 3.408 % |
461.99/462.28 c | 700364 | 66405 499813 1977950 | 2147483647 640801 28 | 3.408 % |
467.79/468.02 c | 704751 | 66405 499813 1977950 | 2147483647 645188 28 | 3.408 % |
471.29/471.55 c | 709574 | 66405 499813 1977950 | 2147483647 650011 28 | 3.408 % |
477.88/478.13 c | 714879 | 66403 499698 1977583 | 2147483647 655044 28 | 3.421 % |
480.29/480.51 c | 720715 | 66403 499698 1977583 | 2147483647 660880 28 | 3.421 % |
483.98/484.21 c | 727134 | 66403 499698 1977583 | 2147483647 667299 28 | 3.421 % |
484.18/484.45 c | 727234 | 66403 499698 1977583 | 2147483647 667399 28 | 3.421 % |
484.48/484.79 c | 727345 | 66403 499698 1977583 | 2147483647 667510 28 | 3.421 % |
484.79/485.03 c | 727466 | 66403 499698 1977583 | 2147483647 667631 28 | 3.421 % |
485.08/485.32 c | 727599 | 66403 499698 1977583 | 2147483647 667764 28 | 3.421 % |
485.28/485.53 c | 727746 | 66403 499698 1977583 | 2147483647 667911 28 | 3.421 % |
485.68/485.94 c | 727907 | 66403 499698 1977583 | 2147483647 668072 28 | 3.421 % |
485.78/486.06 c | 728083 | 66403 499698 1977583 | 2147483647 668248 28 | 3.421 % |
486.08/486.34 c | 728276 | 66403 499698 1977583 | 2147483647 668441 28 | 3.421 % |
486.58/486.90 c | 728488 | 66403 499698 1977583 | 2147483647 668653 28 | 3.421 % |
487.38/487.66 c | 728722 | 66403 499698 1977583 | 2147483647 668887 28 | 3.421 % |
487.98/488.20 c | 728978 | 66403 499698 1977583 | 2147483647 669143 28 | 3.421 % |
488.38/488.63 c | 729259 | 66403 499698 1977583 | 2147483647 669424 28 | 3.421 % |
489.08/489.32 c | 729572 | 66403 499698 1977583 | 2147483647 669737 28 | 3.421 % |
489.88/490.12 c | 729913 | 66403 499698 1977583 | 2147483647 670078 28 | 3.421 % |
490.38/490.65 c | 730287 | 66403 499698 1977583 | 2147483647 670452 28 | 3.421 % |
490.88/491.11 c | 730696 | 66403 499698 1977583 | 2147483647 670861 28 | 3.421 % |
491.58/491.83 c | 731146 | 66403 499698 1977583 | 2147483647 671311 28 | 3.421 % |
492.07/492.36 c | 731639 | 66403 499698 1977583 | 2147483647 671804 28 | 3.421 % |
492.87/493.16 c | 732182 | 66403 499698 1977583 | 2147483647 672347 28 | 3.421 % |
493.68/493.93 c | 732778 | 66403 499698 1977583 | 2147483647 672943 28 | 3.421 % |
495.47/495.71 c | 733434 | 66400 499698 1977583 | 2147483647 673598 28 | 3.426 % |
496.67/496.95 c | 734155 | 66400 499698 1977583 | 2147483647 674319 28 | 3.426 % |
497.47/497.71 c | 734947 | 66400 499698 1977583 | 2147483647 675111 28 | 3.426 % |
498.17/498.47 c | 735818 | 66400 499698 1977583 | 2147483647 675982 28 | 3.426 % |
499.27/499.54 c | 736779 | 66400 499698 1977583 | 2147483647 676943 28 | 3.426 % |
500.67/500.99 c | 737832 | 66400 499698 1977583 | 2147483647 677996 28 | 3.426 % |
503.67/503.99 c | 738991 | 66400 499698 1977583 | 2147483647 679155 28 | 3.426 % |
505.57/505.84 c | 740266 | 66400 499698 1977583 | 2147483647 680430 28 | 3.426 % |
508.17/508.46 c | 741666 | 66397 499698 1977583 | 2147483647 681829 28 | 3.430 % |
510.37/510.63 c | 743207 | 66397 499698 1977583 | 2147483647 683370 28 | 3.430 % |
512.77/513.06 c | 744901 | 66397 499698 1977583 | 2147483647 685064 28 | 3.430 % |
513.77/514.04 c | 746766 | 66397 499698 1977583 | 2147483647 686929 29 | 3.430 % |
516.36/516.69 c | 748815 | 66397 499698 1977583 | 2147483647 688978 29 | 3.430 % |
519.87/520.18 c | 751070 | 66397 499698 1977583 | 2147483647 691233 29 | 3.430 % |
521.27/521.52 c | 753551 | 66397 499698 1977583 | 2147483647 693714 29 | 3.430 % |
523.37/523.69 c | 756276 | 66394 499698 1977583 | 2147483647 696438 29 | 3.440 % |
525.16/525.43 c | 759276 | 66394 499698 1977583 | 2147483647 699438 29 | 3.440 % |
528.36/528.66 c | 762573 | 66394 499698 1977583 | 2147483647 702735 29 | 3.440 % |
530.36/530.63 c | 766204 | 66383 499293 1976164 | 2147483647 706329 29 | 3.440 % |
533.46/533.74 c | 770191 | 66382 499293 1976164 | 710124 710315 29 | 3.444 % |
541.66/541.93 c | 774580 | 66382 499293 1976164 | 710124 643243 28 | 3.444 % |
543.96/544.26 c | 779403 | 66382 499293 1976164 | 710124 648066 28 | 3.444 % |
548.05/548.34 c | 784708 | 66380 499293 1976164 | 648665 653370 28 | 3.449 % |
552.25/552.50 c | 790545 | 66380 499293 1976164 | 2147483647 593870 28 | 3.449 % |
559.96/560.24 c | 796964 | 66377 499293 1976164 | 2147483647 600288 29 | 3.453 % |
563.56/563.82 c | 804023 | 66377 499293 1976164 | 2147483647 607347 29 | 3.453 % |
563.66/563.99 c | 804124 | 66377 499293 1976164 | 2147483647 607448 29 | 3.453 % |
563.96/564.25 c | 804235 | 66377 499293 1976164 | 2147483647 607559 29 | 3.453 % |
564.26/564.59 c | 804356 | 66377 499293 1976164 | 2147483647 607680 29 | 3.453 % |
564.56/564.80 c | 804490 | 66377 499293 1976164 | 2147483647 607814 29 | 3.453 % |
564.76/565.08 c | 804636 | 66377 499293 1976164 | 2147483647 607960 29 | 3.453 % |
565.06/565.39 c | 804797 | 66377 499293 1976164 | 2147483647 608121 29 | 3.453 % |
565.26/565.59 c | 804973 | 66377 499293 1976164 | 2147483647 608297 29 | 3.453 % |
565.76/566.05 c | 805166 | 66377 499293 1976164 | 2147483647 608490 29 | 3.453 % |
566.06/566.32 c | 805378 | 66377 499293 1976164 | 2147483647 608702 29 | 3.453 % |
566.46/566.78 c | 805612 | 66377 499293 1976164 | 2147483647 608936 29 | 3.453 % |
566.96/567.26 c | 805871 | 66377 499293 1976164 | 2147483647 609195 29 | 3.453 % |
567.56/567.89 c | 806152 | 66377 499293 1976164 | 2147483647 609476 29 | 3.453 % |
567.66/567.97 c | 806461 | 66377 499293 1976164 | 2147483647 609785 29 | 3.453 % |
568.26/568.54 c | 806800 | 66377 499293 1976164 | 2147483647 610124 29 | 3.453 % |
568.75/569.09 c | 807173 | 66377 499293 1976164 | 2147483647 610497 29 | 3.453 % |
569.35/569.63 c | 807582 | 66377 499293 1976164 | 2147483647 610906 29 | 3.453 % |
570.35/570.63 c | 808033 | 66377 499293 1976164 | 2147483647 611357 29 | 3.453 % |
571.35/571.60 c | 808528 | 66377 499293 1976164 | 2147483647 611852 29 | 3.453 % |
571.76/572.01 c | 809072 | 66377 499293 1976164 | 2147483647 612396 29 | 3.453 % |
572.25/572.55 c | 809668 | 66377 499293 1976164 | 2147483647 612992 29 | 3.453 % |
573.05/573.36 c | 810323 | 66377 499293 1976164 | 2147483647 613647 29 | 3.453 % |
573.55/573.84 c | 811043 | 66377 499293 1976164 | 2147483647 614367 29 | 3.453 % |
575.25/575.51 c | 811835 | 66377 499293 1976164 | 2147483647 615159 29 | 3.453 % |
576.45/576.76 c | 812706 | 66377 499293 1976164 | 2147483647 616030 29 | 3.453 % |
578.85/579.15 c | 813664 | 66376 499293 1976164 | 2147483647 616987 29 | 3.455 % |
580.05/580.35 c | 814718 | 66376 499293 1976164 | 2147483647 618041 29 | 3.455 % |
581.45/581.79 c | 815878 | 66376 499293 1976164 | 2147483647 619201 29 | 3.455 % |
582.45/582.71 c | 817152 | 66376 499293 1976164 | 2147483647 620475 29 | 3.455 % |
583.55/583.85 c | 818552 | 66376 499293 1976164 | 2147483647 621875 29 | 3.455 % |
585.35/585.66 c | 820092 | 66376 499293 1976164 | 2147483647 623415 29 | 3.455 % |
587.15/587.42 c | 821788 | 66376 499293 1976164 | 2147483647 625111 29 | 3.455 % |
587.44/587.74 c | 823651 | 66376 499293 1976164 | 2147483647 626974 29 | 3.455 % |
588.64/588.90 c | 825700 | 66376 499293 1976164 | 2147483647 629023 29 | 3.455 % |
591.14/591.44 c | 827955 | 66376 499293 1976164 | 2147483647 631278 29 | 3.455 % |
592.14/592.43 c | 830433 | 66373 499184 1975809 | 2147483647 633749 29 | 3.455 % |
597.24/597.56 c | 833158 | 66373 499184 1975809 | 2147483647 636474 29 | 3.455 % |
601.54/601.88 c | 836156 | 66373 499184 1975809 | 2147483647 639472 29 | 3.455 % |
603.84/604.12 c | 839454 | 66373 499184 1975809 | 2147483647 642770 29 | 3.455 % |
609.24/609.52 c | 843082 | 66373 499184 1975809 | 2147483647 646398 29 | 3.455 % |
614.13/614.49 c | 847072 | 66373 499184 1975809 | 2147483647 650388 29 | 3.455 % |
620.23/620.54 c | 851457 | 66373 499184 1975809 | 2147483647 654773 29 | 3.455 % |
623.13/623.48 c | 856283 | 66373 499184 1975809 | 2147483647 659599 29 | 3.455 % |
630.63/630.96 c | 861588 | 66373 499184 1975809 | 2147483647 664904 29 | 3.455 % |
635.83/636.15 c | 867423 | 66373 499184 1975809 | 2147483647 670739 29 | 3.455 % |
646.72/647.04 c | 873841 | 66373 499184 1975809 | 2147483647 677157 29 | 3.455 % |
649.42/649.73 c | 880900 | 66373 499184 1975809 | 2147483647 684216 29 | 3.455 % |
656.32/656.61 c | 888666 | 66373 499184 1975809 | 2147483647 691982 29 | 3.455 % |
656.42/656.79 c | 888766 | 66373 499184 1975809 | 2147483647 692082 29 | 3.455 % |
656.62/656.93 c | 888877 | 66373 499184 1975809 | 2147483647 692193 29 | 3.455 % |
656.82/657.18 c | 888998 | 66373 499184 1975809 | 2147483647 692314 29 | 3.455 % |
657.12/657.48 c | 889133 | 66373 499184 1975809 | 2147483647 692449 29 | 3.455 % |
657.62/657.94 c | 889280 | 66373 499184 1975809 | 2147483647 692596 29 | 3.455 % |
658.02/658.36 c | 889440 | 66373 499184 1975809 | 2147483647 692756 29 | 3.455 % |
658.32/658.62 c | 889619 | 66373 499184 1975809 | 2147483647 692935 29 | 3.455 % |
658.72/659.01 c | 889812 | 66373 499184 1975809 | 2147483647 693128 29 | 3.455 % |
659.02/659.38 c | 890026 | 66373 499184 1975809 | 2147483647 693342 29 | 3.455 % |
659.32/659.62 c | 890265 | 66373 499184 1975809 | 2147483647 693581 29 | 3.455 % |
659.32/659.68 c | 890521 | 66373 499184 1975809 | 2147483647 693837 29 | 3.455 % |
659.82/660.16 c | 890802 | 66373 499184 1975809 | 2147483647 694118 29 | 3.455 % |
660.42/660.72 c | 891111 | 66373 499184 1975809 | 2147483647 694427 29 | 3.455 % |
661.12/661.44 c | 891450 | 66373 499184 1975809 | 2147483647 694766 29 | 3.455 % |
661.92/662.24 c | 891824 | 66373 499184 1975809 | 2147483647 695140 29 | 3.455 % |
662.22/662.51 c | 892233 | 66373 499184 1975809 | 2147483647 695549 29 | 3.455 % |
663.02/663.37 c | 892684 | 66373 499184 1975809 | 2147483647 696000 29 | 3.455 % |
663.32/663.64 c | 893177 | 66373 499184 1975809 | 2147483647 696493 29 | 3.455 % |
665.02/665.36 c | 893720 | 66373 499184 1975809 | 2147483647 697036 29 | 3.455 % |
665.41/665.77 c | 894316 | 66373 499184 1975809 | 2147483647 697632 29 | 3.455 % |
666.42/666.77 c | 894971 | 66373 499184 1975809 | 2147483647 698287 29 | 3.455 % |
667.02/667.33 c | 895692 | 66373 499184 1975809 | 2147483647 699008 29 | 3.455 % |
667.62/667.99 c | 896485 | 66373 499184 1975809 | 2147483647 699801 29 | 3.455 % |
668.62/668.94 c | 897357 | 66373 499184 1975809 | 2147483647 700673 29 | 3.455 % |
669.92/670.29 c | 898315 | 66373 499184 1975809 | 2147483647 701631 29 | 3.455 % |
672.32/672.60 c | 899369 | 66373 499184 1975809 | 2147483647 702685 29 | 3.455 % |
673.32/673.66 c | 900528 | 66373 499184 1975809 | 2147483647 703844 29 | 3.455 % |
675.42/675.78 c | 901804 | 66373 499184 1975809 | 2147483647 705120 29 | 3.455 % |
677.02/677.37 c | 903204 | 66373 499184 1975809 | 2147483647 706520 29 | 3.455 % |
679.22/679.53 c | 904744 | 66373 499184 1975809 | 2147483647 708060 29 | 3.455 % |
681.11/681.41 c | 906439 | 66373 499184 1975809 | 2147483647 709755 29 | 3.455 % |
684.31/684.65 c | 908302 | 66373 499184 1975809 | 2147483647 711618 29 | 3.455 % |
688.71/689.03 c | 910351 | 66373 499184 1975809 | 2147483647 713667 29 | 3.455 % |
691.01/691.36 c | 912605 | 66373 499184 1975809 | 2147483647 715921 29 | 3.455 % |
693.61/693.96 c | 915086 | 66373 499184 1975809 | 2147483647 718402 30 | 3.455 % |
697.02/697.39 c | 917811 | 66373 499184 1975809 | 2147483647 721127 30 | 3.455 % |
700.51/700.80 c | 920808 | 66373 499184 1975809 | 2147483647 724124 30 | 3.455 % |
705.81/706.15 c | 924104 | 66371 499146 1975645 | 2147483647 727402 30 | 3.458 % |
708.01/708.37 c | 927729 | 66371 499146 1975645 | 2147483647 731027 30 | 3.458 % |
710.90/711.30 c | 931720 | 66371 499146 1975645 | 733300 735018 30 | 3.458 % |
717.50/717.81 c | 936105 | 66362 499146 1975645 | 733300 581274 29 | 3.476 % |
723.30/723.65 c | 940930 | 66362 499146 1975645 | 585170 586099 29 | 3.476 % |
728.20/728.55 c | 946236 | 66362 499146 1975645 | 585170 494991 30 | 3.476 % |
730.40/730.75 c | 952071 | 66362 499146 1975645 | 498756 500826 30 | 3.476 % |
735.39/735.78 c | 958490 | 66362 499146 1975645 | 498756 457054 30 | 3.476 % |
742.29/742.63 c | 965550 | 66362 499146 1975645 | 2147483647 464114 30 | 3.476 % |
753.59/753.96 c | 973314 | 66362 499146 1975645 | 2147483647 471878 30 | 3.476 % |
764.38/764.74 c | 981856 | 66362 499146 1975645 | 2147483647 480420 30 | 3.476 % |
764.78/765.14 c | 981957 | 66362 499146 1975645 | 2147483647 480521 30 | 3.476 % |
764.98/765.35 c | 982069 | 66362 499146 1975645 | 2147483647 480633 30 | 3.476 % |
765.29/765.66 c | 982190 | 66362 499146 1975645 | 2147483647 480754 30 | 3.476 % |
765.48/765.82 c | 982323 | 66362 499146 1975645 | 2147483647 480887 30 | 3.476 % |
765.68/766.04 c | 982470 | 66362 499146 1975645 | 2147483647 481034 30 | 3.476 % |
765.88/766.28 c | 982630 | 66362 499146 1975645 | 2147483647 481194 30 | 3.476 % |
765.98/766.32 c | 982807 | 66362 499146 1975645 | 2147483647 481371 30 | 3.476 % |
766.48/766.83 c | 983000 | 66362 499146 1975645 | 2147483647 481564 30 | 3.476 % |
766.78/767.11 c | 983213 | 66362 499146 1975645 | 2147483647 481777 30 | 3.476 % |
767.19/767.55 c | 983446 | 66362 499146 1975645 | 2147483647 482010 30 | 3.476 % |
767.69/768.06 c | 983702 | 66362 499146 1975645 | 2147483647 482266 30 | 3.476 % |
767.99/768.36 c | 983983 | 66362 499146 1975645 | 2147483647 482547 30 | 3.476 % |
768.69/769.09 c | 984292 | 66358 498866 1974787 | 2147483647 482853 30 | 3.476 % |
769.49/769.86 c | 984632 | 66358 498866 1974787 | 2147483647 483193 30 | 3.476 % |
770.09/770.44 c | 985004 | 66358 498866 1974787 | 2147483647 483565 30 | 3.476 % |
770.79/771.14 c | 985414 | 66358 498866 1974787 | 2147483647 483975 30 | 3.476 % |
771.19/771.51 c | 985863 | 66358 498866 1974787 | 2147483647 484424 30 | 3.476 % |
771.69/772.01 c | 986356 | 66358 498866 1974787 | 2147483647 484917 30 | 3.476 % |
772.39/772.78 c | 986898 | 66358 498866 1974787 | 2147483647 485459 30 | 3.476 % |
772.89/773.25 c | 987494 | 66358 498866 1974787 | 2147483647 486055 30 | 3.476 % |
773.69/774.00 c | 988153 | 66358 498866 1974787 | 2147483647 486714 30 | 3.476 % |
775.09/775.47 c | 988873 | 66358 498866 1974787 | 2147483647 487434 30 | 3.476 % |
776.69/777.09 c | 989668 | 66358 498866 1974787 | 2147483647 488229 30 | 3.476 % |
777.99/778.33 c | 990540 | 66358 498866 1974787 | 2147483647 489101 30 | 3.476 % |
778.49/778.90 c | 991499 | 66357 498866 1974787 | 2147483647 490059 30 | 3.478 % |
779.49/779.89 c | 992553 | 66357 498866 1974787 | 2147483647 491113 30 | 3.478 % |
781.58/781.91 c | 993713 | 66357 498866 1974787 | 2147483647 492273 30 | 3.478 % |
783.68/784.00 c | 994986 | 66357 498866 1974787 | 2147483647 493546 30 | 3.478 % |
786.28/786.60 c | 996388 | 66357 498866 1974787 | 2147483647 494948 30 | 3.478 % |
789.08/789.43 c | 997930 | 66357 498866 1974787 | 2147483647 496490 30 | 3.478 % |
792.28/792.62 c | 999626 | 66357 498866 1974787 | 2147483647 498186 30 | 3.478 % |
795.68/796.04 c | 1001489 | 66357 498866 1974787 | 2147483647 500049 30 | 3.478 % |
799.48/799.87 c | 1003539 | 66357 498866 1974787 | 2147483647 502099 30 | 3.478 % |
802.68/803.09 c | 1005793 | 66357 498866 1974787 | 2147483647 504353 30 | 3.478 % |
805.17/805.53 c | 1008272 | 66357 498866 1974787 | 2147483647 506832 30 | 3.478 % |
810.38/810.71 c | 1010997 | 66357 498866 1974787 | 2147483647 509557 30 | 3.478 % |
812.17/812.51 c | 1013996 | 66357 498820 1974647 | 2147483647 512555 30 | 3.478 % |
816.17/816.59 c | 1017292 | 66357 498820 1974647 | 2147483647 515851 31 | 3.478 % |
818.67/819.00 c | 1020919 | 66357 498820 1974647 | 2147483647 519478 31 | 3.478 % |
823.27/823.67 c | 1024906 | 66357 498820 1974647 | 2147483647 523465 31 | 3.478 % |
828.77/829.12 c | 1029291 | 66233 498820 1974647 | 2147483647 527849 31 | 4.098 % |
832.56/832.94 c | 1034115 | 66233 498820 1974647 | 2147483647 532673 31 | 4.098 % |
836.46/836.83 c | 1039421 | 66233 498820 1974647 | 2147483647 537979 31 | 4.098 % |
844.37/844.72 c | 1045259 | 66233 498820 1974647 | 538558 543817 31 | 4.098 % |
852.26/852.61 c | 1051677 | 66209 498820 1974647 | 2147483647 495861 31 | 4.099 % |
857.36/857.73 c | 1058737 | 66206 498820 1974647 | 2147483647 502920 31 | 4.100 % |
872.75/873.10 c | 1066503 | 66206 498820 1974647 | 2147483647 510686 31 | 4.100 % |
881.95/882.38 c | 1075043 | 65929 491131 1944287 | 2147483647 420633 30 | 4.100 % |
894.85/895.22 c | 1084437 | 65929 491131 1944287 | 2147483647 430027 30 | 4.100 % |
895.05/895.45 c | 1084538 | 65929 491131 1944287 | 2147483647 430128 30 | 4.100 % |
895.35/895.71 c | 1084648 | 65929 491131 1944287 | 2147483647 430238 30 | 4.100 % |
895.65/896.08 c | 1084771 | 65929 491131 1944287 | 2147483647 430361 30 | 4.100 % |
895.84/896.27 c | 1084905 | 65929 491131 1944287 | 2147483647 430495 30 | 4.100 % |
896.15/896.53 c | 1085052 | 65929 491131 1944287 | 2147483647 430642 30 | 4.100 % |
896.34/896.79 c | 1085212 | 65924 491131 1944287 | 2147483647 430801 30 | 4.114 % |
896.74/897.13 c | 1085390 | 65924 491131 1944287 | 2147483647 430979 30 | 4.114 % |
897.04/897.45 c | 1085584 | 65924 491131 1944287 | 2147483647 431173 30 | 4.114 % |
897.34/897.78 c | 1085797 | 65924 491131 1944287 | 2147483647 431386 30 | 4.114 % |
897.84/898.21 c | 1086031 | 65920 491131 1944287 | 2147483647 431620 30 | 4.114 % |
898.14/898.50 c | 1086288 | 65920 491131 1944287 | 2147483647 431877 30 | 4.114 % |
898.64/899.03 c | 1086569 | 65920 491131 1944287 | 2147483647 432158 30 | 4.114 % |
899.24/899.66 c | 1086879 | 65920 491131 1944287 | 2147483647 432468 30 | 4.114 % |
900.14/900.59 c | 1087219 | 65920 491131 1944287 | 2147483647 432808 30 | 4.114 % |
900.34/900.75 c | 1087592 | 65920 491131 1944287 | 2147483647 433181 30 | 4.114 % |
901.04/901.48 c | 1088001 | 65913 491131 1944287 | 2147483647 433589 30 | 4.124 % |
901.74/902.16 c | 1088452 | 65913 491131 1944287 | 2147483647 434040 30 | 4.124 % |
902.65/903.03 c | 1088945 | 65913 491131 1944287 | 2147483647 434533 30 | 4.124 % |
903.34/903.71 c | 1089490 | 65913 491131 1944287 | 2147483647 435078 30 | 4.124 % |
903.85/904.23 c | 1090087 | 65913 491131 1944287 | 2147483647 435675 30 | 4.124 % |
904.85/905.24 c | 1090742 | 65913 491131 1944287 | 2147483647 436330 30 | 4.124 % |
905.64/906.06 c | 1091463 | 65913 491131 1944287 | 2147483647 437051 30 | 4.124 % |
907.24/907.66 c | 1092255 | 65913 491131 1944287 | 2147483647 437843 30 | 4.124 % |
908.64/909.09 c | 1093127 | 65913 491131 1944287 | 2147483647 438715 30 | 4.124 % |
910.24/910.68 c | 1094085 | 65913 491131 1944287 | 2147483647 439673 30 | 4.124 % |
911.04/911.43 c | 1095138 | 65913 491131 1944287 | 2147483647 440726 30 | 4.124 % |
913.04/913.44 c | 1096296 | 65913 491131 1944287 | 2147483647 441884 30 | 4.124 % |
913.74/914.19 c | 1097571 | 65913 491131 1944287 | 2147483647 443159 30 | 4.124 % |
916.44/916.82 c | 1098971 | 65913 491131 1944287 | 2147483647 444559 30 | 4.124 % |
919.24/919.68 c | 1100512 | 65900 490974 1943297 | 2147483647 443793 30 | 4.151 % |
921.14/921.50 c | 1102206 | 65900 490974 1943297 | 2147483647 445487 30 | 4.151 % |
925.23/925.63 c | 1104069 | 65898 490974 1943297 | 2147483647 447350 30 | 4.151 % |
927.63/928.09 c | 1106118 | 65898 490974 1943297 | 2147483647 449399 30 | 4.151 % |
931.44/931.89 c | 1108373 | 65898 490974 1943297 | 2147483647 451654 30 | 4.151 % |
933.34/933.77 c | 1110851 | 65898 490974 1943297 | 2147483647 454132 30 | 4.151 % |
935.04/935.40 c | 1113576 | 65898 490974 1943297 | 2147483647 456857 30 | 4.151 % |
942.04/942.40 c | 1116575 | 65898 490974 1943297 | 2147483647 459856 30 | 4.151 % |
945.73/946.14 c | 1119873 | 65877 490974 1943297 | 2147483647 463152 30 | 4.186 % |
952.14/952.52 c | 1123499 | 65877 490974 1943297 | 2147483647 466778 30 | 4.186 % |
959.63/960.07 c | 1127486 | 65877 490974 1943297 | 2147483647 470765 30 | 4.186 % |
964.43/964.85 c | 1131871 | 65870 490514 1941329 | 2147483647 457462 30 | 4.186 % |
968.53/968.99 c | 1136694 | 65870 490514 1941329 | 2147483647 462285 30 | 4.186 % |
975.23/975.68 c | 1142001 | 65870 490514 1941329 | 2147483647 467592 30 | 4.186 % |
982.72/983.13 c | 1147837 | 65870 490514 1941329 | 2147483647 473428 30 | 4.186 % |
993.32/993.74 c | 1154256 | 65870 490514 1941329 | 475592 479847 30 | 4.186 % |
999.52/999.94 c ===============================================================================
999.52/999.94 c restarts : 1272
999.52/999.94 c conflicts : 1156886 (1171 /sec)
999.52/999.94 c decisions : 5743147 (1.59 % random) (5812 /sec)
999.52/999.94 c propagations : 459065625 (464550 /sec)
999.52/999.94 c conflict literals : 36133202 (25.83 % deleted)
999.52/999.94 c Memory used : 152.13 MB
999.52/999.94 c CPU time : 988.195 s
999.52/999.94 c
999.52/999.94 s UNSATISFIABLE
999.52/999.96 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832411-1242772868/watcher-1832411-1242772868 -o /tmp/evaluation-result-1832411-1242772868/solver-1832411-1242772868 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832411-1242772868.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 25084
/proc/meminfo: memFree=1497872/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=0
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305319274 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 237 197 169 0 50 0
[startup+0.064222 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 25084
/proc/meminfo: memFree=1497872/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=0
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305319274 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101227 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 25084
/proc/meminfo: memFree=1497872/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=0
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305319274 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30125 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 25084
/proc/meminfo: memFree=1497872/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=0
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305319274 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701297 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 25084
/proc/meminfo: memFree=1497872/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=0
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305319274 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50139 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25089
/proc/meminfo: memFree=1358912/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=0
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305319274 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 237 197 169 0 50 0
[pid=25088] ppid=25084 vsize=191164 CPUtime=1.48
/proc/25088/stat : 25088 (SatELite_releas) R 25084 25084 24821 0 -1 4194304 47045 0 0 0 125 23 0 0 25 0 1 0 305319275 195751936 43448 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/25088/statm: 47791 43448 76 173 0 47616 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 196520
[startup+3.10158 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25089
/proc/meminfo: memFree=1316864/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=0
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305319274 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 237 197 169 0 50 0
[pid=25088] ppid=25084 vsize=197540 CPUtime=3.09
/proc/25088/stat : 25088 (SatELite_releas) R 25084 25084 24821 0 -1 4194304 48459 0 0 0 281 28 0 0 25 0 1 0 305319275 202280960 44862 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/25088/statm: 49385 44862 76 173 0 49210 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 202896
[startup+6.30195 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25089
/proc/meminfo: memFree=1289280/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=0
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305319274 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 237 197 169 0 50 0
[pid=25088] ppid=25084 vsize=209020 CPUtime=6.28
/proc/25088/stat : 25088 (SatELite_releas) R 25084 25084 24821 0 -1 4194304 50857 0 0 0 590 38 0 0 25 0 1 0 305319275 214036480 47260 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/25088/statm: 52255 47260 76 173 0 52080 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 214376
[startup+12.7017 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25090
/proc/meminfo: memFree=1413120/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=34996 CPUtime=1.69
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 8348 0 0 0 164 5 0 0 25 0 1 0 305320374 35835904 8321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 8749 8321 77 171 0 8576 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 40352
[startup+25.5012 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25090
/proc/meminfo: memFree=1406848/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=40644 CPUtime=14.48
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 9731 0 0 0 1441 7 0 0 25 0 1 0 305320374 41619456 9704 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 10161 9704 77 171 0 9988 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 46000
[startup+51.1012 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25090
/proc/meminfo: memFree=1398912/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=49076 CPUtime=40.08
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 11798 0 0 0 3998 10 0 0 25 0 1 0 305320374 50253824 11771 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 12269 11771 77 171 0 12096 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 54432
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25090
/proc/meminfo: memFree=1384192/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=63204 CPUtime=91.26
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 15356 0 0 0 9112 14 0 0 25 0 1 0 305320374 64720896 15329 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 15801 15329 77 171 0 15628 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 68560
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1376064/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=71412 CPUtime=151.23
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 17394 0 0 0 15106 17 0 0 25 0 1 0 305320374 73125888 17367 1992294400 134512640 135215339 4294956240 18446744073709551615 134538302 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 17853 17367 77 171 0 17680 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 76768
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1362560/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=85264 CPUtime=211.21
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 20762 0 0 0 21100 21 0 0 25 0 1 0 305320374 87310336 20735 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 21316 20735 77 171 0 21143 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 90620
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1349312/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=98456 CPUtime=271.19
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 24147 0 0 0 27095 24 0 0 25 0 1 0 305320374 100818944 24120 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 24614 24120 77 171 0 24441 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 103812
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1336192/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=111736 CPUtime=331.17
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 27285 0 0 0 33090 27 0 0 25 0 1 0 305320374 114417664 27258 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 27934 27258 77 171 0 27761 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 117092
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1324736/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=122776 CPUtime=391.15
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 30126 0 0 0 39085 30 0 0 25 0 1 0 305320374 125722624 30099 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 30694 30099 77 171 0 30521 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 128132
[startup+462.302 s]
################
# More data... #
################
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1301568/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=146424 CPUtime=631.07
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 35807 0 0 0 63070 37 0 0 25 0 1 0 305320374 149938176 35780 1992294400 134512640 135215339 4294956240 18446744073709551615 134539642 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 36606 35780 77 171 0 36433 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 151780
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1295168/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=152668 CPUtime=691.05
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 37374 0 0 0 69066 39 0 0 25 0 1 0 305320374 156332032 37347 1992294400 134512640 135215339 4294956240 18446744073709551615 134528726 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 38167 37347 77 171 0 37994 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 158024
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1292864/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=154808 CPUtime=751.03
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 37901 0 0 0 75064 39 0 0 25 0 1 0 305320374 158523392 37874 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 38702 37874 77 171 0 38529 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 160164
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1292672/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=154972 CPUtime=811.01
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 37935 0 0 0 81061 40 0 0 25 0 1 0 305320374 158691328 37908 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 38743 37908 77 171 0 38570 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 160328
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1292544/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=154972 CPUtime=870.99
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 37941 0 0 0 87059 40 0 0 25 0 1 0 305320374 158691328 37914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 38743 37914 77 171 0 38570 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 160328
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1292160/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=155292 CPUtime=930.98
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 37999 0 0 0 93057 41 0 0 25 0 1 0 305320374 159019008 37972 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 38823 37972 77 171 0 38650 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 160648
Solver just ended. Dumping a history of the last processes samples
[startup+972.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1291968/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=155460 CPUtime=961.37
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 38049 0 0 0 96096 41 0 0 25 0 1 0 305320374 159191040 38022 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 38865 38022 77 171 0 38692 0
Current children cumulated CPU time (s) 972.33
Current children cumulated vsize (KiB) 160816
[startup+985.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1291904/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=155600 CPUtime=974.17
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 38066 0 0 0 97376 41 0 0 25 0 1 0 305320374 159334400 38039 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 38900 38039 77 171 0 38727 0
Current children cumulated CPU time (s) 985.13
Current children cumulated vsize (KiB) 160956
[startup+991.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1291840/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=155600 CPUtime=980.56
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 38083 0 0 0 98015 41 0 0 25 0 1 0 305320374 159334400 38056 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 38900 38056 77 171 0 38727 0
Current children cumulated CPU time (s) 991.52
Current children cumulated vsize (KiB) 160956
[startup+995.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1291840/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=155600 CPUtime=983.76
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 38084 0 0 0 98335 41 0 0 25 0 1 0 305320374 159334400 38057 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 38900 38057 77 171 0 38727 0
Current children cumulated CPU time (s) 994.72
Current children cumulated vsize (KiB) 160956
[startup+998.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1291776/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=155780 CPUtime=986.96
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 38104 0 0 0 98655 41 0 0 25 0 1 0 305320374 159518720 38077 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 38945 38077 77 171 0 38772 0
Current children cumulated CPU time (s) 997.92
Current children cumulated vsize (KiB) 161136
[startup+999.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1291776/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=155780 CPUtime=987.76
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 38106 0 0 0 98735 41 0 0 25 0 1 0 305320374 159518720 38079 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 38945 38079 77 171 0 38772 0
Current children cumulated CPU time (s) 998.72
Current children cumulated vsize (KiB) 161136
[startup+999.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1291776/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=155780 CPUtime=988.16
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 38106 0 0 0 98775 41 0 0 25 0 1 0 305320374 159518720 38079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 38945 38079 77 171 0 38772 0
Current children cumulated CPU time (s) 999.12
Current children cumulated vsize (KiB) 161136
[startup+999.906 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25092
/proc/meminfo: memFree=1291776/2055920 swapFree=4179688/4192956
[pid=25084] ppid=25082 vsize=5356 CPUtime=10.96
/proc/25084/stat : 25084 (SatELiteGTI) S 25082 25084 24821 0 -1 4194304 336 57066 0 0 0 0 1041 55 16 0 1 0 305319274 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25084/statm: 1339 239 197 169 0 50 0
[pid=25090] ppid=25084 vsize=155780 CPUtime=988.56
/proc/25090/stat : 25090 (minisat_static) R 25084 25084 24821 0 -1 4194304 38106 0 0 0 98815 41 0 0 25 0 1 0 305320374 159518720 38079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25090/statm: 38945 38079 77 171 0 38772 0
Current children cumulated CPU time (s) 999.52
Current children cumulated vsize (KiB) 161136
Child status: 20
Real time (s): 1000
CPU time (s): 999.644
CPU user time (s): 998.61
CPU system time (s): 1.03384
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 222556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 998.61
system time used= 1.03384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95669
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= 50
involuntary context switches= 2096
runsolver used 0.964853 second user time and 2.77058 second system time
The end
Begin job on node73 at 2009-05-20 00:41:10
IDJOB=1832411
IDBENCH=69591
IDSOLVER=671
FILE ID=node73/1832411-1242772868
PBS_JOBID= 9322230
Free space on /tmp= 66084 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832411-1242772868/watcher-1832411-1242772868 -o /tmp/evaluation-result-1832411-1242772868/solver-1832411-1242772868 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832411-1242772868.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED=541835154
node73.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1498352 kB
Buffers: 16140 kB
Cached: 494756 kB
SwapCached: 7740 kB
Active: 313400 kB
Inactive: 206632 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1498352 kB
SwapTotal: 4192956 kB
SwapFree: 4179688 kB
Dirty: 25292 kB
Writeback: 0 kB
Mapped: 13936 kB
Slab: 23540 kB
Committed_AS: 1083268 kB
PageTables: 1412 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66080 MiB
End job on node73 at 2009-05-20 00:57:50