0.00/0.00 c Parsing...
0.00/0.08 c ==============================================================================
0.00/0.08 c | | ORIGINAL | LEARNT | |
0.00/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.08 c ==============================================================================
0.00/0.08 c | 0 | 97087 229155 | 29126 0 0 nan | 0.000 % |
1.28/1.39 c | 0 | 60326 180505 | -- 0 -- -- | -- | -36641/-48226
1.28/1.39 c ==============================================================================
1.28/1.39 c Result : #vars: 14508 #clauses: 60326 #literals: 180505
1.28/1.39 c CPU time: 1.35479 s
1.28/1.39 c ==============================================================================
1.38/1.46 c This is MiniSat 2.0 beta
1.38/1.46 c WARNING: for repeatability, setting FPU to use double precision
1.38/1.46 c ============================[ Problem Statistics ]=============================
1.38/1.46 c | |
1.38/1.46 c | Number of variables: 14508 |
1.38/1.46 c | Number of clauses: 60326 |
1.45/1.50 c | Parsing time: 0.03 s |
1.45/1.50 c ============================[ Search Statistics ]==============================
1.45/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.45/1.50 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.45/1.50 c ===============================================================================
1.45/1.50 c | 0 | 14508 60326 180505 | 20108 0 nan | 0.000 % |
1.45/1.53 c | 102 | 14495 60326 180505 | 20108 96 31 | 2.288 % |
1.45/1.83 c | 204 | 14495 60326 180505 | 20108 198 44 | 2.288 % |
1.45/2.08 c | 304 | 14176 58577 176012 | 20108 283 38 | 2.288 % |
2.27/2.32 c | 415 | 14176 58577 176012 | 20108 394 39 | 2.288 % |
2.57/2.61 c | 515 | 14176 58577 176012 | 20108 494 38 | 2.288 % |
2.87/2.99 c | 626 | 14176 58577 176012 | 20108 605 37 | 2.288 % |
3.47/3.56 c | 749 | 14176 58577 176012 | 20108 728 36 | 2.288 % |
3.97/4.02 c | 849 | 14176 58577 176012 | 20108 828 35 | 2.288 % |
4.47/4.54 c | 960 | 14176 58577 176012 | 20108 939 35 | 2.288 % |
5.07/5.15 c | 1081 | 14176 58577 176012 | 20108 1060 34 | 2.288 % |
5.67/5.71 c | 1215 | 14176 58577 176012 | 20108 1194 34 | 2.288 % |
5.87/5.97 c | 1315 | 14176 58577 176012 | 20108 1294 34 | 2.288 % |
6.17/6.25 c | 1425 | 14176 58577 176012 | 20108 1404 35 | 2.288 % |
6.58/6.66 c | 1547 | 14176 58577 176012 | 20108 1526 34 | 2.288 % |
6.87/6.98 c | 1680 | 14176 58577 176012 | 20108 1659 34 | 2.288 % |
7.47/7.51 c | 1827 | 14176 58577 176012 | 20108 1806 34 | 2.288 % |
7.77/7.87 c | 1929 | 14176 58577 176012 | 20108 1908 34 | 2.288 % |
8.17/8.26 c | 2039 | 14176 58577 176012 | 20108 2018 34 | 2.288 % |
8.57/8.67 c | 2161 | 14176 58577 176012 | 20108 2140 35 | 2.288 % |
9.17/9.25 c | 2294 | 14176 58577 176012 | 20108 2273 35 | 2.288 % |
9.57/9.66 c | 2440 | 14176 58577 176012 | 20108 2419 35 | 2.288 % |
10.17/10.23 c | 2601 | 14176 58577 176012 | 20108 2580 35 | 2.288 % |
10.47/10.52 c | 2701 | 14176 58577 176012 | 20108 2680 35 | 2.288 % |
10.87/10.93 c | 2811 | 14176 58577 176012 | 20108 2790 35 | 2.288 % |
11.27/11.39 c | 2932 | 14176 58577 176012 | 20108 2911 35 | 2.288 % |
11.87/11.91 c | 3066 | 14176 58577 176012 | 20108 3045 35 | 2.288 % |
12.47/12.56 c | 3212 | 14176 58577 176012 | 20108 3191 36 | 2.288 % |
13.17/13.21 c | 3373 | 14176 58577 176012 | 20108 3352 36 | 2.288 % |
14.07/14.11 c | 3550 | 14176 58577 176012 | 20108 3529 36 | 2.288 % |
14.47/14.55 c | 3652 | 14176 58577 176012 | 20108 3631 36 | 2.288 % |
14.87/14.92 c | 3762 | 14176 58577 176012 | 20108 3741 36 | 2.288 % |
15.37/15.43 c | 3883 | 14176 58577 176012 | 20108 3862 36 | 2.288 % |
15.96/16.07 c | 4017 | 14176 58577 176012 | 20108 3996 35 | 2.288 % |
16.66/16.73 c | 4164 | 14176 58577 176012 | 20108 4143 35 | 2.288 % |
17.47/17.59 c | 4325 | 14176 58577 176012 | 20108 4304 35 | 2.288 % |
18.36/18.40 c | 4501 | 14176 58577 176012 | 20108 4480 35 | 2.288 % |
19.36/19.42 c | 4694 | 14176 58577 176012 | 20108 4673 35 | 2.288 % |
19.56/19.67 c | 4795 | 14176 58577 176012 | 20108 4774 36 | 2.288 % |
20.06/20.19 c | 4905 | 14176 58577 176012 | 20108 4884 36 | 2.288 % |
20.56/20.69 c | 5026 | 14176 58577 176012 | 20108 5005 36 | 2.288 % |
21.16/21.25 c | 5160 | 14176 58577 176012 | 20108 5139 36 | 2.288 % |
21.87/21.91 c | 5307 | 14176 58577 176012 | 20108 5286 36 | 2.288 % |
22.16/22.25 c | 5468 | 14176 58577 176012 | 20108 5447 36 | 2.288 % |
22.66/22.76 c | 5644 | 14176 58577 176012 | 20108 5623 36 | 2.288 % |
23.47/23.52 c | 5837 | 14176 58577 176012 | 20108 5816 36 | 2.288 % |
24.27/24.31 c | 6050 | 14176 58577 176012 | 20108 6029 37 | 2.288 % |
24.67/24.76 c | 6151 | 14176 58577 176012 | 20108 6130 37 | 2.288 % |
25.27/25.32 c | 6261 | 14176 58577 176012 | 20108 6240 37 | 2.288 % |
25.77/25.83 c | 6382 | 14176 58577 176012 | 20108 6361 36 | 2.288 % |
26.07/26.19 c | 6515 | 14176 58577 176012 | 20108 6494 37 | 2.288 % |
26.67/26.78 c | 6661 | 14176 58577 176012 | 20108 6640 37 | 2.288 % |
27.17/27.27 c | 6821 | 14176 58577 176012 | 20108 6800 37 | 2.288 % |
27.87/27.92 c | 6997 | 14176 58577 176012 | 20108 6976 37 | 2.288 % |
28.57/28.64 c | 7191 | 14176 58577 176012 | 20108 7170 37 | 2.288 % |
29.37/29.40 c | 7404 | 14176 58577 176012 | 20108 7383 37 | 2.288 % |
30.36/30.48 c | 7637 | 14176 58577 176012 | 20108 7616 37 | 2.288 % |
30.67/30.77 c | 7738 | 14176 58577 176012 | 20108 7717 37 | 2.288 % |
30.96/31.07 c | 7849 | 14176 58577 176012 | 20108 7828 37 | 2.288 % |
31.46/31.53 c | 7971 | 14176 58577 176012 | 20108 7950 37 | 2.288 % |
31.96/32.08 c | 8104 | 14176 58577 176012 | 20108 8083 37 | 2.288 % |
32.56/32.60 c | 8251 | 14176 58577 176012 | 20108 8230 37 | 2.288 % |
33.36/33.42 c | 8412 | 14176 58577 176012 | 20108 8391 37 | 2.288 % |
34.26/34.33 c | 8589 | 14176 58577 176012 | 20108 8568 37 | 2.288 % |
35.36/35.43 c | 8783 | 14176 58577 176012 | 20108 8762 37 | 2.288 % |
36.26/36.34 c | 8996 | 14176 58577 176012 | 20108 8975 37 | 2.288 % |
37.16/37.21 c | 9229 | 14176 58577 176012 | 20108 9208 38 | 2.288 % |
38.06/38.16 c | 9486 | 14176 58577 176012 | 20108 9465 38 | 2.288 % |
38.46/38.54 c | 9586 | 14176 58577 176012 | 20108 9565 38 | 2.288 % |
38.85/38.92 c | 9696 | 14176 58577 176012 | 20108 9675 38 | 2.288 % |
39.26/39.30 c | 9818 | 14176 58577 176012 | 20108 9797 38 | 2.288 % |
39.75/39.87 c | 9952 | 14176 58577 176012 | 20108 9931 38 | 2.288 % |
40.45/40.58 c | 10098 | 14176 58577 176012 | 2147483647 10077 38 | 2.288 % |
41.15/41.23 c | 10259 | 14176 58577 176012 | 2147483647 10238 37 | 2.288 % |
41.95/42.05 c | 10435 | 14176 58577 176012 | 2147483647 10414 37 | 2.288 % |
42.86/42.91 c | 10630 | 14176 58577 176012 | 2147483647 10609 37 | 2.288 % |
43.75/43.87 c | 10843 | 14176 58577 176012 | 2147483647 10822 37 | 2.288 % |
44.55/44.64 c | 11077 | 14176 58577 176012 | 2147483647 11056 38 | 2.288 % |
45.65/45.72 c | 11333 | 14176 58577 176012 | 2147483647 11312 38 | 2.288 % |
46.66/46.74 c | 11614 | 14176 58577 176012 | 2147483647 11593 38 | 2.288 % |
47.16/47.22 c | 11714 | 14176 58577 176012 | 2147483647 11693 38 | 2.288 % |
47.66/47.72 c | 11826 | 14176 58577 176012 | 2147483647 11805 38 | 2.288 % |
47.96/48.06 c | 11948 | 14176 58577 176012 | 2147483647 11927 38 | 2.288 % |
48.46/48.51 c | 12082 | 14176 58577 176012 | 2147483647 12061 38 | 2.288 % |
48.96/49.05 c | 12228 | 14176 58577 176012 | 2147483647 12207 38 | 2.288 % |
49.66/49.76 c | 12388 | 14176 58577 176012 | 2147483647 12367 38 | 2.288 % |
50.46/50.58 c | 12565 | 14176 58577 176012 | 2147483647 12544 38 | 2.288 % |
51.26/51.38 c | 12758 | 14176 58577 176012 | 2147483647 12737 38 | 2.288 % |
52.26/52.35 c | 12972 | 14176 58577 176012 | 2147483647 12951 38 | 2.288 % |
53.16/53.21 c | 13205 | 14176 58577 176012 | 2147483647 13184 38 | 2.288 % |
54.36/54.44 c | 13462 | 14176 58577 176012 | 2147483647 13441 38 | 2.288 % |
55.66/55.76 c | 13744 | 14176 58577 176012 | 2147483647 13723 38 | 2.288 % |
56.86/56.99 c | 14053 | 14176 58577 176012 | 2147483647 14032 38 | 2.288 % |
57.46/57.51 c | 14153 | 14176 58577 176012 | 2147483647 14132 38 | 2.288 % |
57.86/57.93 c | 14264 | 14176 58577 176012 | 2147483647 14243 38 | 2.288 % |
58.26/58.37 c | 14385 | 14176 58577 176012 | 2147483647 14364 38 | 2.288 % |
58.86/58.90 c | 14518 | 14176 58577 176012 | 2147483647 14497 38 | 2.288 % |
59.55/59.65 c | 14664 | 14176 58577 176012 | 2147483647 14643 38 | 2.288 % |
60.36/60.41 c | 14824 | 14176 58577 176012 | 2147483647 14803 38 | 2.288 % |
60.85/60.93 c | 15002 | 14176 58577 176012 | 2147483647 14981 38 | 2.288 % |
61.75/61.88 c | 15196 | 14176 58577 176012 | 2147483647 15175 38 | 2.288 % |
62.55/62.60 c | 15408 | 14176 58577 176012 | 2147483647 15387 38 | 2.288 % |
63.25/63.35 c | 15641 | 14176 58577 176012 | 2147483647 15620 38 | 2.288 % |
64.25/64.32 c | 15897 | 14176 58577 176012 | 2147483647 15876 38 | 2.288 % |
65.55/65.67 c | 16178 | 14176 58577 176012 | 2147483647 16157 38 | 2.288 % |
67.25/67.35 c | 16487 | 14176 58577 176012 | 2147483647 16466 38 | 2.288 % |
69.05/69.15 c | 16826 | 14176 58577 176012 | 2147483647 16805 38 | 2.288 % |
69.55/69.60 c | 16927 | 14176 58577 176012 | 2147483647 16906 38 | 2.288 % |
70.05/70.11 c | 17038 | 14176 58577 176012 | 2147483647 17017 38 | 2.288 % |
70.65/70.76 c | 17160 | 14176 58577 176012 | 2147483647 17139 38 | 2.288 % |
71.05/71.11 c | 17294 | 14176 58577 176012 | 2147483647 17273 38 | 2.288 % |
71.65/71.74 c | 17442 | 14176 58577 176012 | 2147483647 17421 38 | 2.288 % |
72.35/72.50 c | 17603 | 14176 58577 176012 | 2147483647 17582 38 | 2.288 % |
73.14/73.22 c | 17779 | 14176 58577 176012 | 2147483647 17758 38 | 2.288 % |
73.75/73.87 c | 17972 | 14176 58577 176012 | 2147483647 17951 38 | 2.288 % |
74.24/74.32 c | 18184 | 14176 58577 176012 | 2147483647 18163 39 | 2.288 % |
74.65/74.79 c | 18419 | 14176 58577 176012 | 2147483647 18398 39 | 2.288 % |
76.04/76.12 c | 18675 | 14176 58577 176012 | 2147483647 18654 39 | 2.288 % |
77.64/77.78 c | 18958 | 14176 58577 176012 | 2147483647 18937 39 | 2.288 % |
79.05/79.19 c | 19267 | 14176 58577 176012 | 2147483647 19246 39 | 2.288 % |
80.84/80.95 c | 19607 | 14176 58577 176012 | 2147483647 19586 39 | 2.288 % |
82.84/82.94 c | 19981 | 14176 58577 176012 | 2147483647 19960 39 | 2.288 % |
83.24/83.35 c | 20082 | 14176 58577 176012 | 2147483647 20061 39 | 2.288 % |
83.94/84.00 c | 20193 | 14176 58577 176012 | 2147483647 20172 39 | 2.288 % |
84.44/84.56 c | 20315 | 14176 58577 176012 | 2147483647 20294 39 | 2.288 % |
85.14/85.23 c | 20448 | 14176 58577 176012 | 2147483647 20427 39 | 2.288 % |
85.84/85.98 c | 20594 | 14176 58577 176012 | 2147483647 20573 39 | 2.288 % |
86.74/86.90 c | 20755 | 14176 58577 176012 | 2147483647 20734 39 | 2.288 % |
87.84/87.92 c | 20932 | 14176 58577 176012 | 2147483647 20911 39 | 2.288 % |
88.84/88.90 c | 21126 | 14176 58577 176012 | 2147483647 21105 39 | 2.288 % |
90.04/90.11 c | 21338 | 14176 58577 176012 | 2147483647 21317 38 | 2.288 % |
91.24/91.37 c | 21572 | 14176 58577 176012 | 2147483647 21551 38 | 2.288 % |
92.74/92.82 c | 21830 | 14176 58577 176012 | 2147483647 21809 38 | 2.288 % |
94.34/94.49 c | 22112 | 14176 58577 176012 | 2147483647 22091 38 | 2.288 % |
95.84/95.92 c | 22422 | 14176 58577 176012 | 2147483647 22401 38 | 2.288 % |
97.74/97.89 c | 22761 | 14176 58577 176012 | 2147483647 22740 38 | 2.288 % |
99.34/99.45 c | 23133 | 14176 58577 176012 | 2147483647 23112 38 | 2.288 % |
101.53/101.63 c | 23542 | 14176 58577 176012 | 2147483647 23521 38 | 2.288 % |
102.03/102.12 c | 23644 | 14176 58577 176012 | 2147483647 23623 38 | 2.288 % |
102.73/102.80 c | 23755 | 14176 58577 176012 | 2147483647 23734 38 | 2.288 % |
103.24/103.38 c | 23876 | 14176 58577 176012 | 2147483647 23855 38 | 2.288 % |
104.03/104.16 c | 24010 | 14176 58577 176012 | 2147483647 23989 38 | 2.288 % |
104.13/104.27 c | 24156 | 14176 58577 176012 | 2147483647 24135 38 | 2.288 % |
104.83/104.91 c | 24316 | 14176 58577 176012 | 2147483647 24295 38 | 2.288 % |
105.64/105.72 c | 24492 | 14176 58577 176012 | 2147483647 24471 38 | 2.288 % |
106.65/106.73 c | 24686 | 14176 58577 176012 | 2147483647 24665 38 | 2.288 % |
107.04/107.18 c | 24898 | 14176 58577 176012 | 2147483647 24877 38 | 2.288 % |
108.24/108.33 c | 25131 | 14176 58577 176012 | 2147483647 25110 38 | 2.288 % |
109.64/109.77 c | 25388 | 14176 58577 176012 | 2147483647 25367 38 | 2.288 % |
110.54/110.65 c | 25669 | 14176 58577 176012 | 2147483647 25648 39 | 2.288 % |
111.84/111.97 c | 25979 | 14176 58577 176012 | 2147483647 25958 39 | 2.288 % |
113.34/113.42 c | 26318 | 14176 58577 176012 | 2147483647 26297 39 | 2.288 % |
114.63/114.74 c | 26690 | 14176 58577 176012 | 2147483647 26669 39 | 2.288 % |
116.73/116.80 c | 27100 | 14176 58577 176012 | 2147483647 27079 39 | 2.288 % |
118.43/118.56 c | 27549 | 14176 58577 176012 | 2147483647 27528 39 | 2.288 % |
118.74/118.81 c | 27651 | 14176 58577 176012 | 2147483647 27630 39 | 2.288 % |
119.23/119.31 c | 27761 | 14176 58577 176012 | 2147483647 27740 39 | 2.288 % |
119.83/119.90 c | 27883 | 14176 58577 176012 | 2147483647 27862 39 | 2.288 % |
120.53/120.64 c | 28017 | 14176 58577 176012 | 2147483647 27996 39 | 2.288 % |
121.33/121.45 c | 28163 | 14176 58577 176012 | 2147483647 28142 39 | 2.288 % |
122.13/122.26 c | 28323 | 14176 58577 176012 | 2147483647 28302 39 | 2.288 % |
123.23/123.38 c | 28499 | 14176 58577 176012 | 2147483647 28478 39 | 2.288 % |
124.33/124.44 c | 28692 | 14176 58577 176012 | 2147483647 28671 39 | 2.288 % |
125.63/125.76 c | 28905 | 14176 58577 176012 | 2147483647 28884 39 | 2.288 % |
126.93/127.03 c | 29139 | 14176 58577 176012 | 2147483647 29118 39 | 2.288 % |
127.83/128.00 c | 29396 | 14176 58577 176012 | 2147483647 29375 39 | 2.288 % |
129.33/129.40 c | 29678 | 14176 58577 176012 | 2147483647 29657 39 | 2.288 % |
130.83/130.97 c | 29988 | 14176 58577 176012 | 2147483647 29967 39 | 2.288 % |
132.73/132.82 c | 30327 | 14176 58577 176012 | 2147483647 30306 39 | 2.288 % |
134.52/134.63 c | 30700 | 14176 58577 176012 | 2147483647 30679 39 | 2.288 % |
136.63/136.77 c | 31110 | 14176 58577 176012 | 2147483647 31089 40 | 2.288 % |
138.44/138.55 c | 31560 | 14176 58577 176012 | 2147483647 31539 39 | 2.288 % |
141.43/141.54 c | 32053 | 14176 58577 176012 | 2147483647 32032 39 | 2.288 % |
141.93/142.01 c | 32154 | 14176 58577 176012 | 2147483647 32133 39 | 2.288 % |
142.43/142.50 c | 32265 | 14176 58577 176012 | 2147483647 32244 39 | 2.288 % |
142.93/143.01 c | 32386 | 14176 58577 176012 | 2147483647 32365 39 | 2.288 % |
143.53/143.65 c | 32519 | 14176 58577 176012 | 2147483647 32498 39 | 2.288 % |
144.23/144.40 c | 32666 | 14176 58577 176012 | 2147483647 32645 39 | 2.288 % |
145.23/145.37 c | 32826 | 14176 58577 176012 | 2147483647 32805 39 | 2.288 % |
146.23/146.31 c | 33003 | 14176 58577 176012 | 2147483647 32982 39 | 2.288 % |
146.83/146.94 c | 33197 | 14176 58577 176012 | 2147483647 33176 39 | 2.288 % |
147.63/147.70 c | 33409 | 14176 58577 176012 | 2147483647 33388 40 | 2.288 % |
148.93/149.06 c | 33643 | 14176 58577 176012 | 2147483647 33622 40 | 2.288 % |
150.03/150.12 c | 33899 | 14176 58577 176012 | 2147483647 33878 40 | 2.288 % |
151.73/151.85 c | 34180 | 14176 58577 176012 | 2147483647 34159 40 | 2.288 % |
153.62/153.72 c | 34490 | 14176 58577 176012 | 2147483647 34469 39 | 2.288 % |
155.32/155.43 c | 34829 | 14176 58577 176012 | 2147483647 34808 39 | 2.288 % |
157.72/157.82 c | 35201 | 14176 58577 176012 | 2147483647 35180 39 | 2.288 % |
160.22/160.32 c | 35611 | 14176 58577 176012 | 2147483647 35590 39 | 2.288 % |
162.92/163.05 c | 36061 | 14176 58577 176012 | 2147483647 36040 39 | 2.288 % |
165.82/165.92 c | 36555 | 14176 58577 176012 | 2147483647 36534 39 | 2.288 % |
169.02/169.17 c | 37097 | 14176 58577 176012 | 2147483647 37076 39 | 2.288 % |
169.62/169.74 c | 37199 | 14176 58577 176012 | 2147483647 37178 39 | 2.288 % |
170.22/170.33 c | 37310 | 14176 58577 176012 | 2147483647 37289 39 | 2.288 % |
170.72/170.80 c | 37431 | 14176 58577 176012 | 2147483647 37410 39 | 2.288 % |
171.52/171.64 c | 37564 | 14176 58577 176012 | 2147483647 37543 39 | 2.288 % |
172.42/172.53 c | 37712 | 14176 58577 176012 | 2147483647 37691 39 | 2.288 % |
173.42/173.51 c | 37873 | 14176 58577 176012 | 2147483647 37852 39 | 2.288 % |
174.22/174.38 c | 38049 | 14176 58577 176012 | 2147483647 38028 39 | 2.288 % |
175.22/175.40 c | 38242 | 14176 58577 176012 | 2147483647 38221 39 | 2.288 % |
176.12/176.29 c | 38454 | 14176 58577 176012 | 2147483647 38433 39 | 2.288 % |
176.52/176.60 c | 38687 | 14176 58577 176012 | 2147483647 38666 39 | 2.288 % |
177.62/177.77 c | 38944 | 14176 58577 176012 | 2147483647 38923 40 | 2.288 % |
179.02/179.14 c | 39227 | 14176 58577 176012 | 2147483647 39206 40 | 2.288 % |
180.71/180.84 c | 39536 | 14176 58577 176012 | 2147483647 39515 40 | 2.288 % |
182.31/182.42 c | 39876 | 14176 58577 176012 | 2147483647 39855 40 | 2.288 % |
183.91/184.04 c | 40248 | 14176 58577 176012 | 2147483647 40227 40 | 2.288 % |
185.61/185.74 c | 40657 | 14176 58577 176012 | 2147483647 40636 40 | 2.288 % |
187.61/187.74 c | 41106 | 14176 58577 176012 | 2147483647 41085 40 | 2.288 % |
190.41/190.55 c | 41599 | 14176 58577 176012 | 2147483647 41578 40 | 2.288 % |
193.51/193.67 c | 42142 | 14176 58577 176012 | 2147483647 42121 39 | 2.288 % |
197.71/197.80 c | 42738 | 14176 58577 176012 | 2147483647 42717 39 | 2.288 % |
198.20/198.37 c | 42838 | 14176 58577 176012 | 2147483647 42817 39 | 2.288 % |
198.80/199.00 c | 42948 | 14176 58577 176012 | 2147483647 42927 39 | 2.288 % |
199.50/199.63 c | 43070 | 14176 58577 176012 | 2147483647 43049 39 | 2.288 % |
200.30/200.48 c | 43205 | 14176 58577 176012 | 2147483647 43184 39 | 2.288 % |
201.21/201.32 c | 43352 | 14176 58577 176012 | 2147483647 43331 39 | 2.288 % |
202.21/202.34 c | 43512 | 14176 58577 176012 | 2147483647 43491 39 | 2.288 % |
203.41/203.50 c | 43689 | 14176 58577 176012 | 2147483647 43668 39 | 2.288 % |
204.70/204.84 c | 43884 | 14176 58577 176012 | 2147483647 43863 39 | 2.288 % |
205.70/205.85 c | 44096 | 14176 58577 176012 | 2147483647 44075 39 | 2.288 % |
206.91/207.00 c | 44330 | 14176 58577 176012 | 2147483647 44309 39 | 2.288 % |
208.21/208.34 c | 44586 | 14176 58577 176012 | 2147483647 44565 39 | 2.288 % |
209.61/209.73 c | 44868 | 14176 58577 176012 | 2147483647 44847 39 | 2.288 % |
211.21/211.38 c | 45178 | 14176 58577 176012 | 2147483647 45157 39 | 2.288 % |
213.61/213.71 c | 45518 | 14176 58577 176012 | 2147483647 45497 39 | 2.288 % |
215.01/215.10 c | 45890 | 14176 58577 176012 | 2147483647 45869 40 | 2.288 % |
217.01/217.17 c | 46299 | 14176 58577 176012 | 2147483647 46278 40 | 2.288 % |
219.41/219.50 c | 46749 | 14176 58577 176012 | 2147483647 46728 40 | 2.288 % |
222.40/222.54 c | 47243 | 14176 58577 176012 | 2147483647 47222 40 | 2.288 % |
225.40/225.52 c | 47786 | 14176 58577 176012 | 2147483647 47765 40 | 2.288 % |
228.50/228.66 c | 48382 | 14176 58577 176012 | 2147483647 48361 40 | 2.288 % |
230.80/230.90 c | 49037 | 14176 58577 176012 | 2147483647 49016 40 | 2.288 % |
231.39/231.53 c | 49137 | 14176 58577 176012 | 2147483647 49116 40 | 2.288 % |
231.90/232.00 c | 49248 | 14176 58577 176012 | 2147483647 49227 40 | 2.288 % |
232.49/232.65 c | 49370 | 14176 58577 176012 | 2147483647 49349 40 | 2.288 % |
233.19/233.34 c | 49504 | 14176 58577 176012 | 2147483647 49483 40 | 2.288 % |
233.99/234.14 c | 49651 | 14176 58577 176012 | 2147483647 49630 40 | 2.288 % |
235.09/235.24 c | 49812 | 14176 58577 176012 | 2147483647 49791 40 | 2.288 % |
236.19/236.33 c | 49989 | 14176 58577 176012 | 2147483647 49968 40 | 2.288 % |
237.40/237.57 c | 50182 | 14176 58577 176012 | 2147483647 50161 40 | 2.288 % |
238.89/239.03 c | 50394 | 14176 58577 176012 | 2147483647 50373 40 | 2.288 % |
240.39/240.60 c | 50628 | 14176 58577 176012 | 2147483647 50607 40 | 2.288 % |
241.59/241.76 c | 50884 | 14176 58577 176012 | 2147483647 50863 40 | 2.288 % |
243.09/243.25 c | 51167 | 14176 58577 176012 | 2147483647 51146 40 | 2.288 % |
244.79/244.98 c | 51476 | 14176 58577 176012 | 2147483647 51455 40 | 2.288 % |
246.89/247.03 c | 51815 | 14176 58577 176012 | 2147483647 51794 40 | 2.288 % |
249.29/249.40 c | 52188 | 14176 58577 176012 | 2147483647 52167 40 | 2.288 % |
251.69/251.90 c | 52597 | 14176 58577 176012 | 2147483647 52576 40 | 2.288 % |
254.28/254.41 c | 53047 | 14176 58577 176012 | 2147483647 53026 40 | 2.288 % |
257.29/257.47 c | 53541 | 14176 58577 176012 | 2147483647 53520 40 | 2.288 % |
260.88/261.03 c | 54083 | 14176 58577 176012 | 2147483647 54062 40 | 2.288 % |
264.58/264.77 c | 54680 | 14176 58577 176012 | 2147483647 54659 40 | 2.288 % |
268.18/268.32 c | 55336 | 14176 58577 176012 | 2147483647 55315 40 | 2.288 % |
271.37/271.59 c | 56056 | 14176 58577 176012 | 2147483647 56035 40 | 2.288 % |
271.98/272.19 c | 56157 | 14176 58577 176012 | 2147483647 56136 40 | 2.288 % |
272.69/272.81 c | 56267 | 14176 58577 176012 | 2147483647 56246 40 | 2.288 % |
273.28/273.43 c | 56388 | 14176 58577 176012 | 2147483647 56367 40 | 2.288 % |
274.18/274.31 c | 56521 | 14176 58577 176012 | 2147483647 56500 40 | 2.288 % |
275.08/275.28 c | 56667 | 14176 58577 176012 | 2147483647 56646 40 | 2.288 % |
275.78/275.93 c | 56829 | 14176 58577 176012 | 2147483647 56808 40 | 2.288 % |
276.68/276.86 c | 57005 | 14176 58577 176012 | 2147483647 56984 40 | 2.288 % |
277.88/278.01 c | 57200 | 14176 58577 176012 | 2147483647 57179 40 | 2.288 % |
278.98/279.18 c | 57414 | 14176 58577 176012 | 2147483647 57393 40 | 2.288 % |
279.88/280.09 c | 57647 | 14176 58577 176012 | 2147483647 57626 40 | 2.288 % |
281.48/281.67 c | 57903 | 14176 58577 176012 | 2147483647 57882 40 | 2.288 % |
283.38/283.58 c | 58184 | 14176 58577 176012 | 2147483647 58163 40 | 2.288 % |
285.27/285.46 c | 58493 | 14176 58577 176012 | 2147483647 58472 40 | 2.288 % |
287.37/287.56 c | 58832 | 14176 58577 176012 | 2147483647 58811 40 | 2.288 % |
289.77/289.93 c | 59205 | 14176 58577 176012 | 2147483647 59184 40 | 2.288 % |
291.87/292.04 c | 59614 | 14176 58577 176012 | 2147483647 59593 40 | 2.288 % |
294.57/294.76 c | 60063 | 14176 58577 176012 | 2147483647 60042 40 | 2.288 % |
297.67/297.84 c | 60557 | 14176 58577 176012 | 2147483647 60536 40 | 2.288 % |
301.27/301.40 c | 61099 | 14176 58577 176012 | 2147483647 61078 40 | 2.288 % |
305.37/305.55 c | 61695 | 14176 58577 176012 | 2147483647 61674 40 | 2.288 % |
309.47/309.66 c | 62350 | 14176 58577 176012 | 2147483647 62329 40 | 2.288 % |
313.66/313.88 c | 63070 | 14176 58577 176012 | 2147483647 63049 40 | 2.288 % |
318.16/318.37 c | 63862 | 14176 58577 176012 | 2147483647 63841 40 | 2.288 % |
318.77/318.98 c | 63963 | 14176 58577 176012 | 2147483647 63942 40 | 2.288 % |
319.26/319.41 c | 64073 | 14176 58577 176012 | 2147483647 64052 40 | 2.288 % |
320.06/320.20 c | 64196 | 14176 58577 176012 | 2147483647 64175 40 | 2.288 % |
320.96/321.11 c | 64330 | 14176 58577 176012 | 2147483647 64309 40 | 2.288 % |
321.86/322.00 c | 64476 | 14176 58577 176012 | 2147483647 64455 40 | 2.288 % |
322.76/322.91 c | 64636 | 14176 58577 176012 | 2147483647 64615 40 | 2.288 % |
323.86/324.01 c | 64813 | 14176 58577 176012 | 2147483647 64792 40 | 2.288 % |
324.96/325.13 c | 65006 | 14176 58577 176012 | 2147483647 64985 40 | 2.288 % |
326.16/326.39 c | 65219 | 14176 58577 176012 | 2147483647 65198 40 | 2.288 % |
327.66/327.87 c | 65453 | 14176 58577 176012 | 2147483647 65432 40 | 2.288 % |
329.26/329.47 c | 65710 | 14176 58577 176012 | 2147483647 65689 40 | 2.288 % |
331.16/331.36 c | 65991 | 14176 58577 176012 | 2147483647 65970 40 | 2.288 % |
332.96/333.15 c | 66300 | 14176 58577 176012 | 2147483647 66279 40 | 2.288 % |
335.36/335.51 c | 66640 | 14176 58577 176012 | 2147483647 66619 40 | 2.288 % |
337.75/337.91 c | 67012 | 14176 58577 176012 | 2147483647 66991 40 | 2.288 % |
340.86/341.02 c | 67421 | 14176 58577 176012 | 2147483647 67400 40 | 2.288 % |
343.95/344.19 c | 67871 | 14176 58577 176012 | 2147483647 67850 40 | 2.288 % |
347.25/347.47 c | 68364 | 14176 58577 176012 | 2147483647 68343 40 | 2.288 % |
350.85/351.04 c | 68906 | 14176 58577 176012 | 2147483647 68885 40 | 2.288 % |
354.55/354.75 c | 69503 | 14176 58577 176012 | 2147483647 69482 40 | 2.288 % |
359.25/359.41 c | 70159 | 14176 58577 176012 | 2147483647 70138 40 | 2.288 % |
364.25/364.43 c | 70880 | 14176 58577 176012 | 2147483647 70859 40 | 2.288 % |
370.25/370.40 c | 71672 | 14176 58577 176012 | 2147483647 71651 40 | 2.288 % |
376.35/376.52 c | 72543 | 14176 58577 176012 | 2147483647 72522 40 | 2.288 % |
376.95/377.17 c | 72643 | 14176 58577 176012 | 2147483647 72622 40 | 2.288 % |
377.85/378.01 c | 72753 | 14176 58577 176012 | 2147483647 72732 40 | 2.288 % |
378.85/379.02 c | 72875 | 14176 58577 176012 | 2147483647 72854 40 | 2.288 % |
379.85/380.10 c | 73009 | 14176 58577 176012 | 2147483647 72988 40 | 2.288 % |
381.04/381.27 c | 73155 | 14176 58577 176012 | 2147483647 73134 40 | 2.288 % |
381.95/382.15 c | 73316 | 14176 58577 176012 | 2147483647 73295 40 | 2.288 % |
383.24/383.44 c | 73493 | 14176 58577 176012 | 2147483647 73472 40 | 2.288 % |
384.54/384.77 c | 73687 | 14176 58577 176012 | 2147483647 73666 40 | 2.288 % |
385.74/385.99 c | 73901 | 14176 58577 176012 | 2147483647 73880 40 | 2.288 % |
387.44/387.62 c | 74136 | 14176 58577 176012 | 2147483647 74115 40 | 2.288 % |
388.94/389.11 c | 74393 | 14176 58577 176012 | 2147483647 74372 40 | 2.288 % |
390.64/390.82 c | 74675 | 14176 58577 176012 | 2147483647 74654 40 | 2.288 % |
392.44/392.63 c | 74987 | 14176 58577 176012 | 2147483647 74966 40 | 2.288 % |
394.64/394.88 c | 75326 | 14176 58577 176012 | 2147483647 75305 40 | 2.288 % |
397.24/397.41 c | 75699 | 14176 58577 176012 | 2147483647 75678 40 | 2.288 % |
400.34/400.51 c | 76109 | 14176 58577 176012 | 2147483647 76088 40 | 2.288 % |
403.44/403.63 c | 76559 | 14176 58577 176012 | 2147483647 76538 40 | 2.288 % |
407.04/407.20 c | 77053 | 14176 58577 176012 | 2147483647 77032 40 | 2.288 % |
410.53/410.77 c | 77595 | 14176 58577 176012 | 2147483647 77574 40 | 2.288 % |
414.23/414.42 c | 78191 | 14176 58577 176012 | 2147483647 78170 40 | 2.288 % |
418.33/418.54 c | 78847 | 14176 58577 176012 | 2147483647 78826 40 | 2.288 % |
421.73/421.97 c | 79567 | 14176 58577 176012 | 2147483647 79546 40 | 2.288 % |
427.53/427.78 c | 80359 | 14176 58577 176012 | 2147483647 80338 40 | 2.288 % |
433.83/434.01 c | 81232 | 14176 58577 176012 | 2147483647 81211 40 | 2.288 % |
439.83/440.09 c | 82191 | 14176 58577 176012 | 2147483647 82170 40 | 2.288 % |
440.23/440.49 c | 82291 | 14176 58577 176012 | 2147483647 82270 40 | 2.288 % |
440.73/440.98 c | 82402 | 14176 58577 176012 | 2147483647 82381 40 | 2.288 % |
441.53/441.76 c | 82524 | 14176 58577 176012 | 2147483647 82503 40 | 2.288 % |
442.33/442.50 c | 82657 | 14176 58577 176012 | 2147483647 82636 40 | 2.288 % |
443.23/443.48 c | 82804 | 14176 58577 176012 | 2147483647 82783 40 | 2.288 % |
444.43/444.62 c | 82965 | 14176 58577 176012 | 2147483647 82944 40 | 2.288 % |
445.73/445.92 c | 83142 | 14176 58577 176012 | 2147483647 83121 40 | 2.288 % |
446.93/447.17 c | 83336 | 14176 58577 176012 | 2147483647 83315 40 | 2.288 % |
448.13/448.31 c | 83549 | 14176 58577 176012 | 2147483647 83528 40 | 2.288 % |
449.63/449.90 c | 83782 | 14176 58577 176012 | 2147483647 83761 40 | 2.288 % |
451.03/451.28 c | 84039 | 14176 58577 176012 | 2147483647 84018 40 | 2.288 % |
453.03/453.24 c | 84320 | 14176 58577 176012 | 2147483647 84299 40 | 2.288 % |
455.23/455.46 c | 84630 | 14176 58577 176012 | 2147483647 84609 40 | 2.288 % |
457.92/458.17 c | 84970 | 14176 58577 176012 | 2147483647 84949 40 | 2.288 % |
460.63/460.83 c | 85342 | 14176 58577 176012 | 2147483647 85321 40 | 2.288 % |
463.62/463.89 c | 85751 | 14176 58577 176012 | 2147483647 85730 40 | 2.288 % |
467.33/467.51 c | 86200 | 14176 58577 176012 | 2147483647 86179 40 | 2.288 % |
470.42/470.62 c | 86693 | 14176 58577 176012 | 2147483647 86672 40 | 2.288 % |
474.22/474.47 c | 87237 | 14176 58577 176012 | 2147483647 87216 40 | 2.288 % |
477.82/478.02 c | 87833 | 14176 58577 176012 | 2147483647 87812 40 | 2.288 % |
481.81/482.08 c | 88488 | 14176 58577 176012 | 2147483647 88467 40 | 2.288 % |
487.11/487.37 c | 89208 | 14176 58577 176012 | 2147483647 89187 40 | 2.288 % |
491.91/492.16 c | 90003 | 14176 58577 176012 | 2147483647 89982 40 | 2.288 % |
497.91/498.17 c | 90874 | 14176 58577 176012 | 2147483647 90853 40 | 2.288 % |
504.61/504.83 c | 91833 | 14176 58577 176012 | 2147483647 91812 40 | 2.288 % |
512.20/512.47 c | 92886 | 14176 58577 176012 | 2147483647 92865 40 | 2.288 % |
513.00/513.20 c | 92986 | 14176 58577 176012 | 2147483647 92965 40 | 2.288 % |
513.60/513.84 c | 93098 | 14176 58577 176012 | 2147483647 93077 40 | 2.288 % |
514.51/514.74 c | 93219 | 14176 58577 176012 | 2147483647 93198 40 | 2.288 % |
515.40/515.66 c | 93353 | 14176 58577 176012 | 2147483647 93332 40 | 2.288 % |
516.70/516.92 c | 93500 | 14176 58577 176012 | 2147483647 93479 40 | 2.288 % |
518.00/518.23 c | 93661 | 14176 58577 176012 | 2147483647 93640 40 | 2.288 % |
519.40/519.69 c | 93838 | 14176 58577 176012 | 2147483647 93817 40 | 2.288 % |
521.10/521.40 c | 94032 | 14176 58577 176012 | 2147483647 94011 40 | 2.288 % |
522.90/523.10 c | 94244 | 14176 58577 176012 | 2147483647 94223 40 | 2.288 % |
524.80/525.04 c | 94477 | 14176 58577 176012 | 2147483647 94456 40 | 2.288 % |
526.60/526.89 c | 94734 | 14176 58577 176012 | 2147483647 94713 40 | 2.288 % |
528.80/529.02 c | 95015 | 14176 58577 176012 | 2147483647 94994 40 | 2.288 % |
531.20/531.40 c | 95324 | 14176 58577 176012 | 2147483647 95303 40 | 2.288 % |
533.69/533.90 c | 95663 | 14176 58577 176012 | 2147483647 95642 40 | 2.288 % |
536.29/536.54 c | 96035 | 14176 58577 176012 | 2147483647 96014 40 | 2.288 % |
538.99/539.21 c | 96444 | 14176 58577 176012 | 2147483647 96423 40 | 2.288 % |
542.39/542.66 c | 96894 | 14176 58577 176012 | 2147483647 96873 40 | 2.288 % |
546.60/546.82 c | 97387 | 14176 58577 176012 | 2147483647 97366 40 | 2.288 % |
550.70/550.98 c | 97931 | 14176 58577 176012 | 2147483647 97910 40 | 2.288 % |
555.30/555.58 c | 98527 | 14176 58577 176012 | 2147483647 98506 40 | 2.288 % |
560.60/560.88 c | 99182 | 14176 58577 176012 | 2147483647 99161 40 | 2.288 % |
566.49/566.75 c | 99903 | 14176 58577 176012 | 2147483647 99882 40 | 2.288 % |
573.09/573.39 c | 100696 | 14176 58577 176012 | 2147483647 100675 40 | 2.288 % |
579.49/579.74 c | 101567 | 14176 58577 176012 | 2147483647 101546 40 | 2.288 % |
585.38/585.68 c | 102525 | 14176 58577 176012 | 2147483647 102504 40 | 2.288 % |
592.98/593.28 c | 103580 | 14176 58577 176012 | 2147483647 103559 40 | 2.288 % |
602.67/602.92 c | 104739 | 14176 58577 176012 | 2147483647 104718 40 | 2.288 % |
603.27/603.59 c | 104839 | 14176 58577 176012 | 2147483647 104818 40 | 2.288 % |
604.07/604.37 c | 104949 | 14176 58577 176012 | 2147483647 104928 40 | 2.288 % |
605.17/605.41 c | 105071 | 14176 58577 176012 | 2147483647 105050 40 | 2.288 % |
606.27/606.52 c | 105205 | 14176 58577 176012 | 2147483647 105184 40 | 2.288 % |
607.47/607.74 c | 105351 | 14176 58577 176012 | 2147483647 105330 40 | 2.288 % |
608.37/608.60 c | 105512 | 14176 58577 176012 | 2147483647 105491 40 | 2.288 % |
609.77/610.04 c | 105689 | 14176 58577 176012 | 2147483647 105668 40 | 2.288 % |
611.07/611.33 c | 105882 | 14176 58577 176012 | 2147483647 105861 40 | 2.288 % |
612.56/612.80 c | 106095 | 14176 58577 176012 | 2147483647 106074 40 | 2.288 % |
614.46/614.73 c | 106328 | 14176 58577 176012 | 2147483647 106307 40 | 2.288 % |
615.86/616.18 c | 106584 | 14176 58577 176012 | 2147483647 106563 40 | 2.288 % |
617.86/618.20 c | 106865 | 14176 58577 176012 | 2147483647 106844 40 | 2.288 % |
618.86/619.11 c | 107174 | 14176 58577 176012 | 2147483647 107153 40 | 2.288 % |
621.26/621.52 c | 107513 | 14176 58577 176012 | 2147483647 107492 40 | 2.288 % |
624.66/624.92 c | 107886 | 14176 58577 176012 | 2147483647 107865 40 | 2.288 % |
628.26/628.58 c | 108296 | 14176 58577 176012 | 2147483647 108275 40 | 2.288 % |
631.97/632.26 c | 108745 | 14176 58577 176012 | 2147483647 108724 40 | 2.288 % |
636.16/636.41 c | 109239 | 14176 58577 176012 | 2147483647 109218 40 | 2.288 % |
639.87/640.16 c | 109781 | 14176 58577 176012 | 2147483647 109760 40 | 2.288 % |
644.06/644.33 c | 110377 | 14176 58577 176012 | 2147483647 110356 40 | 2.288 % |
648.76/649.01 c | 111033 | 14176 58577 176012 | 2147483647 111012 40 | 2.288 % |
654.45/654.78 c | 111753 | 14176 58577 176012 | 2147483647 111732 40 | 2.288 % |
661.45/661.73 c | 112546 | 14176 58577 176012 | 2147483647 112525 40 | 2.288 % |
667.85/668.19 c | 113418 | 14176 58577 176012 | 2147483647 113397 40 | 2.288 % |
674.55/674.89 c | 114376 | 14176 58577 176012 | 2147483647 114355 40 | 2.288 % |
682.75/683.10 c | 115430 | 14176 58577 176012 | 2147483647 115409 40 | 2.288 % |
691.44/691.80 c | 116590 | 14176 58577 176012 | 2147483647 116569 40 | 2.288 % |
699.64/699.92 c | 117863 | 14176 58577 176012 | 2147483647 117842 40 | 2.288 % |
700.54/700.80 c | 117963 | 14176 58577 176012 | 2147483647 117942 40 | 2.288 % |
701.24/701.55 c | 118074 | 14176 58577 176012 | 2147483647 118053 40 | 2.288 % |
702.44/702.70 c | 118195 | 14176 58577 176012 | 2147483647 118174 40 | 2.288 % |
703.54/703.89 c | 118328 | 14176 58577 176012 | 2147483647 118307 40 | 2.288 % |
704.63/704.96 c | 118476 | 14176 58577 176012 | 2147483647 118455 40 | 2.288 % |
705.95/706.22 c | 118636 | 14176 58577 176012 | 2147483647 118615 40 | 2.288 % |
707.44/707.74 c | 118813 | 14176 58577 176012 | 2147483647 118792 40 | 2.288 % |
708.84/709.10 c | 119006 | 14176 58577 176012 | 2147483647 118985 40 | 2.288 % |
710.35/710.63 c | 119220 | 14176 58577 176012 | 2147483647 119199 40 | 2.288 % |
711.84/712.19 c | 119454 | 14176 58577 176012 | 2147483647 119433 40 | 2.288 % |
714.14/714.43 c | 119710 | 14176 58577 176012 | 2147483647 119689 40 | 2.288 % |
716.54/716.82 c | 119993 | 14176 58577 176012 | 2147483647 119972 40 | 2.288 % |
719.04/719.36 c | 120303 | 14176 58577 176012 | 2147483647 120282 40 | 2.288 % |
721.64/721.92 c | 120645 | 14176 58577 176012 | 2147483647 120624 40 | 2.288 % |
723.84/724.18 c | 121017 | 14176 58577 176012 | 2147483647 120996 40 | 2.288 % |
726.84/727.12 c | 121426 | 14176 58577 176012 | 2147483647 121405 40 | 2.288 % |
729.74/730.06 c | 121876 | 14176 58577 176012 | 2147483647 121855 40 | 2.288 % |
733.23/733.53 c | 122372 | 14176 58577 176012 | 2147483647 122351 40 | 2.288 % |
736.83/737.18 c | 122914 | 14176 58577 176012 | 2147483647 122893 40 | 2.288 % |
740.93/741.27 c | 123512 | 14176 58577 176012 | 2147483647 123491 40 | 2.288 % |
746.73/747.02 c | 124167 | 14176 58577 176012 | 2147483647 124146 40 | 2.288 % |
752.03/752.40 c | 124888 | 14176 58577 176012 | 2147483647 124867 40 | 2.288 % |
755.33/755.69 c | 125680 | 14176 58577 176012 | 2147483647 125659 41 | 2.288 % |
761.72/762.09 c | 126551 | 14176 58577 176012 | 2147483647 126530 41 | 2.288 % |
768.32/768.70 c | 127511 | 14176 58577 176012 | 2147483647 127490 41 | 2.288 % |
777.12/777.43 c | 128565 | 14176 58577 176012 | 2147483647 128544 41 | 2.288 % |
786.01/786.31 c | 129723 | 14176 58577 176012 | 2147483647 129702 41 | 2.288 % |
795.61/795.98 c | 130997 | 14176 58577 176012 | 2147483647 130976 41 | 2.288 % |
807.31/807.69 c | 132397 | 14176 58577 176012 | 2147483647 132376 41 | 2.288 % |
808.31/808.64 c | 132497 | 14176 58577 176012 | 2147483647 132476 41 | 2.288 % |
809.21/809.59 c | 132607 | 14176 58577 176012 | 2147483647 132586 41 | 2.288 % |
810.41/810.70 c | 132729 | 14176 58577 176012 | 2147483647 132708 41 | 2.288 % |
811.11/811.46 c | 132863 | 14176 58577 176012 | 2147483647 132842 41 | 2.288 % |
812.51/812.83 c | 133010 | 14176 58577 176012 | 2147483647 132989 41 | 2.288 % |
814.00/814.36 c | 133170 | 14176 58577 176012 | 2147483647 133149 41 | 2.288 % |
815.70/816.08 c | 133347 | 14176 58577 176012 | 2147483647 133326 41 | 2.288 % |
817.60/817.96 c | 133540 | 14176 58577 176012 | 2147483647 133519 41 | 2.288 % |
819.11/819.49 c | 133753 | 14176 58577 176012 | 2147483647 133732 41 | 2.288 % |
821.41/821.72 c | 133987 | 14176 58577 176012 | 2147483647 133966 41 | 2.288 % |
823.20/823.57 c | 134243 | 14176 58577 176012 | 2147483647 134222 41 | 2.288 % |
825.60/825.95 c | 134524 | 14176 58577 176012 | 2147483647 134503 41 | 2.288 % |
828.10/828.41 c | 134833 | 14176 58577 176012 | 2147483647 134812 41 | 2.288 % |
831.50/831.87 c | 135172 | 14176 58577 176012 | 2147483647 135151 41 | 2.288 % |
832.80/833.12 c | 135544 | 14176 58577 176012 | 2147483647 135523 41 | 2.288 % |
836.10/836.43 c | 135953 | 14176 58577 176012 | 2147483647 135932 41 | 2.288 % |
839.70/840.06 c | 136403 | 14176 58577 176012 | 2147483647 136382 41 | 2.288 % |
844.29/844.67 c | 136897 | 14176 58577 176012 | 2147483647 136876 41 | 2.288 % |
848.80/849.19 c | 137440 | 14176 58577 176012 | 2147483647 137419 41 | 2.288 % |
854.19/854.51 c | 138036 | 14176 58577 176012 | 2147483647 138015 41 | 2.288 % |
859.89/860.28 c | 138691 | 14176 58577 176012 | 2147483647 138670 41 | 2.288 % |
865.99/866.35 c | 139413 | 14176 58577 176012 | 2147483647 139392 41 | 2.288 % |
871.90/872.25 c | 140205 | 14176 58577 176012 | 2147483647 140184 41 | 2.288 % |
878.50/878.85 c | 141077 | 14176 58577 176012 | 2147483647 141056 41 | 2.288 % |
886.69/887.06 c | 142036 | 14176 58577 176012 | 2147483647 142015 41 | 2.288 % |
896.68/897.01 c | 143089 | 14176 58577 176012 | 2147483647 143068 41 | 2.288 % |
907.78/908.11 c | 144247 | 14176 58577 176012 | 2147483647 144226 41 | 2.288 % |
918.87/919.26 c | 145521 | 14176 58577 176012 | 2147483647 145500 41 | 2.288 % |
931.97/932.38 c | 146921 | 14176 58577 176012 | 2147483647 146900 41 | 2.288 % |
943.97/944.36 c | 148461 | 14176 58577 176012 | 2147483647 148440 41 | 2.288 % |
944.87/945.27 c | 148561 | 14176 58577 176012 | 2147483647 148540 41 | 2.288 % |
945.97/946.33 c | 148672 | 14176 58577 176012 | 2147483647 148651 41 | 2.288 % |
946.57/946.98 c | 148795 | 14176 58577 176012 | 2147483647 148774 41 | 2.288 % |
947.47/947.80 c | 148929 | 14176 58577 176012 | 2147483647 148908 41 | 2.288 % |
948.57/948.97 c | 149075 | 14176 58577 176012 | 2147483647 149054 41 | 2.288 % |
949.77/950.11 c | 149237 | 14176 58577 176012 | 2147483647 149216 41 | 2.288 % |
950.87/951.28 c | 149415 | 14176 58577 176012 | 2147483647 149394 41 | 2.288 % |
952.57/952.92 c | 149608 | 14176 58577 176012 | 2147483647 149587 41 | 2.288 % |
954.17/954.57 c | 149820 | 14176 58577 176012 | 2147483647 149799 41 | 2.288 % |
955.57/955.90 c | 150053 | 14176 58577 176012 | 2147483647 150032 41 | 2.288 % |
957.87/958.27 c | 150311 | 14176 58577 176012 | 2147483647 150290 41 | 2.288 % |
960.57/960.91 c | 150592 | 14176 58577 176012 | 2147483647 150571 41 | 2.288 % |
963.47/963.81 c | 150901 | 14176 58577 176012 | 2147483647 150880 41 | 2.288 % |
966.27/966.65 c | 151242 | 14176 58577 176012 | 2147483647 151221 41 | 2.288 % |
969.87/970.30 c | 151615 | 14176 58577 176012 | 2147483647 151594 41 | 2.288 % |
973.86/974.28 c | 152024 | 14176 58577 176012 | 2147483647 152003 41 | 2.288 % |
977.56/977.97 c | 152474 | 14176 58577 176012 | 2147483647 152453 41 | 2.288 % |
981.56/981.95 c | 152968 | 14176 58577 176012 | 2147483647 152947 41 | 2.288 % |
985.86/986.26 c | 153510 | 14176 58577 176012 | 2147483647 153489 41 | 2.288 % |
991.76/992.20 c | 154106 | 14176 58577 176012 | 2147483647 154085 41 | 2.288 % |
998.05/998.42 c | 154761 | 14176 58577 176012 | 2147483647 154740 41 | 2.288 % |
1004.75/1005.11 c | 155481 | 14176 58577 176012 | 2147483647 155460 41 | 2.288 % |
1011.25/1011.63 c | 156273 | 14176 58577 176012 | 2147483647 156252 41 | 2.288 % |
1019.35/1019.74 c | 157145 | 14176 58577 176012 | 2147483647 157124 41 | 2.288 % |
1027.94/1028.32 c | 158105 | 14176 58577 176012 | 2147483647 158084 41 | 2.288 % |
1037.94/1038.35 c | 159159 | 14176 58577 176012 | 2147483647 159138 41 | 2.288 % |
1049.34/1049.72 c | 160317 | 14176 58577 176012 | 2147483647 160296 41 | 2.288 % |
1061.73/1062.12 c | 161590 | 14176 58577 176012 | 2147483647 161569 41 | 2.288 % |
1075.63/1076.03 c | 162991 | 14176 58577 176012 | 2147483647 162970 41 | 2.288 % |
1089.23/1089.66 c | 164531 | 14176 58577 176012 | 2147483647 164510 41 | 2.288 % |
1105.22/1105.68 c | 166226 | 14176 58577 176012 | 2147483647 166205 41 | 2.288 % |
1106.23/1106.64 c | 166327 | 14176 58577 176012 | 2147483647 166306 41 | 2.288 % |
1107.23/1107.70 c | 166438 | 14176 58577 176012 | 2147483647 166417 41 | 2.288 % |
1108.43/1108.82 c | 166559 | 14176 58577 176012 | 2147483647 166538 41 | 2.288 % |
1109.82/1110.20 c | 166693 | 14176 58577 176012 | 2147483647 166672 41 | 2.288 % |
1111.12/1111.56 c | 166839 | 14176 58577 176012 | 2147483647 166818 41 | 2.288 % |
1112.42/1112.86 c | 167000 | 14176 58577 176012 | 2147483647 166979 41 | 2.288 % |
1114.12/1114.58 c | 167177 | 14176 58577 176012 | 2147483647 167156 41 | 2.288 % |
1115.72/1116.18 c | 167370 | 14176 58577 176012 | 2147483647 167349 41 | 2.288 % |
1117.82/1118.26 c | 167582 | 14176 58577 176012 | 2147483647 167561 41 | 2.288 % |
1120.42/1120.84 c | 167816 | 14176 58577 176012 | 2147483647 167795 41 | 2.288 % |
1122.82/1123.24 c | 168072 | 14176 58577 176012 | 2147483647 168051 41 | 2.288 % |
1125.22/1125.66 c | 168354 | 14176 58577 176012 | 2147483647 168333 41 | 2.288 % |
1127.81/1128.26 c | 168663 | 14176 58577 176012 | 2147483647 168642 41 | 2.288 % |
1131.01/1131.41 c | 169003 | 14176 58577 176012 | 2147483647 168982 41 | 2.288 % |
1135.11/1135.52 c | 169375 | 14176 58577 176012 | 2147483647 169354 41 | 2.288 % |
1139.21/1139.64 c | 169784 | 14176 58577 176012 | 2147483647 169763 41 | 2.288 % |
1140.41/1140.82 c | 170233 | 14176 58577 176012 | 2147483647 170212 41 | 2.288 % |
1142.91/1143.39 c | 170728 | 14176 58577 176012 | 2147483647 170707 41 | 2.288 % |
1148.60/1149.01 c | 171271 | 14176 58577 176012 | 2147483647 171250 41 | 2.288 % |
1152.20/1152.62 c | 171869 | 14176 58577 176012 | 2147483647 171848 41 | 2.288 % |
1158.40/1158.89 c | 172524 | 14176 58577 176012 | 2147483647 172503 41 | 2.288 % |
1165.70/1166.18 c | 173244 | 14176 58577 176012 | 2147483647 173223 41 | 2.288 % |
1172.79/1173.21 c | 174039 | 14176 58577 176012 | 2147483647 174018 41 | 2.288 % |
1182.80/1183.24 c | 174910 | 14176 58577 176012 | 2147483647 174889 41 | 2.288 % |
1192.89/1193.40 c | 175868 | 14176 58577 176012 | 2147483647 175847 41 | 2.288 % |
1200.29/1200.79 c | 176921 | 14176 58577 176012 | 2147483647 176900 41 | 2.288 % |
1211.89/1212.34 c | 178081 | 14176 58577 176012 | 2147483647 178060 41 | 2.288 % |
1224.68/1225.19 c | 179356 | 14176 58577 176012 | 2147483647 179335 41 | 2.288 % |
1237.98/1238.40 c | 180757 | 14176 58577 176012 | 2147483647 180736 41 | 2.288 % |
1252.57/1253.00 c | 182298 | 14176 58577 176012 | 2147483647 182277 41 | 2.288 % |
1269.58/1270.00 c | 183993 | 14176 58577 176012 | 2147483647 183972 41 | 2.288 % |
1287.57/1288.01 c | 185857 | 14176 58577 176012 | 2147483647 185836 42 | 2.288 % |
1288.57/1289.10 c | 185957 | 14176 58577 176012 | 2147483647 185936 42 | 2.288 % |
1289.67/1290.11 c | 186067 | 14176 58577 176012 | 2147483647 186046 42 | 2.288 % |
1290.47/1290.95 c | 186189 | 14176 58577 176012 | 2147483647 186168 42 | 2.288 % |
1291.87/1292.32 c | 186322 | 14176 58577 176012 | 2147483647 186301 42 | 2.288 % |
1293.17/1293.63 c | 186468 | 14176 58577 176012 | 2147483647 186447 42 | 2.288 % |
1294.97/1295.45 c | 186629 | 14176 58577 176012 | 2147483647 186608 42 | 2.288 % |
1296.57/1297.09 c | 186805 | 14176 58577 176012 | 2147483647 186784 42 | 2.288 % |
1298.57/1299.06 c | 186998 | 14176 58577 176012 | 2147483647 186977 42 | 2.288 % |
1300.56/1301.05 c | 187210 | 14176 58577 176012 | 2147483647 187189 42 | 2.288 % |
1302.46/1302.96 c | 187443 | 14176 58577 176012 | 2147483647 187422 42 | 2.288 % |
1304.16/1304.66 c | 187699 | 14176 58577 176012 | 2147483647 187678 42 | 2.288 % |
1306.76/1307.28 c | 187981 | 14176 58577 176012 | 2147483647 187960 42 | 2.288 % |
1308.86/1309.35 c | 188291 | 14176 58577 176012 | 2147483647 188270 42 | 2.288 % |
1311.76/1312.24 c | 188630 | 14176 58577 176012 | 2147483647 188609 42 | 2.288 % |
1314.96/1315.43 c | 189003 | 14176 58577 176012 | 2147483647 188982 42 | 2.288 % |
1319.35/1319.83 c | 189413 | 14176 58577 176012 | 2147483647 189392 42 | 2.288 % |
1324.05/1324.56 c | 189862 | 14176 58577 176012 | 2147483647 189841 42 | 2.288 % |
1328.95/1329.44 c | 190355 | 14176 58577 176012 | 2147483647 190334 42 | 2.288 % |
1334.55/1335.05 c | 190898 | 14176 58577 176012 | 2147483647 190877 42 | 2.288 % |
1340.75/1341.20 c | 191495 | 14176 58577 176012 | 2147483647 191474 42 | 2.288 % |
1346.95/1347.44 c | 192150 | 14176 58577 176012 | 2147483647 192129 42 | 2.288 % |
1354.54/1355.02 c | 192871 | 14176 58577 176012 | 2147483647 192850 42 | 2.288 % |
1361.94/1362.47 c | 193664 | 14176 58577 176012 | 2147483647 193643 42 | 2.288 % |
1371.94/1372.48 c | 194536 | 14176 58577 176012 | 2147483647 194515 42 | 2.288 % |
1383.84/1384.31 c | 195494 | 14176 58577 176012 | 2147483647 195473 42 | 2.288 % |
1395.74/1396.28 c | 196547 | 14176 58577 176012 | 2147483647 196526 42 | 2.288 % |
1407.83/1408.36 c | 197706 | 14176 58577 176012 | 2147483647 197685 42 | 2.288 % |
1421.93/1422.43 c | 198980 | 14176 58577 176012 | 2147483647 198959 42 | 2.288 % |
1437.92/1438.46 c | 200381 | 14176 58577 176012 | 2147483647 200360 42 | 2.288 % |
1454.22/1454.72 c | 201921 | 14176 58577 176012 | 2147483647 201900 42 | 2.288 % |
1473.31/1473.84 c | 203615 | 14176 58577 176012 | 2147483647 203594 42 | 2.288 % |
1492.70/1493.20 c | 205479 | 14176 58577 176012 | 2147483647 205458 42 | 2.288 % |
1516.10/1516.68 c | 207529 | 14176 58577 176012 | 2147483647 207508 42 | 2.288 % |
1517.40/1517.97 c | 207630 | 14176 58577 176012 | 2147483647 207609 42 | 2.288 % |
1518.80/1519.32 c | 207741 | 14176 58577 176012 | 2147483647 207720 42 | 2.288 % |
1520.10/1520.64 c | 207863 | 14176 58577 176012 | 2147483647 207842 42 | 2.288 % |
1521.39/1521.98 c | 207998 | 14176 58577 176012 | 2147483647 207977 42 | 2.288 % |
1522.90/1523.42 c | 208144 | 14176 58577 176012 | 2147483647 208123 42 | 2.288 % |
1524.69/1525.28 c | 208306 | 14176 58577 176012 | 2147483647 208285 42 | 2.288 % |
1526.20/1526.80 c | 208482 | 14176 58577 176012 | 2147483647 208461 42 | 2.288 % |
1528.09/1528.69 c | 208675 | 14176 58577 176012 | 2147483647 208654 42 | 2.288 % |
1530.29/1530.85 c | 208889 | 14176 58577 176012 | 2147483647 208868 42 | 2.288 % |
1532.70/1533.29 c | 209123 | 14176 58577 176012 | 2147483647 209102 42 | 2.288 % |
1534.80/1535.30 c | 209379 | 14176 58577 176012 | 2147483647 209358 42 | 2.288 % |
1537.20/1537.77 c | 209660 | 14176 58577 176012 | 2147483647 209639 42 | 2.288 % |
1540.60/1541.19 c | 209970 | 14176 58577 176012 | 2147483647 209949 42 | 2.288 % |
1544.00/1544.50 c | 210310 | 14176 58577 176012 | 2147483647 210289 42 | 2.288 % |
1547.40/1547.97 c | 210682 | 14176 58577 176012 | 2147483647 210661 42 | 2.288 % |
1551.60/1552.11 c | 211092 | 14176 58577 176012 | 2147483647 211071 42 | 2.288 % |
1556.69/1557.28 c | 211542 | 14176 58577 176012 | 2147483647 211521 42 | 2.288 % |
1561.99/1562.58 c | 212036 | 14176 58577 176012 | 2147483647 212015 42 | 2.288 % |
1567.59/1568.16 c | 212578 | 14176 58577 176012 | 2147483647 212557 42 | 2.288 % |
1574.49/1575.04 c | 213176 | 14176 58577 176012 | 2147483647 213155 42 | 2.288 % |
1582.29/1582.88 c | 213832 | 14176 58577 176012 | 2147483647 213811 42 | 2.288 % |
1589.78/1590.31 c | 214552 | 14176 58577 176012 | 2147483647 214531 42 | 2.288 % |
1596.98/1597.52 c | 215345 | 14176 58577 176012 | 2147483647 215324 42 | 2.288 % |
1606.08/1606.65 c | 216216 | 14176 58577 176012 | 2147483647 216195 42 | 2.288 % |
1616.38/1616.94 c | 217174 | 14176 58577 176012 | 2147483647 217153 42 | 2.288 % |
1626.77/1627.31 c | 218227 | 14176 58577 176012 | 2147483647 218206 42 | 2.288 % |
1638.87/1639.44 c | 219386 | 14176 58577 176012 | 2147483647 219365 42 | 2.288 % |
1650.26/1650.80 c | 220659 | 14176 58577 176012 | 2147483647 220638 42 | 2.288 % |
1665.06/1665.67 c | 222060 | 14176 58577 176012 | 2147483647 222039 42 | 2.288 % |
1681.75/1682.40 c | 223601 | 14176 58577 176012 | 2147483647 223580 42 | 2.288 % |
1701.25/1701.89 c | 225296 | 14176 58577 176012 | 2147483647 225275 42 | 2.288 % |
1721.04/1721.64 c | 227159 | 14176 58577 176012 | 2147483647 227138 42 | 2.288 % |
1742.33/1742.96 c | 229209 | 14176 58577 176012 | 2147483647 229188 42 | 2.288 % |
1768.53/1769.17 c | 231463 | 14176 58577 176012 | 2147483647 231442 42 | 2.288 % |
1769.63/1770.23 c | 231565 | 14176 58577 176012 | 2147483647 231544 42 | 2.288 % |
1771.13/1771.75 c | 231675 | 14176 58577 176012 | 2147483647 231654 42 | 2.288 % |
1772.33/1772.91 c | 231796 | 14176 58577 176012 | 2147483647 231775 42 | 2.288 % |
1773.64/1774.22 c | 231929 | 14176 58577 176012 | 2147483647 231908 42 | 2.288 % |
1775.23/1775.89 c | 232076 | 14176 58577 176012 | 2147483647 232055 42 | 2.288 % |
1777.33/1777.98 c | 232237 | 14176 58577 176012 | 2147483647 232216 42 | 2.288 % |
1779.63/1780.27 c | 232414 | 14176 58577 176012 | 2147483647 232393 42 | 2.288 % |
1781.83/1782.48 c | 232607 | 14176 58577 176012 | 2147483647 232586 42 | 2.288 % |
1784.23/1784.82 c | 232819 | 14176 58577 176012 | 2147483647 232798 42 | 2.288 % |
1786.73/1787.38 c | 233055 | 14176 58577 176012 | 2147483647 233034 42 | 2.288 % |
1789.73/1790.33 c | 233311 | 14176 58577 176012 | 2147483647 233290 42 | 2.288 % |
1793.43/1794.01 c | 233592 | 14176 58577 176012 | 2147483647 233571 42 | 2.288 % |
1796.32/1796.95 c | 233902 | 14176 58577 176012 | 2147483647 233881 42 | 2.288 % |
1800.13/1800.73 c | 234241 | 14176 58577 176012 | 2147483647 234220 42 | 2.288 % |
1804.02/1804.69 c | 234613 | 14176 58577 176012 | 2147483647 234592 42 | 2.288 % |
1808.62/1809.28 c | 235023 | 14176 58577 176012 | 2147483647 235002 42 | 2.288 % |
1814.02/1814.60 c | 235472 | 14176 58577 176012 | 2147483647 235451 42 | 2.288 % |
1820.21/1820.89 c | 235965 | 14176 58577 176012 | 2147483647 235944 42 | 2.288 % |
1826.81/1827.43 c | 236507 | 14176 58577 176012 | 2147483647 236486 42 | 2.288 % |
1833.21/1833.80 c | 237104 | 14176 58577 176012 | 2147483647 237083 42 | 2.288 % |
1840.71/1841.35 c | 237759 | 14176 58577 176012 | 2147483647 237738 42 | 2.288 % |
1848.30/1848.99 c | 238480 | 14176 58577 176012 | 2147483647 238459 42 | 2.288 % |
1857.20/1857.86 c | 239272 | 14176 58577 176012 | 2147483647 239251 42 | 2.288 % |
1866.00/1866.65 c | 240146 | 14176 58577 176012 | 2147483647 240125 42 | 2.288 % |
1876.69/1877.34 c | 241104 | 14176 58577 176012 | 2147483647 241083 42 | 2.288 % |
1888.50/1889.13 c | 242158 | 14176 58577 176012 | 2147483647 242137 42 | 2.288 % |
1901.79/1902.48 c | 243317 | 14176 58577 176012 | 2147483647 243296 42 | 2.288 % |
1915.09/1915.77 c | 244592 | 14176 58577 176012 | 2147483647 244571 42 | 2.288 % |
1931.28/1931.99 c | 245993 | 14176 58577 176012 | 2147483647 245972 42 | 2.288 % |
1952.18/1952.90 c | 247534 | 14176 58577 176012 | 2147483647 247513 42 | 2.288 % |
1973.37/1974.07 c | 249228 | 14176 58577 176012 | 2147483647 249207 42 | 2.288 % |
1996.06/1996.75 c | 251092 | 14176 58577 176012 | 2147483647 251071 42 | 2.288 % |
2022.85/2023.52 c | 253142 | 14176 58577 176012 | 2147483647 253121 42 | 2.288 % |
2051.25/2051.99 c | 255396 | 14176 58577 176012 | 2147483647 255375 42 | 2.288 % |
2081.34/2082.06 c | 257874 | 14176 58577 176012 | 2147483647 257853 42 | 2.288 % |
2082.44/2083.16 c | 257974 | 14176 58577 176012 | 2147483647 257953 42 | 2.288 % |
2083.74/2084.40 c | 258085 | 14176 58577 176012 | 2147483647 258064 42 | 2.288 % |
2085.54/2086.25 c | 258206 | 14176 58577 176012 | 2147483647 258185 42 | 2.288 % |
2087.14/2087.81 c | 258339 | 14176 58577 176012 | 2147483647 258318 42 | 2.288 % |
2087.93/2088.64 c | 258485 | 14176 58577 176012 | 2147483647 258464 42 | 2.288 % |
2089.73/2090.47 c | 258647 | 14176 58577 176012 | 2147483647 258626 42 | 2.288 % |
2091.83/2092.56 c | 258823 | 14176 58577 176012 | 2147483647 258802 42 | 2.288 % |
2094.33/2095.03 c | 259016 | 14176 58577 176012 | 2147483647 258995 42 | 2.288 % |
2097.33/2098.03 c | 259228 | 14176 58577 176012 | 2147483647 259207 42 | 2.288 % |
2100.63/2101.31 c | 259462 | 14176 58577 176012 | 2147483647 259441 42 | 2.288 % |
2103.53/2104.23 c | 259718 | 14176 58577 176012 | 2147483647 259697 42 | 2.288 % |
2106.63/2107.35 c | 260000 | 14176 58577 176012 | 2147483647 259979 42 | 2.288 % |
2111.23/2111.90 c | 260309 | 14176 58577 176012 | 2147483647 260288 42 | 2.288 % |
2114.82/2115.55 c | 260648 | 14176 58577 176012 | 2147483647 260627 42 | 2.288 % |
2118.73/2119.48 c | 261020 | 14176 58577 176012 | 2147483647 260999 42 | 2.288 % |
2124.82/2125.60 c | 261429 | 14176 58577 176012 | 2147483647 261408 42 | 2.288 % |
2131.03/2131.76 c | 261879 | 14176 58577 176012 | 2147483647 261858 42 | 2.288 % |
2137.13/2137.81 c | 262373 | 14176 58577 176012 | 2147483647 262352 42 | 2.288 % |
2143.93/2144.66 c | 262916 | 14176 58577 176012 | 2147483647 262895 42 | 2.288 % |
2151.22/2151.93 c | 263513 | 14176 58577 176012 | 2147483647 263492 42 | 2.288 % |
2159.32/2160.01 c | 264168 | 14176 58577 176012 | 2147483647 264147 42 | 2.288 % |
2167.02/2167.70 c | 264888 | 14176 58577 176012 | 2147483647 264867 42 | 2.288 % |
2175.81/2176.53 c | 265681 | 14176 58577 176012 | 2147483647 265660 42 | 2.288 % |
2185.21/2185.95 c | 266553 | 14176 58577 176012 | 2147483647 266532 42 | 2.288 % |
2194.51/2195.22 c | 267511 | 14176 58577 176012 | 2147483647 267490 42 | 2.288 % |
2207.90/2208.69 c | 268564 | 14176 58577 176012 | 2147483647 268543 42 | 2.288 % |
2221.00/2221.70 c | 269723 | 14176 58577 176012 | 2147483647 269702 42 | 2.288 % |
2236.79/2237.50 c | 270997 | 14176 58577 176012 | 2147483647 270976 42 | 2.288 % |
2250.29/2251.05 c | 272399 | 14176 58577 176012 | 2147483647 272378 42 | 2.288 % |
2268.99/2269.72 c | 273940 | 14176 58577 176012 | 2147483647 273919 42 | 2.288 % |
2284.99/2285.71 c | 275636 | 14176 58577 176012 | 2147483647 275615 42 | 2.288 % |
2303.08/2303.90 c | 277500 | 14176 58577 176012 | 2147483647 277479 42 | 2.288 % |
2326.78/2327.50 c | 279550 | 14176 58577 176012 | 2147483647 279529 42 | 2.288 % |
2354.47/2355.27 c | 281803 | 14176 58577 176012 | 2147483647 281782 42 | 2.288 % |
2382.86/2383.67 c | 284282 | 14176 58577 176012 | 2147483647 284261 42 | 2.288 % |
2414.65/2415.42 c | 287008 | 14176 58577 176012 | 2147483647 286987 42 | 2.288 % |
2416.15/2416.99 c | 287111 | 14176 58577 176012 | 2147483647 287090 42 | 2.288 % |
2417.65/2418.40 c | 287221 | 14176 58577 176012 | 2147483647 287200 42 | 2.288 % |
2419.35/2420.18 c | 287343 | 14176 58577 176012 | 2147483647 287322 42 | 2.288 % |
2421.24/2422.02 c | 287477 | 14176 58577 176012 | 2147483647 287456 42 | 2.288 % |
2423.34/2424.11 c | 287623 | 14176 58577 176012 | 2147483647 287602 42 | 2.288 % |
2425.44/2426.22 c | 287784 | 14176 58577 176012 | 2147483647 287763 42 | 2.288 % |
2427.95/2428.76 c | 287961 | 14176 58577 176012 | 2147483647 287940 42 | 2.288 % |
2430.74/2431.54 c | 288154 | 14176 58577 176012 | 2147483647 288133 42 | 2.288 % |
2433.54/2434.37 c | 288367 | 14176 58577 176012 | 2147483647 288346 42 | 2.288 % |
2434.74/2435.50 c | 288601 | 14176 58577 176012 | 2147483647 288580 42 | 2.288 % |
2437.64/2438.45 c | 288858 | 14176 58577 176012 | 2147483647 288837 42 | 2.288 % |
2441.34/2442.14 c | 289139 | 14176 58577 176012 | 2147483647 289118 42 | 2.288 % |
2445.94/2446.76 c | 289450 | 14176 58577 176012 | 2147483647 289429 42 | 2.288 % |
2449.94/2450.75 c | 289789 | 14176 58577 176012 | 2147483647 289768 42 | 2.288 % |
2455.93/2456.72 c | 290162 | 14176 58577 176012 | 2147483647 290141 42 | 2.288 % |
2461.73/2462.51 c | 290573 | 14176 58577 176012 | 2147483647 290552 42 | 2.288 % |
2468.53/2469.36 c | 291023 | 14176 58577 176012 | 2147483647 291002 42 | 2.288 % |
2475.83/2476.65 c | 291517 | 14176 58577 176012 | 2147483647 291496 42 | 2.288 % |
2483.62/2484.41 c | 292059 | 14176 58577 176012 | 2147483647 292038 42 | 2.288 % |
2492.12/2492.91 c | 292656 | 14176 58577 176012 | 2147483647 292635 42 | 2.288 % |
2500.92/2501.72 c | 293311 | 14176 58577 176012 | 2147483647 293290 42 | 2.288 % |
2510.42/2511.21 c | 294031 | 14176 58577 176012 | 2147483647 294010 42 | 2.288 % |
2522.01/2522.88 c | 294824 | 14176 58577 176012 | 2147483647 294803 42 | 2.288 % |
2534.31/2535.19 c | 295696 | 14176 58577 176012 | 2147483647 295675 42 | 2.288 % |
2548.60/2549.49 c | 296654 | 14176 58577 176012 | 2147483647 296633 42 | 2.288 % |
2562.91/2563.71 c | 297707 | 14176 58577 176012 | 2147483647 297686 42 | 2.288 % |
2577.90/2578.72 c | 298865 | 14176 58577 176012 | 2147483647 298844 42 | 2.288 % |
2594.49/2595.30 c | 300140 | 14176 58577 176012 | 2147483647 300119 42 | 2.288 % |
2611.99/2612.80 c | 301540 | 14176 58577 176012 | 2147483647 301519 42 | 2.288 % |
2632.58/2633.49 c | 303082 | 14176 58577 176012 | 2147483647 303061 42 | 2.288 % |
2655.87/2656.75 c | 304777 | 14176 58577 176012 | 2147483647 304756 42 | 2.288 % |
2678.56/2679.48 c | 306641 | 14176 58577 176012 | 2147483647 306620 42 | 2.288 % |
2705.66/2706.52 c | 308690 | 14176 58577 176012 | 2147483647 308669 42 | 2.288 % |
2737.95/2738.82 c | 310943 | 14176 58577 176012 | 2147483647 310922 42 | 2.288 % |
2771.34/2772.24 c | 313421 | 14176 58577 176012 | 2147483647 313400 42 | 2.288 % |
2810.44/2811.35 c | 316146 | 14176 58577 176012 | 2147483647 316125 42 | 2.288 % |
2850.33/2851.24 c | 319143 | 14176 58577 176012 | 2147483647 319122 42 | 2.288 % |
2851.82/2852.79 c | 319243 | 14176 58577 176012 | 2147483647 319222 42 | 2.288 % |
2853.53/2854.45 c | 319353 | 14176 58577 176012 | 2147483647 319332 42 | 2.288 % |
2855.12/2856.09 c | 319475 | 14176 58577 176012 | 2147483647 319454 42 | 2.288 % |
2857.12/2858.00 c | 319609 | 14176 58577 176012 | 2147483647 319588 42 | 2.288 % |
2859.12/2860.00 c | 319755 | 14176 58577 176012 | 2147483647 319734 42 | 2.288 % |
2861.62/2862.54 c | 319915 | 14176 58577 176012 | 2147483647 319894 42 | 2.288 % |
2864.32/2865.22 c | 320092 | 14176 58577 176012 | 2147483647 320071 42 | 2.288 % |
2867.52/2868.40 c | 320285 | 14176 58577 176012 | 2147483647 320264 42 | 2.288 % |
2871.01/2871.92 c | 320498 | 14176 58577 176012 | 2147483647 320477 42 | 2.288 % |
2874.81/2875.71 c | 320732 | 14176 58577 176012 | 2147483647 320711 42 | 2.288 % |
2876.81/2877.72 c | 320988 | 14176 58577 176012 | 2147483647 320967 42 | 2.288 % |
2880.91/2881.88 c | 321270 | 14176 58577 176012 | 2147483647 321249 42 | 2.288 % |
2885.41/2886.37 c | 321580 | 14176 58577 176012 | 2147483647 321559 42 | 2.288 % |
2891.21/2892.11 c | 321920 | 14176 58577 176012 | 2147483647 321899 42 | 2.288 % |
2896.21/2897.12 c | 322292 | 14176 58577 176012 | 2147483647 322271 42 | 2.288 % |
2902.80/2903.77 c | 322701 | 14176 58577 176012 | 2147483647 322680 42 | 2.288 % |
2909.30/2910.25 c | 323151 | 14176 58577 176012 | 2147483647 323130 42 | 2.288 % |
2916.30/2917.25 c | 323644 | 14176 58577 176012 | 2147483647 323623 42 | 2.288 % |
2924.90/2925.87 c | 324187 | 14176 58577 176012 | 2147483647 324166 42 | 2.288 % |
2933.90/2934.86 c | 324784 | 14176 58577 176012 | 2147483647 324763 42 | 2.288 % |
2943.20/2944.17 c | 325440 | 14176 58577 176012 | 2147483647 325419 42 | 2.288 % |
2953.60/2954.58 c | 326160 | 14176 58577 176012 | 2147483647 326139 42 | 2.288 % |
2963.69/2964.63 c | 326953 | 14176 58577 176012 | 2147483647 326932 42 | 2.288 % |
2975.69/2976.68 c | 327825 | 14176 58577 176012 | 2147483647 327804 42 | 2.288 % |
2989.38/2990.31 c | 328783 | 14176 58577 176012 | 2147483647 328762 42 | 2.288 % |
3006.58/3007.52 c | 329838 | 14176 58577 176012 | 2147483647 329817 42 | 2.288 % |
3021.77/3022.72 c | 330996 | 14176 58577 176012 | 2147483647 330975 42 | 2.288 % |
3039.07/3040.06 c | 332270 | 14176 58577 176012 | 2147483647 332249 42 | 2.288 % |
3054.46/3055.48 c | 333670 | 14176 58577 176012 | 2147483647 333649 42 | 2.288 % |
3072.65/3073.65 c | 335210 | 14176 58577 176012 | 2147483647 335189 42 | 2.288 % |
3097.55/3098.55 c | 336906 | 14176 58577 176012 | 2147483647 336885 42 | 2.288 % |
3126.44/3127.42 c | 338770 | 14176 58577 176012 | 2147483647 338749 42 | 2.288 % |
3156.73/3157.73 c | 340821 | 14176 58577 176012 | 2147483647 340800 42 | 2.288 % |
3189.42/3190.43 c | 343075 | 14176 58577 176012 | 2147483647 343054 42 | 2.288 % |
3227.91/3228.92 c | 345554 | 14176 58577 176012 | 2147483647 345533 42 | 2.288 % |
3268.90/3269.96 c | 348280 | 14176 58577 176012 | 2147483647 348259 42 | 2.288 % |
3313.99/3315.05 c | 351278 | 14176 58577 176012 | 2147483647 351257 42 | 2.288 % |
3361.77/3362.82 c | 354576 | 14176 58577 176012 | 2147483647 354555 42 | 2.288 % |
3363.47/3364.58 c | 354676 | 14176 58577 176012 | 2147483647 354655 42 | 2.288 % |
3365.37/3366.46 c | 354786 | 14176 58577 176012 | 2147483647 354765 42 | 2.288 % |
3367.37/3368.42 c | 354907 | 14176 58577 176012 | 2147483647 354886 42 | 2.288 % |
3369.57/3370.64 c | 355040 | 14176 58577 176012 | 2147483647 355019 42 | 2.288 % |
3371.87/3372.90 c | 355187 | 14176 58577 176012 | 2147483647 355166 42 | 2.288 % |
3374.17/3375.26 c | 355347 | 14176 58577 176012 | 2147483647 355326 42 | 2.288 % |
3377.26/3378.32 c | 355523 | 14176 58577 176012 | 2147483647 355502 42 | 2.288 % |
3380.06/3381.20 c | 355716 | 14176 58577 176012 | 2147483647 355695 42 | 2.288 % |
3382.66/3383.74 c | 355930 | 14176 58577 176012 | 2147483647 355909 42 | 2.288 % |
3386.46/3387.53 c | 356164 | 14176 58577 176012 | 2147483647 356143 42 | 2.288 % |
3390.36/3391.40 c | 356420 | 14176 58577 176012 | 2147483647 356399 42 | 2.288 % |
3395.07/3396.11 c | 356702 | 14176 58577 176012 | 2147483647 356681 42 | 2.288 % |
3399.57/3400.62 c | 357013 | 14176 58577 176012 | 2147483647 356992 42 | 2.288 % |
3403.96/3405.04 c | 357352 | 14176 58577 176012 | 2147483647 357331 42 | 2.288 % |
3409.97/3411.04 c | 357724 | 14176 58577 176012 | 2147483647 357703 42 | 2.288 % |
3416.26/3417.35 c | 358134 | 14176 58577 176012 | 2147483647 358113 42 | 2.288 % |
3422.26/3423.39 c | 358583 | 14176 58577 176012 | 2147483647 358562 42 | 2.288 % |
3429.46/3430.55 c | 359078 | 14176 58577 176012 | 2147483647 359057 42 | 2.288 % |
3437.05/3438.17 c | 359621 | 14176 58577 176012 | 2147483647 359600 42 | 2.288 % |
3445.65/3446.76 c | 360217 | 14176 58577 176012 | 2147483647 360196 42 | 2.288 % |
3454.15/3455.27 c | 360872 | 14176 58577 176012 | 2147483647 360851 42 | 2.288 % |
3463.24/3464.38 c | 361592 | 14176 58577 176012 | 2147483647 361571 42 | 2.288 % |
3473.74/3474.86 c | 362385 | 14176 58577 176012 | 2147483647 362364 42 | 2.288 % |
3487.04/3488.11 c | 363256 | 14176 58577 176012 | 2147483647 363235 42 | 2.288 % |
3500.83/3501.90 c | 364215 | 14176 58577 176012 | 2147483647 364194 42 | 2.288 % |
3517.22/3518.35 c | 365269 | 14176 58577 176012 | 2147483647 365248 42 | 2.288 % |
3535.02/3536.12 c | 366428 | 14176 58577 176012 | 2147483647 366407 42 | 2.288 % |
3552.22/3553.31 c | 367701 | 14176 58577 176012 | 2147483647 367680 42 | 2.288 % |
3573.31/3574.49 c | 369101 | 14176 58577 176012 | 2147483647 369080 42 | 2.288 % |
3595.10/3596.24 c | 370642 | 14176 58577 176012 | 2147483647 370621 42 | 2.288 % |
3619.40/3620.52 c | 372336 | 14176 58577 176012 | 2147483647 372315 42 | 2.288 % |
3650.68/3651.88 c | 374199 | 14176 58577 176012 | 2147483647 374178 42 | 2.288 % |
3680.77/3681.93 c | 376249 | 14176 58577 176012 | 2147483647 376228 42 | 2.288 % |
3713.27/3714.40 c | 378503 | 14176 58577 176012 | 2147483647 378482 42 | 2.288 % |
3751.06/3752.21 c | 380982 | 14176 58577 176012 | 2147483647 380961 42 | 2.288 % |
3787.04/3788.20 c | 383708 | 14176 58577 176012 | 2147483647 383687 42 | 2.288 % |
3831.64/3832.81 c | 386706 | 14176 58577 176012 | 2147483647 386685 42 | 2.288 % |
3881.22/3882.46 c | 390002 | 14176 58577 176012 | 2147483647 389981 42 | 2.288 % |
3943.41/3944.66 c | 393627 | 14176 58577 176012 | 2147483647 393606 42 | 2.288 % |
3945.21/3946.44 c | 393728 | 14176 58577 176012 | 2147483647 393707 42 | 2.288 % |
3947.21/3948.42 c | 393838 | 14176 58577 176012 | 2147483647 393817 42 | 2.288 % |
3948.71/3949.95 c | 393960 | 14176 58577 176012 | 2147483647 393939 42 | 2.288 % |
3950.71/3951.96 c | 394095 | 14176 58577 176012 | 2147483647 394074 42 | 2.288 % |
3953.41/3954.66 c | 394241 | 14176 58577 176012 | 2147483647 394220 42 | 2.288 % |
3956.20/3957.46 c | 394401 | 14176 58577 176012 | 2147483647 394380 42 | 2.288 % |
3958.40/3959.69 c | 394578 | 14176 58577 176012 | 2147483647 394557 42 | 2.288 % |
3960.80/3962.03 c | 394771 | 14176 58577 176012 | 2147483647 394750 42 | 2.288 % |
3964.20/3965.47 c | 394984 | 14176 58577 176012 | 2147483647 394963 42 | 2.288 % |
3968.20/3969.42 c | 395217 | 14176 58577 176012 | 2147483647 395196 42 | 2.288 % |
3972.70/3973.96 c | 395473 | 14176 58577 176012 | 2147483647 395452 42 | 2.288 % |
3976.60/3977.83 c | 395755 | 14176 58577 176012 | 2147483647 395734 42 | 2.288 % |
3981.59/3982.80 c | 396064 | 14176 58577 176012 | 2147483647 396043 42 | 2.288 % |
3988.79/3990.09 c | 396403 | 14176 58577 176012 | 2147483647 396382 42 | 2.288 % |
3995.19/3996.46 c | 396775 | 14176 58577 176012 | 2147483647 396754 42 | 2.288 % |
4002.19/4003.50 c | 397184 | 14176 58577 176012 | 2147483647 397163 42 | 2.288 % |
4009.98/4011.25 c | 397633 | 14176 58577 176012 | 2147483647 397612 42 | 2.288 % |
4017.58/4018.88 c | 398126 | 14176 58577 176012 | 2147483647 398105 42 | 2.288 % |
4023.78/4025.04 c | 398668 | 14176 58577 176012 | 2147483647 398647 42 | 2.288 % |
4031.68/4032.97 c | 399264 | 14176 58577 176012 | 2147483647 399243 42 | 2.288 % |
4042.47/4043.78 c | 399920 | 14176 58577 176012 | 2147483647 399899 42 | 2.288 % |
4054.57/4055.81 c | 400640 | 14176 58577 176012 | 2147483647 400619 42 | 2.288 % |
4068.27/4069.54 c | 401433 | 14176 58577 176012 | 2147483647 401412 42 | 2.288 % |
4082.87/4084.20 c | 402305 | 14176 58577 176012 | 2147483647 402284 42 | 2.288 % |
4098.26/4099.59 c | 403264 | 14176 58577 176012 | 2147483647 403243 42 | 2.288 % |
4114.66/4115.99 c | 404319 | 14176 58577 176012 | 2147483647 404298 42 | 2.288 % |
4133.55/4134.88 c | 405477 | 14176 58577 176012 | 2147483647 405456 42 | 2.288 % |
4152.64/4153.92 c | 406750 | 14176 58577 176012 | 2147483647 406729 42 | 2.288 % |
4173.24/4174.53 c | 408150 | 14176 58577 176012 | 2147483647 408129 42 | 2.288 % |
4192.14/4193.41 c | 409692 | 14176 58577 176012 | 2147483647 409671 42 | 2.288 % |
4217.13/4218.47 c | 411386 | 14176 58577 176012 | 2147483647 411365 42 | 2.288 % |
4234.42/4235.72 c | 413249 | 14176 58577 176012 | 2147483647 413228 42 | 2.288 % |
4270.09/4271.58 c | 415298 | 14176 58577 176012 | 2147483647 415277 42 | 2.288 % |
4309.77/4311.21 c | 417552 | 14176 58577 176012 | 2147483647 417531 42 | 2.288 % |
4352.47/4353.93 c | 420030 | 14176 58577 176012 | 2147483647 420009 42 | 2.288 % |
4401.15/4402.68 c | 422756 | 14176 58577 176012 | 2147483647 422735 42 | 2.288 % |
4446.14/4447.67 c | 425753 | 14176 58577 176012 | 2147483647 425732 42 | 2.288 % |
4498.72/4500.29 c | 429049 | 14176 58577 176012 | 2147483647 429028 42 | 2.288 % |
4567.11/4568.64 c | 432674 | 14176 58577 176012 | 2147483647 432653 42 | 2.288 % |
4639.09/4640.60 c | 436661 | 14176 58577 176012 | 2147483647 436640 42 | 2.288 % |
4640.99/4642.56 c | 436762 | 14176 58577 176012 | 2147483647 436741 42 | 2.288 % |
4642.99/4644.57 c | 436872 | 14176 58577 176012 | 2147483647 436851 42 | 2.288 % |
4645.19/4646.72 c | 436993 | 14176 58577 176012 | 2147483647 436972 42 | 2.288 % |
4647.48/4649.02 c | 437126 | 14176 58577 176012 | 2147483647 437105 42 | 2.288 % |
4649.88/4651.43 c | 437272 | 14176 58577 176012 | 2147483647 437251 42 | 2.288 % |
4652.98/4654.59 c | 437433 | 14176 58577 176012 | 2147483647 437412 42 | 2.288 % |
4655.58/4657.11 c | 437609 | 14176 58577 176012 | 2147483647 437588 42 | 2.288 % |
4658.78/4660.32 c | 437803 | 14176 58577 176012 | 2147483647 437782 42 | 2.288 % |
4661.68/4663.27 c | 438015 | 14176 58577 176012 | 2147483647 437994 42 | 2.288 % |
4665.78/4667.32 c | 438248 | 14176 58577 176012 | 2147483647 438227 42 | 2.288 % |
4669.88/4671.49 c | 438504 | 14176 58577 176012 | 2147483647 438483 42 | 2.288 % |
4675.87/4677.46 c | 438786 | 14176 58577 176012 | 2147483647 438765 42 | 2.288 % |
4680.27/4681.85 c | 439096 | 14176 58577 176012 | 2147483647 439075 42 | 2.288 % |
4686.57/4688.13 c | 439435 | 14176 58577 176012 | 2147483647 439414 42 | 2.288 % |
4692.97/4694.50 c | 439808 | 14176 58577 176012 | 2147483647 439787 42 | 2.288 % |
4700.17/4701.71 c | 440218 | 14176 58577 176012 | 2147483647 440197 42 | 2.288 % |
4709.06/4710.70 c | 440668 | 14176 58577 176012 | 2147483647 440647 42 | 2.288 % |
4718.26/4719.81 c | 441161 | 14176 58577 176012 | 2147483647 441140 42 | 2.288 % |
4728.16/4729.79 c | 441704 | 14176 58577 176012 | 2147483647 441683 42 | 2.288 % |
4739.75/4741.36 c | 442300 | 14176 58577 176012 | 2147483647 442279 42 | 2.288 % |
4752.65/4754.20 c | 442958 | 14176 58577 176012 | 2147483647 442937 42 | 2.288 % |
4764.15/4765.71 c | 443678 | 14176 58577 176012 | 2147483647 443657 42 | 2.288 % |
4777.35/4778.98 c | 444470 | 14176 58577 176012 | 2147483647 444449 42 | 2.288 % |
4792.54/4794.17 c | 445341 | 14176 58577 176012 | 2147483647 445320 42 | 2.288 % |
4809.74/4811.31 c | 446299 | 14176 58577 176012 | 2147483647 446278 42 | 2.288 % |
4827.03/4828.63 c | 447353 | 14176 58577 176012 | 2147483647 447332 42 | 2.288 % |
4845.53/4847.15 c | 448514 | 14176 58577 176012 | 2147483647 448493 42 | 2.288 % |
4867.92/4869.52 c | 449788 | 14176 58577 176012 | 2147483647 449767 42 | 2.288 % |
4890.51/4892.14 c | 451189 | 14176 58577 176012 | 2147483647 451168 42 | 2.288 % |
4915.91/4917.58 c | 452730 | 14176 58577 176012 | 2147483647 452709 42 | 2.288 % |
4945.50/4947.14 c | 454424 | 14176 58577 176012 | 2147483647 454403 42 | 2.288 % |
4977.89/4979.52 c | 456288 | 14176 58577 176012 | 2147483647 456267 42 | 2.288 % |
5014.38/5016.03 c | 458337 | 14176 58577 176012 | 2147483647 458316 42 | 2.288 % |
5053.67/5055.33 c | 460591 | 14176 58577 176012 | 2147483647 460570 42 | 2.288 % |
5100.96/5102.63 c | 463069 | 14176 58577 176012 | 2147483647 463048 42 | 2.288 % |
5153.34/5155.07 c | 465794 | 14176 58577 176012 | 2147483647 465773 42 | 2.288 % |
5197.33/5199.00 c | 468792 | 14176 58577 176012 | 2147483647 468771 42 | 2.288 % |
5252.02/5253.77 c | 472091 | 14176 58577 176012 | 2147483647 472070 42 | 2.288 % |
5309.90/5311.60 c | 475718 | 14176 58577 176012 | 2147483647 475697 42 | 2.288 % |
5371.19/5372.98 c | 479705 | 14176 58577 176012 | 2147483647 479684 42 | 2.288 % |
5456.96/5458.77 c | 484090 | 14176 58577 176012 | 479980 426108 42 | 2.288 % |
5459.06/5460.86 c | 484190 | 14176 58577 176012 | 479980 426208 42 | 2.288 % |
5461.06/5462.87 c | 484301 | 14176 58577 176012 | 479980 426319 42 | 2.288 % |
5463.25/5465.07 c | 484423 | 14176 58577 176012 | 479980 426441 42 | 2.288 % |
5466.05/5467.86 c | 484556 | 14176 58577 176012 | 479980 426574 42 | 2.288 % |
5468.95/5470.72 c | 484702 | 14176 58577 176012 | 479980 426720 42 | 2.288 % |
5471.15/5472.94 c | 484862 | 14176 58577 176012 | 479980 426880 42 | 2.288 % |
5473.96/5475.72 c | 485038 | 14176 58577 176012 | 479980 427056 42 | 2.288 % |
5477.05/5478.90 c | 485232 | 14176 58577 176012 | 479980 427250 42 | 2.288 % |
5481.05/5482.81 c | 485444 | 14176 58577 176012 | 479980 427462 42 | 2.288 % |
5484.85/5486.60 c | 485679 | 14176 58577 176012 | 479980 427697 42 | 2.288 % |
5489.15/5490.93 c | 485935 | 14176 58577 176012 | 479980 427953 42 | 2.288 % |
5494.05/5495.85 c | 486217 | 14176 58577 176012 | 479980 428235 42 | 2.288 % |
5498.74/5500.52 c | 486526 | 14176 58577 176012 | 479980 428544 42 | 2.288 % |
5503.94/5505.79 c | 486865 | 14176 58577 176012 | 479980 428883 42 | 2.288 % |
5510.84/5512.61 c | 487237 | 14176 58577 176012 | 479980 429255 42 | 2.288 % |
5516.74/5518.51 c | 487647 | 14176 58577 176012 | 479980 429665 42 | 2.288 % |
5523.84/5525.63 c | 488097 | 14176 58577 176012 | 479980 430115 42 | 2.288 % |
5531.93/5533.71 c | 488590 | 14176 58577 176012 | 479980 430608 42 | 2.288 % |
5541.53/5543.32 c | 489132 | 14176 58577 176012 | 479980 431150 42 | 2.288 % |
5550.63/5552.48 c | 489728 | 14176 58577 176012 | 479980 431746 42 | 2.288 % |
5562.32/5564.20 c | 490384 | 14176 58577 176012 | 2147483647 432402 42 | 2.288 % |
5574.63/5576.49 c | 491105 | 14176 58577 176012 | 2147483647 433123 42 | 2.288 % |
5589.02/5590.84 c | 491897 | 14176 58577 176012 | 2147483647 433915 42 | 2.288 % |
5605.22/5607.00 c | 492769 | 14176 58577 176012 | 2147483647 434787 42 | 2.288 % |
5619.61/5621.42 c | 493727 | 14176 58577 176012 | 2147483647 435745 42 | 2.288 % |
5637.51/5639.37 c | 494782 | 14176 58577 176012 | 2147483647 436800 42 | 2.288 % |
5659.00/5660.81 c | 495943 | 14176 58577 176012 | 2147483647 437961 42 | 2.288 % |
5679.30/5681.17 c | 497218 | 14176 58577 176012 | 2147483647 439236 42 | 2.288 % |
5704.79/5706.61 c | 498618 | 14176 58577 176012 | 2147483647 440636 42 | 2.288 % |
5732.08/5733.92 c | 500159 | 14176 58577 176012 | 2147483647 442177 42 | 2.288 % |
5757.47/5759.39 c | 501854 | 14176 58577 176012 | 2147483647 443872 42 | 2.288 % |
5788.87/5790.75 c | 503717 | 14176 58577 176012 | 2147483647 445735 42 | 2.288 % |
5816.66/5818.51 c | 505766 | 14176 58577 176012 | 2147483647 447784 42 | 2.288 % |
5858.54/5860.45 c | 508020 | 14176 58577 176012 | 2147483647 450038 42 | 2.288 % |
5905.83/5907.77 c | 510498 | 14176 58577 176012 | 2147483647 452516 42 | 2.288 % |
5955.51/5957.45 c | 513224 | 14176 58577 176012 | 2147483647 455242 42 | 2.288 % |
6009.01/6010.98 c | 516222 | 14176 58577 176012 | 2147483647 458240 42 | 2.288 % |
6065.99/6067.90 c | 519519 | 14176 58577 176012 | 2147483647 461537 42 | 2.288 % |
6132.77/6134.78 c | 523144 | 14176 58577 176012 | 2147483647 465162 42 | 2.288 % |
6204.94/6206.96 c | 527131 | 14176 58577 176012 | 2147483647 469149 42 | 2.288 % |
6282.52/6284.56 c | 531518 | 14176 58577 176012 | 472018 473536 42 | 2.288 % |
6363.31/6365.40 c | 536342 | 14176 58577 176012 | 472018 415383 42 | 2.288 % |
6365.21/6367.29 c | 536443 | 14176 58577 176012 | 472018 415484 42 | 2.288 % |
6367.01/6369.02 c | 536554 | 14176 58577 176012 | 472018 415595 42 | 2.288 % |
6369.51/6371.52 c | 536676 | 14176 58577 176012 | 472018 415717 42 | 2.288 % |
6371.80/6373.86 c | 536809 | 14176 58577 176012 | 472018 415850 42 | 2.288 % |
6374.61/6376.64 c | 536956 | 14176 58577 176012 | 472018 415997 42 | 2.288 % |
6377.20/6379.21 c | 537116 | 14176 58577 176012 | 472018 416157 42 | 2.288 % |
6379.70/6381.74 c | 537293 | 14176 58577 176012 | 472018 416334 42 | 2.288 % |
6382.60/6384.64 c | 537487 | 14176 58577 176012 | 472018 416528 42 | 2.288 % |
6386.60/6388.68 c | 537699 | 14176 58577 176012 | 472018 416740 42 | 2.288 % |
6390.60/6392.67 c | 537932 | 14176 58577 176012 | 472018 416973 42 | 2.288 % |
6395.60/6397.64 c | 538188 | 14176 58577 176012 | 472018 417229 42 | 2.288 % |
6400.69/6402.79 c | 538471 | 14176 58577 176012 | 472018 417512 42 | 2.288 % |
6406.69/6408.75 c | 538780 | 14176 58577 176012 | 472018 417821 42 | 2.288 % |
6413.09/6415.13 c | 539120 | 14176 58577 176012 | 472018 418161 42 | 2.288 % |
6419.39/6421.40 c | 539493 | 14176 58577 176012 | 472018 418534 42 | 2.288 % |
6425.19/6427.23 c | 539902 | 14176 58577 176012 | 472018 418943 42 | 2.288 % |
6432.08/6434.17 c | 540351 | 14176 58577 176012 | 2147483647 419392 42 | 2.288 % |
6440.58/6442.61 c | 540844 | 14176 58577 176012 | 2147483647 419885 42 | 2.288 % |
6449.68/6451.80 c | 541387 | 14176 58577 176012 | 2147483647 420428 42 | 2.288 % |
6459.97/6462.03 c | 541983 | 14176 58577 176012 | 2147483647 421024 42 | 2.288 % |
6470.77/6472.84 c | 542638 | 14176 58577 176012 | 2147483647 421679 42 | 2.288 % |
6481.47/6483.52 c | 543360 | 14176 58577 176012 | 2147483647 422401 42 | 2.288 % |
6492.86/6494.90 c | 544153 | 14176 58577 176012 | 2147483647 423194 42 | 2.288 % |
6504.86/6506.90 c | 545024 | 14176 58577 176012 | 2147483647 424065 42 | 2.288 % |
6521.25/6523.32 c | 545982 | 14176 58577 176012 | 2147483647 425023 42 | 2.288 % |
6539.25/6541.31 c | 547035 | 14176 58577 176012 | 2147483647 426076 42 | 2.288 % |
6556.84/6558.93 c | 548193 | 14176 58577 176012 | 2147483647 427234 42 | 2.288 % |
6579.43/6581.51 c | 549467 | 14176 58577 176012 | 2147483647 428508 42 | 2.288 % |
6601.73/6603.88 c | 550870 | 14176 58577 176012 | 2147483647 429911 42 | 2.288 % |
6628.12/6630.24 c | 552411 | 14176 58577 176012 | 2147483647 431452 42 | 2.288 % |
6657.82/6659.99 c | 554105 | 14176 58577 176012 | 2147483647 433146 42 | 2.288 % |
6690.91/6693.08 c | 555969 | 14176 58577 176012 | 2147483647 435010 42 | 2.288 % |
6727.70/6729.89 c | 558018 | 14176 58577 176012 | 2147483647 437059 42 | 2.288 % |
6771.39/6773.57 c | 560271 | 14176 58577 176012 | 2147483647 439312 42 | 2.288 % |
6813.87/6816.03 c | 562749 | 14176 58577 176012 | 2147483647 441790 42 | 2.288 % |
6851.76/6853.93 c | 565474 | 14176 58577 176012 | 2147483647 444515 42 | 2.288 % |
6904.34/6906.56 c | 568471 | 14176 58577 176012 | 2147483647 447512 42 | 2.288 % |
6960.83/6963.02 c | 571767 | 14176 58577 176012 | 2147483647 450808 42 | 2.288 % |
7024.62/7026.87 c | 575392 | 14176 58577 176012 | 2147483647 454433 42 | 2.288 % |
7095.49/7097.78 c | 579379 | 14176 58577 176012 | 2147483647 458420 42 | 2.288 % |
7178.17/7180.46 c | 583764 | 14176 58577 176012 | 2147483647 462805 42 | 2.288 % |
7267.34/7269.69 c | 588587 | 14176 58577 176012 | 2147483647 467628 42 | 2.288 % |
7371.82/7374.11 c | 593892 | 14176 58577 176012 | 2147483647 472933 42 | 2.288 % |
7373.82/7376.13 c | 593992 | 14176 58577 176012 | 2147483647 473033 42 | 2.288 % |
7376.11/7378.44 c | 594102 | 14176 58577 176012 | 2147483647 473143 42 | 2.288 % |
7378.31/7380.69 c | 594224 | 14176 58577 176012 | 2147483647 473265 42 | 2.288 % |
7380.51/7382.88 c | 594358 | 14176 58577 176012 | 2147483647 473399 42 | 2.288 % |
7382.02/7384.30 c | 594505 | 14176 58577 176012 | 2147483647 473546 42 | 2.288 % |
7385.22/7387.53 c | 594665 | 14176 58577 176012 | 2147483647 473706 42 | 2.288 % |
7387.11/7389.42 c | 594841 | 14176 58577 176012 | 2147483647 473882 42 | 2.288 % |
7390.81/7393.10 c | 595035 | 14176 58577 176012 | 2147483647 474076 42 | 2.288 % |
7395.01/7397.30 c | 595248 | 14176 58577 176012 | 2147483647 474289 42 | 2.288 % |
7399.91/7402.23 c | 595481 | 14176 58577 176012 | 2147483647 474522 42 | 2.288 % |
7405.80/7408.18 c | 595737 | 14176 58577 176012 | 2147483647 474778 42 | 2.288 % |
7411.70/7414.06 c | 596018 | 14176 58577 176012 | 2147483647 475059 42 | 2.288 % |
7419.00/7421.37 c | 596327 | 14176 58577 176012 | 2147483647 475368 42 | 2.288 % |
7425.80/7428.13 c | 596667 | 14176 58577 176012 | 2147483647 475708 42 | 2.288 % |
7432.29/7434.62 c | 597039 | 14176 58577 176012 | 2147483647 476080 42 | 2.288 % |
7438.49/7440.82 c | 597449 | 14176 58577 176012 | 2147483647 476490 42 | 2.288 % |
7445.29/7447.67 c | 597898 | 14176 58577 176012 | 2147483647 476939 42 | 2.288 % |
7454.49/7456.89 c | 598392 | 14176 58577 176012 | 2147483647 477433 42 | 2.288 % |
7464.39/7466.77 c | 598934 | 14176 58577 176012 | 2147483647 477975 42 | 2.288 % |
7475.08/7477.48 c | 599530 | 14176 58577 176012 | 2147483647 478571 42 | 2.288 % |
7487.77/7490.12 c | 600185 | 14176 58577 176012 | 2147483647 479226 42 | 2.288 % |
7500.47/7502.86 c | 600905 | 14176 58577 176012 | 2147483647 479946 42 | 2.288 % |
7514.67/7517.07 c | 601698 | 14176 58577 176012 | 2147483647 480739 42 | 2.288 % |
7529.86/7532.27 c | 602569 | 14176 58577 176012 | 2147483647 481610 42 | 2.288 % |
7548.46/7550.87 c | 603527 | 14176 58577 176012 | 2147483647 482568 42 | 2.288 % |
7568.96/7571.38 c | 604581 | 14176 58577 176012 | 2147483647 483622 42 | 2.288 % |
7590.44/7592.80 c | 605739 | 14176 58577 176012 | 2147483647 484780 42 | 2.288 % |
7613.54/7615.90 c | 607012 | 14176 58577 176012 | 2147483647 486053 42 | 2.288 % |
7639.73/7642.16 c | 608412 | 14176 58577 176012 | 2147483647 487453 42 | 2.288 % |
7671.23/7673.65 c | 609952 | 14176 58577 176012 | 2147483647 488993 42 | 2.288 % |
7702.02/7704.42 c | 611648 | 14176 58577 176012 | 2147483647 490689 42 | 2.288 % |
7726.11/7728.55 c | 613511 | 14176 58577 176012 | 2147483647 492552 42 | 2.288 % |
7763.20/7765.68 c | 615561 | 14176 58577 176012 | 2147483647 494602 42 | 2.288 % |
7805.59/7808.08 c | 617814 | 14176 58577 176012 | 2147483647 496855 42 | 2.288 % |
7849.28/7851.79 c | 620293 | 14176 58577 176012 | 499042 499334 42 | 2.288 % |
7902.55/7905.02 c | 623019 | 14176 58577 176012 | 499042 450286 42 | 2.288 % |
7956.64/7959.10 c | 626017 | 14176 58577 176012 | 499042 453284 42 | 2.288 % |
8010.72/8013.20 c | 629313 | 14176 58577 176012 | 499042 456580 42 | 2.288 % |
8073.90/8076.46 c | 632938 | 14176 58577 176012 | 2147483647 460205 42 | 2.288 % |
8145.19/8147.74 c | 636925 | 14176 58577 176012 | 2147483647 464192 42 | 2.288 % |
8229.16/8231.78 c | 641310 | 14176 58577 176012 | 2147483647 468577 42 | 2.288 % |
8316.53/8319.16 c | 646134 | 14176 58577 176012 | 2147483647 473401 42 | 2.288 % |
8418.12/8420.78 c | 651441 | 14176 58577 176012 | 2147483647 478708 42 | 2.288 % |
8527.68/8530.34 c | 657276 | 14176 58577 176012 | 2147483647 484543 42 | 2.288 % |
8529.28/8531.96 c | 657378 | 14176 58577 176012 | 2147483647 484645 42 | 2.288 % |
8531.28/8533.91 c | 657488 | 14176 58577 176012 | 2147483647 484755 42 | 2.288 % |
8533.68/8536.39 c | 657609 | 14176 58577 176012 | 2147483647 484876 42 | 2.288 % |
8536.48/8539.13 c | 657742 | 14176 58577 176012 | 2147483647 485009 42 | 2.288 % |
8539.58/8542.26 c | 657889 | 14176 58577 176012 | 2147483647 485156 42 | 2.288 % |
8542.88/8545.56 c | 658051 | 14176 58577 176012 | 2147483647 485318 42 | 2.288 % |
8546.97/8549.64 c | 658227 | 14176 58577 176012 | 2147483647 485494 42 | 2.288 % |
8550.77/8553.48 c | 658420 | 14176 58577 176012 | 2147483647 485687 42 | 2.288 % |
8555.28/8557.95 c | 658632 | 14176 58577 176012 | 2147483647 485899 42 | 2.288 % |
8559.87/8562.52 c | 658866 | 14176 58577 176012 | 2147483647 486133 42 | 2.288 % |
8564.37/8567.01 c | 659123 | 14176 58577 176012 | 2147483647 486390 42 | 2.288 % |
8569.47/8572.13 c | 659405 | 14176 58577 176012 | 2147483647 486672 42 | 2.288 % |
8575.07/8577.77 c | 659715 | 14176 58577 176012 | 2147483647 486982 42 | 2.288 % |
8581.67/8584.34 c | 660054 | 14176 58577 176012 | 2147483647 487321 42 | 2.288 % |
8589.36/8592.02 c | 660426 | 14176 58577 176012 | 2147483647 487693 42 | 2.288 % |
8596.36/8599.00 c | 660835 | 14176 58577 176012 | 2147483647 488102 42 | 2.288 % |
8604.06/8606.73 c | 661285 | 14176 58577 176012 | 2147483647 488552 42 | 2.288 % |
8612.85/8615.54 c | 661779 | 14176 58577 176012 | 2147483647 489046 42 | 2.288 % |
8622.65/8625.39 c | 662322 | 14176 58577 176012 | 2147483647 489589 42 | 2.288 % |
8633.15/8635.86 c | 662918 | 14176 58577 176012 | 2147483647 490185 42 | 2.288 % |
8644.54/8647.26 c | 663574 | 14176 58577 176012 | 2147483647 490841 42 | 2.288 % |
8659.24/8661.93 c | 664294 | 14176 58577 176012 | 2147483647 491561 42 | 2.288 % |
8676.44/8679.17 c | 665088 | 14176 58577 176012 | 2147483647 492355 42 | 2.288 % |
8696.63/8699.35 c | 665959 | 14176 58577 176012 | 2147483647 493226 42 | 2.288 % |
8716.03/8718.71 c | 666917 | 14176 58577 176012 | 2147483647 494184 42 | 2.288 % |
8736.42/8739.11 c | 667972 | 14176 58577 176012 | 2147483647 495239 42 | 2.288 % |
8758.02/8760.70 c | 669131 | 14176 58577 176012 | 2147483647 496398 42 | 2.288 % |
8779.81/8782.58 c | 670404 | 14176 58577 176012 | 2147483647 497671 42 | 2.288 % |
8804.91/8807.61 c | 671805 | 14176 58577 176012 | 2147483647 499072 42 | 2.288 % |
8832.69/8835.46 c | 673346 | 14176 58577 176012 | 2147483647 500613 42 | 2.288 % |
8862.29/8865.03 c | 675042 | 14176 58577 176012 | 2147483647 502309 42 | 2.288 % |
8895.98/8898.72 c | 676907 | 14176 58577 176012 | 2147483647 504174 42 | 2.288 % |
8933.06/8935.82 c | 678957 | 14176 58577 176012 | 2147483647 506224 42 | 2.288 % |
8962.46/8965.25 c | 681211 | 14176 58577 176012 | 507267 508478 42 | 2.288 % |
9012.65/9015.41 c | 683689 | 14176 58577 176012 | 507267 442880 42 | 2.288 % |
9061.03/9063.80 c | 686415 | 14176 58577 176012 | 507267 445606 42 | 2.288 % |
9104.02/9106.85 c | 689412 | 14176 58577 176012 | 507267 448603 42 | 2.288 % |
9158.90/9161.70 c | 692708 | 14176 58577 176012 | 2147483647 451899 42 | 2.288 % |
9219.69/9222.59 c | 696333 | 14176 58577 176012 | 2147483647 455524 42 | 2.288 % |
9277.17/9280.06 c | 700321 | 14176 58577 176012 | 2147483647 459512 42 | 2.288 % |
9348.45/9351.34 c | 704706 | 14176 58577 176012 | 2147483647 463897 42 | 2.288 % |
9433.33/9436.27 c | 709530 | 14176 58577 176012 | 2147483647 468721 42 | 2.288 % |
9532.80/9535.78 c | 714835 | 14176 58577 176012 | 2147483647 474026 42 | 2.288 % |
9636.98/9639.95 c | 720670 | 14176 58577 176012 | 2147483647 479861 42 | 2.288 % |
9749.34/9752.36 c | 727089 | 14176 58577 176012 | 2147483647 486280 42 | 2.288 % |
9751.54/9754.52 c | 727189 | 14176 58577 176012 | 2147483647 486380 42 | 2.288 % |
9753.64/9756.65 c | 727301 | 14176 58577 176012 | 2147483647 486492 42 | 2.288 % |
9755.64/9758.61 c | 727424 | 14176 58577 176012 | 2147483647 486615 42 | 2.288 % |
9757.94/9761.00 c | 727557 | 14176 58577 176012 | 2147483647 486748 42 | 2.288 % |
9761.14/9764.11 c | 727703 | 14176 58577 176012 | 2147483647 486894 42 | 2.288 % |
9764.24/9767.21 c | 727864 | 14176 58577 176012 | 2147483647 487055 42 | 2.288 % |
9767.54/9770.52 c | 728041 | 14176 58577 176012 | 2147483647 487232 42 | 2.288 % |
9770.74/9773.70 c | 728236 | 14176 58577 176012 | 2147483647 487427 42 | 2.288 % |
9775.23/9778.25 c | 728448 | 14176 58577 176012 | 2147483647 487639 42 | 2.288 % |
9779.83/9782.83 c | 728681 | 14176 58577 176012 | 2147483647 487872 42 | 2.288 % |
9784.93/9787.97 c | 728939 | 14176 58577 176012 | 2147483647 488130 42 | 2.288 % |
9790.83/9793.90 c | 729220 | 14176 58577 176012 | 2147483647 488411 42 | 2.288 % |
9798.53/9801.55 c | 729530 | 14176 58577 176012 | 2147483647 488721 42 | 2.288 % |
9806.42/9809.50 c | 729869 | 14176 58577 176012 | 2147483647 489060 42 | 2.288 % |
9814.42/9817.42 c | 730242 | 14176 58577 176012 | 2147483647 489433 42 | 2.288 % |
9819.72/9822.77 c | 730652 | 14176 58577 176012 | 2147483647 489843 42 | 2.288 % |
9830.22/9833.27 c | 731101 | 14176 58577 176012 | 2147483647 490292 42 | 2.288 % |
9840.01/9843.10 c | 731594 | 14176 58577 176012 | 2147483647 490785 42 | 2.288 % |
9852.11/9855.17 c | 732136 | 14176 58577 176012 | 2147483647 491327 42 | 2.288 % |
9865.01/9868.04 c | 732733 | 14176 58577 176012 | 2147483647 491924 42 | 2.288 % |
9877.60/9880.64 c | 733390 | 14176 58577 176012 | 2147483647 492581 42 | 2.288 % |
9893.60/9896.61 c | 734111 | 14176 58577 176012 | 2147483647 493302 42 | 2.288 % |
9908.39/9911.47 c | 734907 | 14176 58577 176012 | 2147483647 494098 42 | 2.288 % |
9925.89/9928.91 c | 735778 | 14176 58577 176012 | 2147483647 494969 42 | 2.288 % |
9944.28/9947.31 c | 736736 | 14176 58577 176012 | 2147483647 495927 42 | 2.288 % |
9959.58/9962.64 c | 737789 | 14176 58577 176012 | 2147483647 496980 42 | 2.288 % |
9977.67/9980.79 c | 738948 | 14176 58577 176012 | 2147483647 498139 42 | 2.288 % |
9998.87/10001.91 c | 740222 | 14176 58577 176012 | 2147483647 499413 42 | 2.288 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837314-1242867060/watcher-1837314-1242867060 -o /tmp/evaluation-result-1837314-1242867060/solver-1837314-1242867060 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837314-1242867060.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.91 0.97 0.96 3/64 13884
/proc/meminfo: memFree=1686008/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=0
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314732102 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13884/statm: 1339 237 197 169 0 50 0
[startup+0.0651101 s]
/proc/loadavg: 0.91 0.97 0.96 3/64 13884
/proc/meminfo: memFree=1686008/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=0
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314732102 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13884/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101113 s]
/proc/loadavg: 0.91 0.97 0.96 3/64 13884
/proc/meminfo: memFree=1686008/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=0
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314732102 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13884/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301132 s]
/proc/loadavg: 0.91 0.97 0.96 3/64 13884
/proc/meminfo: memFree=1686008/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=0
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314732102 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13884/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701172 s]
/proc/loadavg: 0.91 0.97 0.96 3/64 13884
/proc/meminfo: memFree=1686008/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=0
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314732102 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13884/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50126 s]
/proc/loadavg: 0.91 0.97 0.96 2/66 13889
/proc/meminfo: memFree=1667688/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 5356
[startup+3.10141 s]
/proc/loadavg: 0.91 0.97 0.96 2/66 13890
/proc/meminfo: memFree=1675624/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=6036 CPUtime=1.62
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 1355 0 0 0 161 1 0 0 25 0 1 0 314732248 6180864 1341 1992294400 134512640 135215339 4294956240 18446744073709551615 134538561 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 1509 1341 77 171 0 1336 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11392
[startup+6.30173 s]
/proc/loadavg: 0.91 0.97 0.96 2/66 13890
/proc/meminfo: memFree=1675432/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=6172 CPUtime=4.82
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 1390 0 0 0 481 1 0 0 25 0 1 0 314732248 6320128 1376 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 1543 1376 77 171 0 1370 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 11528
[startup+12.7014 s]
/proc/loadavg: 0.92 0.97 0.96 2/66 13890
/proc/meminfo: memFree=1675112/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=6572 CPUtime=11.22
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 1479 0 0 0 1121 1 0 0 25 0 1 0 314732248 6729728 1465 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 1643 1465 77 171 0 1470 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 11928
[startup+25.5016 s]
/proc/loadavg: 0.94 0.97 0.96 2/66 13890
/proc/meminfo: memFree=1674472/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=7100 CPUtime=24.02
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 1629 0 0 0 2400 2 0 0 25 0 1 0 314732248 7270400 1615 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 1775 1615 77 171 0 1602 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 12456
[startup+51.1012 s]
/proc/loadavg: 0.96 0.97 0.96 2/66 13890
/proc/meminfo: memFree=1673320/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=8448 CPUtime=49.61
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 1951 0 0 0 4958 3 0 0 25 0 1 0 314732248 8650752 1937 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 2112 1937 77 171 0 1939 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 13804
[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.96 2/66 13890
/proc/meminfo: memFree=1671208/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=10516 CPUtime=100.79
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 2480 0 0 0 10076 3 0 0 25 0 1 0 314732248 10768384 2466 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 2629 2466 77 171 0 2456 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 15872
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 13890
/proc/meminfo: memFree=1668584/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=13116 CPUtime=160.77
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 3120 0 0 0 16072 5 0 0 25 0 1 0 314732248 13430784 3106 1992294400 134512640 135215339 4294956240 18446744073709551615 134538050 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 3279 3106 77 171 0 3106 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 18472
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 13890
/proc/meminfo: memFree=1666216/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=15460 CPUtime=220.75
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 3696 0 0 0 22069 6 0 0 25 0 1 0 314732248 15831040 3682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 3865 3682 77 171 0 3692 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 20816
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 13890
/proc/meminfo: memFree=1663848/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=17912 CPUtime=280.73
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 4295 0 0 0 28066 7 0 0 25 0 1 0 314732248 18341888 4281 1992294400 134512640 135215339 4294956240 18446744073709551615 134539287 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 4478 4281 77 171 0 4305 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 23268
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 13890
/proc/meminfo: memFree=1661864/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=19808 CPUtime=340.7
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 4757 0 0 0 34063 7 0 0 25 0 1 0 314732248 20283392 4743 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 4952 4743 77 171 0 4779 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 25164
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 13890
/proc/meminfo: memFree=1660200/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=21520 CPUtime=400.69
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 5184 0 0 0 40061 8 0 0 25 0 1 0 314732248 22036480 5170 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 5380 5170 77 171 0 5207 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 26876
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 13890
/proc/meminfo: memFree=1658152/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
################
# More data... #
################
/proc/13890/statm: 29690 28679 77 171 0 29517 0
Current children cumulated CPU time (s) 9399.44
Current children cumulated vsize (KiB) 124116
[startup+9462.3 s]
/proc/loadavg: 1.03 1.05 1.00 2/66 14388
/proc/meminfo: memFree=1519208/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=118760 CPUtime=9457.97
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 28693 0 0 0 945737 60 0 0 25 0 1 0 314732248 121610240 28679 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 29690 28679 77 171 0 29517 0
Current children cumulated CPU time (s) 9459.42
Current children cumulated vsize (KiB) 124116
[startup+9522.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/66 14388
/proc/meminfo: memFree=1519144/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=118760 CPUtime=9517.95
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 28694 0 0 0 951735 60 0 0 25 0 1 0 314732248 121610240 28680 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 29690 28680 77 171 0 29517 0
Current children cumulated CPU time (s) 9519.4
Current children cumulated vsize (KiB) 124116
[startup+9582.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 14388
/proc/meminfo: memFree=1519144/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=118840 CPUtime=9577.93
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 28695 0 0 0 957733 60 0 0 25 0 1 0 314732248 121692160 28681 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 29710 28681 77 171 0 29537 0
Current children cumulated CPU time (s) 9579.38
Current children cumulated vsize (KiB) 124196
[startup+9642.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 14388
/proc/meminfo: memFree=1519080/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=118840 CPUtime=9637.92
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 28695 0 0 0 963731 61 0 0 25 0 1 0 314732248 121692160 28681 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 29710 28681 77 171 0 29537 0
Current children cumulated CPU time (s) 9639.37
Current children cumulated vsize (KiB) 124196
[startup+9702.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 14388
/proc/meminfo: memFree=1519080/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=118840 CPUtime=9697.91
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 28695 0 0 0 969730 61 0 0 25 0 1 0 314732248 121692160 28681 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 29710 28681 77 171 0 29537 0
Current children cumulated CPU time (s) 9699.36
Current children cumulated vsize (KiB) 124196
[startup+9762.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 14388
/proc/meminfo: memFree=1519016/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=118840 CPUtime=9757.89
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 28698 0 0 0 975728 61 0 0 25 0 1 0 314732248 121692160 28684 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 29710 28684 77 171 0 29537 0
Current children cumulated CPU time (s) 9759.34
Current children cumulated vsize (KiB) 124196
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14388
/proc/meminfo: memFree=1518952/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=118840 CPUtime=9817.87
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 28704 0 0 0 981726 61 0 0 25 0 1 0 314732248 121692160 28690 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 29710 28690 77 171 0 29537 0
Current children cumulated CPU time (s) 9819.32
Current children cumulated vsize (KiB) 124196
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14388
/proc/meminfo: memFree=1518952/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=118840 CPUtime=9877.85
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 28706 0 0 0 987724 61 0 0 25 0 1 0 314732248 121692160 28692 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 29710 28692 77 171 0 29537 0
Current children cumulated CPU time (s) 9879.3
Current children cumulated vsize (KiB) 124196
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14388
/proc/meminfo: memFree=1518888/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=118840 CPUtime=9937.83
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 28708 0 0 0 993722 61 0 0 25 0 1 0 314732248 121692160 28694 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 29710 28694 77 171 0 29537 0
Current children cumulated CPU time (s) 9939.28
Current children cumulated vsize (KiB) 124196
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14388
/proc/meminfo: memFree=1518824/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=118840 CPUtime=9997.82
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 28711 0 0 0 999721 61 0 0 25 0 1 0 314732248 121692160 28697 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 29710 28697 77 171 0 29537 0
Current children cumulated CPU time (s) 9999.27
Current children cumulated vsize (KiB) 124196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14388
/proc/meminfo: memFree=1518824/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=118840 CPUtime=9998.62
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 28711 0 0 0 999801 61 0 0 25 0 1 0 314732248 121692160 28697 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 29710 28697 77 171 0 29537 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 124196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10003.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14388
/proc/meminfo: memFree=1518824/2055920 swapFree=4179896/4192956
[pid=13884] ppid=13882 vsize=5356 CPUtime=1.45
/proc/13884/stat : 13884 (SatELiteGTI) S 13882 13884 13781 0 -1 4194304 336 4231 0 0 0 0 141 4 16 0 1 0 314732102 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13884/statm: 1339 239 197 169 0 50 0
[pid=13890] ppid=13884 vsize=118840 CPUtime=9998.62
/proc/13890/stat : 13890 (minisat_static) R 13884 13884 13781 0 -1 4194304 28711 0 0 0 999801 61 0 0 25 0 1 0 314732248 121692160 28697 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13890/statm: 29710 28697 77 171 0 29537 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 124196
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13884 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=419784
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=44993
# CPU time returned by wait4() is 1.46478
# 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): 10003.1
CPU time (s): 10000.1
CPU user time (s): 9999.42
CPU system time (s): 0.65
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 124196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.41978
system time used= 0.044993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4567
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 11
runsolver used 11.6162 second user time and 24.8652 second system time
The end
Begin job on node70 at 2009-05-21 02:51:01
IDJOB=1837314
IDBENCH=70839
IDSOLVER=674
FILE ID=node70/1837314-1242867060
PBS_JOBID= 9328540
Free space on /tmp= 66112 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-31-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837314-1242867060/watcher-1837314-1242867060 -o /tmp/evaluation-result-1837314-1242867060/solver-1837314-1242867060 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837314-1242867060.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5dbb80f29538e26a3285bf497c57f592
RANDOM SEED=396890209
node70.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: 1686552 kB
Buffers: 40476 kB
Cached: 289480 kB
SwapCached: 7188 kB
Active: 123936 kB
Inactive: 214688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1686552 kB
SwapTotal: 4192956 kB
SwapFree: 4179896 kB
Dirty: 3428 kB
Writeback: 0 kB
Mapped: 13900 kB
Slab: 16844 kB
Committed_AS: 999596 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66104 MiB
End job on node70 at 2009-05-21 05:37:46