0.00/0.00 c Parsing...
1.31/1.36 c ==============================================================================
1.31/1.36 c | | ORIGINAL | LEARNT | |
1.31/1.36 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.31/1.36 c ==============================================================================
1.31/1.36 c | 0 | 1291713 3013997 | 387513 0 0 nan | 0.000 % |
8.91/8.92 c | 0 | 547995 2160666 | -- 0 -- -- | -- | -743716/-853326
8.91/8.92 c ==============================================================================
8.91/8.92 c Result : #vars: 68748 #clauses: 547995 #literals: 2160666
8.91/8.92 c CPU time: 8.64 s
8.91/8.92 c ==============================================================================
9.61/9.68 c This is MiniSat 2.0 beta
9.61/9.68 c WARNING: for repeatability, setting FPU to use double precision
9.61/9.68 c ============================[ Problem Statistics ]=============================
9.61/9.68 c | |
9.61/9.69 c | Number of variables: 68748 |
9.61/9.69 c | Number of clauses: 547995 |
10.01/10.11 c | Parsing time: 0.32 s |
10.11/10.14 c ============================[ Search Statistics ]==============================
10.11/10.14 c | Conflicts | ORIGINAL | LEARNT | Progress |
10.11/10.14 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.11/10.14 c ===============================================================================
10.11/10.14 c | 0 | 68748 547995 2160666 | 182665 0 nan | 0.000 % |
10.11/10.19 c | 100 | 68748 547995 2160666 | 182665 100 17 | 0.000 % |
10.21/10.26 c | 200 | 68748 547995 2160666 | 182665 200 15 | 0.000 % |
10.41/10.43 c | 301 | 68748 547995 2160666 | 182665 301 15 | 0.000 % |
10.61/10.64 c | 412 | 68748 547995 2160666 | 182665 412 15 | 0.000 % |
10.61/10.68 c | 514 | 68748 547995 2160666 | 182665 514 16 | 0.000 % |
10.71/10.73 c | 625 | 68744 547995 2160666 | 182665 624 14 | 0.019 % |
10.71/10.77 c | 746 | 68744 547995 2160666 | 182665 745 16 | 0.019 % |
10.71/10.78 c | 846 | 68743 547995 2160666 | 182665 844 16 | 0.028 % |
10.81/10.87 c | 957 | 68743 547995 2160666 | 182665 955 16 | 0.028 % |
10.81/10.88 c | 1078 | 68743 547995 2160666 | 182665 1076 16 | 0.028 % |
10.91/10.95 c | 1213 | 68743 547995 2160666 | 182665 1211 18 | 0.028 % |
10.91/10.97 c | 1313 | 68743 547995 2160666 | 182665 1311 18 | 0.028 % |
11.01/11.03 c | 1424 | 68743 547995 2160666 | 182665 1422 18 | 0.028 % |
11.01/11.05 c | 1545 | 68743 547995 2160666 | 182665 1543 17 | 0.028 % |
11.01/11.11 c | 1678 | 68742 547995 2160666 | 182665 1675 17 | 0.038 % |
11.11/11.16 c | 1824 | 68742 547995 2160666 | 182665 1821 17 | 0.038 % |
11.11/11.19 c | 1925 | 68742 547995 2160666 | 182665 1922 18 | 0.038 % |
11.21/11.23 c | 2035 | 68742 547995 2160666 | 182665 2032 18 | 0.038 % |
11.21/11.25 c | 2158 | 68703 547995 2160666 | 182665 2154 19 | 0.516 % |
11.21/11.29 c | 2292 | 68688 547995 2160666 | 182665 2288 19 | 0.516 % |
11.31/11.40 c | 2438 | 68685 547995 2160666 | 182665 2434 19 | 0.516 % |
11.41/11.44 c | 2598 | 68685 547995 2160666 | 182665 2594 19 | 0.516 % |
11.41/11.50 c | 2699 | 68685 547995 2160666 | 182665 2695 19 | 0.516 % |
11.51/11.56 c | 2809 | 68684 547995 2160666 | 182665 2804 19 | 0.525 % |
11.51/11.57 c | 2930 | 68679 547995 2160666 | 182665 2924 19 | 0.534 % |
11.51/11.59 c | 3064 | 68679 547995 2160666 | 182665 3058 19 | 0.534 % |
11.61/11.66 c | 3210 | 68679 547995 2160666 | 182665 3204 19 | 0.534 % |
11.71/11.75 c | 3371 | 68679 547995 2160666 | 182665 3365 19 | 0.534 % |
11.71/11.79 c | 3547 | 68679 547995 2160666 | 182665 3541 18 | 0.534 % |
11.81/11.88 c | 3647 | 68377 539255 2127496 | 182665 3630 18 | 0.541 % |
11.91/11.95 c | 3758 | 68377 539255 2127496 | 182665 3741 19 | 0.541 % |
11.91/11.99 c | 3879 | 68375 539255 2127496 | 182665 3861 18 | 0.636 % |
12.01/12.06 c | 4012 | 68375 539255 2127496 | 182665 3994 19 | 0.636 % |
12.01/12.09 c | 4158 | 68375 539255 2127496 | 182665 4140 19 | 0.636 % |
12.11/12.14 c | 4319 | 68375 539255 2127496 | 182665 4301 19 | 0.636 % |
12.11/12.15 c | 4496 | 68375 539255 2127496 | 182665 4478 19 | 0.636 % |
12.21/12.24 c | 4689 | 68375 539255 2127496 | 182665 4671 19 | 0.636 % |
12.21/12.28 c | 4791 | 68373 539255 2127496 | 182665 4772 19 | 0.643 % |
12.31/12.33 c | 4901 | 68373 539255 2127496 | 182665 4882 19 | 0.643 % |
12.31/12.39 c | 5022 | 68373 539255 2127496 | 182665 5003 19 | 0.643 % |
12.41/12.47 c | 5155 | 68373 539255 2127496 | 182665 5136 19 | 0.643 % |
12.51/12.52 c | 5303 | 68373 539255 2127496 | 182665 5284 19 | 0.643 % |
12.51/12.56 c | 5463 | 68373 539255 2127496 | 182665 5444 19 | 0.643 % |
12.51/12.58 c | 5641 | 68373 539255 2127496 | 182665 5622 19 | 0.643 % |
12.61/12.62 c | 5834 | 68373 539255 2127496 | 182665 5815 19 | 0.643 % |
12.61/12.68 c | 6046 | 68372 539255 2127496 | 182665 6026 19 | 0.644 % |
12.61/12.69 c | 6146 | 68370 539255 2127496 | 182665 6124 19 | 0.650 % |
12.71/12.73 c | 6256 | 68370 539255 2127496 | 182665 6234 19 | 0.650 % |
12.71/12.75 c | 6377 | 68370 539255 2127496 | 182665 6355 19 | 0.650 % |
12.71/12.77 c | 6510 | 68370 539255 2127496 | 182665 6488 19 | 0.650 % |
12.81/12.83 c | 6656 | 68366 539255 2127496 | 182665 6633 20 | 0.655 % |
12.81/12.86 c | 6816 | 68366 539255 2127496 | 182665 6793 20 | 0.655 % |
12.81/12.88 c | 6993 | 68366 539255 2127496 | 182665 6970 20 | 0.655 % |
12.91/12.94 c | 7186 | 68366 539255 2127496 | 182665 7163 20 | 0.655 % |
12.91/12.99 c | 7398 | 68366 539255 2127496 | 182665 7375 20 | 0.655 % |
13.01/13.01 c | 7634 | 68366 539255 2127496 | 182665 7611 19 | 0.655 % |
13.01/13.03 c | 7734 | 68366 539255 2127496 | 182665 7711 19 | 0.655 % |
13.01/13.03 c | 7844 | 68366 539255 2127496 | 182665 7821 19 | 0.655 % |
13.01/13.04 c | 7965 | 68366 539255 2127496 | 182665 7942 19 | 0.655 % |
13.11/13.13 c | 8099 | 68366 539255 2127496 | 182665 8076 20 | 0.655 % |
13.11/13.16 c | 8247 | 68365 539255 2127496 | 182665 8223 20 | 0.666 % |
13.11/13.18 c | 8407 | 68365 539255 2127496 | 182665 8383 20 | 0.666 % |
13.21/13.25 c | 8584 | 68358 539255 2127496 | 182665 8559 20 | 0.676 % |
13.21/13.26 c | 8778 | 68358 539255 2127496 | 182665 8753 20 | 0.676 % |
13.21/13.29 c | 8990 | 68358 539255 2127496 | 182665 8965 19 | 0.676 % |
13.31/13.34 c | 9224 | 68358 539255 2127496 | 182665 9199 19 | 0.676 % |
13.41/13.45 c | 9481 | 68282 538344 2123858 | 182665 9364 20 | 0.681 % |
13.41/13.45 c | 9581 | 68282 538344 2123858 | 182665 9464 20 | 0.681 % |
13.41/13.48 c | 9691 | 68282 538344 2123858 | 182665 9574 20 | 0.681 % |
13.41/13.51 c | 9812 | 68282 538344 2123858 | 182665 9695 20 | 0.681 % |
13.51/13.53 c | 9945 | 68282 538344 2123858 | 182665 9828 20 | 0.681 % |
13.51/13.56 c | 10093 | 68282 538344 2123858 | 2147483647 9976 20 | 0.681 % |
13.51/13.58 c | 10253 | 68282 538344 2123858 | 2147483647 10136 20 | 0.681 % |
13.71/13.74 c | 10429 | 68281 538344 2123858 | 2147483647 10312 20 | 0.681 % |
13.81/13.82 c | 10622 | 68281 538344 2123858 | 2147483647 10505 20 | 0.681 % |
13.91/13.97 c | 10834 | 68275 538344 2123858 | 2147483647 10716 20 | 0.689 % |
14.01/14.03 c | 11070 | 68275 538344 2123858 | 2147483647 10952 19 | 0.689 % |
14.01/14.11 c | 11326 | 68275 538344 2123858 | 2147483647 11208 19 | 0.689 % |
14.11/14.17 c | 11607 | 68275 538344 2123858 | 2147483647 11489 19 | 0.689 % |
14.21/14.23 c | 11708 | 68275 538344 2123858 | 2147483647 11590 19 | 0.689 % |
14.21/14.24 c | 11819 | 68275 538344 2123858 | 2147483647 11701 19 | 0.689 % |
14.21/14.28 c | 11940 | 68275 538344 2123858 | 2147483647 11822 19 | 0.689 % |
14.31/14.34 c | 12074 | 68275 538344 2123858 | 2147483647 11956 19 | 0.689 % |
14.31/14.35 c | 12220 | 68275 538344 2123858 | 2147483647 12102 19 | 0.689 % |
14.41/14.49 c | 12380 | 68275 538344 2123858 | 2147483647 12262 19 | 0.689 % |
14.51/14.53 c | 12557 | 68275 538344 2123858 | 2147483647 12439 19 | 0.689 % |
14.61/14.63 c | 12751 | 68275 538344 2123858 | 2147483647 12633 19 | 0.689 % |
14.61/14.66 c | 12963 | 68275 538344 2123858 | 2147483647 12845 19 | 0.689 % |
14.71/14.72 c | 13197 | 68251 538344 2123858 | 2147483647 13076 19 | 0.967 % |
14.71/14.74 c | 13453 | 68251 538344 2123858 | 2147483647 13332 19 | 0.967 % |
14.71/14.80 c | 13734 | 68251 538344 2123858 | 2147483647 13613 19 | 0.967 % |
14.91/14.91 c | 14043 | 68251 538344 2123858 | 2147483647 13922 20 | 0.967 % |
14.91/14.94 c | 14144 | 68251 538344 2123858 | 2147483647 14023 20 | 0.967 % |
14.91/15.00 c | 14254 | 68251 538344 2123858 | 2147483647 14133 20 | 0.967 % |
15.01/15.03 c | 14375 | 68251 538344 2123858 | 2147483647 14254 20 | 0.967 % |
15.01/15.09 c | 14509 | 68251 538344 2123858 | 2147483647 14388 20 | 0.967 % |
15.11/15.18 c | 14655 | 68083 533804 2107424 | 2147483647 14529 20 | 0.967 % |
15.21/15.22 c | 14816 | 68083 533804 2107424 | 2147483647 14690 20 | 0.967 % |
15.21/15.25 c | 14992 | 68083 533804 2107424 | 2147483647 14866 20 | 0.967 % |
15.21/15.28 c | 15186 | 68083 533804 2107424 | 2147483647 15060 20 | 0.967 % |
15.21/15.30 c | 15398 | 68083 533804 2107424 | 2147483647 15272 20 | 0.967 % |
15.31/15.39 c | 15633 | 68083 533804 2107424 | 2147483647 15507 20 | 0.967 % |
15.41/15.43 c | 15889 | 68083 533804 2107424 | 2147483647 15763 20 | 0.967 % |
15.51/15.52 c | 16171 | 68083 533804 2107424 | 2147483647 16045 20 | 0.967 % |
15.51/15.59 c | 16481 | 68083 533804 2107424 | 2147483647 16355 20 | 0.967 % |
15.61/15.65 c | 16820 | 68083 533804 2107424 | 2147483647 16694 21 | 0.967 % |
15.61/15.66 c | 16920 | 68081 533804 2107424 | 2147483647 16793 21 | 0.976 % |
15.61/15.68 c | 17031 | 68078 533804 2107424 | 2147483647 16904 21 | 0.976 % |
15.71/15.75 c | 17154 | 68078 533804 2107424 | 2147483647 17027 21 | 0.976 % |
15.71/15.81 c | 17287 | 68078 533804 2107424 | 2147483647 17160 21 | 0.976 % |
15.81/15.88 c | 17435 | 68078 533804 2107424 | 2147483647 17308 21 | 0.976 % |
15.91/15.94 c | 17595 | 68078 533804 2107424 | 2147483647 17468 21 | 0.976 % |
16.01/16.02 c | 17772 | 68078 533804 2107424 | 2147483647 17645 21 | 0.976 % |
16.01/16.07 c | 17966 | 68078 533804 2107424 | 2147483647 17839 21 | 0.976 % |
16.01/16.10 c | 18178 | 68078 533804 2107424 | 2147483647 18051 21 | 0.976 % |
16.11/16.13 c | 18413 | 68078 533804 2107424 | 2147483647 18286 21 | 0.976 % |
16.11/16.21 c | 18669 | 68078 533804 2107424 | 2147483647 18542 21 | 0.976 % |
16.21/16.26 c | 18951 | 68078 533804 2107424 | 2147483647 18824 21 | 0.976 % |
16.21/16.28 c | 19261 | 68077 533804 2107424 | 2147483647 19133 21 | 0.977 % |
16.41/16.46 c | 19600 | 68076 533804 2107424 | 2147483647 19472 21 | 0.977 % |
16.51/16.61 c | 19973 | 68076 533804 2107424 | 2147483647 19845 21 | 0.977 % |
16.61/16.62 c | 20074 | 68076 533804 2107424 | 2147483647 19946 21 | 0.977 % |
16.61/16.65 c | 20186 | 68076 533804 2107424 | 2147483647 20058 21 | 0.977 % |
16.61/16.69 c | 20307 | 68076 533804 2107424 | 2147483647 20179 21 | 0.977 % |
16.71/16.73 c | 20441 | 68076 533804 2107424 | 2147483647 20313 21 | 0.977 % |
16.71/16.77 c | 20588 | 68076 533804 2107424 | 2147483647 20460 21 | 0.977 % |
16.81/16.82 c | 20748 | 68076 533804 2107424 | 2147483647 20620 21 | 0.977 % |
16.81/16.85 c | 20926 | 68076 533804 2107424 | 2147483647 20798 21 | 0.977 % |
16.81/16.86 c | 21120 | 68076 533804 2107424 | 2147483647 20992 21 | 0.977 % |
16.81/16.87 c | 21333 | 68076 533804 2107424 | 2147483647 21205 21 | 0.977 % |
17.01/17.06 c | 21566 | 68076 533644 2106951 | 2147483647 21437 21 | 0.977 % |
17.11/17.19 c | 21822 | 68076 533644 2106951 | 2147483647 21693 21 | 0.977 % |
17.21/17.25 c | 22105 | 68075 533644 2106951 | 2147483647 21975 20 | 0.982 % |
17.31/17.32 c | 22415 | 68075 533644 2106951 | 2147483647 22285 21 | 0.982 % |
17.31/17.40 c | 22754 | 68072 533644 2106951 | 2147483647 22622 21 | 1.235 % |
17.41/17.45 c | 23126 | 68072 533644 2106951 | 2147483647 22994 21 | 1.235 % |
17.71/17.77 c | 23535 | 68008 533644 2106951 | 2147483647 23403 21 | 1.235 % |
17.81/17.84 c | 23635 | 68008 533644 2106951 | 2147483647 23503 21 | 1.235 % |
17.91/17.95 c | 23745 | 68008 533644 2106951 | 2147483647 23613 21 | 1.235 % |
18.01/18.06 c | 23867 | 68008 533644 2106951 | 2147483647 23735 21 | 1.235 % |
18.11/18.13 c | 24000 | 68008 533644 2106951 | 2147483647 23868 21 | 1.235 % |
18.11/18.20 c | 24146 | 68008 533644 2106951 | 2147483647 24014 21 | 1.235 % |
18.21/18.22 c | 24307 | 68008 533644 2106951 | 2147483647 24175 21 | 1.235 % |
18.31/18.32 c | 24484 | 68008 533644 2106951 | 2147483647 24352 21 | 1.235 % |
18.31/18.33 c | 24678 | 68008 533644 2106951 | 2147483647 24546 21 | 1.235 % |
18.41/18.48 c | 24891 | 68008 533644 2106951 | 2147483647 24759 21 | 1.235 % |
18.51/18.61 c | 25125 | 68008 533644 2106951 | 2147483647 24993 21 | 1.235 % |
18.61/18.69 c | 25382 | 68008 533644 2106951 | 2147483647 25250 21 | 1.235 % |
18.61/18.71 c | 25664 | 68008 533644 2106951 | 2147483647 25532 21 | 1.235 % |
18.71/18.81 c | 25974 | 68008 533644 2106951 | 2147483647 25842 21 | 1.235 % |
18.81/18.86 c | 26313 | 68008 533644 2106951 | 2147483647 26181 22 | 1.235 % |
18.81/18.89 c | 26685 | 68008 533644 2106951 | 2147483647 26553 22 | 1.235 % |
18.91/18.99 c | 27095 | 68007 533644 2106951 | 2147483647 26962 22 | 1.236 % |
19.11/19.19 c | 27544 | 67898 529337 2091025 | 2147483647 27405 22 | 1.236 % |
19.21/19.23 c | 27644 | 67889 529337 2091025 | 2147483647 27503 22 | 1.251 % |
19.31/19.31 c | 27758 | 67889 529337 2091025 | 2147483647 27617 22 | 1.251 % |
19.31/19.40 c | 27879 | 67887 529337 2091025 | 2147483647 27737 22 | 1.260 % |
19.41/19.45 c | 28012 | 67887 529337 2091025 | 2147483647 27870 22 | 1.260 % |
19.51/19.55 c | 28159 | 67887 529337 2091025 | 2147483647 28017 22 | 1.260 % |
19.51/19.58 c | 28321 | 67887 529337 2091025 | 2147483647 28179 22 | 1.260 % |
19.61/19.67 c | 28498 | 67887 529337 2091025 | 2147483647 28356 22 | 1.260 % |
19.71/19.72 c | 28692 | 67887 529337 2091025 | 2147483647 28550 22 | 1.260 % |
19.71/19.79 c | 28904 | 67887 529337 2091025 | 2147483647 28762 22 | 1.260 % |
19.81/19.87 c | 29138 | 67887 529337 2091025 | 2147483647 28996 22 | 1.260 % |
19.81/19.91 c | 29394 | 67887 529337 2091025 | 2147483647 29252 22 | 1.260 % |
19.91/20.01 c | 29676 | 67887 529337 2091025 | 2147483647 29534 22 | 1.260 % |
20.01/20.07 c | 29985 | 67887 529337 2091025 | 2147483647 29843 22 | 1.260 % |
20.11/20.13 c | 30324 | 67887 529337 2091025 | 2147483647 30182 22 | 1.260 % |
20.21/20.31 c | 30698 | 67869 529337 2091025 | 2147483647 30554 23 | 1.360 % |
20.41/20.43 c | 31108 | 67869 529337 2091025 | 2147483647 30964 22 | 1.360 % |
20.51/20.58 c | 31557 | 67869 529337 2091025 | 2147483647 31413 22 | 1.360 % |
20.61/20.61 c | 32052 | 67869 529337 2091025 | 2147483647 31908 22 | 1.360 % |
20.61/20.65 c | 32153 | 67869 529337 2091025 | 2147483647 32009 22 | 1.360 % |
20.61/20.70 c | 32263 | 67869 529337 2091025 | 2147483647 32119 22 | 1.360 % |
20.71/20.78 c | 32385 | 67869 529337 2091025 | 2147483647 32241 22 | 1.360 % |
20.71/20.80 c | 32518 | 67869 529337 2091025 | 2147483647 32374 22 | 1.360 % |
20.81/20.83 c | 32664 | 67869 529337 2091025 | 2147483647 32520 22 | 1.360 % |
20.81/20.88 c | 32824 | 67869 529337 2091025 | 2147483647 32680 22 | 1.360 % |
20.81/20.89 c | 33000 | 67869 529337 2091025 | 2147483647 32856 22 | 1.360 % |
20.91/20.92 c | 33193 | 67869 529337 2091025 | 2147483647 33049 22 | 1.360 % |
20.91/20.96 c | 33405 | 67869 529337 2091025 | 2147483647 33261 22 | 1.360 % |
21.01/21.02 c | 33638 | 67869 529337 2091025 | 2147483647 33494 22 | 1.360 % |
21.01/21.05 c | 33894 | 67869 529337 2091025 | 2147483647 33750 22 | 1.360 % |
21.11/21.15 c | 34175 | 67869 529337 2091025 | 2147483647 34031 22 | 1.360 % |
21.31/21.35 c | 34485 | 67869 529337 2091025 | 2147483647 34341 22 | 1.360 % |
21.51/21.56 c | 34826 | 67813 527424 2083797 | 2147483647 34660 22 | 1.360 % |
21.61/21.63 c | 35198 | 67813 527424 2083797 | 2147483647 35032 23 | 1.360 % |
21.61/21.66 c | 35608 | 67813 527424 2083797 | 2147483647 35442 23 | 1.360 % |
21.71/21.72 c | 36058 | 67813 527424 2083797 | 2147483647 35892 23 | 1.360 % |
21.81/21.82 c | 36551 | 67813 527424 2083797 | 2147483647 36385 23 | 1.360 % |
22.01/22.02 c | 37093 | 67813 527424 2083797 | 2147483647 36927 23 | 1.360 % |
22.01/22.06 c | 37193 | 67813 527424 2083797 | 2147483647 37027 23 | 1.360 % |
22.01/22.11 c | 37303 | 67813 527424 2083797 | 2147483647 37137 23 | 1.360 % |
22.11/22.16 c | 37426 | 67813 527424 2083797 | 2147483647 37260 23 | 1.360 % |
22.11/22.18 c | 37560 | 67813 527424 2083797 | 2147483647 37394 23 | 1.360 % |
22.21/22.24 c | 37707 | 67813 527424 2083797 | 2147483647 37541 23 | 1.360 % |
22.21/22.31 c | 37869 | 67813 527424 2083797 | 2147483647 37703 23 | 1.360 % |
22.41/22.44 c | 38047 | 67813 527424 2083797 | 2147483647 37881 23 | 1.360 % |
22.51/22.52 c | 38240 | 67809 527424 2083797 | 2147483647 38072 23 | 1.369 % |
22.51/22.59 c | 38453 | 67807 527424 2083797 | 2147483647 38285 23 | 1.369 % |
22.61/22.65 c | 38686 | 67807 527424 2083797 | 2147483647 38518 23 | 1.369 % |
22.81/22.81 c | 38942 | 67807 527424 2083797 | 2147483647 38774 23 | 1.369 % |
22.81/22.83 c | 39224 | 67807 527424 2083797 | 2147483647 39056 23 | 1.369 % |
22.91/22.97 c | 39533 | 67807 527424 2083797 | 2147483647 39365 23 | 1.369 % |
23.11/23.17 c | 39872 | 67804 527424 2083797 | 2147483647 39703 23 | 1.402 % |
23.31/23.32 c | 40245 | 67802 527424 2083797 | 2147483647 40076 23 | 1.402 % |
23.41/23.43 c | 40655 | 67799 527424 2083797 | 2147483647 40483 23 | 1.409 % |
23.71/23.79 c | 41104 | 67773 526398 2080023 | 2147483647 40923 23 | 1.418 % |
24.01/24.03 c | 41598 | 67773 526398 2080023 | 2147483647 41417 23 | 1.418 % |
24.01/24.04 c | 42140 | 67767 526398 2080023 | 2147483647 41958 23 | 1.481 % |
24.31/24.37 c | 42736 | 67764 526398 2080023 | 2147483647 42554 23 | 1.481 % |
24.41/24.42 c | 42839 | 67744 526398 2080023 | 2147483647 42655 23 | 1.682 % |
24.41/24.45 c | 42950 | 67744 526398 2080023 | 2147483647 42766 23 | 1.682 % |
24.51/24.52 c | 43074 | 67744 526398 2080023 | 2147483647 42890 23 | 1.682 % |
24.51/24.53 c | 43207 | 67744 526398 2080023 | 2147483647 43023 23 | 1.682 % |
24.51/24.55 c | 43353 | 67744 526398 2080023 | 2147483647 43169 23 | 1.682 % |
24.61/24.68 c | 43513 | 67692 526398 2080023 | 2147483647 43329 23 | 1.682 % |
24.71/24.79 c | 43690 | 67691 526398 2080023 | 2147483647 43505 23 | 1.683 % |
24.81/24.86 c | 43883 | 67691 526398 2080023 | 2147483647 43698 23 | 1.683 % |
24.81/24.91 c | 44095 | 67688 526398 2080023 | 2147483647 43909 23 | 1.687 % |
24.91/25.01 c | 44328 | 67688 526398 2080023 | 2147483647 44142 23 | 1.687 % |
25.01/25.08 c | 44587 | 67688 526398 2080023 | 2147483647 44401 23 | 1.687 % |
25.31/25.33 c | 44868 | 67688 526398 2080023 | 2147483647 44682 23 | 1.687 % |
25.41/25.50 c | 45177 | 67688 526398 2080023 | 2147483647 44991 23 | 1.687 % |
25.61/25.65 c | 45516 | 67688 526398 2080023 | 2147483647 45330 23 | 1.687 % |
25.61/25.68 c | 45889 | 67688 526398 2080023 | 2147483647 45703 23 | 1.687 % |
25.81/25.91 c | 46299 | 67687 526398 2080023 | 2147483647 46112 24 | 1.689 % |
25.91/25.96 c | 46749 | 67687 526398 2080023 | 2147483647 46562 23 | 1.689 % |
26.11/26.18 c | 47242 | 67687 526398 2080023 | 2147483647 47055 23 | 1.689 % |
26.21/26.24 c | 47784 | 67687 526398 2080023 | 2147483647 47597 23 | 1.689 % |
26.41/26.43 c | 48381 | 67687 526398 2080023 | 2147483647 48194 24 | 1.689 % |
26.71/26.77 c | 49037 | 67587 522195 2064145 | 2147483647 48808 24 | 1.689 % |
26.81/26.83 c | 49140 | 67587 522195 2064145 | 2147483647 48911 24 | 1.689 % |
26.81/26.85 c | 49250 | 67587 522195 2064145 | 2147483647 49021 24 | 1.689 % |
26.81/26.86 c | 49372 | 67587 522195 2064145 | 2147483647 49143 24 | 1.689 % |
26.91/26.93 c | 49507 | 67587 522195 2064145 | 2147483647 49278 24 | 1.689 % |
26.91/27.01 c | 49653 | 67587 522195 2064145 | 2147483647 49424 24 | 1.689 % |
27.01/27.04 c | 49813 | 67587 522195 2064145 | 2147483647 49584 24 | 1.689 % |
27.11/27.14 c | 49989 | 67587 522195 2064145 | 2147483647 49760 24 | 1.689 % |
27.11/27.20 c | 50182 | 67587 522195 2064145 | 2147483647 49953 24 | 1.689 % |
27.21/27.23 c | 50395 | 67587 522195 2064145 | 2147483647 50166 24 | 1.689 % |
27.21/27.30 c | 50628 | 67587 522195 2064145 | 2147483647 50399 24 | 1.689 % |
27.31/27.35 c | 50885 | 67587 522195 2064145 | 2147483647 50656 24 | 1.689 % |
27.41/27.44 c | 51166 | 67587 522195 2064145 | 2147483647 50937 24 | 1.689 % |
27.41/27.51 c | 51475 | 67587 522195 2064145 | 2147483647 51246 24 | 1.689 % |
27.51/27.61 c | 51815 | 67587 522195 2064145 | 2147483647 51586 24 | 1.689 % |
27.61/27.69 c | 52188 | 67587 522195 2064145 | 2147483647 51959 24 | 1.689 % |
28.01/28.10 c | 52598 | 67587 522195 2064145 | 2147483647 52369 24 | 1.689 % |
28.21/28.29 c | 53047 | 67587 522195 2064145 | 2147483647 52818 24 | 1.689 % |
28.51/28.59 c | 53540 | 67587 522195 2064145 | 2147483647 53311 24 | 1.689 % |
28.61/28.68 c | 54082 | 67587 522195 2064145 | 2147483647 53853 24 | 1.689 % |
28.81/28.90 c | 54678 | 67587 522195 2064145 | 2147483647 54449 24 | 1.689 % |
28.91/28.95 c | 55333 | 67587 522195 2064145 | 2147483647 55104 24 | 1.689 % |
29.21/29.31 c | 56054 | 67587 522195 2064145 | 2147483647 55825 24 | 1.689 % |
29.31/29.40 c | 56154 | 67583 522142 2064002 | 2147483647 55923 24 | 1.695 % |
29.41/29.47 c | 56265 | 67583 522142 2064002 | 2147483647 56034 24 | 1.695 % |
29.51/29.54 c | 56386 | 67583 522142 2064002 | 2147483647 56155 24 | 1.695 % |
29.61/29.66 c | 56520 | 67583 522142 2064002 | 2147483647 56289 24 | 1.695 % |
29.61/29.70 c | 56666 | 67583 522142 2064002 | 2147483647 56435 24 | 1.695 % |
29.71/29.76 c | 56828 | 67583 522142 2064002 | 2147483647 56597 24 | 1.695 % |
29.71/29.79 c | 57004 | 67583 522142 2064002 | 2147483647 56773 24 | 1.695 % |
29.81/29.89 c | 57198 | 67583 522142 2064002 | 2147483647 56967 24 | 1.695 % |
29.91/29.98 c | 57410 | 67583 522142 2064002 | 2147483647 57179 24 | 1.695 % |
30.01/30.04 c | 57643 | 67583 522142 2064002 | 2147483647 57412 24 | 1.695 % |
30.11/30.12 c | 57899 | 67583 522142 2064002 | 2147483647 57668 24 | 1.695 % |
30.21/30.25 c | 58181 | 67583 522142 2064002 | 2147483647 57950 24 | 1.695 % |
30.31/30.33 c | 58490 | 67583 522142 2064002 | 2147483647 58259 24 | 1.695 % |
30.41/30.45 c | 58830 | 67583 522142 2064002 | 2147483647 58599 24 | 1.695 % |
30.51/30.53 c | 59203 | 67583 522142 2064002 | 2147483647 58972 24 | 1.695 % |
30.71/30.72 c | 59612 | 67583 522142 2064002 | 2147483647 59381 24 | 1.695 % |
30.91/30.95 c | 60062 | 67583 522142 2064002 | 2147483647 59831 24 | 1.695 % |
31.01/31.06 c | 60555 | 67576 522142 2064002 | 2147483647 60322 24 | 1.708 % |
31.21/31.25 c | 61100 | 67576 522142 2064002 | 2147483647 60867 24 | 1.708 % |
31.51/31.51 c | 61696 | 67576 522142 2064002 | 2147483647 61463 24 | 1.708 % |
31.61/31.64 c | 62352 | 67576 522142 2064002 | 2147483647 62119 24 | 1.708 % |
31.71/31.73 c | 63073 | 67576 522142 2064002 | 2147483647 62840 24 | 1.708 % |
31.91/31.93 c | 63867 | 67576 522142 2064002 | 2147483647 63634 24 | 1.708 % |
31.91/31.95 c | 63967 | 67576 522142 2064002 | 2147483647 63734 24 | 1.708 % |
31.91/31.99 c | 64077 | 67575 522142 2064002 | 2147483647 63843 24 | 1.709 % |
32.01/32.02 c | 64199 | 67575 522142 2064002 | 2147483647 63965 24 | 1.709 % |
32.01/32.09 c | 64332 | 67575 522142 2064002 | 2147483647 64098 24 | 1.709 % |
32.11/32.17 c | 64479 | 67575 522142 2064002 | 2147483647 64245 24 | 1.709 % |
32.21/32.27 c | 64639 | 67575 522142 2064002 | 2147483647 64405 24 | 1.709 % |
32.31/32.31 c | 64816 | 67575 522142 2064002 | 2147483647 64582 24 | 1.709 % |
32.31/32.32 c | 65010 | 67575 522142 2064002 | 2147483647 64776 24 | 1.709 % |
32.31/32.34 c | 65222 | 67575 522142 2064002 | 2147483647 64988 24 | 1.709 % |
32.41/32.44 c | 65456 | 67575 522142 2064002 | 2147483647 65222 24 | 1.709 % |
32.61/32.65 c | 65712 | 67573 521736 2062762 | 2147483647 65478 24 | 1.709 % |
32.81/32.82 c | 65993 | 67573 521736 2062762 | 2147483647 65759 24 | 1.709 % |
32.91/33.00 c | 66302 | 67573 521736 2062762 | 2147483647 66068 24 | 1.709 % |
33.01/33.08 c | 66641 | 67573 521736 2062762 | 2147483647 66407 24 | 1.709 % |
33.11/33.14 c | 67014 | 67573 521736 2062762 | 2147483647 66780 24 | 1.709 % |
33.21/33.22 c | 67423 | 67573 521736 2062762 | 2147483647 67189 24 | 1.709 % |
33.31/33.31 c | 67872 | 67573 521736 2062762 | 2147483647 67638 24 | 1.709 % |
33.41/33.49 c | 68366 | 67573 521736 2062762 | 2147483647 68132 24 | 1.709 % |
33.61/33.70 c | 68909 | 67568 521736 2062762 | 2147483647 68674 24 | 1.716 % |
34.01/34.11 c | 69507 | 67568 521736 2062762 | 2147483647 69272 24 | 1.716 % |
34.31/34.32 c | 70163 | 67555 521736 2062762 | 2147483647 69926 24 | 1.991 % |
34.31/34.39 c | 70883 | 67555 521736 2062762 | 2147483647 70646 24 | 1.991 % |
34.51/34.55 c | 71675 | 67555 521736 2062762 | 2147483647 71438 25 | 1.991 % |
34.71/34.72 c | 72547 | 67555 521736 2062762 | 2147483647 72310 25 | 1.991 % |
34.71/34.76 c | 72647 | 67555 521736 2062762 | 2147483647 72410 25 | 1.991 % |
34.71/34.80 c | 72757 | 67555 521736 2062762 | 2147483647 72520 25 | 1.991 % |
34.81/34.87 c | 72878 | 67555 521736 2062762 | 2147483647 72641 25 | 1.991 % |
34.91/35.00 c | 73011 | 67542 521736 2062762 | 2147483647 72774 25 | 1.991 % |
35.01/35.07 c | 73158 | 67542 521736 2062762 | 2147483647 72921 25 | 1.991 % |
35.11/35.19 c | 73318 | 67542 521736 2062762 | 2147483647 73081 25 | 1.991 % |
35.21/35.27 c | 73494 | 67542 521736 2062762 | 2147483647 73257 25 | 1.991 % |
35.31/35.32 c | 73687 | 67542 521736 2062762 | 2147483647 73450 25 | 1.991 % |
35.31/35.40 c | 73899 | 67542 521736 2062762 | 2147483647 73662 25 | 1.991 % |
35.51/35.52 c | 74133 | 67542 521736 2062762 | 2147483647 73896 25 | 1.991 % |
35.51/35.59 c | 74389 | 67542 521736 2062762 | 2147483647 74152 25 | 1.991 % |
35.81/35.81 c | 74670 | 67497 521736 2062762 | 2147483647 74433 25 | 1.991 % |
35.91/36.00 c | 74979 | 67497 521736 2062762 | 2147483647 74742 25 | 1.991 % |
36.21/36.21 c | 75319 | 67379 517305 2046106 | 2147483647 75067 25 | 1.991 % |
36.31/36.40 c | 75691 | 67379 517305 2046106 | 2147483647 75439 25 | 1.991 % |
36.61/36.61 c | 76101 | 67379 517305 2046106 | 2147483647 75849 25 | 1.991 % |
36.81/36.83 c | 76550 | 67379 517305 2046106 | 2147483647 76298 25 | 1.991 % |
37.01/37.08 c | 77043 | 67379 517305 2046106 | 2147483647 76791 25 | 1.991 % |
37.21/37.27 c | 77586 | 67379 517305 2046106 | 2147483647 77334 25 | 1.991 % |
37.41/37.45 c | 78184 | 67379 517305 2046106 | 2147483647 77932 25 | 1.991 % |
37.71/37.75 c | 78840 | 67379 517305 2046106 | 2147483647 78588 25 | 1.991 % |
37.81/37.86 c | 79560 | 67377 517305 2046106 | 2147483647 79307 25 | 2.000 % |
38.01/38.08 c | 80353 | 67374 517305 2046106 | 2147483647 80100 25 | 2.000 % |
38.21/38.24 c | 81225 | 67374 517305 2046106 | 2147483647 80972 25 | 2.000 % |
38.61/38.70 c | 82184 | 67374 517305 2046106 | 2147483647 81931 25 | 2.000 % |
38.71/38.76 c | 82284 | 67374 517305 2046106 | 2147483647 82031 25 | 2.000 % |
38.71/38.78 c | 82395 | 67372 517305 2046106 | 2147483647 82141 25 | 2.004 % |
38.81/38.81 c | 82517 | 67372 517305 2046106 | 2147483647 82263 25 | 2.004 % |
38.81/38.90 c | 82651 | 67372 517305 2046106 | 2147483647 82397 25 | 2.004 % |
38.91/38.92 c | 82797 | 67372 517305 2046106 | 2147483647 82543 25 | 2.004 % |
38.91/38.97 c | 82958 | 67372 517305 2046106 | 2147483647 82704 25 | 2.004 % |
39.01/39.04 c | 83135 | 67372 517305 2046106 | 2147483647 82881 25 | 2.004 % |
39.01/39.06 c | 83328 | 67372 517305 2046106 | 2147483647 83074 25 | 2.004 % |
39.11/39.14 c | 83540 | 67371 517305 2046106 | 2147483647 83286 25 | 2.004 % |
39.51/39.58 c | 83774 | 67370 517305 2046106 | 2147483647 83520 25 | 2.004 % |
39.71/39.73 c | 84031 | 67368 517305 2046106 | 2147483647 83776 25 | 2.007 % |
39.71/39.76 c | 84314 | 67368 517305 2046106 | 2147483647 84059 25 | 2.007 % |
40.01/40.03 c | 84623 | 67365 517128 2045498 | 2147483647 84356 25 | 2.012 % |
40.11/40.12 c | 84962 | 67365 517128 2045498 | 2147483647 84695 25 | 2.012 % |
40.41/40.50 c | 85334 | 67365 517128 2045498 | 2147483647 85067 25 | 2.012 % |
40.71/40.72 c | 85744 | 67365 517128 2045498 | 2147483647 85477 25 | 2.012 % |
40.81/40.87 c | 86194 | 67365 517128 2045498 | 2147483647 85927 25 | 2.012 % |
40.81/40.89 c | 86687 | 67365 517128 2045498 | 2147483647 86420 25 | 2.012 % |
41.01/41.03 c | 87229 | 67365 517128 2045498 | 2147483647 86962 25 | 2.012 % |
41.11/41.18 c | 87828 | 67365 517128 2045498 | 2147483647 87561 25 | 2.012 % |
41.41/41.49 c | 88483 | 67365 517128 2045498 | 2147483647 88216 25 | 2.012 % |
41.71/41.79 c | 89203 | 67364 517128 2045498 | 2147483647 88935 25 | 2.013 % |
41.81/41.88 c | 89995 | 67364 517128 2045498 | 2147483647 89727 25 | 2.013 % |
42.01/42.10 c | 90866 | 67362 517128 2045498 | 2147483647 90597 25 | 2.018 % |
42.51/42.54 c | 91825 | 67361 517128 2045498 | 2147483647 91556 25 | 2.018 % |
42.91/43.00 c | 92879 | 67361 517128 2045498 | 2147483647 92610 25 | 2.018 % |
43.11/43.14 c | 92979 | 67361 517128 2045498 | 2147483647 92710 25 | 2.018 % |
43.11/43.19 c | 93089 | 67361 517128 2045498 | 2147483647 92820 25 | 2.018 % |
43.21/43.26 c | 93210 | 67361 517128 2045498 | 2147483647 92941 25 | 2.018 % |
43.21/43.30 c | 93343 | 67361 517128 2045498 | 2147483647 93074 25 | 2.018 % |
43.41/43.44 c | 93489 | 67361 517128 2045498 | 2147483647 93220 25 | 2.018 % |
43.41/43.50 c | 93650 | 67361 517128 2045498 | 2147483647 93381 25 | 2.018 % |
43.51/43.55 c | 93826 | 67361 517128 2045498 | 2147483647 93557 25 | 2.018 % |
43.61/43.62 c | 94019 | 67361 517128 2045498 | 2147483647 93750 25 | 2.018 % |
43.61/43.69 c | 94233 | 67361 517128 2045498 | 2147483647 93964 25 | 2.018 % |
44.01/44.04 c | 94466 | 67361 517128 2045498 | 2147483647 94197 25 | 2.018 % |
44.01/44.10 c | 94723 | 67361 517128 2045498 | 2147483647 94454 25 | 2.018 % |
44.11/44.15 c | 95004 | 67361 517128 2045498 | 2147483647 94735 25 | 2.018 % |
44.21/44.27 c | 95313 | 67361 517097 2045375 | 2147483647 95039 25 | 2.018 % |
44.31/44.37 c | 95652 | 67361 517097 2045375 | 2147483647 95378 25 | 2.018 % |
44.41/44.50 c | 96025 | 67361 517097 2045375 | 2147483647 95751 25 | 2.018 % |
44.51/44.59 c | 96434 | 67361 517097 2045375 | 2147483647 96160 25 | 2.018 % |
44.71/44.81 c | 96884 | 67361 517097 2045375 | 2147483647 96610 25 | 2.018 % |
45.11/45.18 c | 97377 | 67361 517097 2045375 | 2147483647 97103 25 | 2.018 % |
45.41/45.50 c | 97920 | 67361 517097 2045375 | 2147483647 97646 25 | 2.018 % |
45.81/45.81 c | 98516 | 67358 517097 2045375 | 2147483647 98241 25 | 2.022 % |
46.01/46.03 c | 99171 | 67358 517097 2045375 | 2147483647 98896 25 | 2.022 % |
46.11/46.16 c | 99892 | 67358 517097 2045375 | 2147483647 99617 25 | 2.022 % |
46.61/46.68 c | 100684 | 67358 517097 2045375 | 2147483647 100409 25 | 2.022 % |
47.21/47.22 c | 101555 | 67358 517097 2045375 | 2147483647 101280 25 | 2.022 % |
47.31/47.36 c | 102513 | 67358 517097 2045375 | 2147483647 102238 25 | 2.022 % |
47.41/47.43 c | 103566 | 67358 517097 2045375 | 2147483647 103291 25 | 2.022 % |
47.91/47.96 c | 104724 | 67358 517097 2045375 | 2147483647 104449 25 | 2.022 % |
48.01/48.03 c | 104824 | 67358 517097 2045375 | 2147483647 104549 25 | 2.022 % |
48.01/48.10 c | 104934 | 67358 517097 2045375 | 2147483647 104659 25 | 2.022 % |
48.11/48.14 c | 105055 | 67358 517097 2045375 | 2147483647 104780 25 | 2.022 % |
48.11/48.20 c | 105188 | 67358 517097 2045375 | 2147483647 104913 25 | 2.022 % |
48.21/48.28 c | 105335 | 67358 517097 2045375 | 2147483647 105060 25 | 2.022 % |
48.31/48.33 c | 105495 | 67358 517097 2045375 | 2147483647 105220 25 | 2.022 % |
48.52/48.52 c | 105671 | 67358 517097 2045375 | 2147483647 105396 25 | 2.022 % |
48.61/48.67 c | 105864 | 67358 517074 2045278 | 2147483647 105588 25 | 2.022 % |
48.81/48.82 c | 106076 | 67358 517074 2045278 | 2147483647 105800 25 | 2.022 % |
48.81/48.86 c | 106309 | 67356 517074 2045278 | 2147483647 106032 25 | 2.026 % |
48.91/48.96 c | 106565 | 67356 517074 2045278 | 2147483647 106288 25 | 2.026 % |
49.01/49.10 c | 106847 | 67356 517074 2045278 | 2147483647 106570 25 | 2.026 % |
49.11/49.16 c | 107157 | 67356 517074 2045278 | 2147483647 106880 25 | 2.026 % |
49.21/49.26 c | 107496 | 67356 517074 2045278 | 2147483647 107219 25 | 2.026 % |
49.41/49.43 c | 107868 | 67356 517074 2045278 | 2147483647 107591 25 | 2.026 % |
49.51/49.54 c | 108277 | 67356 517074 2045278 | 2147483647 108000 25 | 2.026 % |
49.62/49.68 c | 108726 | 67356 517074 2045278 | 2147483647 108449 25 | 2.026 % |
49.91/50.00 c | 109220 | 67356 517074 2045278 | 2147483647 108943 25 | 2.026 % |
50.21/50.21 c | 109763 | 67312 517074 2045278 | 2147483647 109484 25 | 2.236 % |
50.41/50.49 c | 110359 | 67305 517074 2045278 | 2147483647 110080 25 | 2.236 % |
50.91/50.96 c | 111015 | 67305 517074 2045278 | 2147483647 110736 25 | 2.236 % |
51.31/51.32 c | 111736 | 67305 517074 2045278 | 2147483647 111457 25 | 2.236 % |
51.71/51.79 c | 112528 | 67277 517074 2045278 | 2147483647 112249 25 | 2.236 % |
52.11/52.13 c | 113399 | 67275 517074 2045278 | 2147483647 113118 25 | 2.239 % |
52.21/52.22 c | 114357 | 67275 517074 2045278 | 2147483647 114076 25 | 2.239 % |
52.31/52.37 c | 115411 | 67275 517074 2045278 | 2147483647 115130 25 | 2.239 % |
52.71/52.74 c | 116571 | 67275 517074 2045278 | 2147483647 116290 25 | 2.239 % |
52.92/52.95 c | 117844 | 67275 517074 2045278 | 2147483647 117563 25 | 2.239 % |
52.92/52.99 c | 117944 | 67275 517074 2045278 | 2147483647 117663 25 | 2.239 % |
52.92/52.99 c | 118055 | 67275 517074 2045278 | 2147483647 117774 25 | 2.239 % |
52.92/53.00 c | 118178 | 67275 517074 2045278 | 2147483647 117897 25 | 2.239 % |
53.11/53.11 c | 118312 | 67275 517074 2045278 | 2147483647 118031 25 | 2.239 % |
53.21/53.22 c | 118459 | 67275 517074 2045278 | 2147483647 118178 25 | 2.239 % |
53.21/53.29 c | 118620 | 67275 517074 2045278 | 2147483647 118339 25 | 2.239 % |
53.31/53.41 c | 118797 | 67209 513608 2032479 | 2147483647 118492 25 | 2.239 % |
53.41/53.45 c | 118991 | 67209 513608 2032479 | 2147483647 118686 25 | 2.239 % |
53.41/53.51 c | 119203 | 67209 513608 2032479 | 2147483647 118898 25 | 2.239 % |
53.81/53.83 c | 119436 | 67209 513608 2032479 | 2147483647 119131 25 | 2.239 % |
53.81/53.84 c | 119695 | 67209 513608 2032479 | 2147483647 119390 25 | 2.239 % |
54.02/54.02 c | 119976 | 67209 513608 2032479 | 2147483647 119671 25 | 2.239 % |
54.02/54.09 c | 120285 | 67209 513608 2032479 | 2147483647 119980 25 | 2.239 % |
54.21/54.27 c | 120625 | 67209 513608 2032479 | 2147483647 120320 25 | 2.239 % |
54.41/54.47 c | 120997 | 67209 513608 2032479 | 2147483647 120692 25 | 2.239 % |
54.71/54.74 c | 121407 | 67209 513608 2032479 | 2147483647 121102 25 | 2.239 % |
54.91/54.91 c | 121858 | 67209 513608 2032479 | 2147483647 121553 25 | 2.239 % |
54.91/54.99 c | 122352 | 67207 513608 2032479 | 2147483647 122046 25 | 2.243 % |
55.12/55.20 c | 122895 | 67206 513608 2032479 | 2147483647 122589 25 | 2.243 % |
55.41/55.43 c | 123491 | 67206 513608 2032479 | 2147483647 123185 25 | 2.243 % |
55.61/55.65 c | 124147 | 67206 513608 2032479 | 2147483647 123841 25 | 2.243 % |
55.91/55.96 c | 124869 | 67206 513608 2032479 | 2147483647 124563 25 | 2.243 % |
56.31/56.36 c | 125662 | 67206 513608 2032479 | 2147483647 125356 25 | 2.243 % |
56.51/56.52 c | 126534 | 67206 513608 2032479 | 2147483647 126228 25 | 2.243 % |
56.91/57.01 c | 127493 | 67206 513608 2032479 | 2147483647 127187 25 | 2.243 % |
57.21/57.31 c | 128546 | 67206 513608 2032479 | 2147483647 128240 25 | 2.243 % |
58.11/58.12 c | 129704 | 67206 513608 2032479 | 2147483647 129398 25 | 2.243 % |
58.51/58.56 c | 130978 | 67206 513608 2032479 | 2147483647 130672 25 | 2.243 % |
59.01/59.03 c | 132380 | 67200 513608 2032479 | 2147483647 132073 25 | 2.330 % |
59.11/59.20 c | 132483 | 67146 512235 2027440 | 2147483647 132166 25 | 2.330 % |
59.21/59.21 c | 132594 | 67146 512235 2027440 | 2147483647 132277 25 | 2.330 % |
59.21/59.25 c | 132716 | 67145 512235 2027440 | 2147483647 132398 25 | 2.438 % |
59.21/59.26 c | 132850 | 67145 512235 2027440 | 2147483647 132532 25 | 2.438 % |
59.21/59.28 c | 132996 | 67145 512235 2027440 | 2147483647 132678 25 | 2.438 % |
59.31/59.39 c | 133156 | 67145 512235 2027440 | 2147483647 132838 25 | 2.438 % |
59.41/59.47 c | 133332 | 67145 512235 2027440 | 2147483647 133014 25 | 2.438 % |
59.52/59.53 c | 133526 | 67145 512235 2027440 | 2147483647 133208 25 | 2.438 % |
59.52/59.61 c | 133739 | 67145 512235 2027440 | 2147483647 133421 25 | 2.438 % |
59.61/59.64 c | 133972 | 67145 512235 2027440 | 2147483647 133654 25 | 2.438 % |
59.71/59.72 c | 134228 | 67142 512235 2027440 | 2147483647 133908 25 | 2.452 % |
59.71/59.76 c | 134510 | 67142 512235 2027440 | 2147483647 134190 25 | 2.452 % |
60.01/60.01 c | 134819 | 67134 512235 2027440 | 2147483647 134499 25 | 2.452 % |
60.21/60.22 c | 135158 | 67134 512235 2027440 | 2147483647 134838 25 | 2.452 % |
60.41/60.43 c | 135530 | 67133 512235 2027440 | 2147483647 135210 25 | 2.452 % |
60.51/60.54 c | 135939 | 67133 512235 2027440 | 2147483647 135619 25 | 2.452 % |
60.71/60.72 c | 136389 | 67133 512235 2027440 | 2147483647 136069 25 | 2.452 % |
60.71/60.81 c | 136884 | 67133 512235 2027440 | 2147483647 136564 25 | 2.452 % |
61.01/61.05 c | 137426 | 67133 512235 2027440 | 2147483647 137106 25 | 2.452 % |
61.21/61.26 c | 138023 | 67133 512235 2027440 | 2147483647 137703 25 | 2.452 % |
61.61/61.63 c | 138679 | 67120 512235 2027440 | 2147483647 138359 25 | 2.452 % |
61.91/61.97 c | 139399 | 67116 512235 2027440 | 2147483647 139078 25 | 2.461 % |
62.21/62.23 c | 140191 | 67116 512235 2027440 | 2147483647 139870 25 | 2.461 % |
62.31/62.39 c | 141062 | 67116 512235 2027440 | 2147483647 140741 25 | 2.461 % |
62.51/62.59 c | 142021 | 67116 512235 2027440 | 2147483647 141700 25 | 2.461 % |
63.01/63.03 c | 143074 | 67116 512235 2027440 | 2147483647 142753 25 | 2.461 % |
63.11/63.14 c | 144233 | 67116 512235 2027440 | 2147483647 143912 25 | 2.461 % |
63.71/63.75 c | 145506 | 67116 512235 2027440 | 2147483647 145185 25 | 2.461 % |
64.51/64.52 c | 146907 | 67111 512235 2027440 | 2147483647 146584 25 | 2.468 % |
64.81/64.90 c | 148447 | 67107 512235 2027440 | 2147483647 148123 25 | 2.492 % |
64.91/64.95 c | 148549 | 67105 512235 2027440 | 2147483647 148224 25 | 2.496 % |
65.02/65.08 c | 148659 | 67105 512235 2027440 | 2147483647 148334 25 | 2.496 % |
65.21/65.25 c | 148782 | 67032 510060 2019494 | 2147483647 142231 26 | 2.496 % |
65.31/65.36 c | 148916 | 67032 510060 2019494 | 2147483647 142365 26 | 2.496 % |
65.41/65.46 c | 149062 | 67032 510060 2019494 | 2147483647 142511 26 | 2.496 % |
65.51/65.57 c | 149222 | 67032 510060 2019494 | 2147483647 142671 26 | 2.496 % |
65.61/65.63 c | 149399 | 67032 510060 2019494 | 2147483647 142848 26 | 2.496 % |
65.71/65.74 c | 149594 | 67032 510060 2019494 | 2147483647 143043 26 | 2.496 % |
65.81/65.83 c | 149807 | 67032 510060 2019494 | 2147483647 143256 26 | 2.496 % |
65.91/65.97 c | 150041 | 67032 510060 2019494 | 2147483647 143490 26 | 2.496 % |
66.12/66.13 c | 150297 | 67032 510060 2019494 | 2147483647 143746 26 | 2.496 % |
66.31/66.38 c | 150578 | 66993 510060 2019494 | 2147483647 144025 26 | 2.653 % |
66.51/66.52 c | 150887 | 66993 510060 2019494 | 2147483647 144334 25 | 2.653 % |
66.61/66.61 c | 151226 | 66993 510060 2019494 | 2147483647 144673 25 | 2.653 % |
66.71/66.74 c | 151599 | 66969 510060 2019494 | 2147483647 145046 25 | 2.653 % |
66.81/66.90 c | 152008 | 66969 510060 2019494 | 2147483647 145455 25 | 2.653 % |
67.01/67.05 c | 152458 | 66969 510060 2019494 | 2147483647 145905 25 | 2.653 % |
67.22/67.26 c | 152951 | 66965 510060 2019494 | 2147483647 146397 25 | 2.659 % |
67.31/67.41 c | 153493 | 66960 510060 2019494 | 2147483647 146937 25 | 2.671 % |
67.61/67.64 c | 154091 | 66960 510060 2019494 | 2147483647 147535 25 | 2.671 % |
67.91/67.93 c | 154748 | 66960 510060 2019494 | 2147483647 148192 25 | 2.671 % |
68.21/68.22 c | 155469 | 66960 510060 2019494 | 2147483647 148913 25 | 2.671 % |
68.51/68.60 c | 156262 | 66960 510060 2019494 | 2147483647 149706 25 | 2.671 % |
68.91/68.99 c | 157134 | 66959 510060 2019494 | 2147483647 150577 25 | 2.676 % |
69.61/69.62 c | 158092 | 66959 510060 2019494 | 2147483647 151535 25 | 2.676 % |
69.91/69.97 c | 159146 | 66959 510060 2019494 | 2147483647 152589 25 | 2.676 % |
71.01/71.01 c | 160305 | 66959 510060 2019494 | 2147483647 153748 26 | 2.676 % |
71.41/71.43 c | 161580 | 66959 510060 2019494 | 2147483647 155023 26 | 2.676 % |
71.91/71.92 c | 162982 | 66959 510060 2019494 | 2147483647 156425 26 | 2.676 % |
72.51/72.60 c | 164524 | 66943 510060 2019494 | 2147483647 157967 26 | 2.676 % |
73.51/73.55 c | 166218 | 66908 508405 2012504 | 2147483647 157639 26 | 2.676 % |
73.61/73.63 c | 166318 | 66908 508405 2012504 | 2147483647 157739 26 | 2.676 % |
73.61/73.69 c | 166430 | 66908 508405 2012504 | 2147483647 157851 26 | 2.676 % |
73.71/73.74 c | 166551 | 66908 508405 2012504 | 2147483647 157972 26 | 2.676 % |
73.82/73.89 c | 166684 | 66908 508405 2012504 | 2147483647 158105 26 | 2.676 % |
74.01/74.05 c | 166834 | 66908 508405 2012504 | 2147483647 158255 26 | 2.676 % |
74.11/74.18 c | 166995 | 66908 508405 2012504 | 2147483647 158416 26 | 2.676 % |
74.21/74.29 c | 167171 | 66908 508405 2012504 | 2147483647 158592 26 | 2.676 % |
74.31/74.39 c | 167366 | 66908 508405 2012504 | 2147483647 158787 26 | 2.676 % |
74.41/74.47 c | 167578 | 66908 508405 2012504 | 2147483647 158999 26 | 2.676 % |
74.51/74.59 c | 167812 | 66908 508405 2012504 | 2147483647 159233 26 | 2.676 % |
74.61/74.65 c | 168068 | 66908 508405 2012504 | 2147483647 159489 26 | 2.676 % |
74.71/74.76 c | 168349 | 66908 508405 2012504 | 2147483647 159770 26 | 2.676 % |
75.01/75.05 c | 168660 | 66908 508405 2012504 | 2147483647 160081 26 | 2.676 % |
75.11/75.16 c | 168999 | 66908 508405 2012504 | 2147483647 160420 26 | 2.676 % |
75.21/75.29 c | 169371 | 66908 508405 2012504 | 2147483647 160792 26 | 2.676 % |
75.41/75.45 c | 169780 | 66908 508405 2012504 | 2147483647 161201 26 | 2.676 % |
75.61/75.67 c | 170230 | 66908 508405 2012504 | 2147483647 161651 26 | 2.676 % |
75.81/75.87 c | 170723 | 66908 508405 2012504 | 2147483647 162144 26 | 2.676 % |
76.11/76.12 c | 171265 | 66908 508405 2012504 | 2147483647 162686 26 | 2.676 % |
76.51/76.51 c | 171861 | 66908 508405 2012504 | 2147483647 163282 26 | 2.676 % |
76.71/76.80 c | 172517 | 66908 508405 2012504 | 2147483647 163938 26 | 2.676 % |
77.01/77.06 c | 173237 | 66908 508405 2012504 | 2147483647 164658 26 | 2.676 % |
77.31/77.33 c | 174029 | 66908 508405 2012504 | 2147483647 165450 26 | 2.676 % |
77.71/77.72 c | 174901 | 66908 508405 2012504 | 2147483647 166322 26 | 2.676 % |
77.91/77.94 c | 175859 | 66908 508405 2012504 | 2147483647 167280 26 | 2.676 % |
78.11/78.20 c | 176913 | 66908 508405 2012504 | 2147483647 168334 26 | 2.676 % |
78.71/78.75 c | 178073 | 66908 508405 2012504 | 2147483647 169494 26 | 2.676 % |
79.41/79.48 c | 179346 | 66908 508405 2012504 | 2147483647 170767 26 | 2.676 % |
80.21/80.23 c | 180748 | 66908 508405 2012504 | 2147483647 172169 26 | 2.676 % |
80.71/80.77 c | 182288 | 66908 508405 2012504 | 2147483647 173709 26 | 2.676 % |
81.31/81.36 c | 183983 | 66908 508405 2012504 | 2147483647 175404 26 | 2.676 % |
81.61/81.64 c | 185846 | 66908 508405 2012504 | 2147483647 177267 26 | 2.676 % |
81.61/81.65 c | 185946 | 66908 508405 2012504 | 2147483647 177367 26 | 2.676 % |
81.71/81.74 c | 186056 | 66908 508405 2012504 | 2147483647 177477 26 | 2.676 % |
81.71/81.78 c | 186177 | 66908 508405 2012504 | 2147483647 177598 26 | 2.676 % |
81.81/81.90 c | 186311 | 66908 508405 2012504 | 2147483647 177732 26 | 2.676 % |
82.01/82.01 c | 186457 | 66908 508405 2012504 | 2147483647 177878 26 | 2.676 % |
82.11/82.13 c | 186617 | 66908 508405 2012504 | 2147483647 178038 26 | 2.676 % |
82.21/82.24 c | 186793 | 66908 508405 2012504 | 2147483647 178214 26 | 2.676 % |
82.31/82.32 c | 186986 | 66908 508405 2012504 | 2147483647 178407 26 | 2.676 % |
82.41/82.42 c | 187198 | 66908 508405 2012504 | 2147483647 178619 26 | 2.676 % |
82.51/82.52 c | 187432 | 66908 508405 2012504 | 2147483647 178853 26 | 2.676 % |
82.51/82.59 c | 187689 | 66908 508405 2012504 | 2147483647 179110 26 | 2.676 % |
82.71/82.76 c | 187970 | 66908 508405 2012504 | 2147483647 179391 26 | 2.676 % |
82.81/82.85 c | 188279 | 66908 508405 2012504 | 2147483647 179700 26 | 2.676 % |
82.91/82.99 c | 188618 | 66908 508405 2012504 | 2147483647 180039 26 | 2.676 % |
83.11/83.16 c | 188991 | 66908 508405 2012504 | 2147483647 180412 26 | 2.676 % |
83.21/83.31 c | 189400 | 66908 508405 2012504 | 2147483647 180821 26 | 2.676 % |
83.41/83.48 c | 189850 | 66908 508405 2012504 | 2147483647 181271 26 | 2.676 % |
83.61/83.68 c | 190343 | 66908 508405 2012504 | 2147483647 181764 26 | 2.676 % |
83.91/83.97 c | 190885 | 66908 508405 2012504 | 2147483647 182306 26 | 2.676 % |
84.31/84.34 c | 191481 | 66908 508405 2012504 | 2147483647 182902 26 | 2.676 % |
84.71/84.78 c | 192136 | 66908 508405 2012504 | 2147483647 183557 26 | 2.676 % |
85.11/85.19 c | 192856 | 66908 508405 2012504 | 2147483647 184277 26 | 2.676 % |
85.31/85.33 c | 193649 | 66908 508405 2012504 | 2147483647 185070 26 | 2.676 % |
85.71/85.76 c | 194520 | 66908 508405 2012504 | 2147483647 185941 26 | 2.676 % |
86.01/86.08 c | 195478 | 66908 508405 2012504 | 2147483647 186899 26 | 2.676 % |
86.21/86.29 c | 196531 | 66908 508405 2012504 | 2147483647 187952 26 | 2.676 % |
87.11/87.16 c | 197689 | 66908 508405 2012504 | 2147483647 189110 26 | 2.676 % |
87.91/87.98 c | 198963 | 66908 508405 2012504 | 2147483647 190384 26 | 2.676 % |
88.01/88.05 c | 200364 | 66908 508405 2012504 | 2147483647 191785 26 | 2.676 % |
89.11/89.15 c | 201904 | 66908 508405 2012504 | 2147483647 193325 26 | 2.676 % |
90.11/90.17 c | 203599 | 66908 508405 2012504 | 2147483647 195020 26 | 2.676 % |
91.11/91.18 c | 205463 | 66907 508394 2012474 | 2147483647 196882 26 | 2.678 % |
92.31/92.35 c | 207513 | 66895 508394 2012474 | 2147483647 198931 26 | 2.735 % |
92.41/92.44 c | 207614 | 66895 508394 2012474 | 2147483647 199032 26 | 2.735 % |
92.41/92.50 c | 207724 | 66895 508394 2012474 | 2147483647 199142 26 | 2.735 % |
92.52/92.57 c | 207845 | 66895 508394 2012474 | 2147483647 199263 26 | 2.735 % |
92.71/92.73 c | 207979 | 66895 508394 2012474 | 2147483647 199397 26 | 2.735 % |
92.81/92.82 c | 208125 | 66895 508394 2012474 | 2147483647 199543 26 | 2.735 % |
92.91/92.94 c | 208286 | 66885 508394 2012474 | 2147483647 199704 26 | 2.735 % |
93.11/93.19 c | 208462 | 66885 508394 2012474 | 2147483647 199880 26 | 2.735 % |
93.21/93.24 c | 208656 | 66885 508394 2012474 | 2147483647 200074 26 | 2.735 % |
93.21/93.30 c | 208868 | 66885 508394 2012474 | 2147483647 200286 26 | 2.735 % |
93.31/93.32 c | 209102 | 66885 508394 2012474 | 2147483647 200520 26 | 2.735 % |
93.41/93.49 c | 209359 | 66881 508394 2012474 | 2147483647 200775 26 | 2.740 % |
93.91/93.96 c | 209640 | 66881 508394 2012474 | 2147483647 201056 26 | 2.740 % |
94.11/94.11 c | 209949 | 66881 508394 2012474 | 2147483647 201365 26 | 2.740 % |
94.11/94.12 c | 210288 | 66881 508394 2012474 | 2147483647 201704 26 | 2.740 % |
94.31/94.37 c | 210660 | 66881 508394 2012474 | 2147483647 202076 26 | 2.740 % |
94.41/94.47 c | 211069 | 66881 508394 2012474 | 2147483647 202485 26 | 2.740 % |
94.72/94.75 c | 211518 | 66881 508394 2012474 | 2147483647 202934 26 | 2.740 % |
95.02/95.02 c | 212012 | 66881 508394 2012474 | 2147483647 203428 26 | 2.740 % |
95.42/95.45 c | 212554 | 66881 508394 2012474 | 2147483647 203970 26 | 2.740 % |
95.62/95.69 c | 213150 | 66880 508394 2012474 | 2147483647 204565 26 | 2.745 % |
96.32/96.39 c | 213806 | 66870 508394 2012474 | 2147483647 205221 26 | 2.745 % |
96.62/96.70 c | 214526 | 66870 508394 2012474 | 2147483647 205941 26 | 2.745 % |
96.92/96.96 c | 215318 | 66870 508394 2012474 | 2147483647 206733 26 | 2.745 % |
97.32/97.39 c | 216190 | 66869 508394 2012474 | 2147483647 207604 26 | 2.746 % |
97.92/98.01 c | 217148 | 66869 508394 2012474 | 2147483647 208562 26 | 2.746 % |
98.42/98.49 c | 218201 | 66869 508394 2012474 | 2147483647 209615 26 | 2.746 % |
98.92/98.99 c | 219360 | 66866 508394 2012474 | 2147483647 210772 26 | 2.756 % |
99.42/99.46 c | 220633 | 66863 508394 2012474 | 2147483647 212043 26 | 2.771 % |
100.52/100.52 c | 222034 | 66853 508394 2012474 | 2147483647 213444 26 | 2.771 % |
101.12/101.20 c | 223574 | 66843 507071 2006882 | 2147483647 199472 24 | 2.771 % |
101.42/101.48 c | 225268 | 66843 507071 2006882 | 2147483647 201166 24 | 2.771 % |
102.62/102.65 c | 227133 | 66843 507071 2006882 | 2147483647 203031 24 | 2.771 % |
103.82/103.84 c | 229182 | 66843 507071 2006882 | 2147483647 205080 24 | 2.771 % |
104.32/104.33 c | 231435 | 66843 507071 2006882 | 2147483647 207333 24 | 2.771 % |
104.42/104.43 c | 231535 | 66843 507071 2006882 | 2147483647 207433 24 | 2.771 % |
104.52/104.54 c | 231645 | 66843 507071 2006882 | 2147483647 207543 24 | 2.771 % |
104.62/104.67 c | 231766 | 66805 507071 2006882 | 2147483647 207663 24 | 2.962 % |
104.72/104.81 c | 231899 | 66805 507071 2006882 | 2147483647 207796 24 | 2.962 % |
104.92/104.92 c | 232045 | 66805 507071 2006882 | 2147483647 207942 24 | 2.962 % |
105.02/105.03 c | 232206 | 66805 507071 2006882 | 2147483647 208103 24 | 2.962 % |
105.12/105.15 c | 232382 | 66805 507071 2006882 | 2147483647 208279 24 | 2.962 % |
105.12/105.19 c | 232576 | 66805 507071 2006882 | 2147483647 208473 24 | 2.962 % |
105.22/105.30 c | 232788 | 66799 507071 2006882 | 2147483647 208684 24 | 2.979 % |
105.42/105.45 c | 233021 | 66797 507071 2006882 | 2147483647 208917 24 | 2.979 % |
105.52/105.59 c | 233278 | 66797 507071 2006882 | 2147483647 209174 24 | 2.979 % |
105.72/105.79 c | 233560 | 66797 507071 2006882 | 2147483647 209456 24 | 2.979 % |
106.12/106.17 c | 233870 | 66787 507071 2006882 | 2147483647 209766 24 | 2.979 % |
106.32/106.41 c | 234209 | 66787 507071 2006882 | 2147483647 210105 24 | 2.979 % |
106.62/106.67 c | 234581 | 66787 507071 2006882 | 2147483647 210477 24 | 2.979 % |
106.92/106.96 c | 234993 | 66787 507071 2006882 | 2147483647 210889 24 | 2.979 % |
107.52/107.59 c | 235444 | 66754 507071 2006882 | 2147483647 211340 24 | 2.979 % |
107.62/107.62 c | 235937 | 66754 507071 2006882 | 2147483647 211833 24 | 2.979 % |
107.72/107.81 c | 236482 | 66750 507071 2006882 | 2147483647 212376 24 | 2.985 % |
107.92/107.95 c | 237085 | 66750 507071 2006882 | 2147483647 212979 24 | 2.985 % |
108.32/108.39 c | 237740 | 66750 507071 2006882 | 2147483647 213634 24 | 2.985 % |
108.52/108.56 c | 238462 | 66750 507071 2006882 | 2147483647 214356 24 | 2.985 % |
108.72/108.78 c | 239254 | 66750 507071 2006882 | 2147483647 215148 24 | 2.985 % |
109.02/109.03 c | 240125 | 66750 507071 2006882 | 2147483647 216019 24 | 2.985 % |
109.42/109.47 c | 241085 | 66750 507071 2006882 | 2147483647 216979 24 | 2.985 % |
110.22/110.24 c | 242138 | 66696 504197 1994989 | 2147483647 199854 23 | 2.985 % |
111.02/111.03 c | 243296 | 66696 504197 1994989 | 2147483647 201012 23 | 2.985 % |
111.32/111.34 c | 244572 | 66696 504197 1994989 | 2147483647 202288 23 | 2.985 % |
112.72/112.75 c | 245972 | 66684 504197 1994989 | 2147483647 203685 23 | 3.007 % |
113.22/113.24 c | 247513 | 66683 504197 1994989 | 2147483647 205225 23 | 3.023 % |
113.62/113.69 c | 249207 | 66682 504197 1994989 | 2147483647 206919 23 | 3.023 % |
114.02/114.05 c | 251072 | 66682 504197 1994989 | 2147483647 208784 23 | 3.023 % |
114.92/114.92 c | 253121 | 66682 504197 1994989 | 2147483647 210833 23 | 3.023 % |
115.12/115.12 c | 255378 | 66682 504197 1994989 | 2147483647 213090 23 | 3.023 % |
116.22/116.22 c | 257857 | 66682 504197 1994989 | 2147483647 215569 23 | 3.023 % |
116.32/116.33 c | 257958 | 66682 504197 1994989 | 2147483647 215670 23 | 3.023 % |
116.42/116.45 c | 258068 | 66672 504197 1994989 | 2147483647 215777 23 | 3.066 % |
116.52/116.54 c | 258189 | 66663 504197 1994989 | 2147483647 215898 23 | 3.066 % |
116.62/116.63 c | 258323 | 66655 504197 1994989 | 2147483647 216032 23 | 3.066 % |
116.72/116.75 c | 258470 | 66655 504197 1994989 | 2147483647 216179 23 | 3.066 % |
116.82/116.84 c | 258632 | 66655 504197 1994989 | 2147483647 216341 23 | 3.066 % |
116.92/117.01 c | 258809 | 66655 504197 1994989 | 2147483647 216518 23 | 3.066 % |
117.02/117.05 c | 259003 | 66655 504197 1994989 | 2147483647 216712 23 | 3.066 % |
117.12/117.19 c | 259215 | 66655 504197 1994989 | 2147483647 216924 23 | 3.066 % |
117.32/117.32 c | 259449 | 66655 504197 1994989 | 2147483647 217158 23 | 3.066 % |
117.32/117.36 c | 259705 | 66655 504197 1994989 | 2147483647 217414 23 | 3.066 % |
117.42/117.47 c | 259988 | 66655 504197 1994989 | 2147483647 217697 23 | 3.066 % |
117.62/117.65 c | 260298 | 66655 504197 1994989 | 2147483647 218007 23 | 3.066 % |
117.72/117.78 c | 260638 | 66640 503543 1992288 | 2147483647 214091 23 | 3.066 % |
117.92/117.93 c | 261010 | 66640 503543 1992288 | 2147483647 214463 23 | 3.066 % |
118.22/118.22 c | 261420 | 66637 503543 1992288 | 2147483647 214872 23 | 3.071 % |
118.52/118.53 c | 261869 | 66637 503543 1992288 | 2147483647 215321 23 | 3.071 % |
118.82/118.86 c | 262362 | 66637 503543 1992288 | 2147483647 215814 23 | 3.071 % |
119.12/119.20 c | 262904 | 66637 503543 1992288 | 2147483647 216356 23 | 3.071 % |
119.62/119.70 c | 263502 | 66637 503543 1992288 | 2147483647 216954 23 | 3.071 % |
119.92/119.96 c | 264158 | 66637 503543 1992288 | 2147483647 217610 23 | 3.071 % |
120.12/120.16 c | 264878 | 66637 503543 1992288 | 2147483647 218330 23 | 3.071 % |
120.22/120.31 c | 265670 | 66637 503543 1992288 | 2147483647 219122 23 | 3.071 % |
120.72/120.76 c | 266542 | 66637 503543 1992288 | 2147483647 219994 23 | 3.071 % |
120.92/120.92 c | 267500 | 66637 503543 1992288 | 2147483647 220952 23 | 3.071 % |
121.22/121.27 c | 268554 | 66637 503543 1992288 | 2147483647 222006 23 | 3.071 % |
121.52/121.59 c | 269712 | 66637 503543 1992288 | 2147483647 223164 23 | 3.071 % |
121.82/121.84 c | 270985 | 66637 503543 1992288 | 2147483647 224437 23 | 3.071 % |
122.52/122.57 c | 272386 | 66637 503543 1992288 | 2147483647 225838 23 | 3.071 % |
123.02/123.09 c | 273927 | 66637 503543 1992288 | 2147483647 227379 23 | 3.071 % |
123.32/123.40 c | 275621 | 66637 503543 1992288 | 2147483647 229073 23 | 3.071 % |
124.22/124.22 c | 277485 | 66637 503543 1992288 | 2147483647 230937 23 | 3.071 % |
124.62/124.70 c | 279535 | 66637 503543 1992288 | 2147483647 232987 23 | 3.071 % |
125.12/125.14 c | 281788 | 66637 503543 1992288 | 2147483647 235240 23 | 3.071 % |
126.72/126.79 c | 284266 | 66634 503543 1992288 | 2147483647 237717 23 | 3.078 % |
128.42/128.48 c | 286991 | 66626 503505 1992103 | 2147483647 240023 23 | 3.087 % |
128.52/128.56 c | 287091 | 66622 503505 1992103 | 2147483647 240121 23 | 3.122 % |
128.72/128.72 c | 287201 | 66618 503505 1992103 | 2147483647 240231 23 | 3.122 % |
128.82/128.84 c | 287322 | 66618 503505 1992103 | 2147483647 240352 23 | 3.122 % |
129.02/129.04 c | 287455 | 66618 503505 1992103 | 2147483647 240485 23 | 3.122 % |
129.12/129.12 c | 287602 | 66618 503505 1992103 | 2147483647 240632 23 | 3.122 % |
129.22/129.25 c | 287763 | 66617 503505 1992103 | 2147483647 240792 23 | 3.123 % |
129.32/129.40 c | 287940 | 66617 503505 1992103 | 2147483647 240969 23 | 3.123 % |
129.52/129.57 c | 288134 | 66617 503505 1992103 | 2147483647 241163 23 | 3.123 % |
129.72/129.77 c | 288347 | 66617 503505 1992103 | 2147483647 241376 23 | 3.123 % |
130.02/130.07 c | 288581 | 66613 503505 1992103 | 2147483647 241610 23 | 3.123 % |
130.22/130.27 c | 288837 | 66613 503505 1992103 | 2147483647 241866 23 | 3.123 % |
130.52/130.55 c | 289118 | 66613 503505 1992103 | 2147483647 242147 23 | 3.123 % |
130.72/130.80 c | 289428 | 66613 503505 1992103 | 2147483647 242457 23 | 3.123 % |
130.92/130.98 c | 289768 | 66613 503505 1992103 | 2147483647 242797 23 | 3.123 % |
131.32/131.36 c | 290141 | 66613 503505 1992103 | 2147483647 243170 23 | 3.123 % |
131.82/131.81 c | 290552 | 66608 503505 1992103 | 2147483647 243580 23 | 3.130 % |
132.02/132.11 c | 291002 | 66608 503505 1992103 | 2147483647 244030 23 | 3.130 % |
132.32/132.36 c | 291495 | 66607 503505 1992103 | 2147483647 244522 23 | 3.132 % |
132.82/132.82 c | 292037 | 66607 503505 1992103 | 2147483647 245064 23 | 3.132 % |
133.02/133.03 c | 292633 | 66607 503505 1992103 | 2147483647 245660 23 | 3.132 % |
133.12/133.21 c | 293289 | 66607 503505 1992103 | 2147483647 246316 23 | 3.132 % |
133.62/133.63 c | 294010 | 66607 503505 1992103 | 2147483647 247037 23 | 3.132 % |
134.42/134.47 c | 294802 | 66607 503505 1992103 | 2147483647 247829 23 | 3.132 % |
134.92/134.92 c | 295673 | 66607 503505 1992103 | 2147483647 248700 23 | 3.132 % |
135.12/135.17 c | 296631 | 66607 503505 1992103 | 2147483647 249658 23 | 3.132 % |
136.42/136.44 c | 297684 | 66603 503505 1992103 | 2147483647 250710 23 | 3.138 % |
136.62/136.69 c | 298842 | 66603 503505 1992103 | 2147483647 251868 23 | 3.138 % |
137.12/137.17 c | 300115 | 66591 502920 1989674 | 2147483647 251475 23 | 3.138 % |
137.82/137.87 c | 301516 | 66591 502920 1989674 | 2147483647 252876 23 | 3.138 % |
138.82/138.85 c | 303056 | 66588 502920 1989674 | 2147483647 254415 23 | 3.142 % |
139.52/139.51 c | 304750 | 66588 502920 1989674 | 2147483647 256109 23 | 3.142 % |
139.82/139.83 c | 306613 | 66588 502920 1989674 | 2147483647 257972 23 | 3.142 % |
140.82/140.89 c | 308663 | 66586 502920 1989674 | 2147483647 260021 23 | 3.145 % |
141.92/142.01 c | 310919 | 66584 502920 1989674 | 2147483647 262275 23 | 3.148 % |
142.32/142.32 c | 313397 | 66584 502920 1989674 | 2147483647 264753 23 | 3.148 % |
144.32/144.37 c | 316122 | 66584 502920 1989674 | 2147483647 267478 24 | 3.148 % |
145.42/145.44 c | 319120 | 66584 502920 1989674 | 2147483647 270476 24 | 3.148 % |
145.42/145.50 c | 319220 | 66584 502920 1989674 | 2147483647 270576 24 | 3.148 % |
145.52/145.59 c | 319331 | 66584 502920 1989674 | 2147483647 270687 24 | 3.148 % |
145.62/145.68 c | 319452 | 66584 502920 1989674 | 2147483647 270808 24 | 3.148 % |
145.82/145.87 c | 319587 | 66579 502920 1989674 | 2147483647 270941 24 | 3.155 % |
145.92/146.00 c | 319735 | 66579 502920 1989674 | 2147483647 271089 24 | 3.155 % |
146.12/146.19 c | 319895 | 66579 502920 1989674 | 2147483647 271249 24 | 3.155 % |
146.32/146.39 c | 320071 | 66579 502920 1989674 | 2147483647 271425 24 | 3.155 % |
146.52/146.59 c | 320264 | 66579 502920 1989674 | 2147483647 271618 24 | 3.155 % |
146.92/147.01 c | 320477 | 66579 502920 1989674 | 2147483647 271831 24 | 3.155 % |
147.22/147.21 c | 320712 | 66578 502920 1989674 | 2147483647 272065 24 | 3.156 % |
147.52/147.55 c | 320969 | 66578 502920 1989674 | 2147483647 272322 24 | 3.156 % |
147.62/147.69 c | 321251 | 66578 502920 1989674 | 2147483647 272604 24 | 3.156 % |
148.12/148.11 c | 321561 | 66578 502920 1989674 | 2147483647 272914 24 | 3.156 % |
148.52/148.52 c | 321901 | 66578 502741 1988832 | 2147483647 270831 23 | 3.156 % |
148.72/148.80 c | 322273 | 66578 502741 1988832 | 2147483647 271203 23 | 3.156 % |
149.02/149.03 c | 322682 | 66578 502741 1988832 | 2147483647 271612 23 | 3.156 % |
149.32/149.33 c | 323131 | 66578 502741 1988832 | 2147483647 272061 23 | 3.156 % |
149.52/149.54 c | 323625 | 66578 502741 1988832 | 2147483647 272555 23 | 3.156 % |
149.82/149.86 c | 324168 | 66578 502741 1988832 | 2147483647 273098 23 | 3.156 % |
150.02/150.08 c | 324764 | 66578 502741 1988832 | 2147483647 273694 23 | 3.156 % |
150.22/150.25 c | 325419 | 66578 502741 1988832 | 2147483647 274349 23 | 3.156 % |
150.82/150.91 c | 326139 | 66578 502741 1988832 | 2147483647 275069 23 | 3.156 % |
151.22/151.21 c | 326931 | 66578 502741 1988832 | 2147483647 275861 23 | 3.156 % |
151.72/151.74 c | 327802 | 66578 502741 1988832 | 2147483647 276732 24 | 3.156 % |
152.02/152.02 c | 328763 | 66578 502741 1988832 | 2147483647 277693 24 | 3.156 % |
152.22/152.30 c | 329818 | 66578 502741 1988832 | 2147483647 278748 24 | 3.156 % |
152.62/152.67 c | 330978 | 66573 502741 1988832 | 2147483647 279906 24 | 3.165 % |
152.92/152.97 c | 332253 | 66573 502741 1988832 | 2147483647 281181 24 | 3.165 % |
153.52/153.59 c | 333654 | 66572 502741 1988832 | 2147483647 282582 24 | 3.165 % |
154.12/154.16 c | 335194 | 66566 502741 1988832 | 2147483647 284121 24 | 3.263 % |
154.72/154.72 c | 336889 | 66557 502741 1988832 | 2147483647 285816 24 | 3.263 % |
156.02/156.10 c | 338753 | 66557 502741 1988832 | 2147483647 287680 24 | 3.263 % |
157.42/157.42 c | 340803 | 66557 502741 1988832 | 2147483647 289730 24 | 3.263 % |
158.32/158.38 c | 343058 | 66557 502741 1988832 | 2147483647 291985 24 | 3.263 % |
160.12/160.16 c | 345537 | 66557 502741 1988832 | 2147483647 294464 24 | 3.263 % |
161.72/161.76 c | 348262 | 66504 501213 1983252 | 2147483647 296959 24 | 3.264 % |
163.32/163.40 c | 351259 | 66487 501213 1983252 | 2147483647 299955 24 | 3.289 % |
165.32/165.37 c | 354555 | 66487 501213 1983252 | 2147483647 303251 24 | 3.289 % |
165.42/165.45 c | 354655 | 66487 501213 1983252 | 2147483647 303351 24 | 3.289 % |
165.42/165.49 c | 354766 | 66487 501213 1983252 | 2147483647 303462 24 | 3.289 % |
165.52/165.54 c | 354890 | 66487 501213 1983252 | 2147483647 303586 24 | 3.289 % |
165.52/165.56 c | 355024 | 66487 501213 1983252 | 2147483647 303720 24 | 3.289 % |
165.72/165.79 c | 355170 | 66487 501213 1983252 | 2147483647 303866 24 | 3.289 % |
165.92/165.91 c | 355334 | 66487 501213 1983252 | 2147483647 304030 24 | 3.289 % |
166.02/166.07 c | 355510 | 66487 501213 1983252 | 2147483647 304206 24 | 3.289 % |
166.12/166.19 c | 355707 | 66483 501213 1983252 | 2147483647 304402 24 | 3.298 % |
166.42/166.43 c | 355919 | 66482 501213 1983252 | 2147483647 304614 24 | 3.298 % |
166.62/166.65 c | 356152 | 66482 501213 1983252 | 2147483647 304847 24 | 3.298 % |
166.82/166.83 c | 356408 | 66482 501213 1983252 | 2147483647 305103 24 | 3.298 % |
167.02/167.03 c | 356690 | 66482 501213 1983252 | 2147483647 305385 24 | 3.298 % |
167.33/167.34 c | 357000 | 66482 501213 1983252 | 2147483647 305695 24 | 3.298 % |
167.52/167.57 c | 357339 | 66482 501213 1983252 | 2147483647 306034 24 | 3.298 % |
167.82/167.85 c | 357711 | 66482 501213 1983252 | 2147483647 306406 24 | 3.298 % |
168.22/168.27 c | 358121 | 66482 501213 1983252 | 2147483647 306816 24 | 3.298 % |
168.52/168.54 c | 358576 | 66482 501213 1983252 | 2147483647 307271 24 | 3.298 % |
168.92/168.92 c | 359070 | 66482 501213 1983252 | 2147483647 307765 24 | 3.298 % |
169.32/169.37 c | 359612 | 66482 501213 1983252 | 2147483647 308307 24 | 3.298 % |
169.53/169.59 c | 360209 | 66482 501213 1983252 | 2147483647 308904 24 | 3.298 % |
170.02/170.08 c | 360865 | 66482 501213 1983252 | 2147483647 309560 24 | 3.298 % |
170.63/170.63 c | 361588 | 66482 501213 1983252 | 2147483647 310283 24 | 3.298 % |
171.22/171.22 c | 362380 | 66481 501213 1983252 | 2147483647 311074 24 | 3.299 % |
171.62/171.64 c | 363253 | 66481 501213 1983252 | 2147483647 311947 24 | 3.299 % |
172.02/172.07 c | 364211 | 66481 501213 1983252 | 2147483647 312905 24 | 3.299 % |
173.12/173.20 c | 365264 | 66481 501213 1983252 | 2147483647 313958 24 | 3.299 % |
173.62/173.70 c | 366422 | 66481 501213 1983252 | 2147483647 315116 24 | 3.299 % |
174.52/174.52 c | 367695 | 66479 500847 1981765 | 2147483647 312268 24 | 3.300 % |
175.22/175.29 c | 369095 | 66476 500847 1981765 | 2147483647 313666 24 | 3.305 % |
175.92/175.98 c | 370635 | 66476 500847 1981765 | 2147483647 315206 24 | 3.305 % |
176.42/176.42 c | 372330 | 66476 500847 1981765 | 2147483647 316901 24 | 3.305 % |
177.02/177.08 c | 374193 | 66476 500847 1981765 | 2147483647 318764 25 | 3.305 % |
178.02/178.08 c | 376244 | 66476 500847 1981765 | 2147483647 320815 24 | 3.305 % |
179.52/179.55 c | 378497 | 66476 500847 1981765 | 2147483647 323068 25 | 3.305 % |
180.22/180.21 c | 380976 | 66476 500847 1981765 | 2147483647 325547 25 | 3.305 % |
180.92/180.95 c | 383701 | 66476 500847 1981765 | 2147483647 328272 25 | 3.305 % |
182.62/182.64 c | 386699 | 66476 500847 1981765 | 2147483647 331270 25 | 3.305 % |
184.02/184.10 c | 389997 | 66471 500847 1981765 | 2147483647 334566 25 | 3.312 % |
185.72/185.77 c | 393623 | 66469 500847 1981765 | 2147483647 338190 25 | 3.315 % |
185.82/185.88 c | 393723 | 66469 500847 1981765 | 2147483647 338290 25 | 3.315 % |
185.92/185.94 c | 393833 | 66469 500847 1981765 | 2147483647 338400 25 | 3.315 % |
186.12/186.13 c | 393954 | 66469 500847 1981765 | 2147483647 338521 25 | 3.315 % |
186.22/186.23 c | 394087 | 66469 500847 1981765 | 2147483647 338654 25 | 3.315 % |
186.32/186.39 c | 394233 | 66469 500847 1981765 | 2147483647 338800 25 | 3.315 % |
186.52/186.55 c | 394396 | 66469 500847 1981765 | 2147483647 338963 25 | 3.315 % |
186.62/186.61 c | 394572 | 66469 500847 1981765 | 2147483647 339139 25 | 3.315 % |
186.72/186.77 c | 394766 | 66469 500847 1981765 | 2147483647 339333 25 | 3.315 % |
187.02/187.10 c | 394980 | 66469 500847 1981765 | 2147483647 339547 25 | 3.315 % |
187.32/187.33 c | 395213 | 66469 500847 1981765 | 2147483647 339780 25 | 3.315 % |
187.52/187.54 c | 395470 | 66469 500847 1981765 | 2147483647 340037 25 | 3.315 % |
187.92/188.00 c | 395752 | 66468 500847 1981765 | 2147483647 340318 25 | 3.318 % |
188.23/188.28 c | 396062 | 66468 500847 1981765 | 2147483647 340628 25 | 3.318 % |
188.62/188.65 c | 396401 | 66467 500847 1981765 | 2147483647 340966 25 | 3.319 % |
188.92/188.96 c | 396773 | 66467 500847 1981765 | 2147483647 341338 25 | 3.319 % |
189.22/189.23 c | 397182 | 66467 500847 1981765 | 2147483647 341747 25 | 3.319 % |
189.62/189.65 c | 397631 | 66467 500847 1981765 | 2147483647 342196 25 | 3.319 % |
190.02/190.08 c | 398124 | 66466 500714 1981116 | 2147483647 340627 25 | 3.319 % |
190.32/190.37 c | 398666 | 66466 500714 1981116 | 2147483647 341169 25 | 3.319 % |
190.82/190.86 c | 399262 | 66466 500714 1981116 | 2147483647 341765 25 | 3.319 % |
191.42/191.46 c | 399917 | 66466 500714 1981116 | 2147483647 342420 25 | 3.319 % |
191.82/191.87 c | 400638 | 66466 500714 1981116 | 2147483647 343141 25 | 3.319 % |
192.32/192.40 c | 401430 | 66466 500714 1981116 | 2147483647 343933 25 | 3.319 % |
193.12/193.19 c | 402304 | 66466 500714 1981116 | 2147483647 344807 25 | 3.319 % |
193.92/194.00 c | 403263 | 66463 500714 1981116 | 2147483647 345764 25 | 3.324 % |
195.22/195.21 c | 404316 | 66460 500714 1981116 | 2147483647 346816 25 | 3.331 % |
195.82/195.89 c | 405475 | 66458 500714 1981116 | 2147483647 347975 25 | 3.331 % |
196.42/196.44 c | 406750 | 66458 500714 1981116 | 2147483647 349250 25 | 3.331 % |
197.72/197.75 c | 408150 | 66458 500714 1981116 | 2147483647 350650 25 | 3.331 % |
199.02/199.04 c | 409690 | 66458 500714 1981116 | 2147483647 352190 25 | 3.331 % |
200.02/200.04 c | 411384 | 66458 500714 1981116 | 2147483647 353884 25 | 3.331 % |
200.72/200.75 c | 413248 | 66458 500714 1981116 | 2147483647 355748 25 | 3.331 % |
201.22/201.23 c | 415298 | 66458 500714 1981116 | 2147483647 357798 25 | 3.331 % |
203.42/203.44 c | 417551 | 66458 500714 1981116 | 2147483647 360051 25 | 3.331 % |
205.32/205.38 c | 420030 | 66458 500714 1981116 | 2147483647 362530 25 | 3.331 % |
206.12/206.22 c | 422756 | 66458 500714 1981116 | 2147483647 365256 25 | 3.331 % |
207.23/207.27 c | 425754 | 66458 500714 1981116 | 2147483647 368254 25 | 3.331 % |
209.73/209.74 c | 429051 | 66458 500714 1981116 | 2147483647 371551 25 | 3.331 % |
211.32/211.38 c | 432678 | 66458 500637 1980865 | 2147483647 374925 26 | 3.331 % |
213.52/213.56 c | 436665 | 66458 500637 1980865 | 2147483647 378912 26 | 3.331 % |
213.62/213.65 c | 436766 | 66458 500637 1980865 | 2147483647 379013 26 | 3.331 % |
213.82/213.81 c | 436876 | 66458 500637 1980865 | 2147483647 379123 26 | 3.331 % |
214.02/214.02 c | 436998 | 66458 500637 1980865 | 2147483647 379245 26 | 3.331 % |
214.02/214.10 c | 437132 | 66458 500637 1980865 | 2147483647 379379 26 | 3.331 % |
214.22/214.24 c | 437278 | 66458 500637 1980865 | 2147483647 379525 26 | 3.331 % |
214.42/214.45 c | 437438 | 66458 500637 1980865 | 2147483647 379685 26 | 3.331 % |
214.72/214.79 c | 437614 | 66458 500637 1980865 | 2147483647 379861 26 | 3.331 % |
215.02/215.02 c | 437807 | 66458 500637 1980865 | 2147483647 380054 26 | 3.331 % |
215.12/215.14 c | 438019 | 66458 500637 1980865 | 2147483647 380266 26 | 3.331 % |
215.32/215.34 c | 438255 | 66458 500637 1980865 | 2147483647 380502 26 | 3.331 % |
215.52/215.56 c | 438514 | 66458 500637 1980865 | 2147483647 380761 26 | 3.331 % |
215.72/215.74 c | 438795 | 66458 500637 1980865 | 2147483647 381042 26 | 3.331 % |
216.02/216.03 c | 439107 | 66458 500637 1980865 | 2147483647 381354 26 | 3.331 % |
216.62/216.68 c | 439447 | 66457 500637 1980865 | 2147483647 381693 26 | 3.332 % |
216.92/216.96 c | 439819 | 66457 500637 1980865 | 2147483647 382065 26 | 3.332 % |
217.32/217.38 c | 440229 | 66457 500637 1980865 | 2147483647 382475 26 | 3.332 % |
217.62/217.69 c | 440681 | 66457 500637 1980865 | 2147483647 382927 26 | 3.332 % |
218.02/218.10 c | 441176 | 66456 500637 1980865 | 2147483647 383421 26 | 3.334 % |
218.52/218.59 c | 441718 | 66456 500637 1980865 | 2147483647 383963 26 | 3.334 % |
218.62/218.69 c | 442314 | 66456 500637 1980865 | 2147483647 384559 26 | 3.334 % |
219.32/219.36 c | 442969 | 66456 500637 1980865 | 2147483647 385214 26 | 3.334 % |
219.72/219.80 c | 443689 | 66456 500637 1980865 | 2147483647 385934 26 | 3.334 % |
220.02/220.09 c | 444481 | 66454 500637 1980865 | 2147483647 386724 26 | 3.337 % |
220.82/220.87 c | 445352 | 66454 500637 1980865 | 2147483647 387595 26 | 3.337 % |
221.82/221.81 c | 446310 | 66454 500637 1980865 | 2147483647 388553 26 | 3.337 % |
222.42/222.47 c | 447364 | 66454 500637 1980865 | 2147483647 389607 26 | 3.337 % |
222.92/222.97 c | 448523 | 66454 500637 1980865 | 2147483647 390766 26 | 3.337 % |
223.72/223.75 c | 449796 | 66454 500637 1980865 | 2147483647 392039 26 | 3.337 % |
224.92/224.98 c | 451196 | 66449 500637 1980865 | 2147483647 393438 26 | 3.353 % |
226.02/226.10 c | 452737 | 66449 500637 1980865 | 2147483647 394979 26 | 3.353 % |
226.52/226.58 c | 454431 | 66449 500637 1980865 | 2147483647 396673 26 | 3.353 % |
227.82/227.85 c | 456294 | 66449 500637 1980865 | 2147483647 398536 26 | 3.353 % |
229.52/229.58 c | 458343 | 66443 500637 1980865 | 2147483647 400585 26 | 3.353 % |
231.62/231.64 c | 460597 | 66443 500321 1979829 | 2147483647 402666 26 | 3.353 % |
232.12/232.19 c | 463075 | 66443 500321 1979829 | 2147483647 405144 26 | 3.353 % |
234.72/234.77 c | 465800 | 66443 500321 1979829 | 2147483647 407869 26 | 3.353 % |
235.92/235.96 c | 468797 | 66443 500321 1979829 | 2147483647 410866 26 | 3.353 % |
236.52/236.56 c | 472093 | 66443 500321 1979829 | 2147483647 414162 26 | 3.353 % |
237.62/237.62 c | 475718 | 66443 500321 1979829 | 2147483647 417787 26 | 3.353 % |
240.32/240.37 c | 479706 | 66443 500321 1979829 | 2147483647 421775 26 | 3.353 % |
243.32/243.34 c | 484092 | 66443 500321 1979829 | 2147483647 426161 26 | 3.353 % |
243.42/243.48 c | 484193 | 66443 500321 1979829 | 2147483647 426262 26 | 3.353 % |
243.62/243.61 c | 484303 | 66443 500321 1979829 | 2147483647 426372 26 | 3.353 % |
243.82/243.81 c | 484424 | 66443 500321 1979829 | 2147483647 426493 26 | 3.353 % |
243.82/243.86 c | 484559 | 66443 500321 1979829 | 2147483647 426628 26 | 3.353 % |
243.92/243.91 c | 484705 | 66440 500321 1979829 | 2147483647 426773 26 | 3.357 % |
244.02/244.09 c | 484866 | 66440 500321 1979829 | 2147483647 426934 26 | 3.357 % |
244.22/244.27 c | 485043 | 66440 500321 1979829 | 2147483647 427111 26 | 3.357 % |
244.42/244.41 c | 485236 | 66440 500321 1979829 | 2147483647 427304 26 | 3.357 % |
244.42/244.49 c | 485448 | 66440 500321 1979829 | 2147483647 427516 26 | 3.357 % |
244.62/244.67 c | 485682 | 66440 500321 1979829 | 2147483647 427750 26 | 3.357 % |
244.72/244.80 c | 485941 | 66440 500321 1979829 | 2147483647 428009 26 | 3.357 % |
245.12/245.12 c | 486222 | 66440 500321 1979829 | 2147483647 428290 26 | 3.357 % |
245.42/245.46 c | 486531 | 66440 500321 1979829 | 2147483647 428599 26 | 3.357 % |
245.62/245.65 c | 486871 | 66440 500321 1979829 | 2147483647 428939 26 | 3.357 % |
246.02/246.02 c | 487247 | 66440 500321 1979829 | 2147483647 429315 26 | 3.357 % |
246.42/246.43 c | 487656 | 66440 500321 1979829 | 2147483647 429724 26 | 3.357 % |
246.82/246.88 c | 488106 | 66440 500321 1979829 | 2147483647 430174 26 | 3.357 % |
247.22/247.27 c | 488599 | 66440 500321 1979829 | 2147483647 430667 26 | 3.357 % |
247.92/247.93 c | 489141 | 66440 500321 1979829 | 2147483647 431209 26 | 3.357 % |
248.52/248.53 c | 489741 | 66440 500321 1979829 | 2147483647 431809 26 | 3.357 % |
249.12/249.15 c | 490398 | 66440 500321 1979829 | 2147483647 432466 26 | 3.357 % |
249.92/249.96 c | 491118 | 66440 500321 1979829 | 2147483647 433186 26 | 3.357 % |
251.32/251.38 c | 491910 | 66440 500321 1979829 | 2147483647 433978 26 | 3.357 % |
251.52/251.54 c | 492784 | 66440 500321 1979829 | 2147483647 434852 26 | 3.357 % |
252.42/252.47 c | 493742 | 66440 500321 1979829 | 2147483647 435810 26 | 3.357 % |
253.42/253.41 c | 494795 | 66440 500321 1979829 | 2147483647 436863 26 | 3.357 % |
254.52/254.53 c | 495953 | 66440 500218 1979503 | 2147483647 438013 26 | 3.357 % |
254.92/254.99 c | 497226 | 66440 500218 1979503 | 2147483647 439286 26 | 3.357 % |
255.72/255.74 c | 498627 | 66432 500218 1979503 | 2147483647 440686 26 | 3.369 % |
256.22/256.23 c | 500167 | 66432 500218 1979503 | 2147483647 442226 26 | 3.369 % |
258.42/258.45 c | 501861 | 66432 500218 1979503 | 2147483647 443920 26 | 3.369 % |
259.52/259.56 c | 503724 | 66432 500218 1979503 | 2147483647 445783 26 | 3.369 % |
260.22/260.28 c | 505776 | 66432 500218 1979503 | 2147483647 447835 26 | 3.369 % |
262.53/262.53 c | 508031 | 66432 500218 1979503 | 2147483647 450090 26 | 3.369 % |
263.13/263.17 c | 510512 | 66432 500218 1979503 | 2147483647 452571 26 | 3.369 % |
264.73/264.73 c | 513238 | 66432 500218 1979503 | 2147483647 455297 26 | 3.369 % |
265.73/265.79 c | 516235 | 66432 500218 1979503 | 2147483647 458294 26 | 3.369 % |
268.73/268.72 c | 519531 | 66432 500218 1979503 | 2147483647 461590 27 | 3.369 % |
271.13/271.17 c | 523156 | 66427 500218 1979503 | 2147483647 465214 27 | 3.376 % |
273.23/273.23 c | 527143 | 66427 500218 1979503 | 2147483647 469201 27 | 3.376 % |
276.33/276.40 c | 531528 | 66427 500218 1979503 | 2147483647 473586 27 | 3.376 % |
278.53/278.59 c | 536353 | 66427 500218 1979503 | 2147483647 478411 27 | 3.376 % |
279.03/279.03 c | 536453 | 66427 500030 1978769 | 2147483647 477450 27 | 3.376 % |
279.23/279.27 c | 536564 | 66427 500030 1978769 | 2147483647 477561 27 | 3.376 % |
279.33/279.39 c | 536688 | 66427 500030 1978769 | 2147483647 477685 27 | 3.376 % |
279.43/279.51 c | 536822 | 66427 500030 1978769 | 2147483647 477819 27 | 3.376 % |
279.73/279.79 c | 536969 | 66427 500030 1978769 | 2147483647 477966 27 | 3.376 % |
280.03/280.02 c | 537129 | 66427 500030 1978769 | 2147483647 478126 27 | 3.376 % |
280.13/280.20 c | 537308 | 66427 500030 1978769 | 2147483647 478305 27 | 3.376 % |
280.43/280.50 c | 537503 | 66427 500030 1978769 | 2147483647 478500 27 | 3.376 % |
280.73/280.77 c | 537719 | 66427 500030 1978769 | 2147483647 478716 27 | 3.376 % |
280.93/280.93 c | 537954 | 66427 500030 1978769 | 2147483647 478951 27 | 3.376 % |
281.13/281.17 c | 538210 | 66427 500030 1978769 | 2147483647 479207 27 | 3.376 % |
281.43/281.44 c | 538492 | 66427 500030 1978769 | 2147483647 479489 27 | 3.376 % |
281.74/281.79 c | 538801 | 66427 500030 1978769 | 2147483647 479798 27 | 3.376 % |
282.13/282.17 c | 539141 | 66427 500030 1978769 | 2147483647 480138 27 | 3.376 % |
282.73/282.74 c | 539514 | 66427 500030 1978769 | 2147483647 480511 27 | 3.376 % |
283.23/283.28 c | 539923 | 66427 500030 1978769 | 2147483647 480920 27 | 3.376 % |
283.83/283.82 c | 540373 | 66427 500030 1978769 | 2147483647 481370 27 | 3.376 % |
284.63/284.64 c | 540867 | 66425 500030 1978769 | 2147483647 481863 27 | 3.379 % |
285.23/285.22 c | 541409 | 66425 500030 1978769 | 2147483647 482405 27 | 3.379 % |
285.33/285.41 c | 542005 | 66425 500030 1978769 | 2147483647 483001 27 | 3.379 % |
285.83/285.90 c | 542661 | 66425 500030 1978769 | 2147483647 483657 27 | 3.379 % |
287.33/287.39 c | 543381 | 66425 500030 1978769 | 2147483647 484377 27 | 3.379 % |
287.83/287.91 c | 544173 | 66425 500030 1978769 | 2147483647 485169 27 | 3.379 % |
288.73/288.71 c | 545049 | 66425 500030 1978769 | 2147483647 486045 27 | 3.379 % |
289.13/289.16 c | 546008 | 66425 500030 1978769 | 2147483647 487004 27 | 3.379 % |
289.93/289.99 c | 547061 | 66425 500030 1978769 | 2147483647 488057 27 | 3.379 % |
290.73/290.75 c | 548219 | 66425 500030 1978769 | 2147483647 489215 27 | 3.379 % |
292.13/292.16 c | 549492 | 66425 500030 1978769 | 2147483647 490488 27 | 3.379 % |
293.03/293.09 c | 550892 | 66425 500030 1978769 | 2147483647 491888 27 | 3.379 % |
293.93/293.93 c | 552432 | 66425 500030 1978769 | 2147483647 493428 27 | 3.379 % |
294.83/294.83 c | 554127 | 66425 500030 1978769 | 2147483647 495123 27 | 3.379 % |
296.23/296.22 c | 555990 | 66425 500030 1978769 | 2147483647 496986 27 | 3.379 % |
297.73/297.75 c | 558040 | 66425 500030 1978769 | 2147483647 499036 27 | 3.379 % |
299.03/299.03 c | 560293 | 66425 500030 1978769 | 2147483647 501289 27 | 3.379 % |
302.13/302.11 c | 562774 | 66425 500030 1978769 | 2147483647 503770 27 | 3.379 % |
303.63/303.69 c | 565503 | 66425 500030 1978769 | 2147483647 506499 27 | 3.379 % |
307.23/307.26 c | 568501 | 66425 500030 1978769 | 2147483647 509497 27 | 3.379 % |
310.34/310.35 c | 571797 | 66425 500030 1978769 | 2147483647 512793 27 | 3.379 % |
312.73/312.77 c | 575422 | 66425 500030 1978769 | 2147483647 516418 27 | 3.379 % |
314.43/314.43 c | 579409 | 66425 500020 1978721 | 2147483647 520037 27 | 3.379 % |
318.64/318.69 c | 583796 | 66425 500020 1978721 | 2147483647 524424 27 | 3.379 % |
323.74/323.77 c | 588619 | 66425 500020 1978721 | 2147483647 529247 27 | 3.379 % |
324.24/324.31 c | 593925 | 66425 500020 1978721 | 2147483647 534553 27 | 3.379 % |
324.54/324.54 c | 594026 | 66425 500020 1978721 | 2147483647 534654 27 | 3.379 % |
324.64/324.66 c | 594137 | 66425 500020 1978721 | 2147483647 534765 27 | 3.379 % |
324.84/324.83 c | 594258 | 66425 500020 1978721 | 2147483647 534886 27 | 3.379 % |
325.14/325.13 c | 594391 | 66425 500020 1978721 | 2147483647 535019 27 | 3.379 % |
325.44/325.44 c | 594537 | 66425 500020 1978721 | 2147483647 535165 27 | 3.379 % |
325.64/325.69 c | 594697 | 66425 500020 1978721 | 2147483647 535325 27 | 3.379 % |
326.04/326.02 c | 594873 | 66425 500020 1978721 | 2147483647 535501 27 | 3.379 % |
326.14/326.14 c | 595067 | 66425 500020 1978721 | 2147483647 535695 27 | 3.379 % |
326.54/326.54 c | 595279 | 66425 500020 1978721 | 2147483647 535907 27 | 3.379 % |
326.94/326.98 c | 595514 | 66425 500020 1978721 | 2147483647 536142 27 | 3.379 % |
327.44/327.49 c | 595772 | 66425 500020 1978721 | 2147483647 536400 27 | 3.379 % |
328.04/328.07 c | 596053 | 66425 500020 1978721 | 2147483647 536681 27 | 3.379 % |
328.54/328.62 c | 596362 | 66425 500020 1978721 | 2147483647 536990 27 | 3.379 % |
329.34/329.34 c | 596702 | 66425 500020 1978721 | 2147483647 537330 27 | 3.379 % |
329.74/329.81 c | 597075 | 66425 500020 1978721 | 2147483647 537703 27 | 3.379 % |
330.04/330.09 c | 597486 | 66425 500020 1978721 | 2147483647 538114 27 | 3.379 % |
330.44/330.48 c | 597937 | 66424 500020 1978721 | 2147483647 538564 27 | 3.380 % |
330.94/330.95 c | 598430 | 66424 500020 1978721 | 2147483647 539057 27 | 3.380 % |
331.84/331.82 c | 598972 | 66423 500020 1978721 | 2147483647 539598 27 | 3.382 % |
332.74/332.78 c | 599568 | 66423 500020 1978721 | 2147483647 540194 27 | 3.382 % |
333.44/333.48 c | 600223 | 66423 500020 1978721 | 2147483647 540849 27 | 3.382 % |
334.24/334.28 c | 600943 | 66423 500020 1978721 | 2147483647 541569 27 | 3.382 % |
335.94/336.00 c | 601737 | 66423 500020 1978721 | 2147483647 542363 27 | 3.382 % |
337.54/337.56 c | 602608 | 66423 500020 1978721 | 2147483647 543234 27 | 3.382 % |
339.04/339.07 c | 603568 | 66418 500020 1978721 | 2147483647 544193 27 | 3.395 % |
340.04/340.11 c | 604623 | 66418 500020 1978721 | 2147483647 545248 27 | 3.395 % |
340.94/340.95 c | 605781 | 66418 500020 1978721 | 2147483647 546406 27 | 3.395 % |
342.44/342.43 c | 607054 | 66418 500020 1978721 | 2147483647 547679 27 | 3.395 % |
343.04/343.07 c | 608454 | 66418 500020 1978721 | 2147483647 549079 27 | 3.395 % |
343.94/343.98 c | 609994 | 66418 500020 1978721 | 2147483647 550619 27 | 3.395 % |
346.04/346.02 c | 611688 | 66418 500020 1978721 | 2147483647 552313 27 | 3.395 % |
348.74/348.80 c | 613551 | 66418 500020 1978721 | 2147483647 554176 27 | 3.395 % |
352.34/352.41 c | 615600 | 66418 500020 1978721 | 2147483647 556225 27 | 3.395 % |
355.14/355.16 c | 617853 | 66417 500020 1978721 | 2147483647 558477 27 | 3.396 % |
358.64/358.63 c | 620331 | 66413 499850 1978073 | 2147483647 560773 27 | 3.396 % |
363.14/363.11 c | 623056 | 66413 499850 1978073 | 2147483647 563498 28 | 3.396 % |
366.04/366.02 c | 626055 | 66413 499850 1978073 | 2147483647 566497 28 | 3.396 % |
367.64/367.63 c | 629353 | 66413 499850 1978073 | 2147483647 569795 28 | 3.396 % |
368.34/368.33 c | 632979 | 66413 499850 1978073 | 2147483647 573421 28 | 3.396 % |
373.04/373.04 c | 636968 | 66413 499850 1978073 | 2147483647 577410 28 | 3.396 % |
379.64/379.62 c | 641354 | 66412 499850 1978073 | 2147483647 581795 28 | 3.398 % |
387.44/387.42 c | 646177 | 66409 499850 1978073 | 2147483647 586617 28 | 3.402 % |
396.24/396.25 c | 651482 | 66409 499850 1978073 | 2147483647 591922 28 | 3.402 % |
399.45/399.51 c | 657317 | 66409 499850 1978073 | 2147483647 597757 28 | 3.402 % |
399.64/399.64 c | 657417 | 66409 499850 1978073 | 2147483647 597857 28 | 3.402 % |
399.84/399.88 c | 657527 | 66409 499850 1978073 | 2147483647 597967 28 | 3.402 % |
400.04/400.05 c | 657648 | 66409 499850 1978073 | 2147483647 598088 28 | 3.402 % |
400.04/400.07 c | 657781 | 66409 499850 1978073 | 2147483647 598221 28 | 3.402 % |
400.04/400.10 c | 657930 | 66409 499850 1978073 | 2147483647 598370 28 | 3.402 % |
400.24/400.31 c | 658091 | 66409 499850 1978073 | 2147483647 598531 28 | 3.402 % |
400.34/400.39 c | 658267 | 66409 499850 1978073 | 2147483647 598707 28 | 3.402 % |
400.64/400.68 c | 658460 | 66409 499850 1978073 | 2147483647 598900 28 | 3.402 % |
401.34/401.35 c | 658676 | 66409 499850 1978073 | 2147483647 599116 28 | 3.402 % |
402.04/402.06 c | 658910 | 66409 499850 1978073 | 2147483647 599350 28 | 3.402 % |
402.44/402.42 c | 659166 | 66409 499850 1978073 | 2147483647 599606 28 | 3.402 % |
403.04/403.02 c | 659447 | 66409 499850 1978073 | 2147483647 599887 28 | 3.402 % |
403.24/403.25 c | 659756 | 66409 499850 1978073 | 2147483647 600196 28 | 3.402 % |
403.94/403.98 c | 660096 | 66409 499850 1978073 | 2147483647 600536 28 | 3.402 % |
404.54/404.56 c | 660470 | 66409 499813 1977950 | 2147483647 600909 28 | 3.402 % |
405.14/405.11 c | 660880 | 66409 499813 1977950 | 2147483647 601319 28 | 3.402 % |
405.54/405.55 c | 661329 | 66409 499813 1977950 | 2147483647 601768 28 | 3.402 % |
406.24/406.23 c | 661823 | 66409 499813 1977950 | 2147483647 602262 28 | 3.402 % |
407.34/407.35 c | 662366 | 66409 499813 1977950 | 2147483647 602805 28 | 3.402 % |
408.14/408.13 c | 662966 | 66409 499813 1977950 | 2147483647 603405 28 | 3.402 % |
408.54/408.53 c | 663624 | 66409 499813 1977950 | 2147483647 604063 28 | 3.402 % |
409.14/409.12 c | 664344 | 66409 499813 1977950 | 2147483647 604783 28 | 3.402 % |
409.74/409.78 c | 665136 | 66409 499813 1977950 | 2147483647 605575 28 | 3.402 % |
411.34/411.33 c | 666009 | 66409 499813 1977950 | 2147483647 606448 28 | 3.402 % |
412.94/412.92 c | 666967 | 66409 499813 1977950 | 2147483647 607406 28 | 3.402 % |
413.84/413.86 c | 668020 | 66409 499813 1977950 | 2147483647 608459 28 | 3.402 % |
415.04/415.06 c | 669180 | 66409 499813 1977950 | 2147483647 609619 28 | 3.402 % |
417.24/417.27 c | 670454 | 66408 499813 1977950 | 2147483647 610892 28 | 3.404 % |
418.34/418.32 c | 671854 | 66408 499813 1977950 | 2147483647 612292 28 | 3.404 % |
420.35/420.37 c | 673394 | 66408 499813 1977950 | 2147483647 613832 28 | 3.404 % |
421.94/421.98 c | 675088 | 66408 499813 1977950 | 2147483647 615526 28 | 3.404 % |
423.54/423.59 c | 676951 | 66405 499813 1977950 | 2147483647 617388 28 | 3.408 % |
424.94/424.99 c | 679000 | 66405 499813 1977950 | 2147483647 619437 28 | 3.408 % |
426.44/426.45 c | 681253 | 66405 499813 1977950 | 2147483647 621690 28 | 3.408 % |
431.45/431.48 c | 683731 | 66405 499813 1977950 | 2147483647 624168 28 | 3.408 % |
432.95/432.93 c | 686459 | 66405 499813 1977950 | 2147483647 626896 28 | 3.408 % |
436.15/436.15 c | 689456 | 66405 499813 1977950 | 2147483647 629893 28 | 3.408 % |
441.25/441.23 c | 692752 | 66405 499813 1977950 | 2147483647 633189 28 | 3.408 % |
443.95/443.92 c | 696377 | 66405 499813 1977950 | 2147483647 636814 28 | 3.408 % |
448.85/448.88 c | 700364 | 66405 499813 1977950 | 2147483647 640801 28 | 3.408 % |
455.45/455.46 c | 704751 | 66405 499813 1977950 | 2147483647 645188 28 | 3.408 % |
459.55/459.59 c | 709574 | 66405 499813 1977950 | 2147483647 650011 28 | 3.408 % |
467.05/467.08 c | 714879 | 66403 499698 1977583 | 2147483647 655044 28 | 3.421 % |
469.95/469.99 c | 720715 | 66403 499698 1977583 | 2147483647 660880 28 | 3.421 % |
474.35/474.39 c | 727134 | 66403 499698 1977583 | 2147483647 667299 28 | 3.421 % |
474.65/474.65 c | 727234 | 66403 499698 1977583 | 2147483647 667399 28 | 3.421 % |
475.05/475.05 c | 727345 | 66403 499698 1977583 | 2147483647 667510 28 | 3.421 % |
475.25/475.31 c | 727466 | 66403 499698 1977583 | 2147483647 667631 28 | 3.421 % |
475.65/475.65 c | 727599 | 66403 499698 1977583 | 2147483647 667764 28 | 3.421 % |
475.85/475.87 c | 727746 | 66403 499698 1977583 | 2147483647 667911 28 | 3.421 % |
476.35/476.35 c | 727907 | 66403 499698 1977583 | 2147483647 668072 28 | 3.421 % |
476.45/476.49 c | 728083 | 66403 499698 1977583 | 2147483647 668248 28 | 3.421 % |
476.75/476.80 c | 728276 | 66403 499698 1977583 | 2147483647 668441 28 | 3.421 % |
477.45/477.42 c | 728488 | 66403 499698 1977583 | 2147483647 668653 28 | 3.421 % |
478.25/478.29 c | 728722 | 66403 499698 1977583 | 2147483647 668887 28 | 3.421 % |
478.95/478.93 c | 728978 | 66403 499698 1977583 | 2147483647 669143 28 | 3.421 % |
479.45/479.43 c | 729259 | 66403 499698 1977583 | 2147483647 669424 28 | 3.421 % |
480.35/480.35 c | 729572 | 66403 499698 1977583 | 2147483647 669737 28 | 3.421 % |
481.25/481.23 c | 729913 | 66403 499698 1977583 | 2147483647 670078 28 | 3.421 % |
481.85/481.82 c | 730287 | 66403 499698 1977583 | 2147483647 670452 28 | 3.421 % |
482.35/482.36 c | 730696 | 66403 499698 1977583 | 2147483647 670861 28 | 3.421 % |
483.15/483.12 c | 731146 | 66403 499698 1977583 | 2147483647 671311 28 | 3.421 % |
483.65/483.69 c | 731639 | 66403 499698 1977583 | 2147483647 671804 28 | 3.421 % |
484.55/484.57 c | 732182 | 66403 499698 1977583 | 2147483647 672347 28 | 3.421 % |
485.45/485.46 c | 732778 | 66403 499698 1977583 | 2147483647 672943 28 | 3.421 % |
487.45/487.51 c | 733434 | 66400 499698 1977583 | 2147483647 673598 28 | 3.426 % |
488.85/488.85 c | 734155 | 66400 499698 1977583 | 2147483647 674319 28 | 3.426 % |
489.65/489.66 c | 734947 | 66400 499698 1977583 | 2147483647 675111 28 | 3.426 % |
490.65/490.63 c | 735818 | 66400 499698 1977583 | 2147483647 675982 28 | 3.426 % |
491.95/491.95 c | 736779 | 66400 499698 1977583 | 2147483647 676943 28 | 3.426 % |
493.55/493.58 c | 737832 | 66400 499698 1977583 | 2147483647 677996 28 | 3.426 % |
497.25/497.22 c | 738991 | 66400 499698 1977583 | 2147483647 679155 28 | 3.426 % |
499.25/499.30 c | 740266 | 66400 499698 1977583 | 2147483647 680430 28 | 3.426 % |
502.15/502.17 c | 741666 | 66397 499698 1977583 | 2147483647 681829 28 | 3.430 % |
504.55/504.60 c | 743207 | 66397 499698 1977583 | 2147483647 683370 28 | 3.430 % |
507.35/507.33 c | 744901 | 66397 499698 1977583 | 2147483647 685064 28 | 3.430 % |
508.45/508.46 c | 746766 | 66397 499698 1977583 | 2147483647 686929 29 | 3.430 % |
511.45/511.44 c | 748815 | 66397 499698 1977583 | 2147483647 688978 29 | 3.430 % |
515.45/515.43 c | 751070 | 66397 499698 1977583 | 2147483647 691233 29 | 3.430 % |
516.95/517.00 c | 753551 | 66397 499698 1977583 | 2147483647 693714 29 | 3.430 % |
519.55/519.51 c | 756276 | 66394 499698 1977583 | 2147483647 696438 29 | 3.440 % |
521.45/521.42 c | 759276 | 66394 499698 1977583 | 2147483647 699438 29 | 3.440 % |
525.15/525.12 c | 762573 | 66394 499698 1977583 | 2147483647 702735 29 | 3.440 % |
527.35/527.33 c | 766204 | 66383 499293 1976164 | 2147483647 706329 29 | 3.440 % |
531.05/531.02 c | 770191 | 66382 499293 1976164 | 710124 710315 29 | 3.444 % |
540.36/540.40 c | 774580 | 66382 499293 1976164 | 710124 643243 28 | 3.444 % |
543.16/543.17 c | 779403 | 66382 499293 1976164 | 710124 648066 28 | 3.444 % |
547.66/547.69 c | 784708 | 66380 499293 1976164 | 648665 653370 28 | 3.449 % |
552.46/552.45 c | 790545 | 66380 499293 1976164 | 2147483647 593870 28 | 3.449 % |
561.16/561.21 c | 796964 | 66377 499293 1976164 | 2147483647 600288 29 | 3.453 % |
565.26/565.30 c | 804023 | 66377 499293 1976164 | 2147483647 607347 29 | 3.453 % |
565.46/565.49 c | 804124 | 66377 499293 1976164 | 2147483647 607448 29 | 3.453 % |
565.76/565.77 c | 804235 | 66377 499293 1976164 | 2147483647 607559 29 | 3.453 % |
566.16/566.16 c | 804356 | 66377 499293 1976164 | 2147483647 607680 29 | 3.453 % |
566.36/566.38 c | 804490 | 66377 499293 1976164 | 2147483647 607814 29 | 3.453 % |
566.66/566.68 c | 804636 | 66377 499293 1976164 | 2147483647 607960 29 | 3.453 % |
567.06/567.03 c | 804797 | 66377 499293 1976164 | 2147483647 608121 29 | 3.453 % |
567.26/567.24 c | 804973 | 66377 499293 1976164 | 2147483647 608297 29 | 3.453 % |
567.75/567.76 c | 805166 | 66377 499293 1976164 | 2147483647 608490 29 | 3.453 % |
568.05/568.07 c | 805378 | 66377 499293 1976164 | 2147483647 608702 29 | 3.453 % |
568.55/568.56 c | 805612 | 66377 499293 1976164 | 2147483647 608936 29 | 3.453 % |
569.15/569.11 c | 805871 | 66377 499293 1976164 | 2147483647 609195 29 | 3.453 % |
569.85/569.83 c | 806152 | 66377 499293 1976164 | 2147483647 609476 29 | 3.453 % |
569.95/569.93 c | 806461 | 66377 499293 1976164 | 2147483647 609785 29 | 3.453 % |
570.55/570.56 c | 806800 | 66377 499293 1976164 | 2147483647 610124 29 | 3.453 % |
571.15/571.18 c | 807173 | 66377 499293 1976164 | 2147483647 610497 29 | 3.453 % |
571.85/571.82 c | 807582 | 66377 499293 1976164 | 2147483647 610906 29 | 3.453 % |
572.95/572.99 c | 808033 | 66377 499293 1976164 | 2147483647 611357 29 | 3.453 % |
574.05/574.07 c | 808528 | 66377 499293 1976164 | 2147483647 611852 29 | 3.453 % |
574.55/574.54 c | 809072 | 66377 499293 1976164 | 2147483647 612396 29 | 3.453 % |
575.15/575.11 c | 809668 | 66377 499293 1976164 | 2147483647 612992 29 | 3.453 % |
576.05/576.03 c | 810323 | 66377 499293 1976164 | 2147483647 613647 29 | 3.453 % |
576.55/576.59 c | 811043 | 66377 499293 1976164 | 2147483647 614367 29 | 3.453 % |
578.45/578.49 c | 811835 | 66377 499293 1976164 | 2147483647 615159 29 | 3.453 % |
579.95/579.92 c | 812706 | 66377 499293 1976164 | 2147483647 616030 29 | 3.453 % |
582.65/582.62 c | 813664 | 66376 499293 1976164 | 2147483647 616987 29 | 3.455 % |
583.95/584.00 c | 814718 | 66376 499293 1976164 | 2147483647 618041 29 | 3.455 % |
585.55/585.58 c | 815878 | 66376 499293 1976164 | 2147483647 619201 29 | 3.455 % |
586.55/586.58 c | 817152 | 66376 499293 1976164 | 2147483647 620475 29 | 3.455 % |
587.85/587.88 c | 818552 | 66376 499293 1976164 | 2147483647 621875 29 | 3.455 % |
589.85/589.90 c | 820092 | 66376 499293 1976164 | 2147483647 623415 29 | 3.455 % |
591.85/591.88 c | 821788 | 66376 499293 1976164 | 2147483647 625111 29 | 3.455 % |
592.25/592.23 c | 823651 | 66376 499293 1976164 | 2147483647 626974 29 | 3.455 % |
593.55/593.54 c | 825700 | 66376 499293 1976164 | 2147483647 629023 29 | 3.455 % |
596.45/596.41 c | 827955 | 66376 499293 1976164 | 2147483647 631278 29 | 3.455 % |
597.35/597.39 c | 830433 | 66373 499184 1975809 | 2147483647 633749 29 | 3.455 % |
603.05/603.03 c | 833158 | 66373 499184 1975809 | 2147483647 636474 29 | 3.455 % |
607.95/607.91 c | 836156 | 66373 499184 1975809 | 2147483647 639472 29 | 3.455 % |
610.45/610.48 c | 839454 | 66373 499184 1975809 | 2147483647 642770 29 | 3.455 % |
616.55/616.56 c | 843082 | 66373 499184 1975809 | 2147483647 646398 29 | 3.455 % |
622.15/622.18 c | 847072 | 66373 499184 1975809 | 2147483647 650388 29 | 3.455 % |
628.95/628.98 c | 851457 | 66373 499184 1975809 | 2147483647 654773 29 | 3.455 % |
632.35/632.36 c | 856283 | 66373 499184 1975809 | 2147483647 659599 29 | 3.455 % |
640.95/640.95 c | 861588 | 66373 499184 1975809 | 2147483647 664904 29 | 3.455 % |
646.85/646.80 c | 867423 | 66373 499184 1975809 | 2147483647 670739 29 | 3.455 % |
659.46/659.44 c | 873841 | 66373 499184 1975809 | 2147483647 677157 29 | 3.455 % |
662.56/662.58 c | 880900 | 66373 499184 1975809 | 2147483647 684216 29 | 3.455 % |
670.36/670.34 c | 888666 | 66373 499184 1975809 | 2147483647 691982 29 | 3.455 % |
670.56/670.54 c | 888766 | 66373 499184 1975809 | 2147483647 692082 29 | 3.455 % |
670.66/670.68 c | 888877 | 66373 499184 1975809 | 2147483647 692193 29 | 3.455 % |
670.96/670.95 c | 888998 | 66373 499184 1975809 | 2147483647 692314 29 | 3.455 % |
671.26/671.29 c | 889133 | 66373 499184 1975809 | 2147483647 692449 29 | 3.455 % |
671.76/671.80 c | 889280 | 66373 499184 1975809 | 2147483647 692596 29 | 3.455 % |
672.26/672.27 c | 889440 | 66373 499184 1975809 | 2147483647 692756 29 | 3.455 % |
672.56/672.59 c | 889619 | 66373 499184 1975809 | 2147483647 692935 29 | 3.455 % |
673.06/673.03 c | 889812 | 66373 499184 1975809 | 2147483647 693128 29 | 3.455 % |
673.46/673.44 c | 890026 | 66373 499184 1975809 | 2147483647 693342 29 | 3.455 % |
673.66/673.68 c | 890265 | 66373 499184 1975809 | 2147483647 693581 29 | 3.455 % |
673.76/673.75 c | 890521 | 66373 499184 1975809 | 2147483647 693837 29 | 3.455 % |
674.26/674.27 c | 890802 | 66373 499184 1975809 | 2147483647 694118 29 | 3.455 % |
674.86/674.89 c | 891111 | 66373 499184 1975809 | 2147483647 694427 29 | 3.455 % |
675.66/675.68 c | 891450 | 66373 499184 1975809 | 2147483647 694766 29 | 3.455 % |
676.56/676.55 c | 891824 | 66373 499184 1975809 | 2147483647 695140 29 | 3.455 % |
676.86/676.86 c | 892233 | 66373 499184 1975809 | 2147483647 695549 29 | 3.455 % |
677.76/677.80 c | 892684 | 66373 499184 1975809 | 2147483647 696000 29 | 3.455 % |
678.06/678.10 c | 893177 | 66373 499184 1975809 | 2147483647 696493 29 | 3.455 % |
680.16/680.11 c | 893720 | 66373 499184 1975809 | 2147483647 697036 29 | 3.455 % |
680.56/680.58 c | 894316 | 66373 499184 1975809 | 2147483647 697632 29 | 3.455 % |
681.66/681.67 c | 894971 | 66373 499184 1975809 | 2147483647 698287 29 | 3.455 % |
682.36/682.35 c | 895692 | 66373 499184 1975809 | 2147483647 699008 29 | 3.455 % |
683.06/683.10 c | 896485 | 66373 499184 1975809 | 2147483647 699801 29 | 3.455 % |
684.16/684.15 c | 897357 | 66373 499184 1975809 | 2147483647 700673 29 | 3.455 % |
685.66/685.65 c | 898315 | 66373 499184 1975809 | 2147483647 701631 29 | 3.455 % |
688.06/688.11 c | 899369 | 66373 499184 1975809 | 2147483647 702685 29 | 3.455 % |
689.36/689.36 c | 900528 | 66373 499184 1975809 | 2147483647 703844 29 | 3.455 % |
691.76/691.74 c | 901804 | 66373 499184 1975809 | 2147483647 705120 29 | 3.455 % |
693.56/693.56 c | 903204 | 66373 499184 1975809 | 2147483647 706520 29 | 3.455 % |
696.06/696.01 c | 904744 | 66373 499184 1975809 | 2147483647 708060 29 | 3.455 % |
698.16/698.13 c | 906439 | 66373 499184 1975809 | 2147483647 709755 29 | 3.455 % |
701.76/701.73 c | 908302 | 66373 499184 1975809 | 2147483647 711618 29 | 3.455 % |
706.76/706.76 c | 910351 | 66373 499184 1975809 | 2147483647 713667 29 | 3.455 % |
709.26/709.27 c | 912605 | 66373 499184 1975809 | 2147483647 715921 29 | 3.455 % |
712.16/712.17 c | 915086 | 66373 499184 1975809 | 2147483647 718402 30 | 3.455 % |
715.96/715.96 c | 917811 | 66373 499184 1975809 | 2147483647 721127 30 | 3.455 % |
719.76/719.79 c | 920808 | 66373 499184 1975809 | 2147483647 724124 30 | 3.455 % |
725.76/725.76 c | 924104 | 66371 499146 1975645 | 2147483647 727402 30 | 3.458 % |
728.26/728.27 c | 927729 | 66371 499146 1975645 | 2147483647 731027 30 | 3.458 % |
731.86/731.85 c | 931720 | 66371 499146 1975645 | 733300 735018 30 | 3.458 % |
738.86/738.87 c | 936105 | 66362 499146 1975645 | 733300 581274 29 | 3.476 % |
745.56/745.55 c | 940930 | 66362 499146 1975645 | 585170 586099 29 | 3.476 % |
750.86/750.89 c | 946236 | 66362 499146 1975645 | 585170 494991 30 | 3.476 % |
753.27/753.29 c | 952071 | 66362 499146 1975645 | 498756 500826 30 | 3.476 % |
758.67/758.68 c | 958490 | 66362 499146 1975645 | 498756 457054 30 | 3.476 % |
766.28/766.31 c | 965550 | 66362 499146 1975645 | 2147483647 464114 30 | 3.476 % |
778.88/778.87 c | 973314 | 66362 499146 1975645 | 2147483647 471878 30 | 3.476 % |
790.58/790.58 c | 981856 | 66362 499146 1975645 | 2147483647 480420 30 | 3.476 % |
791.08/791.02 c | 981957 | 66362 499146 1975645 | 2147483647 480521 30 | 3.476 % |
791.28/791.28 c | 982069 | 66362 499146 1975645 | 2147483647 480633 30 | 3.476 % |
791.58/791.60 c | 982190 | 66362 499146 1975645 | 2147483647 480754 30 | 3.476 % |
791.78/791.77 c | 982323 | 66362 499146 1975645 | 2147483647 480887 30 | 3.476 % |
791.98/792.01 c | 982470 | 66362 499146 1975645 | 2147483647 481034 30 | 3.476 % |
792.28/792.29 c | 982630 | 66362 499146 1975645 | 2147483647 481194 30 | 3.476 % |
792.38/792.32 c | 982807 | 66362 499146 1975645 | 2147483647 481371 30 | 3.476 % |
792.88/792.89 c | 983000 | 66362 499146 1975645 | 2147483647 481564 30 | 3.476 % |
793.18/793.18 c | 983213 | 66362 499146 1975645 | 2147483647 481777 30 | 3.476 % |
793.68/793.68 c | 983446 | 66362 499146 1975645 | 2147483647 482010 30 | 3.476 % |
794.28/794.22 c | 983702 | 66362 499146 1975645 | 2147483647 482266 30 | 3.476 % |
794.58/794.57 c | 983983 | 66362 499146 1975645 | 2147483647 482547 30 | 3.476 % |
795.38/795.34 c | 984292 | 66358 498866 1974787 | 2147483647 482853 30 | 3.476 % |
796.18/796.17 c | 984632 | 66358 498866 1974787 | 2147483647 483193 30 | 3.476 % |
796.78/796.78 c | 985004 | 66358 498866 1974787 | 2147483647 483565 30 | 3.476 % |
797.58/797.56 c | 985414 | 66358 498866 1974787 | 2147483647 483975 30 | 3.476 % |
797.98/797.96 c | 985863 | 66358 498866 1974787 | 2147483647 484424 30 | 3.476 % |
798.58/798.55 c | 986356 | 66358 498866 1974787 | 2147483647 484917 30 | 3.476 % |
799.38/799.36 c | 986898 | 66358 498866 1974787 | 2147483647 485459 30 | 3.476 % |
799.88/799.88 c | 987494 | 66358 498866 1974787 | 2147483647 486055 30 | 3.476 % |
800.68/800.70 c | 988153 | 66358 498866 1974787 | 2147483647 486714 30 | 3.476 % |
802.28/802.32 c | 988873 | 66358 498866 1974787 | 2147483647 487434 30 | 3.476 % |
804.08/804.04 c | 989668 | 66358 498866 1974787 | 2147483647 488229 30 | 3.476 % |
805.38/805.41 c | 990540 | 66358 498866 1974787 | 2147483647 489101 30 | 3.476 % |
805.98/806.01 c | 991499 | 66357 498866 1974787 | 2147483647 490059 30 | 3.478 % |
807.18/807.13 c | 992553 | 66357 498866 1974787 | 2147483647 491113 30 | 3.478 % |
809.28/809.31 c | 993713 | 66357 498866 1974787 | 2147483647 492273 30 | 3.478 % |
811.58/811.57 c | 994986 | 66357 498866 1974787 | 2147483647 493546 30 | 3.478 % |
814.48/814.45 c | 996388 | 66357 498866 1974787 | 2147483647 494948 30 | 3.478 % |
817.58/817.53 c | 997930 | 66357 498866 1974787 | 2147483647 496490 30 | 3.478 % |
820.98/820.97 c | 999626 | 66357 498866 1974787 | 2147483647 498186 30 | 3.478 % |
824.78/824.74 c | 1001489 | 66357 498866 1974787 | 2147483647 500049 30 | 3.478 % |
828.98/828.94 c | 1003539 | 66357 498866 1974787 | 2147483647 502099 30 | 3.478 % |
832.58/832.60 c | 1005793 | 66357 498866 1974787 | 2147483647 504353 30 | 3.478 % |
835.48/835.45 c | 1008272 | 66357 498866 1974787 | 2147483647 506832 30 | 3.478 % |
841.69/841.67 c | 1010997 | 66357 498866 1974787 | 2147483647 509557 30 | 3.478 % |
843.58/843.57 c | 1013996 | 66357 498820 1974647 | 2147483647 512555 30 | 3.478 % |
848.08/848.11 c | 1017292 | 66357 498820 1974647 | 2147483647 515851 31 | 3.478 % |
850.78/850.80 c | 1020919 | 66357 498820 1974647 | 2147483647 519478 31 | 3.478 % |
855.99/855.96 c | 1024906 | 66357 498820 1974647 | 2147483647 523465 31 | 3.478 % |
862.18/862.21 c | 1029291 | 66233 498820 1974647 | 2147483647 527849 31 | 4.098 % |
866.48/866.45 c | 1034115 | 66233 498820 1974647 | 2147483647 532673 31 | 4.098 % |
871.08/871.01 c | 1039421 | 66233 498820 1974647 | 2147483647 537979 31 | 4.098 % |
879.79/879.79 c | 1045259 | 66233 498820 1974647 | 538558 543817 31 | 4.098 % |
888.59/888.55 c | 1051677 | 66209 498820 1974647 | 2147483647 495861 31 | 4.099 % |
894.19/894.14 c | 1058737 | 66206 498820 1974647 | 2147483647 502920 31 | 4.100 % |
911.49/911.44 c | 1066503 | 66206 498820 1974647 | 2147483647 510686 31 | 4.100 % |
921.89/921.86 c | 1075043 | 65929 491131 1944287 | 2147483647 420633 30 | 4.100 % |
935.88/935.82 c | 1084437 | 65929 491131 1944287 | 2147483647 430027 30 | 4.100 % |
936.08/936.06 c | 1084538 | 65929 491131 1944287 | 2147483647 430128 30 | 4.100 % |
936.38/936.32 c | 1084648 | 65929 491131 1944287 | 2147483647 430238 30 | 4.100 % |
936.78/936.74 c | 1084771 | 65929 491131 1944287 | 2147483647 430361 30 | 4.100 % |
936.98/936.94 c | 1084905 | 65929 491131 1944287 | 2147483647 430495 30 | 4.100 % |
937.28/937.21 c | 1085052 | 65929 491131 1944287 | 2147483647 430642 30 | 4.100 % |
937.48/937.48 c | 1085212 | 65924 491131 1944287 | 2147483647 430801 30 | 4.114 % |
937.88/937.81 c | 1085390 | 65924 491131 1944287 | 2147483647 430979 30 | 4.114 % |
938.18/938.14 c | 1085584 | 65924 491131 1944287 | 2147483647 431173 30 | 4.114 % |
938.48/938.49 c | 1085797 | 65924 491131 1944287 | 2147483647 431386 30 | 4.114 % |
938.98/938.97 c | 1086031 | 65920 491131 1944287 | 2147483647 431620 30 | 4.114 % |
939.28/939.27 c | 1086288 | 65920 491131 1944287 | 2147483647 431877 30 | 4.114 % |
939.88/939.84 c | 1086569 | 65920 491131 1944287 | 2147483647 432158 30 | 4.114 % |
940.48/940.48 c | 1086879 | 65920 491131 1944287 | 2147483647 432468 30 | 4.114 % |
941.58/941.51 c | 1087219 | 65920 491131 1944287 | 2147483647 432808 30 | 4.114 % |
941.68/941.67 c | 1087592 | 65920 491131 1944287 | 2147483647 433181 30 | 4.114 % |
942.48/942.47 c | 1088001 | 65913 491131 1944287 | 2147483647 433589 30 | 4.124 % |
943.18/943.18 c | 1088452 | 65913 491131 1944287 | 2147483647 434040 30 | 4.124 % |
944.18/944.11 c | 1088945 | 65913 491131 1944287 | 2147483647 434533 30 | 4.124 % |
944.88/944.81 c | 1089490 | 65913 491131 1944287 | 2147483647 435078 30 | 4.124 % |
945.38/945.38 c | 1090087 | 65913 491131 1944287 | 2147483647 435675 30 | 4.124 % |
946.48/946.44 c | 1090742 | 65913 491131 1944287 | 2147483647 436330 30 | 4.124 % |
947.48/947.42 c | 1091463 | 65913 491131 1944287 | 2147483647 437051 30 | 4.124 % |
949.18/949.19 c | 1092255 | 65913 491131 1944287 | 2147483647 437843 30 | 4.124 % |
950.78/950.74 c | 1093127 | 65913 491131 1944287 | 2147483647 438715 30 | 4.124 % |
952.48/952.42 c | 1094085 | 65913 491131 1944287 | 2147483647 439673 30 | 4.124 % |
953.28/953.27 c | 1095138 | 65913 491131 1944287 | 2147483647 440726 30 | 4.124 % |
955.38/955.39 c | 1096296 | 65913 491131 1944287 | 2147483647 441884 30 | 4.124 % |
956.18/956.19 c | 1097571 | 65913 491131 1944287 | 2147483647 443159 30 | 4.124 % |
958.98/958.92 c | 1098971 | 65913 491131 1944287 | 2147483647 444559 30 | 4.124 % |
961.98/961.91 c | 1100512 | 65900 490974 1943297 | 2147483647 443793 30 | 4.151 % |
963.88/963.87 c | 1102206 | 65900 490974 1943297 | 2147483647 445487 30 | 4.151 % |
968.48/968.44 c | 1104069 | 65898 490974 1943297 | 2147483647 447350 30 | 4.151 % |
971.18/971.17 c | 1106118 | 65898 490974 1943297 | 2147483647 449399 30 | 4.151 % |
975.28/975.27 c | 1108373 | 65898 490974 1943297 | 2147483647 451654 30 | 4.151 % |
977.28/977.28 c | 1110851 | 65898 490974 1943297 | 2147483647 454132 30 | 4.151 % |
979.08/979.10 c | 1113576 | 65898 490974 1943297 | 2147483647 456857 30 | 4.151 % |
986.69/986.66 c | 1116575 | 65898 490974 1943297 | 2147483647 459856 30 | 4.151 % |
990.89/990.86 c | 1119873 | 65877 490974 1943297 | 2147483647 463152 30 | 4.186 % |
997.79/997.78 c | 1123499 | 65877 490974 1943297 | 2147483647 466778 30 | 4.186 % |
1005.99/1006.01 c | 1127486 | 65877 490974 1943297 | 2147483647 470765 30 | 4.186 % |
1011.39/1011.32 c | 1131871 | 65870 490514 1941329 | 2147483647 457462 30 | 4.186 % |
1015.89/1015.83 c | 1136694 | 65870 490514 1941329 | 2147483647 462285 30 | 4.186 % |
1023.09/1023.08 c | 1142001 | 65870 490514 1941329 | 2147483647 467592 30 | 4.186 % |
1031.59/1031.52 c | 1147837 | 65870 490514 1941329 | 2147483647 473428 30 | 4.186 % |
1043.29/1043.27 c | 1154256 | 65870 490514 1941329 | 475592 479847 30 | 4.186 % |
1049.89/1049.88 c ===============================================================================
1049.89/1049.88 c restarts : 1272
1049.89/1049.88 c conflicts : 1156886 (1113 /sec)
1049.89/1049.88 c decisions : 5743147 (1.59 % random) (5525 /sec)
1049.89/1049.88 c propagations : 459065625 (441600 /sec)
1049.89/1049.88 c conflict literals : 36133202 (25.83 % deleted)
1049.89/1049.88 c Memory used : 152.08 MB
1049.89/1049.88 c CPU time : 1039.55 s
1049.89/1049.88 c
1049.89/1049.88 s UNSATISFIABLE
1049.89/1049.88 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820776-1242475922/watcher-1820776-1242475922 -o /tmp/evaluation-result-1820776-1242475922/solver-1820776-1242475922 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820776-1242475922.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 25137
/proc/meminfo: memFree=1574336/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=952 CPUtime=0
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 122 0 0 0 0 0 0 0 25 0 1 0 1012093000 974848 57 4294967295 134512640 135223648 3215646192 3215644776 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25141/statm: 238 58 46 174 0 63 0
[startup+0.118044 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 25137
/proc/meminfo: memFree=1574336/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=17072 CPUtime=0.11
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 3719 0 0 0 10 1 0 0 25 0 1 0 1012093000 17481728 3654 4294967295 134512640 135223648 3215646192 3215644692 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25141/statm: 4268 3655 46 174 0 4093 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 19484
[startup+0.218034 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 25137
/proc/meminfo: memFree=1574336/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=32048 CPUtime=0.21
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 6812 0 0 0 18 3 0 0 25 0 1 0 1012093000 32817152 6747 4294967295 134512640 135223648 3215646192 3215645144 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25141/statm: 8012 6748 46 174 0 7837 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 34460
[startup+0.318026 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 25137
/proc/meminfo: memFree=1574336/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=41784 CPUtime=0.31
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 9935 0 0 0 25 6 0 0 25 0 1 0 1012093000 42786816 9870 4294967295 134512640 135223648 3215646192 3215645144 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25141/statm: 10446 9871 46 174 0 10271 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 44196
[startup+0.717993 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 25137
/proc/meminfo: memFree=1574336/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=112664 CPUtime=0.71
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 21889 0 0 0 61 10 0 0 25 0 1 0 1012093000 115367936 21825 4294967295 134512640 135223648 3215646192 3215645072 134543351 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25141/statm: 28166 21830 46 174 0 27991 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 115076
[startup+1.51793 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 25142
/proc/meminfo: memFree=1440152/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=190388 CPUtime=1.51
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 46875 0 0 0 130 21 0 0 25 0 1 0 1012093000 194957312 43227 4294967295 134512640 135223648 3215646192 3215643960 134737406 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25141/statm: 47597 43227 73 174 0 47422 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 192800
[startup+3.1178 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 25142
/proc/meminfo: memFree=1394024/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=198280 CPUtime=3.11
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 48715 0 0 0 288 23 0 0 25 0 1 0 1012093000 203038720 45067 4294967295 134512640 135223648 3215646192 3215643860 134717064 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25141/statm: 49570 45067 73 174 0 49395 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 200692
[startup+6.31754 s]
/proc/loadavg: 0.99 1.00 1.00 4/95 25142
/proc/meminfo: memFree=1359236/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=211876 CPUtime=6.31
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 51817 0 0 0 603 28 0 0 25 0 1 0 1012093000 216961024 48169 4294967295 134512640 135223648 3215646192 3215644192 134548203 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25141/statm: 52969 48169 73 174 0 52794 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 214288
[startup+12.717 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 25144
/proc/meminfo: memFree=1490376/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=35528 CPUtime=3.03
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 8520 0 0 0 293 10 0 0 25 0 1 0 1012093968 36380672 8442 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25143/statm: 8882 8442 73 172 0 8709 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 37944
[startup+25.516 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 25146
/proc/meminfo: memFree=1484456/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=41520 CPUtime=15.83
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 9979 0 0 0 1572 11 0 0 25 0 1 0 1012093968 42516480 9901 4294967295 134512640 135215339 3219829328 3219827616 134528814 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25143/statm: 10380 9901 73 172 0 10207 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 43936
[startup+51.1139 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 25329
/proc/meminfo: memFree=1475156/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=50664 CPUtime=41.43
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 12251 0 0 0 4129 14 0 0 25 0 1 0 1012093968 51879936 12173 4294967295 134512640 135215339 3219829328 3219827616 134529051 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25143/statm: 12666 12173 73 172 0 12493 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 53080
[startup+102.32 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 25335
/proc/meminfo: memFree=1460632/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=65468 CPUtime=92.64
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 15909 0 0 0 9242 22 0 0 25 0 1 0 1012093968 67039232 15831 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25143/statm: 16367 15831 73 172 0 16194 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 67884
[startup+162.315 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 25522
/proc/meminfo: memFree=1450488/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=75556 CPUtime=152.64
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 18494 0 0 0 15239 25 0 0 25 0 1 0 1012093968 77369344 18416 4294967295 134512640 135215339 3219829328 3219827616 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25143/statm: 18889 18416 73 172 0 18716 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 77972
[startup+222.31 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 25712
/proc/meminfo: memFree=1435540/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=90588 CPUtime=212.64
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 22193 0 0 0 21239 25 0 0 25 0 1 0 1012093968 92762112 22115 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25143/statm: 22647 22115 73 172 0 22474 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 93004
[startup+282.315 s]
/proc/loadavg: 1.01 1.01 1.00 2/95 25900
/proc/meminfo: memFree=1420776/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=106144 CPUtime=272.65
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 25924 0 0 0 27237 28 0 0 25 0 1 0 1012093968 108691456 25846 4294967295 134512640 135215339 3219829328 3219827616 134528881 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25143/statm: 26536 25846 73 172 0 26363 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 108560
[startup+342.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 26090
/proc/meminfo: memFree=1409632/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=116540 CPUtime=332.66
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 28582 0 0 0 33226 40 0 0 25 0 1 0 1012093968 119336960 28504 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 29135 28504 73 172 0 28962 0
Current children cumulated CPU time (s) 342.34
################
# More data... #
################
/proc/25143/statm: 37640 36800 73 172 0 37467 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 152976
[startup+762.315 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 27413
/proc/meminfo: memFree=1371804/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=154812 CPUtime=752.69
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 37949 0 0 0 75210 59 0 0 25 0 1 0 1012093968 158527488 37871 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38703 37871 73 172 0 38530 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 157228
[startup+822.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27601
/proc/meminfo: memFree=1371680/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=154812 CPUtime=812.7
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 37949 0 0 0 81211 59 0 0 25 0 1 0 1012093968 158527488 37871 4294967295 134512640 135215339 3219829328 3219827424 134527419 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38703 37871 73 172 0 38530 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 157228
[startup+882.326 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27789
/proc/meminfo: memFree=1371548/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=154976 CPUtime=872.71
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 37986 0 0 0 87210 61 0 0 25 0 1 0 1012093968 158695424 37908 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38744 37908 73 172 0 38571 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 157392
[startup+942.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27976
/proc/meminfo: memFree=1371688/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=154976 CPUtime=932.7
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 37989 0 0 0 93200 70 0 0 25 0 1 0 1012093968 158695424 37911 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38744 37911 73 172 0 38571 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 157392
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 4/95 28165
/proc/meminfo: memFree=1371432/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155272 CPUtime=992.71
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38060 0 0 0 99199 72 0 0 25 0 1 0 1012093968 158998528 37982 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38818 37982 73 172 0 38645 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 157688
Solver just ended. Dumping a history of the last processes samples
[startup+1024.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28348
/proc/meminfo: memFree=1370964/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155580 CPUtime=1014.41
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38110 0 0 0 101369 72 0 0 25 0 1 0 1012093968 159313920 38032 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38895 38032 73 172 0 38722 0
Current children cumulated CPU time (s) 1024.09
Current children cumulated vsize (KiB) 157996
[startup+1036.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28350
/proc/meminfo: memFree=1371060/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155580 CPUtime=1027.21
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38125 0 0 0 102649 72 0 0 25 0 1 0 1012093968 159313920 38047 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38895 38047 73 172 0 38722 0
Current children cumulated CPU time (s) 1036.89
Current children cumulated vsize (KiB) 157996
[startup+1043.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28350
/proc/meminfo: memFree=1371068/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155724 CPUtime=1033.61
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38143 0 0 0 103289 72 0 0 25 0 1 0 1012093968 159461376 38065 4294967295 134512640 135215339 3219829328 3219827616 134528779 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38931 38065 73 172 0 38758 0
Current children cumulated CPU time (s) 1043.29
Current children cumulated vsize (KiB) 158140
[startup+1046.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28351
/proc/meminfo: memFree=1370936/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155724 CPUtime=1036.81
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38163 0 0 0 103609 72 0 0 25 0 1 0 1012093968 159461376 38085 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38931 38085 73 172 0 38758 0
Current children cumulated CPU time (s) 1046.49
Current children cumulated vsize (KiB) 158140
[startup+1048.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28351
/proc/meminfo: memFree=1370936/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155724 CPUtime=1038.41
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38163 0 0 0 103769 72 0 0 25 0 1 0 1012093968 159461376 38085 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38931 38085 73 172 0 38758 0
Current children cumulated CPU time (s) 1048.09
Current children cumulated vsize (KiB) 158140
[startup+1048.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28351
/proc/meminfo: memFree=1370936/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155724 CPUtime=1039.21
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38165 0 0 0 103849 72 0 0 25 0 1 0 1012093968 159461376 38087 4294967295 134512640 135215339 3219829328 3219827616 134528881 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38931 38087 73 172 0 38758 0
Current children cumulated CPU time (s) 1048.89
Current children cumulated vsize (KiB) 158140
[startup+1049.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28351
/proc/meminfo: memFree=1370936/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155724 CPUtime=1040.01
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38165 0 0 0 103929 72 0 0 25 0 1 0 1012093968 159461376 38087 4294967295 134512640 135215339 3219829328 3219827616 134528700 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38931 38087 73 172 0 38758 0
Current children cumulated CPU time (s) 1049.69
Current children cumulated vsize (KiB) 158140
[startup+1049.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28351
/proc/meminfo: memFree=1370936/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155724 CPUtime=1040.21
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38165 0 0 0 103949 72 0 0 25 0 1 0 1012093968 159461376 38087 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38931 38087 73 172 0 38758 0
Current children cumulated CPU time (s) 1049.89
Current children cumulated vsize (KiB) 158140
[startup+1049.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28351
/proc/meminfo: memFree=1370936/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2932 CPUtime=1049.96
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 474 95679 0 0 0 0 104890 106 18 0 1 0 1012093000 3002368 345 4294967295 134512640 135169312 3216877344 3216872728 3085496046 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25137/statm: 733 345 237 161 0 172 0
Current children cumulated CPU time (s) 1049.96
Current children cumulated vsize (KiB) 2932
Child status: 20
Real time (s): 1049.92
CPU time (s): 1049.99
CPU user time (s): 1048.9
CPU system time (s): 1.09
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 230940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1048.9
system time used= 1.09
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96337
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= 20
involuntary context switches= 2057
runsolver used 0.03 second user time and 0.01 second system time
The end
Begin job on tipi16 at 2009-05-16 14:12:02
IDJOB=1820776
IDBENCH=69591
IDSOLVER=657
FILE ID=tipi16/1820776-1242475922
PBS_JOBID=
Free space on /tmp= 5153 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= runsolver --timestamp -w /tmp/evaluation-result-1820776-1242475922/watcher-1820776-1242475922 -o /tmp/evaluation-result-1820776-1242475922/solver-1820776-1242475922 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820776-1242475922.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED= 156161046
Linux tipi16 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1574336 kB
Buffers: 31768 kB
Cached: 387736 kB
SwapCached: 5908 kB
Active: 68940 kB
Inactive: 360504 kB
HighTotal: 1178688 kB
HighFree: 827084 kB
LowTotal: 895776 kB
LowFree: 747252 kB
SwapTotal: 1959888 kB
SwapFree: 1948616 kB
Dirty: 25740 kB
Writeback: 0 kB
AnonPages: 9328 kB
Mapped: 3260 kB
Slab: 61652 kB
PageTables: 656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90760 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 5152 MiB
End job on tipi16 at 2009-05-16 14:29:35