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 | 94910 223744 | 28472 0 0 nan | 0.000 % |
1.28/1.35 c | 0 | 57628 172230 | -- 0 -- -- | -- | -36942/-50538
1.28/1.35 c ==============================================================================
1.28/1.35 c Result : #vars: 13864 #clauses: 57628 #literals: 172230
1.28/1.35 c CPU time: 1.3238 s
1.28/1.35 c ==============================================================================
1.39/1.42 c This is MiniSat 2.0 beta
1.39/1.42 c WARNING: for repeatability, setting FPU to use double precision
1.39/1.42 c ============================[ Problem Statistics ]=============================
1.39/1.42 c | |
1.39/1.42 c | Number of variables: 13864 |
1.39/1.42 c | Number of clauses: 57628 |
1.39/1.46 c | Parsing time: 0.03 s |
1.39/1.46 c ============================[ Search Statistics ]==============================
1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.39/1.46 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.39/1.46 c ===============================================================================
1.39/1.46 c | 0 | 13864 57628 172230 | 19209 0 nan | 0.000 % |
1.41/1.60 c | 100 | 13820 57628 172230 | 19209 95 48 | 1.183 % |
1.41/1.84 c | 201 | 13700 56760 170096 | 19209 191 51 | 1.183 % |
2.08/2.19 c | 302 | 13700 56760 170096 | 19209 292 44 | 1.183 % |
2.47/2.60 c | 413 | 13700 56760 170096 | 19209 403 39 | 1.183 % |
2.67/2.72 c | 514 | 13700 56760 170096 | 19209 504 46 | 1.183 % |
2.87/2.92 c | 624 | 13700 56760 170096 | 19209 614 49 | 1.183 % |
3.28/3.37 c | 746 | 13700 56760 170096 | 19209 736 45 | 1.183 % |
3.77/3.81 c | 846 | 13700 56760 170096 | 19209 836 42 | 1.183 % |
4.17/4.20 c | 956 | 13700 56760 170096 | 19209 946 40 | 1.183 % |
4.57/4.66 c | 1078 | 13700 56760 170096 | 19209 1068 38 | 1.183 % |
5.08/5.16 c | 1211 | 13700 56760 170096 | 19209 1201 36 | 1.183 % |
5.58/5.64 c | 1312 | 13700 56760 170096 | 19209 1302 35 | 1.183 % |
5.98/6.09 c | 1422 | 13700 56760 170096 | 19209 1412 34 | 1.183 % |
6.58/6.65 c | 1544 | 13700 56760 170096 | 19209 1534 33 | 1.183 % |
7.28/7.30 c | 1678 | 13700 56760 170096 | 19209 1668 32 | 1.183 % |
7.98/8.03 c | 1824 | 13700 56760 170096 | 19209 1814 31 | 1.183 % |
8.28/8.38 c | 1924 | 13700 56760 170096 | 19209 1914 31 | 1.183 % |
8.78/8.86 c | 2035 | 13700 56760 170096 | 19209 2025 30 | 1.183 % |
9.38/9.45 c | 2157 | 13700 56760 170096 | 19209 2147 30 | 1.183 % |
9.98/10.05 c | 2290 | 13700 56760 170096 | 19209 2280 30 | 1.183 % |
10.57/10.62 c | 2437 | 13700 56760 170096 | 19209 2427 30 | 1.183 % |
11.17/11.24 c | 2598 | 13700 56760 170096 | 19209 2588 30 | 1.183 % |
11.57/11.65 c | 2698 | 13700 56760 170096 | 19209 2688 29 | 1.183 % |
12.08/12.15 c | 2810 | 13700 56760 170096 | 19209 2800 29 | 1.183 % |
12.58/12.66 c | 2932 | 13700 56760 170096 | 19209 2922 29 | 1.183 % |
13.08/13.18 c | 3065 | 13700 56760 170096 | 19209 3055 29 | 1.183 % |
13.58/13.68 c | 3211 | 13700 56760 170096 | 19209 3201 29 | 1.183 % |
14.28/14.32 c | 3371 | 13700 56760 170096 | 19209 3361 29 | 1.183 % |
14.67/14.76 c | 3547 | 13654 56548 169615 | 19209 3536 29 | 1.515 % |
15.07/15.16 c | 3647 | 13654 56548 169615 | 19209 3636 29 | 1.515 % |
15.28/15.35 c | 3757 | 13654 56548 169615 | 19209 3746 30 | 1.515 % |
15.77/15.84 c | 3880 | 13654 56548 169615 | 19209 3869 30 | 1.515 % |
16.37/16.49 c | 4013 | 13654 56548 169615 | 19209 4002 30 | 1.515 % |
17.07/17.17 c | 4159 | 13654 56548 169615 | 19209 4148 30 | 1.515 % |
17.77/17.83 c | 4320 | 13654 56548 169615 | 19209 4309 29 | 1.515 % |
18.57/18.61 c | 4497 | 13654 56548 169615 | 19209 4486 29 | 1.515 % |
19.37/19.46 c | 4691 | 13654 56548 169615 | 19209 4680 29 | 1.515 % |
19.77/19.86 c | 4791 | 13654 56548 169615 | 19209 4780 29 | 1.515 % |
19.97/20.05 c | 4901 | 13654 56548 169615 | 19209 4890 29 | 1.515 % |
20.57/20.61 c | 5023 | 13654 56548 169615 | 19209 5012 29 | 1.515 % |
21.07/21.11 c | 5156 | 13654 56548 169615 | 19209 5145 29 | 1.515 % |
21.47/21.57 c | 5302 | 13605 56336 169131 | 19209 5286 29 | 1.868 % |
22.07/22.12 c | 5462 | 13605 56336 169131 | 19209 5446 29 | 1.868 % |
22.57/22.68 c | 5640 | 13605 56336 169131 | 19209 5624 29 | 1.868 % |
23.17/23.26 c | 5834 | 13605 56336 169131 | 19209 5818 29 | 1.868 % |
23.97/24.08 c | 6047 | 13605 56336 169131 | 19209 6031 29 | 1.868 % |
24.07/24.12 c | 6150 | 13605 56336 169131 | 19209 6134 30 | 1.868 % |
24.47/24.50 c | 6260 | 13605 56336 169131 | 19209 6244 30 | 1.868 % |
24.67/24.79 c | 6382 | 13605 56336 169131 | 19209 6366 30 | 1.868 % |
25.37/25.41 c | 6515 | 13605 56336 169131 | 19209 6499 30 | 1.868 % |
25.97/26.02 c | 6662 | 13605 56336 169131 | 19209 6646 30 | 1.868 % |
26.57/26.68 c | 6823 | 13605 56336 169131 | 19209 6807 30 | 1.868 % |
27.17/27.28 c | 7000 | 13605 56336 169131 | 19209 6984 30 | 1.868 % |
28.07/28.17 c | 7194 | 13605 56336 169131 | 19209 7178 30 | 1.868 % |
28.97/29.04 c | 7406 | 13605 56336 169131 | 19209 7390 29 | 1.868 % |
30.07/30.18 c | 7639 | 13605 56336 169131 | 19209 7623 29 | 1.868 % |
30.57/30.64 c | 7739 | 13605 56336 169131 | 19209 7723 29 | 1.868 % |
30.97/31.07 c | 7850 | 13605 56336 169131 | 19209 7834 29 | 1.868 % |
31.67/31.71 c | 7972 | 13605 56336 169131 | 19209 7956 29 | 1.868 % |
32.37/32.42 c | 8106 | 13605 56336 169131 | 19209 8090 29 | 1.868 % |
32.87/32.99 c | 8254 | 13605 56336 169131 | 19209 8238 29 | 1.868 % |
33.16/33.23 c | 8414 | 13605 56336 169131 | 19209 8398 29 | 1.868 % |
33.97/34.10 c | 8591 | 13605 56336 169131 | 19209 8575 30 | 1.868 % |
34.86/34.94 c | 8786 | 13605 56336 169131 | 19209 8770 30 | 1.868 % |
35.86/35.91 c | 8999 | 13605 56336 169131 | 19209 8983 29 | 1.868 % |
36.86/36.96 c | 9233 | 13605 56336 169131 | 19209 9217 29 | 1.868 % |
37.76/37.87 c | 9490 | 13605 56336 169131 | 19209 9474 29 | 1.868 % |
38.26/38.31 c | 9590 | 13605 56336 169131 | 19209 9574 29 | 1.868 % |
38.66/38.79 c | 9701 | 13605 56336 169131 | 19209 9685 29 | 1.868 % |
39.27/39.33 c | 9823 | 13605 56336 169131 | 19209 9807 29 | 1.868 % |
39.87/39.94 c | 9956 | 13605 56336 169131 | 19209 9940 29 | 1.868 % |
40.47/40.53 c | 10103 | 13605 56336 169131 | 2147483647 10087 29 | 1.868 % |
41.37/41.40 c | 10263 | 13605 56336 169131 | 2147483647 10247 29 | 1.868 % |
42.27/42.34 c | 10439 | 13605 56336 169131 | 2147483647 10423 29 | 1.868 % |
43.27/43.33 c | 10633 | 13605 56336 169131 | 2147483647 10617 29 | 1.868 % |
44.07/44.19 c | 10845 | 13605 56336 169131 | 2147483647 10829 28 | 1.868 % |
45.17/45.28 c | 11078 | 13605 56336 169131 | 2147483647 11062 28 | 1.868 % |
46.37/46.45 c | 11335 | 13605 56336 169131 | 2147483647 11319 28 | 1.868 % |
47.57/47.66 c | 11616 | 13605 56336 169131 | 2147483647 11600 28 | 1.868 % |
47.97/48.09 c | 11717 | 13605 56336 169131 | 2147483647 11701 28 | 1.868 % |
48.57/48.65 c | 11828 | 13605 56336 169131 | 2147483647 11812 28 | 1.868 % |
49.16/49.29 c | 11949 | 13605 56336 169131 | 2147483647 11933 28 | 1.868 % |
49.86/49.93 c | 12085 | 13605 56336 169131 | 2147483647 12069 28 | 1.868 % |
50.57/50.60 c | 12231 | 13605 56336 169131 | 2147483647 12215 28 | 1.868 % |
51.16/51.21 c | 12392 | 13605 56336 169131 | 2147483647 12376 28 | 1.868 % |
51.67/51.77 c | 12568 | 13605 56336 169131 | 2147483647 12552 28 | 1.868 % |
52.36/52.48 c | 12761 | 13605 56336 169131 | 2147483647 12745 28 | 1.868 % |
53.26/53.31 c | 12973 | 13605 56336 169131 | 2147483647 12957 28 | 1.868 % |
54.26/54.34 c | 13206 | 13605 56336 169131 | 2147483647 13190 28 | 1.868 % |
55.56/55.66 c | 13463 | 13605 56336 169131 | 2147483647 13447 28 | 1.868 % |
56.96/57.01 c | 13745 | 13605 56336 169131 | 2147483647 13729 28 | 1.868 % |
58.56/58.64 c | 14054 | 13605 56336 169131 | 2147483647 14038 28 | 1.868 % |
59.06/59.17 c | 14154 | 13605 56336 169131 | 2147483647 14138 28 | 1.868 % |
59.66/59.70 c | 14264 | 13605 56336 169131 | 2147483647 14248 28 | 1.868 % |
60.26/60.31 c | 14386 | 13605 56336 169131 | 2147483647 14370 28 | 1.868 % |
60.66/60.77 c | 14520 | 13605 56336 169131 | 2147483647 14504 28 | 1.868 % |
61.16/61.25 c | 14666 | 13605 56336 169131 | 2147483647 14650 28 | 1.868 % |
61.86/61.96 c | 14827 | 13605 56336 169131 | 2147483647 14811 28 | 1.868 % |
62.76/62.85 c | 15003 | 13605 56336 169131 | 2147483647 14987 28 | 1.868 % |
63.76/63.85 c | 15197 | 13605 56336 169131 | 2147483647 15181 28 | 1.868 % |
64.86/64.97 c | 15410 | 13605 56336 169131 | 2147483647 15394 28 | 1.868 % |
66.16/66.27 c | 15644 | 13605 56336 169131 | 2147483647 15628 27 | 1.868 % |
67.36/67.41 c | 15900 | 13605 56336 169131 | 2147483647 15884 27 | 1.868 % |
68.66/68.79 c | 16182 | 13605 56336 169131 | 2147483647 16166 27 | 1.868 % |
70.06/70.19 c | 16491 | 13605 56336 169131 | 2147483647 16475 27 | 1.868 % |
71.76/71.82 c | 16830 | 13605 56336 169131 | 2147483647 16814 27 | 1.868 % |
72.26/72.38 c | 16931 | 13605 56336 169131 | 2147483647 16915 27 | 1.868 % |
72.86/72.97 c | 17042 | 13605 56336 169131 | 2147483647 17026 27 | 1.868 % |
73.56/73.61 c | 17164 | 13605 56336 169131 | 2147483647 17148 27 | 1.868 % |
74.05/74.17 c | 17298 | 13605 56336 169131 | 2147483647 17282 27 | 1.868 % |
74.15/74.28 c | 17445 | 13605 56336 169131 | 2147483647 17429 27 | 1.868 % |
74.95/75.03 c | 17606 | 13605 56336 169131 | 2147483647 17590 27 | 1.868 % |
75.45/75.58 c | 17782 | 13605 56336 169131 | 2147483647 17766 27 | 1.868 % |
76.35/76.46 c | 17975 | 13605 56336 169131 | 2147483647 17959 27 | 1.868 % |
77.35/77.46 c | 18187 | 13605 56336 169131 | 2147483647 18171 27 | 1.868 % |
78.35/78.49 c | 18420 | 13605 56336 169131 | 2147483647 18404 27 | 1.868 % |
79.75/79.84 c | 18677 | 13605 56336 169131 | 2147483647 18661 27 | 1.868 % |
80.95/81.10 c | 18958 | 13605 56336 169131 | 2147483647 18942 27 | 1.868 % |
82.35/82.45 c | 19267 | 13605 56336 169131 | 2147483647 19251 27 | 1.868 % |
83.75/83.88 c | 19606 | 13605 56336 169131 | 2147483647 19590 27 | 1.868 % |
85.26/85.34 c | 19978 | 13605 56336 169131 | 2147483647 19962 27 | 1.868 % |
85.76/85.86 c | 20078 | 13605 56336 169131 | 2147483647 20062 27 | 1.868 % |
86.36/86.43 c | 20188 | 13605 56336 169131 | 2147483647 20172 27 | 1.868 % |
86.86/86.95 c | 20311 | 13605 56336 169131 | 2147483647 20295 28 | 1.868 % |
87.46/87.57 c | 20444 | 13605 56336 169131 | 2147483647 20428 28 | 1.868 % |
88.26/88.31 c | 20591 | 13605 56336 169131 | 2147483647 20575 28 | 1.868 % |
89.06/89.17 c | 20752 | 13605 56336 169131 | 2147483647 20736 27 | 1.868 % |
89.96/90.05 c | 20928 | 13605 56336 169131 | 2147483647 20912 27 | 1.868 % |
90.36/90.43 c | 21122 | 13605 56336 169131 | 2147483647 21106 28 | 1.868 % |
91.35/91.40 c | 21334 | 13605 56336 169131 | 2147483647 21318 28 | 1.868 % |
92.15/92.29 c | 21568 | 13605 56336 169131 | 2147483647 21552 28 | 1.868 % |
93.36/93.48 c | 21825 | 13605 56336 169131 | 2147483647 21809 28 | 1.868 % |
94.65/94.76 c | 22107 | 13605 56336 169131 | 2147483647 22091 28 | 1.868 % |
96.25/96.32 c | 22417 | 13605 56336 169131 | 2147483647 22401 28 | 1.868 % |
97.86/97.92 c | 22757 | 13605 56336 169131 | 2147483647 22741 27 | 1.868 % |
99.75/99.81 c | 23130 | 13605 56336 169131 | 2147483647 23114 28 | 1.868 % |
101.75/101.81 c | 23539 | 13605 56336 169131 | 2147483647 23523 28 | 1.868 % |
102.25/102.33 c | 23641 | 13605 56336 169131 | 2147483647 23625 28 | 1.868 % |
102.75/102.90 c | 23752 | 13605 56336 169131 | 2147483647 23736 28 | 1.868 % |
103.35/103.47 c | 23874 | 13605 56336 169131 | 2147483647 23858 28 | 1.868 % |
104.05/104.18 c | 24008 | 13605 56336 169131 | 2147483647 23992 28 | 1.868 % |
104.95/105.09 c | 24156 | 13605 56336 169131 | 2147483647 24140 28 | 1.868 % |
105.85/105.97 c | 24316 | 13605 56336 169131 | 2147483647 24300 27 | 1.868 % |
106.85/106.93 c | 24492 | 13605 56336 169131 | 2147483647 24476 27 | 1.868 % |
107.85/108.00 c | 24686 | 13605 56336 169131 | 2147483647 24670 27 | 1.868 % |
108.75/108.81 c | 24898 | 13605 56336 169131 | 2147483647 24882 28 | 1.868 % |
109.04/109.13 c | 25131 | 13605 56336 169131 | 2147483647 25115 28 | 1.868 % |
109.95/110.03 c | 25387 | 13605 56336 169131 | 2147483647 25371 28 | 1.868 % |
111.24/111.36 c | 25669 | 13605 56336 169131 | 2147483647 25653 28 | 1.868 % |
112.94/113.03 c | 25979 | 13605 56336 169131 | 2147483647 25963 28 | 1.868 % |
114.24/114.30 c | 26318 | 13605 56336 169131 | 2147483647 26302 28 | 1.868 % |
115.94/116.00 c | 26691 | 13605 56336 169131 | 2147483647 26675 28 | 1.868 % |
116.64/116.77 c | 27102 | 13605 56336 169131 | 2147483647 27086 29 | 1.868 % |
118.84/118.91 c | 27551 | 13605 56336 169131 | 2147483647 27535 29 | 1.868 % |
119.14/119.28 c | 27651 | 13605 56336 169131 | 2147483647 27635 29 | 1.868 % |
119.64/119.73 c | 27762 | 13605 56336 169131 | 2147483647 27746 29 | 1.868 % |
120.24/120.34 c | 27883 | 13605 56336 169131 | 2147483647 27867 29 | 1.868 % |
120.74/120.83 c | 28017 | 13605 56336 169131 | 2147483647 28001 29 | 1.868 % |
121.44/121.50 c | 28163 | 13605 56336 169131 | 2147483647 28147 29 | 1.868 % |
122.24/122.36 c | 28324 | 13605 56336 169131 | 2147483647 28308 29 | 1.868 % |
123.14/123.23 c | 28501 | 13605 56336 169131 | 2147483647 28485 29 | 1.868 % |
123.64/123.72 c | 28694 | 13605 56336 169131 | 2147483647 28678 29 | 1.868 % |
124.34/124.43 c | 28906 | 13605 56336 169131 | 2147483647 28890 29 | 1.868 % |
125.24/125.35 c | 29139 | 13605 56336 169131 | 2147483647 29123 29 | 1.868 % |
126.14/126.24 c | 29395 | 13605 56336 169131 | 2147483647 29379 29 | 1.868 % |
127.34/127.40 c | 29678 | 13605 56336 169131 | 2147483647 29662 29 | 1.868 % |
128.65/128.71 c | 29989 | 13605 56336 169131 | 2147483647 29973 29 | 1.868 % |
130.24/130.31 c | 30329 | 13605 56336 169131 | 2147483647 30313 29 | 1.868 % |
131.95/132.01 c | 30701 | 13605 56336 169131 | 2147483647 30685 29 | 1.868 % |
133.84/133.91 c | 31111 | 13605 56336 169131 | 2147483647 31095 30 | 1.868 % |
135.84/135.92 c | 31560 | 13605 56336 169131 | 2147483647 31544 30 | 1.868 % |
138.04/138.19 c | 32056 | 13605 56336 169131 | 2147483647 32040 30 | 1.868 % |
138.64/138.72 c | 32157 | 13605 56336 169131 | 2147483647 32141 29 | 1.868 % |
139.14/139.29 c | 32267 | 13605 56336 169131 | 2147483647 32251 29 | 1.868 % |
139.84/139.90 c | 32388 | 13605 56336 169131 | 2147483647 32372 29 | 1.868 % |
140.54/140.67 c | 32521 | 13605 56336 169131 | 2147483647 32505 29 | 1.868 % |
141.34/141.46 c | 32667 | 13605 56336 169131 | 2147483647 32651 30 | 1.868 % |
142.04/142.16 c | 32827 | 13605 56336 169131 | 2147483647 32811 30 | 1.868 % |
142.34/142.49 c | 33003 | 13605 56336 169131 | 2147483647 32987 30 | 1.868 % |
143.44/143.50 c | 33197 | 13605 56336 169131 | 2147483647 33181 30 | 1.868 % |
144.44/144.55 c | 33410 | 13605 56336 169131 | 2147483647 33394 30 | 1.868 % |
145.54/145.63 c | 33644 | 13605 56336 169131 | 2147483647 33628 30 | 1.868 % |
146.94/147.03 c | 33902 | 13605 56336 169131 | 2147483647 33886 30 | 1.868 % |
148.44/148.57 c | 34185 | 13605 56336 169131 | 2147483647 34169 30 | 1.868 % |
150.24/150.33 c | 34494 | 13605 56336 169131 | 2147483647 34478 30 | 1.868 % |
152.14/152.22 c | 34833 | 13605 56336 169131 | 2147483647 34817 30 | 1.868 % |
154.13/154.28 c | 35206 | 13605 56336 169131 | 2147483647 35190 30 | 1.868 % |
156.53/156.61 c | 35616 | 13605 56336 169131 | 2147483647 35600 30 | 1.868 % |
158.83/158.95 c | 36066 | 13605 56336 169131 | 2147483647 36050 30 | 1.868 % |
161.03/161.20 c | 36559 | 13605 56336 169131 | 2147483647 36543 30 | 1.868 % |
163.93/164.06 c | 37102 | 13605 56336 169131 | 2147483647 37086 30 | 1.868 % |
164.54/164.62 c | 37202 | 13605 56336 169131 | 2147483647 37186 30 | 1.868 % |
165.14/165.24 c | 37312 | 13605 56336 169131 | 2147483647 37296 30 | 1.868 % |
165.84/165.95 c | 37433 | 13605 56336 169131 | 2147483647 37417 30 | 1.868 % |
166.64/166.73 c | 37568 | 13605 56336 169131 | 2147483647 37552 30 | 1.868 % |
167.44/167.56 c | 37714 | 13605 56336 169131 | 2147483647 37698 30 | 1.868 % |
168.24/168.34 c | 37874 | 13605 56336 169131 | 2147483647 37858 30 | 1.868 % |
169.24/169.34 c | 38050 | 13605 56336 169131 | 2147483647 38034 30 | 1.868 % |
170.13/170.29 c | 38244 | 13605 56336 169131 | 2147483647 38228 30 | 1.868 % |
170.44/170.57 c | 38458 | 13605 56336 169131 | 2147483647 38442 30 | 1.868 % |
171.63/171.71 c | 38692 | 13605 56336 169131 | 2147483647 38676 30 | 1.868 % |
172.93/173.00 c | 38949 | 13605 56336 169131 | 2147483647 38933 30 | 1.868 % |
174.53/174.68 c | 39231 | 13605 56336 169131 | 2147483647 39215 30 | 1.868 % |
176.23/176.32 c | 39541 | 13605 56336 169131 | 2147483647 39525 30 | 1.868 % |
178.14/178.29 c | 39881 | 13605 56336 169131 | 2147483647 39865 30 | 1.868 % |
180.43/180.55 c | 40253 | 13605 56336 169131 | 2147483647 40237 30 | 1.868 % |
182.33/182.44 c | 40662 | 13605 56336 169131 | 2147483647 40646 30 | 1.868 % |
184.93/185.01 c | 41112 | 13605 56336 169131 | 2147483647 41096 30 | 1.868 % |
187.73/187.85 c | 41606 | 13605 56336 169131 | 2147483647 41590 30 | 1.868 % |
190.93/191.06 c | 42148 | 13605 56336 169131 | 2147483647 42132 30 | 1.868 % |
194.13/194.25 c | 42745 | 13605 56336 169131 | 2147483647 42729 30 | 1.868 % |
194.53/194.65 c | 42847 | 13605 56336 169131 | 2147483647 42831 30 | 1.868 % |
195.13/195.23 c | 42958 | 13605 56336 169131 | 2147483647 42942 30 | 1.868 % |
195.53/195.69 c | 43080 | 13605 56336 169131 | 2147483647 43064 30 | 1.868 % |
196.43/196.57 c | 43213 | 13605 56336 169131 | 2147483647 43197 30 | 1.868 % |
197.32/197.41 c | 43360 | 13605 56336 169131 | 2147483647 43344 30 | 1.868 % |
198.32/198.41 c | 43521 | 13605 56336 169131 | 2147483647 43505 30 | 1.868 % |
198.93/199.08 c | 43698 | 13605 56336 169131 | 2147483647 43682 30 | 1.868 % |
200.13/200.28 c | 43891 | 13605 56336 169131 | 2147483647 43875 30 | 1.868 % |
201.42/201.57 c | 44104 | 13605 56336 169131 | 2147483647 44088 30 | 1.868 % |
202.92/203.00 c | 44337 | 13605 56336 169131 | 2147483647 44321 30 | 1.868 % |
204.22/204.35 c | 44595 | 13605 56336 169131 | 2147483647 44579 30 | 1.868 % |
206.02/206.14 c | 44877 | 13605 56336 169131 | 2147483647 44861 30 | 1.868 % |
207.52/207.67 c | 45187 | 13605 56336 169131 | 2147483647 45171 30 | 1.868 % |
209.62/209.70 c | 45527 | 13605 56336 169131 | 2147483647 45511 30 | 1.868 % |
212.02/212.14 c | 45899 | 13605 56336 169131 | 2147483647 45883 30 | 1.868 % |
214.32/214.47 c | 46309 | 13605 56336 169131 | 2147483647 46293 30 | 1.868 % |
217.32/217.41 c | 46758 | 13605 56336 169131 | 2147483647 46742 30 | 1.868 % |
220.02/220.19 c | 47252 | 13605 56336 169131 | 2147483647 47236 30 | 1.868 % |
223.61/223.70 c | 47797 | 13605 56336 169131 | 2147483647 47781 30 | 1.868 % |
227.11/227.23 c | 48393 | 13605 56336 169131 | 2147483647 48377 30 | 1.868 % |
231.01/231.12 c | 49048 | 13605 56336 169131 | 2147483647 49032 29 | 1.868 % |
231.61/231.72 c | 49149 | 13605 56336 169131 | 2147483647 49133 29 | 1.868 % |
232.31/232.41 c | 49259 | 13605 56336 169131 | 2147483647 49243 29 | 1.868 % |
233.01/233.19 c | 49381 | 13605 56336 169131 | 2147483647 49365 29 | 1.868 % |
233.91/234.03 c | 49514 | 13605 56336 169131 | 2147483647 49498 29 | 1.868 % |
234.81/234.96 c | 49660 | 13605 56336 169131 | 2147483647 49644 29 | 1.868 % |
235.91/236.03 c | 49820 | 13605 56336 169131 | 2147483647 49804 29 | 1.868 % |
236.81/236.91 c | 49998 | 13605 56336 169131 | 2147483647 49982 29 | 1.868 % |
237.91/238.06 c | 50193 | 13605 56336 169131 | 2147483647 50177 29 | 1.868 % |
239.31/239.49 c | 50405 | 13605 56336 169131 | 2147483647 50389 29 | 1.868 % |
240.81/240.95 c | 50639 | 13605 56336 169131 | 2147483647 50623 29 | 1.868 % |
242.32/242.48 c | 50896 | 13605 56336 169131 | 2147483647 50880 29 | 1.868 % |
244.02/244.13 c | 51178 | 13605 56336 169131 | 2147483647 51162 29 | 1.868 % |
245.31/245.43 c | 51487 | 13605 56336 169131 | 2147483647 51471 29 | 1.868 % |
247.11/247.23 c | 51827 | 13605 56336 169131 | 2147483647 51811 29 | 1.868 % |
249.01/249.11 c | 52199 | 13605 56336 169131 | 2147483647 52183 29 | 1.868 % |
251.41/251.56 c | 52609 | 13605 56336 169131 | 2147483647 52593 29 | 1.868 % |
252.91/253.08 c | 53059 | 13605 56336 169131 | 2147483647 53043 30 | 1.868 % |
255.31/255.43 c | 53552 | 13605 56336 169131 | 2147483647 53536 30 | 1.868 % |
258.31/258.49 c | 54097 | 13605 56336 169131 | 2147483647 54081 30 | 1.868 % |
261.71/261.83 c | 54694 | 13605 56336 169131 | 2147483647 54678 30 | 1.868 % |
265.70/265.85 c | 55350 | 13605 56336 169131 | 2147483647 55334 30 | 1.868 % |
270.30/270.45 c | 56072 | 13605 56336 169131 | 2147483647 56056 30 | 1.868 % |
271.00/271.18 c | 56173 | 13605 56336 169131 | 2147483647 56157 30 | 1.868 % |
271.80/271.93 c | 56284 | 13605 56336 169131 | 2147483647 56268 30 | 1.868 % |
272.50/272.64 c | 56405 | 13605 56336 169131 | 2147483647 56389 30 | 1.868 % |
273.40/273.54 c | 56538 | 13605 56336 169131 | 2147483647 56522 30 | 1.868 % |
274.30/274.48 c | 56684 | 13605 56336 169131 | 2147483647 56668 30 | 1.868 % |
275.40/275.50 c | 56844 | 13605 56336 169131 | 2147483647 56828 30 | 1.868 % |
276.60/276.73 c | 57021 | 13605 56336 169131 | 2147483647 57005 30 | 1.868 % |
277.90/278.00 c | 57214 | 13605 56336 169131 | 2147483647 57198 30 | 1.868 % |
278.90/279.09 c | 57426 | 13605 56336 169131 | 2147483647 57410 30 | 1.868 % |
280.10/280.23 c | 57661 | 13605 56336 169131 | 2147483647 57645 30 | 1.868 % |
281.30/281.44 c | 57918 | 13605 56336 169131 | 2147483647 57902 30 | 1.868 % |
282.80/282.94 c | 58199 | 13605 56336 169131 | 2147483647 58183 30 | 1.868 % |
284.60/284.71 c | 58508 | 13605 56336 169131 | 2147483647 58492 30 | 1.868 % |
286.20/286.37 c | 58848 | 13605 56336 169131 | 2147483647 58832 30 | 1.868 % |
288.59/288.72 c | 59220 | 13605 56336 169131 | 2147483647 59204 30 | 1.868 % |
290.79/290.94 c | 59629 | 13605 56336 169131 | 2147483647 59613 30 | 1.868 % |
293.89/294.00 c | 60078 | 13605 56336 169131 | 2147483647 60062 29 | 1.868 % |
297.29/297.45 c | 60571 | 13605 56336 169131 | 2147483647 60555 29 | 1.868 % |
300.69/300.83 c | 61114 | 13605 56336 169131 | 2147483647 61098 29 | 1.868 % |
304.49/304.69 c | 61710 | 13605 56336 169131 | 2147483647 61694 29 | 1.868 % |
308.59/308.79 c | 62366 | 13605 56336 169131 | 2147483647 62350 29 | 1.868 % |
312.89/313.06 c | 63087 | 13605 56336 169131 | 2147483647 63071 29 | 1.868 % |
318.49/318.64 c | 63879 | 13605 56336 169131 | 2147483647 63863 29 | 1.868 % |
318.99/319.17 c | 63980 | 13605 56336 169131 | 2147483647 63964 29 | 1.868 % |
319.59/319.77 c | 64091 | 13605 56336 169131 | 2147483647 64075 29 | 1.868 % |
320.49/320.61 c | 64213 | 13605 56336 169131 | 2147483647 64197 29 | 1.868 % |
321.29/321.48 c | 64347 | 13605 56336 169131 | 2147483647 64331 29 | 1.868 % |
322.29/322.47 c | 64494 | 13605 56336 169131 | 2147483647 64478 29 | 1.868 % |
323.39/323.53 c | 64655 | 13605 56336 169131 | 2147483647 64639 29 | 1.868 % |
324.69/324.80 c | 64831 | 13605 56336 169131 | 2147483647 64815 29 | 1.868 % |
325.99/326.12 c | 65024 | 13605 56336 169131 | 2147483647 65008 29 | 1.868 % |
327.39/327.52 c | 65236 | 13605 56336 169131 | 2147483647 65220 29 | 1.868 % |
328.29/328.40 c | 65469 | 13605 56336 169131 | 2147483647 65453 29 | 1.868 % |
329.99/330.13 c | 65726 | 13605 56336 169131 | 2147483647 65710 29 | 1.868 % |
331.99/332.19 c | 66009 | 13605 56336 169131 | 2147483647 65993 29 | 1.868 % |
334.08/334.25 c | 66319 | 13605 56336 169131 | 2147483647 66303 29 | 1.868 % |
336.49/336.69 c | 66658 | 13605 56336 169131 | 2147483647 66642 29 | 1.868 % |
339.18/339.31 c | 67030 | 13605 56336 169131 | 2147483647 67014 29 | 1.868 % |
341.88/342.08 c | 67441 | 13605 56336 169131 | 2147483647 67425 29 | 1.868 % |
344.59/344.72 c | 67892 | 13605 56336 169131 | 2147483647 67876 29 | 1.868 % |
347.69/347.81 c | 68385 | 13605 56336 169131 | 2147483647 68369 29 | 1.868 % |
350.98/351.18 c | 68929 | 13605 56336 169131 | 2147483647 68913 29 | 1.868 % |
354.88/355.03 c | 69525 | 13605 56336 169131 | 2147483647 69509 29 | 1.868 % |
358.98/359.10 c | 70180 | 13605 56336 169131 | 2147483647 70164 29 | 1.868 % |
363.38/363.59 c | 70900 | 13605 56336 169131 | 2147483647 70884 29 | 1.868 % |
367.28/367.47 c | 71692 | 13605 56336 169131 | 2147483647 71676 29 | 1.868 % |
373.18/373.32 c | 72563 | 13605 56336 169131 | 2147483647 72547 29 | 1.868 % |
373.78/373.97 c | 72664 | 13605 56336 169131 | 2147483647 72648 29 | 1.868 % |
374.58/374.70 c | 72774 | 13605 56336 169131 | 2147483647 72758 29 | 1.868 % |
375.58/375.74 c | 72895 | 13605 56336 169131 | 2147483647 72879 29 | 1.868 % |
376.48/376.65 c | 73028 | 13605 56336 169131 | 2147483647 73012 29 | 1.868 % |
377.67/377.80 c | 73174 | 13605 56336 169131 | 2147483647 73158 29 | 1.868 % |
378.77/378.96 c | 73334 | 13605 56336 169131 | 2147483647 73318 29 | 1.868 % |
380.07/380.22 c | 73510 | 13605 56336 169131 | 2147483647 73494 29 | 1.868 % |
381.37/381.50 c | 73703 | 13605 56336 169131 | 2147483647 73687 29 | 1.868 % |
382.77/382.95 c | 73916 | 13605 56336 169131 | 2147483647 73900 29 | 1.868 % |
384.37/384.55 c | 74150 | 13605 56336 169131 | 2147483647 74134 29 | 1.868 % |
385.97/386.19 c | 74407 | 13605 56336 169131 | 2147483647 74391 29 | 1.868 % |
387.87/388.04 c | 74689 | 13605 56336 169131 | 2147483647 74673 29 | 1.868 % |
389.87/390.06 c | 74998 | 13605 56336 169131 | 2147483647 74982 29 | 1.868 % |
392.27/392.40 c | 75337 | 13605 56336 169131 | 2147483647 75321 29 | 1.868 % |
394.77/394.94 c | 75709 | 13605 56336 169131 | 2147483647 75693 29 | 1.868 % |
397.57/397.78 c | 76119 | 13605 56336 169131 | 2147483647 76103 29 | 1.868 % |
400.27/400.49 c | 76568 | 13605 56336 169131 | 2147483647 76552 29 | 1.868 % |
402.87/403.01 c | 77061 | 13605 56336 169131 | 2147483647 77045 29 | 1.868 % |
406.47/406.61 c | 77603 | 13605 56336 169131 | 2147483647 77587 29 | 1.868 % |
410.36/410.55 c | 78199 | 13605 56336 169131 | 2147483647 78183 29 | 1.868 % |
413.96/414.18 c | 78854 | 13605 56336 169131 | 2147483647 78838 29 | 1.868 % |
418.56/418.76 c | 79575 | 13605 56336 169131 | 2147483647 79559 29 | 1.868 % |
424.36/424.59 c | 80367 | 13605 56336 169131 | 2147483647 80351 29 | 1.868 % |
430.45/430.67 c | 81238 | 13605 56336 169131 | 2147483647 81222 29 | 1.868 % |
436.56/436.75 c | 82196 | 13605 56336 169131 | 2147483647 82180 29 | 1.868 % |
437.16/437.35 c | 82296 | 13605 56336 169131 | 2147483647 82280 29 | 1.868 % |
437.96/438.17 c | 82406 | 13605 56336 169131 | 2147483647 82390 29 | 1.868 % |
438.86/439.06 c | 82527 | 13605 56336 169131 | 2147483647 82511 29 | 1.868 % |
439.76/439.98 c | 82660 | 13605 56336 169131 | 2147483647 82644 29 | 1.868 % |
440.76/440.95 c | 82807 | 13605 56336 169131 | 2147483647 82791 29 | 1.868 % |
441.76/442.00 c | 82967 | 13605 56336 169131 | 2147483647 82951 29 | 1.868 % |
442.96/443.18 c | 83144 | 13605 56336 169131 | 2147483647 83128 29 | 1.868 % |
444.46/444.66 c | 83338 | 13605 56336 169131 | 2147483647 83322 29 | 1.868 % |
446.06/446.26 c | 83551 | 13605 56336 169131 | 2147483647 83535 29 | 1.868 % |
447.95/448.10 c | 83785 | 13605 56336 169131 | 2147483647 83769 29 | 1.868 % |
449.66/449.89 c | 84041 | 13605 56336 169131 | 2147483647 84025 29 | 1.868 % |
451.75/451.97 c | 84322 | 13605 56336 169131 | 2147483647 84306 29 | 1.868 % |
453.95/454.10 c | 84631 | 13605 56336 169131 | 2147483647 84615 29 | 1.868 % |
456.25/456.43 c | 84970 | 13605 56336 169131 | 2147483647 84954 29 | 1.868 % |
459.05/459.21 c | 85343 | 13605 56336 169131 | 2147483647 85327 29 | 1.868 % |
461.65/461.86 c | 85752 | 13605 56336 169131 | 2147483647 85736 29 | 1.868 % |
464.75/464.92 c | 86201 | 13605 56336 169131 | 2147483647 86185 29 | 1.868 % |
467.35/467.57 c | 86695 | 13605 56336 169131 | 2147483647 86679 29 | 1.868 % |
471.34/471.58 c | 87237 | 13605 56336 169131 | 2147483647 87221 29 | 1.868 % |
475.24/475.44 c | 87834 | 13605 56336 169131 | 2147483647 87818 29 | 1.868 % |
479.14/479.32 c | 88489 | 13605 56336 169131 | 2147483647 88473 29 | 1.868 % |
484.14/484.37 c | 89209 | 13605 56336 169131 | 2147483647 89193 29 | 1.868 % |
489.74/489.90 c | 90002 | 13605 56336 169131 | 2147483647 89986 29 | 1.868 % |
496.24/496.44 c | 90874 | 13605 56336 169131 | 2147483647 90858 29 | 1.868 % |
502.94/503.12 c | 91832 | 13605 56336 169131 | 2147483647 91816 29 | 1.868 % |
509.44/509.70 c | 92885 | 13605 56336 169131 | 2147483647 92869 29 | 1.868 % |
510.24/510.49 c | 92986 | 13605 56336 169131 | 2147483647 92970 29 | 1.868 % |
511.14/511.31 c | 93096 | 13605 56336 169131 | 2147483647 93080 29 | 1.868 % |
512.14/512.30 c | 93218 | 13605 56336 169131 | 2147483647 93202 29 | 1.868 % |
513.24/513.40 c | 93352 | 13605 56336 169131 | 2147483647 93336 29 | 1.868 % |
514.44/514.65 c | 93498 | 13605 56336 169131 | 2147483647 93482 29 | 1.868 % |
515.74/515.95 c | 93659 | 13605 56336 169131 | 2147483647 93643 29 | 1.868 % |
516.74/516.92 c | 93835 | 13605 56336 169131 | 2147483647 93819 29 | 1.868 % |
518.14/518.35 c | 94029 | 13605 56336 169131 | 2147483647 94013 29 | 1.868 % |
519.84/520.00 c | 94242 | 13605 56336 169131 | 2147483647 94226 29 | 1.868 % |
521.33/521.51 c | 94477 | 13605 56336 169131 | 2147483647 94461 29 | 1.868 % |
523.34/523.58 c | 94736 | 13605 56336 169131 | 2147483647 94720 29 | 1.868 % |
525.64/525.83 c | 95017 | 13605 56336 169131 | 2147483647 95001 29 | 1.868 % |
527.84/528.02 c | 95326 | 13605 56336 169131 | 2147483647 95310 29 | 1.868 % |
530.43/530.63 c | 95665 | 13605 56336 169131 | 2147483647 95649 29 | 1.868 % |
533.53/533.74 c | 96037 | 13605 56336 169131 | 2147483647 96021 29 | 1.868 % |
536.53/536.80 c | 96448 | 13605 56336 169131 | 2147483647 96432 29 | 1.868 % |
539.73/539.95 c | 96897 | 13605 56336 169131 | 2147483647 96881 29 | 1.868 % |
543.93/544.12 c | 97390 | 13605 56336 169131 | 2147483647 97374 29 | 1.868 % |
548.03/548.23 c | 97932 | 13605 56336 169131 | 2147483647 97916 29 | 1.868 % |
552.83/553.01 c | 98528 | 13605 56336 169131 | 2147483647 98512 29 | 1.868 % |
558.02/558.28 c | 99184 | 13605 56336 169131 | 2147483647 99168 29 | 1.868 % |
563.62/563.86 c | 99904 | 13605 56336 169131 | 2147483647 99888 29 | 1.868 % |
570.12/570.36 c | 100698 | 13605 56336 169131 | 2147483647 100682 29 | 1.868 % |
577.32/577.58 c | 101570 | 13605 56336 169131 | 2147483647 101554 29 | 1.868 % |
584.62/584.87 c | 102529 | 13605 56336 169131 | 2147483647 102513 29 | 1.868 % |
592.81/593.00 c | 103583 | 13605 56336 169131 | 2147483647 103567 29 | 1.868 % |
601.01/601.22 c | 104743 | 13605 56336 169131 | 2147483647 104727 29 | 1.868 % |
601.81/602.07 c | 104844 | 13605 56336 169131 | 2147483647 104828 29 | 1.868 % |
602.61/602.86 c | 104954 | 13605 56336 169131 | 2147483647 104938 29 | 1.868 % |
603.41/603.64 c | 105075 | 13605 56336 169131 | 2147483647 105059 29 | 1.868 % |
604.51/604.73 c | 105208 | 13605 56336 169131 | 2147483647 105192 29 | 1.868 % |
605.81/606.09 c | 105355 | 13605 56336 169131 | 2147483647 105339 29 | 1.868 % |
607.31/607.51 c | 105515 | 13605 56336 169131 | 2147483647 105499 29 | 1.868 % |
608.81/609.06 c | 105691 | 13605 56336 169131 | 2147483647 105675 29 | 1.868 % |
610.41/610.61 c | 105884 | 13605 56336 169131 | 2147483647 105868 29 | 1.868 % |
612.01/612.26 c | 106096 | 13605 56336 169131 | 2147483647 106080 29 | 1.868 % |
613.91/614.19 c | 106329 | 13605 56336 169131 | 2147483647 106313 29 | 1.868 % |
616.11/616.40 c | 106586 | 13605 56336 169131 | 2147483647 106570 29 | 1.868 % |
618.31/618.58 c | 106867 | 13605 56336 169131 | 2147483647 106851 29 | 1.868 % |
620.81/621.05 c | 107177 | 13605 56336 169131 | 2147483647 107161 29 | 1.868 % |
623.20/623.40 c | 107516 | 13605 56336 169131 | 2147483647 107500 29 | 1.868 % |
626.10/626.31 c | 107889 | 13605 56336 169131 | 2147483647 107873 29 | 1.868 % |
629.10/629.37 c | 108299 | 13605 56336 169131 | 2147483647 108283 29 | 1.868 % |
632.40/632.68 c | 108749 | 13605 56336 169131 | 2147483647 108733 29 | 1.868 % |
636.50/636.79 c | 109245 | 13605 56336 169131 | 2147483647 109229 29 | 1.868 % |
639.20/639.40 c | 109787 | 13605 56336 169131 | 2147483647 109771 29 | 1.868 % |
642.60/642.85 c | 110383 | 13605 56336 169131 | 2147483647 110367 29 | 1.868 % |
647.60/647.82 c | 111039 | 13605 56336 169131 | 2147483647 111023 29 | 1.868 % |
653.49/653.79 c | 111759 | 13605 56336 169131 | 2147483647 111743 29 | 1.868 % |
659.29/659.53 c | 112552 | 13605 56336 169131 | 2147483647 112536 29 | 1.868 % |
665.50/665.79 c | 113423 | 13605 56336 169131 | 2147483647 113407 29 | 1.868 % |
672.19/672.42 c | 114382 | 13605 56336 169131 | 2147483647 114366 29 | 1.868 % |
680.09/680.31 c | 115435 | 13605 56336 169131 | 2147483647 115419 29 | 1.868 % |
688.79/689.01 c | 116594 | 13605 56336 169131 | 2147483647 116578 29 | 1.868 % |
698.88/699.18 c | 117868 | 13605 56336 169131 | 2147483647 117852 29 | 1.868 % |
699.58/699.88 c | 117969 | 13605 56336 169131 | 2147483647 117953 29 | 1.868 % |
700.49/700.76 c | 118080 | 13605 56336 169131 | 2147483647 118064 29 | 1.868 % |
701.49/701.79 c | 118201 | 13605 56336 169131 | 2147483647 118185 29 | 1.868 % |
702.59/702.85 c | 118335 | 13605 56336 169131 | 2147483647 118319 29 | 1.868 % |
703.88/704.15 c | 118482 | 13605 56336 169131 | 2147483647 118466 29 | 1.868 % |
705.08/705.36 c | 118642 | 13605 56336 169131 | 2147483647 118626 29 | 1.868 % |
706.28/706.59 c | 118818 | 13605 56336 169131 | 2147483647 118802 29 | 1.868 % |
707.88/708.11 c | 119011 | 13605 56336 169131 | 2147483647 118995 29 | 1.868 % |
709.68/709.91 c | 119226 | 13605 56336 169131 | 2147483647 119210 29 | 1.868 % |
711.58/711.87 c | 119460 | 13605 56336 169131 | 2147483647 119444 29 | 1.868 % |
713.58/713.89 c | 119716 | 13605 56336 169131 | 2147483647 119700 29 | 1.868 % |
715.98/716.21 c | 119997 | 13605 56336 169131 | 2147483647 119981 29 | 1.868 % |
718.38/718.66 c | 120307 | 13605 56336 169131 | 2147483647 120291 29 | 1.868 % |
721.38/721.61 c | 120646 | 13605 56336 169131 | 2147483647 120630 29 | 1.868 % |
724.77/725.03 c | 121018 | 13605 56336 169131 | 2147483647 121002 29 | 1.868 % |
728.47/728.70 c | 121429 | 13605 56336 169131 | 2147483647 121413 29 | 1.868 % |
732.27/732.57 c | 121878 | 13605 56336 169131 | 2147483647 121862 29 | 1.868 % |
736.77/737.06 c | 122371 | 13605 56336 169131 | 2147483647 122355 29 | 1.868 % |
741.17/741.43 c | 122913 | 13605 56336 169131 | 2147483647 122897 29 | 1.868 % |
746.27/746.50 c | 123509 | 13605 56336 169131 | 2147483647 123493 29 | 1.868 % |
752.07/752.36 c | 124165 | 13605 56336 169131 | 2147483647 124149 29 | 1.868 % |
758.06/758.39 c | 124885 | 13605 56336 169131 | 2147483647 124869 29 | 1.868 % |
763.97/764.20 c | 125678 | 13605 56336 169131 | 2147483647 125662 29 | 1.868 % |
770.47/770.73 c | 126549 | 13605 56336 169131 | 2147483647 126533 29 | 1.868 % |
778.76/779.10 c | 127507 | 13605 56336 169131 | 2147483647 127491 29 | 1.868 % |
787.46/787.79 c | 128561 | 13605 56336 169131 | 2147483647 128545 29 | 1.868 % |
796.66/796.97 c | 129720 | 13605 56336 169131 | 2147483647 129704 29 | 1.868 % |
806.15/806.47 c | 130994 | 13605 56336 169131 | 2147483647 130978 29 | 1.868 % |
817.75/818.08 c | 132394 | 13605 56336 169131 | 2147483647 132378 29 | 1.868 % |
818.65/818.96 c | 132494 | 13605 56336 169131 | 2147483647 132478 29 | 1.868 % |
819.65/819.91 c | 132606 | 13605 56336 169131 | 2147483647 132590 29 | 1.868 % |
820.65/820.95 c | 132728 | 13605 56336 169131 | 2147483647 132712 29 | 1.868 % |
821.85/822.11 c | 132863 | 13605 56336 169131 | 2147483647 132847 29 | 1.868 % |
822.95/823.20 c | 133010 | 13605 56336 169131 | 2147483647 132994 29 | 1.868 % |
824.24/824.58 c | 133171 | 13605 56336 169131 | 2147483647 133155 29 | 1.868 % |
825.75/826.01 c | 133348 | 13605 56336 169131 | 2147483647 133332 29 | 1.868 % |
827.14/827.41 c | 133542 | 13605 56336 169131 | 2147483647 133526 29 | 1.868 % |
828.84/829.17 c | 133755 | 13605 56336 169131 | 2147483647 133739 29 | 1.868 % |
831.04/831.32 c | 133988 | 13605 56336 169131 | 2147483647 133972 29 | 1.868 % |
832.84/833.15 c | 134245 | 13605 56336 169131 | 2147483647 134229 29 | 1.868 % |
835.54/835.81 c | 134527 | 13605 56336 169131 | 2147483647 134511 29 | 1.868 % |
838.34/838.69 c | 134837 | 13605 56336 169131 | 2147483647 134821 29 | 1.868 % |
840.84/841.18 c | 135177 | 13605 56336 169131 | 2147483647 135161 29 | 1.868 % |
843.94/844.22 c | 135550 | 13605 56336 169131 | 2147483647 135534 29 | 1.868 % |
846.94/847.25 c | 135959 | 13605 56336 169131 | 2147483647 135943 29 | 1.868 % |
850.54/850.84 c | 136409 | 13605 56336 169131 | 2147483647 136393 29 | 1.868 % |
853.44/853.72 c | 136902 | 13605 56336 169131 | 2147483647 136886 29 | 1.868 % |
857.94/858.28 c | 137444 | 13605 56336 169131 | 2147483647 137428 29 | 1.868 % |
862.74/863.07 c | 138041 | 13605 56336 169131 | 2147483647 138025 29 | 1.868 % |
869.04/869.33 c | 138696 | 13605 56336 169131 | 2147483647 138680 29 | 1.868 % |
875.44/875.74 c | 139416 | 13605 56336 169131 | 2147483647 139400 29 | 1.868 % |
882.63/882.91 c | 140208 | 13605 56336 169131 | 2147483647 140192 29 | 1.868 % |
890.23/890.50 c | 141079 | 13605 56336 169131 | 2147483647 141063 29 | 1.868 % |
899.03/899.36 c | 142037 | 13605 56336 169131 | 2147483647 142021 29 | 1.868 % |
907.93/908.25 c | 143090 | 13605 56336 169131 | 2147483647 143074 29 | 1.868 % |
917.52/917.81 c | 144248 | 13605 56336 169131 | 2147483647 144232 29 | 1.868 % |
928.53/928.84 c | 145521 | 13605 56336 169131 | 2147483647 145505 29 | 1.868 % |
940.12/940.49 c | 146922 | 13605 56336 169131 | 2147483647 146906 29 | 1.868 % |
953.62/953.95 c | 148462 | 13605 56336 169131 | 2147483647 148446 29 | 1.868 % |
954.52/954.87 c | 148564 | 13605 56336 169131 | 2147483647 148548 29 | 1.868 % |
955.62/955.90 c | 148674 | 13605 56336 169131 | 2147483647 148658 29 | 1.868 % |
956.52/956.81 c | 148797 | 13605 56336 169131 | 2147483647 148781 29 | 1.868 % |
957.82/958.12 c | 148931 | 13605 56336 169131 | 2147483647 148915 29 | 1.868 % |
959.11/959.46 c | 149077 | 13605 56336 169131 | 2147483647 149061 29 | 1.868 % |
960.41/960.78 c | 149237 | 13605 56336 169131 | 2147483647 149221 29 | 1.868 % |
962.12/962.42 c | 149413 | 13605 56336 169131 | 2147483647 149397 28 | 1.868 % |
964.01/964.32 c | 149607 | 13605 56336 169131 | 2147483647 149591 28 | 1.868 % |
965.81/966.15 c | 149819 | 13605 56336 169131 | 2147483647 149803 28 | 1.868 % |
967.62/967.97 c | 150052 | 13605 56336 169131 | 2147483647 150036 28 | 1.868 % |
969.71/970.01 c | 150310 | 13605 56336 169131 | 2147483647 150294 29 | 1.868 % |
972.31/972.63 c | 150592 | 13605 56336 169131 | 2147483647 150576 29 | 1.868 % |
975.21/975.52 c | 150902 | 13605 56336 169131 | 2147483647 150886 29 | 1.868 % |
978.21/978.59 c | 151242 | 13605 56336 169131 | 2147483647 151226 28 | 1.868 % |
981.80/982.19 c | 151615 | 13605 56336 169131 | 2147483647 151599 28 | 1.868 % |
985.90/986.25 c | 152026 | 13605 56336 169131 | 2147483647 152010 28 | 1.868 % |
990.20/990.60 c | 152476 | 13605 56336 169131 | 2147483647 152460 28 | 1.868 % |
994.80/995.15 c | 152969 | 13605 56336 169131 | 2147483647 152953 28 | 1.868 % |
999.50/999.87 c | 153511 | 13605 56336 169131 | 2147483647 153495 28 | 1.868 % |
1005.10/1005.45 c | 154108 | 13605 56336 169131 | 2147483647 154092 28 | 1.868 % |
1010.40/1010.71 c | 154764 | 13605 56336 169131 | 2147483647 154748 28 | 1.868 % |
1016.29/1016.66 c | 155484 | 13605 56336 169131 | 2147483647 155468 28 | 1.868 % |
1023.09/1023.41 c | 156277 | 13605 56336 169131 | 2147483647 156261 29 | 1.868 % |
1028.80/1029.19 c | 157150 | 13605 56336 169131 | 2147483647 157134 29 | 1.868 % |
1036.90/1037.23 c | 158108 | 13605 56336 169131 | 2147483647 158092 29 | 1.868 % |
1046.80/1047.15 c | 159162 | 13605 56336 169131 | 2147483647 159146 29 | 1.868 % |
1055.39/1055.72 c | 160320 | 13605 56336 169131 | 2147483647 160304 29 | 1.868 % |
1066.79/1067.17 c | 161594 | 13605 56336 169131 | 2147483647 161578 29 | 1.868 % |
1080.88/1081.23 c | 162995 | 13605 56336 169131 | 2147483647 162979 29 | 1.868 % |
1094.57/1094.98 c | 164537 | 13605 56336 169131 | 2147483647 164521 29 | 1.868 % |
1110.77/1111.17 c | 166232 | 13605 56336 169131 | 2147483647 166216 29 | 1.868 % |
1111.77/1112.13 c | 166332 | 13605 56336 169131 | 2147483647 166316 29 | 1.868 % |
1112.97/1113.37 c | 166443 | 13605 56336 169131 | 2147483647 166427 29 | 1.868 % |
1114.37/1114.79 c | 166564 | 13605 56336 169131 | 2147483647 166548 29 | 1.868 % |
1116.07/1116.41 c | 166699 | 13605 56336 169131 | 2147483647 166683 29 | 1.868 % |
1117.27/1117.69 c | 166845 | 13605 56336 169131 | 2147483647 166829 29 | 1.868 % |
1118.77/1119.12 c | 167005 | 13605 56336 169131 | 2147483647 166989 29 | 1.868 % |
1120.57/1120.96 c | 167183 | 13605 56336 169131 | 2147483647 167167 29 | 1.868 % |
1122.46/1122.81 c | 167376 | 13605 56336 169131 | 2147483647 167360 29 | 1.868 % |
1124.26/1124.69 c | 167588 | 13605 56336 169131 | 2147483647 167572 29 | 1.868 % |
1126.46/1126.83 c | 167822 | 13605 56336 169131 | 2147483647 167806 29 | 1.868 % |
1128.66/1129.04 c | 168079 | 13605 56336 169131 | 2147483647 168063 29 | 1.868 % |
1131.36/1131.77 c | 168361 | 13605 56336 169131 | 2147483647 168345 29 | 1.868 % |
1134.26/1134.66 c | 168670 | 13605 56336 169131 | 2147483647 168654 29 | 1.868 % |
1137.27/1137.64 c | 169010 | 13605 56336 169131 | 2147483647 168994 29 | 1.868 % |
1140.77/1141.19 c | 169383 | 13605 56336 169131 | 2147483647 169367 29 | 1.868 % |
1144.67/1145.02 c | 169792 | 13605 56336 169131 | 2147483647 169776 29 | 1.868 % |
1148.67/1149.04 c | 170242 | 13605 56336 169131 | 2147483647 170226 29 | 1.868 % |
1153.47/1153.80 c | 170735 | 13605 56336 169131 | 2147483647 170719 29 | 1.868 % |
1158.66/1159.00 c | 171279 | 13605 56336 169131 | 2147483647 171263 29 | 1.868 % |
1164.16/1164.56 c | 171876 | 13605 56336 169131 | 2147483647 171860 29 | 1.868 % |
1170.55/1170.92 c | 172531 | 13605 56336 169131 | 2147483647 172515 29 | 1.868 % |
1177.15/1177.50 c | 173251 | 13605 56336 169131 | 2147483647 173235 29 | 1.868 % |
1185.05/1185.40 c | 174043 | 13605 56336 169131 | 2147483647 174027 29 | 1.868 % |
1192.74/1193.15 c | 174914 | 13605 56336 169131 | 2147483647 174898 29 | 1.868 % |
1201.96/1202.33 c | 175873 | 13605 56336 169131 | 2147483647 175857 29 | 1.868 % |
1210.65/1211.07 c | 176926 | 13605 56336 169131 | 2147483647 176910 29 | 1.868 % |
1221.54/1221.99 c | 178084 | 13605 56336 169131 | 2147483647 178068 29 | 1.868 % |
1234.24/1234.65 c | 179357 | 13605 56336 169131 | 2147483647 179341 29 | 1.868 % |
1247.33/1247.78 c | 180758 | 13605 56336 169131 | 2147483647 180742 29 | 1.868 % |
1262.23/1262.61 c | 182298 | 13605 56336 169131 | 2147483647 182282 29 | 1.868 % |
1278.72/1279.13 c | 183992 | 13605 56336 169131 | 2147483647 183976 29 | 1.868 % |
1296.23/1296.63 c | 185856 | 13605 56336 169131 | 2147483647 185840 29 | 1.868 % |
1297.22/1297.68 c | 185957 | 13605 56336 169131 | 2147483647 185941 29 | 1.868 % |
1298.42/1298.83 c | 186068 | 13605 56336 169131 | 2147483647 186052 29 | 1.868 % |
1299.73/1300.19 c | 186189 | 13605 56336 169131 | 2147483647 186173 29 | 1.868 % |
1301.12/1301.59 c | 186322 | 13605 56336 169131 | 2147483647 186306 29 | 1.868 % |
1302.62/1303.08 c | 186469 | 13605 56336 169131 | 2147483647 186453 29 | 1.868 % |
1304.13/1304.51 c | 186631 | 13605 56336 169131 | 2147483647 186615 29 | 1.868 % |
1305.92/1306.33 c | 186808 | 13605 56336 169131 | 2147483647 186792 29 | 1.868 % |
1307.72/1308.16 c | 187003 | 13605 56336 169131 | 2147483647 186987 29 | 1.868 % |
1309.92/1310.34 c | 187215 | 13605 56336 169131 | 2147483647 187199 29 | 1.868 % |
1312.52/1312.95 c | 187448 | 13605 56336 169131 | 2147483647 187432 29 | 1.868 % |
1315.22/1315.61 c | 187705 | 13605 56336 169131 | 2147483647 187689 29 | 1.868 % |
1318.42/1318.81 c | 187986 | 13605 56336 169131 | 2147483647 187970 29 | 1.868 % |
1321.42/1321.89 c | 188295 | 13605 56336 169131 | 2147483647 188279 29 | 1.868 % |
1324.51/1324.99 c | 188635 | 13605 56336 169131 | 2147483647 188619 29 | 1.868 % |
1328.51/1328.91 c | 189007 | 13605 56336 169131 | 2147483647 188991 29 | 1.868 % |
1332.61/1333.01 c | 189417 | 13605 56336 169131 | 2147483647 189401 29 | 1.868 % |
1337.01/1337.42 c | 189867 | 13605 56336 169131 | 2147483647 189851 29 | 1.868 % |
1341.41/1341.86 c | 190360 | 13605 56336 169131 | 2147483647 190344 28 | 1.868 % |
1346.71/1347.11 c | 190902 | 13605 56336 169131 | 2147483647 190886 28 | 1.868 % |
1352.40/1352.87 c | 191498 | 13605 56336 169131 | 2147483647 191482 28 | 1.868 % |
1358.50/1358.93 c | 192153 | 13605 56336 169131 | 2147483647 192137 28 | 1.868 % |
1365.10/1365.53 c | 192875 | 13605 56336 169131 | 2147483647 192859 28 | 1.868 % |
1372.90/1373.39 c | 193667 | 13605 56336 169131 | 2147483647 193651 28 | 1.868 % |
1381.90/1382.34 c | 194540 | 13605 56336 169131 | 2147483647 194524 28 | 1.868 % |
1391.60/1392.05 c | 195499 | 13605 56336 169131 | 2147483647 195483 28 | 1.868 % |
1402.10/1402.54 c | 196553 | 13605 56336 169131 | 2147483647 196537 28 | 1.868 % |
1413.79/1414.22 c | 197712 | 13605 56336 169131 | 2147483647 197696 28 | 1.868 % |
1426.79/1427.28 c | 198986 | 13605 56336 169131 | 2147483647 198970 28 | 1.868 % |
1440.49/1440.91 c | 200388 | 13605 56336 169131 | 2147483647 200372 28 | 1.868 % |
1456.28/1456.78 c | 201928 | 13605 56336 169131 | 2147483647 201912 28 | 1.868 % |
1472.98/1473.44 c | 203622 | 13605 56336 169131 | 2147483647 203606 28 | 1.868 % |
1491.27/1491.74 c | 205485 | 13605 56336 169131 | 2147483647 205469 28 | 1.868 % |
1512.36/1512.85 c | 207535 | 13605 56336 169131 | 2147483647 207519 28 | 1.868 % |
1513.46/1513.93 c | 207635 | 13605 56336 169131 | 2147483647 207619 28 | 1.868 % |
1514.76/1515.20 c | 207745 | 13605 56336 169131 | 2147483647 207729 28 | 1.868 % |
1515.96/1516.40 c | 207867 | 13605 56336 169131 | 2147483647 207851 28 | 1.868 % |
1517.46/1517.97 c | 208000 | 13605 56336 169131 | 2147483647 207984 28 | 1.868 % |
1518.86/1519.35 c | 208147 | 13605 56336 169131 | 2147483647 208131 28 | 1.868 % |
1520.46/1520.94 c | 208308 | 13605 56336 169131 | 2147483647 208292 28 | 1.868 % |
1522.26/1522.73 c | 208484 | 13605 56336 169131 | 2147483647 208468 28 | 1.868 % |
1524.06/1524.57 c | 208678 | 13605 56336 169131 | 2147483647 208662 28 | 1.868 % |
1526.06/1526.58 c | 208890 | 13605 56336 169131 | 2147483647 208874 28 | 1.868 % |
1528.35/1528.88 c | 209123 | 13605 56336 169131 | 2147483647 209107 28 | 1.868 % |
1530.36/1530.89 c | 209381 | 13605 56336 169131 | 2147483647 209365 28 | 1.868 % |
1533.46/1533.99 c | 209663 | 13605 56336 169131 | 2147483647 209647 28 | 1.868 % |
1536.66/1537.18 c | 209973 | 13605 56336 169131 | 2147483647 209957 28 | 1.868 % |
1540.56/1541.01 c | 210315 | 13605 56336 169131 | 2147483647 210299 28 | 1.868 % |
1542.96/1543.42 c | 210688 | 13605 56336 169131 | 2147483647 210672 28 | 1.868 % |
1547.26/1547.70 c | 211099 | 13605 56336 169131 | 2147483647 211083 28 | 1.868 % |
1552.96/1553.47 c | 211549 | 13605 56336 169131 | 2147483647 211533 28 | 1.868 % |
1558.45/1558.92 c | 212043 | 13605 56336 169131 | 2147483647 212027 28 | 1.868 % |
1564.05/1564.58 c | 212585 | 13605 56336 169131 | 2147483647 212569 28 | 1.868 % |
1570.45/1570.98 c | 213181 | 13605 56336 169131 | 2147483647 213165 28 | 1.868 % |
1577.34/1577.81 c | 213836 | 13605 56336 169131 | 2147483647 213820 28 | 1.868 % |
1584.65/1585.14 c | 214557 | 13605 56336 169131 | 2147483647 214541 28 | 1.868 % |
1592.44/1592.90 c | 215351 | 13605 56336 169131 | 2147483647 215335 28 | 1.868 % |
1601.04/1601.58 c | 216222 | 13605 56336 169131 | 2147483647 216206 28 | 1.868 % |
1610.43/1610.90 c | 217181 | 13605 56336 169131 | 2147483647 217165 28 | 1.868 % |
1621.83/1622.35 c | 218235 | 13605 56336 169131 | 2147483647 218219 28 | 1.868 % |
1631.94/1632.48 c | 219393 | 13605 56336 169131 | 2147483647 219377 29 | 1.868 % |
1647.23/1647.75 c | 220666 | 13605 56336 169131 | 2147483647 220650 29 | 1.868 % |
1661.42/1661.99 c | 222066 | 13605 56336 169131 | 2147483647 222050 29 | 1.868 % |
1678.52/1679.02 c | 223608 | 13605 56336 169131 | 2147483647 223592 28 | 1.868 % |
1697.51/1698.08 c | 225302 | 13605 56336 169131 | 2147483647 225286 29 | 1.868 % |
1716.51/1717.05 c | 227166 | 13605 56336 169131 | 2147483647 227150 29 | 1.868 % |
1737.91/1738.44 c | 229217 | 13605 56336 169131 | 2147483647 229201 28 | 1.868 % |
1762.70/1763.29 c | 231470 | 13605 56336 169131 | 2147483647 231454 29 | 1.868 % |
1763.90/1764.43 c | 231570 | 13605 56336 169131 | 2147483647 231554 29 | 1.868 % |
1765.20/1765.78 c | 231681 | 13605 56336 169131 | 2147483647 231665 29 | 1.868 % |
1766.50/1767.01 c | 231802 | 13605 56336 169131 | 2147483647 231786 29 | 1.868 % |
1767.80/1768.31 c | 231935 | 13605 56336 169131 | 2147483647 231919 29 | 1.868 % |
1769.30/1769.88 c | 232081 | 13605 56336 169131 | 2147483647 232065 29 | 1.868 % |
1771.39/1771.95 c | 232242 | 13605 56336 169131 | 2147483647 232226 29 | 1.868 % |
1773.49/1774.09 c | 232419 | 13605 56336 169131 | 2147483647 232403 29 | 1.868 % |
1775.59/1776.16 c | 232613 | 13605 56336 169131 | 2147483647 232597 29 | 1.868 % |
1777.99/1778.51 c | 232825 | 13605 56336 169131 | 2147483647 232809 29 | 1.868 % |
1780.39/1780.91 c | 233060 | 13605 56336 169131 | 2147483647 233044 29 | 1.868 % |
1782.99/1783.55 c | 233316 | 13605 56336 169131 | 2147483647 233300 29 | 1.868 % |
1785.89/1786.48 c | 233597 | 13605 56336 169131 | 2147483647 233581 29 | 1.868 % |
1789.68/1790.26 c | 233906 | 13605 56336 169131 | 2147483647 233890 29 | 1.868 % |
1793.18/1793.71 c | 234245 | 13605 56336 169131 | 2147483647 234229 29 | 1.868 % |
1796.48/1797.03 c | 234617 | 13605 56336 169131 | 2147483647 234601 29 | 1.868 % |
1800.89/1801.50 c | 235026 | 13605 56336 169131 | 2147483647 235010 29 | 1.868 % |
1806.09/1806.63 c | 235478 | 13605 56336 169131 | 2147483647 235462 29 | 1.868 % |
1811.29/1811.82 c | 235971 | 13605 56336 169131 | 2147483647 235955 29 | 1.868 % |
1817.18/1817.74 c | 236513 | 13605 56336 169131 | 2147483647 236497 29 | 1.868 % |
1823.19/1823.77 c | 237110 | 13605 56336 169131 | 2147483647 237094 29 | 1.868 % |
1830.58/1831.11 c | 237767 | 13605 56336 169131 | 2147483647 237751 29 | 1.868 % |
1838.58/1839.12 c | 238488 | 13605 56336 169131 | 2147483647 238472 28 | 1.868 % |
1846.97/1847.58 c | 239280 | 13605 56336 169131 | 2147483647 239264 28 | 1.868 % |
1854.17/1854.70 c | 240151 | 13605 56336 169131 | 2147483647 240135 29 | 1.868 % |
1864.67/1865.24 c | 241109 | 13605 56336 169131 | 2147483647 241093 29 | 1.868 % |
1874.87/1875.45 c | 242163 | 13605 56336 169131 | 2147483647 242147 29 | 1.868 % |
1885.66/1886.22 c | 243321 | 13605 56336 169131 | 2147483647 243305 29 | 1.868 % |
1899.55/1900.11 c | 244594 | 13605 56336 169131 | 2147483647 244578 29 | 1.868 % |
1915.76/1916.34 c | 245995 | 13605 56336 169131 | 2147483647 245979 29 | 1.868 % |
1931.55/1932.10 c | 247536 | 13605 56336 169131 | 2147483647 247520 29 | 1.868 % |
1949.85/1950.46 c | 249231 | 13605 56336 169131 | 2147483647 249215 29 | 1.868 % |
1970.14/1970.75 c | 251095 | 13605 56336 169131 | 2147483647 251079 29 | 1.868 % |
1994.74/1995.32 c | 253145 | 13605 56336 169131 | 2147483647 253129 29 | 1.868 % |
2020.03/2020.62 c | 255398 | 13605 56336 169131 | 2147483647 255382 29 | 1.868 % |
2045.43/2046.05 c | 257876 | 13605 56336 169131 | 2147483647 257860 29 | 1.868 % |
2046.62/2047.22 c | 257976 | 13605 56336 169131 | 2147483647 257960 29 | 1.868 % |
2047.92/2048.59 c | 258086 | 13605 56336 169131 | 2147483647 258070 29 | 1.868 % |
2049.32/2049.97 c | 258207 | 13605 56336 169131 | 2147483647 258191 29 | 1.868 % |
2051.02/2051.63 c | 258340 | 13605 56336 169131 | 2147483647 258324 29 | 1.868 % |
2052.82/2053.48 c | 258486 | 13605 56336 169131 | 2147483647 258470 29 | 1.868 % |
2055.12/2055.74 c | 258647 | 13605 56336 169131 | 2147483647 258631 29 | 1.868 % |
2057.02/2057.60 c | 258823 | 13605 56336 169131 | 2147483647 258807 29 | 1.868 % |
2059.32/2059.95 c | 259017 | 13605 56336 169131 | 2147483647 259001 29 | 1.868 % |
2062.12/2062.75 c | 259230 | 13605 56336 169131 | 2147483647 259214 29 | 1.868 % |
2064.32/2064.99 c | 259463 | 13605 56336 169131 | 2147483647 259447 29 | 1.868 % |
2067.01/2067.69 c | 259719 | 13605 56336 169131 | 2147483647 259703 29 | 1.868 % |
2070.41/2071.00 c | 260000 | 13605 56336 169131 | 2147483647 259984 29 | 1.868 % |
2074.71/2075.31 c | 260309 | 13605 56336 169131 | 2147483647 260293 29 | 1.868 % |
2078.71/2079.39 c | 260649 | 13605 56336 169131 | 2147483647 260633 29 | 1.868 % |
2083.21/2083.81 c | 261022 | 13605 56336 169131 | 2147483647 261006 29 | 1.868 % |
2088.31/2088.98 c | 261432 | 13605 56336 169131 | 2147483647 261416 29 | 1.868 % |
2093.90/2094.53 c | 261881 | 13605 56336 169131 | 2147483647 261865 28 | 1.868 % |
2099.70/2100.39 c | 262374 | 13605 56336 169131 | 2147483647 262358 28 | 1.868 % |
2105.50/2106.17 c | 262916 | 13605 56336 169131 | 2147483647 262900 28 | 1.868 % |
2112.50/2113.11 c | 263513 | 13605 56336 169131 | 2147483647 263497 28 | 1.868 % |
2120.00/2120.63 c | 264169 | 13605 56336 169131 | 2147483647 264153 28 | 1.868 % |
2128.00/2128.61 c | 264889 | 13605 56336 169131 | 2147483647 264873 28 | 1.868 % |
2136.90/2137.56 c | 265682 | 13605 56336 169131 | 2147483647 265666 28 | 1.868 % |
2146.19/2146.82 c | 266554 | 13605 56336 169131 | 2147483647 266538 28 | 1.868 % |
2157.79/2158.43 c | 267514 | 13605 56336 169131 | 2147483647 267498 28 | 1.868 % |
2169.99/2170.65 c | 268567 | 13605 56336 169131 | 2147483647 268551 28 | 1.868 % |
2183.28/2183.99 c | 269725 | 13605 56336 169131 | 2147483647 269709 28 | 1.868 % |
2197.88/2198.58 c | 270998 | 13605 56336 169131 | 2147483647 270982 28 | 1.868 % |
2214.17/2214.83 c | 272398 | 13605 56336 169131 | 2147483647 272382 28 | 1.868 % |
2231.77/2232.47 c | 273938 | 13605 56336 169131 | 2147483647 273922 28 | 1.868 % |
2250.96/2251.66 c | 275632 | 13605 56336 169131 | 2147483647 275616 28 | 1.868 % |
2271.76/2272.45 c | 277495 | 13605 56336 169131 | 2147483647 277479 28 | 1.868 % |
2294.25/2294.93 c | 279545 | 13605 56336 169131 | 2147483647 279529 28 | 1.868 % |
2321.45/2322.11 c | 281798 | 13605 56336 169131 | 2147483647 281782 28 | 1.868 % |
2350.34/2351.01 c | 284278 | 13605 56336 169131 | 2147483647 284262 28 | 1.868 % |
2383.92/2384.68 c | 287004 | 13605 56336 169131 | 2147483647 286988 28 | 1.868 % |
2385.13/2385.90 c | 287105 | 13605 56336 169131 | 2147483647 287089 28 | 1.868 % |
2386.62/2387.32 c | 287217 | 13605 56336 169131 | 2147483647 287201 28 | 1.868 % |
2388.12/2388.84 c | 287338 | 13605 56336 169131 | 2147483647 287322 28 | 1.868 % |
2389.53/2390.28 c | 287472 | 13605 56336 169131 | 2147483647 287456 28 | 1.868 % |
2391.42/2392.11 c | 287620 | 13605 56336 169131 | 2147483647 287604 28 | 1.868 % |
2393.32/2394.08 c | 287780 | 13605 56336 169131 | 2147483647 287764 28 | 1.868 % |
2395.52/2396.29 c | 287957 | 13605 56336 169131 | 2147483647 287941 28 | 1.868 % |
2397.82/2398.53 c | 288152 | 13605 56336 169131 | 2147483647 288136 28 | 1.868 % |
2400.33/2401.03 c | 288364 | 13605 56336 169131 | 2147483647 288348 28 | 1.868 % |
2402.93/2403.67 c | 288598 | 13605 56336 169131 | 2147483647 288582 28 | 1.868 % |
2406.43/2407.10 c | 288855 | 13605 56336 169131 | 2147483647 288839 28 | 1.868 % |
2409.72/2410.46 c | 289136 | 13605 56336 169131 | 2147483647 289120 28 | 1.868 % |
2413.42/2414.13 c | 289446 | 13605 56336 169131 | 2147483647 289430 28 | 1.868 % |
2417.22/2417.98 c | 289787 | 13605 56336 169131 | 2147483647 289771 28 | 1.868 % |
2421.62/2422.32 c | 290160 | 13605 56336 169131 | 2147483647 290144 28 | 1.868 % |
2426.72/2427.46 c | 290569 | 13605 56336 169131 | 2147483647 290553 28 | 1.868 % |
2432.12/2432.82 c | 291020 | 13605 56336 169131 | 2147483647 291004 28 | 1.868 % |
2437.71/2438.47 c | 291515 | 13605 56336 169131 | 2147483647 291499 28 | 1.868 % |
2444.71/2445.46 c | 292057 | 13605 56336 169131 | 2147483647 292041 28 | 1.868 % |
2452.01/2452.71 c | 292654 | 13605 56336 169131 | 2147483647 292638 28 | 1.868 % |
2460.01/2460.74 c | 293310 | 13605 56336 169131 | 2147483647 293294 28 | 1.868 % |
2468.60/2469.39 c | 294030 | 13605 56336 169131 | 2147483647 294014 28 | 1.868 % |
2478.40/2479.19 c | 294823 | 13605 56336 169131 | 2147483647 294807 28 | 1.868 % |
2489.70/2490.45 c | 295696 | 13605 56336 169131 | 2147483647 295680 28 | 1.868 % |
2500.79/2501.56 c | 296654 | 13605 56336 169131 | 2147483647 296638 28 | 1.868 % |
2512.99/2513.77 c | 297707 | 13605 56336 169131 | 2147483647 297691 28 | 1.868 % |
2527.40/2528.13 c | 298865 | 13605 56336 169131 | 2147483647 298849 28 | 1.868 % |
2544.29/2545.01 c | 300139 | 13605 56336 169131 | 2147483647 300123 28 | 1.868 % |
2562.58/2563.32 c | 301539 | 13605 56336 169131 | 2147483647 301523 28 | 1.868 % |
2583.88/2584.64 c | 303080 | 13605 56336 169131 | 2147483647 303064 28 | 1.868 % |
2603.57/2604.38 c | 304775 | 13605 56336 169131 | 2147483647 304759 28 | 1.868 % |
2625.76/2626.60 c | 306639 | 13605 56336 169131 | 2147483647 306623 28 | 1.868 % |
2652.36/2653.13 c | 308690 | 13605 56336 169131 | 2147483647 308674 28 | 1.868 % |
2681.35/2682.10 c | 310945 | 13605 56336 169131 | 2147483647 310929 28 | 1.868 % |
2713.64/2714.40 c | 313424 | 13605 56336 169131 | 2147483647 313408 28 | 1.868 % |
2750.93/2751.79 c | 316150 | 13605 56336 169131 | 2147483647 316134 28 | 1.868 % |
2789.22/2790.04 c | 319150 | 13605 56336 169131 | 2147483647 319134 28 | 1.868 % |
2790.52/2791.34 c | 319251 | 13605 56336 169131 | 2147483647 319235 28 | 1.868 % |
2791.72/2792.55 c | 319361 | 13605 56336 169131 | 2147483647 319345 28 | 1.868 % |
2793.42/2794.21 c | 319482 | 13605 56336 169131 | 2147483647 319466 28 | 1.868 % |
2795.42/2796.24 c | 319615 | 13605 56336 169131 | 2147483647 319599 28 | 1.868 % |
2797.52/2798.30 c | 319762 | 13605 56336 169131 | 2147483647 319746 28 | 1.868 % |
2800.01/2800.82 c | 319922 | 13605 56336 169131 | 2147483647 319906 28 | 1.868 % |
2802.41/2803.23 c | 320099 | 13605 56336 169131 | 2147483647 320083 28 | 1.868 % |
2805.21/2806.07 c | 320292 | 13605 56336 169131 | 2147483647 320276 28 | 1.868 % |
2807.71/2808.54 c | 320505 | 13605 56336 169131 | 2147483647 320489 28 | 1.868 % |
2811.21/2812.02 c | 320739 | 13605 56336 169131 | 2147483647 320723 28 | 1.868 % |
2814.91/2815.71 c | 320995 | 13605 56336 169131 | 2147483647 320979 28 | 1.868 % |
2818.91/2819.77 c | 321277 | 13605 56336 169131 | 2147483647 321261 28 | 1.868 % |
2823.01/2823.88 c | 321586 | 13605 56336 169131 | 2147483647 321570 28 | 1.868 % |
2827.51/2828.31 c | 321928 | 13605 56336 169131 | 2147483647 321912 28 | 1.868 % |
2832.82/2833.60 c | 322300 | 13605 56336 169131 | 2147483647 322284 28 | 1.868 % |
2838.51/2839.38 c | 322710 | 13605 56336 169131 | 2147483647 322694 28 | 1.868 % |
2844.91/2845.71 c | 323160 | 13605 56336 169131 | 2147483647 323144 28 | 1.868 % |
2851.80/2852.63 c | 323653 | 13605 56336 169131 | 2147483647 323637 28 | 1.868 % |
2859.11/2859.92 c | 324196 | 13605 56336 169131 | 2147483647 324180 28 | 1.868 % |
2866.90/2867.75 c | 324792 | 13605 56336 169131 | 2147483647 324776 28 | 1.868 % |
2876.00/2876.87 c | 325447 | 13605 56336 169131 | 2147483647 325431 28 | 1.868 % |
2883.79/2884.60 c | 326168 | 13605 56336 169131 | 2147483647 326152 28 | 1.868 % |
2894.49/2895.31 c | 326962 | 13605 56336 169131 | 2147483647 326946 28 | 1.868 % |
2905.40/2906.24 c | 327833 | 13605 56336 169131 | 2147483647 327817 28 | 1.868 % |
2918.39/2919.27 c | 328791 | 13605 56336 169131 | 2147483647 328775 28 | 1.868 % |
2932.48/2933.37 c | 329844 | 13605 56336 169131 | 2147483647 329828 28 | 1.868 % |
2946.98/2947.90 c | 331002 | 13605 56336 169131 | 2147483647 330986 28 | 1.868 % |
2966.88/2967.79 c | 332275 | 13605 56336 169131 | 2147483647 332259 28 | 1.868 % |
2985.47/2986.36 c | 333675 | 13605 56336 169131 | 2147483647 333659 28 | 1.868 % |
3007.16/3008.08 c | 335215 | 13605 56336 169131 | 2147483647 335199 28 | 1.868 % |
3031.95/3032.83 c | 336910 | 13605 56336 169131 | 2147483647 336894 28 | 1.868 % |
3056.55/3057.43 c | 338773 | 13605 56336 169131 | 2147483647 338757 28 | 1.868 % |
3082.84/3083.76 c | 340824 | 13605 56336 169131 | 2147483647 340808 28 | 1.868 % |
3113.83/3114.75 c | 343077 | 13605 56336 169131 | 2147483647 343061 28 | 1.868 % |
3145.72/3146.64 c | 345556 | 13605 56336 169131 | 2147483647 345540 28 | 1.868 % |
3181.11/3182.08 c | 348282 | 13605 56336 169131 | 2147483647 348266 28 | 1.868 % |
3222.21/3223.19 c | 351279 | 13605 56336 169131 | 2147483647 351263 28 | 1.868 % |
3267.69/3268.61 c | 354577 | 13605 56336 169131 | 2147483647 354561 28 | 1.868 % |
3269.19/3270.19 c | 354678 | 13605 56336 169131 | 2147483647 354662 28 | 1.868 % |
3270.89/3271.83 c | 354789 | 13605 56336 169131 | 2147483647 354773 28 | 1.868 % |
3272.49/3273.48 c | 354911 | 13605 56336 169131 | 2147483647 354895 28 | 1.868 % |
3274.19/3275.16 c | 355046 | 13605 56336 169131 | 2147483647 355030 28 | 1.868 % |
3276.49/3277.48 c | 355192 | 13605 56336 169131 | 2147483647 355176 28 | 1.868 % |
3278.89/3279.82 c | 355353 | 13605 56336 169131 | 2147483647 355337 28 | 1.868 % |
3281.19/3282.17 c | 355529 | 13605 56336 169131 | 2147483647 355513 28 | 1.868 % |
3283.99/3284.97 c | 355722 | 13605 56336 169131 | 2147483647 355706 28 | 1.868 % |
3286.59/3287.59 c | 355935 | 13605 56336 169131 | 2147483647 355919 28 | 1.868 % |
3289.99/3290.96 c | 356169 | 13605 56336 169131 | 2147483647 356153 28 | 1.868 % |
3293.68/3294.67 c | 356425 | 13605 56336 169131 | 2147483647 356409 28 | 1.868 % |
3297.58/3298.55 c | 356706 | 13605 56336 169131 | 2147483647 356690 28 | 1.868 % |
3302.38/3303.31 c | 357017 | 13605 56336 169131 | 2147483647 357001 28 | 1.868 % |
3307.58/3308.56 c | 357358 | 13605 56336 169131 | 2147483647 357342 28 | 1.868 % |
3312.08/3313.00 c | 357730 | 13605 56336 169131 | 2147483647 357714 28 | 1.868 % |
3317.68/3318.61 c | 358140 | 13605 56336 169131 | 2147483647 358124 28 | 1.868 % |
3323.87/3324.84 c | 358590 | 13605 56336 169131 | 2147483647 358574 28 | 1.868 % |
3329.27/3330.24 c | 359084 | 13605 56336 169131 | 2147483647 359068 28 | 1.868 % |
3336.87/3337.86 c | 359627 | 13605 56336 169131 | 2147483647 359611 28 | 1.868 % |
3345.37/3346.34 c | 360225 | 13605 56336 169131 | 2147483647 360209 28 | 1.868 % |
3354.97/3355.91 c | 360880 | 13605 56336 169131 | 2147483647 360864 28 | 1.868 % |
3364.86/3365.85 c | 361600 | 13605 56336 169131 | 2147483647 361584 28 | 1.868 % |
3376.16/3377.19 c | 362392 | 13605 56336 169131 | 2147483647 362376 28 | 1.868 % |
3388.86/3389.84 c | 363264 | 13605 56336 169131 | 2147483647 363248 28 | 1.868 % |
3402.05/3403.01 c | 364222 | 13605 56336 169131 | 2147483647 364206 28 | 1.868 % |
3416.14/3417.14 c | 365276 | 13605 56336 169131 | 2147483647 365260 28 | 1.868 % |
3432.15/3433.19 c | 366434 | 13605 56336 169131 | 2147483647 366418 28 | 1.868 % |
3450.04/3451.01 c | 367707 | 13605 56336 169131 | 2147483647 367691 28 | 1.868 % |
3469.84/3470.82 c | 369107 | 13605 56336 169131 | 2147483647 369091 28 | 1.868 % |
3490.83/3491.87 c | 370650 | 13605 56336 169131 | 2147483647 370634 28 | 1.868 % |
3513.22/3514.25 c | 372344 | 13605 56336 169131 | 2147483647 372328 28 | 1.868 % |
3540.62/3541.62 c | 374208 | 13605 56336 169131 | 2147483647 374192 28 | 1.868 % |
3569.90/3570.91 c | 376257 | 13605 56336 169131 | 2147483647 376241 28 | 1.868 % |
3606.60/3607.64 c | 378510 | 13605 56336 169131 | 2147483647 378494 28 | 1.868 % |
3641.39/3642.48 c | 380989 | 13605 56336 169131 | 2147483647 380973 28 | 1.868 % |
3681.68/3682.71 c | 383715 | 13605 56336 169131 | 2147483647 383699 28 | 1.868 % |
3718.57/3719.69 c | 386713 | 13605 56336 169131 | 2147483647 386697 28 | 1.868 % |
3770.16/3771.20 c | 390010 | 13605 56336 169131 | 2147483647 389994 28 | 1.868 % |
3817.14/3818.26 c | 393635 | 13605 56336 169131 | 2147483647 393619 28 | 1.868 % |
3818.64/3819.76 c | 393736 | 13605 56336 169131 | 2147483647 393720 28 | 1.868 % |
3820.34/3821.49 c | 393847 | 13605 56336 169131 | 2147483647 393831 28 | 1.868 % |
3822.04/3823.16 c | 393968 | 13605 56336 169131 | 2147483647 393952 28 | 1.868 % |
3823.94/3825.02 c | 394101 | 13605 56336 169131 | 2147483647 394085 28 | 1.868 % |
3826.13/3827.20 c | 394248 | 13605 56336 169131 | 2147483647 394232 28 | 1.868 % |
3828.24/3829.36 c | 394408 | 13605 56336 169131 | 2147483647 394392 28 | 1.868 % |
3830.83/3831.97 c | 394584 | 13605 56336 169131 | 2147483647 394568 28 | 1.868 % |
3834.03/3835.15 c | 394777 | 13605 56336 169131 | 2147483647 394761 28 | 1.868 % |
3837.33/3838.41 c | 394989 | 13605 56336 169131 | 2147483647 394973 28 | 1.868 % |
3840.93/3842.00 c | 395223 | 13605 56336 169131 | 2147483647 395207 28 | 1.868 % |
3844.73/3845.85 c | 395479 | 13605 56336 169131 | 2147483647 395463 28 | 1.868 % |
3848.63/3849.75 c | 395760 | 13605 56336 169131 | 2147483647 395744 28 | 1.868 % |
3853.23/3854.31 c | 396069 | 13605 56336 169131 | 2147483647 396053 28 | 1.868 % |
3858.93/3860.02 c | 396408 | 13605 56336 169131 | 2147483647 396392 28 | 1.868 % |
3863.83/3864.92 c | 396781 | 13605 56336 169131 | 2147483647 396765 28 | 1.868 % |
3870.63/3871.71 c | 397190 | 13605 56336 169131 | 2147483647 397174 28 | 1.868 % |
3877.03/3878.17 c | 397641 | 13605 56336 169131 | 2147483647 397625 28 | 1.868 % |
3884.52/3885.67 c | 398134 | 13605 56336 169131 | 2147483647 398118 28 | 1.868 % |
3893.42/3894.59 c | 398676 | 13605 56336 169131 | 2147483647 398660 28 | 1.868 % |
3902.62/3903.79 c | 399273 | 13605 56336 169131 | 2147483647 399257 28 | 1.868 % |
3910.81/3911.92 c | 399929 | 13605 56336 169131 | 2147483647 399913 28 | 1.868 % |
3921.52/3922.61 c | 400650 | 13605 56336 169131 | 2147483647 400634 28 | 1.868 % |
3933.01/3934.19 c | 401442 | 13605 56336 169131 | 2147483647 401426 28 | 1.868 % |
3947.71/3948.86 c | 402314 | 13605 56336 169131 | 2147483647 402298 28 | 1.868 % |
3961.60/3962.78 c | 403276 | 13605 56336 169131 | 2147483647 403260 28 | 1.868 % |
3975.80/3976.98 c | 404329 | 13605 56336 169131 | 2147483647 404313 28 | 1.868 % |
3995.19/3996.31 c | 405487 | 13605 56336 169131 | 2147483647 405471 28 | 1.868 % |
4014.79/4015.97 c | 406761 | 13605 56336 169131 | 2147483647 406745 28 | 1.868 % |
4035.19/4036.37 c | 408161 | 13605 56336 169131 | 2147483647 408145 28 | 1.868 % |
4056.78/4057.91 c | 409701 | 13605 56336 169131 | 2147483647 409685 28 | 1.868 % |
4076.87/4078.04 c | 411396 | 13605 56336 169131 | 2147483647 411380 28 | 1.868 % |
4102.96/4104.13 c | 413259 | 13605 56336 169131 | 2147483647 413243 28 | 1.868 % |
4132.06/4133.25 c | 415309 | 13605 56336 169131 | 2147483647 415293 28 | 1.868 % |
4163.46/4164.65 c | 417562 | 13605 56336 169131 | 2147483647 417546 28 | 1.868 % |
4199.74/4200.95 c | 420041 | 13605 56336 169131 | 2147483647 420025 28 | 1.868 % |
4242.02/4243.32 c | 422767 | 13605 56336 169131 | 2147483647 422751 28 | 1.868 % |
4284.50/4285.83 c | 425764 | 13605 56336 169131 | 2147483647 425748 28 | 1.868 % |
4333.09/4334.40 c | 429061 | 13605 56336 169131 | 2147483647 429045 28 | 1.868 % |
4389.37/4390.72 c | 432687 | 13605 56336 169131 | 2147483647 432671 28 | 1.868 % |
4448.66/4450.06 c | 436674 | 13605 56336 169131 | 2147483647 436658 28 | 1.868 % |
4450.45/4451.80 c | 436775 | 13605 56336 169131 | 2147483647 436759 28 | 1.868 % |
4452.46/4453.86 c | 436885 | 13605 56336 169131 | 2147483647 436869 28 | 1.868 % |
4454.95/4456.30 c | 437006 | 13605 56336 169131 | 2147483647 436990 28 | 1.868 % |
4457.35/4458.79 c | 437140 | 13605 56336 169131 | 2147483647 437124 28 | 1.868 % |
4459.85/4461.23 c | 437287 | 13605 56336 169131 | 2147483647 437271 28 | 1.868 % |
4462.05/4463.44 c | 437447 | 13605 56336 169131 | 2147483647 437431 28 | 1.868 % |
4465.05/4466.49 c | 437623 | 13605 56336 169131 | 2147483647 437607 28 | 1.868 % |
4468.25/4469.64 c | 437817 | 13605 56336 169131 | 2147483647 437801 28 | 1.868 % |
4471.55/4472.96 c | 438029 | 13605 56336 169131 | 2147483647 438013 28 | 1.868 % |
4475.75/4477.16 c | 438262 | 13605 56336 169131 | 2147483647 438246 28 | 1.868 % |
4480.35/4481.70 c | 438518 | 13605 56336 169131 | 2147483647 438502 28 | 1.868 % |
4484.85/4486.23 c | 438800 | 13605 56336 169131 | 2147483647 438784 28 | 1.868 % |
4489.55/4490.97 c | 439109 | 13605 56336 169131 | 2147483647 439093 28 | 1.868 % |
4494.95/4496.34 c | 439448 | 13605 56336 169131 | 2147483647 439432 28 | 1.868 % |
4500.75/4502.11 c | 439820 | 13605 56336 169131 | 2147483647 439804 28 | 1.868 % |
4507.24/4508.69 c | 440230 | 13605 56336 169131 | 2147483647 440214 28 | 1.868 % |
4515.44/4516.80 c | 440679 | 13605 56336 169131 | 2147483647 440663 28 | 1.868 % |
4522.84/4524.29 c | 441172 | 13605 56336 169131 | 2147483647 441156 28 | 1.868 % |
4531.93/4533.34 c | 441714 | 13605 56336 169131 | 2147483647 441698 28 | 1.868 % |
4540.93/4542.36 c | 442310 | 13605 56336 169131 | 2147483647 442294 28 | 1.868 % |
4550.93/4552.39 c | 442966 | 13605 56336 169131 | 2147483647 442950 28 | 1.868 % |
4562.62/4564.00 c | 443686 | 13605 56336 169131 | 2147483647 443670 28 | 1.868 % |
4574.72/4576.19 c | 444478 | 13605 56336 169131 | 2147483647 444462 28 | 1.868 % |
4587.82/4589.26 c | 445350 | 13605 56336 169131 | 2147483647 445334 28 | 1.868 % |
4602.51/4603.90 c | 446308 | 13605 56336 169131 | 2147483647 446292 28 | 1.868 % |
4616.02/4617.50 c | 447361 | 13605 56336 169131 | 2147483647 447345 28 | 1.868 % |
4632.31/4633.71 c | 448520 | 13605 56336 169131 | 2147483647 448504 28 | 1.868 % |
4652.90/4654.33 c | 449794 | 13605 56336 169131 | 2147483647 449778 28 | 1.868 % |
4675.99/4677.41 c | 451194 | 13605 56336 169131 | 2147483647 451178 28 | 1.868 % |
4701.49/4702.95 c | 452734 | 13605 56336 169131 | 2147483647 452718 28 | 1.868 % |
4727.18/4728.66 c | 454429 | 13605 56336 169131 | 2147483647 454413 28 | 1.868 % |
4757.28/4758.74 c | 456293 | 13605 56336 169131 | 2147483647 456277 28 | 1.868 % |
4791.17/4792.64 c | 458342 | 13605 56336 169131 | 2147483647 458326 28 | 1.868 % |
4826.56/4828.04 c | 460596 | 13605 56336 169131 | 2147483647 460580 28 | 1.868 % |
4867.44/4868.92 c | 463075 | 13605 56336 169131 | 2147483647 463059 28 | 1.868 % |
4913.03/4914.50 c | 465801 | 13605 56336 169131 | 2147483647 465785 28 | 1.868 % |
4960.72/4962.23 c | 468798 | 13605 56336 169131 | 2147483647 468782 28 | 1.868 % |
5012.50/5014.04 c | 472095 | 13605 56336 169131 | 2147483647 472079 28 | 1.868 % |
5072.49/5074.05 c | 475720 | 13605 56336 169131 | 2147483647 475704 28 | 1.868 % |
5134.28/5135.86 c | 479708 | 13605 56336 169131 | 2147483647 479692 28 | 1.868 % |
5202.15/5203.77 c | 484093 | 13605 56336 169131 | 2147483647 484077 28 | 1.868 % |
5204.05/5205.60 c | 484194 | 13605 56336 169131 | 2147483647 484178 28 | 1.868 % |
5206.15/5207.72 c | 484304 | 13605 56336 169131 | 2147483647 484288 28 | 1.868 % |
5208.35/5209.91 c | 484427 | 13605 56336 169131 | 2147483647 484411 28 | 1.868 % |
5210.85/5212.40 c | 484560 | 13605 56336 169131 | 2147483647 484544 28 | 1.868 % |
5213.35/5214.97 c | 484707 | 13605 56336 169131 | 2147483647 484691 28 | 1.868 % |
5215.85/5217.48 c | 484867 | 13605 56336 169131 | 2147483647 484851 28 | 1.868 % |
5218.75/5220.35 c | 485043 | 13605 56336 169131 | 2147483647 485027 28 | 1.868 % |
5222.15/5223.72 c | 485236 | 13605 56336 169131 | 2147483647 485220 28 | 1.868 % |
5226.15/5227.74 c | 485449 | 13605 56336 169131 | 2147483647 485433 28 | 1.868 % |
5228.65/5230.21 c | 485683 | 13605 56336 169131 | 2147483647 485667 28 | 1.868 % |
5232.15/5233.79 c | 485940 | 13605 56336 169131 | 2147483647 485924 28 | 1.868 % |
5236.45/5238.07 c | 486221 | 13605 56336 169131 | 2147483647 486205 28 | 1.868 % |
5240.74/5242.30 c | 486531 | 13605 56336 169131 | 2147483647 486515 28 | 1.868 % |
5246.24/5247.81 c | 486870 | 13605 56336 169131 | 2147483647 486854 28 | 1.868 % |
5252.64/5254.26 c | 487242 | 13605 56336 169131 | 2147483647 487226 28 | 1.868 % |
5260.14/5261.74 c | 487651 | 13605 56336 169131 | 2147483647 487635 28 | 1.868 % |
5268.44/5270.06 c | 488101 | 13605 56336 169131 | 2147483647 488085 28 | 1.868 % |
5277.43/5279.06 c | 488594 | 13605 56336 169131 | 2147483647 488578 28 | 1.868 % |
5286.33/5287.96 c | 489138 | 13605 56336 169131 | 2147483647 489122 28 | 1.868 % |
5296.33/5297.99 c | 489735 | 13605 56336 169131 | 2147483647 489719 28 | 1.868 % |
5306.63/5308.25 c | 490390 | 13605 56336 169131 | 2147483647 490374 28 | 1.868 % |
5321.12/5322.76 c | 491112 | 13605 56336 169131 | 2147483647 491096 28 | 1.868 % |
5331.12/5332.70 c | 491905 | 13605 56336 169131 | 2147483647 491889 28 | 1.868 % |
5345.01/5346.66 c | 492777 | 13605 56336 169131 | 2147483647 492761 28 | 1.868 % |
5361.61/5363.29 c | 493735 | 13605 56336 169131 | 2147483647 493719 28 | 1.868 % |
5380.61/5382.21 c | 494789 | 13605 56336 169131 | 2147483647 494773 28 | 1.868 % |
5399.80/5401.48 c | 495948 | 13605 56336 169131 | 2147483647 495932 28 | 1.868 % |
5420.50/5422.16 c | 497221 | 13605 56336 169131 | 2147483647 497205 28 | 1.868 % |
5442.59/5444.27 c | 498622 | 13605 56336 169131 | 2147483647 498606 28 | 1.868 % |
5467.88/5469.57 c | 500163 | 13605 56336 169131 | 2147483647 500147 28 | 1.868 % |
5494.27/5495.90 c | 501857 | 13605 56336 169131 | 2147483647 501841 28 | 1.868 % |
5523.17/5524.89 c | 503721 | 13605 56336 169131 | 2147483647 503705 28 | 1.868 % |
5552.46/5554.15 c | 505770 | 13605 56336 169131 | 2147483647 505754 28 | 1.868 % |
5588.35/5590.07 c | 508024 | 13605 56336 169131 | 2147483647 508008 28 | 1.868 % |
5634.44/5636.17 c | 510502 | 13605 56336 169131 | 2147483647 510486 28 | 1.868 % |
5693.02/5694.77 c | 513227 | 13605 56336 169131 | 2147483647 513211 28 | 1.868 % |
5747.61/5749.33 c | 516225 | 13605 56336 169131 | 2147483647 516209 28 | 1.868 % |
5804.89/5806.70 c | 519521 | 13605 56336 169131 | 2147483647 519505 28 | 1.868 % |
5875.58/5877.32 c | 523147 | 13605 56336 169131 | 519985 438987 28 | 1.868 % |
5935.65/5937.43 c | 527135 | 13605 56336 169131 | 519985 442975 28 | 1.868 % |
6002.54/6004.37 c | 531521 | 13605 56336 169131 | 2147483647 447361 28 | 1.868 % |
6081.22/6083.04 c | 536345 | 13605 56336 169131 | 2147483647 452185 28 | 1.868 % |
6083.01/6084.81 c | 536446 | 13605 56336 169131 | 2147483647 452286 27 | 1.868 % |
6084.71/6086.51 c | 536557 | 13605 56336 169131 | 2147483647 452397 27 | 1.868 % |
6086.72/6088.56 c | 536679 | 13605 56336 169131 | 2147483647 452519 27 | 1.868 % |
6088.71/6090.52 c | 536812 | 13605 56336 169131 | 2147483647 452652 27 | 1.868 % |
6091.12/6092.95 c | 536958 | 13605 56336 169131 | 2147483647 452798 27 | 1.868 % |
6093.81/6095.65 c | 537118 | 13605 56336 169131 | 2147483647 452958 27 | 1.868 % |
6096.81/6098.66 c | 537296 | 13605 56336 169131 | 2147483647 453136 27 | 1.868 % |
6100.01/6101.81 c | 537490 | 13605 56336 169131 | 2147483647 453330 27 | 1.868 % |
6103.41/6105.20 c | 537702 | 13605 56336 169131 | 2147483647 453542 28 | 1.868 % |
6107.31/6109.18 c | 537936 | 13605 56336 169131 | 2147483647 453776 27 | 1.868 % |
6111.61/6113.47 c | 538193 | 13605 56336 169131 | 2147483647 454033 27 | 1.868 % |
6116.32/6118.12 c | 538475 | 13605 56336 169131 | 2147483647 454315 27 | 1.868 % |
6121.11/6122.91 c | 538785 | 13605 56336 169131 | 2147483647 454625 27 | 1.868 % |
6126.71/6128.51 c | 539124 | 13605 56336 169131 | 2147483647 454964 27 | 1.868 % |
6133.11/6134.96 c | 539497 | 13605 56336 169131 | 2147483647 455337 27 | 1.868 % |
6139.80/6141.63 c | 539907 | 13605 56336 169131 | 2147483647 455747 27 | 1.868 % |
6146.90/6148.76 c | 540356 | 13605 56336 169131 | 2147483647 456196 27 | 1.868 % |
6155.30/6157.10 c | 540849 | 13605 56336 169131 | 2147483647 456689 27 | 1.868 % |
6164.70/6166.53 c | 541392 | 13605 56336 169131 | 2147483647 457232 27 | 1.868 % |
6174.70/6176.51 c | 541989 | 13605 56336 169131 | 2147483647 457829 27 | 1.868 % |
6185.79/6187.60 c | 542644 | 13605 56336 169131 | 2147483647 458484 27 | 1.868 % |
6197.59/6199.46 c | 543365 | 13605 56336 169131 | 2147483647 459205 28 | 1.868 % |
6211.38/6213.27 c | 544157 | 13605 56336 169131 | 2147483647 459997 28 | 1.868 % |
6225.97/6227.84 c | 545028 | 13605 56336 169131 | 2147483647 460868 27 | 1.868 % |
6243.17/6245.00 c | 545986 | 13605 56336 169131 | 2147483647 461826 27 | 1.868 % |
6259.77/6261.68 c | 547040 | 13605 56336 169131 | 2147483647 462880 27 | 1.868 % |
6278.67/6280.56 c | 548199 | 13605 56336 169131 | 2147483647 464039 27 | 1.868 % |
6300.16/6302.09 c | 549472 | 13605 56336 169131 | 2147483647 465312 27 | 1.868 % |
6324.75/6326.64 c | 550872 | 13605 56336 169131 | 2147483647 466712 28 | 1.868 % |
6349.14/6351.03 c | 552412 | 13605 56336 169131 | 2147483647 468252 27 | 1.868 % |
6376.94/6378.82 c | 554106 | 13605 56336 169131 | 2147483647 469946 27 | 1.868 % |
6405.63/6407.51 c | 555970 | 13605 56336 169131 | 2147483647 471810 27 | 1.868 % |
6439.42/6441.34 c | 558019 | 13605 56336 169131 | 2147483647 473859 27 | 1.868 % |
6479.32/6481.22 c | 560273 | 13605 56336 169131 | 2147483647 476113 27 | 1.868 % |
6519.50/6521.48 c | 562751 | 13605 56336 169131 | 2147483647 478591 27 | 1.868 % |
6564.69/6566.63 c | 565477 | 13605 56336 169131 | 2147483647 481317 27 | 1.868 % |
6614.58/6616.52 c | 568474 | 13605 56336 169131 | 2147483647 484314 27 | 1.868 % |
6668.96/6670.94 c | 571770 | 13605 56336 169131 | 2147483647 487610 27 | 1.868 % |
6725.65/6727.67 c | 575395 | 13605 56336 169131 | 2147483647 491235 27 | 1.868 % |
6792.93/6794.97 c | 579383 | 13605 56336 169131 | 2147483647 495223 27 | 1.868 % |
6866.00/6868.08 c | 583768 | 13605 56336 169131 | 2147483647 499608 27 | 1.868 % |
6946.68/6948.78 c | 588591 | 13605 56336 169131 | 2147483647 504431 27 | 1.868 % |
7037.46/7039.56 c | 593896 | 13605 56336 169131 | 2147483647 509736 27 | 1.868 % |
7039.46/7041.53 c | 593999 | 13605 56336 169131 | 2147483647 509839 27 | 1.868 % |
7041.16/7043.28 c | 594109 | 13605 56336 169131 | 2147483647 509949 27 | 1.868 % |
7043.46/7045.52 c | 594230 | 13605 56336 169131 | 2147483647 510070 27 | 1.868 % |
7045.96/7048.05 c | 594363 | 13605 56336 169131 | 2147483647 510203 27 | 1.868 % |
7048.86/7050.97 c | 594509 | 13605 56336 169131 | 2147483647 510349 27 | 1.868 % |
7051.85/7053.90 c | 594669 | 13605 56336 169131 | 2147483647 510509 27 | 1.868 % |
7055.15/7057.24 c | 594846 | 13605 56336 169131 | 2147483647 510686 27 | 1.868 % |
7058.05/7060.11 c | 595040 | 13605 56336 169131 | 2147483647 510880 27 | 1.868 % |
7061.85/7063.98 c | 595252 | 13605 56336 169131 | 2147483647 511092 27 | 1.868 % |
7065.75/7067.88 c | 595486 | 13605 56336 169131 | 2147483647 511326 27 | 1.868 % |
7070.55/7072.68 c | 595742 | 13605 56336 169131 | 2147483647 511582 27 | 1.868 % |
7075.65/7077.79 c | 596023 | 13605 56336 169131 | 2147483647 511863 27 | 1.868 % |
7081.44/7083.52 c | 596333 | 13605 56336 169131 | 2147483647 512173 27 | 1.868 % |
7087.24/7089.39 c | 596672 | 13605 56336 169131 | 2147483647 512512 27 | 1.868 % |
7094.04/7096.16 c | 597046 | 13605 56336 169131 | 2147483647 512886 27 | 1.868 % |
7101.45/7103.56 c | 597455 | 13605 56336 169131 | 2147483647 513295 27 | 1.868 % |
7109.24/7111.34 c | 597904 | 13605 56336 169131 | 2147483647 513744 27 | 1.868 % |
7117.44/7119.55 c | 598398 | 13605 56336 169131 | 2147483647 514238 27 | 1.868 % |
7126.44/7128.57 c | 598941 | 13605 56336 169131 | 2147483647 514781 27 | 1.868 % |
7136.84/7138.93 c | 599537 | 13605 56336 169131 | 2147483647 515377 27 | 1.868 % |
7148.33/7150.48 c | 600193 | 13605 56336 169131 | 515840 516033 27 | 1.868 % |
7160.73/7162.86 c | 600913 | 13605 56336 169131 | 515840 516753 27 | 1.868 % |
7181.62/7183.71 c | 601705 | 13605 56336 169131 | 515840 454464 27 | 1.868 % |
7196.02/7198.17 c | 602576 | 13605 56336 169131 | 515840 455335 27 | 1.868 % |
7211.61/7213.73 c | 603534 | 13605 56336 169131 | 515840 456293 27 | 1.868 % |
7229.71/7231.86 c | 604588 | 13605 56336 169131 | 515840 457347 27 | 1.868 % |
7245.30/7247.49 c | 605747 | 13605 56336 169131 | 515840 458506 27 | 1.868 % |
7266.89/7269.02 c | 607021 | 13605 56336 169131 | 515840 459780 27 | 1.868 % |
7291.19/7293.35 c | 608421 | 13605 56336 169131 | 515840 461180 27 | 1.868 % |
7316.39/7318.56 c | 609963 | 13605 56336 169131 | 515840 462722 27 | 1.868 % |
7350.68/7352.88 c | 611658 | 13605 56336 169131 | 462759 415406 27 | 1.868 % |
7374.67/7376.88 c | 613524 | 13605 56336 169131 | 462759 417272 27 | 1.868 % |
7406.86/7409.06 c | 615573 | 13605 56336 169131 | 462759 419321 27 | 1.868 % |
7441.25/7443.44 c | 617826 | 13605 56336 169131 | 462759 421574 27 | 1.868 % |
7477.34/7479.53 c | 620304 | 13605 56336 169131 | 2147483647 424052 27 | 1.868 % |
7519.93/7522.12 c | 623029 | 13605 56336 169131 | 2147483647 426777 27 | 1.868 % |
7564.92/7567.18 c | 626026 | 13605 56336 169131 | 2147483647 429774 27 | 1.868 % |
7615.60/7617.88 c | 629324 | 13605 56336 169131 | 2147483647 433072 27 | 1.868 % |
7670.49/7672.76 c | 632949 | 13605 56336 169131 | 2147483647 436697 27 | 1.868 % |
7730.37/7732.67 c | 636937 | 13605 56336 169131 | 2147483647 440685 27 | 1.868 % |
7798.55/7800.88 c | 641323 | 13605 56336 169131 | 2147483647 445071 27 | 1.868 % |
7871.22/7873.56 c | 646148 | 13605 56336 169131 | 2147483647 449896 27 | 1.868 % |
7953.61/7955.93 c | 651454 | 13605 56336 169131 | 2147483647 455202 27 | 1.868 % |
8054.67/8057.02 c | 657291 | 13605 56336 169131 | 2147483647 461039 27 | 1.868 % |
8056.38/8058.75 c | 657392 | 13605 56336 169131 | 2147483647 461140 27 | 1.868 % |
8057.98/8060.35 c | 657502 | 13605 56336 169131 | 2147483647 461250 27 | 1.868 % |
8060.18/8062.57 c | 657623 | 13605 56336 169131 | 2147483647 461371 27 | 1.868 % |
8062.28/8064.63 c | 657756 | 13605 56336 169131 | 2147483647 461504 27 | 1.868 % |
8064.78/8067.16 c | 657902 | 13605 56336 169131 | 2147483647 461650 27 | 1.868 % |
8067.28/8069.66 c | 658062 | 13605 56336 169131 | 2147483647 461810 27 | 1.868 % |
8070.08/8072.42 c | 658240 | 13605 56336 169131 | 2147483647 461988 27 | 1.868 % |
8073.18/8075.59 c | 658433 | 13605 56336 169131 | 2147483647 462181 27 | 1.868 % |
8076.58/8078.95 c | 658645 | 13605 56336 169131 | 2147483647 462393 27 | 1.868 % |
8080.28/8082.64 c | 658879 | 13605 56336 169131 | 2147483647 462627 27 | 1.868 % |
8084.27/8086.70 c | 659135 | 13605 56336 169131 | 2147483647 462883 27 | 1.868 % |
8088.97/8091.39 c | 659416 | 13605 56336 169131 | 2147483647 463164 27 | 1.868 % |
8093.87/8096.27 c | 659726 | 13605 56336 169131 | 2147483647 463474 27 | 1.868 % |
8100.17/8102.51 c | 660065 | 13605 56336 169131 | 2147483647 463813 27 | 1.868 % |
8106.06/8108.46 c | 660437 | 13605 56336 169131 | 2147483647 464185 27 | 1.868 % |
8112.16/8114.59 c | 660846 | 13605 56336 169131 | 2147483647 464594 27 | 1.868 % |
8119.46/8121.85 c | 661296 | 13605 56336 169131 | 2147483647 465044 27 | 1.868 % |
8127.36/8129.79 c | 661790 | 13605 56336 169131 | 2147483647 465538 27 | 1.868 % |
8135.75/8138.13 c | 662333 | 13605 56336 169131 | 2147483647 466081 27 | 1.868 % |
8144.96/8147.32 c | 662929 | 13605 56336 169131 | 2147483647 466677 27 | 1.868 % |
8151.36/8153.75 c | 663586 | 13605 56336 169131 | 2147483647 467334 27 | 1.868 % |
8163.15/8165.59 c | 664306 | 13605 56336 169131 | 2147483647 468054 27 | 1.868 % |
8176.05/8178.44 c | 665099 | 13605 56336 169131 | 2147483647 468847 27 | 1.868 % |
8191.05/8193.48 c | 665971 | 13605 56336 169131 | 2147483647 469719 27 | 1.868 % |
8206.14/8208.57 c | 666929 | 13605 56336 169131 | 2147483647 470677 27 | 1.868 % |
8222.63/8225.02 c | 667982 | 13605 56336 169131 | 2147483647 471730 27 | 1.868 % |
8240.43/8242.81 c | 669140 | 13605 56336 169131 | 2147483647 472888 27 | 1.868 % |
8261.32/8263.72 c | 670413 | 13605 56336 169131 | 2147483647 474161 27 | 1.868 % |
8284.12/8286.58 c | 671814 | 13605 56336 169131 | 2147483647 475562 27 | 1.868 % |
8309.31/8311.73 c | 673354 | 13605 56336 169131 | 2147483647 477102 27 | 1.868 % |
8336.30/8338.73 c | 675049 | 13605 56336 169131 | 2147483647 478797 27 | 1.868 % |
8366.99/8369.48 c | 676913 | 13605 56336 169131 | 2147483647 480661 27 | 1.868 % |
8402.88/8405.32 c | 678962 | 13605 56336 169131 | 2147483647 482710 27 | 1.868 % |
8440.47/8442.95 c | 681216 | 13605 56336 169131 | 2147483647 484964 27 | 1.868 % |
8483.56/8486.05 c | 683695 | 13605 56336 169131 | 2147483647 487443 27 | 1.868 % |
8527.65/8530.15 c | 686420 | 13605 56336 169131 | 2147483647 490168 27 | 1.868 % |
8575.84/8578.39 c | 689417 | 13605 56336 169131 | 2147483647 493165 27 | 1.868 % |
8629.62/8632.12 c | 692713 | 13605 56336 169131 | 2147483647 496461 27 | 1.868 % |
8689.71/8692.24 c | 696338 | 13605 56336 169131 | 2147483647 500086 27 | 1.868 % |
8752.49/8755.05 c | 700326 | 13605 56336 169131 | 2147483647 504074 27 | 1.868 % |
8824.77/8827.37 c | 704712 | 13605 56336 169131 | 2147483647 508460 27 | 1.868 % |
8906.25/8908.85 c | 709536 | 13605 56336 169131 | 2147483647 513284 27 | 1.868 % |
8997.22/8999.88 c | 714843 | 13605 56336 169131 | 2147483647 518591 27 | 1.868 % |
9092.20/9094.85 c | 720678 | 13605 56336 169131 | 2147483647 524426 27 | 1.868 % |
9198.17/9200.87 c | 727097 | 13605 56336 169131 | 2147483647 530845 27 | 1.868 % |
9199.98/9202.69 c | 727197 | 13605 56336 169131 | 2147483647 530945 27 | 1.868 % |
9201.87/9204.52 c | 727308 | 13605 56336 169131 | 2147483647 531056 27 | 1.868 % |
9204.07/9206.75 c | 727430 | 13605 56336 169131 | 2147483647 531178 27 | 1.868 % |
9206.17/9208.89 c | 727563 | 13605 56336 169131 | 2147483647 531311 27 | 1.868 % |
9208.97/9211.68 c | 727710 | 13605 56336 169131 | 2147483647 531458 27 | 1.868 % |
9211.67/9214.35 c | 727873 | 13605 56336 169131 | 2147483647 531621 27 | 1.868 % |
9214.67/9217.34 c | 728050 | 13605 56336 169131 | 2147483647 531798 27 | 1.868 % |
9218.27/9220.97 c | 728244 | 13605 56336 169131 | 2147483647 531992 27 | 1.868 % |
9222.16/9224.82 c | 728456 | 13605 56336 169131 | 2147483647 532204 27 | 1.868 % |
9226.06/9228.78 c | 728690 | 13605 56336 169131 | 2147483647 532438 27 | 1.868 % |
9230.86/9233.55 c | 728947 | 13605 56336 169131 | 2147483647 532695 27 | 1.868 % |
9236.16/9238.89 c | 729229 | 13605 56336 169131 | 2147483647 532977 27 | 1.868 % |
9241.96/9244.65 c | 729539 | 13605 56336 169131 | 2147483647 533287 27 | 1.868 % |
9247.46/9250.11 c | 729878 | 13605 56336 169131 | 2147483647 533626 27 | 1.868 % |
9254.45/9257.12 c | 730251 | 13605 56336 169131 | 2147483647 533999 27 | 1.868 % |
9262.15/9264.87 c | 730660 | 13605 56336 169131 | 2147483647 534408 27 | 1.868 % |
9269.75/9272.43 c | 731109 | 13605 56336 169131 | 2147483647 534857 27 | 1.868 % |
9277.95/9280.68 c | 731602 | 13605 56336 169131 | 2147483647 535350 27 | 1.868 % |
9287.44/9290.12 c | 732144 | 13605 56336 169131 | 2147483647 535892 27 | 1.868 % |
9297.74/9300.45 c | 732741 | 13605 56336 169131 | 2147483647 536489 27 | 1.868 % |
9308.24/9310.97 c | 733397 | 13605 56336 169131 | 2147483647 537145 27 | 1.868 % |
9319.93/9322.62 c | 734117 | 13605 56336 169131 | 2147483647 537865 27 | 1.868 % |
9333.94/9336.70 c | 734910 | 13605 56336 169131 | 2147483647 538658 27 | 1.868 % |
9350.03/9352.76 c | 735781 | 13605 56336 169131 | 2147483647 539529 27 | 1.868 % |
9371.02/9373.79 c | 736741 | 13605 56336 169131 | 2147483647 540489 27 | 1.868 % |
9389.62/9392.34 c | 737794 | 13605 56336 169131 | 2147483647 541542 27 | 1.868 % |
9411.81/9414.51 c | 738953 | 13605 56336 169131 | 2147483647 542701 27 | 1.868 % |
9433.60/9436.35 c | 740226 | 13605 56336 169131 | 543748 543974 27 | 1.868 % |
9459.00/9461.75 c | 741627 | 13605 56336 169131 | 543748 545375 27 | 1.868 % |
9488.79/9491.56 c | 743168 | 13605 56336 169131 | 543748 492379 27 | 1.868 % |
9516.69/9519.45 c | 744862 | 13605 56336 169131 | 543748 494073 27 | 1.868 % |
9547.68/9550.49 c | 746726 | 13605 56336 169131 | 543748 495937 27 | 1.868 % |
9583.07/9585.86 c | 748776 | 13605 56336 169131 | 543748 497987 27 | 1.868 % |
9620.86/9623.62 c | 751029 | 13605 56336 169131 | 2147483647 500240 27 | 1.868 % |
9660.65/9663.41 c | 753508 | 13605 56336 169131 | 2147483647 502719 27 | 1.868 % |
9709.33/9712.17 c | 756234 | 13605 56336 169131 | 2147483647 505445 27 | 1.868 % |
9761.31/9764.17 c | 759231 | 13605 56336 169131 | 2147483647 508442 27 | 1.868 % |
9819.80/9822.60 c | 762527 | 13605 56336 169131 | 509211 455244 26 | 1.868 % |
9874.59/9877.43 c | 766153 | 13605 56336 169131 | 509211 458870 26 | 1.868 % |
9935.47/9938.30 c | 770140 | 13605 56336 169131 | 2147483647 462857 26 | 1.868 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837322-1242867085/watcher-1837322-1242867085 -o /tmp/evaluation-result-1837322-1242867085/solver-1837322-1242867085 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837322-1242867085.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.85 0.97 0.96 3/64 7974
/proc/meminfo: memFree=1774008/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=0
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314742034 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7974/statm: 1339 237 197 169 0 50 0
[startup+0.047536 s]
/proc/loadavg: 0.85 0.97 0.96 3/64 7974
/proc/meminfo: memFree=1774008/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=0
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314742034 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7974/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10154 s]
/proc/loadavg: 0.85 0.97 0.96 3/64 7974
/proc/meminfo: memFree=1774008/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=0
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314742034 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7974/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301559 s]
/proc/loadavg: 0.85 0.97 0.96 3/64 7974
/proc/meminfo: memFree=1774008/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=0
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314742034 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7974/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701595 s]
/proc/loadavg: 0.85 0.97 0.96 3/64 7974
/proc/meminfo: memFree=1774008/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=0
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314742034 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7974/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50168 s]
/proc/loadavg: 0.85 0.97 0.96 2/66 7979
/proc/meminfo: memFree=1755936/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 5356
[startup+3.10182 s]
/proc/loadavg: 0.85 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1763744/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=5996 CPUtime=1.66
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 1324 0 0 0 166 0 0 0 25 0 1 0 314742176 6139904 1310 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 1499 1310 76 171 0 1326 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11352
[startup+6.30111 s]
/proc/loadavg: 0.86 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1763232/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=6128 CPUtime=4.87
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 1354 0 0 0 486 1 0 0 25 0 1 0 314742176 6275072 1340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 1532 1340 76 171 0 1359 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11484
[startup+12.7027 s]
/proc/loadavg: 0.87 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1763184/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=6260 CPUtime=11.27
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 1406 0 0 0 1126 1 0 0 25 0 1 0 314742176 6410240 1392 1992294400 134512640 135215339 4294956240 18446744073709551615 134538107 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 1565 1392 76 171 0 1392 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11616
[startup+25.5019 s]
/proc/loadavg: 0.90 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1762608/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=6928 CPUtime=24.06
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 1562 0 0 0 2405 1 0 0 25 0 1 0 314742176 7094272 1548 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 1732 1548 76 171 0 1559 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 12284
[startup+51.1012 s]
/proc/loadavg: 0.93 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1761840/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=7744 CPUtime=49.65
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 1776 0 0 0 4963 2 0 0 25 0 1 0 314742176 7929856 1762 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 1936 1762 76 171 0 1763 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 13100
[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1760048/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=9492 CPUtime=100.84
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 2211 0 0 0 10081 3 0 0 25 0 1 0 314742176 9719808 2197 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 2373 2197 76 171 0 2200 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 14848
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1757680/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=11996 CPUtime=160.82
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 2808 0 0 0 16078 4 0 0 25 0 1 0 314742176 12283904 2794 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 2999 2794 76 171 0 2826 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 17352
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1755824/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=13720 CPUtime=220.81
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 3246 0 0 0 22076 5 0 0 25 0 1 0 314742176 14049280 3232 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 3430 3232 76 171 0 3257 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 19076
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1754160/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=15400 CPUtime=280.79
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 3653 0 0 0 28073 6 0 0 25 0 1 0 314742176 15769600 3639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 3850 3639 76 171 0 3677 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 20756
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1752624/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=16972 CPUtime=340.77
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 4034 0 0 0 34070 7 0 0 25 0 1 0 314742176 17379328 4020 1992294400 134512640 135215339 4294956240 18446744073709551615 134528798 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 4243 4020 76 171 0 4070 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 22328
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1751152/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=18488 CPUtime=400.76
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 4398 0 0 0 40068 8 0 0 25 0 1 0 314742176 18931712 4384 1992294400 134512640 135215339 4294956240 18446744073709551615 134538536 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 4622 4384 76 171 0 4449 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 23844
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1749680/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
################
# More data... #
################
/proc/7980/statm: 23648 22304 76 171 0 23475 0
Current children cumulated CPU time (s) 9399.61
Current children cumulated vsize (KiB) 99948
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632624/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=94988 CPUtime=9458.19
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22434 0 0 0 945739 80 0 0 25 0 1 0 314742176 97267712 22420 1992294400 134512640 135215339 4294956240 18446744073709551615 134534193 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23747 22420 76 171 0 23574 0
Current children cumulated CPU time (s) 9459.6
Current children cumulated vsize (KiB) 100344
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632560/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=94988 CPUtime=9518.18
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22434 0 0 0 951737 81 0 0 25 0 1 0 314742176 97267712 22420 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23747 22420 76 171 0 23574 0
Current children cumulated CPU time (s) 9519.59
Current children cumulated vsize (KiB) 100344
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632368/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95360 CPUtime=9578.16
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22468 0 0 0 957735 81 0 0 25 0 1 0 314742176 97648640 22454 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23840 22454 76 171 0 23667 0
Current children cumulated CPU time (s) 9579.57
Current children cumulated vsize (KiB) 100716
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632176/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9638.14
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22506 0 0 0 963733 81 0 0 25 0 1 0 314742176 97832960 22492 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22492 76 171 0 23712 0
Current children cumulated CPU time (s) 9639.55
Current children cumulated vsize (KiB) 100896
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632112/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9698.12
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22506 0 0 0 969731 81 0 0 25 0 1 0 314742176 97832960 22492 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22492 76 171 0 23712 0
Current children cumulated CPU time (s) 9699.53
Current children cumulated vsize (KiB) 100896
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632048/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9758.1
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22511 0 0 0 975729 81 0 0 25 0 1 0 314742176 97832960 22497 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22497 76 171 0 23712 0
Current children cumulated CPU time (s) 9759.51
Current children cumulated vsize (KiB) 100896
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632048/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9818.09
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22513 0 0 0 981727 82 0 0 25 0 1 0 314742176 97832960 22499 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22499 76 171 0 23712 0
Current children cumulated CPU time (s) 9819.5
Current children cumulated vsize (KiB) 100896
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632048/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9878.08
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22514 0 0 0 987726 82 0 0 25 0 1 0 314742176 97832960 22500 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22500 76 171 0 23712 0
Current children cumulated CPU time (s) 9879.49
Current children cumulated vsize (KiB) 100896
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1631984/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9938.06
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22514 0 0 0 993723 83 0 0 25 0 1 0 314742176 97832960 22500 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22500 76 171 0 23712 0
Current children cumulated CPU time (s) 9939.47
Current children cumulated vsize (KiB) 100896
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1631984/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9998.05
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22514 0 0 0 999722 83 0 0 25 0 1 0 314742176 97832960 22500 1992294400 134512640 135215339 4294956240 18446744073709551615 134538068 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22500 76 171 0 23712 0
Current children cumulated CPU time (s) 9999.46
Current children cumulated vsize (KiB) 100896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1631984/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9998.65
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22514 0 0 0 999782 83 0 0 25 0 1 0 314742176 97832960 22500 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22500 76 171 0 23712 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 100896
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1631984/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9998.65
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22514 0 0 0 999782 83 0 0 25 0 1 0 314742176 97832960 22500 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22500 76 171 0 23712 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 100896
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7974 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=380790
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=42993
# CPU time returned by wait4() is 1.42378
# 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): 10002.9
CPU time (s): 10000.1
CPU user time (s): 9999.2
CPU system time (s): 0.86
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 100896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.38079
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4701
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= 14
involuntary context switches= 11
runsolver used 10.9033 second user time and 25.5481 second system time
The end
Begin job on node14 at 2009-05-21 02:51:25
IDJOB=1837322
IDBENCH=70848
IDSOLVER=674
FILE ID=node14/1837322-1242867085
PBS_JOBID= 9328579
Free space on /tmp= 66224 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-22-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837322-1242867085/watcher-1837322-1242867085 -o /tmp/evaluation-result-1837322-1242867085/solver-1837322-1242867085 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837322-1242867085.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 96596d59af0c6949ab68ac8c5abcf28b
RANDOM SEED=1966555320
node14.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.256
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 : 5931.00
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.256
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: 1774488 kB
Buffers: 38308 kB
Cached: 203284 kB
SwapCached: 6948 kB
Active: 95204 kB
Inactive: 154880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1774488 kB
SwapTotal: 4192956 kB
SwapFree: 4180012 kB
Dirty: 3204 kB
Writeback: 0 kB
Mapped: 13816 kB
Slab: 17360 kB
Committed_AS: 1012280 kB
PageTables: 1452 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= 66220 MiB
End job on node14 at 2009-05-21 05:38:10