0.00/0.00 c Parsing...
0.00/0.08 c ==============================================================================
0.00/0.08 c | | ORIGINAL | LEARNT | |
0.00/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.08 c ==============================================================================
0.00/0.08 c | 0 | 95200 224450 | 28559 0 0 nan | 0.000 % |
1.19/1.28 c | 0 | 58435 174205 | -- 0 -- -- | -- | -36425/-49269
1.19/1.28 c ==============================================================================
1.19/1.28 c Result : #vars: 14053 #clauses: 58435 #literals: 174205
1.19/1.28 c CPU time: 1.25881 s
1.19/1.28 c ==============================================================================
1.28/1.35 c This is MiniSat 2.0 beta
1.28/1.35 c WARNING: for repeatability, setting FPU to use double precision
1.28/1.35 c ============================[ Problem Statistics ]=============================
1.28/1.35 c | |
1.28/1.35 c | Number of variables: 14053 |
1.28/1.35 c | Number of clauses: 58435 |
1.28/1.39 c | Parsing time: 0.04 s |
1.28/1.39 c ============================[ Search Statistics ]==============================
1.28/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.28/1.39 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.28/1.39 c ===============================================================================
1.28/1.39 c | 0 | 14053 58435 174205 | 19478 0 nan | 0.000 % |
1.34/1.53 c | 100 | 14038 58435 174205 | 19478 94 34 | 1.708 % |
1.34/1.93 c | 200 | 13813 57117 170858 | 19478 191 34 | 1.708 % |
2.28/2.31 c | 300 | 13813 57117 170858 | 19478 291 29 | 1.708 % |
2.68/2.79 c | 411 | 13813 57117 170858 | 19478 402 26 | 1.708 % |
3.08/3.18 c | 511 | 13813 57117 170858 | 19478 502 25 | 1.708 % |
3.58/3.63 c | 621 | 13813 57117 170858 | 19478 612 24 | 1.708 % |
3.78/3.83 c | 742 | 13813 57117 170858 | 19478 733 28 | 1.708 % |
3.98/4.02 c | 842 | 13813 57117 170858 | 19478 833 32 | 1.708 % |
3.98/4.09 c | 952 | 13813 57117 170858 | 19478 943 36 | 1.708 % |
4.08/4.17 c | 1073 | 13813 57117 170858 | 19478 1064 39 | 1.708 % |
4.28/4.33 c | 1206 | 13767 56905 170377 | 19478 1196 39 | 2.035 % |
4.58/4.68 c | 1307 | 13767 56905 170377 | 19478 1297 41 | 2.035 % |
4.98/5.10 c | 1418 | 13767 56905 170377 | 19478 1408 40 | 2.035 % |
5.48/5.58 c | 1540 | 13767 56905 170377 | 19478 1530 39 | 2.035 % |
6.08/6.11 c | 1673 | 13767 56905 170377 | 19478 1663 38 | 2.035 % |
6.58/6.62 c | 1819 | 13767 56905 170377 | 19478 1809 37 | 2.035 % |
7.07/7.10 c | 1920 | 13767 56905 170377 | 19478 1910 36 | 2.035 % |
7.37/7.47 c | 2031 | 13767 56905 170377 | 19478 2021 35 | 2.035 % |
7.97/8.04 c | 2153 | 13767 56905 170377 | 19478 2143 35 | 2.035 % |
8.57/8.66 c | 2286 | 13767 56905 170377 | 19478 2276 34 | 2.035 % |
9.07/9.17 c | 2433 | 13767 56905 170377 | 19478 2423 34 | 2.035 % |
9.78/9.86 c | 2596 | 13767 56905 170377 | 19478 2586 33 | 2.035 % |
10.27/10.31 c | 2696 | 13767 56905 170377 | 19478 2686 34 | 2.035 % |
10.57/10.64 c | 2807 | 13767 56905 170377 | 19478 2797 33 | 2.035 % |
10.98/11.05 c | 2928 | 13767 56905 170377 | 19478 2918 33 | 2.035 % |
11.47/11.50 c | 3062 | 13767 56905 170377 | 19478 3052 33 | 2.035 % |
11.77/11.82 c | 3208 | 13767 56905 170377 | 19478 3198 33 | 2.035 % |
12.27/12.38 c | 3369 | 13767 56905 170377 | 19478 3359 33 | 2.035 % |
12.97/13.05 c | 3546 | 13767 56905 170377 | 19478 3536 33 | 2.035 % |
13.47/13.50 c | 3647 | 13767 56905 170377 | 19478 3637 32 | 2.035 % |
13.87/13.96 c | 3758 | 13767 56905 170377 | 19478 3748 32 | 2.035 % |
14.27/14.37 c | 3879 | 13767 56905 170377 | 19478 3869 32 | 2.035 % |
14.77/14.85 c | 4013 | 13767 56905 170377 | 19478 4003 32 | 2.035 % |
15.27/15.37 c | 4159 | 13767 56905 170377 | 19478 4149 32 | 2.035 % |
15.87/15.96 c | 4319 | 13767 56905 170377 | 19478 4309 32 | 2.035 % |
16.77/16.84 c | 4496 | 13767 56905 170377 | 19478 4486 31 | 2.035 % |
17.47/17.52 c | 4689 | 13767 56905 170377 | 19478 4679 31 | 2.035 % |
17.87/18.00 c | 4790 | 13767 56905 170377 | 19478 4780 31 | 2.035 % |
18.37/18.46 c | 4902 | 13767 56905 170377 | 19478 4892 31 | 2.035 % |
18.77/18.86 c | 5024 | 13767 56905 170377 | 19478 5014 31 | 2.035 % |
19.27/19.33 c | 5157 | 13767 56905 170377 | 19478 5147 31 | 2.035 % |
19.87/19.93 c | 5303 | 13767 56905 170377 | 19478 5293 31 | 2.035 % |
20.57/20.61 c | 5463 | 13767 56905 170377 | 19478 5453 31 | 2.035 % |
21.27/21.38 c | 5639 | 13767 56905 170377 | 19478 5629 30 | 2.035 % |
22.17/22.23 c | 5833 | 13767 56905 170377 | 19478 5823 30 | 2.035 % |
23.08/23.17 c | 6045 | 13767 56905 170377 | 19478 6035 30 | 2.035 % |
23.57/23.64 c | 6146 | 13767 56905 170377 | 19478 6136 30 | 2.035 % |
24.08/24.18 c | 6257 | 13767 56905 170377 | 19478 6247 30 | 2.035 % |
24.57/24.70 c | 6378 | 13767 56905 170377 | 19478 6368 29 | 2.035 % |
25.07/25.17 c | 6511 | 13767 56905 170377 | 19478 6501 29 | 2.035 % |
25.77/25.80 c | 6658 | 13767 56905 170377 | 19478 6648 29 | 2.035 % |
26.28/26.40 c | 6818 | 13767 56905 170377 | 19478 6808 29 | 2.035 % |
26.67/26.77 c | 6995 | 13767 56905 170377 | 19478 6985 30 | 2.035 % |
27.57/27.62 c | 7188 | 13716 56688 169877 | 19478 7175 30 | 2.398 % |
28.47/28.55 c | 7400 | 13716 56688 169877 | 19478 7387 29 | 2.398 % |
29.47/29.53 c | 7633 | 13716 56688 169877 | 19478 7620 29 | 2.398 % |
29.87/29.95 c | 7733 | 13716 56688 169877 | 19478 7720 29 | 2.398 % |
30.37/30.43 c | 7845 | 13716 56688 169877 | 19478 7832 29 | 2.398 % |
30.97/31.02 c | 7966 | 13716 56688 169877 | 19478 7953 29 | 2.398 % |
31.47/31.52 c | 8100 | 13716 56688 169877 | 19478 8087 29 | 2.398 % |
32.07/32.10 c | 8246 | 13716 56688 169877 | 19478 8233 29 | 2.398 % |
32.67/32.74 c | 8406 | 13716 56688 169877 | 19478 8393 29 | 2.398 % |
33.47/33.52 c | 8583 | 13716 56688 169877 | 19478 8570 29 | 2.398 % |
34.17/34.29 c | 8777 | 13716 56688 169877 | 19478 8764 29 | 2.398 % |
35.16/35.28 c | 8991 | 13716 56688 169877 | 19478 8978 29 | 2.398 % |
36.16/36.30 c | 9224 | 13667 56476 169393 | 19478 9205 28 | 2.747 % |
37.26/37.32 c | 9481 | 13667 56476 169393 | 19478 9462 28 | 2.747 % |
37.66/37.75 c | 9582 | 13667 56476 169393 | 19478 9563 28 | 2.747 % |
38.16/38.26 c | 9692 | 13667 56476 169393 | 19478 9673 29 | 2.747 % |
38.56/38.65 c | 9813 | 13667 56476 169393 | 19478 9794 29 | 2.747 % |
39.06/39.16 c | 9948 | 13667 56476 169393 | 19478 9929 28 | 2.747 % |
39.56/39.64 c | 10094 | 13667 56476 169393 | 2147483647 10075 29 | 2.747 % |
40.16/40.22 c | 10254 | 13667 56476 169393 | 2147483647 10235 29 | 2.747 % |
40.86/40.95 c | 10431 | 13667 56476 169393 | 2147483647 10412 28 | 2.747 % |
41.46/41.59 c | 10624 | 13667 56476 169393 | 2147483647 10605 28 | 2.747 % |
42.46/42.51 c | 10836 | 13667 56476 169393 | 2147483647 10817 28 | 2.747 % |
43.46/43.53 c | 11071 | 13667 56476 169393 | 2147483647 11052 28 | 2.747 % |
44.56/44.65 c | 11327 | 13667 56476 169393 | 2147483647 11308 28 | 2.747 % |
45.75/45.84 c | 11610 | 13667 56476 169393 | 2147483647 11591 28 | 2.747 % |
46.16/46.25 c | 11711 | 13667 56476 169393 | 2147483647 11692 28 | 2.747 % |
46.55/46.66 c | 11821 | 13667 56476 169393 | 2147483647 11802 28 | 2.747 % |
46.95/47.06 c | 11942 | 13667 56476 169393 | 2147483647 11923 28 | 2.747 % |
47.45/47.51 c | 12077 | 13667 56476 169393 | 2147483647 12058 28 | 2.747 % |
47.95/48.06 c | 12224 | 13667 56476 169393 | 2147483647 12205 28 | 2.747 % |
48.55/48.62 c | 12384 | 13667 56476 169393 | 2147483647 12365 28 | 2.747 % |
49.25/49.32 c | 12560 | 13667 56476 169393 | 2147483647 12541 28 | 2.747 % |
49.85/49.98 c | 12754 | 13667 56476 169393 | 2147483647 12735 28 | 2.747 % |
50.85/50.96 c | 12966 | 13667 56476 169393 | 2147483647 12947 28 | 2.747 % |
51.85/51.97 c | 13199 | 13667 56476 169393 | 2147483647 13180 28 | 2.747 % |
52.95/53.06 c | 13455 | 13667 56476 169393 | 2147483647 13436 28 | 2.747 % |
54.25/54.30 c | 13736 | 13667 56476 169393 | 2147483647 13717 28 | 2.747 % |
55.15/55.29 c | 14047 | 13667 56476 169393 | 2147483647 14028 28 | 2.747 % |
55.55/55.65 c | 14150 | 13667 56476 169393 | 2147483647 14131 28 | 2.747 % |
56.05/56.12 c | 14262 | 13667 56476 169393 | 2147483647 14243 28 | 2.747 % |
56.45/56.50 c | 14384 | 13667 56476 169393 | 2147483647 14365 28 | 2.747 % |
56.85/56.93 c | 14518 | 13667 56476 169393 | 2147483647 14499 28 | 2.747 % |
57.45/57.57 c | 14664 | 13667 56476 169393 | 2147483647 14645 28 | 2.747 % |
58.15/58.26 c | 14825 | 13667 56476 169393 | 2147483647 14806 28 | 2.747 % |
58.95/59.04 c | 15001 | 13667 56476 169393 | 2147483647 14982 28 | 2.747 % |
59.65/59.73 c | 15194 | 13667 56476 169393 | 2147483647 15175 28 | 2.747 % |
60.45/60.51 c | 15407 | 13667 56476 169393 | 2147483647 15388 28 | 2.747 % |
60.85/60.92 c | 15640 | 13667 56476 169393 | 2147483647 15621 29 | 2.747 % |
61.75/61.84 c | 15896 | 13667 56476 169393 | 2147483647 15877 29 | 2.747 % |
63.25/63.34 c | 16178 | 13667 56476 169393 | 2147483647 16159 29 | 2.747 % |
64.45/64.52 c | 16487 | 13667 56476 169393 | 2147483647 16468 29 | 2.747 % |
65.75/65.86 c | 16826 | 13667 56476 169393 | 2147483647 16807 29 | 2.747 % |
66.25/66.35 c | 16927 | 13667 56476 169393 | 2147483647 16908 30 | 2.747 % |
66.75/66.81 c | 17038 | 13667 56476 169393 | 2147483647 17019 30 | 2.747 % |
67.24/67.34 c | 17161 | 13667 56476 169393 | 2147483647 17142 29 | 2.747 % |
67.84/67.96 c | 17294 | 13667 56476 169393 | 2147483647 17275 29 | 2.747 % |
68.44/68.59 c | 17440 | 13667 56476 169393 | 2147483647 17421 29 | 2.747 % |
69.25/69.33 c | 17600 | 13667 56476 169393 | 2147483647 17581 29 | 2.747 % |
70.04/70.12 c | 17777 | 13667 56476 169393 | 2147483647 17758 29 | 2.747 % |
70.94/71.05 c | 17971 | 13667 56476 169393 | 2147483647 17952 29 | 2.747 % |
72.04/72.13 c | 18183 | 13667 56476 169393 | 2147483647 18164 29 | 2.747 % |
73.04/73.16 c | 18416 | 13667 56476 169393 | 2147483647 18397 29 | 2.747 % |
74.34/74.44 c | 18673 | 13667 56476 169393 | 2147483647 18654 29 | 2.747 % |
75.24/75.34 c | 18954 | 13667 56476 169393 | 2147483647 18935 29 | 2.747 % |
76.74/76.82 c | 19263 | 13667 56476 169393 | 2147483647 19244 29 | 2.747 % |
78.44/78.50 c | 19602 | 13667 56476 169393 | 2147483647 19583 29 | 2.747 % |
80.24/80.34 c | 19974 | 13667 56476 169393 | 2147483647 19955 29 | 2.747 % |
80.44/80.57 c | 20074 | 13667 56476 169393 | 2147483647 20055 29 | 2.747 % |
80.94/81.03 c | 20184 | 13667 56476 169393 | 2147483647 20165 29 | 2.747 % |
81.54/81.67 c | 20305 | 13667 56476 169393 | 2147483647 20286 29 | 2.747 % |
82.14/82.21 c | 20438 | 13667 56476 169393 | 2147483647 20419 29 | 2.747 % |
82.64/82.78 c | 20586 | 13667 56476 169393 | 2147483647 20567 29 | 2.747 % |
83.34/83.45 c | 20748 | 13667 56476 169393 | 2147483647 20729 29 | 2.747 % |
84.14/84.28 c | 20925 | 13667 56476 169393 | 2147483647 20906 29 | 2.747 % |
85.24/85.34 c | 21118 | 13667 56476 169393 | 2147483647 21099 29 | 2.747 % |
86.44/86.53 c | 21331 | 13667 56476 169393 | 2147483647 21312 29 | 2.747 % |
87.74/87.89 c | 21564 | 13667 56476 169393 | 2147483647 21545 29 | 2.747 % |
88.95/89.10 c | 21821 | 13667 56476 169393 | 2147483647 21802 29 | 2.747 % |
90.34/90.49 c | 22103 | 13667 56476 169393 | 2147483647 22084 29 | 2.747 % |
91.74/91.88 c | 22413 | 13667 56476 169393 | 2147483647 22394 29 | 2.747 % |
93.24/93.38 c | 22752 | 13667 56476 169393 | 2147483647 22733 29 | 2.747 % |
95.04/95.17 c | 23125 | 13667 56476 169393 | 2147483647 23106 29 | 2.747 % |
96.84/96.99 c | 23535 | 13667 56476 169393 | 2147483647 23516 29 | 2.747 % |
97.34/97.42 c | 23637 | 13667 56476 169393 | 2147483647 23618 29 | 2.747 % |
97.84/97.92 c | 23748 | 13667 56476 169393 | 2147483647 23729 29 | 2.747 % |
98.24/98.35 c | 23869 | 13667 56476 169393 | 2147483647 23850 29 | 2.747 % |
98.74/98.83 c | 24002 | 13667 56476 169393 | 2147483647 23983 29 | 2.747 % |
99.34/99.42 c | 24148 | 13667 56476 169393 | 2147483647 24129 29 | 2.747 % |
100.04/100.16 c | 24308 | 13667 56476 169393 | 2147483647 24289 29 | 2.747 % |
100.83/100.96 c | 24484 | 13667 56476 169393 | 2147483647 24465 29 | 2.747 % |
101.63/101.77 c | 24679 | 13667 56476 169393 | 2147483647 24660 29 | 2.747 % |
102.43/102.55 c | 24891 | 13667 56476 169393 | 2147483647 24872 29 | 2.747 % |
103.53/103.65 c | 25125 | 13667 56476 169393 | 2147483647 25106 29 | 2.747 % |
104.63/104.79 c | 25382 | 13667 56476 169393 | 2147483647 25363 29 | 2.747 % |
105.93/106.10 c | 25664 | 13667 56476 169393 | 2147483647 25645 29 | 2.747 % |
107.43/107.55 c | 25974 | 13667 56476 169393 | 2147483647 25955 29 | 2.747 % |
108.84/108.95 c | 26314 | 13667 56476 169393 | 2147483647 26295 29 | 2.747 % |
110.43/110.53 c | 26686 | 13667 56476 169393 | 2147483647 26667 29 | 2.747 % |
111.93/112.03 c | 27095 | 13667 56476 169393 | 2147483647 27076 29 | 2.747 % |
113.63/113.76 c | 27544 | 13667 56476 169393 | 2147483647 27525 29 | 2.747 % |
114.03/114.18 c | 27646 | 13667 56476 169393 | 2147483647 27627 29 | 2.747 % |
114.53/114.68 c | 27757 | 13667 56476 169393 | 2147483647 27738 29 | 2.747 % |
115.03/115.13 c | 27879 | 13667 56476 169393 | 2147483647 27860 29 | 2.747 % |
115.63/115.76 c | 28013 | 13667 56476 169393 | 2147483647 27994 29 | 2.747 % |
116.13/116.24 c | 28160 | 13667 56476 169393 | 2147483647 28141 29 | 2.747 % |
116.73/116.85 c | 28321 | 13667 56476 169393 | 2147483647 28302 29 | 2.747 % |
117.33/117.46 c | 28497 | 13667 56476 169393 | 2147483647 28478 29 | 2.747 % |
118.33/118.40 c | 28691 | 13667 56476 169393 | 2147483647 28672 29 | 2.747 % |
118.93/119.08 c | 28905 | 13667 56476 169393 | 2147483647 28886 29 | 2.747 % |
120.23/120.39 c | 29139 | 13667 56476 169393 | 2147483647 29120 29 | 2.747 % |
121.53/121.65 c | 29395 | 13667 56476 169393 | 2147483647 29376 29 | 2.747 % |
122.83/122.93 c | 29677 | 13667 56476 169393 | 2147483647 29658 29 | 2.747 % |
124.13/124.22 c | 29986 | 13667 56476 169393 | 2147483647 29967 29 | 2.747 % |
125.63/125.70 c | 30325 | 13667 56476 169393 | 2147483647 30306 29 | 2.747 % |
126.92/127.03 c | 30697 | 13667 56476 169393 | 2147483647 30678 29 | 2.747 % |
129.12/129.21 c | 31107 | 13667 56476 169393 | 2147483647 31088 29 | 2.747 % |
131.22/131.36 c | 31556 | 13667 56476 169393 | 2147483647 31537 29 | 2.747 % |
133.92/134.06 c | 32050 | 13667 56476 169393 | 2147483647 32031 29 | 2.747 % |
134.22/134.33 c | 32151 | 13667 56476 169393 | 2147483647 32132 29 | 2.747 % |
134.52/134.65 c | 32262 | 13667 56476 169393 | 2147483647 32243 29 | 2.747 % |
134.72/134.86 c | 32383 | 13667 56476 169393 | 2147483647 32364 30 | 2.747 % |
135.42/135.55 c | 32516 | 13667 56476 169393 | 2147483647 32497 30 | 2.747 % |
136.22/136.36 c | 32662 | 13667 56476 169393 | 2147483647 32643 29 | 2.747 % |
137.12/137.28 c | 32822 | 13667 56476 169393 | 2147483647 32803 29 | 2.747 % |
137.82/137.98 c | 32999 | 13667 56476 169393 | 2147483647 32980 29 | 2.747 % |
138.92/139.04 c | 33192 | 13667 56476 169393 | 2147483647 33173 30 | 2.747 % |
139.92/140.08 c | 33404 | 13667 56476 169393 | 2147483647 33385 30 | 2.747 % |
141.32/141.44 c | 33638 | 13667 56476 169393 | 2147483647 33619 29 | 2.747 % |
142.52/142.64 c | 33895 | 13667 56476 169393 | 2147483647 33876 29 | 2.747 % |
144.11/144.23 c | 34176 | 13667 56476 169393 | 2147483647 34157 29 | 2.747 % |
145.51/145.63 c | 34485 | 13667 56476 169393 | 2147483647 34466 29 | 2.747 % |
147.32/147.45 c | 34824 | 13667 56476 169393 | 2147483647 34805 29 | 2.747 % |
149.11/149.26 c | 35196 | 13667 56476 169393 | 2147483647 35177 29 | 2.747 % |
150.82/150.99 c | 35608 | 13667 56476 169393 | 2147483647 35589 30 | 2.747 % |
153.22/153.39 c | 36059 | 13667 56476 169393 | 2147483647 36040 30 | 2.747 % |
155.22/155.34 c | 36552 | 13667 56476 169393 | 2147483647 36533 30 | 2.747 % |
157.72/157.82 c | 37094 | 13667 56476 169393 | 2147483647 37075 30 | 2.747 % |
158.12/158.25 c | 37194 | 13667 56476 169393 | 2147483647 37175 30 | 2.747 % |
158.52/158.61 c | 37306 | 13667 56476 169393 | 2147483647 37287 30 | 2.747 % |
159.12/159.27 c | 37427 | 13667 56476 169393 | 2147483647 37408 30 | 2.747 % |
159.82/159.91 c | 37560 | 13667 56476 169393 | 2147483647 37541 30 | 2.747 % |
160.62/160.79 c | 37706 | 13667 56476 169393 | 2147483647 37687 30 | 2.747 % |
161.52/161.61 c | 37867 | 13667 56476 169393 | 2147483647 37848 30 | 2.747 % |
162.42/162.55 c | 38045 | 13667 56476 169393 | 2147483647 38026 30 | 2.747 % |
163.41/163.56 c | 38238 | 13667 56476 169393 | 2147483647 38219 30 | 2.747 % |
164.71/164.80 c | 38450 | 13667 56476 169393 | 2147483647 38431 30 | 2.747 % |
165.92/166.07 c | 38683 | 13667 56476 169393 | 2147483647 38664 30 | 2.747 % |
167.31/167.42 c | 38940 | 13667 56476 169393 | 2147483647 38921 30 | 2.747 % |
168.91/169.03 c | 39222 | 13667 56476 169393 | 2147483647 39203 30 | 2.747 % |
170.51/170.67 c | 39532 | 13667 56476 169393 | 2147483647 39513 30 | 2.747 % |
172.41/172.60 c | 39871 | 13667 56476 169393 | 2147483647 39852 30 | 2.747 % |
174.71/174.86 c | 40244 | 13667 56476 169393 | 2147483647 40225 30 | 2.747 % |
177.11/177.28 c | 40653 | 13667 56476 169393 | 2147483647 40634 29 | 2.747 % |
179.61/179.75 c | 41105 | 13667 56476 169393 | 2147483647 41086 29 | 2.747 % |
182.20/182.33 c | 41599 | 13667 56476 169393 | 2147483647 41580 30 | 2.747 % |
185.30/185.48 c | 42141 | 13667 56476 169393 | 2147483647 42122 29 | 2.747 % |
188.80/188.93 c | 42737 | 13667 56476 169393 | 2147483647 42718 29 | 2.747 % |
189.40/189.54 c | 42837 | 13667 56476 169393 | 2147483647 42818 29 | 2.747 % |
189.70/189.83 c | 42947 | 13667 56476 169393 | 2147483647 42928 30 | 2.747 % |
190.21/190.31 c | 43068 | 13667 56476 169393 | 2147483647 43049 30 | 2.747 % |
190.90/191.04 c | 43202 | 13667 56476 169393 | 2147483647 43183 30 | 2.747 % |
191.31/191.49 c | 43349 | 13667 56476 169393 | 2147483647 43330 30 | 2.747 % |
192.10/192.29 c | 43510 | 13667 56476 169393 | 2147483647 43491 30 | 2.747 % |
192.90/193.02 c | 43687 | 13667 56476 169393 | 2147483647 43668 30 | 2.747 % |
194.00/194.11 c | 43881 | 13667 56476 169393 | 2147483647 43862 30 | 2.747 % |
195.10/195.23 c | 44094 | 13667 56476 169393 | 2147483647 44075 30 | 2.747 % |
196.40/196.54 c | 44327 | 13667 56476 169393 | 2147483647 44308 30 | 2.747 % |
197.60/197.80 c | 44585 | 13667 56476 169393 | 2147483647 44566 30 | 2.747 % |
199.30/199.46 c | 44866 | 13667 56476 169393 | 2147483647 44847 30 | 2.747 % |
201.00/201.15 c | 45176 | 13667 56476 169393 | 2147483647 45157 30 | 2.747 % |
202.70/202.87 c | 45516 | 13667 56476 169393 | 2147483647 45497 30 | 2.747 % |
204.50/204.61 c | 45888 | 13667 56476 169393 | 2147483647 45869 30 | 2.747 % |
206.60/206.76 c | 46299 | 13667 56476 169393 | 2147483647 46280 30 | 2.747 % |
207.99/208.12 c | 46748 | 13667 56476 169393 | 2147483647 46729 30 | 2.747 % |
210.59/210.76 c | 47242 | 13667 56476 169393 | 2147483647 47223 30 | 2.747 % |
213.09/213.30 c | 47784 | 13667 56476 169393 | 2147483647 47765 30 | 2.747 % |
216.79/216.96 c | 48381 | 13667 56476 169393 | 2147483647 48362 30 | 2.747 % |
220.48/220.69 c | 49037 | 13667 56476 169393 | 2147483647 49018 30 | 2.747 % |
221.18/221.33 c | 49137 | 13667 56476 169393 | 2147483647 49118 30 | 2.747 % |
221.78/221.92 c | 49247 | 13667 56476 169393 | 2147483647 49228 30 | 2.747 % |
222.38/222.57 c | 49368 | 13667 56476 169393 | 2147483647 49349 30 | 2.747 % |
222.98/223.18 c | 49502 | 13667 56476 169393 | 2147483647 49483 30 | 2.747 % |
223.98/224.11 c | 49648 | 13667 56476 169393 | 2147483647 49629 30 | 2.747 % |
225.08/225.20 c | 49809 | 13667 56476 169393 | 2147483647 49790 30 | 2.747 % |
226.28/226.47 c | 49987 | 13667 56476 169393 | 2147483647 49968 30 | 2.747 % |
227.28/227.44 c | 50181 | 13667 56476 169393 | 2147483647 50162 30 | 2.747 % |
228.38/228.59 c | 50393 | 13667 56476 169393 | 2147483647 50374 30 | 2.747 % |
229.69/229.86 c | 50627 | 13667 56476 169393 | 2147483647 50608 30 | 2.747 % |
231.08/231.29 c | 50883 | 13667 56476 169393 | 2147483647 50864 30 | 2.747 % |
232.68/232.86 c | 51165 | 13667 56476 169393 | 2147483647 51146 30 | 2.747 % |
234.58/234.70 c | 51474 | 13667 56476 169393 | 2147483647 51455 30 | 2.747 % |
236.28/236.42 c | 51813 | 13667 56476 169393 | 2147483647 51794 30 | 2.747 % |
238.38/238.54 c | 52185 | 13667 56476 169393 | 2147483647 52166 30 | 2.747 % |
240.87/241.08 c | 52595 | 13667 56476 169393 | 2147483647 52576 30 | 2.747 % |
243.07/243.20 c | 53044 | 13667 56476 169393 | 2147483647 53025 30 | 2.747 % |
245.87/246.02 c | 53538 | 13667 56476 169393 | 2147483647 53519 30 | 2.747 % |
249.07/249.29 c | 54081 | 13667 56476 169393 | 2147483647 54062 30 | 2.747 % |
252.68/252.85 c | 54678 | 13667 56476 169393 | 2147483647 54659 30 | 2.747 % |
256.38/256.59 c | 55334 | 13667 56476 169393 | 2147483647 55315 30 | 2.747 % |
260.48/260.62 c | 56055 | 13667 56476 169393 | 2147483647 56036 30 | 2.747 % |
261.07/261.29 c | 56157 | 13667 56476 169393 | 2147483647 56138 30 | 2.747 % |
261.87/262.02 c | 56267 | 13667 56476 169393 | 2147483647 56248 30 | 2.747 % |
262.68/262.82 c | 56389 | 13667 56476 169393 | 2147483647 56370 30 | 2.747 % |
263.47/263.62 c | 56523 | 13667 56476 169393 | 2147483647 56504 30 | 2.747 % |
264.17/264.35 c | 56669 | 13667 56476 169393 | 2147483647 56650 30 | 2.747 % |
265.07/265.25 c | 56830 | 13667 56476 169393 | 2147483647 56811 30 | 2.747 % |
265.87/266.06 c | 57006 | 13667 56476 169393 | 2147483647 56987 30 | 2.747 % |
267.07/267.25 c | 57199 | 13667 56476 169393 | 2147483647 57180 30 | 2.747 % |
268.37/268.59 c | 57411 | 13667 56476 169393 | 2147483647 57392 30 | 2.747 % |
269.77/269.96 c | 57644 | 13667 56476 169393 | 2147483647 57625 30 | 2.747 % |
270.97/271.15 c | 57900 | 13667 56476 169393 | 2147483647 57881 30 | 2.747 % |
272.67/272.81 c | 58181 | 13667 56476 169393 | 2147483647 58162 30 | 2.747 % |
274.27/274.42 c | 58492 | 13667 56476 169393 | 2147483647 58473 30 | 2.747 % |
275.27/275.42 c | 58831 | 13667 56476 169393 | 2147483647 58812 30 | 2.747 % |
277.47/277.66 c | 59205 | 13667 56476 169393 | 2147483647 59186 30 | 2.747 % |
279.77/279.94 c | 59615 | 13667 56476 169393 | 2147483647 59596 30 | 2.747 % |
282.36/282.59 c | 60064 | 13667 56476 169393 | 2147483647 60045 31 | 2.747 % |
284.76/284.92 c | 60558 | 13667 56476 169393 | 2147483647 60539 31 | 2.747 % |
288.36/288.51 c | 61100 | 13667 56476 169393 | 2147483647 61081 31 | 2.747 % |
291.76/291.93 c | 61696 | 13667 56476 169393 | 2147483647 61677 31 | 2.747 % |
295.66/295.89 c | 62352 | 13667 56476 169393 | 2147483647 62333 31 | 2.747 % |
299.85/300.07 c | 63073 | 13667 56476 169393 | 2147483647 63054 31 | 2.747 % |
304.56/304.75 c | 63865 | 13667 56476 169393 | 2147483647 63846 31 | 2.747 % |
305.05/305.24 c | 63966 | 13667 56476 169393 | 2147483647 63947 31 | 2.747 % |
305.75/305.95 c | 64076 | 13667 56476 169393 | 2147483647 64057 31 | 2.747 % |
306.55/306.77 c | 64198 | 13667 56476 169393 | 2147483647 64179 31 | 2.747 % |
307.25/307.40 c | 64331 | 13667 56476 169393 | 2147483647 64312 31 | 2.747 % |
308.15/308.35 c | 64480 | 13667 56476 169393 | 2147483647 64461 31 | 2.747 % |
309.05/309.28 c | 64642 | 13667 56476 169393 | 2147483647 64623 31 | 2.747 % |
310.15/310.33 c | 64819 | 13667 56476 169393 | 2147483647 64800 31 | 2.747 % |
311.15/311.32 c | 65012 | 13667 56476 169393 | 2147483647 64993 31 | 2.747 % |
312.35/312.58 c | 65224 | 13667 56476 169393 | 2147483647 65205 31 | 2.747 % |
313.95/314.10 c | 65458 | 13667 56476 169393 | 2147483647 65439 31 | 2.747 % |
315.45/315.66 c | 65715 | 13667 56476 169393 | 2147483647 65696 31 | 2.747 % |
317.05/317.28 c | 65996 | 13667 56476 169393 | 2147483647 65977 31 | 2.747 % |
318.94/319.12 c | 66305 | 13667 56476 169393 | 2147483647 66286 31 | 2.747 % |
320.74/320.91 c | 66644 | 13667 56476 169393 | 2147483647 66625 31 | 2.747 % |
322.54/322.76 c | 67016 | 13667 56476 169393 | 2147483647 66997 31 | 2.747 % |
325.44/325.69 c | 67425 | 13667 56476 169393 | 2147483647 67406 31 | 2.747 % |
327.84/328.07 c | 67875 | 13667 56476 169393 | 2147483647 67856 31 | 2.747 % |
331.04/331.22 c | 68368 | 13667 56476 169393 | 2147483647 68349 31 | 2.747 % |
334.64/334.82 c | 68911 | 13667 56476 169393 | 2147483647 68892 31 | 2.747 % |
337.93/338.19 c | 69507 | 13667 56476 169393 | 2147483647 69488 31 | 2.747 % |
342.73/342.90 c | 70163 | 13667 56476 169393 | 2147483647 70144 31 | 2.747 % |
346.63/346.80 c | 70885 | 13667 56476 169393 | 2147483647 70866 31 | 2.747 % |
351.43/351.60 c | 71678 | 13667 56476 169393 | 2147483647 71659 31 | 2.747 % |
356.53/356.72 c | 72549 | 13667 56476 169393 | 2147483647 72530 31 | 2.747 % |
357.13/357.34 c | 72649 | 13667 56476 169393 | 2147483647 72630 31 | 2.747 % |
357.83/358.05 c | 72760 | 13667 56476 169393 | 2147483647 72741 31 | 2.747 % |
358.73/358.94 c | 72882 | 13667 56476 169393 | 2147483647 72863 31 | 2.747 % |
359.53/359.79 c | 73015 | 13667 56476 169393 | 2147483647 72996 31 | 2.747 % |
360.53/360.80 c | 73161 | 13667 56476 169393 | 2147483647 73142 31 | 2.747 % |
361.73/361.92 c | 73322 | 13667 56476 169393 | 2147483647 73303 31 | 2.747 % |
362.92/363.16 c | 73499 | 13667 56476 169393 | 2147483647 73480 31 | 2.747 % |
364.22/364.48 c | 73693 | 13667 56476 169393 | 2147483647 73674 31 | 2.747 % |
365.72/365.97 c | 73905 | 13667 56476 169393 | 2147483647 73886 31 | 2.747 % |
367.52/367.71 c | 74138 | 13667 56476 169393 | 2147483647 74119 31 | 2.747 % |
369.12/369.32 c | 74394 | 13667 56476 169393 | 2147483647 74375 31 | 2.747 % |
370.82/371.06 c | 74676 | 13667 56476 169393 | 2147483647 74657 31 | 2.747 % |
372.82/373.08 c | 74987 | 13667 56476 169393 | 2147483647 74968 31 | 2.747 % |
375.32/375.56 c | 75327 | 13667 56476 169393 | 2147483647 75308 31 | 2.747 % |
378.12/378.31 c | 75699 | 13667 56476 169393 | 2147483647 75680 31 | 2.747 % |
379.71/379.91 c | 76108 | 13667 56476 169393 | 2147483647 76089 31 | 2.747 % |
382.31/382.57 c | 76557 | 13667 56476 169393 | 2147483647 76538 31 | 2.747 % |
385.71/385.94 c | 77051 | 13667 56476 169393 | 2147483647 77032 31 | 2.747 % |
389.21/389.49 c | 77595 | 13667 56476 169393 | 2147483647 77576 31 | 2.747 % |
393.52/393.76 c | 78193 | 13667 56476 169393 | 2147483647 78174 31 | 2.747 % |
398.31/398.53 c | 78848 | 13667 56476 169393 | 2147483647 78829 31 | 2.747 % |
403.31/403.55 c | 79569 | 13667 56476 169393 | 2147483647 79550 31 | 2.747 % |
408.71/408.98 c | 80361 | 13667 56476 169393 | 2147483647 80342 31 | 2.747 % |
413.71/413.90 c | 81232 | 13667 56476 169393 | 2147483647 81213 31 | 2.747 % |
420.01/420.27 c | 82190 | 13667 56476 169393 | 2147483647 82171 31 | 2.747 % |
420.70/420.95 c | 82290 | 13667 56476 169393 | 2147483647 82271 31 | 2.747 % |
421.30/421.54 c | 82400 | 13667 56476 169393 | 2147483647 82381 31 | 2.747 % |
422.11/422.39 c | 82522 | 13667 56476 169393 | 2147483647 82503 31 | 2.747 % |
423.10/423.37 c | 82657 | 13667 56476 169393 | 2147483647 82638 31 | 2.747 % |
424.00/424.24 c | 82803 | 13667 56476 169393 | 2147483647 82784 31 | 2.747 % |
425.00/425.27 c | 82963 | 13667 56476 169393 | 2147483647 82944 31 | 2.747 % |
426.20/426.50 c | 83139 | 13667 56476 169393 | 2147483647 83120 31 | 2.747 % |
427.60/427.86 c | 83332 | 13667 56476 169393 | 2147483647 83313 31 | 2.747 % |
428.90/429.18 c | 83546 | 13667 56476 169393 | 2147483647 83527 31 | 2.747 % |
430.70/430.94 c | 83780 | 13667 56476 169393 | 2147483647 83761 31 | 2.747 % |
432.10/432.36 c | 84036 | 13667 56476 169393 | 2147483647 84017 31 | 2.747 % |
433.99/434.26 c | 84318 | 13667 56476 169393 | 2147483647 84299 31 | 2.747 % |
436.09/436.31 c | 84628 | 13667 56476 169393 | 2147483647 84609 31 | 2.747 % |
437.89/438.19 c | 84968 | 13667 56476 169393 | 2147483647 84949 31 | 2.747 % |
440.39/440.69 c | 85341 | 13667 56476 169393 | 2147483647 85322 31 | 2.747 % |
442.69/442.95 c | 85750 | 13667 56476 169393 | 2147483647 85731 31 | 2.747 % |
445.59/445.87 c | 86200 | 13667 56476 169393 | 2147483647 86181 31 | 2.747 % |
448.69/448.93 c | 86694 | 13667 56476 169393 | 2147483647 86675 31 | 2.747 % |
452.09/452.31 c | 87236 | 13667 56476 169393 | 2147483647 87217 31 | 2.747 % |
455.88/456.19 c | 87832 | 13667 56476 169393 | 2147483647 87813 31 | 2.747 % |
460.98/461.28 c | 88487 | 13667 56476 169393 | 2147483647 88468 31 | 2.747 % |
466.08/466.39 c | 89208 | 13667 56476 169393 | 2147483647 89189 31 | 2.747 % |
470.08/470.37 c | 90001 | 13667 56476 169393 | 2147483647 89982 31 | 2.747 % |
475.28/475.52 c | 90874 | 13667 56476 169393 | 2147483647 90855 31 | 2.747 % |
482.17/482.46 c | 91832 | 13667 56476 169393 | 2147483647 91813 31 | 2.747 % |
489.27/489.52 c | 92885 | 13667 56476 169393 | 2147483647 92866 31 | 2.747 % |
489.97/490.28 c | 92986 | 13667 56476 169393 | 2147483647 92967 31 | 2.747 % |
490.87/491.17 c | 93096 | 13667 56476 169393 | 2147483647 93077 31 | 2.747 % |
491.77/492.01 c | 93219 | 13667 56476 169393 | 2147483647 93200 31 | 2.747 % |
492.67/492.91 c | 93352 | 13667 56476 169393 | 2147483647 93333 31 | 2.747 % |
493.97/494.20 c | 93499 | 13667 56476 169393 | 2147483647 93480 31 | 2.747 % |
495.07/495.35 c | 93660 | 13667 56476 169393 | 2147483647 93641 31 | 2.747 % |
496.27/496.59 c | 93836 | 13667 56476 169393 | 2147483647 93817 31 | 2.747 % |
497.67/497.95 c | 94030 | 13667 56476 169393 | 2147483647 94011 31 | 2.747 % |
499.37/499.61 c | 94242 | 13667 56476 169393 | 2147483647 94223 31 | 2.747 % |
500.87/501.13 c | 94475 | 13667 56476 169393 | 2147483647 94456 31 | 2.747 % |
502.77/503.06 c | 94733 | 13667 56476 169393 | 2147483647 94714 31 | 2.747 % |
504.77/505.00 c | 95015 | 13667 56476 169393 | 2147483647 94996 31 | 2.747 % |
507.07/507.36 c | 95324 | 13667 56476 169393 | 2147483647 95305 31 | 2.747 % |
509.67/509.92 c | 95664 | 13667 56476 169393 | 2147483647 95645 31 | 2.747 % |
512.27/512.53 c | 96037 | 13667 56476 169393 | 2147483647 96018 31 | 2.747 % |
515.36/515.61 c | 96446 | 13667 56476 169393 | 2147483647 96427 31 | 2.747 % |
518.56/518.80 c | 96896 | 13667 56476 169393 | 2147483647 96877 31 | 2.747 % |
522.16/522.41 c | 97389 | 13667 56476 169393 | 2147483647 97370 31 | 2.747 % |
526.16/526.49 c | 97933 | 13667 56476 169393 | 2147483647 97914 31 | 2.747 % |
530.36/530.68 c | 98529 | 13667 56476 169393 | 2147483647 98510 31 | 2.747 % |
534.65/534.96 c | 99184 | 13667 56476 169393 | 2147483647 99165 31 | 2.747 % |
539.76/540.06 c | 99904 | 13667 56476 169393 | 2147483647 99885 31 | 2.747 % |
545.65/545.96 c | 100697 | 13667 56476 169393 | 2147483647 100678 31 | 2.747 % |
552.25/552.51 c | 101569 | 13667 56476 169393 | 2147483647 101550 31 | 2.747 % |
559.35/559.69 c | 102527 | 13667 56476 169393 | 2147483647 102508 31 | 2.747 % |
567.64/567.92 c | 103581 | 13667 56476 169393 | 2147483647 103562 31 | 2.747 % |
576.03/576.39 c | 104740 | 13667 56476 169393 | 2147483647 104721 31 | 2.747 % |
576.53/576.82 c | 104840 | 13667 56476 169393 | 2147483647 104821 31 | 2.747 % |
577.23/577.59 c | 104950 | 13667 56476 169393 | 2147483647 104931 31 | 2.747 % |
578.13/578.43 c | 105072 | 13667 56476 169393 | 2147483647 105053 31 | 2.747 % |
579.13/579.40 c | 105205 | 13667 56476 169393 | 2147483647 105186 31 | 2.747 % |
580.33/580.69 c | 105351 | 13667 56476 169393 | 2147483647 105332 31 | 2.747 % |
581.63/581.91 c | 105513 | 13667 56476 169393 | 2147483647 105494 31 | 2.747 % |
583.02/583.36 c | 105689 | 13667 56476 169393 | 2147483647 105670 31 | 2.747 % |
584.62/584.91 c | 105882 | 13667 56476 169393 | 2147483647 105863 31 | 2.747 % |
586.32/586.70 c | 106094 | 13667 56476 169393 | 2147483647 106075 31 | 2.747 % |
588.23/588.58 c | 106328 | 13667 56476 169393 | 2147483647 106309 31 | 2.747 % |
590.33/590.64 c | 106585 | 13667 56476 169393 | 2147483647 106566 31 | 2.747 % |
592.53/592.89 c | 106867 | 13667 56476 169393 | 2147483647 106848 31 | 2.747 % |
595.02/595.39 c | 107176 | 13667 56476 169393 | 2147483647 107157 31 | 2.747 % |
597.73/598.07 c | 107515 | 13667 56476 169393 | 2147483647 107496 31 | 2.747 % |
600.83/601.13 c | 107887 | 13667 56476 169393 | 2147483647 107868 31 | 2.747 % |
603.73/604.08 c | 108297 | 13667 56476 169393 | 2147483647 108278 31 | 2.747 % |
607.62/607.93 c | 108746 | 13667 56476 169393 | 2147483647 108727 31 | 2.747 % |
611.12/611.45 c | 109239 | 13667 56476 169393 | 2147483647 109220 31 | 2.747 % |
613.42/613.71 c | 109781 | 13667 56476 169393 | 2147483647 109762 31 | 2.747 % |
616.32/616.61 c | 110377 | 13667 56476 169393 | 2147483647 110358 31 | 2.747 % |
619.32/619.61 c | 111033 | 13667 56476 169393 | 2147483647 111014 31 | 2.747 % |
624.52/624.82 c | 111754 | 13667 56476 169393 | 2147483647 111735 31 | 2.747 % |
630.31/630.62 c | 112546 | 13667 56476 169393 | 2147483647 112527 31 | 2.747 % |
636.81/637.13 c | 113418 | 13667 56476 169393 | 2147483647 113399 31 | 2.747 % |
644.01/644.38 c | 114377 | 13667 56476 169393 | 2147483647 114358 31 | 2.747 % |
652.60/652.95 c | 115431 | 13667 56476 169393 | 2147483647 115412 31 | 2.747 % |
661.70/662.06 c | 116589 | 13667 56476 169393 | 2147483647 116570 31 | 2.747 % |
670.70/671.06 c | 117862 | 13667 56476 169393 | 2147483647 117843 31 | 2.747 % |
671.49/671.87 c | 117962 | 13667 56476 169393 | 2147483647 117943 31 | 2.747 % |
672.39/672.72 c | 118072 | 13667 56476 169393 | 2147483647 118053 31 | 2.747 % |
673.29/673.64 c | 118194 | 13667 56476 169393 | 2147483647 118175 31 | 2.747 % |
674.29/674.69 c | 118327 | 13667 56476 169393 | 2147483647 118308 31 | 2.747 % |
674.69/675.08 c | 118473 | 13667 56476 169393 | 2147483647 118454 31 | 2.747 % |
675.79/676.11 c | 118633 | 13667 56476 169393 | 2147483647 118614 31 | 2.747 % |
677.20/677.53 c | 118809 | 13667 56476 169393 | 2147483647 118790 31 | 2.747 % |
678.60/678.91 c | 119002 | 13667 56476 169393 | 2147483647 118983 31 | 2.747 % |
680.40/680.75 c | 119214 | 13667 56476 169393 | 2147483647 119195 31 | 2.747 % |
682.00/682.30 c | 119448 | 13667 56476 169393 | 2147483647 119429 31 | 2.747 % |
683.50/683.86 c | 119705 | 13667 56476 169393 | 2147483647 119686 31 | 2.747 % |
685.79/686.15 c | 119987 | 13667 56476 169393 | 2147483647 119968 31 | 2.747 % |
687.79/688.19 c | 120297 | 13667 56476 169393 | 2147483647 120278 31 | 2.747 % |
690.09/690.41 c | 120637 | 13667 56476 169393 | 2147483647 120618 31 | 2.747 % |
693.09/693.49 c | 121009 | 13667 56476 169393 | 2147483647 120990 31 | 2.747 % |
696.49/696.83 c | 121418 | 13667 56476 169393 | 2147483647 121399 31 | 2.747 % |
700.19/700.56 c | 121868 | 13667 56476 169393 | 2147483647 121849 31 | 2.747 % |
703.99/704.39 c | 122361 | 13667 56476 169393 | 2147483647 122342 31 | 2.747 % |
708.28/708.65 c | 122903 | 13667 56476 169393 | 2147483647 122884 31 | 2.747 % |
713.18/713.58 c | 123500 | 13667 56476 169393 | 2147483647 123481 31 | 2.747 % |
718.58/718.98 c | 124155 | 13667 56476 169393 | 2147483647 124136 31 | 2.747 % |
724.88/725.28 c | 124875 | 13667 56476 169393 | 2147483647 124856 31 | 2.747 % |
730.68/731.04 c | 125668 | 13667 56476 169393 | 2147483647 125649 31 | 2.747 % |
736.97/737.37 c | 126539 | 13667 56476 169393 | 2147483647 126520 31 | 2.747 % |
745.17/745.55 c | 127498 | 13667 56476 169393 | 2147483647 127479 31 | 2.747 % |
753.36/753.77 c | 128553 | 13667 56476 169393 | 2147483647 128534 31 | 2.747 % |
763.06/763.46 c | 129711 | 13667 56476 169393 | 2147483647 129692 31 | 2.747 % |
772.86/773.26 c | 130985 | 13667 56476 169393 | 2147483647 130966 31 | 2.747 % |
783.65/784.09 c | 132385 | 13667 56476 169393 | 2147483647 132366 30 | 2.747 % |
784.55/784.93 c | 132485 | 13667 56476 169393 | 2147483647 132466 30 | 2.747 % |
785.45/785.85 c | 132596 | 13667 56476 169393 | 2147483647 132577 30 | 2.747 % |
786.65/787.00 c | 132718 | 13667 56476 169393 | 2147483647 132699 30 | 2.747 % |
787.85/788.21 c | 132852 | 13667 56476 169393 | 2147483647 132833 30 | 2.747 % |
789.15/789.52 c | 132998 | 13667 56476 169393 | 2147483647 132979 30 | 2.747 % |
790.45/790.87 c | 133159 | 13667 56476 169393 | 2147483647 133140 30 | 2.747 % |
791.94/792.34 c | 133336 | 13667 56476 169393 | 2147483647 133317 30 | 2.747 % |
793.75/794.12 c | 133529 | 13667 56476 169393 | 2147483647 133510 30 | 2.747 % |
794.95/795.34 c | 133741 | 13667 56476 169393 | 2147483647 133722 30 | 2.747 % |
796.34/796.79 c | 133974 | 13667 56476 169393 | 2147483647 133955 30 | 2.747 % |
798.54/798.93 c | 134232 | 13667 56476 169393 | 2147483647 134213 30 | 2.747 % |
799.94/800.32 c | 134513 | 13667 56476 169393 | 2147483647 134494 31 | 2.747 % |
802.94/803.39 c | 134823 | 13667 56476 169393 | 2147483647 134804 31 | 2.747 % |
806.04/806.48 c | 135164 | 13667 56476 169393 | 2147483647 135145 31 | 2.747 % |
809.14/809.58 c | 135537 | 13667 56476 169393 | 2147483647 135518 31 | 2.747 % |
812.73/813.19 c | 135946 | 13667 56476 169393 | 2147483647 135927 31 | 2.747 % |
816.53/816.99 c | 136395 | 13667 56476 169393 | 2147483647 136376 31 | 2.747 % |
821.03/821.45 c | 136888 | 13667 56476 169393 | 2147483647 136869 31 | 2.747 % |
825.83/826.26 c | 137430 | 13667 56476 169393 | 2147483647 137411 31 | 2.747 % |
830.23/830.66 c | 138026 | 13667 56476 169393 | 2147483647 138007 31 | 2.747 % |
836.43/836.84 c | 138681 | 13667 56476 169393 | 2147483647 138662 31 | 2.747 % |
842.92/843.35 c | 139401 | 13667 56476 169393 | 2147483647 139382 31 | 2.747 % |
849.83/850.21 c | 140193 | 13667 56476 169393 | 2147483647 140174 31 | 2.747 % |
857.02/857.43 c | 141064 | 13667 56476 169393 | 2147483647 141045 31 | 2.747 % |
865.71/866.10 c | 142022 | 13667 56476 169393 | 2147483647 142003 31 | 2.747 % |
874.11/874.56 c | 143076 | 13667 56476 169393 | 2147483647 143057 31 | 2.747 % |
884.41/884.82 c | 144235 | 13667 56476 169393 | 2147483647 144216 31 | 2.747 % |
895.70/896.17 c | 145508 | 13667 56476 169393 | 2147483647 145489 30 | 2.747 % |
908.50/908.91 c | 146908 | 13667 56476 169393 | 2147483647 146889 30 | 2.747 % |
920.50/920.93 c | 148448 | 13667 56476 169393 | 2147483647 148429 30 | 2.747 % |
921.30/921.74 c | 148548 | 13667 56476 169393 | 2147483647 148529 30 | 2.747 % |
922.30/922.77 c | 148658 | 13667 56476 169393 | 2147483647 148639 30 | 2.747 % |
923.40/923.84 c | 148779 | 13667 56476 169393 | 2147483647 148760 30 | 2.747 % |
924.60/925.04 c | 148912 | 13667 56476 169393 | 2147483647 148893 30 | 2.747 % |
925.70/926.20 c | 149058 | 13667 56476 169393 | 2147483647 149039 30 | 2.747 % |
927.10/927.59 c | 149219 | 13667 56476 169393 | 2147483647 149200 30 | 2.747 % |
928.80/929.24 c | 149396 | 13667 56476 169393 | 2147483647 149377 30 | 2.747 % |
930.60/931.09 c | 149590 | 13667 56476 169393 | 2147483647 149571 30 | 2.747 % |
932.59/933.03 c | 149803 | 13667 56476 169393 | 2147483647 149784 30 | 2.747 % |
934.69/935.19 c | 150036 | 13667 56476 169393 | 2147483647 150017 30 | 2.747 % |
937.09/937.51 c | 150294 | 13667 56476 169393 | 2147483647 150275 30 | 2.747 % |
939.09/939.58 c | 150575 | 13667 56476 169393 | 2147483647 150556 30 | 2.747 % |
941.99/942.45 c | 150886 | 13667 56476 169393 | 2147483647 150867 30 | 2.747 % |
944.49/944.96 c | 151225 | 13667 56476 169393 | 2147483647 151206 30 | 2.747 % |
948.09/948.58 c | 151597 | 13667 56476 169393 | 2147483647 151578 30 | 2.747 % |
951.78/952.25 c | 152007 | 13667 56476 169393 | 2147483647 151988 30 | 2.747 % |
955.88/956.38 c | 152456 | 13667 56476 169393 | 2147483647 152437 30 | 2.747 % |
960.38/960.85 c | 152950 | 13667 56476 169393 | 2147483647 152931 30 | 2.747 % |
965.58/966.01 c | 153492 | 13667 56476 169393 | 2147483647 153473 30 | 2.747 % |
971.18/971.66 c | 154088 | 13667 56476 169393 | 2147483647 154069 30 | 2.747 % |
976.97/977.44 c | 154743 | 13667 56476 169393 | 2147483647 154724 30 | 2.747 % |
982.88/983.39 c | 155464 | 13667 56476 169393 | 2147483647 155445 30 | 2.747 % |
989.67/990.16 c | 156258 | 13667 56476 169393 | 2147483647 156239 30 | 2.747 % |
996.57/997.03 c | 157130 | 13667 56476 169393 | 2147483647 157111 30 | 2.747 % |
1005.26/1005.71 c | 158089 | 13667 56476 169393 | 2147483647 158070 30 | 2.747 % |
1015.16/1015.64 c | 159144 | 13667 56476 169393 | 2147483647 159125 30 | 2.747 % |
1025.66/1026.14 c | 160302 | 13667 56476 169393 | 2147483647 160283 30 | 2.747 % |
1037.86/1038.34 c | 161575 | 13667 56476 169393 | 2147483647 161556 30 | 2.747 % |
1050.45/1050.98 c | 162975 | 13667 56476 169393 | 2147483647 162956 30 | 2.747 % |
1064.53/1065.08 c | 164515 | 13667 56476 169393 | 2147483647 164496 30 | 2.747 % |
1079.13/1079.62 c | 166209 | 13667 56476 169393 | 2147483647 166190 30 | 2.747 % |
1080.03/1080.56 c | 166309 | 13667 56476 169393 | 2147483647 166290 30 | 2.747 % |
1081.23/1081.73 c | 166420 | 13667 56476 169393 | 2147483647 166401 30 | 2.747 % |
1082.53/1083.02 c | 166541 | 13667 56476 169393 | 2147483647 166522 30 | 2.747 % |
1083.93/1084.40 c | 166675 | 13667 56476 169393 | 2147483647 166656 30 | 2.747 % |
1085.13/1085.61 c | 166821 | 13667 56476 169393 | 2147483647 166802 30 | 2.747 % |
1086.62/1087.11 c | 166981 | 13667 56476 169393 | 2147483647 166962 30 | 2.747 % |
1088.32/1088.89 c | 167157 | 13667 56476 169393 | 2147483647 167138 30 | 2.747 % |
1090.02/1090.59 c | 167351 | 13667 56476 169393 | 2147483647 167332 30 | 2.747 % |
1092.23/1092.73 c | 167563 | 13667 56476 169393 | 2147483647 167544 30 | 2.747 % |
1094.63/1095.17 c | 167796 | 13667 56476 169393 | 2147483647 167777 30 | 2.747 % |
1097.13/1097.64 c | 168053 | 13667 56476 169393 | 2147483647 168034 30 | 2.747 % |
1099.73/1100.20 c | 168334 | 13667 56476 169393 | 2147483647 168315 30 | 2.747 % |
1102.33/1102.80 c | 168644 | 13667 56476 169393 | 2147483647 168625 30 | 2.747 % |
1103.93/1104.46 c | 168984 | 13667 56476 169393 | 2147483647 168965 30 | 2.747 % |
1107.42/1107.92 c | 169356 | 13667 56476 169393 | 2147483647 169337 30 | 2.747 % |
1111.53/1112.03 c | 169765 | 13667 56476 169393 | 2147483647 169746 30 | 2.747 % |
1115.82/1116.40 c | 170214 | 13667 56476 169393 | 2147483647 170195 30 | 2.747 % |
1120.42/1120.92 c | 170708 | 13667 56476 169393 | 2147483647 170689 30 | 2.747 % |
1125.42/1125.96 c | 171251 | 13667 56476 169393 | 2147483647 171232 30 | 2.747 % |
1131.12/1131.66 c | 171849 | 13667 56476 169393 | 2147483647 171830 30 | 2.747 % |
1137.51/1138.06 c | 172505 | 13667 56476 169393 | 2147483647 172486 30 | 2.747 % |
1143.91/1144.44 c | 173226 | 13667 56476 169393 | 2147483647 173207 30 | 2.747 % |
1151.31/1151.88 c | 174019 | 13667 56476 169393 | 2147483647 174000 30 | 2.747 % |
1160.01/1160.54 c | 174892 | 13667 56476 169393 | 2147483647 174873 30 | 2.747 % |
1168.40/1168.99 c | 175850 | 13667 56476 169393 | 2147483647 175831 30 | 2.747 % |
1177.00/1177.55 c | 176904 | 13667 56476 169393 | 2147483647 176885 30 | 2.747 % |
1187.79/1188.37 c | 178063 | 13667 56476 169393 | 2147483647 178044 30 | 2.747 % |
1200.39/1200.91 c | 179337 | 13667 56476 169393 | 2147483647 179318 30 | 2.747 % |
1213.68/1214.23 c | 180737 | 13667 56476 169393 | 2147483647 180718 30 | 2.747 % |
1227.88/1228.49 c | 182278 | 13667 56476 169393 | 2147483647 182259 30 | 2.747 % |
1243.58/1244.17 c | 183973 | 13667 56476 169393 | 2147483647 183954 30 | 2.747 % |
1259.16/1259.70 c | 185837 | 13667 56476 169393 | 2147483647 185818 30 | 2.747 % |
1259.76/1260.33 c | 185937 | 13667 56476 169393 | 2147483647 185918 30 | 2.747 % |
1260.86/1261.46 c | 186047 | 13667 56476 169393 | 2147483647 186028 30 | 2.747 % |
1262.27/1262.86 c | 186169 | 13667 56476 169393 | 2147483647 186150 30 | 2.747 % |
1263.66/1264.22 c | 186303 | 13667 56476 169393 | 2147483647 186284 30 | 2.747 % |
1264.96/1265.59 c | 186449 | 13667 56476 169393 | 2147483647 186430 30 | 2.747 % |
1266.06/1266.66 c | 186609 | 13667 56476 169393 | 2147483647 186590 30 | 2.747 % |
1267.26/1267.87 c | 186785 | 13667 56476 169393 | 2147483647 186766 30 | 2.747 % |
1269.16/1269.70 c | 186980 | 13667 56476 169393 | 2147483647 186961 30 | 2.747 % |
1271.06/1271.64 c | 187193 | 13667 56476 169393 | 2147483647 187174 30 | 2.747 % |
1273.36/1273.96 c | 187429 | 13667 56476 169393 | 2147483647 187410 30 | 2.747 % |
1276.25/1276.83 c | 187686 | 13667 56476 169393 | 2147483647 187667 30 | 2.747 % |
1278.85/1279.47 c | 187967 | 13667 56476 169393 | 2147483647 187948 30 | 2.747 % |
1282.35/1282.91 c | 188276 | 13667 56476 169393 | 2147483647 188257 30 | 2.747 % |
1285.75/1286.36 c | 188615 | 13667 56476 169393 | 2147483647 188596 30 | 2.747 % |
1289.65/1290.30 c | 188987 | 13667 56476 169393 | 2147483647 188968 30 | 2.747 % |
1293.65/1294.20 c | 189398 | 13667 56476 169393 | 2147483647 189379 30 | 2.747 % |
1297.94/1298.51 c | 189848 | 13667 56476 169393 | 2147483647 189829 30 | 2.747 % |
1301.94/1302.52 c | 190342 | 13667 56476 169393 | 2147483647 190323 30 | 2.747 % |
1307.25/1307.81 c | 190885 | 13667 56476 169393 | 2147483647 190866 30 | 2.747 % |
1313.34/1313.98 c | 191481 | 13667 56476 169393 | 2147483647 191462 30 | 2.747 % |
1319.94/1320.54 c | 192136 | 13667 56476 169393 | 2147483647 192117 30 | 2.747 % |
1325.44/1326.04 c | 192856 | 13667 56476 169393 | 2147483647 192837 30 | 2.747 % |
1333.03/1333.64 c | 193649 | 13667 56476 169393 | 2147483647 193630 30 | 2.747 % |
1341.62/1342.28 c | 194520 | 13667 56476 169393 | 2147483647 194501 30 | 2.747 % |
1351.33/1351.99 c | 195478 | 13667 56476 169393 | 2147483647 195459 30 | 2.747 % |
1361.83/1362.46 c | 196532 | 13667 56476 169393 | 2147483647 196513 30 | 2.747 % |
1374.72/1375.37 c | 197690 | 13667 56476 169393 | 2147483647 197671 30 | 2.747 % |
1388.21/1388.88 c | 198963 | 13667 56476 169393 | 2147483647 198944 30 | 2.747 % |
1403.11/1403.78 c | 200363 | 13667 56476 169393 | 2147483647 200344 30 | 2.747 % |
1418.90/1419.55 c | 201904 | 13667 56476 169393 | 2147483647 201885 30 | 2.747 % |
1434.90/1435.59 c | 203599 | 13667 56476 169393 | 2147483647 203580 30 | 2.747 % |
1451.79/1452.42 c | 205463 | 13667 56476 169393 | 2147483647 205444 30 | 2.747 % |
1473.28/1473.97 c | 207513 | 13667 56476 169393 | 2147483647 207494 29 | 2.747 % |
1474.58/1475.24 c | 207613 | 13667 56476 169393 | 2147483647 207594 29 | 2.747 % |
1475.68/1476.37 c | 207725 | 13667 56476 169393 | 2147483647 207706 29 | 2.747 % |
1476.58/1477.22 c | 207847 | 13667 56476 169393 | 2147483647 207828 29 | 2.747 % |
1477.68/1478.40 c | 207982 | 13667 56476 169393 | 2147483647 207963 29 | 2.747 % |
1479.08/1479.77 c | 208128 | 13667 56476 169393 | 2147483647 208109 29 | 2.747 % |
1480.78/1481.45 c | 208288 | 13667 56476 169393 | 2147483647 208269 29 | 2.747 % |
1482.28/1482.98 c | 208464 | 13667 56476 169393 | 2147483647 208445 29 | 2.747 % |
1484.38/1485.08 c | 208658 | 13667 56476 169393 | 2147483647 208639 29 | 2.747 % |
1486.77/1487.41 c | 208871 | 13667 56476 169393 | 2147483647 208852 29 | 2.747 % |
1488.97/1489.69 c | 209105 | 13667 56476 169393 | 2147483647 209086 29 | 2.747 % |
1491.77/1492.41 c | 209361 | 13667 56476 169393 | 2147483647 209342 29 | 2.747 % |
1494.57/1495.24 c | 209643 | 13667 56476 169393 | 2147483647 209624 29 | 2.747 % |
1497.27/1497.97 c | 209953 | 13667 56476 169393 | 2147483647 209934 30 | 2.747 % |
1501.16/1501.83 c | 210292 | 13667 56476 169393 | 2147483647 210273 30 | 2.747 % |
1505.06/1505.77 c | 210664 | 13667 56476 169393 | 2147483647 210645 29 | 2.747 % |
1509.26/1509.99 c | 211074 | 13667 56476 169393 | 2147483647 211055 30 | 2.747 % |
1513.46/1514.13 c | 211523 | 13667 56476 169393 | 2147483647 211504 30 | 2.747 % |
1519.06/1519.73 c | 212016 | 13667 56476 169393 | 2147483647 211997 30 | 2.747 % |
1524.65/1525.31 c | 212558 | 13667 56476 169393 | 2147483647 212539 30 | 2.747 % |
1530.46/1531.19 c | 213154 | 13667 56476 169393 | 2147483647 213135 30 | 2.747 % |
1536.56/1537.28 c | 213810 | 13667 56476 169393 | 2147483647 213791 29 | 2.747 % |
1543.66/1544.37 c | 214531 | 13667 56476 169393 | 2147483647 214512 29 | 2.747 % |
1552.05/1552.78 c | 215324 | 13667 56476 169393 | 2147483647 215305 29 | 2.747 % |
1561.65/1562.37 c | 216195 | 13667 56476 169393 | 2147483647 216176 29 | 2.747 % |
1571.65/1572.32 c | 217153 | 13667 56476 169393 | 2147483647 217134 29 | 2.747 % |
1582.84/1583.55 c | 218207 | 13667 56476 169393 | 2147483647 218188 29 | 2.747 % |
1595.24/1595.94 c | 219366 | 13667 56476 169393 | 2147483647 219347 29 | 2.747 % |
1609.83/1610.52 c | 220640 | 13667 56476 169393 | 2147483647 220621 29 | 2.747 % |
1625.92/1626.62 c | 222040 | 13667 56476 169393 | 2147483647 222021 29 | 2.747 % |
1644.01/1644.77 c | 223580 | 13667 56476 169393 | 2147483647 223561 29 | 2.747 % |
1662.60/1663.32 c | 225274 | 13667 56476 169393 | 2147483647 225255 29 | 2.747 % |
1683.40/1684.18 c | 227137 | 13667 56476 169393 | 2147483647 227118 29 | 2.747 % |
1706.99/1707.77 c | 229186 | 13667 56476 169393 | 2147483647 229167 29 | 2.747 % |
1730.28/1731.08 c | 231440 | 13667 56476 169393 | 2147483647 231421 29 | 2.747 % |
1731.38/1732.14 c | 231540 | 13667 56476 169393 | 2147483647 231521 29 | 2.747 % |
1732.48/1733.28 c | 231650 | 13667 56476 169393 | 2147483647 231631 29 | 2.747 % |
1733.88/1734.62 c | 231771 | 13667 56476 169393 | 2147483647 231752 29 | 2.747 % |
1735.38/1736.19 c | 231904 | 13667 56476 169393 | 2147483647 231885 29 | 2.747 % |
1737.28/1738.03 c | 232050 | 13667 56476 169393 | 2147483647 232031 29 | 2.747 % |
1738.57/1739.31 c | 232211 | 13667 56476 169393 | 2147483647 232192 29 | 2.747 % |
1740.58/1741.35 c | 232388 | 13667 56476 169393 | 2147483647 232369 29 | 2.747 % |
1742.68/1743.47 c | 232583 | 13667 56476 169393 | 2147483647 232564 29 | 2.747 % |
1745.37/1746.13 c | 232796 | 13667 56476 169393 | 2147483647 232777 29 | 2.747 % |
1747.97/1748.76 c | 233030 | 13667 56476 169393 | 2147483647 233011 29 | 2.747 % |
1750.87/1751.69 c | 233286 | 13667 56476 169393 | 2147483647 233267 29 | 2.747 % |
1753.97/1754.74 c | 233567 | 13667 56476 169393 | 2147483647 233548 29 | 2.747 % |
1756.97/1757.77 c | 233876 | 13667 56476 169393 | 2147483647 233857 29 | 2.747 % |
1760.76/1761.58 c | 234216 | 13667 56476 169393 | 2147483647 234197 29 | 2.747 % |
1765.06/1765.86 c | 234589 | 13667 56476 169393 | 2147483647 234570 29 | 2.747 % |
1769.36/1770.11 c | 234999 | 13667 56476 169393 | 2147483647 234980 29 | 2.747 % |
1774.06/1774.81 c | 235448 | 13667 56476 169393 | 2147483647 235429 29 | 2.747 % |
1779.06/1779.84 c | 235942 | 13667 56476 169393 | 2147483647 235923 29 | 2.747 % |
1784.85/1785.60 c | 236484 | 13667 56476 169393 | 2147483647 236465 29 | 2.747 % |
1791.65/1792.42 c | 237080 | 13667 56476 169393 | 2147483647 237061 29 | 2.747 % |
1799.25/1800.07 c | 237736 | 13667 56476 169393 | 2147483647 237717 29 | 2.747 % |
1807.35/1808.15 c | 238456 | 13667 56476 169393 | 2147483647 238437 29 | 2.747 % |
1817.05/1817.89 c | 239248 | 13667 56476 169393 | 2147483647 239229 29 | 2.747 % |
1826.65/1827.40 c | 240120 | 13667 56476 169393 | 2147483647 240101 29 | 2.747 % |
1837.14/1837.99 c | 241078 | 13667 56476 169393 | 2147483647 241059 29 | 2.747 % |
1849.84/1850.65 c | 242132 | 13667 56476 169393 | 2147483647 242113 29 | 2.747 % |
1863.13/1863.94 c | 243290 | 13667 56476 169393 | 2147483647 243271 29 | 2.747 % |
1877.72/1878.59 c | 244565 | 13667 56476 169393 | 2147483647 244546 29 | 2.747 % |
1894.12/1894.91 c | 245966 | 13667 56476 169393 | 2147483647 245947 29 | 2.747 % |
1912.71/1913.56 c | 247507 | 13667 56476 169393 | 2147483647 247488 29 | 2.747 % |
1931.20/1932.06 c | 249201 | 13667 56476 169393 | 2147483647 249182 29 | 2.747 % |
1951.60/1952.45 c | 251064 | 13667 56476 169393 | 2147483647 251045 29 | 2.747 % |
1970.48/1971.38 c | 253114 | 13667 56476 169393 | 2147483647 253095 29 | 2.747 % |
1993.07/1993.97 c | 255368 | 13667 56476 169393 | 2147483647 255349 29 | 2.747 % |
2021.86/2022.72 c | 257847 | 13667 56476 169393 | 2147483647 257828 29 | 2.747 % |
2023.07/2023.97 c | 257947 | 13667 56476 169393 | 2147483647 257928 29 | 2.747 % |
2024.17/2025.04 c | 258058 | 13667 56476 169393 | 2147483647 258039 29 | 2.747 % |
2025.56/2026.47 c | 258179 | 13667 56476 169393 | 2147483647 258160 29 | 2.747 % |
2027.06/2027.97 c | 258312 | 13667 56476 169393 | 2147483647 258293 29 | 2.747 % |
2028.96/2029.87 c | 258459 | 13667 56476 169393 | 2147483647 258440 29 | 2.747 % |
2030.96/2031.87 c | 258619 | 13667 56476 169393 | 2147483647 258600 29 | 2.747 % |
2033.16/2034.05 c | 258795 | 13667 56476 169393 | 2147483647 258776 29 | 2.747 % |
2035.56/2036.46 c | 258989 | 13667 56476 169393 | 2147483647 258970 29 | 2.747 % |
2038.16/2039.05 c | 259202 | 13667 56476 169393 | 2147483647 259183 29 | 2.747 % |
2041.07/2041.96 c | 259436 | 13667 56476 169393 | 2147483647 259417 29 | 2.747 % |
2044.07/2044.94 c | 259693 | 13667 56476 169393 | 2147483647 259674 29 | 2.747 % |
2047.16/2048.06 c | 259975 | 13667 56476 169393 | 2147483647 259956 29 | 2.747 % |
2050.76/2051.69 c | 260285 | 13667 56476 169393 | 2147483647 260266 29 | 2.747 % |
2054.56/2055.46 c | 260624 | 13667 56476 169393 | 2147483647 260605 29 | 2.747 % |
2059.15/2060.09 c | 260996 | 13667 56476 169393 | 2147483647 260977 29 | 2.747 % |
2064.35/2065.25 c | 261406 | 13667 56476 169393 | 2147483647 261387 29 | 2.747 % |
2070.15/2071.06 c | 261855 | 13667 56476 169393 | 2147483647 261836 29 | 2.747 % |
2075.65/2076.57 c | 262348 | 13667 56476 169393 | 2147483647 262329 29 | 2.747 % |
2083.34/2084.22 c | 262890 | 13667 56476 169393 | 2147483647 262871 29 | 2.747 % |
2090.44/2091.34 c | 263488 | 13667 56476 169393 | 2147483647 263469 29 | 2.747 % |
2098.64/2099.59 c | 264144 | 13667 56476 169393 | 2147483647 264125 29 | 2.747 % |
2108.53/2109.48 c | 264864 | 13667 56476 169393 | 2147483647 264845 29 | 2.747 % |
2117.23/2118.11 c | 265657 | 13667 56476 169393 | 2147483647 265638 29 | 2.747 % |
2126.53/2127.49 c | 266528 | 13667 56476 169393 | 2147483647 266509 29 | 2.747 % |
2138.11/2139.02 c | 267486 | 13667 56476 169393 | 2147483647 267467 29 | 2.747 % |
2150.61/2151.52 c | 268540 | 13667 56476 169393 | 2147483647 268521 29 | 2.747 % |
2163.60/2164.53 c | 269698 | 13667 56476 169393 | 2147483647 269679 29 | 2.747 % |
2177.11/2178.04 c | 270971 | 13667 56476 169393 | 2147483647 270952 29 | 2.747 % |
2193.60/2194.56 c | 272371 | 13667 56476 169393 | 2147483647 272352 29 | 2.747 % |
2210.99/2211.96 c | 273911 | 13667 56476 169393 | 2147483647 273892 29 | 2.747 % |
2229.58/2230.52 c | 275605 | 13667 56476 169393 | 2147483647 275586 29 | 2.747 % |
2248.87/2249.88 c | 277468 | 13667 56476 169393 | 2147483647 277449 29 | 2.747 % |
2270.07/2271.02 c | 279517 | 13667 56476 169393 | 2147483647 279498 29 | 2.747 % |
2297.06/2298.01 c | 281770 | 13667 56476 169393 | 2147483647 281751 29 | 2.747 % |
2327.85/2328.86 c | 284249 | 13667 56476 169393 | 2147483647 284230 29 | 2.747 % |
2361.74/2362.71 c | 286974 | 13667 56476 169393 | 2147483647 286955 29 | 2.747 % |
2362.94/2363.95 c | 287074 | 13667 56476 169393 | 2147483647 287055 29 | 2.747 % |
2364.24/2365.29 c | 287184 | 13667 56476 169393 | 2147483647 287165 29 | 2.747 % |
2365.63/2366.68 c | 287307 | 13667 56476 169393 | 2147483647 287288 29 | 2.747 % |
2367.43/2368.41 c | 287440 | 13667 56476 169393 | 2147483647 287421 29 | 2.747 % |
2369.13/2370.14 c | 287586 | 13667 56476 169393 | 2147483647 287567 29 | 2.747 % |
2371.13/2372.13 c | 287746 | 13667 56476 169393 | 2147483647 287727 29 | 2.747 % |
2373.03/2374.08 c | 287924 | 13667 56476 169393 | 2147483647 287905 29 | 2.747 % |
2375.63/2376.63 c | 288117 | 13667 56476 169393 | 2147483647 288098 29 | 2.747 % |
2378.23/2379.30 c | 288330 | 13667 56476 169393 | 2147483647 288311 29 | 2.747 % |
2381.33/2382.38 c | 288563 | 13667 56476 169393 | 2147483647 288544 29 | 2.747 % |
2384.52/2385.57 c | 288820 | 13667 56476 169393 | 2147483647 288801 29 | 2.747 % |
2388.13/2389.12 c | 289102 | 13667 56476 169393 | 2147483647 289083 29 | 2.747 % |
2391.82/2392.80 c | 289412 | 13667 56476 169393 | 2147483647 289393 29 | 2.747 % |
2395.42/2396.47 c | 289751 | 13667 56476 169393 | 2147483647 289732 29 | 2.747 % |
2399.72/2400.71 c | 290123 | 13667 56476 169393 | 2147483647 290104 29 | 2.747 % |
2405.01/2406.02 c | 290533 | 13667 56476 169393 | 2147483647 290514 29 | 2.747 % |
2410.01/2411.06 c | 290983 | 13667 56476 169393 | 2147483647 290964 29 | 2.747 % |
2417.21/2418.22 c | 291476 | 13667 56476 169393 | 2147483647 291457 29 | 2.747 % |
2424.21/2425.28 c | 292019 | 13667 56476 169393 | 2147483647 292000 29 | 2.747 % |
2432.11/2433.14 c | 292616 | 13667 56476 169393 | 2147483647 292597 29 | 2.747 % |
2439.70/2440.76 c | 293271 | 13667 56476 169393 | 2147483647 293252 29 | 2.747 % |
2448.00/2449.08 c | 293992 | 13667 56476 169393 | 2147483647 293973 29 | 2.747 % |
2457.80/2458.81 c | 294784 | 13667 56476 169393 | 2147483647 294765 29 | 2.747 % |
2468.50/2469.51 c | 295656 | 13667 56476 169393 | 2147483647 295637 29 | 2.747 % |
2480.19/2481.26 c | 296615 | 13667 56476 169393 | 2147483647 296596 29 | 2.747 % |
2491.79/2492.87 c | 297669 | 13667 56476 169393 | 2147483647 297650 29 | 2.747 % |
2505.08/2506.12 c | 298828 | 13667 56476 169393 | 2147483647 298809 29 | 2.747 % |
2519.97/2521.07 c | 300101 | 13667 56476 169393 | 2147483647 300082 29 | 2.747 % |
2537.46/2538.56 c | 301502 | 13667 56476 169393 | 2147483647 301483 29 | 2.747 % |
2557.66/2558.74 c | 303043 | 13667 56476 169393 | 2147483647 303024 29 | 2.747 % |
2578.35/2579.50 c | 304738 | 13667 56476 169393 | 2147483647 304719 29 | 2.747 % |
2600.85/2601.98 c | 306601 | 13667 56476 169393 | 2147483647 306582 29 | 2.747 % |
2627.13/2628.26 c | 308651 | 13667 56476 169393 | 2147483647 308632 29 | 2.747 % |
2653.82/2654.96 c | 310905 | 13667 56476 169393 | 2147483647 310886 29 | 2.747 % |
2681.01/2682.10 c | 313383 | 13667 56476 169393 | 2147483647 313364 29 | 2.747 % |
2715.19/2716.34 c | 316108 | 13667 56476 169393 | 2147483647 316089 29 | 2.747 % |
2752.67/2753.83 c | 319106 | 13667 56476 169393 | 2147483647 319087 29 | 2.747 % |
2753.97/2755.14 c | 319206 | 13667 56476 169393 | 2147483647 319187 29 | 2.747 % |
2755.67/2756.87 c | 319316 | 13667 56476 169393 | 2147483647 319297 29 | 2.747 % |
2757.18/2758.35 c | 319437 | 13667 56476 169393 | 2147483647 319418 29 | 2.747 % |
2758.78/2759.91 c | 319570 | 13667 56476 169393 | 2147483647 319551 29 | 2.747 % |
2760.98/2762.14 c | 319716 | 13667 56476 169393 | 2147483647 319697 29 | 2.747 % |
2763.28/2764.45 c | 319877 | 13667 56476 169393 | 2147483647 319858 29 | 2.747 % |
2765.67/2766.86 c | 320053 | 13667 56476 169393 | 2147483647 320034 29 | 2.747 % |
2768.17/2769.35 c | 320246 | 13667 56476 169393 | 2147483647 320227 29 | 2.747 % |
2770.57/2771.72 c | 320458 | 13667 56476 169393 | 2147483647 320439 29 | 2.747 % |
2773.87/2775.02 c | 320691 | 13667 56476 169393 | 2147483647 320672 29 | 2.747 % |
2777.47/2778.64 c | 320947 | 13667 56476 169393 | 2147483647 320928 29 | 2.747 % |
2781.07/2782.27 c | 321228 | 13667 56476 169393 | 2147483647 321209 29 | 2.747 % |
2784.87/2786.07 c | 321537 | 13667 56476 169393 | 2147483647 321518 29 | 2.747 % |
2789.77/2790.96 c | 321876 | 13667 56476 169393 | 2147483647 321857 29 | 2.747 % |
2795.16/2796.31 c | 322248 | 13667 56476 169393 | 2147483647 322229 29 | 2.747 % |
2800.36/2801.56 c | 322658 | 13667 56476 169393 | 2147483647 322639 29 | 2.747 % |
2806.06/2807.22 c | 323107 | 13667 56476 169393 | 2147483647 323088 29 | 2.747 % |
2812.96/2814.15 c | 323601 | 13667 56476 169393 | 2147483647 323582 29 | 2.747 % |
2820.25/2821.47 c | 324143 | 13667 56476 169393 | 2147483647 324124 29 | 2.747 % |
2828.95/2830.13 c | 324740 | 13667 56476 169393 | 2147483647 324721 29 | 2.747 % |
2837.44/2838.61 c | 325395 | 13667 56476 169393 | 2147483647 325376 29 | 2.747 % |
2846.94/2848.14 c | 326116 | 13667 56476 169393 | 2147483647 326097 29 | 2.747 % |
2857.94/2859.11 c | 326909 | 13667 56476 169393 | 2147483647 326890 29 | 2.747 % |
2869.43/2870.61 c | 327781 | 13667 56476 169393 | 2147483647 327762 29 | 2.747 % |
2881.53/2882.76 c | 328739 | 13667 56476 169393 | 2147483647 328720 29 | 2.747 % |
2895.72/2896.98 c | 329795 | 13667 56476 169393 | 2147483647 329776 29 | 2.747 % |
2909.92/2911.18 c | 330953 | 13667 56476 169393 | 2147483647 330934 29 | 2.747 % |
2924.72/2926.00 c | 332226 | 13667 56476 169393 | 2147483647 332207 29 | 2.747 % |
2942.40/2943.69 c | 333627 | 13667 56476 169393 | 2147483647 333608 29 | 2.747 % |
2962.19/2963.46 c | 335167 | 13667 56476 169393 | 2147483647 335148 29 | 2.747 % |
2981.78/2983.01 c | 336861 | 13667 56476 169393 | 2147483647 336842 29 | 2.747 % |
3005.88/3007.16 c | 338724 | 13667 56476 169393 | 2147483647 338705 29 | 2.747 % |
3032.06/3033.31 c | 340774 | 13667 56476 169393 | 2147483647 340755 29 | 2.747 % |
3059.15/3060.45 c | 343030 | 13667 56476 169393 | 2147483647 343011 29 | 2.747 % |
3094.13/3095.44 c | 345508 | 13667 56476 169393 | 2147483647 345489 29 | 2.747 % |
3129.41/3130.75 c | 348234 | 13667 56476 169393 | 2147483647 348215 29 | 2.747 % |
3171.79/3173.10 c | 351231 | 13667 56476 169393 | 2147483647 351212 29 | 2.747 % |
3214.77/3216.14 c | 354527 | 13667 56476 169393 | 2147483647 354508 29 | 2.747 % |
3216.37/3217.71 c | 354628 | 13667 56476 169393 | 2147483647 354609 29 | 2.747 % |
3217.87/3219.21 c | 354738 | 13667 56476 169393 | 2147483647 354719 29 | 2.747 % |
3219.77/3221.13 c | 354860 | 13667 56476 169393 | 2147483647 354841 29 | 2.747 % |
3221.67/3223.04 c | 354994 | 13667 56476 169393 | 2147483647 354975 29 | 2.747 % |
3223.77/3225.10 c | 355141 | 13667 56476 169393 | 2147483647 355122 29 | 2.747 % |
3226.16/3227.59 c | 355302 | 13667 56476 169393 | 2147483647 355283 29 | 2.747 % |
3228.96/3230.33 c | 355478 | 13667 56476 169393 | 2147483647 355459 29 | 2.747 % |
3231.86/3233.21 c | 355671 | 13667 56476 169393 | 2147483647 355652 29 | 2.747 % |
3234.56/3235.99 c | 355883 | 13667 56476 169393 | 2147483647 355864 29 | 2.747 % |
3237.96/3239.39 c | 356117 | 13667 56476 169393 | 2147483647 356098 29 | 2.747 % |
3241.45/3242.88 c | 356373 | 13667 56476 169393 | 2147483647 356354 29 | 2.747 % |
3245.65/3247.08 c | 356654 | 13667 56476 169393 | 2147483647 356635 29 | 2.747 % |
3250.16/3251.52 c | 356964 | 13667 56476 169393 | 2147483647 356945 29 | 2.747 % |
3254.56/3255.94 c | 357304 | 13667 56476 169393 | 2147483647 357285 29 | 2.747 % |
3260.25/3261.60 c | 357676 | 13667 56476 169393 | 2147483647 357657 29 | 2.747 % |
3265.35/3266.77 c | 358085 | 13667 56476 169393 | 2147483647 358066 29 | 2.747 % |
3271.74/3273.14 c | 358534 | 13667 56476 169393 | 2147483647 358515 29 | 2.747 % |
3278.74/3280.14 c | 359027 | 13667 56476 169393 | 2147483647 359008 29 | 2.747 % |
3287.23/3288.67 c | 359570 | 13667 56476 169393 | 2147483647 359551 29 | 2.747 % |
3295.53/3296.97 c | 360167 | 13667 56476 169393 | 2147483647 360148 29 | 2.747 % |
3305.03/3306.47 c | 360822 | 13667 56476 169393 | 2147483647 360803 29 | 2.747 % |
3315.03/3316.41 c | 361544 | 13667 56476 169393 | 2147483647 361525 29 | 2.747 % |
3324.62/3326.03 c | 362337 | 13667 56476 169393 | 2147483647 362318 29 | 2.747 % |
3336.41/3337.89 c | 363209 | 13667 56476 169393 | 2147483647 363190 29 | 2.747 % |
3350.10/3351.51 c | 364168 | 13667 56476 169393 | 2147483647 364149 29 | 2.747 % |
3365.89/3367.40 c | 365222 | 13667 56476 169393 | 2147483647 365203 29 | 2.747 % |
3381.09/3382.50 c | 366380 | 13667 56476 169393 | 2147483647 366361 29 | 2.747 % |
3398.48/3399.90 c | 367654 | 13667 56476 169393 | 2147483647 367635 29 | 2.747 % |
3417.17/3418.66 c | 369054 | 13667 56476 169393 | 2147483647 369035 29 | 2.747 % |
3438.96/3440.42 c | 370594 | 13667 56476 169393 | 2147483647 370575 29 | 2.747 % |
3463.74/3465.28 c | 372288 | 13667 56476 169393 | 2147483647 372269 29 | 2.747 % |
3488.43/3489.98 c | 374152 | 13667 56476 169393 | 2147483647 374133 29 | 2.747 % |
3518.32/3519.87 c | 376202 | 13667 56476 169393 | 2147483647 376183 29 | 2.747 % |
3553.20/3554.73 c | 378455 | 13667 56476 169393 | 2147483647 378436 29 | 2.747 % |
3587.29/3588.88 c | 380933 | 13667 56476 169393 | 2147483647 380914 29 | 2.747 % |
3626.66/3628.22 c | 383659 | 13667 56476 169393 | 2147483647 383640 29 | 2.747 % |
3667.64/3669.29 c | 386657 | 13667 56476 169393 | 2147483647 386638 29 | 2.747 % |
3714.41/3716.08 c | 389954 | 13667 56476 169393 | 2147483647 389935 29 | 2.747 % |
3768.90/3770.58 c | 393579 | 13667 56476 169393 | 2147483647 393560 29 | 2.747 % |
3770.59/3772.24 c | 393679 | 13667 56476 169393 | 2147483647 393660 29 | 2.747 % |
3772.50/3774.14 c | 393789 | 13667 56476 169393 | 2147483647 393770 29 | 2.747 % |
3774.39/3776.04 c | 393910 | 13667 56476 169393 | 2147483647 393891 29 | 2.747 % |
3776.09/3777.78 c | 394043 | 13667 56476 169393 | 2147483647 394024 29 | 2.747 % |
3778.48/3780.10 c | 394189 | 13667 56476 169393 | 2147483647 394170 29 | 2.747 % |
3780.58/3782.27 c | 394349 | 13667 56476 169393 | 2147483647 394330 29 | 2.747 % |
3783.39/3785.07 c | 394525 | 13667 56476 169393 | 2147483647 394506 29 | 2.747 % |
3786.58/3788.23 c | 394718 | 13667 56476 169393 | 2147483647 394699 29 | 2.747 % |
3789.48/3791.13 c | 394931 | 13667 56476 169393 | 2147483647 394912 29 | 2.747 % |
3792.98/3794.62 c | 395165 | 13667 56476 169393 | 2147483647 395146 29 | 2.747 % |
3797.18/3798.83 c | 395421 | 13667 56476 169393 | 2147483647 395402 29 | 2.747 % |
3801.38/3803.04 c | 395702 | 13667 56476 169393 | 2147483647 395683 29 | 2.747 % |
3806.58/3808.29 c | 396014 | 13667 56476 169393 | 2147483647 395995 29 | 2.747 % |
3812.77/3814.46 c | 396355 | 13667 56476 169393 | 2147483647 396336 29 | 2.747 % |
3818.77/3820.43 c | 396730 | 13667 56476 169393 | 2147483647 396711 29 | 2.747 % |
3825.36/3827.09 c | 397139 | 13667 56476 169393 | 2147483647 397120 29 | 2.747 % |
3831.96/3833.61 c | 397589 | 13667 56476 169393 | 2147483647 397570 29 | 2.747 % |
3839.46/3841.15 c | 398082 | 13667 56476 169393 | 2147483647 398063 29 | 2.747 % |
3847.75/3849.44 c | 398626 | 13667 56476 169393 | 2147483647 398607 29 | 2.747 % |
3857.25/3858.91 c | 399223 | 13667 56476 169393 | 2147483647 399204 29 | 2.747 % |
3867.64/3869.38 c | 399879 | 13667 56476 169393 | 2147483647 399860 29 | 2.747 % |
3878.23/3879.92 c | 400599 | 13667 56476 169393 | 2147483647 400580 29 | 2.747 % |
3890.32/3892.09 c | 401392 | 13667 56476 169393 | 2147483647 401373 29 | 2.747 % |
3903.61/3905.39 c | 402263 | 13667 56476 169393 | 2147483647 402244 29 | 2.747 % |
3917.42/3919.19 c | 403221 | 13667 56476 169393 | 2147483647 403202 29 | 2.747 % |
3933.71/3935.44 c | 404274 | 13667 56476 169393 | 2147483647 404255 29 | 2.747 % |
3951.10/3952.88 c | 405433 | 13667 56476 169393 | 2147483647 405414 29 | 2.747 % |
3970.30/3972.01 c | 406707 | 13667 56476 169393 | 2147483647 406688 29 | 2.747 % |
3991.48/3993.29 c | 408107 | 13667 56476 169393 | 2147483647 408088 29 | 2.747 % |
4016.37/4018.14 c | 409647 | 13667 56476 169393 | 2147483647 409628 29 | 2.747 % |
4045.95/4047.77 c | 411342 | 13667 56476 169393 | 2147483647 411323 29 | 2.747 % |
4075.84/4077.70 c | 413205 | 13667 56476 169393 | 2147483647 413186 29 | 2.747 % |
4108.02/4109.83 c | 415255 | 13667 56476 169393 | 2147483647 415236 29 | 2.747 % |
4142.60/4144.41 c | 417508 | 13667 56476 169393 | 2147483647 417489 29 | 2.747 % |
4182.98/4184.83 c | 419987 | 13667 56476 169393 | 2147483647 419968 29 | 2.747 % |
4226.16/4228.06 c | 422712 | 13667 56476 169393 | 2147483647 422693 29 | 2.747 % |
4276.33/4278.29 c | 425710 | 13667 56476 169393 | 2147483647 425691 29 | 2.747 % |
4327.20/4329.17 c | 429007 | 13667 56476 169393 | 2147483647 428988 29 | 2.747 % |
4386.78/4388.70 c | 432633 | 13667 56476 169393 | 2147483647 432614 29 | 2.747 % |
4448.15/4450.13 c | 436623 | 13667 56476 169393 | 2147483647 436604 29 | 2.747 % |
4449.05/4451.08 c | 436724 | 13667 56476 169393 | 2147483647 436705 29 | 2.747 % |
4450.95/4452.92 c | 436835 | 13667 56476 169393 | 2147483647 436816 29 | 2.747 % |
4452.75/4454.78 c | 436956 | 13667 56476 169393 | 2147483647 436937 29 | 2.747 % |
4455.04/4457.03 c | 437089 | 13667 56476 169393 | 2147483647 437070 29 | 2.747 % |
4457.35/4459.38 c | 437235 | 13667 56476 169393 | 2147483647 437216 29 | 2.747 % |
4460.04/4462.08 c | 437396 | 13667 56476 169393 | 2147483647 437377 29 | 2.747 % |
4462.95/4464.99 c | 437574 | 13667 56476 169393 | 2147483647 437555 29 | 2.747 % |
4466.24/4468.25 c | 437768 | 13667 56476 169393 | 2147483647 437749 29 | 2.747 % |
4469.64/4471.67 c | 437980 | 13667 56476 169393 | 2147483647 437961 29 | 2.747 % |
4473.54/4475.56 c | 438214 | 13667 56476 169393 | 2147483647 438195 29 | 2.747 % |
4477.63/4479.69 c | 438470 | 13667 56476 169393 | 2147483647 438451 29 | 2.747 % |
4481.73/4483.77 c | 438752 | 13667 56476 169393 | 2147483647 438733 29 | 2.747 % |
4486.13/4488.17 c | 439061 | 13667 56476 169393 | 2147483647 439042 29 | 2.747 % |
4491.83/4493.86 c | 439401 | 13667 56476 169393 | 2147483647 439382 29 | 2.747 % |
4497.42/4499.46 c | 439773 | 13667 56476 169393 | 2147483647 439754 29 | 2.747 % |
4503.91/4505.96 c | 440182 | 13667 56476 169393 | 2147483647 440163 29 | 2.747 % |
4511.11/4513.18 c | 440632 | 13667 56476 169393 | 2147483647 440613 29 | 2.747 % |
4519.01/4521.09 c | 441127 | 13667 56476 169393 | 2147483647 441108 29 | 2.747 % |
4525.51/4527.54 c | 441669 | 13667 56476 169393 | 2147483647 441650 29 | 2.747 % |
4534.80/4536.80 c | 442266 | 13667 56476 169393 | 2147483647 442247 29 | 2.747 % |
4545.79/4547.86 c | 442922 | 13667 56476 169393 | 2147483647 442903 29 | 2.747 % |
4557.09/4559.13 c | 443643 | 13667 56476 169393 | 2147483647 443624 29 | 2.747 % |
4564.89/4566.90 c | 444437 | 13667 56476 169393 | 2147483647 444418 29 | 2.747 % |
4575.38/4577.46 c | 445308 | 13667 56476 169393 | 2147483647 445289 29 | 2.747 % |
4590.28/4592.36 c | 446267 | 13667 56476 169393 | 2147483647 446248 29 | 2.747 % |
4608.27/4610.32 c | 447321 | 13667 56476 169393 | 2147483647 447302 29 | 2.747 % |
4626.66/4628.75 c | 448479 | 13667 56476 169393 | 2147483647 448460 29 | 2.747 % |
4646.34/4648.41 c | 449754 | 13667 56476 169393 | 2147483647 449735 29 | 2.747 % |
4669.73/4671.83 c | 451155 | 13667 56476 169393 | 2147483647 451136 29 | 2.747 % |
4695.62/4697.77 c | 452696 | 13667 56476 169393 | 2147483647 452677 29 | 2.747 % |
4722.41/4724.51 c | 454391 | 13667 56476 169393 | 2147483647 454372 29 | 2.747 % |
4753.59/4755.72 c | 456254 | 13667 56476 169393 | 2147483647 456235 29 | 2.747 % |
4788.18/4790.31 c | 458304 | 13667 56476 169393 | 2147483647 458285 29 | 2.747 % |
4824.36/4826.52 c | 460558 | 13667 56476 169393 | 2147483647 460539 29 | 2.747 % |
4863.84/4866.02 c | 463037 | 13667 56476 169393 | 2147483647 463018 29 | 2.747 % |
4906.61/4908.86 c | 465763 | 13667 56476 169393 | 2147483647 465744 29 | 2.747 % |
4957.18/4959.48 c | 468761 | 13667 56476 169393 | 2147483647 468742 29 | 2.747 % |
5008.55/5010.87 c | 472057 | 13667 56476 169393 | 2147483647 472038 29 | 2.747 % |
5065.03/5067.31 c | 475683 | 13667 56476 169393 | 2147483647 475664 29 | 2.747 % |
5135.89/5138.21 c | 479670 | 13667 56476 169393 | 2147483647 479651 29 | 2.747 % |
5210.25/5212.62 c | 484056 | 13667 56476 169393 | 2147483647 484037 29 | 2.747 % |
5211.95/5214.38 c | 484156 | 13667 56476 169393 | 2147483647 484137 29 | 2.747 % |
5213.95/5216.34 c | 484266 | 13667 56476 169393 | 2147483647 484247 29 | 2.747 % |
5215.95/5218.34 c | 484387 | 13667 56476 169393 | 2147483647 484368 29 | 2.747 % |
5218.34/5220.70 c | 484520 | 13667 56476 169393 | 2147483647 484501 29 | 2.747 % |
5221.34/5223.73 c | 484666 | 13667 56476 169393 | 2147483647 484647 29 | 2.747 % |
5224.24/5226.67 c | 484827 | 13667 56476 169393 | 2147483647 484808 29 | 2.747 % |
5227.34/5229.70 c | 485004 | 13667 56476 169393 | 2147483647 484985 29 | 2.747 % |
5230.94/5233.37 c | 485198 | 13667 56476 169393 | 2147483647 485179 29 | 2.747 % |
5234.53/5237.00 c | 485411 | 13667 56476 169393 | 2147483647 485392 29 | 2.747 % |
5239.53/5241.99 c | 485646 | 13667 56476 169393 | 2147483647 485627 29 | 2.747 % |
5244.63/5247.00 c | 485903 | 13667 56476 169393 | 2147483647 485884 29 | 2.747 % |
5248.83/5251.29 c | 486185 | 13667 56476 169393 | 2147483647 486166 29 | 2.747 % |
5254.33/5256.77 c | 486496 | 13667 56476 169393 | 2147483647 486477 29 | 2.747 % |
5259.22/5261.65 c | 486836 | 13667 56476 169393 | 2147483647 486817 29 | 2.747 % |
5265.42/5267.89 c | 487210 | 13667 56476 169393 | 2147483647 487191 29 | 2.747 % |
5273.12/5275.57 c | 487619 | 13667 56476 169393 | 2147483647 487600 29 | 2.747 % |
5280.31/5282.79 c | 488068 | 13667 56476 169393 | 2147483647 488049 29 | 2.747 % |
5290.51/5292.97 c | 488562 | 13667 56476 169393 | 2147483647 488543 29 | 2.747 % |
5299.10/5301.56 c | 489106 | 13667 56476 169393 | 2147483647 489087 29 | 2.747 % |
5309.29/5311.70 c | 489704 | 13667 56476 169393 | 2147483647 489685 29 | 2.747 % |
5319.89/5322.34 c | 490360 | 13667 56476 169393 | 2147483647 490341 29 | 2.747 % |
5331.58/5334.09 c | 491081 | 13667 56476 169393 | 2147483647 491062 29 | 2.747 % |
5347.08/5349.56 c | 491874 | 13667 56476 169393 | 2147483647 491855 29 | 2.747 % |
5362.16/5364.63 c | 492745 | 13667 56476 169393 | 2147483647 492726 29 | 2.747 % |
5378.45/5380.95 c | 493703 | 13667 56476 169393 | 2147483647 493684 29 | 2.747 % |
5397.25/5399.75 c | 494756 | 13667 56476 169393 | 2147483647 494737 29 | 2.747 % |
5418.24/5420.73 c | 495914 | 13667 56476 169393 | 2147483647 495895 29 | 2.747 % |
5441.03/5443.50 c | 497188 | 13667 56476 169393 | 2147483647 497169 29 | 2.747 % |
5466.41/5468.92 c | 498589 | 13667 56476 169393 | 2147483647 498570 29 | 2.747 % |
5499.60/5502.17 c | 500129 | 13667 56476 169393 | 499982 500110 29 | 2.747 % |
5534.47/5537.05 c | 501823 | 13667 56476 169393 | 499982 449842 29 | 2.747 % |
5568.06/5570.69 c | 503687 | 13667 56476 169393 | 499982 451706 29 | 2.747 % |
5603.05/5605.68 c | 505736 | 13667 56476 169393 | 499982 453755 29 | 2.747 % |
5635.93/5638.57 c | 507991 | 13667 56476 169393 | 499982 456010 29 | 2.747 % |
5675.00/5677.62 c | 510470 | 13667 56476 169393 | 2147483647 458489 29 | 2.747 % |
5717.98/5720.64 c | 513195 | 13667 56476 169393 | 2147483647 461214 29 | 2.747 % |
5770.07/5772.75 c | 516193 | 13667 56476 169393 | 2147483647 464212 29 | 2.747 % |
5823.23/5825.96 c | 519489 | 13667 56476 169393 | 2147483647 467508 29 | 2.747 % |
5881.30/5884.04 c | 523114 | 13667 56476 169393 | 2147483647 471133 29 | 2.747 % |
5938.97/5941.74 c | 527102 | 13667 56476 169393 | 2147483647 475121 29 | 2.747 % |
6007.44/6010.29 c | 531488 | 13667 56476 169393 | 2147483647 479507 29 | 2.747 % |
6082.81/6085.62 c | 536313 | 13667 56476 169393 | 2147483647 484332 29 | 2.747 % |
6084.61/6087.43 c | 536413 | 13667 56476 169393 | 2147483647 484432 29 | 2.747 % |
6086.50/6089.40 c | 536523 | 13667 56476 169393 | 2147483647 484542 29 | 2.747 % |
6089.20/6092.01 c | 536645 | 13667 56476 169393 | 2147483647 484664 29 | 2.747 % |
6091.80/6094.61 c | 536779 | 13667 56476 169393 | 2147483647 484798 29 | 2.747 % |
6094.30/6097.15 c | 536926 | 13667 56476 169393 | 2147483647 484945 29 | 2.747 % |
6097.20/6100.05 c | 537086 | 13667 56476 169393 | 2147483647 485105 29 | 2.747 % |
6100.50/6103.37 c | 537262 | 13667 56476 169393 | 2147483647 485281 29 | 2.747 % |
6104.30/6107.11 c | 537455 | 13667 56476 169393 | 2147483647 485474 29 | 2.747 % |
6108.09/6110.97 c | 537668 | 13667 56476 169393 | 2147483647 485687 29 | 2.747 % |
6112.49/6115.30 c | 537901 | 13667 56476 169393 | 2147483647 485920 29 | 2.747 % |
6117.70/6120.56 c | 538157 | 13667 56476 169393 | 2147483647 486176 29 | 2.747 % |
6122.39/6125.29 c | 538438 | 13667 56476 169393 | 2147483647 486457 29 | 2.747 % |
6126.49/6129.31 c | 538747 | 13667 56476 169393 | 2147483647 486766 29 | 2.747 % |
6132.59/6135.45 c | 539087 | 13667 56476 169393 | 2147483647 487106 29 | 2.747 % |
6139.68/6142.54 c | 539459 | 13667 56476 169393 | 2147483647 487478 29 | 2.747 % |
6146.58/6149.41 c | 539868 | 13667 56476 169393 | 2147483647 487887 29 | 2.747 % |
6155.28/6158.18 c | 540317 | 13667 56476 169393 | 2147483647 488336 29 | 2.747 % |
6163.37/6166.26 c | 540810 | 13667 56476 169393 | 2147483647 488829 29 | 2.747 % |
6172.26/6175.11 c | 541353 | 13667 56476 169393 | 2147483647 489372 29 | 2.747 % |
6182.36/6185.25 c | 541951 | 13667 56476 169393 | 2147483647 489970 29 | 2.747 % |
6193.36/6196.23 c | 542607 | 13667 56476 169393 | 2147483647 490626 29 | 2.747 % |
6205.95/6208.85 c | 543328 | 13667 56476 169393 | 2147483647 491347 29 | 2.747 % |
6218.24/6221.17 c | 544121 | 13667 56476 169393 | 2147483647 492140 29 | 2.747 % |
6233.73/6236.67 c | 544992 | 13667 56476 169393 | 2147483647 493011 29 | 2.747 % |
6249.03/6251.97 c | 545951 | 13667 56476 169393 | 2147483647 493970 29 | 2.747 % |
6266.72/6269.62 c | 547004 | 13667 56476 169393 | 2147483647 495023 29 | 2.747 % |
6286.81/6289.78 c | 548162 | 13667 56476 169393 | 2147483647 496181 29 | 2.747 % |
6309.79/6312.77 c | 549435 | 13667 56476 169393 | 2147483647 497454 29 | 2.747 % |
6332.58/6335.57 c | 550835 | 13667 56476 169393 | 2147483647 498854 29 | 2.747 % |
6358.06/6361.03 c | 552376 | 13667 56476 169393 | 2147483647 500395 29 | 2.747 % |
6386.25/6389.22 c | 554070 | 13667 56476 169393 | 2147483647 502089 29 | 2.747 % |
6417.93/6420.91 c | 555933 | 13667 56476 169393 | 2147483647 503952 29 | 2.747 % |
6444.52/6447.54 c | 557983 | 13667 56476 169393 | 2147483647 506002 29 | 2.747 % |
6484.90/6487.90 c | 560236 | 13667 56476 169393 | 508019 508255 29 | 2.747 % |
6533.15/6536.24 c | 562714 | 13667 56476 169393 | 508019 453697 29 | 2.747 % |
6575.82/6578.95 c | 565440 | 13667 56476 169393 | 508019 456423 29 | 2.747 % |
6626.40/6629.57 c | 568438 | 13667 56476 169393 | 508019 459421 29 | 2.747 % |
6684.07/6687.24 c | 571734 | 13667 56476 169393 | 2147483647 462717 29 | 2.747 % |
6739.85/6743.03 c | 575360 | 13667 56476 169393 | 2147483647 466343 29 | 2.747 % |
6806.51/6809.72 c | 579348 | 13667 56476 169393 | 2147483647 470331 29 | 2.747 % |
6876.88/6880.11 c | 583734 | 13667 56476 169393 | 2147483647 474717 29 | 2.747 % |
6945.65/6948.99 c | 588557 | 13667 56476 169393 | 2147483647 479540 29 | 2.747 % |
7040.40/7043.76 c | 593863 | 13667 56476 169393 | 2147483647 484846 29 | 2.747 % |
7042.49/7045.84 c | 593964 | 13667 56476 169393 | 2147483647 484947 29 | 2.747 % |
7044.49/7047.87 c | 594075 | 13667 56476 169393 | 2147483647 485058 29 | 2.747 % |
7047.19/7050.51 c | 594197 | 13667 56476 169393 | 2147483647 485180 29 | 2.747 % |
7049.49/7052.84 c | 594330 | 13667 56476 169393 | 2147483647 485313 29 | 2.747 % |
7052.00/7055.37 c | 594477 | 13667 56476 169393 | 2147483647 485460 29 | 2.747 % |
7054.99/7058.33 c | 594638 | 13667 56476 169393 | 2147483647 485621 29 | 2.747 % |
7057.99/7061.39 c | 594814 | 13667 56476 169393 | 2147483647 485797 29 | 2.747 % |
7061.58/7064.93 c | 595007 | 13667 56476 169393 | 2147483647 485990 29 | 2.747 % |
7065.38/7068.70 c | 595219 | 13667 56476 169393 | 2147483647 486202 29 | 2.747 % |
7069.48/7072.84 c | 595452 | 13667 56476 169393 | 2147483647 486435 29 | 2.747 % |
7074.08/7077.50 c | 595708 | 13667 56476 169393 | 2147483647 486691 29 | 2.747 % |
7078.87/7082.26 c | 595990 | 13667 56476 169393 | 2147483647 486973 29 | 2.747 % |
7084.27/7087.62 c | 596299 | 13667 56476 169393 | 2147483647 487282 29 | 2.747 % |
7089.97/7093.37 c | 596639 | 13667 56476 169393 | 2147483647 487622 29 | 2.747 % |
7096.57/7099.92 c | 597012 | 13667 56476 169393 | 2147483647 487995 29 | 2.747 % |
7104.56/7107.96 c | 597422 | 13667 56476 169393 | 2147483647 488405 29 | 2.747 % |
7112.46/7115.89 c | 597872 | 13667 56476 169393 | 2147483647 488855 29 | 2.747 % |
7122.15/7125.56 c | 598366 | 13667 56476 169393 | 2147483647 489349 29 | 2.747 % |
7130.95/7134.32 c | 598908 | 13667 56476 169393 | 2147483647 489891 29 | 2.747 % |
7143.35/7146.75 c | 599506 | 13667 56476 169393 | 2147483647 490489 29 | 2.747 % |
7155.33/7158.79 c | 600162 | 13667 56476 169393 | 490984 491145 29 | 2.747 % |
7165.93/7169.37 c | 600883 | 13667 56476 169393 | 490984 491866 29 | 2.747 % |
7184.22/7187.66 c | 601675 | 13667 56476 169393 | 490984 434791 28 | 2.747 % |
7197.51/7200.92 c | 602547 | 13667 56476 169393 | 490984 435663 28 | 2.747 % |
7211.90/7215.33 c | 603506 | 13667 56476 169393 | 490984 436622 28 | 2.747 % |
7228.39/7231.84 c | 604560 | 13667 56476 169393 | 490984 437676 28 | 2.747 % |
7245.78/7249.26 c | 605719 | 13667 56476 169393 | 490984 438835 28 | 2.747 % |
7265.98/7269.43 c | 606992 | 13667 56476 169393 | 490984 440108 28 | 2.747 % |
7285.97/7289.49 c | 608394 | 13667 56476 169393 | 490984 441510 28 | 2.747 % |
7307.56/7311.03 c | 609934 | 13667 56476 169393 | 490984 443050 28 | 2.747 % |
7334.54/7338.08 c | 611628 | 13667 56476 169393 | 2147483647 444744 28 | 2.747 % |
7362.93/7366.45 c | 613491 | 13667 56476 169393 | 2147483647 446607 28 | 2.747 % |
7391.51/7395.09 c | 615541 | 13667 56476 169393 | 2147483647 448657 28 | 2.747 % |
7428.39/7431.93 c | 617794 | 13667 56476 169393 | 2147483647 450910 28 | 2.747 % |
7467.47/7471.04 c | 620272 | 13667 56476 169393 | 2147483647 453388 28 | 2.747 % |
7512.55/7516.12 c | 622998 | 13667 56476 169393 | 2147483647 456114 28 | 2.747 % |
7564.02/7567.64 c | 625995 | 13667 56476 169393 | 2147483647 459111 28 | 2.747 % |
7616.00/7619.68 c | 629291 | 13667 56476 169393 | 2147483647 462407 28 | 2.747 % |
7675.07/7678.70 c | 632917 | 13667 56476 169393 | 2147483647 466033 28 | 2.747 % |
7739.74/7743.45 c | 636904 | 13667 56476 169393 | 2147483647 470020 28 | 2.747 % |
7814.50/7818.22 c | 641289 | 13667 56476 169393 | 2147483647 474405 28 | 2.747 % |
7895.26/7899.05 c | 646112 | 13667 56476 169393 | 2147483647 479228 28 | 2.747 % |
7983.52/7987.37 c | 651419 | 13667 56476 169393 | 2147483647 484535 28 | 2.747 % |
8075.98/8079.80 c | 657254 | 13667 56476 169393 | 2147483647 490370 28 | 2.747 % |
8077.68/8081.50 c | 657358 | 13667 56476 169393 | 2147483647 490474 28 | 2.747 % |
8079.68/8083.53 c | 657468 | 13667 56476 169393 | 2147483647 490584 28 | 2.747 % |
8081.88/8085.76 c | 657589 | 13667 56476 169393 | 2147483647 490705 28 | 2.747 % |
8084.38/8088.28 c | 657722 | 13667 56476 169393 | 2147483647 490838 28 | 2.747 % |
8087.08/8090.98 c | 657868 | 13667 56476 169393 | 2147483647 490984 28 | 2.747 % |
8089.57/8093.45 c | 658028 | 13667 56476 169393 | 2147483647 491144 28 | 2.747 % |
8093.07/8096.98 c | 658204 | 13667 56476 169393 | 2147483647 491320 28 | 2.747 % |
8096.16/8100.00 c | 658397 | 13667 56476 169393 | 2147483647 491513 28 | 2.747 % |
8099.77/8103.70 c | 658611 | 13667 56476 169393 | 2147483647 491727 28 | 2.747 % |
8103.66/8107.53 c | 658844 | 13667 56476 169393 | 2147483647 491960 28 | 2.747 % |
8107.86/8111.72 c | 659101 | 13667 56476 169393 | 2147483647 492217 28 | 2.747 % |
8112.36/8116.20 c | 659382 | 13667 56476 169393 | 2147483647 492498 28 | 2.747 % |
8117.46/8121.37 c | 659693 | 13667 56476 169393 | 2147483647 492809 28 | 2.747 % |
8123.26/8127.12 c | 660033 | 13667 56476 169393 | 2147483647 493149 28 | 2.747 % |
8129.56/8133.46 c | 660406 | 13667 56476 169393 | 2147483647 493522 28 | 2.747 % |
8135.85/8139.73 c | 660817 | 13667 56476 169393 | 2147483647 493933 28 | 2.747 % |
8143.54/8147.43 c | 661266 | 13667 56476 169393 | 2147483647 494382 28 | 2.747 % |
8152.14/8156.00 c | 661759 | 13667 56476 169393 | 2147483647 494875 28 | 2.747 % |
8162.03/8165.98 c | 662301 | 13667 56476 169393 | 2147483647 495417 28 | 2.747 % |
8172.33/8176.20 c | 662899 | 13667 56476 169393 | 2147483647 496015 28 | 2.747 % |
8183.12/8187.01 c | 663555 | 13667 56476 169393 | 2147483647 496671 28 | 2.747 % |
8195.31/8199.21 c | 664275 | 13667 56476 169393 | 2147483647 497391 28 | 2.747 % |
8207.41/8211.40 c | 665068 | 13667 56476 169393 | 2147483647 498184 28 | 2.747 % |
8221.91/8225.88 c | 665940 | 13667 56476 169393 | 2147483647 499056 28 | 2.747 % |
8239.40/8243.39 c | 666899 | 13667 56476 169393 | 2147483647 500015 28 | 2.747 % |
8256.69/8260.65 c | 667953 | 13667 56476 169393 | 2147483647 501069 28 | 2.747 % |
8276.07/8280.09 c | 669111 | 13667 56476 169393 | 2147483647 502227 28 | 2.747 % |
8297.77/8301.73 c | 670384 | 13667 56476 169393 | 2147483647 503500 28 | 2.747 % |
8321.85/8325.87 c | 671784 | 13667 56476 169393 | 2147483647 504900 28 | 2.747 % |
8346.84/8350.89 c | 673324 | 13667 56476 169393 | 2147483647 506440 28 | 2.747 % |
8377.52/8381.59 c | 675018 | 13667 56476 169393 | 2147483647 508134 28 | 2.747 % |
8411.40/8415.40 c | 676882 | 13667 56476 169393 | 2147483647 509998 28 | 2.747 % |
8444.59/8448.63 c | 678931 | 13667 56476 169393 | 2147483647 512047 28 | 2.747 % |
8482.97/8487.00 c | 681184 | 13667 56476 169393 | 2147483647 514300 28 | 2.747 % |
8524.05/8528.20 c | 683663 | 13667 56476 169393 | 2147483647 516779 28 | 2.747 % |
8570.02/8574.19 c | 686389 | 13667 56476 169393 | 2147483647 519505 28 | 2.747 % |
8618.60/8622.78 c | 689386 | 13667 56476 169393 | 2147483647 522502 28 | 2.747 % |
8661.17/8665.39 c | 692684 | 13667 56476 169393 | 2147483647 525800 28 | 2.747 % |
8725.93/8730.17 c | 696309 | 13667 56476 169393 | 2147483647 529425 28 | 2.747 % |
8792.20/8796.44 c | 700297 | 13667 56476 169393 | 533117 533413 28 | 2.747 % |
8871.37/8875.67 c | 704683 | 13667 56476 169393 | 533117 467724 28 | 2.747 % |
8947.83/8952.12 c | 709507 | 13667 56476 169393 | 533117 472548 28 | 2.747 % |
9032.00/9036.38 c | 714812 | 13667 56476 169393 | 473043 430408 28 | 2.747 % |
9115.95/9120.33 c | 720648 | 13667 56476 169393 | 2147483647 436244 28 | 2.747 % |
9215.40/9219.89 c | 727067 | 13667 56476 169393 | 2147483647 442663 28 | 2.747 % |
9216.70/9221.15 c | 727168 | 13667 56476 169393 | 2147483647 442764 28 | 2.747 % |
9218.50/9222.94 c | 727279 | 13667 56476 169393 | 2147483647 442875 28 | 2.747 % |
9220.40/9224.87 c | 727400 | 13667 56476 169393 | 2147483647 442996 28 | 2.747 % |
9222.80/9227.21 c | 727534 | 13667 56476 169393 | 2147483647 443130 28 | 2.747 % |
9225.30/9229.70 c | 727681 | 13667 56476 169393 | 2147483647 443277 28 | 2.747 % |
9227.80/9232.21 c | 727841 | 13667 56476 169393 | 2147483647 443437 28 | 2.747 % |
9230.69/9235.14 c | 728018 | 13667 56476 169393 | 2147483647 443614 28 | 2.747 % |
9233.99/9238.48 c | 728212 | 13667 56476 169393 | 2147483647 443808 28 | 2.747 % |
9237.09/9241.59 c | 728424 | 13667 56476 169393 | 2147483647 444020 28 | 2.747 % |
9240.79/9245.26 c | 728657 | 13667 56476 169393 | 2147483647 444253 28 | 2.747 % |
9245.59/9250.09 c | 728913 | 13667 56476 169393 | 2147483647 444509 28 | 2.747 % |
9249.98/9254.43 c | 729194 | 13667 56476 169393 | 2147483647 444790 28 | 2.747 % |
9254.78/9259.26 c | 729503 | 13667 56476 169393 | 2147483647 445099 28 | 2.747 % |
9260.48/9264.98 c | 729842 | 13667 56476 169393 | 2147483647 445438 28 | 2.747 % |
9266.37/9270.83 c | 730216 | 13667 56476 169393 | 2147483647 445812 28 | 2.747 % |
9272.87/9277.39 c | 730625 | 13667 56476 169393 | 2147483647 446221 28 | 2.747 % |
9278.76/9283.23 c | 731074 | 13667 56476 169393 | 2147483647 446670 28 | 2.747 % |
9286.96/9291.46 c | 731567 | 13667 56476 169393 | 2147483647 447163 28 | 2.747 % |
9294.76/9299.27 c | 732109 | 13667 56476 169393 | 2147483647 447705 28 | 2.747 % |
9303.95/9308.48 c | 732706 | 13667 56476 169393 | 2147483647 448302 28 | 2.747 % |
9314.35/9318.85 c | 733362 | 13667 56476 169393 | 2147483647 448958 28 | 2.747 % |
9326.04/9330.59 c | 734082 | 13667 56476 169393 | 2147483647 449678 28 | 2.747 % |
9339.04/9343.55 c | 734874 | 13667 56476 169393 | 2147483647 450470 28 | 2.747 % |
9348.23/9352.77 c | 735747 | 13667 56476 169393 | 2147483647 451343 28 | 2.747 % |
9364.12/9368.70 c | 736706 | 13667 56476 169393 | 2147483647 452302 28 | 2.747 % |
9380.21/9384.74 c | 737761 | 13667 56476 169393 | 2147483647 453357 28 | 2.747 % |
9402.40/9406.92 c | 738919 | 13667 56476 169393 | 2147483647 454515 28 | 2.747 % |
9423.69/9428.28 c | 740193 | 13667 56476 169393 | 2147483647 455789 28 | 2.747 % |
9444.97/9449.58 c | 741594 | 13667 56476 169393 | 2147483647 457190 28 | 2.747 % |
9470.36/9474.97 c | 743135 | 13667 56476 169393 | 2147483647 458731 28 | 2.747 % |
9497.15/9501.80 c | 744829 | 13667 56476 169393 | 2147483647 460425 28 | 2.747 % |
9526.24/9530.87 c | 746693 | 13667 56476 169393 | 2147483647 462289 28 | 2.747 % |
9559.42/9564.00 c | 748743 | 13667 56476 169393 | 2147483647 464339 28 | 2.747 % |
9594.31/9598.94 c | 750997 | 13667 56476 169393 | 2147483647 466593 28 | 2.747 % |
9630.39/9635.07 c | 753476 | 13667 56476 169393 | 2147483647 469072 28 | 2.747 % |
9676.77/9681.46 c | 756202 | 13667 56476 169393 | 2147483647 471798 28 | 2.747 % |
9726.14/9730.83 c | 759199 | 13667 56476 169393 | 2147483647 474795 28 | 2.747 % |
9779.02/9783.76 c | 762495 | 13667 56476 169393 | 2147483647 478091 28 | 2.747 % |
9836.79/9841.51 c | 766121 | 13667 56476 169393 | 2147483647 481717 28 | 2.747 % |
9896.26/9901.05 c | 770108 | 13667 56476 169393 | 2147483647 485704 28 | 2.747 % |
9966.62/9971.41 c | 774495 | 13667 56476 169393 | 2147483647 490091 28 | 2.747 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837338-1242867641/watcher-1837338-1242867641 -o /tmp/evaluation-result-1837338-1242867641/solver-1837338-1242867641 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837338-1242867641.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: 1.00 1.01 1.00 3/64 30471
/proc/meminfo: memFree=1522936/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=0
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 314798204 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 206381482066 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/30471/statm: 1339 235 195 169 0 50 0
[pid=30472] ppid=30471 vsize=5356 CPUtime=0
/proc/30472/stat : 30472 (SatELiteGTI) S 30471 30471 30298 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 314798204 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/30472/statm: 1339 238 198 169 0 50 0
[pid=30474] ppid=30472 vsize=5356 CPUtime=0
/proc/30474/stat : 30474 (SatELiteGTI) R 30472 30471 30298 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381313319 0 0 4096 0 0 0 0 17 1 0 0
/proc/30474/statm: 1339 239 199 169 0 50 0
[startup+0.0518851 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 30471
/proc/meminfo: memFree=1522936/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=0
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314798204 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30471/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101892 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 30471
/proc/meminfo: memFree=1522936/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=0
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314798204 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30471/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301928 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 30471
/proc/meminfo: memFree=1522936/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=0
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314798204 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30471/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702002 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 30471
/proc/meminfo: memFree=1522936/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=0
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314798204 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30471/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50116 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 30476
/proc/meminfo: memFree=1503528/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 5356
[startup+3.10144 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 30477
/proc/meminfo: memFree=1512680/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=5876 CPUtime=1.74
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 1313 0 0 0 174 0 0 0 25 0 1 0 314798339 6017024 1299 1992294400 134512640 135215339 4294956240 18446744073709551615 134525081 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 1469 1299 76 171 0 1296 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11232
[startup+6.30202 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 30477
/proc/meminfo: memFree=1512232/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=6144 CPUtime=4.94
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 1385 0 0 0 494 0 0 0 25 0 1 0 314798339 6291456 1371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 1536 1371 76 171 0 1363 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11500
[startup+12.7012 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 30477
/proc/meminfo: memFree=1512040/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=6408 CPUtime=11.33
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 1455 0 0 0 1133 0 0 0 25 0 1 0 314798339 6561792 1441 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 1602 1441 76 171 0 1429 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 11764
[startup+25.5015 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 30483
/proc/meminfo: memFree=1511464/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=6840 CPUtime=24.13
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 1568 0 0 0 2412 1 0 0 25 0 1 0 314798339 7004160 1554 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 1710 1554 76 171 0 1537 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 12196
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30483
/proc/meminfo: memFree=1510568/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=7912 CPUtime=49.71
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 1813 0 0 0 4970 1 0 0 25 0 1 0 314798339 8101888 1799 1992294400 134512640 135215339 4294956240 18446744073709551615 134538556 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 1978 1799 76 171 0 1805 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 13268
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30483
/proc/meminfo: memFree=1508712/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=9772 CPUtime=100.9
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 2295 0 0 0 10088 2 0 0 25 0 1 0 314798339 10006528 2281 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 2443 2281 76 171 0 2270 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 15128
[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30483
/proc/meminfo: memFree=1506408/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=12080 CPUtime=160.88
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 2867 0 0 0 16085 3 0 0 25 0 1 0 314798339 12369920 2853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 3020 2853 76 171 0 2847 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 17436
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30483
/proc/meminfo: memFree=1504296/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=14324 CPUtime=220.84
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 3378 0 0 0 22081 3 0 0 25 0 1 0 314798339 14667776 3364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 3581 3364 76 171 0 3408 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 19680
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30483
/proc/meminfo: memFree=1502440/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=16008 CPUtime=280.82
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 3825 0 0 0 28078 4 0 0 25 0 1 0 314798339 16392192 3811 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 4002 3811 76 171 0 3829 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 21364
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30483
/proc/meminfo: memFree=1500712/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=17836 CPUtime=340.79
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 4260 0 0 0 34075 4 0 0 25 0 1 0 314798339 18264064 4246 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 4459 4246 76 171 0 4286 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 23192
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30483
/proc/meminfo: memFree=1499048/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=19480 CPUtime=400.77
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 4663 0 0 0 40072 5 0 0 25 0 1 0 314798339 19947520 4649 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 4870 4649 76 171 0 4697 0
Current children cumulated CPU time (s) 402.11
################
# More data... #
################
/proc/30477/statm: 24159 22931 76 171 0 23986 0
Current children cumulated CPU time (s) 9397.81
Current children cumulated vsize (KiB) 101992
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30975
/proc/meminfo: memFree=1422952/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=96636 CPUtime=9456.43
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 22951 0 0 0 945605 38 0 0 25 0 1 0 314798339 98955264 22937 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 24159 22937 76 171 0 23986 0
Current children cumulated CPU time (s) 9457.77
Current children cumulated vsize (KiB) 101992
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30975
/proc/meminfo: memFree=1422888/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=96636 CPUtime=9516.4
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 22953 0 0 0 951602 38 0 0 25 0 1 0 314798339 98955264 22939 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 24159 22939 76 171 0 23986 0
Current children cumulated CPU time (s) 9517.74
Current children cumulated vsize (KiB) 101992
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30975
/proc/meminfo: memFree=1422888/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=96636 CPUtime=9576.38
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 22955 0 0 0 957599 39 0 0 25 0 1 0 314798339 98955264 22941 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 24159 22941 76 171 0 23986 0
Current children cumulated CPU time (s) 9577.72
Current children cumulated vsize (KiB) 101992
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30975
/proc/meminfo: memFree=1422888/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=96636 CPUtime=9636.35
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 22955 0 0 0 963596 39 0 0 25 0 1 0 314798339 98955264 22941 1992294400 134512640 135215339 4294956240 18446744073709551615 134528726 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 24159 22941 76 171 0 23986 0
Current children cumulated CPU time (s) 9637.69
Current children cumulated vsize (KiB) 101992
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30975
/proc/meminfo: memFree=1422760/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=96636 CPUtime=9696.32
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 22955 0 0 0 969593 39 0 0 25 0 1 0 314798339 98955264 22941 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 24159 22941 76 171 0 23986 0
Current children cumulated CPU time (s) 9697.66
Current children cumulated vsize (KiB) 101992
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30977
/proc/meminfo: memFree=1422632/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=96636 CPUtime=9756.29
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 22955 0 0 0 975590 39 0 0 25 0 1 0 314798339 98955264 22941 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 24159 22941 76 171 0 23986 0
Current children cumulated CPU time (s) 9757.63
Current children cumulated vsize (KiB) 101992
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30977
/proc/meminfo: memFree=1422696/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=96636 CPUtime=9816.25
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 22955 0 0 0 981586 39 0 0 25 0 1 0 314798339 98955264 22941 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 24159 22941 76 171 0 23986 0
Current children cumulated CPU time (s) 9817.59
Current children cumulated vsize (KiB) 101992
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30977
/proc/meminfo: memFree=1422696/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=96716 CPUtime=9876.23
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 22971 0 0 0 987584 39 0 0 25 0 1 0 314798339 99037184 22957 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 24179 22957 76 171 0 24006 0
Current children cumulated CPU time (s) 9877.57
Current children cumulated vsize (KiB) 102072
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30977
/proc/meminfo: memFree=1422696/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=96716 CPUtime=9936.2
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 22981 0 0 0 993581 39 0 0 25 0 1 0 314798339 99037184 22967 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 24179 22967 76 171 0 24006 0
Current children cumulated CPU time (s) 9937.54
Current children cumulated vsize (KiB) 102072
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30977
/proc/meminfo: memFree=1422696/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=96716 CPUtime=9996.16
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 22983 0 0 0 999577 39 0 0 25 0 1 0 314798339 99037184 22969 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 24179 22969 76 171 0 24006 0
Current children cumulated CPU time (s) 9997.5
Current children cumulated vsize (KiB) 102072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10004.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30977
/proc/meminfo: memFree=1422696/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=96716 CPUtime=9998.76
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 22983 0 0 0 999837 39 0 0 25 0 1 0 314798339 99037184 22969 1992294400 134512640 135215339 4294956240 18446744073709551615 134528630 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 24179 22969 76 171 0 24006 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 102072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10004.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30977
/proc/meminfo: memFree=1422696/2055920 swapFree=4180416/4192956
[pid=30471] ppid=30469 vsize=5356 CPUtime=1.34
/proc/30471/stat : 30471 (SatELiteGTI) S 30469 30471 30298 0 -1 4194304 336 4355 0 0 0 0 131 3 19 0 1 0 314798204 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30471/statm: 1339 239 197 169 0 50 0
[pid=30477] ppid=30471 vsize=96716 CPUtime=9998.76
/proc/30477/stat : 30477 (minisat_static) R 30471 30471 30298 0 -1 4194304 22983 0 0 0 999837 39 0 0 25 0 1 0 314798339 99037184 22969 1992294400 134512640 135215339 4294956240 18446744073709551615 134528630 0 0 4096 3 0 0 0 17 0 0 0
/proc/30477/statm: 24179 22969 76 171 0 24006 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 102072
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30471 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=314800
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=33994
# CPU time returned by wait4() is 1.34879
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10004.9
CPU time (s): 10000.1
CPU user time (s): 9999.68
CPU system time (s): 0.42
CPU usage (%): 99.9519
Max. virtual memory (cumulated for all children) (KiB): 102072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3148
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4691
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 8
runsolver used 9.1926 second user time and 27.2998 second system time
The end
Begin job on node2 at 2009-05-21 03:00:41
IDJOB=1837338
IDBENCH=70868
IDSOLVER=674
FILE ID=node2/1837338-1242867641
PBS_JOBID= 9328578
Free space on /tmp= 66316 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-23-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837338-1242867641/watcher-1837338-1242867641 -o /tmp/evaluation-result-1837338-1242867641/solver-1837338-1242867641 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837338-1242867641.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= aa3fff3e05d3f50a3d088c22afa455ea
RANDOM SEED=727530946
node2.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.265
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.265
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: 1523416 kB
Buffers: 59720 kB
Cached: 420924 kB
SwapCached: 6780 kB
Active: 189456 kB
Inactive: 300104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1523416 kB
SwapTotal: 4192956 kB
SwapFree: 4180416 kB
Dirty: 3096 kB
Writeback: 0 kB
Mapped: 14052 kB
Slab: 28884 kB
Committed_AS: 1323300 kB
PageTables: 1468 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= 66308 MiB
End job on node2 at 2009-05-21 05:47:28