0.00/0.00 c Parsing...
0.00/0.19 c ==============================================================================
0.00/0.19 c | | ORIGINAL | LEARNT | |
0.00/0.19 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.19 c ==============================================================================
0.00/0.19 c | 0 | 226144 586057 | 67843 0 0 nan | 0.000 % |
1.18/1.24 c | 0 | 163375 552718 | -- 0 -- -- | -- | -62769/-33339
1.18/1.24 c ==============================================================================
1.18/1.24 c Result : #vars: 28527 #clauses: 163375 #literals: 552718
1.18/1.24 c CPU time: 1.18582 s
1.18/1.24 c ==============================================================================
1.38/1.44 c This is MiniSat 2.0 beta
1.38/1.44 c WARNING: for repeatability, setting FPU to use double precision
1.38/1.44 c ============================[ Problem Statistics ]=============================
1.38/1.44 c | |
1.38/1.44 c | Number of variables: 28527 |
1.38/1.44 c | Number of clauses: 163375 |
1.43/1.55 c | Parsing time: 0.10 s |
1.43/1.56 c ============================[ Search Statistics ]==============================
1.43/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.43/1.56 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.43/1.56 c ===============================================================================
1.43/1.56 c | 0 | 28527 163375 552718 | 54458 0 nan | 0.000 % |
1.43/1.64 c | 101 | 28516 163375 552718 | 54458 95 20 | 0.046 % |
2.08/2.18 c | 201 | 28516 163375 552718 | 54458 195 75 | 0.046 % |
2.97/3.03 c | 301 | 28514 163274 552415 | 54458 282 110 | 0.060 % |
3.47/3.57 c | 411 | 28504 163249 552348 | 54458 390 101 | 0.081 % |
3.97/4.06 c | 511 | 28501 163197 552197 | 54458 486 100 | 0.091 % |
4.57/4.63 c | 621 | 28499 163197 552197 | 54458 594 102 | 0.098 % |
5.18/5.22 c | 743 | 28499 163180 552155 | 54458 716 90 | 0.098 % |
5.98/6.09 c | 843 | 28499 163180 552155 | 54458 816 98 | 0.098 % |
6.68/6.72 c | 955 | 28499 163180 552155 | 54458 928 102 | 0.098 % |
7.28/7.34 c | 1077 | 28497 163172 552129 | 54458 1048 103 | 0.105 % |
8.07/8.10 c | 1211 | 28497 163172 552129 | 54458 1182 104 | 0.105 % |
8.47/8.58 c | 1312 | 28497 163167 552117 | 54458 1283 105 | 0.105 % |
9.37/9.43 c | 1423 | 28497 163167 552117 | 54458 1394 108 | 0.105 % |
10.17/10.28 c | 1544 | 28497 163167 552117 | 54458 1515 109 | 0.105 % |
11.17/11.24 c | 1678 | 28493 163133 552017 | 54458 1642 113 | 0.119 % |
11.77/11.81 c | 1825 | 28493 163133 552017 | 54458 1789 107 | 0.119 % |
12.37/12.40 c | 1926 | 28493 163133 552017 | 54458 1890 108 | 0.119 % |
12.57/12.66 c | 2037 | 28493 163133 552017 | 54458 2001 105 | 0.119 % |
13.27/13.35 c | 2159 | 28492 163128 552005 | 54458 2122 106 | 0.123 % |
13.97/14.04 c | 2293 | 28492 163128 552005 | 54458 2256 107 | 0.123 % |
14.77/14.86 c | 2440 | 28492 163128 552005 | 54458 2403 102 | 0.123 % |
15.37/15.41 c | 2600 | 28492 163128 552005 | 54458 2563 101 | 0.123 % |
15.37/15.49 c | 2701 | 28492 163128 552005 | 54458 2664 97 | 0.123 % |
15.87/15.90 c | 2811 | 28492 163128 552005 | 54458 2774 95 | 0.123 % |
16.07/16.11 c | 2932 | 28492 163128 552005 | 54458 2895 93 | 0.123 % |
17.07/17.18 c | 3066 | 28492 163128 552005 | 54458 3029 89 | 0.123 % |
17.87/18.00 c | 3213 | 28492 163128 552005 | 54458 3176 90 | 0.123 % |
18.67/18.73 c | 3373 | 28492 163128 552005 | 54458 3336 90 | 0.123 % |
19.57/19.65 c | 3549 | 28492 163128 552005 | 54458 3512 92 | 0.123 % |
20.37/20.45 c | 3649 | 28492 163128 552005 | 54458 3612 94 | 0.123 % |
20.77/20.86 c | 3759 | 28492 163128 552005 | 54458 3722 94 | 0.123 % |
21.47/21.52 c | 3881 | 28488 163091 551888 | 54458 3837 94 | 0.137 % |
22.27/22.33 c | 4014 | 28488 163091 551888 | 54458 3970 95 | 0.137 % |
23.16/23.28 c | 4161 | 28488 163091 551888 | 54458 4117 96 | 0.137 % |
24.17/24.21 c | 4323 | 28488 163091 551888 | 54458 4279 97 | 0.137 % |
25.06/25.13 c | 4499 | 28488 163091 551888 | 54458 4455 97 | 0.137 % |
26.27/26.37 c | 4692 | 28486 163066 551811 | 54458 4646 98 | 0.144 % |
27.06/27.14 c | 4793 | 28486 163066 551811 | 54458 4747 96 | 0.144 % |
27.86/27.97 c | 4903 | 28486 163066 551811 | 54458 4857 97 | 0.144 % |
28.87/28.98 c | 5025 | 28486 163066 551811 | 54458 4979 98 | 0.144 % |
29.67/29.71 c | 5158 | 28486 163066 551811 | 54458 5112 99 | 0.144 % |
30.57/30.63 c | 5305 | 28483 163051 551773 | 54458 5257 99 | 0.154 % |
31.07/31.11 c | 5465 | 28483 163051 551773 | 54458 5417 99 | 0.154 % |
32.37/32.49 c | 5642 | 28483 163051 551773 | 54458 5594 101 | 0.154 % |
33.27/33.36 c | 5835 | 28482 163046 551760 | 54458 5786 99 | 0.158 % |
34.07/34.11 c | 6047 | 28482 163046 551760 | 54458 5998 97 | 0.158 % |
34.76/34.81 c | 6148 | 28482 163046 551760 | 54458 6099 97 | 0.158 % |
35.66/35.77 c | 6258 | 28482 163046 551760 | 54458 6209 97 | 0.158 % |
36.27/36.31 c | 6379 | 28479 163031 551722 | 54458 6327 98 | 0.168 % |
37.16/37.20 c | 6512 | 28479 163031 551722 | 54458 6460 97 | 0.168 % |
38.26/38.30 c | 6658 | 28479 163031 551722 | 54458 6606 98 | 0.168 % |
39.06/39.13 c | 6818 | 28479 163031 551722 | 54458 6766 99 | 0.168 % |
40.46/40.56 c | 6995 | 28479 163031 551722 | 54458 6943 100 | 0.168 % |
41.86/41.95 c | 7189 | 28479 163031 551722 | 54458 7137 99 | 0.168 % |
43.26/43.37 c | 7401 | 28479 163031 551722 | 54458 7349 96 | 0.168 % |
43.66/43.79 c | 7634 | 28479 163031 551722 | 54458 7582 94 | 0.168 % |
44.46/44.57 c | 7735 | 28479 163031 551722 | 54458 7683 95 | 0.168 % |
45.16/45.25 c | 7845 | 28479 163031 551722 | 54458 7793 96 | 0.168 % |
46.06/46.17 c | 7966 | 28479 163031 551722 | 54458 7914 97 | 0.168 % |
46.77/46.80 c | 8099 | 28478 163023 551694 | 54458 8041 97 | 0.172 % |
47.66/47.73 c | 8246 | 28478 163023 551694 | 54458 8188 97 | 0.172 % |
48.86/48.98 c | 8406 | 28478 163023 551694 | 54458 8348 98 | 0.172 % |
50.16/50.22 c | 8582 | 28474 163003 551643 | 54458 8522 98 | 0.186 % |
51.16/51.29 c | 8775 | 28474 163003 551643 | 54458 8715 98 | 0.186 % |
52.56/52.69 c | 8987 | 28474 163003 551643 | 54458 8927 99 | 0.186 % |
54.26/54.37 c | 9220 | 28474 163003 551643 | 54458 9160 99 | 0.186 % |
56.06/56.10 c | 9477 | 28474 163003 551643 | 54458 9417 100 | 0.186 % |
56.56/56.62 c | 9577 | 28474 163003 551643 | 54458 9517 100 | 0.186 % |
57.06/57.19 c | 9688 | 28474 163003 551643 | 54458 9628 99 | 0.186 % |
58.16/58.28 c | 9810 | 28474 163003 551643 | 54458 9750 100 | 0.186 % |
59.26/59.37 c | 9944 | 28474 163003 551643 | 54458 9884 98 | 0.186 % |
60.56/60.65 c | 10090 | 28474 163003 551643 | 2147483647 10030 99 | 0.186 % |
61.16/61.26 c | 10251 | 28474 163003 551643 | 2147483647 10191 98 | 0.186 % |
62.16/62.21 c | 10428 | 28474 163003 551643 | 2147483647 10368 98 | 0.186 % |
63.26/63.38 c | 10621 | 28474 163003 551643 | 2147483647 10561 99 | 0.186 % |
64.66/64.78 c | 10833 | 28474 163003 551643 | 2147483647 10773 100 | 0.186 % |
65.86/65.92 c | 11066 | 28474 163003 551643 | 2147483647 11006 100 | 0.186 % |
66.85/66.97 c | 11323 | 28474 163003 551643 | 2147483647 11263 99 | 0.186 % |
69.16/69.27 c | 11604 | 28474 163003 551643 | 2147483647 11544 101 | 0.186 % |
70.06/70.11 c | 11705 | 28474 163003 551643 | 2147483647 11645 100 | 0.186 % |
70.96/71.04 c | 11817 | 28474 163003 551643 | 2147483647 11757 101 | 0.186 % |
71.16/71.24 c | 11940 | 28474 163003 551643 | 2147483647 11880 100 | 0.186 % |
71.96/72.06 c | 12074 | 28474 163003 551643 | 2147483647 12014 100 | 0.186 % |
73.06/73.15 c | 12221 | 28474 163003 551643 | 2147483647 12161 100 | 0.186 % |
74.56/74.69 c | 12382 | 28474 163003 551643 | 2147483647 12322 101 | 0.186 % |
75.86/76.00 c | 12558 | 28474 163003 551643 | 2147483647 12498 100 | 0.186 % |
77.66/77.74 c | 12751 | 28474 163003 551643 | 2147483647 12691 101 | 0.186 % |
78.46/78.59 c | 12963 | 28474 163003 551643 | 2147483647 12903 101 | 0.186 % |
79.95/80.04 c | 13197 | 28474 163003 551643 | 2147483647 13137 101 | 0.186 % |
81.05/81.15 c | 13454 | 28472 162981 551572 | 2147483647 13392 101 | 0.193 % |
82.75/82.80 c | 13736 | 28472 162981 551572 | 2147483647 13674 101 | 0.193 % |
83.95/84.09 c | 14045 | 28472 162981 551572 | 2147483647 13983 101 | 0.193 % |
84.75/84.82 c | 14146 | 28472 162981 551572 | 2147483647 14084 100 | 0.193 % |
85.55/85.61 c | 14257 | 28472 162981 551572 | 2147483647 14195 101 | 0.193 % |
86.55/86.65 c | 14380 | 28472 162981 551572 | 2147483647 14318 100 | 0.193 % |
87.25/87.32 c | 14514 | 28472 162981 551572 | 2147483647 14452 100 | 0.193 % |
88.45/88.58 c | 14661 | 28471 162962 551508 | 2147483647 14596 101 | 0.196 % |
89.85/89.93 c | 14821 | 28471 162962 551508 | 2147483647 14756 101 | 0.196 % |
90.15/90.28 c | 14997 | 28471 162962 551508 | 2147483647 14932 100 | 0.196 % |
90.45/90.53 c | 15191 | 28471 162962 551508 | 2147483647 15126 99 | 0.196 % |
90.55/90.64 c | 15403 | 28471 162962 551508 | 2147483647 15338 98 | 0.196 % |
90.75/90.88 c | 15637 | 28471 162962 551508 | 2147483647 15572 97 | 0.196 % |
92.35/92.46 c | 15894 | 28471 162962 551508 | 2147483647 15829 98 | 0.196 % |
94.05/94.17 c | 16176 | 28471 162962 551508 | 2147483647 16111 98 | 0.196 % |
95.95/96.05 c | 16486 | 28471 162962 551508 | 2147483647 16421 99 | 0.196 % |
99.05/99.16 c | 16825 | 28471 162962 551508 | 2147483647 16760 100 | 0.196 % |
99.45/99.59 c | 16925 | 28471 162962 551508 | 2147483647 16860 99 | 0.196 % |
100.35/100.40 c | 17035 | 28471 162962 551508 | 2147483647 16970 100 | 0.196 % |
101.25/101.37 c | 17156 | 28467 162945 551464 | 2147483647 17090 100 | 0.210 % |
102.16/102.24 c | 17289 | 28467 162945 551464 | 2147483647 17223 100 | 0.210 % |
103.15/103.23 c | 17436 | 28467 162945 551464 | 2147483647 17370 100 | 0.210 % |
104.15/104.28 c | 17597 | 28467 162945 551464 | 2147483647 17531 100 | 0.210 % |
105.95/106.00 c | 17774 | 28467 162945 551464 | 2147483647 17708 101 | 0.210 % |
106.65/106.78 c | 17968 | 28467 162945 551464 | 2147483647 17902 101 | 0.210 % |
107.75/107.86 c | 18180 | 28465 162930 551413 | 2147483647 18107 100 | 0.217 % |
109.25/109.30 c | 18414 | 28465 162930 551413 | 2147483647 18341 101 | 0.217 % |
111.35/111.40 c | 18671 | 28465 162930 551413 | 2147483647 18598 101 | 0.217 % |
113.35/113.47 c | 18953 | 28465 162930 551413 | 2147483647 18880 101 | 0.217 % |
116.04/116.18 c | 19262 | 28465 162930 551413 | 2147483647 19189 102 | 0.217 % |
119.04/119.10 c | 19601 | 28465 162930 551413 | 2147483647 19528 103 | 0.217 % |
120.85/120.98 c | 19974 | 28465 162930 551413 | 2147483647 19901 101 | 0.217 % |
121.54/121.67 c | 20074 | 28465 162930 551413 | 2147483647 20001 101 | 0.217 % |
122.05/122.17 c | 20185 | 28465 162930 551413 | 2147483647 20112 101 | 0.217 % |
122.94/123.02 c | 20306 | 28465 162930 551413 | 2147483647 20233 101 | 0.217 % |
123.74/123.84 c | 20440 | 28465 162930 551413 | 2147483647 20367 101 | 0.217 % |
125.04/125.13 c | 20586 | 28465 162930 551413 | 2147483647 20513 102 | 0.217 % |
125.94/126.09 c | 20746 | 28465 162930 551413 | 2147483647 20673 102 | 0.217 % |
127.14/127.21 c | 20924 | 28465 162930 551413 | 2147483647 20851 101 | 0.217 % |
128.44/128.59 c | 21117 | 28465 162930 551413 | 2147483647 21044 101 | 0.217 % |
129.64/129.76 c | 21330 | 28465 162930 551413 | 2147483647 21257 101 | 0.217 % |
131.54/131.62 c | 21563 | 28465 162930 551413 | 2147483647 21490 100 | 0.217 % |
133.34/133.49 c | 21819 | 28465 162930 551413 | 2147483647 21746 101 | 0.217 % |
135.54/135.62 c | 22101 | 28465 162930 551413 | 2147483647 22028 101 | 0.217 % |
137.45/137.55 c | 22411 | 28465 162930 551413 | 2147483647 22338 101 | 0.217 % |
140.24/140.32 c | 22752 | 28465 162930 551413 | 2147483647 22679 102 | 0.217 % |
143.74/143.84 c | 23124 | 28465 162930 551413 | 2147483647 23051 103 | 0.217 % |
147.14/147.27 c | 23534 | 28465 162930 551413 | 2147483647 23461 102 | 0.217 % |
147.74/147.81 c | 23635 | 28465 162930 551413 | 2147483647 23562 102 | 0.217 % |
148.64/148.71 c | 23745 | 28465 162930 551413 | 2147483647 23672 101 | 0.217 % |
149.34/149.49 c | 23866 | 28465 162930 551413 | 2147483647 23793 101 | 0.217 % |
150.54/150.66 c | 23999 | 28465 162930 551413 | 2147483647 23926 102 | 0.217 % |
151.44/151.53 c | 24146 | 28465 162930 551413 | 2147483647 24073 102 | 0.217 % |
152.94/153.04 c | 24306 | 28465 162930 551413 | 2147483647 24233 102 | 0.217 % |
153.84/153.95 c | 24482 | 28465 162930 551413 | 2147483647 24409 101 | 0.217 % |
154.94/155.07 c | 24675 | 28465 162930 551413 | 2147483647 24602 102 | 0.217 % |
155.53/155.60 c | 24887 | 28465 162930 551413 | 2147483647 24814 101 | 0.217 % |
156.83/156.96 c | 25122 | 28465 162930 551413 | 2147483647 25049 101 | 0.217 % |
158.34/158.49 c | 25382 | 28465 162930 551413 | 2147483647 25309 102 | 0.217 % |
160.33/160.44 c | 25664 | 28465 162930 551413 | 2147483647 25591 101 | 0.217 % |
162.63/162.80 c | 25974 | 28465 162930 551413 | 2147483647 25901 102 | 0.217 % |
165.13/165.24 c | 26313 | 28465 162930 551413 | 2147483647 26240 102 | 0.217 % |
167.74/167.81 c | 26685 | 28465 162930 551413 | 2147483647 26612 103 | 0.217 % |
170.74/170.89 c | 27094 | 28465 162930 551413 | 2147483647 27021 103 | 0.217 % |
173.64/173.73 c | 27543 | 28465 162930 551413 | 2147483647 27470 102 | 0.217 % |
173.74/173.83 c | 27643 | 28465 162930 551413 | 2147483647 27570 102 | 0.217 % |
173.83/173.94 c | 27755 | 28465 162930 551413 | 2147483647 27682 102 | 0.217 % |
174.63/174.77 c | 27877 | 28465 162930 551413 | 2147483647 27804 102 | 0.217 % |
175.73/175.82 c | 28010 | 28465 162930 551413 | 2147483647 27937 102 | 0.217 % |
176.83/176.94 c | 28156 | 28465 162930 551413 | 2147483647 28083 102 | 0.217 % |
177.63/177.77 c | 28316 | 28465 162930 551413 | 2147483647 28243 102 | 0.217 % |
178.83/178.94 c | 28493 | 28465 162930 551413 | 2147483647 28420 101 | 0.217 % |
180.23/180.34 c | 28687 | 28465 162930 551413 | 2147483647 28614 101 | 0.217 % |
181.73/181.86 c | 28899 | 28465 162930 551413 | 2147483647 28826 102 | 0.217 % |
183.43/183.54 c | 29133 | 28465 162930 551413 | 2147483647 29060 102 | 0.217 % |
184.53/184.67 c | 29389 | 28465 162930 551413 | 2147483647 29316 102 | 0.217 % |
186.23/186.34 c | 29670 | 28465 162930 551413 | 2147483647 29597 102 | 0.217 % |
187.83/187.97 c | 29980 | 28465 162930 551413 | 2147483647 29907 102 | 0.217 % |
188.82/188.90 c | 30320 | 28465 162930 551413 | 2147483647 30247 102 | 0.217 % |
190.92/191.05 c | 30693 | 28465 162930 551413 | 2147483647 30620 102 | 0.217 % |
193.13/193.26 c | 31102 | 28465 162930 551413 | 2147483647 31029 101 | 0.217 % |
196.63/196.79 c | 31552 | 28465 162930 551413 | 2147483647 31479 102 | 0.217 % |
199.93/200.05 c | 32046 | 28465 162930 551413 | 2147483647 31973 101 | 0.217 % |
200.43/200.52 c | 32146 | 28465 162930 551413 | 2147483647 32073 101 | 0.217 % |
201.23/201.36 c | 32257 | 28465 162930 551413 | 2147483647 32184 101 | 0.217 % |
202.12/202.26 c | 32378 | 28465 162930 551413 | 2147483647 32305 101 | 0.217 % |
203.52/203.63 c | 32511 | 28465 162930 551413 | 2147483647 32438 101 | 0.217 % |
204.53/204.67 c | 32657 | 28465 162930 551413 | 2147483647 32584 102 | 0.217 % |
206.02/206.15 c | 32818 | 28465 162930 551413 | 2147483647 32745 102 | 0.217 % |
207.23/207.36 c | 32994 | 28465 162930 551413 | 2147483647 32921 102 | 0.217 % |
208.73/208.82 c | 33187 | 28465 162930 551413 | 2147483647 33114 102 | 0.217 % |
210.33/210.45 c | 33399 | 28465 162930 551413 | 2147483647 33326 102 | 0.217 % |
212.23/212.39 c | 33632 | 28465 162930 551413 | 2147483647 33559 102 | 0.217 % |
214.23/214.39 c | 33888 | 28465 162930 551413 | 2147483647 33815 102 | 0.217 % |
216.93/217.08 c | 34170 | 28465 162930 551413 | 2147483647 34097 103 | 0.217 % |
219.02/219.17 c | 34480 | 28464 162910 551341 | 2147483647 34400 103 | 0.221 % |
222.13/222.25 c | 34820 | 28464 162910 551341 | 2147483647 34740 103 | 0.221 % |
224.42/224.59 c | 35194 | 28464 162910 551341 | 2147483647 35114 104 | 0.221 % |
227.62/227.78 c | 35604 | 28464 162910 551341 | 2147483647 35524 103 | 0.221 % |
231.62/231.77 c | 36054 | 28464 162910 551341 | 2147483647 35974 104 | 0.221 % |
234.42/234.57 c | 36548 | 28464 162910 551341 | 2147483647 36468 104 | 0.221 % |
239.01/239.11 c | 37090 | 28464 162910 551341 | 2147483647 37010 105 | 0.221 % |
239.81/239.98 c | 37191 | 28464 162910 551341 | 2147483647 37111 104 | 0.221 % |
240.82/240.95 c | 37301 | 28464 162910 551341 | 2147483647 37221 105 | 0.221 % |
241.92/242.07 c | 37423 | 28464 162910 551341 | 2147483647 37343 105 | 0.221 % |
243.21/243.37 c | 37556 | 28464 162910 551341 | 2147483647 37476 105 | 0.221 % |
244.51/244.67 c | 37704 | 28464 162910 551341 | 2147483647 37624 105 | 0.221 % |
245.82/245.91 c | 37866 | 28464 162910 551341 | 2147483647 37786 105 | 0.221 % |
246.72/246.84 c | 38043 | 28464 162910 551341 | 2147483647 37963 105 | 0.221 % |
247.92/248.09 c | 38236 | 28464 162910 551341 | 2147483647 38156 105 | 0.221 % |
249.52/249.66 c | 38450 | 28464 162910 551341 | 2147483647 38370 105 | 0.221 % |
250.72/250.90 c | 38683 | 28464 162910 551341 | 2147483647 38603 105 | 0.221 % |
252.72/252.82 c | 38939 | 28464 162910 551341 | 2147483647 38859 105 | 0.221 % |
254.21/254.35 c | 39221 | 28464 162910 551341 | 2147483647 39141 105 | 0.221 % |
256.41/256.50 c | 39530 | 28464 162910 551341 | 2147483647 39450 105 | 0.221 % |
259.21/259.34 c | 39869 | 28464 162910 551341 | 2147483647 39789 105 | 0.221 % |
261.71/261.85 c | 40246 | 28464 162910 551341 | 2147483647 40166 105 | 0.221 % |
265.11/265.27 c | 40656 | 28464 162910 551341 | 2147483647 40576 106 | 0.221 % |
268.41/268.56 c | 41106 | 28464 162910 551341 | 2147483647 41026 106 | 0.221 % |
271.90/272.05 c | 41599 | 28464 162910 551341 | 2147483647 41519 107 | 0.221 % |
275.50/275.66 c | 42141 | 28464 162910 551341 | 2147483647 42061 107 | 0.221 % |
279.71/279.87 c | 42737 | 28464 162910 551341 | 2147483647 42657 107 | 0.221 % |
280.31/280.49 c | 42838 | 28464 162910 551341 | 2147483647 42758 107 | 0.221 % |
281.31/281.48 c | 42949 | 28464 162910 551341 | 2147483647 42869 107 | 0.221 % |
282.01/282.17 c | 43070 | 28464 162910 551341 | 2147483647 42990 107 | 0.221 % |
283.21/283.36 c | 43203 | 28464 162910 551341 | 2147483647 43123 107 | 0.221 % |
284.11/284.26 c | 43349 | 28464 162910 551341 | 2147483647 43269 107 | 0.221 % |
285.31/285.41 c | 43510 | 28464 162910 551341 | 2147483647 43430 107 | 0.221 % |
286.51/286.62 c | 43687 | 28464 162910 551341 | 2147483647 43607 107 | 0.221 % |
287.80/287.96 c | 43881 | 28464 162910 551341 | 2147483647 43801 107 | 0.221 % |
289.50/289.63 c | 44094 | 28464 162910 551341 | 2147483647 44014 107 | 0.221 % |
290.70/290.89 c | 44327 | 28464 162910 551341 | 2147483647 44247 107 | 0.221 % |
292.30/292.44 c | 44583 | 28464 162910 551341 | 2147483647 44503 107 | 0.221 % |
293.90/294.01 c | 44864 | 28464 162910 551341 | 2147483647 44784 107 | 0.221 % |
296.70/296.81 c | 45174 | 28464 162910 551341 | 2147483647 45094 107 | 0.221 % |
299.00/299.20 c | 45513 | 28464 162910 551341 | 2147483647 45433 107 | 0.221 % |
301.30/301.48 c | 45885 | 28464 162910 551341 | 2147483647 45805 107 | 0.221 % |
304.00/304.15 c | 46294 | 28464 162910 551341 | 2147483647 46214 107 | 0.221 % |
308.10/308.21 c | 46744 | 28464 162910 551341 | 2147483647 46664 108 | 0.221 % |
311.50/311.63 c | 47238 | 28464 162910 551341 | 2147483647 47158 108 | 0.221 % |
315.60/315.73 c | 47781 | 28464 162910 551341 | 2147483647 47701 107 | 0.221 % |
319.90/320.05 c | 48377 | 28464 162910 551341 | 2147483647 48297 108 | 0.221 % |
323.50/323.65 c | 49032 | 28464 162910 551341 | 2147483647 48952 106 | 0.221 % |
324.30/324.42 c | 49132 | 28464 162910 551341 | 2147483647 49052 107 | 0.221 % |
325.10/325.21 c | 49242 | 28464 162910 551341 | 2147483647 49162 107 | 0.221 % |
326.00/326.15 c | 49363 | 28464 162910 551341 | 2147483647 49283 107 | 0.221 % |
327.00/327.15 c | 49497 | 28464 162910 551341 | 2147483647 49417 106 | 0.221 % |
328.20/328.36 c | 49643 | 28464 162910 551341 | 2147483647 49563 107 | 0.221 % |
329.40/329.50 c | 49803 | 28464 162910 551341 | 2147483647 49723 107 | 0.221 % |
330.10/330.24 c | 49981 | 28464 162910 551341 | 2147483647 49901 106 | 0.221 % |
331.69/331.85 c | 50174 | 28464 162910 551341 | 2147483647 50094 106 | 0.221 % |
332.89/333.07 c | 50387 | 28464 162910 551341 | 2147483647 50307 106 | 0.221 % |
334.99/335.18 c | 50621 | 28464 162910 551341 | 2147483647 50541 107 | 0.221 % |
336.19/336.33 c | 50878 | 28464 162910 551341 | 2147483647 50798 107 | 0.221 % |
338.29/338.40 c | 51159 | 28464 162910 551341 | 2147483647 51079 106 | 0.221 % |
339.99/340.14 c | 51468 | 28464 162910 551341 | 2147483647 51388 106 | 0.221 % |
342.49/342.65 c | 51807 | 28464 162910 551341 | 2147483647 51727 106 | 0.221 % |
345.29/345.42 c | 52180 | 28464 162910 551341 | 2147483647 52100 107 | 0.221 % |
348.79/348.92 c | 52589 | 28464 162910 551341 | 2147483647 52509 107 | 0.221 % |
352.29/352.45 c | 53039 | 28464 162910 551341 | 2147483647 52959 106 | 0.221 % |
355.39/355.59 c | 53533 | 28464 162910 551341 | 2147483647 53453 106 | 0.221 % |
359.99/360.17 c | 54076 | 28462 162900 551307 | 2147483647 53994 107 | 0.228 % |
363.39/363.58 c | 54673 | 28462 162900 551307 | 2147483647 54591 107 | 0.228 % |
367.88/368.00 c | 55328 | 28462 162900 551307 | 2147483647 55246 107 | 0.228 % |
373.18/373.37 c | 56049 | 28462 162900 551307 | 2147483647 55967 107 | 0.228 % |
373.98/374.15 c | 56149 | 28462 162900 551307 | 2147483647 56067 107 | 0.228 % |
374.78/375.00 c | 56260 | 28462 162900 551307 | 2147483647 56178 107 | 0.228 % |
375.88/376.05 c | 56381 | 28462 162900 551307 | 2147483647 56299 107 | 0.228 % |
376.98/377.11 c | 56516 | 28462 162900 551307 | 2147483647 56434 107 | 0.228 % |
378.09/378.26 c | 56663 | 28462 162900 551307 | 2147483647 56581 107 | 0.228 % |
379.59/379.74 c | 56823 | 28462 162900 551307 | 2147483647 56741 108 | 0.228 % |
381.29/381.44 c | 56999 | 28462 162900 551307 | 2147483647 56917 108 | 0.228 % |
382.98/383.13 c | 57192 | 28462 162900 551307 | 2147483647 57110 108 | 0.228 % |
384.68/384.89 c | 57405 | 28462 162900 551307 | 2147483647 57323 108 | 0.228 % |
386.78/386.90 c | 57638 | 28462 162900 551307 | 2147483647 57556 108 | 0.228 % |
388.78/388.96 c | 57894 | 28462 162900 551307 | 2147483647 57812 108 | 0.228 % |
390.28/390.43 c | 58176 | 28462 162900 551307 | 2147483647 58094 108 | 0.228 % |
392.78/392.99 c | 58486 | 28462 162900 551307 | 2147483647 58404 108 | 0.228 % |
394.98/395.11 c | 58825 | 28462 162900 551307 | 2147483647 58743 108 | 0.228 % |
398.18/398.39 c | 59197 | 28462 162900 551307 | 2147483647 59115 109 | 0.228 % |
401.97/402.16 c | 59606 | 28462 162900 551307 | 2147483647 59524 109 | 0.228 % |
405.57/405.74 c | 60056 | 28462 162900 551307 | 2147483647 59974 109 | 0.228 % |
407.07/407.25 c | 60551 | 28462 162900 551307 | 2147483647 60469 109 | 0.228 % |
410.77/410.91 c | 61093 | 28462 162900 551307 | 2147483647 61011 110 | 0.228 % |
415.58/415.76 c | 61689 | 28462 162900 551307 | 2147483647 61607 110 | 0.228 % |
420.97/421.17 c | 62345 | 28462 162900 551307 | 2147483647 62263 110 | 0.228 % |
426.57/426.73 c | 63066 | 28462 162900 551307 | 2147483647 62984 110 | 0.228 % |
432.77/432.98 c | 63858 | 28462 162900 551307 | 2147483647 63776 111 | 0.228 % |
433.77/433.90 c | 63959 | 28462 162900 551307 | 2147483647 63877 111 | 0.228 % |
434.67/434.83 c | 64069 | 28462 162900 551307 | 2147483647 63987 111 | 0.228 % |
435.67/435.81 c | 64190 | 28462 162900 551307 | 2147483647 64108 111 | 0.228 % |
436.96/437.17 c | 64325 | 28462 162900 551307 | 2147483647 64243 111 | 0.228 % |
438.06/438.24 c | 64471 | 28462 162900 551307 | 2147483647 64389 111 | 0.228 % |
439.26/439.47 c | 64631 | 28462 162900 551307 | 2147483647 64549 111 | 0.228 % |
440.46/440.66 c | 64808 | 28462 162900 551307 | 2147483647 64726 111 | 0.228 % |
441.66/441.89 c | 65002 | 28461 162883 551248 | 2147483647 64916 111 | 0.231 % |
442.86/443.05 c | 65214 | 28461 162883 551248 | 2147483647 65128 110 | 0.231 % |
444.96/445.16 c | 65447 | 28461 162883 551248 | 2147483647 65361 111 | 0.231 % |
446.96/447.10 c | 65703 | 28461 162883 551248 | 2147483647 65617 111 | 0.231 % |
448.06/448.27 c | 65985 | 28461 162883 551248 | 2147483647 65899 111 | 0.231 % |
450.17/450.39 c | 66294 | 28461 162883 551248 | 2147483647 66208 111 | 0.231 % |
452.37/452.57 c | 66634 | 28461 162883 551248 | 2147483647 66548 111 | 0.231 % |
455.57/455.79 c | 67006 | 28461 162883 551248 | 2147483647 66920 111 | 0.231 % |
459.17/459.38 c | 67415 | 28460 162863 551176 | 2147483647 67321 111 | 0.235 % |
462.36/462.56 c | 67864 | 28460 162863 551176 | 2147483647 67770 111 | 0.235 % |
466.06/466.27 c | 68357 | 28460 162863 551176 | 2147483647 68263 111 | 0.235 % |
470.46/470.63 c | 68899 | 28460 162863 551176 | 2147483647 68805 110 | 0.235 % |
474.36/474.51 c | 69496 | 28460 162863 551176 | 2147483647 69402 110 | 0.235 % |
479.46/479.65 c | 70151 | 28460 162863 551176 | 2147483647 70057 111 | 0.235 % |
485.96/486.19 c | 70873 | 28460 162863 551176 | 2147483647 70779 111 | 0.235 % |
492.25/492.40 c | 71666 | 28460 162863 551176 | 2147483647 71572 111 | 0.235 % |
499.45/499.60 c | 72537 | 28460 162863 551176 | 2147483647 72443 111 | 0.235 % |
500.15/500.30 c | 72638 | 28460 162863 551176 | 2147483647 72544 112 | 0.235 % |
501.05/501.25 c | 72748 | 28460 162863 551176 | 2147483647 72654 112 | 0.235 % |
501.85/502.05 c | 72870 | 28460 162863 551176 | 2147483647 72776 112 | 0.235 % |
502.95/503.20 c | 73004 | 28460 162863 551176 | 2147483647 72910 112 | 0.235 % |
504.04/504.28 c | 73150 | 28460 162863 551176 | 2147483647 73056 112 | 0.235 % |
505.24/505.46 c | 73310 | 28460 162863 551176 | 2147483647 73216 112 | 0.235 % |
506.14/506.37 c | 73490 | 28460 162863 551176 | 2147483647 73396 112 | 0.235 % |
507.64/507.81 c | 73685 | 28460 162863 551176 | 2147483647 73591 112 | 0.235 % |
509.44/509.67 c | 73898 | 28460 162863 551176 | 2147483647 73804 112 | 0.235 % |
511.54/511.72 c | 74132 | 28460 162863 551176 | 2147483647 74038 112 | 0.235 % |
513.45/513.63 c | 74388 | 28460 162863 551176 | 2147483647 74294 112 | 0.235 % |
515.35/515.53 c | 74670 | 28460 162863 551176 | 2147483647 74576 112 | 0.235 % |
518.35/518.53 c | 74981 | 28460 162863 551176 | 2147483647 74887 112 | 0.235 % |
520.74/520.95 c | 75320 | 28460 162863 551176 | 2147483647 75226 112 | 0.235 % |
523.54/523.74 c | 75692 | 28460 162863 551176 | 2147483647 75598 112 | 0.235 % |
526.44/526.67 c | 76102 | 28460 162863 551176 | 2147483647 76008 112 | 0.235 % |
530.34/530.54 c | 76551 | 28460 162863 551176 | 2147483647 76457 112 | 0.235 % |
533.64/533.87 c | 77045 | 28460 162863 551176 | 2147483647 76951 112 | 0.235 % |
535.84/536.04 c | 77587 | 28460 162863 551176 | 2147483647 77493 112 | 0.235 % |
541.13/541.38 c | 78184 | 28460 162863 551176 | 2147483647 78090 112 | 0.235 % |
546.03/546.27 c | 78839 | 28460 162863 551176 | 2147483647 78745 112 | 0.235 % |
552.23/552.49 c | 79560 | 28460 162863 551176 | 2147483647 79466 113 | 0.235 % |
571.93/572.15 c | 80354 | 28460 162863 551176 | 2147483647 80260 113 | 0.235 % |
578.13/578.31 c | 81226 | 28460 162863 551176 | 2147483647 81132 113 | 0.235 % |
585.62/585.87 c | 82184 | 28460 162863 551176 | 2147483647 82090 113 | 0.235 % |
586.22/586.46 c | 82285 | 28460 162863 551176 | 2147483647 82191 113 | 0.235 % |
587.13/587.37 c | 82395 | 28460 162863 551176 | 2147483647 82301 113 | 0.235 % |
588.13/588.32 c | 82519 | 28460 162863 551176 | 2147483647 82425 113 | 0.235 % |
589.13/589.40 c | 82652 | 28460 162863 551176 | 2147483647 82558 113 | 0.235 % |
590.63/590.89 c | 82798 | 28460 162863 551176 | 2147483647 82704 113 | 0.235 % |
592.13/592.38 c | 82960 | 28460 162863 551176 | 2147483647 82866 113 | 0.235 % |
593.53/593.74 c | 83137 | 28460 162863 551176 | 2147483647 83043 113 | 0.235 % |
594.73/594.91 c | 83331 | 28460 162863 551176 | 2147483647 83237 113 | 0.235 % |
596.53/596.79 c | 83544 | 28460 162863 551176 | 2147483647 83450 113 | 0.235 % |
598.53/598.76 c | 83777 | 28460 162863 551176 | 2147483647 83683 113 | 0.235 % |
600.62/600.82 c | 84034 | 28460 162863 551176 | 2147483647 83940 114 | 0.235 % |
603.12/603.31 c | 84316 | 28460 162863 551176 | 2147483647 84222 114 | 0.235 % |
605.82/606.09 c | 84626 | 28460 162863 551176 | 2147483647 84532 114 | 0.235 % |
609.12/609.35 c | 84966 | 28460 162863 551176 | 2147483647 84872 114 | 0.235 % |
612.21/612.45 c | 85338 | 28460 162863 551176 | 2147483647 85244 114 | 0.235 % |
615.41/615.63 c | 85747 | 28460 162863 551176 | 2147483647 85653 114 | 0.235 % |
618.91/619.15 c | 86197 | 28460 162863 551176 | 2147483647 86103 114 | 0.235 % |
623.10/623.35 c | 86690 | 28460 162863 551176 | 2147483647 86596 114 | 0.235 % |
627.31/627.58 c | 87233 | 28460 162863 551176 | 2147483647 87139 114 | 0.235 % |
632.21/632.42 c | 87829 | 28460 162863 551176 | 2147483647 87735 115 | 0.235 % |
638.11/638.34 c | 88484 | 28460 162863 551176 | 2147483647 88390 115 | 0.235 % |
643.80/644.06 c | 89206 | 28460 162863 551176 | 2147483647 89112 115 | 0.235 % |
649.51/649.74 c | 89999 | 28460 162863 551176 | 2147483647 89905 115 | 0.235 % |
655.41/655.70 c | 90870 | 28460 162863 551176 | 2147483647 90776 115 | 0.235 % |
662.20/662.50 c | 91829 | 28459 162855 551148 | 2147483647 91733 116 | 0.238 % |
669.40/669.68 c | 92883 | 28459 162855 551148 | 2147483647 92787 115 | 0.238 % |
669.90/670.17 c | 92983 | 28459 162855 551148 | 2147483647 92887 115 | 0.238 % |
670.40/670.65 c | 93094 | 28459 162855 551148 | 2147483647 92998 115 | 0.238 % |
671.40/671.63 c | 93216 | 28459 162855 551148 | 2147483647 93120 115 | 0.238 % |
672.79/673.00 c | 93351 | 28459 162855 551148 | 2147483647 93255 115 | 0.238 % |
674.19/674.47 c | 93497 | 28459 162855 551148 | 2147483647 93401 115 | 0.238 % |
675.29/675.56 c | 93658 | 28459 162855 551148 | 2147483647 93562 115 | 0.238 % |
676.69/676.91 c | 93834 | 28459 162855 551148 | 2147483647 93738 115 | 0.238 % |
678.29/678.57 c | 94027 | 28459 162855 551148 | 2147483647 93931 115 | 0.238 % |
679.99/680.27 c | 94240 | 28459 162855 551148 | 2147483647 94144 115 | 0.238 % |
681.39/681.60 c | 94474 | 28459 162855 551148 | 2147483647 94378 115 | 0.238 % |
683.30/683.54 c | 94731 | 28459 162855 551148 | 2147483647 94635 115 | 0.238 % |
685.10/685.34 c | 95012 | 28459 162855 551148 | 2147483647 94916 116 | 0.238 % |
687.70/687.93 c | 95322 | 28459 162855 551148 | 2147483647 95226 116 | 0.238 % |
690.30/690.57 c | 95661 | 28459 162855 551148 | 2147483647 95565 116 | 0.238 % |
693.59/693.82 c | 96034 | 28459 162855 551148 | 2147483647 95938 116 | 0.238 % |
701.79/702.09 c | 96443 | 28459 162855 551148 | 2147483647 96347 116 | 0.238 % |
705.39/705.67 c | 96892 | 28459 162855 551148 | 2147483647 96796 116 | 0.238 % |
708.09/708.34 c | 97385 | 28459 162855 551148 | 2147483647 97289 116 | 0.238 % |
712.09/712.36 c | 97928 | 28459 162855 551148 | 2147483647 97832 116 | 0.238 % |
716.99/717.26 c | 98524 | 28459 162855 551148 | 2147483647 98428 116 | 0.238 % |
724.19/724.47 c | 99179 | 28459 162855 551148 | 2147483647 99083 116 | 0.238 % |
729.29/729.52 c | 99900 | 28459 162855 551148 | 2147483647 99804 115 | 0.238 % |
735.48/735.77 c | 100693 | 28459 162855 551148 | 2147483647 100597 116 | 0.238 % |
742.08/742.30 c | 101564 | 28459 162855 551148 | 2147483647 101468 116 | 0.238 % |
750.07/750.36 c | 102522 | 28459 162855 551148 | 2147483647 102426 116 | 0.238 % |
773.97/774.29 c | 103576 | 28459 162855 551148 | 2147483647 103480 117 | 0.238 % |
782.77/783.06 c | 104736 | 28459 162855 551148 | 2147483647 104640 117 | 0.238 % |
783.47/783.79 c | 104839 | 28459 162855 551148 | 2147483647 104743 117 | 0.238 % |
784.47/784.76 c | 104950 | 28459 162855 551148 | 2147483647 104854 117 | 0.238 % |
785.47/785.77 c | 105071 | 28459 162855 551148 | 2147483647 104975 117 | 0.238 % |
786.47/786.75 c | 105205 | 28459 162855 551148 | 2147483647 105109 117 | 0.238 % |
787.57/787.85 c | 105351 | 28459 162855 551148 | 2147483647 105255 117 | 0.238 % |
788.87/789.12 c | 105511 | 28459 162855 551148 | 2147483647 105415 117 | 0.238 % |
790.47/790.77 c | 105687 | 28459 162855 551148 | 2147483647 105591 117 | 0.238 % |
792.17/792.48 c | 105880 | 28459 162855 551148 | 2147483647 105784 117 | 0.238 % |
794.07/794.34 c | 106094 | 28459 162855 551148 | 2147483647 105998 117 | 0.238 % |
796.17/796.41 c | 106328 | 28459 162855 551148 | 2147483647 106232 117 | 0.238 % |
798.27/798.57 c | 106585 | 28459 162855 551148 | 2147483647 106489 117 | 0.238 % |
800.96/801.29 c | 106866 | 28459 162855 551148 | 2147483647 106770 117 | 0.238 % |
803.46/803.77 c | 107177 | 28459 162855 551148 | 2147483647 107081 117 | 0.238 % |
806.46/806.73 c | 107516 | 28459 162855 551148 | 2147483647 107420 117 | 0.238 % |
809.87/810.17 c | 107888 | 28459 162855 551148 | 2147483647 107792 117 | 0.238 % |
813.77/814.09 c | 108297 | 28459 162855 551148 | 2147483647 108201 118 | 0.238 % |
818.07/818.35 c | 108747 | 28459 162855 551148 | 2147483647 108651 118 | 0.238 % |
822.56/822.81 c | 109241 | 28459 162855 551148 | 2147483647 109145 118 | 0.238 % |
826.06/826.34 c | 109783 | 28459 162855 551148 | 2147483647 109687 118 | 0.238 % |
830.16/830.50 c | 110379 | 28459 162855 551148 | 2147483647 110283 118 | 0.238 % |
836.55/836.82 c | 111034 | 28459 162855 551148 | 2147483647 110938 118 | 0.238 % |
847.76/848.09 c | 111756 | 28459 162855 551148 | 2147483647 111660 118 | 0.238 % |
854.85/855.13 c | 112548 | 28459 162855 551148 | 2147483647 112452 119 | 0.238 % |
861.85/862.11 c | 113421 | 28459 162855 551148 | 2147483647 113325 119 | 0.238 % |
868.75/869.06 c | 114379 | 28459 162855 551148 | 2147483647 114283 119 | 0.238 % |
878.15/878.41 c | 115433 | 28459 162855 551148 | 2147483647 115337 119 | 0.238 % |
886.54/886.84 c | 116591 | 28459 162855 551148 | 2147483647 116495 119 | 0.238 % |
897.14/897.43 c | 117864 | 28459 162855 551148 | 2147483647 117768 120 | 0.238 % |
897.54/897.81 c | 117965 | 28459 162855 551148 | 2147483647 117869 119 | 0.238 % |
898.54/898.87 c | 118076 | 28459 162855 551148 | 2147483647 117980 119 | 0.238 % |
899.44/899.73 c | 118197 | 28459 162855 551148 | 2147483647 118101 119 | 0.238 % |
900.54/900.89 c | 118331 | 28459 162855 551148 | 2147483647 118235 119 | 0.238 % |
902.04/902.37 c | 118477 | 28459 162855 551148 | 2147483647 118381 120 | 0.238 % |
903.53/903.84 c | 118638 | 28459 162855 551148 | 2147483647 118542 120 | 0.238 % |
904.94/905.20 c | 118814 | 28459 162855 551148 | 2147483647 118718 120 | 0.238 % |
906.93/907.22 c | 119007 | 28459 162855 551148 | 2147483647 118911 119 | 0.238 % |
908.64/908.96 c | 119220 | 28459 162855 551148 | 2147483647 119124 119 | 0.238 % |
910.94/911.23 c | 119454 | 28459 162855 551148 | 2147483647 119358 120 | 0.238 % |
912.64/912.96 c | 119711 | 28459 162855 551148 | 2147483647 119615 120 | 0.238 % |
915.04/915.39 c | 119993 | 28459 162855 551148 | 2147483647 119897 120 | 0.238 % |
917.84/918.10 c | 120303 | 28459 162855 551148 | 2147483647 120207 119 | 0.238 % |
920.94/921.21 c | 120642 | 28459 162855 551148 | 2147483647 120546 119 | 0.238 % |
924.03/924.36 c | 121016 | 28459 162855 551148 | 2147483647 120920 119 | 0.238 % |
926.94/927.29 c | 121425 | 28459 162855 551148 | 2147483647 121329 119 | 0.238 % |
931.03/931.39 c | 121875 | 28459 162855 551148 | 2147483647 121779 120 | 0.238 % |
935.13/935.41 c | 122368 | 28459 162855 551148 | 2147483647 122272 120 | 0.238 % |
939.43/939.77 c | 122910 | 28459 162855 551148 | 2147483647 122814 120 | 0.238 % |
942.73/943.06 c | 123506 | 28459 162855 551148 | 2147483647 123410 120 | 0.238 % |
947.73/948.03 c | 124161 | 28459 162855 551148 | 2147483647 124065 120 | 0.238 % |
953.33/953.61 c | 124881 | 28459 162855 551148 | 2147483647 124785 120 | 0.238 % |
959.12/959.42 c | 125673 | 28459 162855 551148 | 2147483647 125577 120 | 0.238 % |
967.12/967.42 c | 126544 | 28459 162855 551148 | 2147483647 126448 120 | 0.238 % |
979.62/979.98 c | 127503 | 28459 162855 551148 | 2147483647 127407 121 | 0.238 % |
1001.12/1001.48 c | 128556 | 28459 162855 551148 | 2147483647 128460 121 | 0.238 % |
1019.11/1019.45 c | 129715 | 28459 162855 551148 | 2147483647 129619 120 | 0.238 % |
1030.90/1031.29 c | 130989 | 28459 162855 551148 | 2147483647 130893 121 | 0.238 % |
1042.31/1042.67 c | 132390 | 28459 162855 551148 | 2147483647 132294 121 | 0.238 % |
1043.21/1043.56 c | 132492 | 28459 162855 551148 | 2147483647 132396 121 | 0.238 % |
1044.01/1044.34 c | 132603 | 28459 162855 551148 | 2147483647 132507 121 | 0.238 % |
1045.31/1045.65 c | 132725 | 28459 162855 551148 | 2147483647 132629 121 | 0.238 % |
1046.51/1046.88 c | 132858 | 28459 162855 551148 | 2147483647 132762 121 | 0.238 % |
1047.81/1048.14 c | 133004 | 28459 162855 551148 | 2147483647 132908 121 | 0.238 % |
1049.30/1049.65 c | 133164 | 28459 162855 551148 | 2147483647 133068 121 | 0.238 % |
1050.50/1050.87 c | 133341 | 28459 162855 551148 | 2147483647 133245 121 | 0.238 % |
1052.31/1052.69 c | 133534 | 28459 162855 551148 | 2147483647 133438 121 | 0.238 % |
1054.00/1054.34 c | 133747 | 28459 162855 551148 | 2147483647 133651 121 | 0.238 % |
1055.50/1055.85 c | 133981 | 28459 162855 551148 | 2147483647 133885 121 | 0.238 % |
1057.60/1057.99 c | 134237 | 28459 162855 551148 | 2147483647 134141 121 | 0.238 % |
1059.60/1059.94 c | 134519 | 28459 162855 551148 | 2147483647 134423 121 | 0.238 % |
1062.20/1062.59 c | 134829 | 28459 162855 551148 | 2147483647 134733 121 | 0.238 % |
1065.39/1065.77 c | 135168 | 28459 162855 551148 | 2147483647 135072 121 | 0.238 % |
1068.29/1068.61 c | 135540 | 28459 162855 551148 | 2147483647 135444 121 | 0.238 % |
1072.09/1072.50 c | 135950 | 28459 162855 551148 | 2147483647 135854 121 | 0.238 % |
1076.49/1076.85 c | 136400 | 28459 162855 551148 | 2147483647 136304 121 | 0.238 % |
1080.39/1080.73 c | 136894 | 28459 162855 551148 | 2147483647 136798 121 | 0.238 % |
1084.99/1085.36 c | 137437 | 28459 162855 551148 | 2147483647 137341 121 | 0.238 % |
1088.69/1089.07 c | 138033 | 28459 162855 551148 | 2147483647 137937 121 | 0.238 % |
1093.59/1093.96 c | 138688 | 28459 162855 551148 | 2147483647 138592 121 | 0.238 % |
1099.89/1100.25 c | 139408 | 28459 162855 551148 | 2147483647 139312 122 | 0.238 % |
1105.98/1106.40 c | 140200 | 28459 162855 551148 | 2147483647 140104 122 | 0.238 % |
1112.58/1112.96 c | 141072 | 28459 162855 551148 | 2147483647 140976 122 | 0.238 % |
1119.79/1120.14 c | 142030 | 28459 162855 551148 | 2147483647 141934 121 | 0.238 % |
1129.18/1129.55 c | 143084 | 28459 162855 551148 | 2147483647 142988 121 | 0.238 % |
1138.77/1139.19 c | 144242 | 28459 162855 551148 | 2147483647 144146 122 | 0.238 % |
1150.98/1151.40 c | 145515 | 28459 162855 551148 | 2147483647 145419 122 | 0.238 % |
1163.87/1164.22 c | 146916 | 28459 162855 551148 | 2147483647 146820 122 | 0.238 % |
1177.77/1178.19 c | 148458 | 28459 162855 551148 | 2147483647 148362 122 | 0.238 % |
1178.57/1178.98 c | 148558 | 28459 162855 551148 | 2147483647 148462 122 | 0.238 % |
1179.47/1179.85 c | 148668 | 28459 162855 551148 | 2147483647 148572 122 | 0.238 % |
1180.67/1181.04 c | 148790 | 28459 162855 551148 | 2147483647 148694 122 | 0.238 % |
1181.47/1181.85 c | 148925 | 28459 162855 551148 | 2147483647 148829 122 | 0.238 % |
1183.07/1183.45 c | 149071 | 28459 162855 551148 | 2147483647 148975 122 | 0.238 % |
1184.67/1185.01 c | 149231 | 28459 162855 551148 | 2147483647 149135 122 | 0.238 % |
1185.97/1186.31 c | 149408 | 28459 162855 551148 | 2147483647 149312 122 | 0.238 % |
1187.97/1188.32 c | 149602 | 28459 162855 551148 | 2147483647 149506 123 | 0.238 % |
1189.77/1190.17 c | 149815 | 28459 162855 551148 | 2147483647 149719 123 | 0.238 % |
1191.97/1192.35 c | 150049 | 28459 162855 551148 | 2147483647 149953 123 | 0.238 % |
1194.06/1194.48 c | 150306 | 28459 162855 551148 | 2147483647 150210 123 | 0.238 % |
1196.96/1197.32 c | 150588 | 28459 162855 551148 | 2147483647 150492 123 | 0.238 % |
1199.56/1199.95 c | 150897 | 28459 162855 551148 | 2147483647 150801 123 | 0.238 % |
1202.66/1203.03 c | 151238 | 28459 162855 551148 | 2147483647 151142 123 | 0.238 % |
1205.76/1206.13 c | 151611 | 28459 162855 551148 | 2147483647 151515 123 | 0.238 % |
1209.57/1209.92 c | 152021 | 28459 162855 551148 | 2147483647 151925 123 | 0.238 % |
1212.96/1213.32 c | 152471 | 28459 162855 551148 | 2147483647 152375 123 | 0.238 % |
1217.66/1218.09 c | 152964 | 28459 162855 551148 | 2147483647 152868 123 | 0.238 % |
1221.56/1221.99 c | 153507 | 28459 162855 551148 | 2147483647 153411 123 | 0.238 % |
1228.55/1228.95 c | 154104 | 28459 162855 551148 | 2147483647 154008 123 | 0.238 % |
1234.55/1234.95 c | 154759 | 28459 162855 551148 | 2147483647 154663 123 | 0.238 % |
1241.25/1241.69 c | 155480 | 28457 162845 551123 | 2147483647 155381 123 | 0.245 % |
1244.95/1245.34 c | 156274 | 28457 162845 551123 | 2147483647 156175 123 | 0.245 % |
1251.36/1251.76 c | 157145 | 28457 162845 551123 | 2147483647 157046 123 | 0.245 % |
1258.95/1259.31 c | 158103 | 28457 162845 551123 | 2147483647 158004 123 | 0.245 % |
1269.05/1269.41 c | 159156 | 28457 162845 551123 | 2147483647 159057 123 | 0.245 % |
1277.04/1277.43 c | 160314 | 28457 162845 551123 | 2147483647 160215 123 | 0.245 % |
1294.14/1294.52 c | 161587 | 28457 162845 551123 | 2147483647 161488 124 | 0.245 % |
1321.63/1322.02 c | 162987 | 28457 162845 551123 | 2147483647 162888 124 | 0.245 % |
1334.93/1335.32 c | 164528 | 28457 162845 551123 | 2147483647 164429 124 | 0.245 % |
1350.22/1350.62 c | 166223 | 28457 162845 551123 | 2147483647 166124 124 | 0.245 % |
1351.42/1351.84 c | 166323 | 28457 162845 551123 | 2147483647 166224 124 | 0.245 % |
1352.22/1352.62 c | 166434 | 28457 162845 551123 | 2147483647 166335 124 | 0.245 % |
1353.32/1353.74 c | 166555 | 28457 162845 551123 | 2147483647 166456 124 | 0.245 % |
1354.42/1354.89 c | 166689 | 28457 162845 551123 | 2147483647 166590 124 | 0.245 % |
1355.92/1356.34 c | 166836 | 28457 162845 551123 | 2147483647 166737 124 | 0.245 % |
1356.82/1357.24 c | 166996 | 28457 162845 551123 | 2147483647 166897 124 | 0.245 % |
1358.22/1358.63 c | 167174 | 28457 162845 551123 | 2147483647 167075 124 | 0.245 % |
1359.72/1360.10 c | 167367 | 28457 162845 551123 | 2147483647 167268 124 | 0.245 % |
1360.92/1361.30 c | 167580 | 28457 162845 551123 | 2147483647 167481 124 | 0.245 % |
1362.82/1363.21 c | 167814 | 28457 162845 551123 | 2147483647 167715 124 | 0.245 % |
1365.22/1365.60 c | 168071 | 28457 162845 551123 | 2147483647 167972 124 | 0.245 % |
1368.02/1368.48 c | 168352 | 28457 162845 551123 | 2147483647 168253 124 | 0.245 % |
1370.62/1371.01 c | 168663 | 28457 162845 551123 | 2147483647 168564 124 | 0.245 % |
1374.32/1374.75 c | 169002 | 28457 162845 551123 | 2147483647 168903 124 | 0.245 % |
1377.42/1377.89 c | 169374 | 28457 162845 551123 | 2147483647 169275 124 | 0.245 % |
1381.12/1381.56 c | 169784 | 28457 162845 551123 | 2147483647 169685 124 | 0.245 % |
1385.21/1385.62 c | 170234 | 28457 162845 551123 | 2147483647 170135 124 | 0.245 % |
1389.61/1390.00 c | 170728 | 28457 162845 551123 | 2147483647 170629 125 | 0.245 % |
1394.52/1394.92 c | 171270 | 28457 162845 551123 | 2147483647 171171 125 | 0.245 % |
1400.51/1400.98 c | 171867 | 28457 162845 551123 | 2147483647 171768 125 | 0.245 % |
1405.51/1405.95 c | 172522 | 28457 162845 551123 | 2147483647 172423 125 | 0.245 % |
1411.11/1411.57 c | 173242 | 28457 162845 551123 | 2147483647 173143 125 | 0.245 % |
1420.01/1420.42 c | 174034 | 28457 162845 551123 | 2147483647 173935 125 | 0.245 % |
1427.51/1427.95 c | 174906 | 28457 162845 551123 | 2147483647 174807 125 | 0.245 % |
1435.01/1435.45 c | 175864 | 28457 162845 551123 | 2147483647 175765 125 | 0.245 % |
1444.00/1444.43 c | 176918 | 28457 162845 551123 | 2147483647 176819 125 | 0.245 % |
1453.90/1454.35 c | 178077 | 28457 162845 551123 | 2147483647 177978 125 | 0.245 % |
1464.39/1464.86 c | 179351 | 28457 162845 551123 | 2147483647 179252 125 | 0.245 % |
1476.99/1477.45 c | 180752 | 28457 162845 551123 | 2147483647 180653 126 | 0.245 % |
1491.69/1492.19 c | 182293 | 28457 162845 551123 | 2147483647 182194 126 | 0.245 % |
1506.98/1507.43 c | 183987 | 28457 162845 551123 | 2147483647 183888 126 | 0.245 % |
1523.28/1523.73 c | 185850 | 28457 162845 551123 | 2147483647 185751 126 | 0.245 % |
1524.08/1524.58 c | 185952 | 28457 162845 551123 | 2147483647 185853 126 | 0.245 % |
1525.08/1525.52 c | 186062 | 28457 162845 551123 | 2147483647 185963 126 | 0.245 % |
1525.58/1526.05 c | 186183 | 28457 162845 551123 | 2147483647 186084 126 | 0.245 % |
1526.08/1526.59 c | 186316 | 28457 162845 551123 | 2147483647 186217 126 | 0.245 % |
1527.17/1527.66 c | 186462 | 28457 162845 551123 | 2147483647 186363 126 | 0.245 % |
1528.77/1529.22 c | 186622 | 28457 162845 551123 | 2147483647 186523 126 | 0.245 % |
1530.47/1530.94 c | 186799 | 28457 162845 551123 | 2147483647 186700 126 | 0.245 % |
1531.78/1532.28 c | 186992 | 28457 162845 551123 | 2147483647 186893 126 | 0.245 % |
1534.08/1534.56 c | 187205 | 28457 162845 551123 | 2147483647 187106 126 | 0.245 % |
1536.37/1536.84 c | 187438 | 28457 162845 551123 | 2147483647 187339 126 | 0.245 % |
1538.67/1539.10 c | 187695 | 28457 162845 551123 | 2147483647 187596 126 | 0.245 % |
1541.68/1542.13 c | 187976 | 28457 162845 551123 | 2147483647 187877 126 | 0.245 % |
1544.28/1544.74 c | 188285 | 28457 162845 551123 | 2147483647 188186 126 | 0.245 % |
1547.28/1547.74 c | 188625 | 28457 162845 551123 | 2147483647 188526 126 | 0.245 % |
1550.47/1550.99 c | 188997 | 28457 162845 551123 | 2147483647 188898 126 | 0.245 % |
1554.27/1554.71 c | 189408 | 28457 162845 551123 | 2147483647 189309 126 | 0.245 % |
1558.57/1559.04 c | 189858 | 28457 162845 551123 | 2147483647 189759 126 | 0.245 % |
1562.17/1562.66 c | 190352 | 28457 162845 551123 | 2147483647 190253 126 | 0.245 % |
1567.56/1568.08 c | 190896 | 28457 162845 551123 | 2147483647 190797 126 | 0.245 % |
1573.77/1574.28 c | 191492 | 28457 162845 551123 | 2147483647 191393 127 | 0.245 % |
1580.57/1581.09 c | 192147 | 28457 162845 551123 | 2147483647 192048 127 | 0.245 % |
1586.57/1587.05 c | 192868 | 28457 162845 551123 | 2147483647 192769 127 | 0.245 % |
1594.86/1595.35 c | 193660 | 28457 162845 551123 | 2147483647 193561 127 | 0.245 % |
1600.16/1600.61 c | 194532 | 28457 162845 551123 | 2147483647 194433 127 | 0.245 % |
1608.86/1609.37 c | 195490 | 28457 162845 551123 | 2147483647 195391 127 | 0.245 % |
1618.46/1618.98 c | 196543 | 28457 162845 551123 | 2147483647 196444 127 | 0.245 % |
1628.05/1628.52 c | 197702 | 28457 162845 551123 | 2147483647 197603 127 | 0.245 % |
1638.05/1638.54 c | 198976 | 28457 162845 551123 | 2147483647 198877 127 | 0.245 % |
1650.85/1651.36 c | 200377 | 28457 162845 551123 | 2147483647 200278 127 | 0.245 % |
1663.65/1664.10 c | 201918 | 28457 162845 551123 | 2147483647 201819 128 | 0.245 % |
1678.14/1678.60 c | 203612 | 28457 162845 551123 | 2147483647 203513 128 | 0.245 % |
1695.34/1695.88 c | 205475 | 28457 162845 551123 | 2147483647 205376 128 | 0.245 % |
1711.73/1712.23 c | 207525 | 28457 162845 551123 | 2147483647 207426 128 | 0.245 % |
1712.83/1713.38 c | 207626 | 28457 162845 551123 | 2147483647 207527 128 | 0.245 % |
1713.93/1714.40 c | 207737 | 28457 162845 551123 | 2147483647 207638 128 | 0.245 % |
1714.93/1715.47 c | 207858 | 28457 162845 551123 | 2147483647 207759 128 | 0.245 % |
1716.53/1717.04 c | 207992 | 28457 162845 551123 | 2147483647 207893 128 | 0.245 % |
1718.23/1718.78 c | 208140 | 28457 162845 551123 | 2147483647 208041 128 | 0.245 % |
1719.83/1720.35 c | 208301 | 28457 162845 551123 | 2147483647 208202 128 | 0.245 % |
1722.43/1722.99 c | 208477 | 28457 162845 551123 | 2147483647 208378 128 | 0.245 % |
1724.63/1725.11 c | 208670 | 28457 162845 551123 | 2147483647 208571 128 | 0.245 % |
1726.13/1726.65 c | 208883 | 28457 162845 551123 | 2147483647 208784 128 | 0.245 % |
1728.03/1728.59 c | 209116 | 28457 162845 551123 | 2147483647 209017 128 | 0.245 % |
1730.23/1730.74 c | 209373 | 28457 162845 551123 | 2147483647 209274 128 | 0.245 % |
1733.23/1733.72 c | 209657 | 28457 162845 551123 | 2147483647 209558 128 | 0.245 % |
1735.93/1736.46 c | 209966 | 28457 162845 551123 | 2147483647 209867 128 | 0.245 % |
1739.03/1739.57 c | 210305 | 28457 162845 551123 | 2147483647 210206 128 | 0.245 % |
1742.13/1742.69 c | 210678 | 28457 162845 551123 | 2147483647 210579 128 | 0.245 % |
1746.33/1746.83 c | 211087 | 28457 162845 551123 | 2147483647 210988 128 | 0.245 % |
1750.42/1750.95 c | 211536 | 28457 162845 551123 | 2147483647 211437 128 | 0.245 % |
1756.02/1756.51 c | 212029 | 28457 162845 551123 | 2147483647 211930 128 | 0.245 % |
1761.22/1761.78 c | 212572 | 28457 162845 551123 | 2147483647 212473 128 | 0.245 % |
1766.22/1766.75 c | 213168 | 28457 162845 551123 | 2147483647 213069 128 | 0.245 % |
1770.81/1771.39 c | 213824 | 28457 162845 551123 | 2147483647 213725 128 | 0.245 % |
1778.41/1778.94 c | 214544 | 28457 162845 551123 | 2147483647 214445 128 | 0.245 % |
1785.91/1786.44 c | 215336 | 28457 162845 551123 | 2147483647 215237 128 | 0.245 % |
1794.31/1794.88 c | 216207 | 28457 162845 551123 | 2147483647 216108 128 | 0.245 % |
1801.71/1802.28 c | 217166 | 28457 162845 551123 | 2147483647 217067 128 | 0.245 % |
1813.01/1813.55 c | 218220 | 28457 162845 551123 | 2147483647 218121 128 | 0.245 % |
1824.00/1824.51 c | 219378 | 28457 162845 551123 | 2147483647 219279 128 | 0.245 % |
1835.80/1836.35 c | 220651 | 28457 162845 551123 | 2147483647 220552 128 | 0.245 % |
1849.10/1849.69 c | 222052 | 28457 162845 551123 | 2147483647 221953 128 | 0.245 % |
1861.89/1862.43 c | 223593 | 28457 162845 551123 | 2147483647 223494 128 | 0.245 % |
1897.48/1898.04 c | 225287 | 28457 162845 551123 | 2147483647 225188 127 | 0.245 % |
1914.17/1914.79 c | 227151 | 28457 162845 551123 | 2147483647 227052 127 | 0.245 % |
1933.48/1934.02 c | 229200 | 28457 162845 551123 | 2147483647 229101 127 | 0.245 % |
1962.77/1963.34 c | 231454 | 28457 162845 551123 | 2147483647 231355 127 | 0.245 % |
1963.87/1964.43 c | 231554 | 28457 162845 551123 | 2147483647 231455 127 | 0.245 % |
1964.97/1965.57 c | 231665 | 28457 162845 551123 | 2147483647 231566 127 | 0.245 % |
1966.06/1966.66 c | 231787 | 28457 162845 551123 | 2147483647 231688 127 | 0.245 % |
1967.06/1967.65 c | 231921 | 28457 162845 551123 | 2147483647 231822 127 | 0.245 % |
1968.26/1968.87 c | 232067 | 28457 162845 551123 | 2147483647 231968 127 | 0.245 % |
1969.76/1970.31 c | 232227 | 28457 162845 551123 | 2147483647 232128 127 | 0.245 % |
1971.77/1972.32 c | 232405 | 28457 162845 551123 | 2147483647 232306 127 | 0.245 % |
1973.97/1974.52 c | 232599 | 28457 162845 551123 | 2147483647 232500 127 | 0.245 % |
1976.36/1976.91 c | 232812 | 28457 162845 551123 | 2147483647 232713 127 | 0.245 % |
1978.06/1978.65 c | 233046 | 28457 162845 551123 | 2147483647 232947 127 | 0.245 % |
1980.36/1980.96 c | 233304 | 28457 162845 551123 | 2147483647 233205 127 | 0.245 % |
1983.26/1983.80 c | 233585 | 28457 162845 551123 | 2147483647 233486 127 | 0.245 % |
1986.77/1987.32 c | 233894 | 28457 162845 551123 | 2147483647 233795 127 | 0.245 % |
1989.16/1989.78 c | 234233 | 28457 162845 551123 | 2147483647 234134 127 | 0.245 % |
1993.36/1993.92 c | 234605 | 28457 162845 551123 | 2147483647 234506 127 | 0.245 % |
1997.56/1998.13 c | 235014 | 28457 162845 551123 | 2147483647 234915 127 | 0.245 % |
2001.76/2002.33 c | 235463 | 28457 162845 551123 | 2147483647 235364 127 | 0.245 % |
2006.06/2006.60 c | 235956 | 28457 162845 551123 | 2147483647 235857 127 | 0.245 % |
2011.95/2012.56 c | 236498 | 28457 162845 551123 | 2147483647 236399 127 | 0.245 % |
2021.45/2022.10 c | 237094 | 28456 162829 551070 | 2147483647 236992 127 | 0.249 % |
2027.55/2028.12 c | 237750 | 28456 162829 551070 | 2147483647 237648 127 | 0.249 % |
2034.85/2035.46 c | 238470 | 28456 162829 551070 | 2147483647 238368 127 | 0.249 % |
2041.94/2042.51 c | 239263 | 28456 162829 551070 | 2147483647 239161 127 | 0.249 % |
2050.54/2051.13 c | 240134 | 28456 162829 551070 | 2147483647 240032 127 | 0.249 % |
2058.94/2059.56 c | 241092 | 28456 162829 551070 | 2147483647 240990 127 | 0.249 % |
2070.04/2070.64 c | 242146 | 28456 162829 551070 | 2147483647 242044 127 | 0.249 % |
2080.03/2080.61 c | 243304 | 28456 162829 551070 | 2147483647 243202 128 | 0.249 % |
2092.83/2093.46 c | 244577 | 28456 162829 551070 | 2147483647 244475 128 | 0.249 % |
2103.83/2104.42 c | 245979 | 28456 162829 551070 | 2147483647 245877 128 | 0.249 % |
2125.22/2125.81 c | 247520 | 28456 162829 551070 | 2147483647 247418 128 | 0.249 % |
2140.12/2140.75 c | 249214 | 28456 162829 551070 | 2147483647 249112 128 | 0.249 % |
2161.51/2162.15 c | 251079 | 28456 162829 551070 | 2147483647 250977 128 | 0.249 % |
2180.01/2180.69 c | 253129 | 28456 162829 551070 | 2147483647 253027 128 | 0.249 % |
2212.80/2213.41 c | 255383 | 28456 162829 551070 | 2147483647 255281 128 | 0.249 % |
2234.61/2235.28 c | 257861 | 28456 162829 551070 | 2147483647 257759 128 | 0.249 % |
2235.71/2236.38 c | 257961 | 28456 162829 551070 | 2147483647 257859 128 | 0.249 % |
2237.00/2237.66 c | 258072 | 28456 162829 551070 | 2147483647 257970 128 | 0.249 % |
2238.40/2239.05 c | 258194 | 28456 162829 551070 | 2147483647 258092 128 | 0.249 % |
2239.50/2240.12 c | 258327 | 28456 162829 551070 | 2147483647 258225 128 | 0.249 % |
2240.80/2241.49 c | 258474 | 28456 162829 551070 | 2147483647 258372 128 | 0.249 % |
2241.99/2242.62 c | 258635 | 28456 162829 551070 | 2147483647 258533 128 | 0.249 % |
2243.49/2244.16 c | 258812 | 28456 162829 551070 | 2147483647 258710 128 | 0.249 % |
2245.39/2246.03 c | 259005 | 28456 162829 551070 | 2147483647 258903 128 | 0.249 % |
2247.19/2247.86 c | 259217 | 28456 162829 551070 | 2147483647 259115 128 | 0.249 % |
2250.59/2251.21 c | 259450 | 28456 162829 551070 | 2147483647 259348 128 | 0.249 % |
2252.89/2253.60 c | 259706 | 28456 162829 551070 | 2147483647 259604 128 | 0.249 % |
2255.79/2256.47 c | 259987 | 28456 162829 551070 | 2147483647 259885 128 | 0.249 % |
2258.69/2259.38 c | 260296 | 28456 162829 551070 | 2147483647 260194 128 | 0.249 % |
2261.58/2262.23 c | 260636 | 28456 162829 551070 | 2147483647 260534 128 | 0.249 % |
2264.98/2265.67 c | 261008 | 28456 162829 551070 | 2147483647 260906 128 | 0.249 % |
2269.08/2269.74 c | 261418 | 28456 162829 551070 | 2147483647 261316 128 | 0.249 % |
2273.48/2274.13 c | 261868 | 28456 162829 551070 | 2147483647 261766 128 | 0.249 % |
2278.29/2278.95 c | 262363 | 28456 162829 551070 | 2147483647 262261 128 | 0.249 % |
2282.79/2283.45 c | 262906 | 28456 162829 551070 | 2147483647 262804 128 | 0.249 % |
2288.88/2289.59 c | 263502 | 28456 162829 551070 | 2147483647 263400 128 | 0.249 % |
2302.88/2303.57 c | 264157 | 28456 162829 551070 | 2147483647 264055 128 | 0.249 % |
2309.18/2309.88 c | 264877 | 28456 162829 551070 | 2147483647 264775 128 | 0.249 % |
2313.98/2314.67 c | 265669 | 28456 162829 551070 | 2147483647 265567 128 | 0.249 % |
2322.07/2322.74 c | 266540 | 28456 162829 551070 | 2147483647 266438 128 | 0.249 % |
2330.97/2331.69 c | 267498 | 28456 162829 551070 | 2147483647 267396 128 | 0.249 % |
2341.17/2341.90 c | 268551 | 28456 162829 551070 | 2147483647 268449 128 | 0.249 % |
2367.26/2367.97 c | 269710 | 28456 162829 551070 | 2147483647 269608 128 | 0.249 % |
2393.65/2394.32 c | 270983 | 28456 162829 551070 | 2147483647 270881 127 | 0.249 % |
2409.36/2410.05 c | 272383 | 28452 162790 550935 | 2147483647 272269 127 | 0.263 % |
2420.35/2421.05 c | 273924 | 28452 162790 550935 | 2147483647 273810 127 | 0.263 % |
2436.64/2437.39 c | 275619 | 28452 162790 550935 | 2147483647 275505 127 | 0.263 % |
2457.14/2457.86 c | 277483 | 28452 162790 550935 | 2147483647 277369 127 | 0.263 % |
2475.34/2476.08 c | 279532 | 28452 162790 550935 | 2147483647 279418 127 | 0.263 % |
2524.52/2525.20 c | 281786 | 28452 162790 550935 | 2147483647 281672 127 | 0.263 % |
2570.52/2571.23 c | 284265 | 28452 162790 550935 | 2147483647 284151 127 | 0.263 % |
2604.01/2604.75 c | 286990 | 28452 162790 550935 | 2147483647 286876 127 | 0.263 % |
2604.90/2605.60 c | 287091 | 28452 162790 550935 | 2147483647 286977 127 | 0.263 % |
2606.21/2606.97 c | 287202 | 28452 162790 550935 | 2147483647 287088 127 | 0.263 % |
2607.41/2608.11 c | 287323 | 28452 162790 550935 | 2147483647 287209 127 | 0.263 % |
2608.90/2609.66 c | 287456 | 28452 162790 550935 | 2147483647 287342 127 | 0.263 % |
2610.60/2611.32 c | 287602 | 28452 162790 550935 | 2147483647 287488 127 | 0.263 % |
2612.40/2613.19 c | 287764 | 28452 162790 550935 | 2147483647 287650 127 | 0.263 % |
2614.40/2615.11 c | 287940 | 28452 162790 550935 | 2147483647 287826 127 | 0.263 % |
2616.40/2617.17 c | 288134 | 28452 162790 550935 | 2147483647 288020 127 | 0.263 % |
2618.50/2619.20 c | 288346 | 28452 162790 550935 | 2147483647 288232 127 | 0.263 % |
2621.01/2621.74 c | 288579 | 28452 162790 550935 | 2147483647 288465 127 | 0.263 % |
2629.90/2630.65 c | 288835 | 28452 162790 550935 | 2147483647 288721 127 | 0.263 % |
2632.80/2633.56 c | 289116 | 28452 162790 550935 | 2147483647 289002 127 | 0.263 % |
2635.60/2636.31 c | 289426 | 28452 162790 550935 | 2147483647 289312 127 | 0.263 % |
2638.90/2639.65 c | 289766 | 28452 162790 550935 | 2147483647 289652 127 | 0.263 % |
2642.20/2642.93 c | 290139 | 28452 162790 550935 | 2147483647 290025 127 | 0.263 % |
2646.40/2647.15 c | 290549 | 28452 162790 550935 | 2147483647 290435 127 | 0.263 % |
2659.89/2660.60 c | 290999 | 28452 162790 550935 | 2147483647 290885 127 | 0.263 % |
2664.29/2665.03 c | 291493 | 28452 162790 550935 | 2147483647 291379 127 | 0.263 % |
2669.39/2670.17 c | 292036 | 28452 162790 550935 | 2147483647 291922 127 | 0.263 % |
2675.49/2676.23 c | 292632 | 28452 162790 550935 | 2147483647 292518 127 | 0.263 % |
2680.88/2681.63 c | 293287 | 28452 162790 550935 | 2147483647 293173 127 | 0.263 % |
2689.48/2690.24 c | 294007 | 28452 162790 550935 | 2147483647 293893 127 | 0.263 % |
2697.28/2698.01 c | 294801 | 28452 162790 550935 | 2147483647 294687 127 | 0.263 % |
2704.38/2705.13 c | 295673 | 28452 162790 550935 | 2147483647 295559 127 | 0.263 % |
2713.48/2714.25 c | 296633 | 28452 162790 550935 | 2147483647 296519 127 | 0.263 % |
2723.77/2724.54 c | 297687 | 28452 162790 550935 | 2147483647 297573 127 | 0.263 % |
2735.27/2736.05 c | 298845 | 28452 162790 550935 | 2147483647 298731 127 | 0.263 % |
2748.87/2749.64 c | 300118 | 28452 162790 550935 | 2147483647 300004 127 | 0.263 % |
2762.17/2762.95 c | 301518 | 28452 162790 550935 | 2147483647 301404 127 | 0.263 % |
2780.26/2781.02 c | 303059 | 28452 162790 550935 | 2147483647 302945 127 | 0.263 % |
2796.36/2797.11 c | 304754 | 28452 162790 550935 | 2147483647 304640 127 | 0.263 % |
2819.85/2820.68 c | 306618 | 28452 162790 550935 | 2147483647 306504 127 | 0.263 % |
2855.74/2856.56 c | 308667 | 28452 162790 550935 | 2147483647 308553 127 | 0.263 % |
2881.74/2882.52 c | 310920 | 28452 162790 550935 | 2147483647 310806 127 | 0.263 % |
2918.23/2919.01 c | 313398 | 28452 162790 550935 | 2147483647 313284 127 | 0.263 % |
2946.42/2947.24 c | 316124 | 28452 162790 550935 | 2147483647 316010 127 | 0.263 % |
2983.61/2984.40 c | 319121 | 28452 162790 550935 | 2147483647 319007 126 | 0.263 % |
2984.81/2985.61 c | 319221 | 28452 162790 550935 | 2147483647 319107 127 | 0.263 % |
2985.61/2986.43 c | 319331 | 28452 162790 550935 | 2147483647 319217 126 | 0.263 % |
2986.91/2987.76 c | 319452 | 28452 162790 550935 | 2147483647 319338 127 | 0.263 % |
2988.41/2989.21 c | 319585 | 28452 162790 550935 | 2147483647 319471 126 | 0.263 % |
2989.71/2990.55 c | 319733 | 28452 162790 550935 | 2147483647 319619 126 | 0.263 % |
2991.41/2992.29 c | 319893 | 28452 162790 550935 | 2147483647 319779 126 | 0.263 % |
2993.61/2994.44 c | 320069 | 28452 162790 550935 | 2147483647 319955 126 | 0.263 % |
2995.51/2996.35 c | 320263 | 28452 162790 550935 | 2147483647 320149 126 | 0.263 % |
2997.71/2998.57 c | 320476 | 28452 162790 550935 | 2147483647 320362 127 | 0.263 % |
2999.60/3000.44 c | 320709 | 28452 162790 550935 | 2147483647 320595 126 | 0.263 % |
3002.50/3003.37 c | 320966 | 28452 162790 550935 | 2147483647 320852 127 | 0.263 % |
3005.01/3005.82 c | 321247 | 28452 162790 550935 | 2147483647 321133 127 | 0.263 % |
3008.61/3009.44 c | 321557 | 28452 162790 550935 | 2147483647 321443 127 | 0.263 % |
3011.51/3012.34 c | 321899 | 28452 162790 550935 | 2147483647 321785 127 | 0.263 % |
3015.51/3016.30 c | 322271 | 28452 162790 550935 | 2147483647 322157 127 | 0.263 % |
3019.60/3020.48 c | 322681 | 28452 162790 550935 | 2147483647 322567 127 | 0.263 % |
3025.10/3025.92 c | 323130 | 28452 162790 550935 | 2147483647 323016 127 | 0.263 % |
3029.20/3030.07 c | 323623 | 28452 162790 550935 | 2147483647 323509 127 | 0.263 % |
3035.00/3035.87 c | 324166 | 28452 162790 550935 | 2147483647 324052 127 | 0.263 % |
3040.99/3041.89 c | 324765 | 28452 162790 550935 | 2147483647 324651 127 | 0.263 % |
3048.50/3049.37 c | 325420 | 28452 162790 550935 | 2147483647 325306 127 | 0.263 % |
3056.30/3057.17 c | 326141 | 28452 162790 550935 | 2147483647 326027 127 | 0.263 % |
3065.49/3066.31 c | 326933 | 28452 162790 550935 | 2147483647 326819 127 | 0.263 % |
3073.29/3074.19 c | 327804 | 28452 162790 550935 | 2147483647 327690 127 | 0.263 % |
3084.59/3085.42 c | 328762 | 28452 162790 550935 | 2147483647 328648 127 | 0.263 % |
3095.38/3096.21 c | 329816 | 28452 162790 550935 | 2147483647 329702 127 | 0.263 % |
3107.48/3108.38 c | 330976 | 28452 162790 550935 | 2147483647 330862 127 | 0.263 % |
3118.88/3119.78 c | 332249 | 28452 162790 550935 | 2147483647 332135 127 | 0.263 % |
3137.97/3138.85 c | 333650 | 28452 162790 550935 | 2147483647 333536 127 | 0.263 % |
3152.97/3153.81 c | 335190 | 28452 162790 550935 | 2147483647 335076 127 | 0.263 % |
3170.76/3171.67 c | 336884 | 28452 162790 550935 | 2147483647 336770 127 | 0.263 % |
3205.85/3206.79 c | 338748 | 28452 162790 550935 | 2147483647 338634 127 | 0.263 % |
3247.24/3248.15 c | 340797 | 28452 162790 550935 | 2147483647 340683 127 | 0.263 % |
3285.04/3285.95 c | 343051 | 28452 162790 550935 | 2147483647 342937 126 | 0.263 % |
3332.42/3333.34 c | 345529 | 28452 162790 550935 | 2147483647 345415 126 | 0.263 % |
3380.62/3381.60 c | 348254 | 28452 162790 550935 | 2147483647 348140 125 | 0.263 % |
3426.61/3427.59 c | 351251 | 28452 162790 550935 | 2147483647 351137 125 | 0.263 % |
3470.69/3471.62 c | 354547 | 28452 162790 550935 | 2147483647 354433 125 | 0.263 % |
3471.59/3472.58 c | 354647 | 28452 162790 550935 | 2147483647 354533 125 | 0.263 % |
3472.89/3473.80 c | 354758 | 28452 162790 550935 | 2147483647 354644 125 | 0.263 % |
3473.79/3474.73 c | 354879 | 28452 162790 550935 | 2147483647 354765 125 | 0.263 % |
3475.09/3476.05 c | 355012 | 28452 162790 550935 | 2147483647 354898 125 | 0.263 % |
3476.69/3477.69 c | 355158 | 28452 162790 550935 | 2147483647 355044 125 | 0.263 % |
3478.39/3479.38 c | 355319 | 28452 162790 550935 | 2147483647 355205 125 | 0.263 % |
3480.49/3481.45 c | 355495 | 28452 162790 550935 | 2147483647 355381 125 | 0.263 % |
3482.38/3483.30 c | 355690 | 28452 162790 550935 | 2147483647 355576 125 | 0.263 % |
3484.90/3485.82 c | 355903 | 28452 162790 550935 | 2147483647 355789 125 | 0.263 % |
3486.99/3487.95 c | 356136 | 28452 162790 550935 | 2147483647 356022 125 | 0.263 % |
3489.49/3490.48 c | 356392 | 28452 162790 550935 | 2147483647 356278 125 | 0.263 % |
3492.39/3493.32 c | 356675 | 28452 162790 550935 | 2147483647 356561 125 | 0.263 % |
3495.59/3496.54 c | 356984 | 28452 162790 550935 | 2147483647 356870 125 | 0.263 % |
3498.78/3499.70 c | 357324 | 28452 162790 550935 | 2147483647 357210 125 | 0.263 % |
3502.59/3503.55 c | 357697 | 28452 162790 550935 | 2147483647 357583 125 | 0.263 % |
3506.68/3507.64 c | 358107 | 28452 162790 550935 | 2147483647 357993 125 | 0.263 % |
3510.99/3511.94 c | 358557 | 28452 162790 550935 | 2147483647 358443 125 | 0.263 % |
3516.08/3517.10 c | 359050 | 28452 162790 550935 | 2147483647 358936 125 | 0.263 % |
3523.48/3524.42 c | 359592 | 28452 162790 550935 | 2147483647 359478 125 | 0.263 % |
3529.28/3530.26 c | 360189 | 28452 162790 550935 | 2147483647 360075 125 | 0.263 % |
3536.07/3537.08 c | 360845 | 28452 162790 550935 | 2147483647 360731 125 | 0.263 % |
3542.37/3543.33 c | 361565 | 28452 162790 550935 | 2147483647 361451 125 | 0.263 % |
3550.57/3551.56 c | 362359 | 28452 162790 550935 | 2147483647 362245 125 | 0.263 % |
3558.87/3559.83 c | 363231 | 28452 162790 550935 | 2147483647 363117 125 | 0.263 % |
3570.07/3571.03 c | 364190 | 28452 162790 550935 | 2147483647 364076 125 | 0.263 % |
3587.36/3588.36 c | 365244 | 28452 162790 550935 | 2147483647 365130 125 | 0.263 % |
3600.65/3601.69 c | 366403 | 28452 162790 550935 | 2147483647 366289 125 | 0.263 % |
3613.46/3614.42 c | 367676 | 28452 162790 550935 | 2147483647 367562 125 | 0.263 % |
3624.26/3625.20 c | 369076 | 28452 162790 550935 | 2147483647 368962 125 | 0.263 % |
3653.74/3654.79 c | 370618 | 28452 162790 550935 | 2147483647 370504 125 | 0.263 % |
3684.24/3685.20 c | 372312 | 28452 162790 550935 | 2147483647 372198 124 | 0.263 % |
3705.44/3706.43 c | 374178 | 28452 162790 550935 | 2147483647 374064 124 | 0.263 % |
3734.93/3735.92 c | 376227 | 28452 162790 550935 | 2147483647 376113 124 | 0.263 % |
3764.62/3765.61 c | 378480 | 28452 162790 550935 | 2147483647 378366 124 | 0.263 % |
3813.20/3814.27 c | 380958 | 28452 162790 550935 | 2147483647 380844 124 | 0.263 % |
3871.90/3872.97 c | 383683 | 28452 162790 550935 | 2147483647 383569 123 | 0.263 % |
3908.79/3909.88 c | 386680 | 28452 162790 550935 | 2147483647 386566 123 | 0.263 % |
3953.87/3954.92 c | 389976 | 28452 162790 550935 | 2147483647 389862 123 | 0.263 % |
3991.77/3992.82 c | 393602 | 28452 162790 550935 | 2147483647 393488 123 | 0.263 % |
3993.07/3994.15 c | 393703 | 28452 162790 550935 | 2147483647 393589 123 | 0.263 % |
3993.97/3995.03 c | 393814 | 28452 162790 550935 | 2147483647 393700 123 | 0.263 % |
3995.27/3996.30 c | 393936 | 28452 162790 550935 | 2147483647 393822 123 | 0.263 % |
3996.47/3997.53 c | 394070 | 28452 162790 550935 | 2147483647 393956 123 | 0.263 % |
3997.86/3998.98 c | 394216 | 28452 162790 550935 | 2147483647 394102 123 | 0.263 % |
3999.67/4000.71 c | 394376 | 28452 162790 550935 | 2147483647 394262 123 | 0.263 % |
4001.36/4002.47 c | 394552 | 28452 162790 550935 | 2147483647 394438 123 | 0.263 % |
4004.06/4005.16 c | 394745 | 28452 162790 550935 | 2147483647 394631 123 | 0.263 % |
4006.46/4007.53 c | 394958 | 28452 162790 550935 | 2147483647 394844 123 | 0.263 % |
4008.86/4009.97 c | 395191 | 28452 162790 550935 | 2147483647 395077 123 | 0.263 % |
4011.86/4012.90 c | 395447 | 28452 162790 550935 | 2147483647 395333 123 | 0.263 % |
4014.66/4015.70 c | 395730 | 28452 162790 550935 | 2147483647 395616 123 | 0.263 % |
4018.16/4019.26 c | 396040 | 28452 162790 550935 | 2147483647 395926 123 | 0.263 % |
4021.75/4022.88 c | 396379 | 28452 162790 550935 | 2147483647 396265 123 | 0.263 % |
4025.85/4027.00 c | 396752 | 28452 162790 550935 | 2147483647 396638 123 | 0.263 % |
4029.85/4030.94 c | 397161 | 28452 162790 550935 | 2147483647 397047 123 | 0.263 % |
4035.26/4036.32 c | 397610 | 28452 162790 550935 | 2147483647 397496 123 | 0.263 % |
4040.16/4041.22 c | 398104 | 28452 162790 550935 | 2147483647 397990 123 | 0.263 % |
4045.76/4046.80 c | 398647 | 28452 162790 550935 | 2147483647 398533 123 | 0.263 % |
4051.45/4052.57 c | 399243 | 28452 162790 550935 | 2147483647 399129 123 | 0.263 % |
4058.65/4059.76 c | 399899 | 28452 162790 550935 | 2147483647 399785 123 | 0.263 % |
4066.35/4067.48 c | 400620 | 28452 162790 550935 | 2147483647 400506 123 | 0.263 % |
4073.84/4074.91 c | 401413 | 28452 162790 550935 | 2147483647 401299 123 | 0.263 % |
4083.44/4084.50 c | 402285 | 28452 162790 550935 | 2147483647 402171 123 | 0.263 % |
4094.24/4095.39 c | 403244 | 28452 162790 550935 | 2147483647 403130 123 | 0.263 % |
4105.33/4106.43 c | 404298 | 28452 162790 550935 | 2147483647 404184 123 | 0.263 % |
4117.94/4119.04 c | 405456 | 28452 162790 550935 | 2147483647 405342 123 | 0.263 % |
4130.93/4132.00 c | 406730 | 28452 162790 550935 | 2147483647 406616 123 | 0.263 % |
4145.63/4146.72 c | 408131 | 28452 162790 550935 | 2147483647 408017 123 | 0.263 % |
4166.72/4167.81 c | 409671 | 28452 162790 550935 | 2147483647 409557 123 | 0.263 % |
4186.82/4187.95 c | 411365 | 28452 162790 550935 | 2147483647 411251 123 | 0.263 % |
4231.70/4232.86 c | 413228 | 28452 162790 550935 | 2147483647 413114 123 | 0.263 % |
4254.59/4255.79 c | 415277 | 28452 162790 550935 | 2147483647 415163 123 | 0.263 % |
4283.66/4284.87 c | 417530 | 28443 162731 550762 | 2147483647 417402 123 | 0.294 % |
4330.15/4331.31 c | 420008 | 28443 162731 550762 | 2147483647 419880 122 | 0.294 % |
4386.13/4387.32 c | 422733 | 28443 162731 550762 | 2147483647 422605 122 | 0.294 % |
4423.82/4425.00 c | 425731 | 28443 162731 550762 | 2147483647 425603 122 | 0.294 % |
4498.71/4499.99 c | 429027 | 28443 162731 550762 | 2147483647 428899 121 | 0.294 % |
4570.29/4571.50 c | 432652 | 28443 162731 550762 | 2147483647 432524 121 | 0.294 % |
4666.77/4668.00 c | 436639 | 28443 162731 550762 | 2147483647 436511 120 | 0.294 % |
4667.87/4669.19 c | 436739 | 28443 162731 550762 | 2147483647 436611 120 | 0.294 % |
4668.87/4670.13 c | 436849 | 28443 162731 550762 | 2147483647 436721 120 | 0.294 % |
4670.27/4671.60 c | 436970 | 28443 162731 550762 | 2147483647 436842 120 | 0.294 % |
4671.37/4672.64 c | 437103 | 28443 162731 550762 | 2147483647 436975 120 | 0.294 % |
4673.27/4674.56 c | 437251 | 28443 162731 550762 | 2147483647 437123 120 | 0.294 % |
4674.67/4675.96 c | 437412 | 28443 162731 550762 | 2147483647 437284 120 | 0.294 % |
4677.07/4678.31 c | 437588 | 28443 162731 550762 | 2147483647 437460 120 | 0.294 % |
4678.77/4680.04 c | 437781 | 28443 162731 550762 | 2147483647 437653 120 | 0.294 % |
4681.16/4682.40 c | 437993 | 28443 162731 550762 | 2147483647 437865 120 | 0.294 % |
4683.27/4684.55 c | 438226 | 28443 162731 550762 | 2147483647 438098 120 | 0.294 % |
4686.66/4687.92 c | 438482 | 28443 162731 550762 | 2147483647 438354 120 | 0.294 % |
4688.96/4690.25 c | 438763 | 28443 162731 550762 | 2147483647 438635 120 | 0.294 % |
4692.36/4693.64 c | 439075 | 28443 162731 550762 | 2147483647 438947 120 | 0.294 % |
4697.36/4698.62 c | 439415 | 28443 162731 550762 | 2147483647 439287 120 | 0.294 % |
4700.56/4701.90 c | 439787 | 28443 162731 550762 | 2147483647 439659 120 | 0.294 % |
4705.25/4706.50 c | 440196 | 28443 162731 550762 | 2147483647 440068 120 | 0.294 % |
4709.35/4710.60 c | 440646 | 28443 162731 550762 | 2147483647 440518 120 | 0.294 % |
4714.65/4715.96 c | 441139 | 28443 162731 550762 | 2147483647 441011 120 | 0.294 % |
4719.75/4721.05 c | 441682 | 28443 162731 550762 | 2147483647 441554 120 | 0.294 % |
4727.25/4728.52 c | 442278 | 28443 162731 550762 | 2147483647 442150 120 | 0.294 % |
4732.65/4733.98 c | 442933 | 28443 162731 550762 | 2147483647 442805 120 | 0.294 % |
4739.85/4741.16 c | 443653 | 28443 162731 550762 | 2147483647 443525 120 | 0.294 % |
4749.75/4751.08 c | 444446 | 28443 162731 550762 | 2147483647 444318 120 | 0.294 % |
4766.84/4768.18 c | 445317 | 28443 162731 550762 | 2147483647 445189 120 | 0.294 % |
4777.44/4778.72 c | 446277 | 28443 162731 550762 | 2147483647 446149 120 | 0.294 % |
4787.63/4788.97 c | 447330 | 28443 162731 550762 | 2147483647 447202 120 | 0.294 % |
4807.12/4808.48 c | 448488 | 28443 162731 550762 | 2147483647 448360 120 | 0.294 % |
4830.43/4831.72 c | 449762 | 28443 162731 550762 | 2147483647 449634 120 | 0.294 % |
4845.23/4846.56 c | 451163 | 28443 162731 550762 | 2147483647 451035 120 | 0.294 % |
4874.81/4876.18 c | 452705 | 28443 162731 550762 | 2147483647 452577 120 | 0.294 % |
4912.80/4914.15 c | 454399 | 28443 162731 550762 | 2147483647 454271 119 | 0.294 % |
4941.59/4942.97 c | 456263 | 28443 162731 550762 | 2147483647 456135 119 | 0.294 % |
4962.90/4964.24 c | 458312 | 28443 162731 550762 | 2147483647 458184 119 | 0.294 % |
5012.28/5013.68 c | 460565 | 28443 162731 550762 | 2147483647 460437 119 | 0.294 % |
5064.26/5065.67 c | 463043 | 28443 162731 550762 | 2147483647 462915 119 | 0.294 % |
5143.14/5144.56 c | 465769 | 28443 162731 550762 | 2147483647 465641 118 | 0.294 % |
5182.94/5184.34 c | 468767 | 28443 162731 550762 | 2147483647 468639 118 | 0.294 % |
5250.83/5252.27 c | 472063 | 28443 162731 550762 | 2147483647 471935 118 | 0.294 % |
5343.70/5345.19 c | 475689 | 28443 162731 550762 | 2147483647 475561 117 | 0.294 % |
5441.88/5443.34 c | 479676 | 28443 162731 550762 | 2147483647 479548 117 | 0.294 % |
5558.14/5559.62 c | 484064 | 28443 162731 550762 | 2147483647 483936 116 | 0.294 % |
5559.05/5560.58 c | 484165 | 28443 162731 550762 | 2147483647 484037 116 | 0.294 % |
5560.15/5561.61 c | 484275 | 28443 162731 550762 | 2147483647 484147 116 | 0.294 % |
5561.44/5562.96 c | 484397 | 28443 162731 550762 | 2147483647 484269 116 | 0.294 % |
5562.74/5564.23 c | 484530 | 28443 162731 550762 | 2147483647 484402 116 | 0.294 % |
5564.05/5565.52 c | 484677 | 28443 162731 550762 | 2147483647 484549 116 | 0.294 % |
5565.55/5567.09 c | 484838 | 28443 162731 550762 | 2147483647 484710 116 | 0.294 % |
5567.35/5568.84 c | 485014 | 28443 162731 550762 | 2147483647 484886 116 | 0.294 % |
5569.55/5571.06 c | 485208 | 28443 162731 550762 | 2147483647 485080 116 | 0.294 % |
5571.55/5573.07 c | 485423 | 28443 162731 550762 | 2147483647 485295 116 | 0.294 % |
5573.55/5575.00 c | 485656 | 28443 162731 550762 | 2147483647 485528 116 | 0.294 % |
5576.05/5577.56 c | 485912 | 28443 162731 550762 | 2147483647 485784 116 | 0.294 % |
5578.94/5580.46 c | 486193 | 28443 162731 550762 | 2147483647 486065 116 | 0.294 % |
5581.74/5583.26 c | 486503 | 28443 162731 550762 | 2147483647 486375 116 | 0.294 % |
5585.24/5586.71 c | 486844 | 28443 162731 550762 | 2147483647 486716 116 | 0.294 % |
5589.44/5590.90 c | 487217 | 28443 162731 550762 | 2147483647 487089 116 | 0.294 % |
5594.94/5596.47 c | 487626 | 28443 162731 550762 | 2147483647 487498 116 | 0.294 % |
5600.33/5601.83 c | 488075 | 28443 162731 550762 | 2147483647 487947 116 | 0.294 % |
5604.23/5605.78 c | 488568 | 28443 162731 550762 | 2147483647 488440 116 | 0.294 % |
5610.03/5611.55 c | 489111 | 28443 162731 550762 | 2147483647 488983 116 | 0.294 % |
5615.34/5616.82 c | 489707 | 28443 162731 550762 | 2147483647 489579 116 | 0.294 % |
5622.64/5624.17 c | 490365 | 28443 162731 550762 | 2147483647 490237 116 | 0.294 % |
5636.63/5638.14 c | 491086 | 28443 162731 550762 | 2147483647 490958 116 | 0.294 % |
5655.73/5657.29 c | 491880 | 28443 162731 550762 | 2147483647 491752 116 | 0.294 % |
5665.42/5666.90 c | 492751 | 28443 162731 550762 | 2147483647 492623 116 | 0.294 % |
5683.91/5685.43 c | 493709 | 28443 162731 550762 | 2147483647 493581 116 | 0.294 % |
5696.32/5697.81 c | 494764 | 28443 162731 550762 | 2147483647 494636 116 | 0.294 % |
5719.41/5720.99 c | 495922 | 28443 162731 550762 | 2147483647 495794 116 | 0.294 % |
5756.70/5758.29 c | 497195 | 28443 162731 550762 | 2147483647 497067 115 | 0.294 % |
5787.29/5788.83 c | 498596 | 28443 162731 550762 | 2147483647 498468 115 | 0.294 % |
5803.79/5805.37 c | 500137 | 28443 162731 550762 | 2147483647 500009 115 | 0.294 % |
5833.28/5834.89 c | 501831 | 28443 162731 550762 | 2147483647 501703 115 | 0.294 % |
5868.77/5870.36 c | 503694 | 28443 162731 550762 | 2147483647 503566 115 | 0.294 % |
5902.16/5903.72 c | 505743 | 28443 162731 550762 | 2147483647 505615 115 | 0.294 % |
5942.26/5943.84 c | 507996 | 28443 162731 550762 | 2147483647 507868 114 | 0.294 % |
6006.34/6007.92 c | 510474 | 28443 162731 550762 | 2147483647 510346 114 | 0.294 % |
6041.84/6043.46 c | 513199 | 28443 162731 550762 | 2147483647 513071 114 | 0.294 % |
6115.52/6117.14 c | 516196 | 28443 162731 550762 | 2147483647 516068 114 | 0.294 % |
6220.78/6222.49 c | 519492 | 28443 162731 550762 | 2147483647 519364 113 | 0.294 % |
6311.56/6313.22 c | 523117 | 28443 162731 550762 | 2147483647 522989 113 | 0.294 % |
6412.24/6413.98 c | 527104 | 28443 162731 550762 | 2147483647 526976 112 | 0.294 % |
6523.22/6524.92 c | 531491 | 28443 162731 550762 | 2147483647 531363 112 | 0.294 % |
6632.89/6634.60 c | 536315 | 28443 162731 550762 | 2147483647 536187 111 | 0.294 % |
6633.99/6635.74 c | 536415 | 28443 162731 550762 | 2147483647 536287 111 | 0.294 % |
6634.99/6636.75 c | 536525 | 28443 162731 550762 | 2147483647 536397 111 | 0.294 % |
6636.59/6638.39 c | 536647 | 28443 162731 550762 | 2147483647 536519 111 | 0.294 % |
6637.69/6639.42 c | 536781 | 28443 162731 550762 | 2147483647 536653 111 | 0.294 % |
6639.39/6641.15 c | 536928 | 28443 162731 550762 | 2147483647 536800 111 | 0.294 % |
6641.19/6642.97 c | 537088 | 28443 162731 550762 | 2147483647 536960 111 | 0.294 % |
6642.88/6644.60 c | 537264 | 28443 162731 550762 | 2147483647 537136 111 | 0.294 % |
6644.58/6646.34 c | 537458 | 28443 162731 550762 | 2147483647 537330 111 | 0.294 % |
6646.58/6648.37 c | 537671 | 28443 162731 550762 | 2147483647 537543 111 | 0.294 % |
6649.08/6650.85 c | 537904 | 28443 162731 550762 | 2147483647 537776 111 | 0.294 % |
6652.98/6654.70 c | 538160 | 28443 162731 550762 | 2147483647 538032 111 | 0.294 % |
6661.28/6663.04 c | 538442 | 28443 162731 550762 | 2147483647 538314 111 | 0.294 % |
6664.18/6665.96 c | 538753 | 28443 162731 550762 | 2147483647 538625 111 | 0.294 % |
6668.37/6670.14 c | 539092 | 28443 162731 550762 | 2147483647 538964 111 | 0.294 % |
6672.87/6674.61 c | 539464 | 28443 162731 550762 | 2147483647 539336 111 | 0.294 % |
6676.57/6678.31 c | 539873 | 28443 162731 550762 | 2147483647 539745 111 | 0.294 % |
6680.57/6682.35 c | 540322 | 28443 162731 550762 | 2147483647 540194 111 | 0.294 % |
6685.48/6687.29 c | 540815 | 28443 162731 550762 | 2147483647 540687 111 | 0.294 % |
6690.98/6692.77 c | 541358 | 28443 162731 550762 | 2147483647 541230 111 | 0.294 % |
6700.68/6702.43 c | 541954 | 28443 162731 550762 | 2147483647 541826 111 | 0.294 % |
6720.37/6722.13 c | 542610 | 28443 162731 550762 | 2147483647 542482 111 | 0.294 % |
6728.36/6730.12 c | 543330 | 28443 162731 550762 | 2147483647 543202 111 | 0.294 % |
6737.76/6739.57 c | 544124 | 28443 162731 550762 | 2147483647 543996 111 | 0.294 % |
6752.66/6754.47 c | 544996 | 28443 162731 550762 | 2147483647 544868 111 | 0.294 % |
6770.85/6772.63 c | 545956 | 28443 162731 550762 | 2147483647 545828 111 | 0.294 % |
6790.24/6792.08 c | 547011 | 28443 162731 550762 | 2147483647 546883 111 | 0.294 % |
6821.15/6822.90 c | 548169 | 28443 162731 550762 | 2147483647 548041 110 | 0.294 % |
6846.14/6847.93 c | 549443 | 28443 162731 550762 | 2147483647 549315 110 | 0.294 % |
6866.93/6868.73 c | 550843 | 28442 162726 550750 | 2147483647 550713 110 | 0.298 % |
6912.82/6914.67 c | 552383 | 28442 162726 550750 | 2147483647 552253 110 | 0.298 % |
6965.20/6967.08 c | 554079 | 28442 162726 550750 | 2147483647 553949 110 | 0.298 % |
7021.19/7023.03 c | 555944 | 28442 162726 550750 | 2147483647 555814 109 | 0.298 % |
7084.18/7086.01 c | 557993 | 28442 162726 550750 | 2147483647 557863 109 | 0.298 % |
7134.66/7136.59 c | 560247 | 28442 162726 550750 | 2147483647 560117 109 | 0.298 % |
7183.95/7185.84 c | 562727 | 28442 162726 550750 | 2147483647 562597 109 | 0.298 % |
7245.54/7247.41 c | 565452 | 28442 162726 550750 | 2147483647 565322 108 | 0.298 % |
7341.12/7343.01 c | 568450 | 28442 162726 550750 | 2147483647 568320 108 | 0.298 % |
7407.00/7408.96 c | 571747 | 28442 162726 550750 | 2147483647 571617 107 | 0.298 % |
7488.88/7490.82 c | 575373 | 28442 162726 550750 | 2147483647 575243 107 | 0.298 % |
7606.25/7608.26 c | 579363 | 28442 162726 550750 | 2147483647 579233 107 | 0.298 % |
7745.22/7747.27 c | 583749 | 28442 162726 550750 | 2147483647 583619 106 | 0.298 % |
7898.58/7900.68 c | 588573 | 28442 162726 550750 | 2147483647 588443 105 | 0.298 % |
8064.53/8066.67 c | 593879 | 28442 162726 550750 | 2147483647 593749 105 | 0.298 % |
8065.73/8067.86 c | 593979 | 28442 162726 550750 | 2147483647 593849 105 | 0.298 % |
8066.94/8069.08 c | 594090 | 28442 162726 550750 | 2147483647 593960 105 | 0.298 % |
8068.54/8070.70 c | 594211 | 28442 162726 550750 | 2147483647 594081 105 | 0.298 % |
8069.64/8071.78 c | 594346 | 28442 162726 550750 | 2147483647 594216 105 | 0.298 % |
8072.14/8074.25 c | 594492 | 28442 162726 550750 | 2147483647 594362 105 | 0.298 % |
8073.74/8075.87 c | 594652 | 28442 162726 550750 | 2147483647 594522 105 | 0.298 % |
8077.03/8079.12 c | 594830 | 28442 162726 550750 | 2147483647 594700 105 | 0.298 % |
8079.03/8081.13 c | 595023 | 28442 162726 550750 | 2147483647 594893 105 | 0.298 % |
8083.33/8085.44 c | 595235 | 28442 162726 550750 | 2147483647 595105 105 | 0.298 % |
8085.63/8087.80 c | 595468 | 28442 162726 550750 | 2147483647 595338 105 | 0.298 % |
8088.63/8090.75 c | 595724 | 28442 162726 550750 | 2147483647 595594 105 | 0.298 % |
8091.43/8093.56 c | 596005 | 28442 162726 550750 | 2147483647 595875 104 | 0.298 % |
8099.73/8101.81 c | 596314 | 28442 162726 550750 | 2147483647 596184 104 | 0.298 % |
8105.12/8107.26 c | 596654 | 28442 162726 550750 | 2147483647 596524 104 | 0.298 % |
8112.53/8114.70 c | 597026 | 28442 162726 550750 | 2147483647 596896 104 | 0.298 % |
8116.02/8118.13 c | 597435 | 28442 162726 550750 | 2147483647 597305 104 | 0.298 % |
8126.22/8128.37 c | 597884 | 28442 162726 550750 | 2147483647 597754 104 | 0.298 % |
8136.61/8138.79 c | 598378 | 28442 162726 550750 | 2147483647 598248 104 | 0.298 % |
8151.81/8153.99 c | 598920 | 28442 162726 550750 | 2147483647 598790 104 | 0.298 % |
8171.61/8173.79 c | 599516 | 28442 162726 550750 | 2147483647 599386 104 | 0.298 % |
8183.61/8185.75 c | 600171 | 28442 162726 550750 | 2147483647 600041 104 | 0.298 % |
8203.31/8205.45 c | 600891 | 28442 162726 550750 | 2147483647 600761 104 | 0.298 % |
8218.20/8220.32 c | 601683 | 28442 162726 550750 | 2147483647 601553 104 | 0.298 % |
8225.80/8227.91 c | 602554 | 28442 162726 550750 | 2147483647 602424 104 | 0.298 % |
8252.19/8254.38 c | 603514 | 28442 162726 550750 | 2147483647 603384 104 | 0.298 % |
8277.49/8279.63 c | 604567 | 28442 162726 550750 | 2147483647 604437 104 | 0.298 % |
8306.27/8308.48 c | 605725 | 28442 162726 550750 | 2147483647 605595 104 | 0.298 % |
8333.68/8335.82 c | 607000 | 28442 162726 550750 | 2147483647 606870 103 | 0.298 % |
8374.66/8376.83 c | 608400 | 28442 162726 550750 | 2147483647 608270 103 | 0.298 % |
8412.55/8414.77 c | 609940 | 28442 162726 550750 | 2147483647 609810 103 | 0.298 % |
8464.04/8466.20 c | 611635 | 28442 162726 550750 | 2147483647 611505 103 | 0.298 % |
8508.93/8511.15 c | 613498 | 28442 162726 550750 | 2147483647 613368 103 | 0.298 % |
8559.82/8562.00 c | 615549 | 28442 162726 550750 | 2147483647 615419 103 | 0.298 % |
8623.50/8625.74 c | 617803 | 28442 162726 550750 | 2147483647 617673 102 | 0.298 % |
8689.48/8691.75 c | 620281 | 28442 162726 550750 | 2147483647 620151 102 | 0.298 % |
8772.07/8774.32 c | 623007 | 28442 162726 550750 | 2147483647 622877 102 | 0.298 % |
8851.45/8853.79 c | 626004 | 28442 162726 550750 | 2147483647 625874 101 | 0.298 % |
8948.23/8950.54 c | 629301 | 28442 162726 550750 | 2147483647 629171 101 | 0.298 % |
9028.80/9031.18 c | 632926 | 28442 162726 550750 | 2147483647 632796 100 | 0.298 % |
9121.99/9124.35 c | 636913 | 28442 162726 550750 | 2147483647 636783 100 | 0.298 % |
9244.85/9247.24 c | 641298 | 28442 162726 550750 | 2147483647 641168 100 | 0.298 % |
9390.12/9392.55 c | 646121 | 28442 162726 550750 | 2147483647 645991 99 | 0.298 % |
9549.58/9552.09 c | 651426 | 28442 162726 550750 | 2147483647 651296 98 | 0.298 % |
9736.14/9738.68 c | 657261 | 28442 162726 550750 | 2147483647 657131 98 | 0.298 % |
9739.84/9742.34 c | 657363 | 28442 162726 550750 | 2147483647 657233 98 | 0.298 % |
9741.44/9743.97 c | 657474 | 28442 162726 550750 | 2147483647 657344 98 | 0.298 % |
9743.54/9746.00 c | 657595 | 28442 162726 550750 | 2147483647 657465 98 | 0.298 % |
9745.43/9747.99 c | 657728 | 28442 162726 550750 | 2147483647 657598 98 | 0.298 % |
9747.23/9749.78 c | 657874 | 28442 162726 550750 | 2147483647 657744 98 | 0.298 % |
9749.04/9751.50 c | 658034 | 28442 162726 550750 | 2147483647 657904 98 | 0.298 % |
9755.54/9758.08 c | 658211 | 28442 162726 550750 | 2147483647 658081 98 | 0.298 % |
9760.33/9762.83 c | 658404 | 28442 162726 550750 | 2147483647 658274 98 | 0.298 % |
9768.03/9770.53 c | 658616 | 28442 162726 550750 | 2147483647 658486 98 | 0.298 % |
9776.82/9779.37 c | 658850 | 28442 162726 550750 | 2147483647 658720 98 | 0.298 % |
9784.82/9787.38 c | 659107 | 28442 162726 550750 | 2147483647 658977 98 | 0.298 % |
9790.62/9793.11 c | 659389 | 28442 162726 550750 | 2147483647 659259 98 | 0.298 % |
9797.02/9799.57 c | 659698 | 28442 162726 550750 | 2147483647 659568 98 | 0.298 % |
9807.32/9809.89 c | 660037 | 28442 162726 550750 | 2147483647 659907 97 | 0.298 % |
9818.01/9820.52 c | 660410 | 28442 162726 550750 | 2147483647 660280 97 | 0.298 % |
9822.12/9824.66 c | 660819 | 28442 162726 550750 | 2147483647 660689 97 | 0.298 % |
9829.92/9832.46 c | 661270 | 28442 162726 550750 | 2147483647 661140 97 | 0.298 % |
9841.71/9844.25 c | 661765 | 28442 162726 550750 | 2147483647 661635 97 | 0.298 % |
9859.71/9862.21 c | 662308 | 28442 162726 550750 | 2147483647 662178 97 | 0.298 % |
9867.31/9869.89 c | 662904 | 28442 162726 550750 | 2147483647 662774 97 | 0.298 % |
9883.50/9886.07 c | 663559 | 28442 162726 550750 | 2147483647 663429 97 | 0.298 % |
9906.60/9909.19 c | 664279 | 28442 162726 550750 | 2147483647 664149 97 | 0.298 % |
9931.29/9933.84 c | 665071 | 28442 162726 550750 | 2147483647 664941 97 | 0.298 % |
9962.28/9964.84 c | 665942 | 28442 162726 550750 | 2147483647 665812 97 | 0.298 % |
9994.47/9997.07 c | 666901 | 28442 162726 550750 | 2147483647 666771 97 | 0.298 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837310-1242867056/watcher-1837310-1242867056 -o /tmp/evaluation-result-1837310-1242867056/solver-1837310-1242867056 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837310-1242867056.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.95 0.98 0.96 3/64 15816
/proc/meminfo: memFree=1780680/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=0
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314738851 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15816/statm: 1339 237 197 169 0 50 0
[startup+0.0952011 s]
/proc/loadavg: 0.95 0.98 0.96 3/64 15816
/proc/meminfo: memFree=1780680/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=0
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314738851 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15816/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101201 s]
/proc/loadavg: 0.95 0.98 0.96 3/64 15816
/proc/meminfo: memFree=1780680/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=0
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314738851 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15816/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301217 s]
/proc/loadavg: 0.95 0.98 0.96 3/64 15816
/proc/meminfo: memFree=1780680/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=0
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314738851 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15816/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701253 s]
/proc/loadavg: 0.95 0.98 0.96 3/64 15816
/proc/meminfo: memFree=1780680/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=0
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314738851 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15816/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50133 s]
/proc/loadavg: 0.95 0.98 0.96 2/66 15821
/proc/meminfo: memFree=1741176/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 5356
[startup+3.10146 s]
/proc/loadavg: 0.95 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1761080/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=12736 CPUtime=1.64
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 2968 0 0 0 163 1 0 0 25 0 1 0 314738996 13041664 2919 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 3184 2919 76 171 0 3011 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 18092
[startup+6.30174 s]
/proc/loadavg: 0.95 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1760760/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=13132 CPUtime=4.85
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 3075 0 0 0 483 2 0 0 25 0 1 0 314738996 13447168 3026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 3283 3026 76 171 0 3110 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18488
[startup+12.7023 s]
/proc/loadavg: 0.95 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1760056/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=13924 CPUtime=11.24
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 3256 0 0 0 1122 2 0 0 25 0 1 0 314738996 14258176 3207 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 3481 3207 77 171 0 3308 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 19280
[startup+25.5014 s]
/proc/loadavg: 0.96 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1759096/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=14848 CPUtime=24.03
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 3513 0 0 0 2401 2 0 0 25 0 1 0 314738996 15204352 3464 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 3712 3464 77 171 0 3539 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 20204
[startup+51.1016 s]
/proc/loadavg: 0.97 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1757432/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=16696 CPUtime=49.63
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 3970 0 0 0 4959 4 0 0 25 0 1 0 314738996 17096704 3921 1992294400 134512640 135215339 4294956240 18446744073709551615 134528942 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 4174 3921 77 171 0 4001 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 22052
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1753656/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=20392 CPUtime=100.82
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 4898 0 0 0 10076 6 0 0 25 0 1 0 314738996 20881408 4849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 5098 4849 77 171 0 4925 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 25748
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1749688/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=24380 CPUtime=160.8
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 5878 0 0 0 16073 7 0 0 25 0 1 0 314738996 24965120 5829 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 6095 5829 77 171 0 5922 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 29736
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1745464/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=28508 CPUtime=220.79
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 6912 0 0 0 22069 10 0 0 25 0 1 0 314738996 29192192 6863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 7127 6863 77 171 0 6954 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 33864
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1741240/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=32812 CPUtime=280.78
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 7975 0 0 0 28066 12 0 0 25 0 1 0 314738996 33599488 7926 1992294400 134512640 135215339 4294956240 18446744073709551615 134528911 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 8203 7926 77 171 0 8030 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 38168
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1737208/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=36652 CPUtime=340.76
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 8950 0 0 0 34063 13 0 0 25 0 1 0 314738996 37531648 8901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 9163 8901 77 171 0 8990 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 42008
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1732984/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=40880 CPUtime=400.74
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 10014 0 0 0 40059 15 0 0 25 0 1 0 314738996 41861120 9965 1992294400 134512640 135215339 4294956240 18446744073709551615 134538059 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 10220 9965 77 171 0 10047 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 46236
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1728696/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
################
# More data... #
################
/proc/15822/statm: 74116 73186 77 171 0 73943 0
Current children cumulated CPU time (s) 9339.93
Current children cumulated vsize (KiB) 301820
[startup+9402.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/66 16320
/proc/meminfo: memFree=1476856/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=296760 CPUtime=9398.49
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73312 0 0 0 939725 124 0 0 25 0 1 0 314738996 303882240 73263 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74190 73263 77 171 0 74017 0
Current children cumulated CPU time (s) 9399.92
Current children cumulated vsize (KiB) 302116
[startup+9462.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 16320
/proc/meminfo: memFree=1476728/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=297036 CPUtime=9458.47
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73364 0 0 0 945723 124 0 0 25 0 1 0 314738996 304164864 73315 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74259 73315 77 171 0 74086 0
Current children cumulated CPU time (s) 9459.9
Current children cumulated vsize (KiB) 302392
[startup+9522.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 16320
/proc/meminfo: memFree=1476408/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=297480 CPUtime=9518.45
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73447 0 0 0 951721 124 0 0 25 0 1 0 314738996 304619520 73398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74370 73398 77 171 0 74197 0
Current children cumulated CPU time (s) 9519.88
Current children cumulated vsize (KiB) 302836
[startup+9582.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 16320
/proc/meminfo: memFree=1476152/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=297776 CPUtime=9578.45
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73510 0 0 0 957720 125 0 0 25 0 1 0 314738996 304922624 73461 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74444 73461 77 171 0 74271 0
Current children cumulated CPU time (s) 9579.88
Current children cumulated vsize (KiB) 303132
[startup+9642.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 16320
/proc/meminfo: memFree=1475768/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=298132 CPUtime=9638.43
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73595 0 0 0 963718 125 0 0 25 0 1 0 314738996 305287168 73546 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74533 73546 77 171 0 74360 0
Current children cumulated CPU time (s) 9639.86
Current children cumulated vsize (KiB) 303488
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16320
/proc/meminfo: memFree=1475576/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=298132 CPUtime=9698.42
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73637 0 0 0 969717 125 0 0 25 0 1 0 314738996 305287168 73588 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74533 73588 77 171 0 74360 0
Current children cumulated CPU time (s) 9699.85
Current children cumulated vsize (KiB) 303488
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16320
/proc/meminfo: memFree=1474936/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=299060 CPUtime=9758.4
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73794 0 0 0 975715 125 0 0 25 0 1 0 314738996 306237440 73745 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74765 73745 77 171 0 74592 0
Current children cumulated CPU time (s) 9759.83
Current children cumulated vsize (KiB) 304416
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16320
/proc/meminfo: memFree=1474616/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=299192 CPUtime=9818.39
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73862 0 0 0 981713 126 0 0 25 0 1 0 314738996 306372608 73813 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74798 73813 77 171 0 74625 0
Current children cumulated CPU time (s) 9819.82
Current children cumulated vsize (KiB) 304548
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16320
/proc/meminfo: memFree=1473976/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=299972 CPUtime=9878.38
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 74038 0 0 0 987712 126 0 0 25 0 1 0 314738996 307171328 73989 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74993 73989 77 171 0 74820 0
Current children cumulated CPU time (s) 9879.81
Current children cumulated vsize (KiB) 305328
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16320
/proc/meminfo: memFree=1473720/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=300104 CPUtime=9938.36
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 74089 0 0 0 993710 126 0 0 25 0 1 0 314738996 307306496 74040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 75026 74040 77 171 0 74853 0
Current children cumulated CPU time (s) 9939.79
Current children cumulated vsize (KiB) 305460
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16320
/proc/meminfo: memFree=1473464/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=300236 CPUtime=9998.34
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 74155 0 0 0 999708 126 0 0 25 0 1 0 314738996 307441664 74106 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 75059 74106 77 171 0 74886 0
Current children cumulated CPU time (s) 9999.77
Current children cumulated vsize (KiB) 305592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16320
/proc/meminfo: memFree=1473464/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=300236 CPUtime=9998.64
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 74155 0 0 0 999738 126 0 0 25 0 1 0 314738996 307441664 74106 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 75059 74106 77 171 0 74886 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 305592
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15816 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=370791
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=74988
# CPU time returned by wait4() is 1.44578
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10002.6
CPU time (s): 10000.1
CPU user time (s): 9998.74
CPU system time (s): 1.33
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 305592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.37079
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 10
runsolver used 11.6552 second user time and 24.0943 second system time
The end
Begin job on node31 at 2009-05-21 02:50:57
IDJOB=1837310
IDBENCH=70830
IDSOLVER=674
FILE ID=node31/1837310-1242867056
PBS_JOBID= 9328545
Free space on /tmp= 66192 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837310-1242867056/watcher-1837310-1242867056 -o /tmp/evaluation-result-1837310-1242867056/solver-1837310-1242867056 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837310-1242867056.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 49867705b76fc90285dd6fc48de2613c
RANDOM SEED=2138912834
node31.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.213
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.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1781160 kB
Buffers: 61400 kB
Cached: 162148 kB
SwapCached: 7176 kB
Active: 102692 kB
Inactive: 130492 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1781160 kB
SwapTotal: 4192956 kB
SwapFree: 4179344 kB
Dirty: 5980 kB
Writeback: 0 kB
Mapped: 14216 kB
Slab: 27372 kB
Committed_AS: 1037340 kB
PageTables: 1468 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66184 MiB
End job on node31 at 2009-05-21 05:37:41