0.00/0.00 c Parsing...
0.00/0.93 c ==============================================================================
0.00/0.93 c | | ORIGINAL | LEARNT | |
0.00/0.93 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.93 c ==============================================================================
0.00/0.93 c | 0 | 1093965 2552585 | 328189 0 0 nan | 0.000 % |
23.64/24.13 c | 0 | 536570 1877685 | -- 0 -- -- | -- | -557373/-674847
23.64/24.14 c ==============================================================================
23.64/24.14 c Result : #vars: 96656 #clauses: 536570 #literals: 1877685
23.64/24.14 c CPU time: 23.1165 s
23.64/24.14 c ==============================================================================
24.34/24.83 c This is MiniSat 2.0 beta
24.34/24.83 c WARNING: for repeatability, setting FPU to use double precision
24.34/24.83 c ============================[ Problem Statistics ]=============================
24.34/24.83 c | |
24.34/24.84 c | Number of variables: 96656 |
24.34/24.84 c | Number of clauses: 536570 |
24.38/25.19 c | Parsing time: 0.30 s |
24.74/25.21 c ============================[ Search Statistics ]==============================
24.74/25.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
24.74/25.21 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
24.74/25.21 c ===============================================================================
24.74/25.21 c | 0 | 96656 536570 1877685 | 178856 0 nan | 0.000 % |
24.74/25.25 c | 101 | 96656 536570 1877685 | 178856 101 68 | 0.000 % |
24.93/25.47 c | 202 | 96656 536570 1877685 | 178856 202 56 | 0.000 % |
25.13/25.66 c | 302 | 96656 536570 1877685 | 178856 302 42 | 0.000 % |
25.23/25.77 c | 413 | 96656 536570 1877685 | 178856 413 35 | 0.000 % |
25.43/25.93 c | 513 | 96656 536570 1877685 | 178856 513 34 | 0.000 % |
25.53/26.01 c | 628 | 96656 536570 1877685 | 178856 628 30 | 0.000 % |
25.53/26.07 c | 749 | 96656 536570 1877685 | 178856 749 29 | 0.000 % |
25.63/26.11 c | 850 | 96656 536570 1877685 | 178856 850 27 | 0.000 % |
25.63/26.14 c | 962 | 96656 536570 1877685 | 178856 962 25 | 0.000 % |
25.83/26.37 c | 1083 | 96656 536570 1877685 | 178856 1083 25 | 0.000 % |
26.13/26.63 c | 1216 | 96656 536570 1877685 | 178856 1216 33 | 0.000 % |
26.42/26.91 c | 1317 | 96656 536570 1877685 | 178856 1317 33 | 0.000 % |
26.42/26.98 c | 1427 | 96656 536570 1877685 | 178856 1427 33 | 0.000 % |
26.72/27.26 c | 1548 | 96656 536570 1877685 | 178856 1548 35 | 0.000 % |
27.03/27.55 c | 1682 | 96656 536570 1877685 | 178856 1682 37 | 0.000 % |
27.22/27.72 c | 1830 | 96656 536570 1877685 | 178856 1830 38 | 0.000 % |
27.22/27.76 c | 1930 | 96656 536570 1877685 | 178856 1930 36 | 0.000 % |
27.42/27.94 c | 2041 | 96656 536570 1877685 | 178856 2041 36 | 0.000 % |
27.62/28.14 c | 2162 | 96656 536570 1877685 | 178856 2162 37 | 0.000 % |
27.62/28.17 c | 2295 | 96656 536570 1877685 | 178856 2295 36 | 0.000 % |
27.72/28.29 c | 2442 | 96656 536570 1877685 | 178856 2442 36 | 0.000 % |
27.82/28.38 c | 2602 | 96656 536570 1877685 | 178856 2602 35 | 0.000 % |
28.04/28.55 c | 2702 | 96656 536570 1877685 | 178856 2702 34 | 0.000 % |
28.23/28.73 c | 2814 | 96656 536570 1877685 | 178856 2814 36 | 0.000 % |
28.33/28.89 c | 2935 | 96656 536570 1877685 | 178856 2935 35 | 0.000 % |
28.53/29.07 c | 3074 | 96656 536570 1877685 | 178856 3074 37 | 0.000 % |
28.63/29.15 c | 3220 | 96656 536570 1877685 | 178856 3220 38 | 0.000 % |
29.02/29.54 c | 3380 | 96656 536570 1877685 | 178856 3380 37 | 0.000 % |
29.43/29.92 c | 3557 | 96656 536570 1877685 | 178856 3557 37 | 0.000 % |
29.43/29.95 c | 3659 | 96656 536570 1877685 | 178856 3659 37 | 0.000 % |
29.43/29.97 c | 3770 | 96656 536570 1877685 | 178856 3770 36 | 0.000 % |
29.53/30.09 c | 3891 | 96656 536570 1877685 | 178856 3891 36 | 0.000 % |
29.63/30.14 c | 4025 | 96656 536570 1877685 | 178856 4025 35 | 0.000 % |
29.83/30.38 c | 4172 | 96656 536570 1877685 | 178856 4172 34 | 0.000 % |
30.23/30.71 c | 4332 | 96656 536570 1877685 | 178856 4332 34 | 0.000 % |
30.33/30.87 c | 4508 | 96656 536570 1877685 | 178856 4508 34 | 0.000 % |
30.63/31.19 c | 4701 | 96656 536570 1877685 | 178856 4701 33 | 0.000 % |
31.13/31.64 c | 4801 | 96656 536570 1877685 | 178856 4801 34 | 0.000 % |
31.52/32.10 c | 4911 | 96656 536570 1877685 | 178856 4911 37 | 0.000 % |
31.82/32.35 c | 5033 | 96656 536570 1877685 | 178856 5033 38 | 0.000 % |
31.92/32.42 c | 5169 | 96656 536570 1877685 | 178856 5169 38 | 0.000 % |
32.22/32.72 c | 5316 | 96656 536570 1877685 | 178856 5316 37 | 0.000 % |
32.32/32.85 c | 5479 | 96656 536570 1877685 | 178856 5479 36 | 0.000 % |
32.52/33.01 c | 5655 | 96656 536570 1877685 | 178856 5655 36 | 0.000 % |
32.72/33.22 c | 5848 | 96656 536570 1877685 | 178856 5848 35 | 0.000 % |
33.12/33.60 c | 6065 | 96656 536570 1877685 | 178856 6065 34 | 0.000 % |
33.22/33.73 c | 6165 | 96656 536570 1877685 | 178856 6165 34 | 0.000 % |
33.32/33.82 c | 6275 | 96656 536570 1877685 | 178856 6275 33 | 0.000 % |
33.52/34.01 c | 6396 | 96656 536570 1877685 | 178856 6396 33 | 0.000 % |
33.62/34.11 c | 6529 | 96656 536570 1877685 | 178856 6529 33 | 0.000 % |
33.72/34.22 c | 6676 | 96656 536570 1877685 | 178856 6676 33 | 0.000 % |
34.12/34.61 c | 6837 | 96656 536570 1877685 | 178856 6837 35 | 0.000 % |
34.92/35.41 c | 7014 | 96655 536441 1877425 | 178856 7012 39 | 0.001 % |
35.21/35.71 c | 7207 | 96655 536441 1877425 | 178856 7205 40 | 0.001 % |
35.52/36.08 c | 7419 | 96655 536441 1877425 | 178856 7417 39 | 0.001 % |
35.83/36.37 c | 7653 | 96655 536441 1877425 | 178856 7651 38 | 0.001 % |
35.92/36.46 c | 7753 | 96655 536441 1877425 | 178856 7751 38 | 0.001 % |
36.12/36.68 c | 7863 | 96655 536441 1877425 | 178856 7861 38 | 0.001 % |
36.22/36.71 c | 7984 | 96655 536441 1877425 | 178856 7982 37 | 0.001 % |
36.22/36.76 c | 8117 | 96655 536441 1877425 | 178856 8115 36 | 0.001 % |
36.32/36.86 c | 8263 | 96655 536441 1877425 | 178856 8261 36 | 0.001 % |
36.72/37.24 c | 8424 | 96655 536441 1877425 | 178856 8422 36 | 0.001 % |
37.02/37.51 c | 8601 | 96655 536441 1877425 | 178856 8599 39 | 0.001 % |
37.12/37.65 c | 8794 | 96655 536441 1877425 | 178856 8792 38 | 0.001 % |
37.32/37.89 c | 9006 | 96655 536441 1877425 | 178856 9004 38 | 0.001 % |
37.62/38.14 c | 9239 | 96655 536441 1877425 | 178856 9237 39 | 0.001 % |
38.12/38.64 c | 9496 | 96655 536441 1877425 | 178856 9494 38 | 0.001 % |
38.22/38.74 c | 9597 | 96655 536441 1877425 | 178856 9595 38 | 0.001 % |
38.52/39.09 c | 9707 | 96655 536441 1877425 | 178856 9705 37 | 0.001 % |
39.82/40.35 c | 9828 | 96655 536441 1877425 | 178856 9826 37 | 0.001 % |
40.32/40.87 c | 9962 | 96654 536313 1877169 | 178856 9958 38 | 0.002 % |
40.52/41.05 c | 10108 | 96654 536313 1877169 | 2147483647 10104 37 | 0.002 % |
40.72/41.21 c | 10268 | 96654 536313 1877169 | 2147483647 10264 37 | 0.002 % |
40.92/41.46 c | 10444 | 96654 536313 1877169 | 2147483647 10440 37 | 0.002 % |
41.02/41.57 c | 10639 | 96654 536313 1877169 | 2147483647 10635 38 | 0.002 % |
41.33/41.83 c | 10852 | 96654 536313 1877169 | 2147483647 10848 38 | 0.002 % |
42.02/42.51 c | 11085 | 96654 536313 1877169 | 2147483647 11081 38 | 0.002 % |
42.42/42.92 c | 11341 | 96654 536313 1877169 | 2147483647 11337 38 | 0.002 % |
42.92/43.47 c | 11623 | 96654 536313 1877169 | 2147483647 11619 38 | 0.002 % |
43.22/43.76 c | 11723 | 96654 536313 1877169 | 2147483647 11719 38 | 0.002 % |
43.42/43.94 c | 11834 | 96654 536313 1877169 | 2147483647 11830 38 | 0.002 % |
43.52/44.05 c | 11955 | 96654 536313 1877169 | 2147483647 11951 38 | 0.002 % |
43.72/44.22 c | 12093 | 96654 536313 1877169 | 2147483647 12089 38 | 0.002 % |
43.92/44.43 c | 12240 | 96654 536313 1877169 | 2147483647 12236 37 | 0.002 % |
44.12/44.60 c | 12401 | 96654 536313 1877169 | 2147483647 12397 37 | 0.002 % |
44.82/45.35 c | 12577 | 96654 536313 1877169 | 2147483647 12573 37 | 0.002 % |
45.12/45.62 c | 12771 | 96654 536313 1877169 | 2147483647 12767 37 | 0.002 % |
45.42/45.90 c | 12983 | 96654 536313 1877169 | 2147483647 12979 37 | 0.002 % |
45.82/46.34 c | 13218 | 96654 536313 1877169 | 2147483647 13214 38 | 0.002 % |
46.12/46.60 c | 13474 | 96654 536313 1877169 | 2147483647 13470 38 | 0.002 % |
46.32/46.87 c | 13756 | 96654 536313 1877169 | 2147483647 13752 37 | 0.002 % |
46.72/47.25 c | 14065 | 96654 536313 1877169 | 2147483647 14061 37 | 0.002 % |
46.92/47.41 c | 14166 | 96654 536313 1877169 | 2147483647 14162 37 | 0.002 % |
47.02/47.53 c | 14279 | 96654 536313 1877169 | 2147483647 14275 36 | 0.002 % |
47.32/47.87 c | 14401 | 96654 536313 1877169 | 2147483647 14397 37 | 0.002 % |
47.52/48.06 c | 14534 | 96654 536313 1877169 | 2147483647 14530 37 | 0.002 % |
47.82/48.36 c | 14681 | 96654 536313 1877169 | 2147483647 14677 37 | 0.002 % |
48.02/48.55 c | 14841 | 96654 536313 1877169 | 2147483647 14837 37 | 0.002 % |
48.12/48.66 c | 15017 | 96654 536313 1877169 | 2147483647 15013 37 | 0.002 % |
48.51/49.00 c | 15210 | 96654 536313 1877169 | 2147483647 15206 37 | 0.002 % |
48.81/49.37 c | 15422 | 96654 536313 1877169 | 2147483647 15418 37 | 0.002 % |
49.11/49.64 c | 15655 | 96654 536313 1877169 | 2147483647 15651 37 | 0.002 % |
49.61/50.16 c | 15911 | 96654 536313 1877169 | 2147483647 15907 38 | 0.002 % |
49.91/50.46 c | 16193 | 96654 536313 1877169 | 2147483647 16189 37 | 0.002 % |
50.12/50.66 c | 16503 | 96653 536184 1876909 | 2147483647 16497 37 | 0.003 % |
50.41/50.99 c | 16842 | 96653 536184 1876909 | 2147483647 16836 37 | 0.003 % |
50.71/51.23 c | 16942 | 96653 536184 1876909 | 2147483647 16936 37 | 0.003 % |
50.91/51.40 c | 17052 | 96653 536184 1876909 | 2147483647 17046 37 | 0.003 % |
50.91/51.46 c | 17173 | 96653 536184 1876909 | 2147483647 17167 37 | 0.003 % |
51.22/51.77 c | 17306 | 96653 536184 1876909 | 2147483647 17300 37 | 0.003 % |
51.61/52.15 c | 17452 | 96653 536184 1876909 | 2147483647 17446 37 | 0.003 % |
51.81/52.36 c | 17612 | 96653 536184 1876909 | 2147483647 17606 37 | 0.003 % |
52.22/52.75 c | 17790 | 96653 536184 1876909 | 2147483647 17784 36 | 0.003 % |
52.71/53.24 c | 17983 | 96653 536184 1876909 | 2147483647 17977 36 | 0.003 % |
53.01/53.55 c | 18195 | 96653 536184 1876909 | 2147483647 18189 36 | 0.003 % |
53.31/53.81 c | 18428 | 96653 536184 1876909 | 2147483647 18422 36 | 0.003 % |
53.51/54.03 c | 18684 | 96653 536184 1876909 | 2147483647 18678 36 | 0.003 % |
53.91/54.44 c | 18967 | 96653 536184 1876909 | 2147483647 18961 38 | 0.003 % |
54.21/54.77 c | 19277 | 96653 536184 1876909 | 2147483647 19271 39 | 0.003 % |
54.72/55.24 c | 19619 | 96653 536184 1876909 | 2147483647 19613 40 | 0.003 % |
55.12/55.62 c | 19991 | 96653 536184 1876909 | 2147483647 19985 41 | 0.003 % |
55.22/55.78 c | 20093 | 96653 536184 1876909 | 2147483647 20087 41 | 0.003 % |
55.32/55.84 c | 20203 | 96653 536184 1876909 | 2147483647 20197 41 | 0.003 % |
55.62/56.11 c | 20324 | 96653 536184 1876909 | 2147483647 20318 41 | 0.003 % |
55.92/56.44 c | 20457 | 96653 536184 1876909 | 2147483647 20451 41 | 0.003 % |
56.22/56.75 c | 20603 | 96653 536184 1876909 | 2147483647 20597 41 | 0.003 % |
56.41/56.91 c | 20763 | 96653 536184 1876909 | 2147483647 20757 41 | 0.003 % |
56.81/57.38 c | 20939 | 96653 536184 1876909 | 2147483647 20933 41 | 0.003 % |
57.01/57.53 c | 21132 | 96653 536184 1876909 | 2147483647 21126 41 | 0.003 % |
57.21/57.76 c | 21344 | 96653 536184 1876909 | 2147483647 21338 41 | 0.003 % |
57.41/57.94 c | 21578 | 96653 536184 1876909 | 2147483647 21572 41 | 0.003 % |
57.71/58.29 c | 21834 | 96653 536184 1876909 | 2147483647 21828 42 | 0.003 % |
58.71/59.25 c | 22116 | 96653 536184 1876909 | 2147483647 22110 43 | 0.003 % |
59.41/59.90 c | 22425 | 96653 536184 1876909 | 2147483647 22419 45 | 0.003 % |
60.20/60.75 c | 22764 | 96653 536184 1876909 | 2147483647 22758 47 | 0.003 % |
62.11/62.66 c | 23137 | 96653 536184 1876909 | 2147483647 23131 48 | 0.003 % |
63.21/63.79 c | 23547 | 96653 536184 1876909 | 2147483647 23541 49 | 0.003 % |
63.31/63.89 c | 23647 | 96653 536184 1876909 | 2147483647 23641 49 | 0.003 % |
63.40/63.97 c | 23766 | 96653 536184 1876909 | 2147483647 23760 49 | 0.003 % |
63.50/64.02 c | 23887 | 96653 536184 1876909 | 2147483647 23881 49 | 0.003 % |
64.50/65.04 c | 24021 | 96653 536184 1876909 | 2147483647 24015 50 | 0.003 % |
64.70/65.25 c | 24167 | 96653 536184 1876909 | 2147483647 24161 50 | 0.003 % |
64.90/65.44 c | 24327 | 96653 536184 1876909 | 2147483647 24321 50 | 0.003 % |
65.20/65.73 c | 24503 | 96653 536184 1876909 | 2147483647 24497 50 | 0.003 % |
65.60/66.11 c | 24696 | 96653 536184 1876909 | 2147483647 24690 50 | 0.003 % |
65.70/66.27 c | 24909 | 96653 536184 1876909 | 2147483647 24903 49 | 0.003 % |
66.00/66.50 c | 25143 | 96653 536184 1876909 | 2147483647 25137 49 | 0.003 % |
66.30/66.84 c | 25399 | 96653 536184 1876909 | 2147483647 25393 49 | 0.003 % |
66.50/67.07 c | 25680 | 96653 536184 1876909 | 2147483647 25674 49 | 0.003 % |
67.20/67.75 c | 25990 | 96653 536184 1876909 | 2147483647 25984 49 | 0.003 % |
67.40/67.95 c | 26329 | 96653 536184 1876909 | 2147483647 26323 48 | 0.003 % |
67.70/68.25 c | 26701 | 96653 536184 1876909 | 2147483647 26695 48 | 0.003 % |
68.40/68.94 c | 27110 | 96653 536184 1876909 | 2147483647 27104 49 | 0.003 % |
69.00/69.54 c | 27560 | 96653 536184 1876909 | 2147483647 27554 48 | 0.003 % |
69.30/69.81 c | 27661 | 96653 536184 1876909 | 2147483647 27655 48 | 0.003 % |
69.40/69.93 c | 27771 | 96653 536184 1876909 | 2147483647 27765 48 | 0.003 % |
69.80/70.34 c | 27892 | 96653 536184 1876909 | 2147483647 27886 49 | 0.003 % |
70.00/70.55 c | 28025 | 96653 536184 1876909 | 2147483647 28019 49 | 0.003 % |
70.10/70.64 c | 28171 | 96653 536184 1876909 | 2147483647 28165 48 | 0.003 % |
70.50/71.09 c | 28331 | 96653 536184 1876909 | 2147483647 28325 48 | 0.003 % |
70.70/71.25 c | 28507 | 96653 536184 1876909 | 2147483647 28501 48 | 0.003 % |
70.91/71.48 c | 28700 | 96653 536184 1876909 | 2147483647 28694 48 | 0.003 % |
71.51/72.03 c | 28913 | 96653 536184 1876909 | 2147483647 28907 48 | 0.003 % |
71.91/72.43 c | 29146 | 96653 536184 1876909 | 2147483647 29140 48 | 0.003 % |
72.20/72.75 c | 29410 | 96653 536184 1876909 | 2147483647 29404 48 | 0.003 % |
72.60/73.13 c | 29691 | 96653 536184 1876909 | 2147483647 29685 48 | 0.003 % |
74.00/74.56 c | 30002 | 96653 536184 1876909 | 2147483647 29996 49 | 0.003 % |
74.80/75.32 c | 30341 | 96653 536184 1876909 | 2147483647 30335 49 | 0.003 % |
75.20/75.77 c | 30713 | 96653 536184 1876909 | 2147483647 30707 48 | 0.003 % |
75.80/76.33 c | 31122 | 96653 536184 1876909 | 2147483647 31116 48 | 0.003 % |
76.20/76.73 c | 31572 | 96653 536184 1876909 | 2147483647 31566 48 | 0.003 % |
77.00/77.57 c | 32066 | 96653 536184 1876909 | 2147483647 32060 48 | 0.003 % |
77.20/77.76 c | 32166 | 96653 536184 1876909 | 2147483647 32160 48 | 0.003 % |
77.30/77.83 c | 32276 | 96653 536184 1876909 | 2147483647 32270 49 | 0.003 % |
77.50/78.06 c | 32397 | 96653 536184 1876909 | 2147483647 32391 49 | 0.003 % |
77.70/78.21 c | 32530 | 96653 536184 1876909 | 2147483647 32524 49 | 0.003 % |
78.00/78.51 c | 32676 | 96653 536184 1876909 | 2147483647 32670 49 | 0.003 % |
78.40/78.98 c | 32836 | 96653 536184 1876909 | 2147483647 32830 49 | 0.003 % |
78.70/79.24 c | 33012 | 96653 536184 1876909 | 2147483647 33006 50 | 0.003 % |
79.40/79.94 c | 33206 | 96653 536184 1876909 | 2147483647 33200 51 | 0.003 % |
79.90/80.45 c | 33418 | 96653 536184 1876909 | 2147483647 33412 51 | 0.003 % |
80.61/81.19 c | 33661 | 96653 536184 1876909 | 2147483647 33655 52 | 0.003 % |
81.40/81.90 c | 33922 | 96653 536184 1876909 | 2147483647 33916 52 | 0.003 % |
81.60/82.13 c | 34203 | 96653 536184 1876909 | 2147483647 34197 52 | 0.003 % |
82.20/82.77 c | 34513 | 96653 536184 1876909 | 2147483647 34507 53 | 0.003 % |
82.70/83.25 c | 34852 | 96653 536184 1876909 | 2147483647 34846 53 | 0.003 % |
83.10/83.68 c | 35225 | 96653 536184 1876909 | 2147483647 35219 53 | 0.003 % |
83.49/84.00 c | 35634 | 96653 536184 1876909 | 2147483647 35628 53 | 0.003 % |
84.59/85.16 c | 36083 | 96653 536184 1876909 | 2147483647 36077 53 | 0.003 % |
86.69/87.26 c | 36576 | 96653 536184 1876909 | 2147483647 36570 54 | 0.003 % |
87.69/88.20 c | 37120 | 96653 536184 1876909 | 2147483647 37114 55 | 0.003 % |
87.69/88.28 c | 37222 | 96653 536184 1876909 | 2147483647 37216 55 | 0.003 % |
88.09/88.60 c | 37333 | 96653 536184 1876909 | 2147483647 37327 55 | 0.003 % |
88.69/89.22 c | 37455 | 96653 536184 1876909 | 2147483647 37449 56 | 0.003 % |
89.09/89.67 c | 37588 | 96653 536184 1876909 | 2147483647 37582 57 | 0.003 % |
89.59/90.20 c | 37734 | 96653 536184 1876909 | 2147483647 37728 57 | 0.003 % |
90.49/91.05 c | 37894 | 96653 536184 1876909 | 2147483647 37888 57 | 0.003 % |
90.79/91.38 c | 38071 | 96653 536184 1876909 | 2147483647 38065 57 | 0.003 % |
91.29/91.84 c | 38265 | 96653 536184 1876909 | 2147483647 38259 57 | 0.003 % |
91.58/92.12 c | 38477 | 96653 536184 1876909 | 2147483647 38471 57 | 0.003 % |
92.08/92.68 c | 38711 | 96653 536184 1876909 | 2147483647 38705 58 | 0.003 % |
92.68/93.22 c | 38968 | 96653 536184 1876909 | 2147483647 38962 58 | 0.003 % |
93.08/93.68 c | 39250 | 96653 536184 1876909 | 2147483647 39244 58 | 0.003 % |
93.38/93.94 c | 39559 | 96653 536184 1876909 | 2147483647 39553 57 | 0.003 % |
93.88/94.43 c | 39898 | 96653 536184 1876909 | 2147483647 39892 57 | 0.003 % |
95.09/95.68 c | 40271 | 96653 536184 1876909 | 2147483647 40265 58 | 0.003 % |
96.29/96.81 c | 40680 | 96653 536184 1876909 | 2147483647 40674 59 | 0.003 % |
98.09/98.69 c | 41129 | 96653 536184 1876909 | 2147483647 41123 61 | 0.003 % |
99.29/99.87 c | 41622 | 96653 536184 1876909 | 2147483647 41616 63 | 0.003 % |
100.79/101.33 c | 42164 | 96653 536184 1876909 | 2147483647 42158 63 | 0.003 % |
101.49/102.00 c | 42760 | 96653 536184 1876909 | 2147483647 42754 63 | 0.003 % |
101.59/102.14 c | 42860 | 96653 536184 1876909 | 2147483647 42854 63 | 0.003 % |
101.89/102.46 c | 42970 | 96653 536184 1876909 | 2147483647 42964 63 | 0.003 % |
101.99/102.57 c | 43093 | 96653 536184 1876909 | 2147483647 43087 63 | 0.003 % |
102.19/102.70 c | 43226 | 96653 536184 1876909 | 2147483647 43220 63 | 0.003 % |
102.29/102.86 c | 43372 | 96653 536184 1876909 | 2147483647 43366 62 | 0.003 % |
102.59/103.12 c | 43533 | 96653 536184 1876909 | 2147483647 43527 63 | 0.003 % |
102.79/103.33 c | 43710 | 96653 536184 1876909 | 2147483647 43704 63 | 0.003 % |
103.59/104.17 c | 43903 | 96653 536184 1876909 | 2147483647 43897 63 | 0.003 % |
103.89/104.48 c | 44115 | 96653 536184 1876909 | 2147483647 44109 63 | 0.003 % |
104.08/104.70 c | 44348 | 96653 536184 1876909 | 2147483647 44342 63 | 0.003 % |
105.18/105.74 c | 44606 | 96653 536184 1876909 | 2147483647 44600 63 | 0.003 % |
105.48/106.09 c | 44887 | 96653 536184 1876909 | 2147483647 44881 63 | 0.003 % |
105.68/106.29 c | 45196 | 96653 536184 1876909 | 2147483647 45190 63 | 0.003 % |
106.68/107.21 c | 45535 | 96653 536184 1876909 | 2147483647 45529 63 | 0.003 % |
107.08/107.61 c | 45907 | 96653 536184 1876909 | 2147483647 45901 63 | 0.003 % |
107.98/108.54 c | 46317 | 96653 536184 1876909 | 2147483647 46311 63 | 0.003 % |
108.88/109.47 c | 46766 | 96653 536184 1876909 | 2147483647 46760 63 | 0.003 % |
109.68/110.22 c | 47260 | 96653 536184 1876909 | 2147483647 47254 63 | 0.003 % |
110.28/110.86 c | 47802 | 96653 536184 1876909 | 2147483647 47796 62 | 0.003 % |
111.68/112.28 c | 48399 | 96653 536184 1876909 | 2147483647 48393 67 | 0.003 % |
113.88/114.44 c | 49054 | 96653 536184 1876909 | 2147483647 49048 67 | 0.003 % |
114.18/114.72 c | 49154 | 96653 536184 1876909 | 2147483647 49148 67 | 0.003 % |
114.48/115.02 c | 49264 | 96653 536184 1876909 | 2147483647 49258 67 | 0.003 % |
114.68/115.24 c | 49385 | 96653 536184 1876909 | 2147483647 49379 67 | 0.003 % |
115.09/115.60 c | 49519 | 96653 536184 1876909 | 2147483647 49513 67 | 0.003 % |
115.59/116.15 c | 49665 | 96653 536184 1876909 | 2147483647 49659 67 | 0.003 % |
115.99/116.57 c | 49825 | 96653 536184 1876909 | 2147483647 49819 67 | 0.003 % |
116.89/117.40 c | 50001 | 96653 536184 1876909 | 2147483647 49995 67 | 0.003 % |
117.29/117.85 c | 50196 | 96653 536184 1876909 | 2147483647 50190 67 | 0.003 % |
117.59/118.18 c | 50409 | 96653 536184 1876909 | 2147483647 50403 67 | 0.003 % |
117.89/118.42 c | 50642 | 96653 536184 1876909 | 2147483647 50636 67 | 0.003 % |
118.29/118.87 c | 50898 | 96653 536184 1876909 | 2147483647 50892 67 | 0.003 % |
118.99/119.53 c | 51185 | 96653 536184 1876909 | 2147483647 51179 67 | 0.003 % |
119.58/120.15 c | 51494 | 96653 536184 1876909 | 2147483647 51488 67 | 0.003 % |
120.08/120.63 c | 51835 | 96653 536184 1876909 | 2147483647 51829 67 | 0.003 % |
120.39/120.91 c | 52208 | 96653 536184 1876909 | 2147483647 52202 68 | 0.003 % |
121.28/121.85 c | 52617 | 96653 536184 1876909 | 2147483647 52611 67 | 0.003 % |
121.78/122.31 c | 53066 | 96653 536184 1876909 | 2147483647 53060 67 | 0.003 % |
122.48/123.04 c | 53559 | 96653 536184 1876909 | 2147483647 53553 67 | 0.003 % |
123.28/123.84 c | 54102 | 96653 536184 1876909 | 2147483647 54096 68 | 0.003 % |
123.88/124.49 c | 54698 | 96653 536184 1876909 | 2147483647 54692 70 | 0.003 % |
125.78/126.30 c | 55353 | 96653 536184 1876909 | 2147483647 55347 71 | 0.003 % |
127.58/128.10 c | 56075 | 96653 536184 1876909 | 2147483647 56069 71 | 0.003 % |
127.98/128.51 c | 56175 | 96653 536184 1876909 | 2147483647 56169 71 | 0.003 % |
128.28/128.80 c | 56286 | 96653 536184 1876909 | 2147483647 56280 71 | 0.003 % |
128.38/128.98 c | 56413 | 96653 536184 1876909 | 2147483647 56407 72 | 0.003 % |
128.68/129.21 c | 56546 | 96653 536184 1876909 | 2147483647 56540 73 | 0.003 % |
128.78/129.30 c | 56692 | 96653 536184 1876909 | 2147483647 56686 72 | 0.003 % |
129.29/129.89 c | 56853 | 96653 536184 1876909 | 2147483647 56847 72 | 0.003 % |
129.68/130.23 c | 57029 | 96653 536184 1876909 | 2147483647 57023 73 | 0.003 % |
130.08/130.63 c | 57223 | 96653 536184 1876909 | 2147483647 57217 73 | 0.003 % |
131.88/132.43 c | 57435 | 96653 536184 1876909 | 2147483647 57429 74 | 0.003 % |
132.38/132.92 c | 57668 | 96653 536184 1876909 | 2147483647 57662 75 | 0.003 % |
134.48/135.06 c | 57925 | 96653 536184 1876909 | 2147483647 57919 76 | 0.003 % |
136.18/136.72 c | 58206 | 96653 536184 1876909 | 2147483647 58200 77 | 0.003 % |
137.67/138.27 c | 58515 | 96653 536184 1876909 | 2147483647 58509 78 | 0.003 % |
138.48/139.02 c | 58856 | 96653 536184 1876909 | 2147483647 58850 78 | 0.003 % |
139.28/139.81 c | 59228 | 96653 536184 1876909 | 2147483647 59222 78 | 0.003 % |
140.98/141.59 c | 59637 | 96653 536184 1876909 | 2147483647 59631 78 | 0.003 % |
141.88/142.48 c | 60086 | 96653 536184 1876909 | 2147483647 60080 78 | 0.003 % |
143.28/143.83 c | 60579 | 96653 536184 1876909 | 2147483647 60573 78 | 0.003 % |
144.08/144.64 c | 61121 | 96653 536184 1876909 | 2147483647 61115 81 | 0.003 % |
146.78/147.39 c | 61718 | 96653 536184 1876909 | 2147483647 61712 83 | 0.003 % |
149.28/149.82 c | 62373 | 96653 536184 1876909 | 2147483647 62367 85 | 0.003 % |
150.77/151.40 c | 63093 | 96653 536184 1876909 | 2147483647 63087 89 | 0.003 % |
152.27/152.83 c | 63887 | 96653 536184 1876909 | 2147483647 63881 92 | 0.003 % |
152.38/152.95 c | 63988 | 96653 536184 1876909 | 2147483647 63982 92 | 0.003 % |
152.48/153.09 c | 64098 | 96653 536184 1876909 | 2147483647 64092 92 | 0.003 % |
152.78/153.30 c | 64221 | 96653 536184 1876909 | 2147483647 64215 92 | 0.003 % |
152.78/153.39 c | 64356 | 96653 536184 1876909 | 2147483647 64350 93 | 0.003 % |
153.28/153.83 c | 64502 | 96653 536184 1876909 | 2147483647 64496 92 | 0.003 % |
153.78/154.37 c | 64662 | 96653 536184 1876909 | 2147483647 64656 92 | 0.003 % |
154.38/154.93 c | 64840 | 96653 536184 1876909 | 2147483647 64834 92 | 0.003 % |
155.18/155.77 c | 65033 | 96653 536184 1876909 | 2147483647 65027 93 | 0.003 % |
155.38/155.97 c | 65245 | 96653 536184 1876909 | 2147483647 65239 93 | 0.003 % |
155.88/156.47 c | 65479 | 96653 536184 1876909 | 2147483647 65473 92 | 0.003 % |
156.28/156.83 c | 65735 | 96653 536184 1876909 | 2147483647 65729 92 | 0.003 % |
156.98/157.55 c | 66018 | 96653 536184 1876909 | 2147483647 66012 92 | 0.003 % |
157.47/158.07 c | 66327 | 96653 536184 1876909 | 2147483647 66321 92 | 0.003 % |
158.38/158.91 c | 66666 | 96653 536184 1876909 | 2147483647 66660 92 | 0.003 % |
158.98/159.59 c | 67038 | 96653 536184 1876909 | 2147483647 67032 91 | 0.003 % |
159.87/160.48 c | 67447 | 96653 536184 1876909 | 2147483647 67441 91 | 0.003 % |
160.87/161.45 c | 67896 | 96653 536184 1876909 | 2147483647 67890 91 | 0.003 % |
162.97/163.53 c | 68390 | 96653 536184 1876909 | 2147483647 68384 92 | 0.003 % |
163.87/164.40 c | 68932 | 96653 536184 1876909 | 2147483647 68926 92 | 0.003 % |
165.17/165.75 c | 69528 | 96653 536184 1876909 | 2147483647 69522 92 | 0.003 % |
166.67/167.26 c | 70184 | 96653 536184 1876909 | 2147483647 70178 93 | 0.003 % |
168.17/168.78 c | 70906 | 96653 536184 1876909 | 2147483647 70900 92 | 0.003 % |
169.27/169.80 c | 71698 | 96653 536184 1876909 | 2147483647 71692 92 | 0.003 % |
171.07/171.69 c | 72570 | 96653 536184 1876909 | 2147483647 72564 93 | 0.003 % |
171.66/172.23 c | 72673 | 96653 536184 1876909 | 2147483647 72667 93 | 0.003 % |
171.76/172.36 c | 72783 | 96653 536184 1876909 | 2147483647 72777 93 | 0.003 % |
171.96/172.59 c | 72904 | 96653 536184 1876909 | 2147483647 72898 93 | 0.003 % |
172.26/172.90 c | 73038 | 96653 536184 1876909 | 2147483647 73032 93 | 0.003 % |
173.27/173.82 c | 73187 | 96653 536184 1876909 | 2147483647 73181 94 | 0.003 % |
173.86/174.48 c | 73348 | 96653 536184 1876909 | 2147483647 73342 94 | 0.003 % |
174.16/174.71 c | 73524 | 96653 536184 1876909 | 2147483647 73518 94 | 0.003 % |
174.66/175.29 c | 73719 | 96653 536184 1876909 | 2147483647 73713 94 | 0.003 % |
175.47/176.03 c | 73931 | 96653 536184 1876909 | 2147483647 73925 94 | 0.003 % |
176.07/176.68 c | 74164 | 96653 536184 1876909 | 2147483647 74158 94 | 0.003 % |
176.67/177.26 c | 74420 | 96653 536184 1876909 | 2147483647 74414 94 | 0.003 % |
177.87/178.41 c | 74702 | 96653 536184 1876909 | 2147483647 74696 94 | 0.003 % |
179.17/179.72 c | 75012 | 96653 536184 1876909 | 2147483647 75006 94 | 0.003 % |
179.97/180.56 c | 75351 | 96653 536184 1876909 | 2147483647 75345 94 | 0.003 % |
180.47/181.04 c | 75723 | 96653 536184 1876909 | 2147483647 75717 95 | 0.003 % |
181.87/182.47 c | 76132 | 96653 536184 1876909 | 2147483647 76126 95 | 0.003 % |
182.77/183.32 c | 76581 | 96653 536184 1876909 | 2147483647 76575 95 | 0.003 % |
183.37/183.98 c | 77075 | 96653 536184 1876909 | 2147483647 77069 95 | 0.003 % |
184.56/185.18 c | 77617 | 96653 536184 1876909 | 2147483647 77611 96 | 0.003 % |
186.26/186.87 c | 78213 | 96653 536184 1876909 | 2147483647 78207 97 | 0.003 % |
187.86/188.45 c | 78868 | 96653 536184 1876909 | 2147483647 78862 96 | 0.003 % |
188.86/189.48 c | 79588 | 96653 536184 1876909 | 2147483647 79582 96 | 0.003 % |
190.66/191.28 c | 80380 | 96653 536184 1876909 | 2147483647 80374 96 | 0.003 % |
193.26/193.88 c | 81251 | 96653 536184 1876909 | 2147483647 81245 96 | 0.003 % |
195.36/195.93 c | 82209 | 96653 536184 1876909 | 2147483647 82203 97 | 0.003 % |
195.97/196.50 c | 82338 | 96653 536184 1876909 | 2147483647 82332 97 | 0.003 % |
196.17/196.77 c | 82448 | 96653 536184 1876909 | 2147483647 82442 97 | 0.003 % |
196.57/197.12 c | 82569 | 96653 536184 1876909 | 2147483647 82563 97 | 0.003 % |
196.67/197.24 c | 82702 | 96653 536184 1876909 | 2147483647 82696 97 | 0.003 % |
197.07/197.69 c | 82848 | 96653 536184 1876909 | 2147483647 82842 97 | 0.003 % |
197.47/198.08 c | 83008 | 96653 536184 1876909 | 2147483647 83002 97 | 0.003 % |
197.97/198.50 c | 83184 | 96653 536184 1876909 | 2147483647 83178 97 | 0.003 % |
198.77/199.37 c | 83379 | 96653 536184 1876909 | 2147483647 83373 97 | 0.003 % |
199.37/199.94 c | 83591 | 96653 536184 1876909 | 2147483647 83585 97 | 0.003 % |
199.77/200.36 c | 83824 | 96653 536184 1876909 | 2147483647 83818 97 | 0.003 % |
199.97/200.58 c | 84081 | 96653 536184 1876909 | 2147483647 84075 97 | 0.003 % |
200.67/201.22 c | 84362 | 96653 536184 1876909 | 2147483647 84356 97 | 0.003 % |
201.46/202.06 c | 84671 | 96653 536184 1876909 | 2147483647 84665 97 | 0.003 % |
203.36/203.96 c | 85010 | 96653 536184 1876909 | 2147483647 85004 98 | 0.003 % |
204.86/205.40 c | 85383 | 96653 536184 1876909 | 2147483647 85377 98 | 0.003 % |
206.76/207.32 c | 85792 | 96653 536184 1876909 | 2147483647 85786 98 | 0.003 % |
207.36/207.97 c | 86241 | 96653 536184 1876909 | 2147483647 86235 98 | 0.003 % |
208.46/209.07 c | 86734 | 96653 536184 1876909 | 2147483647 86728 98 | 0.003 % |
209.76/210.40 c | 87276 | 96653 536184 1876909 | 2147483647 87270 98 | 0.003 % |
211.35/211.95 c | 87873 | 96653 536184 1876909 | 2147483647 87867 99 | 0.003 % |
213.16/213.70 c | 88529 | 96653 536184 1876909 | 2147483647 88523 99 | 0.003 % |
214.16/214.77 c | 89249 | 96653 536184 1876909 | 2147483647 89243 98 | 0.003 % |
216.16/216.76 c | 90041 | 96653 536184 1876909 | 2147483647 90035 98 | 0.003 % |
217.96/218.55 c | 90912 | 96653 536184 1876909 | 2147483647 90906 99 | 0.003 % |
220.15/220.80 c | 91876 | 96653 536184 1876909 | 2147483647 91870 100 | 0.003 % |
221.95/222.58 c | 92929 | 96653 536184 1876909 | 2147483647 92923 100 | 0.003 % |
222.15/222.74 c | 93029 | 96653 536184 1876909 | 2147483647 93023 100 | 0.003 % |
222.35/222.91 c | 93140 | 96653 536184 1876909 | 2147483647 93134 100 | 0.003 % |
222.55/223.11 c | 93263 | 96653 536184 1876909 | 2147483647 93257 100 | 0.003 % |
222.76/223.36 c | 93397 | 96653 536184 1876909 | 2147483647 93391 100 | 0.003 % |
223.15/223.76 c | 93543 | 96653 536184 1876909 | 2147483647 93537 100 | 0.003 % |
223.55/224.12 c | 93703 | 96653 536184 1876909 | 2147483647 93697 100 | 0.003 % |
223.95/224.57 c | 93879 | 96653 536184 1876909 | 2147483647 93873 100 | 0.003 % |
225.25/225.80 c | 94072 | 96653 536184 1876909 | 2147483647 94066 100 | 0.003 % |
225.25/225.84 c | 94284 | 96653 536184 1876909 | 2147483647 94278 100 | 0.003 % |
225.76/226.33 c | 94518 | 96653 536184 1876909 | 2147483647 94512 100 | 0.003 % |
226.36/226.91 c | 94774 | 96653 536184 1876909 | 2147483647 94768 100 | 0.003 % |
226.66/227.27 c | 95055 | 96653 536184 1876909 | 2147483647 95049 99 | 0.003 % |
227.16/227.76 c | 95366 | 96653 536184 1876909 | 2147483647 95360 99 | 0.003 % |
228.55/229.11 c | 95707 | 96653 536184 1876909 | 2147483647 95701 99 | 0.003 % |
230.46/231.07 c | 96080 | 96653 536184 1876909 | 2147483647 96074 100 | 0.003 % |
231.35/231.95 c | 96489 | 96653 536184 1876909 | 2147483647 96483 100 | 0.003 % |
232.15/232.73 c | 96938 | 96653 536184 1876909 | 2147483647 96932 100 | 0.003 % |
233.15/233.72 c | 97431 | 96653 536184 1876909 | 2147483647 97425 100 | 0.003 % |
234.15/234.75 c | 97974 | 96653 536184 1876909 | 2147483647 97968 100 | 0.003 % |
235.95/236.60 c | 98572 | 96653 536184 1876909 | 2147483647 98566 101 | 0.003 % |
237.25/237.85 c | 99232 | 96653 536184 1876909 | 2147483647 99226 101 | 0.003 % |
238.55/239.19 c | 99952 | 96653 536184 1876909 | 2147483647 99946 101 | 0.003 % |
239.56/240.19 c | 100744 | 96653 536184 1876909 | 2147483647 100738 100 | 0.003 % |
242.85/243.47 c | 101616 | 96653 536184 1876909 | 2147483647 101610 102 | 0.003 % |
244.55/245.15 c | 102574 | 96653 536184 1876909 | 2147483647 102568 102 | 0.003 % |
248.65/249.25 c | 103628 | 96653 536184 1876909 | 2147483647 103622 103 | 0.003 % |
252.15/252.77 c | 104786 | 96653 536184 1876909 | 2147483647 104780 104 | 0.003 % |
252.55/253.10 c | 104887 | 96653 536184 1876909 | 2147483647 104881 103 | 0.003 % |
252.75/253.33 c | 104998 | 96653 536184 1876909 | 2147483647 104992 103 | 0.003 % |
252.95/253.55 c | 105119 | 96653 536184 1876909 | 2147483647 105113 103 | 0.003 % |
253.46/254.01 c | 105252 | 96653 536184 1876909 | 2147483647 105246 103 | 0.003 % |
253.65/254.24 c | 105399 | 96653 536184 1876909 | 2147483647 105393 103 | 0.003 % |
253.75/254.32 c | 105559 | 96653 536184 1876909 | 2147483647 105553 103 | 0.003 % |
254.35/254.91 c | 105736 | 96653 536184 1876909 | 2147483647 105730 103 | 0.003 % |
254.75/255.37 c | 105930 | 96653 536184 1876909 | 2147483647 105924 103 | 0.003 % |
255.15/255.74 c | 106142 | 96653 536184 1876909 | 2147483647 106136 103 | 0.003 % |
255.45/256.03 c | 106375 | 96653 536184 1876909 | 2147483647 106369 103 | 0.003 % |
255.65/256.21 c | 106631 | 96653 536184 1876909 | 2147483647 106625 103 | 0.003 % |
255.95/256.55 c | 106912 | 96653 536184 1876909 | 2147483647 106906 103 | 0.003 % |
256.75/257.35 c | 107221 | 96653 536184 1876909 | 2147483647 107215 103 | 0.003 % |
257.45/258.05 c | 107561 | 96653 536184 1876909 | 2147483647 107555 102 | 0.003 % |
258.65/259.23 c | 107933 | 96653 536184 1876909 | 2147483647 107927 102 | 0.003 % |
259.75/260.31 c | 108343 | 96653 536184 1876909 | 2147483647 108337 103 | 0.003 % |
261.35/261.96 c | 108792 | 96653 536184 1876909 | 2147483647 108786 103 | 0.003 % |
262.85/263.42 c | 109285 | 96653 536184 1876909 | 2147483647 109279 102 | 0.003 % |
264.75/265.38 c | 109827 | 96653 536184 1876909 | 2147483647 109821 103 | 0.003 % |
266.14/266.72 c | 110423 | 96653 536184 1876909 | 2147483647 110417 103 | 0.003 % |
267.64/268.21 c | 111078 | 96653 536184 1876909 | 2147483647 111072 103 | 0.003 % |
271.45/272.01 c | 111798 | 96653 536184 1876909 | 2147483647 111792 104 | 0.003 % |
272.25/272.89 c | 112592 | 96653 536184 1876909 | 2147483647 112586 105 | 0.003 % |
274.35/274.92 c | 113464 | 96653 536184 1876909 | 2147483647 113458 105 | 0.003 % |
275.34/275.90 c | 114423 | 96653 536184 1876909 | 2147483647 114417 105 | 0.003 % |
276.84/277.47 c | 115476 | 96653 536184 1876909 | 2147483647 115470 104 | 0.003 % |
278.04/278.65 c | 116635 | 96653 536184 1876909 | 2147483647 116629 104 | 0.003 % |
281.74/282.39 c | 117909 | 96653 536184 1876909 | 2147483647 117903 105 | 0.003 % |
282.04/282.64 c | 118011 | 96653 536184 1876909 | 2147483647 118005 104 | 0.003 % |
282.24/282.82 c | 118122 | 96653 536184 1876909 | 2147483647 118116 104 | 0.003 % |
282.54/283.15 c | 118243 | 96653 536184 1876909 | 2147483647 118237 104 | 0.003 % |
283.24/283.86 c | 118376 | 96653 536184 1876909 | 2147483647 118370 104 | 0.003 % |
283.54/284.19 c | 118522 | 96653 536184 1876909 | 2147483647 118516 104 | 0.003 % |
283.94/284.51 c | 118682 | 96653 536184 1876909 | 2147483647 118676 104 | 0.003 % |
284.24/284.87 c | 118858 | 96653 536184 1876909 | 2147483647 118852 104 | 0.003 % |
284.44/285.04 c | 119052 | 96653 536184 1876909 | 2147483647 119046 104 | 0.003 % |
285.14/285.73 c | 119264 | 96653 536184 1876909 | 2147483647 119258 104 | 0.003 % |
286.44/287.08 c | 119497 | 96653 536184 1876909 | 2147483647 119491 104 | 0.003 % |
287.14/287.76 c | 119753 | 96653 536184 1876909 | 2147483647 119747 104 | 0.003 % |
287.74/288.33 c | 120034 | 96653 536184 1876909 | 2147483647 120028 104 | 0.003 % |
288.93/289.52 c | 120343 | 96653 536184 1876909 | 2147483647 120337 104 | 0.003 % |
289.74/290.36 c | 120682 | 96653 536184 1876909 | 2147483647 120676 104 | 0.003 % |
290.23/290.88 c | 121057 | 96653 536184 1876909 | 2147483647 121051 104 | 0.003 % |
291.73/292.39 c | 121466 | 96653 536184 1876909 | 2147483647 121460 104 | 0.003 % |
292.83/293.48 c | 121915 | 96653 536184 1876909 | 2147483647 121909 104 | 0.003 % |
293.63/294.23 c | 122409 | 96653 536184 1876909 | 2147483647 122403 104 | 0.003 % |
295.34/295.94 c | 122952 | 96653 536184 1876909 | 2147483647 122946 104 | 0.003 % |
296.23/296.80 c | 123550 | 96653 536184 1876909 | 2147483647 123544 104 | 0.003 % |
298.64/299.24 c | 124205 | 96653 536184 1876909 | 2147483647 124199 104 | 0.003 % |
301.14/301.78 c | 124926 | 96653 536184 1876909 | 2147483647 124920 105 | 0.003 % |
303.94/304.52 c | 125719 | 96653 536184 1876909 | 2147483647 125713 106 | 0.003 % |
304.93/305.58 c | 126591 | 96653 536184 1876909 | 2147483647 126585 106 | 0.003 % |
308.44/309.10 c | 127549 | 96653 536184 1876909 | 2147483647 127543 106 | 0.003 % |
313.23/313.87 c | 128602 | 96653 536184 1876909 | 2147483647 128596 109 | 0.003 % |
317.13/317.77 c | 129762 | 96653 536184 1876909 | 2147483647 129756 110 | 0.003 % |
320.54/321.12 c | 131035 | 96653 536184 1876909 | 2147483647 131029 110 | 0.003 % |
323.84/324.45 c | 132449 | 96653 536184 1876909 | 2147483647 132443 110 | 0.003 % |
323.93/324.57 c | 132549 | 96653 536184 1876909 | 2147483647 132543 110 | 0.003 % |
324.43/325.09 c | 132660 | 96653 536184 1876909 | 2147483647 132654 110 | 0.003 % |
324.83/325.43 c | 132783 | 96653 536184 1876909 | 2147483647 132777 110 | 0.003 % |
325.03/325.62 c | 132916 | 96653 536184 1876909 | 2147483647 132910 110 | 0.003 % |
325.33/325.96 c | 133062 | 96653 536184 1876909 | 2147483647 133056 110 | 0.003 % |
325.83/326.45 c | 133222 | 96653 536184 1876909 | 2147483647 133216 110 | 0.003 % |
326.63/327.26 c | 133400 | 96653 536184 1876909 | 2147483647 133394 110 | 0.003 % |
327.03/327.61 c | 133593 | 96653 536184 1876909 | 2147483647 133587 110 | 0.003 % |
327.23/327.88 c | 133805 | 96653 536184 1876909 | 2147483647 133799 110 | 0.003 % |
327.53/328.19 c | 134040 | 96653 536184 1876909 | 2147483647 134034 110 | 0.003 % |
327.83/328.47 c | 134297 | 96653 536184 1876909 | 2147483647 134291 110 | 0.003 % |
329.03/329.69 c | 134578 | 96653 536184 1876909 | 2147483647 134572 110 | 0.003 % |
329.83/330.48 c | 134895 | 96653 536184 1876909 | 2147483647 134889 110 | 0.003 % |
330.73/331.39 c | 135234 | 96653 536184 1876909 | 2147483647 135228 110 | 0.003 % |
331.64/332.25 c | 135606 | 96653 536184 1876909 | 2147483647 135600 110 | 0.003 % |
332.23/332.83 c | 136019 | 96653 536184 1876909 | 2147483647 136013 110 | 0.003 % |
333.13/333.78 c | 136468 | 96653 536184 1876909 | 2147483647 136462 110 | 0.003 % |
334.33/334.91 c | 136961 | 96653 536184 1876909 | 2147483647 136955 110 | 0.003 % |
334.83/335.45 c | 137503 | 96653 536184 1876909 | 2147483647 137497 110 | 0.003 % |
336.23/336.82 c | 138102 | 96653 536184 1876909 | 2147483647 138096 109 | 0.003 % |
337.53/338.18 c | 138757 | 96653 536184 1876909 | 2147483647 138751 109 | 0.003 % |
339.13/339.72 c | 139477 | 96653 536184 1876909 | 2147483647 139471 111 | 0.003 % |
343.02/343.70 c | 140270 | 96653 536184 1876909 | 2147483647 140264 112 | 0.003 % |
345.32/345.99 c | 141142 | 96653 536184 1876909 | 2147483647 141136 112 | 0.003 % |
348.22/348.89 c | 142100 | 96653 536184 1876909 | 2147483647 142094 112 | 0.003 % |
352.32/352.90 c | 143153 | 96653 536184 1876909 | 2147483647 143147 114 | 0.003 % |
355.52/356.15 c | 144311 | 96653 536184 1876909 | 2147483647 144305 117 | 0.003 % |
362.52/363.17 c | 145584 | 96653 536184 1876909 | 2147483647 145578 119 | 0.003 % |
366.32/366.91 c | 146984 | 96653 536184 1876909 | 2147483647 146978 119 | 0.003 % |
368.12/368.70 c | 148524 | 96653 536184 1876909 | 2147483647 148518 119 | 0.003 % |
368.52/369.13 c | 148625 | 96653 536184 1876909 | 2147483647 148619 119 | 0.003 % |
369.02/369.65 c | 148735 | 96653 536184 1876909 | 2147483647 148729 119 | 0.003 % |
369.42/370.09 c | 148856 | 96653 536184 1876909 | 2147483647 148850 119 | 0.003 % |
369.82/370.47 c | 148989 | 96653 536184 1876909 | 2147483647 148983 119 | 0.003 % |
370.32/370.94 c | 149136 | 96653 536184 1876909 | 2147483647 149130 119 | 0.003 % |
370.92/371.52 c | 149300 | 96653 536184 1876909 | 2147483647 149294 119 | 0.003 % |
371.32/371.92 c | 149476 | 96653 536184 1876909 | 2147483647 149470 119 | 0.003 % |
372.12/372.73 c | 149670 | 96653 536184 1876909 | 2147483647 149664 119 | 0.003 % |
372.71/373.36 c | 149882 | 96653 536184 1876909 | 2147483647 149876 119 | 0.003 % |
373.21/373.81 c | 150116 | 96653 536184 1876909 | 2147483647 150110 119 | 0.003 % |
373.71/374.31 c | 150373 | 96653 536184 1876909 | 2147483647 150367 119 | 0.003 % |
374.31/374.94 c | 150654 | 96653 536184 1876909 | 2147483647 150648 119 | 0.003 % |
374.61/375.20 c | 150965 | 96653 536184 1876909 | 2147483647 150959 119 | 0.003 % |
375.31/375.97 c | 151304 | 96653 536184 1876909 | 2147483647 151298 118 | 0.003 % |
376.51/377.17 c | 151677 | 96653 536184 1876909 | 2147483647 151671 118 | 0.003 % |
377.91/378.52 c | 152086 | 96653 536184 1876909 | 2147483647 152080 118 | 0.003 % |
379.41/380.06 c | 152537 | 96653 536184 1876909 | 2147483647 152531 118 | 0.003 % |
381.11/381.74 c | 153030 | 96653 536184 1876909 | 2147483647 153024 118 | 0.003 % |
381.62/382.26 c | 153573 | 96653 536184 1876909 | 2147483647 153567 118 | 0.003 % |
383.62/384.20 c | 154169 | 96653 536184 1876909 | 2147483647 154163 118 | 0.003 % |
385.42/386.08 c | 154824 | 96653 536184 1876909 | 2147483647 154818 118 | 0.003 % |
387.32/387.96 c | 155544 | 96653 536184 1876909 | 2147483647 155538 119 | 0.003 % |
388.72/389.39 c | 156338 | 96653 536184 1876909 | 2147483647 156332 118 | 0.003 % |
390.41/391.01 c | 157210 | 96653 536184 1876909 | 2147483647 157204 118 | 0.003 % |
392.61/393.21 c | 158169 | 96653 536184 1876909 | 2147483647 158163 118 | 0.003 % |
395.91/396.53 c | 159224 | 96653 536184 1876909 | 2147483647 159218 119 | 0.003 % |
398.42/399.10 c | 160384 | 96653 536184 1876909 | 2147483647 160378 119 | 0.003 % |
402.02/402.66 c | 161658 | 96653 536184 1876909 | 2147483647 161652 119 | 0.003 % |
405.91/406.51 c | 163058 | 96653 536184 1876909 | 2147483647 163052 119 | 0.003 % |
407.71/408.37 c | 164598 | 96653 536184 1876909 | 2147483647 164592 118 | 0.003 % |
414.40/415.08 c | 166293 | 96653 536184 1876909 | 2147483647 166287 120 | 0.003 % |
414.80/415.49 c | 166393 | 96653 536184 1876909 | 2147483647 166387 120 | 0.003 % |
415.71/416.34 c | 166504 | 96653 536184 1876909 | 2147483647 166498 120 | 0.003 % |
416.51/417.12 c | 166626 | 96653 536184 1876909 | 2147483647 166620 120 | 0.003 % |
417.01/417.65 c | 166760 | 96653 536184 1876909 | 2147483647 166754 120 | 0.003 % |
417.42/418.05 c | 166906 | 96653 536184 1876909 | 2147483647 166900 120 | 0.003 % |
417.91/418.53 c | 167066 | 96653 536184 1876909 | 2147483647 167060 120 | 0.003 % |
418.51/419.11 c | 167296 | 96653 536184 1876909 | 2147483647 167290 121 | 0.003 % |
418.81/419.50 c | 167489 | 96653 536184 1876909 | 2147483647 167483 121 | 0.003 % |
419.51/420.10 c | 167701 | 96653 536184 1876909 | 2147483647 167695 121 | 0.003 % |
420.31/420.92 c | 167936 | 96653 536184 1876909 | 2147483647 167930 120 | 0.003 % |
420.81/421.46 c | 168194 | 96653 536184 1876909 | 2147483647 168188 120 | 0.003 % |
421.50/422.10 c | 168477 | 96653 536184 1876909 | 2147483647 168471 121 | 0.003 % |
422.30/422.95 c | 168786 | 96653 536184 1876909 | 2147483647 168780 121 | 0.003 % |
423.50/424.16 c | 169126 | 96653 536184 1876909 | 2147483647 169120 121 | 0.003 % |
424.40/425.02 c | 169498 | 96653 536184 1876909 | 2147483647 169492 121 | 0.003 % |
425.31/425.91 c | 169907 | 96653 536184 1876909 | 2147483647 169901 122 | 0.003 % |
427.01/427.64 c | 170356 | 96653 536184 1876909 | 2147483647 170350 122 | 0.003 % |
428.91/429.54 c | 170849 | 96653 536184 1876909 | 2147483647 170843 122 | 0.003 % |
431.91/432.51 c | 171392 | 96653 536184 1876909 | 2147483647 171386 123 | 0.003 % |
433.81/434.46 c | 171988 | 96653 536184 1876909 | 2147483647 171982 123 | 0.003 % |
435.40/436.07 c | 172643 | 96653 536184 1876909 | 2147483647 172637 123 | 0.003 % |
437.20/437.86 c | 173364 | 96653 536184 1876909 | 2147483647 173358 123 | 0.003 % |
440.51/441.12 c | 174157 | 96653 536184 1876909 | 2147483647 174151 124 | 0.003 % |
443.20/443.82 c | 175030 | 96653 536184 1876909 | 2147483647 175024 125 | 0.003 % |
445.60/446.28 c | 175988 | 96653 536184 1876909 | 2147483647 175982 125 | 0.003 % |
448.10/448.80 c | 177041 | 96653 536184 1876909 | 2147483647 177035 125 | 0.003 % |
451.40/452.04 c | 178200 | 96653 536184 1876909 | 2147483647 178194 126 | 0.003 % |
457.50/458.19 c | 179476 | 96653 536184 1876909 | 2147483647 179470 127 | 0.003 % |
461.30/461.93 c | 180878 | 96653 536184 1876909 | 2147483647 180872 129 | 0.003 % |
464.60/465.26 c | 182418 | 96653 536184 1876909 | 2147483647 182412 129 | 0.003 % |
467.69/468.30 c | 184115 | 96653 536184 1876909 | 2147483647 184109 129 | 0.003 % |
471.20/471.81 c | 185979 | 96653 536184 1876909 | 2147483647 185973 129 | 0.003 % |
471.59/472.21 c | 186079 | 96653 536184 1876909 | 2147483647 186073 129 | 0.003 % |
471.79/472.46 c | 186195 | 96653 536184 1876909 | 2147483647 186189 129 | 0.003 % |
472.09/472.73 c | 186316 | 96653 536184 1876909 | 2147483647 186310 129 | 0.003 % |
472.19/472.87 c | 186450 | 96653 536184 1876909 | 2147483647 186444 129 | 0.003 % |
472.79/473.45 c | 186598 | 96653 536184 1876909 | 2147483647 186592 129 | 0.003 % |
473.29/473.90 c | 186758 | 96653 536184 1876909 | 2147483647 186752 129 | 0.003 % |
473.79/474.40 c | 186934 | 96653 536184 1876909 | 2147483647 186928 129 | 0.003 % |
474.19/474.83 c | 187128 | 96653 536184 1876909 | 2147483647 187122 129 | 0.003 % |
475.19/475.83 c | 187342 | 96653 536184 1876909 | 2147483647 187336 129 | 0.003 % |
475.49/476.13 c | 187576 | 96653 536184 1876909 | 2147483647 187570 129 | 0.003 % |
475.99/476.65 c | 187835 | 96653 536184 1876909 | 2147483647 187829 129 | 0.003 % |
476.59/477.27 c | 188116 | 96653 536184 1876909 | 2147483647 188110 129 | 0.003 % |
477.90/478.57 c | 188426 | 96653 536184 1876909 | 2147483647 188420 129 | 0.003 % |
479.19/479.86 c | 188765 | 96653 536184 1876909 | 2147483647 188759 129 | 0.003 % |
480.59/481.21 c | 189137 | 96653 536184 1876909 | 2147483647 189131 129 | 0.003 % |
481.79/482.41 c | 189546 | 96653 536184 1876909 | 2147483647 189540 129 | 0.003 % |
483.29/483.97 c | 189996 | 96653 536184 1876909 | 2147483647 189990 129 | 0.003 % |
483.69/484.33 c | 190496 | 96653 536184 1876909 | 2147483647 190490 129 | 0.003 % |
485.39/486.06 c | 191039 | 96653 536184 1876909 | 2147483647 191033 129 | 0.003 % |
486.69/487.33 c | 191637 | 96653 536184 1876909 | 2147483647 191631 129 | 0.003 % |
488.49/489.11 c | 192292 | 96653 536184 1876909 | 2147483647 192286 128 | 0.003 % |
490.09/490.75 c | 193013 | 96653 536184 1876909 | 2147483647 193007 128 | 0.003 % |
492.19/492.82 c | 193805 | 96653 536184 1876909 | 2147483647 193799 129 | 0.003 % |
494.29/494.91 c | 194680 | 96653 536184 1876909 | 2147483647 194674 130 | 0.003 % |
497.08/497.76 c | 195640 | 96653 536184 1876909 | 2147483647 195634 130 | 0.003 % |
500.09/500.78 c | 196694 | 96653 536184 1876909 | 2147483647 196688 129 | 0.003 % |
502.69/503.36 c | 197855 | 96653 536184 1876909 | 2147483647 197849 129 | 0.003 % |
506.08/506.75 c | 199128 | 96653 536184 1876909 | 2147483647 199122 129 | 0.003 % |
508.48/509.19 c | 200528 | 96653 536184 1876909 | 2147483647 200522 129 | 0.003 % |
512.19/512.85 c | 202071 | 96653 536184 1876909 | 2147483647 202065 130 | 0.003 % |
517.58/518.29 c | 203767 | 96653 536184 1876909 | 2147483647 203761 132 | 0.003 % |
525.38/526.08 c | 205630 | 96653 536184 1876909 | 2147483647 205624 134 | 0.003 % |
528.68/529.32 c | 207680 | 96653 536184 1876909 | 2147483647 207674 133 | 0.003 % |
529.18/529.83 c | 207782 | 96653 536184 1876909 | 2147483647 207776 133 | 0.003 % |
529.48/530.14 c | 207893 | 96653 536184 1876909 | 2147483647 207887 132 | 0.003 % |
529.88/530.55 c | 208014 | 96653 536184 1876909 | 2147483647 208008 132 | 0.003 % |
530.28/530.96 c | 208148 | 96653 536184 1876909 | 2147483647 208142 132 | 0.003 % |
530.68/531.38 c | 208294 | 96653 536184 1876909 | 2147483647 208288 132 | 0.003 % |
531.88/532.60 c | 208454 | 96653 536184 1876909 | 2147483647 208448 132 | 0.003 % |
532.38/533.01 c | 208631 | 96653 536184 1876909 | 2147483647 208625 132 | 0.003 % |
533.08/533.74 c | 208828 | 96653 536184 1876909 | 2147483647 208822 132 | 0.003 % |
533.68/534.36 c | 209041 | 96653 536184 1876909 | 2147483647 209035 132 | 0.003 % |
533.98/534.61 c | 209279 | 96653 536184 1876909 | 2147483647 209273 133 | 0.003 % |
534.98/535.66 c | 209536 | 96653 536184 1876909 | 2147483647 209530 133 | 0.003 % |
535.98/536.65 c | 209818 | 96653 536184 1876909 | 2147483647 209812 133 | 0.003 % |
537.28/537.91 c | 210146 | 96653 536184 1876909 | 2147483647 210140 133 | 0.003 % |
537.48/538.20 c | 210485 | 96653 536184 1876909 | 2147483647 210479 133 | 0.003 % |
538.47/539.11 c | 210858 | 96652 536056 1876653 | 2147483647 210850 132 | 0.004 % |
539.38/540.03 c | 211267 | 96652 536056 1876653 | 2147483647 211259 133 | 0.004 % |
540.68/541.33 c | 211716 | 96652 536056 1876653 | 2147483647 211708 133 | 0.004 % |
542.08/542.73 c | 212211 | 96652 536056 1876653 | 2147483647 212203 133 | 0.004 % |
543.38/544.06 c | 212753 | 96652 536056 1876653 | 2147483647 212745 133 | 0.004 % |
545.57/546.23 c | 213349 | 96652 536056 1876653 | 2147483647 213341 133 | 0.004 % |
547.77/548.42 c | 214004 | 96652 536056 1876653 | 2147483647 213996 132 | 0.004 % |
550.87/551.51 c | 214724 | 96652 536056 1876653 | 2147483647 214716 132 | 0.004 % |
554.27/554.91 c | 215516 | 96652 536056 1876653 | 2147483647 215508 133 | 0.004 % |
557.67/558.33 c | 216388 | 96652 536056 1876653 | 2147483647 216380 133 | 0.004 % |
561.57/562.27 c | 217347 | 96652 536056 1876653 | 2147483647 217339 133 | 0.004 % |
566.37/567.08 c | 218400 | 96652 536056 1876653 | 2147483647 218392 134 | 0.004 % |
569.87/570.57 c | 219560 | 96652 536056 1876653 | 2147483647 219552 134 | 0.004 % |
572.37/573.00 c | 220833 | 96652 536056 1876653 | 2147483647 220825 134 | 0.004 % |
575.77/576.43 c | 222234 | 96652 536056 1876653 | 2147483647 222226 134 | 0.004 % |
579.56/580.21 c | 223774 | 96652 536056 1876653 | 2147483647 223766 134 | 0.004 % |
582.96/583.66 c | 225469 | 96652 536056 1876653 | 2147483647 225461 133 | 0.004 % |
588.27/588.94 c | 227333 | 96652 536056 1876653 | 2147483647 227325 134 | 0.004 % |
593.46/594.15 c | 229383 | 96652 536056 1876653 | 2147483647 229375 136 | 0.004 % |
601.07/601.74 c | 231637 | 96652 536056 1876653 | 2147483647 231629 135 | 0.004 % |
601.46/602.11 c | 231737 | 96652 536056 1876653 | 2147483647 231729 135 | 0.004 % |
602.17/602.80 c | 231849 | 96652 536056 1876653 | 2147483647 231841 135 | 0.004 % |
602.26/602.98 c | 231970 | 96652 536056 1876653 | 2147483647 231962 135 | 0.004 % |
602.76/603.41 c | 232105 | 96652 536056 1876653 | 2147483647 232097 135 | 0.004 % |
602.96/603.63 c | 232251 | 96652 536056 1876653 | 2147483647 232243 135 | 0.004 % |
603.46/604.14 c | 232412 | 96652 536056 1876653 | 2147483647 232404 135 | 0.004 % |
603.96/604.63 c | 232588 | 96652 536056 1876653 | 2147483647 232580 135 | 0.004 % |
604.66/605.30 c | 232781 | 96652 536056 1876653 | 2147483647 232773 135 | 0.004 % |
605.26/605.97 c | 232993 | 96652 536056 1876653 | 2147483647 232985 135 | 0.004 % |
605.96/606.60 c | 233229 | 96652 536056 1876653 | 2147483647 233221 135 | 0.004 % |
606.96/607.62 c | 233486 | 96652 536056 1876653 | 2147483647 233478 135 | 0.004 % |
607.56/608.23 c | 233769 | 96652 536056 1876653 | 2147483647 233761 135 | 0.004 % |
608.26/608.97 c | 234078 | 96652 536056 1876653 | 2147483647 234070 135 | 0.004 % |
609.16/609.84 c | 234417 | 96652 536056 1876653 | 2147483647 234409 135 | 0.004 % |
610.26/610.99 c | 234790 | 96652 536056 1876653 | 2147483647 234782 135 | 0.004 % |
611.46/612.12 c | 235201 | 96652 536056 1876653 | 2147483647 235193 135 | 0.004 % |
613.35/614.02 c | 235650 | 96652 536056 1876653 | 2147483647 235642 135 | 0.004 % |
614.55/615.28 c | 236145 | 96652 536056 1876653 | 2147483647 236137 135 | 0.004 % |
615.86/616.53 c | 236688 | 96652 536056 1876653 | 2147483647 236680 136 | 0.004 % |
616.56/617.20 c | 237286 | 96652 536056 1876653 | 2147483647 237278 135 | 0.004 % |
619.55/620.20 c | 237941 | 96652 536056 1876653 | 2147483647 237933 136 | 0.004 % |
621.86/622.60 c | 238661 | 96652 536056 1876653 | 2147483647 238653 136 | 0.004 % |
624.26/624.90 c | 239456 | 96652 536056 1876653 | 2147483647 239448 136 | 0.004 % |
627.35/628.04 c | 240327 | 96652 536056 1876653 | 2147483647 240319 137 | 0.004 % |
631.14/631.84 c | 241288 | 96652 536056 1876653 | 2147483647 241280 137 | 0.004 % |
634.64/635.36 c | 242341 | 96652 536056 1876653 | 2147483647 242333 137 | 0.004 % |
637.45/638.13 c | 243499 | 96652 536056 1876653 | 2147483647 243491 137 | 0.004 % |
642.64/643.37 c | 244773 | 96652 536056 1876653 | 2147483647 244765 137 | 0.004 % |
646.64/647.31 c | 246173 | 96652 536056 1876653 | 2147483647 246165 138 | 0.004 % |
651.13/651.81 c | 247713 | 96652 536056 1876653 | 2147483647 247705 138 | 0.004 % |
655.84/656.58 c | 249407 | 96652 536056 1876653 | 2147483647 249399 139 | 0.004 % |
661.04/661.71 c | 251272 | 96652 536056 1876653 | 2147483647 251264 139 | 0.004 % |
667.33/668.03 c | 253322 | 96652 536056 1876653 | 2147483647 253314 138 | 0.004 % |
677.14/677.84 c | 255579 | 96652 536056 1876653 | 2147483647 255571 139 | 0.004 % |
686.03/686.74 c | 258058 | 96652 536056 1876653 | 2147483647 258050 139 | 0.004 % |
686.33/687.04 c | 258158 | 96652 536056 1876653 | 2147483647 258150 139 | 0.004 % |
687.43/688.16 c | 258270 | 96652 536056 1876653 | 2147483647 258262 139 | 0.004 % |
688.03/688.74 c | 258392 | 96652 536056 1876653 | 2147483647 258384 139 | 0.004 % |
688.33/689.03 c | 258527 | 96652 536056 1876653 | 2147483647 258519 139 | 0.004 % |
689.23/689.95 c | 258673 | 96652 536056 1876653 | 2147483647 258665 139 | 0.004 % |
690.04/690.76 c | 258834 | 96652 536056 1876653 | 2147483647 258826 140 | 0.004 % |
690.73/691.40 c | 259014 | 96652 536056 1876653 | 2147483647 259006 140 | 0.004 % |
691.53/692.23 c | 259207 | 96652 536056 1876653 | 2147483647 259199 140 | 0.004 % |
692.43/693.12 c | 259421 | 96652 536056 1876653 | 2147483647 259413 140 | 0.004 % |
693.44/694.15 c | 259658 | 96652 536056 1876653 | 2147483647 259650 140 | 0.004 % |
694.33/695.01 c | 259914 | 96652 536056 1876653 | 2147483647 259906 140 | 0.004 % |
694.73/695.49 c | 260204 | 96652 536056 1876653 | 2147483647 260196 140 | 0.004 % |
696.03/696.79 c | 260517 | 96652 536056 1876653 | 2147483647 260509 140 | 0.004 % |
696.64/697.33 c | 260857 | 96652 536056 1876653 | 2147483647 260849 140 | 0.004 % |
697.33/698.09 c | 261229 | 96652 536056 1876653 | 2147483647 261221 140 | 0.004 % |
698.53/699.26 c | 261639 | 96652 536056 1876653 | 2147483647 261631 140 | 0.004 % |
699.63/700.36 c | 262088 | 96652 536056 1876653 | 2147483647 262080 140 | 0.004 % |
701.63/702.31 c | 262581 | 96652 536056 1876653 | 2147483647 262573 140 | 0.004 % |
703.33/704.07 c | 263124 | 96652 536056 1876653 | 2147483647 263116 140 | 0.004 % |
704.43/705.13 c | 263720 | 96652 536056 1876653 | 2147483647 263712 140 | 0.004 % |
707.52/708.30 c | 264377 | 96652 536056 1876653 | 2147483647 264369 140 | 0.004 % |
709.62/710.34 c | 265097 | 96652 536056 1876653 | 2147483647 265089 140 | 0.004 % |
713.22/713.99 c | 265890 | 96652 536056 1876653 | 2147483647 265882 140 | 0.004 % |
715.33/716.09 c | 266762 | 96652 536056 1876653 | 2147483647 266754 141 | 0.004 % |
718.23/718.94 c | 267720 | 96652 536056 1876653 | 2147483647 267712 141 | 0.004 % |
722.22/722.95 c | 268774 | 96652 536056 1876653 | 2147483647 268766 140 | 0.004 % |
726.02/726.79 c | 269932 | 96652 536056 1876653 | 2147483647 269924 140 | 0.004 % |
731.52/732.28 c | 271205 | 96652 536056 1876653 | 2147483647 271197 141 | 0.004 % |
735.62/736.36 c | 272608 | 96652 536056 1876653 | 2147483647 272600 141 | 0.004 % |
741.02/741.77 c | 274148 | 96652 536056 1876653 | 2147483647 274140 141 | 0.004 % |
747.02/747.70 c | 275842 | 96652 536056 1876653 | 2147483647 275834 141 | 0.004 % |
753.92/754.69 c | 277707 | 96652 536056 1876653 | 2147483647 277699 142 | 0.004 % |
763.61/764.34 c | 279756 | 96652 536056 1876653 | 2147483647 279748 143 | 0.004 % |
775.70/776.47 c | 282009 | 96652 536056 1876653 | 2147483647 282001 144 | 0.004 % |
782.80/783.55 c | 284488 | 96652 536056 1876653 | 2147483647 284480 145 | 0.004 % |
790.11/790.84 c | 287214 | 96652 536056 1876653 | 2147483647 287206 145 | 0.004 % |
790.71/791.41 c | 287315 | 96652 536056 1876653 | 2147483647 287307 145 | 0.004 % |
791.01/791.78 c | 287425 | 96652 536056 1876653 | 2147483647 287417 145 | 0.004 % |
791.81/792.53 c | 287546 | 96652 536056 1876653 | 2147483647 287538 145 | 0.004 % |
792.21/792.96 c | 287682 | 96652 536056 1876653 | 2147483647 287674 145 | 0.004 % |
792.71/793.48 c | 287828 | 96652 536056 1876653 | 2147483647 287820 145 | 0.004 % |
793.71/794.46 c | 287988 | 96652 536056 1876653 | 2147483647 287980 145 | 0.004 % |
794.71/795.44 c | 288164 | 96652 536056 1876653 | 2147483647 288156 145 | 0.004 % |
795.30/796.07 c | 288357 | 96652 536056 1876653 | 2147483647 288349 145 | 0.004 % |
796.10/796.82 c | 288570 | 96652 536056 1876653 | 2147483647 288562 145 | 0.004 % |
796.60/797.30 c | 288803 | 96652 536056 1876653 | 2147483647 288795 145 | 0.004 % |
797.30/798.05 c | 289061 | 96652 536056 1876653 | 2147483647 289053 145 | 0.004 % |
797.60/798.32 c | 289342 | 96652 536056 1876653 | 2147483647 289334 145 | 0.004 % |
798.91/799.65 c | 289651 | 96652 536056 1876653 | 2147483647 289643 145 | 0.004 % |
799.90/800.61 c | 289991 | 96652 536056 1876653 | 2147483647 289983 145 | 0.004 % |
800.80/801.50 c | 290364 | 96652 536056 1876653 | 2147483647 290356 145 | 0.004 % |
801.90/802.63 c | 290773 | 96652 536056 1876653 | 2147483647 290765 145 | 0.004 % |
802.20/802.97 c | 291223 | 96652 536056 1876653 | 2147483647 291215 145 | 0.004 % |
804.50/805.23 c | 291719 | 96652 536056 1876653 | 2147483647 291711 145 | 0.004 % |
806.50/807.26 c | 292265 | 96652 536056 1876653 | 2147483647 292257 146 | 0.004 % |
808.10/808.80 c | 292864 | 96652 536056 1876653 | 2147483647 292856 146 | 0.004 % |
809.40/810.16 c | 293519 | 96652 536056 1876653 | 2147483647 293511 146 | 0.004 % |
812.10/812.87 c | 294239 | 96652 536056 1876653 | 2147483647 294231 146 | 0.004 % |
814.40/815.17 c | 295031 | 96652 536056 1876653 | 2147483647 295023 146 | 0.004 % |
817.60/818.32 c | 295902 | 96652 536056 1876653 | 2147483647 295894 147 | 0.004 % |
821.39/822.14 c | 296860 | 96652 536056 1876653 | 2147483647 296852 148 | 0.004 % |
827.99/828.71 c | 297913 | 96652 536056 1876653 | 2147483647 297905 149 | 0.004 % |
833.60/834.38 c | 299071 | 96652 536056 1876653 | 2147483647 299063 150 | 0.004 % |
839.00/839.75 c | 300344 | 96652 536056 1876653 | 2147483647 300336 151 | 0.004 % |
844.49/845.20 c | 301744 | 96652 536056 1876653 | 2147483647 301736 152 | 0.004 % |
848.79/849.54 c | 303287 | 96652 536056 1876653 | 2147483647 303279 152 | 0.004 % |
852.68/853.45 c | 304982 | 96652 536056 1876653 | 2147483647 304974 152 | 0.004 % |
858.29/859.03 c | 306847 | 96652 536056 1876653 | 2147483647 306839 152 | 0.004 % |
869.38/870.16 c | 308896 | 96652 536056 1876653 | 2147483647 308888 154 | 0.004 % |
878.09/878.87 c | 311149 | 96652 536056 1876653 | 2147483647 311141 156 | 0.004 % |
889.19/889.98 c | 313628 | 96652 536056 1876653 | 2147483647 313620 157 | 0.004 % |
900.68/901.42 c | 316353 | 96652 536056 1876653 | 2147483647 316345 159 | 0.004 % |
913.97/914.75 c | 319351 | 96652 536056 1876653 | 2147483647 319343 159 | 0.004 % |
914.58/915.33 c | 319451 | 96652 536056 1876653 | 2147483647 319443 159 | 0.004 % |
914.78/915.57 c | 319561 | 96652 536056 1876653 | 2147483647 319553 160 | 0.004 % |
915.08/915.82 c | 319682 | 96652 536056 1876653 | 2147483647 319674 159 | 0.004 % |
915.48/916.29 c | 319816 | 96652 536056 1876653 | 2147483647 319808 159 | 0.004 % |
916.08/916.81 c | 319964 | 96652 536056 1876653 | 2147483647 319956 159 | 0.004 % |
917.08/917.80 c | 320124 | 96652 536056 1876653 | 2147483647 320116 159 | 0.004 % |
918.18/918.94 c | 320305 | 96652 536056 1876653 | 2147483647 320297 159 | 0.004 % |
918.78/919.59 c | 320498 | 96652 536056 1876653 | 2147483647 320490 159 | 0.004 % |
919.77/920.60 c | 320711 | 96652 536056 1876653 | 2147483647 320703 159 | 0.004 % |
920.37/921.18 c | 320945 | 96652 536056 1876653 | 2147483647 320937 159 | 0.004 % |
920.87/921.66 c | 321201 | 96652 536056 1876653 | 2147483647 321193 159 | 0.004 % |
921.67/922.49 c | 321482 | 96652 536056 1876653 | 2147483647 321474 159 | 0.004 % |
922.57/923.35 c | 321791 | 96652 536056 1876653 | 2147483647 321783 159 | 0.004 % |
923.77/924.50 c | 322130 | 96652 536056 1876653 | 2147483647 322122 159 | 0.004 % |
924.87/925.65 c | 322502 | 96652 536056 1876653 | 2147483647 322494 159 | 0.004 % |
925.67/926.48 c | 322913 | 96652 536056 1876653 | 2147483647 322905 159 | 0.004 % |
928.07/928.85 c | 323362 | 96652 536056 1876653 | 2147483647 323354 159 | 0.004 % |
930.07/930.81 c | 323855 | 96652 536056 1876653 | 2147483647 323847 159 | 0.004 % |
931.87/932.60 c | 324398 | 96652 536056 1876653 | 2147483647 324390 159 | 0.004 % |
933.36/934.12 c | 324994 | 96652 536056 1876653 | 2147483647 324986 159 | 0.004 % |
935.46/936.22 c | 325651 | 96652 536056 1876653 | 2147483647 325643 159 | 0.004 % |
936.67/937.47 c | 326372 | 96652 536056 1876653 | 2147483647 326364 159 | 0.004 % |
939.27/940.01 c | 327165 | 96652 536056 1876653 | 2147483647 327157 160 | 0.004 % |
942.06/942.86 c | 328041 | 96652 536056 1876653 | 2147483647 328033 160 | 0.004 % |
944.07/944.88 c | 328999 | 96652 536056 1876653 | 2147483647 328991 161 | 0.004 % |
947.77/948.53 c | 330053 | 96652 536056 1876653 | 2147483647 330045 161 | 0.004 % |
950.26/951.06 c | 331212 | 96652 536056 1876653 | 2147483647 331204 161 | 0.004 % |
955.27/956.01 c | 332485 | 96652 536056 1876653 | 2147483647 332477 162 | 0.004 % |
958.16/958.95 c | 333892 | 96652 536056 1876653 | 2147483647 333884 164 | 0.004 % |
964.86/965.67 c | 335432 | 96652 536056 1876653 | 2147483647 335424 164 | 0.004 % |
969.47/970.22 c | 337126 | 96652 536056 1876653 | 2147483647 337118 163 | 0.004 % |
983.15/983.95 c | 338989 | 96652 536056 1876653 | 2147483647 338981 165 | 0.004 % |
991.66/992.47 c | 341039 | 96652 536056 1876653 | 2147483647 341031 167 | 0.004 % |
997.95/998.77 c | 343292 | 96652 536056 1876653 | 2147483647 343284 166 | 0.004 % |
1009.84/1010.60 c | 345770 | 96652 536056 1876653 | 2147483647 345762 168 | 0.004 % |
1022.15/1022.98 c | 348499 | 96652 536056 1876653 | 2147483647 348491 169 | 0.004 % |
1035.84/1036.61 c | 351496 | 96652 536056 1876653 | 2147483647 351488 170 | 0.004 % |
1056.94/1057.76 c | 354792 | 96652 536056 1876653 | 2147483647 354784 174 | 0.004 % |
1057.44/1058.23 c | 354892 | 96652 536056 1876653 | 2147483647 354884 174 | 0.004 % |
1057.74/1058.55 c | 355004 | 96652 536056 1876653 | 2147483647 354996 174 | 0.004 % |
1058.04/1058.84 c | 355128 | 96652 536056 1876653 | 2147483647 355120 174 | 0.004 % |
1058.54/1059.38 c | 355262 | 96652 536056 1876653 | 2147483647 355254 174 | 0.004 % |
1059.03/1059.87 c | 355411 | 96652 536056 1876653 | 2147483647 355403 174 | 0.004 % |
1059.64/1060.42 c | 355572 | 96652 536056 1876653 | 2147483647 355564 174 | 0.004 % |
1060.33/1061.14 c | 355748 | 96652 536056 1876653 | 2147483647 355740 174 | 0.004 % |
1061.33/1062.11 c | 355942 | 96652 536056 1876653 | 2147483647 355934 174 | 0.004 % |
1062.03/1062.81 c | 356154 | 96652 536056 1876653 | 2147483647 356146 174 | 0.004 % |
1062.53/1063.32 c | 356388 | 96652 536056 1876653 | 2147483647 356380 174 | 0.004 % |
1063.64/1064.45 c | 356644 | 96652 536056 1876653 | 2147483647 356636 174 | 0.004 % |
1064.64/1065.43 c | 356926 | 96652 536056 1876653 | 2147483647 356918 175 | 0.004 % |
1065.84/1066.61 c | 357235 | 96652 536056 1876653 | 2147483647 357227 175 | 0.004 % |
1066.74/1067.57 c | 357574 | 96652 536056 1876653 | 2147483647 357566 175 | 0.004 % |
1068.14/1068.91 c | 357947 | 96652 536056 1876653 | 2147483647 357939 174 | 0.004 % |
1070.83/1071.61 c | 358357 | 96652 536056 1876653 | 2147483647 358349 175 | 0.004 % |
1071.83/1072.66 c | 358806 | 96652 536056 1876653 | 2147483647 358798 175 | 0.004 % |
1073.73/1074.55 c | 359306 | 96652 536056 1876653 | 2147483647 359298 175 | 0.004 % |
1076.63/1077.41 c | 359849 | 96652 536056 1876653 | 2147483647 359841 176 | 0.004 % |
1078.73/1079.58 c | 360448 | 96652 536056 1876653 | 2147483647 360440 177 | 0.004 % |
1081.44/1082.20 c | 361103 | 96652 536056 1876653 | 2147483647 361095 177 | 0.004 % |
1083.43/1084.26 c | 361824 | 96652 536056 1876653 | 2147483647 361816 178 | 0.004 % |
1087.33/1088.12 c | 362644 | 96652 536056 1876653 | 2147483647 362636 178 | 0.004 % |
1091.13/1091.93 c | 363519 | 96652 536056 1876653 | 2147483647 363511 178 | 0.004 % |
1095.13/1095.95 c | 364478 | 96652 536056 1876653 | 2147483647 364470 178 | 0.004 % |
1100.52/1101.36 c | 365531 | 96652 536056 1876653 | 2147483647 365523 178 | 0.004 % |
1104.13/1104.95 c | 366691 | 96652 536056 1876653 | 2147483647 366683 178 | 0.004 % |
1109.92/1110.76 c | 367964 | 96652 536056 1876653 | 2147483647 367956 180 | 0.004 % |
1116.22/1117.07 c | 369364 | 96652 536056 1876653 | 2147483647 369356 181 | 0.004 % |
1123.42/1124.21 c | 370906 | 96652 536056 1876653 | 2147483647 370898 183 | 0.004 % |
1134.42/1135.27 c | 372600 | 96652 536056 1876653 | 2147483647 372592 184 | 0.004 % |
1146.62/1147.42 c | 374463 | 96652 536056 1876653 | 2147483647 374455 185 | 0.004 % |
1153.01/1153.83 c | 376515 | 96652 536056 1876653 | 2147483647 376507 185 | 0.004 % |
1167.02/1167.83 c | 378768 | 96652 536056 1876653 | 2147483647 378760 186 | 0.004 % |
1181.01/1181.82 c | 381247 | 96652 536056 1876653 | 2147483647 381239 189 | 0.004 % |
1192.61/1193.47 c | 383972 | 96652 536056 1876653 | 2147483647 383964 189 | 0.004 % |
1199.81/1200.64 c | 386969 | 96652 536056 1876653 | 2147483647 386961 188 | 0.004 % |
1211.00/1211.88 c | 390266 | 96652 536056 1876653 | 2147483647 390258 189 | 0.004 % |
1223.09/1223.90 c | 393891 | 96652 536056 1876653 | 2147483647 393883 189 | 0.004 % |
1223.40/1224.29 c | 393993 | 96652 536056 1876653 | 2147483647 393985 189 | 0.004 % |
1223.79/1224.60 c | 394105 | 96652 536056 1876653 | 2147483647 394097 189 | 0.004 % |
1224.69/1225.50 c | 394226 | 96652 536056 1876653 | 2147483647 394218 189 | 0.004 % |
1225.19/1226.00 c | 394359 | 96652 536056 1876653 | 2147483647 394351 189 | 0.004 % |
1225.49/1226.32 c | 394505 | 96652 536056 1876653 | 2147483647 394497 189 | 0.004 % |
1225.89/1226.78 c | 394665 | 96652 536056 1876653 | 2147483647 394657 189 | 0.004 % |
1226.39/1227.27 c | 394841 | 96652 536056 1876653 | 2147483647 394833 189 | 0.004 % |
1226.99/1227.87 c | 395034 | 96652 536056 1876653 | 2147483647 395026 189 | 0.004 % |
1228.10/1228.98 c | 395246 | 96652 536056 1876653 | 2147483647 395238 189 | 0.004 % |
1230.00/1230.86 c | 395481 | 96652 536056 1876653 | 2147483647 395473 189 | 0.004 % |
1230.80/1231.62 c | 395737 | 96652 536056 1876653 | 2147483647 395729 189 | 0.004 % |
1231.80/1232.63 c | 396029 | 96652 536056 1876653 | 2147483647 396021 189 | 0.004 % |
1233.10/1233.96 c | 396339 | 96652 536056 1876653 | 2147483647 396331 189 | 0.004 % |
1234.59/1235.44 c | 396678 | 96652 536056 1876653 | 2147483647 396670 189 | 0.004 % |
1235.89/1236.72 c | 397050 | 96652 536056 1876653 | 2147483647 397042 189 | 0.004 % |
1236.70/1237.59 c | 397459 | 96652 536056 1876653 | 2147483647 397451 189 | 0.004 % |
1238.79/1239.67 c | 397908 | 96652 536056 1876653 | 2147483647 397900 189 | 0.004 % |
1241.49/1242.32 c | 398401 | 96652 536056 1876653 | 2147483647 398393 189 | 0.004 % |
1243.59/1244.43 c | 398943 | 96652 536056 1876653 | 2147483647 398935 189 | 0.004 % |
1246.19/1247.04 c | 399540 | 96652 536056 1876653 | 2147483647 399532 189 | 0.004 % |
1249.59/1250.44 c | 400196 | 96652 536056 1876653 | 2147483647 400188 189 | 0.004 % |
1253.49/1254.31 c | 400916 | 96652 536056 1876653 | 2147483647 400908 189 | 0.004 % |
1257.60/1258.46 c | 401708 | 96652 536056 1876653 | 2147483647 401700 190 | 0.004 % |
1263.89/1264.73 c | 402580 | 96652 536056 1876653 | 2147483647 402572 190 | 0.004 % |
1268.89/1269.79 c | 403542 | 96652 536056 1876653 | 2147483647 403534 191 | 0.004 % |
1271.89/1272.74 c | 404595 | 96652 536056 1876653 | 2147483647 404587 191 | 0.004 % |
1277.28/1278.20 c | 405753 | 96652 536056 1876653 | 2147483647 405745 192 | 0.004 % |
1281.98/1282.86 c | 407028 | 96652 536056 1876653 | 2147483647 407020 192 | 0.004 % |
1288.08/1288.92 c | 408429 | 96652 536056 1876653 | 2147483647 408421 192 | 0.004 % |
1293.57/1294.46 c | 409969 | 96652 536056 1876653 | 2147483647 409961 194 | 0.004 % |
1303.38/1304.21 c | 411663 | 96652 536056 1876653 | 2147483647 411655 195 | 0.004 % |
1308.47/1309.34 c | 413527 | 96652 536056 1876653 | 2147483647 413519 196 | 0.004 % |
1318.27/1319.14 c | 415576 | 96652 536056 1876653 | 2147483647 415568 198 | 0.004 % |
1328.77/1329.62 c | 417834 | 96652 536056 1876653 | 2147483647 417826 201 | 0.004 % |
1337.36/1338.23 c | 420312 | 96652 536056 1876653 | 2147483647 420304 202 | 0.004 % |
1349.47/1350.38 c | 423038 | 96652 536056 1876653 | 2147483647 423030 203 | 0.004 % |
1365.06/1365.93 c | 426039 | 96652 536056 1876653 | 2147483647 426031 205 | 0.004 % |
1377.95/1378.81 c | 429338 | 96652 536056 1876653 | 2147483647 429330 204 | 0.004 % |
1400.45/1401.38 c | 432963 | 96652 536056 1876653 | 2147483647 432955 207 | 0.004 % |
1413.85/1414.78 c | 436950 | 96652 536056 1876653 | 2147483647 436942 206 | 0.004 % |
1414.15/1415.08 c | 437050 | 96652 536056 1876653 | 2147483647 437042 206 | 0.004 % |
1414.76/1415.62 c | 437160 | 96652 536056 1876653 | 2147483647 437152 206 | 0.004 % |
1415.35/1416.23 c | 437282 | 96652 536056 1876653 | 2147483647 437274 206 | 0.004 % |
1416.25/1417.15 c | 437416 | 96652 536056 1876653 | 2147483647 437408 206 | 0.004 % |
1417.45/1418.36 c | 437563 | 96652 536056 1876653 | 2147483647 437555 206 | 0.004 % |
1418.75/1419.70 c | 437725 | 96652 536056 1876653 | 2147483647 437717 206 | 0.004 % |
1419.85/1420.72 c | 437901 | 96652 536056 1876653 | 2147483647 437893 206 | 0.004 % |
1420.85/1421.75 c | 438094 | 96652 536056 1876653 | 2147483647 438086 206 | 0.004 % |
1422.15/1423.04 c | 438306 | 96652 536056 1876653 | 2147483647 438298 206 | 0.004 % |
1422.65/1423.55 c | 438541 | 96652 536056 1876653 | 2147483647 438533 206 | 0.004 % |
1424.55/1425.42 c | 438798 | 96652 536056 1876653 | 2147483647 438790 206 | 0.004 % |
1425.55/1426.48 c | 439080 | 96652 536056 1876653 | 2147483647 439072 206 | 0.004 % |
1427.05/1427.99 c | 439389 | 96652 536056 1876653 | 2147483647 439381 206 | 0.004 % |
1428.74/1429.66 c | 439728 | 96652 536056 1876653 | 2147483647 439720 206 | 0.004 % |
1431.94/1432.84 c | 440100 | 96652 536056 1876653 | 2147483647 440092 206 | 0.004 % |
1433.84/1434.75 c | 440510 | 96652 536056 1876653 | 2147483647 440502 206 | 0.004 % |
1437.04/1437.94 c | 440959 | 96652 536056 1876653 | 2147483647 440951 207 | 0.004 % |
1440.34/1441.21 c | 441452 | 96652 536056 1876653 | 2147483647 441444 207 | 0.004 % |
1442.35/1443.29 c | 441995 | 96652 536056 1876653 | 2147483647 441987 208 | 0.004 % |
1444.74/1445.67 c | 442593 | 96652 536056 1876653 | 2147483647 442585 208 | 0.004 % |
1447.64/1448.50 c | 443248 | 96652 536056 1876653 | 2147483647 443240 208 | 0.004 % |
1451.04/1451.92 c | 443968 | 96652 536056 1876653 | 2147483647 443960 208 | 0.004 % |
1455.74/1456.68 c | 444761 | 96652 536056 1876653 | 2147483647 444753 208 | 0.004 % |
1460.04/1460.96 c | 445632 | 96652 536056 1876653 | 2147483647 445624 208 | 0.004 % |
1469.03/1469.97 c | 446590 | 96652 536056 1876653 | 2147483647 446582 210 | 0.004 % |
1476.03/1477.00 c | 447643 | 96652 536056 1876653 | 2147483647 447635 210 | 0.004 % |
1483.13/1484.04 c | 448803 | 96652 536056 1876653 | 2147483647 448795 211 | 0.004 % |
1486.93/1487.86 c | 450079 | 96652 536056 1876653 | 2147483647 450071 212 | 0.004 % |
1490.93/1491.83 c | 451479 | 96652 536056 1876653 | 2147483647 451471 212 | 0.004 % |
1497.93/1498.87 c | 453019 | 96652 536056 1876653 | 2147483647 453011 212 | 0.004 % |
1506.23/1507.17 c | 454718 | 96652 536056 1876653 | 2147483647 454710 213 | 0.004 % |
1514.92/1515.90 c | 456581 | 96652 536056 1876653 | 2147483647 456573 213 | 0.004 % |
1520.82/1521.74 c | 458630 | 96652 536056 1876653 | 2147483647 458622 213 | 0.004 % |
1530.32/1531.25 c | 460885 | 96652 536056 1876653 | 2147483647 460877 213 | 0.004 % |
1542.52/1543.47 c | 463363 | 96652 536056 1876653 | 2147483647 463355 213 | 0.004 % |
1550.91/1551.84 c | 466092 | 96652 536056 1876653 | 2147483647 466084 213 | 0.004 % |
1566.31/1567.25 c | 469089 | 96652 536056 1876653 | 2147483647 469081 216 | 0.004 % |
1584.90/1585.85 c | 472389 | 96652 536056 1876653 | 2147483647 472381 218 | 0.004 % |
1600.90/1601.87 c | 476016 | 96652 536056 1876653 | 2147483647 476008 220 | 0.004 % |
1617.20/1618.11 c | 480003 | 96652 536056 1876653 | 2147483647 479995 219 | 0.004 % |
1641.09/1642.04 c | 484388 | 96652 536056 1876653 | 2147483647 484380 219 | 0.004 % |
1641.59/1642.55 c | 484488 | 96652 536056 1876653 | 2147483647 484480 219 | 0.004 % |
1642.19/1643.13 c | 484602 | 96652 536056 1876653 | 2147483647 484594 219 | 0.004 % |
1642.49/1643.46 c | 484724 | 96652 536056 1876653 | 2147483647 484716 219 | 0.004 % |
1643.19/1644.13 c | 484857 | 96652 536056 1876653 | 2147483647 484849 219 | 0.004 % |
1644.09/1645.01 c | 485004 | 96652 536056 1876653 | 2147483647 484996 219 | 0.004 % |
1644.49/1645.48 c | 485164 | 96652 536056 1876653 | 2147483647 485156 219 | 0.004 % |
1645.39/1646.36 c | 485341 | 96652 536056 1876653 | 2147483647 485333 219 | 0.004 % |
1646.59/1647.57 c | 485534 | 96652 536056 1876653 | 2147483647 485526 219 | 0.004 % |
1647.79/1648.79 c | 485747 | 96652 536056 1876653 | 2147483647 485739 219 | 0.004 % |
1649.10/1650.03 c | 485980 | 96652 536056 1876653 | 2147483647 485972 219 | 0.004 % |
1650.09/1651.03 c | 486238 | 96652 536056 1876653 | 2147483647 486230 219 | 0.004 % |
1651.29/1652.25 c | 486520 | 96652 536056 1876653 | 2147483647 486512 219 | 0.004 % |
1651.99/1652.96 c | 486829 | 96652 536056 1876653 | 2147483647 486821 219 | 0.004 % |
1653.19/1654.17 c | 487174 | 96652 536056 1876653 | 2147483647 487166 219 | 0.004 % |
1654.49/1655.44 c | 487547 | 96652 536056 1876653 | 2147483647 487539 219 | 0.004 % |
1656.19/1657.16 c | 487956 | 96652 536056 1876653 | 2147483647 487948 219 | 0.004 % |
1658.59/1659.52 c | 488407 | 96652 536056 1876653 | 2147483647 488399 219 | 0.004 % |
1660.58/1661.57 c | 488901 | 96652 536056 1876653 | 2147483647 488893 219 | 0.004 % |
1662.19/1663.19 c | 489443 | 96652 536056 1876653 | 2147483647 489435 219 | 0.004 % |
1664.78/1665.76 c | 490039 | 96652 536056 1876653 | 2147483647 490031 219 | 0.004 % |
1667.89/1668.83 c | 490695 | 96652 536056 1876653 | 2147483647 490687 219 | 0.004 % |
1671.38/1672.30 c | 491416 | 96652 536056 1876653 | 2147483647 491408 219 | 0.004 % |
1676.58/1677.57 c | 492209 | 96652 536056 1876653 | 2147483647 492201 219 | 0.004 % |
1681.48/1682.44 c | 493081 | 96652 536056 1876653 | 2147483647 493073 220 | 0.004 % |
1687.38/1688.33 c | 494039 | 96652 536056 1876653 | 2147483647 494031 220 | 0.004 % |
1690.97/1691.95 c | 495093 | 96652 536056 1876653 | 2147483647 495085 221 | 0.004 % |
1694.18/1695.18 c | 496251 | 96652 536056 1876653 | 2147483647 496243 220 | 0.004 % |
1699.68/1700.68 c | 497524 | 96652 536056 1876653 | 2147483647 497516 221 | 0.004 % |
1703.47/1704.49 c | 498926 | 96652 536056 1876653 | 2147483647 498918 221 | 0.004 % |
1713.87/1714.88 c | 500469 | 96652 536056 1876653 | 2147483647 500461 221 | 0.004 % |
1723.57/1724.57 c | 502167 | 96652 536056 1876653 | 2147483647 502159 221 | 0.004 % |
1734.47/1735.47 c | 504031 | 96652 536056 1876653 | 2147483647 504023 221 | 0.004 % |
1744.06/1745.06 c | 506081 | 96652 536056 1876653 | 2147483647 506073 221 | 0.004 % |
1759.86/1760.86 c | 508335 | 96652 536056 1876653 | 2147483647 508327 221 | 0.004 % |
1771.56/1772.54 c | 510820 | 96652 536056 1876653 | 2147483647 510812 222 | 0.004 % |
1782.85/1783.82 c | 513545 | 96652 536056 1876653 | 2147483647 513537 222 | 0.004 % |
1802.05/1803.03 c | 516544 | 96652 536056 1876653 | 2147483647 516536 223 | 0.004 % |
1817.65/1818.67 c | 519840 | 96652 536056 1876653 | 2147483647 519832 223 | 0.004 % |
1829.94/1831.00 c | 523465 | 96652 536056 1876653 | 2147483647 523457 222 | 0.004 % |
1853.84/1854.82 c | 527452 | 96652 536056 1876653 | 2147483647 527444 222 | 0.004 % |
1874.03/1875.04 c | 531837 | 96652 536056 1876653 | 2147483647 531829 222 | 0.004 % |
1893.73/1894.77 c | 536661 | 96652 536056 1876653 | 2147483647 536653 221 | 0.004 % |
1894.23/1895.27 c | 536761 | 96652 536056 1876653 | 2147483647 536753 221 | 0.004 % |
1895.33/1896.35 c | 536871 | 96652 536056 1876653 | 2147483647 536863 221 | 0.004 % |
1896.02/1897.03 c | 536994 | 96652 536056 1876653 | 2147483647 536986 221 | 0.004 % |
1897.32/1898.34 c | 537127 | 96652 536056 1876653 | 2147483647 537119 221 | 0.004 % |
1898.63/1899.69 c | 537273 | 96652 536056 1876653 | 2147483647 537265 221 | 0.004 % |
1899.83/1900.89 c | 537433 | 96652 536056 1876653 | 2147483647 537425 221 | 0.004 % |
1900.42/1901.40 c | 537611 | 96652 536056 1876653 | 2147483647 537603 221 | 0.004 % |
1901.13/1902.16 c | 537809 | 96652 536056 1876653 | 2147483647 537801 221 | 0.004 % |
1902.13/1903.13 c | 538022 | 96652 536056 1876653 | 2147483647 538014 221 | 0.004 % |
1903.93/1904.90 c | 538256 | 96652 536056 1876653 | 2147483647 538248 221 | 0.004 % |
1905.73/1906.70 c | 538513 | 96652 536056 1876653 | 2147483647 538505 221 | 0.004 % |
1907.43/1908.47 c | 538798 | 96652 536056 1876653 | 2147483647 538790 221 | 0.004 % |
1908.42/1909.45 c | 539107 | 96652 536056 1876653 | 2147483647 539099 221 | 0.004 % |
1909.32/1910.30 c | 539447 | 96652 536056 1876653 | 2147483647 539439 221 | 0.004 % |
1910.62/1911.62 c | 539821 | 96652 536056 1876653 | 2147483647 539813 221 | 0.004 % |
1912.72/1913.73 c | 540230 | 96652 536056 1876653 | 2147483647 540222 221 | 0.004 % |
1913.62/1914.62 c | 540679 | 96652 536056 1876653 | 2147483647 540671 221 | 0.004 % |
1916.42/1917.46 c | 541174 | 96652 536056 1876653 | 2147483647 541166 221 | 0.004 % |
1918.73/1919.76 c | 541716 | 96652 536056 1876653 | 2147483647 541708 221 | 0.004 % |
1921.02/1922.01 c | 542312 | 96652 536056 1876653 | 2147483647 542304 221 | 0.004 % |
1923.62/1924.64 c | 542968 | 96652 536056 1876653 | 2147483647 542960 221 | 0.004 % |
1927.82/1928.84 c | 543689 | 96652 536056 1876653 | 2147483647 543681 221 | 0.004 % |
1931.42/1932.42 c | 544481 | 96652 536056 1876653 | 2147483647 544473 221 | 0.004 % |
1935.91/1936.97 c | 545355 | 96652 536056 1876653 | 2147483647 545347 222 | 0.004 % |
1940.42/1941.48 c | 546313 | 96652 536056 1876653 | 2147483647 546305 221 | 0.004 % |
1944.41/1945.43 c | 547367 | 96652 536056 1876653 | 2147483647 547359 221 | 0.004 % |
1952.52/1953.55 c | 548527 | 96652 536056 1876653 | 2147483647 548519 222 | 0.004 % |
1957.91/1958.96 c | 549800 | 96652 536056 1876653 | 2147483647 549792 222 | 0.004 % |
1965.11/1966.12 c | 551200 | 96652 536056 1876653 | 2147483647 551192 222 | 0.004 % |
1969.51/1970.56 c | 552740 | 96652 536056 1876653 | 2147483647 552732 222 | 0.004 % |
1977.30/1978.35 c | 554434 | 96652 536056 1876653 | 2147483647 554426 223 | 0.004 % |
1987.30/1988.36 c | 556298 | 96652 536056 1876653 | 2147483647 556290 223 | 0.004 % |
2000.70/2001.70 c | 558348 | 96652 536056 1876653 | 2147483647 558340 224 | 0.004 % |
2006.19/2007.26 c | 560603 | 96652 536056 1876653 | 2147483647 560595 224 | 0.004 % |
2015.20/2016.24 c | 563082 | 96652 536056 1876653 | 2147483647 563074 223 | 0.004 % |
2027.09/2028.13 c | 565808 | 96652 536056 1876653 | 2147483647 565800 224 | 0.004 % |
2043.69/2044.80 c | 568807 | 96652 536056 1876653 | 2147483647 568799 226 | 0.004 % |
2061.79/2062.87 c | 572107 | 96652 536056 1876653 | 2147483647 572099 227 | 0.004 % |
2071.79/2072.84 c | 575732 | 96652 536056 1876653 | 2147483647 575724 228 | 0.004 % |
2090.27/2091.38 c | 579723 | 96652 536056 1876653 | 2147483647 579715 232 | 0.004 % |
2117.58/2118.69 c | 584109 | 96652 536056 1876653 | 2147483647 584101 236 | 0.004 % |
2141.96/2143.02 c | 588932 | 96652 536056 1876653 | 2147483647 588924 239 | 0.004 % |
2170.26/2171.31 c | 594238 | 96652 536056 1876653 | 2147483647 594230 241 | 0.004 % |
2171.36/2172.46 c | 594338 | 96652 536056 1876653 | 2147483647 594330 241 | 0.004 % |
2171.96/2173.05 c | 594448 | 96652 536056 1876653 | 2147483647 594440 241 | 0.004 % |
2172.86/2173.98 c | 594574 | 96652 536056 1876653 | 2147483647 594566 241 | 0.004 % |
2173.76/2174.83 c | 594707 | 96652 536056 1876653 | 2147483647 594699 241 | 0.004 % |
2174.66/2175.72 c | 594853 | 96652 536056 1876653 | 2147483647 594845 241 | 0.004 % |
2175.76/2176.90 c | 595015 | 96652 536056 1876653 | 2147483647 595007 241 | 0.004 % |
2177.45/2178.50 c | 595193 | 96652 536056 1876653 | 2147483647 595185 241 | 0.004 % |
2178.35/2179.41 c | 595386 | 96652 536056 1876653 | 2147483647 595378 241 | 0.004 % |
2179.35/2180.43 c | 595599 | 96652 536056 1876653 | 2147483647 595591 241 | 0.004 % |
2180.55/2181.68 c | 595833 | 96652 536056 1876653 | 2147483647 595825 241 | 0.004 % |
2181.76/2182.83 c | 596092 | 96652 536056 1876653 | 2147483647 596084 242 | 0.004 % |
2183.96/2185.00 c | 596375 | 96652 536056 1876653 | 2147483647 596367 242 | 0.004 % |
2185.16/2186.23 c | 596686 | 96652 536056 1876653 | 2147483647 596678 242 | 0.004 % |
2187.05/2188.18 c | 597025 | 96652 536056 1876653 | 2147483647 597017 242 | 0.004 % |
2187.75/2188.80 c | 597397 | 96652 536056 1876653 | 2147483647 597389 242 | 0.004 % |
2189.55/2190.69 c | 597806 | 96652 536056 1876653 | 2147483647 597798 242 | 0.004 % |
2192.05/2193.15 c | 598255 | 96652 536056 1876653 | 2147483647 598247 242 | 0.004 % |
2194.25/2195.34 c | 598756 | 96652 536056 1876653 | 2147483647 598748 242 | 0.004 % |
2195.95/2197.02 c | 599298 | 96652 536056 1876653 | 2147483647 599290 242 | 0.004 % |
2198.15/2199.23 c | 599895 | 96652 536056 1876653 | 2147483647 599887 242 | 0.004 % |
2201.44/2202.58 c | 600552 | 96652 536056 1876653 | 2147483647 600544 243 | 0.004 % |
2205.25/2206.34 c | 601273 | 96652 536056 1876653 | 2147483647 601265 243 | 0.004 % |
2209.14/2210.25 c | 602066 | 96652 536056 1876653 | 2147483647 602058 243 | 0.004 % |
2212.14/2213.28 c | 602939 | 96652 536056 1876653 | 2147483647 602931 243 | 0.004 % |
2217.15/2218.22 c | 603897 | 96652 536056 1876653 | 2147483647 603889 243 | 0.004 % |
2218.75/2219.83 c | 604950 | 96652 536056 1876653 | 2147483647 604942 243 | 0.004 % |
2224.25/2225.37 c | 606108 | 96652 536056 1876653 | 2147483647 606100 243 | 0.004 % |
2231.24/2232.34 c | 607383 | 96652 536056 1876653 | 2147483647 607375 244 | 0.004 % |
2237.73/2238.88 c | 608783 | 96652 536056 1876653 | 2147483647 608775 244 | 0.004 % |
2246.03/2247.15 c | 610325 | 96652 536056 1876653 | 2147483647 610317 244 | 0.004 % |
2251.93/2253.07 c | 612019 | 96652 536056 1876653 | 2147483647 612011 244 | 0.004 % |
2257.33/2258.43 c | 613882 | 96652 536056 1876653 | 2147483647 613874 244 | 0.004 % |
2269.73/2270.88 c | 615932 | 96652 536056 1876653 | 2147483647 615924 245 | 0.004 % |
2281.93/2283.05 c | 618185 | 96652 536056 1876653 | 2147483647 618177 245 | 0.004 % |
2293.23/2294.33 c | 620665 | 96652 536056 1876653 | 2147483647 620657 245 | 0.004 % |
2310.11/2311.29 c | 623393 | 96652 536056 1876653 | 2147483647 623385 246 | 0.004 % |
2331.42/2332.51 c | 626390 | 96652 536056 1876653 | 2147483647 626382 246 | 0.004 % |
2342.91/2344.09 c | 629686 | 96652 536056 1876653 | 2147483647 629678 246 | 0.004 % |
2360.51/2361.64 c | 633313 | 96652 536056 1876653 | 2147483647 633305 247 | 0.004 % |
2385.90/2387.01 c | 637300 | 96652 536056 1876653 | 2147483647 637292 249 | 0.004 % |
2409.99/2411.11 c | 641685 | 96652 536056 1876653 | 2147483647 641677 252 | 0.004 % |
2437.59/2438.72 c | 646508 | 96652 536056 1876653 | 2147483647 646500 257 | 0.004 % |
2468.08/2469.29 c | 651814 | 96652 536056 1876653 | 2147483647 651806 259 | 0.004 % |
2512.97/2514.14 c | 657649 | 96652 536056 1876653 | 2147483647 657641 262 | 0.004 % |
2513.47/2514.62 c | 657749 | 96652 536056 1876653 | 2147483647 657741 262 | 0.004 % |
2514.47/2515.66 c | 657859 | 96652 536056 1876653 | 2147483647 657851 262 | 0.004 % |
2515.27/2516.41 c | 657982 | 96652 536056 1876653 | 2147483647 657974 262 | 0.004 % |
2515.57/2516.79 c | 658115 | 96652 536056 1876653 | 2147483647 658107 262 | 0.004 % |
2516.57/2517.71 c | 658262 | 96652 536056 1876653 | 2147483647 658254 262 | 0.004 % |
2518.07/2519.28 c | 658422 | 96652 536056 1876653 | 2147483647 658414 262 | 0.004 % |
2519.07/2520.28 c | 658599 | 96652 536056 1876653 | 2147483647 658591 262 | 0.004 % |
2520.17/2521.37 c | 658792 | 96652 536056 1876653 | 2147483647 658784 262 | 0.004 % |
2521.76/2522.99 c | 659005 | 96652 536056 1876653 | 2147483647 658997 262 | 0.004 % |
2523.16/2524.32 c | 659238 | 96652 536056 1876653 | 2147483647 659230 262 | 0.004 % |
2525.36/2526.57 c | 659495 | 96652 536056 1876653 | 2147483647 659487 262 | 0.004 % |
2526.26/2527.46 c | 659776 | 96652 536056 1876653 | 2147483647 659768 262 | 0.004 % |
2528.26/2529.43 c | 660086 | 96652 536056 1876653 | 2147483647 660078 262 | 0.004 % |
2530.86/2532.10 c | 660428 | 96652 536056 1876653 | 2147483647 660420 262 | 0.004 % |
2533.06/2534.20 c | 660804 | 96652 536056 1876653 | 2147483647 660796 262 | 0.004 % |
2534.96/2536.11 c | 661214 | 96652 536056 1876653 | 2147483647 661206 262 | 0.004 % |
2537.46/2538.65 c | 661664 | 96652 536056 1876653 | 2147483647 661656 262 | 0.004 % |
2539.66/2540.89 c | 662157 | 96652 536056 1876653 | 2147483647 662149 261 | 0.004 % |
2542.96/2544.17 c | 662699 | 96652 536056 1876653 | 2147483647 662691 262 | 0.004 % |
2547.15/2548.31 c | 663297 | 96652 536056 1876653 | 2147483647 663289 261 | 0.004 % |
2552.96/2554.19 c | 663954 | 96652 536056 1876653 | 2147483647 663946 262 | 0.004 % |
2558.25/2559.46 c | 664674 | 96652 536056 1876653 | 2147483647 664666 262 | 0.004 % |
2564.06/2565.20 c | 665467 | 96652 536056 1876653 | 2147483647 665459 262 | 0.004 % |
2570.35/2571.57 c | 666338 | 96652 536056 1876653 | 2147483647 666330 262 | 0.004 % |
2574.64/2575.86 c | 667296 | 96652 536056 1876653 | 2147483647 667288 262 | 0.004 % |
2580.55/2581.78 c | 668349 | 96652 536056 1876653 | 2147483647 668341 262 | 0.004 % |
2588.74/2589.98 c | 669508 | 96652 536056 1876653 | 2147483647 669500 263 | 0.004 % |
2597.64/2598.86 c | 670784 | 96652 536056 1876653 | 2147483647 670776 263 | 0.004 % |
2602.74/2603.91 c | 672184 | 96652 536056 1876653 | 2147483647 672176 262 | 0.004 % |
2610.14/2611.32 c | 673725 | 96652 536056 1876653 | 2147483647 673717 262 | 0.004 % |
2624.03/2625.29 c | 675419 | 96652 536056 1876653 | 2147483647 675411 263 | 0.004 % |
2635.63/2636.87 c | 677282 | 96652 536056 1876653 | 2147483647 677274 264 | 0.004 % |
2651.33/2652.54 c | 679331 | 96652 536056 1876653 | 2147483647 679323 264 | 0.004 % |
2666.92/2668.10 c | 681584 | 96652 536056 1876653 | 2147483647 681576 266 | 0.004 % |
2676.42/2677.63 c | 684062 | 96652 536056 1876653 | 2147483647 684054 267 | 0.004 % |
2691.52/2692.74 c | 686789 | 96652 536056 1876653 | 2147483647 686781 267 | 0.004 % |
2707.02/2708.25 c | 689790 | 96652 536056 1876653 | 2147483647 689782 268 | 0.004 % |
2724.52/2725.71 c | 693088 | 96652 536056 1876653 | 2147483647 693080 269 | 0.004 % |
2734.20/2735.41 c | 696713 | 96652 536056 1876653 | 2147483647 696705 268 | 0.004 % |
2766.31/2767.56 c | 700701 | 96652 536056 1876653 | 2147483647 700693 268 | 0.004 % |
2796.10/2797.34 c | 705087 | 96652 536056 1876653 | 2147483647 705079 269 | 0.004 % |
2827.99/2829.29 c | 709913 | 96652 536056 1876653 | 2147483647 709905 271 | 0.004 % |
2858.98/2860.23 c | 715219 | 96652 536056 1876653 | 2147483647 715211 272 | 0.004 % |
2910.56/2911.82 c | 721054 | 96652 536056 1876653 | 2147483647 721046 277 | 0.004 % |
2937.56/2938.89 c | 727475 | 96652 536056 1876653 | 2147483647 727467 277 | 0.004 % |
2938.36/2939.64 c | 727575 | 96652 536056 1876653 | 2147483647 727567 277 | 0.004 % |
2939.36/2940.64 c | 727685 | 96652 536056 1876653 | 2147483647 727677 277 | 0.004 % |
2940.16/2941.49 c | 727806 | 96652 536056 1876653 | 2147483647 727798 277 | 0.004 % |
2940.96/2942.27 c | 727939 | 96652 536056 1876653 | 2147483647 727931 277 | 0.004 % |
2942.86/2944.18 c | 728085 | 96652 536056 1876653 | 2147483647 728077 277 | 0.004 % |
2943.86/2945.11 c | 728245 | 96652 536056 1876653 | 2147483647 728237 277 | 0.004 % |
2945.75/2947.01 c | 728422 | 96652 536056 1876653 | 2147483647 728414 277 | 0.004 % |
2946.76/2948.04 c | 728615 | 96652 536056 1876653 | 2147483647 728607 277 | 0.004 % |
2947.85/2949.17 c | 728828 | 96652 536056 1876653 | 2147483647 728820 277 | 0.004 % |
2949.55/2950.86 c | 729062 | 96652 536056 1876653 | 2147483647 729054 277 | 0.004 % |
2951.75/2953.06 c | 729318 | 96652 536056 1876653 | 2147483647 729310 277 | 0.004 % |
2953.66/2954.93 c | 729599 | 96652 536056 1876653 | 2147483647 729591 278 | 0.004 % |
2956.25/2957.54 c | 729909 | 96652 536056 1876653 | 2147483647 729901 278 | 0.004 % |
2959.55/2960.87 c | 730248 | 96652 536056 1876653 | 2147483647 730240 278 | 0.004 % |
2962.75/2964.03 c | 730621 | 96652 536056 1876653 | 2147483647 730613 278 | 0.004 % |
2967.15/2968.48 c | 731030 | 96652 536056 1876653 | 2147483647 731022 278 | 0.004 % |
2968.35/2969.68 c | 731481 | 96652 536056 1876653 | 2147483647 731473 277 | 0.004 % |
2970.75/2972.02 c | 731974 | 96652 536056 1876653 | 2147483647 731966 277 | 0.004 % |
2974.64/2975.99 c | 732516 | 96652 536056 1876653 | 2147483647 732508 277 | 0.004 % |
2977.55/2978.82 c | 733112 | 96652 536056 1876653 | 2147483647 733104 277 | 0.004 % |
2981.24/2982.51 c | 733767 | 96652 536056 1876653 | 2147483647 733759 277 | 0.004 % |
2986.14/2987.49 c | 734488 | 96652 536056 1876653 | 2147483647 734480 277 | 0.004 % |
2989.55/2990.86 c | 735281 | 96652 536056 1876653 | 2147483647 735273 278 | 0.004 % |
2993.94/2995.26 c | 736159 | 96652 536056 1876653 | 2147483647 736151 278 | 0.004 % |
2998.44/2999.79 c | 737119 | 96652 536056 1876653 | 2147483647 737111 279 | 0.004 % |
3005.73/3007.01 c | 738172 | 96652 536056 1876653 | 2147483647 738164 279 | 0.004 % |
3013.04/3014.36 c | 739331 | 96652 536056 1876653 | 2147483647 739323 279 | 0.004 % |
3019.53/3020.89 c | 740605 | 96652 536056 1876653 | 2147483647 740597 279 | 0.004 % |
3032.13/3033.48 c | 742005 | 96652 536056 1876653 | 2147483647 741997 281 | 0.004 % |
3042.72/3044.01 c | 743545 | 96652 536056 1876653 | 2147483647 743537 280 | 0.004 % |
3048.93/3050.23 c | 745239 | 96652 536056 1876653 | 2147483647 745231 280 | 0.004 % |
3057.93/3059.24 c | 747103 | 96652 536056 1876653 | 2147483647 747095 280 | 0.004 % |
3068.12/3069.42 c | 749152 | 96652 536056 1876653 | 2147483647 749144 279 | 0.004 % |
3072.32/3073.69 c | 751405 | 96652 536056 1876653 | 2147483647 751397 279 | 0.004 % |
3085.92/3087.21 c | 753883 | 96652 536056 1876653 | 2147483647 753875 278 | 0.004 % |
3101.72/3103.06 c | 756609 | 96652 536056 1876653 | 2147483647 756601 278 | 0.004 % |
3114.70/3116.05 c | 759607 | 96652 536056 1876653 | 2147483647 759599 279 | 0.004 % |
3133.80/3135.16 c | 762904 | 96652 536056 1876653 | 2147483647 762896 280 | 0.004 % |
3151.20/3152.53 c | 766529 | 96652 536056 1876653 | 2147483647 766521 280 | 0.004 % |
3171.80/3173.17 c | 770516 | 96652 536056 1876653 | 2147483647 770508 280 | 0.004 % |
3187.38/3188.74 c | 774901 | 96652 536056 1876653 | 2147483647 774893 279 | 0.004 % |
3226.78/3228.13 c | 779724 | 96652 536056 1876653 | 2147483647 779716 282 | 0.004 % |
3255.28/3256.65 c | 785029 | 96652 536056 1876653 | 2147483647 785021 283 | 0.004 % |
3291.76/3293.17 c | 790868 | 96652 536056 1876653 | 2147483647 790860 287 | 0.004 % |
3341.35/3342.77 c | 797286 | 96652 536056 1876653 | 2147483647 797278 291 | 0.004 % |
3391.33/3392.79 c | 804347 | 96652 536056 1876653 | 2147483647 804339 298 | 0.004 % |
3392.04/3393.44 c | 804447 | 96652 536056 1876653 | 2147483647 804439 298 | 0.004 % |
3393.03/3394.41 c | 804557 | 96652 536056 1876653 | 2147483647 804549 298 | 0.004 % |
3393.73/3395.13 c | 804680 | 96652 536056 1876653 | 2147483647 804672 298 | 0.004 % |
3394.63/3396.03 c | 804813 | 96652 536056 1876653 | 2147483647 804805 298 | 0.004 % |
3396.44/3397.82 c | 804960 | 96652 536056 1876653 | 2147483647 804952 298 | 0.004 % |
3397.74/3399.17 c | 805120 | 96652 536056 1876653 | 2147483647 805112 298 | 0.004 % |
3399.24/3400.63 c | 805297 | 96652 536056 1876653 | 2147483647 805289 299 | 0.004 % |
3401.24/3402.60 c | 805491 | 96652 536056 1876653 | 2147483647 805483 299 | 0.004 % |
3402.33/3403.79 c | 805705 | 96652 536056 1876653 | 2147483647 805697 299 | 0.004 % |
3403.63/3405.03 c | 805938 | 96652 536056 1876653 | 2147483647 805930 299 | 0.004 % |
3405.73/3407.10 c | 806194 | 96652 536056 1876653 | 2147483647 806186 299 | 0.004 % |
3408.33/3409.79 c | 806475 | 96652 536056 1876653 | 2147483647 806467 299 | 0.004 % |
3410.13/3411.55 c | 806786 | 96652 536056 1876653 | 2147483647 806778 299 | 0.004 % |
3411.43/3412.86 c | 807125 | 96652 536056 1876653 | 2147483647 807117 299 | 0.004 % |
3413.53/3414.93 c | 807498 | 96652 536056 1876653 | 2147483647 807490 299 | 0.004 % |
3415.74/3417.10 c | 807907 | 96652 536056 1876653 | 2147483647 807899 299 | 0.004 % |
3417.84/3419.27 c | 808356 | 96652 536056 1876653 | 2147483647 808348 299 | 0.004 % |
3420.54/3421.96 c | 808849 | 96652 536056 1876653 | 2147483647 808841 299 | 0.004 % |
3425.43/3426.86 c | 809391 | 96652 536056 1876653 | 2147483647 809383 298 | 0.004 % |
3429.73/3431.16 c | 809989 | 96652 536056 1876653 | 2147483647 809981 298 | 0.004 % |
3434.62/3436.06 c | 810649 | 96652 536056 1876653 | 2147483647 810641 299 | 0.004 % |
3438.02/3439.46 c | 811376 | 96652 536056 1876653 | 2147483647 811368 299 | 0.004 % |
3441.63/3443.00 c | 812168 | 96652 536056 1876653 | 2147483647 812160 299 | 0.004 % |
3446.82/3448.25 c | 813040 | 96652 536056 1876653 | 2147483647 813032 299 | 0.004 % |
3453.52/3454.99 c | 814001 | 96652 536056 1876653 | 2147483647 813993 299 | 0.004 % |
3461.82/3463.26 c | 815066 | 96652 536056 1876653 | 2147483647 815058 300 | 0.004 % |
3469.12/3470.54 c | 816226 | 96652 536056 1876653 | 2147483647 816218 301 | 0.004 % |
3476.12/3477.54 c | 817499 | 96652 536056 1876653 | 2147483647 817491 301 | 0.004 % |
3483.21/3484.68 c | 818899 | 96652 536056 1876653 | 2147483647 818891 301 | 0.004 % |
3490.81/3492.26 c | 820439 | 96652 536056 1876653 | 2147483647 820431 301 | 0.004 % |
3500.51/3501.92 c | 822133 | 96652 536056 1876653 | 2147483647 822125 300 | 0.004 % |
3517.10/3518.59 c | 823999 | 96652 536056 1876653 | 2147483647 823991 301 | 0.004 % |
3531.00/3532.49 c | 826050 | 96652 536056 1876653 | 2147483647 826042 301 | 0.004 % |
3550.09/3551.58 c | 828307 | 96652 536056 1876653 | 2147483647 828299 303 | 0.004 % |
3573.59/3575.09 c | 830785 | 96652 536056 1876653 | 2147483647 830777 304 | 0.004 % |
3594.69/3596.12 c | 833510 | 96652 536056 1876653 | 2147483647 833502 306 | 0.004 % |
3621.48/3622.93 c | 836507 | 96652 536056 1876653 | 2147483647 836499 307 | 0.004 % |
3642.67/3644.10 c | 839803 | 96652 536056 1876653 | 2147483647 839795 308 | 0.004 % |
3666.56/3668.10 c | 843430 | 96652 536056 1876653 | 2147483647 843422 309 | 0.004 % |
3700.26/3701.75 c | 847418 | 96652 536056 1876653 | 2147483647 847410 313 | 0.004 % |
3736.95/3738.41 c | 851803 | 96652 536056 1876653 | 2147483647 851795 316 | 0.004 % |
3792.34/3793.87 c | 856626 | 96652 536056 1876653 | 2147483647 856618 319 | 0.004 % |
3825.43/3826.93 c | 861932 | 96652 536056 1876653 | 2147483647 861924 321 | 0.004 % |
3872.11/3873.68 c | 867767 | 96652 536056 1876653 | 2147483647 867759 321 | 0.004 % |
3914.10/3915.65 c | 874185 | 96652 536056 1876653 | 2147483647 874177 326 | 0.004 % |
3950.89/3952.43 c | 881244 | 96652 536056 1876653 | 2147483647 881236 326 | 0.004 % |
4009.68/4011.21 c | 889010 | 96652 536056 1876653 | 2147483647 889002 327 | 0.004 % |
4010.88/4012.42 c | 889112 | 96652 536056 1876653 | 2147483647 889104 327 | 0.004 % |
4011.98/4013.56 c | 889222 | 96652 536056 1876653 | 2147483647 889214 327 | 0.004 % |
4012.98/4014.51 c | 889344 | 96652 536056 1876653 | 2147483647 889336 327 | 0.004 % |
4013.68/4015.23 c | 889479 | 96652 536056 1876653 | 2147483647 889471 327 | 0.004 % |
4015.98/4017.54 c | 889625 | 96652 536056 1876653 | 2147483647 889617 327 | 0.004 % |
4016.58/4018.18 c | 889787 | 96652 536056 1876653 | 2147483647 889779 327 | 0.004 % |
4017.38/4018.98 c | 889963 | 96652 536056 1876653 | 2147483647 889955 327 | 0.004 % |
4019.18/4020.79 c | 890156 | 96652 536056 1876653 | 2147483647 890148 327 | 0.004 % |
4021.08/4022.64 c | 890369 | 96652 536056 1876653 | 2147483647 890361 327 | 0.004 % |
4023.17/4024.77 c | 890602 | 96652 536056 1876653 | 2147483647 890594 327 | 0.004 % |
4025.67/4027.23 c | 890858 | 96652 536056 1876653 | 2147483647 890850 327 | 0.004 % |
4028.47/4030.00 c | 891139 | 96652 536056 1876653 | 2147483647 891131 327 | 0.004 % |
4030.28/4031.84 c | 891448 | 96652 536056 1876653 | 2147483647 891440 327 | 0.004 % |
4032.88/4034.40 c | 891788 | 96652 536056 1876653 | 2147483647 891780 327 | 0.004 % |
4034.78/4036.34 c | 892161 | 96652 536056 1876653 | 2147483647 892153 327 | 0.004 % |
4038.98/4040.55 c | 892572 | 96652 536056 1876653 | 2147483647 892564 327 | 0.004 % |
4041.77/4043.40 c | 893022 | 96652 536056 1876653 | 2147483647 893014 327 | 0.004 % |
4045.77/4047.36 c | 893520 | 96652 536056 1876653 | 2147483647 893512 327 | 0.004 % |
4050.87/4052.47 c | 894062 | 96652 536056 1876653 | 2147483647 894054 327 | 0.004 % |
4055.27/4056.80 c | 894658 | 96652 536056 1876653 | 2147483647 894650 327 | 0.004 % |
4060.97/4062.58 c | 895313 | 96652 536056 1876653 | 2147483647 895305 328 | 0.004 % |
4067.67/4069.23 c | 896033 | 96652 536056 1876653 | 2147483647 896025 328 | 0.004 % |
4073.36/4074.94 c | 896829 | 96652 536056 1876653 | 2147483647 896821 328 | 0.004 % |
4081.36/4082.93 c | 897700 | 96652 536056 1876653 | 2147483647 897692 329 | 0.004 % |
4090.36/4091.95 c | 898659 | 96652 536056 1876653 | 2147483647 898651 329 | 0.004 % |
4100.75/4102.31 c | 899713 | 96652 536056 1876653 | 2147483647 899705 329 | 0.004 % |
4109.45/4111.06 c | 900872 | 96652 536056 1876653 | 2147483647 900864 330 | 0.004 % |
4118.35/4119.91 c | 902146 | 96652 536056 1876653 | 2147483647 902138 330 | 0.004 % |
4129.14/4130.71 c | 903546 | 96652 536056 1876653 | 2147483647 903538 330 | 0.004 % |
4134.55/4136.14 c | 905086 | 96652 536056 1876653 | 2147483647 905078 330 | 0.004 % |
4145.94/4147.59 c | 906780 | 96652 536056 1876653 | 2147483647 906772 329 | 0.004 % |
4159.64/4161.27 c | 908644 | 96652 536056 1876653 | 2147483647 908636 329 | 0.004 % |
4174.74/4176.31 c | 910693 | 96652 536056 1876653 | 2147483647 910685 329 | 0.004 % |
4193.84/4195.44 c | 912949 | 96652 536056 1876653 | 2147483647 912941 328 | 0.004 % |
4214.63/4216.23 c | 915428 | 96652 536056 1876653 | 2147483647 915420 328 | 0.004 % |
4240.21/4241.86 c | 918153 | 96652 536056 1876653 | 2147483647 918145 328 | 0.004 % |
4268.51/4270.17 c | 921150 | 96652 536056 1876653 | 2147483647 921142 328 | 0.004 % |
4294.27/4295.98 c | 924446 | 96652 536056 1876653 | 2147483647 924438 328 | 0.004 % |
4317.86/4319.51 c | 928071 | 96652 536056 1876653 | 2147483647 928063 329 | 0.004 % |
4353.15/4354.90 c | 932060 | 96652 536056 1876653 | 2147483647 932052 332 | 0.004 % |
4398.14/4399.85 c | 936445 | 96652 536056 1876653 | 2147483647 936437 333 | 0.004 % |
4455.23/4456.96 c | 941272 | 96652 536056 1876653 | 2147483647 941264 337 | 0.004 % |
4534.81/4536.58 c | 946581 | 96652 536056 1876653 | 2147483647 946573 341 | 0.004 % |
4559.00/4560.70 c | 952416 | 96652 536056 1876653 | 2147483647 952408 341 | 0.004 % |
4594.79/4596.59 c | 958835 | 96652 536056 1876653 | 2147483647 958827 340 | 0.004 % |
4632.28/4634.01 c | 965898 | 96652 536056 1876653 | 2147483647 965890 339 | 0.004 % |
4673.97/4675.78 c | 973668 | 96652 536056 1876653 | 2147483647 973660 340 | 0.004 % |
4728.36/4730.14 c | 982208 | 96652 536056 1876653 | 2147483647 982200 339 | 0.004 % |
4729.26/4731.06 c | 982308 | 96652 536056 1876653 | 2147483647 982300 339 | 0.004 % |
4730.06/4731.87 c | 982418 | 96652 536056 1876653 | 2147483647 982410 339 | 0.004 % |
4731.46/4733.28 c | 982542 | 96652 536056 1876653 | 2147483647 982534 339 | 0.004 % |
4732.75/4734.54 c | 982675 | 96652 536056 1876653 | 2147483647 982667 339 | 0.004 % |
4733.96/4735.71 c | 982821 | 96652 536056 1876653 | 2147483647 982813 339 | 0.004 % |
4734.96/4736.73 c | 982981 | 96652 536056 1876653 | 2147483647 982973 339 | 0.004 % |
4736.06/4737.88 c | 983157 | 96652 536056 1876653 | 2147483647 983149 339 | 0.004 % |
4738.86/4740.69 c | 983351 | 96652 536056 1876653 | 2147483647 983343 339 | 0.004 % |
4740.76/4742.59 c | 983563 | 96652 536056 1876653 | 2147483647 983555 339 | 0.004 % |
4742.46/4744.21 c | 983796 | 96652 536056 1876653 | 2147483647 983788 339 | 0.004 % |
4745.55/4747.34 c | 984054 | 96652 536056 1876653 | 2147483647 984046 339 | 0.004 % |
4749.95/4751.74 c | 984335 | 96652 536056 1876653 | 2147483647 984327 339 | 0.004 % |
4754.35/4756.14 c | 984645 | 96652 536056 1876653 | 2147483647 984637 339 | 0.004 % |
4758.96/4760.72 c | 984984 | 96652 536056 1876653 | 2147483647 984976 339 | 0.004 % |
4763.75/4765.55 c | 985357 | 96652 536056 1876653 | 2147483647 985349 339 | 0.004 % |
4768.35/4770.19 c | 985766 | 96652 536056 1876653 | 2147483647 985758 340 | 0.004 % |
4771.85/4773.60 c | 986215 | 96652 536056 1876653 | 2147483647 986207 340 | 0.004 % |
4777.05/4778.81 c | 986708 | 96652 536056 1876653 | 2147483647 986700 340 | 0.004 % |
4781.74/4783.55 c | 987250 | 96652 536056 1876653 | 2147483647 987242 341 | 0.004 % |
4787.14/4788.94 c | 987846 | 96652 536056 1876653 | 2147483647 987838 341 | 0.004 % |
4793.24/4795.10 c | 988502 | 96652 536056 1876653 | 2147483647 988494 341 | 0.004 % |
4798.54/4800.35 c | 989223 | 96652 536056 1876653 | 2147483647 989215 341 | 0.004 % |
4807.34/4809.17 c | 990015 | 96652 536056 1876653 | 2147483647 990007 341 | 0.004 % |
4816.53/4818.33 c | 990886 | 96652 536056 1876653 | 2147483647 990878 341 | 0.004 % |
4827.23/4829.08 c | 991845 | 96652 536056 1876653 | 2147483647 991837 342 | 0.004 % |
4837.23/4839.04 c | 992900 | 96652 536056 1876653 | 2147483647 992892 342 | 0.004 % |
4846.52/4848.30 c | 994060 | 96652 536056 1876653 | 2147483647 994052 342 | 0.004 % |
4856.63/4858.46 c | 995334 | 96652 536056 1876653 | 2147483647 995326 342 | 0.004 % |
4868.43/4870.20 c | 996734 | 96652 536056 1876653 | 2147483647 996726 343 | 0.004 % |
4880.62/4882.47 c | 998276 | 96652 536056 1876653 | 2147483647 998268 343 | 0.004 % |
4894.61/4896.46 c | 999970 | 96652 536056 1876653 | 2147483647 999962 344 | 0.004 % |
4910.51/4912.32 c | 1001833 | 96652 536056 1876653 | 2147483647 1001825 345 | 0.004 % |
4928.61/4930.43 c | 1003882 | 96652 536056 1876653 | 2147483647 1003874 347 | 0.004 % |
4957.80/4959.60 c | 1006135 | 96652 536056 1876653 | 2147483647 1006127 348 | 0.004 % |
4983.39/4985.28 c | 1008614 | 96652 536056 1876653 | 2147483647 1008606 348 | 0.004 % |
5009.08/5010.94 c | 1011342 | 96652 536056 1876653 | 2147483647 1011334 349 | 0.004 % |
5035.28/5037.13 c | 1014339 | 96652 536056 1876653 | 2147483647 1014331 350 | 0.004 % |
5056.97/5058.90 c | 1017635 | 96652 536056 1876653 | 2147483647 1017627 350 | 0.004 % |
5089.86/5091.80 c | 1021260 | 96652 536056 1876653 | 2147483647 1021252 352 | 0.004 % |
5115.26/5117.18 c | 1025247 | 96652 536056 1876653 | 2147483647 1025239 353 | 0.004 % |
5137.85/5139.76 c | 1029632 | 96652 536056 1876653 | 2147483647 1029624 352 | 0.004 % |
5164.35/5166.21 c | 1034455 | 96652 536056 1876653 | 2147483647 1034447 351 | 0.004 % |
5189.54/5191.46 c | 1039760 | 96652 536056 1876653 | 2147483647 1039752 351 | 0.004 % |
5226.53/5228.45 c | 1045596 | 96652 536056 1876653 | 2147483647 1045588 350 | 0.004 % |
5288.42/5290.38 c | 1052014 | 96652 536056 1876653 | 2147483647 1052006 352 | 0.004 % |
5340.60/5342.51 c | 1059080 | 96652 536056 1876653 | 2147483647 1059072 356 | 0.004 % |
5413.89/5415.80 c | 1066854 | 96652 536056 1876653 | 2147483647 1066846 363 | 0.004 % |
5527.65/5529.62 c | 1075396 | 96652 536056 1876653 | 2147483647 1075388 370 | 0.004 % |
5633.92/5635.90 c | 1084790 | 96652 536056 1876653 | 2147483647 1084782 373 | 0.004 % |
5634.62/5636.68 c | 1084894 | 96652 536056 1876653 | 2147483647 1084886 373 | 0.004 % |
5635.62/5637.68 c | 1085004 | 96652 536056 1876653 | 2147483647 1084996 372 | 0.004 % |
5637.03/5639.04 c | 1085125 | 96652 536056 1876653 | 2147483647 1085117 373 | 0.004 % |
5638.83/5640.81 c | 1085260 | 96652 536056 1876653 | 2147483647 1085252 373 | 0.004 % |
5641.02/5643.05 c | 1085406 | 96652 536056 1876653 | 2147483647 1085398 373 | 0.004 % |
5641.52/5643.57 c | 1085567 | 96652 536056 1876653 | 2147483647 1085559 373 | 0.004 % |
5644.02/5646.01 c | 1085743 | 96652 536056 1876653 | 2147483647 1085735 373 | 0.004 % |
5645.52/5647.53 c | 1085937 | 96652 536056 1876653 | 2147483647 1085929 372 | 0.004 % |
5646.22/5648.24 c | 1086153 | 96652 536056 1876653 | 2147483647 1086145 372 | 0.004 % |
5647.12/5649.18 c | 1086387 | 96652 536056 1876653 | 2147483647 1086379 372 | 0.004 % |
5651.12/5653.17 c | 1086646 | 96652 536056 1876653 | 2147483647 1086638 372 | 0.004 % |
5654.02/5656.02 c | 1086928 | 96652 536056 1876653 | 2147483647 1086920 372 | 0.004 % |
5656.72/5658.79 c | 1087238 | 96652 536056 1876653 | 2147483647 1087230 372 | 0.004 % |
5660.11/5662.20 c | 1087577 | 96652 536056 1876653 | 2147483647 1087569 373 | 0.004 % |
5665.51/5667.51 c | 1087951 | 96652 536056 1876653 | 2147483647 1087943 373 | 0.004 % |
5668.72/5670.78 c | 1088362 | 96652 536056 1876653 | 2147483647 1088354 373 | 0.004 % |
5676.31/5678.37 c | 1088812 | 96652 536056 1876653 | 2147483647 1088804 373 | 0.004 % |
5680.41/5682.49 c | 1089305 | 96652 536056 1876653 | 2147483647 1089297 373 | 0.004 % |
5683.71/5685.78 c | 1089847 | 96652 536056 1876653 | 2147483647 1089839 373 | 0.004 % |
5689.01/5691.07 c | 1090445 | 96652 536056 1876653 | 2147483647 1090437 373 | 0.004 % |
5693.21/5695.20 c | 1091100 | 96652 536056 1876653 | 2147483647 1091092 373 | 0.004 % |
5698.41/5700.41 c | 1091821 | 96652 536056 1876653 | 2147483647 1091813 373 | 0.004 % |
5705.20/5707.24 c | 1092616 | 96652 536056 1876653 | 2147483647 1092608 373 | 0.004 % |
5713.30/5715.36 c | 1093487 | 96652 536056 1876653 | 2147483647 1093479 373 | 0.004 % |
5721.30/5723.38 c | 1094445 | 96652 536056 1876653 | 2147483647 1094437 373 | 0.004 % |
5729.09/5731.15 c | 1095498 | 96652 536056 1876653 | 2147483647 1095490 374 | 0.004 % |
5738.20/5740.23 c | 1096657 | 96652 536056 1876653 | 2147483647 1096649 374 | 0.004 % |
5753.48/5755.53 c | 1097930 | 96652 536056 1876653 | 2147483647 1097922 375 | 0.004 % |
5768.29/5770.33 c | 1099331 | 96652 536056 1876653 | 2147483647 1099323 375 | 0.004 % |
5782.19/5784.30 c | 1100872 | 96652 536056 1876653 | 2147483647 1100864 376 | 0.004 % |
5797.08/5799.11 c | 1102566 | 96652 536056 1876653 | 2147483647 1102558 376 | 0.004 % |
5818.57/5820.68 c | 1104435 | 96652 536056 1876653 | 2147483647 1104427 378 | 0.004 % |
5840.07/5842.15 c | 1106485 | 96652 536056 1876653 | 2147483647 1106477 379 | 0.004 % |
5866.16/5868.29 c | 1108741 | 96652 536056 1876653 | 2147483647 1108733 381 | 0.004 % |
5893.25/5895.33 c | 1111219 | 96652 536056 1876653 | 2147483647 1111211 381 | 0.004 % |
5912.65/5914.78 c | 1113947 | 96652 536056 1876653 | 2147483647 1113939 382 | 0.004 % |
5940.94/5943.03 c | 1116945 | 96652 536056 1876653 | 2147483647 1116937 382 | 0.004 % |
5980.74/5982.81 c | 1120241 | 96652 536056 1876653 | 2147483647 1120233 384 | 0.004 % |
6013.83/6015.92 c | 1123867 | 96652 536056 1876653 | 2147483647 1123859 385 | 0.004 % |
6044.82/6046.91 c | 1127854 | 96652 536056 1876653 | 2147483647 1127846 387 | 0.004 % |
6092.30/6094.42 c | 1132242 | 96652 536056 1876653 | 2147483647 1132234 389 | 0.004 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837274-1242867033/watcher-1837274-1242867033 -o /tmp/evaluation-result-1837274-1242867033/solver-1837274-1242867033 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837274-1242867033.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.85 0.97 0.98 3/65 30139
/proc/meminfo: memFree=1717168/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=0
/proc/30139/stat : 30139 (SatELiteGTI) R 30137 30139 30102 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 314731188 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 250968467955 0 0 4100 65536 0 0 0 17 0 0 0
/proc/30139/statm: 1339 237 197 169 0 50 0
[startup+0.0397531 s]
/proc/loadavg: 0.85 0.97 0.98 3/65 30139
/proc/meminfo: memFree=1717168/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=0
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314731188 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30139/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101761 s]
/proc/loadavg: 0.85 0.97 0.98 3/65 30139
/proc/meminfo: memFree=1717168/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=0
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314731188 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30139/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301781 s]
/proc/loadavg: 0.85 0.97 0.98 3/65 30139
/proc/meminfo: memFree=1717168/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=0
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314731188 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30139/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701821 s]
/proc/loadavg: 0.85 0.97 0.98 3/65 30139
/proc/meminfo: memFree=1717168/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=0
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314731188 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30139/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5019 s]
/proc/loadavg: 0.85 0.97 0.98 2/67 30144
/proc/meminfo: memFree=1576224/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=0
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314731188 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30139/statm: 1339 237 197 169 0 50 0
[pid=30143] ppid=30139 vsize=170400 CPUtime=1.49
/proc/30143/stat : 30143 (SatELite_releas) R 30139 30139 30102 0 -1 4194304 39672 0 0 0 129 20 0 0 25 0 1 0 314731189 174489600 36595 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/30143/statm: 42600 36595 76 173 0 42425 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 175756
[startup+3.10106 s]
/proc/loadavg: 0.86 0.97 0.98 2/67 30144
/proc/meminfo: memFree=1563872/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=0
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314731188 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30139/statm: 1339 237 197 169 0 50 0
[pid=30143] ppid=30139 vsize=173792 CPUtime=3.08
/proc/30143/stat : 30143 (SatELite_releas) R 30139 30139 30102 0 -1 4194304 40518 0 0 0 285 23 0 0 25 0 1 0 314731189 177963008 37441 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/30143/statm: 43448 37441 76 173 0 43273 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 179148
[startup+6.30139 s]
/proc/loadavg: 0.86 0.97 0.98 2/67 30144
/proc/meminfo: memFree=1546784/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=0
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314731188 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30139/statm: 1339 237 197 169 0 50 0
[pid=30143] ppid=30139 vsize=178756 CPUtime=5.84
/proc/30143/stat : 30143 (SatELite_releas) R 30139 30139 30102 0 -1 4194304 41656 0 0 0 555 29 0 0 25 0 1 0 314731189 183046144 38579 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/30143/statm: 44689 38579 76 173 0 44514 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 184112
[startup+12.702 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 30144
/proc/meminfo: memFree=1515872/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=0
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314731188 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30139/statm: 1339 237 197 169 0 50 0
[pid=30143] ppid=30139 vsize=187892 CPUtime=12.24
/proc/30143/stat : 30143 (SatELite_releas) R 30139 30139 30102 0 -1 4194304 43696 0 0 0 1183 41 0 0 25 0 1 0 314731189 192401408 40619 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/30143/statm: 46973 40619 76 173 0 46798 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 193248
[startup+25.5013 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 30145
/proc/meminfo: memFree=1605024/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=34840 CPUtime=0.65
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 8084 0 0 0 60 5 0 0 23 0 1 0 314733672 35676160 8070 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 8710 8070 77 171 0 8537 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 40196
[startup+51.1019 s]
/proc/loadavg: 0.97 0.98 0.99 2/67 30145
/proc/meminfo: memFree=1597280/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=40116 CPUtime=26.23
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 9363 0 0 0 2615 8 0 0 25 0 1 0 314733672 41078784 9349 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 10029 9349 77 171 0 9856 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 45472
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 30145
/proc/meminfo: memFree=1587808/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=49460 CPUtime=77.41
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 11692 0 0 0 7729 12 0 0 25 0 1 0 314733672 50647040 11678 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 12365 11678 77 171 0 12192 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 54816
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 30145
/proc/meminfo: memFree=1572768/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=64628 CPUtime=137.39
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 15466 0 0 0 13723 16 0 0 25 0 1 0 314733672 66179072 15452 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 16157 15452 77 171 0 15984 0
Current children cumulated CPU time (s) 161.77
Current children cumulated vsize (KiB) 69984
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 30145
/proc/meminfo: memFree=1559392/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=77876 CPUtime=197.37
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 18773 0 0 0 19718 19 0 0 25 0 1 0 314733672 79745024 18759 1992294400 134512640 135215339 4294956240 18446744073709551615 134525138 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 19469 18759 77 171 0 19296 0
Current children cumulated CPU time (s) 221.75
Current children cumulated vsize (KiB) 83232
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 30145
/proc/meminfo: memFree=1546336/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=90812 CPUtime=257.36
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 22032 0 0 0 25713 23 0 0 25 0 1 0 314733672 92991488 22018 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 22703 22018 77 171 0 22530 0
Current children cumulated CPU time (s) 281.74
Current children cumulated vsize (KiB) 96168
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 30145
/proc/meminfo: memFree=1532192/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=105216 CPUtime=317.34
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 25591 0 0 0 31708 26 0 0 25 0 1 0 314733672 107741184 25577 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 26304 25577 77 171 0 26131 0
Current children cumulated CPU time (s) 341.72
Current children cumulated vsize (KiB) 110572
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 30145
/proc/meminfo: memFree=1517216/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=120132 CPUtime=377.33
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 29323 0 0 0 37703 30 0 0 25 0 1 0 314733672 123015168 29309 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 30033 29309 77 171 0 29860 0
Current children cumulated CPU time (s) 401.71
Current children cumulated vsize (KiB) 125488
[startup+462.301 s]
################
# More data... #
################
/proc/30145/statm: 413207 411308 77 171 0 413034 0
Current children cumulated CPU time (s) 5500.36
Current children cumulated vsize (KiB) 1658184
[startup+5562.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30635
/proc/meminfo: memFree=15328/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=1671596 CPUtime=5535.96
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 415998 0 0 0 553210 386 0 0 25 0 1 0 314733672 1711714304 415984 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 417899 415984 77 171 0 417726 0
Current children cumulated CPU time (s) 5560.34
Current children cumulated vsize (KiB) 1676952
[startup+5622.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30635
/proc/meminfo: memFree=15520/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=1684928 CPUtime=5595.95
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 419326 0 0 0 559206 389 0 0 25 0 1 0 314733672 1725366272 419312 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 421232 419312 77 171 0 421059 0
Current children cumulated CPU time (s) 5620.33
Current children cumulated vsize (KiB) 1690284
[startup+5682.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30635
/proc/meminfo: memFree=14880/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=1696660 CPUtime=5655.93
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 422225 0 0 0 565201 392 0 0 25 0 1 0 314733672 1737379840 422211 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 424165 422211 77 171 0 423992 0
Current children cumulated CPU time (s) 5680.31
Current children cumulated vsize (KiB) 1702016
[startup+5742.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30635
/proc/meminfo: memFree=15904/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=1713792 CPUtime=5715.91
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 426507 0 0 0 571196 395 0 0 25 0 1 0 314733672 1754923008 426493 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 428448 426493 77 171 0 428275 0
Current children cumulated CPU time (s) 5740.29
Current children cumulated vsize (KiB) 1719148
[startup+5802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30635
/proc/meminfo: memFree=15776/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=1732692 CPUtime=5775.9
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 431227 0 0 0 577191 399 0 0 25 0 1 0 314733672 1774276608 431213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 433173 431213 77 171 0 433000 0
Current children cumulated CPU time (s) 5800.28
Current children cumulated vsize (KiB) 1738048
[startup+5862.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30635
/proc/meminfo: memFree=15648/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=1757384 CPUtime=5835.88
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 437405 0 0 0 583185 403 0 0 25 0 1 0 314733672 1799561216 437391 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 439346 437391 77 171 0 439173 0
Current children cumulated CPU time (s) 5860.26
Current children cumulated vsize (KiB) 1762740
[startup+5922.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30635
/proc/meminfo: memFree=16096/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=1773772 CPUtime=5895.87
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 441467 0 0 0 589180 407 0 0 25 0 1 0 314733672 1816342528 441453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 443443 441453 77 171 0 443270 0
Current children cumulated CPU time (s) 5920.25
Current children cumulated vsize (KiB) 1779128
[startup+5982.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30635
/proc/meminfo: memFree=15328/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=1791812 CPUtime=5955.85
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 445965 0 0 0 595172 413 0 0 25 0 1 0 314733672 1834815488 445951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 447953 445951 77 171 0 447780 0
Current children cumulated CPU time (s) 5980.23
Current children cumulated vsize (KiB) 1797168
[startup+6042.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30635
/proc/meminfo: memFree=15520/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=1818292 CPUtime=6015.84
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 452526 0 0 0 601165 419 0 0 25 0 1 0 314733672 1861931008 452512 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 454573 452512 77 171 0 454400 0
Current children cumulated CPU time (s) 6040.22
Current children cumulated vsize (KiB) 1823648
[startup+6102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30635
/proc/meminfo: memFree=15328/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=1835828 CPUtime=6075.82
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 456923 0 0 0 607158 424 0 0 25 0 1 0 314733672 1879887872 456909 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 458957 456909 77 171 0 458784 0
Current children cumulated CPU time (s) 6100.2
Current children cumulated vsize (KiB) 1841184
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+6111.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30635
/proc/meminfo: memFree=16288/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=1837920 CPUtime=6085.03
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 457423 0 0 0 608078 425 0 0 25 0 1 0 314733672 1882030080 457409 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 459480 457409 77 171 0 459307 0
Current children cumulated CPU time (s) 6109.41
Current children cumulated vsize (KiB) 1843276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+6111.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30635
/proc/meminfo: memFree=16288/2055920 swapFree=4180008/4192956
[pid=30139] ppid=30137 vsize=5356 CPUtime=24.38
/proc/30139/stat : 30139 (SatELiteGTI) S 30137 30139 30102 0 -1 4194304 336 50737 0 0 0 0 2373 65 16 0 1 0 314731188 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30139/statm: 1339 239 197 169 0 50 0
[pid=30145] ppid=30139 vsize=1837920 CPUtime=6085.03
/proc/30145/stat : 30145 (minisat_static) R 30139 30139 30102 0 -1 4194304 457423 0 0 0 608078 425 0 0 25 0 1 0 314733672 1882030080 457409 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/30145/statm: 459480 457409 77 171 0 459307 0
Current children cumulated CPU time (s) 6109.41
Current children cumulated vsize (KiB) 1843276
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30139 and gives
# childrusage.ru_utime.tv_sec=23
# childrusage.ru_utime.tv_usec=732392
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=659899
# CPU time returned by wait4() is 24.3923
# while last known CPU time is 6109.41
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 6111.52
CPU time (s): 6109.41
CPU user time (s): 6104.51
CPU system time (s): 4.9
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 1843276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.7324
system time used= 0.659899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51073
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= 13
involuntary context switches= 67
runsolver used 5.86711 second user time and 16.4605 second system time
The end
Begin job on node56 at 2009-05-21 02:50:34
IDJOB=1837274
IDBENCH=70794
IDSOLVER=674
FILE ID=node56/1837274-1242867033
PBS_JOBID= 9328544
Free space on /tmp= 102968 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837274-1242867033/watcher-1837274-1242867033 -o /tmp/evaluation-result-1837274-1242867033/solver-1837274-1242867033 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837274-1242867033.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3022ff2a7ae31b29e9b784d8e848042f
RANDOM SEED=728553288
node56.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.218
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.218
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: 1717648 kB
Buffers: 58344 kB
Cached: 227408 kB
SwapCached: 7056 kB
Active: 102376 kB
Inactive: 193056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1717648 kB
SwapTotal: 4192956 kB
SwapFree: 4180008 kB
Dirty: 21872 kB
Writeback: 0 kB
Mapped: 14452 kB
Slab: 28752 kB
Committed_AS: 972616 kB
PageTables: 1472 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 102884 MiB
End job on node56 at 2009-05-21 04:32:28