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 | 97093 229175 | 29127 0 0 nan | 0.000 % |
1.28/1.38 c | 0 | 60325 180482 | -- 0 -- -- | -- | -36648/-48269
1.28/1.38 c ==============================================================================
1.28/1.38 c Result : #vars: 14507 #clauses: 60325 #literals: 180482
1.28/1.38 c CPU time: 1.3398 s
1.28/1.38 c ==============================================================================
1.38/1.45 c This is MiniSat 2.0 beta
1.38/1.45 c WARNING: for repeatability, setting FPU to use double precision
1.38/1.45 c ============================[ Problem Statistics ]=============================
1.38/1.45 c | |
1.38/1.45 c | Number of variables: 14507 |
1.38/1.45 c | Number of clauses: 60325 |
1.38/1.49 c | Parsing time: 0.03 s |
1.38/1.49 c ============================[ Search Statistics ]==============================
1.38/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.38/1.49 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.38/1.49 c ===============================================================================
1.38/1.49 c | 0 | 14507 60325 180482 | 20108 0 nan | 0.000 % |
1.43/1.52 c | 100 | 14493 60325 180482 | 20108 95 47 | 1.909 % |
1.43/1.68 c | 202 | 14493 60325 180482 | 20108 197 48 | 1.909 % |
1.43/1.96 c | 303 | 14230 58828 176622 | 20108 296 53 | 1.909 % |
2.16/2.23 c | 414 | 14230 58828 176622 | 20108 407 53 | 1.909 % |
2.66/2.70 c | 514 | 14230 58828 176622 | 20108 507 48 | 1.909 % |
2.96/3.07 c | 624 | 14230 58828 176622 | 20108 617 46 | 1.909 % |
3.46/3.59 c | 747 | 14230 58828 176622 | 20108 740 44 | 1.909 % |
3.96/4.08 c | 848 | 14230 58828 176622 | 20108 841 44 | 1.909 % |
4.46/4.55 c | 958 | 14230 58828 176622 | 20108 951 42 | 1.909 % |
4.96/5.04 c | 1079 | 14230 58828 176622 | 20108 1072 41 | 1.909 % |
5.56/5.65 c | 1212 | 14230 58828 176622 | 20108 1205 42 | 1.909 % |
6.06/6.12 c | 1312 | 14230 58828 176622 | 20108 1305 41 | 1.909 % |
6.46/6.53 c | 1422 | 14230 58828 176622 | 20108 1415 40 | 1.909 % |
6.87/6.91 c | 1544 | 14230 58828 176622 | 20108 1537 40 | 1.909 % |
7.36/7.42 c | 1678 | 14230 58828 176622 | 20108 1671 40 | 1.909 % |
8.06/8.16 c | 1825 | 14230 58828 176622 | 20108 1818 40 | 1.909 % |
8.06/8.19 c | 1925 | 14230 58828 176622 | 20108 1918 41 | 1.909 % |
8.36/8.41 c | 2035 | 14230 58828 176622 | 20108 2028 42 | 1.909 % |
8.66/8.79 c | 2156 | 14230 58828 176622 | 20108 2149 42 | 1.909 % |
9.16/9.25 c | 2290 | 14230 58828 176622 | 20108 2283 42 | 1.909 % |
9.87/9.96 c | 2437 | 14230 58828 176622 | 20108 2430 41 | 1.909 % |
10.56/10.62 c | 2597 | 14230 58828 176622 | 20108 2590 40 | 1.909 % |
10.76/10.86 c | 2699 | 14230 58828 176622 | 20108 2692 40 | 1.909 % |
11.16/11.28 c | 2809 | 14230 58828 176622 | 20108 2802 40 | 1.909 % |
11.26/11.37 c | 2932 | 14230 58828 176622 | 20108 2925 40 | 1.909 % |
11.66/11.72 c | 3065 | 14230 58828 176622 | 20108 3058 41 | 1.909 % |
12.06/12.18 c | 3211 | 14230 58828 176622 | 20108 3204 41 | 1.909 % |
12.66/12.74 c | 3371 | 14230 58828 176622 | 20108 3364 40 | 1.909 % |
13.36/13.49 c | 3548 | 14230 58828 176622 | 20108 3541 40 | 1.909 % |
13.86/13.96 c | 3649 | 14230 58828 176622 | 20108 3642 40 | 1.909 % |
14.46/14.53 c | 3760 | 14230 58828 176622 | 20108 3753 40 | 1.909 % |
14.96/15.04 c | 3881 | 14230 58828 176622 | 20108 3874 40 | 1.909 % |
15.66/15.78 c | 4015 | 14230 58828 176622 | 20108 4008 40 | 1.909 % |
16.36/16.46 c | 4162 | 14230 58828 176622 | 20108 4155 39 | 1.909 % |
17.06/17.14 c | 4323 | 14230 58828 176622 | 20108 4316 39 | 1.909 % |
17.96/18.02 c | 4499 | 14230 58828 176622 | 20108 4492 39 | 1.909 % |
18.86/18.98 c | 4692 | 14230 58828 176622 | 20108 4685 38 | 1.909 % |
19.46/19.52 c | 4792 | 14230 58828 176622 | 20108 4785 38 | 1.909 % |
19.96/20.00 c | 4902 | 14230 58828 176622 | 20108 4895 38 | 1.909 % |
20.05/20.11 c | 5023 | 14230 58828 176622 | 20108 5016 39 | 1.909 % |
20.55/20.65 c | 5157 | 14230 58828 176622 | 20108 5150 39 | 1.909 % |
20.96/21.04 c | 5304 | 14230 58828 176622 | 20108 5297 39 | 1.909 % |
21.65/21.79 c | 5464 | 14230 58828 176622 | 20108 5457 39 | 1.909 % |
22.35/22.41 c | 5642 | 14230 58828 176622 | 20108 5635 39 | 1.909 % |
23.16/23.23 c | 5836 | 14230 58828 176622 | 20108 5829 39 | 1.909 % |
23.96/24.07 c | 6049 | 14230 58828 176622 | 20108 6042 39 | 1.909 % |
24.46/24.55 c | 6150 | 14230 58828 176622 | 20108 6143 39 | 1.909 % |
24.96/25.04 c | 6260 | 14230 58828 176622 | 20108 6253 39 | 1.909 % |
25.36/25.48 c | 6382 | 14230 58828 176622 | 20108 6375 39 | 1.909 % |
25.96/26.01 c | 6515 | 14230 58828 176622 | 20108 6508 39 | 1.909 % |
26.46/26.59 c | 6662 | 14230 58828 176622 | 20108 6655 38 | 1.909 % |
27.26/27.36 c | 6823 | 14230 58828 176622 | 20108 6816 38 | 1.909 % |
28.16/28.21 c | 7000 | 14230 58828 176622 | 20108 6993 38 | 1.909 % |
28.96/29.05 c | 7194 | 14230 58828 176622 | 20108 7187 38 | 1.909 % |
29.76/29.83 c | 7407 | 14230 58828 176622 | 20108 7400 38 | 1.909 % |
30.86/30.94 c | 7640 | 14230 58828 176622 | 20108 7633 38 | 1.909 % |
31.36/31.41 c | 7741 | 14230 58828 176622 | 20108 7734 38 | 1.909 % |
31.66/31.79 c | 7852 | 14230 58828 176622 | 20108 7845 38 | 1.909 % |
31.96/32.08 c | 7973 | 14230 58828 176622 | 20108 7966 38 | 1.909 % |
32.46/32.54 c | 8107 | 14230 58828 176622 | 20108 8100 38 | 1.909 % |
32.96/33.10 c | 8253 | 14230 58828 176622 | 20108 8246 38 | 1.909 % |
33.56/33.64 c | 8414 | 14230 58828 176622 | 20108 8407 38 | 1.909 % |
34.26/34.30 c | 8591 | 14230 58828 176622 | 20108 8584 38 | 1.909 % |
34.76/34.88 c | 8786 | 14230 58828 176622 | 20108 8779 39 | 1.909 % |
35.76/35.84 c | 8998 | 14230 58828 176622 | 20108 8991 39 | 1.909 % |
36.86/36.99 c | 9232 | 14230 58828 176622 | 20108 9225 39 | 1.909 % |
37.86/37.97 c | 9488 | 14230 58828 176622 | 20108 9481 39 | 1.909 % |
38.26/38.36 c | 9589 | 14230 58828 176622 | 20108 9582 39 | 1.909 % |
38.86/38.90 c | 9699 | 14230 58828 176622 | 20108 9692 39 | 1.909 % |
39.36/39.48 c | 9820 | 14230 58828 176622 | 20108 9813 39 | 1.909 % |
40.05/40.16 c | 9953 | 14230 58828 176622 | 20108 9946 39 | 1.910 % |
40.45/40.60 c | 10100 | 14230 58828 176622 | 2147483647 10093 39 | 1.909 % |
40.85/40.98 c | 10260 | 14230 58828 176622 | 2147483647 10253 39 | 1.909 % |
41.45/41.58 c | 10436 | 14230 58828 176622 | 2147483647 10429 39 | 1.909 % |
42.35/42.47 c | 10630 | 14230 58828 176622 | 2147483647 10623 39 | 1.909 % |
43.45/43.51 c | 10843 | 14230 58828 176622 | 2147483647 10836 39 | 1.909 % |
44.55/44.63 c | 11077 | 14230 58828 176622 | 2147483647 11070 39 | 1.909 % |
45.55/45.69 c | 11333 | 14230 58828 176622 | 2147483647 11326 39 | 1.909 % |
46.35/46.46 c | 11615 | 14230 58828 176622 | 2147483647 11608 39 | 1.909 % |
46.75/46.89 c | 11716 | 14230 58828 176622 | 2147483647 11709 39 | 1.909 % |
47.15/47.20 c | 11827 | 14230 58828 176622 | 2147483647 11820 39 | 1.909 % |
47.45/47.53 c | 11948 | 14230 58828 176622 | 2147483647 11941 39 | 1.909 % |
48.05/48.16 c | 12082 | 14230 58828 176622 | 2147483647 12075 39 | 1.909 % |
48.65/48.79 c | 12228 | 14230 58828 176622 | 2147483647 12221 39 | 1.909 % |
49.35/49.41 c | 12388 | 14230 58828 176622 | 2147483647 12381 39 | 1.909 % |
50.05/50.18 c | 12565 | 14230 58828 176622 | 2147483647 12558 39 | 1.909 % |
50.75/50.87 c | 12758 | 14230 58828 176622 | 2147483647 12751 39 | 1.909 % |
51.75/51.82 c | 12971 | 14230 58828 176622 | 2147483647 12964 39 | 1.909 % |
52.85/52.93 c | 13205 | 14230 58828 176622 | 2147483647 13198 39 | 1.909 % |
54.14/54.29 c | 13462 | 14230 58828 176622 | 2147483647 13455 39 | 1.909 % |
55.44/55.53 c | 13743 | 14230 58828 176622 | 2147483647 13736 39 | 1.909 % |
57.15/57.24 c | 14052 | 14230 58828 176622 | 2147483647 14045 39 | 1.909 % |
57.74/57.81 c | 14153 | 14230 58828 176622 | 2147483647 14146 39 | 1.909 % |
57.74/57.88 c | 14263 | 14230 58828 176622 | 2147483647 14256 39 | 1.909 % |
58.14/58.22 c | 14384 | 14230 58828 176622 | 2147483647 14377 39 | 1.909 % |
58.44/58.53 c | 14519 | 14230 58828 176622 | 2147483647 14512 40 | 1.909 % |
58.94/59.07 c | 14665 | 14230 58828 176622 | 2147483647 14658 40 | 1.909 % |
59.75/59.84 c | 14825 | 14230 58828 176622 | 2147483647 14818 40 | 1.909 % |
60.35/60.46 c | 15001 | 14230 58828 176622 | 2147483647 14994 40 | 1.909 % |
61.14/61.29 c | 15195 | 14230 58828 176622 | 2147483647 15188 40 | 1.909 % |
62.14/62.23 c | 15408 | 14230 58828 176622 | 2147483647 15401 40 | 1.909 % |
63.24/63.36 c | 15641 | 14230 58828 176622 | 2147483647 15634 40 | 1.909 % |
63.94/64.06 c | 15897 | 14230 58828 176622 | 2147483647 15890 40 | 1.909 % |
65.14/65.23 c | 16179 | 14230 58828 176622 | 2147483647 16172 40 | 1.909 % |
66.64/66.72 c | 16490 | 14230 58828 176622 | 2147483647 16483 40 | 1.909 % |
68.14/68.29 c | 16829 | 14230 58828 176622 | 2147483647 16822 40 | 1.909 % |
68.54/68.62 c | 16932 | 14230 58828 176622 | 2147483647 16925 40 | 1.909 % |
68.94/69.06 c | 17042 | 14230 58828 176622 | 2147483647 17035 40 | 1.909 % |
69.44/69.57 c | 17163 | 14230 58828 176622 | 2147483647 17156 40 | 1.909 % |
70.04/70.17 c | 17296 | 14230 58828 176622 | 2147483647 17289 40 | 1.909 % |
70.94/71.02 c | 17442 | 14230 58828 176622 | 2147483647 17435 40 | 1.909 % |
71.84/71.93 c | 17602 | 14230 58828 176622 | 2147483647 17595 40 | 1.909 % |
72.44/72.58 c | 17778 | 14230 58828 176622 | 2147483647 17771 40 | 1.909 % |
73.44/73.57 c | 17971 | 14230 58828 176622 | 2147483647 17964 40 | 1.909 % |
73.94/74.01 c | 18183 | 14230 58828 176622 | 2147483647 18176 40 | 1.909 % |
74.44/74.57 c | 18418 | 14230 58828 176622 | 2147483647 18411 40 | 1.909 % |
75.14/75.26 c | 18674 | 14230 58828 176622 | 2147483647 18667 40 | 1.909 % |
76.64/76.72 c | 18956 | 14230 58828 176622 | 2147483647 18949 40 | 1.909 % |
77.24/77.38 c | 19266 | 14230 58828 176622 | 2147483647 19259 41 | 1.909 % |
78.85/78.94 c | 19606 | 14230 58828 176622 | 2147483647 19599 41 | 1.909 % |
80.54/80.65 c | 19978 | 14230 58828 176622 | 2147483647 19971 41 | 1.909 % |
81.14/81.21 c | 20079 | 14230 58828 176622 | 2147483647 20072 41 | 1.909 % |
81.74/81.89 c | 20190 | 14230 58828 176622 | 2147483647 20183 41 | 1.909 % |
82.45/82.52 c | 20312 | 14230 58828 176622 | 2147483647 20305 41 | 1.909 % |
83.14/83.28 c | 20446 | 14230 58828 176622 | 2147483647 20439 41 | 1.909 % |
84.04/84.20 c | 20592 | 14230 58828 176622 | 2147483647 20585 41 | 1.909 % |
85.04/85.11 c | 20753 | 14230 58828 176622 | 2147483647 20746 41 | 1.909 % |
85.94/86.09 c | 20929 | 14230 58828 176622 | 2147483647 20922 40 | 1.909 % |
86.44/86.54 c | 21122 | 14230 58828 176622 | 2147483647 21115 41 | 1.909 % |
87.54/87.63 c | 21334 | 14230 58828 176622 | 2147483647 21327 40 | 1.909 % |
88.44/88.56 c | 21568 | 14230 58828 176622 | 2147483647 21561 41 | 1.909 % |
89.24/89.34 c | 21824 | 14230 58828 176622 | 2147483647 21817 41 | 1.909 % |
90.54/90.65 c | 22105 | 14230 58828 176622 | 2147483647 22098 41 | 1.909 % |
91.94/92.00 c | 22416 | 14230 58828 176622 | 2147483647 22409 41 | 1.909 % |
93.64/93.70 c | 22755 | 14230 58828 176622 | 2147483647 22748 41 | 1.909 % |
95.64/95.71 c | 23127 | 14230 58828 176622 | 2147483647 23120 41 | 1.909 % |
97.94/98.09 c | 23536 | 14230 58828 176622 | 2147483647 23529 40 | 1.909 % |
98.43/98.56 c | 23636 | 14230 58828 176622 | 2147483647 23629 40 | 1.909 % |
98.94/99.03 c | 23747 | 14230 58828 176622 | 2147483647 23740 40 | 1.909 % |
99.43/99.52 c | 23868 | 14230 58828 176622 | 2147483647 23861 40 | 1.909 % |
100.04/100.11 c | 24001 | 14230 58828 176622 | 2147483647 23994 40 | 1.909 % |
100.73/100.82 c | 24150 | 14230 58828 176622 | 2147483647 24143 40 | 1.909 % |
101.53/101.68 c | 24310 | 14230 58828 176622 | 2147483647 24303 40 | 1.909 % |
102.34/102.48 c | 24486 | 14230 58828 176622 | 2147483647 24479 40 | 1.909 % |
103.23/103.31 c | 24680 | 14230 58828 176622 | 2147483647 24673 40 | 1.909 % |
104.13/104.22 c | 24893 | 14230 58828 176622 | 2147483647 24886 40 | 1.909 % |
105.23/105.36 c | 25127 | 14230 58828 176622 | 2147483647 25120 40 | 1.909 % |
106.33/106.42 c | 25383 | 14230 58828 176622 | 2147483647 25376 40 | 1.909 % |
107.63/107.70 c | 25667 | 14230 58828 176622 | 2147483647 25660 40 | 1.909 % |
109.13/109.27 c | 25976 | 14230 58828 176622 | 2147483647 25969 40 | 1.909 % |
110.93/111.02 c | 26315 | 14230 58828 176622 | 2147483647 26308 40 | 1.909 % |
112.83/112.92 c | 26687 | 14230 58828 176622 | 2147483647 26680 40 | 1.909 % |
114.63/114.73 c | 27096 | 14230 58828 176622 | 2147483647 27089 40 | 1.909 % |
116.43/116.57 c | 27545 | 14230 58828 176622 | 2147483647 27538 40 | 1.909 % |
117.03/117.14 c | 27645 | 14230 58828 176622 | 2147483647 27638 40 | 1.909 % |
117.63/117.72 c | 27755 | 14230 58828 176622 | 2147483647 27748 40 | 1.909 % |
118.33/118.46 c | 27876 | 14230 58828 176622 | 2147483647 27869 40 | 1.909 % |
118.93/119.04 c | 28010 | 14230 58828 176622 | 2147483647 28003 40 | 1.909 % |
119.84/119.91 c | 28157 | 14230 58828 176622 | 2147483647 28150 40 | 1.909 % |
120.63/120.71 c | 28318 | 14230 58828 176622 | 2147483647 28311 40 | 1.909 % |
121.63/121.71 c | 28495 | 14230 58828 176622 | 2147483647 28488 40 | 1.909 % |
122.73/122.89 c | 28689 | 14230 58828 176622 | 2147483647 28682 40 | 1.909 % |
123.93/124.04 c | 28902 | 14230 58828 176622 | 2147483647 28895 40 | 1.909 % |
124.63/124.80 c | 29136 | 14230 58828 176622 | 2147483647 29129 40 | 1.909 % |
126.03/126.16 c | 29392 | 14230 58828 176622 | 2147483647 29385 40 | 1.909 % |
127.13/127.29 c | 29673 | 14230 58828 176622 | 2147483647 29666 40 | 1.909 % |
128.63/128.71 c | 29982 | 14230 58828 176622 | 2147483647 29975 40 | 1.909 % |
130.43/130.55 c | 30323 | 14230 58828 176622 | 2147483647 30316 40 | 1.909 % |
132.13/132.25 c | 30695 | 14230 58828 176622 | 2147483647 30688 40 | 1.909 % |
134.53/134.61 c | 31105 | 14230 58828 176622 | 2147483647 31098 40 | 1.909 % |
136.73/136.81 c | 31554 | 14230 58828 176622 | 2147483647 31547 40 | 1.909 % |
139.12/139.22 c | 32047 | 14230 58828 176622 | 2147483647 32040 40 | 1.909 % |
139.22/139.33 c | 32147 | 14230 58828 176622 | 2147483647 32140 40 | 1.909 % |
139.82/139.94 c | 32258 | 14230 58828 176622 | 2147483647 32251 40 | 1.909 % |
140.22/140.36 c | 32379 | 14230 58828 176622 | 2147483647 32372 40 | 1.909 % |
140.52/140.62 c | 32513 | 14230 58828 176622 | 2147483647 32506 41 | 1.909 % |
141.32/141.47 c | 32660 | 14230 58828 176622 | 2147483647 32653 41 | 1.909 % |
141.93/142.03 c | 32820 | 14230 58828 176622 | 2147483647 32813 41 | 1.909 % |
142.72/142.89 c | 32996 | 14230 58828 176622 | 2147483647 32989 41 | 1.909 % |
143.72/143.84 c | 33189 | 14230 58828 176622 | 2147483647 33182 41 | 1.909 % |
145.03/145.20 c | 33401 | 14230 58828 176622 | 2147483647 33394 41 | 1.909 % |
146.43/146.56 c | 33634 | 14230 58828 176622 | 2147483647 33627 41 | 1.909 % |
147.93/148.02 c | 33890 | 14230 58828 176622 | 2147483647 33883 41 | 1.909 % |
149.33/149.47 c | 34171 | 14230 58828 176622 | 2147483647 34164 41 | 1.909 % |
150.83/150.95 c | 34480 | 14230 58828 176622 | 2147483647 34473 40 | 1.909 % |
152.73/152.82 c | 34820 | 14230 58828 176622 | 2147483647 34813 41 | 1.909 % |
154.62/154.71 c | 35193 | 14230 58828 176622 | 2147483647 35186 41 | 1.909 % |
156.52/156.68 c | 35602 | 14230 58828 176622 | 2147483647 35595 41 | 1.909 % |
159.02/159.11 c | 36051 | 14230 58828 176622 | 2147483647 36044 40 | 1.909 % |
161.82/161.92 c | 36546 | 14230 58828 176622 | 2147483647 36539 40 | 1.909 % |
164.62/164.74 c | 37089 | 14230 58828 176622 | 2147483647 37082 40 | 1.909 % |
164.92/165.06 c | 37189 | 14230 58828 176622 | 2147483647 37182 40 | 1.909 % |
165.32/165.45 c | 37299 | 14230 58828 176622 | 2147483647 37292 40 | 1.909 % |
165.82/165.95 c | 37421 | 14230 58828 176622 | 2147483647 37414 40 | 1.909 % |
166.52/166.64 c | 37554 | 14230 58828 176622 | 2147483647 37547 40 | 1.909 % |
167.32/167.42 c | 37701 | 14230 58828 176622 | 2147483647 37694 40 | 1.909 % |
167.82/167.91 c | 37861 | 14230 58828 176622 | 2147483647 37854 40 | 1.909 % |
168.82/168.91 c | 38039 | 14230 58828 176622 | 2147483647 38032 40 | 1.909 % |
169.92/170.01 c | 38232 | 14230 58828 176622 | 2147483647 38225 40 | 1.909 % |
170.82/170.98 c | 38446 | 14230 58828 176622 | 2147483647 38439 40 | 1.909 % |
171.82/171.96 c | 38679 | 14230 58828 176622 | 2147483647 38672 40 | 1.909 % |
173.12/173.28 c | 38935 | 14230 58828 176622 | 2147483647 38928 40 | 1.909 % |
174.32/174.44 c | 39217 | 14230 58828 176622 | 2147483647 39210 40 | 1.909 % |
175.81/175.98 c | 39526 | 14230 58828 176622 | 2147483647 39519 41 | 1.909 % |
177.51/177.64 c | 39865 | 14230 58828 176622 | 2147483647 39858 41 | 1.909 % |
179.22/179.39 c | 40238 | 14230 58828 176622 | 2147483647 40231 41 | 1.909 % |
181.81/181.96 c | 40648 | 14230 58828 176622 | 2147483647 40641 41 | 1.909 % |
184.11/184.27 c | 41099 | 14230 58828 176622 | 2147483647 41092 41 | 1.909 % |
187.11/187.29 c | 41596 | 14230 58828 176622 | 2147483647 41589 41 | 1.909 % |
189.81/189.97 c | 42139 | 14230 58828 176622 | 2147483647 42132 41 | 1.909 % |
193.31/193.49 c | 42735 | 14230 58828 176622 | 2147483647 42728 41 | 1.909 % |
193.91/194.10 c | 42836 | 14230 58828 176622 | 2147483647 42829 41 | 1.909 % |
194.71/194.81 c | 42947 | 14230 58828 176622 | 2147483647 42940 41 | 1.909 % |
195.51/195.60 c | 43070 | 14230 58828 176622 | 2147483647 43063 41 | 1.909 % |
196.31/196.44 c | 43203 | 14230 58828 176622 | 2147483647 43196 41 | 1.909 % |
197.21/197.36 c | 43350 | 14230 58828 176622 | 2147483647 43343 41 | 1.909 % |
198.40/198.51 c | 43510 | 14230 58828 176622 | 2147483647 43503 41 | 1.909 % |
199.40/199.52 c | 43687 | 14230 58828 176622 | 2147483647 43680 41 | 1.909 % |
200.31/200.40 c | 43880 | 14230 58828 176622 | 2147483647 43873 41 | 1.909 % |
201.41/201.56 c | 44093 | 14230 58828 176622 | 2147483647 44086 41 | 1.909 % |
202.21/202.37 c | 44326 | 14230 58828 176622 | 2147483647 44319 41 | 1.909 % |
203.71/203.89 c | 44582 | 14230 58828 176622 | 2147483647 44575 41 | 1.909 % |
205.31/205.40 c | 44864 | 14230 58828 176622 | 2147483647 44857 41 | 1.909 % |
206.51/206.66 c | 45174 | 14230 58828 176622 | 2147483647 45167 41 | 1.909 % |
208.21/208.32 c | 45514 | 14230 58828 176622 | 2147483647 45507 41 | 1.909 % |
210.21/210.35 c | 45888 | 14230 58828 176622 | 2147483647 45881 41 | 1.909 % |
212.41/212.57 c | 46297 | 14230 58828 176622 | 2147483647 46290 41 | 1.909 % |
215.11/215.26 c | 46746 | 14230 58828 176622 | 2147483647 46739 41 | 1.909 % |
218.70/218.85 c | 47240 | 14230 58828 176622 | 2147483647 47233 41 | 1.909 % |
221.80/221.95 c | 47783 | 14230 58828 176622 | 2147483647 47776 41 | 1.909 % |
225.20/225.33 c | 48379 | 14230 58828 176622 | 2147483647 48372 41 | 1.909 % |
229.41/229.58 c | 49034 | 14230 58828 176622 | 2147483647 49027 41 | 1.909 % |
230.01/230.19 c | 49135 | 14230 58828 176622 | 2147483647 49128 41 | 1.909 % |
230.71/230.88 c | 49246 | 14230 58828 176622 | 2147483647 49239 41 | 1.909 % |
231.51/231.65 c | 49367 | 14230 58828 176622 | 2147483647 49360 41 | 1.909 % |
232.40/232.54 c | 49501 | 14230 58828 176622 | 2147483647 49494 41 | 1.909 % |
233.40/233.51 c | 49647 | 14230 58828 176622 | 2147483647 49640 41 | 1.909 % |
234.31/234.49 c | 49808 | 14230 58828 176622 | 2147483647 49801 41 | 1.909 % |
235.50/235.63 c | 49986 | 14230 58828 176622 | 2147483647 49979 40 | 1.909 % |
236.51/236.67 c | 50179 | 14230 58828 176622 | 2147483647 50172 40 | 1.909 % |
237.70/237.84 c | 50392 | 14230 58828 176622 | 2147483647 50385 41 | 1.909 % |
238.80/238.99 c | 50626 | 14230 58828 176622 | 2147483647 50619 41 | 1.909 % |
240.40/240.53 c | 50882 | 14230 58828 176622 | 2147483647 50875 41 | 1.909 % |
241.80/241.96 c | 51165 | 14230 58828 176622 | 2147483647 51158 41 | 1.909 % |
243.50/243.65 c | 51478 | 14230 58828 176622 | 2147483647 51471 41 | 1.909 % |
245.20/245.32 c | 51818 | 14230 58828 176622 | 2147483647 51811 41 | 1.909 % |
246.60/246.79 c | 52191 | 14230 58828 176622 | 2147483647 52184 41 | 1.909 % |
248.90/249.06 c | 52600 | 14230 58828 176622 | 2147483647 52593 41 | 1.909 % |
251.50/251.64 c | 53050 | 14230 58828 176622 | 2147483647 53043 41 | 1.909 % |
254.79/254.96 c | 53544 | 14230 58828 176622 | 2147483647 53537 41 | 1.909 % |
257.89/258.00 c | 54086 | 14230 58828 176622 | 2147483647 54079 41 | 1.909 % |
260.79/260.94 c | 54682 | 14230 58828 176622 | 2147483647 54675 41 | 1.909 % |
264.19/264.38 c | 55337 | 14230 58828 176622 | 2147483647 55330 41 | 1.909 % |
268.19/268.38 c | 56057 | 14230 58828 176622 | 2147483647 56050 41 | 1.909 % |
268.79/268.98 c | 56158 | 14230 58828 176622 | 2147483647 56151 41 | 1.909 % |
269.29/269.44 c | 56268 | 14230 58828 176622 | 2147483647 56261 41 | 1.909 % |
269.79/269.98 c | 56389 | 14230 58828 176622 | 2147483647 56382 41 | 1.909 % |
270.49/270.63 c | 56522 | 14230 58828 176622 | 2147483647 56515 41 | 1.909 % |
271.48/271.62 c | 56668 | 14230 58828 176622 | 2147483647 56661 41 | 1.909 % |
272.48/272.70 c | 56828 | 14230 58828 176622 | 2147483647 56821 41 | 1.909 % |
273.59/273.77 c | 57005 | 14230 58828 176622 | 2147483647 56998 41 | 1.909 % |
274.68/274.81 c | 57199 | 14230 58828 176622 | 2147483647 57192 41 | 1.909 % |
276.09/276.28 c | 57412 | 14230 58828 176622 | 2147483647 57405 41 | 1.909 % |
277.79/277.98 c | 57645 | 14230 58828 176622 | 2147483647 57638 41 | 1.909 % |
279.59/279.70 c | 57902 | 14230 58828 176622 | 2147483647 57895 41 | 1.909 % |
281.19/281.34 c | 58184 | 14230 58828 176622 | 2147483647 58177 41 | 1.909 % |
283.19/283.36 c | 58494 | 14230 58828 176622 | 2147483647 58487 41 | 1.909 % |
284.99/285.16 c | 58835 | 14230 58828 176622 | 2147483647 58828 41 | 1.909 % |
287.59/287.77 c | 59207 | 14230 58828 176622 | 2147483647 59200 41 | 1.909 % |
290.49/290.62 c | 59616 | 14230 58828 176622 | 2147483647 59609 41 | 1.909 % |
292.89/293.08 c | 60065 | 14230 58828 176622 | 2147483647 60058 41 | 1.909 % |
295.69/295.82 c | 60558 | 14230 58828 176622 | 2147483647 60551 41 | 1.909 % |
299.09/299.22 c | 61100 | 14230 58828 176622 | 2147483647 61093 41 | 1.909 % |
303.08/303.24 c | 61696 | 14230 58828 176622 | 2147483647 61689 41 | 1.909 % |
307.58/307.71 c | 62351 | 14230 58828 176622 | 2147483647 62344 41 | 1.909 % |
311.78/311.93 c | 63071 | 14230 58828 176622 | 2147483647 63064 41 | 1.909 % |
317.27/317.45 c | 63864 | 14230 58828 176622 | 2147483647 63857 40 | 1.909 % |
318.07/318.21 c | 63964 | 14230 58828 176622 | 2147483647 63957 40 | 1.909 % |
318.77/318.92 c | 64075 | 14230 58828 176622 | 2147483647 64068 40 | 1.909 % |
319.57/319.75 c | 64197 | 14230 58828 176622 | 2147483647 64190 40 | 1.909 % |
320.47/320.64 c | 64331 | 14230 58828 176622 | 2147483647 64324 40 | 1.909 % |
321.47/321.62 c | 64477 | 14230 58828 176622 | 2147483647 64470 40 | 1.909 % |
322.37/322.59 c | 64639 | 14230 58828 176622 | 2147483647 64632 40 | 1.909 % |
323.67/323.80 c | 64815 | 14230 58828 176622 | 2147483647 64808 40 | 1.909 % |
324.97/325.13 c | 65009 | 14230 58828 176622 | 2147483647 65002 40 | 1.909 % |
326.27/326.44 c | 65221 | 14230 58828 176622 | 2147483647 65214 40 | 1.909 % |
326.97/327.11 c | 65456 | 14230 58828 176622 | 2147483647 65449 41 | 1.909 % |
328.37/328.55 c | 65712 | 14230 58828 176622 | 2147483647 65705 41 | 1.909 % |
329.77/329.99 c | 65993 | 14230 58828 176622 | 2147483647 65986 41 | 1.909 % |
331.67/331.89 c | 66302 | 14230 58828 176622 | 2147483647 66295 41 | 1.909 % |
333.38/333.59 c | 66643 | 14230 58828 176622 | 2147483647 66636 41 | 1.909 % |
335.78/335.97 c | 67016 | 14230 58828 176622 | 2147483647 67009 41 | 1.909 % |
338.47/338.63 c | 67425 | 14230 58828 176622 | 2147483647 67418 41 | 1.909 % |
341.87/342.01 c | 67874 | 14230 58828 176622 | 2147483647 67867 41 | 1.909 % |
345.07/345.22 c | 68367 | 14230 58828 176622 | 2147483647 68360 41 | 1.909 % |
348.37/348.58 c | 68910 | 14230 58828 176622 | 2147483647 68903 40 | 1.909 % |
351.97/352.16 c | 69507 | 14230 58828 176622 | 2147483647 69500 40 | 1.909 % |
355.67/355.81 c | 70163 | 14230 58828 176622 | 2147483647 70156 40 | 1.909 % |
360.47/360.68 c | 70883 | 14230 58828 176622 | 2147483647 70876 40 | 1.909 % |
365.76/365.92 c | 71676 | 14230 58828 176622 | 2147483647 71669 41 | 1.909 % |
371.86/372.01 c | 72547 | 14230 58828 176622 | 2147483647 72540 40 | 1.909 % |
372.66/372.85 c | 72647 | 14230 58828 176622 | 2147483647 72640 40 | 1.909 % |
373.26/373.48 c | 72757 | 14230 58828 176622 | 2147483647 72750 40 | 1.909 % |
374.06/374.28 c | 72879 | 14230 58828 176622 | 2147483647 72872 40 | 1.909 % |
374.96/375.11 c | 73014 | 14230 58828 176622 | 2147483647 73007 40 | 1.909 % |
375.86/376.09 c | 73161 | 14230 58828 176622 | 2147483647 73154 40 | 1.909 % |
376.96/377.15 c | 73321 | 14230 58828 176622 | 2147483647 73314 40 | 1.909 % |
378.06/378.29 c | 73498 | 14230 58828 176622 | 2147483647 73491 40 | 1.909 % |
379.26/379.43 c | 73691 | 14230 58828 176622 | 2147483647 73684 40 | 1.909 % |
380.46/380.62 c | 73903 | 14230 58828 176622 | 2147483647 73896 40 | 1.909 % |
381.56/381.80 c | 74136 | 14230 58828 176622 | 2147483647 74129 40 | 1.909 % |
382.77/382.92 c | 74393 | 14230 58828 176622 | 2147483647 74386 41 | 1.909 % |
384.36/384.58 c | 74674 | 14230 58828 176622 | 2147483647 74667 41 | 1.909 % |
386.16/386.30 c | 74983 | 14230 58828 176622 | 2147483647 74976 41 | 1.909 % |
388.56/388.73 c | 75324 | 14230 58828 176622 | 2147483647 75317 41 | 1.909 % |
390.86/391.01 c | 75697 | 14230 58828 176622 | 2147483647 75690 41 | 1.909 % |
393.16/393.40 c | 76107 | 14230 58828 176622 | 2147483647 76100 41 | 1.909 % |
396.36/396.59 c | 76560 | 14230 58828 176622 | 2147483647 76553 40 | 1.909 % |
399.76/399.91 c | 77053 | 14230 58828 176622 | 2147483647 77046 40 | 1.909 % |
403.26/403.40 c | 77595 | 14230 58828 176622 | 2147483647 77588 40 | 1.909 % |
406.86/407.09 c | 78191 | 14230 58828 176622 | 2147483647 78184 41 | 1.909 % |
410.75/410.96 c | 78846 | 14230 58828 176622 | 2147483647 78839 41 | 1.909 % |
415.35/415.59 c | 79566 | 14230 58828 176622 | 2147483647 79559 40 | 1.909 % |
419.75/419.96 c | 80359 | 14230 58828 176622 | 2147483647 80352 41 | 1.909 % |
425.55/425.79 c | 81231 | 14230 58828 176622 | 2147483647 81224 41 | 1.909 % |
431.25/431.43 c | 82189 | 14230 58828 176622 | 2147483647 82182 41 | 1.909 % |
431.95/432.14 c | 82291 | 14230 58828 176622 | 2147483647 82284 41 | 1.909 % |
432.55/432.79 c | 82402 | 14230 58828 176622 | 2147483647 82395 41 | 1.909 % |
433.44/433.69 c | 82523 | 14230 58828 176622 | 2147483647 82516 41 | 1.909 % |
434.35/434.55 c | 82658 | 14230 58828 176622 | 2147483647 82651 41 | 1.909 % |
435.34/435.55 c | 82806 | 14230 58828 176622 | 2147483647 82799 41 | 1.909 % |
436.14/436.38 c | 82966 | 14230 58828 176622 | 2147483647 82959 41 | 1.909 % |
437.34/437.52 c | 83143 | 14230 58828 176622 | 2147483647 83136 41 | 1.909 % |
438.85/439.06 c | 83337 | 14230 58828 176622 | 2147483647 83330 41 | 1.909 % |
440.04/440.24 c | 83550 | 14230 58828 176622 | 2147483647 83543 41 | 1.909 % |
441.34/441.53 c | 83783 | 14230 58828 176622 | 2147483647 83776 41 | 1.909 % |
442.94/443.10 c | 84039 | 14230 58828 176622 | 2147483647 84032 41 | 1.909 % |
444.84/445.02 c | 84321 | 14230 58828 176622 | 2147483647 84314 41 | 1.909 % |
446.44/446.67 c | 84631 | 14230 58828 176622 | 2147483647 84624 41 | 1.909 % |
448.54/448.80 c | 84970 | 14230 58828 176622 | 2147483647 84963 41 | 1.909 % |
451.44/451.62 c | 85342 | 14230 58828 176622 | 2147483647 85335 41 | 1.909 % |
454.24/454.42 c | 85751 | 14230 58828 176622 | 2147483647 85744 41 | 1.909 % |
456.94/457.16 c | 86200 | 14230 58828 176622 | 2147483647 86193 41 | 1.909 % |
460.44/460.63 c | 86694 | 14230 58828 176622 | 2147483647 86687 41 | 1.909 % |
463.94/464.18 c | 87236 | 14230 58828 176622 | 2147483647 87229 41 | 1.909 % |
468.04/468.26 c | 87833 | 14230 58828 176622 | 2147483647 87826 41 | 1.909 % |
472.24/472.41 c | 88490 | 14230 58828 176622 | 2147483647 88483 41 | 1.909 % |
477.64/477.84 c | 89210 | 14230 58828 176622 | 2147483647 89203 41 | 1.909 % |
483.04/483.29 c | 90005 | 14230 58828 176622 | 2147483647 89998 41 | 1.909 % |
488.43/488.70 c | 90877 | 14230 58828 176622 | 2147483647 90870 41 | 1.909 % |
495.33/495.59 c | 91835 | 14230 58828 176622 | 2147483647 91828 41 | 1.909 % |
502.13/502.39 c | 92890 | 14230 58828 176622 | 2147483647 92883 41 | 1.909 % |
502.83/503.10 c | 92991 | 14230 58828 176622 | 2147483647 92984 41 | 1.909 % |
503.83/504.04 c | 93101 | 14230 58828 176622 | 2147483647 93094 41 | 1.909 % |
504.83/505.03 c | 93223 | 14230 58828 176622 | 2147483647 93216 41 | 1.909 % |
505.93/506.16 c | 93357 | 14230 58828 176622 | 2147483647 93350 41 | 1.909 % |
507.13/507.37 c | 93504 | 14230 58828 176622 | 2147483647 93497 41 | 1.909 % |
508.42/508.63 c | 93665 | 14230 58828 176622 | 2147483647 93658 41 | 1.909 % |
509.82/510.09 c | 93842 | 14230 58828 176622 | 2147483647 93835 41 | 1.909 % |
511.22/511.42 c | 94036 | 14230 58828 176622 | 2147483647 94029 41 | 1.909 % |
513.02/513.26 c | 94249 | 14230 58828 176622 | 2147483647 94242 41 | 1.909 % |
515.12/515.34 c | 94482 | 14230 58828 176622 | 2147483647 94475 41 | 1.909 % |
517.12/517.31 c | 94739 | 14230 58828 176622 | 2147483647 94732 41 | 1.909 % |
519.32/519.57 c | 95021 | 14230 58828 176622 | 2147483647 95014 41 | 1.909 % |
521.92/522.11 c | 95331 | 14230 58828 176622 | 2147483647 95324 41 | 1.909 % |
524.23/524.41 c | 95672 | 14230 58828 176622 | 2147483647 95665 41 | 1.909 % |
526.92/527.11 c | 96044 | 14230 58828 176622 | 2147483647 96037 41 | 1.909 % |
529.82/530.01 c | 96454 | 14230 58828 176622 | 2147483647 96447 41 | 1.909 % |
533.12/533.36 c | 96903 | 14230 58828 176622 | 2147483647 96896 41 | 1.909 % |
537.72/537.96 c | 97397 | 14230 58828 176622 | 2147483647 97390 41 | 1.909 % |
542.22/542.40 c | 97939 | 14230 58828 176622 | 2147483647 97932 41 | 1.909 % |
546.91/547.17 c | 98536 | 14230 58828 176622 | 2147483647 98529 41 | 1.909 % |
552.31/552.59 c | 99192 | 14230 58828 176622 | 2147483647 99185 41 | 1.909 % |
558.01/558.24 c | 99913 | 14230 58828 176622 | 2147483647 99906 41 | 1.909 % |
564.01/564.28 c | 100705 | 14230 58828 176622 | 2147483647 100698 41 | 1.909 % |
569.51/569.78 c | 101576 | 14230 58828 176622 | 2147483647 101569 41 | 1.909 % |
575.91/576.14 c | 102534 | 14230 58828 176622 | 2147483647 102527 42 | 1.909 % |
583.81/584.06 c | 103587 | 14230 58828 176622 | 2147483647 103580 42 | 1.909 % |
592.90/593.12 c | 104745 | 14230 58828 176622 | 2147483647 104738 41 | 1.909 % |
593.70/593.95 c | 104846 | 14230 58828 176622 | 2147483647 104839 41 | 1.909 % |
594.60/594.84 c | 104957 | 14230 58828 176622 | 2147483647 104950 41 | 1.909 % |
595.50/595.72 c | 105078 | 14230 58828 176622 | 2147483647 105071 41 | 1.909 % |
596.29/596.54 c | 105212 | 14230 58828 176622 | 2147483647 105205 42 | 1.909 % |
597.49/597.73 c | 105359 | 14230 58828 176622 | 2147483647 105352 42 | 1.909 % |
598.89/599.13 c | 105519 | 14230 58828 176622 | 2147483647 105512 41 | 1.909 % |
600.29/600.53 c | 105695 | 14230 58828 176622 | 2147483647 105688 41 | 1.909 % |
601.79/602.01 c | 105888 | 14230 58828 176622 | 2147483647 105881 41 | 1.909 % |
603.29/603.59 c | 106100 | 14230 58828 176622 | 2147483647 106093 41 | 1.909 % |
605.10/605.31 c | 106334 | 14230 58828 176622 | 2147483647 106327 41 | 1.909 % |
606.79/607.08 c | 106592 | 14230 58828 176622 | 2147483647 106585 41 | 1.909 % |
608.79/609.06 c | 106873 | 14230 58828 176622 | 2147483647 106866 41 | 1.909 % |
611.09/611.30 c | 107184 | 14230 58828 176622 | 2147483647 107177 42 | 1.909 % |
612.89/613.12 c | 107523 | 14230 58828 176622 | 2147483647 107516 42 | 1.909 % |
615.99/616.25 c | 107896 | 14230 58828 176622 | 2147483647 107889 42 | 1.909 % |
619.69/619.95 c | 108305 | 14230 58828 176622 | 2147483647 108298 41 | 1.909 % |
623.29/623.51 c | 108754 | 14230 58828 176622 | 2147483647 108747 41 | 1.909 % |
626.98/627.24 c | 109247 | 14230 58828 176622 | 2147483647 109240 42 | 1.909 % |
630.08/630.31 c | 109789 | 14230 58828 176622 | 2147483647 109782 41 | 1.909 % |
634.88/635.13 c | 110385 | 14230 58828 176622 | 2147483647 110378 42 | 1.909 % |
639.48/639.78 c | 111041 | 14230 58828 176622 | 2147483647 111034 42 | 1.909 % |
645.98/646.20 c | 111762 | 14230 58828 176622 | 2147483647 111755 42 | 1.909 % |
651.38/651.64 c | 112554 | 14230 58828 176622 | 2147483647 112547 42 | 1.909 % |
657.07/657.34 c | 113426 | 14230 58828 176622 | 2147483647 113419 42 | 1.909 % |
664.88/665.12 c | 114384 | 14230 58828 176622 | 2147483647 114377 42 | 1.909 % |
673.48/673.75 c | 115437 | 14230 58828 176622 | 2147483647 115430 42 | 1.909 % |
682.37/682.68 c | 116596 | 14230 58828 176622 | 2147483647 116589 42 | 1.909 % |
691.47/691.75 c | 117869 | 14230 58828 176622 | 2147483647 117862 42 | 1.909 % |
692.37/692.62 c | 117969 | 14230 58828 176622 | 2147483647 117962 42 | 1.909 % |
693.47/693.72 c | 118079 | 14230 58828 176622 | 2147483647 118072 42 | 1.909 % |
694.27/694.55 c | 118201 | 14230 58828 176622 | 2147483647 118194 42 | 1.909 % |
695.37/695.67 c | 118335 | 14230 58828 176622 | 2147483647 118328 42 | 1.909 % |
696.77/697.01 c | 118482 | 14230 58828 176622 | 2147483647 118475 42 | 1.909 % |
698.07/698.37 c | 118643 | 14230 58828 176622 | 2147483647 118636 42 | 1.909 % |
699.37/699.64 c | 118820 | 14230 58828 176622 | 2147483647 118813 42 | 1.909 % |
700.97/701.26 c | 119013 | 14230 58828 176622 | 2147483647 119006 42 | 1.909 % |
702.57/702.90 c | 119226 | 14230 58828 176622 | 2147483647 119219 42 | 1.909 % |
704.77/705.07 c | 119459 | 14230 58828 176622 | 2147483647 119452 42 | 1.909 % |
707.26/707.51 c | 119716 | 14230 58828 176622 | 2147483647 119709 42 | 1.909 % |
709.46/709.71 c | 119999 | 14230 58828 176622 | 2147483647 119992 42 | 1.909 % |
711.16/711.45 c | 120309 | 14230 58828 176622 | 2147483647 120302 42 | 1.909 % |
713.96/714.29 c | 120649 | 14230 58828 176622 | 2147483647 120642 42 | 1.909 % |
717.16/717.47 c | 121022 | 14230 58828 176622 | 2147483647 121015 42 | 1.909 % |
720.86/721.19 c | 121433 | 14230 58828 176622 | 2147483647 121426 42 | 1.909 % |
723.66/723.98 c | 121883 | 14230 58828 176622 | 2147483647 121876 42 | 1.909 % |
727.26/727.52 c | 122377 | 14230 58828 176622 | 2147483647 122370 42 | 1.909 % |
731.55/731.87 c | 122919 | 14230 58828 176622 | 2147483647 122912 42 | 1.909 % |
736.25/736.59 c | 123515 | 14230 58828 176622 | 2147483647 123508 42 | 1.909 % |
742.45/742.70 c | 124170 | 14230 58828 176622 | 2147483647 124163 42 | 1.909 % |
748.75/749.09 c | 124891 | 14230 58828 176622 | 2147483647 124884 42 | 1.909 % |
755.45/755.74 c | 125684 | 14230 58828 176622 | 2147483647 125677 42 | 1.909 % |
761.15/761.45 c | 126556 | 14230 58828 176622 | 2147483647 126549 42 | 1.909 % |
769.55/769.82 c | 127514 | 14230 58828 176622 | 2147483647 127507 42 | 1.909 % |
776.04/776.31 c | 128569 | 14230 58828 176622 | 2147483647 128562 42 | 1.909 % |
785.74/786.07 c | 129728 | 14230 58828 176622 | 2147483647 129721 42 | 1.909 % |
796.34/796.63 c | 131003 | 14230 58828 176622 | 2147483647 130996 42 | 1.909 % |
806.73/807.04 c | 132405 | 14230 58828 176622 | 2147483647 132398 42 | 1.909 % |
807.63/807.90 c | 132505 | 14230 58828 176622 | 2147483647 132498 42 | 1.909 % |
808.24/808.57 c | 132616 | 14230 58828 176622 | 2147483647 132609 43 | 1.909 % |
808.83/809.17 c | 132737 | 14230 58828 176622 | 2147483647 132730 43 | 1.909 % |
809.53/809.82 c | 132871 | 14230 58828 176622 | 2147483647 132864 43 | 1.909 % |
810.54/810.85 c | 133018 | 14230 58828 176622 | 2147483647 133011 43 | 1.909 % |
812.13/812.41 c | 133179 | 14230 58828 176622 | 2147483647 133172 43 | 1.909 % |
813.93/814.20 c | 133356 | 14230 58828 176622 | 2147483647 133349 43 | 1.909 % |
815.63/815.97 c | 133550 | 14230 58828 176622 | 2147483647 133543 43 | 1.909 % |
817.53/817.81 c | 133763 | 14230 58828 176622 | 2147483647 133756 43 | 1.909 % |
819.23/819.51 c | 133997 | 14230 58828 176622 | 2147483647 133990 43 | 1.909 % |
821.33/821.61 c | 134254 | 14230 58828 176622 | 2147483647 134247 43 | 1.909 % |
822.53/822.80 c | 134537 | 14230 58828 176622 | 2147483647 134530 43 | 1.909 % |
824.52/824.84 c | 134847 | 14230 58828 176622 | 2147483647 134840 43 | 1.909 % |
827.32/827.64 c | 135187 | 14230 58828 176622 | 2147483647 135180 43 | 1.909 % |
830.72/831.02 c | 135559 | 14230 58828 176622 | 2147483647 135552 43 | 1.909 % |
834.73/835.05 c | 135969 | 14230 58828 176622 | 2147483647 135962 43 | 1.909 % |
838.93/839.27 c | 136418 | 14230 58828 176622 | 2147483647 136411 43 | 1.909 % |
843.33/843.64 c | 136912 | 14230 58828 176622 | 2147483647 136905 43 | 1.909 % |
847.83/848.18 c | 137455 | 14230 58828 176622 | 2147483647 137448 43 | 1.909 % |
852.23/852.56 c | 138051 | 14230 58828 176622 | 2147483647 138044 43 | 1.909 % |
858.32/858.60 c | 138706 | 14230 58828 176622 | 2147483647 138699 43 | 1.909 % |
864.42/864.78 c | 139426 | 14230 58828 176622 | 2147483647 139419 43 | 1.909 % |
871.32/871.60 c | 140218 | 14230 58828 176622 | 2147483647 140211 43 | 1.909 % |
878.21/878.50 c | 141090 | 14230 58828 176622 | 2147483647 141083 42 | 1.909 % |
885.91/886.27 c | 142048 | 14230 58828 176622 | 2147483647 142041 42 | 1.909 % |
893.81/894.16 c | 143102 | 14230 58828 176622 | 2147483647 143095 43 | 1.909 % |
903.61/903.99 c | 144260 | 14230 58828 176622 | 2147483647 144253 43 | 1.909 % |
913.90/914.28 c | 145534 | 14230 58828 176622 | 2147483647 145527 43 | 1.909 % |
923.10/923.49 c | 146934 | 14230 58828 176622 | 2147483647 146927 43 | 1.909 % |
936.29/936.61 c | 148475 | 14230 58828 176622 | 2147483647 148468 43 | 1.909 % |
936.79/937.20 c | 148577 | 14230 58828 176622 | 2147483647 148570 43 | 1.909 % |
937.60/937.96 c | 148687 | 14230 58828 176622 | 2147483647 148680 43 | 1.909 % |
938.40/938.71 c | 148808 | 14230 58828 176622 | 2147483647 148801 43 | 1.909 % |
939.20/939.55 c | 148945 | 14230 58828 176622 | 2147483647 148938 43 | 1.909 % |
940.40/940.76 c | 149091 | 14230 58828 176622 | 2147483647 149084 43 | 1.909 % |
941.80/942.15 c | 149251 | 14230 58828 176622 | 2147483647 149244 43 | 1.909 % |
943.40/943.71 c | 149428 | 14230 58828 176622 | 2147483647 149421 43 | 1.909 % |
944.80/945.12 c | 149622 | 14230 58828 176622 | 2147483647 149615 43 | 1.909 % |
946.80/947.14 c | 149834 | 14230 58828 176622 | 2147483647 149827 43 | 1.909 % |
949.00/949.34 c | 150067 | 14230 58828 176622 | 2147483647 150060 43 | 1.909 % |
951.39/951.71 c | 150324 | 14230 58828 176622 | 2147483647 150317 43 | 1.909 % |
953.99/954.36 c | 150605 | 14230 58828 176622 | 2147483647 150598 43 | 1.909 % |
956.59/956.99 c | 150914 | 14230 58828 176622 | 2147483647 150907 43 | 1.909 % |
959.49/959.82 c | 151254 | 14230 58828 176622 | 2147483647 151247 43 | 1.909 % |
962.89/963.23 c | 151627 | 14230 58828 176622 | 2147483647 151620 43 | 1.909 % |
966.59/967.00 c | 152036 | 14230 58828 176622 | 2147483647 152029 43 | 1.909 % |
971.19/971.50 c | 152486 | 14230 58828 176622 | 2147483647 152479 43 | 1.909 % |
975.88/976.27 c | 152979 | 14230 58828 176622 | 2147483647 152972 43 | 1.909 % |
981.08/981.43 c | 153522 | 14230 58828 176622 | 2147483647 153515 43 | 1.909 % |
986.18/986.57 c | 154118 | 14230 58828 176622 | 2147483647 154111 43 | 1.909 % |
992.68/993.03 c | 154773 | 14230 58828 176622 | 2147483647 154766 43 | 1.909 % |
998.67/999.02 c | 155493 | 14230 58828 176622 | 2147483647 155486 43 | 1.909 % |
1005.98/1006.32 c | 156285 | 14230 58828 176622 | 2147483647 156278 43 | 1.909 % |
1014.18/1014.59 c | 157158 | 14230 58828 176622 | 2147483647 157151 43 | 1.909 % |
1018.57/1019.00 c | 158116 | 14230 58828 176622 | 2147483647 158109 43 | 1.909 % |
1028.97/1029.36 c | 159170 | 14230 58828 176622 | 2147483647 159163 43 | 1.909 % |
1038.56/1038.93 c | 160329 | 14230 58828 176622 | 2147483647 160322 43 | 1.909 % |
1049.46/1049.84 c | 161603 | 14230 58828 176622 | 2147483647 161596 43 | 1.909 % |
1061.46/1061.88 c | 163003 | 14230 58828 176622 | 2147483647 162996 43 | 1.909 % |
1076.36/1076.73 c | 164543 | 14230 58828 176622 | 2147483647 164536 43 | 1.909 % |
1091.65/1092.03 c | 166237 | 14230 58828 176622 | 2147483647 166230 43 | 1.909 % |
1092.45/1092.84 c | 166339 | 14230 58828 176622 | 2147483647 166332 43 | 1.909 % |
1093.35/1093.70 c | 166450 | 14230 58828 176622 | 2147483647 166443 43 | 1.909 % |
1094.16/1094.54 c | 166575 | 14230 58828 176622 | 2147483647 166568 43 | 1.909 % |
1095.45/1095.85 c | 166708 | 14230 58828 176622 | 2147483647 166701 43 | 1.909 % |
1096.55/1097.00 c | 166854 | 14230 58828 176622 | 2147483647 166847 43 | 1.909 % |
1097.95/1098.37 c | 167017 | 14230 58828 176622 | 2147483647 167010 43 | 1.909 % |
1099.35/1099.73 c | 167193 | 14230 58828 176622 | 2147483647 167186 43 | 1.909 % |
1101.35/1101.80 c | 167387 | 14230 58828 176622 | 2147483647 167380 43 | 1.909 % |
1103.55/1103.90 c | 167600 | 14230 58828 176622 | 2147483647 167593 43 | 1.909 % |
1106.05/1106.44 c | 167833 | 14230 58828 176622 | 2147483647 167826 43 | 1.909 % |
1108.55/1108.90 c | 168090 | 14230 58828 176622 | 2147483647 168083 43 | 1.909 % |
1111.44/1111.88 c | 168371 | 14230 58828 176622 | 2147483647 168364 43 | 1.909 % |
1114.54/1114.95 c | 168680 | 14230 58828 176622 | 2147483647 168673 43 | 1.909 % |
1117.94/1118.31 c | 169019 | 14230 58828 176622 | 2147483647 169012 43 | 1.909 % |
1121.34/1121.76 c | 169392 | 14230 58828 176622 | 2147483647 169385 43 | 1.909 % |
1125.34/1125.79 c | 169802 | 14230 58828 176622 | 2147483647 169795 43 | 1.909 % |
1129.94/1130.36 c | 170252 | 14230 58828 176622 | 2147483647 170245 43 | 1.909 % |
1134.13/1134.57 c | 170745 | 14230 58828 176622 | 2147483647 170738 43 | 1.909 % |
1138.43/1138.80 c | 171288 | 14230 58828 176622 | 2147483647 171281 43 | 1.909 % |
1143.43/1143.82 c | 171884 | 14230 58828 176622 | 2147483647 171877 43 | 1.909 % |
1149.64/1150.05 c | 172540 | 14230 58828 176622 | 2147483647 172533 43 | 1.909 % |
1156.04/1156.45 c | 173260 | 14230 58828 176622 | 2147483647 173253 43 | 1.909 % |
1162.63/1163.09 c | 174053 | 14230 58828 176622 | 2147483647 174046 43 | 1.909 % |
1169.63/1170.06 c | 174926 | 14230 58828 176622 | 2147483647 174919 43 | 1.909 % |
1177.23/1177.61 c | 175885 | 14230 58828 176622 | 2147483647 175878 43 | 1.909 % |
1186.02/1186.45 c | 176938 | 14230 58828 176622 | 2147483647 176931 44 | 1.909 % |
1197.12/1197.50 c | 178097 | 14230 58828 176622 | 2147483647 178090 44 | 1.909 % |
1210.01/1210.45 c | 179371 | 14230 58828 176622 | 2147483647 179364 44 | 1.909 % |
1225.12/1225.52 c | 180774 | 14230 58828 176622 | 2147483647 180767 43 | 1.909 % |
1241.01/1241.42 c | 182316 | 14230 58828 176622 | 2147483647 182309 43 | 1.909 % |
1258.30/1258.76 c | 184010 | 14230 58828 176622 | 2147483647 184003 43 | 1.909 % |
1277.50/1277.99 c | 185875 | 14230 58828 176622 | 2147483647 185868 43 | 1.909 % |
1278.69/1279.11 c | 185977 | 14230 58828 176622 | 2147483647 185970 43 | 1.909 % |
1279.79/1280.29 c | 186088 | 14230 58828 176622 | 2147483647 186081 43 | 1.909 % |
1281.20/1281.64 c | 186211 | 14230 58828 176622 | 2147483647 186204 43 | 1.909 % |
1282.49/1283.00 c | 186344 | 14230 58828 176622 | 2147483647 186337 43 | 1.909 % |
1284.09/1284.53 c | 186490 | 14230 58828 176622 | 2147483647 186483 43 | 1.909 % |
1285.69/1286.10 c | 186651 | 14230 58828 176622 | 2147483647 186644 43 | 1.909 % |
1287.69/1288.10 c | 186829 | 14230 58828 176622 | 2147483647 186822 43 | 1.909 % |
1289.79/1290.28 c | 187024 | 14230 58828 176622 | 2147483647 187017 43 | 1.909 % |
1292.59/1293.03 c | 187237 | 14230 58828 176622 | 2147483647 187230 43 | 1.909 % |
1294.99/1295.48 c | 187470 | 14230 58828 176622 | 2147483647 187463 43 | 1.909 % |
1297.69/1298.16 c | 187726 | 14230 58828 176622 | 2147483647 187719 43 | 1.909 % |
1300.79/1301.28 c | 188008 | 14230 58828 176622 | 2147483647 188001 43 | 1.909 % |
1304.69/1305.16 c | 188318 | 14230 58828 176622 | 2147483647 188311 43 | 1.909 % |
1308.39/1308.87 c | 188658 | 14230 58828 176622 | 2147483647 188651 43 | 1.909 % |
1311.89/1312.32 c | 189030 | 14230 58828 176622 | 2147483647 189023 43 | 1.909 % |
1316.49/1316.96 c | 189440 | 14230 58828 176622 | 2147483647 189433 43 | 1.909 % |
1321.59/1322.05 c | 189889 | 14230 58828 176622 | 2147483647 189882 43 | 1.909 % |
1326.89/1327.31 c | 190383 | 14230 58828 176622 | 2147483647 190376 43 | 1.909 % |
1332.68/1333.14 c | 190926 | 14230 58828 176622 | 2147483647 190919 43 | 1.909 % |
1339.28/1339.76 c | 191522 | 14230 58828 176622 | 2147483647 191515 43 | 1.909 % |
1346.58/1347.06 c | 192177 | 14230 58828 176622 | 2147483647 192170 43 | 1.909 % |
1353.18/1353.60 c | 192897 | 14230 58828 176622 | 2147483647 192890 43 | 1.909 % |
1361.38/1361.86 c | 193689 | 14230 58828 176622 | 2147483647 193682 43 | 1.909 % |
1370.37/1370.84 c | 194560 | 14230 58828 176622 | 2147483647 194553 43 | 1.909 % |
1379.86/1380.37 c | 195520 | 14230 58828 176622 | 2147483647 195513 43 | 1.909 % |
1390.66/1391.17 c | 196575 | 14230 58828 176622 | 2147483647 196568 43 | 1.909 % |
1403.06/1403.56 c | 197734 | 14230 58828 176622 | 2147483647 197727 43 | 1.909 % |
1416.25/1416.76 c | 199009 | 14230 58828 176622 | 2147483647 199002 43 | 1.909 % |
1430.86/1431.36 c | 200411 | 14230 58828 176622 | 2147483647 200404 43 | 1.909 % |
1446.85/1447.32 c | 201952 | 14230 58828 176622 | 2147483647 201945 43 | 1.909 % |
1465.35/1465.80 c | 203647 | 14230 58828 176622 | 2147483647 203640 43 | 1.909 % |
1484.94/1485.44 c | 205511 | 14230 58828 176622 | 2147483647 205504 43 | 1.909 % |
1507.13/1507.62 c | 207563 | 14230 58828 176622 | 2147483647 207556 43 | 1.909 % |
1508.33/1508.84 c | 207663 | 14230 58828 176622 | 2147483647 207656 43 | 1.909 % |
1509.63/1510.11 c | 207774 | 14230 58828 176622 | 2147483647 207767 43 | 1.909 % |
1511.03/1511.59 c | 207896 | 14230 58828 176622 | 2147483647 207889 43 | 1.909 % |
1512.63/1513.11 c | 208031 | 14230 58828 176622 | 2147483647 208024 43 | 1.909 % |
1514.23/1514.80 c | 208177 | 14230 58828 176622 | 2147483647 208170 43 | 1.909 % |
1516.13/1516.67 c | 208337 | 14230 58828 176622 | 2147483647 208330 43 | 1.909 % |
1518.32/1518.88 c | 208514 | 14230 58828 176622 | 2147483647 208507 43 | 1.909 % |
1520.72/1521.21 c | 208707 | 14230 58828 176622 | 2147483647 208700 43 | 1.909 % |
1523.22/1523.77 c | 208919 | 14230 58828 176622 | 2147483647 208912 43 | 1.909 % |
1526.12/1526.66 c | 209153 | 14230 58828 176622 | 2147483647 209146 43 | 1.909 % |
1529.22/1529.72 c | 209409 | 14230 58828 176622 | 2147483647 209402 43 | 1.909 % |
1532.12/1532.65 c | 209690 | 14230 58828 176622 | 2147483647 209683 43 | 1.909 % |
1535.62/1536.11 c | 210000 | 14230 58828 176622 | 2147483647 209993 43 | 1.909 % |
1539.13/1539.64 c | 210340 | 14230 58828 176622 | 2147483647 210333 43 | 1.909 % |
1543.73/1544.27 c | 210712 | 14230 58828 176622 | 2147483647 210705 43 | 1.909 % |
1548.93/1549.48 c | 211122 | 14230 58828 176622 | 2147483647 211115 43 | 1.909 % |
1554.42/1554.96 c | 211571 | 14230 58828 176622 | 2147483647 211564 43 | 1.909 % |
1558.62/1559.19 c | 212064 | 14230 58828 176622 | 2147483647 212057 43 | 1.909 % |
1565.02/1565.58 c | 212606 | 14230 58828 176622 | 2147483647 212599 43 | 1.909 % |
1569.82/1570.32 c | 213203 | 14230 58828 176622 | 2147483647 213196 43 | 1.909 % |
1577.71/1578.24 c | 213858 | 14230 58828 176622 | 2147483647 213851 43 | 1.909 % |
1584.91/1585.48 c | 214578 | 14230 58828 176622 | 2147483647 214571 43 | 1.909 % |
1593.71/1594.20 c | 215370 | 14230 58828 176622 | 2147483647 215363 43 | 1.909 % |
1602.60/1603.18 c | 216241 | 14230 58828 176622 | 2147483647 216234 43 | 1.909 % |
1612.50/1613.02 c | 217199 | 14230 58828 176622 | 2147483647 217192 43 | 1.909 % |
1623.40/1623.96 c | 218253 | 14230 58828 176622 | 2147483647 218246 43 | 1.909 % |
1634.69/1635.22 c | 219412 | 14230 58828 176622 | 2147483647 219405 43 | 1.909 % |
1648.00/1648.51 c | 220685 | 14230 58828 176622 | 2147483647 220678 43 | 1.909 % |
1656.59/1657.16 c | 222085 | 14230 58828 176622 | 2147483647 222078 43 | 1.909 % |
1673.58/1674.18 c | 223625 | 14230 58828 176622 | 2147483647 223618 43 | 1.909 % |
1693.38/1693.91 c | 225320 | 14230 58828 176622 | 2147483647 225313 43 | 1.909 % |
1715.07/1715.61 c | 227183 | 14230 58828 176622 | 2147483647 227176 43 | 1.909 % |
1735.56/1736.12 c | 229232 | 14230 58828 176622 | 2147483647 229225 43 | 1.909 % |
1760.36/1760.93 c | 231486 | 14230 58828 176622 | 2147483647 231479 43 | 1.909 % |
1761.26/1761.87 c | 231586 | 14230 58828 176622 | 2147483647 231579 43 | 1.909 % |
1762.66/1763.20 c | 231696 | 14230 58828 176622 | 2147483647 231689 43 | 1.909 % |
1763.97/1764.59 c | 231818 | 14230 58828 176622 | 2147483647 231811 43 | 1.909 % |
1765.46/1766.02 c | 231952 | 14230 58828 176622 | 2147483647 231945 43 | 1.909 % |
1767.06/1767.60 c | 232098 | 14230 58828 176622 | 2147483647 232091 43 | 1.909 % |
1768.96/1769.53 c | 232260 | 14230 58828 176622 | 2147483647 232253 43 | 1.909 % |
1770.47/1771.08 c | 232437 | 14230 58828 176622 | 2147483647 232430 43 | 1.909 % |
1772.66/1773.25 c | 232630 | 14230 58828 176622 | 2147483647 232623 43 | 1.909 % |
1774.16/1774.72 c | 232843 | 14230 58828 176622 | 2147483647 232836 43 | 1.909 % |
1776.86/1777.46 c | 233076 | 14230 58828 176622 | 2147483647 233069 43 | 1.909 % |
1780.16/1780.73 c | 233332 | 14230 58828 176622 | 2147483647 233325 43 | 1.909 % |
1783.76/1784.34 c | 233613 | 14230 58828 176622 | 2147483647 233606 43 | 1.909 % |
1787.15/1787.77 c | 233923 | 14230 58828 176622 | 2147483647 233916 43 | 1.909 % |
1791.85/1792.46 c | 234262 | 14230 58828 176622 | 2147483647 234255 43 | 1.909 % |
1795.95/1796.56 c | 234635 | 14230 58828 176622 | 2147483647 234628 43 | 1.909 % |
1800.05/1800.68 c | 235046 | 14230 58828 176622 | 2147483647 235039 43 | 1.909 % |
1805.45/1806.03 c | 235495 | 14230 58828 176622 | 2147483647 235488 43 | 1.909 % |
1811.55/1812.16 c | 235989 | 14230 58828 176622 | 2147483647 235982 43 | 1.909 % |
1813.75/1814.37 c | 236531 | 14230 58828 176622 | 2147483647 236524 43 | 1.909 % |
1820.74/1821.32 c | 237127 | 14230 58828 176622 | 2147483647 237120 43 | 1.909 % |
1826.94/1827.59 c | 237782 | 14230 58828 176622 | 2147483647 237775 43 | 1.909 % |
1834.94/1835.54 c | 238502 | 14230 58828 176622 | 2147483647 238495 43 | 1.909 % |
1844.43/1845.04 c | 239294 | 14230 58828 176622 | 2147483647 239287 43 | 1.909 % |
1853.73/1854.34 c | 240166 | 14230 58828 176622 | 2147483647 240159 43 | 1.909 % |
1865.13/1865.78 c | 241124 | 14230 58828 176622 | 2147483647 241117 43 | 1.909 % |
1877.32/1877.91 c | 242179 | 14230 58828 176622 | 2147483647 242172 43 | 1.909 % |
1890.33/1890.96 c | 243338 | 14230 58828 176622 | 2147483647 243331 43 | 1.909 % |
1904.12/1904.70 c | 244612 | 14230 58828 176622 | 2147483647 244605 43 | 1.909 % |
1921.02/1921.69 c | 246012 | 14230 58828 176622 | 2147483647 246005 43 | 1.909 % |
1938.21/1938.83 c | 247554 | 14230 58828 176622 | 2147483647 247547 43 | 1.909 % |
1957.20/1957.81 c | 249248 | 14230 58828 176622 | 2147483647 249241 43 | 1.909 % |
1976.40/1977.03 c | 251112 | 14230 58828 176622 | 2147483647 251105 43 | 1.909 % |
1999.99/2000.69 c | 253161 | 14230 58828 176622 | 2147483647 253154 43 | 1.909 % |
2024.49/2025.20 c | 255414 | 14230 58828 176622 | 2147483647 255407 43 | 1.909 % |
2050.28/2050.99 c | 257892 | 14230 58828 176622 | 2147483647 257885 43 | 1.909 % |
2051.18/2051.87 c | 257994 | 14230 58828 176622 | 2147483647 257987 43 | 1.909 % |
2052.48/2053.10 c | 258104 | 14230 58828 176622 | 2147483647 258097 43 | 1.909 % |
2053.68/2054.31 c | 258230 | 14230 58828 176622 | 2147483647 258223 43 | 1.909 % |
2055.38/2056.02 c | 258363 | 14230 58828 176622 | 2147483647 258356 43 | 1.909 % |
2057.17/2057.85 c | 258510 | 14230 58828 176622 | 2147483647 258503 43 | 1.909 % |
2059.47/2060.11 c | 258670 | 14230 58828 176622 | 2147483647 258663 43 | 1.909 % |
2061.47/2062.16 c | 258847 | 14230 58828 176622 | 2147483647 258840 43 | 1.909 % |
2063.27/2063.96 c | 259042 | 14230 58828 176622 | 2147483647 259035 43 | 1.909 % |
2065.57/2066.25 c | 259254 | 14230 58828 176622 | 2147483647 259247 43 | 1.909 % |
2068.07/2068.74 c | 259488 | 14230 58828 176622 | 2147483647 259481 43 | 1.909 % |
2070.87/2071.52 c | 259744 | 14230 58828 176622 | 2147483647 259737 43 | 1.909 % |
2074.27/2074.98 c | 260026 | 14230 58828 176622 | 2147483647 260019 43 | 1.909 % |
2078.37/2079.01 c | 260335 | 14230 58828 176622 | 2147483647 260328 43 | 1.909 % |
2082.87/2083.52 c | 260674 | 14230 58828 176622 | 2147483647 260667 43 | 1.909 % |
2087.37/2088.08 c | 261046 | 14230 58828 176622 | 2147483647 261039 43 | 1.909 % |
2091.46/2092.18 c | 261456 | 14230 58828 176622 | 2147483647 261449 43 | 1.909 % |
2096.66/2097.39 c | 261906 | 14230 58828 176622 | 2147483647 261899 43 | 1.909 % |
2102.96/2103.62 c | 262399 | 14230 58828 176622 | 2147483647 262392 43 | 1.909 % |
2108.76/2109.47 c | 262941 | 14230 58828 176622 | 2147483647 262934 43 | 1.909 % |
2115.96/2116.61 c | 263538 | 14230 58828 176622 | 2147483647 263531 43 | 1.909 % |
2122.86/2123.53 c | 264193 | 14230 58828 176622 | 2147483647 264186 43 | 1.909 % |
2129.46/2130.15 c | 264913 | 14230 58828 176622 | 2147483647 264906 43 | 1.909 % |
2136.55/2137.22 c | 265706 | 14230 58828 176622 | 2147483647 265699 43 | 1.909 % |
2145.95/2146.65 c | 266578 | 14230 58828 176622 | 2147483647 266571 43 | 1.909 % |
2158.55/2159.26 c | 267536 | 14230 58828 176622 | 2147483647 267529 43 | 1.909 % |
2173.14/2173.80 c | 268590 | 14230 58828 176622 | 2147483647 268583 43 | 1.909 % |
2188.93/2189.67 c | 269748 | 14230 58828 176622 | 2147483647 269741 43 | 1.909 % |
2204.24/2204.97 c | 271023 | 14230 58828 176622 | 2147483647 271016 43 | 1.909 % |
2221.83/2222.55 c | 272424 | 14230 58828 176622 | 2147483647 272417 43 | 1.909 % |
2241.32/2242.01 c | 273964 | 14230 58828 176622 | 2147483647 273957 43 | 1.909 % |
2264.22/2265.00 c | 275659 | 14230 58828 176622 | 2147483647 275652 43 | 1.909 % |
2289.11/2289.88 c | 277522 | 14230 58828 176622 | 2147483647 277515 43 | 1.909 % |
2317.00/2317.73 c | 279572 | 14230 58828 176622 | 2147483647 279565 43 | 1.909 % |
2346.89/2347.68 c | 281827 | 14230 58828 176622 | 2147483647 281820 43 | 1.909 % |
2378.68/2379.46 c | 284307 | 14230 58828 176622 | 2147483647 284300 43 | 1.909 % |
2414.28/2415.01 c | 287032 | 14230 58828 176622 | 2147483647 287025 43 | 1.909 % |
2415.58/2416.32 c | 287132 | 14230 58828 176622 | 2147483647 287125 43 | 1.909 % |
2417.18/2417.94 c | 287244 | 14230 58828 176622 | 2147483647 287237 43 | 1.909 % |
2418.78/2419.58 c | 287365 | 14230 58828 176622 | 2147483647 287358 43 | 1.909 % |
2419.67/2420.43 c | 287499 | 14230 58828 176622 | 2147483647 287492 43 | 1.909 % |
2421.38/2422.13 c | 287645 | 14230 58828 176622 | 2147483647 287638 43 | 1.909 % |
2423.07/2423.85 c | 287806 | 14230 58828 176622 | 2147483647 287799 43 | 1.909 % |
2424.88/2425.62 c | 287982 | 14230 58828 176622 | 2147483647 287975 43 | 1.909 % |
2427.67/2428.42 c | 288176 | 14230 58828 176622 | 2147483647 288169 43 | 1.909 % |
2430.77/2431.57 c | 288389 | 14230 58828 176622 | 2147483647 288382 43 | 1.909 % |
2433.67/2434.42 c | 288622 | 14230 58828 176622 | 2147483647 288615 43 | 1.909 % |
2437.17/2437.98 c | 288879 | 14230 58828 176622 | 2147483647 288872 43 | 1.909 % |
2440.67/2441.44 c | 289161 | 14230 58828 176622 | 2147483647 289154 43 | 1.909 % |
2443.76/2444.56 c | 289470 | 14230 58828 176622 | 2147483647 289463 43 | 1.909 % |
2447.36/2448.12 c | 289809 | 14230 58828 176622 | 2147483647 289802 43 | 1.909 % |
2451.76/2452.54 c | 290181 | 14230 58828 176622 | 2147483647 290174 43 | 1.909 % |
2457.46/2458.21 c | 290592 | 14230 58828 176622 | 2147483647 290585 43 | 1.909 % |
2465.16/2465.90 c | 291042 | 14230 58828 176622 | 2147483647 291035 43 | 1.909 % |
2471.36/2472.15 c | 291535 | 14230 58828 176622 | 2147483647 291528 43 | 1.909 % |
2479.65/2480.43 c | 292078 | 14230 58828 176622 | 2147483647 292071 43 | 1.909 % |
2487.45/2488.21 c | 292675 | 14230 58828 176622 | 2147483647 292668 43 | 1.909 % |
2496.76/2497.58 c | 293331 | 14230 58828 176622 | 2147483647 293324 43 | 1.909 % |
2506.45/2507.26 c | 294053 | 14230 58828 176622 | 2147483647 294046 43 | 1.909 % |
2516.85/2517.64 c | 294845 | 14230 58828 176622 | 2147483647 294838 43 | 1.909 % |
2527.15/2527.98 c | 295716 | 14230 58828 176622 | 2147483647 295709 43 | 1.909 % |
2538.94/2539.71 c | 296674 | 14230 58828 176622 | 2147483647 296667 43 | 1.909 % |
2552.94/2553.76 c | 297727 | 14230 58828 176622 | 2147483647 297720 43 | 1.909 % |
2569.23/2570.06 c | 298886 | 14230 58828 176622 | 2147483647 298879 43 | 1.909 % |
2586.43/2587.21 c | 300159 | 14230 58828 176622 | 2147483647 300152 43 | 1.909 % |
2604.22/2605.07 c | 301560 | 14230 58828 176622 | 2147483647 301553 43 | 1.909 % |
2626.42/2627.22 c | 303101 | 14230 58828 176622 | 2147483647 303094 43 | 1.909 % |
2650.21/2651.07 c | 304795 | 14230 58828 176622 | 2147483647 304788 43 | 1.909 % |
2668.71/2669.57 c | 306658 | 14230 58828 176622 | 2147483647 306651 43 | 1.909 % |
2695.10/2695.95 c | 308708 | 14230 58828 176622 | 2147483647 308701 43 | 1.909 % |
2720.19/2721.08 c | 310962 | 14230 58828 176622 | 2147483647 310955 43 | 1.909 % |
2748.39/2749.22 c | 313440 | 14230 58828 176622 | 2147483647 313433 43 | 1.909 % |
2783.28/2784.17 c | 316165 | 14230 58828 176622 | 2147483647 316158 43 | 1.909 % |
2821.97/2822.84 c | 319165 | 14230 58828 176622 | 2147483647 319158 43 | 1.909 % |
2823.37/2824.24 c | 319266 | 14230 58828 176622 | 2147483647 319259 43 | 1.909 % |
2824.47/2825.39 c | 319376 | 14230 58828 176622 | 2147483647 319369 43 | 1.909 % |
2826.27/2827.10 c | 319498 | 14230 58828 176622 | 2147483647 319491 43 | 1.909 % |
2828.07/2828.95 c | 319631 | 14230 58828 176622 | 2147483647 319624 43 | 1.909 % |
2830.06/2830.96 c | 319778 | 14230 58828 176622 | 2147483647 319771 43 | 1.909 % |
2832.36/2833.22 c | 319939 | 14230 58828 176622 | 2147483647 319932 43 | 1.909 % |
2834.76/2835.64 c | 320115 | 14230 58828 176622 | 2147483647 320108 43 | 1.909 % |
2837.36/2838.26 c | 320310 | 14230 58828 176622 | 2147483647 320303 43 | 1.909 % |
2840.26/2841.13 c | 320522 | 14230 58828 176622 | 2147483647 320515 43 | 1.909 % |
2843.46/2844.30 c | 320756 | 14230 58828 176622 | 2147483647 320749 43 | 1.909 % |
2847.26/2848.15 c | 321013 | 14230 58828 176622 | 2147483647 321006 43 | 1.909 % |
2851.66/2852.56 c | 321295 | 14230 58828 176622 | 2147483647 321288 43 | 1.909 % |
2855.96/2856.84 c | 321606 | 14230 58828 176622 | 2147483647 321599 43 | 1.909 % |
2861.15/2862.08 c | 321946 | 14230 58828 176622 | 2147483647 321939 43 | 1.909 % |
2865.76/2866.65 c | 322318 | 14230 58828 176622 | 2147483647 322311 43 | 1.909 % |
2870.85/2871.74 c | 322728 | 14230 58828 176622 | 2147483647 322721 43 | 1.909 % |
2877.35/2878.23 c | 323177 | 14230 58828 176622 | 2147483647 323170 43 | 1.909 % |
2881.34/2882.24 c | 323670 | 14230 58828 176622 | 2147483647 323663 43 | 1.909 % |
2888.14/2889.01 c | 324213 | 14230 58828 176622 | 2147483647 324206 43 | 1.909 % |
2895.54/2896.48 c | 324811 | 14230 58828 176622 | 2147483647 324804 43 | 1.909 % |
2904.14/2905.01 c | 325467 | 14230 58828 176622 | 2147483647 325460 43 | 1.909 % |
2913.14/2914.03 c | 326188 | 14230 58828 176622 | 2147483647 326181 43 | 1.909 % |
2923.34/2924.25 c | 326980 | 14230 58828 176622 | 2147483647 326973 43 | 1.909 % |
2934.33/2935.26 c | 327851 | 14230 58828 176622 | 2147483647 327844 43 | 1.909 % |
2944.33/2945.29 c | 328810 | 14230 58828 176622 | 2147483647 328803 43 | 1.909 % |
2957.52/2958.48 c | 329864 | 14230 58828 176622 | 2147483647 329857 43 | 1.909 % |
2973.32/2974.30 c | 331022 | 14230 58828 176622 | 2147483647 331015 43 | 1.909 % |
2990.01/2990.94 c | 332295 | 14230 58828 176622 | 2147483647 332288 43 | 1.909 % |
3010.30/3011.29 c | 333696 | 14230 58828 176622 | 2147483647 333689 43 | 1.909 % |
3031.71/3032.68 c | 335238 | 14230 58828 176622 | 2147483647 335231 43 | 1.909 % |
3050.70/3051.61 c | 336933 | 14230 58828 176622 | 2147483647 336926 43 | 1.909 % |
3077.79/3078.77 c | 338796 | 14230 58828 176622 | 2147483647 338789 43 | 1.909 % |
3106.49/3107.45 c | 340846 | 14230 58828 176622 | 2147483647 340839 43 | 1.909 % |
3137.78/3138.76 c | 343099 | 14230 58828 176622 | 2147483647 343092 43 | 1.909 % |
3176.46/3177.45 c | 345577 | 14230 58828 176622 | 2147483647 345570 43 | 1.909 % |
3217.45/3218.41 c | 348303 | 14230 58828 176622 | 2147483647 348296 43 | 1.909 % |
3259.04/3260.02 c | 351301 | 14230 58828 176622 | 2147483647 351294 43 | 1.909 % |
3300.33/3301.33 c | 354599 | 14230 58828 176622 | 2147483647 354592 43 | 1.909 % |
3301.93/3302.93 c | 354699 | 14230 58828 176622 | 2147483647 354692 43 | 1.909 % |
3303.73/3304.72 c | 354810 | 14230 58828 176622 | 2147483647 354803 43 | 1.909 % |
3305.42/3306.40 c | 354931 | 14230 58828 176622 | 2147483647 354924 43 | 1.909 % |
3307.53/3308.51 c | 355064 | 14230 58828 176622 | 2147483647 355057 43 | 1.909 % |
3310.04/3311.01 c | 355211 | 14230 58828 176622 | 2147483647 355204 43 | 1.909 % |
3311.73/3312.70 c | 355373 | 14230 58828 176622 | 2147483647 355366 43 | 1.909 % |
3314.63/3315.66 c | 355549 | 14230 58828 176622 | 2147483647 355542 43 | 1.909 % |
3317.53/3318.51 c | 355742 | 14230 58828 176622 | 2147483647 355735 43 | 1.909 % |
3319.93/3320.91 c | 355955 | 14230 58828 176622 | 2147483647 355948 43 | 1.909 % |
3323.53/3324.60 c | 356188 | 14230 58828 176622 | 2147483647 356181 43 | 1.909 % |
3327.82/3328.83 c | 356445 | 14230 58828 176622 | 2147483647 356438 43 | 1.909 % |
3332.13/3333.14 c | 356726 | 14230 58828 176622 | 2147483647 356719 43 | 1.909 % |
3336.53/3337.52 c | 357036 | 14230 58828 176622 | 2147483647 357029 43 | 1.909 % |
3341.92/3342.98 c | 357377 | 14230 58828 176622 | 2147483647 357370 43 | 1.909 % |
3347.52/3348.54 c | 357749 | 14230 58828 176622 | 2147483647 357742 43 | 1.909 % |
3354.32/3355.33 c | 358161 | 14230 58828 176622 | 2147483647 358154 43 | 1.909 % |
3361.82/3362.85 c | 358610 | 14230 58828 176622 | 2147483647 358603 43 | 1.909 % |
3369.61/3370.66 c | 359104 | 14230 58828 176622 | 2147483647 359097 43 | 1.909 % |
3377.71/3378.76 c | 359647 | 14230 58828 176622 | 2147483647 359640 43 | 1.909 % |
3386.40/3387.42 c | 360243 | 14230 58828 176622 | 2147483647 360236 43 | 1.909 % |
3396.70/3397.70 c | 360898 | 14230 58828 176622 | 2147483647 360891 43 | 1.909 % |
3407.60/3408.64 c | 361618 | 14230 58828 176622 | 2147483647 361611 43 | 1.909 % |
3418.59/3419.65 c | 362411 | 14230 58828 176622 | 2147483647 362404 43 | 1.909 % |
3431.20/3432.22 c | 363282 | 14230 58828 176622 | 2147483647 363275 43 | 1.909 % |
3447.09/3448.18 c | 364241 | 14230 58828 176622 | 2147483647 364234 43 | 1.909 % |
3462.19/3463.22 c | 365294 | 14230 58828 176622 | 2147483647 365287 43 | 1.909 % |
3479.08/3480.12 c | 366452 | 14230 58828 176622 | 2147483647 366445 43 | 1.909 % |
3499.68/3500.71 c | 367725 | 14230 58828 176622 | 2147483647 367718 43 | 1.909 % |
3521.37/3522.45 c | 369127 | 14230 58828 176622 | 2147483647 369120 43 | 1.909 % |
3540.06/3541.17 c | 370668 | 14230 58828 176622 | 2147483647 370661 43 | 1.909 % |
3563.56/3564.62 c | 372363 | 14230 58828 176622 | 2147483647 372356 43 | 1.909 % |
3593.45/3594.54 c | 374226 | 14230 58828 176622 | 2147483647 374219 43 | 1.909 % |
3621.04/3622.11 c | 376275 | 14230 58828 176622 | 2147483647 376268 43 | 1.909 % |
3654.24/3655.37 c | 378529 | 14230 58828 176622 | 2147483647 378522 43 | 1.909 % |
3692.32/3693.40 c | 381008 | 14230 58828 176622 | 2147483647 381001 43 | 1.909 % |
3728.91/3730.08 c | 383733 | 14230 58828 176622 | 2147483647 383726 43 | 1.909 % |
3767.70/3768.84 c | 386730 | 14230 58828 176622 | 2147483647 386723 43 | 1.909 % |
3812.70/3813.85 c | 390027 | 14230 58828 176622 | 2147483647 390020 43 | 1.909 % |
3870.37/3871.54 c | 393652 | 14230 58828 176622 | 2147483647 393645 43 | 1.909 % |
3871.98/3873.14 c | 393752 | 14230 58828 176622 | 2147483647 393745 43 | 1.909 % |
3873.77/3874.99 c | 393863 | 14230 58828 176622 | 2147483647 393856 43 | 1.909 % |
3875.28/3876.46 c | 393985 | 14230 58828 176622 | 2147483647 393978 43 | 1.909 % |
3876.87/3878.08 c | 394119 | 14230 58828 176622 | 2147483647 394112 43 | 1.909 % |
3879.17/3880.37 c | 394265 | 14230 58828 176622 | 2147483647 394258 43 | 1.909 % |
3881.67/3882.81 c | 394426 | 14230 58828 176622 | 2147483647 394419 43 | 1.909 % |
3884.57/3885.74 c | 394602 | 14230 58828 176622 | 2147483647 394595 43 | 1.909 % |
3887.87/3889.06 c | 394795 | 14230 58828 176622 | 2147483647 394788 43 | 1.909 % |
3890.87/3892.07 c | 395007 | 14230 58828 176622 | 2147483647 395000 43 | 1.909 % |
3894.67/3895.81 c | 395240 | 14230 58828 176622 | 2147483647 395233 43 | 1.909 % |
3898.67/3899.89 c | 395496 | 14230 58828 176622 | 2147483647 395489 43 | 1.909 % |
3902.96/3904.12 c | 395777 | 14230 58828 176622 | 2147483647 395770 43 | 1.909 % |
3907.76/3908.96 c | 396086 | 14230 58828 176622 | 2147483647 396079 43 | 1.909 % |
3913.06/3914.30 c | 396426 | 14230 58828 176622 | 2147483647 396419 43 | 1.909 % |
3919.26/3920.42 c | 396799 | 14230 58828 176622 | 2147483647 396792 43 | 1.909 % |
3925.36/3926.56 c | 397209 | 14230 58828 176622 | 2147483647 397202 43 | 1.909 % |
3931.85/3933.08 c | 397658 | 14230 58828 176622 | 2147483647 397651 43 | 1.909 % |
3939.65/3940.86 c | 398153 | 14230 58828 176622 | 2147483647 398146 43 | 1.909 % |
3947.65/3948.85 c | 398695 | 14230 58828 176622 | 2147483647 398688 43 | 1.909 % |
3956.75/3957.98 c | 399293 | 14230 58828 176622 | 2147483647 399286 43 | 1.909 % |
3966.65/3967.88 c | 399949 | 14230 58828 176622 | 2147483647 399942 43 | 1.909 % |
3976.85/3978.04 c | 400670 | 14230 58828 176622 | 2147483647 400663 43 | 1.909 % |
3988.94/3990.14 c | 401462 | 14230 58828 176622 | 2147483647 401455 43 | 1.909 % |
4001.74/4002.97 c | 402333 | 14230 58828 176622 | 2147483647 402326 43 | 1.909 % |
4014.63/4015.83 c | 403292 | 14230 58828 176622 | 2147483647 403285 43 | 1.909 % |
4030.83/4032.07 c | 404345 | 14230 58828 176622 | 2147483647 404338 43 | 1.909 % |
4045.02/4046.21 c | 405503 | 14230 58828 176622 | 2147483647 405496 43 | 1.909 % |
4063.92/4065.11 c | 406776 | 14230 58828 176622 | 2147483647 406769 43 | 1.909 % |
4085.42/4086.66 c | 408177 | 14230 58828 176622 | 2147483647 408170 43 | 1.909 % |
4106.51/4107.73 c | 409717 | 14230 58828 176622 | 2147483647 409710 43 | 1.909 % |
4131.30/4132.50 c | 411412 | 14230 58828 176622 | 2147483647 411405 43 | 1.909 % |
4160.59/4161.86 c | 413275 | 14230 58828 176622 | 2147483647 413268 43 | 1.909 % |
4190.39/4191.67 c | 415324 | 14230 58828 176622 | 2147483647 415317 43 | 1.909 % |
4225.36/4226.64 c | 417577 | 14230 58828 176622 | 2147483647 417570 43 | 1.909 % |
4266.81/4268.13 c | 420056 | 14230 58828 176622 | 2147483647 420049 43 | 1.909 % |
4309.69/4311.06 c | 422782 | 14230 58828 176622 | 2147483647 422775 43 | 1.909 % |
4343.38/4344.77 c | 425779 | 14230 58828 176622 | 2147483647 425772 43 | 1.909 % |
4393.27/4394.65 c | 429076 | 14230 58828 176622 | 2147483647 429069 44 | 1.909 % |
4449.55/4450.94 c | 432702 | 14230 58828 176622 | 2147483647 432695 44 | 1.909 % |
4510.54/4512.00 c | 436689 | 14230 58828 176622 | 2147483647 436682 44 | 1.909 % |
4512.14/4513.57 c | 436789 | 14230 58828 176622 | 2147483647 436782 44 | 1.909 % |
4514.14/4515.53 c | 436899 | 14230 58828 176622 | 2147483647 436892 44 | 1.909 % |
4516.04/4517.45 c | 437020 | 14230 58828 176622 | 2147483647 437013 44 | 1.909 % |
4519.03/4520.40 c | 437154 | 14230 58828 176622 | 2147483647 437147 44 | 1.909 % |
4521.63/4523.04 c | 437300 | 14230 58828 176622 | 2147483647 437293 44 | 1.909 % |
4524.23/4525.69 c | 437462 | 14230 58828 176622 | 2147483647 437455 44 | 1.909 % |
4527.03/4528.48 c | 437638 | 14230 58828 176622 | 2147483647 437631 44 | 1.909 % |
4530.53/4531.99 c | 437831 | 14230 58828 176622 | 2147483647 437824 44 | 1.909 % |
4534.33/4535.76 c | 438044 | 14230 58828 176622 | 2147483647 438037 44 | 1.909 % |
4538.73/4540.11 c | 438278 | 14230 58828 176622 | 2147483647 438271 44 | 1.909 % |
4543.23/4544.60 c | 438534 | 14230 58828 176622 | 2147483647 438527 44 | 1.909 % |
4547.82/4549.21 c | 438815 | 14230 58828 176622 | 2147483647 438808 44 | 1.909 % |
4553.73/4555.12 c | 439125 | 14230 58828 176622 | 2147483647 439118 44 | 1.909 % |
4559.82/4561.28 c | 439465 | 14230 58828 176622 | 2147483647 439458 44 | 1.909 % |
4567.02/4568.49 c | 439837 | 14230 58828 176622 | 2147483647 439830 44 | 1.909 % |
4574.81/4576.24 c | 440246 | 14230 58828 176622 | 2147483647 440239 44 | 1.909 % |
4583.41/4584.84 c | 440695 | 14230 58828 176622 | 2147483647 440688 44 | 1.909 % |
4592.21/4593.64 c | 441188 | 14230 58828 176622 | 2147483647 441181 44 | 1.909 % |
4602.70/4604.18 c | 441730 | 14230 58828 176622 | 2147483647 441723 44 | 1.909 % |
4613.81/4615.28 c | 442326 | 14230 58828 176622 | 2147483647 442319 44 | 1.909 % |
4625.01/4626.44 c | 442981 | 14230 58828 176622 | 2147483647 442974 44 | 1.909 % |
4637.10/4638.55 c | 443701 | 14230 58828 176622 | 2147483647 443694 44 | 1.909 % |
4650.80/4652.22 c | 444493 | 14230 58828 176622 | 2147483647 444486 44 | 1.909 % |
4665.00/4666.46 c | 445364 | 14230 58828 176622 | 2147483647 445357 44 | 1.909 % |
4679.39/4680.88 c | 446322 | 14230 58828 176622 | 2147483647 446315 44 | 1.909 % |
4697.18/4698.62 c | 447376 | 14230 58828 176622 | 2147483647 447369 44 | 1.909 % |
4716.58/4718.07 c | 448534 | 14230 58828 176622 | 2147483647 448527 44 | 1.909 % |
4740.17/4741.68 c | 449807 | 14230 58828 176622 | 2147483647 449800 44 | 1.909 % |
4764.37/4765.90 c | 451208 | 14230 58828 176622 | 2147483647 451201 44 | 1.909 % |
4792.06/4793.55 c | 452748 | 14230 58828 176622 | 2147483647 452741 44 | 1.909 % |
4810.35/4811.86 c | 454442 | 14230 58828 176622 | 2147483647 454435 44 | 1.909 % |
4841.24/4842.79 c | 456306 | 14230 58828 176622 | 2147483647 456299 44 | 1.909 % |
4875.44/4876.96 c | 458356 | 14230 58828 176622 | 2147483647 458349 44 | 1.909 % |
4916.63/4918.18 c | 460609 | 14230 58828 176622 | 2147483647 460602 44 | 1.909 % |
4955.72/4957.27 c | 463089 | 14230 58828 176622 | 2147483647 463082 44 | 1.909 % |
5000.31/5001.87 c | 465814 | 14230 58828 176622 | 2147483647 465807 44 | 1.909 % |
5055.79/5057.35 c | 468811 | 14230 58828 176622 | 2147483647 468804 44 | 1.909 % |
5115.48/5117.00 c | 472107 | 14230 58828 176622 | 2147483647 472100 44 | 1.909 % |
5176.96/5178.51 c | 475732 | 14230 58828 176622 | 2147483647 475725 44 | 1.909 % |
5241.64/5243.21 c | 479721 | 14230 58828 176622 | 2147483647 479714 44 | 1.909 % |
5316.92/5318.51 c | 484107 | 14230 58828 176622 | 2147483647 484100 44 | 1.909 % |
5318.72/5320.33 c | 484208 | 14230 58828 176622 | 2147483647 484201 44 | 1.909 % |
5320.62/5322.25 c | 484319 | 14230 58828 176622 | 2147483647 484312 44 | 1.909 % |
5323.22/5324.89 c | 484442 | 14230 58828 176622 | 2147483647 484435 44 | 1.909 % |
5325.91/5327.57 c | 484576 | 14230 58828 176622 | 2147483647 484569 44 | 1.909 % |
5329.22/5330.85 c | 484723 | 14230 58828 176622 | 2147483647 484716 44 | 1.909 % |
5333.11/5334.78 c | 484884 | 14230 58828 176622 | 2147483647 484877 44 | 1.909 % |
5336.31/5337.98 c | 485062 | 14230 58828 176622 | 2147483647 485055 44 | 1.909 % |
5340.81/5342.41 c | 485256 | 14230 58828 176622 | 2147483647 485249 44 | 1.909 % |
5345.01/5346.61 c | 485472 | 14230 58828 176622 | 2147483647 485465 44 | 1.909 % |
5349.21/5350.80 c | 485705 | 14230 58828 176622 | 2147483647 485698 44 | 1.909 % |
5353.80/5355.48 c | 485961 | 14230 58828 176622 | 2147483647 485954 44 | 1.909 % |
5359.10/5360.75 c | 486243 | 14230 58828 176622 | 2147483647 486236 44 | 1.909 % |
5364.20/5365.82 c | 486553 | 14230 58828 176622 | 2147483647 486546 44 | 1.909 % |
5370.90/5372.54 c | 486893 | 14230 58828 176622 | 2147483647 486886 44 | 1.909 % |
5378.20/5379.90 c | 487266 | 14230 58828 176622 | 2147483647 487259 44 | 1.909 % |
5385.49/5387.19 c | 487676 | 14230 58828 176622 | 2147483647 487669 44 | 1.909 % |
5393.59/5395.20 c | 488125 | 14230 58828 176622 | 2147483647 488118 44 | 1.909 % |
5401.79/5403.47 c | 488618 | 14230 58828 176622 | 2147483647 488611 44 | 1.909 % |
5412.59/5414.23 c | 489160 | 14230 58828 176622 | 2147483647 489153 44 | 1.909 % |
5422.89/5424.52 c | 489757 | 14230 58828 176622 | 2147483647 489750 44 | 1.909 % |
5434.29/5435.98 c | 490412 | 14230 58828 176622 | 2147483647 490405 44 | 1.909 % |
5447.48/5449.17 c | 491133 | 14230 58828 176622 | 2147483647 491126 44 | 1.909 % |
5461.98/5463.62 c | 491926 | 14230 58828 176622 | 2147483647 491919 44 | 1.909 % |
5477.37/5479.01 c | 492799 | 14230 58828 176622 | 2147483647 492792 44 | 1.909 % |
5494.47/5496.17 c | 493758 | 14230 58828 176622 | 2147483647 493751 44 | 1.909 % |
5513.76/5515.47 c | 494812 | 14230 58828 176622 | 2147483647 494805 44 | 1.909 % |
5534.67/5536.32 c | 495970 | 14230 58828 176622 | 2147483647 495963 44 | 1.909 % |
5556.66/5558.32 c | 497243 | 14230 58828 176622 | 2147483647 497236 44 | 1.909 % |
5579.55/5581.29 c | 498643 | 14230 58828 176622 | 2147483647 498636 44 | 1.909 % |
5605.54/5607.20 c | 500183 | 14230 58828 176622 | 2147483647 500176 44 | 1.909 % |
5633.13/5634.84 c | 501878 | 14230 58828 176622 | 2147483647 501871 44 | 1.909 % |
5660.53/5662.23 c | 503741 | 14230 58828 176622 | 2147483647 503734 44 | 1.909 % |
5694.32/5696.01 c | 505790 | 14230 58828 176622 | 2147483647 505783 44 | 1.909 % |
5735.20/5736.93 c | 508043 | 14230 58828 176622 | 2147483647 508036 44 | 1.909 % |
5784.10/5785.89 c | 510522 | 14230 58828 176622 | 2147483647 510515 44 | 1.909 % |
5839.68/5841.44 c | 513247 | 14230 58828 176622 | 2147483647 513240 44 | 1.909 % |
5897.36/5899.14 c | 516244 | 14230 58828 176622 | 2147483647 516237 44 | 1.909 % |
5960.25/5962.02 c | 519540 | 14230 58828 176622 | 2147483647 519533 44 | 1.909 % |
6037.52/6039.31 c | 523166 | 14230 58828 176622 | 2147483647 523159 44 | 1.909 % |
6107.01/6108.83 c | 527155 | 14230 58828 176622 | 2147483647 527148 44 | 1.909 % |
6178.19/6180.07 c | 531542 | 14230 58828 176622 | 529994 531535 44 | 1.909 % |
6270.27/6272.17 c | 536365 | 14230 58828 176622 | 529994 456254 44 | 1.909 % |
6272.26/6274.15 c | 536465 | 14230 58828 176622 | 529994 456354 44 | 1.909 % |
6274.56/6276.46 c | 536577 | 14230 58828 176622 | 529994 456466 44 | 1.909 % |
6276.97/6278.88 c | 536698 | 14230 58828 176622 | 529994 456587 44 | 1.909 % |
6279.66/6281.59 c | 536831 | 14230 58828 176622 | 529994 456720 44 | 1.909 % |
6282.66/6284.58 c | 536979 | 14230 58828 176622 | 529994 456868 44 | 1.909 % |
6285.46/6287.34 c | 537139 | 14230 58828 176622 | 529994 457028 44 | 1.909 % |
6289.26/6291.10 c | 537316 | 14230 58828 176622 | 529994 457205 44 | 1.909 % |
6293.26/6295.14 c | 537509 | 14230 58828 176622 | 529994 457398 44 | 1.909 % |
6297.66/6299.58 c | 537721 | 14230 58828 176622 | 529994 457610 44 | 1.909 % |
6302.75/6304.60 c | 537955 | 14230 58828 176622 | 529994 457844 44 | 1.909 % |
6306.85/6308.77 c | 538212 | 14230 58828 176622 | 529994 458101 44 | 1.909 % |
6311.95/6313.81 c | 538493 | 14230 58828 176622 | 529994 458382 44 | 1.909 % |
6317.75/6319.66 c | 538804 | 14230 58828 176622 | 529994 458693 44 | 1.909 % |
6325.05/6326.99 c | 539143 | 14230 58828 176622 | 529994 459032 44 | 1.909 % |
6332.44/6334.31 c | 539515 | 14230 58828 176622 | 529994 459404 44 | 1.909 % |
6340.54/6342.44 c | 539925 | 14230 58828 176622 | 529994 459814 44 | 1.909 % |
6348.74/6350.61 c | 540375 | 14230 58828 176622 | 459889 460264 44 | 1.909 % |
6360.43/6362.34 c | 540868 | 14230 58828 176622 | 459889 414731 44 | 1.909 % |
6370.33/6372.26 c | 541410 | 14230 58828 176622 | 459889 415273 43 | 1.909 % |
6380.33/6382.26 c | 542007 | 14230 58828 176622 | 459889 415870 43 | 1.909 % |
6392.53/6394.46 c | 542664 | 14230 58828 176622 | 459889 416527 43 | 1.909 % |
6405.72/6407.69 c | 543384 | 14230 58828 176622 | 459889 417247 43 | 1.909 % |
6417.82/6419.79 c | 544176 | 14230 58828 176622 | 459889 418039 43 | 1.909 % |
6435.31/6437.23 c | 545048 | 14230 58828 176622 | 459889 418911 43 | 1.909 % |
6454.50/6456.49 c | 546006 | 14230 58828 176622 | 459889 419869 43 | 1.909 % |
6470.91/6472.83 c | 547060 | 14230 58828 176622 | 459889 420923 43 | 1.909 % |
6493.90/6495.89 c | 548218 | 14230 58828 176622 | 459889 422081 43 | 1.909 % |
6517.49/6519.46 c | 549492 | 14230 58828 176622 | 459889 423355 43 | 1.909 % |
6543.39/6545.32 c | 550894 | 14230 58828 176622 | 2147483647 424757 43 | 1.909 % |
6570.78/6572.76 c | 552434 | 14230 58828 176622 | 2147483647 426297 43 | 1.909 % |
6601.06/6603.08 c | 554129 | 14230 58828 176622 | 2147483647 427992 43 | 1.909 % |
6634.06/6636.03 c | 555992 | 14230 58828 176622 | 2147483647 429855 43 | 1.909 % |
6667.64/6669.65 c | 558041 | 14230 58828 176622 | 2147483647 431904 43 | 1.909 % |
6705.24/6707.25 c | 560294 | 14230 58828 176622 | 2147483647 434157 43 | 1.909 % |
6746.93/6748.90 c | 562773 | 14230 58828 176622 | 2147483647 436636 43 | 1.909 % |
6792.91/6794.98 c | 565499 | 14230 58828 176622 | 2147483647 439362 43 | 1.909 % |
6842.90/6844.93 c | 568498 | 14230 58828 176622 | 2147483647 442361 43 | 1.909 % |
6902.39/6904.44 c | 571794 | 14230 58828 176622 | 2147483647 445657 43 | 1.909 % |
6963.18/6965.29 c | 575419 | 14230 58828 176622 | 2147483647 449282 43 | 1.909 % |
7030.55/7032.67 c | 579407 | 14230 58828 176622 | 2147483647 453270 43 | 1.909 % |
7110.13/7112.28 c | 583794 | 14230 58828 176622 | 2147483647 457657 43 | 1.909 % |
7181.62/7183.75 c | 588618 | 14230 58828 176622 | 2147483647 462481 43 | 1.909 % |
7272.89/7275.02 c | 593924 | 14230 58828 176622 | 2147483647 467787 43 | 1.909 % |
7274.79/7276.95 c | 594025 | 14230 58828 176622 | 2147483647 467888 43 | 1.909 % |
7277.19/7279.36 c | 594136 | 14230 58828 176622 | 2147483647 467999 43 | 1.909 % |
7279.78/7281.94 c | 594258 | 14230 58828 176622 | 2147483647 468121 43 | 1.909 % |
7282.19/7284.32 c | 594391 | 14230 58828 176622 | 2147483647 468254 43 | 1.909 % |
7285.08/7287.28 c | 594539 | 14230 58828 176622 | 2147483647 468402 43 | 1.909 % |
7288.28/7290.41 c | 594700 | 14230 58828 176622 | 2147483647 468563 43 | 1.909 % |
7291.78/7293.90 c | 594877 | 14230 58828 176622 | 2147483647 468740 43 | 1.909 % |
7295.18/7297.39 c | 595072 | 14230 58828 176622 | 2147483647 468935 43 | 1.909 % |
7298.98/7301.15 c | 595285 | 14230 58828 176622 | 2147483647 469148 43 | 1.909 % |
7303.08/7305.28 c | 595520 | 14230 58828 176622 | 2147483647 469383 43 | 1.909 % |
7309.07/7311.21 c | 595776 | 14230 58828 176622 | 2147483647 469639 43 | 1.909 % |
7313.98/7316.11 c | 596059 | 14230 58828 176622 | 2147483647 469922 43 | 1.909 % |
7320.47/7322.65 c | 596369 | 14230 58828 176622 | 2147483647 470232 43 | 1.909 % |
7326.67/7328.89 c | 596708 | 14230 58828 176622 | 2147483647 470571 43 | 1.909 % |
7333.67/7335.89 c | 597081 | 14230 58828 176622 | 2147483647 470944 43 | 1.909 % |
7341.36/7343.55 c | 597491 | 14230 58828 176622 | 2147483647 471354 43 | 1.909 % |
7349.86/7352.09 c | 597940 | 14230 58828 176622 | 2147483647 471803 43 | 1.909 % |
7359.16/7361.39 c | 598433 | 14230 58828 176622 | 2147483647 472296 43 | 1.909 % |
7368.96/7371.17 c | 598975 | 14230 58828 176622 | 2147483647 472838 43 | 1.909 % |
7381.16/7383.32 c | 599572 | 14230 58828 176622 | 2147483647 473435 43 | 1.909 % |
7393.55/7395.71 c | 600228 | 14230 58828 176622 | 2147483647 474091 43 | 1.909 % |
7407.24/7409.42 c | 600948 | 14230 58828 176622 | 2147483647 474811 43 | 1.909 % |
7415.94/7418.12 c | 601740 | 14230 58828 176622 | 2147483647 475603 43 | 1.909 % |
7432.44/7434.68 c | 602611 | 14230 58828 176622 | 2147483647 476474 43 | 1.909 % |
7449.53/7451.70 c | 603570 | 14230 58828 176622 | 2147483647 477433 43 | 1.909 % |
7470.63/7472.87 c | 604624 | 14230 58828 176622 | 2147483647 478487 43 | 1.909 % |
7492.03/7494.27 c | 605783 | 14230 58828 176622 | 2147483647 479646 43 | 1.909 % |
7515.12/7517.32 c | 607056 | 14230 58828 176622 | 2147483647 480919 43 | 1.909 % |
7541.01/7543.21 c | 608456 | 14230 58828 176622 | 2147483647 482319 43 | 1.909 % |
7571.11/7573.30 c | 609996 | 14230 58828 176622 | 2147483647 483859 43 | 1.909 % |
7601.90/7604.17 c | 611690 | 14230 58828 176622 | 2147483647 485553 43 | 1.909 % |
7635.89/7638.15 c | 613553 | 14230 58828 176622 | 2147483647 487416 43 | 1.909 % |
7670.87/7673.18 c | 615603 | 14230 58828 176622 | 2147483647 489466 43 | 1.909 % |
7706.76/7709.02 c | 617856 | 14230 58828 176622 | 2147483647 491719 43 | 1.909 % |
7750.66/7752.94 c | 620334 | 14230 58828 176622 | 2147483647 494197 43 | 1.909 % |
7794.44/7796.77 c | 623060 | 14230 58828 176622 | 2147483647 496923 43 | 1.909 % |
7846.62/7848.92 c | 626057 | 14230 58828 176622 | 2147483647 499920 43 | 1.909 % |
7910.20/7912.51 c | 629354 | 14230 58828 176622 | 2147483647 503217 43 | 1.909 % |
7976.58/7978.91 c | 632980 | 14230 58828 176622 | 2147483647 506843 43 | 1.909 % |
8049.27/8051.67 c | 636968 | 14230 58828 176622 | 2147483647 510831 43 | 1.909 % |
8123.75/8126.10 c | 641353 | 14230 58828 176622 | 2147483647 515216 43 | 1.909 % |
8211.53/8213.97 c | 646179 | 14230 58828 176622 | 2147483647 520042 43 | 1.909 % |
8320.09/8322.54 c | 651484 | 14230 58828 176622 | 2147483647 525347 43 | 1.909 % |
8444.16/8446.66 c | 657320 | 14230 58828 176622 | 2147483647 531183 43 | 1.909 % |
8446.16/8448.62 c | 657421 | 14230 58828 176622 | 2147483647 531284 43 | 1.909 % |
8448.55/8451.02 c | 657532 | 14230 58828 176622 | 2147483647 531395 43 | 1.909 % |
8451.45/8453.96 c | 657654 | 14230 58828 176622 | 2147483647 531517 43 | 1.909 % |
8454.25/8456.78 c | 657787 | 14230 58828 176622 | 2147483647 531650 43 | 1.909 % |
8457.25/8459.71 c | 657934 | 14230 58828 176622 | 2147483647 531797 43 | 1.909 % |
8460.45/8462.90 c | 658094 | 14230 58828 176622 | 2147483647 531957 43 | 1.909 % |
8463.85/8466.34 c | 658271 | 14230 58828 176622 | 2147483647 532134 43 | 1.909 % |
8467.66/8470.16 c | 658464 | 14230 58828 176622 | 2147483647 532327 43 | 1.909 % |
8471.36/8473.90 c | 658678 | 14230 58828 176622 | 2147483647 532541 43 | 1.909 % |
8475.06/8477.58 c | 658911 | 14230 58828 176622 | 2147483647 532774 43 | 1.909 % |
8480.35/8482.90 c | 659167 | 14230 58828 176622 | 2147483647 533030 43 | 1.909 % |
8484.25/8486.72 c | 659449 | 14230 58828 176622 | 2147483647 533312 43 | 1.909 % |
8490.15/8492.60 c | 659759 | 14230 58828 176622 | 2147483647 533622 43 | 1.909 % |
8496.95/8499.44 c | 660098 | 14230 58828 176622 | 533864 533961 43 | 1.909 % |
8504.54/8507.07 c | 660472 | 14230 58828 176622 | 533864 534335 43 | 1.909 % |
8518.44/8520.92 c | 660881 | 14230 58828 176622 | 533864 466507 43 | 1.909 % |
8526.84/8529.31 c | 661332 | 14230 58828 176622 | 533864 466958 43 | 1.909 % |
8535.74/8538.25 c | 661825 | 14230 58828 176622 | 533864 467451 43 | 1.909 % |
8545.53/8548.04 c | 662368 | 14230 58828 176622 | 533864 467994 43 | 1.909 % |
8556.73/8559.29 c | 662965 | 14230 58828 176622 | 533864 468591 43 | 1.909 % |
8567.92/8570.40 c | 663620 | 14230 58828 176622 | 533864 469246 43 | 1.909 % |
8580.82/8583.31 c | 664341 | 14230 58828 176622 | 533864 469967 43 | 1.909 % |
8595.12/8597.64 c | 665133 | 14230 58828 176622 | 533864 470759 43 | 1.909 % |
8611.01/8613.54 c | 666006 | 14230 58828 176622 | 533864 471632 43 | 1.909 % |
8629.01/8631.52 c | 666965 | 14230 58828 176622 | 533864 472591 43 | 1.909 % |
8650.21/8652.78 c | 668019 | 14230 58828 176622 | 533864 473645 43 | 1.909 % |
8673.70/8676.26 c | 669178 | 14230 58828 176622 | 533864 474804 43 | 1.909 % |
8695.09/8697.67 c | 670451 | 14230 58828 176622 | 2147483647 476077 43 | 1.909 % |
8722.88/8725.45 c | 671851 | 14230 58828 176622 | 2147483647 477477 43 | 1.909 % |
8747.98/8750.51 c | 673391 | 14230 58828 176622 | 2147483647 479017 43 | 1.909 % |
8776.77/8779.39 c | 675086 | 14230 58828 176622 | 2147483647 480712 43 | 1.909 % |
8814.35/8816.90 c | 676949 | 14230 58828 176622 | 2147483647 482575 43 | 1.909 % |
8849.64/8852.23 c | 678998 | 14230 58828 176622 | 2147483647 484624 43 | 1.909 % |
8892.24/8894.87 c | 681251 | 14230 58828 176622 | 485627 486877 43 | 1.909 % |
8940.63/8943.28 c | 683730 | 14230 58828 176622 | 485627 440669 42 | 1.909 % |
8988.91/8991.53 c | 686456 | 14230 58828 176622 | 485627 443395 42 | 1.909 % |
9040.10/9042.72 c | 689454 | 14230 58828 176622 | 485627 446393 42 | 1.909 % |
9095.38/9098.07 c | 692751 | 14230 58828 176622 | 2147483647 449690 42 | 1.909 % |
9149.06/9151.74 c | 696379 | 14230 58828 176622 | 2147483647 453318 42 | 1.909 % |
9208.66/9211.34 c | 700367 | 14230 58828 176622 | 2147483647 457306 42 | 1.909 % |
9266.84/9269.53 c | 704752 | 14230 58828 176622 | 2147483647 461691 43 | 1.909 % |
9322.12/9324.86 c | 709576 | 14230 58828 176622 | 2147483647 466515 43 | 1.909 % |
9425.60/9428.39 c | 714881 | 14230 58828 176622 | 466939 413925 43 | 1.909 % |
9481.88/9484.60 c | 720716 | 14230 58828 176622 | 419046 419760 43 | 1.909 % |
9587.45/9590.27 c | 727134 | 14230 58828 176622 | 419046 352710 43 | 1.909 % |
9588.85/9591.68 c | 727234 | 14230 58828 176622 | 419046 352810 43 | 1.909 % |
9590.55/9593.36 c | 727344 | 14230 58828 176622 | 419046 352920 43 | 1.909 % |
9592.55/9595.36 c | 727466 | 14230 58828 176622 | 419046 353042 43 | 1.909 % |
9594.34/9597.18 c | 727599 | 14230 58828 176622 | 419046 353175 43 | 1.909 % |
9596.95/9599.75 c | 727745 | 14230 58828 176622 | 419046 353321 43 | 1.909 % |
9599.64/9602.46 c | 727906 | 14230 58828 176622 | 419046 353482 43 | 1.909 % |
9602.34/9605.13 c | 728084 | 14230 58828 176622 | 419046 353660 43 | 1.909 % |
9605.84/9608.63 c | 728277 | 14230 58828 176622 | 419046 353853 43 | 1.909 % |
9609.54/9612.32 c | 728491 | 14230 58828 176622 | 419046 354067 43 | 1.909 % |
9613.54/9616.37 c | 728724 | 14230 58828 176622 | 419046 354300 43 | 1.909 % |
9617.74/9620.57 c | 728980 | 14230 58828 176622 | 419046 354556 43 | 1.909 % |
9621.53/9624.32 c | 729262 | 14230 58828 176622 | 419046 354838 43 | 1.909 % |
9626.23/9629.02 c | 729571 | 14230 58828 176622 | 419046 355147 43 | 1.909 % |
9632.03/9634.84 c | 729911 | 14230 58828 176622 | 419046 355487 43 | 1.909 % |
9638.73/9641.55 c | 730284 | 14230 58828 176622 | 2147483647 355860 43 | 1.909 % |
9645.03/9647.83 c | 730693 | 14230 58828 176622 | 2147483647 356269 43 | 1.909 % |
9652.13/9654.94 c | 731142 | 14230 58828 176622 | 2147483647 356718 43 | 1.909 % |
9659.22/9662.09 c | 731635 | 14230 58828 176622 | 2147483647 357211 43 | 1.909 % |
9668.12/9670.90 c | 732177 | 14230 58828 176622 | 2147483647 357753 43 | 1.909 % |
9677.32/9680.14 c | 732773 | 14230 58828 176622 | 2147483647 358349 43 | 1.909 % |
9687.81/9690.63 c | 733429 | 14230 58828 176622 | 2147483647 359005 43 | 1.909 % |
9699.11/9701.92 c | 734150 | 14230 58828 176622 | 2147483647 359726 43 | 1.909 % |
9711.41/9714.20 c | 734943 | 14230 58828 176622 | 2147483647 360519 43 | 1.909 % |
9723.81/9726.63 c | 735814 | 14230 58828 176622 | 2147483647 361390 43 | 1.909 % |
9736.00/9738.87 c | 736773 | 14230 58828 176622 | 2147483647 362349 43 | 1.909 % |
9752.80/9755.67 c | 737826 | 14230 58828 176622 | 2147483647 363402 43 | 1.909 % |
9771.20/9774.05 c | 738985 | 14230 58828 176622 | 2147483647 364561 43 | 1.909 % |
9789.90/9792.75 c | 740258 | 14230 58828 176622 | 2147483647 365834 43 | 1.909 % |
9810.59/9813.48 c | 741659 | 14230 58828 176622 | 2147483647 367235 43 | 1.909 % |
9832.48/9835.35 c | 743199 | 14230 58828 176622 | 2147483647 368775 43 | 1.909 % |
9855.07/9857.97 c | 744894 | 14230 58828 176622 | 2147483647 370470 43 | 1.909 % |
9880.67/9883.51 c | 746757 | 14230 58828 176622 | 2147483647 372333 43 | 1.909 % |
9912.15/9915.02 c | 748807 | 14230 58828 176622 | 2147483647 374383 43 | 1.909 % |
9945.15/9948.06 c | 751061 | 14230 58828 176622 | 2147483647 376637 43 | 1.909 % |
9983.63/9986.52 c | 753540 | 14230 58828 176622 | 2147483647 379116 43 | 1.909 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837318-1242867065/watcher-1837318-1242867065 -o /tmp/evaluation-result-1837318-1242867065/solver-1837318-1242867065 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837318-1242867065.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.86 0.95 0.94 3/64 29072
/proc/meminfo: memFree=1543248/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=0
/proc/29072/stat : 29072 (SatELiteGTI) R 29070 29072 28969 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 314734057 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 235371293343 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/29072/statm: 1339 237 197 169 0 50 0
[startup+0.104218 s]
/proc/loadavg: 0.86 0.95 0.94 3/64 29072
/proc/meminfo: memFree=1543248/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=0
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314734057 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29072/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.202225 s]
/proc/loadavg: 0.86 0.95 0.94 3/64 29072
/proc/meminfo: memFree=1543248/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=0
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314734057 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29072/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302233 s]
/proc/loadavg: 0.86 0.95 0.94 3/64 29072
/proc/meminfo: memFree=1543248/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=0
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314734057 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29072/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70227 s]
/proc/loadavg: 0.86 0.95 0.94 3/64 29072
/proc/meminfo: memFree=1543248/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=0
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314734057 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29072/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50135 s]
/proc/loadavg: 0.86 0.95 0.94 2/66 29077
/proc/meminfo: memFree=1523904/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 5356
[startup+3.10149 s]
/proc/loadavg: 0.86 0.95 0.94 2/66 29078
/proc/meminfo: memFree=1532672/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=5980 CPUtime=1.63
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 1357 0 0 0 163 0 0 0 25 0 1 0 314734203 6123520 1343 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 1495 1343 76 171 0 1322 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11336
[startup+6.30177 s]
/proc/loadavg: 0.88 0.95 0.94 2/66 29078
/proc/meminfo: memFree=1532480/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=6244 CPUtime=4.83
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 1393 0 0 0 483 0 0 0 25 0 1 0 314734203 6393856 1379 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 1561 1379 76 171 0 1388 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11600
[startup+12.7014 s]
/proc/loadavg: 0.89 0.95 0.94 2/66 29078
/proc/meminfo: memFree=1532104/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=6640 CPUtime=11.23
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 1498 0 0 0 1122 1 0 0 25 0 1 0 314734203 6799360 1484 1992294400 134512640 135215339 4294956240 18446744073709551615 134538362 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 1660 1484 76 171 0 1487 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 11996
[startup+25.5025 s]
/proc/loadavg: 0.91 0.96 0.94 2/66 29078
/proc/meminfo: memFree=1531528/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=7168 CPUtime=24.03
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 1643 0 0 0 2401 2 0 0 25 0 1 0 314734203 7340032 1629 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 1792 1629 76 171 0 1619 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 12524
[startup+51.1028 s]
/proc/loadavg: 0.94 0.96 0.94 2/66 29078
/proc/meminfo: memFree=1530248/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=8492 CPUtime=49.62
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 1969 0 0 0 4960 2 0 0 25 0 1 0 314734203 8695808 1955 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 2123 1955 76 171 0 1950 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 13848
[startup+102.302 s]
/proc/loadavg: 0.97 0.96 0.94 2/66 29078
/proc/meminfo: memFree=1527752/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=10980 CPUtime=100.81
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 2577 0 0 0 10078 3 0 0 25 0 1 0 314734203 11243520 2563 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 2745 2563 76 171 0 2572 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 16336
[startup+162.303 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 29078
/proc/meminfo: memFree=1525192/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=13404 CPUtime=160.79
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 3193 0 0 0 16074 5 0 0 25 0 1 0 314734203 13725696 3179 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 3351 3179 76 171 0 3178 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 18760
[startup+222.306 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 29078
/proc/meminfo: memFree=1522760/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=15888 CPUtime=220.77
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 3788 0 0 0 22071 6 0 0 25 0 1 0 314734203 16269312 3774 1992294400 134512640 135215339 4294956240 18446744073709551615 134539282 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 3972 3774 76 171 0 3799 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 21244
[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 29078
/proc/meminfo: memFree=1520520/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=18012 CPUtime=280.76
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 4324 0 0 0 28068 8 0 0 25 0 1 0 314734203 18444288 4310 1992294400 134512640 135215339 4294956240 18446744073709551615 134528583 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 4503 4310 76 171 0 4330 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 23368
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 29078
/proc/meminfo: memFree=1518600/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=20032 CPUtime=340.74
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 4797 0 0 0 34065 9 0 0 25 0 1 0 314734203 20512768 4783 1992294400 134512640 135215339 4294956240 18446744073709551615 134539284 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 5008 4783 76 171 0 4835 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 25388
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 29078
/proc/meminfo: memFree=1516552/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=21976 CPUtime=400.73
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 5280 0 0 0 40063 10 0 0 25 0 1 0 314734203 22503424 5266 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 5494 5266 76 171 0 5321 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 27332
[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 29078
/proc/meminfo: memFree=1514376/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
################
# More data... #
################
/proc/29078/statm: 31635 30623 76 171 0 31462 0
Current children cumulated CPU time (s) 9339.62
Current children cumulated vsize (KiB) 131896
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29576
/proc/meminfo: memFree=1386952/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=126540 CPUtime=9398.17
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 30637 0 0 0 939737 80 0 0 25 0 1 0 314734203 129576960 30623 1992294400 134512640 135215339 4294956240 18446744073709551615 134539363 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 31635 30623 76 171 0 31462 0
Current children cumulated CPU time (s) 9399.6
Current children cumulated vsize (KiB) 131896
[startup+9462.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29576
/proc/meminfo: memFree=1386888/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=126540 CPUtime=9458.16
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 30640 0 0 0 945736 80 0 0 25 0 1 0 314734203 129576960 30626 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 31635 30626 76 171 0 31462 0
Current children cumulated CPU time (s) 9459.59
Current children cumulated vsize (KiB) 131896
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29576
/proc/meminfo: memFree=1386824/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=126540 CPUtime=9518.14
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 30642 0 0 0 951734 80 0 0 25 0 1 0 314734203 129576960 30628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 31635 30628 76 171 0 31462 0
Current children cumulated CPU time (s) 9519.57
Current children cumulated vsize (KiB) 131896
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29576
/proc/meminfo: memFree=1386952/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=126540 CPUtime=9578.12
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 30642 0 0 0 957732 80 0 0 25 0 1 0 314734203 129576960 30628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 31635 30628 76 171 0 31462 0
Current children cumulated CPU time (s) 9579.55
Current children cumulated vsize (KiB) 131896
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29576
/proc/meminfo: memFree=1386888/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=126540 CPUtime=9638.1
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 30642 0 0 0 963730 80 0 0 25 0 1 0 314734203 129576960 30628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 31635 30628 76 171 0 31462 0
Current children cumulated CPU time (s) 9639.53
Current children cumulated vsize (KiB) 131896
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29576
/proc/meminfo: memFree=1386888/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=126540 CPUtime=9698.08
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 30642 0 0 0 969728 80 0 0 25 0 1 0 314734203 129576960 30628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 31635 30628 76 171 0 31462 0
Current children cumulated CPU time (s) 9699.51
Current children cumulated vsize (KiB) 131896
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29576
/proc/meminfo: memFree=1386760/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=126540 CPUtime=9758.07
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 30642 0 0 0 975727 80 0 0 25 0 1 0 314734203 129576960 30628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 31635 30628 76 171 0 31462 0
Current children cumulated CPU time (s) 9759.5
Current children cumulated vsize (KiB) 131896
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29576
/proc/meminfo: memFree=1386696/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=126540 CPUtime=9818.06
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 30642 0 0 0 981725 81 0 0 25 0 1 0 314734203 129576960 30628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 31635 30628 76 171 0 31462 0
Current children cumulated CPU time (s) 9819.49
Current children cumulated vsize (KiB) 131896
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29576
/proc/meminfo: memFree=1386632/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=126540 CPUtime=9878.04
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 30642 0 0 0 987723 81 0 0 25 0 1 0 314734203 129576960 30628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 31635 30628 76 171 0 31462 0
Current children cumulated CPU time (s) 9879.47
Current children cumulated vsize (KiB) 131896
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29576
/proc/meminfo: memFree=1386632/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=126540 CPUtime=9938.02
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 30642 0 0 0 993721 81 0 0 25 0 1 0 314734203 129576960 30628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 31635 30628 76 171 0 31462 0
Current children cumulated CPU time (s) 9939.45
Current children cumulated vsize (KiB) 131896
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29576
/proc/meminfo: memFree=1386632/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=126540 CPUtime=9998
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 30642 0 0 0 999719 81 0 0 25 0 1 0 314734203 129576960 30628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 31635 30628 76 171 0 31462 0
Current children cumulated CPU time (s) 9999.43
Current children cumulated vsize (KiB) 131896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29576
/proc/meminfo: memFree=1386632/2055920 swapFree=4180352/4192956
[pid=29072] ppid=29070 vsize=5356 CPUtime=1.43
/proc/29072/stat : 29072 (SatELiteGTI) S 29070 29072 28969 0 -1 4194304 336 4238 0 0 0 0 139 4 16 0 1 0 314734057 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29072/statm: 1339 239 197 169 0 50 0
[pid=29078] ppid=29072 vsize=126540 CPUtime=9998.6
/proc/29078/stat : 29078 (minisat_static) R 29072 29072 28969 0 -1 4194304 30642 0 0 0 999779 81 0 0 25 0 1 0 314734203 129576960 30628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/29078/statm: 31635 30628 76 171 0 31462 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 131896
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29072 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=400787
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=49992
# CPU time returned by wait4() is 1.45078
# while last known CPU time is 10000
#
# 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
CPU user time (s): 9999.18
CPU system time (s): 0.85
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 131896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.40079
system time used= 0.049992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4574
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 8
runsolver used 11.6702 second user time and 24.8112 second system time
The end
Begin job on node51 at 2009-05-21 02:51:05
IDJOB=1837318
IDBENCH=70843
IDSOLVER=674
FILE ID=node51/1837318-1242867065
PBS_JOBID= 9328549
Free space on /tmp= 66120 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-32-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837318-1242867065/watcher-1837318-1242867065 -o /tmp/evaluation-result-1837318-1242867065/solver-1837318-1242867065 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837318-1242867065.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7785f51f4f3cb780b4d123215711f948
RANDOM SEED=2138912834
node51.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.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
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: 1543728 kB
Buffers: 40544 kB
Cached: 419040 kB
SwapCached: 6896 kB
Active: 89060 kB
Inactive: 379400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1543728 kB
SwapTotal: 4192956 kB
SwapFree: 4180352 kB
Dirty: 3204 kB
Writeback: 0 kB
Mapped: 14020 kB
Slab: 29824 kB
Committed_AS: 924204 kB
PageTables: 1396 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= 66116 MiB
End job on node51 at 2009-05-21 05:37:50