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 | 8345 25386 | -- 0 -- -- | -- | -55/186
0.00/0.03 c ==============================================================================
0.00/0.03 c Result : #vars: 1946 #clauses: 8345 #literals: 25386
0.00/0.03 c CPU time: 0.022996 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.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 1946 |
0.00/0.04 c | Number of clauses: 8345 |
0.03/0.04 c | Parsing time: 0.01 s |
0.03/0.04 c ============================[ Search Statistics ]==============================
0.03/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.03/0.04 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.03/0.04 c ===============================================================================
0.03/0.04 c | 0 | 1946 8345 25386 | 2781 0 nan | 0.000 % |
0.03/0.05 c | 101 | 1946 8345 25386 | 2781 101 51 | 0.000 % |
0.03/0.06 c | 203 | 1946 8345 25386 | 2781 203 51 | 0.000 % |
0.03/0.07 c | 304 | 1946 8345 25386 | 2781 304 53 | 0.000 % |
0.03/0.08 c | 414 | 1946 8345 25386 | 2781 414 54 | 0.000 % |
0.03/0.08 c | 516 | 1946 8345 25386 | 2781 516 55 | 0.000 % |
0.03/0.09 c | 626 | 1946 8345 25386 | 2781 626 56 | 0.000 % |
0.03/0.10 c | 749 | 1946 8345 25386 | 2781 749 57 | 0.000 % |
0.03/0.11 c | 849 | 1946 8345 25386 | 2781 849 57 | 0.000 % |
0.03/0.12 c | 959 | 1946 8345 25386 | 2781 959 58 | 0.000 % |
0.03/0.13 c | 1081 | 1946 8345 25386 | 2781 1081 59 | 0.000 % |
0.03/0.15 c | 1217 | 1946 8345 25386 | 2781 1217 60 | 0.000 % |
0.03/0.16 c | 1317 | 1946 8345 25386 | 2781 1317 61 | 0.000 % |
0.03/0.17 c | 1427 | 1946 8345 25386 | 2781 1427 61 | 0.000 % |
0.03/0.18 c | 1548 | 1946 8345 25386 | 2781 1548 61 | 0.000 % |
0.03/0.19 c | 1681 | 1946 8345 25386 | 2781 1681 61 | 0.000 % |
0.03/0.20 c | 1828 | 1946 8345 25386 | 2781 1828 62 | 0.000 % |
0.03/0.21 c | 1928 | 1946 8345 25386 | 2781 1928 61 | 0.000 % |
0.03/0.22 c | 2038 | 1946 8345 25386 | 2781 2038 61 | 0.000 % |
0.03/0.23 c | 2159 | 1946 8345 25386 | 2781 2159 62 | 0.000 % |
0.03/0.24 c | 2292 | 1946 8345 25386 | 2781 2292 61 | 0.000 % |
0.03/0.25 c | 2438 | 1946 8345 25386 | 2781 2438 61 | 0.000 % |
0.03/0.27 c | 2598 | 1946 8345 25386 | 2781 2598 61 | 0.000 % |
0.03/0.28 c | 2698 | 1946 8345 25386 | 2781 2698 61 | 0.000 % |
0.03/0.29 c | 2810 | 1946 8345 25386 | 2781 2810 61 | 0.000 % |
0.03/0.30 c | 2932 | 1946 8345 25386 | 2781 2651 60 | 0.000 % |
0.03/0.31 c | 3068 | 1946 8345 25386 | 2781 2787 60 | 0.000 % |
0.03/0.33 c | 3214 | 1946 8345 25386 | 2781 2655 60 | 0.000 % |
0.03/0.34 c | 3375 | 1946 8345 25386 | 2781 2816 60 | 0.000 % |
0.03/0.36 c | 3551 | 1946 8345 25386 | 2781 2711 60 | 0.000 % |
0.03/0.37 c | 3651 | 1946 8345 25386 | 2781 2811 60 | 0.000 % |
0.03/0.38 c | 3764 | 1946 8345 25386 | 2781 2643 59 | 0.000 % |
0.03/0.39 c | 3885 | 1946 8345 25386 | 2781 2764 59 | 0.000 % |
0.03/0.40 c | 4020 | 1946 8345 25386 | 2781 2899 59 | 0.000 % |
0.03/0.42 c | 4167 | 1946 8345 25386 | 2781 2757 58 | 0.000 % |
0.03/0.43 c | 4328 | 1946 8345 25386 | 2781 2918 58 | 0.000 % |
0.03/0.45 c | 4504 | 1946 8345 25386 | 2781 2803 58 | 0.000 % |
0.03/0.47 c | 4699 | 1946 8345 25386 | 2781 2718 58 | 0.000 % |
0.03/0.48 c | 4803 | 1946 8345 25386 | 2781 2822 58 | 0.000 % |
0.03/0.49 c | 4913 | 1946 8345 25386 | 2781 2650 58 | 0.000 % |
0.03/0.50 c | 5038 | 1946 8345 25386 | 2781 2775 58 | 0.000 % |
0.03/0.51 c | 5174 | 1946 8345 25386 | 2781 2911 58 | 0.000 % |
0.03/0.52 c | 5320 | 1946 8345 25386 | 2781 2766 58 | 0.000 % |
0.03/0.54 c | 5480 | 1946 8345 25386 | 2781 2926 58 | 0.000 % |
0.03/0.56 c | 5656 | 1946 8345 25386 | 2781 2810 59 | 0.000 % |
0.03/0.58 c | 5850 | 1946 8345 25386 | 2781 2723 59 | 0.000 % |
0.03/0.60 c | 6064 | 1946 8345 25386 | 2781 2937 60 | 0.000 % |
0.03/0.61 c | 6164 | 1946 8345 25386 | 2781 2744 59 | 0.000 % |
0.03/0.62 c | 6274 | 1946 8345 25386 | 2781 2854 60 | 0.000 % |
0.03/0.63 c | 6398 | 1946 8345 25386 | 2781 2693 60 | 0.000 % |
0.03/0.64 c | 6531 | 1946 8345 25386 | 2781 2826 60 | 0.000 % |
0.03/0.66 c | 6680 | 1946 8345 25386 | 2781 2693 60 | 0.000 % |
0.03/0.67 c | 6841 | 1946 8345 25386 | 2781 2854 60 | 0.000 % |
0.03/0.69 c | 7017 | 1946 8345 25386 | 2781 2745 60 | 0.000 % |
0.03/0.71 c | 7210 | 1946 8345 25386 | 2781 2938 60 | 0.000 % |
0.03/0.73 c | 7422 | 1946 8345 25386 | 2781 2857 60 | 0.000 % |
0.03/0.75 c | 7656 | 1946 8345 25386 | 2781 2806 59 | 0.000 % |
0.03/0.76 c | 7756 | 1946 8345 25386 | 2781 2626 59 | 0.000 % |
0.03/0.77 c | 7867 | 1946 8345 25386 | 2781 2737 59 | 0.000 % |
0.03/0.78 c | 7988 | 1946 8345 25386 | 2781 2858 59 | 0.000 % |
0.03/0.79 c | 8122 | 1946 8345 25386 | 2781 2707 59 | 0.000 % |
0.03/0.81 c | 8269 | 1946 8345 25386 | 2781 2854 59 | 0.000 % |
0.03/0.83 c | 8432 | 1946 8345 25386 | 2781 2732 60 | 0.000 % |
0.03/0.84 c | 8608 | 1946 8345 25386 | 2781 2908 60 | 0.000 % |
0.03/0.86 c | 8801 | 1946 8345 25386 | 2781 2811 60 | 0.000 % |
0.03/0.88 c | 9015 | 1946 8345 25386 | 2781 2744 59 | 0.000 % |
0.03/0.90 c | 9248 | 1946 8345 25386 | 2781 2977 60 | 0.000 % |
0.03/0.93 c | 9504 | 1946 8345 25386 | 2781 2936 61 | 0.000 % |
0.03/0.94 c | 9605 | 1946 8345 25386 | 2781 2744 60 | 0.000 % |
0.03/0.95 c | 9715 | 1946 8345 25386 | 2781 2854 60 | 0.000 % |
0.03/0.96 c | 9836 | 1946 8345 25386 | 2781 2690 60 | 0.000 % |
0.03/0.97 c | 9969 | 1946 8345 25386 | 2781 2823 60 | 0.000 % |
0.03/0.98 c | 10115 | 1946 8345 25386 | 2147483647 2687 60 | 0.000 % |
0.03/1.00 c | 10276 | 1946 8345 25386 | 2147483647 2848 60 | 0.000 % |
0.99/1.02 c | 10453 | 1946 8345 25386 | 2147483647 3025 60 | 0.000 % |
0.99/1.03 c | 10646 | 1946 8345 25386 | 2147483647 3218 60 | 0.000 % |
0.99/1.06 c | 10860 | 1946 8345 25386 | 2147483647 3432 61 | 0.000 % |
0.99/1.08 c | 11093 | 1946 8345 25386 | 2147483647 3665 61 | 0.000 % |
1.08/1.10 c | 11349 | 1946 8345 25386 | 2147483647 3921 62 | 0.000 % |
1.08/1.13 c | 11632 | 1946 8345 25386 | 2147483647 4204 61 | 0.000 % |
1.08/1.14 c | 11733 | 1946 8345 25386 | 2147483647 4305 62 | 0.000 % |
1.08/1.15 c | 11844 | 1946 8345 25386 | 2147483647 4416 62 | 0.000 % |
1.08/1.16 c | 11966 | 1946 8345 25386 | 2147483647 4538 62 | 0.000 % |
1.08/1.18 c | 12100 | 1946 8345 25386 | 2147483647 4672 62 | 0.000 % |
1.08/1.19 c | 12247 | 1946 8345 25386 | 2147483647 4819 62 | 0.000 % |
1.18/1.21 c | 12408 | 1946 8345 25386 | 2147483647 4980 62 | 0.000 % |
1.18/1.23 c | 12584 | 1946 8345 25386 | 2147483647 5156 61 | 0.000 % |
1.18/1.25 c | 12778 | 1946 8345 25386 | 2147483647 5350 62 | 0.000 % |
1.18/1.27 c | 12991 | 1946 8345 25386 | 2147483647 5563 62 | 0.000 % |
1.18/1.29 c | 13224 | 1946 8345 25386 | 2147483647 5796 62 | 0.000 % |
1.28/1.32 c | 13481 | 1946 8345 25386 | 2147483647 6053 62 | 0.000 % |
1.28/1.35 c | 13764 | 1946 8345 25386 | 2147483647 6336 62 | 0.000 % |
1.28/1.38 c | 14073 | 1946 8345 25386 | 2147483647 6645 62 | 0.000 % |
1.28/1.39 c | 14173 | 1946 8345 25386 | 2147483647 6745 62 | 0.000 % |
1.38/1.41 c | 14283 | 1946 8345 25386 | 2147483647 6855 62 | 0.000 % |
1.38/1.42 c | 14404 | 1946 8345 25386 | 2147483647 6976 62 | 0.000 % |
1.38/1.43 c | 14537 | 1946 8345 25386 | 2147483647 7109 62 | 0.000 % |
1.38/1.45 c | 14684 | 1946 8345 25386 | 2147483647 7256 62 | 0.000 % |
1.38/1.47 c | 14844 | 1946 8345 25386 | 2147483647 7416 62 | 0.000 % |
1.38/1.49 c | 15021 | 1946 8345 25386 | 2147483647 7593 62 | 0.000 % |
1.48/1.51 c | 15216 | 1946 8345 25386 | 2147483647 7788 62 | 0.000 % |
1.48/1.54 c | 15428 | 1946 8345 25386 | 2147483647 8000 62 | 0.000 % |
1.48/1.57 c | 15661 | 1946 8345 25386 | 2147483647 8233 63 | 0.000 % |
1.48/1.60 c | 15918 | 1946 8345 25386 | 2147483647 8490 62 | 0.000 % |
1.58/1.63 c | 16203 | 1946 8345 25386 | 2147483647 8775 63 | 0.000 % |
1.58/1.67 c | 16512 | 1946 8345 25386 | 2147483647 9084 63 | 0.000 % |
1.68/1.71 c | 16851 | 1946 8345 25386 | 2147483647 9423 63 | 0.000 % |
1.68/1.72 c | 16955 | 1946 8345 25386 | 2147483647 9527 63 | 0.000 % |
1.68/1.74 c | 17067 | 1946 8345 25386 | 2147483647 9639 64 | 0.000 % |
1.68/1.75 c | 17190 | 1946 8345 25386 | 2147483647 9762 63 | 0.000 % |
1.68/1.77 c | 17323 | 1946 8345 25386 | 2147483647 9895 63 | 0.000 % |
1.68/1.79 c | 17471 | 1946 8345 25386 | 2147483647 10043 64 | 0.000 % |
1.78/1.81 c | 17631 | 1946 8345 25386 | 2147483647 10203 64 | 0.000 % |
1.78/1.83 c | 17807 | 1946 8345 25386 | 2147483647 10379 64 | 0.000 % |
1.78/1.86 c | 18001 | 1946 8345 25386 | 2147483647 10573 64 | 0.000 % |
1.78/1.89 c | 18214 | 1946 8345 25386 | 2147483647 10786 64 | 0.000 % |
1.88/1.92 c | 18449 | 1946 8345 25386 | 2147483647 11021 64 | 0.000 % |
1.88/1.95 c | 18706 | 1946 8345 25386 | 2147483647 11278 64 | 0.000 % |
1.88/1.99 c | 18987 | 1946 8345 25386 | 2147483647 11559 64 | 0.000 % |
1.98/2.03 c | 19296 | 1946 8345 25386 | 2147483647 11868 64 | 0.000 % |
1.98/2.08 c | 19635 | 1946 8345 25386 | 2147483647 12207 64 | 0.000 % |
2.08/2.13 c | 20008 | 1946 8345 25386 | 2147483647 12580 64 | 0.000 % |
2.08/2.15 c | 20109 | 1946 8345 25386 | 2147483647 12681 64 | 0.000 % |
2.08/2.17 c | 20221 | 1946 8345 25386 | 2147483647 12793 64 | 0.000 % |
2.08/2.18 c | 20342 | 1946 8345 25386 | 2147483647 12914 64 | 0.000 % |
2.18/2.20 c | 20478 | 1946 8345 25386 | 2147483647 13050 64 | 0.000 % |
2.18/2.23 c | 20625 | 1946 8345 25386 | 2147483647 13197 64 | 0.000 % |
2.18/2.25 c | 20785 | 1946 8345 25386 | 2147483647 13357 64 | 0.000 % |
2.18/2.28 c | 20961 | 1946 8345 25386 | 2147483647 13533 64 | 0.000 % |
2.27/2.30 c | 21154 | 1946 8345 25386 | 2147483647 13726 64 | 0.000 % |
2.27/2.33 c | 21367 | 1946 8345 25386 | 2147483647 13939 64 | 0.000 % |
2.27/2.37 c | 21600 | 1946 8345 25386 | 2147483647 14172 64 | 0.000 % |
2.37/2.41 c | 21856 | 1946 8345 25386 | 2147483647 14428 64 | 0.000 % |
2.37/2.45 c | 22137 | 1946 8345 25386 | 2147483647 14709 64 | 0.000 % |
2.47/2.50 c | 22446 | 1946 8345 25386 | 2147483647 15018 64 | 0.000 % |
2.47/2.55 c | 22786 | 1946 8345 25386 | 2147483647 15358 63 | 0.000 % |
2.57/2.62 c | 23159 | 1946 8345 25386 | 2147483647 15731 63 | 0.000 % |
2.57/2.69 c | 23568 | 1946 8345 25386 | 2147483647 16140 63 | 0.000 % |
2.67/2.70 c | 23668 | 1946 8345 25386 | 2147483647 16240 63 | 0.000 % |
2.67/2.73 c | 23778 | 1946 8345 25386 | 2147483647 16350 63 | 0.000 % |
2.67/2.75 c | 23899 | 1946 8345 25386 | 2147483647 16471 63 | 0.000 % |
2.67/2.77 c | 24032 | 1946 8345 25386 | 2147483647 16604 63 | 0.000 % |
2.77/2.80 c | 24178 | 1946 8345 25386 | 2147483647 16750 63 | 0.000 % |
2.77/2.83 c | 24339 | 1946 8345 25386 | 2147483647 16911 63 | 0.000 % |
2.77/2.86 c | 24515 | 1946 8345 25386 | 2147483647 17087 63 | 0.000 % |
2.87/2.90 c | 24711 | 1946 8345 25386 | 2147483647 17283 63 | 0.000 % |
2.87/2.94 c | 24923 | 1946 8345 25386 | 2147483647 17495 63 | 0.000 % |
2.87/2.98 c | 25156 | 1946 8345 25386 | 2147483647 17728 63 | 0.000 % |
2.97/3.02 c | 25412 | 1946 8345 25386 | 2147483647 17984 63 | 0.000 % |
2.97/3.08 c | 25694 | 1946 8345 25386 | 2147483647 18266 63 | 0.000 % |
3.07/3.13 c | 26003 | 1946 8345 25386 | 2147483647 18575 63 | 0.000 % |
3.07/3.20 c | 26345 | 1946 8345 25386 | 2147483647 18917 63 | 0.000 % |
3.17/3.27 c | 26717 | 1946 8345 25386 | 2147483647 19289 63 | 0.000 % |
3.27/3.35 c | 27126 | 1946 8345 25386 | 2147483647 19698 63 | 0.000 % |
3.37/3.43 c | 27575 | 1946 8345 25386 | 2147483647 20147 63 | 0.000 % |
3.37/3.45 c | 27678 | 1946 8345 25386 | 2147483647 20250 63 | 0.000 % |
3.37/3.47 c | 27788 | 1946 8345 25386 | 2147483647 20360 63 | 0.000 % |
3.47/3.50 c | 27913 | 1946 8345 25386 | 2147483647 20485 63 | 0.000 % |
3.47/3.53 c | 28046 | 1946 8345 25386 | 2147483647 20618 63 | 0.000 % |
3.47/3.56 c | 28196 | 1946 8345 25386 | 2147483647 20768 63 | 0.000 % |
3.47/3.59 c | 28356 | 1946 8345 25386 | 2147483647 20928 63 | 0.000 % |
3.57/3.62 c | 28534 | 1946 8345 25386 | 2147483647 21106 63 | 0.000 % |
3.57/3.66 c | 28727 | 1946 8345 25386 | 2147483647 21299 63 | 0.000 % |
3.67/3.71 c | 28939 | 1946 8345 25386 | 2147483647 21511 63 | 0.000 % |
3.67/3.75 c | 29172 | 1946 8345 25386 | 2147483647 21744 63 | 0.000 % |
3.77/3.80 c | 29428 | 1946 8345 25386 | 2147483647 22000 63 | 0.000 % |
3.77/3.86 c | 29709 | 1946 8345 25386 | 2147483647 22281 63 | 0.000 % |
3.87/3.93 c | 30018 | 1946 8345 25386 | 2147483647 22590 63 | 0.000 % |
3.97/4.00 c | 30358 | 1946 8345 25386 | 2147483647 22930 63 | 0.000 % |
3.97/4.08 c | 30730 | 1946 8345 25386 | 2147483647 23302 63 | 0.000 % |
4.07/4.16 c | 31140 | 1946 8345 25386 | 2147483647 23712 63 | 0.000 % |
4.17/4.26 c | 31592 | 1946 8345 25386 | 2147483647 24164 63 | 0.000 % |
4.27/4.37 c | 32085 | 1946 8345 25386 | 2147483647 24657 63 | 0.000 % |
4.27/4.40 c | 32185 | 1946 8345 25386 | 2147483647 24757 63 | 0.000 % |
4.37/4.43 c | 32296 | 1946 8345 25386 | 2147483647 24868 63 | 0.000 % |
4.37/4.46 c | 32418 | 1946 8345 25386 | 2147483647 24990 63 | 0.000 % |
4.37/4.49 c | 32551 | 1946 8345 25386 | 2147483647 25123 63 | 0.000 % |
4.47/4.53 c | 32697 | 1946 8345 25386 | 2147483647 25269 63 | 0.000 % |
4.47/4.57 c | 32857 | 1946 8345 25386 | 2147483647 25429 63 | 0.000 % |
4.57/4.61 c | 33033 | 1946 8345 25386 | 2147483647 25605 63 | 0.000 % |
4.57/4.66 c | 33227 | 1946 8345 25386 | 2147483647 25799 63 | 0.000 % |
4.67/4.70 c | 33439 | 1946 8345 25386 | 2147483647 26011 63 | 0.000 % |
4.67/4.76 c | 33674 | 1946 8345 25386 | 2147483647 26246 63 | 0.000 % |
4.77/4.83 c | 33931 | 1946 8345 25386 | 2147483647 26503 63 | 0.000 % |
4.87/4.90 c | 34212 | 1946 8345 25386 | 2147483647 26784 63 | 0.000 % |
4.87/4.97 c | 34522 | 1946 8345 25386 | 2147483647 27094 63 | 0.000 % |
4.97/5.06 c | 34861 | 1946 8345 25386 | 2147483647 27433 63 | 0.000 % |
5.07/5.16 c | 35233 | 1946 8345 25386 | 2147483647 27805 64 | 0.000 % |
5.17/5.26 c | 35642 | 1946 8345 25386 | 2147483647 28214 64 | 0.000 % |
5.27/5.37 c | 36091 | 1946 8345 25386 | 2147483647 28663 64 | 0.000 % |
5.37/5.49 c | 36584 | 1946 8345 25386 | 2147483647 29156 64 | 0.000 % |
5.57/5.63 c | 37126 | 1946 8345 25386 | 2147483647 29698 64 | 0.000 % |
5.57/5.66 c | 37230 | 1946 8345 25386 | 2147483647 29802 64 | 0.000 % |
5.57/5.69 c | 37340 | 1946 8345 25386 | 2147483647 29912 64 | 0.000 % |
5.66/5.73 c | 37461 | 1946 8345 25386 | 2147483647 30033 64 | 0.000 % |
5.66/5.76 c | 37594 | 1946 8345 25386 | 2147483647 30166 64 | 0.000 % |
5.76/5.80 c | 37741 | 1946 8345 25386 | 2147483647 30313 64 | 0.000 % |
5.76/5.85 c | 37902 | 1946 8345 25386 | 2147483647 30474 64 | 0.000 % |
5.86/5.90 c | 38080 | 1946 8345 25386 | 2147483647 30652 64 | 0.000 % |
5.86/5.95 c | 38273 | 1946 8345 25386 | 2147483647 30845 64 | 0.000 % |
5.96/6.01 c | 38485 | 1946 8345 25386 | 2147483647 31057 64 | 0.000 % |
5.96/6.07 c | 38718 | 1946 8345 25386 | 2147483647 31290 64 | 0.000 % |
6.06/6.14 c | 38975 | 1946 8345 25386 | 2147483647 31547 64 | 0.000 % |
6.17/6.22 c | 39258 | 1946 8345 25386 | 2147483647 31830 64 | 0.000 % |
6.27/6.31 c | 39567 | 1946 8345 25386 | 2147483647 32139 63 | 0.000 % |
6.37/6.40 c | 39908 | 1946 8345 25386 | 2147483647 32480 63 | 0.000 % |
6.47/6.50 c | 40280 | 1946 8345 25386 | 2147483647 32852 63 | 0.000 % |
6.57/6.62 c | 40690 | 1946 8345 25386 | 2147483647 33262 63 | 0.000 % |
6.67/6.75 c | 41140 | 1946 8345 25386 | 2147483647 33712 64 | 0.000 % |
6.86/6.90 c | 41633 | 1946 8345 25386 | 2147483647 34205 64 | 0.000 % |
6.96/7.05 c | 42175 | 1946 8345 25386 | 2147483647 34747 64 | 0.000 % |
7.16/7.24 c | 42773 | 1946 8345 25386 | 2147483647 35345 64 | 0.000 % |
7.16/7.27 c | 42873 | 1946 8345 25386 | 2147483647 35445 64 | 0.000 % |
7.26/7.31 c | 42984 | 1946 8345 25386 | 2147483647 35556 64 | 0.000 % |
7.26/7.35 c | 43105 | 1946 8345 25386 | 2147483647 35677 64 | 0.000 % |
7.26/7.39 c | 43238 | 1946 8345 25386 | 2147483647 35810 64 | 0.000 % |
7.36/7.44 c | 43386 | 1946 8345 25386 | 2147483647 35958 64 | 0.000 % |
7.36/7.50 c | 43546 | 1946 8345 25386 | 2147483647 36118 64 | 0.000 % |
7.46/7.56 c | 43722 | 1946 8345 25386 | 2147483647 36294 64 | 0.000 % |
7.57/7.62 c | 43915 | 1946 8345 25386 | 2147483647 36487 64 | 0.000 % |
7.57/7.69 c | 44127 | 1946 8345 25386 | 2147483647 36699 64 | 0.000 % |
7.67/7.77 c | 44361 | 1946 8345 25386 | 2147483647 36933 64 | 0.000 % |
7.76/7.86 c | 44617 | 1946 8345 25386 | 2147483647 37189 64 | 0.000 % |
7.86/7.95 c | 44899 | 1946 8345 25386 | 2147483647 37471 64 | 0.000 % |
7.96/8.06 c | 45209 | 1946 8345 25386 | 2147483647 37781 64 | 0.000 % |
8.06/8.16 c | 45548 | 1946 8345 25386 | 2147483647 38120 64 | 0.000 % |
8.16/8.29 c | 45922 | 1946 8345 25386 | 2147483647 38494 64 | 0.000 % |
8.36/8.43 c | 46331 | 1946 8345 25386 | 2147483647 38903 64 | 0.000 % |
8.46/8.59 c | 46780 | 1946 8345 25386 | 2147483647 39352 64 | 0.000 % |
8.66/8.75 c | 47273 | 1946 8345 25386 | 2147483647 39845 64 | 0.000 % |
8.86/8.93 c | 47815 | 1946 8345 25386 | 2147483647 40387 64 | 0.000 % |
9.06/9.13 c | 48412 | 1946 8345 25386 | 2147483647 40984 64 | 0.000 % |
9.26/9.34 c | 49068 | 1946 8345 25386 | 2147483647 41640 64 | 0.000 % |
9.26/9.38 c | 49168 | 1946 8345 25386 | 2147483647 41740 64 | 0.000 % |
9.36/9.43 c | 49278 | 1946 8345 25386 | 2147483647 41850 64 | 0.000 % |
9.36/9.47 c | 49399 | 1946 8345 25386 | 2147483647 41971 64 | 0.000 % |
9.46/9.52 c | 49534 | 1946 8345 25386 | 2147483647 42106 64 | 0.000 % |
9.46/9.58 c | 49681 | 1946 8345 25386 | 2147483647 42253 64 | 0.000 % |
9.56/9.65 c | 49841 | 1946 8345 25386 | 2147483647 42413 64 | 0.000 % |
9.66/9.72 c | 50017 | 1946 8345 25386 | 2147483647 42589 64 | 0.000 % |
9.66/9.79 c | 50210 | 1946 8345 25386 | 2147483647 42782 64 | 0.000 % |
9.77/9.88 c | 50424 | 1946 8345 25386 | 2147483647 42996 64 | 0.000 % |
9.87/9.97 c | 50658 | 1946 8345 25386 | 2147483647 43230 64 | 0.000 % |
9.96/10.06 c | 50914 | 1946 8345 25386 | 2147483647 43486 64 | 0.000 % |
10.06/10.18 c | 51197 | 1946 8345 25386 | 2147483647 43769 64 | 0.000 % |
10.16/10.29 c | 51506 | 1946 8345 25386 | 2147483647 44078 64 | 0.000 % |
10.36/10.43 c | 51845 | 1946 8345 25386 | 2147483647 44417 64 | 0.000 % |
10.46/10.57 c | 52218 | 1946 8345 25386 | 2147483647 44790 64 | 0.000 % |
10.66/10.72 c | 52631 | 1946 8345 25386 | 2147483647 45203 64 | 0.000 % |
10.76/10.90 c | 53082 | 1946 8345 25386 | 2147483647 45654 64 | 0.000 % |
10.96/11.09 c | 53575 | 1946 8345 25386 | 2147483647 46147 64 | 0.000 % |
11.26/11.30 c | 54118 | 1946 8345 25386 | 2147483647 46690 64 | 0.000 % |
11.46/11.52 c | 54714 | 1946 8345 25386 | 2147483647 47286 64 | 0.000 % |
11.66/11.79 c | 55370 | 1946 8345 25386 | 2147483647 47942 64 | 0.000 % |
11.96/12.08 c | 56091 | 1946 8345 25386 | 2147483647 48663 64 | 0.000 % |
12.06/12.12 c | 56192 | 1946 8345 25386 | 2147483647 48764 64 | 0.000 % |
12.06/12.17 c | 56302 | 1946 8345 25386 | 2147483647 48874 64 | 0.000 % |
12.15/12.23 c | 56423 | 1946 8345 25386 | 2147483647 48995 64 | 0.000 % |
12.15/12.29 c | 56556 | 1946 8345 25386 | 2147483647 49128 64 | 0.000 % |
12.25/12.36 c | 56703 | 1946 8345 25386 | 2147483647 49275 64 | 0.000 % |
12.35/12.43 c | 56863 | 1946 8345 25386 | 2147483647 49435 64 | 0.000 % |
12.45/12.52 c | 57040 | 1946 8345 25386 | 2147483647 49612 64 | 0.000 % |
12.55/12.61 c | 57237 | 1946 8345 25386 | 2147483647 49809 64 | 0.000 % |
12.65/12.70 c | 57450 | 1946 8345 25386 | 2147483647 50022 64 | 0.000 % |
12.75/12.80 c | 57685 | 1946 8345 25386 | 2147483647 50257 64 | 0.000 % |
12.85/12.91 c | 57941 | 1946 8345 25386 | 2147483647 50513 64 | 0.000 % |
12.95/13.04 c | 58222 | 1946 8345 25386 | 2147483647 50794 64 | 0.000 % |
13.06/13.18 c | 58532 | 1946 8345 25386 | 2147483647 51104 64 | 0.000 % |
13.25/13.34 c | 58873 | 1946 8345 25386 | 2147483647 51445 64 | 0.000 % |
13.35/13.49 c | 59245 | 1946 8345 25386 | 2147483647 51817 64 | 0.000 % |
13.56/13.70 c | 59654 | 1946 8345 25386 | 2147483647 52226 64 | 0.000 % |
13.76/13.87 c | 60105 | 1946 8345 25386 | 2147483647 52677 64 | 0.000 % |
13.96/14.09 c | 60599 | 1946 8345 25386 | 2147483647 53171 64 | 0.000 % |
14.26/14.34 c | 61142 | 1946 8345 25386 | 2147483647 53714 64 | 0.000 % |
14.56/14.61 c | 61738 | 1946 8345 25386 | 2147483647 54310 64 | 0.000 % |
14.85/14.90 c | 62393 | 1946 8345 25386 | 2147483647 54965 64 | 0.000 % |
15.15/15.21 c | 63115 | 1946 8345 25386 | 2147483647 55687 64 | 0.000 % |
15.45/15.56 c | 63908 | 1946 8345 25386 | 2147483647 56480 65 | 0.000 % |
15.55/15.60 c | 64009 | 1946 8345 25386 | 2147483647 56581 65 | 0.000 % |
15.55/15.68 c | 64122 | 1946 8345 25386 | 2147483647 56694 65 | 0.000 % |
15.65/15.74 c | 64244 | 1946 8345 25386 | 2147483647 56816 65 | 0.000 % |
15.75/15.82 c | 64377 | 1946 8345 25386 | 2147483647 56949 65 | 0.000 % |
15.75/15.90 c | 64524 | 1946 8345 25386 | 2147483647 57096 64 | 0.000 % |
15.85/15.99 c | 64685 | 1946 8345 25386 | 2147483647 57257 64 | 0.000 % |
15.95/16.07 c | 64861 | 1946 8345 25386 | 2147483647 57433 64 | 0.000 % |
16.05/16.15 c | 65054 | 1946 8345 25386 | 2147483647 57626 64 | 0.000 % |
16.15/16.27 c | 65267 | 1946 8345 25386 | 2147483647 57839 64 | 0.000 % |
16.25/16.38 c | 65502 | 1946 8345 25386 | 2147483647 58074 64 | 0.000 % |
16.45/16.52 c | 65759 | 1946 8345 25386 | 2147483647 58331 64 | 0.000 % |
16.55/16.67 c | 66040 | 1946 8345 25386 | 2147483647 58612 64 | 0.000 % |
16.76/16.83 c | 66349 | 1946 8345 25386 | 2147483647 58921 64 | 0.000 % |
16.96/17.01 c | 66688 | 1946 8345 25386 | 2147483647 59260 64 | 0.000 % |
17.16/17.22 c | 67062 | 1946 8345 25386 | 2147483647 59634 64 | 0.000 % |
17.36/17.41 c | 67471 | 1946 8345 25386 | 2147483647 60043 64 | 0.000 % |
17.56/17.63 c | 67920 | 1946 8345 25386 | 2147483647 60492 65 | 0.000 % |
17.76/17.88 c | 68413 | 1946 8345 25386 | 2147483647 60985 65 | 0.000 % |
18.06/18.15 c | 68955 | 1946 8345 25386 | 2147483647 61527 65 | 0.000 % |
18.36/18.43 c | 69552 | 1946 8345 25386 | 2147483647 62124 64 | 0.000 % |
18.66/18.78 c | 70207 | 1946 8345 25386 | 2147483647 62779 65 | 0.000 % |
19.05/19.14 c | 70928 | 1946 8345 25386 | 2147483647 63500 65 | 0.000 % |
19.45/19.52 c | 71720 | 1946 8345 25386 | 2147483647 64292 65 | 0.000 % |
19.85/19.97 c | 72592 | 1946 8345 25386 | 2147483647 65164 65 | 0.000 % |
19.95/20.04 c | 72692 | 1946 8345 25386 | 2147483647 65264 65 | 0.000 % |
20.05/20.11 c | 72803 | 1946 8345 25386 | 2147483647 65375 65 | 0.000 % |
20.05/20.18 c | 72925 | 1946 8345 25386 | 2147483647 65497 65 | 0.000 % |
20.15/20.26 c | 73058 | 1946 8345 25386 | 2147483647 65630 65 | 0.000 % |
20.25/20.35 c | 73205 | 1946 8345 25386 | 2147483647 65777 65 | 0.000 % |
20.35/20.44 c | 73366 | 1946 8345 25386 | 2147483647 65938 65 | 0.000 % |
20.45/20.54 c | 73542 | 1946 8345 25386 | 2147483647 66114 65 | 0.000 % |
20.55/20.66 c | 73737 | 1946 8345 25386 | 2147483647 66309 65 | 0.000 % |
20.65/20.78 c | 73950 | 1946 8345 25386 | 2147483647 66522 65 | 0.000 % |
20.85/20.91 c | 74183 | 1946 8345 25386 | 2147483647 66755 65 | 0.000 % |
20.95/21.06 c | 74440 | 1946 8345 25386 | 2147483647 67012 65 | 0.000 % |
21.15/21.24 c | 74721 | 1946 8345 25386 | 2147483647 67293 65 | 0.000 % |
21.25/21.39 c | 75031 | 1946 8345 25386 | 2147483647 67603 65 | 0.000 % |
21.45/21.58 c | 75370 | 1946 8345 25386 | 2147483647 67942 65 | 0.000 % |
21.65/21.79 c | 75743 | 1946 8345 25386 | 2147483647 68315 65 | 0.000 % |
21.95/22.03 c | 76152 | 1946 8345 25386 | 2147483647 68724 65 | 0.000 % |
22.15/22.29 c | 76601 | 1946 8345 25386 | 2147483647 69173 65 | 0.000 % |
22.45/22.57 c | 77095 | 1946 8345 25386 | 2147483647 69667 65 | 0.000 % |
22.84/22.90 c | 77638 | 1946 8345 25386 | 2147483647 70210 65 | 0.000 % |
23.14/23.28 c | 78234 | 1946 8345 25386 | 2147483647 70806 65 | 0.000 % |
23.54/23.65 c | 78889 | 1946 8345 25386 | 2147483647 71461 65 | 0.000 % |
23.95/24.05 c | 79609 | 1946 8345 25386 | 2147483647 72181 65 | 0.000 % |
24.35/24.48 c | 80401 | 1946 8345 25386 | 2147483647 72973 65 | 0.000 % |
24.85/24.97 c | 81272 | 1946 8345 25386 | 2147483647 73844 65 | 0.000 % |
25.45/25.52 c | 82230 | 1946 8345 25386 | 2147483647 74802 65 | 0.000 % |
25.45/25.57 c | 82330 | 1946 8345 25386 | 2147483647 74902 65 | 0.000 % |
25.55/25.65 c | 82442 | 1946 8345 25386 | 2147483647 75014 65 | 0.000 % |
25.65/25.73 c | 82564 | 1946 8345 25386 | 2147483647 75136 65 | 0.000 % |
25.75/25.84 c | 82699 | 1946 8345 25386 | 2147483647 75271 65 | 0.000 % |
25.85/25.93 c | 82845 | 1946 8345 25386 | 2147483647 75417 65 | 0.000 % |
25.95/26.05 c | 83006 | 1946 8345 25386 | 2147483647 75578 65 | 0.000 % |
26.15/26.20 c | 83182 | 1946 8345 25386 | 2147483647 75754 65 | 0.000 % |
26.25/26.33 c | 83375 | 1946 8345 25386 | 2147483647 75947 65 | 0.000 % |
26.35/26.47 c | 83587 | 1946 8345 25386 | 2147483647 76159 65 | 0.000 % |
26.55/26.64 c | 83821 | 1946 8345 25386 | 2147483647 76393 65 | 0.000 % |
26.75/26.80 c | 84079 | 1946 8345 25386 | 2147483647 76651 65 | 0.000 % |
26.95/27.00 c | 84360 | 1946 8345 25386 | 2147483647 76932 65 | 0.000 % |
27.05/27.19 c | 84671 | 1946 8345 25386 | 2147483647 77243 65 | 0.000 % |
27.35/27.42 c | 85010 | 1946 8345 25386 | 2147483647 77582 65 | 0.000 % |
27.54/27.67 c | 85382 | 1946 8345 25386 | 2147483647 77954 65 | 0.000 % |
27.84/27.93 c | 85791 | 1946 8345 25386 | 2147483647 78363 65 | 0.000 % |
28.14/28.20 c | 86241 | 1946 8345 25386 | 2147483647 78813 65 | 0.000 % |
28.35/28.49 c | 86734 | 1946 8345 25386 | 2147483647 79306 65 | 0.000 % |
28.75/28.82 c | 87279 | 1946 8345 25386 | 2147483647 79851 65 | 0.000 % |
29.05/29.19 c | 87875 | 1946 8345 25386 | 2147483647 80447 65 | 0.000 % |
29.45/29.58 c | 88530 | 1946 8345 25386 | 2147483647 81102 65 | 0.000 % |
29.95/30.09 c | 89250 | 1946 8345 25386 | 2147483647 81822 65 | 0.000 % |
30.45/30.57 c | 90042 | 1946 8345 25386 | 2147483647 82614 65 | 0.000 % |
31.05/31.17 c | 90914 | 1946 8345 25386 | 2147483647 83486 65 | 0.000 % |
31.64/31.78 c | 91872 | 1946 8345 25386 | 2147483647 84444 65 | 0.000 % |
32.34/32.43 c | 92927 | 1946 8345 25386 | 2147483647 85499 65 | 0.000 % |
32.44/32.50 c | 93027 | 1946 8345 25386 | 2147483647 85599 65 | 0.000 % |
32.54/32.60 c | 93139 | 1946 8345 25386 | 2147483647 85711 65 | 0.000 % |
32.54/32.67 c | 93260 | 1946 8345 25386 | 2147483647 85832 65 | 0.000 % |
32.64/32.76 c | 93393 | 1946 8345 25386 | 2147483647 85965 65 | 0.000 % |
32.74/32.87 c | 93540 | 1946 8345 25386 | 2147483647 86112 65 | 0.000 % |
32.94/33.01 c | 93702 | 1946 8345 25386 | 2147483647 86274 65 | 0.000 % |
33.04/33.15 c | 93878 | 1946 8345 25386 | 2147483647 86450 65 | 0.000 % |
33.24/33.30 c | 94071 | 1946 8345 25386 | 2147483647 86643 65 | 0.000 % |
33.34/33.47 c | 94284 | 1946 8345 25386 | 2147483647 86856 65 | 0.000 % |
33.54/33.65 c | 94519 | 1946 8345 25386 | 2147483647 87091 65 | 0.000 % |
33.74/33.85 c | 94777 | 1946 8345 25386 | 2147483647 87349 65 | 0.000 % |
33.94/34.06 c | 95058 | 1946 8345 25386 | 2147483647 87630 65 | 0.000 % |
34.24/34.30 c | 95372 | 1946 8345 25386 | 2147483647 87944 65 | 0.000 % |
34.44/34.55 c | 95712 | 1946 8345 25386 | 2147483647 88284 65 | 0.000 % |
34.74/34.84 c | 96084 | 1946 8345 25386 | 2147483647 88656 65 | 0.000 % |
35.04/35.15 c | 96493 | 1946 8345 25386 | 2147483647 89065 65 | 0.000 % |
35.34/35.46 c | 96942 | 1946 8345 25386 | 2147483647 89514 65 | 0.000 % |
35.74/35.85 c | 97439 | 1946 8345 25386 | 2147483647 90011 65 | 0.000 % |
36.14/36.20 c | 97981 | 1946 8345 25386 | 2147483647 90553 65 | 0.000 % |
36.54/36.62 c | 98578 | 1946 8345 25386 | 2147483647 91150 65 | 0.000 % |
37.04/37.12 c | 99233 | 1946 8345 25386 | 2147483647 91805 65 | 0.000 % |
37.54/37.67 c | 99954 | 1946 8345 25386 | 2147483647 92526 65 | 0.000 % |
38.14/38.25 c | 100747 | 1946 8345 25386 | 2147483647 93319 65 | 0.000 % |
38.75/38.89 c | 101619 | 1946 8345 25386 | 2147483647 94191 65 | 0.000 % |
39.45/39.58 c | 102578 | 1946 8345 25386 | 2147483647 95150 65 | 0.000 % |
40.24/40.36 c | 103631 | 1946 8345 25386 | 2147483647 96203 65 | 0.000 % |
41.14/41.25 c | 104789 | 1946 8345 25386 | 2147483647 97361 65 | 0.000 % |
41.24/41.33 c | 104890 | 1946 8345 25386 | 2147483647 97462 65 | 0.000 % |
41.34/41.42 c | 105001 | 1946 8345 25386 | 2147483647 97573 65 | 0.000 % |
41.44/41.54 c | 105122 | 1946 8345 25386 | 2147483647 97694 65 | 0.000 % |
41.54/41.66 c | 105255 | 1946 8345 25386 | 2147483647 97827 65 | 0.000 % |
41.64/41.80 c | 105402 | 1946 8345 25386 | 2147483647 97974 65 | 0.000 % |
41.84/41.93 c | 105563 | 1946 8345 25386 | 2147483647 98135 65 | 0.000 % |
42.04/42.11 c | 105739 | 1946 8345 25386 | 2147483647 98311 65 | 0.000 % |
42.14/42.25 c | 105935 | 1946 8345 25386 | 2147483647 98507 65 | 0.000 % |
42.34/42.40 c | 106147 | 1946 8345 25386 | 2147483647 98719 65 | 0.000 % |
42.44/42.58 c | 106380 | 1946 8345 25386 | 2147483647 98952 65 | 0.000 % |
42.64/42.79 c | 106637 | 1946 8345 25386 | 2147483647 99209 65 | 0.000 % |
42.94/43.01 c | 106918 | 1946 8345 25386 | 2147483647 99490 65 | 0.000 % |
43.14/43.25 c | 107228 | 1946 8345 25386 | 2147483647 99800 65 | 0.000 % |
43.44/43.50 c | 107569 | 1946 8345 25386 | 2147483647 100141 65 | 0.000 % |
43.74/43.83 c | 107944 | 1946 8345 25386 | 2147483647 100516 65 | 0.000 % |
44.03/44.16 c | 108354 | 1946 8345 25386 | 2147483647 100926 65 | 0.000 % |
44.44/44.55 c | 108805 | 1946 8345 25386 | 2147483647 101377 65 | 0.000 % |
44.84/44.97 c | 109300 | 1946 8345 25386 | 2147483647 101872 65 | 0.000 % |
45.24/45.39 c | 109843 | 1946 8345 25386 | 2147483647 102415 65 | 0.000 % |
45.84/45.90 c | 110439 | 1946 8345 25386 | 102573 89746 65 | 0.000 % |
46.24/46.31 c | 111095 | 1946 8345 25386 | 102573 90402 65 | 0.000 % |
46.74/46.86 c | 111815 | 1946 8345 25386 | 102573 91122 65 | 0.000 % |
47.34/47.42 c | 112610 | 1946 8345 25386 | 102573 91917 65 | 0.000 % |
47.94/48.06 c | 113481 | 1946 8345 25386 | 102573 92788 65 | 0.000 % |
48.74/48.81 c | 114439 | 1946 8345 25386 | 102573 93746 65 | 0.000 % |
49.44/49.53 c | 115492 | 1946 8345 25386 | 102573 94799 65 | 0.000 % |
50.24/50.34 c | 116650 | 1946 8345 25386 | 102573 95957 65 | 0.000 % |
51.14/51.28 c | 117923 | 1946 8345 25386 | 102573 97230 65 | 0.000 % |
51.24/51.36 c | 118025 | 1946 8345 25386 | 102573 97332 65 | 0.000 % |
51.34/51.48 c | 118135 | 1946 8345 25386 | 102573 97442 65 | 0.000 % |
51.44/51.59 c | 118256 | 1946 8345 25386 | 102573 97563 65 | 0.000 % |
51.54/51.70 c | 118391 | 1946 8345 25386 | 102573 97698 65 | 0.000 % |
51.74/51.82 c | 118538 | 1946 8345 25386 | 102573 97845 65 | 0.000 % |
51.94/52.02 c | 118698 | 1946 8345 25386 | 102573 98005 65 | 0.000 % |
52.04/52.16 c | 118874 | 1946 8345 25386 | 102573 98181 65 | 0.000 % |
52.24/52.32 c | 119067 | 1946 8345 25386 | 102573 98374 65 | 0.000 % |
52.44/52.53 c | 119280 | 1946 8345 25386 | 102573 98587 65 | 0.000 % |
52.64/52.73 c | 119513 | 1946 8345 25386 | 102573 98820 65 | 0.000 % |
52.83/52.96 c | 119770 | 1946 8345 25386 | 102573 99077 65 | 0.000 % |
53.13/53.20 c | 120051 | 1946 8345 25386 | 99308 99358 65 | 0.000 % |
53.43/53.51 c | 120361 | 1946 8345 25386 | 99308 86752 66 | 0.000 % |
53.63/53.74 c | 120700 | 1946 8345 25386 | 99308 87091 65 | 0.000 % |
53.93/54.01 c | 121072 | 1946 8345 25386 | 99308 87463 65 | 0.000 % |
54.23/54.30 c | 121481 | 1946 8345 25386 | 99308 87872 65 | 0.000 % |
54.53/54.63 c | 121931 | 1946 8345 25386 | 99308 88322 65 | 0.000 % |
54.94/55.00 c | 122425 | 1946 8345 25386 | 99308 88816 65 | 0.000 % |
55.23/55.38 c | 122968 | 1946 8345 25386 | 99308 89359 65 | 0.000 % |
55.63/55.79 c | 123566 | 1946 8345 25386 | 99308 89957 66 | 0.000 % |
56.13/56.29 c | 124221 | 1946 8345 25386 | 99308 90612 66 | 0.000 % |
56.73/56.80 c | 124941 | 1946 8345 25386 | 99308 91332 66 | 0.000 % |
57.23/57.32 c | 125734 | 1946 8345 25386 | 99308 92125 66 | 0.000 % |
57.83/57.95 c | 126606 | 1946 8345 25386 | 99308 92997 66 | 0.000 % |
58.43/58.58 c | 127565 | 1946 8345 25386 | 99308 93956 66 | 0.000 % |
59.23/59.38 c | 128618 | 1946 8345 25386 | 99308 95009 66 | 0.000 % |
60.23/60.32 c | 129776 | 1946 8345 25386 | 99308 96167 66 | 0.000 % |
61.13/61.22 c | 131050 | 1946 8345 25386 | 96391 86070 66 | 0.000 % |
62.13/62.21 c | 132450 | 1946 8345 25386 | 96391 87470 66 | 0.000 % |
62.13/62.29 c | 132550 | 1946 8345 25386 | 96391 87570 66 | 0.000 % |
62.23/62.39 c | 132660 | 1946 8345 25386 | 96391 87680 66 | 0.000 % |
62.43/62.50 c | 132782 | 1946 8345 25386 | 96391 87802 66 | 0.000 % |
62.53/62.62 c | 132917 | 1946 8345 25386 | 96391 87937 66 | 0.000 % |
62.63/62.74 c | 133063 | 1946 8345 25386 | 96391 88083 66 | 0.000 % |
62.73/62.87 c | 133223 | 1946 8345 25386 | 96391 88243 66 | 0.000 % |
62.93/63.01 c | 133399 | 1946 8345 25386 | 96391 88419 66 | 0.000 % |
63.03/63.14 c | 133593 | 1946 8345 25386 | 96391 88613 66 | 0.000 % |
63.23/63.31 c | 133808 | 1946 8345 25386 | 96391 88828 66 | 0.000 % |
63.43/63.50 c | 134042 | 1946 8345 25386 | 96391 89062 66 | 0.000 % |
63.63/63.74 c | 134298 | 1946 8345 25386 | 96391 89318 66 | 0.000 % |
63.83/63.96 c | 134579 | 1946 8345 25386 | 96391 89599 66 | 0.000 % |
64.13/64.21 c | 134888 | 1946 8345 25386 | 96391 89908 66 | 0.000 % |
64.33/64.47 c | 135227 | 1946 8345 25386 | 96391 90247 66 | 0.000 % |
64.63/64.77 c | 135599 | 1946 8345 25386 | 96391 90619 66 | 0.000 % |
64.93/65.05 c | 136008 | 1946 8345 25386 | 96391 91028 66 | 0.000 % |
65.23/65.39 c | 136459 | 1946 8345 25386 | 96391 91479 66 | 0.000 % |
65.63/65.73 c | 136952 | 1946 8345 25386 | 96391 91972 66 | 0.000 % |
66.03/66.11 c | 137494 | 1946 8345 25386 | 96391 92514 66 | 0.000 % |
66.43/66.54 c | 138091 | 1946 8345 25386 | 96391 93111 66 | 0.000 % |
66.93/67.05 c | 138748 | 1946 8345 25386 | 96391 93768 66 | 0.000 % |
67.42/67.53 c | 139468 | 1946 8345 25386 | 96391 94488 66 | 0.000 % |
68.03/68.18 c | 140263 | 1946 8345 25386 | 95021 83822 66 | 0.000 % |
68.62/68.75 c | 141135 | 1946 8345 25386 | 95021 84694 66 | 0.000 % |
69.23/69.36 c | 142093 | 1946 8345 25386 | 95021 85652 66 | 0.000 % |
69.92/70.02 c | 143146 | 1946 8345 25386 | 95021 86705 66 | 0.000 % |
70.62/70.77 c | 144304 | 1946 8345 25386 | 95021 87863 66 | 0.000 % |
71.62/71.72 c | 145578 | 1946 8345 25386 | 95021 89137 66 | 0.000 % |
72.53/72.62 c | 146978 | 1946 8345 25386 | 95021 90537 66 | 0.000 % |
73.63/73.73 c | 148518 | 1946 8345 25386 | 95021 92077 66 | 0.000 % |
73.72/73.83 c | 148618 | 1946 8345 25386 | 95021 92177 66 | 0.000 % |
73.82/73.93 c | 148730 | 1946 8345 25386 | 95021 92289 66 | 0.000 % |
73.92/74.03 c | 148851 | 1946 8345 25386 | 95021 92410 66 | 0.000 % |
74.02/74.13 c | 148989 | 1946 8345 25386 | 95021 92548 66 | 0.000 % |
74.12/74.24 c | 149135 | 1946 8345 25386 | 95021 92694 66 | 0.000 % |
74.22/74.36 c | 149295 | 1946 8345 25386 | 95021 92854 66 | 0.000 % |
74.42/74.52 c | 149472 | 1946 8345 25386 | 95021 93031 66 | 0.000 % |
74.52/74.66 c | 149668 | 1946 8345 25386 | 95021 93227 66 | 0.000 % |
74.73/74.81 c | 149882 | 1946 8345 25386 | 95021 93441 66 | 0.000 % |
74.82/74.99 c | 150115 | 1946 8345 25386 | 93559 93674 66 | 0.000 % |
75.12/75.21 c | 150371 | 1946 8345 25386 | 93559 83945 66 | 0.000 % |
75.22/75.39 c | 150654 | 1946 8345 25386 | 93559 84228 66 | 0.000 % |
75.42/75.60 c | 150965 | 1946 8345 25386 | 93559 84539 66 | 0.000 % |
75.73/75.84 c | 151305 | 1946 8345 25386 | 93559 84879 66 | 0.000 % |
76.02/76.12 c | 151679 | 1946 8345 25386 | 93559 85253 66 | 0.000 % |
76.32/76.41 c | 152089 | 1946 8345 25386 | 93559 85663 66 | 0.000 % |
76.62/76.74 c | 152538 | 1946 8345 25386 | 93559 86112 66 | 0.000 % |
76.93/77.09 c | 153031 | 1946 8345 25386 | 93559 86605 66 | 0.000 % |
77.32/77.49 c | 153574 | 1946 8345 25386 | 93559 87148 66 | 0.000 % |
77.82/77.90 c | 154170 | 1946 8345 25386 | 93559 87744 66 | 0.000 % |
78.22/78.36 c | 154826 | 1946 8345 25386 | 93559 88400 66 | 0.000 % |
78.72/78.84 c | 155546 | 1946 8345 25386 | 93559 89120 66 | 0.000 % |
79.32/79.44 c | 156338 | 1946 8345 25386 | 93559 89912 66 | 0.000 % |
79.92/80.03 c | 157209 | 1946 8345 25386 | 93559 90783 66 | 0.000 % |
80.62/80.71 c | 158168 | 1946 8345 25386 | 93559 91742 66 | 0.000 % |
81.32/81.44 c | 159221 | 1946 8345 25386 | 93559 92795 66 | 0.000 % |
82.12/82.22 c | 160379 | 1946 8345 25386 | 2147483647 93953 66 | 0.000 % |
82.92/83.08 c | 161653 | 1946 8345 25386 | 2147483647 95227 66 | 0.000 % |
83.92/84.07 c | 163056 | 1946 8345 25386 | 2147483647 96630 66 | 0.000 % |
85.12/85.24 c | 164596 | 1946 8345 25386 | 2147483647 98170 66 | 0.000 % |
86.42/86.51 c | 166291 | 1946 8345 25386 | 2147483647 99865 66 | 0.000 % |
86.42/86.60 c | 166391 | 1946 8345 25386 | 2147483647 99965 66 | 0.000 % |
86.52/86.69 c | 166502 | 1946 8345 25386 | 2147483647 100076 66 | 0.000 % |
86.72/86.82 c | 166623 | 1946 8345 25386 | 2147483647 100197 66 | 0.000 % |
86.82/86.94 c | 166756 | 1946 8345 25386 | 2147483647 100330 66 | 0.000 % |
86.92/87.07 c | 166903 | 1946 8345 25386 | 2147483647 100477 66 | 0.000 % |
87.12/87.20 c | 167065 | 1946 8345 25386 | 2147483647 100639 66 | 0.000 % |
87.21/87.37 c | 167241 | 1946 8345 25386 | 2147483647 100815 66 | 0.000 % |
87.41/87.53 c | 167434 | 1946 8345 25386 | 2147483647 101008 66 | 0.000 % |
87.61/87.72 c | 167648 | 1946 8345 25386 | 2147483647 101222 66 | 0.000 % |
87.82/87.90 c | 167881 | 1946 8345 25386 | 2147483647 101455 66 | 0.000 % |
88.02/88.11 c | 168137 | 1946 8345 25386 | 2147483647 101711 66 | 0.000 % |
88.22/88.33 c | 168419 | 1946 8345 25386 | 2147483647 101993 66 | 0.000 % |
88.52/88.60 c | 168728 | 1946 8345 25386 | 2147483647 102302 66 | 0.000 % |
88.72/88.87 c | 169067 | 1946 8345 25386 | 2147483647 102641 66 | 0.000 % |
89.12/89.22 c | 169440 | 1946 8345 25386 | 2147483647 103014 66 | 0.000 % |
89.42/89.54 c | 169852 | 1946 8345 25386 | 2147483647 103426 66 | 0.000 % |
89.82/89.95 c | 170301 | 1946 8345 25386 | 103575 90381 66 | 0.000 % |
90.13/90.27 c | 170795 | 1946 8345 25386 | 103575 90875 66 | 0.000 % |
90.52/90.67 c | 171339 | 1946 8345 25386 | 103575 91419 66 | 0.000 % |
91.02/91.12 c | 171935 | 1946 8345 25386 | 103575 92015 66 | 0.000 % |
91.42/91.59 c | 172590 | 1946 8345 25386 | 103575 92670 66 | 0.000 % |
92.02/92.13 c | 173311 | 1946 8345 25386 | 103575 93391 66 | 0.000 % |
92.62/92.71 c | 174104 | 1946 8345 25386 | 103575 94184 66 | 0.000 % |
93.22/93.36 c | 174975 | 1946 8345 25386 | 103575 95055 66 | 0.000 % |
93.92/94.06 c | 175933 | 1946 8345 25386 | 103575 96013 66 | 0.000 % |
94.72/94.84 c | 176987 | 1946 8345 25386 | 103575 97067 66 | 0.000 % |
95.52/95.69 c | 178147 | 1946 8345 25386 | 103575 98227 66 | 0.000 % |
96.62/96.72 c | 179420 | 1946 8345 25386 | 103575 99500 66 | 0.000 % |
97.72/97.89 c | 180821 | 1946 8345 25386 | 100082 88027 66 | 0.000 % |
98.82/98.97 c | 182362 | 1946 8345 25386 | 100082 89568 66 | 0.000 % |
100.02/100.18 c | 184057 | 1946 8345 25386 | 100082 91263 66 | 0.000 % |
101.42/101.50 c | 185920 | 1946 8345 25386 | 100082 93126 66 | 0.000 % |
101.42/101.58 c | 186021 | 1946 8345 25386 | 100082 93227 66 | 0.000 % |
101.62/101.70 c | 186131 | 1946 8345 25386 | 100082 93337 66 | 0.000 % |
101.71/101.80 c | 186253 | 1946 8345 25386 | 100082 93459 66 | 0.000 % |
101.81/101.90 c | 186386 | 1946 8345 25386 | 100082 93592 66 | 0.000 % |
101.91/102.02 c | 186532 | 1946 8345 25386 | 100082 93738 66 | 0.000 % |
102.01/102.17 c | 186692 | 1946 8345 25386 | 100082 93898 66 | 0.000 % |
102.22/102.30 c | 186868 | 1946 8345 25386 | 100082 94074 66 | 0.000 % |
102.31/102.46 c | 187062 | 1946 8345 25386 | 100082 94268 66 | 0.000 % |
102.51/102.63 c | 187274 | 1946 8345 25386 | 100082 94480 66 | 0.000 % |
102.71/102.80 c | 187507 | 1946 8345 25386 | 100082 94713 66 | 0.000 % |
102.91/103.00 c | 187763 | 1946 8345 25386 | 100082 94969 66 | 0.000 % |
103.11/103.20 c | 188044 | 1946 8345 25386 | 100082 95250 66 | 0.000 % |
103.32/103.46 c | 188355 | 1946 8345 25386 | 100082 95561 66 | 0.000 % |
103.61/103.72 c | 188694 | 1946 8345 25386 | 100082 95900 66 | 0.000 % |
103.91/104.02 c | 189066 | 1946 8345 25386 | 100082 96272 66 | 0.000 % |
104.21/104.33 c | 189476 | 1946 8345 25386 | 100082 96682 66 | 0.000 % |
104.51/104.69 c | 189928 | 1946 8345 25386 | 100082 97134 66 | 0.000 % |
105.01/105.16 c | 190424 | 1946 8345 25386 | 97206 84909 66 | 0.000 % |
105.41/105.53 c | 190968 | 1946 8345 25386 | 97206 85453 66 | 0.000 % |
105.81/105.95 c | 191565 | 1946 8345 25386 | 97206 86050 66 | 0.000 % |
106.31/106.44 c | 192222 | 1946 8345 25386 | 97206 86707 66 | 0.000 % |
106.81/106.94 c | 192942 | 1946 8345 25386 | 97206 87427 66 | 0.000 % |
107.31/107.48 c | 193735 | 1946 8345 25386 | 97206 88220 66 | 0.000 % |
107.91/108.02 c | 194606 | 1946 8345 25386 | 97206 89091 66 | 0.000 % |
108.51/108.66 c | 195565 | 1946 8345 25386 | 97206 90050 66 | 0.000 % |
109.31/109.47 c | 196618 | 1946 8345 25386 | 97206 91103 66 | 0.000 % |
110.11/110.29 c | 197776 | 1946 8345 25386 | 97206 92261 66 | 0.000 % |
111.11/111.21 c | 199049 | 1946 8345 25386 | 97206 93534 66 | 0.000 % |
112.11/112.26 c | 200451 | 1946 8345 25386 | 94485 84101 66 | 0.000 % |
113.01/113.20 c | 201991 | 1946 8345 25386 | 94485 85641 66 | 0.000 % |
114.11/114.29 c | 203686 | 1946 8345 25386 | 94485 87336 66 | 0.000 % |
115.41/115.54 c | 205549 | 1946 8345 25386 | 94485 89199 66 | 0.000 % |
116.91/117.01 c | 207598 | 1946 8345 25386 | 94485 91248 66 | 0.000 % |
116.91/117.08 c | 207698 | 1946 8345 25386 | 94485 91348 66 | 0.000 % |
117.01/117.16 c | 207809 | 1946 8345 25386 | 94485 91459 66 | 0.000 % |
117.11/117.27 c | 207931 | 1946 8345 25386 | 94485 91581 66 | 0.000 % |
117.21/117.38 c | 208065 | 1946 8345 25386 | 94485 91715 66 | 0.000 % |
117.41/117.51 c | 208211 | 1946 8345 25386 | 94485 91861 66 | 0.000 % |
117.51/117.65 c | 208372 | 1946 8345 25386 | 94485 92022 66 | 0.000 % |
117.61/117.78 c | 208548 | 1946 8345 25386 | 94485 92198 66 | 0.000 % |
117.81/117.94 c | 208742 | 1946 8345 25386 | 94485 92392 66 | 0.000 % |
118.01/118.10 c | 208955 | 1946 8345 25386 | 94485 92605 66 | 0.000 % |
118.21/118.30 c | 209189 | 1946 8345 25386 | 94485 92839 66 | 0.000 % |
118.41/118.50 c | 209445 | 1946 8345 25386 | 94485 93095 66 | 0.000 % |
118.61/118.73 c | 209727 | 1946 8345 25386 | 94485 93377 66 | 0.000 % |
118.80/119.00 c | 210037 | 1946 8345 25386 | 93651 93687 66 | 0.000 % |
119.20/119.31 c | 210376 | 1946 8345 25386 | 93651 83768 66 | 0.000 % |
119.40/119.55 c | 210752 | 1946 8345 25386 | 93651 84144 66 | 0.000 % |
119.71/119.85 c | 211161 | 1946 8345 25386 | 93651 84553 66 | 0.000 % |
120.00/120.12 c | 211611 | 1946 8345 25386 | 93651 85003 66 | 0.000 % |
120.30/120.45 c | 212105 | 1946 8345 25386 | 93651 85497 66 | 0.000 % |
120.60/120.79 c | 212647 | 1946 8345 25386 | 93651 86039 66 | 0.000 % |
121.00/121.14 c | 213243 | 1946 8345 25386 | 93651 86635 66 | 0.000 % |
121.50/121.60 c | 213899 | 1946 8345 25386 | 93651 87291 66 | 0.000 % |
121.91/122.07 c | 214619 | 1946 8345 25386 | 93651 88011 66 | 0.000 % |
122.40/122.57 c | 215413 | 1946 8345 25386 | 93651 88805 66 | 0.000 % |
123.01/123.12 c | 216284 | 1946 8345 25386 | 93651 89676 66 | 0.000 % |
123.70/123.81 c | 217246 | 1946 8345 25386 | 93651 90638 66 | 0.000 % |
124.40/124.56 c | 218302 | 1946 8345 25386 | 93651 91694 66 | 0.000 % |
125.20/125.39 c | 219460 | 1946 8345 25386 | 93651 92852 66 | 0.000 % |
126.10/126.24 c | 220737 | 1946 8345 25386 | 2147483647 94129 66 | 0.000 % |
127.10/127.24 c | 222138 | 1946 8345 25386 | 2147483647 95530 66 | 0.000 % |
128.20/128.37 c | 223678 | 1946 8345 25386 | 2147483647 97070 66 | 0.000 % |
129.40/129.52 c | 225374 | 1946 8345 25386 | 2147483647 98766 67 | 0.000 % |
130.70/130.90 c | 227237 | 1946 8345 25386 | 2147483647 100629 67 | 0.000 % |
132.40/132.55 c | 229287 | 1946 8345 25386 | 2147483647 102679 67 | 0.000 % |
134.20/134.32 c | 231542 | 1946 8345 25386 | 103392 93318 67 | 0.000 % |
134.30/134.43 c | 231644 | 1946 8345 25386 | 103392 93420 67 | 0.000 % |
134.40/134.53 c | 231755 | 1946 8345 25386 | 103392 93531 67 | 0.000 % |
134.50/134.63 c | 231878 | 1946 8345 25386 | 103392 93654 67 | 0.000 % |
134.60/134.75 c | 232011 | 1946 8345 25386 | 103392 93787 67 | 0.000 % |
134.80/134.90 c | 232160 | 1946 8345 25386 | 103392 93936 67 | 0.000 % |
134.90/135.03 c | 232320 | 1946 8345 25386 | 103392 94096 67 | 0.000 % |
135.00/135.17 c | 232499 | 1946 8345 25386 | 103392 94275 67 | 0.000 % |
135.20/135.35 c | 232692 | 1946 8345 25386 | 103392 94468 67 | 0.000 % |
135.40/135.51 c | 232904 | 1946 8345 25386 | 103392 94680 66 | 0.000 % |
135.60/135.71 c | 233140 | 1946 8345 25386 | 103392 94916 67 | 0.000 % |
135.80/135.90 c | 233396 | 1946 8345 25386 | 103392 95172 67 | 0.000 % |
136.00/136.13 c | 233677 | 1946 8345 25386 | 103392 95453 66 | 0.000 % |
136.20/136.39 c | 233986 | 1946 8345 25386 | 103392 95762 66 | 0.000 % |
136.50/136.65 c | 234326 | 1946 8345 25386 | 103392 96102 66 | 0.000 % |
136.80/136.94 c | 234700 | 1946 8345 25386 | 103392 96476 66 | 0.000 % |
137.10/137.26 c | 235110 | 1946 8345 25386 | 103392 96886 66 | 0.000 % |
137.49/137.62 c | 235559 | 1946 8345 25386 | 103392 97335 66 | 0.000 % |
137.89/138.04 c | 236054 | 1946 8345 25386 | 103392 97830 66 | 0.000 % |
138.29/138.47 c | 236599 | 1946 8345 25386 | 103392 98375 66 | 0.000 % |
138.79/138.94 c | 237195 | 1946 8345 25386 | 103392 98971 66 | 0.000 % |
139.29/139.45 c | 237851 | 1946 8345 25386 | 103392 99627 66 | 0.000 % |
139.89/140.04 c | 238571 | 1946 8345 25386 | 103392 100347 66 | 0.000 % |
140.49/140.68 c | 239364 | 1946 8345 25386 | 103392 101140 66 | 0.000 % |
141.29/141.41 c | 240237 | 1946 8345 25386 | 101776 102013 66 | 0.000 % |
141.99/142.15 c | 241195 | 1946 8345 25386 | 101776 89096 66 | 0.000 % |
142.69/142.87 c | 242249 | 1946 8345 25386 | 101776 90150 66 | 0.000 % |
143.49/143.67 c | 243409 | 1946 8345 25386 | 101776 91310 66 | 0.000 % |
144.39/144.58 c | 244684 | 1946 8345 25386 | 101776 92585 66 | 0.000 % |
145.49/145.63 c | 246085 | 1946 8345 25386 | 101776 93986 66 | 0.000 % |
146.59/146.70 c | 247626 | 1946 8345 25386 | 101776 95527 67 | 0.000 % |
147.79/147.92 c | 249320 | 1946 8345 25386 | 101776 97221 67 | 0.000 % |
149.19/149.33 c | 251183 | 1946 8345 25386 | 97902 87244 66 | 0.000 % |
150.49/150.68 c | 253233 | 1946 8345 25386 | 97902 89294 66 | 0.000 % |
152.09/152.28 c | 255487 | 1946 8345 25386 | 97902 91548 66 | 0.000 % |
153.99/154.13 c | 257967 | 1946 8345 25386 | 97902 94028 66 | 0.000 % |
154.09/154.21 c | 258068 | 1946 8345 25386 | 97902 94129 66 | 0.000 % |
154.19/154.32 c | 258178 | 1946 8345 25386 | 97902 94239 66 | 0.000 % |
154.29/154.41 c | 258299 | 1946 8345 25386 | 97902 94360 66 | 0.000 % |
154.39/154.52 c | 258434 | 1946 8345 25386 | 97902 94495 66 | 0.000 % |
154.49/154.65 c | 258581 | 1946 8345 25386 | 97902 94642 66 | 0.000 % |
154.59/154.79 c | 258743 | 1946 8345 25386 | 97902 94804 66 | 0.000 % |
154.79/154.93 c | 258919 | 1946 8345 25386 | 97902 94980 66 | 0.000 % |
154.89/155.09 c | 259113 | 1946 8345 25386 | 97902 95174 66 | 0.000 % |
155.09/155.28 c | 259327 | 1946 8345 25386 | 97902 95388 66 | 0.000 % |
155.29/155.47 c | 259562 | 1946 8345 25386 | 97902 95623 66 | 0.000 % |
155.49/155.67 c | 259818 | 1946 8345 25386 | 97902 95879 66 | 0.000 % |
155.79/155.90 c | 260099 | 1946 8345 25386 | 96064 96160 66 | 0.000 % |
156.09/156.20 c | 260408 | 1946 8345 25386 | 96064 85058 67 | 0.000 % |
156.29/156.43 c | 260747 | 1946 8345 25386 | 96064 85397 67 | 0.000 % |
156.49/156.69 c | 261119 | 1946 8345 25386 | 96064 85769 67 | 0.000 % |
156.79/156.97 c | 261529 | 1946 8345 25386 | 96064 86179 67 | 0.000 % |
157.09/157.29 c | 261978 | 1946 8345 25386 | 96064 86628 67 | 0.000 % |
157.49/157.64 c | 262471 | 1946 8345 25386 | 96064 87121 67 | 0.000 % |
157.89/158.01 c | 263016 | 1946 8345 25386 | 96064 87666 67 | 0.000 % |
158.29/158.48 c | 263614 | 1946 8345 25386 | 96064 88264 67 | 0.000 % |
158.79/158.94 c | 264269 | 1946 8345 25386 | 96064 88919 67 | 0.000 % |
159.29/159.44 c | 264989 | 1946 8345 25386 | 96064 89639 67 | 0.000 % |
159.88/160.02 c | 265781 | 1946 8345 25386 | 96064 90431 67 | 0.000 % |
160.49/160.60 c | 266654 | 1946 8345 25386 | 96064 91304 67 | 0.000 % |
161.08/161.25 c | 267615 | 1946 8345 25386 | 96064 92265 67 | 0.000 % |
161.88/162.02 c | 268668 | 1946 8345 25386 | 96064 93318 67 | 0.000 % |
162.69/162.85 c | 269827 | 1946 8345 25386 | 96064 94477 67 | 0.000 % |
163.58/163.77 c | 271103 | 1946 8345 25386 | 94650 85582 67 | 0.000 % |
164.58/164.72 c | 272504 | 1946 8345 25386 | 94650 86983 67 | 0.000 % |
165.58/165.74 c | 274045 | 1946 8345 25386 | 94650 88524 67 | 0.000 % |
166.68/166.89 c | 275739 | 1946 8345 25386 | 94650 90218 67 | 0.000 % |
167.98/168.16 c | 277602 | 1946 8345 25386 | 94650 92081 67 | 0.000 % |
169.38/169.57 c | 279651 | 1946 8345 25386 | 94650 94130 67 | 0.000 % |
170.98/171.17 c | 281904 | 1946 8345 25386 | 2147483647 96383 67 | 0.000 % |
172.78/172.98 c | 284383 | 1946 8345 25386 | 2147483647 98862 67 | 0.000 % |
174.78/174.98 c | 287108 | 1946 8345 25386 | 2147483647 101587 68 | 0.000 % |
174.88/175.08 c | 287208 | 1946 8345 25386 | 2147483647 101687 68 | 0.000 % |
174.98/175.18 c | 287318 | 1946 8345 25386 | 2147483647 101797 68 | 0.000 % |
175.08/175.29 c | 287439 | 1946 8345 25386 | 2147483647 101918 68 | 0.000 % |
175.28/175.41 c | 287574 | 1946 8345 25386 | 2147483647 102053 68 | 0.000 % |
175.38/175.57 c | 287720 | 1946 8345 25386 | 2147483647 102199 68 | 0.000 % |
175.58/175.73 c | 287880 | 1946 8345 25386 | 2147483647 102359 68 | 0.000 % |
175.68/175.86 c | 288057 | 1946 8345 25386 | 2147483647 102536 68 | 0.000 % |
175.89/176.07 c | 288250 | 1946 8345 25386 | 2147483647 102729 68 | 0.000 % |
176.08/176.25 c | 288462 | 1946 8345 25386 | 2147483647 102941 68 | 0.000 % |
176.28/176.47 c | 288695 | 1946 8345 25386 | 2147483647 103174 68 | 0.000 % |
176.58/176.71 c | 288953 | 1946 8345 25386 | 2147483647 103432 68 | 0.000 % |
176.78/176.98 c | 289237 | 1946 8345 25386 | 2147483647 103716 68 | 0.000 % |
177.08/177.24 c | 289547 | 1946 8345 25386 | 2147483647 104026 68 | 0.000 % |
177.38/177.58 c | 289888 | 1946 8345 25386 | 2147483647 104367 68 | 0.000 % |
177.78/177.91 c | 290260 | 1946 8345 25386 | 104480 104739 68 | 0.000 % |
178.08/178.29 c | 290669 | 1946 8345 25386 | 104480 89959 67 | 0.000 % |
178.48/178.65 c | 291119 | 1946 8345 25386 | 104480 90409 67 | 0.000 % |
178.78/178.99 c | 291613 | 1946 8345 25386 | 104480 90903 67 | 0.000 % |
179.28/179.40 c | 292155 | 1946 8345 25386 | 104480 91445 67 | 0.000 % |
179.68/179.85 c | 292752 | 1946 8345 25386 | 104480 92042 67 | 0.000 % |
180.18/180.31 c | 293410 | 1946 8345 25386 | 104480 92700 67 | 0.000 % |
180.68/180.80 c | 294132 | 1946 8345 25386 | 104480 93422 67 | 0.000 % |
181.18/181.36 c | 294925 | 1946 8345 25386 | 104480 94215 67 | 0.000 % |
181.78/181.98 c | 295796 | 1946 8345 25386 | 104480 95086 67 | 0.000 % |
182.48/182.69 c | 296754 | 1946 8345 25386 | 104480 96044 67 | 0.000 % |
183.28/183.46 c | 297807 | 1946 8345 25386 | 104480 97097 67 | 0.000 % |
184.08/184.25 c | 298966 | 1946 8345 25386 | 104480 98256 67 | 0.000 % |
185.08/185.25 c | 300242 | 1946 8345 25386 | 99291 99532 67 | 0.000 % |
186.18/186.30 c | 301642 | 1946 8345 25386 | 99291 88659 67 | 0.000 % |
187.18/187.31 c | 303182 | 1946 8345 25386 | 99291 90199 67 | 0.000 % |
188.28/188.49 c | 304877 | 1946 8345 25386 | 99291 91894 67 | 0.000 % |
189.48/189.67 c | 306742 | 1946 8345 25386 | 99291 93759 68 | 0.000 % |
190.97/191.16 c | 308791 | 1946 8345 25386 | 99291 95808 68 | 0.000 % |
192.57/192.77 c | 311044 | 1946 8345 25386 | 97017 87314 67 | 0.000 % |
194.27/194.44 c | 313523 | 1946 8345 25386 | 97017 89793 68 | 0.000 % |
196.07/196.23 c | 316250 | 1946 8345 25386 | 97017 92520 68 | 0.000 % |
198.07/198.25 c | 319247 | 1946 8345 25386 | 97017 95517 68 | 0.000 % |
198.17/198.31 c | 319348 | 1946 8345 25386 | 97017 95618 68 | 0.000 % |
198.27/198.40 c | 319458 | 1946 8345 25386 | 97017 95728 68 | 0.000 % |
198.27/198.49 c | 319579 | 1946 8345 25386 | 97017 95849 68 | 0.000 % |
198.47/198.63 c | 319712 | 1946 8345 25386 | 97017 95982 68 | 0.000 % |
198.57/198.75 c | 319859 | 1946 8345 25386 | 97017 96129 68 | 0.000 % |
198.67/198.88 c | 320021 | 1946 8345 25386 | 96271 96291 68 | 0.000 % |
198.97/199.12 c | 320198 | 1946 8345 25386 | 96271 86756 68 | 0.000 % |
199.07/199.26 c | 320394 | 1946 8345 25386 | 96271 86952 68 | 0.000 % |
199.27/199.43 c | 320606 | 1946 8345 25386 | 96271 87164 68 | 0.000 % |
199.47/199.61 c | 320839 | 1946 8345 25386 | 96271 87397 68 | 0.000 % |
199.67/199.80 c | 321096 | 1946 8345 25386 | 96271 87654 68 | 0.000 % |
199.87/200.04 c | 321377 | 1946 8345 25386 | 96271 87935 68 | 0.000 % |
200.07/200.28 c | 321687 | 1946 8345 25386 | 96271 88245 68 | 0.000 % |
200.37/200.52 c | 322028 | 1946 8345 25386 | 96271 88586 68 | 0.000 % |
200.57/200.80 c | 322402 | 1946 8345 25386 | 96271 88960 68 | 0.000 % |
200.87/201.07 c | 322812 | 1946 8345 25386 | 96271 89370 68 | 0.000 % |
201.27/201.40 c | 323261 | 1946 8345 25386 | 96271 89819 68 | 0.000 % |
201.57/201.73 c | 323754 | 1946 8345 25386 | 96271 90312 68 | 0.000 % |
201.97/202.14 c | 324296 | 1946 8345 25386 | 96271 90854 68 | 0.000 % |
202.37/202.54 c | 324893 | 1946 8345 25386 | 96271 91451 68 | 0.000 % |
202.87/203.01 c | 325548 | 1946 8345 25386 | 96271 92106 68 | 0.000 % |
203.37/203.56 c | 326268 | 1946 8345 25386 | 96271 92826 68 | 0.000 % |
203.97/204.13 c | 327060 | 1946 8345 25386 | 96271 93618 68 | 0.000 % |
204.67/204.82 c | 327935 | 1946 8345 25386 | 96271 94493 68 | 0.000 % |
205.37/205.51 c | 328893 | 1946 8345 25386 | 96271 95451 68 | 0.000 % |
206.07/206.25 c | 329946 | 1946 8345 25386 | 96271 96504 68 | 0.000 % |
206.87/207.04 c | 331104 | 1946 8345 25386 | 85703 77432 68 | 0.000 % |
207.67/207.80 c | 332377 | 1946 8345 25386 | 85703 78705 68 | 0.000 % |
208.47/208.68 c | 333781 | 1946 8345 25386 | 85703 80109 68 | 0.000 % |
209.47/209.65 c | 335324 | 1946 8345 25386 | 85703 81652 68 | 0.000 % |
210.57/210.73 c | 337018 | 1946 8345 25386 | 85703 83346 68 | 0.000 % |
211.76/211.91 c | 338882 | 1946 8345 25386 | 85703 85210 68 | 0.000 % |
213.06/213.24 c | 340931 | 1946 8345 25386 | 2147483647 78658 68 | 0.000 % |
214.56/214.72 c | 343185 | 1946 8345 25386 | 2147483647 80912 68 | 0.000 % |
216.16/216.35 c | 345665 | 1946 8345 25386 | 2147483647 83392 68 | 0.000 % |
218.06/218.21 c | 348390 | 1946 8345 25386 | 2147483647 86117 68 | 0.000 % |
220.16/220.30 c | 351387 | 1946 8345 25386 | 2147483647 89114 68 | 0.000 % |
222.26/222.47 c | 354683 | 1946 8345 25386 | 2147483647 92410 69 | 0.000 % |
222.36/222.55 c | 354785 | 1946 8345 25386 | 2147483647 92512 69 | 0.000 % |
222.46/222.65 c | 354896 | 1946 8345 25386 | 2147483647 92623 69 | 0.000 % |
222.56/222.74 c | 355017 | 1946 8345 25386 | 2147483647 92744 69 | 0.000 % |
222.66/222.89 c | 355152 | 1946 8345 25386 | 2147483647 92879 69 | 0.000 % |
222.86/223.01 c | 355298 | 1946 8345 25386 | 2147483647 93025 68 | 0.000 % |
222.96/223.15 c | 355458 | 1946 8345 25386 | 2147483647 93185 68 | 0.000 % |
223.06/223.28 c | 355635 | 1946 8345 25386 | 2147483647 93362 68 | 0.000 % |
223.26/223.42 c | 355829 | 1946 8345 25386 | 2147483647 93556 68 | 0.000 % |
223.46/223.60 c | 356043 | 1946 8345 25386 | 2147483647 93770 68 | 0.000 % |
223.56/223.79 c | 356279 | 1946 8345 25386 | 2147483647 94006 68 | 0.000 % |
223.76/223.98 c | 356535 | 1946 8345 25386 | 2147483647 94262 68 | 0.000 % |
224.06/224.22 c | 356816 | 1946 8345 25386 | 2147483647 94543 68 | 0.000 % |
224.26/224.47 c | 357125 | 1946 8345 25386 | 2147483647 94852 68 | 0.000 % |
224.56/224.73 c | 357465 | 1946 8345 25386 | 2147483647 95192 68 | 0.000 % |
224.86/225.02 c | 357837 | 1946 8345 25386 | 2147483647 95564 68 | 0.000 % |
225.06/225.30 c | 358246 | 1946 8345 25386 | 2147483647 95973 68 | 0.000 % |
225.46/225.64 c | 358696 | 1946 8345 25386 | 2147483647 96423 68 | 0.000 % |
225.85/226.01 c | 359191 | 1946 8345 25386 | 2147483647 96918 68 | 0.000 % |
226.25/226.42 c | 359734 | 1946 8345 25386 | 2147483647 97461 68 | 0.000 % |
226.76/226.95 c | 360330 | 1946 8345 25386 | 97727 86547 68 | 0.000 % |
227.16/227.35 c | 360987 | 1946 8345 25386 | 97727 87204 68 | 0.000 % |
227.65/227.83 c | 361707 | 1946 8345 25386 | 97727 87924 68 | 0.000 % |
228.15/228.36 c | 362500 | 1946 8345 25386 | 97727 88717 68 | 0.000 % |
228.85/229.01 c | 363371 | 1946 8345 25386 | 97727 89588 68 | 0.000 % |
229.45/229.67 c | 364329 | 1946 8345 25386 | 97727 90546 68 | 0.000 % |
230.15/230.38 c | 365382 | 1946 8345 25386 | 97727 91599 68 | 0.000 % |
231.05/231.23 c | 366540 | 1946 8345 25386 | 97727 92757 68 | 0.000 % |
231.96/232.17 c | 367814 | 1946 8345 25386 | 97727 94031 68 | 0.000 % |
232.96/233.18 c | 369214 | 1946 8345 25386 | 97727 95431 68 | 0.000 % |
234.15/234.33 c | 370755 | 1946 8345 25386 | 96217 86847 68 | 0.000 % |
235.25/235.42 c | 372449 | 1946 8345 25386 | 96217 88541 68 | 0.000 % |
236.45/236.60 c | 374313 | 1946 8345 25386 | 96217 90405 68 | 0.000 % |
237.85/238.03 c | 376363 | 1946 8345 25386 | 96217 92455 68 | 0.000 % |
239.45/239.60 c | 378616 | 1946 8345 25386 | 96217 94708 68 | 0.000 % |
241.05/241.26 c | 381094 | 1946 8345 25386 | 2147483647 97186 68 | 0.000 % |
243.05/243.27 c | 383819 | 1946 8345 25386 | 2147483647 99911 68 | 0.000 % |
245.25/245.46 c | 386816 | 1946 8345 25386 | 2147483647 102908 68 | 0.000 % |
247.75/247.91 c | 390113 | 1946 8345 25386 | 106092 106205 69 | 0.000 % |
250.45/250.63 c | 393738 | 1946 8345 25386 | 106092 96834 69 | 0.000 % |
250.56/250.70 c | 393838 | 1946 8345 25386 | 106092 96934 69 | 0.000 % |
250.56/250.79 c | 393949 | 1946 8345 25386 | 106092 97045 69 | 0.000 % |
250.75/250.90 c | 394071 | 1946 8345 25386 | 106092 97167 69 | 0.000 % |
250.85/251.04 c | 394204 | 1946 8345 25386 | 106092 97300 69 | 0.000 % |
250.95/251.17 c | 394350 | 1946 8345 25386 | 106092 97446 69 | 0.000 % |
251.15/251.34 c | 394512 | 1946 8345 25386 | 106092 97608 69 | 0.000 % |
251.35/251.51 c | 394690 | 1946 8345 25386 | 106092 97786 69 | 0.000 % |
251.45/251.68 c | 394883 | 1946 8345 25386 | 106092 97979 69 | 0.000 % |
251.66/251.86 c | 395095 | 1946 8345 25386 | 106092 98191 69 | 0.000 % |
251.85/252.07 c | 395328 | 1946 8345 25386 | 106092 98424 69 | 0.000 % |
252.05/252.29 c | 395584 | 1946 8345 25386 | 106092 98680 69 | 0.000 % |
252.35/252.51 c | 395865 | 1946 8345 25386 | 106092 98961 69 | 0.000 % |
252.55/252.78 c | 396175 | 1946 8345 25386 | 106092 99271 69 | 0.000 % |
252.86/253.07 c | 396516 | 1946 8345 25386 | 106092 99612 69 | 0.000 % |
253.15/253.37 c | 396891 | 1946 8345 25386 | 106092 99987 69 | 0.000 % |
253.45/253.67 c | 397300 | 1946 8345 25386 | 106092 100396 69 | 0.000 % |
253.85/254.02 c | 397750 | 1946 8345 25386 | 106092 100846 69 | 0.000 % |
254.25/254.41 c | 398246 | 1946 8345 25386 | 106092 101342 69 | 0.000 % |
254.65/254.84 c | 398788 | 1946 8345 25386 | 106092 101884 69 | 0.000 % |
255.15/255.32 c | 399385 | 1946 8345 25386 | 106092 102481 69 | 0.000 % |
255.65/255.85 c | 400040 | 1946 8345 25386 | 103096 103136 69 | 0.000 % |
256.25/256.46 c | 400761 | 1946 8345 25386 | 103096 89591 68 | 0.000 % |
256.84/257.02 c | 401554 | 1946 8345 25386 | 103096 90384 68 | 0.000 % |
257.54/257.71 c | 402425 | 1946 8345 25386 | 103096 91255 68 | 0.000 % |
258.25/258.40 c | 403383 | 1946 8345 25386 | 103096 92213 68 | 0.000 % |
258.84/259.09 c | 404436 | 1946 8345 25386 | 103096 93266 68 | 0.000 % |
259.74/259.90 c | 405595 | 1946 8345 25386 | 103096 94425 68 | 0.000 % |
260.74/260.92 c | 406870 | 1946 8345 25386 | 103096 95700 68 | 0.000 % |
261.74/261.99 c | 408271 | 1946 8345 25386 | 103096 97101 68 | 0.000 % |
262.84/263.09 c | 409811 | 1946 8345 25386 | 103096 98641 68 | 0.000 % |
264.14/264.35 c | 411506 | 1946 8345 25386 | 98831 87825 68 | 0.000 % |
265.44/265.64 c | 413369 | 1946 8345 25386 | 98831 89688 68 | 0.000 % |
266.84/267.03 c | 415422 | 1946 8345 25386 | 98831 91741 68 | 0.000 % |
268.44/268.62 c | 417676 | 1946 8345 25386 | 98831 93995 68 | 0.000 % |
270.24/270.49 c | 420157 | 1946 8345 25386 | 96319 96476 68 | 0.000 % |
272.14/272.36 c | 422883 | 1946 8345 25386 | 96319 89118 68 | 0.000 % |
274.14/274.30 c | 425880 | 1946 8345 25386 | 96319 92115 69 | 0.000 % |
276.34/276.58 c | 429176 | 1946 8345 25386 | 96319 95411 69 | 0.000 % |
278.94/279.17 c | 432801 | 1946 8345 25386 | 2147483647 99036 69 | 0.000 % |
281.84/282.01 c | 436788 | 1946 8345 25386 | 2147483647 103023 69 | 0.000 % |
281.84/282.09 c | 436888 | 1946 8345 25386 | 2147483647 103123 69 | 0.000 % |
281.93/282.18 c | 436998 | 1946 8345 25386 | 2147483647 103233 69 | 0.000 % |
282.03/282.29 c | 437119 | 1946 8345 25386 | 2147483647 103354 69 | 0.000 % |
282.23/282.42 c | 437252 | 1946 8345 25386 | 2147483647 103487 69 | 0.000 % |
282.33/282.55 c | 437398 | 1946 8345 25386 | 2147483647 103633 69 | 0.000 % |
282.44/282.69 c | 437559 | 1946 8345 25386 | 2147483647 103794 69 | 0.000 % |
282.63/282.86 c | 437736 | 1946 8345 25386 | 2147483647 103971 69 | 0.000 % |
282.83/283.04 c | 437929 | 1946 8345 25386 | 2147483647 104164 69 | 0.000 % |
283.03/283.24 c | 438141 | 1946 8345 25386 | 2147483647 104376 69 | 0.000 % |
283.23/283.42 c | 438375 | 1946 8345 25386 | 2147483647 104610 69 | 0.000 % |
283.43/283.64 c | 438632 | 1946 8345 25386 | 2147483647 104867 69 | 0.000 % |
283.63/283.87 c | 438914 | 1946 8345 25386 | 2147483647 105149 69 | 0.000 % |
283.93/284.16 c | 439223 | 1946 8345 25386 | 2147483647 105458 69 | 0.000 % |
284.23/284.44 c | 439565 | 1946 8345 25386 | 2147483647 105800 69 | 0.000 % |
284.53/284.74 c | 439937 | 1946 8345 25386 | 2147483647 106172 69 | 0.000 % |
284.93/285.13 c | 440346 | 1946 8345 25386 | 106235 92755 68 | 0.000 % |
285.23/285.47 c | 440796 | 1946 8345 25386 | 106235 93205 68 | 0.000 % |
285.63/285.85 c | 441290 | 1946 8345 25386 | 106235 93699 68 | 0.000 % |
286.03/286.23 c | 441834 | 1946 8345 25386 | 106235 94243 68 | 0.000 % |
286.43/286.66 c | 442430 | 1946 8345 25386 | 106235 94839 68 | 0.000 % |
286.93/287.14 c | 443086 | 1946 8345 25386 | 106235 95495 68 | 0.000 % |
287.53/287.71 c | 443807 | 1946 8345 25386 | 106235 96216 68 | 0.000 % |
288.13/288.34 c | 444599 | 1946 8345 25386 | 106235 97008 68 | 0.000 % |
288.73/288.96 c | 445470 | 1946 8345 25386 | 106235 97879 68 | 0.000 % |
289.43/289.64 c | 446429 | 1946 8345 25386 | 106235 98838 68 | 0.000 % |
290.23/290.43 c | 447483 | 1946 8345 25386 | 106235 99892 68 | 0.000 % |
291.02/291.25 c | 448641 | 1946 8345 25386 | 106235 101050 68 | 0.000 % |
292.02/292.22 c | 449916 | 1946 8345 25386 | 106235 102325 68 | 0.000 % |
293.02/293.26 c | 451316 | 1946 8345 25386 | 102409 90713 68 | 0.000 % |
294.12/294.39 c | 452856 | 1946 8345 25386 | 102409 92253 68 | 0.000 % |
295.32/295.54 c | 454550 | 1946 8345 25386 | 102409 93947 68 | 0.000 % |
296.62/296.87 c | 456413 | 1946 8345 25386 | 102409 95810 68 | 0.000 % |
298.22/298.46 c | 458462 | 1946 8345 25386 | 102409 97859 68 | 0.000 % |
299.82/300.07 c | 460715 | 1946 8345 25386 | 99397 88387 69 | 0.000 % |
301.52/301.73 c | 463193 | 1946 8345 25386 | 99397 90865 69 | 0.000 % |
303.32/303.51 c | 465919 | 1946 8345 25386 | 99397 93591 69 | 0.000 % |
305.42/305.65 c | 468916 | 1946 8345 25386 | 99397 96588 69 | 0.000 % |
307.82/308.05 c | 472212 | 1946 8345 25386 | 2147483647 99884 69 | 0.000 % |
310.62/310.81 c | 475839 | 1946 8345 25386 | 2147483647 103511 69 | 0.000 % |
313.72/313.93 c | 479826 | 1946 8345 25386 | 2147483647 107498 69 | 0.000 % |
316.71/316.91 c | 484213 | 1946 8345 25386 | 107673 97992 69 | 0.000 % |
316.81/317.00 c | 484316 | 1946 8345 25386 | 107673 98095 69 | 0.000 % |
316.81/317.08 c | 484426 | 1946 8345 25386 | 107673 98205 69 | 0.000 % |
317.01/317.20 c | 484549 | 1946 8345 25386 | 107673 98328 69 | 0.000 % |
317.11/317.33 c | 484682 | 1946 8345 25386 | 107673 98461 69 | 0.000 % |
317.21/317.46 c | 484831 | 1946 8345 25386 | 107673 98610 69 | 0.000 % |
317.41/317.62 c | 484992 | 1946 8345 25386 | 107673 98771 69 | 0.000 % |
317.51/317.77 c | 485168 | 1946 8345 25386 | 107673 98947 69 | 0.000 % |
317.72/317.93 c | 485362 | 1946 8345 25386 | 107673 99141 69 | 0.000 % |
317.81/318.08 c | 485574 | 1946 8345 25386 | 107673 99353 69 | 0.000 % |
318.01/318.30 c | 485811 | 1946 8345 25386 | 107673 99590 69 | 0.000 % |
318.31/318.51 c | 486068 | 1946 8345 25386 | 107673 99847 69 | 0.000 % |
318.51/318.77 c | 486349 | 1946 8345 25386 | 107673 100128 69 | 0.000 % |
318.82/319.02 c | 486658 | 1946 8345 25386 | 107673 100437 69 | 0.000 % |
319.01/319.30 c | 486999 | 1946 8345 25386 | 107673 100778 69 | 0.000 % |
319.31/319.60 c | 487374 | 1946 8345 25386 | 107673 101153 69 | 0.000 % |
319.71/319.90 c | 487783 | 1946 8345 25386 | 107673 101562 69 | 0.000 % |
320.01/320.24 c | 488233 | 1946 8345 25386 | 107673 102012 69 | 0.000 % |
320.41/320.61 c | 488726 | 1946 8345 25386 | 107673 102505 69 | 0.000 % |
320.81/321.08 c | 489268 | 1946 8345 25386 | 107673 103047 69 | 0.000 % |
321.31/321.54 c | 489866 | 1946 8345 25386 | 107673 103645 69 | 0.000 % |
321.81/322.10 c | 490523 | 1946 8345 25386 | 103779 90649 69 | 0.000 % |
322.41/322.63 c | 491243 | 1946 8345 25386 | 103779 91369 69 | 0.000 % |
322.91/323.13 c | 492035 | 1946 8345 25386 | 103779 92161 69 | 0.000 % |
323.51/323.73 c | 492908 | 1946 8345 25386 | 103779 93034 69 | 0.000 % |
324.21/324.45 c | 493866 | 1946 8345 25386 | 103779 93992 69 | 0.000 % |
325.01/325.21 c | 494919 | 1946 8345 25386 | 103779 95045 69 | 0.000 % |
325.81/326.06 c | 496079 | 1946 8345 25386 | 103779 96205 69 | 0.000 % |
326.81/327.00 c | 497352 | 1946 8345 25386 | 103779 97478 69 | 0.000 % |
327.81/328.03 c | 498753 | 1946 8345 25386 | 103779 98879 69 | 0.000 % |
329.01/329.26 c | 500293 | 1946 8345 25386 | 100127 100419 69 | 0.000 % |
330.21/330.47 c | 501989 | 1946 8345 25386 | 100127 89823 69 | 0.000 % |
331.51/331.77 c | 503853 | 1946 8345 25386 | 100127 91687 69 | 0.000 % |
332.91/333.15 c | 505902 | 1946 8345 25386 | 100127 93736 69 | 0.000 % |
334.51/334.77 c | 508158 | 1946 8345 25386 | 100127 95992 69 | 0.000 % |
336.41/336.70 c | 510637 | 1946 8345 25386 | 97835 86649 69 | 0.000 % |
338.41/338.64 c | 513362 | 1946 8345 25386 | 97835 89374 69 | 0.000 % |
340.60/340.80 c | 516359 | 1946 8345 25386 | 97835 92371 69 | 0.000 % |
343.01/343.24 c | 519656 | 1946 8345 25386 | 97835 95668 69 | 0.000 % |
345.70/345.90 c | 523281 | 1946 8345 25386 | 96013 88085 69 | 0.000 % |
348.40/348.69 c | 527272 | 1946 8345 25386 | 96013 92076 69 | 0.000 % |
351.60/351.82 c | 531657 | 1946 8345 25386 | 94804 85889 69 | 0.000 % |
354.80/355.04 c | 536480 | 1946 8345 25386 | 94804 90712 69 | 0.000 % |
354.90/355.15 c | 536581 | 1946 8345 25386 | 94804 90813 69 | 0.000 % |
355.00/355.26 c | 536693 | 1946 8345 25386 | 94804 90925 69 | 0.000 % |
355.10/355.36 c | 536817 | 1946 8345 25386 | 94804 91049 69 | 0.000 % |
355.20/355.47 c | 536950 | 1946 8345 25386 | 94804 91182 69 | 0.000 % |
355.30/355.60 c | 537098 | 1946 8345 25386 | 94804 91330 69 | 0.000 % |
355.50/355.73 c | 537259 | 1946 8345 25386 | 94804 91491 69 | 0.000 % |
355.60/355.88 c | 537439 | 1946 8345 25386 | 94804 91671 69 | 0.000 % |
355.80/356.03 c | 537632 | 1946 8345 25386 | 94804 91864 69 | 0.000 % |
355.90/356.19 c | 537844 | 1946 8345 25386 | 94804 92076 69 | 0.000 % |
356.10/356.37 c | 538079 | 1946 8345 25386 | 94804 92311 69 | 0.000 % |
356.30/356.59 c | 538335 | 1946 8345 25386 | 94804 92567 69 | 0.000 % |
356.60/356.80 c | 538617 | 1946 8345 25386 | 94804 92849 69 | 0.000 % |
356.80/357.03 c | 538926 | 1946 8345 25386 | 94804 93158 69 | 0.000 % |
357.10/357.31 c | 539265 | 1946 8345 25386 | 94804 93497 69 | 0.000 % |
357.30/357.57 c | 539637 | 1946 8345 25386 | 94804 93869 69 | 0.000 % |
357.60/357.86 c | 540046 | 1946 8345 25386 | 94232 94278 69 | 0.000 % |
358.00/358.28 c | 540495 | 1946 8345 25386 | 94232 84972 69 | 0.000 % |
358.40/358.63 c | 540989 | 1946 8345 25386 | 94232 85466 69 | 0.000 % |
358.70/358.97 c | 541531 | 1946 8345 25386 | 94232 86008 69 | 0.000 % |
359.10/359.38 c | 542129 | 1946 8345 25386 | 94232 86606 69 | 0.000 % |
359.50/359.78 c | 542784 | 1946 8345 25386 | 94232 87261 69 | 0.000 % |
360.10/360.31 c | 543504 | 1946 8345 25386 | 94232 87981 69 | 0.000 % |
360.70/360.90 c | 544296 | 1946 8345 25386 | 94232 88773 69 | 0.000 % |
361.30/361.50 c | 545167 | 1946 8345 25386 | 94232 89644 69 | 0.000 % |
361.89/362.14 c | 546125 | 1946 8345 25386 | 94232 90602 69 | 0.000 % |
362.59/362.87 c | 547178 | 1946 8345 25386 | 94232 91655 69 | 0.000 % |
363.49/363.72 c | 548337 | 1946 8345 25386 | 94232 92814 69 | 0.000 % |
364.29/364.60 c | 549612 | 1946 8345 25386 | 94232 94089 69 | 0.000 % |
365.39/365.63 c | 551013 | 1946 8345 25386 | 2147483647 86050 69 | 0.000 % |
366.39/366.66 c | 552554 | 1946 8345 25386 | 2147483647 87591 69 | 0.000 % |
367.49/367.73 c | 554248 | 1946 8345 25386 | 2147483647 89285 69 | 0.000 % |
368.69/368.92 c | 556111 | 1946 8345 25386 | 2147483647 91148 69 | 0.000 % |
369.99/370.28 c | 558162 | 1946 8345 25386 | 2147483647 93199 69 | 0.000 % |
371.49/371.76 c | 560416 | 1946 8345 25386 | 2147483647 95453 69 | 0.000 % |
373.19/373.44 c | 562895 | 1946 8345 25386 | 2147483647 97932 69 | 0.000 % |
375.19/375.41 c | 565620 | 1946 8345 25386 | 2147483647 100657 69 | 0.000 % |
377.49/377.71 c | 568617 | 1946 8345 25386 | 2147483647 103654 69 | 0.000 % |
379.89/380.15 c | 571913 | 1946 8345 25386 | 105040 94882 69 | 0.000 % |
382.29/382.59 c | 575539 | 1946 8345 25386 | 105040 98508 69 | 0.000 % |
385.09/385.36 c | 579527 | 1946 8345 25386 | 105040 102496 69 | 0.000 % |
388.09/388.36 c | 583913 | 1946 8345 25386 | 102969 94489 70 | 0.000 % |
391.48/391.78 c | 588737 | 1946 8345 25386 | 102969 99313 70 | 0.000 % |
395.38/395.64 c | 594042 | 1946 8345 25386 | 100576 92463 70 | 0.000 % |
395.48/395.73 c | 594144 | 1946 8345 25386 | 100576 92565 70 | 0.000 % |
395.58/395.82 c | 594254 | 1946 8345 25386 | 100576 92675 70 | 0.000 % |
395.68/395.94 c | 594375 | 1946 8345 25386 | 100576 92796 70 | 0.000 % |
395.78/396.05 c | 594508 | 1946 8345 25386 | 100576 92929 70 | 0.000 % |
395.88/396.19 c | 594656 | 1946 8345 25386 | 100576 93077 70 | 0.000 % |
396.08/396.32 c | 594816 | 1946 8345 25386 | 100576 93237 70 | 0.000 % |
396.18/396.47 c | 594993 | 1946 8345 25386 | 100576 93414 70 | 0.000 % |
396.38/396.63 c | 595186 | 1946 8345 25386 | 100576 93607 70 | 0.000 % |
396.58/396.81 c | 595398 | 1946 8345 25386 | 100576 93819 70 | 0.000 % |
396.68/396.98 c | 595631 | 1946 8345 25386 | 100576 94052 70 | 0.000 % |
396.88/397.17 c | 595888 | 1946 8345 25386 | 100576 94309 70 | 0.000 % |
397.18/397.40 c | 596172 | 1946 8345 25386 | 100576 94593 70 | 0.000 % |
397.38/397.64 c | 596481 | 1946 8345 25386 | 100576 94902 70 | 0.000 % |
397.68/397.90 c | 596820 | 1946 8345 25386 | 100576 95241 70 | 0.000 % |
397.88/398.17 c | 597192 | 1946 8345 25386 | 100576 95613 70 | 0.000 % |
398.18/398.48 c | 597603 | 1946 8345 25386 | 100576 96024 70 | 0.000 % |
398.58/398.83 c | 598052 | 1946 8345 25386 | 100576 96473 70 | 0.000 % |
398.98/399.25 c | 598546 | 1946 8345 25386 | 100576 96967 70 | 0.000 % |
399.48/399.73 c | 599089 | 1946 8345 25386 | 100576 97510 70 | 0.000 % |
399.98/400.21 c | 599687 | 1946 8345 25386 | 100576 98108 70 | 0.000 % |
400.58/400.83 c | 600342 | 1946 8345 25386 | 98421 85752 69 | 0.000 % |
401.08/401.33 c | 601062 | 1946 8345 25386 | 98421 86472 69 | 0.000 % |
401.58/401.87 c | 601856 | 1946 8345 25386 | 98421 87266 69 | 0.000 % |
402.18/402.48 c | 602727 | 1946 8345 25386 | 98421 88137 69 | 0.000 % |
402.88/403.12 c | 603685 | 1946 8345 25386 | 98421 89095 69 | 0.000 % |
403.57/403.85 c | 604738 | 1946 8345 25386 | 98421 90148 69 | 0.000 % |
404.37/404.67 c | 605896 | 1946 8345 25386 | 98421 91306 69 | 0.000 % |
405.17/405.48 c | 607170 | 1946 8345 25386 | 98421 92580 69 | 0.000 % |
406.17/406.49 c | 608571 | 1946 8345 25386 | 98421 93981 69 | 0.000 % |
407.37/407.64 c | 610112 | 1946 8345 25386 | 95410 95522 69 | 0.000 % |
408.47/408.79 c | 611807 | 1946 8345 25386 | 95410 87013 70 | 0.000 % |
409.77/410.03 c | 613671 | 1946 8345 25386 | 95410 88877 70 | 0.000 % |
411.18/411.49 c | 615721 | 1946 8345 25386 | 95410 90927 70 | 0.000 % |
412.87/413.17 c | 617974 | 1946 8345 25386 | 95410 93180 70 | 0.000 % |
414.87/415.11 c | 620453 | 1946 8345 25386 | 95206 85740 69 | 0.000 % |
416.77/417.03 c | 623179 | 1946 8345 25386 | 95206 88466 69 | 0.000 % |
418.87/419.14 c | 626178 | 1946 8345 25386 | 95206 91465 69 | 0.000 % |
421.17/421.42 c | 629475 | 1946 8345 25386 | 95206 94762 69 | 0.000 % |
423.78/424.06 c | 633100 | 1946 8345 25386 | 2147483647 98387 69 | 0.000 % |
426.68/426.97 c | 637089 | 1946 8345 25386 | 2147483647 102376 69 | 0.000 % |
430.37/430.61 c | 641474 | 1946 8345 25386 | 105288 91683 70 | 0.000 % |
433.67/433.90 c | 646298 | 1946 8345 25386 | 105288 96507 70 | 0.000 % |
437.47/437.74 c | 651604 | 1946 8345 25386 | 100209 89383 70 | 0.000 % |
441.47/441.75 c | 657439 | 1946 8345 25386 | 100209 95218 70 | 0.000 % |
441.57/441.83 c | 657539 | 1946 8345 25386 | 100209 95318 70 | 0.000 % |
441.67/441.95 c | 657651 | 1946 8345 25386 | 100209 95430 70 | 0.000 % |
441.77/442.05 c | 657772 | 1946 8345 25386 | 100209 95551 70 | 0.000 % |
441.87/442.17 c | 657906 | 1946 8345 25386 | 100209 95685 70 | 0.000 % |
441.97/442.28 c | 658052 | 1946 8345 25386 | 100209 95831 70 | 0.000 % |
442.17/442.44 c | 658212 | 1946 8345 25386 | 100209 95991 70 | 0.000 % |
442.37/442.61 c | 658389 | 1946 8345 25386 | 100209 96168 70 | 0.000 % |
442.47/442.77 c | 658585 | 1946 8345 25386 | 100209 96364 70 | 0.000 % |
442.67/442.95 c | 658797 | 1946 8345 25386 | 100209 96576 70 | 0.000 % |
442.86/443.17 c | 659030 | 1946 8345 25386 | 100209 96809 70 | 0.000 % |
443.16/443.40 c | 659287 | 1946 8345 25386 | 100209 97066 70 | 0.000 % |
443.36/443.63 c | 659569 | 1946 8345 25386 | 100209 97348 70 | 0.000 % |
443.66/443.91 c | 659879 | 1946 8345 25386 | 100209 97658 70 | 0.000 % |
443.86/444.17 c | 660219 | 1946 8345 25386 | 97780 97998 70 | 0.000 % |
444.26/444.51 c | 660593 | 1946 8345 25386 | 97780 85255 69 | 0.000 % |
444.46/444.80 c | 661002 | 1946 8345 25386 | 97780 85664 69 | 0.000 % |
444.86/445.11 c | 661451 | 1946 8345 25386 | 97780 86113 69 | 0.000 % |
445.17/445.48 c | 661944 | 1946 8345 25386 | 97780 86606 69 | 0.000 % |
445.56/445.81 c | 662488 | 1946 8345 25386 | 97780 87150 69 | 0.000 % |
445.96/446.22 c | 663084 | 1946 8345 25386 | 97780 87746 69 | 0.000 % |
446.37/446.69 c | 663739 | 1946 8345 25386 | 97780 88401 69 | 0.000 % |
446.96/447.24 c | 664460 | 1946 8345 25386 | 97780 89122 69 | 0.000 % |
447.47/447.77 c | 665255 | 1946 8345 25386 | 97780 89917 69 | 0.000 % |
448.06/448.37 c | 666126 | 1946 8345 25386 | 97780 90788 69 | 0.000 % |
448.76/449.04 c | 667086 | 1946 8345 25386 | 97780 91748 69 | 0.000 % |
449.46/449.76 c | 668140 | 1946 8345 25386 | 97780 92802 69 | 0.000 % |
450.36/450.66 c | 669299 | 1946 8345 25386 | 97780 93961 69 | 0.000 % |
451.36/451.62 c | 670574 | 1946 8345 25386 | 94662 84125 68 | 0.000 % |
452.36/452.66 c | 671976 | 1946 8345 25386 | 94662 85527 68 | 0.000 % |
453.36/453.63 c | 673516 | 1946 8345 25386 | 94662 87067 68 | 0.000 % |
454.46/454.76 c | 675211 | 1946 8345 25386 | 94662 88762 68 | 0.000 % |
455.76/456.04 c | 677074 | 1946 8345 25386 | 94662 90625 68 | 0.000 % |
457.26/457.54 c | 679123 | 1946 8345 25386 | 94662 92674 68 | 0.000 % |
458.76/459.06 c | 681376 | 1946 8345 25386 | 93551 85241 69 | 0.000 % |
460.36/460.66 c | 683854 | 1946 8345 25386 | 93551 87719 68 | 0.000 % |
462.16/462.42 c | 686580 | 1946 8345 25386 | 93551 90445 69 | 0.000 % |
464.15/464.49 c | 689578 | 1946 8345 25386 | 93551 93443 69 | 0.000 % |
466.66/466.94 c | 692874 | 1946 8345 25386 | 2147483647 87355 69 | 0.000 % |
469.15/469.48 c | 696500 | 1946 8345 25386 | 2147483647 90981 69 | 0.000 % |
472.15/472.41 c | 700489 | 1946 8345 25386 | 94481 84287 69 | 0.000 % |
474.96/475.23 c | 704875 | 1946 8345 25386 | 94481 88673 69 | 0.000 % |
478.35/478.60 c | 709700 | 1946 8345 25386 | 94481 93498 69 | 0.000 % |
482.25/482.50 c | 715005 | 1946 8345 25386 | 93798 88266 70 | 0.000 % |
486.25/486.57 c | 720840 | 1946 8345 25386 | 93261 82448 69 | 0.000 % |
490.55/490.88 c | 727258 | 1946 8345 25386 | 93261 88866 70 | 0.000 % |
490.65/490.96 c | 727359 | 1946 8345 25386 | 93261 88967 70 | 0.000 % |
490.75/491.04 c | 727470 | 1946 8345 25386 | 93261 89078 70 | 0.000 % |
490.85/491.15 c | 727591 | 1946 8345 25386 | 93261 89199 70 | 0.000 % |
490.95/491.28 c | 727727 | 1946 8345 25386 | 93261 89335 70 | 0.000 % |
491.15/491.40 c | 727874 | 1946 8345 25386 | 93261 89482 70 | 0.000 % |
491.25/491.53 c | 728035 | 1946 8345 25386 | 93261 89643 70 | 0.000 % |
491.35/491.67 c | 728211 | 1946 8345 25386 | 93261 89819 70 | 0.000 % |
491.55/491.82 c | 728406 | 1946 8345 25386 | 93261 90014 70 | 0.000 % |
491.65/491.96 c | 728618 | 1946 8345 25386 | 93261 90226 70 | 0.000 % |
491.85/492.13 c | 728853 | 1946 8345 25386 | 93261 90461 70 | 0.000 % |
492.05/492.35 c | 729109 | 1946 8345 25386 | 93261 90717 70 | 0.000 % |
492.25/492.55 c | 729390 | 1946 8345 25386 | 93261 90998 70 | 0.000 % |
492.45/492.75 c | 729700 | 1946 8345 25386 | 93261 91308 70 | 0.000 % |
492.75/493.00 c | 730040 | 1946 8345 25386 | 91610 91648 70 | 0.000 % |
493.05/493.36 c | 730412 | 1946 8345 25386 | 91610 81370 69 | 0.000 % |
493.35/493.66 c | 730822 | 1946 8345 25386 | 91610 81780 69 | 0.000 % |
493.65/493.96 c | 731272 | 1946 8345 25386 | 91610 82230 69 | 0.000 % |
494.04/494.32 c | 731765 | 1946 8345 25386 | 91610 82723 69 | 0.000 % |
494.44/494.70 c | 732308 | 1946 8345 25386 | 91610 83266 69 | 0.000 % |
494.84/495.11 c | 732905 | 1946 8345 25386 | 91610 83863 69 | 0.000 % |
495.24/495.59 c | 733561 | 1946 8345 25386 | 91610 84519 69 | 0.000 % |
495.75/496.10 c | 734281 | 1946 8345 25386 | 91610 85239 69 | 0.000 % |
496.34/496.61 c | 735073 | 1946 8345 25386 | 91610 86031 69 | 0.000 % |
496.95/497.23 c | 735944 | 1946 8345 25386 | 91610 86902 69 | 0.000 % |
497.54/497.88 c | 736904 | 1946 8345 25386 | 91610 87862 69 | 0.000 % |
498.34/498.62 c | 737960 | 1946 8345 25386 | 91610 88918 69 | 0.000 % |
499.14/499.46 c | 739120 | 1946 8345 25386 | 91610 90078 69 | 0.000 % |
500.04/500.31 c | 740393 | 1946 8345 25386 | 2147483647 91351 69 | 0.000 % |
501.04/501.32 c | 741794 | 1946 8345 25386 | 2147483647 92752 69 | 0.000 % |
502.14/502.46 c | 743334 | 1946 8345 25386 | 2147483647 94292 69 | 0.000 % |
503.24/503.56 c | 745030 | 1946 8345 25386 | 2147483647 95988 69 | 0.000 % |
504.64/504.97 c | 746893 | 1946 8345 25386 | 2147483647 97851 69 | 0.000 % |
506.14/506.49 c | 748943 | 1946 8345 25386 | 2147483647 99901 69 | 0.000 % |
507.94/508.29 c | 751198 | 1946 8345 25386 | 100958 89376 69 | 0.000 % |
509.74/510.07 c | 753677 | 1946 8345 25386 | 100958 91855 69 | 0.000 % |
511.63/511.93 c | 756403 | 1946 8345 25386 | 100958 94581 69 | 0.000 % |
513.93/514.21 c | 759401 | 1946 8345 25386 | 100958 97579 70 | 0.000 % |
516.33/516.60 c | 762698 | 1946 8345 25386 | 98179 88827 70 | 0.000 % |
518.84/519.20 c | 766323 | 1946 8345 25386 | 98179 92452 70 | 0.000 % |
521.93/522.25 c | 770312 | 1946 8345 25386 | 96130 85202 69 | 0.000 % |
524.83/525.14 c | 774697 | 1946 8345 25386 | 96130 89587 70 | 0.000 % |
528.23/528.52 c | 779520 | 1946 8345 25386 | 96130 94410 70 | 0.000 % |
531.83/532.11 c | 784826 | 1946 8345 25386 | 94891 89328 70 | 0.000 % |
535.73/536.09 c | 790661 | 1946 8345 25386 | 94503 84318 70 | 0.000 % |
540.13/540.43 c | 797079 | 1946 8345 25386 | 94503 90736 70 | 0.000 % |
545.02/545.39 c | 804138 | 1946 8345 25386 | 93657 87250 71 | 0.000 % |
545.12/545.47 c | 804239 | 1946 8345 25386 | 93657 87351 71 | 0.000 % |
545.23/545.56 c | 804351 | 1946 8345 25386 | 93657 87463 71 | 0.000 % |
545.33/545.65 c | 804472 | 1946 8345 25386 | 93657 87584 71 | 0.000 % |
545.42/545.77 c | 804608 | 1946 8345 25386 | 93657 87720 71 | 0.000 % |
545.52/545.89 c | 804754 | 1946 8345 25386 | 93657 87866 71 | 0.000 % |
545.72/546.01 c | 804914 | 1946 8345 25386 | 93657 88026 71 | 0.000 % |
545.82/546.15 c | 805091 | 1946 8345 25386 | 93657 88203 71 | 0.000 % |
546.02/546.32 c | 805285 | 1946 8345 25386 | 93657 88397 71 | 0.000 % |
546.12/546.49 c | 805500 | 1946 8345 25386 | 93657 88612 71 | 0.000 % |
546.32/546.68 c | 805734 | 1946 8345 25386 | 93657 88846 71 | 0.000 % |
546.52/546.87 c | 805990 | 1946 8345 25386 | 93657 89102 71 | 0.000 % |
546.72/547.09 c | 806271 | 1946 8345 25386 | 93657 89383 71 | 0.000 % |
547.02/547.34 c | 806580 | 1946 8345 25386 | 93657 89692 71 | 0.000 % |
547.32/547.61 c | 806919 | 1946 8345 25386 | 93657 90031 71 | 0.000 % |
547.62/547.91 c | 807292 | 1946 8345 25386 | 93657 90404 70 | 0.000 % |
547.92/548.22 c | 807701 | 1946 8345 25386 | 93657 90813 70 | 0.000 % |
548.22/548.54 c | 808150 | 1946 8345 25386 | 93657 91262 70 | 0.000 % |
548.62/548.92 c | 808643 | 1946 8345 25386 | 93657 91755 70 | 0.000 % |
549.02/549.35 c | 809186 | 1946 8345 25386 | 93657 92298 70 | 0.000 % |
549.52/549.80 c | 809782 | 1946 8345 25386 | 93657 92894 70 | 0.000 % |
550.02/550.30 c | 810439 | 1946 8345 25386 | 93112 82340 70 | 0.000 % |
550.42/550.74 c | 811159 | 1946 8345 25386 | 93112 83060 70 | 0.000 % |
550.92/551.25 c | 811951 | 1946 8345 25386 | 93112 83852 70 | 0.000 % |
551.52/551.87 c | 812824 | 1946 8345 25386 | 93112 84725 70 | 0.000 % |
552.22/552.53 c | 813787 | 1946 8345 25386 | 93112 85688 70 | 0.000 % |
552.92/553.23 c | 814842 | 1946 8345 25386 | 93112 86743 70 | 0.000 % |
553.72/554.00 c | 816000 | 1946 8345 25386 | 93112 87901 70 | 0.000 % |
554.52/554.86 c | 817274 | 1946 8345 25386 | 93112 89175 70 | 0.000 % |
555.52/555.81 c | 818674 | 1946 8345 25386 | 93112 90575 70 | 0.000 % |
556.62/556.97 c | 820214 | 1946 8345 25386 | 2147483647 92115 70 | 0.000 % |
557.92/558.20 c | 821908 | 1946 8345 25386 | 2147483647 93809 70 | 0.000 % |
559.22/559.55 c | 823773 | 1946 8345 25386 | 2147483647 95674 70 | 0.000 % |
560.72/561.09 c | 825823 | 1946 8345 25386 | 2147483647 97724 70 | 0.000 % |
562.52/562.85 c | 828077 | 1946 8345 25386 | 2147483647 99978 70 | 0.000 % |
564.42/564.75 c | 830555 | 1946 8345 25386 | 101902 90197 70 | 0.000 % |
566.41/566.73 c | 833280 | 1946 8345 25386 | 101902 92922 70 | 0.000 % |
568.51/568.81 c | 836279 | 1946 8345 25386 | 101902 95921 71 | 0.000 % |
570.81/571.17 c | 839575 | 1946 8345 25386 | 101902 99217 71 | 0.000 % |
573.41/573.75 c | 843200 | 1946 8345 25386 | 99645 91104 71 | 0.000 % |
576.11/576.48 c | 847187 | 1946 8345 25386 | 99645 95091 71 | 0.000 % |
579.41/579.72 c | 851572 | 1946 8345 25386 | 97904 88094 71 | 0.000 % |
582.71/583.07 c | 856396 | 1946 8345 25386 | 97904 92918 71 | 0.000 % |
586.61/586.92 c | 861702 | 1946 8345 25386 | 96525 87232 71 | 0.000 % |
590.41/590.77 c | 867537 | 1946 8345 25386 | 96525 93067 72 | 0.000 % |
594.90/595.26 c | 873956 | 1946 8345 25386 | 95530 89218 72 | 0.000 % |
599.30/599.69 c | 881015 | 1946 8345 25386 | 2147483647 96277 72 | 0.000 % |
605.00/605.38 c | 888779 | 1946 8345 25386 | 2147483647 104041 72 | 0.000 % |
605.10/605.46 c | 888880 | 1946 8345 25386 | 2147483647 104142 72 | 0.000 % |
605.20/605.57 c | 888993 | 1946 8345 25386 | 2147483647 104255 72 | 0.000 % |
605.40/605.70 c | 889115 | 1946 8345 25386 | 2147483647 104377 72 | 0.000 % |
605.50/605.85 c | 889248 | 1946 8345 25386 | 2147483647 104510 72 | 0.000 % |
605.60/605.99 c | 889396 | 1946 8345 25386 | 2147483647 104658 72 | 0.000 % |
605.80/606.13 c | 889557 | 1946 8345 25386 | 2147483647 104819 72 | 0.000 % |
606.00/606.32 c | 889736 | 1946 8345 25386 | 2147483647 104998 72 | 0.000 % |
606.20/606.51 c | 889929 | 1946 8345 25386 | 2147483647 105191 72 | 0.000 % |
606.40/606.72 c | 890142 | 1946 8345 25386 | 105263 105404 72 | 0.000 % |
606.60/606.97 c | 890375 | 1946 8345 25386 | 105263 90943 71 | 0.000 % |
606.80/607.14 c | 890632 | 1946 8345 25386 | 105263 91200 71 | 0.000 % |
607.00/607.36 c | 890913 | 1946 8345 25386 | 105263 91481 71 | 0.000 % |
607.20/607.58 c | 891225 | 1946 8345 25386 | 105263 91793 71 | 0.000 % |
607.50/607.85 c | 891565 | 1946 8345 25386 | 105263 92133 71 | 0.000 % |
607.80/608.15 c | 891938 | 1946 8345 25386 | 105263 92506 71 | 0.000 % |
608.10/608.47 c | 892347 | 1946 8345 25386 | 105263 92915 71 | 0.000 % |
608.50/608.82 c | 892798 | 1946 8345 25386 | 105263 93366 71 | 0.000 % |
608.90/609.21 c | 893292 | 1946 8345 25386 | 105263 93860 71 | 0.000 % |
609.30/609.66 c | 893834 | 1946 8345 25386 | 105263 94402 71 | 0.000 % |
609.80/610.13 c | 894430 | 1946 8345 25386 | 105263 94998 71 | 0.000 % |
610.30/610.63 c | 895085 | 1946 8345 25386 | 105263 95653 71 | 0.000 % |
610.90/611.27 c | 895806 | 1946 8345 25386 | 105263 96374 71 | 0.000 % |
611.60/611.90 c | 896601 | 1946 8345 25386 | 105263 97169 71 | 0.000 % |
612.20/612.55 c | 897472 | 1946 8345 25386 | 105263 98040 71 | 0.000 % |
613.00/613.30 c | 898431 | 1946 8345 25386 | 105263 98999 71 | 0.000 % |
613.80/614.17 c | 899485 | 1946 8345 25386 | 105263 100053 71 | 0.000 % |
614.80/615.13 c | 900643 | 1946 8345 25386 | 100568 86288 71 | 0.000 % |
615.60/615.98 c | 901916 | 1946 8345 25386 | 100568 87561 71 | 0.000 % |
616.60/617.00 c | 903317 | 1946 8345 25386 | 100568 88962 71 | 0.000 % |
617.70/618.01 c | 904859 | 1946 8345 25386 | 100568 90504 71 | 0.000 % |
618.80/619.20 c | 906553 | 1946 8345 25386 | 100568 92198 71 | 0.000 % |
620.10/620.48 c | 908417 | 1946 8345 25386 | 100568 94062 71 | 0.000 % |
621.49/621.87 c | 910466 | 1946 8345 25386 | 95645 85508 71 | 0.000 % |
622.99/623.39 c | 912723 | 1946 8345 25386 | 95645 87765 71 | 0.000 % |
624.69/625.07 c | 915201 | 1946 8345 25386 | 95645 90243 71 | 0.000 % |
626.60/626.96 c | 917926 | 1946 8345 25386 | 95645 92968 71 | 0.000 % |
628.80/629.17 c | 920924 | 1946 8345 25386 | 2147483647 95966 71 | 0.000 % |
631.49/631.89 c | 924220 | 1946 8345 25386 | 2147483647 99262 71 | 0.000 % |
634.39/634.76 c | 927845 | 1946 8345 25386 | 2147483647 102887 71 | 0.000 % |
637.70/638.03 c | 931834 | 1946 8345 25386 | 105043 91716 70 | 0.000 % |
640.79/641.17 c | 936222 | 1946 8345 25386 | 105043 96104 71 | 0.000 % |
644.19/644.58 c | 941045 | 1946 8345 25386 | 99883 89063 70 | 0.000 % |
647.89/648.22 c | 946350 | 1946 8345 25386 | 99883 94368 71 | 0.000 % |
651.89/652.24 c | 952185 | 1946 8345 25386 | 98018 88180 71 | 0.000 % |
656.48/656.83 c | 958603 | 1946 8345 25386 | 98018 94598 71 | 0.000 % |
661.38/661.76 c | 965663 | 1946 8345 25386 | 95996 91425 71 | 0.000 % |
667.08/667.44 c | 973427 | 1946 8345 25386 | 95764 88930 71 | 0.000 % |
673.78/674.15 c | 981968 | 1946 8345 25386 | 95504 85725 72 | 0.000 % |
673.88/674.23 c | 982068 | 1946 8345 25386 | 95504 85825 72 | 0.000 % |
673.98/674.34 c | 982179 | 1946 8345 25386 | 95504 85936 72 | 0.000 % |
674.08/674.44 c | 982304 | 1946 8345 25386 | 95504 86061 72 | 0.000 % |
674.18/674.54 c | 982438 | 1946 8345 25386 | 95504 86195 72 | 0.000 % |
674.28/674.67 c | 982584 | 1946 8345 25386 | 95504 86341 72 | 0.000 % |
674.38/674.80 c | 982744 | 1946 8345 25386 | 95504 86501 72 | 0.000 % |
674.58/674.93 c | 982920 | 1946 8345 25386 | 95504 86677 72 | 0.000 % |
674.68/675.07 c | 983113 | 1946 8345 25386 | 95504 86870 72 | 0.000 % |
674.88/675.25 c | 983326 | 1946 8345 25386 | 95504 87083 72 | 0.000 % |
675.08/675.41 c | 983559 | 1946 8345 25386 | 95504 87316 72 | 0.000 % |
675.28/675.60 c | 983815 | 1946 8345 25386 | 95504 87572 72 | 0.000 % |
675.38/675.79 c | 984096 | 1946 8345 25386 | 95504 87853 72 | 0.000 % |
675.68/676.03 c | 984405 | 1946 8345 25386 | 95504 88162 72 | 0.000 % |
675.98/676.31 c | 984745 | 1946 8345 25386 | 95504 88502 72 | 0.000 % |
676.28/676.62 c | 985117 | 1946 8345 25386 | 95504 88874 72 | 0.000 % |
676.48/676.89 c | 985526 | 1946 8345 25386 | 95504 89283 72 | 0.000 % |
676.78/677.19 c | 985975 | 1946 8345 25386 | 95504 89732 72 | 0.000 % |
677.18/677.54 c | 986469 | 1946 8345 25386 | 95504 90226 72 | 0.000 % |
677.58/677.91 c | 987012 | 1946 8345 25386 | 95504 90769 72 | 0.000 % |
677.98/678.39 c | 987608 | 1946 8345 25386 | 95504 91365 72 | 0.000 % |
678.48/678.86 c | 988263 | 1946 8345 25386 | 95504 92020 72 | 0.000 % |
678.98/679.37 c | 988983 | 1946 8345 25386 | 95504 92740 72 | 0.000 % |
679.58/679.97 c | 989775 | 1946 8345 25386 | 95504 93532 72 | 0.000 % |
680.38/680.70 c | 990647 | 1946 8345 25386 | 93759 82815 72 | 0.000 % |
680.98/681.35 c | 991606 | 1946 8345 25386 | 93759 83774 72 | 0.000 % |
681.78/682.12 c | 992659 | 1946 8345 25386 | 93759 84827 72 | 0.000 % |
682.58/682.96 c | 993820 | 1946 8345 25386 | 93759 85988 72 | 0.000 % |
683.37/683.79 c | 995095 | 1946 8345 25386 | 93759 87263 72 | 0.000 % |
684.47/684.81 c | 996495 | 1946 8345 25386 | 93759 88663 72 | 0.000 % |
685.57/685.91 c | 998035 | 1946 8345 25386 | 93759 90203 72 | 0.000 % |
686.67/687.02 c | 999730 | 1946 8345 25386 | 93759 91898 72 | 0.000 % |
687.97/688.30 c | 1001595 | 1946 8345 25386 | 92171 84003 72 | 0.000 % |
689.28/689.66 c | 1003647 | 1946 8345 25386 | 92171 86055 72 | 0.000 % |
690.77/691.12 c | 1005901 | 1946 8345 25386 | 92171 88309 72 | 0.000 % |
692.47/692.80 c | 1008380 | 1946 8345 25386 | 92171 90788 72 | 0.000 % |
694.27/694.64 c | 1011105 | 1946 8345 25386 | 2147483647 93513 72 | 0.000 % |
696.37/696.73 c | 1014105 | 1946 8345 25386 | 2147483647 96513 72 | 0.000 % |
698.77/699.13 c | 1017402 | 1946 8345 25386 | 2147483647 99810 72 | 0.000 % |
701.57/701.96 c | 1021028 | 1946 8345 25386 | 102411 91651 72 | 0.000 % |
704.57/704.90 c | 1025015 | 1946 8345 25386 | 102411 95638 72 | 0.000 % |
707.67/708.05 c | 1029400 | 1946 8345 25386 | 102411 100023 72 | 0.000 % |
710.96/711.39 c | 1034223 | 1946 8345 25386 | 100624 91486 72 | 0.000 % |
714.67/715.10 c | 1039529 | 1946 8345 25386 | 100624 96792 72 | 0.000 % |
718.76/719.14 c | 1045365 | 1946 8345 25386 | 97263 91548 71 | 0.000 % |
723.36/723.70 c | 1051784 | 1946 8345 25386 | 96183 86410 71 | 0.000 % |
728.36/728.79 c | 1058843 | 1946 8345 25386 | 96183 93469 72 | 0.000 % |
734.06/734.48 c | 1066607 | 1946 8345 25386 | 94626 91728 72 | 0.000 % |
740.15/740.60 c | 1075147 | 1946 8345 25386 | 2147483647 90732 72 | 0.000 % |
747.05/747.44 c | 1084546 | 1946 8345 25386 | 95585 89882 73 | 0.000 % |
747.15/747.52 c | 1084646 | 1946 8345 25386 | 95585 89982 73 | 0.000 % |
747.25/747.62 c | 1084757 | 1946 8345 25386 | 95585 90093 73 | 0.000 % |
747.35/747.71 c | 1084879 | 1946 8345 25386 | 95585 90215 73 | 0.000 % |
747.45/747.84 c | 1085013 | 1946 8345 25386 | 95585 90349 73 | 0.000 % |
747.56/748.00 c | 1085159 | 1946 8345 25386 | 95585 90495 73 | 0.000 % |
747.75/748.15 c | 1085320 | 1946 8345 25386 | 95585 90656 72 | 0.000 % |
747.85/748.28 c | 1085496 | 1946 8345 25386 | 95585 90832 72 | 0.000 % |
748.05/748.45 c | 1085691 | 1946 8345 25386 | 95585 91027 72 | 0.000 % |
748.25/748.62 c | 1085903 | 1946 8345 25386 | 95585 91239 72 | 0.000 % |
748.45/748.81 c | 1086137 | 1946 8345 25386 | 95585 91473 72 | 0.000 % |
748.55/748.99 c | 1086393 | 1946 8345 25386 | 95585 91729 72 | 0.000 % |
748.85/749.20 c | 1086675 | 1946 8345 25386 | 95585 92011 72 | 0.000 % |
749.05/749.43 c | 1086984 | 1946 8345 25386 | 95585 92320 72 | 0.000 % |
749.25/749.67 c | 1087323 | 1946 8345 25386 | 95585 92659 72 | 0.000 % |
749.55/749.95 c | 1087695 | 1946 8345 25386 | 95585 93031 72 | 0.000 % |
749.85/750.23 c | 1088106 | 1946 8345 25386 | 95585 93442 72 | 0.000 % |
750.15/750.54 c | 1088555 | 1946 8345 25386 | 95585 93891 72 | 0.000 % |
750.55/750.95 c | 1089048 | 1946 8345 25386 | 95585 94384 72 | 0.000 % |
750.95/751.36 c | 1089590 | 1946 8345 25386 | 95585 94926 72 | 0.000 % |
751.45/751.85 c | 1090186 | 1946 8345 25386 | 95337 95522 72 | 0.000 % |
751.95/752.33 c | 1090842 | 1946 8345 25386 | 95337 83950 73 | 0.000 % |
752.45/752.84 c | 1091564 | 1946 8345 25386 | 95337 84672 73 | 0.000 % |
753.05/753.42 c | 1092358 | 1946 8345 25386 | 95337 85466 73 | 0.000 % |
753.65/754.07 c | 1093229 | 1946 8345 25386 | 95337 86337 72 | 0.000 % |
754.35/754.70 c | 1094187 | 1946 8345 25386 | 95337 87295 72 | 0.000 % |
755.05/755.47 c | 1095241 | 1946 8345 25386 | 95337 88349 72 | 0.000 % |
755.85/756.28 c | 1096399 | 1946 8345 25386 | 95337 89507 72 | 0.000 % |
756.75/757.17 c | 1097673 | 1946 8345 25386 | 95337 90781 72 | 0.000 % |
757.75/758.13 c | 1099074 | 1946 8345 25386 | 95337 92182 72 | 0.000 % |
758.95/759.35 c | 1100615 | 1946 8345 25386 | 93108 83646 72 | 0.000 % |
759.95/760.37 c | 1102309 | 1946 8345 25386 | 93108 85340 72 | 0.000 % |
761.15/761.50 c | 1104172 | 1946 8345 25386 | 93108 87203 73 | 0.000 % |
762.44/762.85 c | 1106221 | 1946 8345 25386 | 93108 89252 73 | 0.000 % |
763.94/764.38 c | 1108474 | 1946 8345 25386 | 93108 91505 72 | 0.000 % |
765.84/766.26 c | 1110952 | 1946 8345 25386 | 2147483647 93983 72 | 0.000 % |
767.84/768.21 c | 1113677 | 1946 8345 25386 | 2147483647 96708 72 | 0.000 % |
769.94/770.37 c | 1116674 | 1946 8345 25386 | 2147483647 99705 72 | 0.000 % |
772.24/772.68 c | 1119975 | 1946 8345 25386 | 2147483647 103006 72 | 0.000 % |
775.04/775.44 c | 1123601 | 1946 8345 25386 | 103032 94752 71 | 0.000 % |
778.04/778.46 c | 1127589 | 1946 8345 25386 | 103032 98740 71 | 0.000 % |
781.24/781.69 c | 1131974 | 1946 8345 25386 | 101151 90168 71 | 0.000 % |
784.64/785.01 c | 1136797 | 1946 8345 25386 | 101151 94991 72 | 0.000 % |
788.43/788.83 c | 1142102 | 1946 8345 25386 | 98195 88885 71 | 0.000 % |
792.74/793.18 c | 1147939 | 1946 8345 25386 | 98195 94722 71 | 0.000 % |
797.73/798.19 c | 1154358 | 1946 8345 25386 | 96783 89047 70 | 0.000 % |
802.73/803.15 c | 1161418 | 1946 8345 25386 | 94690 85107 70 | 0.000 % |
808.33/808.76 c | 1169183 | 1946 8345 25386 | 94690 92872 71 | 0.000 % |
814.43/814.82 c | 1177723 | 1946 8345 25386 | 93689 91740 72 | 0.000 % |
821.23/821.67 c | 1187119 | 1946 8345 25386 | 2147483647 91737 72 | 0.000 % |
828.82/829.21 c | 1197453 | 1946 8345 25386 | 94618 92165 73 | 0.000 % |
828.82/829.29 c | 1197553 | 1946 8345 25386 | 94618 92265 73 | 0.000 % |
829.02/829.41 c | 1197663 | 1946 8345 25386 | 94618 92375 73 | 0.000 % |
829.12/829.51 c | 1197785 | 1946 8345 25386 | 94618 92497 73 | 0.000 % |
829.23/829.63 c | 1197918 | 1946 8345 25386 | 94618 92630 73 | 0.000 % |
829.33/829.76 c | 1198064 | 1946 8345 25386 | 94618 92776 73 | 0.000 % |
829.53/829.91 c | 1198225 | 1946 8345 25386 | 94618 92937 73 | 0.000 % |
829.63/830.08 c | 1198401 | 1946 8345 25386 | 94618 93113 73 | 0.000 % |
829.83/830.23 c | 1198597 | 1946 8345 25386 | 94618 93309 73 | 0.000 % |
830.03/830.41 c | 1198809 | 1946 8345 25386 | 94618 93521 73 | 0.000 % |
830.13/830.59 c | 1199043 | 1946 8345 25386 | 94618 93755 73 | 0.000 % |
830.43/830.83 c | 1199301 | 1946 8345 25386 | 94618 94013 73 | 0.000 % |
830.63/831.06 c | 1199582 | 1946 8345 25386 | 94618 94294 73 | 0.000 % |
830.93/831.32 c | 1199893 | 1946 8345 25386 | 94618 94605 73 | 0.000 % |
831.23/831.61 c | 1200234 | 1946 8345 25386 | 94712 94946 73 | 0.000 % |
831.53/831.96 c | 1200606 | 1946 8345 25386 | 94712 83591 73 | 0.000 % |
831.83/832.27 c | 1201015 | 1946 8345 25386 | 94712 84000 73 | 0.000 % |
832.13/832.60 c | 1201464 | 1946 8345 25386 | 94712 84449 73 | 0.000 % |
832.53/832.94 c | 1201958 | 1946 8345 25386 | 94712 84943 73 | 0.000 % |
832.93/833.31 c | 1202500 | 1946 8345 25386 | 94712 85485 73 | 0.000 % |
833.33/833.77 c | 1203096 | 1946 8345 25386 | 94712 86081 73 | 0.000 % |
833.83/834.25 c | 1203751 | 1946 8345 25386 | 94712 86736 73 | 0.000 % |
834.33/834.76 c | 1204471 | 1946 8345 25386 | 94712 87456 73 | 0.000 % |
834.93/835.31 c | 1205265 | 1946 8345 25386 | 94712 88250 73 | 0.000 % |
835.53/835.94 c | 1206137 | 1946 8345 25386 | 94712 89122 73 | 0.000 % |
836.13/836.55 c | 1207098 | 1946 8345 25386 | 94712 90083 73 | 0.000 % |
836.83/837.30 c | 1208151 | 1946 8345 25386 | 94712 91136 73 | 0.000 % |
837.73/838.11 c | 1209310 | 1946 8345 25386 | 94712 92295 73 | 0.000 % |
838.63/839.07 c | 1210583 | 1946 8345 25386 | 92985 83526 73 | 0.000 % |
839.53/839.99 c | 1211983 | 1946 8345 25386 | 92985 84926 73 | 0.000 % |
840.53/840.99 c | 1213523 | 1946 8345 25386 | 92985 86466 73 | 0.000 % |
841.82/842.23 c | 1215218 | 1946 8345 25386 | 92985 88161 73 | 0.000 % |
843.23/843.68 c | 1217082 | 1946 8345 25386 | 92985 90025 73 | 0.000 % |
844.72/845.13 c | 1219132 | 1946 8345 25386 | 92985 92075 73 | 0.000 % |
846.32/846.79 c | 1221385 | 1946 8345 25386 | 92943 84004 72 | 0.000 % |
847.82/848.28 c | 1223864 | 1946 8345 25386 | 92943 86483 72 | 0.000 % |
849.62/850.04 c | 1226591 | 1946 8345 25386 | 92943 89210 72 | 0.000 % |
851.72/852.16 c | 1229589 | 1946 8345 25386 | 92943 92208 72 | 0.000 % |
854.23/854.66 c | 1232887 | 1946 8345 25386 | 2147483647 95506 72 | 0.000 % |
857.12/857.58 c | 1236516 | 1946 8345 25386 | 2147483647 99135 72 | 0.000 % |
860.22/860.68 c | 1240503 | 1946 8345 25386 | 102620 88705 72 | 0.000 % |
863.52/863.98 c | 1244888 | 1946 8345 25386 | 102620 93090 72 | 0.000 % |
867.02/867.40 c | 1249713 | 1946 8345 25386 | 102620 97915 72 | 0.000 % |
870.72/871.15 c | 1255018 | 1946 8345 25386 | 98204 89465 71 | 0.000 % |
874.91/875.34 c | 1260855 | 1946 8345 25386 | 94447 84445 70 | 0.000 % |
879.81/880.20 c | 1267275 | 1946 8345 25386 | 94447 90865 71 | 0.000 % |
884.81/885.26 c | 1274334 | 1946 8345 25386 | 93590 86414 71 | 0.000 % |
890.51/890.92 c | 1282099 | 1946 8345 25386 | 92080 82754 71 | 0.000 % |
896.21/896.63 c | 1290641 | 1946 8345 25386 | 90655 79419 72 | 0.000 % |
902.90/903.31 c | 1300035 | 1946 8345 25386 | 88778 88813 73 | 0.000 % |
909.60/910.03 c | 1310368 | 1946 8345 25386 | 2147483647 88738 73 | 0.000 % |
917.50/917.99 c | 1321737 | 1946 8345 25386 | 2147483647 100107 73 | 0.000 % |
917.60/918.07 c | 1321837 | 1946 8345 25386 | 2147483647 100207 73 | 0.000 % |
917.70/918.18 c | 1321948 | 1946 8345 25386 | 2147483647 100318 73 | 0.000 % |
917.80/918.29 c | 1322069 | 1946 8345 25386 | 2147483647 100439 73 | 0.000 % |
918.00/918.44 c | 1322202 | 1946 8345 25386 | 2147483647 100572 73 | 0.000 % |
918.10/918.57 c | 1322348 | 1946 8345 25386 | 2147483647 100718 73 | 0.000 % |
918.30/918.73 c | 1322508 | 1946 8345 25386 | 2147483647 100878 73 | 0.000 % |
918.50/918.91 c | 1322685 | 1946 8345 25386 | 2147483647 101055 73 | 0.000 % |
918.60/919.08 c | 1322878 | 1946 8345 25386 | 2147483647 101248 73 | 0.000 % |
918.80/919.27 c | 1323090 | 1946 8345 25386 | 2147483647 101460 73 | 0.000 % |
919.00/919.50 c | 1323323 | 1946 8345 25386 | 2147483647 101693 73 | 0.000 % |
919.30/919.73 c | 1323579 | 1946 8345 25386 | 2147483647 101949 73 | 0.000 % |
919.60/920.03 c | 1323861 | 1946 8345 25386 | 2147483647 102231 73 | 0.000 % |
919.89/920.31 c | 1324172 | 1946 8345 25386 | 2147483647 102542 73 | 0.000 % |
920.09/920.58 c | 1324512 | 1946 8345 25386 | 2147483647 102882 73 | 0.000 % |
920.49/920.95 c | 1324884 | 1946 8345 25386 | 2147483647 103254 73 | 0.000 % |
920.89/921.30 c | 1325293 | 1946 8345 25386 | 2147483647 103663 73 | 0.000 % |
921.19/921.67 c | 1325745 | 1946 8345 25386 | 2147483647 104115 73 | 0.000 % |
921.60/922.07 c | 1326238 | 1946 8345 25386 | 2147483647 104608 73 | 0.000 % |
922.10/922.50 c | 1326781 | 1946 8345 25386 | 2147483647 105151 73 | 0.000 % |
922.50/922.98 c | 1327378 | 1946 8345 25386 | 2147483647 105748 73 | 0.000 % |
923.10/923.52 c | 1328033 | 1946 8345 25386 | 2147483647 106403 73 | 0.000 % |
923.70/924.15 c | 1328755 | 1946 8345 25386 | 2147483647 107125 73 | 0.000 % |
924.40/924.86 c | 1329548 | 1946 8345 25386 | 2147483647 107918 73 | 0.000 % |
925.19/925.68 c | 1330420 | 1946 8345 25386 | 108371 91191 73 | 0.000 % |
925.89/926.39 c | 1331378 | 1946 8345 25386 | 108371 92149 73 | 0.000 % |
926.69/927.15 c | 1332433 | 1946 8345 25386 | 108371 93204 73 | 0.000 % |
927.49/927.92 c | 1333592 | 1946 8345 25386 | 108371 94363 73 | 0.000 % |
928.49/928.99 c | 1334866 | 1946 8345 25386 | 108371 95637 73 | 0.000 % |
929.49/929.98 c | 1336266 | 1946 8345 25386 | 108371 97037 73 | 0.000 % |
930.69/931.17 c | 1337807 | 1946 8345 25386 | 108371 98578 73 | 0.000 % |
931.99/932.43 c | 1339501 | 1946 8345 25386 | 108371 100272 73 | 0.000 % |
933.59/934.06 c | 1341364 | 1946 8345 25386 | 100772 87745 72 | 0.000 % |
935.19/935.62 c | 1343416 | 1946 8345 25386 | 100772 89797 72 | 0.000 % |
936.69/937.11 c | 1345670 | 1946 8345 25386 | 100772 92051 72 | 0.000 % |
938.59/939.05 c | 1348149 | 1946 8345 25386 | 100772 94530 72 | 0.000 % |
940.69/941.14 c | 1350874 | 1946 8345 25386 | 96384 86120 71 | 0.000 % |
942.79/943.24 c | 1353871 | 1946 8345 25386 | 96384 89117 71 | 0.000 % |
945.29/945.72 c | 1357167 | 1946 8345 25386 | 96384 92413 71 | 0.000 % |
947.79/948.29 c | 1360794 | 1946 8345 25386 | 95248 85913 71 | 0.000 % |
950.68/951.12 c | 1364782 | 1946 8345 25386 | 95248 89901 71 | 0.000 % |
954.08/954.59 c | 1369168 | 1946 8345 25386 | 95248 94287 71 | 0.000 % |
957.88/958.32 c | 1373991 | 1946 8345 25386 | 95120 88921 71 | 0.000 % |
961.78/962.23 c | 1379296 | 1946 8345 25386 | 95120 94226 70 | 0.000 % |
965.58/966.08 c | 1385131 | 1946 8345 25386 | 94932 89694 70 | 0.000 % |
970.38/970.86 c | 1391550 | 1946 8345 25386 | 94566 86356 70 | 0.000 % |
974.87/975.38 c | 1398609 | 1946 8345 25386 | 94566 93415 71 | 0.000 % |
979.87/980.38 c | 1406375 | 1946 8345 25386 | 94806 90498 71 | 0.000 % |
985.67/986.10 c | 1414917 | 1946 8345 25386 | 94124 89154 72 | 0.000 % |
992.17/992.60 c | 1424311 | 1946 8345 25386 | 94240 88594 72 | 0.000 % |
999.17/999.64 c | 1434646 | 1946 8345 25386 | 94285 88029 72 | 0.000 % |
1007.66/1008.13 c | 1446012 | 1946 8345 25386 | 93384 88669 73 | 0.000 % |
1016.46/1016.97 c | 1458514 | 1946 8345 25386 | 92659 89426 74 | 0.000 % |
1016.56/1017.05 c | 1458615 | 1946 8345 25386 | 92659 89527 74 | 0.000 % |
1016.66/1017.14 c | 1458725 | 1946 8345 25386 | 92659 89637 74 | 0.000 % |
1016.76/1017.24 c | 1458846 | 1946 8345 25386 | 92659 89758 74 | 0.000 % |
1016.86/1017.36 c | 1458980 | 1946 8345 25386 | 92659 89892 73 | 0.000 % |
1016.96/1017.49 c | 1459127 | 1946 8345 25386 | 92659 90039 73 | 0.000 % |
1017.16/1017.62 c | 1459288 | 1946 8345 25386 | 92659 90200 73 | 0.000 % |
1017.26/1017.74 c | 1459464 | 1946 8345 25386 | 92659 90376 73 | 0.000 % |
1017.46/1017.91 c | 1459657 | 1946 8345 25386 | 92659 90569 73 | 0.000 % |
1017.56/1018.07 c | 1459869 | 1946 8345 25386 | 92659 90781 73 | 0.000 % |
1017.76/1018.24 c | 1460102 | 1946 8345 25386 | 90913 91014 73 | 0.000 % |
1018.06/1018.50 c | 1460359 | 1946 8345 25386 | 90913 78574 74 | 0.000 % |
1018.16/1018.70 c | 1460643 | 1946 8345 25386 | 90913 78858 74 | 0.000 % |
1018.46/1018.91 c | 1460953 | 1946 8345 25386 | 90913 79168 74 | 0.000 % |
1018.66/1019.15 c | 1461295 | 1946 8345 25386 | 90913 79510 74 | 0.000 % |
1018.96/1019.44 c | 1461667 | 1946 8345 25386 | 90913 79882 74 | 0.000 % |
1019.26/1019.71 c | 1462078 | 1946 8345 25386 | 90913 80293 74 | 0.000 % |
1019.55/1020.06 c | 1462530 | 1946 8345 25386 | 90913 80745 74 | 0.000 % |
1019.85/1020.39 c | 1463023 | 1946 8345 25386 | 90913 81238 74 | 0.000 % |
1020.26/1020.78 c | 1463565 | 1946 8345 25386 | 90913 81780 74 | 0.000 % |
1020.65/1021.19 c | 1464161 | 1946 8345 25386 | 90913 82376 73 | 0.000 % |
1021.15/1021.63 c | 1464818 | 1946 8345 25386 | 90913 83033 73 | 0.000 % |
1021.55/1022.09 c | 1465538 | 1946 8345 25386 | 90913 83753 73 | 0.000 % |
1022.05/1022.59 c | 1466332 | 1946 8345 25386 | 90913 84547 73 | 0.000 % |
1022.65/1023.19 c | 1467204 | 1946 8345 25386 | 90913 85419 73 | 0.000 % |
1023.35/1023.87 c | 1468162 | 1946 8345 25386 | 90913 86377 73 | 0.000 % |
1024.15/1024.68 c | 1469215 | 1946 8345 25386 | 90913 87430 73 | 0.000 % |
1025.05/1025.58 c | 1470375 | 1946 8345 25386 | 88215 78783 73 | 0.000 % |
1025.95/1026.45 c | 1471648 | 1946 8345 25386 | 88215 80056 73 | 0.000 % |
1026.85/1027.35 c | 1473049 | 1946 8345 25386 | 88215 81457 73 | 0.000 % |
1027.85/1028.37 c | 1474589 | 1946 8345 25386 | 88215 82997 73 | 0.000 % |
1029.05/1029.56 c | 1476284 | 1946 8345 25386 | 88215 84692 73 | 0.000 % |
1030.35/1030.85 c | 1478147 | 1946 8345 25386 | 88215 86555 73 | 0.000 % |
1031.95/1032.46 c | 1480196 | 1946 8345 25386 | 88410 88604 72 | 0.000 % |
1033.55/1034.01 c | 1482449 | 1946 8345 25386 | 88410 80998 71 | 0.000 % |
1035.15/1035.62 c | 1484927 | 1946 8345 25386 | 88410 83476 71 | 0.000 % |
1037.15/1037.61 c | 1487654 | 1946 8345 25386 | 88410 86203 71 | 0.000 % |
1039.25/1039.79 c | 1490655 | 1946 8345 25386 | 2147483647 89204 71 | 0.000 % |
1041.65/1042.14 c | 1493951 | 1946 8345 25386 | 2147483647 92500 71 | 0.000 % |
1044.25/1044.71 c | 1497578 | 1946 8345 25386 | 2147483647 96127 71 | 0.000 % |
1047.54/1048.01 c | 1501566 | 1946 8345 25386 | 98551 88219 70 | 0.000 % |
1050.54/1051.08 c | 1505951 | 1946 8345 25386 | 98551 92604 70 | 0.000 % |
1054.24/1054.75 c | 1510774 | 1946 8345 25386 | 96656 85073 70 | 0.000 % |
1058.24/1058.74 c | 1516079 | 1946 8345 25386 | 96656 90378 70 | 0.000 % |
1062.44/1062.92 c | 1521915 | 1946 8345 25386 | 94299 84498 70 | 0.000 % |
1066.84/1067.34 c | 1528333 | 1946 8345 25386 | 94299 90916 71 | 0.000 % |
1071.74/1072.23 c | 1535392 | 1946 8345 25386 | 92583 87831 71 | 0.000 % |
1077.14/1077.60 c | 1543156 | 1946 8345 25386 | 2147483647 95595 71 | 0.000 % |
1083.74/1084.25 c | 1551696 | 1946 8345 25386 | 102439 90137 72 | 0.000 % |
1090.54/1091.04 c | 1561090 | 1946 8345 25386 | 98443 86872 73 | 0.000 % |
1098.04/1098.54 c | 1571424 | 1946 8345 25386 | 95786 84047 74 | 0.000 % |
1105.93/1106.47 c | 1582791 | 1946 8345 25386 | 92624 84162 74 | 0.000 % |
1114.63/1115.15 c | 1595294 | 1946 8345 25386 | 91371 86940 74 | 0.000 % |
1124.83/1125.32 c | 1609046 | 1946 8345 25386 | 80820 80280 75 | 0.000 % |
1124.93/1125.40 c | 1609148 | 1946 8345 25386 | 80820 80382 75 | 0.000 % |
1124.93/1125.48 c | 1609258 | 1946 8345 25386 | 80820 80492 75 | 0.000 % |
1125.03/1125.57 c | 1609379 | 1946 8345 25386 | 80820 80613 75 | 0.000 % |
1125.13/1125.67 c | 1609514 | 1946 8345 25386 | 80820 80748 75 | 0.000 % |
1125.23/1125.79 c | 1609660 | 1946 8345 25386 | 80820 80894 75 | 0.000 % |
1125.43/1125.96 c | 1609821 | 1946 8345 25386 | 80820 72966 74 | 0.000 % |
1125.53/1126.09 c | 1609997 | 1946 8345 25386 | 80820 73142 74 | 0.000 % |
1125.73/1126.21 c | 1610191 | 1946 8345 25386 | 2147483647 73336 74 | 0.000 % |
1125.83/1126.34 c | 1610404 | 1946 8345 25386 | 2147483647 73549 74 | 0.000 % |
1126.03/1126.50 c | 1610637 | 1946 8345 25386 | 2147483647 73782 74 | 0.000 % |
1126.13/1126.65 c | 1610893 | 1946 8345 25386 | 2147483647 74038 74 | 0.000 % |
1126.33/1126.84 c | 1611174 | 1946 8345 25386 | 2147483647 74319 74 | 0.000 % |
1126.53/1127.05 c | 1611484 | 1946 8345 25386 | 2147483647 74629 74 | 0.000 % |
1126.73/1127.27 c | 1611824 | 1946 8345 25386 | 2147483647 74969 74 | 0.000 % |
1127.03/1127.52 c | 1612198 | 1946 8345 25386 | 2147483647 75343 74 | 0.000 % |
1127.23/1127.77 c | 1612607 | 1946 8345 25386 | 2147483647 75752 74 | 0.000 % |
1127.53/1128.06 c | 1613056 | 1946 8345 25386 | 2147483647 76201 74 | 0.000 % |
1127.93/1128.42 c | 1613549 | 1946 8345 25386 | 2147483647 76694 74 | 0.000 % |
1128.23/1128.75 c | 1614091 | 1946 8345 25386 | 2147483647 77236 74 | 0.000 % |
1128.63/1129.13 c | 1614688 | 1946 8345 25386 | 2147483647 77833 74 | 0.000 % |
1128.93/1129.48 c | 1615344 | 1946 8345 25386 | 2147483647 78489 74 | 0.000 % |
1129.43/1129.94 c | 1616066 | 1946 8345 25386 | 2147483647 79211 74 | 0.000 % |
1130.03/1130.51 c | 1616862 | 1946 8345 25386 | 2147483647 80007 74 | 0.000 % |
1130.53/1131.09 c | 1617737 | 1946 8345 25386 | 2147483647 80882 74 | 0.000 % |
1131.23/1131.76 c | 1618695 | 1946 8345 25386 | 2147483647 81840 74 | 0.000 % |
1131.92/1132.46 c | 1619749 | 1946 8345 25386 | 2147483647 82894 74 | 0.000 % |
1132.72/1133.26 c | 1620909 | 1946 8345 25386 | 2147483647 84054 74 | 0.000 % |
1133.53/1134.09 c | 1622183 | 1946 8345 25386 | 2147483647 85328 74 | 0.000 % |
1134.52/1135.01 c | 1623584 | 1946 8345 25386 | 2147483647 86729 73 | 0.000 % |
1135.52/1136.05 c | 1625125 | 1946 8345 25386 | 2147483647 88270 73 | 0.000 % |
1136.62/1137.13 c | 1626819 | 1946 8345 25386 | 2147483647 89964 73 | 0.000 % |
1137.93/1138.48 c | 1628683 | 1946 8345 25386 | 2147483647 91828 73 | 0.000 % |
1139.32/1139.89 c | 1630733 | 1946 8345 25386 | 2147483647 93878 73 | 0.000 % |
1140.92/1141.45 c | 1632987 | 1946 8345 25386 | 2147483647 96132 73 | 0.000 % |
1142.72/1143.30 c | 1635466 | 1946 8345 25386 | 2147483647 98611 73 | 0.000 % |
1145.02/1145.52 c | 1638191 | 1946 8345 25386 | 2147483647 101336 73 | 0.000 % |
1147.22/1147.75 c | 1641188 | 1946 8345 25386 | 103145 91787 72 | 0.000 % |
1149.52/1150.02 c | 1644485 | 1946 8345 25386 | 103145 95084 72 | 0.000 % |
1152.42/1152.90 c | 1648111 | 1946 8345 25386 | 103145 98710 72 | 0.000 % |
1155.81/1156.32 c | 1652098 | 1946 8345 25386 | 100602 90317 72 | 0.000 % |
1158.92/1159.45 c | 1656483 | 1946 8345 25386 | 100602 94702 72 | 0.000 % |
1162.41/1162.99 c | 1661306 | 1946 8345 25386 | 98219 87966 72 | 0.000 % |
1166.21/1166.74 c | 1666612 | 1946 8345 25386 | 98219 93272 72 | 0.000 % |
1170.31/1170.88 c | 1672447 | 1946 8345 25386 | 96663 88986 71 | 0.000 % |
1174.81/1175.39 c | 1678866 | 1946 8345 25386 | 96663 95405 71 | 0.000 % |
1180.30/1180.83 c | 1685926 | 1946 8345 25386 | 96539 92011 71 | 0.000 % |
1186.30/1186.84 c | 1693692 | 1946 8345 25386 | 96085 88613 70 | 0.000 % |
1192.90/1193.50 c | 1702232 | 1946 8345 25386 | 94921 85719 71 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832651-1242785934/watcher-1832651-1242785934 -o /tmp/evaluation-result-1832651-1242785934/solver-1832651-1242785934 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832651-1242785934.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: 1.00 1.00 0.95 3/65 17193
/proc/meminfo: memFree=1686696/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0
/proc/17193/stat : 17193 (SatELiteGTI) R 17191 17193 15003 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 306626590 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213742239 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/17193/statm: 1339 237 197 169 0 50 0
[startup+0.045414 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 17193
/proc/meminfo: memFree=1686696/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.101413 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 17193
/proc/meminfo: memFree=1686696/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301436 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 17193
/proc/meminfo: memFree=1686696/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701481 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 17193
/proc/meminfo: memFree=1686696/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50157 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1684568/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=4556 CPUtime=1.45
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 827 0 0 0 145 0 0 0 25 0 1 0 306626593 4665344 813 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 1139 813 77 171 0 966 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9912
[startup+3.10175 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1681752/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=7808 CPUtime=3.04
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 1602 0 0 0 304 0 0 0 25 0 1 0 306626593 7995392 1588 1992294400 134512640 135215339 4294956240 18446744073709551615 134539808 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 1952 1588 77 171 0 1779 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13164
[startup+6.30112 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1676888/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=11668 CPUtime=6.24
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 2586 0 0 0 622 2 0 0 25 0 1 0 306626593 11948032 2572 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 2917 2572 77 171 0 2744 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 17024
[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1671000/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=17028 CPUtime=12.62
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 3913 0 0 0 1259 3 0 0 25 0 1 0 306626593 17436672 3899 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 4257 3899 77 171 0 4084 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 22384
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1663320/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=24276 CPUtime=25.42
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 5740 0 0 0 2536 6 0 0 25 0 1 0 306626593 24858624 5726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 6069 5726 77 171 0 5896 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 29632
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1654616/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=32904 CPUtime=51.01
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 7864 0 0 0 5092 9 0 0 25 0 1 0 306626593 33693696 7850 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 8226 7850 77 171 0 8053 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 38260
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1653464/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=34092 CPUtime=102.19
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 8150 0 0 0 10209 10 0 0 25 0 1 0 306626593 34910208 8136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 8523 8136 77 171 0 8350 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 39448
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1653080/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=34356 CPUtime=162.15
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 8231 0 0 0 16205 10 0 0 25 0 1 0 306626593 35180544 8217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 8589 8217 77 171 0 8416 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 39712
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1651928/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=35412 CPUtime=222.13
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 8489 0 0 0 22202 11 0 0 25 0 1 0 306626593 36261888 8475 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 8853 8475 77 171 0 8680 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 40768
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1650584/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=36600 CPUtime=282.1
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 8798 0 0 0 28198 12 0 0 25 0 1 0 306626593 37478400 8784 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 9150 8784 77 171 0 8977 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 41956
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1649440/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=37656 CPUtime=342.07
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 9073 0 0 0 34195 12 0 0 25 0 1 0 306626593 38559744 9059 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 9414 9059 77 171 0 9241 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 43012
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1649312/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=37656 CPUtime=402.05
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 9073 0 0 0 40193 12 0 0 25 0 1 0 306626593 38559744 9059 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 9414 9059 77 171 0 9241 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 43012
[startup+462.302 s]
################
# More data... #
################
/proc/17199/statm: 9447 9075 77 171 0 9274 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 43144
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1647008/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=39636 CPUtime=641.96
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 9556 0 0 0 64182 14 0 0 25 0 1 0 306626593 40587264 9542 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 9909 9542 77 171 0 9736 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 44992
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1646880/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=39636 CPUtime=701.94
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 9556 0 0 0 70180 14 0 0 25 0 1 0 306626593 40587264 9542 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 9909 9542 77 171 0 9736 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 44992
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1646752/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=39636 CPUtime=761.92
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 9556 0 0 0 76178 14 0 0 25 0 1 0 306626593 40587264 9542 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 9909 9542 77 171 0 9736 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 44992
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1646624/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=39768 CPUtime=821.9
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 9579 0 0 0 82176 14 0 0 25 0 1 0 306626593 40722432 9565 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 9942 9565 77 171 0 9769 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 45124
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1646240/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=40032 CPUtime=881.88
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 9661 0 0 0 88173 15 0 0 25 0 1 0 306626593 40992768 9647 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 10008 9647 77 171 0 9835 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 45388
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1643680/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=42540 CPUtime=941.86
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 10265 0 0 0 94170 16 0 0 25 0 1 0 306626593 43560960 10251 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 10635 10251 77 171 0 10462 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 47896
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1643680/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=42428 CPUtime=1001.84
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 10265 0 0 0 100168 16 0 0 25 0 1 0 306626593 43446272 10251 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 10607 10251 77 171 0 10434 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 47784
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1643552/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=42428 CPUtime=1061.81
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 10265 0 0 0 106165 16 0 0 25 0 1 0 306626593 43446272 10251 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 10607 10251 77 171 0 10434 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 47784
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1643552/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=42428 CPUtime=1121.8
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 10265 0 0 0 112163 17 0 0 25 0 1 0 306626593 43446272 10251 1992294400 134512640 135215339 4294956240 18446744073709551615 134532695 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 10607 10251 77 171 0 10434 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 47784
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1643424/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=42428 CPUtime=1181.77
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 10265 0 0 0 118160 17 0 0 25 0 1 0 306626593 43446272 10251 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 10607 10251 77 171 0 10434 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 47784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1643360/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=42428 CPUtime=1199.97
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 10265 0 0 0 119980 17 0 0 25 0 1 0 306626593 43446272 10251 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 10607 10251 77 171 0 10434 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 47784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 17199
/proc/meminfo: memFree=1643360/2055920 swapFree=4177448/4192956
[pid=17193] ppid=17191 vsize=5356 CPUtime=0.03
/proc/17193/stat : 17193 (SatELiteGTI) S 17191 17193 15003 0 -1 4194304 336 617 0 0 0 0 3 0 18 0 1 0 306626590 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17193/statm: 1339 239 197 169 0 50 0
[pid=17199] ppid=17193 vsize=42428 CPUtime=1199.97
/proc/17199/stat : 17199 (minisat_static) R 17193 17193 15003 0 -1 4194304 10265 0 0 0 119980 17 0 0 25 0 1 0 306626593 43446272 10251 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17199/statm: 10607 10251 77 171 0 10434 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 47784
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17193 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=5999
# CPU time returned by wait4() is 0.037994
# while last known CPU time is 1200
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200
CPU user time (s): 1199.83
CPU system time (s): 0.17
CPU usage (%): 99.9573
Max. virtual memory (cumulated for all children) (KiB): 47896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.031995
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 953
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= 12
involuntary context switches= 9
runsolver used 1.24481 second user time and 3.2635 second system time
The end
Begin job on node32 at 2009-05-20 04:18:54
IDJOB=1832651
IDBENCH=70289
IDSOLVER=671
FILE ID=node32/1832651-1242785934
PBS_JOBID= 9322324
Free space on /tmp= 66256 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/2000/unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832651-1242785934/watcher-1832651-1242785934 -o /tmp/evaluation-result-1832651-1242785934/solver-1832651-1242785934 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832651-1242785934.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7696351997fcc9a0c11830645b719732
RANDOM SEED=148464329
node32.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.216
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.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1687176 kB
Buffers: 35436 kB
Cached: 260368 kB
SwapCached: 8972 kB
Active: 101144 kB
Inactive: 205164 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1687176 kB
SwapTotal: 4192956 kB
SwapFree: 4177448 kB
Dirty: 1724 kB
Writeback: 0 kB
Mapped: 14288 kB
Slab: 48240 kB
Committed_AS: 1116664 kB
PageTables: 1492 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66256 MiB
End job on node32 at 2009-05-20 04:38:57