0.00/0.00 c Parsing...
0.04/0.08 c ==============================================================================
0.04/0.08 c | | ORIGINAL | LEARNT | |
0.04/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.04/0.08 c ==============================================================================
0.04/0.08 c | 0 | 95961 226361 | 28788 0 0 nan | 0.000 % |
1.18/1.29 c | 0 | 59330 176425 | -- 0 -- -- | -- | -36291/-48960
1.18/1.29 c ==============================================================================
1.18/1.29 c Result : #vars: 14275 #clauses: 59330 #literals: 176425
1.18/1.29 c CPU time: 1.25881 s
1.18/1.29 c ==============================================================================
1.29/1.35 c This is MiniSat 2.0 beta
1.29/1.35 c WARNING: for repeatability, setting FPU to use double precision
1.29/1.35 c ============================[ Problem Statistics ]=============================
1.29/1.35 c | |
1.29/1.35 c | Number of variables: 14275 |
1.29/1.35 c | Number of clauses: 59330 |
1.29/1.39 c | Parsing time: 0.03 s |
1.29/1.39 c ============================[ Search Statistics ]==============================
1.29/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.29/1.39 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.29/1.39 c ===============================================================================
1.29/1.39 c | 0 | 14275 59330 176425 | 19776 0 nan | 0.000 % |
1.34/1.49 c | 101 | 14250 59330 176425 | 19776 95 41 | 2.186 % |
1.34/1.65 c | 201 | 13963 57704 172320 | 19776 189 36 | 2.186 % |
1.34/1.90 c | 301 | 13963 57704 172320 | 19776 289 37 | 2.186 % |
2.18/2.21 c | 411 | 13917 57492 171839 | 19776 398 37 | 2.508 % |
2.47/2.58 c | 512 | 13917 57492 171839 | 19776 499 38 | 2.508 % |
2.87/2.93 c | 623 | 13917 57492 171839 | 19776 610 35 | 2.508 % |
3.28/3.30 c | 747 | 13917 57492 171839 | 19776 734 34 | 2.508 % |
3.67/3.71 c | 847 | 13917 57492 171839 | 19776 834 33 | 2.508 % |
4.07/4.16 c | 957 | 13917 57492 171839 | 19776 944 33 | 2.508 % |
4.57/4.63 c | 1078 | 13917 57492 171839 | 19776 1065 33 | 2.508 % |
5.17/5.22 c | 1212 | 13917 57492 171839 | 19776 1199 32 | 2.508 % |
5.57/5.61 c | 1312 | 13917 57492 171839 | 19776 1299 32 | 2.508 % |
5.97/6.09 c | 1422 | 13917 57492 171839 | 19776 1409 31 | 2.508 % |
6.58/6.65 c | 1544 | 13917 57492 171839 | 19776 1531 30 | 2.508 % |
7.17/7.22 c | 1678 | 13917 57492 171839 | 19776 1665 30 | 2.508 % |
7.77/7.81 c | 1824 | 13917 57492 171839 | 19776 1811 30 | 2.508 % |
8.17/8.29 c | 1924 | 13917 57492 171839 | 19776 1911 30 | 2.508 % |
8.57/8.67 c | 2034 | 13917 57492 171839 | 19776 2021 30 | 2.508 % |
9.07/9.13 c | 2155 | 13917 57492 171839 | 19776 2142 30 | 2.508 % |
9.47/9.53 c | 2288 | 13917 57492 171839 | 19776 2275 30 | 2.508 % |
9.97/10.05 c | 2434 | 13917 57492 171839 | 19776 2421 30 | 2.508 % |
10.17/10.24 c | 2595 | 13917 57492 171839 | 19776 2582 32 | 2.508 % |
10.47/10.55 c | 2696 | 13917 57492 171839 | 19776 2683 32 | 2.508 % |
10.87/10.91 c | 2806 | 13917 57492 171839 | 19776 2793 32 | 2.508 % |
11.17/11.25 c | 2928 | 13917 57492 171839 | 19776 2915 32 | 2.508 % |
11.67/11.74 c | 3061 | 13917 57492 171839 | 19776 3048 32 | 2.508 % |
12.26/12.35 c | 3208 | 13917 57492 171839 | 19776 3195 31 | 2.508 % |
12.96/13.05 c | 3369 | 13917 57492 171839 | 19776 3356 31 | 2.508 % |
13.66/13.77 c | 3546 | 13917 57492 171839 | 19776 3533 31 | 2.508 % |
13.96/14.09 c | 3646 | 13917 57492 171839 | 19776 3633 31 | 2.508 % |
14.45/14.51 c | 3757 | 13917 57492 171839 | 19776 3744 32 | 2.508 % |
14.75/14.88 c | 3878 | 13917 57492 171839 | 19776 3865 32 | 2.508 % |
15.45/15.50 c | 4011 | 13917 57492 171839 | 19776 3998 32 | 2.508 % |
15.95/16.06 c | 4158 | 13917 57492 171839 | 19776 4145 31 | 2.508 % |
16.46/16.57 c | 4319 | 13917 57492 171839 | 19776 4306 32 | 2.508 % |
16.95/17.09 c | 4495 | 13917 57492 171839 | 19776 4482 32 | 2.508 % |
17.35/17.49 c | 4688 | 13917 57492 171839 | 19776 4675 32 | 2.508 % |
17.65/17.77 c | 4788 | 13917 57492 171839 | 19776 4775 33 | 2.508 % |
18.15/18.23 c | 4898 | 13917 57492 171839 | 19776 4885 33 | 2.508 % |
18.56/18.60 c | 5020 | 13917 57492 171839 | 19776 5007 33 | 2.508 % |
19.05/19.13 c | 5156 | 13917 57492 171839 | 19776 5143 33 | 2.508 % |
19.45/19.58 c | 5303 | 13917 57492 171839 | 19776 5290 33 | 2.508 % |
20.15/20.27 c | 5463 | 13917 57492 171839 | 19776 5450 33 | 2.508 % |
20.95/21.01 c | 5640 | 13917 57492 171839 | 19776 5627 33 | 2.508 % |
21.75/21.89 c | 5833 | 13917 57492 171839 | 19776 5820 33 | 2.508 % |
22.75/22.88 c | 6045 | 13917 57492 171839 | 19776 6032 33 | 2.508 % |
23.25/23.31 c | 6147 | 13917 57492 171839 | 19776 6134 32 | 2.508 % |
23.75/23.88 c | 6258 | 13917 57492 171839 | 19776 6245 32 | 2.508 % |
24.35/24.46 c | 6379 | 13917 57492 171839 | 19776 6366 32 | 2.508 % |
24.75/24.85 c | 6512 | 13917 57492 171839 | 19776 6499 32 | 2.508 % |
25.35/25.48 c | 6658 | 13917 57492 171839 | 19776 6645 32 | 2.508 % |
26.15/26.28 c | 6818 | 13917 57492 171839 | 19776 6805 32 | 2.508 % |
26.85/26.98 c | 6995 | 13917 57492 171839 | 19776 6982 33 | 2.508 % |
27.55/27.63 c | 7190 | 13917 57492 171839 | 19776 7177 32 | 2.508 % |
28.35/28.46 c | 7403 | 13917 57492 171839 | 19776 7390 33 | 2.508 % |
29.05/29.12 c | 7637 | 13917 57492 171839 | 19776 7624 33 | 2.508 % |
29.35/29.47 c | 7737 | 13917 57492 171839 | 19776 7724 33 | 2.508 % |
29.85/29.96 c | 7847 | 13917 57492 171839 | 19776 7834 33 | 2.508 % |
30.25/30.33 c | 7968 | 13917 57492 171839 | 19776 7955 33 | 2.508 % |
30.55/30.65 c | 8103 | 13917 57492 171839 | 19776 8090 33 | 2.508 % |
31.05/31.14 c | 8249 | 13917 57492 171839 | 19776 8236 33 | 2.508 % |
31.85/31.91 c | 8409 | 13917 57492 171839 | 19776 8396 33 | 2.508 % |
32.65/32.72 c | 8585 | 13917 57492 171839 | 19776 8572 33 | 2.508 % |
33.45/33.50 c | 8779 | 13917 57492 171839 | 19776 8766 33 | 2.508 % |
34.45/34.54 c | 8991 | 13917 57492 171839 | 19776 8978 33 | 2.508 % |
35.35/35.50 c | 9226 | 13917 57492 171839 | 19776 9213 33 | 2.508 % |
36.55/36.64 c | 9482 | 13917 57492 171839 | 19776 9469 33 | 2.508 % |
36.95/37.09 c | 9582 | 13917 57492 171839 | 19776 9569 33 | 2.508 % |
37.55/37.66 c | 9692 | 13917 57492 171839 | 19776 9679 33 | 2.508 % |
38.15/38.26 c | 9814 | 13917 57492 171839 | 19776 9801 32 | 2.508 % |
38.55/38.60 c | 9948 | 13917 57492 171839 | 19776 9935 33 | 2.508 % |
39.15/39.23 c | 10094 | 13917 57492 171839 | 2147483647 10081 32 | 2.508 % |
39.85/39.99 c | 10255 | 13917 57492 171839 | 2147483647 10242 32 | 2.508 % |
40.44/40.60 c | 10431 | 13917 57492 171839 | 2147483647 10418 33 | 2.508 % |
41.34/41.46 c | 10624 | 13917 57492 171839 | 2147483647 10611 33 | 2.508 % |
42.04/42.18 c | 10836 | 13917 57492 171839 | 2147483647 10823 33 | 2.508 % |
43.04/43.20 c | 11070 | 13917 57492 171839 | 2147483647 11057 33 | 2.508 % |
44.04/44.12 c | 11326 | 13917 57492 171839 | 2147483647 11313 33 | 2.508 % |
45.04/45.17 c | 11607 | 13917 57492 171839 | 2147483647 11594 33 | 2.508 % |
45.54/45.61 c | 11708 | 13917 57492 171839 | 2147483647 11695 33 | 2.508 % |
45.94/46.01 c | 11818 | 13917 57492 171839 | 2147483647 11805 33 | 2.508 % |
46.54/46.61 c | 11940 | 13917 57492 171839 | 2147483647 11927 33 | 2.508 % |
46.84/46.94 c | 12073 | 13917 57492 171839 | 2147483647 12060 33 | 2.508 % |
47.34/47.42 c | 12219 | 13917 57492 171839 | 2147483647 12206 33 | 2.508 % |
47.84/47.92 c | 12380 | 13917 57492 171839 | 2147483647 12367 33 | 2.508 % |
47.94/48.09 c | 12557 | 13917 57492 171839 | 2147483647 12544 34 | 2.508 % |
48.84/48.96 c | 12751 | 13917 57492 171839 | 2147483647 12738 34 | 2.508 % |
49.64/49.79 c | 12963 | 13917 57492 171839 | 2147483647 12950 34 | 2.508 % |
50.64/50.72 c | 13196 | 13917 57492 171839 | 2147483647 13183 35 | 2.508 % |
51.64/51.76 c | 13454 | 13917 57492 171839 | 2147483647 13441 35 | 2.508 % |
52.84/52.94 c | 13736 | 13917 57492 171839 | 2147483647 13723 35 | 2.508 % |
54.34/54.46 c | 14047 | 13917 57492 171839 | 2147483647 14034 34 | 2.508 % |
54.84/54.93 c | 14149 | 13917 57492 171839 | 2147483647 14136 34 | 2.508 % |
55.34/55.46 c | 14259 | 13917 57492 171839 | 2147483647 14246 34 | 2.508 % |
55.94/56.05 c | 14382 | 13917 57492 171839 | 2147483647 14369 34 | 2.508 % |
56.44/56.52 c | 14515 | 13917 57492 171839 | 2147483647 14502 34 | 2.508 % |
56.93/57.01 c | 14662 | 13917 57492 171839 | 2147483647 14649 34 | 2.508 % |
57.53/57.65 c | 14823 | 13917 57492 171839 | 2147483647 14810 34 | 2.508 % |
58.13/58.24 c | 15000 | 13917 57492 171839 | 2147483647 14987 34 | 2.508 % |
58.93/59.09 c | 15193 | 13917 57492 171839 | 2147483647 15180 34 | 2.508 % |
59.93/60.02 c | 15405 | 13917 57492 171839 | 2147483647 15392 34 | 2.508 % |
60.83/60.92 c | 15638 | 13917 57492 171839 | 2147483647 15625 34 | 2.508 % |
61.93/62.00 c | 15894 | 13917 57492 171839 | 2147483647 15881 35 | 2.508 % |
63.13/63.22 c | 16175 | 13917 57492 171839 | 2147483647 16162 35 | 2.508 % |
63.73/63.85 c | 16484 | 13917 57492 171839 | 2147483647 16471 35 | 2.508 % |
65.23/65.30 c | 16823 | 13917 57492 171839 | 2147483647 16810 35 | 2.508 % |
65.63/65.75 c | 16923 | 13917 57492 171839 | 2147483647 16910 35 | 2.508 % |
66.23/66.32 c | 17033 | 13917 57492 171839 | 2147483647 17020 35 | 2.508 % |
66.93/67.03 c | 17154 | 13917 57492 171839 | 2147483647 17141 35 | 2.508 % |
67.62/67.78 c | 17288 | 13917 57492 171839 | 2147483647 17275 35 | 2.508 % |
68.32/68.47 c | 17435 | 13917 57492 171839 | 2147483647 17422 35 | 2.508 % |
69.13/69.24 c | 17595 | 13917 57492 171839 | 2147483647 17582 35 | 2.508 % |
70.02/70.14 c | 17771 | 13917 57492 171839 | 2147483647 17758 35 | 2.508 % |
71.02/71.11 c | 17964 | 13917 57492 171839 | 2147483647 17951 35 | 2.508 % |
71.92/72.07 c | 18177 | 13917 57492 171839 | 2147483647 18164 35 | 2.508 % |
73.12/73.22 c | 18411 | 13917 57492 171839 | 2147483647 18398 35 | 2.508 % |
74.32/74.48 c | 18668 | 13917 57492 171839 | 2147483647 18655 35 | 2.508 % |
75.72/75.85 c | 18949 | 13917 57492 171839 | 2147483647 18936 34 | 2.508 % |
77.12/77.20 c | 19258 | 13917 57492 171839 | 2147483647 19245 34 | 2.508 % |
78.62/78.72 c | 19597 | 13917 57492 171839 | 2147483647 19584 34 | 2.508 % |
80.42/80.50 c | 19970 | 13917 57492 171839 | 2147483647 19957 34 | 2.508 % |
80.82/80.96 c | 20070 | 13917 57492 171839 | 2147483647 20057 34 | 2.508 % |
81.42/81.58 c | 20180 | 13917 57492 171839 | 2147483647 20167 34 | 2.508 % |
82.02/82.18 c | 20301 | 13917 57492 171839 | 2147483647 20288 34 | 2.508 % |
82.62/82.76 c | 20435 | 13917 57492 171839 | 2147483647 20422 34 | 2.508 % |
83.32/83.44 c | 20581 | 13917 57492 171839 | 2147483647 20568 34 | 2.508 % |
84.02/84.19 c | 20741 | 13917 57492 171839 | 2147483647 20728 34 | 2.508 % |
84.92/85.04 c | 20917 | 13917 57492 171839 | 2147483647 20904 34 | 2.508 % |
85.72/85.89 c | 21111 | 13917 57492 171839 | 2147483647 21098 34 | 2.508 % |
86.82/86.96 c | 21324 | 13917 57492 171839 | 2147483647 21311 34 | 2.508 % |
87.93/88.02 c | 21557 | 13917 57492 171839 | 2147483647 21544 34 | 2.508 % |
89.12/89.26 c | 21813 | 13917 57492 171839 | 2147483647 21800 34 | 2.508 % |
90.42/90.57 c | 22095 | 13917 57492 171839 | 2147483647 22082 34 | 2.508 % |
91.22/91.34 c | 22404 | 13917 57492 171839 | 2147483647 22391 35 | 2.508 % |
92.92/93.01 c | 22743 | 13917 57492 171839 | 2147483647 22730 35 | 2.508 % |
94.42/94.54 c | 23117 | 13917 57492 171839 | 2147483647 23104 35 | 2.508 % |
95.62/95.73 c | 23527 | 13917 57492 171839 | 2147483647 23514 35 | 2.508 % |
96.02/96.11 c | 23628 | 13917 57492 171839 | 2147483647 23615 35 | 2.508 % |
96.32/96.47 c | 23738 | 13917 57492 171839 | 2147483647 23725 35 | 2.508 % |
96.92/97.09 c | 23859 | 13917 57492 171839 | 2147483647 23846 35 | 2.508 % |
97.62/97.79 c | 23993 | 13917 57492 171839 | 2147483647 23980 35 | 2.508 % |
98.32/98.46 c | 24139 | 13917 57492 171839 | 2147483647 24126 35 | 2.508 % |
99.22/99.30 c | 24300 | 13917 57492 171839 | 2147483647 24287 35 | 2.508 % |
100.02/100.13 c | 24477 | 13917 57492 171839 | 2147483647 24464 35 | 2.508 % |
100.82/100.91 c | 24670 | 13917 57492 171839 | 2147483647 24657 35 | 2.508 % |
101.81/101.97 c | 24883 | 13917 57492 171839 | 2147483647 24870 35 | 2.508 % |
103.01/103.11 c | 25116 | 13917 57492 171839 | 2147483647 25103 35 | 2.508 % |
104.01/104.14 c | 25374 | 13917 57492 171839 | 2147483647 25361 35 | 2.508 % |
104.91/105.07 c | 25656 | 13917 57492 171839 | 2147483647 25643 36 | 2.508 % |
106.11/106.26 c | 25966 | 13917 57492 171839 | 2147483647 25953 36 | 2.508 % |
107.50/107.66 c | 26306 | 13917 57492 171839 | 2147483647 26293 36 | 2.508 % |
109.30/109.46 c | 26678 | 13917 57492 171839 | 2147483647 26665 36 | 2.508 % |
111.40/111.57 c | 27088 | 13917 57492 171839 | 2147483647 27075 36 | 2.508 % |
113.00/113.13 c | 27538 | 13917 57492 171839 | 2147483647 27525 36 | 2.508 % |
113.50/113.60 c | 27639 | 13917 57492 171839 | 2147483647 27626 36 | 2.508 % |
113.90/114.05 c | 27752 | 13917 57492 171839 | 2147483647 27739 36 | 2.508 % |
114.40/114.55 c | 27873 | 13917 57492 171839 | 2147483647 27860 36 | 2.508 % |
114.80/114.91 c | 28006 | 13917 57492 171839 | 2147483647 27993 36 | 2.508 % |
115.60/115.70 c | 28152 | 13917 57492 171839 | 2147483647 28139 36 | 2.508 % |
116.41/116.52 c | 28312 | 13917 57492 171839 | 2147483647 28299 36 | 2.508 % |
117.20/117.39 c | 28489 | 13917 57492 171839 | 2147483647 28476 36 | 2.508 % |
118.20/118.36 c | 28683 | 13917 57492 171839 | 2147483647 28670 36 | 2.508 % |
119.20/119.35 c | 28896 | 13917 57492 171839 | 2147483647 28883 36 | 2.508 % |
120.00/120.16 c | 29129 | 13917 57492 171839 | 2147483647 29116 36 | 2.508 % |
121.10/121.22 c | 29386 | 13917 57492 171839 | 2147483647 29373 36 | 2.508 % |
122.30/122.46 c | 29667 | 13917 57492 171839 | 2147483647 29654 36 | 2.508 % |
123.60/123.78 c | 29977 | 13917 57492 171839 | 2147483647 29964 36 | 2.508 % |
125.70/125.84 c | 30316 | 13917 57492 171839 | 2147483647 30303 36 | 2.508 % |
127.50/127.67 c | 30688 | 13917 57492 171839 | 2147483647 30675 36 | 2.508 % |
129.60/129.78 c | 31097 | 13917 57492 171839 | 2147483647 31084 36 | 2.508 % |
132.09/132.28 c | 31547 | 13917 57492 171839 | 2147483647 31534 36 | 2.508 % |
134.39/134.53 c | 32040 | 13917 57492 171839 | 2147483647 32027 36 | 2.508 % |
134.99/135.10 c | 32140 | 13917 57492 171839 | 2147483647 32127 36 | 2.508 % |
135.49/135.62 c | 32250 | 13917 57492 171839 | 2147483647 32237 36 | 2.508 % |
136.19/136.32 c | 32372 | 13917 57492 171839 | 2147483647 32359 36 | 2.508 % |
136.79/136.92 c | 32507 | 13917 57492 171839 | 2147483647 32494 36 | 2.508 % |
137.49/137.69 c | 32655 | 13917 57492 171839 | 2147483647 32642 36 | 2.508 % |
138.29/138.49 c | 32815 | 13917 57492 171839 | 2147483647 32802 36 | 2.508 % |
138.89/139.00 c | 32991 | 13917 57492 171839 | 2147483647 32978 36 | 2.508 % |
139.79/139.97 c | 33185 | 13917 57492 171839 | 2147483647 33172 36 | 2.508 % |
140.99/141.18 c | 33398 | 13917 57492 171839 | 2147483647 33385 36 | 2.508 % |
142.29/142.41 c | 33631 | 13917 57492 171839 | 2147483647 33618 36 | 2.508 % |
143.79/143.90 c | 33887 | 13917 57492 171839 | 2147483647 33874 36 | 2.508 % |
145.39/145.56 c | 34168 | 13917 57492 171839 | 2147483647 34155 36 | 2.508 % |
146.68/146.81 c | 34477 | 13917 57492 171839 | 2147483647 34464 36 | 2.508 % |
148.29/148.46 c | 34817 | 13917 57492 171839 | 2147483647 34804 36 | 2.508 % |
150.29/150.46 c | 35189 | 13917 57492 171839 | 2147483647 35176 36 | 2.508 % |
152.49/152.64 c | 35599 | 13917 57492 171839 | 2147483647 35586 36 | 2.508 % |
154.89/155.08 c | 36048 | 13917 57492 171839 | 2147483647 36035 36 | 2.508 % |
157.58/157.73 c | 36541 | 13917 57492 171839 | 2147483647 36528 36 | 2.508 % |
160.18/160.37 c | 37084 | 13917 57492 171839 | 2147483647 37071 36 | 2.508 % |
160.78/160.93 c | 37185 | 13917 57492 171839 | 2147483647 37172 36 | 2.508 % |
161.38/161.58 c | 37295 | 13917 57492 171839 | 2147483647 37282 36 | 2.508 % |
162.08/162.22 c | 37416 | 13917 57492 171839 | 2147483647 37403 36 | 2.508 % |
162.68/162.84 c | 37551 | 13917 57492 171839 | 2147483647 37538 36 | 2.508 % |
163.38/163.52 c | 37698 | 13917 57492 171839 | 2147483647 37685 36 | 2.508 % |
163.88/164.03 c | 37859 | 13917 57492 171839 | 2147483647 37846 36 | 2.508 % |
164.68/164.81 c | 38036 | 13917 57492 171839 | 2147483647 38023 36 | 2.508 % |
165.68/165.89 c | 38230 | 13917 57492 171839 | 2147483647 38217 36 | 2.508 % |
166.57/166.72 c | 38442 | 13917 57492 171839 | 2147483647 38429 36 | 2.508 % |
167.57/167.79 c | 38675 | 13917 57492 171839 | 2147483647 38662 36 | 2.508 % |
168.77/168.99 c | 38933 | 13917 57492 171839 | 2147483647 38920 36 | 2.508 % |
170.28/170.46 c | 39215 | 13917 57492 171839 | 2147483647 39202 36 | 2.508 % |
171.97/172.16 c | 39525 | 13917 57492 171839 | 2147483647 39512 36 | 2.508 % |
173.87/174.10 c | 39864 | 13917 57492 171839 | 2147483647 39851 36 | 2.508 % |
174.87/175.09 c | 40238 | 13917 57492 171839 | 2147483647 40225 36 | 2.508 % |
176.67/176.81 c | 40650 | 13917 57492 171839 | 2147483647 40637 36 | 2.508 % |
178.97/179.14 c | 41100 | 13917 57492 171839 | 2147483647 41087 36 | 2.508 % |
181.87/182.05 c | 41593 | 13917 57492 171839 | 2147483647 41580 36 | 2.508 % |
184.77/184.90 c | 42139 | 13917 57492 171839 | 2147483647 42126 36 | 2.508 % |
187.37/187.52 c | 42735 | 13917 57492 171839 | 2147483647 42722 36 | 2.508 % |
187.76/187.90 c | 42835 | 13917 57492 171839 | 2147483647 42822 36 | 2.508 % |
188.26/188.49 c | 42947 | 13917 57492 171839 | 2147483647 42934 36 | 2.508 % |
188.67/188.87 c | 43069 | 13917 57492 171839 | 2147483647 43056 36 | 2.508 % |
189.47/189.65 c | 43203 | 13917 57492 171839 | 2147483647 43190 36 | 2.508 % |
190.17/190.31 c | 43350 | 13917 57492 171839 | 2147483647 43337 36 | 2.508 % |
190.96/191.13 c | 43511 | 13917 57492 171839 | 2147483647 43498 36 | 2.508 % |
191.86/192.00 c | 43687 | 13917 57492 171839 | 2147483647 43674 36 | 2.508 % |
192.86/193.07 c | 43881 | 13917 57492 171839 | 2147483647 43868 36 | 2.508 % |
193.86/194.05 c | 44093 | 13917 57492 171839 | 2147483647 44080 36 | 2.508 % |
194.96/195.19 c | 44326 | 13917 57492 171839 | 2147483647 44313 36 | 2.508 % |
196.56/196.70 c | 44582 | 13917 57492 171839 | 2147483647 44569 36 | 2.508 % |
198.15/198.30 c | 44863 | 13917 57492 171839 | 2147483647 44850 36 | 2.508 % |
199.85/200.02 c | 45173 | 13917 57492 171839 | 2147483647 45160 37 | 2.508 % |
201.35/201.58 c | 45513 | 13917 57492 171839 | 2147483647 45500 37 | 2.508 % |
203.35/203.58 c | 45888 | 13917 57492 171839 | 2147483647 45875 37 | 2.508 % |
205.05/205.23 c | 46298 | 13917 57492 171839 | 2147483647 46285 37 | 2.508 % |
207.85/208.08 c | 46748 | 13917 57492 171839 | 2147483647 46735 37 | 2.508 % |
210.15/210.31 c | 47241 | 13917 57492 171839 | 2147483647 47228 37 | 2.508 % |
213.05/213.30 c | 47784 | 13917 57492 171839 | 2147483647 47771 37 | 2.508 % |
216.65/216.84 c | 48380 | 13917 57492 171839 | 2147483647 48367 37 | 2.508 % |
220.14/220.34 c | 49037 | 13917 57492 171839 | 2147483647 49024 37 | 2.508 % |
220.64/220.84 c | 49138 | 13917 57492 171839 | 2147483647 49125 37 | 2.508 % |
221.04/221.28 c | 49248 | 13917 57492 171839 | 2147483647 49235 37 | 2.508 % |
221.74/221.94 c | 49371 | 13917 57492 171839 | 2147483647 49358 37 | 2.508 % |
222.54/222.73 c | 49504 | 13917 57492 171839 | 2147483647 49491 37 | 2.508 % |
223.15/223.38 c | 49650 | 13917 57492 171839 | 2147483647 49637 37 | 2.508 % |
224.04/224.22 c | 49811 | 13917 57492 171839 | 2147483647 49798 37 | 2.508 % |
224.84/225.08 c | 49989 | 13917 57492 171839 | 2147483647 49976 37 | 2.508 % |
225.84/226.02 c | 50182 | 13917 57492 171839 | 2147483647 50169 37 | 2.508 % |
226.94/227.11 c | 50394 | 13917 57492 171839 | 2147483647 50381 37 | 2.508 % |
228.34/228.55 c | 50628 | 13917 57492 171839 | 2147483647 50615 37 | 2.508 % |
230.14/230.33 c | 50884 | 13917 57492 171839 | 2147483647 50871 37 | 2.508 % |
232.04/232.20 c | 51166 | 13917 57492 171839 | 2147483647 51153 37 | 2.508 % |
233.84/234.05 c | 51475 | 13917 57492 171839 | 2147483647 51462 37 | 2.508 % |
235.44/235.62 c | 51815 | 13917 57492 171839 | 2147483647 51802 37 | 2.508 % |
237.03/237.29 c | 52188 | 13917 57492 171839 | 2147483647 52175 37 | 2.508 % |
239.23/239.40 c | 52597 | 13917 57492 171839 | 2147483647 52584 37 | 2.508 % |
241.03/241.29 c | 53047 | 13917 57492 171839 | 2147483647 53034 37 | 2.508 % |
244.33/244.53 c | 53540 | 13917 57492 171839 | 2147483647 53527 37 | 2.508 % |
247.74/247.92 c | 54082 | 13917 57492 171839 | 2147483647 54069 37 | 2.508 % |
251.34/251.53 c | 54678 | 13917 57492 171839 | 2147483647 54665 37 | 2.508 % |
255.14/255.31 c | 55335 | 13917 57492 171839 | 2147483647 55322 37 | 2.508 % |
259.34/259.53 c | 56055 | 13917 57492 171839 | 2147483647 56042 37 | 2.508 % |
259.83/260.04 c | 56155 | 13917 57492 171839 | 2147483647 56142 37 | 2.508 % |
260.33/260.56 c | 56265 | 13917 57492 171839 | 2147483647 56252 37 | 2.508 % |
261.03/261.28 c | 56386 | 13917 57492 171839 | 2147483647 56373 37 | 2.508 % |
261.73/261.94 c | 56519 | 13917 57492 171839 | 2147483647 56506 37 | 2.508 % |
262.53/262.72 c | 56665 | 13917 57492 171839 | 2147483647 56652 37 | 2.508 % |
263.43/263.64 c | 56826 | 13917 57492 171839 | 2147483647 56813 37 | 2.508 % |
263.73/263.99 c | 57003 | 13917 57492 171839 | 2147483647 56990 37 | 2.508 % |
264.73/264.96 c | 57196 | 13917 57492 171839 | 2147483647 57183 37 | 2.508 % |
266.03/266.24 c | 57409 | 13917 57492 171839 | 2147483647 57396 37 | 2.508 % |
267.63/267.80 c | 57643 | 13917 57492 171839 | 2147483647 57630 37 | 2.508 % |
269.23/269.41 c | 57901 | 13917 57492 171839 | 2147483647 57888 37 | 2.508 % |
271.03/271.29 c | 58183 | 13917 57492 171839 | 2147483647 58170 37 | 2.508 % |
273.02/273.21 c | 58493 | 13917 57492 171839 | 2147483647 58480 37 | 2.508 % |
275.02/275.25 c | 58832 | 13917 57492 171839 | 2147483647 58819 37 | 2.508 % |
277.42/277.65 c | 59204 | 13917 57492 171839 | 2147483647 59191 37 | 2.508 % |
280.23/280.41 c | 59613 | 13917 57492 171839 | 2147483647 59600 37 | 2.508 % |
283.22/283.41 c | 60064 | 13917 57492 171839 | 2147483647 60051 37 | 2.508 % |
285.72/285.97 c | 60558 | 13917 57492 171839 | 2147483647 60545 37 | 2.508 % |
288.81/289.06 c | 61100 | 13917 57492 171839 | 2147483647 61087 37 | 2.508 % |
292.21/292.47 c | 61696 | 13917 57492 171839 | 2147483647 61683 37 | 2.508 % |
296.11/296.30 c | 62351 | 13917 57492 171839 | 2147483647 62338 37 | 2.508 % |
300.41/300.65 c | 63071 | 13917 57492 171839 | 2147483647 63058 37 | 2.508 % |
305.21/305.41 c | 63863 | 13917 57492 171839 | 2147483647 63850 37 | 2.508 % |
305.71/305.97 c | 63964 | 13917 57492 171839 | 2147483647 63951 37 | 2.508 % |
306.21/306.47 c | 64074 | 13917 57492 171839 | 2147483647 64061 37 | 2.508 % |
307.01/307.24 c | 64197 | 13917 57492 171839 | 2147483647 64184 37 | 2.508 % |
307.71/307.98 c | 64330 | 13917 57492 171839 | 2147483647 64317 37 | 2.508 % |
308.71/308.94 c | 64477 | 13917 57492 171839 | 2147483647 64464 37 | 2.508 % |
309.61/309.82 c | 64638 | 13917 57492 171839 | 2147483647 64625 37 | 2.508 % |
310.51/310.76 c | 64814 | 13917 57492 171839 | 2147483647 64801 37 | 2.508 % |
311.70/312.00 c | 65007 | 13917 57492 171839 | 2147483647 64994 37 | 2.508 % |
313.10/313.36 c | 65221 | 13917 57492 171839 | 2147483647 65208 37 | 2.508 % |
314.70/314.93 c | 65455 | 13917 57492 171839 | 2147483647 65442 37 | 2.508 % |
316.40/316.64 c | 65712 | 13917 57492 171839 | 2147483647 65699 37 | 2.508 % |
318.00/318.23 c | 65994 | 13917 57492 171839 | 2147483647 65981 37 | 2.508 % |
320.00/320.21 c | 66303 | 13917 57492 171839 | 2147483647 66290 37 | 2.508 % |
321.50/321.70 c | 66643 | 13917 57492 171839 | 2147483647 66630 37 | 2.508 % |
323.80/324.08 c | 67016 | 13917 57492 171839 | 2147483647 67003 37 | 2.508 % |
326.69/326.99 c | 67426 | 13917 57492 171839 | 2147483647 67413 37 | 2.508 % |
329.69/330.00 c | 67878 | 13917 57492 171839 | 2147483647 67865 37 | 2.508 % |
332.99/333.26 c | 68372 | 13917 57492 171839 | 2147483647 68359 37 | 2.508 % |
336.69/336.98 c | 68914 | 13917 57492 171839 | 2147483647 68901 36 | 2.508 % |
340.69/340.95 c | 69510 | 13917 57492 171839 | 2147483647 69497 36 | 2.508 % |
344.59/344.87 c | 70167 | 13917 57492 171839 | 2147483647 70154 36 | 2.508 % |
349.18/349.46 c | 70888 | 13917 57492 171839 | 2147483647 70875 36 | 2.508 % |
354.39/354.66 c | 71681 | 13917 57492 171839 | 2147483647 71668 36 | 2.508 % |
359.79/360.03 c | 72553 | 13917 57492 171839 | 2147483647 72540 36 | 2.508 % |
360.39/360.65 c | 72653 | 13917 57492 171839 | 2147483647 72640 36 | 2.508 % |
361.09/361.31 c | 72763 | 13917 57492 171839 | 2147483647 72750 36 | 2.508 % |
361.69/361.99 c | 72885 | 13917 57492 171839 | 2147483647 72872 36 | 2.508 % |
362.49/362.75 c | 73018 | 13917 57492 171839 | 2147483647 73005 36 | 2.508 % |
363.39/363.64 c | 73164 | 13917 57492 171839 | 2147483647 73151 36 | 2.508 % |
364.68/364.93 c | 73325 | 13917 57492 171839 | 2147483647 73312 36 | 2.508 % |
365.78/366.08 c | 73501 | 13917 57492 171839 | 2147483647 73488 36 | 2.508 % |
367.09/367.40 c | 73695 | 13917 57492 171839 | 2147483647 73682 36 | 2.508 % |
368.38/368.61 c | 73908 | 13917 57492 171839 | 2147483647 73895 36 | 2.508 % |
369.68/369.96 c | 74141 | 13917 57492 171839 | 2147483647 74128 36 | 2.508 % |
371.18/371.42 c | 74397 | 13917 57492 171839 | 2147483647 74384 36 | 2.508 % |
372.87/373.17 c | 74679 | 13917 57492 171839 | 2147483647 74666 36 | 2.508 % |
374.88/375.17 c | 74988 | 13917 57492 171839 | 2147483647 74975 36 | 2.508 % |
376.98/377.29 c | 75327 | 13917 57492 171839 | 2147483647 75314 36 | 2.508 % |
379.37/379.61 c | 75699 | 13917 57492 171839 | 2147483647 75686 36 | 2.508 % |
381.17/381.46 c | 76108 | 13917 57492 171839 | 2147483647 76095 36 | 2.508 % |
383.97/384.25 c | 76559 | 13917 57492 171839 | 2147483647 76546 36 | 2.508 % |
387.27/387.51 c | 77053 | 13917 57492 171839 | 2147483647 77040 36 | 2.508 % |
390.67/390.93 c | 77595 | 13917 57492 171839 | 2147483647 77582 36 | 2.508 % |
394.27/394.54 c | 78192 | 13917 57492 171839 | 2147483647 78179 36 | 2.508 % |
398.46/398.73 c | 78847 | 13917 57492 171839 | 2147483647 78834 36 | 2.508 % |
403.26/403.55 c | 79568 | 13917 57492 171839 | 2147483647 79555 36 | 2.508 % |
409.46/409.71 c | 80360 | 13917 57492 171839 | 2147483647 80347 36 | 2.508 % |
415.46/415.76 c | 81231 | 13917 57492 171839 | 2147483647 81218 36 | 2.508 % |
420.95/421.24 c | 82190 | 13917 57492 171839 | 2147483647 82177 36 | 2.508 % |
421.45/421.77 c | 82291 | 13917 57492 171839 | 2147483647 82278 36 | 2.508 % |
421.85/422.17 c | 82401 | 13917 57492 171839 | 2147483647 82388 36 | 2.508 % |
422.45/422.77 c | 82523 | 13917 57492 171839 | 2147483647 82510 36 | 2.508 % |
423.35/423.64 c | 82656 | 13917 57492 171839 | 2147483647 82643 36 | 2.508 % |
424.25/424.54 c | 82802 | 13917 57492 171839 | 2147483647 82789 36 | 2.508 % |
425.65/425.90 c | 82962 | 13917 57492 171839 | 2147483647 82949 36 | 2.508 % |
426.75/427.03 c | 83139 | 13917 57492 171839 | 2147483647 83126 36 | 2.508 % |
427.95/428.27 c | 83332 | 13917 57492 171839 | 2147483647 83319 36 | 2.508 % |
429.14/429.48 c | 83546 | 13917 57492 171839 | 2147483647 83533 36 | 2.508 % |
430.95/431.22 c | 83780 | 13917 57492 171839 | 2147483647 83767 36 | 2.508 % |
432.34/432.66 c | 84037 | 13917 57492 171839 | 2147483647 84024 36 | 2.508 % |
434.25/434.56 c | 84319 | 13917 57492 171839 | 2147483647 84306 36 | 2.508 % |
436.35/436.66 c | 84629 | 13917 57492 171839 | 2147483647 84616 36 | 2.508 % |
438.74/439.07 c | 84969 | 13917 57492 171839 | 2147483647 84956 36 | 2.508 % |
441.54/441.81 c | 85341 | 13917 57492 171839 | 2147483647 85328 36 | 2.508 % |
444.63/444.92 c | 85750 | 13917 57492 171839 | 2147483647 85737 36 | 2.508 % |
447.83/448.18 c | 86199 | 13917 57492 171839 | 2147483647 86186 36 | 2.508 % |
450.74/451.07 c | 86692 | 13917 57492 171839 | 2147483647 86679 36 | 2.508 % |
454.53/454.84 c | 87235 | 13917 57492 171839 | 2147483647 87222 36 | 2.508 % |
457.63/457.95 c | 87831 | 13917 57492 171839 | 2147483647 87818 36 | 2.508 % |
461.64/461.92 c | 88487 | 13917 57492 171839 | 2147483647 88474 36 | 2.508 % |
466.53/466.83 c | 89208 | 13917 57492 171839 | 2147483647 89195 36 | 2.508 % |
471.03/471.38 c | 90000 | 13917 57492 171839 | 2147483647 89987 36 | 2.508 % |
476.82/477.17 c | 90871 | 13917 57492 171839 | 2147483647 90858 36 | 2.508 % |
483.42/483.76 c | 91829 | 13917 57492 171839 | 2147483647 91816 36 | 2.508 % |
490.42/490.78 c | 92882 | 13917 57492 171839 | 2147483647 92869 36 | 2.508 % |
491.02/491.37 c | 92983 | 13917 57492 171839 | 2147483647 92970 36 | 2.508 % |
491.72/492.08 c | 93093 | 13917 57492 171839 | 2147483647 93080 36 | 2.508 % |
492.62/492.96 c | 93214 | 13917 57492 171839 | 2147483647 93201 36 | 2.508 % |
493.52/493.86 c | 93348 | 13917 57492 171839 | 2147483647 93335 36 | 2.508 % |
494.62/494.94 c | 93496 | 13917 57492 171839 | 2147483647 93483 36 | 2.508 % |
495.82/496.13 c | 93656 | 13917 57492 171839 | 2147483647 93643 36 | 2.508 % |
497.02/497.33 c | 93834 | 13917 57492 171839 | 2147483647 93821 36 | 2.508 % |
498.51/498.89 c | 94027 | 13917 57492 171839 | 2147483647 94014 36 | 2.508 % |
500.01/500.34 c | 94240 | 13917 57492 171839 | 2147483647 94227 36 | 2.508 % |
501.71/502.01 c | 94473 | 13917 57492 171839 | 2147483647 94460 36 | 2.508 % |
503.31/503.66 c | 94729 | 13917 57492 171839 | 2147483647 94716 36 | 2.508 % |
505.20/505.53 c | 95010 | 13917 57492 171839 | 2147483647 94997 36 | 2.508 % |
507.39/507.78 c | 95320 | 13917 57492 171839 | 2147483647 95307 36 | 2.508 % |
510.19/510.51 c | 95659 | 13917 57492 171839 | 2147483647 95646 36 | 2.508 % |
512.39/512.79 c | 96031 | 13917 57492 171839 | 2147483647 96018 36 | 2.508 % |
515.50/515.83 c | 96440 | 13917 57492 171839 | 2147483647 96427 36 | 2.508 % |
518.60/518.90 c | 96889 | 13917 57492 171839 | 2147483647 96876 36 | 2.508 % |
522.50/522.82 c | 97382 | 13917 57492 171839 | 2147483647 97369 36 | 2.508 % |
526.99/527.32 c | 97924 | 13917 57492 171839 | 2147483647 97911 36 | 2.508 % |
531.29/531.69 c | 98521 | 13917 57492 171839 | 2147483647 98508 36 | 2.508 % |
536.09/536.43 c | 99176 | 13917 57492 171839 | 2147483647 99163 36 | 2.508 % |
542.09/542.44 c | 99896 | 13917 57492 171839 | 2147483647 99883 36 | 2.508 % |
545.99/546.31 c | 100689 | 13917 57492 171839 | 2147483647 100676 36 | 2.508 % |
552.58/552.92 c | 101561 | 13917 57492 171839 | 2147483647 101548 36 | 2.508 % |
560.87/561.20 c | 102519 | 13917 57492 171839 | 2147483647 102506 36 | 2.508 % |
568.87/569.26 c | 103572 | 13917 57492 171839 | 2147483647 103559 36 | 2.508 % |
578.17/578.56 c | 104730 | 13917 57492 171839 | 2147483647 104717 36 | 2.508 % |
578.97/579.32 c | 104832 | 13917 57492 171839 | 2147483647 104819 36 | 2.508 % |
579.57/579.95 c | 104942 | 13917 57492 171839 | 2147483647 104929 36 | 2.508 % |
580.57/580.97 c | 105063 | 13917 57492 171839 | 2147483647 105050 36 | 2.508 % |
581.67/582.03 c | 105196 | 13917 57492 171839 | 2147483647 105183 36 | 2.508 % |
582.87/583.27 c | 105342 | 13917 57492 171839 | 2147483647 105329 36 | 2.508 % |
583.97/584.32 c | 105503 | 13917 57492 171839 | 2147483647 105490 36 | 2.508 % |
584.67/585.01 c | 105679 | 13917 57492 171839 | 2147483647 105666 36 | 2.508 % |
585.97/586.40 c | 105872 | 13917 57492 171839 | 2147483647 105859 36 | 2.508 % |
587.16/587.53 c | 106084 | 13917 57492 171839 | 2147483647 106071 36 | 2.508 % |
589.06/589.42 c | 106319 | 13917 57492 171839 | 2147483647 106306 36 | 2.508 % |
590.37/590.75 c | 106576 | 13917 57492 171839 | 2147483647 106563 36 | 2.508 % |
591.86/592.24 c | 106859 | 13917 57492 171839 | 2147483647 106846 36 | 2.508 % |
594.56/594.99 c | 107169 | 13917 57492 171839 | 2147483647 107156 36 | 2.508 % |
596.56/596.98 c | 107508 | 13917 57492 171839 | 2147483647 107495 36 | 2.508 % |
599.46/599.87 c | 107880 | 13917 57492 171839 | 2147483647 107867 36 | 2.508 % |
602.65/603.09 c | 108289 | 13917 57492 171839 | 2147483647 108276 36 | 2.508 % |
605.76/606.11 c | 108738 | 13917 57492 171839 | 2147483647 108725 36 | 2.508 % |
608.95/609.38 c | 109232 | 13917 57492 171839 | 2147483647 109219 36 | 2.508 % |
611.95/612.39 c | 109776 | 13917 57492 171839 | 2147483647 109763 36 | 2.508 % |
615.95/616.32 c | 110375 | 13917 57492 171839 | 2147483647 110362 36 | 2.508 % |
619.55/619.98 c | 111031 | 13917 57492 171839 | 2147483647 111018 36 | 2.508 % |
624.45/624.83 c | 111752 | 13917 57492 171839 | 2147483647 111739 36 | 2.508 % |
630.34/630.73 c | 112545 | 13917 57492 171839 | 2147483647 112532 37 | 2.508 % |
637.34/637.78 c | 113417 | 13917 57492 171839 | 2147483647 113404 37 | 2.508 % |
644.93/645.33 c | 114375 | 13917 57492 171839 | 2147483647 114362 36 | 2.508 % |
651.93/652.34 c | 115429 | 13917 57492 171839 | 2147483647 115416 36 | 2.508 % |
661.63/662.03 c | 116587 | 13917 57492 171839 | 2147483647 116574 36 | 2.508 % |
672.33/672.79 c | 117861 | 13917 57492 171839 | 2147483647 117848 36 | 2.508 % |
673.22/673.69 c | 117962 | 13917 57492 171839 | 2147483647 117949 36 | 2.508 % |
674.22/674.68 c | 118074 | 13917 57492 171839 | 2147483647 118061 36 | 2.508 % |
675.32/675.75 c | 118196 | 13917 57492 171839 | 2147483647 118183 36 | 2.508 % |
676.52/676.92 c | 118329 | 13917 57492 171839 | 2147483647 118316 36 | 2.508 % |
677.13/677.58 c | 118475 | 13917 57492 171839 | 2147483647 118462 36 | 2.508 % |
678.52/678.93 c | 118635 | 13917 57492 171839 | 2147483647 118622 36 | 2.508 % |
679.82/680.21 c | 118811 | 13917 57492 171839 | 2147483647 118798 36 | 2.508 % |
681.32/681.75 c | 119004 | 13917 57492 171839 | 2147483647 118991 36 | 2.508 % |
682.92/683.32 c | 119217 | 13917 57492 171839 | 2147483647 119204 36 | 2.508 % |
684.72/685.19 c | 119450 | 13917 57492 171839 | 2147483647 119437 36 | 2.508 % |
686.71/687.16 c | 119706 | 13917 57492 171839 | 2147483647 119693 36 | 2.508 % |
689.22/689.60 c | 119987 | 13917 57492 171839 | 2147483647 119974 36 | 2.508 % |
691.72/692.12 c | 120296 | 13917 57492 171839 | 2147483647 120283 36 | 2.508 % |
694.22/694.61 c | 120635 | 13917 57492 171839 | 2147483647 120622 36 | 2.508 % |
696.62/697.03 c | 121008 | 13917 57492 171839 | 2147483647 120995 36 | 2.508 % |
700.12/700.58 c | 121417 | 13917 57492 171839 | 2147483647 121404 36 | 2.508 % |
703.92/704.33 c | 121867 | 13917 57492 171839 | 2147483647 121854 36 | 2.508 % |
707.71/708.14 c | 122361 | 13917 57492 171839 | 2147483647 122348 36 | 2.508 % |
711.51/711.94 c | 122904 | 13917 57492 171839 | 2147483647 122891 36 | 2.508 % |
715.91/716.35 c | 123500 | 13917 57492 171839 | 2147483647 123487 36 | 2.508 % |
721.21/721.63 c | 124156 | 13917 57492 171839 | 2147483647 124143 36 | 2.508 % |
726.61/727.08 c | 124876 | 13917 57492 171839 | 2147483647 124863 36 | 2.508 % |
730.80/731.29 c | 125668 | 13917 57492 171839 | 2147483647 125655 36 | 2.508 % |
735.50/735.94 c | 126541 | 13917 57492 171839 | 2147483647 126528 36 | 2.508 % |
743.89/744.31 c | 127499 | 13917 57492 171839 | 2147483647 127486 36 | 2.508 % |
752.89/753.35 c | 128552 | 13917 57492 171839 | 2147483647 128539 36 | 2.508 % |
762.09/762.54 c | 129710 | 13917 57492 171839 | 2147483647 129697 37 | 2.508 % |
771.08/771.51 c | 130983 | 13917 57492 171839 | 2147483647 130970 37 | 2.508 % |
778.47/778.96 c | 132383 | 13917 57492 171839 | 2147483647 132370 37 | 2.508 % |
779.17/779.62 c | 132485 | 13917 57492 171839 | 2147483647 132472 37 | 2.508 % |
780.17/780.61 c | 132595 | 13917 57492 171839 | 2147483647 132582 37 | 2.508 % |
781.18/781.62 c | 132716 | 13917 57492 171839 | 2147483647 132703 37 | 2.508 % |
782.08/782.51 c | 132849 | 13917 57492 171839 | 2147483647 132836 37 | 2.508 % |
783.28/783.79 c | 132996 | 13917 57492 171839 | 2147483647 132983 37 | 2.508 % |
784.88/785.33 c | 133156 | 13917 57492 171839 | 2147483647 133143 37 | 2.508 % |
786.38/786.88 c | 133332 | 13917 57492 171839 | 2147483647 133319 37 | 2.508 % |
788.18/788.62 c | 133526 | 13917 57492 171839 | 2147483647 133513 37 | 2.508 % |
789.98/790.42 c | 133738 | 13917 57492 171839 | 2147483647 133725 37 | 2.508 % |
791.68/792.17 c | 133971 | 13917 57492 171839 | 2147483647 133958 37 | 2.508 % |
793.68/794.15 c | 134228 | 13917 57492 171839 | 2147483647 134215 37 | 2.508 % |
795.58/796.06 c | 134509 | 13917 57492 171839 | 2147483647 134496 37 | 2.508 % |
798.27/798.73 c | 134818 | 13917 57492 171839 | 2147483647 134805 37 | 2.508 % |
800.87/801.37 c | 135157 | 13917 57492 171839 | 2147483647 135144 37 | 2.508 % |
803.07/803.57 c | 135530 | 13917 57492 171839 | 2147483647 135517 37 | 2.508 % |
806.77/807.26 c | 135939 | 13917 57492 171839 | 2147483647 135926 37 | 2.508 % |
809.87/810.37 c | 136388 | 13917 57492 171839 | 2147483647 136375 37 | 2.508 % |
814.27/814.75 c | 136882 | 13917 57492 171839 | 2147483647 136869 37 | 2.508 % |
818.77/819.28 c | 137425 | 13917 57492 171839 | 2147483647 137412 37 | 2.508 % |
823.86/824.31 c | 138021 | 13917 57492 171839 | 2147483647 138008 37 | 2.508 % |
828.96/829.45 c | 138676 | 13917 57492 171839 | 2147483647 138663 37 | 2.508 % |
835.56/836.03 c | 139397 | 13917 57492 171839 | 2147483647 139384 37 | 2.508 % |
842.25/842.79 c | 140189 | 13917 57492 171839 | 2147483647 140176 37 | 2.508 % |
848.55/849.04 c | 141060 | 13917 57492 171839 | 2147483647 141047 37 | 2.508 % |
857.15/857.61 c | 142019 | 13917 57492 171839 | 2147483647 142006 37 | 2.508 % |
867.14/867.69 c | 143073 | 13917 57492 171839 | 2147483647 143060 37 | 2.508 % |
876.24/876.75 c | 144231 | 13917 57492 171839 | 2147483647 144218 37 | 2.508 % |
885.04/885.56 c | 145505 | 13917 57492 171839 | 2147483647 145492 37 | 2.508 % |
897.83/898.37 c | 146905 | 13917 57492 171839 | 2147483647 146892 37 | 2.508 % |
912.42/912.92 c | 148446 | 13917 57492 171839 | 2147483647 148433 37 | 2.508 % |
913.12/913.63 c | 148547 | 13917 57492 171839 | 2147483647 148534 37 | 2.508 % |
914.22/914.72 c | 148658 | 13917 57492 171839 | 2147483647 148645 37 | 2.508 % |
915.22/915.73 c | 148780 | 13917 57492 171839 | 2147483647 148767 37 | 2.508 % |
916.42/916.90 c | 148915 | 13917 57492 171839 | 2147483647 148902 37 | 2.508 % |
917.62/918.12 c | 149061 | 13917 57492 171839 | 2147483647 149048 37 | 2.508 % |
919.22/919.73 c | 149222 | 13917 57492 171839 | 2147483647 149209 37 | 2.508 % |
920.52/921.06 c | 149399 | 13917 57492 171839 | 2147483647 149386 37 | 2.508 % |
922.12/922.62 c | 149592 | 13917 57492 171839 | 2147483647 149579 37 | 2.508 % |
924.01/924.57 c | 149804 | 13917 57492 171839 | 2147483647 149791 37 | 2.508 % |
926.01/926.55 c | 150038 | 13917 57492 171839 | 2147483647 150025 37 | 2.508 % |
928.61/929.11 c | 150294 | 13917 57492 171839 | 2147483647 150281 37 | 2.508 % |
931.12/931.69 c | 150575 | 13917 57492 171839 | 2147483647 150562 37 | 2.508 % |
933.51/934.06 c | 150884 | 13917 57492 171839 | 2147483647 150871 37 | 2.508 % |
936.31/936.82 c | 151224 | 13917 57492 171839 | 2147483647 151211 37 | 2.508 % |
938.81/939.39 c | 151596 | 13917 57492 171839 | 2147483647 151583 37 | 2.508 % |
942.31/942.82 c | 152006 | 13917 57492 171839 | 2147483647 151993 37 | 2.508 % |
946.32/946.84 c | 152458 | 13917 57492 171839 | 2147483647 152445 37 | 2.508 % |
950.92/951.46 c | 152952 | 13917 57492 171839 | 2147483647 152939 37 | 2.508 % |
955.61/956.11 c | 153496 | 13917 57492 171839 | 2147483647 153483 37 | 2.508 % |
961.20/961.70 c | 154093 | 13917 57492 171839 | 2147483647 154080 37 | 2.508 % |
967.70/968.21 c | 154748 | 13917 57492 171839 | 2147483647 154735 37 | 2.508 % |
974.20/974.78 c | 155468 | 13917 57492 171839 | 2147483647 155455 37 | 2.508 % |
981.40/981.99 c | 156260 | 13917 57492 171839 | 2147483647 156247 37 | 2.508 % |
989.29/989.85 c | 157131 | 13917 57492 171839 | 2147483647 157118 37 | 2.508 % |
997.59/998.17 c | 158090 | 13917 57492 171839 | 2147483647 158077 37 | 2.508 % |
1007.48/1008.07 c | 159143 | 13917 57492 171839 | 2147483647 159130 37 | 2.508 % |
1015.08/1015.68 c | 160303 | 13917 57492 171839 | 2147483647 160290 37 | 2.508 % |
1026.78/1027.35 c | 161577 | 13917 57492 171839 | 2147483647 161564 37 | 2.508 % |
1040.17/1040.74 c | 162978 | 13917 57492 171839 | 2147483647 162965 37 | 2.508 % |
1055.56/1056.18 c | 164518 | 13917 57492 171839 | 2147483647 164505 37 | 2.508 % |
1072.97/1073.59 c | 166214 | 13917 57492 171839 | 2147483647 166201 37 | 2.508 % |
1073.86/1074.41 c | 166316 | 13917 57492 171839 | 2147483647 166303 37 | 2.508 % |
1074.96/1075.56 c | 166427 | 13917 57492 171839 | 2147483647 166414 37 | 2.508 % |
1076.06/1076.68 c | 166549 | 13917 57492 171839 | 2147483647 166536 37 | 2.508 % |
1077.46/1078.10 c | 166683 | 13917 57492 171839 | 2147483647 166670 37 | 2.508 % |
1078.96/1079.53 c | 166830 | 13917 57492 171839 | 2147483647 166817 37 | 2.508 % |
1080.46/1081.09 c | 166992 | 13917 57492 171839 | 2147483647 166979 37 | 2.508 % |
1081.06/1081.68 c | 167170 | 13917 57492 171839 | 2147483647 167157 37 | 2.508 % |
1082.76/1083.33 c | 167363 | 13917 57492 171839 | 2147483647 167350 37 | 2.508 % |
1084.46/1085.03 c | 167575 | 13917 57492 171839 | 2147483647 167562 37 | 2.508 % |
1086.76/1087.39 c | 167809 | 13917 57492 171839 | 2147483647 167796 37 | 2.508 % |
1088.75/1089.32 c | 168065 | 13917 57492 171839 | 2147483647 168052 37 | 2.508 % |
1091.55/1092.16 c | 168346 | 13917 57492 171839 | 2147483647 168333 37 | 2.508 % |
1094.35/1094.93 c | 168656 | 13917 57492 171839 | 2147483647 168643 37 | 2.508 % |
1096.75/1097.32 c | 168995 | 13917 57492 171839 | 2147483647 168982 37 | 2.508 % |
1099.85/1100.45 c | 169368 | 13917 57492 171839 | 2147483647 169355 37 | 2.508 % |
1103.65/1104.28 c | 169777 | 13917 57492 171839 | 2147483647 169764 37 | 2.508 % |
1107.94/1108.53 c | 170226 | 13917 57492 171839 | 2147483647 170213 37 | 2.508 % |
1112.04/1112.69 c | 170720 | 13917 57492 171839 | 2147483647 170707 37 | 2.508 % |
1116.44/1117.07 c | 171263 | 13917 57492 171839 | 2147483647 171250 37 | 2.508 % |
1122.64/1123.21 c | 171859 | 13917 57492 171839 | 2147483647 171846 37 | 2.508 % |
1128.54/1129.11 c | 172514 | 13917 57492 171839 | 2147483647 172501 37 | 2.508 % |
1135.43/1136.07 c | 173235 | 13917 57492 171839 | 2147483647 173222 37 | 2.508 % |
1143.83/1144.41 c | 174028 | 13917 57492 171839 | 2147483647 174015 37 | 2.508 % |
1152.42/1153.06 c | 174899 | 13917 57492 171839 | 2147483647 174886 37 | 2.508 % |
1161.32/1161.91 c | 175858 | 13917 57492 171839 | 2147483647 175845 37 | 2.508 % |
1167.53/1168.13 c | 176911 | 13917 57492 171839 | 2147483647 176898 37 | 2.508 % |
1174.52/1175.11 c | 178070 | 13917 57492 171839 | 2147483647 178057 37 | 2.508 % |
1185.42/1186.08 c | 179343 | 13917 57492 171839 | 2147483647 179330 37 | 2.508 % |
1195.21/1195.82 c | 180743 | 13917 57492 171839 | 2147483647 180730 37 | 2.508 % |
1211.21/1211.84 c | 182283 | 13917 57492 171839 | 2147483647 182270 37 | 2.508 % |
1226.80/1227.48 c | 183978 | 13917 57492 171839 | 2147483647 183965 37 | 2.508 % |
1245.79/1246.47 c | 185842 | 13917 57492 171839 | 2147483647 185829 37 | 2.508 % |
1246.29/1246.94 c | 185943 | 13917 57492 171839 | 2147483647 185930 37 | 2.508 % |
1247.19/1247.89 c | 186054 | 13917 57492 171839 | 2147483647 186041 37 | 2.508 % |
1248.49/1249.16 c | 186175 | 13917 57492 171839 | 2147483647 186162 37 | 2.508 % |
1249.29/1249.97 c | 186308 | 13917 57492 171839 | 2147483647 186295 37 | 2.508 % |
1250.59/1251.29 c | 186454 | 13917 57492 171839 | 2147483647 186441 37 | 2.508 % |
1252.19/1252.88 c | 186614 | 13917 57492 171839 | 2147483647 186601 37 | 2.508 % |
1253.69/1254.35 c | 186791 | 13917 57492 171839 | 2147483647 186778 37 | 2.508 % |
1255.39/1256.03 c | 186985 | 13917 57492 171839 | 2147483647 186972 37 | 2.508 % |
1257.69/1258.37 c | 187197 | 13917 57492 171839 | 2147483647 187184 37 | 2.508 % |
1260.08/1260.75 c | 187431 | 13917 57492 171839 | 2147483647 187418 37 | 2.508 % |
1262.09/1262.79 c | 187687 | 13917 57492 171839 | 2147483647 187674 37 | 2.508 % |
1264.58/1265.23 c | 187969 | 13917 57492 171839 | 2147483647 187956 37 | 2.508 % |
1267.69/1268.40 c | 188279 | 13917 57492 171839 | 2147483647 188266 37 | 2.508 % |
1271.18/1271.83 c | 188620 | 13917 57492 171839 | 2147483647 188607 37 | 2.508 % |
1274.48/1275.14 c | 188993 | 13917 57492 171839 | 2147483647 188980 37 | 2.508 % |
1277.77/1278.46 c | 189403 | 13917 57492 171839 | 2147483647 189390 37 | 2.508 % |
1281.57/1282.27 c | 189852 | 13917 57492 171839 | 2147483647 189839 37 | 2.508 % |
1286.77/1287.43 c | 190346 | 13917 57492 171839 | 2147483647 190333 37 | 2.508 % |
1292.57/1293.26 c | 190889 | 13917 57492 171839 | 2147483647 190876 37 | 2.508 % |
1298.66/1299.36 c | 191486 | 13917 57492 171839 | 2147483647 191473 37 | 2.508 % |
1304.76/1305.44 c | 192142 | 13917 57492 171839 | 2147483647 192129 37 | 2.508 % |
1310.96/1311.69 c | 192862 | 13917 57492 171839 | 2147483647 192849 37 | 2.508 % |
1319.06/1319.70 c | 193655 | 13917 57492 171839 | 2147483647 193642 37 | 2.508 % |
1327.16/1327.85 c | 194528 | 13917 57492 171839 | 2147483647 194515 37 | 2.508 % |
1336.45/1337.13 c | 195486 | 13917 57492 171839 | 2147483647 195473 37 | 2.508 % |
1345.55/1346.29 c | 196539 | 13917 57492 171839 | 2147483647 196526 37 | 2.508 % |
1357.04/1357.70 c | 197698 | 13917 57492 171839 | 2147483647 197685 37 | 2.508 % |
1369.83/1370.55 c | 198971 | 13917 57492 171839 | 2147483647 198958 37 | 2.508 % |
1384.13/1384.89 c | 200372 | 13917 57492 171839 | 2147483647 200359 37 | 2.508 % |
1399.52/1400.21 c | 201913 | 13917 57492 171839 | 2147483647 201900 37 | 2.508 % |
1416.11/1416.87 c | 203607 | 13917 57492 171839 | 2147483647 203594 37 | 2.508 % |
1434.20/1434.92 c | 205470 | 13917 57492 171839 | 2147483647 205457 37 | 2.508 % |
1453.29/1454.01 c | 207521 | 13917 57492 171839 | 2147483647 207508 37 | 2.508 % |
1454.29/1455.04 c | 207622 | 13917 57492 171839 | 2147483647 207609 37 | 2.508 % |
1455.59/1456.39 c | 207733 | 13917 57492 171839 | 2147483647 207720 37 | 2.508 % |
1456.89/1457.62 c | 207854 | 13917 57492 171839 | 2147483647 207841 37 | 2.508 % |
1458.29/1459.06 c | 207988 | 13917 57492 171839 | 2147483647 207975 37 | 2.508 % |
1459.99/1460.79 c | 208134 | 13917 57492 171839 | 2147483647 208121 37 | 2.508 % |
1461.98/1462.75 c | 208295 | 13917 57492 171839 | 2147483647 208282 37 | 2.508 % |
1463.78/1464.51 c | 208472 | 13917 57492 171839 | 2147483647 208459 37 | 2.508 % |
1465.68/1466.43 c | 208665 | 13917 57492 171839 | 2147483647 208652 37 | 2.508 % |
1467.79/1468.57 c | 208877 | 13917 57492 171839 | 2147483647 208864 37 | 2.508 % |
1470.08/1470.82 c | 209111 | 13917 57492 171839 | 2147483647 209098 37 | 2.508 % |
1472.28/1473.00 c | 209368 | 13917 57492 171839 | 2147483647 209355 37 | 2.508 % |
1475.28/1476.05 c | 209649 | 13917 57492 171839 | 2147483647 209636 37 | 2.508 % |
1478.38/1479.19 c | 209958 | 13917 57492 171839 | 2147483647 209945 37 | 2.508 % |
1482.08/1482.84 c | 210298 | 13917 57492 171839 | 2147483647 210285 37 | 2.508 % |
1486.48/1487.26 c | 210672 | 13917 57492 171839 | 2147483647 210659 37 | 2.508 % |
1490.98/1491.70 c | 211081 | 13917 57492 171839 | 2147483647 211068 37 | 2.508 % |
1496.07/1496.84 c | 211530 | 13917 57492 171839 | 2147483647 211517 37 | 2.508 % |
1501.97/1502.75 c | 212023 | 13917 57492 171839 | 2147483647 212010 37 | 2.508 % |
1507.76/1508.52 c | 212567 | 13917 57492 171839 | 2147483647 212554 37 | 2.508 % |
1513.46/1514.23 c | 213163 | 13917 57492 171839 | 2147483647 213150 37 | 2.508 % |
1520.67/1521.44 c | 213818 | 13917 57492 171839 | 2147483647 213805 37 | 2.508 % |
1528.17/1528.93 c | 214538 | 13917 57492 171839 | 2147483647 214525 37 | 2.508 % |
1536.96/1537.79 c | 215330 | 13917 57492 171839 | 2147483647 215317 37 | 2.508 % |
1545.96/1546.74 c | 216202 | 13917 57492 171839 | 2147483647 216189 37 | 2.508 % |
1556.15/1556.98 c | 217160 | 13917 57492 171839 | 2147483647 217147 37 | 2.508 % |
1567.65/1568.42 c | 218213 | 13917 57492 171839 | 2147483647 218200 37 | 2.508 % |
1579.95/1580.72 c | 219372 | 13917 57492 171839 | 2147483647 219359 37 | 2.508 % |
1592.63/1593.42 c | 220646 | 13917 57492 171839 | 2147483647 220633 37 | 2.508 % |
1608.53/1609.35 c | 222046 | 13917 57492 171839 | 2147483647 222033 37 | 2.508 % |
1625.42/1626.22 c | 223586 | 13917 57492 171839 | 2147483647 223573 37 | 2.508 % |
1644.41/1645.20 c | 225280 | 13917 57492 171839 | 2147483647 225267 37 | 2.508 % |
1664.90/1665.72 c | 227143 | 13917 57492 171839 | 2147483647 227130 37 | 2.508 % |
1686.39/1687.20 c | 229192 | 13917 57492 171839 | 2147483647 229179 37 | 2.508 % |
1711.99/1712.87 c | 231447 | 13917 57492 171839 | 2147483647 231434 37 | 2.508 % |
1712.99/1713.83 c | 231547 | 13917 57492 171839 | 2147483647 231534 37 | 2.508 % |
1714.29/1715.14 c | 231660 | 13917 57492 171839 | 2147483647 231647 37 | 2.508 % |
1715.69/1716.59 c | 231782 | 13917 57492 171839 | 2147483647 231769 37 | 2.508 % |
1717.39/1718.25 c | 231915 | 13917 57492 171839 | 2147483647 231902 37 | 2.508 % |
1719.18/1720.01 c | 232062 | 13917 57492 171839 | 2147483647 232049 37 | 2.508 % |
1720.98/1721.88 c | 232222 | 13917 57492 171839 | 2147483647 232209 37 | 2.508 % |
1723.28/1724.19 c | 232399 | 13917 57492 171839 | 2147483647 232386 37 | 2.508 % |
1725.38/1726.27 c | 232592 | 13917 57492 171839 | 2147483647 232579 37 | 2.508 % |
1728.18/1729.00 c | 232805 | 13917 57492 171839 | 2147483647 232792 37 | 2.508 % |
1730.17/1731.08 c | 233038 | 13917 57492 171839 | 2147483647 233025 37 | 2.508 % |
1732.68/1733.58 c | 233294 | 13917 57492 171839 | 2147483647 233281 37 | 2.508 % |
1735.37/1736.25 c | 233577 | 13917 57492 171839 | 2147483647 233564 37 | 2.508 % |
1738.67/1739.59 c | 233887 | 13917 57492 171839 | 2147483647 233874 37 | 2.508 % |
1742.47/1743.37 c | 234227 | 13917 57492 171839 | 2147483647 234214 37 | 2.508 % |
1746.47/1747.36 c | 234600 | 13917 57492 171839 | 2147483647 234587 37 | 2.508 % |
1750.66/1751.60 c | 235009 | 13917 57492 171839 | 2147483647 234996 37 | 2.508 % |
1754.36/1755.27 c | 235458 | 13917 57492 171839 | 2147483647 235445 37 | 2.508 % |
1759.96/1760.82 c | 235952 | 13917 57492 171839 | 2147483647 235939 37 | 2.508 % |
1765.95/1766.89 c | 236494 | 13917 57492 171839 | 2147483647 236481 37 | 2.508 % |
1772.85/1773.71 c | 237091 | 13917 57492 171839 | 2147483647 237078 37 | 2.508 % |
1780.25/1781.15 c | 237747 | 13917 57492 171839 | 2147483647 237734 37 | 2.508 % |
1789.04/1789.93 c | 238467 | 13917 57492 171839 | 2147483647 238454 37 | 2.508 % |
1797.04/1797.98 c | 239259 | 13917 57492 171839 | 2147483647 239246 37 | 2.508 % |
1807.14/1808.08 c | 240131 | 13917 57492 171839 | 2147483647 240118 37 | 2.508 % |
1817.83/1818.76 c | 241089 | 13917 57492 171839 | 2147483647 241076 37 | 2.508 % |
1830.23/1831.16 c | 242142 | 13917 57492 171839 | 2147483647 242129 37 | 2.508 % |
1843.03/1843.92 c | 243300 | 13917 57492 171839 | 2147483647 243287 37 | 2.508 % |
1856.63/1857.55 c | 244574 | 13917 57492 171839 | 2147483647 244561 37 | 2.508 % |
1872.22/1873.17 c | 245974 | 13917 57492 171839 | 2147483647 245961 37 | 2.508 % |
1890.02/1890.92 c | 247515 | 13917 57492 171839 | 2147483647 247502 37 | 2.508 % |
1911.10/1912.04 c | 249210 | 13917 57492 171839 | 2147483647 249197 37 | 2.508 % |
1931.39/1932.30 c | 251073 | 13917 57492 171839 | 2147483647 251060 37 | 2.508 % |
1957.18/1958.18 c | 253122 | 13917 57492 171839 | 2147483647 253109 37 | 2.508 % |
1985.08/1986.00 c | 255375 | 13917 57492 171839 | 2147483647 255362 37 | 2.508 % |
2014.35/2015.39 c | 257855 | 13917 57492 171839 | 2147483647 257842 36 | 2.508 % |
2015.55/2016.55 c | 257955 | 13917 57492 171839 | 2147483647 257942 36 | 2.508 % |
2016.95/2017.96 c | 258066 | 13917 57492 171839 | 2147483647 258053 36 | 2.508 % |
2018.25/2019.23 c | 258187 | 13917 57492 171839 | 2147483647 258174 36 | 2.508 % |
2019.95/2020.93 c | 258321 | 13917 57492 171839 | 2147483647 258308 36 | 2.508 % |
2021.75/2022.72 c | 258468 | 13917 57492 171839 | 2147483647 258455 36 | 2.508 % |
2023.75/2024.79 c | 258629 | 13917 57492 171839 | 2147483647 258616 36 | 2.508 % |
2025.95/2026.91 c | 258805 | 13917 57492 171839 | 2147483647 258792 36 | 2.508 % |
2028.64/2029.66 c | 258999 | 13917 57492 171839 | 2147483647 258986 36 | 2.508 % |
2030.84/2031.85 c | 259212 | 13917 57492 171839 | 2147483647 259199 36 | 2.508 % |
2033.74/2034.75 c | 259446 | 13917 57492 171839 | 2147483647 259433 36 | 2.508 % |
2036.94/2037.98 c | 259703 | 13917 57492 171839 | 2147483647 259690 36 | 2.508 % |
2040.03/2041.02 c | 259985 | 13917 57492 171839 | 2147483647 259972 36 | 2.508 % |
2044.43/2045.49 c | 260294 | 13917 57492 171839 | 2147483647 260281 36 | 2.508 % |
2049.13/2050.16 c | 260633 | 13917 57492 171839 | 2147483647 260620 36 | 2.508 % |
2053.93/2054.99 c | 261005 | 13917 57492 171839 | 2147483647 260992 36 | 2.508 % |
2058.23/2059.22 c | 261415 | 13917 57492 171839 | 2147483647 261402 36 | 2.508 % |
2064.13/2065.14 c | 261864 | 13917 57492 171839 | 2147483647 261851 36 | 2.508 % |
2069.72/2070.75 c | 262357 | 13917 57492 171839 | 2147483647 262344 36 | 2.508 % |
2075.42/2076.46 c | 262899 | 13917 57492 171839 | 2147483647 262886 36 | 2.508 % |
2082.91/2083.99 c | 263496 | 13917 57492 171839 | 2147483647 263483 36 | 2.508 % |
2089.79/2090.89 c | 264151 | 13917 57492 171839 | 2147483647 264138 36 | 2.508 % |
2098.08/2099.14 c | 264872 | 13917 57492 171839 | 2147483647 264859 36 | 2.508 % |
2106.88/2107.91 c | 265664 | 13917 57492 171839 | 2147483647 265651 36 | 2.508 % |
2116.48/2117.54 c | 266535 | 13917 57492 171839 | 2147483647 266522 36 | 2.508 % |
2129.18/2130.21 c | 267493 | 13917 57492 171839 | 2147483647 267480 36 | 2.508 % |
2142.67/2143.79 c | 268547 | 13917 57492 171839 | 2147483647 268534 36 | 2.508 % |
2158.57/2159.64 c | 269705 | 13917 57492 171839 | 2147483647 269692 36 | 2.508 % |
2174.66/2175.77 c | 270978 | 13917 57492 171839 | 2147483647 270965 36 | 2.508 % |
2192.25/2193.39 c | 272378 | 13917 57492 171839 | 2147483647 272365 36 | 2.508 % |
2211.84/2212.93 c | 273919 | 13917 57492 171839 | 2147483647 273906 36 | 2.508 % |
2231.43/2232.55 c | 275613 | 13917 57492 171839 | 2147483647 275600 36 | 2.508 % |
2255.03/2256.19 c | 277476 | 13917 57492 171839 | 2147483647 277463 36 | 2.508 % |
2280.11/2281.28 c | 279525 | 13917 57492 171839 | 2147483647 279512 36 | 2.508 % |
2309.70/2310.87 c | 281778 | 13917 57492 171839 | 2147483647 281765 36 | 2.508 % |
2339.78/2340.92 c | 284256 | 13917 57492 171839 | 2147483647 284243 36 | 2.508 % |
2371.67/2372.89 c | 286981 | 13917 57492 171839 | 2147483647 286968 36 | 2.508 % |
2372.87/2374.07 c | 287081 | 13917 57492 171839 | 2147483647 287068 36 | 2.508 % |
2374.36/2375.54 c | 287191 | 13917 57492 171839 | 2147483647 287178 36 | 2.508 % |
2375.97/2377.17 c | 287313 | 13917 57492 171839 | 2147483647 287300 36 | 2.508 % |
2377.76/2378.97 c | 287446 | 13917 57492 171839 | 2147483647 287433 36 | 2.508 % |
2379.86/2381.03 c | 287593 | 13917 57492 171839 | 2147483647 287580 36 | 2.508 % |
2381.96/2383.10 c | 287753 | 13917 57492 171839 | 2147483647 287740 36 | 2.508 % |
2384.36/2385.52 c | 287929 | 13917 57492 171839 | 2147483647 287916 36 | 2.508 % |
2386.97/2388.18 c | 288123 | 13917 57492 171839 | 2147483647 288110 36 | 2.508 % |
2389.96/2391.10 c | 288335 | 13917 57492 171839 | 2147483647 288322 36 | 2.508 % |
2392.96/2394.15 c | 288568 | 13917 57492 171839 | 2147483647 288555 36 | 2.508 % |
2396.45/2397.61 c | 288825 | 13917 57492 171839 | 2147483647 288812 36 | 2.508 % |
2400.25/2401.46 c | 289107 | 13917 57492 171839 | 2147483647 289094 36 | 2.508 % |
2404.25/2405.43 c | 289416 | 13917 57492 171839 | 2147483647 289403 36 | 2.508 % |
2408.15/2409.35 c | 289755 | 13917 57492 171839 | 2147483647 289742 36 | 2.508 % |
2411.65/2412.88 c | 290127 | 13917 57492 171839 | 2147483647 290114 36 | 2.508 % |
2416.96/2418.10 c | 290537 | 13917 57492 171839 | 2147483647 290524 36 | 2.508 % |
2423.35/2424.51 c | 290986 | 13917 57492 171839 | 2147483647 290973 36 | 2.508 % |
2429.45/2430.60 c | 291479 | 13917 57492 171839 | 2147483647 291466 36 | 2.508 % |
2436.45/2437.62 c | 292022 | 13917 57492 171839 | 2147483647 292009 36 | 2.508 % |
2445.64/2446.87 c | 292619 | 13917 57492 171839 | 2147483647 292606 36 | 2.508 % |
2455.64/2456.80 c | 293274 | 13917 57492 171839 | 2147483647 293261 36 | 2.508 % |
2464.74/2465.92 c | 293997 | 13917 57492 171839 | 2147483647 293984 36 | 2.508 % |
2475.03/2476.24 c | 294789 | 13917 57492 171839 | 2147483647 294776 36 | 2.508 % |
2486.93/2488.11 c | 295660 | 13917 57492 171839 | 2147483647 295647 36 | 2.508 % |
2499.62/2500.80 c | 296619 | 13917 57492 171839 | 2147483647 296606 36 | 2.508 % |
2509.82/2511.00 c | 297673 | 13917 57492 171839 | 2147483647 297660 36 | 2.508 % |
2526.21/2527.40 c | 298831 | 13917 57492 171839 | 2147483647 298818 36 | 2.508 % |
2543.80/2545.08 c | 300104 | 13917 57492 171839 | 2147483647 300091 36 | 2.508 % |
2561.70/2562.95 c | 301504 | 13917 57492 171839 | 2147483647 301491 36 | 2.508 % |
2583.58/2584.86 c | 303044 | 13917 57492 171839 | 2147483647 303031 36 | 2.508 % |
2606.67/2607.97 c | 304738 | 13917 57492 171839 | 2147483647 304725 36 | 2.508 % |
2632.66/2633.99 c | 306601 | 13917 57492 171839 | 2147483647 306588 36 | 2.508 % |
2659.95/2661.23 c | 308650 | 13917 57492 171839 | 2147483647 308637 36 | 2.508 % |
2688.65/2689.96 c | 310903 | 13917 57492 171839 | 2147483647 310890 36 | 2.508 % |
2719.93/2721.21 c | 313381 | 13917 57492 171839 | 2147483647 313368 36 | 2.508 % |
2756.12/2757.45 c | 316106 | 13917 57492 171839 | 2147483647 316093 36 | 2.508 % |
2793.50/2794.87 c | 319103 | 13917 57492 171839 | 2147483647 319090 36 | 2.508 % |
2794.91/2796.24 c | 319204 | 13917 57492 171839 | 2147483647 319191 36 | 2.508 % |
2796.40/2797.75 c | 319315 | 13917 57492 171839 | 2147483647 319302 36 | 2.508 % |
2798.10/2799.44 c | 319437 | 13917 57492 171839 | 2147483647 319424 36 | 2.508 % |
2800.10/2801.45 c | 319571 | 13917 57492 171839 | 2147483647 319558 36 | 2.508 % |
2802.29/2803.60 c | 319717 | 13917 57492 171839 | 2147483647 319704 36 | 2.508 % |
2804.68/2806.10 c | 319877 | 13917 57492 171839 | 2147483647 319864 36 | 2.508 % |
2807.47/2808.88 c | 320054 | 13917 57492 171839 | 2147483647 320041 36 | 2.508 % |
2810.46/2811.82 c | 320248 | 13917 57492 171839 | 2147483647 320235 36 | 2.508 % |
2812.96/2814.37 c | 320460 | 13917 57492 171839 | 2147483647 320447 36 | 2.508 % |
2816.36/2817.77 c | 320693 | 13917 57492 171839 | 2147483647 320680 36 | 2.508 % |
2819.56/2820.99 c | 320951 | 13917 57492 171839 | 2147483647 320938 36 | 2.508 % |
2822.76/2824.13 c | 321232 | 13917 57492 171839 | 2147483647 321219 36 | 2.508 % |
2826.96/2828.30 c | 321541 | 13917 57492 171839 | 2147483647 321528 36 | 2.508 % |
2832.26/2833.69 c | 321880 | 13917 57492 171839 | 2147483647 321867 36 | 2.508 % |
2837.76/2839.14 c | 322253 | 13917 57492 171839 | 2147483647 322240 36 | 2.508 % |
2843.16/2844.51 c | 322662 | 13917 57492 171839 | 2147483647 322649 36 | 2.508 % |
2849.45/2850.88 c | 323111 | 13917 57492 171839 | 2147483647 323098 36 | 2.508 % |
2856.35/2857.77 c | 323605 | 13917 57492 171839 | 2147483647 323592 36 | 2.508 % |
2863.24/2864.61 c | 324147 | 13917 57492 171839 | 2147483647 324134 36 | 2.508 % |
2871.04/2872.46 c | 324743 | 13917 57492 171839 | 2147483647 324730 36 | 2.508 % |
2880.34/2881.76 c | 325398 | 13917 57492 171839 | 2147483647 325385 36 | 2.508 % |
2891.23/2892.66 c | 326118 | 13917 57492 171839 | 2147483647 326105 36 | 2.508 % |
2901.73/2903.12 c | 326910 | 13917 57492 171839 | 2147483647 326897 36 | 2.508 % |
2914.22/2915.64 c | 327781 | 13917 57492 171839 | 2147483647 327768 36 | 2.508 % |
2926.22/2927.63 c | 328740 | 13917 57492 171839 | 2147483647 328727 36 | 2.508 % |
2940.11/2941.50 c | 329794 | 13917 57492 171839 | 2147483647 329781 36 | 2.508 % |
2956.11/2957.51 c | 330954 | 13917 57492 171839 | 2147483647 330941 36 | 2.508 % |
2972.00/2973.46 c | 332228 | 13917 57492 171839 | 2147483647 332215 36 | 2.508 % |
2989.19/2990.66 c | 333628 | 13917 57492 171839 | 2147483647 333615 36 | 2.508 % |
3009.99/3011.46 c | 335169 | 13917 57492 171839 | 2147483647 335156 36 | 2.508 % |
3027.67/3029.18 c | 336864 | 13917 57492 171839 | 2147483647 336851 36 | 2.508 % |
3051.57/3053.06 c | 338728 | 13917 57492 171839 | 2147483647 338715 36 | 2.508 % |
3080.24/3081.75 c | 340778 | 13917 57492 171839 | 2147483647 340765 36 | 2.508 % |
3109.04/3110.50 c | 343032 | 13917 57492 171839 | 2147483647 343019 36 | 2.508 % |
3145.22/3146.79 c | 345510 | 13917 57492 171839 | 2147483647 345497 36 | 2.508 % |
3185.21/3186.71 c | 348235 | 13917 57492 171839 | 2147483647 348222 36 | 2.508 % |
3215.09/3216.68 c | 351232 | 13917 57492 171839 | 2147483647 351219 37 | 2.508 % |
3259.37/3260.93 c | 354528 | 13917 57492 171839 | 2147483647 354515 37 | 2.508 % |
3260.87/3262.50 c | 354628 | 13917 57492 171839 | 2147483647 354615 37 | 2.508 % |
3262.37/3263.91 c | 354738 | 13917 57492 171839 | 2147483647 354725 37 | 2.508 % |
3263.77/3265.31 c | 354861 | 13917 57492 171839 | 2147483647 354848 37 | 2.508 % |
3265.57/3267.19 c | 354995 | 13917 57492 171839 | 2147483647 354982 37 | 2.508 % |
3267.77/3269.35 c | 355141 | 13917 57492 171839 | 2147483647 355128 37 | 2.508 % |
3269.97/3271.51 c | 355302 | 13917 57492 171839 | 2147483647 355289 37 | 2.508 % |
3272.07/3273.63 c | 355478 | 13917 57492 171839 | 2147483647 355465 37 | 2.508 % |
3274.87/3276.40 c | 355671 | 13917 57492 171839 | 2147483647 355658 37 | 2.508 % |
3277.96/3279.56 c | 355884 | 13917 57492 171839 | 2147483647 355871 37 | 2.508 % |
3282.26/3283.87 c | 356119 | 13917 57492 171839 | 2147483647 356106 37 | 2.508 % |
3286.36/3287.99 c | 356375 | 13917 57492 171839 | 2147483647 356362 37 | 2.508 % |
3290.66/3292.21 c | 356657 | 13917 57492 171839 | 2147483647 356644 37 | 2.508 % |
3296.45/3298.03 c | 356966 | 13917 57492 171839 | 2147483647 356953 37 | 2.508 % |
3301.95/3303.53 c | 357306 | 13917 57492 171839 | 2147483647 357293 37 | 2.508 % |
3308.15/3309.80 c | 357678 | 13917 57492 171839 | 2147483647 357665 37 | 2.508 % |
3314.15/3315.70 c | 358088 | 13917 57492 171839 | 2147483647 358075 37 | 2.508 % |
3318.95/3320.55 c | 358537 | 13917 57492 171839 | 2147483647 358524 37 | 2.508 % |
3326.34/3327.91 c | 359031 | 13917 57492 171839 | 2147483647 359018 37 | 2.508 % |
3334.84/3336.46 c | 359573 | 13917 57492 171839 | 2147483647 359560 37 | 2.508 % |
3344.33/3345.95 c | 360169 | 13917 57492 171839 | 2147483647 360156 37 | 2.508 % |
3354.73/3356.37 c | 360825 | 13917 57492 171839 | 2147483647 360812 37 | 2.508 % |
3364.93/3366.56 c | 361546 | 13917 57492 171839 | 2147483647 361533 37 | 2.508 % |
3377.13/3378.75 c | 362338 | 13917 57492 171839 | 2147483647 362325 37 | 2.508 % |
3387.43/3389.01 c | 363210 | 13917 57492 171839 | 2147483647 363197 37 | 2.508 % |
3400.62/3402.28 c | 364169 | 13917 57492 171839 | 2147483647 364156 37 | 2.508 % |
3416.01/3417.67 c | 365223 | 13917 57492 171839 | 2147483647 365210 37 | 2.508 % |
3433.20/3434.82 c | 366382 | 13917 57492 171839 | 2147483647 366369 37 | 2.508 % |
3451.49/3453.10 c | 367658 | 13917 57492 171839 | 2147483647 367645 37 | 2.508 % |
3468.39/3470.06 c | 369059 | 13917 57492 171839 | 2147483647 369046 37 | 2.508 % |
3486.57/3488.23 c | 370600 | 13917 57492 171839 | 2147483647 370587 37 | 2.508 % |
3514.46/3516.14 c | 372296 | 13917 57492 171839 | 2147483647 372283 37 | 2.508 % |
3543.86/3545.58 c | 374161 | 13917 57492 171839 | 2147483647 374148 37 | 2.508 % |
3575.74/3577.40 c | 376211 | 13917 57492 171839 | 2147483647 376198 37 | 2.508 % |
3609.23/3610.95 c | 378465 | 13917 57492 171839 | 2147483647 378452 37 | 2.508 % |
3647.11/3648.86 c | 380944 | 13917 57492 171839 | 2147483647 380931 37 | 2.508 % |
3685.29/3687.02 c | 383670 | 13917 57492 171839 | 2147483647 383657 37 | 2.508 % |
3719.98/3721.79 c | 386667 | 13917 57492 171839 | 2147483647 386654 37 | 2.508 % |
3764.46/3766.28 c | 389963 | 13917 57492 171839 | 2147483647 389950 37 | 2.508 % |
3822.74/3824.50 c | 393588 | 13917 57492 171839 | 2147483647 393575 37 | 2.508 % |
3824.73/3826.51 c | 393688 | 13917 57492 171839 | 2147483647 393675 37 | 2.508 % |
3826.53/3828.37 c | 393798 | 13917 57492 171839 | 2147483647 393785 37 | 2.508 % |
3828.44/3830.24 c | 393920 | 13917 57492 171839 | 2147483647 393907 37 | 2.508 % |
3830.54/3832.36 c | 394054 | 13917 57492 171839 | 2147483647 394041 37 | 2.508 % |
3832.93/3834.75 c | 394201 | 13917 57492 171839 | 2147483647 394188 37 | 2.508 % |
3836.13/3837.93 c | 394361 | 13917 57492 171839 | 2147483647 394348 37 | 2.508 % |
3839.82/3841.63 c | 394538 | 13917 57492 171839 | 2147483647 394525 37 | 2.508 % |
3843.42/3845.20 c | 394732 | 13917 57492 171839 | 2147483647 394719 37 | 2.508 % |
3847.12/3848.93 c | 394947 | 13917 57492 171839 | 2147483647 394934 37 | 2.508 % |
3851.12/3852.99 c | 395180 | 13917 57492 171839 | 2147483647 395167 37 | 2.508 % |
3855.12/3856.96 c | 395437 | 13917 57492 171839 | 2147483647 395424 37 | 2.508 % |
3859.61/3861.46 c | 395721 | 13917 57492 171839 | 2147483647 395708 37 | 2.508 % |
3864.01/3865.88 c | 396030 | 13917 57492 171839 | 2147483647 396017 37 | 2.508 % |
3869.71/3871.55 c | 396371 | 13917 57492 171839 | 2147483647 396358 37 | 2.508 % |
3875.21/3877.05 c | 396743 | 13917 57492 171839 | 2147483647 396730 37 | 2.508 % |
3881.41/3883.26 c | 397154 | 13917 57492 171839 | 2147483647 397141 37 | 2.508 % |
3886.50/3888.40 c | 397604 | 13917 57492 171839 | 2147483647 397591 37 | 2.508 % |
3893.80/3895.61 c | 398098 | 13917 57492 171839 | 2147483647 398085 37 | 2.508 % |
3901.80/3903.64 c | 398641 | 13917 57492 171839 | 2147483647 398628 37 | 2.508 % |
3911.29/3913.18 c | 399237 | 13917 57492 171839 | 2147483647 399224 37 | 2.508 % |
3922.40/3924.28 c | 399893 | 13917 57492 171839 | 2147483647 399880 37 | 2.508 % |
3934.19/3936.01 c | 400614 | 13917 57492 171839 | 2147483647 400601 37 | 2.508 % |
3947.09/3948.94 c | 401406 | 13917 57492 171839 | 2147483647 401393 37 | 2.508 % |
3960.18/3962.02 c | 402279 | 13917 57492 171839 | 2147483647 402266 37 | 2.508 % |
3977.67/3979.55 c | 403238 | 13917 57492 171839 | 2147483647 403225 37 | 2.508 % |
3995.37/3997.27 c | 404292 | 13917 57492 171839 | 2147483647 404279 37 | 2.508 % |
4012.96/4014.87 c | 405450 | 13917 57492 171839 | 2147483647 405437 37 | 2.508 % |
4034.05/4035.95 c | 406726 | 13917 57492 171839 | 2147483647 406713 37 | 2.508 % |
4058.34/4060.28 c | 408127 | 13917 57492 171839 | 2147483647 408114 37 | 2.508 % |
4084.43/4086.37 c | 409668 | 13917 57492 171839 | 2147483647 409655 37 | 2.508 % |
4112.90/4114.87 c | 411363 | 13917 57492 171839 | 2147483647 411350 37 | 2.508 % |
4144.49/4146.40 c | 413228 | 13917 57492 171839 | 2147483647 413215 37 | 2.508 % |
4178.45/4180.80 c | 415277 | 13917 57492 171839 | 2147483647 415264 37 | 2.508 % |
4219.13/4221.54 c | 417530 | 13917 57492 171839 | 2147483647 417517 37 | 2.508 % |
4262.61/4265.09 c | 420008 | 13917 57492 171839 | 2147483647 419995 37 | 2.508 % |
4309.79/4312.24 c | 422733 | 13917 57492 171839 | 2147483647 422720 37 | 2.508 % |
4357.57/4360.05 c | 425731 | 13917 57492 171839 | 2147483647 425718 37 | 2.508 % |
4407.05/4409.57 c | 429028 | 13917 57492 171839 | 2147483647 429015 37 | 2.508 % |
4470.42/4472.90 c | 432654 | 13917 57492 171839 | 2147483647 432641 37 | 2.508 % |
4537.10/4539.70 c | 436641 | 13917 57492 171839 | 2147483647 436628 37 | 2.508 % |
4538.30/4540.82 c | 436742 | 13917 57492 171839 | 2147483647 436729 37 | 2.508 % |
4540.09/4542.67 c | 436853 | 13917 57492 171839 | 2147483647 436840 37 | 2.508 % |
4541.89/4544.43 c | 436974 | 13917 57492 171839 | 2147483647 436961 37 | 2.508 % |
4544.19/4546.75 c | 437108 | 13917 57492 171839 | 2147483647 437095 37 | 2.508 % |
4546.69/4549.25 c | 437254 | 13917 57492 171839 | 2147483647 437241 37 | 2.508 % |
4549.09/4551.66 c | 437414 | 13917 57492 171839 | 2147483647 437401 37 | 2.508 % |
4551.89/4554.45 c | 437593 | 13917 57492 171839 | 2147483647 437580 37 | 2.508 % |
4556.58/4559.14 c | 437787 | 13917 57492 171839 | 2147483647 437774 37 | 2.508 % |
4560.78/4563.30 c | 438000 | 13917 57492 171839 | 2147483647 437987 37 | 2.508 % |
4564.88/4567.48 c | 438233 | 13917 57492 171839 | 2147483647 438220 37 | 2.508 % |
4569.58/4572.17 c | 438490 | 13917 57492 171839 | 2147483647 438477 37 | 2.508 % |
4573.68/4576.25 c | 438774 | 13917 57492 171839 | 2147483647 438761 37 | 2.508 % |
4579.07/4581.66 c | 439083 | 13917 57492 171839 | 2147483647 439070 37 | 2.508 % |
4585.27/4587.88 c | 439426 | 13917 57492 171839 | 2147483647 439413 37 | 2.508 % |
4591.67/4594.29 c | 439800 | 13917 57492 171839 | 2147483647 439787 37 | 2.508 % |
4598.96/4601.57 c | 440213 | 13917 57492 171839 | 2147483647 440200 37 | 2.508 % |
4606.96/4609.52 c | 440663 | 13917 57492 171839 | 2147483647 440650 37 | 2.508 % |
4615.35/4617.94 c | 441158 | 13917 57492 171839 | 2147483647 441145 37 | 2.508 % |
4625.36/4627.93 c | 441700 | 13917 57492 171839 | 2147483647 441687 37 | 2.508 % |
4635.15/4637.76 c | 442296 | 13917 57492 171839 | 2147483647 442283 37 | 2.508 % |
4644.15/4646.71 c | 442951 | 13917 57492 171839 | 2147483647 442938 37 | 2.508 % |
4657.34/4659.98 c | 443672 | 13917 57492 171839 | 2147483647 443659 37 | 2.508 % |
4671.34/4673.90 c | 444465 | 13917 57492 171839 | 2147483647 444452 37 | 2.508 % |
4684.33/4686.94 c | 445337 | 13917 57492 171839 | 2147483647 445324 37 | 2.508 % |
4699.02/4701.69 c | 446296 | 13917 57492 171839 | 2147483647 446283 37 | 2.508 % |
4715.71/4718.37 c | 447349 | 13917 57492 171839 | 2147483647 447336 37 | 2.508 % |
4732.61/4735.24 c | 448507 | 13917 57492 171839 | 2147483647 448494 37 | 2.508 % |
4755.80/4758.40 c | 449780 | 13917 57492 171839 | 2147483647 449767 37 | 2.508 % |
4779.69/4782.38 c | 451182 | 13917 57492 171839 | 2147483647 451169 37 | 2.508 % |
4802.68/4805.37 c | 452723 | 13917 57492 171839 | 2147483647 452710 37 | 2.508 % |
4832.77/4835.41 c | 454418 | 13917 57492 171839 | 2147483647 454405 37 | 2.508 % |
4864.96/4867.64 c | 456281 | 13917 57492 171839 | 2147483647 456268 38 | 2.508 % |
4899.34/4902.00 c | 458331 | 13917 57492 171839 | 2147483647 458318 38 | 2.508 % |
4935.33/4938.07 c | 460584 | 13917 57492 171839 | 459987 460571 38 | 2.508 % |
4978.91/4981.64 c | 463063 | 13917 57492 171839 | 459987 413185 38 | 2.508 % |
5018.29/5021.01 c | 465788 | 13917 57492 171839 | 459987 415910 38 | 2.508 % |
5068.07/5070.83 c | 468786 | 13917 57492 171839 | 459987 418908 38 | 2.508 % |
5123.54/5126.37 c | 472082 | 13917 57492 171839 | 420122 368447 38 | 2.508 % |
5178.12/5181.00 c | 475708 | 13917 57492 171839 | 420122 372073 38 | 2.508 % |
5243.29/5246.11 c | 479695 | 13917 57492 171839 | 420122 376060 38 | 2.508 % |
5314.06/5316.93 c | 484080 | 13917 57492 171839 | 2147483647 380445 38 | 2.508 % |
5315.86/5318.74 c | 484181 | 13917 57492 171839 | 2147483647 380546 38 | 2.508 % |
5317.76/5320.64 c | 484292 | 13917 57492 171839 | 2147483647 380657 38 | 2.508 % |
5319.85/5322.71 c | 484413 | 13917 57492 171839 | 2147483647 380778 38 | 2.508 % |
5322.05/5324.99 c | 484546 | 13917 57492 171839 | 2147483647 380911 38 | 2.508 % |
5324.05/5326.95 c | 484693 | 13917 57492 171839 | 2147483647 381058 38 | 2.508 % |
5326.75/5329.67 c | 484854 | 13917 57492 171839 | 2147483647 381219 38 | 2.508 % |
5327.76/5330.68 c | 485030 | 13917 57492 171839 | 2147483647 381395 38 | 2.508 % |
5331.15/5334.01 c | 485225 | 13917 57492 171839 | 2147483647 381590 38 | 2.508 % |
5334.65/5337.58 c | 485437 | 13917 57492 171839 | 2147483647 381802 38 | 2.508 % |
5336.95/5339.81 c | 485671 | 13917 57492 171839 | 2147483647 382036 38 | 2.508 % |
5340.95/5343.87 c | 485928 | 13917 57492 171839 | 2147483647 382293 38 | 2.508 % |
5345.15/5348.06 c | 486211 | 13917 57492 171839 | 2147483647 382576 38 | 2.508 % |
5349.54/5352.48 c | 486521 | 13917 57492 171839 | 2147483647 382886 38 | 2.508 % |
5355.64/5358.57 c | 486860 | 13917 57492 171839 | 2147483647 383225 38 | 2.508 % |
5362.44/5365.38 c | 487233 | 13917 57492 171839 | 2147483647 383598 38 | 2.508 % |
5369.13/5372.09 c | 487642 | 13917 57492 171839 | 2147483647 384007 38 | 2.508 % |
5376.43/5379.36 c | 488092 | 13917 57492 171839 | 2147483647 384457 38 | 2.508 % |
5385.02/5387.94 c | 488585 | 13917 57492 171839 | 2147483647 384950 38 | 2.508 % |
5393.22/5396.19 c | 489127 | 13917 57492 171839 | 2147483647 385492 38 | 2.508 % |
5403.22/5406.16 c | 489724 | 13917 57492 171839 | 2147483647 386089 38 | 2.508 % |
5412.81/5415.70 c | 490380 | 13917 57492 171839 | 2147483647 386745 38 | 2.508 % |
5424.72/5427.66 c | 491101 | 13917 57492 171839 | 2147483647 387466 38 | 2.508 % |
5436.91/5439.87 c | 491893 | 13917 57492 171839 | 2147483647 388258 38 | 2.508 % |
5452.21/5455.17 c | 492764 | 13917 57492 171839 | 2147483647 389129 38 | 2.508 % |
5468.40/5471.30 c | 493723 | 13917 57492 171839 | 2147483647 390088 38 | 2.508 % |
5485.79/5488.78 c | 494777 | 13917 57492 171839 | 2147483647 391142 38 | 2.508 % |
5505.18/5508.15 c | 495935 | 13917 57492 171839 | 2147483647 392300 38 | 2.508 % |
5525.17/5528.15 c | 497208 | 13917 57492 171839 | 2147483647 393573 38 | 2.508 % |
5546.16/5549.13 c | 498608 | 13917 57492 171839 | 2147483647 394973 38 | 2.508 % |
5570.26/5573.21 c | 500148 | 13917 57492 171839 | 2147483647 396513 38 | 2.508 % |
5597.05/5600.07 c | 501842 | 13917 57492 171839 | 2147483647 398207 38 | 2.508 % |
5626.43/5629.47 c | 503705 | 13917 57492 171839 | 2147483647 400070 38 | 2.508 % |
5661.32/5664.37 c | 505755 | 13917 57492 171839 | 2147483647 402120 38 | 2.508 % |
5695.70/5698.79 c | 508008 | 13917 57492 171839 | 2147483647 404373 38 | 2.508 % |
5731.19/5734.23 c | 510487 | 13917 57492 171839 | 2147483647 406852 38 | 2.508 % |
5773.97/5777.03 c | 513213 | 13917 57492 171839 | 2147483647 409578 39 | 2.508 % |
5818.45/5821.53 c | 516210 | 13917 57492 171839 | 2147483647 412575 39 | 2.508 % |
5874.63/5877.75 c | 519506 | 13917 57492 171839 | 2147483647 415871 39 | 2.508 % |
5933.11/5936.26 c | 523131 | 13917 57492 171839 | 2147483647 419496 39 | 2.508 % |
6000.28/6003.44 c | 527119 | 13917 57492 171839 | 2147483647 423484 39 | 2.508 % |
6070.85/6074.05 c | 531504 | 13917 57492 171839 | 2147483647 427869 39 | 2.508 % |
6165.31/6168.59 c | 536327 | 13917 57492 171839 | 2147483647 432692 39 | 2.508 % |
6167.21/6170.49 c | 536427 | 13917 57492 171839 | 2147483647 432792 39 | 2.508 % |
6169.11/6172.35 c | 536538 | 13917 57492 171839 | 2147483647 432903 39 | 2.508 % |
6172.11/6175.31 c | 536660 | 13917 57492 171839 | 2147483647 433025 39 | 2.508 % |
6174.90/6178.11 c | 536793 | 13917 57492 171839 | 2147483647 433158 39 | 2.508 % |
6177.80/6181.09 c | 536940 | 13917 57492 171839 | 2147483647 433305 39 | 2.508 % |
6180.70/6183.96 c | 537100 | 13917 57492 171839 | 2147483647 433465 39 | 2.508 % |
6183.50/6186.73 c | 537276 | 13917 57492 171839 | 2147483647 433641 39 | 2.508 % |
6187.09/6190.35 c | 537470 | 13917 57492 171839 | 2147483647 433835 39 | 2.508 % |
6191.29/6194.52 c | 537683 | 13917 57492 171839 | 2147483647 434048 39 | 2.508 % |
6195.49/6198.71 c | 537917 | 13917 57492 171839 | 2147483647 434282 39 | 2.508 % |
6199.89/6203.12 c | 538173 | 13917 57492 171839 | 2147483647 434538 39 | 2.508 % |
6204.79/6208.04 c | 538454 | 13917 57492 171839 | 2147483647 434819 39 | 2.508 % |
6210.59/6213.81 c | 538764 | 13917 57492 171839 | 2147483647 435129 39 | 2.508 % |
6216.49/6219.76 c | 539104 | 13917 57492 171839 | 2147483647 435469 39 | 2.508 % |
6221.47/6224.72 c | 539476 | 13917 57492 171839 | 2147483647 435841 39 | 2.508 % |
6228.67/6231.90 c | 539887 | 13917 57492 171839 | 2147483647 436252 39 | 2.508 % |
6235.77/6239.04 c | 540336 | 13917 57492 171839 | 2147483647 436701 39 | 2.508 % |
6243.27/6246.58 c | 540829 | 13917 57492 171839 | 2147483647 437194 39 | 2.508 % |
6251.37/6254.69 c | 541372 | 13917 57492 171839 | 2147483647 437737 39 | 2.508 % |
6261.86/6265.17 c | 541970 | 13917 57492 171839 | 2147483647 438335 39 | 2.508 % |
6273.15/6276.49 c | 542626 | 13917 57492 171839 | 2147483647 438991 39 | 2.508 % |
6283.86/6287.10 c | 543346 | 13917 57492 171839 | 2147483647 439711 39 | 2.508 % |
6296.75/6300.09 c | 544138 | 13917 57492 171839 | 2147483647 440503 39 | 2.508 % |
6311.94/6315.21 c | 545009 | 13917 57492 171839 | 2147483647 441374 39 | 2.508 % |
6331.54/6334.87 c | 545967 | 13917 57492 171839 | 2147483647 442332 39 | 2.508 % |
6350.43/6353.72 c | 547020 | 13917 57492 171839 | 2147483647 443385 39 | 2.508 % |
6373.42/6376.71 c | 548179 | 13917 57492 171839 | 2147483647 444544 39 | 2.508 % |
6395.80/6399.18 c | 549452 | 13917 57492 171839 | 2147483647 445817 39 | 2.508 % |
6419.79/6423.11 c | 550853 | 13917 57492 171839 | 2147483647 447218 39 | 2.508 % |
6446.98/6450.34 c | 552394 | 13917 57492 171839 | 2147483647 448759 39 | 2.508 % |
6478.27/6481.63 c | 554088 | 13917 57492 171839 | 2147483647 450453 39 | 2.508 % |
6512.05/6515.44 c | 555952 | 13917 57492 171839 | 2147483647 452317 39 | 2.508 % |
6547.13/6550.57 c | 558002 | 13917 57492 171839 | 2147483647 454367 39 | 2.508 % |
6585.71/6589.19 c | 560256 | 13917 57492 171839 | 2147483647 456621 39 | 2.508 % |
6630.89/6634.33 c | 562738 | 13917 57492 171839 | 2147483647 459103 39 | 2.508 % |
6678.77/6682.23 c | 565463 | 13917 57492 171839 | 2147483647 461828 39 | 2.508 % |
6727.15/6730.66 c | 568461 | 13917 57492 171839 | 2147483647 464826 38 | 2.508 % |
6787.83/6791.35 c | 571757 | 13917 57492 171839 | 2147483647 468122 38 | 2.508 % |
6858.49/6862.09 c | 575382 | 13917 57492 171839 | 2147483647 471747 38 | 2.508 % |
6930.26/6933.82 c | 579370 | 13917 57492 171839 | 2147483647 475735 38 | 2.508 % |
7011.82/7015.43 c | 583755 | 13917 57492 171839 | 476365 426478 38 | 2.508 % |
7096.68/7100.40 c | 588578 | 13917 57492 171839 | 476365 431301 38 | 2.508 % |
7193.66/7197.31 c | 593883 | 13917 57492 171839 | 2147483647 436606 39 | 2.508 % |
7195.25/7198.91 c | 593983 | 13917 57492 171839 | 2147483647 436706 39 | 2.508 % |
7196.75/7200.44 c | 594094 | 13917 57492 171839 | 2147483647 436817 38 | 2.508 % |
7199.35/7203.02 c | 594216 | 13917 57492 171839 | 2147483647 436939 39 | 2.508 % |
7201.55/7205.28 c | 594349 | 13917 57492 171839 | 2147483647 437072 39 | 2.508 % |
7204.35/7208.05 c | 594496 | 13917 57492 171839 | 2147483647 437219 39 | 2.508 % |
7207.35/7211.08 c | 594656 | 13917 57492 171839 | 2147483647 437379 38 | 2.508 % |
7210.54/7214.24 c | 594833 | 13917 57492 171839 | 2147483647 437556 38 | 2.508 % |
7214.14/7217.82 c | 595028 | 13917 57492 171839 | 2147483647 437751 38 | 2.508 % |
7217.84/7221.58 c | 595240 | 13917 57492 171839 | 2147483647 437963 39 | 2.508 % |
7221.84/7225.58 c | 595473 | 13917 57492 171839 | 2147483647 438196 39 | 2.508 % |
7226.44/7230.18 c | 595729 | 13917 57492 171839 | 2147483647 438452 39 | 2.508 % |
7229.63/7233.32 c | 596011 | 13917 57492 171839 | 2147483647 438734 39 | 2.508 % |
7234.83/7238.50 c | 596320 | 13917 57492 171839 | 2147483647 439043 39 | 2.508 % |
7241.23/7244.94 c | 596660 | 13917 57492 171839 | 2147483647 439383 39 | 2.508 % |
7247.73/7251.43 c | 597032 | 13917 57492 171839 | 2147483647 439755 39 | 2.508 % |
7255.62/7259.38 c | 597443 | 13917 57492 171839 | 2147483647 440166 39 | 2.508 % |
7263.52/7267.29 c | 597893 | 13917 57492 171839 | 2147483647 440616 38 | 2.508 % |
7273.32/7277.01 c | 598387 | 13917 57492 171839 | 2147483647 441110 38 | 2.508 % |
7283.31/7287.09 c | 598932 | 13917 57492 171839 | 2147483647 441655 38 | 2.508 % |
7294.31/7298.00 c | 599529 | 13917 57492 171839 | 2147483647 442252 38 | 2.508 % |
7305.20/7308.94 c | 600185 | 13917 57492 171839 | 2147483647 442908 38 | 2.508 % |
7317.90/7321.61 c | 600905 | 13917 57492 171839 | 2147483647 443628 38 | 2.508 % |
7332.39/7336.17 c | 601699 | 13917 57492 171839 | 2147483647 444422 38 | 2.508 % |
7344.98/7348.70 c | 602571 | 13917 57492 171839 | 2147483647 445294 38 | 2.508 % |
7361.67/7365.48 c | 603530 | 13917 57492 171839 | 2147483647 446253 38 | 2.508 % |
7381.37/7385.15 c | 604583 | 13917 57492 171839 | 2147483647 447306 38 | 2.508 % |
7402.05/7405.89 c | 605742 | 13917 57492 171839 | 2147483647 448465 38 | 2.508 % |
7424.25/7428.08 c | 607016 | 13917 57492 171839 | 2147483647 449739 38 | 2.508 % |
7448.14/7451.94 c | 608416 | 13917 57492 171839 | 2147483647 451139 38 | 2.508 % |
7476.43/7480.28 c | 609957 | 13917 57492 171839 | 2147483647 452680 38 | 2.508 % |
7507.82/7511.67 c | 611652 | 13917 57492 171839 | 2147483647 454375 38 | 2.508 % |
7542.21/7546.01 c | 613517 | 13917 57492 171839 | 2147483647 456240 38 | 2.508 % |
7580.98/7584.85 c | 615566 | 13917 57492 171839 | 2147483647 458289 38 | 2.508 % |
7621.47/7625.37 c | 617819 | 13917 57492 171839 | 2147483647 460542 38 | 2.508 % |
7667.75/7671.65 c | 620297 | 13917 57492 171839 | 2147483647 463020 38 | 2.508 % |
7716.12/7720.02 c | 623024 | 13917 57492 171839 | 2147483647 465747 38 | 2.508 % |
7773.40/7777.38 c | 626022 | 13917 57492 171839 | 2147483647 468745 38 | 2.508 % |
7841.46/7845.45 c | 629318 | 13917 57492 171839 | 2147483647 472041 38 | 2.508 % |
7911.64/7915.70 c | 632944 | 13917 57492 171839 | 472724 422868 38 | 2.508 % |
7979.40/7983.48 c | 636931 | 13917 57492 171839 | 472724 426855 38 | 2.508 % |
8053.07/8057.17 c | 641317 | 13917 57492 171839 | 2147483647 431241 38 | 2.508 % |
8130.64/8134.79 c | 646140 | 13917 57492 171839 | 2147483647 436064 38 | 2.508 % |
8220.61/8224.77 c | 651446 | 13917 57492 171839 | 2147483647 441370 38 | 2.508 % |
8314.67/8318.81 c | 657281 | 13917 57492 171839 | 2147483647 447205 38 | 2.508 % |
8316.07/8320.28 c | 657381 | 13917 57492 171839 | 2147483647 447305 38 | 2.508 % |
8318.48/8322.64 c | 657491 | 13917 57492 171839 | 2147483647 447415 38 | 2.508 % |
8320.77/8324.97 c | 657612 | 13917 57492 171839 | 2147483647 447536 38 | 2.508 % |
8323.17/8327.32 c | 657746 | 13917 57492 171839 | 2147483647 447670 38 | 2.508 % |
8325.77/8329.93 c | 657893 | 13917 57492 171839 | 2147483647 447817 38 | 2.508 % |
8329.07/8333.24 c | 658054 | 13917 57492 171839 | 2147483647 447978 38 | 2.508 % |
8332.77/8336.91 c | 658231 | 13917 57492 171839 | 2147483647 448155 38 | 2.508 % |
8336.36/8340.59 c | 658424 | 13917 57492 171839 | 2147483647 448348 38 | 2.508 % |
8339.66/8343.88 c | 658636 | 13917 57492 171839 | 2147483647 448560 38 | 2.508 % |
8344.06/8348.21 c | 658870 | 13917 57492 171839 | 2147483647 448794 38 | 2.508 % |
8346.66/8350.89 c | 659127 | 13917 57492 171839 | 2147483647 449051 38 | 2.508 % |
8351.96/8356.16 c | 659408 | 13917 57492 171839 | 2147483647 449332 38 | 2.508 % |
8356.25/8360.49 c | 659717 | 13917 57492 171839 | 2147483647 449641 38 | 2.508 % |
8362.36/8366.56 c | 660056 | 13917 57492 171839 | 2147483647 449980 38 | 2.508 % |
8370.85/8375.09 c | 660429 | 13917 57492 171839 | 2147483647 450353 38 | 2.508 % |
8378.14/8382.37 c | 660838 | 13917 57492 171839 | 2147483647 450762 38 | 2.508 % |
8385.24/8389.47 c | 661289 | 13917 57492 171839 | 2147483647 451213 38 | 2.508 % |
8392.94/8397.18 c | 661782 | 13917 57492 171839 | 2147483647 451706 38 | 2.508 % |
8402.74/8406.91 c | 662325 | 13917 57492 171839 | 2147483647 452249 38 | 2.508 % |
8413.13/8417.36 c | 662922 | 13917 57492 171839 | 2147483647 452846 38 | 2.508 % |
8423.52/8427.78 c | 663577 | 13917 57492 171839 | 2147483647 453501 38 | 2.508 % |
8436.72/8440.97 c | 664297 | 13917 57492 171839 | 2147483647 454221 38 | 2.508 % |
8451.81/8456.00 c | 665089 | 13917 57492 171839 | 2147483647 455013 38 | 2.508 % |
8467.61/8471.80 c | 665961 | 13917 57492 171839 | 2147483647 455885 38 | 2.508 % |
8483.80/8488.07 c | 666920 | 13917 57492 171839 | 2147483647 456844 38 | 2.508 % |
8501.89/8506.13 c | 667974 | 13917 57492 171839 | 2147483647 457898 38 | 2.508 % |
8521.78/8526.06 c | 669133 | 13917 57492 171839 | 2147483647 459057 38 | 2.508 % |
8544.07/8548.38 c | 670407 | 13917 57492 171839 | 2147483647 460331 38 | 2.508 % |
8567.96/8572.25 c | 671807 | 13917 57492 171839 | 2147483647 461731 38 | 2.508 % |
8595.15/8599.41 c | 673347 | 13917 57492 171839 | 2147483647 463271 38 | 2.508 % |
8623.74/8628.04 c | 675041 | 13917 57492 171839 | 2147483647 464965 38 | 2.508 % |
8653.82/8658.18 c | 676904 | 13917 57492 171839 | 2147483647 466828 38 | 2.508 % |
8690.21/8694.59 c | 678953 | 13917 57492 171839 | 2147483647 468877 38 | 2.508 % |
8730.59/8735.00 c | 681206 | 13917 57492 171839 | 2147483647 471130 38 | 2.508 % |
8771.37/8775.72 c | 683684 | 13917 57492 171839 | 2147483647 473608 38 | 2.508 % |
8811.95/8816.38 c | 686409 | 13917 57492 171839 | 2147483647 476333 38 | 2.508 % |
8856.43/8860.87 c | 689407 | 13917 57492 171839 | 2147483647 479331 38 | 2.508 % |
8916.90/8921.39 c | 692704 | 13917 57492 171839 | 479926 432770 38 | 2.508 % |
8985.27/8989.76 c | 696330 | 13917 57492 171839 | 479926 436396 38 | 2.508 % |
9052.14/9056.61 c | 700317 | 13917 57492 171839 | 2147483647 440383 38 | 2.508 % |
9130.51/9135.00 c | 704702 | 13917 57492 171839 | 2147483647 444768 38 | 2.508 % |
9216.18/9220.71 c | 709526 | 13917 57492 171839 | 2147483647 449592 38 | 2.508 % |
9301.34/9305.92 c | 714831 | 13917 57492 171839 | 2147483647 454897 38 | 2.508 % |
9405.09/9409.72 c | 720666 | 13917 57492 171839 | 2147483647 460732 38 | 2.508 % |
9527.35/9532.01 c | 727085 | 13917 57492 171839 | 2147483647 467151 38 | 2.508 % |
9529.45/9534.14 c | 727185 | 13917 57492 171839 | 2147483647 467251 38 | 2.508 % |
9531.85/9536.56 c | 727296 | 13917 57492 171839 | 2147483647 467362 38 | 2.508 % |
9534.05/9538.77 c | 727417 | 13917 57492 171839 | 2147483647 467483 38 | 2.508 % |
9536.45/9541.13 c | 727551 | 13917 57492 171839 | 2147483647 467617 38 | 2.508 % |
9539.55/9544.23 c | 727700 | 13917 57492 171839 | 2147483647 467766 38 | 2.508 % |
9542.45/9547.14 c | 727860 | 13917 57492 171839 | 2147483647 467926 38 | 2.508 % |
9546.04/9550.77 c | 728036 | 13917 57492 171839 | 2147483647 468102 38 | 2.508 % |
9549.84/9554.55 c | 728230 | 13917 57492 171839 | 2147483647 468296 38 | 2.508 % |
9552.24/9556.91 c | 728443 | 13917 57492 171839 | 2147483647 468509 38 | 2.508 % |
9556.03/9560.80 c | 728677 | 13917 57492 171839 | 2147483647 468743 38 | 2.508 % |
9560.23/9564.96 c | 728933 | 13917 57492 171839 | 2147483647 468999 38 | 2.508 % |
9563.93/9568.68 c | 729215 | 13917 57492 171839 | 2147483647 469281 38 | 2.508 % |
9569.63/9574.37 c | 729524 | 13917 57492 171839 | 2147483647 469590 38 | 2.508 % |
9576.63/9581.31 c | 729864 | 13917 57492 171839 | 2147483647 469930 38 | 2.508 % |
9583.52/9588.29 c | 730237 | 13917 57492 171839 | 2147483647 470303 38 | 2.508 % |
9591.12/9595.89 c | 730647 | 13917 57492 171839 | 2147483647 470713 38 | 2.508 % |
9599.72/9604.47 c | 731098 | 13917 57492 171839 | 2147483647 471164 38 | 2.508 % |
9609.22/9613.90 c | 731592 | 13917 57492 171839 | 2147483647 471658 38 | 2.508 % |
9620.01/9624.71 c | 732134 | 13917 57492 171839 | 2147483647 472200 38 | 2.508 % |
9630.81/9635.56 c | 732731 | 13917 57492 171839 | 2147483647 472797 38 | 2.508 % |
9642.90/9647.66 c | 733386 | 13917 57492 171839 | 2147483647 473452 38 | 2.508 % |
9655.69/9660.42 c | 734106 | 13917 57492 171839 | 2147483647 474172 38 | 2.508 % |
9670.79/9675.60 c | 734900 | 13917 57492 171839 | 2147483647 474966 38 | 2.508 % |
9686.38/9691.11 c | 735771 | 13917 57492 171839 | 2147483647 475837 38 | 2.508 % |
9703.08/9707.83 c | 736730 | 13917 57492 171839 | 2147483647 476796 38 | 2.508 % |
9721.97/9726.80 c | 737784 | 13917 57492 171839 | 2147483647 477850 38 | 2.508 % |
9744.46/9749.26 c | 738943 | 13917 57492 171839 | 2147483647 479009 38 | 2.508 % |
9766.04/9770.84 c | 740216 | 13917 57492 171839 | 480067 480282 38 | 2.508 % |
9791.43/9796.28 c | 741616 | 13917 57492 171839 | 480067 481682 38 | 2.508 % |
9820.32/9825.10 c | 743156 | 13917 57492 171839 | 480067 433445 37 | 2.508 % |
9848.41/9853.22 c | 744851 | 13917 57492 171839 | 480067 435140 37 | 2.508 % |
9879.70/9884.50 c | 746714 | 13917 57492 171839 | 480067 437003 37 | 2.508 % |
9914.28/9919.13 c | 748764 | 13917 57492 171839 | 480067 439053 37 | 2.508 % |
9949.97/9954.85 c | 751017 | 13917 57492 171839 | 2147483647 441306 37 | 2.508 % |
9991.05/9995.96 c | 753496 | 13917 57492 171839 | 2147483647 443785 37 | 2.508 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837324-1242867156/watcher-1837324-1242867156 -o /tmp/evaluation-result-1837324-1242867156/solver-1837324-1242867156 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837324-1242867156.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.00 0.96 3/65 23868
/proc/meminfo: memFree=1727696/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=0
/proc/23868/stat : 23868 (SatELiteGTI) R 23866 23868 23732 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 314745617 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 234045893279 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/23868/statm: 1339 237 197 169 0 50 0
[pid=23872] ppid=23868 vsize=1004 CPUtime=0
/proc/23872/stat : 23872 (SatELite_releas) R 23868 23868 23732 0 -1 4194304 119 0 0 0 0 0 0 0 18 0 1 0 314745617 1028096 105 1992294400 134512640 135223648 4294956128 18446744073709551615 134734703 0 0 4096 3 0 0 0 17 0 0 0
/proc/23872/statm: 251 109 48 173 0 76 0
[startup+0.062639 s]
/proc/loadavg: 1.01 1.00 0.96 3/65 23868
/proc/meminfo: memFree=1727696/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=0
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314745617 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23868/statm: 1339 237 197 169 0 50 0
[pid=23872] ppid=23868 vsize=10412 CPUtime=0.04
/proc/23872/stat : 23872 (SatELite_releas) R 23868 23868 23732 0 -1 4194304 2411 0 0 0 4 0 0 0 20 0 1 0 314745617 10661888 2397 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/23872/statm: 2603 2400 50 173 0 2428 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15768
[startup+0.102641 s]
/proc/loadavg: 1.01 1.00 0.96 3/65 23868
/proc/meminfo: memFree=1727696/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=0
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314745617 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23868/statm: 1339 237 197 169 0 50 0
[pid=23872] ppid=23868 vsize=13804 CPUtime=0.09
/proc/23872/stat : 23872 (SatELite_releas) R 23868 23868 23732 0 -1 4194304 3399 0 0 0 8 1 0 0 20 0 1 0 314745617 14135296 3242 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/23872/statm: 3451 3242 76 173 0 3276 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19160
[startup+0.302662 s]
/proc/loadavg: 1.01 1.00 0.96 3/65 23868
/proc/meminfo: memFree=1727696/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=0
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314745617 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23868/statm: 1339 237 197 169 0 50 0
[pid=23872] ppid=23868 vsize=14544 CPUtime=0.29
/proc/23872/stat : 23872 (SatELite_releas) R 23868 23868 23732 0 -1 4194304 3572 0 0 0 27 2 0 0 23 0 1 0 314745617 14893056 3415 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/23872/statm: 3636 3415 76 173 0 3461 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19900
[startup+0.702704 s]
/proc/loadavg: 1.01 1.00 0.96 3/65 23868
/proc/meminfo: memFree=1727696/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=0
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314745617 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23868/statm: 1339 237 197 169 0 50 0
[pid=23872] ppid=23868 vsize=15684 CPUtime=0.68
/proc/23872/stat : 23872 (SatELite_releas) R 23868 23868 23732 0 -1 4194304 3815 0 0 0 66 2 0 0 25 0 1 0 314745617 16060416 3658 1992294400 134512640 135223648 4294956128 18446744073709551615 134586952 0 0 4096 3 0 0 0 17 0 0 0
/proc/23872/statm: 3921 3658 76 173 0 3746 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21040
[startup+1.5018 s]
/proc/loadavg: 1.01 1.00 0.96 2/67 23873
/proc/meminfo: memFree=1708544/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 5356
[startup+3.10195 s]
/proc/loadavg: 1.01 1.00 0.96 2/67 23874
/proc/meminfo: memFree=1717376/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=5972 CPUtime=1.73
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 1334 0 0 0 173 0 0 0 25 0 1 0 314745752 6115328 1320 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 1493 1320 76 171 0 1320 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11328
[startup+6.30129 s]
/proc/loadavg: 1.01 1.00 0.96 2/67 23874
/proc/meminfo: memFree=1716992/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=6104 CPUtime=4.93
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 1368 0 0 0 493 0 0 0 25 0 1 0 314745752 6250496 1354 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 1526 1354 76 171 0 1353 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 11460
[startup+12.702 s]
/proc/loadavg: 1.01 1.00 0.96 2/67 23874
/proc/meminfo: memFree=1716736/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=6368 CPUtime=11.32
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 1448 0 0 0 1132 0 0 0 25 0 1 0 314745752 6520832 1434 1992294400 134512640 135215339 4294956240 18446744073709551615 134529119 0 0 4096 3 0 0 0 17 1 0 0
/proc/23874/statm: 1592 1434 76 171 0 1419 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 11724
[startup+25.5013 s]
/proc/loadavg: 1.01 1.00 0.96 2/67 23874
/proc/meminfo: memFree=1716296/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=7028 CPUtime=24.11
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 1599 0 0 0 2411 0 0 0 25 0 1 0 314745752 7196672 1585 1992294400 134512640 135215339 4294956240 18446744073709551615 134538543 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 1757 1585 76 171 0 1584 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 12384
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 23874
/proc/meminfo: memFree=1715016/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=8284 CPUtime=49.7
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 1918 0 0 0 4969 1 0 0 25 0 1 0 314745752 8482816 1904 1992294400 134512640 135215339 4294956240 18446744073709551615 134528647 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 2071 1904 76 171 0 1898 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 13640
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 23874
/proc/meminfo: memFree=1712648/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=10432 CPUtime=100.87
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 2458 0 0 0 10085 2 0 0 25 0 1 0 314745752 10682368 2444 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 2608 2444 76 171 0 2435 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 15788
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 23874
/proc/meminfo: memFree=1710152/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=12872 CPUtime=160.84
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 3064 0 0 0 16081 3 0 0 25 0 1 0 314745752 13180928 3050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 3218 3050 76 171 0 3045 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 18228
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 23874
/proc/meminfo: memFree=1707528/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=15496 CPUtime=220.8
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 3694 0 0 0 22077 3 0 0 25 0 1 0 314745752 15867904 3680 1992294400 134512640 135215339 4294956240 18446744073709551615 134538420 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 3874 3680 76 171 0 3701 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 20852
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 23874
/proc/meminfo: memFree=1705416/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=17552 CPUtime=280.77
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 4179 0 0 0 28073 4 0 0 25 0 1 0 314745752 17973248 4165 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 4388 4165 76 171 0 4215 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 22908
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 23874
/proc/meminfo: memFree=1703624/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=19400 CPUtime=340.75
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 4622 0 0 0 34071 4 0 0 25 0 1 0 314745752 19865600 4608 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 4850 4608 76 171 0 4677 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 24756
[startup+402.302 s]
################
# More data... #
################
/proc/23874/statm: 26654 25626 76 171 0 26481 0
Current children cumulated CPU time (s) 9397.7
Current children cumulated vsize (KiB) 111972
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24372
/proc/meminfo: memFree=1567368/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=106696 CPUtime=9456.33
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 25657 0 0 0 945595 38 0 0 25 0 1 0 314745752 109256704 25643 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 26674 25643 76 171 0 26501 0
Current children cumulated CPU time (s) 9457.67
Current children cumulated vsize (KiB) 112052
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24372
/proc/meminfo: memFree=1567176/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=106860 CPUtime=9516.31
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 25686 0 0 0 951592 39 0 0 25 0 1 0 314745752 109424640 25672 1992294400 134512640 135215339 4294956240 18446744073709551615 134528664 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 26715 25672 76 171 0 26542 0
Current children cumulated CPU time (s) 9517.65
Current children cumulated vsize (KiB) 112216
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24372
/proc/meminfo: memFree=1566984/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=106860 CPUtime=9576.29
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 25703 0 0 0 957590 39 0 0 25 0 1 0 314745752 109424640 25689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 26715 25689 76 171 0 26542 0
Current children cumulated CPU time (s) 9577.63
Current children cumulated vsize (KiB) 112216
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 24372
/proc/meminfo: memFree=1566920/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=106860 CPUtime=9636.26
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 25707 0 0 0 963587 39 0 0 25 0 1 0 314745752 109424640 25693 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 26715 25693 76 171 0 26542 0
Current children cumulated CPU time (s) 9637.6
Current children cumulated vsize (KiB) 112216
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24372
/proc/meminfo: memFree=1566728/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=106980 CPUtime=9696.24
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 25733 0 0 0 969585 39 0 0 25 0 1 0 314745752 109547520 25719 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 26745 25719 76 171 0 26572 0
Current children cumulated CPU time (s) 9697.58
Current children cumulated vsize (KiB) 112336
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24372
/proc/meminfo: memFree=1566600/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=106980 CPUtime=9756.21
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 25734 0 0 0 975582 39 0 0 25 0 1 0 314745752 109547520 25720 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 26745 25720 76 171 0 26572 0
Current children cumulated CPU time (s) 9757.55
Current children cumulated vsize (KiB) 112336
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24372
/proc/meminfo: memFree=1566600/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=106980 CPUtime=9816.18
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 25741 0 0 0 981579 39 0 0 25 0 1 0 314745752 109547520 25727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 26745 25727 76 171 0 26572 0
Current children cumulated CPU time (s) 9817.52
Current children cumulated vsize (KiB) 112336
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24372
/proc/meminfo: memFree=1566600/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=106980 CPUtime=9876.16
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 25745 0 0 0 987577 39 0 0 25 0 1 0 314745752 109547520 25731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 26745 25731 76 171 0 26572 0
Current children cumulated CPU time (s) 9877.5
Current children cumulated vsize (KiB) 112336
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24372
/proc/meminfo: memFree=1566536/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=106980 CPUtime=9936.13
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 25745 0 0 0 993574 39 0 0 25 0 1 0 314745752 109547520 25731 1992294400 134512640 135215339 4294956240 18446744073709551615 134525112 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 26745 25731 76 171 0 26572 0
Current children cumulated CPU time (s) 9937.47
Current children cumulated vsize (KiB) 112336
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24372
/proc/meminfo: memFree=1566536/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=106980 CPUtime=9996.1
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 25745 0 0 0 999571 39 0 0 25 0 1 0 314745752 109547520 25731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 26745 25731 76 171 0 26572 0
Current children cumulated CPU time (s) 9997.44
Current children cumulated vsize (KiB) 112336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10004.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24372
/proc/meminfo: memFree=1566536/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=106980 CPUtime=9998.7
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 25745 0 0 0 999831 39 0 0 25 0 1 0 314745752 109547520 25731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 26745 25731 76 171 0 26572 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 112336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10004.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24372
/proc/meminfo: memFree=1566536/2055920 swapFree=4122776/4192956
[pid=23868] ppid=23866 vsize=5356 CPUtime=1.34
/proc/23868/stat : 23868 (SatELiteGTI) S 23866 23868 23732 0 -1 4194304 336 4541 0 0 0 0 131 3 16 0 1 0 314745617 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23868/statm: 1339 239 197 169 0 50 0
[pid=23874] ppid=23868 vsize=106980 CPUtime=9998.7
/proc/23874/stat : 23874 (minisat_static) R 23868 23868 23732 0 -1 4194304 25745 0 0 0 999831 39 0 0 25 0 1 0 314745752 109547520 25731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/23874/statm: 26745 25731 76 171 0 26572 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 112336
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23868 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=314800
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=40993
# CPU time returned by wait4() is 1.35579
# 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): 10004.9
CPU time (s): 10000
CPU user time (s): 9999.62
CPU system time (s): 0.42
CPU usage (%): 99.9513
Max. virtual memory (cumulated for all children) (KiB): 112336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3148
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4877
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= 11
runsolver used 9.49456 second user time and 27.0109 second system time
The end
Begin job on node79 at 2009-05-21 02:52:36
IDJOB=1837324
IDBENCH=70849
IDSOLVER=674
FILE ID=node79/1837324-1242867156
PBS_JOBID= 9328536
Free space on /tmp= 66248 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837324-1242867156/watcher-1837324-1242867156 -o /tmp/evaluation-result-1837324-1242867156/solver-1837324-1242867156 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837324-1242867156.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f47c33d2a9a327da4633207adfef7b77
RANDOM SEED=1283239636
node79.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.220
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.220
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1728240 kB
Buffers: 20736 kB
Cached: 206776 kB
SwapCached: 64344 kB
Active: 36076 kB
Inactive: 257872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1728240 kB
SwapTotal: 4192956 kB
SwapFree: 4122776 kB
Dirty: 3108 kB
Writeback: 0 kB
Mapped: 15444 kB
Slab: 19752 kB
Committed_AS: 1063072 kB
PageTables: 1392 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= 66244 MiB
End job on node79 at 2009-05-21 05:39:23