0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 8400 25200 | 2519 0 0 nan | 0.000 % |
0.00/0.03 c | 0 | 8342 25329 | -- 0 -- -- | -- | -58/129
0.00/0.03 c ==============================================================================
0.00/0.03 c Result : #vars: 1948 #clauses: 8342 #literals: 25329
0.00/0.03 c CPU time: 0.021996 s
0.00/0.03 c ==============================================================================
0.00/0.03 c This is MiniSat 2.0 beta
0.00/0.03 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03 c ============================[ Problem Statistics ]=============================
0.00/0.03 c | |
0.00/0.04 c | Number of variables: 1948 |
0.00/0.04 c | Number of clauses: 8342 |
0.00/0.04 c | Parsing time: 0.00 s |
0.00/0.04 c ============================[ Search Statistics ]==============================
0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.04 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.04 c ===============================================================================
0.00/0.04 c | 0 | 1948 8342 25329 | 2780 0 nan | 0.000 % |
0.00/0.05 c | 102 | 1948 8342 25329 | 2780 102 61 | 0.000 % |
0.00/0.06 c | 202 | 1948 8342 25329 | 2780 202 61 | 0.000 % |
0.00/0.06 c | 303 | 1948 8342 25329 | 2780 303 59 | 0.000 % |
0.00/0.07 c | 415 | 1948 8342 25329 | 2780 415 57 | 0.000 % |
0.03/0.08 c | 515 | 1948 8342 25329 | 2780 515 57 | 0.000 % |
0.03/0.09 c | 625 | 1948 8342 25329 | 2780 625 58 | 0.000 % |
0.03/0.10 c | 748 | 1948 8342 25329 | 2780 748 59 | 0.000 % |
0.03/0.11 c | 850 | 1948 8342 25329 | 2780 850 59 | 0.000 % |
0.03/0.11 c | 960 | 1948 8342 25329 | 2780 960 60 | 0.000 % |
0.03/0.12 c | 1083 | 1948 8342 25329 | 2780 1083 59 | 0.000 % |
0.03/0.13 c | 1217 | 1948 8342 25329 | 2780 1217 59 | 0.000 % |
0.03/0.14 c | 1317 | 1948 8342 25329 | 2780 1317 59 | 0.000 % |
0.03/0.15 c | 1427 | 1948 8342 25329 | 2780 1427 60 | 0.000 % |
0.03/0.16 c | 1548 | 1948 8342 25329 | 2780 1548 60 | 0.000 % |
0.03/0.17 c | 1681 | 1948 8342 25329 | 2780 1681 61 | 0.000 % |
0.03/0.18 c | 1829 | 1948 8342 25329 | 2780 1829 60 | 0.000 % |
0.03/0.19 c | 1930 | 1948 8342 25329 | 2780 1930 60 | 0.000 % |
0.03/0.20 c | 2042 | 1948 8342 25329 | 2780 2042 60 | 0.000 % |
0.03/0.21 c | 2165 | 1948 8342 25329 | 2780 2165 61 | 0.000 % |
0.03/0.22 c | 2298 | 1948 8342 25329 | 2780 2298 60 | 0.000 % |
0.03/0.24 c | 2444 | 1948 8342 25329 | 2780 2444 62 | 0.000 % |
0.03/0.25 c | 2604 | 1948 8342 25329 | 2780 2604 61 | 0.000 % |
0.03/0.26 c | 2704 | 1948 8342 25329 | 2780 2704 61 | 0.000 % |
0.03/0.27 c | 2815 | 1948 8342 25329 | 2780 2815 61 | 0.000 % |
0.03/0.28 c | 2936 | 1948 8342 25329 | 2780 2655 60 | 0.000 % |
0.03/0.29 c | 3070 | 1948 8342 25329 | 2780 2789 61 | 0.000 % |
0.03/0.31 c | 3217 | 1948 8342 25329 | 2780 2658 60 | 0.000 % |
0.03/0.32 c | 3377 | 1948 8342 25329 | 2780 2818 61 | 0.000 % |
0.03/0.34 c | 3554 | 1948 8342 25329 | 2780 2714 61 | 0.000 % |
0.03/0.34 c | 3655 | 1948 8342 25329 | 2780 2815 61 | 0.000 % |
0.03/0.35 c | 3765 | 1948 8342 25329 | 2780 2644 61 | 0.000 % |
0.03/0.36 c | 3886 | 1948 8342 25329 | 2780 2765 60 | 0.000 % |
0.03/0.38 c | 4021 | 1948 8342 25329 | 2780 2900 60 | 0.000 % |
0.03/0.39 c | 4167 | 1948 8342 25329 | 2780 2756 60 | 0.000 % |
0.03/0.40 c | 4327 | 1948 8342 25329 | 2780 2916 59 | 0.000 % |
0.03/0.42 c | 4503 | 1948 8342 25329 | 2780 2801 59 | 0.000 % |
0.03/0.44 c | 4698 | 1948 8342 25329 | 2780 2716 59 | 0.000 % |
0.03/0.45 c | 4798 | 1948 8342 25329 | 2780 2816 60 | 0.000 % |
0.03/0.46 c | 4908 | 1948 8342 25329 | 2780 2645 59 | 0.000 % |
0.03/0.47 c | 5031 | 1948 8342 25329 | 2780 2768 59 | 0.000 % |
0.03/0.48 c | 5164 | 1948 8342 25329 | 2780 2901 59 | 0.000 % |
0.03/0.49 c | 5310 | 1948 8342 25329 | 2780 2757 59 | 0.000 % |
0.03/0.50 c | 5470 | 1948 8342 25329 | 2780 2917 59 | 0.000 % |
0.03/0.52 c | 5647 | 1948 8342 25329 | 2780 2803 59 | 0.000 % |
0.03/0.54 c | 5840 | 1948 8342 25329 | 2780 2716 59 | 0.000 % |
0.03/0.56 c | 6053 | 1948 8342 25329 | 2780 2929 59 | 0.000 % |
0.03/0.57 c | 6153 | 1948 8342 25329 | 2780 2737 58 | 0.000 % |
0.03/0.57 c | 6263 | 1948 8342 25329 | 2780 2847 58 | 0.000 % |
0.03/0.58 c | 6384 | 1948 8342 25329 | 2780 2684 57 | 0.000 % |
0.03/0.60 c | 6517 | 1948 8342 25329 | 2780 2817 58 | 0.000 % |
0.03/0.61 c | 6663 | 1948 8342 25329 | 2780 2682 57 | 0.000 % |
0.03/0.62 c | 6826 | 1948 8342 25329 | 2780 2845 58 | 0.000 % |
0.03/0.64 c | 7002 | 1948 8342 25329 | 2780 2737 58 | 0.000 % |
0.03/0.66 c | 7195 | 1948 8342 25329 | 2780 2930 58 | 0.000 % |
0.03/0.67 c | 7407 | 1948 8342 25329 | 2780 2849 58 | 0.000 % |
0.03/0.70 c | 7642 | 1948 8342 25329 | 2780 2800 58 | 0.000 % |
0.03/0.70 c | 7743 | 1948 8342 25329 | 2780 2621 57 | 0.000 % |
0.03/0.71 c | 7854 | 1948 8342 25329 | 2780 2732 57 | 0.000 % |
0.03/0.72 c | 7975 | 1948 8342 25329 | 2780 2853 57 | 0.000 % |
0.03/0.74 c | 8112 | 1948 8342 25329 | 2780 2705 57 | 0.000 % |
0.03/0.75 c | 8259 | 1948 8342 25329 | 2780 2852 57 | 0.000 % |
0.03/0.77 c | 8419 | 1948 8342 25329 | 2780 2727 57 | 0.000 % |
0.03/0.78 c | 8596 | 1948 8342 25329 | 2780 2904 58 | 0.000 % |
0.03/0.80 c | 8789 | 1948 8342 25329 | 2780 2807 58 | 0.000 % |
0.03/0.82 c | 9002 | 1948 8342 25329 | 2780 2740 58 | 0.000 % |
0.03/0.84 c | 9235 | 1948 8342 25329 | 2780 2973 58 | 0.000 % |
0.03/0.86 c | 9491 | 1948 8342 25329 | 2780 2932 57 | 0.000 % |
0.03/0.87 c | 9591 | 1948 8342 25329 | 2780 2739 57 | 0.000 % |
0.03/0.88 c | 9701 | 1948 8342 25329 | 2780 2849 58 | 0.000 % |
0.03/0.89 c | 9825 | 1948 8342 25329 | 2780 2689 58 | 0.000 % |
0.03/0.90 c | 9958 | 1948 8342 25329 | 2780 2822 58 | 0.000 % |
0.03/0.92 c | 10106 | 1948 8342 25329 | 2147483647 2688 59 | 0.000 % |
0.03/0.93 c | 10268 | 1948 8342 25329 | 2147483647 2850 59 | 0.000 % |
0.03/0.95 c | 10444 | 1948 8342 25329 | 2147483647 3026 59 | 0.000 % |
0.03/0.97 c | 10640 | 1948 8342 25329 | 2147483647 3222 59 | 0.000 % |
0.03/0.99 c | 10855 | 1948 8342 25329 | 2147483647 3437 60 | 0.000 % |
0.99/1.01 c | 11088 | 1948 8342 25329 | 2147483647 3670 60 | 0.000 % |
0.99/1.03 c | 11345 | 1948 8342 25329 | 2147483647 3927 60 | 0.000 % |
0.99/1.06 c | 11628 | 1948 8342 25329 | 2147483647 4210 60 | 0.000 % |
0.99/1.07 c | 11728 | 1948 8342 25329 | 2147483647 4310 60 | 0.000 % |
0.99/1.08 c | 11841 | 1948 8342 25329 | 2147483647 4423 60 | 0.000 % |
0.99/1.09 c | 11962 | 1948 8342 25329 | 2147483647 4544 60 | 0.000 % |
0.99/1.10 c | 12096 | 1948 8342 25329 | 2147483647 4678 61 | 0.000 % |
1.09/1.11 c | 12242 | 1948 8342 25329 | 2147483647 4824 60 | 0.000 % |
1.09/1.13 c | 12404 | 1948 8342 25329 | 2147483647 4986 61 | 0.000 % |
1.09/1.14 c | 12580 | 1948 8342 25329 | 2147483647 5162 61 | 0.000 % |
1.09/1.16 c | 12773 | 1948 8342 25329 | 2147483647 5355 61 | 0.000 % |
1.09/1.19 c | 12986 | 1948 8342 25329 | 2147483647 5568 60 | 0.000 % |
1.18/1.21 c | 13219 | 1948 8342 25329 | 2147483647 5801 61 | 0.000 % |
1.18/1.23 c | 13476 | 1948 8342 25329 | 2147483647 6058 61 | 0.000 % |
1.18/1.26 c | 13759 | 1948 8342 25329 | 2147483647 6341 61 | 0.000 % |
1.18/1.30 c | 14072 | 1948 8342 25329 | 2147483647 6654 61 | 0.000 % |
1.28/1.31 c | 14172 | 1948 8342 25329 | 2147483647 6754 61 | 0.000 % |
1.28/1.32 c | 14283 | 1948 8342 25329 | 2147483647 6865 61 | 0.000 % |
1.28/1.33 c | 14404 | 1948 8342 25329 | 2147483647 6986 61 | 0.000 % |
1.28/1.35 c | 14538 | 1948 8342 25329 | 2147483647 7120 61 | 0.000 % |
1.28/1.36 c | 14685 | 1948 8342 25329 | 2147483647 7267 62 | 0.000 % |
1.28/1.38 c | 14847 | 1948 8342 25329 | 2147483647 7429 62 | 0.000 % |
1.38/1.40 c | 15024 | 1948 8342 25329 | 2147483647 7606 62 | 0.000 % |
1.38/1.42 c | 15218 | 1948 8342 25329 | 2147483647 7800 61 | 0.000 % |
1.38/1.45 c | 15430 | 1948 8342 25329 | 2147483647 8012 62 | 0.000 % |
1.38/1.48 c | 15663 | 1948 8342 25329 | 2147483647 8245 62 | 0.000 % |
1.48/1.50 c | 15919 | 1948 8342 25329 | 2147483647 8501 62 | 0.000 % |
1.48/1.54 c | 16200 | 1948 8342 25329 | 2147483647 8782 62 | 0.000 % |
1.48/1.57 c | 16512 | 1948 8342 25329 | 2147483647 9094 62 | 0.000 % |
1.58/1.61 c | 16854 | 1948 8342 25329 | 2147483647 9436 62 | 0.000 % |
1.58/1.63 c | 16954 | 1948 8342 25329 | 2147483647 9536 62 | 0.000 % |
1.58/1.64 c | 17064 | 1948 8342 25329 | 2147483647 9646 62 | 0.000 % |
1.58/1.66 c | 17187 | 1948 8342 25329 | 2147483647 9769 62 | 0.000 % |
1.58/1.67 c | 17322 | 1948 8342 25329 | 2147483647 9904 62 | 0.000 % |
1.58/1.69 c | 17468 | 1948 8342 25329 | 2147483647 10050 62 | 0.000 % |
1.68/1.71 c | 17630 | 1948 8342 25329 | 2147483647 10212 62 | 0.000 % |
1.68/1.73 c | 17806 | 1948 8342 25329 | 2147483647 10388 62 | 0.000 % |
1.68/1.76 c | 18000 | 1948 8342 25329 | 2147483647 10582 62 | 0.000 % |
1.68/1.79 c | 18214 | 1948 8342 25329 | 2147483647 10796 62 | 0.000 % |
1.78/1.82 c | 18447 | 1948 8342 25329 | 2147483647 11029 62 | 0.000 % |
1.78/1.85 c | 18705 | 1948 8342 25329 | 2147483647 11287 62 | 0.000 % |
1.78/1.89 c | 18986 | 1948 8342 25329 | 2147483647 11568 62 | 0.000 % |
1.88/1.93 c | 19295 | 1948 8342 25329 | 2147483647 11877 62 | 0.000 % |
1.88/1.97 c | 19634 | 1948 8342 25329 | 2147483647 12216 62 | 0.000 % |
1.98/2.02 c | 20006 | 1948 8342 25329 | 2147483647 12588 62 | 0.000 % |
1.98/2.04 c | 20106 | 1948 8342 25329 | 2147483647 12688 62 | 0.000 % |
1.98/2.05 c | 20216 | 1948 8342 25329 | 2147483647 12798 62 | 0.000 % |
1.98/2.07 c | 20338 | 1948 8342 25329 | 2147483647 12920 62 | 0.000 % |
1.98/2.09 c | 20471 | 1948 8342 25329 | 2147483647 13053 62 | 0.000 % |
2.08/2.11 c | 20619 | 1948 8342 25329 | 2147483647 13201 62 | 0.000 % |
2.08/2.13 c | 20779 | 1948 8342 25329 | 2147483647 13361 62 | 0.000 % |
2.08/2.16 c | 20955 | 1948 8342 25329 | 2147483647 13537 62 | 0.000 % |
2.08/2.18 c | 21150 | 1948 8342 25329 | 2147483647 13732 62 | 0.000 % |
2.18/2.22 c | 21362 | 1948 8342 25329 | 2147483647 13944 62 | 0.000 % |
2.18/2.25 c | 21595 | 1948 8342 25329 | 2147483647 14177 62 | 0.000 % |
2.18/2.29 c | 21851 | 1948 8342 25329 | 2147483647 14433 62 | 0.000 % |
2.28/2.33 c | 22133 | 1948 8342 25329 | 2147483647 14715 63 | 0.000 % |
2.28/2.38 c | 22442 | 1948 8342 25329 | 2147483647 15024 63 | 0.000 % |
2.38/2.43 c | 22784 | 1948 8342 25329 | 2147483647 15366 63 | 0.000 % |
2.38/2.48 c | 23160 | 1948 8342 25329 | 2147483647 15742 63 | 0.000 % |
2.48/2.55 c | 23570 | 1948 8342 25329 | 2147483647 16152 63 | 0.000 % |
2.48/2.57 c | 23670 | 1948 8342 25329 | 2147483647 16252 63 | 0.000 % |
2.48/2.59 c | 23781 | 1948 8342 25329 | 2147483647 16363 63 | 0.000 % |
2.58/2.61 c | 23902 | 1948 8342 25329 | 2147483647 16484 63 | 0.000 % |
2.58/2.63 c | 24035 | 1948 8342 25329 | 2147483647 16617 63 | 0.000 % |
2.58/2.65 c | 24182 | 1948 8342 25329 | 2147483647 16764 63 | 0.000 % |
2.58/2.68 c | 24344 | 1948 8342 25329 | 2147483647 16926 63 | 0.000 % |
2.68/2.71 c | 24520 | 1948 8342 25329 | 2147483647 17102 63 | 0.000 % |
2.68/2.74 c | 24713 | 1948 8342 25329 | 2147483647 17295 63 | 0.000 % |
2.68/2.78 c | 24925 | 1948 8342 25329 | 2147483647 17507 63 | 0.000 % |
2.78/2.82 c | 25161 | 1948 8342 25329 | 2147483647 17743 63 | 0.000 % |
2.78/2.86 c | 25417 | 1948 8342 25329 | 2147483647 17999 63 | 0.000 % |
2.88/2.91 c | 25698 | 1948 8342 25329 | 2147483647 18280 63 | 0.000 % |
2.88/2.96 c | 26007 | 1948 8342 25329 | 2147483647 18589 63 | 0.000 % |
2.98/3.02 c | 26347 | 1948 8342 25329 | 2147483647 18929 63 | 0.000 % |
2.98/3.09 c | 26720 | 1948 8342 25329 | 2147483647 19302 63 | 0.000 % |
3.08/3.16 c | 27130 | 1948 8342 25329 | 2147483647 19712 63 | 0.000 % |
3.18/3.24 c | 27579 | 1948 8342 25329 | 2147483647 20161 63 | 0.000 % |
3.18/3.27 c | 27682 | 1948 8342 25329 | 2147483647 20264 63 | 0.000 % |
3.18/3.29 c | 27794 | 1948 8342 25329 | 2147483647 20376 63 | 0.000 % |
3.28/3.31 c | 27915 | 1948 8342 25329 | 2147483647 20497 63 | 0.000 % |
3.28/3.34 c | 28050 | 1948 8342 25329 | 2147483647 20632 63 | 0.000 % |
3.28/3.37 c | 28200 | 1948 8342 25329 | 2147483647 20782 63 | 0.000 % |
3.38/3.40 c | 28362 | 1948 8342 25329 | 2147483647 20944 63 | 0.000 % |
3.38/3.44 c | 28538 | 1948 8342 25329 | 2147483647 21120 63 | 0.000 % |
3.38/3.48 c | 28731 | 1948 8342 25329 | 2147483647 21313 63 | 0.000 % |
3.48/3.52 c | 28943 | 1948 8342 25329 | 2147483647 21525 63 | 0.000 % |
3.48/3.57 c | 29176 | 1948 8342 25329 | 2147483647 21758 63 | 0.000 % |
3.58/3.61 c | 29432 | 1948 8342 25329 | 2147483647 22014 64 | 0.000 % |
3.58/3.67 c | 29713 | 1948 8342 25329 | 2147483647 22295 64 | 0.000 % |
3.68/3.73 c | 30025 | 1948 8342 25329 | 2147483647 22607 64 | 0.000 % |
3.77/3.80 c | 30365 | 1948 8342 25329 | 2147483647 22947 64 | 0.000 % |
3.77/3.88 c | 30737 | 1948 8342 25329 | 2147483647 23319 64 | 0.000 % |
3.87/3.97 c | 31148 | 1948 8342 25329 | 2147483647 23730 64 | 0.000 % |
3.97/4.07 c | 31598 | 1948 8342 25329 | 2147483647 24180 64 | 0.000 % |
4.07/4.18 c | 32091 | 1948 8342 25329 | 2147483647 24673 64 | 0.000 % |
4.17/4.21 c | 32193 | 1948 8342 25329 | 2147483647 24775 64 | 0.000 % |
4.17/4.23 c | 32303 | 1948 8342 25329 | 2147483647 24885 64 | 0.000 % |
4.17/4.26 c | 32424 | 1948 8342 25329 | 2147483647 25006 64 | 0.000 % |
4.17/4.29 c | 32559 | 1948 8342 25329 | 2147483647 25141 63 | 0.000 % |
4.27/4.33 c | 32706 | 1948 8342 25329 | 2147483647 25288 63 | 0.000 % |
4.27/4.36 c | 32866 | 1948 8342 25329 | 2147483647 25448 63 | 0.000 % |
4.37/4.40 c | 33042 | 1948 8342 25329 | 2147483647 25624 63 | 0.000 % |
4.37/4.45 c | 33235 | 1948 8342 25329 | 2147483647 25817 63 | 0.000 % |
4.37/4.49 c | 33448 | 1948 8342 25329 | 2147483647 26030 63 | 0.000 % |
4.47/4.55 c | 33682 | 1948 8342 25329 | 2147483647 26264 63 | 0.000 % |
4.57/4.61 c | 33938 | 1948 8342 25329 | 2147483647 26520 63 | 0.000 % |
4.57/4.68 c | 34220 | 1948 8342 25329 | 2147483647 26802 63 | 0.000 % |
4.67/4.76 c | 34529 | 1948 8342 25329 | 2147483647 27111 63 | 0.000 % |
4.77/4.84 c | 34868 | 1948 8342 25329 | 2147483647 27450 63 | 0.000 % |
4.87/4.94 c | 35241 | 1948 8342 25329 | 2147483647 27823 64 | 0.000 % |
4.97/5.03 c | 35650 | 1948 8342 25329 | 2147483647 28232 64 | 0.000 % |
5.07/5.14 c | 36099 | 1948 8342 25329 | 2147483647 28681 64 | 0.000 % |
5.17/5.26 c | 36592 | 1948 8342 25329 | 2147483647 29174 64 | 0.000 % |
5.38/5.40 c | 37135 | 1948 8342 25329 | 2147483647 29717 64 | 0.000 % |
5.38/5.43 c | 37236 | 1948 8342 25329 | 2147483647 29818 64 | 0.000 % |
5.38/5.46 c | 37346 | 1948 8342 25329 | 2147483647 29928 64 | 0.000 % |
5.38/5.49 c | 37467 | 1948 8342 25329 | 2147483647 30049 64 | 0.000 % |
5.48/5.53 c | 37600 | 1948 8342 25329 | 2147483647 30182 64 | 0.000 % |
5.48/5.56 c | 37746 | 1948 8342 25329 | 2147483647 30328 64 | 0.000 % |
5.57/5.61 c | 37907 | 1948 8342 25329 | 2147483647 30489 64 | 0.000 % |
5.57/5.65 c | 38084 | 1948 8342 25329 | 2147483647 30666 64 | 0.000 % |
5.67/5.71 c | 38277 | 1948 8342 25329 | 2147483647 30859 64 | 0.000 % |
5.67/5.77 c | 38492 | 1948 8342 25329 | 2147483647 31074 64 | 0.000 % |
5.77/5.83 c | 38725 | 1948 8342 25329 | 2147483647 31307 64 | 0.000 % |
5.87/5.90 c | 38982 | 1948 8342 25329 | 2147483647 31564 64 | 0.000 % |
5.87/5.97 c | 39263 | 1948 8342 25329 | 2147483647 31845 64 | 0.000 % |
5.97/6.05 c | 39572 | 1948 8342 25329 | 2147483647 32154 64 | 0.000 % |
6.07/6.15 c | 39912 | 1948 8342 25329 | 2147483647 32494 64 | 0.000 % |
6.17/6.25 c | 40285 | 1948 8342 25329 | 2147483647 32867 64 | 0.000 % |
6.27/6.37 c | 40694 | 1948 8342 25329 | 2147483647 33276 64 | 0.000 % |
6.37/6.50 c | 41143 | 1948 8342 25329 | 2147483647 33725 64 | 0.000 % |
6.58/6.64 c | 41636 | 1948 8342 25329 | 2147483647 34218 64 | 0.000 % |
6.67/6.79 c | 42178 | 1948 8342 25329 | 2147483647 34760 64 | 0.000 % |
6.87/6.95 c | 42774 | 1948 8342 25329 | 2147483647 35356 64 | 0.000 % |
6.87/6.99 c | 42875 | 1948 8342 25329 | 2147483647 35457 64 | 0.000 % |
6.97/7.02 c | 42985 | 1948 8342 25329 | 2147483647 35567 64 | 0.000 % |
6.97/7.06 c | 43107 | 1948 8342 25329 | 2147483647 35689 64 | 0.000 % |
7.07/7.10 c | 43241 | 1948 8342 25329 | 2147483647 35823 64 | 0.000 % |
7.07/7.15 c | 43387 | 1948 8342 25329 | 2147483647 35969 64 | 0.000 % |
7.17/7.20 c | 43547 | 1948 8342 25329 | 2147483647 36129 64 | 0.000 % |
7.17/7.26 c | 43723 | 1948 8342 25329 | 2147483647 36305 64 | 0.000 % |
7.27/7.32 c | 43916 | 1948 8342 25329 | 2147483647 36498 64 | 0.000 % |
7.37/7.40 c | 44129 | 1948 8342 25329 | 2147483647 36711 64 | 0.000 % |
7.37/7.47 c | 44363 | 1948 8342 25329 | 2147483647 36945 64 | 0.000 % |
7.47/7.56 c | 44622 | 1948 8342 25329 | 2147483647 37204 64 | 0.000 % |
7.57/7.65 c | 44905 | 1948 8342 25329 | 2147483647 37487 64 | 0.000 % |
7.67/7.74 c | 45215 | 1948 8342 25329 | 2147483647 37797 64 | 0.000 % |
7.76/7.85 c | 45556 | 1948 8342 25329 | 2147483647 38138 64 | 0.000 % |
7.86/7.97 c | 45929 | 1948 8342 25329 | 2147483647 38511 64 | 0.000 % |
8.06/8.10 c | 46338 | 1948 8342 25329 | 2147483647 38920 64 | 0.000 % |
8.16/8.25 c | 46787 | 1948 8342 25329 | 2147483647 39369 64 | 0.000 % |
8.37/8.40 c | 47280 | 1948 8342 25329 | 2147483647 39862 64 | 0.000 % |
8.47/8.59 c | 47823 | 1948 8342 25329 | 2147483647 40405 64 | 0.000 % |
8.67/8.78 c | 48419 | 1948 8342 25329 | 2147483647 41001 64 | 0.000 % |
8.87/8.99 c | 49075 | 1948 8342 25329 | 2147483647 41657 64 | 0.000 % |
8.97/9.03 c | 49175 | 1948 8342 25329 | 2147483647 41757 64 | 0.000 % |
8.97/9.07 c | 49285 | 1948 8342 25329 | 2147483647 41867 64 | 0.000 % |
9.07/9.10 c | 49406 | 1948 8342 25329 | 2147483647 41988 64 | 0.000 % |
9.07/9.15 c | 49540 | 1948 8342 25329 | 2147483647 42122 64 | 0.000 % |
9.16/9.21 c | 49688 | 1948 8342 25329 | 2147483647 42270 64 | 0.000 % |
9.16/9.26 c | 49848 | 1948 8342 25329 | 2147483647 42430 64 | 0.000 % |
9.26/9.33 c | 50025 | 1948 8342 25329 | 2147483647 42607 64 | 0.000 % |
9.36/9.41 c | 50218 | 1948 8342 25329 | 2147483647 42800 64 | 0.000 % |
9.36/9.48 c | 50430 | 1948 8342 25329 | 2147483647 43012 64 | 0.000 % |
9.46/9.56 c | 50664 | 1948 8342 25329 | 2147483647 43246 64 | 0.000 % |
9.56/9.65 c | 50921 | 1948 8342 25329 | 2147483647 43503 64 | 0.000 % |
9.66/9.76 c | 51203 | 1948 8342 25329 | 2147483647 43785 64 | 0.000 % |
9.76/9.88 c | 51512 | 1948 8342 25329 | 2147483647 44094 64 | 0.000 % |
9.96/10.01 c | 51853 | 1948 8342 25329 | 2147483647 44435 64 | 0.000 % |
10.06/10.15 c | 52227 | 1948 8342 25329 | 2147483647 44809 64 | 0.000 % |
10.26/10.32 c | 52638 | 1948 8342 25329 | 2147483647 45220 64 | 0.000 % |
10.36/10.48 c | 53090 | 1948 8342 25329 | 2147483647 45672 64 | 0.000 % |
10.56/10.66 c | 53583 | 1948 8342 25329 | 2147483647 46165 64 | 0.000 % |
10.75/10.88 c | 54126 | 1948 8342 25329 | 2147483647 46708 64 | 0.000 % |
10.96/11.09 c | 54723 | 1948 8342 25329 | 2147483647 47305 64 | 0.000 % |
11.26/11.32 c | 55378 | 1948 8342 25329 | 2147483647 47960 64 | 0.000 % |
11.46/11.59 c | 56098 | 1948 8342 25329 | 2147483647 48680 64 | 0.000 % |
11.56/11.63 c | 56198 | 1948 8342 25329 | 2147483647 48780 64 | 0.000 % |
11.56/11.68 c | 56308 | 1948 8342 25329 | 2147483647 48890 64 | 0.000 % |
11.66/11.73 c | 56432 | 1948 8342 25329 | 2147483647 49014 64 | 0.000 % |
11.66/11.78 c | 56565 | 1948 8342 25329 | 2147483647 49147 64 | 0.000 % |
11.76/11.85 c | 56711 | 1948 8342 25329 | 2147483647 49293 64 | 0.000 % |
11.86/11.92 c | 56871 | 1948 8342 25329 | 2147483647 49453 64 | 0.000 % |
11.86/11.99 c | 57047 | 1948 8342 25329 | 2147483647 49629 64 | 0.000 % |
11.96/12.07 c | 57240 | 1948 8342 25329 | 2147483647 49822 64 | 0.000 % |
12.06/12.15 c | 57454 | 1948 8342 25329 | 2147483647 50036 64 | 0.000 % |
12.16/12.26 c | 57689 | 1948 8342 25329 | 2147483647 50271 64 | 0.000 % |
12.26/12.36 c | 57945 | 1948 8342 25329 | 2147483647 50527 64 | 0.000 % |
12.36/12.48 c | 58226 | 1948 8342 25329 | 2147483647 50808 64 | 0.000 % |
12.56/12.61 c | 58535 | 1948 8342 25329 | 2147483647 51117 64 | 0.000 % |
12.66/12.76 c | 58874 | 1948 8342 25329 | 2147483647 51456 64 | 0.000 % |
12.86/12.91 c | 59246 | 1948 8342 25329 | 2147483647 51828 64 | 0.000 % |
12.96/13.09 c | 59655 | 1948 8342 25329 | 2147483647 52237 64 | 0.000 % |
13.16/13.28 c | 60104 | 1948 8342 25329 | 2147483647 52686 64 | 0.000 % |
13.35/13.48 c | 60598 | 1948 8342 25329 | 2147483647 53180 64 | 0.000 % |
13.65/13.71 c | 61141 | 1948 8342 25329 | 2147483647 53723 64 | 0.000 % |
13.85/13.95 c | 61741 | 1948 8342 25329 | 2147483647 54323 64 | 0.000 % |
14.16/14.24 c | 62397 | 1948 8342 25329 | 2147483647 54979 64 | 0.000 % |
14.45/14.53 c | 63118 | 1948 8342 25329 | 2147483647 55700 64 | 0.000 % |
14.75/14.87 c | 63910 | 1948 8342 25329 | 2147483647 56492 64 | 0.000 % |
14.85/14.92 c | 64011 | 1948 8342 25329 | 2147483647 56593 64 | 0.000 % |
14.85/14.99 c | 64124 | 1948 8342 25329 | 2147483647 56706 64 | 0.000 % |
14.95/15.05 c | 64246 | 1948 8342 25329 | 2147483647 56828 64 | 0.000 % |
15.05/15.11 c | 64380 | 1948 8342 25329 | 2147483647 56962 64 | 0.000 % |
15.05/15.18 c | 64529 | 1948 8342 25329 | 2147483647 57111 64 | 0.000 % |
15.15/15.26 c | 64692 | 1948 8342 25329 | 2147483647 57274 64 | 0.000 % |
15.25/15.34 c | 64869 | 1948 8342 25329 | 2147483647 57451 64 | 0.000 % |
15.36/15.43 c | 65062 | 1948 8342 25329 | 2147483647 57644 64 | 0.000 % |
15.46/15.54 c | 65274 | 1948 8342 25329 | 2147483647 57856 64 | 0.000 % |
15.56/15.65 c | 65508 | 1948 8342 25329 | 2147483647 58090 64 | 0.000 % |
15.66/15.79 c | 65764 | 1948 8342 25329 | 2147483647 58346 64 | 0.000 % |
15.86/15.93 c | 66046 | 1948 8342 25329 | 2147483647 58628 64 | 0.000 % |
15.95/16.08 c | 66355 | 1948 8342 25329 | 2147483647 58937 64 | 0.000 % |
16.15/16.24 c | 66694 | 1948 8342 25329 | 2147483647 59276 64 | 0.000 % |
16.36/16.41 c | 67066 | 1948 8342 25329 | 2147483647 59648 64 | 0.000 % |
16.55/16.60 c | 67477 | 1948 8342 25329 | 2147483647 60059 64 | 0.000 % |
16.65/16.79 c | 67926 | 1948 8342 25329 | 2147483647 60508 64 | 0.000 % |
16.95/17.02 c | 68421 | 1948 8342 25329 | 2147483647 61003 64 | 0.000 % |
17.15/17.26 c | 68963 | 1948 8342 25329 | 2147483647 61545 64 | 0.000 % |
17.46/17.55 c | 69561 | 1948 8342 25329 | 2147483647 62143 64 | 0.000 % |
17.75/17.87 c | 70216 | 1948 8342 25329 | 2147483647 62798 64 | 0.000 % |
18.15/18.21 c | 70937 | 1948 8342 25329 | 2147483647 63519 64 | 0.000 % |
18.45/18.58 c | 71729 | 1948 8342 25329 | 2147483647 64311 64 | 0.000 % |
18.95/19.00 c | 72601 | 1948 8342 25329 | 2147483647 65183 64 | 0.000 % |
18.95/19.05 c | 72703 | 1948 8342 25329 | 2147483647 65285 64 | 0.000 % |
19.05/19.12 c | 72815 | 1948 8342 25329 | 2147483647 65397 64 | 0.000 % |
19.05/19.19 c | 72937 | 1948 8342 25329 | 2147483647 65519 64 | 0.000 % |
19.15/19.27 c | 73070 | 1948 8342 25329 | 2147483647 65652 64 | 0.000 % |
19.25/19.37 c | 73219 | 1948 8342 25329 | 2147483647 65801 64 | 0.000 % |
19.35/19.47 c | 73381 | 1948 8342 25329 | 2147483647 65963 64 | 0.000 % |
19.45/19.58 c | 73559 | 1948 8342 25329 | 2147483647 66141 64 | 0.000 % |
19.55/19.69 c | 73752 | 1948 8342 25329 | 2147483647 66334 64 | 0.000 % |
19.75/19.80 c | 73964 | 1948 8342 25329 | 2147483647 66546 64 | 0.000 % |
19.85/19.93 c | 74198 | 1948 8342 25329 | 2147483647 66780 64 | 0.000 % |
19.95/20.07 c | 74454 | 1948 8342 25329 | 2147483647 67036 64 | 0.000 % |
20.15/20.22 c | 74738 | 1948 8342 25329 | 2147483647 67320 64 | 0.000 % |
20.25/20.39 c | 75047 | 1948 8342 25329 | 2147483647 67629 64 | 0.000 % |
20.45/20.58 c | 75386 | 1948 8342 25329 | 2147483647 67968 64 | 0.000 % |
20.65/20.78 c | 75758 | 1948 8342 25329 | 2147483647 68340 64 | 0.000 % |
20.94/21.01 c | 76168 | 1948 8342 25329 | 2147483647 68750 64 | 0.000 % |
21.14/21.26 c | 76617 | 1948 8342 25329 | 2147483647 69199 64 | 0.000 % |
21.44/21.52 c | 77110 | 1948 8342 25329 | 2147483647 69692 64 | 0.000 % |
21.75/21.81 c | 77652 | 1948 8342 25329 | 2147483647 70234 65 | 0.000 % |
22.05/22.13 c | 78250 | 1948 8342 25329 | 2147483647 70832 65 | 0.000 % |
22.35/22.48 c | 78905 | 1948 8342 25329 | 2147483647 71487 65 | 0.000 % |
22.75/22.86 c | 79627 | 1948 8342 25329 | 2147483647 72209 65 | 0.000 % |
23.15/23.28 c | 80419 | 1948 8342 25329 | 2147483647 73001 65 | 0.000 % |
23.65/23.76 c | 81290 | 1948 8342 25329 | 2147483647 73872 65 | 0.000 % |
24.15/24.27 c | 82249 | 1948 8342 25329 | 2147483647 74831 65 | 0.000 % |
24.25/24.34 c | 82349 | 1948 8342 25329 | 2147483647 74931 65 | 0.000 % |
24.35/24.41 c | 82459 | 1948 8342 25329 | 2147483647 75041 65 | 0.000 % |
24.45/24.51 c | 82582 | 1948 8342 25329 | 2147483647 75164 65 | 0.000 % |
24.45/24.59 c | 82715 | 1948 8342 25329 | 2147483647 75297 65 | 0.000 % |
24.54/24.69 c | 82866 | 1948 8342 25329 | 2147483647 75448 65 | 0.000 % |
24.64/24.78 c | 83027 | 1948 8342 25329 | 2147483647 75609 65 | 0.000 % |
24.84/24.91 c | 83203 | 1948 8342 25329 | 2147483647 75785 65 | 0.000 % |
24.94/25.01 c | 83398 | 1948 8342 25329 | 2147483647 75980 65 | 0.000 % |
25.04/25.14 c | 83610 | 1948 8342 25329 | 2147483647 76192 65 | 0.000 % |
25.15/25.28 c | 83843 | 1948 8342 25329 | 2147483647 76425 65 | 0.000 % |
25.34/25.45 c | 84102 | 1948 8342 25329 | 2147483647 76684 65 | 0.000 % |
25.54/25.61 c | 84383 | 1948 8342 25329 | 2147483647 76965 65 | 0.000 % |
25.64/25.79 c | 84692 | 1948 8342 25329 | 2147483647 77274 65 | 0.000 % |
25.94/26.00 c | 85032 | 1948 8342 25329 | 2147483647 77614 65 | 0.000 % |
26.14/26.25 c | 85404 | 1948 8342 25329 | 2147483647 77986 65 | 0.000 % |
26.44/26.50 c | 85813 | 1948 8342 25329 | 2147483647 78395 65 | 0.000 % |
26.64/26.75 c | 86262 | 1948 8342 25329 | 2147483647 78844 65 | 0.000 % |
26.94/27.03 c | 86755 | 1948 8342 25329 | 2147483647 79337 65 | 0.000 % |
27.24/27.36 c | 87297 | 1948 8342 25329 | 2147483647 79879 65 | 0.000 % |
27.64/27.72 c | 87893 | 1948 8342 25329 | 2147483647 80475 65 | 0.000 % |
27.94/28.09 c | 88548 | 1948 8342 25329 | 2147483647 81130 65 | 0.000 % |
28.45/28.50 c | 89270 | 1948 8342 25329 | 2147483647 81852 65 | 0.000 % |
28.85/28.99 c | 90062 | 1948 8342 25329 | 2147483647 82644 65 | 0.000 % |
29.44/29.55 c | 90933 | 1948 8342 25329 | 2147483647 83515 65 | 0.000 % |
30.04/30.14 c | 91891 | 1948 8342 25329 | 2147483647 84473 65 | 0.000 % |
30.65/30.78 c | 92944 | 1948 8342 25329 | 2147483647 85526 65 | 0.000 % |
30.75/30.86 c | 93044 | 1948 8342 25329 | 2147483647 85626 65 | 0.000 % |
30.84/30.96 c | 93156 | 1948 8342 25329 | 2147483647 85738 65 | 0.000 % |
30.94/31.05 c | 93277 | 1948 8342 25329 | 2147483647 85859 65 | 0.000 % |
31.04/31.13 c | 93410 | 1948 8342 25329 | 2147483647 85992 65 | 0.000 % |
31.14/31.24 c | 93556 | 1948 8342 25329 | 2147483647 86138 65 | 0.000 % |
31.24/31.36 c | 93716 | 1948 8342 25329 | 2147483647 86298 65 | 0.000 % |
31.34/31.50 c | 93894 | 1948 8342 25329 | 2147483647 86476 65 | 0.000 % |
31.54/31.62 c | 94087 | 1948 8342 25329 | 2147483647 86669 65 | 0.000 % |
31.64/31.78 c | 94299 | 1948 8342 25329 | 2147483647 86881 65 | 0.000 % |
31.85/31.94 c | 94532 | 1948 8342 25329 | 2147483647 87114 65 | 0.000 % |
32.04/32.15 c | 94788 | 1948 8342 25329 | 2147483647 87370 65 | 0.000 % |
32.24/32.35 c | 95069 | 1948 8342 25329 | 2147483647 87651 65 | 0.000 % |
32.43/32.59 c | 95380 | 1948 8342 25329 | 2147483647 87962 65 | 0.000 % |
32.73/32.84 c | 95719 | 1948 8342 25329 | 2147483647 88301 65 | 0.000 % |
33.03/33.13 c | 96091 | 1948 8342 25329 | 2147483647 88673 65 | 0.000 % |
33.33/33.41 c | 96500 | 1948 8342 25329 | 2147483647 89082 65 | 0.000 % |
33.63/33.72 c | 96950 | 1948 8342 25329 | 2147483647 89532 65 | 0.000 % |
33.93/34.06 c | 97444 | 1948 8342 25329 | 2147483647 90026 65 | 0.000 % |
34.33/34.42 c | 97986 | 1948 8342 25329 | 2147483647 90568 65 | 0.000 % |
34.73/34.84 c | 98582 | 1948 8342 25329 | 2147483647 91164 65 | 0.000 % |
35.24/35.31 c | 99238 | 1948 8342 25329 | 2147483647 91820 65 | 0.000 % |
35.74/35.82 c | 99965 | 1948 8342 25329 | 2147483647 92547 65 | 0.000 % |
36.24/36.36 c | 100757 | 1948 8342 25329 | 2147483647 93339 65 | 0.000 % |
36.84/36.98 c | 101630 | 1948 8342 25329 | 2147483647 94212 65 | 0.000 % |
37.53/37.66 c | 102588 | 1948 8342 25329 | 2147483647 95170 65 | 0.000 % |
38.33/38.42 c | 103641 | 1948 8342 25329 | 2147483647 96223 66 | 0.000 % |
39.03/39.17 c | 104801 | 1948 8342 25329 | 2147483647 97383 66 | 0.000 % |
39.13/39.23 c | 104901 | 1948 8342 25329 | 2147483647 97483 66 | 0.000 % |
39.23/39.32 c | 105012 | 1948 8342 25329 | 2147483647 97594 66 | 0.000 % |
39.33/39.44 c | 105134 | 1948 8342 25329 | 2147483647 97716 66 | 0.000 % |
39.43/39.55 c | 105267 | 1948 8342 25329 | 2147483647 97849 66 | 0.000 % |
39.53/39.64 c | 105413 | 1948 8342 25329 | 2147483647 97995 66 | 0.000 % |
39.63/39.77 c | 105573 | 1948 8342 25329 | 2147483647 98155 66 | 0.000 % |
39.83/39.94 c | 105750 | 1948 8342 25329 | 2147483647 98332 66 | 0.000 % |
40.02/40.11 c | 105944 | 1948 8342 25329 | 2147483647 98526 66 | 0.000 % |
40.12/40.28 c | 106156 | 1948 8342 25329 | 2147483647 98738 66 | 0.000 % |
40.42/40.50 c | 106389 | 1948 8342 25329 | 2147483647 98971 66 | 0.000 % |
40.63/40.71 c | 106648 | 1948 8342 25329 | 2147483647 99230 66 | 0.000 % |
40.82/40.92 c | 106930 | 1948 8342 25329 | 2147483647 99512 66 | 0.000 % |
41.02/41.18 c | 107241 | 1948 8342 25329 | 2147483647 99823 66 | 0.000 % |
41.32/41.45 c | 107582 | 1948 8342 25329 | 2147483647 100164 66 | 0.000 % |
41.63/41.76 c | 107954 | 1948 8342 25329 | 2147483647 100536 66 | 0.000 % |
41.93/42.08 c | 108364 | 1948 8342 25329 | 2147483647 100946 66 | 0.000 % |
42.33/42.49 c | 108813 | 1948 8342 25329 | 2147483647 101395 66 | 0.000 % |
42.73/42.87 c | 109308 | 1948 8342 25329 | 2147483647 101890 66 | 0.000 % |
43.12/43.29 c | 109850 | 1948 8342 25329 | 2147483647 102432 66 | 0.000 % |
43.62/43.80 c | 110446 | 1948 8342 25329 | 102583 89946 66 | 0.000 % |
44.12/44.24 c | 111101 | 1948 8342 25329 | 102583 90601 66 | 0.000 % |
44.52/44.67 c | 111822 | 1948 8342 25329 | 102583 91322 66 | 0.000 % |
45.12/45.21 c | 112615 | 1948 8342 25329 | 102583 92115 66 | 0.000 % |
45.62/45.77 c | 113490 | 1948 8342 25329 | 102583 92990 66 | 0.000 % |
46.32/46.41 c | 114449 | 1948 8342 25329 | 102583 93949 66 | 0.000 % |
47.02/47.12 c | 115503 | 1948 8342 25329 | 102583 95003 66 | 0.000 % |
47.82/47.94 c | 116661 | 1948 8342 25329 | 102583 96161 66 | 0.000 % |
48.72/48.80 c | 117934 | 1948 8342 25329 | 102583 97434 66 | 0.000 % |
48.72/48.88 c | 118036 | 1948 8342 25329 | 102583 97536 66 | 0.000 % |
48.92/49.00 c | 118147 | 1948 8342 25329 | 102583 97647 66 | 0.000 % |
49.02/49.10 c | 118268 | 1948 8342 25329 | 102583 97768 66 | 0.000 % |
49.02/49.19 c | 118401 | 1948 8342 25329 | 102583 97901 66 | 0.000 % |
49.12/49.30 c | 118548 | 1948 8342 25329 | 102583 98048 66 | 0.000 % |
49.32/49.43 c | 118709 | 1948 8342 25329 | 102583 98209 66 | 0.000 % |
49.42/49.58 c | 118885 | 1948 8342 25329 | 102583 98385 66 | 0.000 % |
49.62/49.73 c | 119078 | 1948 8342 25329 | 102583 98578 66 | 0.000 % |
49.82/49.91 c | 119291 | 1948 8342 25329 | 102583 98791 66 | 0.000 % |
49.92/50.07 c | 119526 | 1948 8342 25329 | 102583 99026 66 | 0.000 % |
50.12/50.29 c | 119782 | 1948 8342 25329 | 102583 99282 66 | 0.000 % |
50.42/50.52 c | 120064 | 1948 8342 25329 | 99500 99564 66 | 0.000 % |
50.72/50.80 c | 120374 | 1948 8342 25329 | 99500 87539 66 | 0.000 % |
50.92/51.04 c | 120718 | 1948 8342 25329 | 99500 87883 66 | 0.000 % |
51.22/51.30 c | 121091 | 1948 8342 25329 | 99500 88256 66 | 0.000 % |
51.42/51.59 c | 121500 | 1948 8342 25329 | 99500 88665 66 | 0.000 % |
51.82/51.93 c | 121950 | 1948 8342 25329 | 99500 89115 66 | 0.000 % |
52.12/52.26 c | 122443 | 1948 8342 25329 | 99500 89608 66 | 0.000 % |
52.52/52.64 c | 122986 | 1948 8342 25329 | 99500 90151 66 | 0.000 % |
52.92/53.04 c | 123582 | 1948 8342 25329 | 99500 90747 66 | 0.000 % |
53.42/53.50 c | 124238 | 1948 8342 25329 | 99500 91403 66 | 0.000 % |
53.92/54.02 c | 124959 | 1948 8342 25329 | 99500 92124 66 | 0.000 % |
54.42/54.54 c | 125752 | 1948 8342 25329 | 99500 92917 66 | 0.000 % |
55.02/55.14 c | 126623 | 1948 8342 25329 | 99500 93788 66 | 0.000 % |
55.72/55.83 c | 127581 | 1948 8342 25329 | 99500 94746 66 | 0.000 % |
56.53/56.62 c | 128634 | 1948 8342 25329 | 99500 95799 66 | 0.000 % |
57.33/57.41 c | 129793 | 1948 8342 25329 | 99500 96958 66 | 0.000 % |
58.23/58.33 c | 131066 | 1948 8342 25329 | 97165 87350 66 | 0.000 % |
59.13/59.29 c | 132466 | 1948 8342 25329 | 97165 88750 66 | 0.000 % |
59.23/59.37 c | 132566 | 1948 8342 25329 | 97165 88850 66 | 0.000 % |
59.33/59.47 c | 132676 | 1948 8342 25329 | 97165 88960 66 | 0.000 % |
59.42/59.56 c | 132798 | 1948 8342 25329 | 97165 89082 66 | 0.000 % |
59.52/59.66 c | 132933 | 1948 8342 25329 | 97165 89217 66 | 0.000 % |
59.62/59.77 c | 133079 | 1948 8342 25329 | 97165 89363 66 | 0.000 % |
59.82/59.91 c | 133240 | 1948 8342 25329 | 97165 89524 66 | 0.000 % |
59.92/60.06 c | 133416 | 1948 8342 25329 | 97165 89700 66 | 0.000 % |
60.02/60.18 c | 133610 | 1948 8342 25329 | 97165 89894 66 | 0.000 % |
60.22/60.33 c | 133823 | 1948 8342 25329 | 97165 90107 66 | 0.000 % |
60.33/60.49 c | 134057 | 1948 8342 25329 | 97165 90341 66 | 0.000 % |
60.62/60.71 c | 134313 | 1948 8342 25329 | 97165 90597 66 | 0.000 % |
60.82/60.92 c | 134594 | 1948 8342 25329 | 97165 90878 66 | 0.000 % |
61.02/61.17 c | 134903 | 1948 8342 25329 | 97165 91187 66 | 0.000 % |
61.32/61.41 c | 135242 | 1948 8342 25329 | 97165 91526 66 | 0.000 % |
61.52/61.67 c | 135614 | 1948 8342 25329 | 97165 91898 66 | 0.000 % |
61.82/61.93 c | 136024 | 1948 8342 25329 | 97165 92308 66 | 0.000 % |
62.12/62.29 c | 136473 | 1948 8342 25329 | 97165 92757 66 | 0.000 % |
62.52/62.66 c | 136966 | 1948 8342 25329 | 97165 93250 66 | 0.000 % |
62.92/63.08 c | 137509 | 1948 8342 25329 | 97165 93793 66 | 0.000 % |
63.42/63.52 c | 138107 | 1948 8342 25329 | 97165 94391 66 | 0.000 % |
63.82/63.97 c | 138764 | 1948 8342 25329 | 97165 95048 66 | 0.000 % |
64.32/64.46 c | 139484 | 1948 8342 25329 | 97165 95768 66 | 0.000 % |
64.92/65.09 c | 140276 | 1948 8342 25329 | 96284 85770 67 | 0.000 % |
65.52/65.63 c | 141147 | 1948 8342 25329 | 96284 86641 67 | 0.000 % |
66.01/66.18 c | 142105 | 1948 8342 25329 | 96284 87599 67 | 0.000 % |
66.71/66.83 c | 143160 | 1948 8342 25329 | 96284 88654 67 | 0.000 % |
67.41/67.55 c | 144320 | 1948 8342 25329 | 96284 89814 67 | 0.000 % |
68.21/68.33 c | 145595 | 1948 8342 25329 | 96284 91089 67 | 0.000 % |
69.21/69.32 c | 146995 | 1948 8342 25329 | 96284 92489 67 | 0.000 % |
70.21/70.36 c | 148536 | 1948 8342 25329 | 96284 94030 67 | 0.000 % |
70.31/70.44 c | 148638 | 1948 8342 25329 | 96284 94132 67 | 0.000 % |
70.41/70.53 c | 148749 | 1948 8342 25329 | 96284 94243 67 | 0.000 % |
70.51/70.63 c | 148870 | 1948 8342 25329 | 96284 94364 67 | 0.000 % |
70.61/70.73 c | 149004 | 1948 8342 25329 | 96284 94498 67 | 0.000 % |
70.71/70.86 c | 149151 | 1948 8342 25329 | 96284 94645 67 | 0.000 % |
70.81/70.99 c | 149312 | 1948 8342 25329 | 96284 94806 67 | 0.000 % |
71.01/71.13 c | 149490 | 1948 8342 25329 | 96284 94984 67 | 0.000 % |
71.11/71.28 c | 149683 | 1948 8342 25329 | 96284 95177 67 | 0.000 % |
71.31/71.45 c | 149895 | 1948 8342 25329 | 96284 95389 67 | 0.000 % |
71.51/71.63 c | 150129 | 1948 8342 25329 | 95496 95623 67 | 0.000 % |
71.71/71.85 c | 150387 | 1948 8342 25329 | 95496 86130 67 | 0.000 % |
71.91/72.04 c | 150668 | 1948 8342 25329 | 95496 86411 67 | 0.000 % |
72.11/72.25 c | 150978 | 1948 8342 25329 | 95496 86721 67 | 0.000 % |
72.31/72.50 c | 151317 | 1948 8342 25329 | 95496 87060 67 | 0.000 % |
72.61/72.77 c | 151689 | 1948 8342 25329 | 95496 87432 67 | 0.000 % |
72.91/73.04 c | 152101 | 1948 8342 25329 | 95496 87844 67 | 0.000 % |
73.20/73.33 c | 152552 | 1948 8342 25329 | 95496 88295 67 | 0.000 % |
73.51/73.70 c | 153045 | 1948 8342 25329 | 95496 88788 67 | 0.000 % |
74.00/74.11 c | 153587 | 1948 8342 25329 | 95496 89330 67 | 0.000 % |
74.40/74.52 c | 154183 | 1948 8342 25329 | 95496 89926 67 | 0.000 % |
74.80/74.96 c | 154840 | 1948 8342 25329 | 95496 90583 67 | 0.000 % |
75.30/75.43 c | 155561 | 1948 8342 25329 | 95496 91304 67 | 0.000 % |
75.90/76.02 c | 156354 | 1948 8342 25329 | 95496 92097 67 | 0.000 % |
76.50/76.65 c | 157227 | 1948 8342 25329 | 95496 92970 67 | 0.000 % |
77.20/77.35 c | 158186 | 1948 8342 25329 | 95496 93929 67 | 0.000 % |
78.00/78.13 c | 159239 | 1948 8342 25329 | 95496 94982 67 | 0.000 % |
78.90/79.01 c | 160400 | 1948 8342 25329 | 84936 75966 67 | 0.000 % |
79.59/79.78 c | 161673 | 1948 8342 25329 | 84936 77239 67 | 0.000 % |
80.49/80.62 c | 163073 | 1948 8342 25329 | 84936 78639 67 | 0.000 % |
81.38/81.57 c | 164617 | 1948 8342 25329 | 84936 80183 67 | 0.000 % |
82.38/82.57 c | 166312 | 1948 8342 25329 | 84936 81878 67 | 0.000 % |
82.48/82.63 c | 166413 | 1948 8342 25329 | 84936 81979 67 | 0.000 % |
82.58/82.72 c | 166525 | 1948 8342 25329 | 84936 82091 67 | 0.000 % |
82.68/82.83 c | 166646 | 1948 8342 25329 | 84936 82212 67 | 0.000 % |
82.78/82.93 c | 166779 | 1948 8342 25329 | 84936 82345 67 | 0.000 % |
82.88/83.04 c | 166925 | 1948 8342 25329 | 84936 82491 67 | 0.000 % |
82.98/83.16 c | 167085 | 1948 8342 25329 | 84936 82651 67 | 0.000 % |
83.08/83.28 c | 167264 | 1948 8342 25329 | 84936 82830 67 | 0.000 % |
83.28/83.41 c | 167457 | 1948 8342 25329 | 84936 83023 67 | 0.000 % |
83.38/83.57 c | 167669 | 1948 8342 25329 | 84936 83235 67 | 0.000 % |
83.57/83.73 c | 167902 | 1948 8342 25329 | 84936 83468 67 | 0.000 % |
83.77/83.91 c | 168158 | 1948 8342 25329 | 84936 83724 67 | 0.000 % |
83.87/84.09 c | 168439 | 1948 8342 25329 | 84936 84005 67 | 0.000 % |
84.07/84.29 c | 168749 | 1948 8342 25329 | 84936 84315 67 | 0.000 % |
84.37/84.51 c | 169090 | 1948 8342 25329 | 84936 84656 67 | 0.000 % |
84.58/84.77 c | 169465 | 1948 8342 25329 | 84936 85031 67 | 0.000 % |
84.87/85.06 c | 169878 | 1948 8342 25329 | 84936 76941 66 | 0.000 % |
85.17/85.34 c | 170328 | 1948 8342 25329 | 2147483647 77391 66 | 0.000 % |
85.47/85.63 c | 170821 | 1948 8342 25329 | 2147483647 77884 66 | 0.000 % |
85.77/85.97 c | 171363 | 1948 8342 25329 | 2147483647 78426 66 | 0.000 % |
86.17/86.32 c | 171961 | 1948 8342 25329 | 2147483647 79024 66 | 0.000 % |
86.57/86.71 c | 172618 | 1948 8342 25329 | 2147483647 79681 66 | 0.000 % |
86.97/87.17 c | 173338 | 1948 8342 25329 | 2147483647 80401 66 | 0.000 % |
87.47/87.67 c | 174132 | 1948 8342 25329 | 2147483647 81195 66 | 0.000 % |
88.07/88.25 c | 175003 | 1948 8342 25329 | 2147483647 82066 66 | 0.000 % |
88.67/88.82 c | 175961 | 1948 8342 25329 | 2147483647 83024 66 | 0.000 % |
89.27/89.44 c | 177016 | 1948 8342 25329 | 2147483647 84079 66 | 0.000 % |
89.97/90.18 c | 178174 | 1948 8342 25329 | 2147483647 85237 66 | 0.000 % |
90.77/90.94 c | 179447 | 1948 8342 25329 | 2147483647 86510 66 | 0.000 % |
91.67/91.88 c | 180847 | 1948 8342 25329 | 2147483647 87910 66 | 0.000 % |
92.67/92.84 c | 182387 | 1948 8342 25329 | 2147483647 89450 66 | 0.000 % |
93.77/93.96 c | 184082 | 1948 8342 25329 | 2147483647 91145 66 | 0.000 % |
95.17/95.36 c | 185945 | 1948 8342 25329 | 2147483647 93008 66 | 0.000 % |
95.27/95.45 c | 186046 | 1948 8342 25329 | 2147483647 93109 66 | 0.000 % |
95.37/95.54 c | 186156 | 1948 8342 25329 | 2147483647 93219 66 | 0.000 % |
95.47/95.65 c | 186277 | 1948 8342 25329 | 2147483647 93340 66 | 0.000 % |
95.57/95.75 c | 186410 | 1948 8342 25329 | 2147483647 93473 66 | 0.000 % |
95.67/95.87 c | 186556 | 1948 8342 25329 | 2147483647 93619 66 | 0.000 % |
95.87/96.01 c | 186716 | 1948 8342 25329 | 2147483647 93779 66 | 0.000 % |
95.97/96.16 c | 186894 | 1948 8342 25329 | 2147483647 93957 66 | 0.000 % |
96.17/96.31 c | 187087 | 1948 8342 25329 | 2147483647 94150 66 | 0.000 % |
96.27/96.49 c | 187300 | 1948 8342 25329 | 2147483647 94363 66 | 0.000 % |
96.47/96.69 c | 187535 | 1948 8342 25329 | 2147483647 94598 66 | 0.000 % |
96.77/96.91 c | 187792 | 1948 8342 25329 | 2147483647 94855 66 | 0.000 % |
96.97/97.11 c | 188073 | 1948 8342 25329 | 2147483647 95136 66 | 0.000 % |
97.17/97.36 c | 188382 | 1948 8342 25329 | 2147483647 95445 66 | 0.000 % |
97.47/97.62 c | 188723 | 1948 8342 25329 | 2147483647 95786 66 | 0.000 % |
97.67/97.90 c | 189095 | 1948 8342 25329 | 2147483647 96158 66 | 0.000 % |
98.07/98.22 c | 189504 | 1948 8342 25329 | 2147483647 96567 66 | 0.000 % |
98.37/98.57 c | 189954 | 1948 8342 25329 | 2147483647 97017 66 | 0.000 % |
98.87/99.01 c | 190448 | 1948 8342 25329 | 97067 86582 66 | 0.000 % |
99.16/99.39 c | 190990 | 1948 8342 25329 | 97067 87124 66 | 0.000 % |
99.56/99.76 c | 191586 | 1948 8342 25329 | 97067 87720 66 | 0.000 % |
100.06/100.26 c | 192241 | 1948 8342 25329 | 97067 88375 66 | 0.000 % |
100.56/100.77 c | 192962 | 1948 8342 25329 | 97067 89096 66 | 0.000 % |
101.16/101.33 c | 193754 | 1948 8342 25329 | 97067 89888 66 | 0.000 % |
101.76/101.91 c | 194625 | 1948 8342 25329 | 97067 90759 66 | 0.000 % |
102.36/102.55 c | 195583 | 1948 8342 25329 | 97067 91717 66 | 0.000 % |
103.17/103.35 c | 196636 | 1948 8342 25329 | 97067 92770 66 | 0.000 % |
103.96/104.13 c | 197797 | 1948 8342 25329 | 97067 93931 66 | 0.000 % |
104.86/105.01 c | 199070 | 1948 8342 25329 | 97067 95204 66 | 0.000 % |
105.86/106.02 c | 200471 | 1948 8342 25329 | 96134 85720 66 | 0.000 % |
106.86/107.08 c | 202011 | 1948 8342 25329 | 96134 87260 66 | 0.000 % |
107.96/108.18 c | 203705 | 1948 8342 25329 | 96134 88954 66 | 0.000 % |
109.16/109.38 c | 205568 | 1948 8342 25329 | 96134 90817 66 | 0.000 % |
110.56/110.76 c | 207617 | 1948 8342 25329 | 96134 92866 66 | 0.000 % |
110.66/110.82 c | 207717 | 1948 8342 25329 | 96134 92966 66 | 0.000 % |
110.76/110.91 c | 207829 | 1948 8342 25329 | 96134 93078 66 | 0.000 % |
110.86/111.00 c | 207951 | 1948 8342 25329 | 96134 93200 66 | 0.000 % |
110.96/111.11 c | 208086 | 1948 8342 25329 | 96134 93335 66 | 0.000 % |
111.06/111.23 c | 208233 | 1948 8342 25329 | 96134 93482 66 | 0.000 % |
111.16/111.37 c | 208393 | 1948 8342 25329 | 96134 93642 66 | 0.000 % |
111.36/111.51 c | 208569 | 1948 8342 25329 | 96134 93818 66 | 0.000 % |
111.46/111.67 c | 208763 | 1948 8342 25329 | 96134 94012 66 | 0.000 % |
111.66/111.85 c | 208975 | 1948 8342 25329 | 96134 94224 66 | 0.000 % |
111.86/112.03 c | 209208 | 1948 8342 25329 | 96134 94457 66 | 0.000 % |
112.06/112.23 c | 209466 | 1948 8342 25329 | 96134 94715 66 | 0.000 % |
112.26/112.42 c | 209747 | 1948 8342 25329 | 96134 94996 66 | 0.000 % |
112.46/112.65 c | 210056 | 1948 8342 25329 | 95250 95305 66 | 0.000 % |
112.75/112.95 c | 210395 | 1948 8342 25329 | 95250 84723 66 | 0.000 % |
112.96/113.18 c | 210767 | 1948 8342 25329 | 95250 85095 66 | 0.000 % |
113.26/113.41 c | 211176 | 1948 8342 25329 | 95250 85504 66 | 0.000 % |
113.55/113.70 c | 211626 | 1948 8342 25329 | 95250 85954 66 | 0.000 % |
113.85/114.04 c | 212122 | 1948 8342 25329 | 95250 86450 66 | 0.000 % |
114.26/114.41 c | 212664 | 1948 8342 25329 | 95250 86992 66 | 0.000 % |
114.55/114.78 c | 213260 | 1948 8342 25329 | 95250 87588 66 | 0.000 % |
115.05/115.21 c | 213915 | 1948 8342 25329 | 95250 88243 66 | 0.000 % |
115.45/115.70 c | 214637 | 1948 8342 25329 | 95250 88965 66 | 0.000 % |
116.05/116.23 c | 215429 | 1948 8342 25329 | 95250 89757 66 | 0.000 % |
116.55/116.77 c | 216300 | 1948 8342 25329 | 95250 90628 66 | 0.000 % |
117.15/117.38 c | 217258 | 1948 8342 25329 | 95250 91586 66 | 0.000 % |
117.95/118.10 c | 218315 | 1948 8342 25329 | 95250 92643 66 | 0.000 % |
118.65/118.84 c | 219474 | 1948 8342 25329 | 95250 93802 66 | 0.000 % |
119.45/119.63 c | 220748 | 1948 8342 25329 | 2147483647 95076 66 | 0.000 % |
120.35/120.56 c | 222148 | 1948 8342 25329 | 2147483647 96476 67 | 0.000 % |
121.45/121.64 c | 223690 | 1948 8342 25329 | 2147483647 98018 67 | 0.000 % |
122.64/122.86 c | 225385 | 1948 8342 25329 | 2147483647 99713 67 | 0.000 % |
123.84/124.08 c | 227249 | 1948 8342 25329 | 2147483647 101577 67 | 0.000 % |
125.33/125.53 c | 229298 | 1948 8342 25329 | 2147483647 103626 67 | 0.000 % |
127.13/127.35 c | 231552 | 1948 8342 25329 | 104330 94014 67 | 0.000 % |
127.23/127.46 c | 231652 | 1948 8342 25329 | 104330 94114 67 | 0.000 % |
127.33/127.56 c | 231764 | 1948 8342 25329 | 104330 94226 67 | 0.000 % |
127.43/127.66 c | 231886 | 1948 8342 25329 | 104330 94348 67 | 0.000 % |
127.53/127.77 c | 232019 | 1948 8342 25329 | 104330 94481 67 | 0.000 % |
127.73/127.92 c | 232167 | 1948 8342 25329 | 104330 94629 67 | 0.000 % |
127.83/128.04 c | 232328 | 1948 8342 25329 | 104330 94790 67 | 0.000 % |
127.93/128.17 c | 232504 | 1948 8342 25329 | 104330 94966 67 | 0.000 % |
128.13/128.35 c | 232698 | 1948 8342 25329 | 104330 95160 67 | 0.000 % |
128.33/128.51 c | 232911 | 1948 8342 25329 | 104330 95373 67 | 0.000 % |
128.43/128.69 c | 233146 | 1948 8342 25329 | 104330 95608 67 | 0.000 % |
128.73/128.90 c | 233404 | 1948 8342 25329 | 104330 95866 67 | 0.000 % |
128.93/129.13 c | 233687 | 1948 8342 25329 | 104330 96149 67 | 0.000 % |
129.13/129.37 c | 233996 | 1948 8342 25329 | 104330 96458 67 | 0.000 % |
129.43/129.60 c | 234335 | 1948 8342 25329 | 104330 96797 67 | 0.000 % |
129.73/129.91 c | 234708 | 1948 8342 25329 | 104330 97170 67 | 0.000 % |
130.03/130.22 c | 235117 | 1948 8342 25329 | 104330 97579 67 | 0.000 % |
130.33/130.56 c | 235567 | 1948 8342 25329 | 104330 98029 67 | 0.000 % |
130.73/130.94 c | 236060 | 1948 8342 25329 | 104330 98522 67 | 0.000 % |
131.13/131.35 c | 236602 | 1948 8342 25329 | 104330 99064 67 | 0.000 % |
131.53/131.76 c | 237199 | 1948 8342 25329 | 104330 99661 67 | 0.000 % |
132.03/132.23 c | 237855 | 1948 8342 25329 | 104330 100317 67 | 0.000 % |
132.53/132.74 c | 238575 | 1948 8342 25329 | 104330 101037 67 | 0.000 % |
133.13/133.37 c | 239368 | 1948 8342 25329 | 104330 101830 67 | 0.000 % |
133.93/134.13 c | 240240 | 1948 8342 25329 | 102463 88586 67 | 0.000 % |
134.53/134.78 c | 241199 | 1948 8342 25329 | 102463 89545 67 | 0.000 % |
135.34/135.52 c | 242254 | 1948 8342 25329 | 102463 90600 67 | 0.000 % |
136.04/136.27 c | 243412 | 1948 8342 25329 | 102463 91758 67 | 0.000 % |
136.94/137.19 c | 244686 | 1948 8342 25329 | 102463 93032 67 | 0.000 % |
138.03/138.20 c | 246087 | 1948 8342 25329 | 102463 94433 67 | 0.000 % |
139.03/139.28 c | 247628 | 1948 8342 25329 | 102463 95974 67 | 0.000 % |
140.33/140.51 c | 249322 | 1948 8342 25329 | 102463 97668 67 | 0.000 % |
141.53/141.76 c | 251185 | 1948 8342 25329 | 98348 88012 67 | 0.000 % |
142.84/143.09 c | 253234 | 1948 8342 25329 | 98348 90061 67 | 0.000 % |
144.43/144.62 c | 255487 | 1948 8342 25329 | 98348 92314 67 | 0.000 % |
146.23/146.45 c | 257967 | 1948 8342 25329 | 98348 94794 67 | 0.000 % |
146.33/146.51 c | 258069 | 1948 8342 25329 | 98348 94896 67 | 0.000 % |
146.43/146.62 c | 258179 | 1948 8342 25329 | 98348 95006 67 | 0.000 % |
146.53/146.72 c | 258301 | 1948 8342 25329 | 98348 95128 67 | 0.000 % |
146.63/146.83 c | 258434 | 1948 8342 25329 | 98348 95261 67 | 0.000 % |
146.73/146.94 c | 258580 | 1948 8342 25329 | 98348 95407 67 | 0.000 % |
146.83/147.07 c | 258741 | 1948 8342 25329 | 98348 95568 67 | 0.000 % |
147.03/147.22 c | 258919 | 1948 8342 25329 | 98348 95746 67 | 0.000 % |
147.13/147.35 c | 259112 | 1948 8342 25329 | 98348 95939 67 | 0.000 % |
147.33/147.53 c | 259326 | 1948 8342 25329 | 98348 96153 67 | 0.000 % |
147.53/147.72 c | 259560 | 1948 8342 25329 | 98348 96387 67 | 0.000 % |
147.73/147.95 c | 259816 | 1948 8342 25329 | 98348 96643 67 | 0.000 % |
147.93/148.18 c | 260097 | 1948 8342 25329 | 96827 96924 67 | 0.000 % |
148.23/148.46 c | 260407 | 1948 8342 25329 | 96827 86373 67 | 0.000 % |
148.53/148.71 c | 260747 | 1948 8342 25329 | 96827 86713 67 | 0.000 % |
148.73/148.93 c | 261121 | 1948 8342 25329 | 96827 87087 67 | 0.000 % |
149.03/149.22 c | 261530 | 1948 8342 25329 | 96827 87496 67 | 0.000 % |
149.33/149.53 c | 261981 | 1948 8342 25329 | 96827 87947 67 | 0.000 % |
149.63/149.85 c | 262475 | 1948 8342 25329 | 96827 88441 67 | 0.000 % |
149.93/150.19 c | 263017 | 1948 8342 25329 | 96827 88983 67 | 0.000 % |
150.43/150.63 c | 263613 | 1948 8342 25329 | 96827 89579 67 | 0.000 % |
150.83/151.09 c | 264271 | 1948 8342 25329 | 96827 90237 67 | 0.000 % |
151.42/151.62 c | 264993 | 1948 8342 25329 | 96827 90959 67 | 0.000 % |
151.92/152.16 c | 265785 | 1948 8342 25329 | 96827 91751 67 | 0.000 % |
152.52/152.76 c | 266656 | 1948 8342 25329 | 96827 92622 67 | 0.000 % |
153.22/153.43 c | 267615 | 1948 8342 25329 | 96827 93581 67 | 0.000 % |
153.92/154.11 c | 268670 | 1948 8342 25329 | 96827 94636 67 | 0.000 % |
154.72/154.95 c | 269828 | 1948 8342 25329 | 96827 95794 67 | 0.000 % |
155.62/155.84 c | 271102 | 1948 8342 25329 | 95966 86296 67 | 0.000 % |
156.52/156.74 c | 272504 | 1948 8342 25329 | 95966 87698 67 | 0.000 % |
157.52/157.77 c | 274047 | 1948 8342 25329 | 95966 89241 67 | 0.000 % |
158.62/158.89 c | 275741 | 1948 8342 25329 | 95966 90935 67 | 0.000 % |
159.92/160.12 c | 277605 | 1948 8342 25329 | 95966 92799 68 | 0.000 % |
161.22/161.49 c | 279654 | 1948 8342 25329 | 95966 94848 68 | 0.000 % |
162.72/162.92 c | 281908 | 1948 8342 25329 | 95195 87553 68 | 0.000 % |
164.42/164.61 c | 284386 | 1948 8342 25329 | 95195 90031 68 | 0.000 % |
166.32/166.52 c | 287111 | 1948 8342 25329 | 95195 92756 68 | 0.000 % |
166.32/166.59 c | 287212 | 1948 8342 25329 | 95195 92857 68 | 0.000 % |
166.41/166.68 c | 287324 | 1948 8342 25329 | 95195 92969 68 | 0.000 % |
166.51/166.78 c | 287446 | 1948 8342 25329 | 95195 93091 68 | 0.000 % |
166.61/166.87 c | 287580 | 1948 8342 25329 | 95195 93225 68 | 0.000 % |
166.81/167.00 c | 287727 | 1948 8342 25329 | 95195 93372 68 | 0.000 % |
166.92/167.12 c | 287887 | 1948 8342 25329 | 95195 93532 68 | 0.000 % |
167.02/167.26 c | 288065 | 1948 8342 25329 | 95195 93710 68 | 0.000 % |
167.21/167.43 c | 288260 | 1948 8342 25329 | 95195 93905 68 | 0.000 % |
167.31/167.60 c | 288472 | 1948 8342 25329 | 95195 94117 68 | 0.000 % |
167.51/167.79 c | 288707 | 1948 8342 25329 | 95195 94352 68 | 0.000 % |
167.71/167.99 c | 288963 | 1948 8342 25329 | 95195 94608 68 | 0.000 % |
167.91/168.19 c | 289244 | 1948 8342 25329 | 95195 94889 68 | 0.000 % |
168.21/168.42 c | 289554 | 1948 8342 25329 | 95195 95199 68 | 0.000 % |
168.51/168.73 c | 289897 | 1948 8342 25329 | 95195 86023 68 | 0.000 % |
168.71/168.98 c | 290271 | 1948 8342 25329 | 2147483647 86397 68 | 0.000 % |
169.01/169.27 c | 290680 | 1948 8342 25329 | 2147483647 86806 68 | 0.000 % |
169.31/169.59 c | 291132 | 1948 8342 25329 | 2147483647 87258 68 | 0.000 % |
169.71/169.91 c | 291625 | 1948 8342 25329 | 2147483647 87751 68 | 0.000 % |
170.01/170.27 c | 292169 | 1948 8342 25329 | 2147483647 88295 68 | 0.000 % |
170.40/170.63 c | 292765 | 1948 8342 25329 | 2147483647 88891 68 | 0.000 % |
170.80/171.07 c | 293421 | 1948 8342 25329 | 2147483647 89547 68 | 0.000 % |
171.31/171.57 c | 294141 | 1948 8342 25329 | 2147483647 90267 68 | 0.000 % |
171.90/172.13 c | 294933 | 1948 8342 25329 | 2147483647 91059 68 | 0.000 % |
172.51/172.75 c | 295806 | 1948 8342 25329 | 2147483647 91932 68 | 0.000 % |
173.20/173.42 c | 296766 | 1948 8342 25329 | 2147483647 92892 68 | 0.000 % |
173.90/174.11 c | 297819 | 1948 8342 25329 | 2147483647 93945 68 | 0.000 % |
174.71/174.94 c | 298978 | 1948 8342 25329 | 2147483647 95104 68 | 0.000 % |
175.60/175.85 c | 300251 | 1948 8342 25329 | 96126 96377 68 | 0.000 % |
176.60/176.86 c | 301652 | 1948 8342 25329 | 96126 88089 68 | 0.000 % |
177.50/177.79 c | 303192 | 1948 8342 25329 | 96126 89629 68 | 0.000 % |
178.60/178.88 c | 304888 | 1948 8342 25329 | 96126 91325 68 | 0.000 % |
179.90/180.17 c | 306751 | 1948 8342 25329 | 96126 93188 68 | 0.000 % |
181.40/181.61 c | 308801 | 1948 8342 25329 | 96126 95238 68 | 0.000 % |
182.90/183.17 c | 311055 | 1948 8342 25329 | 2147483647 87852 68 | 0.000 % |
184.60/184.83 c | 313534 | 1948 8342 25329 | 2147483647 90331 68 | 0.000 % |
186.40/186.60 c | 316264 | 1948 8342 25329 | 2147483647 93061 68 | 0.000 % |
188.50/188.71 c | 319263 | 1948 8342 25329 | 2147483647 96060 68 | 0.000 % |
188.50/188.78 c | 319363 | 1948 8342 25329 | 2147483647 96160 68 | 0.000 % |
188.60/188.85 c | 319474 | 1948 8342 25329 | 2147483647 96271 68 | 0.000 % |
188.70/188.96 c | 319595 | 1948 8342 25329 | 2147483647 96392 68 | 0.000 % |
188.80/189.08 c | 319728 | 1948 8342 25329 | 2147483647 96525 68 | 0.000 % |
189.00/189.21 c | 319877 | 1948 8342 25329 | 2147483647 96674 68 | 0.000 % |
189.10/189.34 c | 320037 | 1948 8342 25329 | 96797 96834 68 | 0.000 % |
189.30/189.59 c | 320214 | 1948 8342 25329 | 96797 86771 67 | 0.000 % |
189.50/189.73 c | 320410 | 1948 8342 25329 | 96797 86967 67 | 0.000 % |
189.60/189.85 c | 320622 | 1948 8342 25329 | 96797 87179 67 | 0.000 % |
189.80/190.02 c | 320856 | 1948 8342 25329 | 96797 87413 67 | 0.000 % |
190.00/190.21 c | 321112 | 1948 8342 25329 | 96797 87669 67 | 0.000 % |
190.20/190.40 c | 321395 | 1948 8342 25329 | 96797 87952 67 | 0.000 % |
190.40/190.62 c | 321708 | 1948 8342 25329 | 96797 88265 67 | 0.000 % |
190.60/190.86 c | 322048 | 1948 8342 25329 | 96797 88605 67 | 0.000 % |
190.90/191.13 c | 322421 | 1948 8342 25329 | 96797 88978 67 | 0.000 % |
191.10/191.38 c | 322830 | 1948 8342 25329 | 96797 89387 67 | 0.000 % |
191.40/191.64 c | 323280 | 1948 8342 25329 | 96797 89837 67 | 0.000 % |
191.70/191.99 c | 323773 | 1948 8342 25329 | 96797 90330 67 | 0.000 % |
192.09/192.35 c | 324315 | 1948 8342 25329 | 96797 90872 67 | 0.000 % |
192.49/192.75 c | 324911 | 1948 8342 25329 | 96797 91468 67 | 0.000 % |
192.99/193.21 c | 325566 | 1948 8342 25329 | 96797 92123 67 | 0.000 % |
193.40/193.69 c | 326286 | 1948 8342 25329 | 96797 92843 67 | 0.000 % |
193.89/194.19 c | 327078 | 1948 8342 25329 | 96797 93635 67 | 0.000 % |
194.50/194.76 c | 327949 | 1948 8342 25329 | 96797 94506 67 | 0.000 % |
195.09/195.37 c | 328908 | 1948 8342 25329 | 96797 95465 67 | 0.000 % |
195.79/196.07 c | 329962 | 1948 8342 25329 | 96797 96519 68 | 0.000 % |
196.60/196.87 c | 331122 | 1948 8342 25329 | 96557 87654 68 | 0.000 % |
197.49/197.71 c | 332397 | 1948 8342 25329 | 96557 88929 67 | 0.000 % |
198.29/198.57 c | 333797 | 1948 8342 25329 | 96557 90329 67 | 0.000 % |
199.39/199.60 c | 335337 | 1948 8342 25329 | 96557 91869 67 | 0.000 % |
200.39/200.68 c | 337031 | 1948 8342 25329 | 96557 93563 67 | 0.000 % |
201.69/201.99 c | 338896 | 1948 8342 25329 | 96557 95428 68 | 0.000 % |
203.09/203.34 c | 340945 | 1948 8342 25329 | 2147483647 97477 68 | 0.000 % |
204.69/204.90 c | 343200 | 1948 8342 25329 | 2147483647 99732 68 | 0.000 % |
206.49/206.78 c | 345679 | 1948 8342 25329 | 2147483647 102211 68 | 0.000 % |
208.48/208.78 c | 348406 | 1948 8342 25329 | 2147483647 104938 68 | 0.000 % |
210.79/211.01 c | 351404 | 1948 8342 25329 | 106533 95671 68 | 0.000 % |
213.09/213.35 c | 354701 | 1948 8342 25329 | 106533 98968 68 | 0.000 % |
213.19/213.44 c | 354801 | 1948 8342 25329 | 106533 99068 68 | 0.000 % |
213.28/213.53 c | 354911 | 1948 8342 25329 | 106533 99178 68 | 0.000 % |
213.38/213.62 c | 355032 | 1948 8342 25329 | 106533 99299 68 | 0.000 % |
213.48/213.76 c | 355166 | 1948 8342 25329 | 106533 99433 68 | 0.000 % |
213.58/213.89 c | 355312 | 1948 8342 25329 | 106533 99579 68 | 0.000 % |
213.78/214.02 c | 355472 | 1948 8342 25329 | 106533 99739 68 | 0.000 % |
213.88/214.18 c | 355648 | 1948 8342 25329 | 106533 99915 68 | 0.000 % |
214.08/214.34 c | 355842 | 1948 8342 25329 | 106533 100109 68 | 0.000 % |
214.29/214.53 c | 356054 | 1948 8342 25329 | 106533 100321 68 | 0.000 % |
214.48/214.72 c | 356290 | 1948 8342 25329 | 106533 100557 68 | 0.000 % |
214.68/214.94 c | 356546 | 1948 8342 25329 | 106533 100813 68 | 0.000 % |
214.88/215.19 c | 356828 | 1948 8342 25329 | 106533 101095 68 | 0.000 % |
215.18/215.43 c | 357138 | 1948 8342 25329 | 106533 101405 68 | 0.000 % |
215.39/215.69 c | 357478 | 1948 8342 25329 | 106533 101745 68 | 0.000 % |
215.68/215.97 c | 357850 | 1948 8342 25329 | 106533 102117 68 | 0.000 % |
216.08/216.30 c | 358259 | 1948 8342 25329 | 106533 102526 68 | 0.000 % |
216.39/216.69 c | 358709 | 1948 8342 25329 | 106533 102976 68 | 0.000 % |
216.78/217.09 c | 359202 | 1948 8342 25329 | 106533 103469 68 | 0.000 % |
217.28/217.52 c | 359744 | 1948 8342 25329 | 106533 104011 68 | 0.000 % |
217.78/218.01 c | 360341 | 1948 8342 25329 | 104268 90514 68 | 0.000 % |
218.18/218.49 c | 360997 | 1948 8342 25329 | 104268 91170 68 | 0.000 % |
218.78/219.03 c | 361720 | 1948 8342 25329 | 104268 91893 68 | 0.000 % |
219.28/219.58 c | 362512 | 1948 8342 25329 | 104268 92685 68 | 0.000 % |
219.98/220.20 c | 363383 | 1948 8342 25329 | 104268 93556 68 | 0.000 % |
220.58/220.88 c | 364342 | 1948 8342 25329 | 104268 94515 68 | 0.000 % |
221.38/221.67 c | 365396 | 1948 8342 25329 | 104268 95569 68 | 0.000 % |
222.28/222.54 c | 366554 | 1948 8342 25329 | 104268 96727 68 | 0.000 % |
223.28/223.50 c | 367828 | 1948 8342 25329 | 104268 98001 68 | 0.000 % |
224.18/224.41 c | 369228 | 1948 8342 25329 | 104268 99401 68 | 0.000 % |
225.18/225.45 c | 370768 | 1948 8342 25329 | 100173 88751 68 | 0.000 % |
226.28/226.55 c | 372462 | 1948 8342 25329 | 100173 90445 68 | 0.000 % |
227.48/227.79 c | 374325 | 1948 8342 25329 | 100173 92308 68 | 0.000 % |
228.98/229.27 c | 376375 | 1948 8342 25329 | 100173 94358 68 | 0.000 % |
230.58/230.81 c | 378628 | 1948 8342 25329 | 100173 96611 68 | 0.000 % |
232.27/232.56 c | 381107 | 1948 8342 25329 | 97983 88795 68 | 0.000 % |
233.98/234.27 c | 383832 | 1948 8342 25329 | 97983 91520 68 | 0.000 % |
235.97/236.25 c | 386829 | 1948 8342 25329 | 97983 94517 69 | 0.000 % |
238.07/238.39 c | 390126 | 1948 8342 25329 | 2147483647 97814 69 | 0.000 % |
240.67/240.95 c | 393752 | 1948 8342 25329 | 2147483647 101440 69 | 0.000 % |
240.77/241.03 c | 393852 | 1948 8342 25329 | 2147483647 101540 69 | 0.000 % |
240.87/241.11 c | 393963 | 1948 8342 25329 | 2147483647 101651 69 | 0.000 % |
240.97/241.21 c | 394088 | 1948 8342 25329 | 2147483647 101776 69 | 0.000 % |
241.07/241.34 c | 394221 | 1948 8342 25329 | 2147483647 101909 69 | 0.000 % |
241.17/241.48 c | 394368 | 1948 8342 25329 | 2147483647 102056 69 | 0.000 % |
241.37/241.61 c | 394529 | 1948 8342 25329 | 2147483647 102217 69 | 0.000 % |
241.47/241.77 c | 394707 | 1948 8342 25329 | 2147483647 102395 69 | 0.000 % |
241.67/241.94 c | 394901 | 1948 8342 25329 | 2147483647 102589 69 | 0.000 % |
241.87/242.14 c | 395117 | 1948 8342 25329 | 2147483647 102805 69 | 0.000 % |
242.07/242.34 c | 395350 | 1948 8342 25329 | 2147483647 103038 69 | 0.000 % |
242.27/242.56 c | 395606 | 1948 8342 25329 | 2147483647 103294 69 | 0.000 % |
242.47/242.79 c | 395887 | 1948 8342 25329 | 2147483647 103575 69 | 0.000 % |
242.77/243.04 c | 396196 | 1948 8342 25329 | 2147483647 103884 69 | 0.000 % |
243.07/243.33 c | 396535 | 1948 8342 25329 | 2147483647 104223 69 | 0.000 % |
243.37/243.69 c | 396908 | 1948 8342 25329 | 2147483647 104596 69 | 0.000 % |
243.77/244.07 c | 397318 | 1948 8342 25329 | 2147483647 105006 69 | 0.000 % |
244.07/244.40 c | 397768 | 1948 8342 25329 | 2147483647 105456 69 | 0.000 % |
244.47/244.79 c | 398262 | 1948 8342 25329 | 2147483647 105950 69 | 0.000 % |
244.97/245.26 c | 398804 | 1948 8342 25329 | 2147483647 106492 69 | 0.000 % |
245.47/245.77 c | 399400 | 1948 8342 25329 | 2147483647 107088 69 | 0.000 % |
245.96/246.26 c | 400055 | 1948 8342 25329 | 107688 107743 69 | 0.000 % |
246.56/246.86 c | 400775 | 1948 8342 25329 | 107688 93282 68 | 0.000 % |
247.17/247.42 c | 401567 | 1948 8342 25329 | 107688 94074 68 | 0.000 % |
247.76/248.02 c | 402438 | 1948 8342 25329 | 107688 94945 68 | 0.000 % |
248.37/248.68 c | 403396 | 1948 8342 25329 | 107688 95903 68 | 0.000 % |
249.06/249.39 c | 404450 | 1948 8342 25329 | 107688 96957 68 | 0.000 % |
249.96/250.27 c | 405608 | 1948 8342 25329 | 107688 98115 68 | 0.000 % |
250.96/251.20 c | 406881 | 1948 8342 25329 | 107688 99388 69 | 0.000 % |
252.06/252.31 c | 408282 | 1948 8342 25329 | 107688 100789 68 | 0.000 % |
253.16/253.46 c | 409822 | 1948 8342 25329 | 107688 102329 68 | 0.000 % |
254.56/254.80 c | 411517 | 1948 8342 25329 | 102507 89995 68 | 0.000 % |
255.76/256.07 c | 413380 | 1948 8342 25329 | 102507 91858 69 | 0.000 % |
257.16/257.48 c | 415430 | 1948 8342 25329 | 102507 93908 69 | 0.000 % |
258.75/259.01 c | 417683 | 1948 8342 25329 | 102507 96161 69 | 0.000 % |
260.46/260.71 c | 420161 | 1948 8342 25329 | 98479 98639 69 | 0.000 % |
262.25/262.50 c | 422886 | 1948 8342 25329 | 98479 90442 69 | 0.000 % |
264.35/264.62 c | 425884 | 1948 8342 25329 | 98479 93440 69 | 0.000 % |
266.65/266.98 c | 429182 | 1948 8342 25329 | 98479 96738 69 | 0.000 % |
269.16/269.42 c | 432809 | 1948 8342 25329 | 97557 88887 69 | 0.000 % |
271.75/272.05 c | 436796 | 1948 8342 25329 | 97557 92874 69 | 0.000 % |
271.85/272.12 c | 436897 | 1948 8342 25329 | 97557 92975 69 | 0.000 % |
271.95/272.22 c | 437008 | 1948 8342 25329 | 97557 93086 69 | 0.000 % |
272.05/272.34 c | 437129 | 1948 8342 25329 | 97557 93207 69 | 0.000 % |
272.15/272.44 c | 437262 | 1948 8342 25329 | 97557 93340 69 | 0.000 % |
272.25/272.55 c | 437410 | 1948 8342 25329 | 97557 93488 69 | 0.000 % |
272.35/272.68 c | 437570 | 1948 8342 25329 | 97557 93648 69 | 0.000 % |
272.55/272.84 c | 437746 | 1948 8342 25329 | 97557 93824 69 | 0.000 % |
272.65/272.99 c | 437940 | 1948 8342 25329 | 97557 94018 69 | 0.000 % |
272.85/273.16 c | 438152 | 1948 8342 25329 | 97557 94230 69 | 0.000 % |
273.05/273.33 c | 438386 | 1948 8342 25329 | 97557 94464 69 | 0.000 % |
273.25/273.56 c | 438644 | 1948 8342 25329 | 97557 94722 69 | 0.000 % |
273.45/273.75 c | 438926 | 1948 8342 25329 | 97557 95004 69 | 0.000 % |
273.75/274.00 c | 439239 | 1948 8342 25329 | 97557 95317 68 | 0.000 % |
273.95/274.28 c | 439578 | 1948 8342 25329 | 97557 95656 68 | 0.000 % |
274.25/274.58 c | 439953 | 1948 8342 25329 | 97557 96031 68 | 0.000 % |
274.65/274.93 c | 440364 | 1948 8342 25329 | 96078 85457 68 | 0.000 % |
274.95/275.20 c | 440814 | 1948 8342 25329 | 96078 85907 68 | 0.000 % |
275.25/275.52 c | 441308 | 1948 8342 25329 | 96078 86401 68 | 0.000 % |
275.55/275.88 c | 441852 | 1948 8342 25329 | 96078 86945 68 | 0.000 % |
275.95/276.26 c | 442449 | 1948 8342 25329 | 96078 87542 68 | 0.000 % |
276.35/276.69 c | 443104 | 1948 8342 25329 | 96078 88197 68 | 0.000 % |
276.95/277.21 c | 443824 | 1948 8342 25329 | 96078 88917 68 | 0.000 % |
277.45/277.76 c | 444619 | 1948 8342 25329 | 96078 89712 68 | 0.000 % |
278.05/278.36 c | 445491 | 1948 8342 25329 | 96078 90584 68 | 0.000 % |
278.75/279.02 c | 446449 | 1948 8342 25329 | 96078 91542 68 | 0.000 % |
279.45/279.73 c | 447503 | 1948 8342 25329 | 96078 92596 68 | 0.000 % |
280.25/280.56 c | 448664 | 1948 8342 25329 | 96078 93757 68 | 0.000 % |
281.14/281.43 c | 449939 | 1948 8342 25329 | 96078 95032 68 | 0.000 % |
282.04/282.39 c | 451340 | 1948 8342 25329 | 2147483647 96433 68 | 0.000 % |
283.14/283.45 c | 452881 | 1948 8342 25329 | 2147483647 97974 68 | 0.000 % |
284.34/284.66 c | 454576 | 1948 8342 25329 | 2147483647 99669 68 | 0.000 % |
285.75/286.09 c | 456439 | 1948 8342 25329 | 2147483647 101532 68 | 0.000 % |
287.34/287.64 c | 458488 | 1948 8342 25329 | 2147483647 103581 68 | 0.000 % |
289.14/289.40 c | 460744 | 1948 8342 25329 | 105094 92545 68 | 0.000 % |
290.74/291.06 c | 463222 | 1948 8342 25329 | 105094 95023 68 | 0.000 % |
292.54/292.87 c | 465947 | 1948 8342 25329 | 105094 97748 68 | 0.000 % |
294.54/294.89 c | 468944 | 1948 8342 25329 | 105094 100745 68 | 0.000 % |
296.94/297.26 c | 472241 | 1948 8342 25329 | 101802 93175 68 | 0.000 % |
299.54/299.80 c | 475869 | 1948 8342 25329 | 101802 96803 68 | 0.000 % |
302.63/302.92 c | 479856 | 1948 8342 25329 | 101802 100790 68 | 0.000 % |
305.53/305.81 c | 484244 | 1948 8342 25329 | 100937 93308 68 | 0.000 % |
305.63/305.90 c | 484344 | 1948 8342 25329 | 100937 93408 68 | 0.000 % |
305.63/305.98 c | 484456 | 1948 8342 25329 | 100937 93520 68 | 0.000 % |
305.73/306.07 c | 484577 | 1948 8342 25329 | 100937 93641 68 | 0.000 % |
305.83/306.18 c | 484711 | 1948 8342 25329 | 100937 93775 68 | 0.000 % |
305.93/306.28 c | 484857 | 1948 8342 25329 | 100937 93921 68 | 0.000 % |
306.13/306.41 c | 485017 | 1948 8342 25329 | 100937 94081 68 | 0.000 % |
306.23/306.56 c | 485193 | 1948 8342 25329 | 100937 94257 68 | 0.000 % |
306.43/306.70 c | 485386 | 1948 8342 25329 | 100937 94450 68 | 0.000 % |
306.53/306.87 c | 485599 | 1948 8342 25329 | 100937 94663 68 | 0.000 % |
306.73/307.05 c | 485832 | 1948 8342 25329 | 100937 94896 68 | 0.000 % |
306.93/307.25 c | 486091 | 1948 8342 25329 | 100937 95155 68 | 0.000 % |
307.13/307.44 c | 486372 | 1948 8342 25329 | 100937 95436 68 | 0.000 % |
307.33/307.66 c | 486682 | 1948 8342 25329 | 100937 95746 68 | 0.000 % |
307.53/307.90 c | 487023 | 1948 8342 25329 | 100937 96087 68 | 0.000 % |
307.92/308.20 c | 487395 | 1948 8342 25329 | 100937 96459 68 | 0.000 % |
308.22/308.51 c | 487805 | 1948 8342 25329 | 100937 96869 68 | 0.000 % |
308.52/308.84 c | 488254 | 1948 8342 25329 | 100937 97318 68 | 0.000 % |
308.83/309.18 c | 488747 | 1948 8342 25329 | 100937 97811 68 | 0.000 % |
309.32/309.61 c | 489289 | 1948 8342 25329 | 100937 98353 68 | 0.000 % |
309.72/310.03 c | 489887 | 1948 8342 25329 | 100937 98951 68 | 0.000 % |
310.22/310.54 c | 490543 | 1948 8342 25329 | 99064 87783 68 | 0.000 % |
310.72/311.02 c | 491263 | 1948 8342 25329 | 99064 88503 68 | 0.000 % |
311.22/311.55 c | 492057 | 1948 8342 25329 | 99064 89297 68 | 0.000 % |
311.82/312.16 c | 492928 | 1948 8342 25329 | 99064 90168 68 | 0.000 % |
312.42/312.77 c | 493886 | 1948 8342 25329 | 99064 91126 68 | 0.000 % |
313.23/313.51 c | 494940 | 1948 8342 25329 | 99064 92180 68 | 0.000 % |
313.92/314.28 c | 496098 | 1948 8342 25329 | 99064 93338 68 | 0.000 % |
314.82/315.17 c | 497371 | 1948 8342 25329 | 99064 94611 68 | 0.000 % |
315.82/316.15 c | 498771 | 1948 8342 25329 | 99064 96011 68 | 0.000 % |
316.92/317.30 c | 500313 | 1948 8342 25329 | 97242 86846 68 | 0.000 % |
318.12/318.46 c | 502008 | 1948 8342 25329 | 97242 88541 68 | 0.000 % |
319.32/319.62 c | 503872 | 1948 8342 25329 | 97242 90405 68 | 0.000 % |
320.62/320.94 c | 505921 | 1948 8342 25329 | 97242 92454 68 | 0.000 % |
322.12/322.45 c | 508174 | 1948 8342 25329 | 97242 94707 68 | 0.000 % |
323.82/324.19 c | 510653 | 1948 8342 25329 | 2147483647 97186 68 | 0.000 % |
325.72/326.08 c | 513378 | 1948 8342 25329 | 2147483647 99911 68 | 0.000 % |
327.91/328.25 c | 516376 | 1948 8342 25329 | 2147483647 102909 68 | 0.000 % |
330.41/330.72 c | 519673 | 1948 8342 25329 | 2147483647 106206 68 | 0.000 % |
333.11/333.41 c | 523298 | 1948 8342 25329 | 106536 96608 68 | 0.000 % |
336.22/336.51 c | 527285 | 1948 8342 25329 | 106536 100595 69 | 0.000 % |
339.61/339.96 c | 531671 | 1948 8342 25329 | 103310 90662 69 | 0.000 % |
343.31/343.60 c | 536495 | 1948 8342 25329 | 103310 95486 69 | 0.000 % |
343.31/343.69 c | 536595 | 1948 8342 25329 | 103310 95586 69 | 0.000 % |
343.51/343.80 c | 536705 | 1948 8342 25329 | 103310 95696 69 | 0.000 % |
343.51/343.89 c | 536826 | 1948 8342 25329 | 103310 95817 69 | 0.000 % |
343.61/344.00 c | 536962 | 1948 8342 25329 | 103310 95953 69 | 0.000 % |
343.81/344.12 c | 537109 | 1948 8342 25329 | 103310 96100 69 | 0.000 % |
343.91/344.25 c | 537269 | 1948 8342 25329 | 103310 96260 69 | 0.000 % |
344.01/344.38 c | 537446 | 1948 8342 25329 | 103310 96437 69 | 0.000 % |
344.21/344.53 c | 537640 | 1948 8342 25329 | 103310 96631 69 | 0.000 % |
344.31/344.69 c | 537852 | 1948 8342 25329 | 103310 96843 69 | 0.000 % |
344.51/344.88 c | 538087 | 1948 8342 25329 | 103310 97078 69 | 0.000 % |
344.71/345.08 c | 538344 | 1948 8342 25329 | 103310 97335 69 | 0.000 % |
344.91/345.29 c | 538627 | 1948 8342 25329 | 103310 97618 69 | 0.000 % |
345.21/345.54 c | 538936 | 1948 8342 25329 | 103310 97927 69 | 0.000 % |
345.41/345.79 c | 539275 | 1948 8342 25329 | 103310 98266 69 | 0.000 % |
345.71/346.05 c | 539647 | 1948 8342 25329 | 103310 98638 69 | 0.000 % |
346.01/346.38 c | 540056 | 1948 8342 25329 | 98993 99047 69 | 0.000 % |
346.41/346.78 c | 540507 | 1948 8342 25329 | 98993 85787 69 | 0.000 % |
346.81/347.12 c | 541001 | 1948 8342 25329 | 98993 86281 69 | 0.000 % |
347.20/347.51 c | 541544 | 1948 8342 25329 | 98993 86824 69 | 0.000 % |
347.60/347.90 c | 542140 | 1948 8342 25329 | 98993 87420 69 | 0.000 % |
348.10/348.42 c | 542796 | 1948 8342 25329 | 98993 88076 69 | 0.000 % |
348.50/348.89 c | 543516 | 1948 8342 25329 | 98993 88796 69 | 0.000 % |
349.10/349.44 c | 544310 | 1948 8342 25329 | 98993 89590 69 | 0.000 % |
349.70/350.01 c | 545181 | 1948 8342 25329 | 98993 90461 69 | 0.000 % |
350.30/350.67 c | 546139 | 1948 8342 25329 | 98993 91419 69 | 0.000 % |
351.00/351.39 c | 547195 | 1948 8342 25329 | 98993 92475 69 | 0.000 % |
351.90/352.27 c | 548353 | 1948 8342 25329 | 98993 93633 69 | 0.000 % |
352.80/353.16 c | 549626 | 1948 8342 25329 | 98993 94906 69 | 0.000 % |
353.80/354.15 c | 551027 | 1948 8342 25329 | 95283 85964 69 | 0.000 % |
354.90/355.20 c | 552568 | 1948 8342 25329 | 95283 87505 69 | 0.000 % |
356.00/356.36 c | 554263 | 1948 8342 25329 | 95283 89200 69 | 0.000 % |
357.20/357.55 c | 556127 | 1948 8342 25329 | 95283 91064 69 | 0.000 % |
358.49/358.89 c | 558176 | 1948 8342 25329 | 95283 93113 69 | 0.000 % |
359.99/360.39 c | 560430 | 1948 8342 25329 | 2147483647 95367 69 | 0.000 % |
361.69/362.01 c | 562911 | 1948 8342 25329 | 2147483647 97848 69 | 0.000 % |
363.59/363.99 c | 565636 | 1948 8342 25329 | 2147483647 100573 69 | 0.000 % |
365.90/366.27 c | 568633 | 1948 8342 25329 | 2147483647 103570 69 | 0.000 % |
368.29/368.65 c | 571929 | 1948 8342 25329 | 104939 94372 69 | 0.000 % |
370.79/371.12 c | 575554 | 1948 8342 25329 | 104939 97997 69 | 0.000 % |
373.49/373.84 c | 579541 | 1948 8342 25329 | 104939 101984 69 | 0.000 % |
376.79/377.10 c | 583927 | 1948 8342 25329 | 102443 93876 70 | 0.000 % |
380.09/380.49 c | 588754 | 1948 8342 25329 | 102443 98703 70 | 0.000 % |
383.89/384.23 c | 594059 | 1948 8342 25329 | 99950 91681 70 | 0.000 % |
383.99/384.31 c | 594161 | 1948 8342 25329 | 99950 91783 70 | 0.000 % |
383.99/384.39 c | 594271 | 1948 8342 25329 | 99950 91893 70 | 0.000 % |
384.09/384.47 c | 594393 | 1948 8342 25329 | 99950 92015 70 | 0.000 % |
384.19/384.57 c | 594526 | 1948 8342 25329 | 99950 92148 70 | 0.000 % |
384.39/384.71 c | 594672 | 1948 8342 25329 | 99950 92294 70 | 0.000 % |
384.49/384.83 c | 594832 | 1948 8342 25329 | 99950 92454 70 | 0.000 % |
384.59/384.97 c | 595009 | 1948 8342 25329 | 99950 92631 70 | 0.000 % |
384.78/385.14 c | 595203 | 1948 8342 25329 | 99950 92825 70 | 0.000 % |
384.98/385.33 c | 595415 | 1948 8342 25329 | 99950 93037 70 | 0.000 % |
385.18/385.53 c | 595648 | 1948 8342 25329 | 99950 93270 70 | 0.000 % |
385.38/385.73 c | 595905 | 1948 8342 25329 | 99950 93527 70 | 0.000 % |
385.58/385.94 c | 596188 | 1948 8342 25329 | 99950 93810 70 | 0.000 % |
385.79/386.17 c | 596497 | 1948 8342 25329 | 99950 94119 70 | 0.000 % |
386.08/386.43 c | 596836 | 1948 8342 25329 | 99950 94458 70 | 0.000 % |
386.28/386.68 c | 597210 | 1948 8342 25329 | 99950 94832 70 | 0.000 % |
386.58/386.96 c | 597619 | 1948 8342 25329 | 99950 95241 70 | 0.000 % |
386.89/387.30 c | 598068 | 1948 8342 25329 | 99950 95690 70 | 0.000 % |
387.38/387.71 c | 598562 | 1948 8342 25329 | 99950 96184 70 | 0.000 % |
387.78/388.10 c | 599105 | 1948 8342 25329 | 99950 96727 70 | 0.000 % |
388.18/388.55 c | 599704 | 1948 8342 25329 | 99950 97326 70 | 0.000 % |
388.68/389.09 c | 600359 | 1948 8342 25329 | 97623 85834 70 | 0.000 % |
389.18/389.55 c | 601079 | 1948 8342 25329 | 97623 86554 70 | 0.000 % |
389.68/390.09 c | 601872 | 1948 8342 25329 | 97623 87347 70 | 0.000 % |
390.28/390.61 c | 602743 | 1948 8342 25329 | 97623 88218 70 | 0.000 % |
390.88/391.21 c | 603701 | 1948 8342 25329 | 97623 89176 70 | 0.000 % |
391.48/391.85 c | 604755 | 1948 8342 25329 | 97623 90230 70 | 0.000 % |
392.28/392.63 c | 605914 | 1948 8342 25329 | 97623 91389 70 | 0.000 % |
393.07/393.48 c | 607187 | 1948 8342 25329 | 97623 92662 70 | 0.000 % |
393.97/394.37 c | 608587 | 1948 8342 25329 | 97623 94062 70 | 0.000 % |
395.17/395.50 c | 610127 | 1948 8342 25329 | 2147483647 95602 70 | 0.000 % |
396.27/396.69 c | 611821 | 1948 8342 25329 | 2147483647 97296 70 | 0.000 % |
397.67/398.01 c | 613685 | 1948 8342 25329 | 2147483647 99160 70 | 0.000 % |
399.07/399.48 c | 615737 | 1948 8342 25329 | 2147483647 101212 70 | 0.000 % |
400.77/401.16 c | 617990 | 1948 8342 25329 | 2147483647 103465 70 | 0.000 % |
402.78/403.13 c | 620470 | 1948 8342 25329 | 105476 92980 69 | 0.000 % |
404.77/405.18 c | 623195 | 1948 8342 25329 | 105476 95705 69 | 0.000 % |
406.87/407.28 c | 626192 | 1948 8342 25329 | 105476 98702 69 | 0.000 % |
409.37/409.76 c | 629488 | 1948 8342 25329 | 105476 101998 69 | 0.000 % |
411.97/412.36 c | 633113 | 1948 8342 25329 | 102510 92247 70 | 0.000 % |
414.67/415.10 c | 637103 | 1948 8342 25329 | 102510 96237 70 | 0.000 % |
418.07/418.44 c | 641489 | 1948 8342 25329 | 99136 89039 70 | 0.000 % |
421.37/421.79 c | 646313 | 1948 8342 25329 | 99136 93863 70 | 0.000 % |
425.37/425.71 c | 651618 | 1948 8342 25329 | 97551 88241 71 | 0.000 % |
429.17/429.56 c | 657453 | 1948 8342 25329 | 97551 94076 71 | 0.000 % |
429.27/429.64 c | 657557 | 1948 8342 25329 | 97551 94180 71 | 0.000 % |
429.37/429.75 c | 657668 | 1948 8342 25329 | 97551 94291 71 | 0.000 % |
429.46/429.86 c | 657789 | 1948 8342 25329 | 97551 94412 71 | 0.000 % |
429.56/429.96 c | 657923 | 1948 8342 25329 | 97551 94546 71 | 0.000 % |
429.67/430.07 c | 658069 | 1948 8342 25329 | 97551 94692 71 | 0.000 % |
429.86/430.21 c | 658229 | 1948 8342 25329 | 97551 94852 71 | 0.000 % |
429.96/430.35 c | 658405 | 1948 8342 25329 | 97551 95028 71 | 0.000 % |
430.16/430.50 c | 658599 | 1948 8342 25329 | 97551 95222 71 | 0.000 % |
430.36/430.70 c | 658811 | 1948 8342 25329 | 97551 95434 71 | 0.000 % |
430.46/430.88 c | 659045 | 1948 8342 25329 | 97551 95668 71 | 0.000 % |
430.66/431.08 c | 659302 | 1948 8342 25329 | 97551 95925 71 | 0.000 % |
430.96/431.31 c | 659583 | 1948 8342 25329 | 97551 96206 71 | 0.000 % |
431.16/431.59 c | 659892 | 1948 8342 25329 | 97551 96515 71 | 0.000 % |
431.46/431.87 c | 660231 | 1948 8342 25329 | 96623 96854 71 | 0.000 % |
431.76/432.19 c | 660603 | 1948 8342 25329 | 96623 86222 71 | 0.000 % |
432.06/432.42 c | 661013 | 1948 8342 25329 | 96623 86632 71 | 0.000 % |
432.36/432.74 c | 661462 | 1948 8342 25329 | 96623 87081 71 | 0.000 % |
432.66/433.06 c | 661955 | 1948 8342 25329 | 96623 87574 71 | 0.000 % |
433.07/433.43 c | 662497 | 1948 8342 25329 | 96623 88116 71 | 0.000 % |
433.46/433.83 c | 663093 | 1948 8342 25329 | 96623 88712 71 | 0.000 % |
433.96/434.30 c | 663750 | 1948 8342 25329 | 96623 89369 71 | 0.000 % |
434.36/434.77 c | 664470 | 1948 8342 25329 | 96623 90089 70 | 0.000 % |
434.86/435.27 c | 665262 | 1948 8342 25329 | 96623 90881 70 | 0.000 % |
435.46/435.81 c | 666137 | 1948 8342 25329 | 96623 91756 71 | 0.000 % |
436.06/436.45 c | 667096 | 1948 8342 25329 | 96623 92715 70 | 0.000 % |
436.76/437.19 c | 668150 | 1948 8342 25329 | 96623 93769 70 | 0.000 % |
437.56/437.97 c | 669308 | 1948 8342 25329 | 96623 94927 71 | 0.000 % |
438.46/438.86 c | 670582 | 1948 8342 25329 | 2147483647 96201 71 | 0.000 % |
439.45/439.85 c | 671982 | 1948 8342 25329 | 2147483647 97601 71 | 0.000 % |
440.55/440.93 c | 673522 | 1948 8342 25329 | 2147483647 99141 71 | 0.000 % |
441.75/442.13 c | 675216 | 1948 8342 25329 | 2147483647 100835 71 | 0.000 % |
443.25/443.63 c | 677082 | 1948 8342 25329 | 2147483647 102701 71 | 0.000 % |
444.85/445.23 c | 679132 | 1948 8342 25329 | 2147483647 104751 71 | 0.000 % |
446.44/446.87 c | 681387 | 1948 8342 25329 | 105620 92369 70 | 0.000 % |
448.14/448.50 c | 683865 | 1948 8342 25329 | 105620 94847 70 | 0.000 % |
449.84/450.28 c | 686592 | 1948 8342 25329 | 105620 97574 70 | 0.000 % |
452.24/452.61 c | 689589 | 1948 8342 25329 | 105620 100571 70 | 0.000 % |
454.54/454.94 c | 692886 | 1948 8342 25329 | 100982 91122 71 | 0.000 % |
456.94/457.31 c | 696513 | 1948 8342 25329 | 100982 94749 71 | 0.000 % |
459.94/460.31 c | 700500 | 1948 8342 25329 | 98236 87547 71 | 0.000 % |
462.94/463.35 c | 704885 | 1948 8342 25329 | 98236 91932 71 | 0.000 % |
466.34/466.76 c | 709711 | 1948 8342 25329 | 98236 96758 71 | 0.000 % |
469.93/470.36 c | 715020 | 1948 8342 25329 | 97047 88667 71 | 0.000 % |
473.74/474.17 c | 720855 | 1948 8342 25329 | 93647 84038 71 | 0.000 % |
477.73/478.13 c | 727273 | 1948 8342 25329 | 93647 90456 71 | 0.000 % |
477.73/478.19 c | 727375 | 1948 8342 25329 | 93647 90558 71 | 0.000 % |
477.83/478.28 c | 727486 | 1948 8342 25329 | 93647 90669 71 | 0.000 % |
477.93/478.36 c | 727610 | 1948 8342 25329 | 93647 90793 71 | 0.000 % |
478.03/478.45 c | 727743 | 1948 8342 25329 | 93647 90926 71 | 0.000 % |
478.13/478.57 c | 727889 | 1948 8342 25329 | 93647 91072 71 | 0.000 % |
478.23/478.69 c | 728049 | 1948 8342 25329 | 93647 91232 71 | 0.000 % |
478.43/478.83 c | 728225 | 1948 8342 25329 | 93647 91408 71 | 0.000 % |
478.53/478.97 c | 728419 | 1948 8342 25329 | 93647 91602 71 | 0.000 % |
478.73/479.14 c | 728633 | 1948 8342 25329 | 93647 91816 71 | 0.000 % |
478.93/479.31 c | 728867 | 1948 8342 25329 | 93647 92050 71 | 0.000 % |
479.03/479.50 c | 729123 | 1948 8342 25329 | 93647 92306 71 | 0.000 % |
479.33/479.73 c | 729409 | 1948 8342 25329 | 93647 92592 71 | 0.000 % |
479.53/479.96 c | 729718 | 1948 8342 25329 | 93647 92901 71 | 0.000 % |
479.83/480.22 c | 730062 | 1948 8342 25329 | 2147483647 93245 71 | 0.000 % |
480.13/480.53 c | 730435 | 1948 8342 25329 | 2147483647 93618 71 | 0.000 % |
480.42/480.83 c | 730844 | 1948 8342 25329 | 2147483647 94027 71 | 0.000 % |
480.72/481.17 c | 731293 | 1948 8342 25329 | 2147483647 94476 71 | 0.000 % |
481.12/481.53 c | 731786 | 1948 8342 25329 | 2147483647 94969 71 | 0.000 % |
481.52/481.93 c | 732329 | 1948 8342 25329 | 2147483647 95512 71 | 0.000 % |
481.92/482.35 c | 732926 | 1948 8342 25329 | 2147483647 96109 71 | 0.000 % |
482.32/482.76 c | 733581 | 1948 8342 25329 | 2147483647 96764 71 | 0.000 % |
482.92/483.33 c | 734301 | 1948 8342 25329 | 2147483647 97484 71 | 0.000 % |
483.42/483.86 c | 735093 | 1948 8342 25329 | 2147483647 98276 71 | 0.000 % |
484.12/484.51 c | 735965 | 1948 8342 25329 | 2147483647 99148 71 | 0.000 % |
484.72/485.19 c | 736924 | 1948 8342 25329 | 2147483647 100107 71 | 0.000 % |
485.52/485.92 c | 737977 | 1948 8342 25329 | 2147483647 101160 71 | 0.000 % |
486.42/486.81 c | 739136 | 1948 8342 25329 | 2147483647 102319 71 | 0.000 % |
487.52/487.91 c | 740410 | 1948 8342 25329 | 103183 90574 70 | 0.000 % |
488.42/488.90 c | 741810 | 1948 8342 25329 | 103183 91974 70 | 0.000 % |
489.62/490.07 c | 743352 | 1948 8342 25329 | 103183 93516 70 | 0.000 % |
490.81/491.24 c | 745046 | 1948 8342 25329 | 103183 95210 70 | 0.000 % |
492.11/492.60 c | 746909 | 1948 8342 25329 | 103183 97073 70 | 0.000 % |
493.52/493.97 c | 748958 | 1948 8342 25329 | 103183 99122 70 | 0.000 % |
495.01/495.48 c | 751212 | 1948 8342 25329 | 100164 88676 70 | 0.000 % |
496.61/497.00 c | 753690 | 1948 8342 25329 | 100164 91154 70 | 0.000 % |
498.41/498.86 c | 756415 | 1948 8342 25329 | 100164 93879 71 | 0.000 % |
500.41/500.80 c | 759412 | 1948 8342 25329 | 100164 96876 71 | 0.000 % |
502.71/503.14 c | 762708 | 1948 8342 25329 | 2147483647 100172 71 | 0.000 % |
505.31/505.79 c | 766334 | 1948 8342 25329 | 2147483647 103798 71 | 0.000 % |
508.41/508.85 c | 770322 | 1948 8342 25329 | 107465 107786 71 | 0.000 % |
511.81/512.21 c | 774707 | 1948 8342 25329 | 107465 98244 71 | 0.000 % |
515.31/515.75 c | 779530 | 1948 8342 25329 | 107465 103067 71 | 0.000 % |
519.11/519.53 c | 784839 | 1948 8342 25329 | 103538 94414 71 | 0.000 % |
523.21/523.68 c | 790675 | 1948 8342 25329 | 99575 88290 71 | 0.000 % |
527.51/527.91 c | 797093 | 1948 8342 25329 | 99575 94708 72 | 0.000 % |
532.30/532.74 c | 804153 | 1948 8342 25329 | 97618 90919 72 | 0.000 % |
532.40/532.80 c | 804253 | 1948 8342 25329 | 97618 91019 72 | 0.000 % |
532.40/532.89 c | 804363 | 1948 8342 25329 | 97618 91129 72 | 0.000 % |
532.50/532.98 c | 804484 | 1948 8342 25329 | 97618 91250 72 | 0.000 % |
532.60/533.08 c | 804617 | 1948 8342 25329 | 97618 91383 72 | 0.000 % |
532.70/533.20 c | 804765 | 1948 8342 25329 | 97618 91531 72 | 0.000 % |
532.90/533.30 c | 804926 | 1948 8342 25329 | 97618 91692 72 | 0.000 % |
533.00/533.43 c | 805103 | 1948 8342 25329 | 97618 91869 72 | 0.000 % |
533.10/533.58 c | 805297 | 1948 8342 25329 | 97618 92063 72 | 0.000 % |
533.30/533.73 c | 805509 | 1948 8342 25329 | 97618 92275 72 | 0.000 % |
533.50/533.91 c | 805742 | 1948 8342 25329 | 97618 92508 72 | 0.000 % |
533.60/534.09 c | 806001 | 1948 8342 25329 | 97618 92767 72 | 0.000 % |
533.90/534.32 c | 806286 | 1948 8342 25329 | 97618 93052 72 | 0.000 % |
534.10/534.54 c | 806595 | 1948 8342 25329 | 97618 93361 72 | 0.000 % |
534.40/534.84 c | 806935 | 1948 8342 25329 | 97618 93701 72 | 0.000 % |
534.70/535.10 c | 807307 | 1948 8342 25329 | 97618 94073 72 | 0.000 % |
534.89/535.39 c | 807716 | 1948 8342 25329 | 97618 94482 72 | 0.000 % |
535.30/535.75 c | 808167 | 1948 8342 25329 | 97618 94933 72 | 0.000 % |
535.69/536.13 c | 808660 | 1948 8342 25329 | 97618 95426 72 | 0.000 % |
536.09/536.52 c | 809202 | 1948 8342 25329 | 97618 95968 72 | 0.000 % |
536.49/536.97 c | 809801 | 1948 8342 25329 | 97618 96567 72 | 0.000 % |
537.09/537.51 c | 810456 | 1948 8342 25329 | 96766 85057 72 | 0.000 % |
537.50/537.98 c | 811176 | 1948 8342 25329 | 96766 85777 72 | 0.000 % |
538.09/538.53 c | 811968 | 1948 8342 25329 | 96766 86569 72 | 0.000 % |
538.69/539.13 c | 812840 | 1948 8342 25329 | 96766 87441 72 | 0.000 % |
539.29/539.77 c | 813798 | 1948 8342 25329 | 96766 88399 72 | 0.000 % |
539.99/540.46 c | 814852 | 1948 8342 25329 | 96766 89453 72 | 0.000 % |
540.79/541.21 c | 816011 | 1948 8342 25329 | 96766 90612 72 | 0.000 % |
541.59/542.03 c | 817284 | 1948 8342 25329 | 96766 91885 72 | 0.000 % |
542.59/543.04 c | 818684 | 1948 8342 25329 | 96766 93285 72 | 0.000 % |
543.59/544.09 c | 820224 | 1948 8342 25329 | 94601 94825 72 | 0.000 % |
544.79/545.21 c | 821918 | 1948 8342 25329 | 94601 86631 72 | 0.000 % |
545.99/546.46 c | 823783 | 1948 8342 25329 | 94601 88496 72 | 0.000 % |
547.39/547.84 c | 825833 | 1948 8342 25329 | 94601 90546 72 | 0.000 % |
548.99/549.42 c | 828087 | 1948 8342 25329 | 94601 92800 72 | 0.000 % |
550.69/551.17 c | 830566 | 1948 8342 25329 | 94714 84573 72 | 0.000 % |
552.69/553.10 c | 833291 | 1948 8342 25329 | 94714 87298 72 | 0.000 % |
554.69/555.13 c | 836289 | 1948 8342 25329 | 94714 90296 72 | 0.000 % |
556.98/557.41 c | 839586 | 1948 8342 25329 | 94714 93593 72 | 0.000 % |
559.28/559.74 c | 843211 | 1948 8342 25329 | 94007 86223 72 | 0.000 % |
561.78/562.25 c | 847201 | 1948 8342 25329 | 94007 90213 72 | 0.000 % |
564.68/565.20 c | 851587 | 1948 8342 25329 | 2147483647 94599 72 | 0.000 % |
568.18/568.64 c | 856410 | 1948 8342 25329 | 2147483647 99422 72 | 0.000 % |
572.18/572.62 c | 861716 | 1948 8342 25329 | 103013 91584 72 | 0.000 % |
576.27/576.73 c | 867552 | 1948 8342 25329 | 103013 97420 73 | 0.000 % |
580.87/581.39 c | 873971 | 1948 8342 25329 | 99868 90799 72 | 0.000 % |
586.17/586.67 c | 881032 | 1948 8342 25329 | 96828 84649 71 | 0.000 % |
591.17/591.64 c | 888800 | 1948 8342 25329 | 96828 92417 71 | 0.000 % |
591.27/591.72 c | 888903 | 1948 8342 25329 | 96828 92520 71 | 0.000 % |
591.37/591.81 c | 889016 | 1948 8342 25329 | 96828 92633 71 | 0.000 % |
591.46/591.92 c | 889138 | 1948 8342 25329 | 96828 92755 71 | 0.000 % |
591.56/592.02 c | 889272 | 1948 8342 25329 | 96828 92889 71 | 0.000 % |
591.66/592.15 c | 889418 | 1948 8342 25329 | 96828 93035 71 | 0.000 % |
591.76/592.28 c | 889578 | 1948 8342 25329 | 96828 93195 71 | 0.000 % |
591.96/592.46 c | 889754 | 1948 8342 25329 | 96828 93371 71 | 0.000 % |
592.16/592.60 c | 889948 | 1948 8342 25329 | 96828 93565 71 | 0.000 % |
592.26/592.77 c | 890161 | 1948 8342 25329 | 93617 93778 71 | 0.000 % |
592.47/592.99 c | 890394 | 1948 8342 25329 | 93617 81778 71 | 0.000 % |
592.66/593.17 c | 890652 | 1948 8342 25329 | 93617 82036 71 | 0.000 % |
592.86/593.36 c | 890933 | 1948 8342 25329 | 93617 82317 71 | 0.000 % |
593.06/593.58 c | 891243 | 1948 8342 25329 | 93617 82627 71 | 0.000 % |
593.36/593.81 c | 891584 | 1948 8342 25329 | 93617 82968 71 | 0.000 % |
593.66/594.10 c | 891956 | 1948 8342 25329 | 93617 83340 71 | 0.000 % |
593.86/594.35 c | 892366 | 1948 8342 25329 | 93617 83750 71 | 0.000 % |
594.16/594.63 c | 892815 | 1948 8342 25329 | 93617 84199 71 | 0.000 % |
594.46/594.96 c | 893308 | 1948 8342 25329 | 93617 84692 71 | 0.000 % |
594.86/595.30 c | 893850 | 1948 8342 25329 | 93617 85234 71 | 0.000 % |
595.16/595.68 c | 894446 | 1948 8342 25329 | 93617 85830 71 | 0.000 % |
595.67/596.11 c | 895104 | 1948 8342 25329 | 93617 86488 71 | 0.000 % |
596.06/596.53 c | 895824 | 1948 8342 25329 | 93617 87208 71 | 0.000 % |
596.56/597.05 c | 896619 | 1948 8342 25329 | 93617 88003 71 | 0.000 % |
597.16/597.64 c | 897491 | 1948 8342 25329 | 93617 88875 71 | 0.000 % |
597.76/598.30 c | 898451 | 1948 8342 25329 | 93617 89835 71 | 0.000 % |
598.46/598.98 c | 899506 | 1948 8342 25329 | 93617 90890 71 | 0.000 % |
599.36/599.80 c | 900664 | 1948 8342 25329 | 2147483647 92048 71 | 0.000 % |
600.26/600.75 c | 901937 | 1948 8342 25329 | 2147483647 93321 71 | 0.000 % |
601.16/601.64 c | 903337 | 1948 8342 25329 | 2147483647 94721 71 | 0.000 % |
602.26/602.70 c | 904877 | 1948 8342 25329 | 2147483647 96261 71 | 0.000 % |
603.46/603.97 c | 906571 | 1948 8342 25329 | 2147483647 97955 70 | 0.000 % |
604.85/605.39 c | 908434 | 1948 8342 25329 | 2147483647 99818 70 | 0.000 % |
606.45/606.97 c | 910484 | 1948 8342 25329 | 101384 89477 71 | 0.000 % |
608.05/608.57 c | 912737 | 1948 8342 25329 | 101384 91730 71 | 0.000 % |
609.75/610.25 c | 915218 | 1948 8342 25329 | 101384 94211 71 | 0.000 % |
611.55/612.08 c | 917943 | 1948 8342 25329 | 101384 96936 71 | 0.000 % |
613.75/614.23 c | 920945 | 1948 8342 25329 | 98993 88673 71 | 0.000 % |
616.05/616.51 c | 924242 | 1948 8342 25329 | 98993 91970 71 | 0.000 % |
618.44/618.95 c | 927867 | 1948 8342 25329 | 98993 95595 71 | 0.000 % |
621.34/621.82 c | 931857 | 1948 8342 25329 | 97728 89048 70 | 0.000 % |
624.14/624.62 c | 936243 | 1948 8342 25329 | 97728 93434 71 | 0.000 % |
627.44/627.91 c | 941068 | 1948 8342 25329 | 2147483647 98259 71 | 0.000 % |
631.14/631.68 c | 946375 | 1948 8342 25329 | 2147483647 103566 71 | 0.000 % |
635.24/635.72 c | 952210 | 1948 8342 25329 | 107191 95502 71 | 0.000 % |
639.83/640.35 c | 958628 | 1948 8342 25329 | 107191 101920 71 | 0.000 % |
645.03/645.57 c | 965689 | 1948 8342 25329 | 103294 95843 71 | 0.000 % |
650.93/651.46 c | 973453 | 1948 8342 25329 | 100155 91330 71 | 0.000 % |
657.62/658.15 c | 981993 | 1948 8342 25329 | 97878 87106 72 | 0.000 % |
657.72/658.25 c | 982094 | 1948 8342 25329 | 97878 87207 72 | 0.000 % |
657.82/658.33 c | 982204 | 1948 8342 25329 | 97878 87317 72 | 0.000 % |
657.92/658.44 c | 982325 | 1948 8342 25329 | 97878 87438 72 | 0.000 % |
658.02/658.55 c | 982458 | 1948 8342 25329 | 97878 87571 72 | 0.000 % |
658.12/658.68 c | 982605 | 1948 8342 25329 | 97878 87718 72 | 0.000 % |
658.33/658.80 c | 982765 | 1948 8342 25329 | 97878 87878 72 | 0.000 % |
658.43/658.91 c | 982941 | 1948 8342 25329 | 97878 88054 72 | 0.000 % |
658.52/659.07 c | 983135 | 1948 8342 25329 | 97878 88248 72 | 0.000 % |
658.72/659.23 c | 983347 | 1948 8342 25329 | 97878 88460 72 | 0.000 % |
658.82/659.40 c | 983580 | 1948 8342 25329 | 97878 88693 71 | 0.000 % |
659.12/659.60 c | 983837 | 1948 8342 25329 | 97878 88950 71 | 0.000 % |
659.32/659.80 c | 984118 | 1948 8342 25329 | 97878 89231 71 | 0.000 % |
659.53/660.04 c | 984427 | 1948 8342 25329 | 97878 89540 71 | 0.000 % |
659.72/660.28 c | 984767 | 1948 8342 25329 | 97878 89880 71 | 0.000 % |
660.02/660.54 c | 985139 | 1948 8342 25329 | 97878 90252 71 | 0.000 % |
660.32/660.86 c | 985548 | 1948 8342 25329 | 97878 90661 71 | 0.000 % |
660.72/661.22 c | 986000 | 1948 8342 25329 | 97878 91113 71 | 0.000 % |
661.02/661.60 c | 986493 | 1948 8342 25329 | 97878 91606 71 | 0.000 % |
661.42/661.97 c | 987035 | 1948 8342 25329 | 97878 92148 71 | 0.000 % |
661.92/662.43 c | 987632 | 1948 8342 25329 | 97878 92745 71 | 0.000 % |
662.32/662.89 c | 988291 | 1948 8342 25329 | 97878 93404 71 | 0.000 % |
662.91/663.49 c | 989012 | 1948 8342 25329 | 97878 94125 71 | 0.000 % |
663.61/664.11 c | 989804 | 1948 8342 25329 | 97878 94917 71 | 0.000 % |
664.21/664.78 c | 990675 | 1948 8342 25329 | 95114 83016 72 | 0.000 % |
664.92/665.41 c | 991635 | 1948 8342 25329 | 95114 83976 72 | 0.000 % |
665.51/666.07 c | 992688 | 1948 8342 25329 | 95114 85029 72 | 0.000 % |
666.31/666.84 c | 993847 | 1948 8342 25329 | 95114 86188 72 | 0.000 % |
667.22/667.71 c | 995123 | 1948 8342 25329 | 95114 87464 72 | 0.000 % |
668.11/668.67 c | 996523 | 1948 8342 25329 | 95114 88864 72 | 0.000 % |
669.21/669.74 c | 998065 | 1948 8342 25329 | 95114 90406 72 | 0.000 % |
670.42/670.96 c | 999760 | 1948 8342 25329 | 95114 92101 71 | 0.000 % |
671.71/672.26 c | 1001623 | 1948 8342 25329 | 92342 83862 71 | 0.000 % |
673.01/673.55 c | 1003674 | 1948 8342 25329 | 92342 85913 71 | 0.000 % |
674.41/674.99 c | 1005927 | 1948 8342 25329 | 92342 88166 72 | 0.000 % |
676.21/676.78 c | 1008405 | 1948 8342 25329 | 92342 90644 72 | 0.000 % |
678.11/678.69 c | 1011130 | 1948 8342 25329 | 2147483647 93369 72 | 0.000 % |
680.31/680.85 c | 1014127 | 1948 8342 25329 | 2147483647 96366 72 | 0.000 % |
682.61/683.10 c | 1017423 | 1948 8342 25329 | 2147483647 99662 72 | 0.000 % |
685.40/685.90 c | 1021048 | 1948 8342 25329 | 102240 91887 72 | 0.000 % |
688.01/688.53 c | 1025038 | 1948 8342 25329 | 102240 95877 72 | 0.000 % |
691.00/691.56 c | 1029424 | 1948 8342 25329 | 102240 100263 72 | 0.000 % |
694.50/695.01 c | 1034247 | 1948 8342 25329 | 100842 92009 71 | 0.000 % |
698.40/698.91 c | 1039552 | 1948 8342 25329 | 100842 97314 71 | 0.000 % |
702.30/702.84 c | 1045389 | 1948 8342 25329 | 97762 91275 71 | 0.000 % |
706.49/707.02 c | 1051807 | 1948 8342 25329 | 95886 87151 71 | 0.000 % |
711.19/711.72 c | 1058866 | 1948 8342 25329 | 95886 94210 71 | 0.000 % |
716.98/717.57 c | 1066634 | 1948 8342 25329 | 95344 91655 71 | 0.000 % |
723.18/723.80 c | 1075174 | 1948 8342 25329 | 95022 88745 72 | 0.000 % |
729.48/730.05 c | 1084569 | 1948 8342 25329 | 93571 88357 73 | 0.000 % |
729.58/730.14 c | 1084669 | 1948 8342 25329 | 93571 88457 73 | 0.000 % |
729.67/730.22 c | 1084779 | 1948 8342 25329 | 93571 88567 73 | 0.000 % |
729.78/730.31 c | 1084900 | 1948 8342 25329 | 93571 88688 73 | 0.000 % |
729.88/730.42 c | 1085033 | 1948 8342 25329 | 93571 88821 72 | 0.000 % |
729.97/730.56 c | 1085179 | 1948 8342 25329 | 93571 88967 72 | 0.000 % |
730.07/730.67 c | 1085339 | 1948 8342 25329 | 93571 89127 72 | 0.000 % |
730.27/730.80 c | 1085515 | 1948 8342 25329 | 93571 89303 72 | 0.000 % |
730.37/730.94 c | 1085709 | 1948 8342 25329 | 93571 89497 72 | 0.000 % |
730.47/731.09 c | 1085921 | 1948 8342 25329 | 93571 89709 72 | 0.000 % |
730.67/731.27 c | 1086156 | 1948 8342 25329 | 93571 89944 72 | 0.000 % |
730.88/731.45 c | 1086416 | 1948 8342 25329 | 93571 90204 72 | 0.000 % |
731.07/731.66 c | 1086697 | 1948 8342 25329 | 93571 90485 72 | 0.000 % |
731.37/731.91 c | 1087006 | 1948 8342 25329 | 93571 90794 72 | 0.000 % |
731.57/732.18 c | 1087347 | 1948 8342 25329 | 93571 91135 72 | 0.000 % |
731.87/732.45 c | 1087719 | 1948 8342 25329 | 93571 91507 72 | 0.000 % |
732.17/732.77 c | 1088130 | 1948 8342 25329 | 93571 91918 72 | 0.000 % |
732.57/733.10 c | 1088581 | 1948 8342 25329 | 93571 92369 72 | 0.000 % |
732.97/733.52 c | 1089076 | 1948 8342 25329 | 93571 92864 72 | 0.000 % |
733.37/733.95 c | 1089618 | 1948 8342 25329 | 93571 93406 72 | 0.000 % |
733.87/734.48 c | 1090214 | 1948 8342 25329 | 93788 83481 72 | 0.000 % |
734.37/734.95 c | 1090871 | 1948 8342 25329 | 93788 84138 72 | 0.000 % |
734.87/735.44 c | 1091592 | 1948 8342 25329 | 93788 84859 72 | 0.000 % |
735.38/735.98 c | 1092384 | 1948 8342 25329 | 93788 85651 72 | 0.000 % |
735.97/736.59 c | 1093255 | 1948 8342 25329 | 93788 86522 72 | 0.000 % |
736.67/737.24 c | 1094214 | 1948 8342 25329 | 93788 87481 72 | 0.000 % |
737.47/738.03 c | 1095267 | 1948 8342 25329 | 93788 88534 72 | 0.000 % |
738.27/738.81 c | 1096425 | 1948 8342 25329 | 93788 89692 72 | 0.000 % |
739.17/739.73 c | 1097698 | 1948 8342 25329 | 93788 90965 72 | 0.000 % |
740.17/740.71 c | 1099098 | 1948 8342 25329 | 93788 92365 72 | 0.000 % |
741.17/741.79 c | 1100638 | 1948 8342 25329 | 2147483647 93905 72 | 0.000 % |
742.37/742.95 c | 1102333 | 1948 8342 25329 | 2147483647 95600 71 | 0.000 % |
743.67/744.21 c | 1104196 | 1948 8342 25329 | 2147483647 97463 71 | 0.000 % |
744.97/745.59 c | 1106246 | 1948 8342 25329 | 2147483647 99513 71 | 0.000 % |
746.67/747.22 c | 1108499 | 1948 8342 25329 | 2147483647 101766 71 | 0.000 % |
748.47/749.07 c | 1110978 | 1948 8342 25329 | 103269 92336 71 | 0.000 % |
750.36/750.96 c | 1113703 | 1948 8342 25329 | 103269 95061 71 | 0.000 % |
752.46/753.02 c | 1116702 | 1948 8342 25329 | 103269 98060 71 | 0.000 % |
754.97/755.50 c | 1119999 | 1948 8342 25329 | 103269 101357 71 | 0.000 % |
757.47/758.02 c | 1123625 | 1948 8342 25329 | 101358 93104 72 | 0.000 % |
760.16/760.75 c | 1127613 | 1948 8342 25329 | 101358 97092 72 | 0.000 % |
763.26/763.85 c | 1131998 | 1948 8342 25329 | 2147483647 101477 72 | 0.000 % |
766.76/767.32 c | 1136821 | 1948 8342 25329 | 2147483647 106300 72 | 0.000 % |
770.75/771.33 c | 1142126 | 1948 8342 25329 | 109480 97321 72 | 0.000 % |
774.86/775.44 c | 1147961 | 1948 8342 25329 | 109480 103156 72 | 0.000 % |
779.55/780.16 c | 1154380 | 1948 8342 25329 | 105195 95638 71 | 0.000 % |
784.95/785.58 c | 1161440 | 1948 8342 25329 | 101259 88593 70 | 0.000 % |
790.25/790.83 c | 1169205 | 1948 8342 25329 | 101259 96358 71 | 0.000 % |
796.44/797.03 c | 1177746 | 1948 8342 25329 | 97154 93115 71 | 0.000 % |
802.73/803.33 c | 1187142 | 1948 8342 25329 | 95370 90692 72 | 0.000 % |
809.63/810.26 c | 1197476 | 1948 8342 25329 | 93551 90551 73 | 0.000 % |
809.73/810.33 c | 1197577 | 1948 8342 25329 | 93551 90652 73 | 0.000 % |
809.83/810.44 c | 1197687 | 1948 8342 25329 | 93551 90762 73 | 0.000 % |
809.93/810.53 c | 1197808 | 1948 8342 25329 | 93551 90883 73 | 0.000 % |
810.03/810.62 c | 1197942 | 1948 8342 25329 | 93551 91017 73 | 0.000 % |
810.13/810.73 c | 1198089 | 1948 8342 25329 | 93551 91164 73 | 0.000 % |
810.23/810.85 c | 1198249 | 1948 8342 25329 | 93551 91324 73 | 0.000 % |
810.33/810.97 c | 1198425 | 1948 8342 25329 | 93551 91500 73 | 0.000 % |
810.53/811.12 c | 1198618 | 1948 8342 25329 | 93551 91693 73 | 0.000 % |
810.63/811.29 c | 1198830 | 1948 8342 25329 | 93551 91905 73 | 0.000 % |
810.83/811.49 c | 1199063 | 1948 8342 25329 | 93551 92138 73 | 0.000 % |
811.03/811.70 c | 1199320 | 1948 8342 25329 | 93551 92395 73 | 0.000 % |
811.33/811.91 c | 1199603 | 1948 8342 25329 | 93551 92678 73 | 0.000 % |
811.53/812.11 c | 1199914 | 1948 8342 25329 | 93551 92989 72 | 0.000 % |
811.83/812.41 c | 1200256 | 1948 8342 25329 | 93075 82720 72 | 0.000 % |
812.03/812.64 c | 1200629 | 1948 8342 25329 | 93075 83093 72 | 0.000 % |
812.23/812.88 c | 1201039 | 1948 8342 25329 | 93075 83503 72 | 0.000 % |
812.53/813.17 c | 1201488 | 1948 8342 25329 | 93075 83952 72 | 0.000 % |
812.83/813.47 c | 1201981 | 1948 8342 25329 | 93075 84445 72 | 0.000 % |
813.23/813.82 c | 1202523 | 1948 8342 25329 | 93075 84987 72 | 0.000 % |
813.63/814.24 c | 1203121 | 1948 8342 25329 | 93075 85585 72 | 0.000 % |
814.03/814.66 c | 1203776 | 1948 8342 25329 | 93075 86240 72 | 0.000 % |
814.53/815.16 c | 1204497 | 1948 8342 25329 | 93075 86961 72 | 0.000 % |
815.03/815.63 c | 1205289 | 1948 8342 25329 | 93075 87753 72 | 0.000 % |
815.53/816.19 c | 1206160 | 1948 8342 25329 | 93075 88624 72 | 0.000 % |
816.22/816.81 c | 1207119 | 1948 8342 25329 | 93075 89583 72 | 0.000 % |
816.92/817.50 c | 1208172 | 1948 8342 25329 | 93075 90636 72 | 0.000 % |
817.62/818.20 c | 1209332 | 1948 8342 25329 | 93075 91796 72 | 0.000 % |
818.43/819.01 c | 1210605 | 1948 8342 25329 | 2147483647 93069 72 | 0.000 % |
819.32/819.98 c | 1212006 | 1948 8342 25329 | 2147483647 94470 72 | 0.000 % |
820.42/821.01 c | 1213547 | 1948 8342 25329 | 2147483647 96011 72 | 0.000 % |
821.52/822.19 c | 1215241 | 1948 8342 25329 | 2147483647 97705 72 | 0.000 % |
822.92/823.51 c | 1217106 | 1948 8342 25329 | 2147483647 99570 72 | 0.000 % |
824.33/824.98 c | 1219157 | 1948 8342 25329 | 2147483647 101621 72 | 0.000 % |
825.92/826.59 c | 1221410 | 1948 8342 25329 | 102464 93260 72 | 0.000 % |
827.72/828.38 c | 1223889 | 1948 8342 25329 | 102464 95739 72 | 0.000 % |
829.72/830.32 c | 1226614 | 1948 8342 25329 | 102464 98464 72 | 0.000 % |
831.82/832.48 c | 1229613 | 1948 8342 25329 | 102464 101463 72 | 0.000 % |
833.92/834.60 c | 1232910 | 1948 8342 25329 | 101850 93175 71 | 0.000 % |
836.42/837.05 c | 1236535 | 1948 8342 25329 | 101850 96800 71 | 0.000 % |
839.11/839.76 c | 1240522 | 1948 8342 25329 | 100266 90146 71 | 0.000 % |
842.11/842.70 c | 1244908 | 1948 8342 25329 | 100266 94532 71 | 0.000 % |
845.40/846.07 c | 1249732 | 1948 8342 25329 | 100266 99356 71 | 0.000 % |
849.20/849.87 c | 1255039 | 1948 8342 25329 | 99624 93359 71 | 0.000 % |
853.30/853.99 c | 1260877 | 1948 8342 25329 | 98324 87116 70 | 0.000 % |
857.70/858.34 c | 1267295 | 1948 8342 25329 | 98324 93534 70 | 0.000 % |
862.50/863.16 c | 1274354 | 1948 8342 25329 | 96240 89732 71 | 0.000 % |
867.90/868.54 c | 1282118 | 1948 8342 25329 | 2147483647 97496 71 | 0.000 % |
874.79/875.44 c | 1290659 | 1948 8342 25329 | 105378 90944 72 | 0.000 % |
881.59/882.29 c | 1300053 | 1948 8342 25329 | 100286 100338 72 | 0.000 % |
888.68/889.36 c | 1310386 | 1948 8342 25329 | 97426 85862 73 | 0.000 % |
896.58/897.26 c | 1321753 | 1948 8342 25329 | 95476 84804 74 | 0.000 % |
896.68/897.33 c | 1321856 | 1948 8342 25329 | 95476 84907 74 | 0.000 % |
896.78/897.42 c | 1321966 | 1948 8342 25329 | 95476 85017 74 | 0.000 % |
896.78/897.49 c | 1322087 | 1948 8342 25329 | 95476 85138 74 | 0.000 % |
896.99/897.62 c | 1322224 | 1948 8342 25329 | 95476 85275 74 | 0.000 % |
897.08/897.74 c | 1322373 | 1948 8342 25329 | 95476 85424 74 | 0.000 % |
897.18/897.87 c | 1322533 | 1948 8342 25329 | 95476 85584 74 | 0.000 % |
897.38/898.03 c | 1322709 | 1948 8342 25329 | 95476 85760 74 | 0.000 % |
897.48/898.17 c | 1322903 | 1948 8342 25329 | 95476 85954 74 | 0.000 % |
897.68/898.33 c | 1323117 | 1948 8342 25329 | 95476 86168 74 | 0.000 % |
897.88/898.52 c | 1323350 | 1948 8342 25329 | 95476 86401 74 | 0.000 % |
898.08/898.73 c | 1323607 | 1948 8342 25329 | 95476 86658 74 | 0.000 % |
898.28/898.92 c | 1323888 | 1948 8342 25329 | 95476 86939 74 | 0.000 % |
898.48/899.14 c | 1324198 | 1948 8342 25329 | 95476 87249 74 | 0.000 % |
898.68/899.39 c | 1324539 | 1948 8342 25329 | 95476 87590 74 | 0.000 % |
899.08/899.72 c | 1324911 | 1948 8342 25329 | 95476 87962 74 | 0.000 % |
899.28/899.99 c | 1325323 | 1948 8342 25329 | 95476 88374 74 | 0.000 % |
899.68/900.34 c | 1325772 | 1948 8342 25329 | 95476 88823 74 | 0.000 % |
899.98/900.67 c | 1326266 | 1948 8342 25329 | 95476 89317 74 | 0.000 % |
900.38/901.02 c | 1326808 | 1948 8342 25329 | 95476 89859 74 | 0.000 % |
900.78/901.41 c | 1327404 | 1948 8342 25329 | 95476 90455 73 | 0.000 % |
901.18/901.89 c | 1328060 | 1948 8342 25329 | 95476 91111 73 | 0.000 % |
901.78/902.48 c | 1328780 | 1948 8342 25329 | 95476 91831 73 | 0.000 % |
902.48/903.16 c | 1329572 | 1948 8342 25329 | 95476 92623 73 | 0.000 % |
903.28/903.90 c | 1330443 | 1948 8342 25329 | 93051 80722 74 | 0.000 % |
903.88/904.51 c | 1331402 | 1948 8342 25329 | 93051 81681 74 | 0.000 % |
904.47/905.19 c | 1332455 | 1948 8342 25329 | 93051 82734 73 | 0.000 % |
905.28/905.95 c | 1333613 | 1948 8342 25329 | 93051 83892 73 | 0.000 % |
905.97/906.68 c | 1334886 | 1948 8342 25329 | 93051 85165 73 | 0.000 % |
906.88/907.53 c | 1336286 | 1948 8342 25329 | 93051 86565 73 | 0.000 % |
907.98/908.61 c | 1337827 | 1948 8342 25329 | 93051 88106 73 | 0.000 % |
909.08/909.71 c | 1339523 | 1948 8342 25329 | 93051 89802 74 | 0.000 % |
910.47/911.14 c | 1341388 | 1948 8342 25329 | 2147483647 91667 74 | 0.000 % |
911.77/912.45 c | 1343439 | 1948 8342 25329 | 2147483647 93718 74 | 0.000 % |
913.38/914.08 c | 1345692 | 1948 8342 25329 | 2147483647 95971 74 | 0.000 % |
915.17/915.84 c | 1348171 | 1948 8342 25329 | 2147483647 98450 74 | 0.000 % |
917.17/917.81 c | 1350897 | 1948 8342 25329 | 100280 89451 74 | 0.000 % |
918.97/919.66 c | 1353894 | 1948 8342 25329 | 100280 92448 74 | 0.000 % |
921.27/921.93 c | 1357191 | 1948 8342 25329 | 100280 95745 74 | 0.000 % |
923.77/924.43 c | 1360819 | 1948 8342 25329 | 2147483647 99373 74 | 0.000 % |
926.87/927.51 c | 1364808 | 1948 8342 25329 | 2147483647 103362 74 | 0.000 % |
930.36/931.03 c | 1369196 | 1948 8342 25329 | 2147483647 107750 74 | 0.000 % |
934.15/934.80 c | 1374019 | 1948 8342 25329 | 108554 97593 73 | 0.000 % |
938.05/938.74 c | 1379324 | 1948 8342 25329 | 108554 102898 73 | 0.000 % |
942.05/942.79 c | 1385159 | 1948 8342 25329 | 103574 93240 73 | 0.000 % |
947.04/947.73 c | 1391577 | 1948 8342 25329 | 98081 86578 72 | 0.000 % |
951.74/952.44 c | 1398638 | 1948 8342 25329 | 98081 93639 72 | 0.000 % |
956.94/957.64 c | 1406403 | 1948 8342 25329 | 95002 88678 72 | 0.000 % |
962.74/963.48 c | 1414943 | 1948 8342 25329 | 92275 86199 73 | 0.000 % |
969.44/970.20 c | 1424338 | 1948 8342 25329 | 91258 85148 73 | 0.000 % |
976.33/977.08 c | 1434672 | 1948 8342 25329 | 90812 85040 72 | 0.000 % |
984.22/984.95 c | 1446038 | 1948 8342 25329 | 90369 86200 73 | 0.000 % |
991.92/992.68 c | 1458541 | 1948 8342 25329 | 90164 88243 73 | 0.000 % |
992.02/992.77 c | 1458642 | 1948 8342 25329 | 90164 88344 73 | 0.000 % |
992.12/992.87 c | 1458752 | 1948 8342 25329 | 90164 88454 73 | 0.000 % |
992.22/992.97 c | 1458874 | 1948 8342 25329 | 90164 88576 73 | 0.000 % |
992.32/993.07 c | 1459008 | 1948 8342 25329 | 90164 88710 73 | 0.000 % |
992.52/993.22 c | 1459154 | 1948 8342 25329 | 90164 88856 73 | 0.000 % |
992.62/993.33 c | 1459314 | 1948 8342 25329 | 90164 89016 73 | 0.000 % |
992.72/993.48 c | 1459491 | 1948 8342 25329 | 90164 89193 73 | 0.000 % |
992.92/993.63 c | 1459684 | 1948 8342 25329 | 90164 89386 73 | 0.000 % |
993.02/993.79 c | 1459897 | 1948 8342 25329 | 90164 89599 73 | 0.000 % |
993.22/993.97 c | 1460130 | 1948 8342 25329 | 89705 89832 73 | 0.000 % |
993.42/994.20 c | 1460390 | 1948 8342 25329 | 89705 78748 73 | 0.000 % |
993.72/994.41 c | 1460671 | 1948 8342 25329 | 89705 79029 73 | 0.000 % |
993.92/994.60 c | 1460980 | 1948 8342 25329 | 89705 79338 73 | 0.000 % |
994.12/994.82 c | 1461321 | 1948 8342 25329 | 89705 79679 73 | 0.000 % |
994.32/995.05 c | 1461694 | 1948 8342 25329 | 89705 80052 73 | 0.000 % |
994.61/995.32 c | 1462103 | 1948 8342 25329 | 89705 80461 73 | 0.000 % |
994.82/995.60 c | 1462552 | 1948 8342 25329 | 89705 80910 73 | 0.000 % |
995.21/995.96 c | 1463045 | 1948 8342 25329 | 89705 81403 73 | 0.000 % |
995.61/996.36 c | 1463587 | 1948 8342 25329 | 89705 81945 73 | 0.000 % |
996.01/996.78 c | 1464183 | 1948 8342 25329 | 89705 82541 73 | 0.000 % |
996.41/997.18 c | 1464839 | 1948 8342 25329 | 89705 83197 72 | 0.000 % |
996.92/997.67 c | 1465559 | 1948 8342 25329 | 89705 83917 72 | 0.000 % |
997.41/998.19 c | 1466353 | 1948 8342 25329 | 89705 84711 72 | 0.000 % |
998.02/998.76 c | 1467225 | 1948 8342 25329 | 89705 85583 72 | 0.000 % |
998.71/999.44 c | 1468183 | 1948 8342 25329 | 89705 86541 72 | 0.000 % |
999.41/1000.14 c | 1469237 | 1948 8342 25329 | 89705 87595 72 | 0.000 % |
1000.11/1000.90 c | 1470396 | 1948 8342 25329 | 2147483647 88754 72 | 0.000 % |
1001.11/1001.84 c | 1471671 | 1948 8342 25329 | 2147483647 90029 72 | 0.000 % |
1002.11/1002.88 c | 1473071 | 1948 8342 25329 | 2147483647 91429 72 | 0.000 % |
1003.31/1004.02 c | 1474611 | 1948 8342 25329 | 2147483647 92969 72 | 0.000 % |
1004.61/1005.35 c | 1476307 | 1948 8342 25329 | 2147483647 94665 72 | 0.000 % |
1005.91/1006.68 c | 1478171 | 1948 8342 25329 | 2147483647 96529 72 | 0.000 % |
1007.41/1008.20 c | 1480220 | 1948 8342 25329 | 98358 98578 72 | 0.000 % |
1008.81/1009.55 c | 1482473 | 1948 8342 25329 | 98358 88378 72 | 0.000 % |
1010.30/1011.05 c | 1484951 | 1948 8342 25329 | 98358 90856 72 | 0.000 % |
1012.20/1012.92 c | 1487678 | 1948 8342 25329 | 98358 93583 72 | 0.000 % |
1014.20/1014.95 c | 1490677 | 1948 8342 25329 | 2147483647 96582 72 | 0.000 % |
1016.40/1017.18 c | 1493976 | 1948 8342 25329 | 2147483647 99881 72 | 0.000 % |
1019.10/1019.88 c | 1497601 | 1948 8342 25329 | 2147483647 103506 72 | 0.000 % |
1022.20/1022.92 c | 1501588 | 1948 8342 25329 | 105905 93561 72 | 0.000 % |
1025.19/1025.99 c | 1505973 | 1948 8342 25329 | 105905 97946 72 | 0.000 % |
1028.80/1029.50 c | 1510796 | 1948 8342 25329 | 101973 88580 72 | 0.000 % |
1032.20/1032.99 c | 1516102 | 1948 8342 25329 | 101973 93886 72 | 0.000 % |
1036.39/1037.12 c | 1521937 | 1948 8342 25329 | 97784 87182 72 | 0.000 % |
1040.49/1041.27 c | 1528355 | 1948 8342 25329 | 97784 93600 72 | 0.000 % |
1045.39/1046.17 c | 1535416 | 1948 8342 25329 | 95246 90190 73 | 0.000 % |
1050.68/1051.49 c | 1543184 | 1948 8342 25329 | 94774 88272 73 | 0.000 % |
1056.48/1057.21 c | 1551726 | 1948 8342 25329 | 85502 78604 75 | 0.000 % |
1063.08/1063.81 c | 1561120 | 1948 8342 25329 | 2147483647 79426 75 | 0.000 % |
1070.37/1071.14 c | 1571455 | 1948 8342 25329 | 88307 80257 75 | 0.000 % |
1077.67/1078.49 c | 1582821 | 1948 8342 25329 | 79775 74489 75 | 0.000 % |
1085.86/1086.64 c | 1595324 | 1948 8342 25329 | 2147483647 78991 75 | 0.000 % |
1096.16/1096.93 c | 1609078 | 1948 8342 25329 | 2147483647 92745 76 | 0.000 % |
1096.26/1097.02 c | 1609178 | 1948 8342 25329 | 2147483647 92845 76 | 0.000 % |
1096.36/1097.13 c | 1609288 | 1948 8342 25329 | 2147483647 92955 76 | 0.000 % |
1096.46/1097.24 c | 1609410 | 1948 8342 25329 | 2147483647 93077 76 | 0.000 % |
1096.56/1097.34 c | 1609543 | 1948 8342 25329 | 2147483647 93210 76 | 0.000 % |
1096.66/1097.49 c | 1609689 | 1948 8342 25329 | 2147483647 93356 76 | 0.000 % |
1096.86/1097.63 c | 1609852 | 1948 8342 25329 | 2147483647 93519 76 | 0.000 % |
1096.96/1097.79 c | 1610028 | 1948 8342 25329 | 93668 93695 76 | 0.000 % |
1097.26/1098.01 c | 1610221 | 1948 8342 25329 | 93668 80409 75 | 0.000 % |
1097.36/1098.16 c | 1610434 | 1948 8342 25329 | 93668 80622 75 | 0.000 % |
1097.56/1098.34 c | 1610669 | 1948 8342 25329 | 93668 80857 75 | 0.000 % |
1097.76/1098.54 c | 1610925 | 1948 8342 25329 | 93668 81113 75 | 0.000 % |
1097.96/1098.74 c | 1611208 | 1948 8342 25329 | 93668 81396 75 | 0.000 % |
1098.16/1098.95 c | 1611517 | 1948 8342 25329 | 93668 81705 75 | 0.000 % |
1098.36/1099.19 c | 1611856 | 1948 8342 25329 | 93668 82044 75 | 0.000 % |
1098.66/1099.47 c | 1612228 | 1948 8342 25329 | 93668 82416 75 | 0.000 % |
1098.96/1099.75 c | 1612637 | 1948 8342 25329 | 93668 82825 75 | 0.000 % |
1099.26/1100.05 c | 1613088 | 1948 8342 25329 | 93668 83276 75 | 0.000 % |
1099.56/1100.40 c | 1613582 | 1948 8342 25329 | 93668 83770 75 | 0.000 % |
1099.96/1100.74 c | 1614125 | 1948 8342 25329 | 93668 84313 75 | 0.000 % |
1100.26/1101.09 c | 1614722 | 1948 8342 25329 | 93668 84910 75 | 0.000 % |
1100.66/1101.49 c | 1615377 | 1948 8342 25329 | 93668 85565 75 | 0.000 % |
1101.16/1101.97 c | 1616097 | 1948 8342 25329 | 93668 86285 75 | 0.000 % |
1101.75/1102.51 c | 1616889 | 1948 8342 25329 | 93668 87077 75 | 0.000 % |
1102.25/1103.02 c | 1617762 | 1948 8342 25329 | 93668 87950 75 | 0.000 % |
1102.86/1103.63 c | 1618721 | 1948 8342 25329 | 93668 88909 75 | 0.000 % |
1103.56/1104.31 c | 1619776 | 1948 8342 25329 | 93668 89964 75 | 0.000 % |
1104.25/1105.07 c | 1620934 | 1948 8342 25329 | 90189 81692 74 | 0.000 % |
1105.05/1105.86 c | 1622207 | 1948 8342 25329 | 90189 82965 73 | 0.000 % |
1105.95/1106.74 c | 1623609 | 1948 8342 25329 | 90189 84367 73 | 0.000 % |
1106.86/1107.65 c | 1625149 | 1948 8342 25329 | 90189 85907 73 | 0.000 % |
1107.96/1108.71 c | 1626843 | 1948 8342 25329 | 90189 87601 73 | 0.000 % |
1109.25/1110.05 c | 1628707 | 1948 8342 25329 | 90189 89465 73 | 0.000 % |
1110.65/1111.44 c | 1630756 | 1948 8342 25329 | 2147483647 82469 72 | 0.000 % |
1112.05/1112.90 c | 1633010 | 1948 8342 25329 | 2147483647 84723 72 | 0.000 % |
1113.65/1114.46 c | 1635488 | 1948 8342 25329 | 2147483647 87201 72 | 0.000 % |
1115.54/1116.31 c | 1638214 | 1948 8342 25329 | 2147483647 89927 72 | 0.000 % |
1117.54/1118.37 c | 1641211 | 1948 8342 25329 | 2147483647 92924 72 | 0.000 % |
1120.05/1120.83 c | 1644508 | 1948 8342 25329 | 2147483647 96221 72 | 0.000 % |
1122.44/1123.22 c | 1648135 | 1948 8342 25329 | 2147483647 99848 72 | 0.000 % |
1125.44/1126.24 c | 1652123 | 1948 8342 25329 | 101714 92189 72 | 0.000 % |
1128.54/1129.38 c | 1656509 | 1948 8342 25329 | 101714 96575 72 | 0.000 % |
1131.94/1132.73 c | 1661333 | 1948 8342 25329 | 100067 88801 71 | 0.000 % |
1135.24/1136.10 c | 1666642 | 1948 8342 25329 | 100067 94110 72 | 0.000 % |
1139.43/1140.29 c | 1672477 | 1948 8342 25329 | 97468 89408 71 | 0.000 % |
1143.83/1144.64 c | 1678899 | 1948 8342 25329 | 97468 95830 72 | 0.000 % |
1148.74/1149.52 c | 1685959 | 1948 8342 25329 | 96932 92766 72 | 0.000 % |
1154.23/1155.04 c | 1693724 | 1948 8342 25329 | 96807 90533 71 | 0.000 % |
1160.52/1161.34 c | 1702264 | 1948 8342 25329 | 96809 87073 72 | 0.000 % |
1167.42/1168.26 c | 1711658 | 1948 8342 25329 | 94811 84024 73 | 0.000 % |
1175.02/1175.83 c | 1721994 | 1948 8342 25329 | 92366 82156 74 | 0.000 % |
1182.61/1183.47 c | 1733360 | 1948 8342 25329 | 90163 83864 74 | 0.000 % |
1191.12/1191.91 c | 1745864 | 1948 8342 25329 | 80738 77718 75 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832647-1242785867/watcher-1832647-1242785867 -o /tmp/evaluation-result-1832647-1242785867/solver-1832647-1242785867 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832647-1242785867.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.98 3/65 11222
/proc/meminfo: memFree=1756032/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306616023 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 243665698898 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/11222/statm: 1339 235 195 169 0 50 0
[pid=11223] ppid=11222 vsize=5356 CPUtime=0
/proc/11223/stat : 11223 (SatELiteGTI) S 11222 11222 10630 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306616023 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/11223/statm: 1339 238 198 169 0 50 0
[pid=11225] ppid=11223 vsize=2612 CPUtime=0
/proc/11225/stat : 11225 (sed) R 11223 11222 10630 0 -1 4194304 161 0 0 0 0 0 0 0 21 0 1 0 306616023 2674688 134 1992294400 4194304 4240196 548682069056 18446744073709551615 243665699042 0 0 4096 0 0 0 0 17 0 0 0
/proc/11225/statm: 0 0 0 0 0 0 0
[startup+0.081167 s]
/proc/loadavg: 0.92 0.98 0.98 3/65 11222
/proc/meminfo: memFree=1756032/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.101166 s]
/proc/loadavg: 0.92 0.98 0.98 3/65 11222
/proc/meminfo: memFree=1756032/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301202 s]
/proc/loadavg: 0.92 0.98 0.98 3/65 11222
/proc/meminfo: memFree=1756032/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701275 s]
/proc/loadavg: 0.92 0.98 0.98 3/65 11222
/proc/meminfo: memFree=1756032/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50242 s]
/proc/loadavg: 0.92 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1753776/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=4840 CPUtime=1.45
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 880 0 0 0 145 0 0 0 25 0 1 0 306616027 4956160 866 1992294400 134512640 135215339 4294956240 18446744073709551615 134718867 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 1210 866 77 171 0 1037 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10196
[startup+3.10171 s]
/proc/loadavg: 0.92 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1750896/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=7928 CPUtime=3.05
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 1663 0 0 0 304 1 0 0 25 0 1 0 306616027 8118272 1649 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 1982 1649 77 171 0 1809 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13284
[startup+6.30229 s]
/proc/loadavg: 0.93 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1746032/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=11920 CPUtime=6.24
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 2657 0 0 0 622 2 0 0 25 0 1 0 306616027 12206080 2643 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 2980 2643 77 171 0 2807 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 17276
[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1740080/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=17280 CPUtime=12.63
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 3993 0 0 0 1259 4 0 0 25 0 1 0 306616027 17694720 3979 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 4320 3979 77 171 0 4147 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 22636
[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1732144/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=24924 CPUtime=25.41
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 5904 0 0 0 2535 6 0 0 25 0 1 0 306616027 25522176 5890 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 6231 5890 77 171 0 6058 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 30280
[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1723952/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=33024 CPUtime=50.99
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 7909 0 0 0 5091 8 0 0 25 0 1 0 306616027 33816576 7895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 8256 7895 77 171 0 8083 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 38380
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1723760/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=33024 CPUtime=102.14
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 7909 0 0 0 10205 9 0 0 25 0 1 0 306616027 33816576 7895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 8256 7895 77 171 0 8083 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 38380
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1721840/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=34740 CPUtime=162.09
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 8337 0 0 0 16199 10 0 0 25 0 1 0 306616027 35573760 8323 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 8685 8323 77 171 0 8512 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 40096
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1720112/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=36456 CPUtime=222.05
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 8752 0 0 0 22194 11 0 0 25 0 1 0 306616027 37330944 8738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 9114 8738 77 171 0 8941 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 41812
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1719280/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=37116 CPUtime=282.01
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 8932 0 0 0 28190 11 0 0 25 0 1 0 306616027 38006784 8918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 9279 8918 77 171 0 9106 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 42472
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1719088/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=37248 CPUtime=341.98
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 8959 0 0 0 34187 11 0 0 25 0 1 0 306616027 38141952 8945 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 9312 8945 77 171 0 9139 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 42604
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1718768/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=37776 CPUtime=401.94
################
# More data... #
################
/proc/11228/statm: 9873 9501 77 171 0 9700 0
Current children cumulated CPU time (s) 521.91
Current children cumulated vsize (KiB) 44848
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1716464/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=39488 CPUtime=581.84
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 9515 0 0 0 58171 13 0 0 25 0 1 0 306616027 40435712 9501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 9872 9501 77 171 0 9699 0
Current children cumulated CPU time (s) 581.87
Current children cumulated vsize (KiB) 44844
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1715696/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=40148 CPUtime=641.8
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 9673 0 0 0 64167 13 0 0 25 0 1 0 306616027 41111552 9659 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 10037 9659 77 171 0 9864 0
Current children cumulated CPU time (s) 641.83
Current children cumulated vsize (KiB) 45504
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1715568/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=40120 CPUtime=701.77
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 9673 0 0 0 70164 13 0 0 25 0 1 0 306616027 41082880 9659 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 10030 9659 77 171 0 9857 0
Current children cumulated CPU time (s) 701.8
Current children cumulated vsize (KiB) 45476
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1715504/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=40120 CPUtime=761.74
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 9673 0 0 0 76160 14 0 0 25 0 1 0 306616027 41082880 9659 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 10030 9659 77 171 0 9857 0
Current children cumulated CPU time (s) 761.77
Current children cumulated vsize (KiB) 45476
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1713648/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=41836 CPUtime=821.69
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 10096 0 0 0 82155 14 0 0 25 0 1 0 306616027 42840064 10082 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 10459 10082 77 171 0 10286 0
Current children cumulated CPU time (s) 821.72
Current children cumulated vsize (KiB) 47192
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1713648/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=41836 CPUtime=881.66
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 10096 0 0 0 88152 14 0 0 25 0 1 0 306616027 42840064 10082 1992294400 134512640 135215339 4294956240 18446744073709551615 134545713 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 10459 10082 77 171 0 10286 0
Current children cumulated CPU time (s) 881.69
Current children cumulated vsize (KiB) 47192
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1712176/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=43152 CPUtime=941.61
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 10443 0 0 0 94146 15 0 0 25 0 1 0 306616027 44187648 10429 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 10788 10429 77 171 0 10615 0
Current children cumulated CPU time (s) 941.64
Current children cumulated vsize (KiB) 48508
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1712048/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=43152 CPUtime=1001.58
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 10444 0 0 0 100143 15 0 0 25 0 1 0 306616027 44187648 10430 1992294400 134512640 135215339 4294956240 18446744073709551615 134539443 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 10788 10430 77 171 0 10615 0
Current children cumulated CPU time (s) 1001.61
Current children cumulated vsize (KiB) 48508
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1711984/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=43152 CPUtime=1061.55
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 10444 0 0 0 106140 15 0 0 25 0 1 0 306616027 44187648 10430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 10788 10430 77 171 0 10615 0
Current children cumulated CPU time (s) 1061.58
Current children cumulated vsize (KiB) 48508
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1711920/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=43152 CPUtime=1121.51
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 10444 0 0 0 112136 15 0 0 25 0 1 0 306616027 44187648 10430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 10788 10430 77 171 0 10615 0
Current children cumulated CPU time (s) 1121.54
Current children cumulated vsize (KiB) 48508
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1711792/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=43152 CPUtime=1181.48
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 10444 0 0 0 118133 15 0 0 25 0 1 0 306616027 44187648 10430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 10788 10430 77 171 0 10615 0
Current children cumulated CPU time (s) 1181.51
Current children cumulated vsize (KiB) 48508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 11228
/proc/meminfo: memFree=1711792/2055920 swapFree=4075912/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0.03
/proc/11222/stat : 11222 (SatELiteGTI) S 11220 11222 10630 0 -1 4194304 336 618 0 0 0 0 3 0 18 0 1 0 306616023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 239 197 169 0 50 0
[pid=11228] ppid=11222 vsize=43152 CPUtime=1199.99
/proc/11228/stat : 11228 (minisat_static) R 11222 11222 10630 0 -1 4194304 10444 0 0 0 119983 16 0 0 25 0 1 0 306616027 44187648 10430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11228/statm: 10788 10430 77 171 0 10615 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 48508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11222 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=31995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=6998
# CPU time returned by wait4() is 0.038993
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.02
CPU user time (s): 1199.86
CPU system time (s): 0.16
CPU usage (%): 99.9341
Max. virtual memory (cumulated for all children) (KiB): 48508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.031995
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 954
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= 15
involuntary context switches= 8
runsolver used 1.12383 second user time and 3.40648 second system time
The end
Begin job on node84 at 2009-05-20 04:17:47
IDJOB=1832647
IDBENCH=70287
IDSOLVER=671
FILE ID=node84/1832647-1242785867
PBS_JOBID= 9322318
Free space on /tmp= 66292 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/2000/unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832647-1242785867/watcher-1832647-1242785867 -o /tmp/evaluation-result-1832647-1242785867/solver-1832647-1242785867 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832647-1242785867.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 05f00f0c3f7e171627ff97eb0175accd
RANDOM SEED=1479060856
node84.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1756512 kB
Buffers: 24648 kB
Cached: 120136 kB
SwapCached: 111304 kB
Active: 127680 kB
Inactive: 130004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1756512 kB
SwapTotal: 4192956 kB
SwapFree: 4075912 kB
Dirty: 1716 kB
Writeback: 0 kB
Mapped: 16084 kB
Slab: 27748 kB
Committed_AS: 967072 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66288 MiB
End job on node84 at 2009-05-20 04:37:50