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 | 97364 229838 | 29209 0 0 nan | 0.000 % |
1.28/1.39 c | 0 | 60515 180710 | -- 0 -- -- | -- | -36729/-48704
1.28/1.40 c ==============================================================================
1.28/1.40 c Result : #vars: 14564 #clauses: 60515 #literals: 180710
1.28/1.40 c CPU time: 1.35679 s
1.28/1.40 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: 14564 |
1.38/1.46 c | Number of clauses: 60515 |
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 | 14564 60515 180710 | 20171 0 nan | 0.000 % |
1.45/1.54 c | 103 | 14544 60515 180710 | 20171 98 59 | 1.991 % |
1.45/1.80 c | 203 | 14544 60515 180710 | 20171 198 58 | 1.991 % |
2.07/2.14 c | 303 | 14274 58960 176694 | 20171 296 54 | 1.991 % |
2.27/2.32 c | 413 | 14274 58960 176694 | 20171 406 58 | 1.991 % |
2.47/2.55 c | 515 | 14274 58960 176694 | 20171 508 59 | 1.991 % |
2.77/2.89 c | 626 | 14274 58960 176694 | 20171 619 56 | 1.991 % |
2.97/3.05 c | 749 | 14274 58960 176694 | 20171 742 55 | 1.991 % |
3.17/3.23 c | 849 | 14274 58960 176694 | 20171 842 52 | 1.991 % |
3.47/3.56 c | 959 | 14274 58960 176694 | 20171 952 50 | 1.991 % |
3.87/3.93 c | 1080 | 14274 58960 176694 | 20171 1073 48 | 1.991 % |
4.27/4.33 c | 1214 | 14274 58960 176694 | 20171 1207 46 | 1.991 % |
4.76/4.81 c | 1314 | 14274 58960 176694 | 20171 1307 46 | 1.991 % |
4.96/5.09 c | 1425 | 14274 58960 176694 | 20171 1418 45 | 1.991 % |
5.47/5.55 c | 1547 | 14274 58960 176694 | 20171 1540 45 | 1.991 % |
5.96/6.01 c | 1680 | 14274 58960 176694 | 20171 1673 44 | 1.991 % |
6.47/6.54 c | 1828 | 14274 58960 176694 | 20171 1821 43 | 1.991 % |
6.86/6.92 c | 1929 | 14274 58960 176694 | 20171 1922 43 | 1.991 % |
7.27/7.37 c | 2039 | 14274 58960 176694 | 20171 2032 42 | 1.991 % |
7.76/7.85 c | 2160 | 14274 58960 176694 | 20171 2153 42 | 1.991 % |
8.36/8.46 c | 2293 | 14274 58960 176694 | 20171 2286 42 | 1.991 % |
9.06/9.13 c | 2439 | 14274 58960 176694 | 20171 2432 41 | 1.991 % |
9.56/9.69 c | 2599 | 14274 58960 176694 | 20171 2592 43 | 1.991 % |
9.66/9.78 c | 2701 | 14274 58960 176694 | 20171 2694 43 | 1.991 % |
10.07/10.17 c | 2811 | 14274 58960 176694 | 20171 2804 44 | 1.991 % |
10.77/10.83 c | 2933 | 14274 58960 176694 | 20171 2926 43 | 1.991 % |
11.17/11.29 c | 3066 | 14274 58960 176694 | 20171 3059 43 | 1.991 % |
11.87/11.94 c | 3213 | 14274 58960 176694 | 20171 3206 43 | 1.991 % |
12.37/12.49 c | 3374 | 14274 58960 176694 | 20171 3367 42 | 1.991 % |
13.17/13.23 c | 3550 | 14274 58960 176694 | 20171 3543 42 | 1.991 % |
13.57/13.61 c | 3650 | 14274 58960 176694 | 20171 3643 42 | 1.991 % |
13.87/13.94 c | 3761 | 14274 58960 176694 | 20171 3754 42 | 1.991 % |
14.37/14.45 c | 3882 | 14274 58960 176694 | 20171 3875 42 | 1.991 % |
14.97/15.07 c | 4016 | 14274 58960 176694 | 20171 4009 41 | 1.991 % |
15.67/15.80 c | 4163 | 14274 58960 176694 | 20171 4156 41 | 1.991 % |
16.57/16.64 c | 4325 | 14274 58960 176694 | 20171 4318 41 | 1.991 % |
17.17/17.25 c | 4501 | 14274 58960 176694 | 20171 4494 41 | 1.991 % |
18.07/18.16 c | 4694 | 14274 58960 176694 | 20171 4687 41 | 1.991 % |
18.47/18.52 c | 4795 | 14274 58960 176694 | 20171 4788 41 | 1.991 % |
18.87/18.99 c | 4906 | 14274 58960 176694 | 20171 4899 41 | 1.991 % |
19.17/19.29 c | 5028 | 14274 58960 176694 | 20171 5021 41 | 1.991 % |
19.77/19.82 c | 5162 | 14274 58960 176694 | 20171 5155 41 | 1.991 % |
20.17/20.26 c | 5308 | 14274 58960 176694 | 20171 5301 41 | 1.991 % |
20.47/20.55 c | 5470 | 14274 58960 176694 | 20171 5463 42 | 1.991 % |
20.97/21.08 c | 5647 | 14274 58960 176694 | 20171 5640 42 | 1.991 % |
21.77/21.88 c | 5840 | 14274 58960 176694 | 20171 5833 42 | 1.991 % |
22.97/23.03 c | 6052 | 14274 58960 176694 | 20171 6045 41 | 1.991 % |
23.46/23.52 c | 6153 | 14274 58960 176694 | 20171 6146 41 | 1.991 % |
23.86/23.91 c | 6263 | 14274 58960 176694 | 20171 6256 41 | 1.991 % |
24.47/24.55 c | 6385 | 14274 58960 176694 | 20171 6378 41 | 1.991 % |
25.17/25.28 c | 6519 | 14274 58960 176694 | 20171 6512 40 | 1.991 % |
25.76/25.80 c | 6666 | 14274 58960 176694 | 20171 6659 40 | 1.991 % |
26.56/26.65 c | 6827 | 14274 58960 176694 | 20171 6820 40 | 1.991 % |
27.37/27.48 c | 7004 | 14274 58960 176694 | 20171 6997 40 | 1.991 % |
28.16/28.20 c | 7198 | 14274 58960 176694 | 20171 7191 40 | 1.991 % |
28.76/28.85 c | 7412 | 14274 58960 176694 | 20171 7405 40 | 1.991 % |
29.86/29.90 c | 7645 | 14274 58960 176694 | 20171 7638 41 | 1.991 % |
30.06/30.19 c | 7747 | 14274 58960 176694 | 20171 7740 41 | 1.991 % |
30.46/30.58 c | 7857 | 14274 58960 176694 | 20171 7850 41 | 1.991 % |
31.06/31.12 c | 7978 | 14274 58960 176694 | 20171 7971 41 | 1.991 % |
31.36/31.49 c | 8111 | 14274 58960 176694 | 20171 8104 41 | 1.991 % |
32.06/32.11 c | 8257 | 14274 58960 176694 | 20171 8250 41 | 1.991 % |
32.76/32.89 c | 8417 | 14274 58960 176694 | 20171 8410 40 | 1.991 % |
33.66/33.72 c | 8595 | 14274 58960 176694 | 20171 8588 40 | 1.991 % |
34.56/34.66 c | 8788 | 14274 58960 176694 | 20171 8781 40 | 1.991 % |
35.36/35.43 c | 9000 | 14274 58960 176694 | 20171 8993 40 | 1.991 % |
36.26/36.39 c | 9233 | 14274 58960 176694 | 20171 9226 40 | 1.991 % |
37.37/37.44 c | 9491 | 14274 58960 176694 | 20171 9484 40 | 1.991 % |
37.86/37.93 c | 9591 | 14274 58960 176694 | 20171 9584 40 | 1.991 % |
38.37/38.42 c | 9702 | 14274 58960 176694 | 20171 9695 40 | 1.991 % |
38.86/38.94 c | 9823 | 14274 58960 176694 | 20171 9816 40 | 1.991 % |
39.47/39.57 c | 9956 | 14274 58960 176694 | 20171 9949 40 | 1.991 % |
40.06/40.17 c | 10102 | 14274 58960 176694 | 2147483647 10095 40 | 1.991 % |
40.67/40.72 c | 10263 | 14274 58960 176694 | 2147483647 10256 40 | 1.991 % |
41.46/41.52 c | 10440 | 14274 58960 176694 | 2147483647 10433 40 | 1.991 % |
42.26/42.40 c | 10634 | 14274 58960 176694 | 2147483647 10627 39 | 1.991 % |
43.26/43.39 c | 10846 | 14274 58960 176694 | 2147483647 10839 39 | 1.991 % |
44.56/44.68 c | 11079 | 14274 58960 176694 | 2147483647 11072 39 | 1.991 % |
45.76/45.83 c | 11336 | 14274 58960 176694 | 2147483647 11329 39 | 1.991 % |
47.26/47.30 c | 11618 | 14274 58960 176694 | 2147483647 11611 39 | 1.991 % |
47.76/47.82 c | 11719 | 14274 58960 176694 | 2147483647 11712 39 | 1.991 % |
48.36/48.43 c | 11831 | 14274 58960 176694 | 2147483647 11824 39 | 1.991 % |
48.86/48.98 c | 11953 | 14274 58960 176694 | 2147483647 11946 39 | 1.991 % |
49.36/49.49 c | 12086 | 14274 58960 176694 | 2147483647 12079 38 | 1.991 % |
50.16/50.20 c | 12233 | 14274 58960 176694 | 2147483647 12226 38 | 1.991 % |
50.76/50.85 c | 12393 | 14274 58960 176694 | 2147483647 12386 38 | 1.991 % |
51.46/51.54 c | 12571 | 14274 58960 176694 | 2147483647 12564 39 | 1.991 % |
52.16/52.22 c | 12764 | 14274 58960 176694 | 2147483647 12757 38 | 1.991 % |
52.95/53.03 c | 12976 | 14274 58960 176694 | 2147483647 12969 38 | 1.991 % |
54.05/54.15 c | 13210 | 14274 58960 176694 | 2147483647 13203 38 | 1.991 % |
55.35/55.42 c | 13467 | 14274 58960 176694 | 2147483647 13460 38 | 1.991 % |
56.25/56.34 c | 13748 | 14274 58960 176694 | 2147483647 13741 39 | 1.991 % |
57.25/57.37 c | 14058 | 14274 58960 176694 | 2147483647 14051 39 | 1.991 % |
57.55/57.60 c | 14160 | 14274 58960 176694 | 2147483647 14153 39 | 1.991 % |
57.95/58.05 c | 14270 | 14274 58960 176694 | 2147483647 14263 39 | 1.991 % |
58.45/58.59 c | 14393 | 14274 58960 176694 | 2147483647 14386 39 | 1.991 % |
59.05/59.18 c | 14526 | 14274 58960 176694 | 2147483647 14519 39 | 1.991 % |
59.65/59.78 c | 14673 | 14274 58960 176694 | 2147483647 14666 39 | 1.991 % |
60.35/60.43 c | 14834 | 14274 58960 176694 | 2147483647 14827 39 | 1.991 % |
61.25/61.31 c | 15010 | 14274 58960 176694 | 2147483647 15003 39 | 1.991 % |
62.26/62.37 c | 15203 | 14274 58960 176694 | 2147483647 15196 39 | 1.991 % |
63.36/63.46 c | 15415 | 14274 58960 176694 | 2147483647 15408 39 | 1.991 % |
64.46/64.58 c | 15648 | 14274 58960 176694 | 2147483647 15641 39 | 1.991 % |
64.76/64.89 c | 15904 | 14274 58960 176694 | 2147483647 15897 39 | 1.991 % |
65.66/65.71 c | 16186 | 14274 58960 176694 | 2147483647 16179 39 | 1.991 % |
66.86/66.95 c | 16496 | 14274 58960 176694 | 2147483647 16489 39 | 1.991 % |
68.26/68.37 c | 16836 | 14274 58960 176694 | 2147483647 16829 39 | 1.991 % |
68.66/68.79 c | 16937 | 14274 58960 176694 | 2147483647 16930 39 | 1.991 % |
69.16/69.26 c | 17048 | 14274 58960 176694 | 2147483647 17041 39 | 1.991 % |
69.66/69.72 c | 17170 | 14274 58960 176694 | 2147483647 17163 39 | 1.991 % |
70.36/70.43 c | 17304 | 14274 58960 176694 | 2147483647 17297 39 | 1.991 % |
70.86/70.99 c | 17451 | 14274 58960 176694 | 2147483647 17444 39 | 1.991 % |
71.56/71.64 c | 17612 | 14274 58960 176694 | 2147483647 17605 39 | 1.991 % |
72.16/72.24 c | 17788 | 14274 58960 176694 | 2147483647 17781 40 | 1.991 % |
72.86/72.97 c | 17982 | 14274 58960 176694 | 2147483647 17975 40 | 1.991 % |
74.05/74.13 c | 18195 | 14274 58960 176694 | 2147483647 18188 39 | 1.991 % |
75.15/75.27 c | 18428 | 14274 58960 176694 | 2147483647 18421 39 | 1.991 % |
76.45/76.56 c | 18685 | 14274 58960 176694 | 2147483647 18678 39 | 1.991 % |
77.75/77.86 c | 18966 | 14274 58960 176694 | 2147483647 18959 39 | 1.991 % |
79.45/79.52 c | 19275 | 14274 58960 176694 | 2147483647 19268 39 | 1.991 % |
80.55/80.60 c | 19615 | 14274 58960 176694 | 2147483647 19608 40 | 1.991 % |
82.25/82.34 c | 19987 | 14274 58960 176694 | 2147483647 19980 40 | 1.991 % |
82.55/82.67 c | 20087 | 14274 58960 176694 | 2147483647 20080 40 | 1.991 % |
82.95/83.03 c | 20197 | 14274 58960 176694 | 2147483647 20190 40 | 1.991 % |
83.35/83.45 c | 20318 | 14274 58960 176694 | 2147483647 20311 40 | 1.991 % |
83.85/83.98 c | 20451 | 14274 58960 176694 | 2147483647 20444 40 | 1.991 % |
84.55/84.61 c | 20598 | 14274 58960 176694 | 2147483647 20591 40 | 1.991 % |
85.35/85.45 c | 20758 | 14274 58960 176694 | 2147483647 20751 40 | 1.991 % |
86.35/86.46 c | 20934 | 14274 58960 176694 | 2147483647 20927 40 | 1.991 % |
87.35/87.43 c | 21128 | 14274 58960 176694 | 2147483647 21121 40 | 1.991 % |
88.15/88.23 c | 21340 | 14274 58960 176694 | 2147483647 21333 40 | 1.991 % |
89.25/89.36 c | 21573 | 14274 58960 176694 | 2147483647 21566 40 | 1.991 % |
90.64/90.71 c | 21830 | 14274 58960 176694 | 2147483647 21823 40 | 1.991 % |
91.84/91.91 c | 22113 | 14274 58960 176694 | 2147483647 22106 40 | 1.991 % |
93.24/93.38 c | 22422 | 14274 58960 176694 | 2147483647 22415 40 | 1.991 % |
95.03/95.16 c | 22761 | 14274 58960 176694 | 2147483647 22754 40 | 1.991 % |
96.94/97.00 c | 23133 | 14274 58960 176694 | 2147483647 23126 40 | 1.991 % |
99.14/99.20 c | 23542 | 14274 58960 176694 | 2147483647 23535 40 | 1.991 % |
99.74/99.82 c | 23642 | 14274 58960 176694 | 2147483647 23635 39 | 1.991 % |
100.24/100.39 c | 23752 | 14274 58960 176694 | 2147483647 23745 39 | 1.991 % |
100.54/100.64 c | 23875 | 14274 58960 176694 | 2147483647 23868 40 | 1.991 % |
101.05/101.15 c | 24008 | 14274 58960 176694 | 2147483647 24001 40 | 1.991 % |
101.64/101.71 c | 24155 | 14274 58960 176694 | 2147483647 24148 40 | 1.991 % |
102.04/102.16 c | 24317 | 14274 58960 176694 | 2147483647 24310 40 | 1.991 % |
102.64/102.71 c | 24494 | 14274 58960 176694 | 2147483647 24487 40 | 1.991 % |
103.44/103.57 c | 24689 | 14274 58960 176694 | 2147483647 24682 40 | 1.991 % |
104.44/104.56 c | 24902 | 14274 58960 176694 | 2147483647 24895 40 | 1.991 % |
105.44/105.52 c | 25135 | 14274 58960 176694 | 2147483647 25128 40 | 1.991 % |
106.44/106.60 c | 25393 | 14274 58960 176694 | 2147483647 25386 40 | 1.991 % |
107.64/107.79 c | 25677 | 14274 58960 176694 | 2147483647 25670 40 | 1.991 % |
108.84/108.93 c | 25987 | 14274 58960 176694 | 2147483647 25980 40 | 1.991 % |
110.24/110.38 c | 26326 | 14274 58960 176694 | 2147483647 26319 40 | 1.991 % |
111.34/111.47 c | 26698 | 14274 58960 176694 | 2147483647 26691 40 | 1.991 % |
113.34/113.44 c | 27108 | 14274 58960 176694 | 2147483647 27101 40 | 1.991 % |
115.34/115.40 c | 27557 | 14274 58960 176694 | 2147483647 27550 40 | 1.991 % |
115.74/115.87 c | 27657 | 14274 58960 176694 | 2147483647 27650 40 | 1.991 % |
116.34/116.43 c | 27767 | 14274 58960 176694 | 2147483647 27760 40 | 1.991 % |
117.04/117.13 c | 27888 | 14274 58960 176694 | 2147483647 27881 40 | 1.991 % |
117.64/117.78 c | 28021 | 14274 58960 176694 | 2147483647 28014 40 | 1.991 % |
118.34/118.47 c | 28168 | 14274 58960 176694 | 2147483647 28161 40 | 1.991 % |
118.94/119.05 c | 28328 | 14274 58960 176694 | 2147483647 28321 40 | 1.991 % |
119.74/119.80 c | 28505 | 14274 58960 176694 | 2147483647 28498 40 | 1.991 % |
120.43/120.56 c | 28698 | 14274 58960 176694 | 2147483647 28691 41 | 1.991 % |
121.63/121.71 c | 28911 | 14274 58960 176694 | 2147483647 28904 41 | 1.991 % |
122.43/122.58 c | 29145 | 14274 58960 176694 | 2147483647 29138 41 | 1.991 % |
123.53/123.61 c | 29402 | 14274 58960 176694 | 2147483647 29395 41 | 1.991 % |
124.43/124.54 c | 29683 | 14274 58960 176694 | 2147483647 29676 41 | 1.991 % |
125.73/125.90 c | 29993 | 14274 58960 176694 | 2147483647 29986 41 | 1.991 % |
126.93/127.07 c | 30333 | 14274 58960 176694 | 2147483647 30326 41 | 1.991 % |
128.03/128.10 c | 30705 | 14274 58960 176694 | 2147483647 30698 41 | 1.991 % |
129.43/129.53 c | 31115 | 14274 58960 176694 | 2147483647 31108 42 | 1.991 % |
129.83/129.95 c | 31564 | 14274 58960 176694 | 2147483647 31557 42 | 1.991 % |
132.23/132.36 c | 32057 | 14274 58960 176694 | 2147483647 32050 43 | 1.991 % |
132.53/132.61 c | 32157 | 14274 58960 176694 | 2147483647 32150 43 | 1.991 % |
133.03/133.10 c | 32267 | 14274 58960 176694 | 2147483647 32260 43 | 1.991 % |
133.42/133.58 c | 32388 | 14274 58960 176694 | 2147483647 32381 43 | 1.991 % |
133.92/134.07 c | 32522 | 14274 58960 176694 | 2147483647 32515 43 | 1.991 % |
134.62/134.76 c | 32671 | 14274 58960 176694 | 2147483647 32664 43 | 1.991 % |
135.23/135.37 c | 32832 | 14274 58960 176694 | 2147483647 32825 43 | 1.991 % |
136.12/136.27 c | 33010 | 14274 58960 176694 | 2147483647 33003 43 | 1.991 % |
136.92/137.08 c | 33204 | 14274 58960 176694 | 2147483647 33197 43 | 1.991 % |
137.92/138.03 c | 33417 | 14274 58960 176694 | 2147483647 33410 43 | 1.991 % |
139.02/139.18 c | 33651 | 14274 58960 176694 | 2147483647 33644 43 | 1.991 % |
140.42/140.58 c | 33908 | 14274 58960 176694 | 2147483647 33901 43 | 1.991 % |
142.02/142.16 c | 34189 | 14274 58960 176694 | 2147483647 34182 43 | 1.991 % |
143.52/143.61 c | 34500 | 14274 58960 176694 | 2147483647 34493 43 | 1.991 % |
144.92/145.01 c | 34839 | 14274 58960 176694 | 2147483647 34832 43 | 1.991 % |
146.72/146.86 c | 35212 | 14274 58960 176694 | 2147483647 35205 43 | 1.991 % |
148.52/148.63 c | 35622 | 14274 58960 176694 | 2147483647 35615 43 | 1.991 % |
150.52/150.69 c | 36071 | 14274 58960 176694 | 2147483647 36064 43 | 1.991 % |
152.83/152.98 c | 36565 | 14274 58960 176694 | 2147483647 36558 43 | 1.991 % |
155.52/155.62 c | 37107 | 14274 58960 176694 | 2147483647 37100 43 | 1.991 % |
155.92/156.01 c | 37207 | 14274 58960 176694 | 2147483647 37200 43 | 1.991 % |
156.13/156.23 c | 37318 | 14274 58960 176694 | 2147483647 37311 43 | 1.991 % |
156.72/156.80 c | 37440 | 14274 58960 176694 | 2147483647 37433 43 | 1.991 % |
157.13/157.24 c | 37573 | 14274 58960 176694 | 2147483647 37566 43 | 1.991 % |
157.92/158.03 c | 37721 | 14274 58960 176694 | 2147483647 37714 43 | 1.991 % |
158.82/158.92 c | 37882 | 14274 58960 176694 | 2147483647 37875 43 | 1.991 % |
159.62/159.73 c | 38058 | 14274 58960 176694 | 2147483647 38051 43 | 1.991 % |
160.72/160.84 c | 38251 | 14274 58960 176694 | 2147483647 38244 43 | 1.991 % |
161.72/161.89 c | 38463 | 14274 58960 176694 | 2147483647 38456 43 | 1.991 % |
163.12/163.21 c | 38696 | 14274 58960 176694 | 2147483647 38689 43 | 1.991 % |
163.82/163.99 c | 38952 | 14274 58960 176694 | 2147483647 38945 43 | 1.991 % |
165.42/165.59 c | 39233 | 14274 58960 176694 | 2147483647 39226 43 | 1.991 % |
167.12/167.24 c | 39542 | 14274 58960 176694 | 2147483647 39535 43 | 1.991 % |
169.32/169.40 c | 39882 | 14274 58960 176694 | 2147483647 39875 43 | 1.991 % |
171.72/171.81 c | 40254 | 14274 58960 176694 | 2147483647 40247 43 | 1.991 % |
174.42/174.55 c | 40664 | 14274 58960 176694 | 2147483647 40657 43 | 1.991 % |
176.92/177.00 c | 41115 | 14274 58960 176694 | 2147483647 41108 43 | 1.991 % |
179.22/179.35 c | 41609 | 14274 58960 176694 | 2147483647 41602 43 | 1.991 % |
182.42/182.60 c | 42152 | 14274 58960 176694 | 2147483647 42145 43 | 1.991 % |
186.21/186.34 c | 42748 | 14274 58960 176694 | 2147483647 42741 43 | 1.991 % |
186.82/186.96 c | 42849 | 14274 58960 176694 | 2147483647 42842 43 | 1.991 % |
187.31/187.49 c | 42959 | 14274 58960 176694 | 2147483647 42952 43 | 1.991 % |
187.92/188.08 c | 43081 | 14274 58960 176694 | 2147483647 43074 43 | 1.991 % |
188.81/188.92 c | 43215 | 14274 58960 176694 | 2147483647 43208 43 | 1.991 % |
189.51/189.64 c | 43361 | 14274 58960 176694 | 2147483647 43354 43 | 1.991 % |
189.91/190.07 c | 43521 | 14274 58960 176694 | 2147483647 43514 43 | 1.991 % |
190.61/190.80 c | 43697 | 14274 58960 176694 | 2147483647 43690 43 | 1.991 % |
191.71/191.81 c | 43891 | 14274 58960 176694 | 2147483647 43884 43 | 1.991 % |
192.91/193.00 c | 44104 | 14274 58960 176694 | 2147483647 44097 43 | 1.991 % |
194.11/194.27 c | 44338 | 14274 58960 176694 | 2147483647 44331 43 | 1.991 % |
195.41/195.52 c | 44595 | 14274 58960 176694 | 2147483647 44588 43 | 1.991 % |
196.31/196.43 c | 44878 | 14274 58960 176694 | 2147483647 44871 43 | 1.991 % |
197.51/197.61 c | 45188 | 14274 58960 176694 | 2147483647 45181 43 | 1.991 % |
199.51/199.65 c | 45527 | 14274 58960 176694 | 2147483647 45520 43 | 1.991 % |
200.81/200.91 c | 45900 | 14274 58960 176694 | 2147483647 45893 43 | 1.991 % |
203.41/203.51 c | 46309 | 14274 58960 176694 | 2147483647 46302 43 | 1.991 % |
206.10/206.29 c | 46760 | 14274 58960 176694 | 2147483647 46753 43 | 1.991 % |
209.10/209.29 c | 47254 | 14274 58960 176694 | 2147483647 47247 43 | 1.991 % |
212.11/212.28 c | 47796 | 14274 58960 176694 | 2147483647 47789 43 | 1.991 % |
215.70/215.89 c | 48393 | 14274 58960 176694 | 2147483647 48386 43 | 1.991 % |
219.90/220.03 c | 49049 | 14274 58960 176694 | 2147483647 49042 43 | 1.991 % |
220.60/220.73 c | 49150 | 14274 58960 176694 | 2147483647 49143 43 | 1.991 % |
221.10/221.23 c | 49260 | 14274 58960 176694 | 2147483647 49253 43 | 1.991 % |
221.70/221.81 c | 49381 | 14274 58960 176694 | 2147483647 49374 43 | 1.991 % |
222.10/222.23 c | 49514 | 14274 58960 176694 | 2147483647 49507 43 | 1.991 % |
222.99/223.16 c | 49661 | 14274 58960 176694 | 2147483647 49654 43 | 1.991 % |
223.89/224.08 c | 49821 | 14274 58960 176694 | 2147483647 49814 43 | 1.991 % |
224.69/224.82 c | 49999 | 14274 58960 176694 | 2147483647 49992 43 | 1.991 % |
225.40/225.56 c | 50192 | 14274 58960 176694 | 2147483647 50185 43 | 1.991 % |
226.79/226.92 c | 50404 | 14274 58960 176694 | 2147483647 50397 43 | 1.991 % |
228.19/228.40 c | 50638 | 14274 58960 176694 | 2147483647 50631 43 | 1.991 % |
228.49/228.63 c | 50894 | 14274 58960 176694 | 2147483647 50887 43 | 1.991 % |
230.19/230.36 c | 51176 | 14274 58960 176694 | 2147483647 51169 43 | 1.991 % |
231.79/231.94 c | 51488 | 14274 58960 176694 | 2147483647 51481 43 | 1.991 % |
233.49/233.64 c | 51827 | 14274 58960 176694 | 2147483647 51820 43 | 1.991 % |
235.09/235.30 c | 52199 | 14274 58960 176694 | 2147483647 52192 43 | 1.991 % |
236.99/237.11 c | 52609 | 14274 58960 176694 | 2147483647 52602 43 | 1.991 % |
239.29/239.48 c | 53060 | 14274 58960 176694 | 2147483647 53053 43 | 1.991 % |
241.69/241.89 c | 53553 | 14274 58960 176694 | 2147483647 53546 44 | 1.991 % |
244.78/244.99 c | 54095 | 14274 58960 176694 | 2147483647 54088 44 | 1.991 % |
248.79/248.95 c | 54691 | 14274 58960 176694 | 2147483647 54684 44 | 1.991 % |
250.89/251.01 c | 55346 | 14274 58960 176694 | 2147483647 55339 44 | 1.991 % |
254.89/255.08 c | 56066 | 14274 58960 176694 | 2147483647 56059 44 | 1.991 % |
255.49/255.67 c | 56167 | 14274 58960 176694 | 2147483647 56160 44 | 1.991 % |
255.99/256.12 c | 56278 | 14274 58960 176694 | 2147483647 56271 44 | 1.991 % |
256.49/256.62 c | 56399 | 14274 58960 176694 | 2147483647 56392 44 | 1.991 % |
257.19/257.32 c | 56533 | 14274 58960 176694 | 2147483647 56526 44 | 1.991 % |
258.29/258.45 c | 56679 | 14274 58960 176694 | 2147483647 56672 44 | 1.991 % |
259.29/259.41 c | 56841 | 14274 58960 176694 | 2147483647 56834 44 | 1.991 % |
260.19/260.36 c | 57017 | 14274 58960 176694 | 2147483647 57010 44 | 1.991 % |
261.19/261.39 c | 57212 | 14274 58960 176694 | 2147483647 57205 44 | 1.991 % |
262.58/262.76 c | 57424 | 14274 58960 176694 | 2147483647 57417 44 | 1.991 % |
263.58/263.78 c | 57657 | 14274 58960 176694 | 2147483647 57650 44 | 1.991 % |
264.99/265.11 c | 57914 | 14274 58960 176694 | 2147483647 57907 44 | 1.991 % |
267.09/267.22 c | 58195 | 14274 58960 176694 | 2147483647 58188 44 | 1.991 % |
269.29/269.49 c | 58505 | 14274 58960 176694 | 2147483647 58498 44 | 1.991 % |
271.28/271.47 c | 58845 | 14274 58960 176694 | 2147483647 58838 44 | 1.991 % |
273.79/273.98 c | 59218 | 14274 58960 176694 | 2147483647 59211 44 | 1.991 % |
276.48/276.62 c | 59627 | 14274 58960 176694 | 2147483647 59620 44 | 1.991 % |
279.08/279.29 c | 60077 | 14274 58960 176694 | 2147483647 60070 44 | 1.991 % |
282.28/282.48 c | 60570 | 14274 58960 176694 | 2147483647 60563 44 | 1.991 % |
285.68/285.84 c | 61113 | 14274 58960 176694 | 2147483647 61106 44 | 1.991 % |
289.58/289.77 c | 61711 | 14274 58960 176694 | 2147483647 61704 44 | 1.991 % |
293.77/293.97 c | 62367 | 14274 58960 176694 | 2147483647 62360 44 | 1.991 % |
298.07/298.21 c | 63087 | 14274 58960 176694 | 2147483647 63080 44 | 1.991 % |
302.68/302.86 c | 63879 | 14274 58960 176694 | 2147483647 63872 44 | 1.991 % |
303.38/303.56 c | 63980 | 14274 58960 176694 | 2147483647 63973 44 | 1.991 % |
304.18/304.33 c | 64090 | 14274 58960 176694 | 2147483647 64083 44 | 1.991 % |
305.08/305.25 c | 64211 | 14274 58960 176694 | 2147483647 64204 44 | 1.991 % |
305.98/306.15 c | 64344 | 14274 58960 176694 | 2147483647 64337 44 | 1.991 % |
306.98/307.16 c | 64491 | 14274 58960 176694 | 2147483647 64484 44 | 1.991 % |
307.88/308.07 c | 64652 | 14274 58960 176694 | 2147483647 64645 44 | 1.991 % |
308.58/308.72 c | 64828 | 14274 58960 176694 | 2147483647 64821 44 | 1.991 % |
309.58/309.74 c | 65021 | 14274 58960 176694 | 2147483647 65014 44 | 1.991 % |
310.97/311.14 c | 65233 | 14274 58960 176694 | 2147483647 65226 44 | 1.991 % |
312.47/312.68 c | 65467 | 14274 58960 176694 | 2147483647 65460 44 | 1.991 % |
314.27/314.44 c | 65723 | 14274 58960 176694 | 2147483647 65716 44 | 1.991 % |
315.87/316.09 c | 66005 | 14274 58960 176694 | 2147483647 65998 44 | 1.991 % |
317.67/317.87 c | 66314 | 14274 58960 176694 | 2147483647 66307 44 | 1.991 % |
319.17/319.35 c | 66653 | 14274 58960 176694 | 2147483647 66646 44 | 1.991 % |
321.37/321.58 c | 67026 | 14274 58960 176694 | 2147483647 67019 44 | 1.991 % |
324.47/324.64 c | 67436 | 14274 58960 176694 | 2147483647 67429 44 | 1.991 % |
327.87/328.02 c | 67886 | 14274 58960 176694 | 2147483647 67879 44 | 1.991 % |
330.57/330.75 c | 68380 | 14274 58960 176694 | 2147483647 68373 44 | 1.991 % |
333.76/333.98 c | 68923 | 14274 58960 176694 | 2147483647 68916 44 | 1.991 % |
337.16/337.37 c | 69521 | 14274 58960 176694 | 2147483647 69514 44 | 1.991 % |
341.07/341.23 c | 70177 | 14274 58960 176694 | 2147483647 70170 44 | 1.991 % |
345.17/345.38 c | 70897 | 14274 58960 176694 | 2147483647 70890 44 | 1.991 % |
349.07/349.22 c | 71690 | 14274 58960 176694 | 2147483647 71683 44 | 1.991 % |
353.97/354.12 c | 72561 | 14274 58960 176694 | 2147483647 72554 44 | 1.991 % |
354.56/354.79 c | 72663 | 14274 58960 176694 | 2147483647 72656 44 | 1.991 % |
354.96/355.19 c | 72775 | 14274 58960 176694 | 2147483647 72768 44 | 1.991 % |
355.86/356.04 c | 72896 | 14274 58960 176694 | 2147483647 72889 44 | 1.991 % |
356.66/356.82 c | 73030 | 14274 58960 176694 | 2147483647 73023 44 | 1.991 % |
357.46/357.62 c | 73177 | 14274 58960 176694 | 2147483647 73170 44 | 1.991 % |
358.37/358.51 c | 73339 | 14274 58960 176694 | 2147483647 73332 44 | 1.991 % |
359.16/359.38 c | 73515 | 14274 58960 176694 | 2147483647 73508 44 | 1.991 % |
360.56/360.74 c | 73709 | 14274 58960 176694 | 2147483647 73702 44 | 1.991 % |
361.66/361.81 c | 73921 | 14274 58960 176694 | 2147483647 73914 44 | 1.991 % |
363.26/363.40 c | 74155 | 14274 58960 176694 | 2147483647 74148 44 | 1.991 % |
364.66/364.89 c | 74412 | 14274 58960 176694 | 2147483647 74405 44 | 1.991 % |
366.86/367.09 c | 74694 | 14274 58960 176694 | 2147483647 74687 44 | 1.991 % |
369.26/369.45 c | 75003 | 14274 58960 176694 | 2147483647 74996 44 | 1.991 % |
371.76/371.98 c | 75342 | 14274 58960 176694 | 2147483647 75335 44 | 1.991 % |
374.16/374.35 c | 75714 | 14274 58960 176694 | 2147483647 75707 44 | 1.991 % |
377.06/377.21 c | 76125 | 14274 58960 176694 | 2147483647 76118 44 | 1.991 % |
379.95/380.19 c | 76574 | 14274 58960 176694 | 2147483647 76567 44 | 1.991 % |
383.45/383.65 c | 77067 | 14274 58960 176694 | 2147483647 77060 44 | 1.991 % |
387.06/387.23 c | 77610 | 14274 58960 176694 | 2147483647 77603 44 | 1.991 % |
390.95/391.14 c | 78206 | 14274 58960 176694 | 2147483647 78199 44 | 1.991 % |
395.35/395.54 c | 78862 | 14274 58960 176694 | 2147483647 78855 44 | 1.991 % |
400.55/400.78 c | 79582 | 14274 58960 176694 | 2147483647 79575 44 | 1.991 % |
405.44/405.65 c | 80374 | 14274 58960 176694 | 2147483647 80367 44 | 1.991 % |
410.44/410.66 c | 81245 | 14274 58960 176694 | 2147483647 81238 44 | 1.991 % |
417.34/417.52 c | 82204 | 14274 58960 176694 | 2147483647 82197 44 | 1.991 % |
417.94/418.17 c | 82305 | 14274 58960 176694 | 2147483647 82298 44 | 1.991 % |
418.54/418.76 c | 82416 | 14274 58960 176694 | 2147483647 82409 44 | 1.991 % |
419.34/419.57 c | 82538 | 14274 58960 176694 | 2147483647 82531 44 | 1.991 % |
420.34/420.55 c | 82672 | 14274 58960 176694 | 2147483647 82665 44 | 1.991 % |
421.44/421.69 c | 82819 | 14274 58960 176694 | 2147483647 82812 44 | 1.991 % |
422.84/423.05 c | 82979 | 14274 58960 176694 | 2147483647 82972 44 | 1.991 % |
423.64/423.85 c | 83156 | 14274 58960 176694 | 2147483647 83149 44 | 1.991 % |
425.14/425.36 c | 83349 | 14274 58960 176694 | 2147483647 83342 44 | 1.991 % |
426.44/426.67 c | 83562 | 14274 58960 176694 | 2147483647 83555 44 | 1.991 % |
428.34/428.53 c | 83795 | 14274 58960 176694 | 2147483647 83788 44 | 1.991 % |
430.14/430.35 c | 84051 | 14274 58960 176694 | 2147483647 84044 44 | 1.991 % |
432.24/432.44 c | 84332 | 14274 58960 176694 | 2147483647 84325 44 | 1.991 % |
434.54/434.72 c | 84642 | 14274 58960 176694 | 2147483647 84635 44 | 1.991 % |
437.14/437.37 c | 84982 | 14274 58960 176694 | 2147483647 84975 44 | 1.991 % |
439.24/439.42 c | 85354 | 14274 58960 176694 | 2147483647 85347 44 | 1.991 % |
441.95/442.20 c | 85764 | 14274 58960 176694 | 2147483647 85757 44 | 1.991 % |
444.34/444.52 c | 86214 | 14274 58960 176694 | 2147483647 86207 44 | 1.991 % |
447.54/447.79 c | 86707 | 14274 58960 176694 | 2147483647 86700 44 | 1.991 % |
450.63/450.88 c | 87251 | 14274 58960 176694 | 2147483647 87244 44 | 1.991 % |
454.23/454.49 c | 87848 | 14274 58960 176694 | 2147483647 87841 44 | 1.991 % |
458.73/458.95 c | 88505 | 14274 58960 176694 | 2147483647 88498 44 | 1.991 % |
463.53/463.78 c | 89226 | 14274 58960 176694 | 2147483647 89219 44 | 1.991 % |
467.43/467.61 c | 90019 | 14274 58960 176694 | 2147483647 90012 44 | 1.991 % |
473.23/473.49 c | 90892 | 14274 58960 176694 | 2147483647 90885 44 | 1.991 % |
478.83/479.05 c | 91850 | 14274 58960 176694 | 2147483647 91843 44 | 1.991 % |
485.22/485.49 c | 92903 | 14274 58960 176694 | 2147483647 92896 44 | 1.991 % |
485.93/486.19 c | 93003 | 14274 58960 176694 | 2147483647 92996 44 | 1.991 % |
486.72/486.98 c | 93114 | 14274 58960 176694 | 2147483647 93107 44 | 1.991 % |
487.42/487.66 c | 93235 | 14274 58960 176694 | 2147483647 93228 44 | 1.991 % |
488.42/488.62 c | 93370 | 14274 58960 176694 | 2147483647 93363 44 | 1.991 % |
489.12/489.34 c | 93516 | 14274 58960 176694 | 2147483647 93509 44 | 1.991 % |
490.32/490.54 c | 93676 | 14274 58960 176694 | 2147483647 93669 44 | 1.991 % |
491.12/491.34 c | 93853 | 14274 58960 176694 | 2147483647 93846 44 | 1.991 % |
492.62/492.86 c | 94046 | 14274 58960 176694 | 2147483647 94039 44 | 1.991 % |
494.02/494.26 c | 94259 | 14274 58960 176694 | 2147483647 94252 44 | 1.991 % |
495.72/495.93 c | 94492 | 14274 58960 176694 | 2147483647 94485 44 | 1.991 % |
497.42/497.69 c | 94748 | 14274 58960 176694 | 2147483647 94741 44 | 1.991 % |
499.42/499.64 c | 95030 | 14274 58960 176694 | 2147483647 95023 44 | 1.991 % |
501.72/501.98 c | 95339 | 14274 58960 176694 | 2147483647 95332 44 | 1.991 % |
504.42/504.67 c | 95678 | 14274 58960 176694 | 2147483647 95671 44 | 1.991 % |
507.32/507.51 c | 96050 | 14274 58960 176694 | 2147483647 96043 44 | 1.991 % |
510.51/510.79 c | 96460 | 14274 58960 176694 | 2147483647 96453 44 | 1.991 % |
514.11/514.39 c | 96910 | 14274 58960 176694 | 2147483647 96903 44 | 1.991 % |
517.61/517.89 c | 97403 | 14274 58960 176694 | 2147483647 97396 44 | 1.991 % |
521.91/522.11 c | 97947 | 14274 58960 176694 | 2147483647 97940 44 | 1.991 % |
526.81/527.02 c | 98544 | 14274 58960 176694 | 2147483647 98537 44 | 1.991 % |
531.50/531.74 c | 99199 | 14274 58960 176694 | 2147483647 99192 44 | 1.991 % |
536.80/537.00 c | 99920 | 14274 58960 176694 | 2147483647 99913 44 | 1.991 % |
542.60/542.87 c | 100713 | 14274 58960 176694 | 2147483647 100706 44 | 1.991 % |
549.30/549.53 c | 101584 | 14274 58960 176694 | 2147483647 101577 44 | 1.991 % |
556.80/557.03 c | 102542 | 14274 58960 176694 | 2147483647 102535 43 | 1.991 % |
565.40/565.70 c | 103595 | 14274 58960 176694 | 2147483647 103588 43 | 1.991 % |
574.00/574.29 c | 104753 | 14274 58960 176694 | 2147483647 104746 43 | 1.991 % |
574.60/574.83 c | 104854 | 14274 58960 176694 | 2147483647 104847 43 | 1.991 % |
575.20/575.48 c | 104966 | 14274 58960 176694 | 2147483647 104959 43 | 1.991 % |
576.10/576.38 c | 105087 | 14274 58960 176694 | 2147483647 105080 43 | 1.991 % |
577.10/577.33 c | 105221 | 14274 58960 176694 | 2147483647 105214 43 | 1.991 % |
578.19/578.49 c | 105367 | 14274 58960 176694 | 2147483647 105360 43 | 1.991 % |
579.29/579.57 c | 105527 | 14274 58960 176694 | 2147483647 105520 43 | 1.991 % |
580.39/580.67 c | 105703 | 14274 58960 176694 | 2147483647 105696 43 | 1.991 % |
581.79/582.08 c | 105896 | 14274 58960 176694 | 2147483647 105889 43 | 1.991 % |
583.80/584.03 c | 106108 | 14274 58960 176694 | 2147483647 106101 43 | 1.991 % |
585.69/585.94 c | 106342 | 14274 58960 176694 | 2147483647 106335 43 | 1.991 % |
587.79/588.01 c | 106599 | 14274 58960 176694 | 2147483647 106592 43 | 1.991 % |
590.09/590.32 c | 106881 | 14274 58960 176694 | 2147483647 106874 43 | 1.991 % |
592.89/593.10 c | 107191 | 14274 58960 176694 | 2147483647 107184 43 | 1.991 % |
595.89/596.20 c | 107530 | 14274 58960 176694 | 2147483647 107523 43 | 1.991 % |
598.69/598.99 c | 107903 | 14274 58960 176694 | 2147483647 107896 43 | 1.991 % |
601.19/601.41 c | 108312 | 14274 58960 176694 | 2147483647 108305 43 | 1.991 % |
604.69/604.97 c | 108761 | 14274 58960 176694 | 2147483647 108754 43 | 1.991 % |
608.28/608.56 c | 109255 | 14274 58960 176694 | 2147483647 109248 43 | 1.991 % |
612.88/613.11 c | 109799 | 14274 58960 176694 | 2147483647 109792 43 | 1.991 % |
617.68/617.99 c | 110396 | 14274 58960 176694 | 2147483647 110389 43 | 1.991 % |
622.68/622.96 c | 111051 | 14274 58960 176694 | 2147483647 111044 43 | 1.991 % |
627.98/628.21 c | 111772 | 14274 58960 176694 | 2147483647 111765 43 | 1.991 % |
632.47/632.79 c | 112565 | 14274 58960 176694 | 2147483647 112558 43 | 1.991 % |
639.87/640.20 c | 113437 | 14274 58960 176694 | 2147483647 113430 43 | 1.991 % |
647.87/648.15 c | 114395 | 14274 58960 176694 | 2147483647 114388 43 | 1.991 % |
655.57/655.87 c | 115449 | 14274 58960 176694 | 2147483647 115442 43 | 1.991 % |
664.57/664.88 c | 116608 | 14274 58960 176694 | 2147483647 116601 43 | 1.991 % |
674.27/674.55 c | 117881 | 14274 58960 176694 | 2147483647 117874 43 | 1.991 % |
674.97/675.25 c | 117982 | 14274 58960 176694 | 2147483647 117975 43 | 1.991 % |
675.47/675.73 c | 118092 | 14274 58960 176694 | 2147483647 118085 43 | 1.991 % |
676.47/676.70 c | 118213 | 14274 58960 176694 | 2147483647 118206 43 | 1.991 % |
677.27/677.55 c | 118347 | 14274 58960 176694 | 2147483647 118340 43 | 1.991 % |
678.47/678.78 c | 118493 | 14274 58960 176694 | 2147483647 118486 43 | 1.991 % |
680.06/680.39 c | 118654 | 14274 58960 176694 | 2147483647 118647 43 | 1.991 % |
681.77/682.01 c | 118830 | 14274 58960 176694 | 2147483647 118823 43 | 1.991 % |
683.56/683.86 c | 119024 | 14274 58960 176694 | 2147483647 119017 43 | 1.991 % |
685.56/685.81 c | 119238 | 14274 58960 176694 | 2147483647 119231 43 | 1.991 % |
687.86/688.11 c | 119471 | 14274 58960 176694 | 2147483647 119464 43 | 1.991 % |
689.96/690.21 c | 119728 | 14274 58960 176694 | 2147483647 119721 43 | 1.991 % |
692.26/692.54 c | 120010 | 14274 58960 176694 | 2147483647 120003 43 | 1.991 % |
694.76/695.06 c | 120319 | 14274 58960 176694 | 2147483647 120312 43 | 1.991 % |
697.46/697.76 c | 120660 | 14274 58960 176694 | 2147483647 120653 43 | 1.991 % |
700.66/700.94 c | 121032 | 14274 58960 176694 | 2147483647 121025 43 | 1.991 % |
703.96/704.27 c | 121441 | 14274 58960 176694 | 2147483647 121434 43 | 1.991 % |
707.56/707.84 c | 121891 | 14274 58960 176694 | 2147483647 121884 43 | 1.991 % |
711.06/711.33 c | 122384 | 14274 58960 176694 | 2147483647 122377 43 | 1.991 % |
714.76/715.06 c | 122926 | 14274 58960 176694 | 2147483647 122919 43 | 1.991 % |
718.06/718.36 c | 123523 | 14274 58960 176694 | 2147483647 123516 43 | 1.991 % |
723.05/723.35 c | 124179 | 14274 58960 176694 | 2147483647 124172 43 | 1.991 % |
728.45/728.72 c | 124901 | 14274 58960 176694 | 2147483647 124894 43 | 1.991 % |
733.75/734.03 c | 125693 | 14274 58960 176694 | 2147483647 125686 43 | 1.991 % |
737.54/737.87 c | 126565 | 14274 58960 176694 | 2147483647 126558 44 | 1.991 % |
744.65/744.98 c | 127523 | 14274 58960 176694 | 2147483647 127516 44 | 1.991 % |
753.65/753.95 c | 128576 | 14274 58960 176694 | 2147483647 128569 44 | 1.991 % |
762.44/762.78 c | 129735 | 14274 58960 176694 | 2147483647 129728 44 | 1.991 % |
772.44/772.77 c | 131008 | 14274 58960 176694 | 2147483647 131001 44 | 1.991 % |
783.14/783.40 c | 132409 | 14274 58960 176694 | 2147483647 132402 44 | 1.991 % |
783.84/784.15 c | 132510 | 14274 58960 176694 | 2147483647 132503 44 | 1.991 % |
784.84/785.13 c | 132620 | 14274 58960 176694 | 2147483647 132613 44 | 1.991 % |
785.84/786.13 c | 132741 | 14274 58960 176694 | 2147483647 132734 44 | 1.991 % |
786.93/787.20 c | 132874 | 14274 58960 176694 | 2147483647 132867 44 | 1.991 % |
787.93/788.28 c | 133022 | 14274 58960 176694 | 2147483647 133015 44 | 1.991 % |
789.54/789.84 c | 133183 | 14274 58960 176694 | 2147483647 133176 44 | 1.991 % |
790.64/790.94 c | 133360 | 14274 58960 176694 | 2147483647 133353 44 | 1.991 % |
792.03/792.32 c | 133554 | 14274 58960 176694 | 2147483647 133547 44 | 1.991 % |
793.84/794.11 c | 133767 | 14274 58960 176694 | 2147483647 133760 44 | 1.991 % |
796.04/796.32 c | 134000 | 14274 58960 176694 | 2147483647 133993 44 | 1.991 % |
798.43/798.71 c | 134257 | 14274 58960 176694 | 2147483647 134250 44 | 1.991 % |
801.03/801.30 c | 134539 | 14274 58960 176694 | 2147483647 134532 44 | 1.991 % |
803.93/804.23 c | 134848 | 14274 58960 176694 | 2147483647 134841 44 | 1.991 % |
804.73/805.03 c | 135188 | 14274 58960 176694 | 2147483647 135181 44 | 1.991 % |
808.03/808.34 c | 135560 | 14274 58960 176694 | 2147483647 135553 44 | 1.991 % |
810.63/810.99 c | 135970 | 14274 58960 176694 | 2147483647 135963 44 | 1.991 % |
813.82/814.15 c | 136419 | 14274 58960 176694 | 2147483647 136412 44 | 1.991 % |
815.42/815.70 c | 136914 | 14274 58960 176694 | 2147483647 136907 44 | 1.991 % |
819.92/820.23 c | 137456 | 14274 58960 176694 | 2147483647 137449 44 | 1.991 % |
824.42/824.76 c | 138052 | 14274 58960 176694 | 2147483647 138045 44 | 1.991 % |
828.92/829.23 c | 138708 | 14274 58960 176694 | 2147483647 138701 44 | 1.991 % |
835.32/835.67 c | 139428 | 14274 58960 176694 | 2147483647 139421 44 | 1.991 % |
842.02/842.32 c | 140221 | 14274 58960 176694 | 2147483647 140214 44 | 1.991 % |
849.51/849.88 c | 141092 | 14274 58960 176694 | 2147483647 141085 44 | 1.991 % |
858.42/858.74 c | 142050 | 14274 58960 176694 | 2147483647 142043 44 | 1.991 % |
868.62/868.97 c | 143103 | 14274 58960 176694 | 2147483647 143096 44 | 1.991 % |
878.11/878.46 c | 144263 | 14274 58960 176694 | 2147483647 144256 44 | 1.991 % |
889.11/889.47 c | 145537 | 14274 58960 176694 | 2147483647 145530 44 | 1.991 % |
901.71/902.04 c | 146938 | 14274 58960 176694 | 2147483647 146931 44 | 1.991 % |
915.50/915.85 c | 148478 | 14274 58960 176694 | 2147483647 148471 44 | 1.991 % |
916.30/916.67 c | 148578 | 14274 58960 176694 | 2147483647 148571 44 | 1.991 % |
916.90/917.26 c | 148688 | 14274 58960 176694 | 2147483647 148681 44 | 1.991 % |
918.30/918.62 c | 148810 | 14274 58960 176694 | 2147483647 148803 44 | 1.991 % |
919.50/919.84 c | 148946 | 14274 58960 176694 | 2147483647 148939 44 | 1.991 % |
921.00/921.31 c | 149094 | 14274 58960 176694 | 2147483647 149087 44 | 1.991 % |
922.80/923.12 c | 149255 | 14274 58960 176694 | 2147483647 149248 44 | 1.991 % |
924.20/924.52 c | 149431 | 14274 58960 176694 | 2147483647 149424 44 | 1.991 % |
925.70/926.04 c | 149624 | 14274 58960 176694 | 2147483647 149617 44 | 1.991 % |
927.20/927.50 c | 149837 | 14274 58960 176694 | 2147483647 149830 44 | 1.991 % |
929.20/929.55 c | 150071 | 14274 58960 176694 | 2147483647 150064 44 | 1.991 % |
931.50/931.88 c | 150327 | 14274 58960 176694 | 2147483647 150320 44 | 1.991 % |
932.99/933.38 c | 150609 | 14274 58960 176694 | 2147483647 150602 44 | 1.991 % |
936.09/936.41 c | 150919 | 14274 58960 176694 | 2147483647 150912 44 | 1.991 % |
938.89/939.25 c | 151259 | 14274 58960 176694 | 2147483647 151252 44 | 1.991 % |
941.89/942.22 c | 151631 | 14274 58960 176694 | 2147483647 151624 44 | 1.991 % |
945.59/945.91 c | 152040 | 14274 58960 176694 | 2147483647 152033 44 | 1.991 % |
950.29/950.63 c | 152489 | 14274 58960 176694 | 2147483647 152482 44 | 1.991 % |
954.99/955.38 c | 152983 | 14274 58960 176694 | 2147483647 152976 44 | 1.991 % |
959.19/959.56 c | 153525 | 14274 58960 176694 | 2147483647 153518 44 | 1.991 % |
964.29/964.68 c | 154122 | 14274 58960 176694 | 2147483647 154115 44 | 1.991 % |
970.19/970.54 c | 154778 | 14274 58960 176694 | 2147483647 154771 44 | 1.991 % |
976.69/977.04 c | 155498 | 14274 58960 176694 | 2147483647 155491 44 | 1.991 % |
983.59/983.90 c | 156292 | 14274 58960 176694 | 2147483647 156285 44 | 1.991 % |
991.89/992.22 c | 157165 | 14274 58960 176694 | 2147483647 157158 44 | 1.991 % |
1000.48/1000.85 c | 158124 | 14274 58960 176694 | 2147483647 158117 44 | 1.991 % |
1010.48/1010.82 c | 159177 | 14274 58960 176694 | 2147483647 159170 44 | 1.991 % |
1022.37/1022.71 c | 160335 | 14274 58960 176694 | 2147483647 160328 44 | 1.991 % |
1033.47/1033.89 c | 161609 | 14274 58960 176694 | 2147483647 161602 44 | 1.991 % |
1046.96/1047.32 c | 163011 | 14274 58960 176694 | 2147483647 163004 44 | 1.991 % |
1061.86/1062.27 c | 164552 | 14274 58960 176694 | 2147483647 164545 44 | 1.991 % |
1076.86/1077.29 c | 166246 | 14274 58960 176694 | 2147483647 166239 44 | 1.991 % |
1077.96/1078.30 c | 166347 | 14274 58960 176694 | 2147483647 166340 44 | 1.991 % |
1078.86/1079.22 c | 166457 | 14274 58960 176694 | 2147483647 166450 44 | 1.991 % |
1080.16/1080.52 c | 166578 | 14274 58960 176694 | 2147483647 166571 44 | 1.991 % |
1081.56/1081.91 c | 166712 | 14274 58960 176694 | 2147483647 166705 44 | 1.991 % |
1083.06/1083.41 c | 166860 | 14274 58960 176694 | 2147483647 166853 44 | 1.991 % |
1084.66/1085.00 c | 167020 | 14274 58960 176694 | 2147483647 167013 44 | 1.991 % |
1086.46/1086.85 c | 167196 | 14274 58960 176694 | 2147483647 167189 44 | 1.991 % |
1088.36/1088.78 c | 167389 | 14274 58960 176694 | 2147483647 167382 44 | 1.991 % |
1090.26/1090.66 c | 167601 | 14274 58960 176694 | 2147483647 167594 44 | 1.991 % |
1092.45/1092.89 c | 167835 | 14274 58960 176694 | 2147483647 167828 44 | 1.991 % |
1094.85/1095.23 c | 168092 | 14274 58960 176694 | 2147483647 168085 44 | 1.991 % |
1097.36/1097.73 c | 168373 | 14274 58960 176694 | 2147483647 168366 44 | 1.991 % |
1100.65/1101.09 c | 168682 | 14274 58960 176694 | 2147483647 168675 44 | 1.991 % |
1103.95/1104.38 c | 169021 | 14274 58960 176694 | 2147483647 169014 44 | 1.991 % |
1107.95/1108.32 c | 169393 | 14274 58960 176694 | 2147483647 169386 44 | 1.991 % |
1111.45/1111.82 c | 169802 | 14274 58960 176694 | 2147483647 169795 44 | 1.991 % |
1114.75/1115.11 c | 170253 | 14274 58960 176694 | 2147483647 170246 44 | 1.991 % |
1119.15/1119.52 c | 170747 | 14274 58960 176694 | 2147483647 170740 44 | 1.991 % |
1124.04/1124.48 c | 171290 | 14274 58960 176694 | 2147483647 171283 44 | 1.991 % |
1129.24/1129.62 c | 171886 | 14274 58960 176694 | 2147483647 171879 44 | 1.991 % |
1135.34/1135.78 c | 172544 | 14274 58960 176694 | 2147483647 172537 44 | 1.991 % |
1141.74/1142.12 c | 173264 | 14274 58960 176694 | 2147483647 173257 44 | 1.991 % |
1147.84/1148.27 c | 174056 | 14274 58960 176694 | 2147483647 174049 44 | 1.991 % |
1155.34/1155.77 c | 174929 | 14274 58960 176694 | 2147483647 174922 44 | 1.991 % |
1165.34/1165.70 c | 175889 | 14274 58960 176694 | 2147483647 175882 44 | 1.991 % |
1175.63/1176.09 c | 176943 | 14274 58960 176694 | 2147483647 176936 44 | 1.991 % |
1187.83/1188.26 c | 178102 | 14274 58960 176694 | 2147483647 178095 44 | 1.991 % |
1200.53/1200.92 c | 179375 | 14274 58960 176694 | 2147483647 179368 44 | 1.991 % |
1213.02/1213.45 c | 180775 | 14274 58960 176694 | 2147483647 180768 44 | 1.991 % |
1228.12/1228.56 c | 182315 | 14274 58960 176694 | 2147483647 182308 44 | 1.991 % |
1241.21/1241.69 c | 184010 | 14274 58960 176694 | 2147483647 184003 44 | 1.991 % |
1260.22/1260.64 c | 185873 | 14274 58960 176694 | 2147483647 185866 44 | 1.991 % |
1261.32/1261.79 c | 185973 | 14274 58960 176694 | 2147483647 185966 44 | 1.991 % |
1261.81/1262.22 c | 186086 | 14274 58960 176694 | 2147483647 186079 44 | 1.991 % |
1263.11/1263.59 c | 186207 | 14274 58960 176694 | 2147483647 186200 44 | 1.991 % |
1263.81/1264.24 c | 186340 | 14274 58960 176694 | 2147483647 186333 44 | 1.991 % |
1265.01/1265.49 c | 186488 | 14274 58960 176694 | 2147483647 186481 44 | 1.991 % |
1266.72/1267.16 c | 186648 | 14274 58960 176694 | 2147483647 186641 44 | 1.991 % |
1268.51/1268.92 c | 186824 | 14274 58960 176694 | 2147483647 186817 44 | 1.991 % |
1270.21/1270.66 c | 187018 | 14274 58960 176694 | 2147483647 187011 44 | 1.991 % |
1272.32/1272.71 c | 187230 | 14274 58960 176694 | 2147483647 187223 44 | 1.991 % |
1274.81/1275.27 c | 187463 | 14274 58960 176694 | 2147483647 187456 44 | 1.991 % |
1277.31/1277.78 c | 187720 | 14274 58960 176694 | 2147483647 187713 44 | 1.991 % |
1280.41/1280.86 c | 188001 | 14274 58960 176694 | 2147483647 187994 44 | 1.991 % |
1283.21/1283.67 c | 188311 | 14274 58960 176694 | 2147483647 188304 44 | 1.991 % |
1287.11/1287.55 c | 188651 | 14274 58960 176694 | 2147483647 188644 44 | 1.991 % |
1290.81/1291.25 c | 189024 | 14274 58960 176694 | 2147483647 189017 44 | 1.991 % |
1294.80/1295.22 c | 189433 | 14274 58960 176694 | 2147483647 189426 44 | 1.991 % |
1299.71/1300.14 c | 189882 | 14274 58960 176694 | 2147483647 189875 44 | 1.991 % |
1305.20/1305.68 c | 190376 | 14274 58960 176694 | 2147483647 190369 44 | 1.991 % |
1311.10/1311.50 c | 190919 | 14274 58960 176694 | 2147483647 190912 44 | 1.991 % |
1316.00/1316.43 c | 191517 | 14274 58960 176694 | 2147483647 191510 44 | 1.991 % |
1321.09/1321.57 c | 192172 | 14274 58960 176694 | 2147483647 192165 44 | 1.991 % |
1327.89/1328.38 c | 192893 | 14274 58960 176694 | 2147483647 192886 44 | 1.991 % |
1335.49/1335.96 c | 193685 | 14274 58960 176694 | 2147483647 193678 44 | 1.991 % |
1343.19/1343.65 c | 194558 | 14274 58960 176694 | 2147483647 194551 44 | 1.991 % |
1353.78/1354.30 c | 195516 | 14274 58960 176694 | 2147483647 195509 44 | 1.991 % |
1362.88/1363.36 c | 196570 | 14274 58960 176694 | 2147483647 196563 44 | 1.991 % |
1376.08/1376.50 c | 197729 | 14274 58960 176694 | 2147483647 197722 44 | 1.991 % |
1390.37/1390.84 c | 199002 | 14274 58960 176694 | 2147483647 198995 44 | 1.991 % |
1405.68/1406.14 c | 200403 | 14274 58960 176694 | 2147483647 200396 44 | 1.991 % |
1419.97/1420.44 c | 201944 | 14274 58960 176694 | 2147483647 201937 44 | 1.991 % |
1436.47/1436.91 c | 203638 | 14274 58960 176694 | 2147483647 203631 44 | 1.991 % |
1448.67/1449.12 c | 205503 | 14274 58960 176694 | 2147483647 205496 44 | 1.991 % |
1472.46/1472.97 c | 207553 | 14274 58960 176694 | 2147483647 207546 44 | 1.991 % |
1473.86/1474.33 c | 207653 | 14274 58960 176694 | 2147483647 207646 44 | 1.991 % |
1474.86/1475.37 c | 207763 | 14274 58960 176694 | 2147483647 207756 44 | 1.991 % |
1476.26/1476.73 c | 207885 | 14274 58960 176694 | 2147483647 207878 44 | 1.991 % |
1477.36/1477.90 c | 208019 | 14274 58960 176694 | 2147483647 208012 44 | 1.991 % |
1478.86/1479.31 c | 208166 | 14274 58960 176694 | 2147483647 208159 44 | 1.991 % |
1480.56/1481.00 c | 208326 | 14274 58960 176694 | 2147483647 208319 44 | 1.991 % |
1482.36/1482.88 c | 208502 | 14274 58960 176694 | 2147483647 208495 44 | 1.991 % |
1484.46/1484.97 c | 208697 | 14274 58960 176694 | 2147483647 208690 44 | 1.991 % |
1486.76/1487.24 c | 208911 | 14274 58960 176694 | 2147483647 208904 44 | 1.991 % |
1489.45/1489.98 c | 209144 | 14274 58960 176694 | 2147483647 209137 44 | 1.991 % |
1492.45/1493.00 c | 209401 | 14274 58960 176694 | 2147483647 209394 44 | 1.991 % |
1495.15/1495.63 c | 209682 | 14274 58960 176694 | 2147483647 209675 44 | 1.991 % |
1498.65/1499.19 c | 209992 | 14274 58960 176694 | 2147483647 209985 44 | 1.991 % |
1502.75/1503.20 c | 210332 | 14274 58960 176694 | 2147483647 210325 44 | 1.991 % |
1506.75/1507.23 c | 210704 | 14274 58960 176694 | 2147483647 210697 44 | 1.991 % |
1510.75/1511.22 c | 211113 | 14274 58960 176694 | 2147483647 211106 44 | 1.991 % |
1515.54/1516.06 c | 211562 | 14274 58960 176694 | 2147483647 211555 44 | 1.991 % |
1520.64/1521.20 c | 212056 | 14274 58960 176694 | 2147483647 212049 44 | 1.991 % |
1524.94/1525.48 c | 212598 | 14274 58960 176694 | 2147483647 212591 44 | 1.991 % |
1531.24/1531.72 c | 213194 | 14274 58960 176694 | 2147483647 213187 44 | 1.991 % |
1537.13/1537.66 c | 213849 | 14274 58960 176694 | 2147483647 213842 44 | 1.991 % |
1544.24/1544.79 c | 214570 | 14274 58960 176694 | 2147483647 214563 44 | 1.991 % |
1552.54/1553.04 c | 215363 | 14274 58960 176694 | 2147483647 215356 44 | 1.991 % |
1562.44/1562.96 c | 216235 | 14274 58960 176694 | 2147483647 216228 44 | 1.991 % |
1572.23/1572.73 c | 217194 | 14274 58960 176694 | 2147483647 217187 44 | 1.991 % |
1582.33/1582.89 c | 218248 | 14274 58960 176694 | 2147483647 218241 44 | 1.991 % |
1594.82/1595.36 c | 219406 | 14274 58960 176694 | 2147483647 219399 44 | 1.991 % |
1608.12/1608.68 c | 220680 | 14274 58960 176694 | 2147483647 220673 44 | 1.991 % |
1622.51/1623.00 c | 222080 | 14274 58960 176694 | 2147483647 222073 44 | 1.991 % |
1640.91/1641.49 c | 223620 | 14274 58960 176694 | 2147483647 223613 44 | 1.991 % |
1660.31/1660.82 c | 225315 | 14274 58960 176694 | 2147483647 225308 44 | 1.991 % |
1680.40/1680.94 c | 227179 | 14274 58960 176694 | 2147483647 227172 44 | 1.991 % |
1705.09/1705.65 c | 229229 | 14274 58960 176694 | 2147483647 229222 44 | 1.991 % |
1731.59/1732.13 c | 231482 | 14274 58960 176694 | 2147483647 231475 44 | 1.991 % |
1732.79/1733.30 c | 231583 | 14274 58960 176694 | 2147483647 231576 44 | 1.991 % |
1733.99/1734.59 c | 231694 | 14274 58960 176694 | 2147483647 231687 44 | 1.991 % |
1735.69/1736.26 c | 231816 | 14274 58960 176694 | 2147483647 231809 44 | 1.991 % |
1737.29/1737.86 c | 231949 | 14274 58960 176694 | 2147483647 231942 44 | 1.991 % |
1738.68/1739.21 c | 232096 | 14274 58960 176694 | 2147483647 232089 44 | 1.991 % |
1740.69/1741.22 c | 232257 | 14274 58960 176694 | 2147483647 232250 44 | 1.991 % |
1742.89/1743.49 c | 232433 | 14274 58960 176694 | 2147483647 232426 44 | 1.991 % |
1745.28/1745.85 c | 232627 | 14274 58960 176694 | 2147483647 232620 44 | 1.991 % |
1747.88/1748.41 c | 232840 | 14274 58960 176694 | 2147483647 232833 44 | 1.991 % |
1750.69/1751.23 c | 233074 | 14274 58960 176694 | 2147483647 233067 44 | 1.991 % |
1753.78/1754.36 c | 233330 | 14274 58960 176694 | 2147483647 233323 44 | 1.991 % |
1757.08/1757.63 c | 233611 | 14274 58960 176694 | 2147483647 233604 44 | 1.991 % |
1760.58/1761.12 c | 233920 | 14274 58960 176694 | 2147483647 233913 44 | 1.991 % |
1765.38/1765.90 c | 234260 | 14274 58960 176694 | 2147483647 234253 44 | 1.991 % |
1769.78/1770.38 c | 234632 | 14274 58960 176694 | 2147483647 234625 44 | 1.991 % |
1773.97/1774.54 c | 235042 | 14274 58960 176694 | 2147483647 235035 44 | 1.991 % |
1779.18/1779.79 c | 235491 | 14274 58960 176694 | 2147483647 235484 44 | 1.991 % |
1785.27/1785.86 c | 235985 | 14274 58960 176694 | 2147483647 235978 44 | 1.991 % |
1791.47/1792.02 c | 236528 | 14274 58960 176694 | 2147483647 236521 44 | 1.991 % |
1798.28/1798.83 c | 237125 | 14274 58960 176694 | 2147483647 237118 44 | 1.991 % |
1806.07/1806.67 c | 237781 | 14274 58960 176694 | 2147483647 237774 44 | 1.991 % |
1815.17/1815.70 c | 238501 | 14274 58960 176694 | 2147483647 238494 44 | 1.991 % |
1825.97/1826.52 c | 239294 | 14274 58960 176694 | 2147483647 239287 44 | 1.991 % |
1833.87/1834.44 c | 240165 | 14274 58960 176694 | 2147483647 240158 44 | 1.991 % |
1845.06/1845.63 c | 241123 | 14274 58960 176694 | 2147483647 241116 44 | 1.991 % |
1858.46/1859.09 c | 242176 | 14274 58960 176694 | 2147483647 242169 44 | 1.991 % |
1872.05/1872.64 c | 243335 | 14274 58960 176694 | 2147483647 243328 44 | 1.991 % |
1885.65/1886.29 c | 244609 | 14274 58960 176694 | 2147483647 244602 44 | 1.991 % |
1900.74/1901.38 c | 246010 | 14274 58960 176694 | 2147483647 246003 44 | 1.991 % |
1918.85/1919.44 c | 247551 | 14274 58960 176694 | 2147483647 247544 44 | 1.991 % |
1933.84/1934.41 c | 249247 | 14274 58960 176694 | 2147483647 249240 44 | 1.991 % |
1948.24/1948.85 c | 251110 | 14274 58960 176694 | 2147483647 251103 44 | 1.991 % |
1969.13/1969.71 c | 253160 | 14274 58960 176694 | 2147483647 253153 45 | 1.991 % |
1992.82/1993.40 c | 255413 | 14274 58960 176694 | 2147483647 255406 45 | 1.991 % |
2020.52/2021.17 c | 257891 | 14274 58960 176694 | 2147483647 257884 45 | 1.991 % |
2021.81/2022.42 c | 257992 | 14274 58960 176694 | 2147483647 257985 45 | 1.991 % |
2023.21/2023.81 c | 258102 | 14274 58960 176694 | 2147483647 258095 45 | 1.991 % |
2024.52/2025.16 c | 258223 | 14274 58960 176694 | 2147483647 258216 45 | 1.991 % |
2026.21/2026.83 c | 258356 | 14274 58960 176694 | 2147483647 258349 45 | 1.991 % |
2027.61/2028.22 c | 258503 | 14274 58960 176694 | 2147483647 258496 45 | 1.991 % |
2029.71/2030.37 c | 258664 | 14274 58960 176694 | 2147483647 258657 45 | 1.991 % |
2032.31/2032.91 c | 258841 | 14274 58960 176694 | 2147483647 258834 45 | 1.991 % |
2034.51/2035.12 c | 259036 | 14274 58960 176694 | 2147483647 259029 45 | 1.991 % |
2037.41/2038.07 c | 259249 | 14274 58960 176694 | 2147483647 259242 45 | 1.991 % |
2040.41/2041.00 c | 259483 | 14274 58960 176694 | 2147483647 259476 45 | 1.991 % |
2043.11/2043.76 c | 259739 | 14274 58960 176694 | 2147483647 259732 45 | 1.991 % |
2045.91/2046.51 c | 260020 | 14274 58960 176694 | 2147483647 260013 45 | 1.991 % |
2049.52/2050.15 c | 260329 | 14274 58960 176694 | 2147483647 260322 45 | 1.991 % |
2053.81/2054.45 c | 260669 | 14274 58960 176694 | 2147483647 260662 45 | 1.991 % |
2058.81/2059.47 c | 261041 | 14274 58960 176694 | 2147483647 261034 45 | 1.991 % |
2065.21/2065.86 c | 261451 | 14274 58960 176694 | 2147483647 261444 45 | 1.991 % |
2070.71/2071.36 c | 261901 | 14274 58960 176694 | 2147483647 261894 45 | 1.991 % |
2076.40/2077.04 c | 262394 | 14274 58960 176694 | 2147483647 262387 45 | 1.991 % |
2083.81/2084.47 c | 262936 | 14274 58960 176694 | 2147483647 262929 45 | 1.991 % |
2090.60/2091.22 c | 263532 | 14274 58960 176694 | 2147483647 263525 45 | 1.991 % |
2100.10/2100.75 c | 264187 | 14274 58960 176694 | 2147483647 264180 45 | 1.991 % |
2109.29/2109.98 c | 264908 | 14274 58960 176694 | 2147483647 264901 45 | 1.991 % |
2119.39/2120.03 c | 265700 | 14274 58960 176694 | 2147483647 265693 45 | 1.991 % |
2130.09/2130.75 c | 266572 | 14274 58960 176694 | 2147483647 266565 45 | 1.991 % |
2142.38/2143.06 c | 267530 | 14274 58960 176694 | 2147483647 267523 45 | 1.991 % |
2156.49/2157.12 c | 268583 | 14274 58960 176694 | 2147483647 268576 45 | 1.991 % |
2173.58/2174.22 c | 269741 | 14274 58960 176694 | 2147483647 269734 45 | 1.991 % |
2188.48/2189.18 c | 271015 | 14274 58960 176694 | 2147483647 271008 45 | 1.991 % |
2207.27/2207.99 c | 272416 | 14274 58960 176694 | 2147483647 272409 45 | 1.991 % |
2227.27/2227.97 c | 273956 | 14274 58960 176694 | 2147483647 273949 45 | 1.991 % |
2250.16/2250.85 c | 275650 | 14274 58960 176694 | 2147483647 275643 45 | 1.991 % |
2276.05/2276.78 c | 277513 | 14274 58960 176694 | 2147483647 277506 44 | 1.991 % |
2303.45/2304.11 c | 279562 | 14274 58960 176694 | 2147483647 279555 44 | 1.991 % |
2333.04/2333.70 c | 281815 | 14274 58960 176694 | 2147483647 281808 44 | 1.991 % |
2364.34/2365.08 c | 284293 | 14274 58960 176694 | 2147483647 284286 44 | 1.991 % |
2396.02/2396.71 c | 287019 | 14274 58960 176694 | 2147483647 287012 44 | 1.991 % |
2397.02/2397.74 c | 287121 | 14274 58960 176694 | 2147483647 287114 44 | 1.991 % |
2397.72/2398.40 c | 287232 | 14274 58960 176694 | 2147483647 287225 44 | 1.991 % |
2399.22/2399.93 c | 287354 | 14274 58960 176694 | 2147483647 287347 44 | 1.991 % |
2400.82/2401.59 c | 287488 | 14274 58960 176694 | 2147483647 287481 44 | 1.991 % |
2402.62/2403.39 c | 287635 | 14274 58960 176694 | 2147483647 287628 44 | 1.991 % |
2405.02/2405.79 c | 287795 | 14274 58960 176694 | 2147483647 287788 44 | 1.991 % |
2407.62/2408.40 c | 287971 | 14274 58960 176694 | 2147483647 287964 44 | 1.991 % |
2410.32/2411.09 c | 288164 | 14274 58960 176694 | 2147483647 288157 44 | 1.991 % |
2412.72/2413.45 c | 288376 | 14274 58960 176694 | 2147483647 288369 44 | 1.991 % |
2415.72/2416.42 c | 288609 | 14274 58960 176694 | 2147483647 288602 44 | 1.991 % |
2418.22/2418.98 c | 288865 | 14274 58960 176694 | 2147483647 288858 44 | 1.991 % |
2421.81/2422.50 c | 289146 | 14274 58960 176694 | 2147483647 289139 44 | 1.991 % |
2425.61/2426.39 c | 289456 | 14274 58960 176694 | 2147483647 289449 44 | 1.991 % |
2429.81/2430.56 c | 289796 | 14274 58960 176694 | 2147483647 289789 44 | 1.991 % |
2434.51/2435.22 c | 290169 | 14274 58960 176694 | 2147483647 290162 44 | 1.991 % |
2439.32/2440.02 c | 290579 | 14274 58960 176694 | 2147483647 290572 44 | 1.991 % |
2444.62/2445.33 c | 291028 | 14274 58960 176694 | 2147483647 291021 44 | 1.991 % |
2451.61/2452.31 c | 291521 | 14274 58960 176694 | 2147483647 291514 44 | 1.991 % |
2459.51/2460.28 c | 292065 | 14274 58960 176694 | 2147483647 292058 44 | 1.991 % |
2467.71/2468.41 c | 292661 | 14274 58960 176694 | 2147483647 292654 44 | 1.991 % |
2476.60/2477.31 c | 293317 | 14274 58960 176694 | 2147483647 293310 44 | 1.991 % |
2483.70/2484.47 c | 294037 | 14274 58960 176694 | 2147483647 294030 44 | 1.991 % |
2493.80/2494.52 c | 294830 | 14274 58960 176694 | 2147483647 294823 44 | 1.991 % |
2503.70/2504.42 c | 295702 | 14274 58960 176694 | 2147483647 295695 44 | 1.991 % |
2516.10/2516.81 c | 296662 | 14274 58960 176694 | 2147483647 296655 44 | 1.991 % |
2530.09/2530.82 c | 297715 | 14274 58960 176694 | 2147483647 297708 44 | 1.991 % |
2542.98/2543.70 c | 298874 | 14274 58960 176694 | 2147483647 298867 44 | 1.991 % |
2560.48/2561.29 c | 300148 | 14274 58960 176694 | 2147483647 300141 44 | 1.991 % |
2577.47/2578.23 c | 301548 | 14274 58960 176694 | 2147483647 301541 44 | 1.991 % |
2599.68/2600.45 c | 303089 | 14274 58960 176694 | 2147483647 303082 44 | 1.991 % |
2617.67/2618.44 c | 304783 | 14274 58960 176694 | 2147483647 304776 45 | 1.991 % |
2642.06/2642.84 c | 306646 | 14274 58960 176694 | 2147483647 306639 45 | 1.991 % |
2669.16/2669.97 c | 308695 | 14274 58960 176694 | 2147483647 308688 45 | 1.991 % |
2699.55/2700.39 c | 310948 | 14274 58960 176694 | 2147483647 310941 45 | 1.991 % |
2728.74/2729.52 c | 313426 | 14274 58960 176694 | 2147483647 313419 45 | 1.991 % |
2759.23/2760.09 c | 316152 | 14274 58960 176694 | 2147483647 316145 45 | 1.991 % |
2792.23/2793.01 c | 319150 | 14274 58960 176694 | 2147483647 319143 45 | 1.991 % |
2793.52/2794.33 c | 319250 | 14274 58960 176694 | 2147483647 319243 45 | 1.991 % |
2794.82/2795.65 c | 319361 | 14274 58960 176694 | 2147483647 319354 45 | 1.991 % |
2796.62/2797.43 c | 319482 | 14274 58960 176694 | 2147483647 319475 45 | 1.991 % |
2798.63/2799.50 c | 319616 | 14274 58960 176694 | 2147483647 319609 45 | 1.991 % |
2800.83/2801.66 c | 319763 | 14274 58960 176694 | 2147483647 319756 45 | 1.991 % |
2803.32/2804.10 c | 319924 | 14274 58960 176694 | 2147483647 319917 45 | 1.991 % |
2805.82/2806.66 c | 320100 | 14274 58960 176694 | 2147483647 320093 45 | 1.991 % |
2808.52/2809.35 c | 320293 | 14274 58960 176694 | 2147483647 320286 45 | 1.991 % |
2811.82/2812.69 c | 320505 | 14274 58960 176694 | 2147483647 320498 45 | 1.991 % |
2815.12/2816.00 c | 320739 | 14274 58960 176694 | 2147483647 320732 45 | 1.991 % |
2818.52/2819.31 c | 320995 | 14274 58960 176694 | 2147483647 320988 45 | 1.991 % |
2822.41/2823.29 c | 321278 | 14274 58960 176694 | 2147483647 321271 45 | 1.991 % |
2826.61/2827.48 c | 321587 | 14274 58960 176694 | 2147483647 321580 45 | 1.991 % |
2831.62/2832.46 c | 321926 | 14274 58960 176694 | 2147483647 321919 45 | 1.991 % |
2837.01/2837.86 c | 322299 | 14274 58960 176694 | 2147483647 322292 45 | 1.991 % |
2842.91/2843.72 c | 322708 | 14274 58960 176694 | 2147483647 322701 45 | 1.991 % |
2848.61/2849.45 c | 323157 | 14274 58960 176694 | 2147483647 323150 45 | 1.991 % |
2856.41/2857.20 c | 323650 | 14274 58960 176694 | 2147483647 323643 45 | 1.991 % |
2862.31/2863.13 c | 324192 | 14274 58960 176694 | 2147483647 324185 45 | 1.991 % |
2869.81/2870.69 c | 324789 | 14274 58960 176694 | 2147483647 324782 45 | 1.991 % |
2878.40/2879.24 c | 325445 | 14274 58960 176694 | 2147483647 325438 45 | 1.991 % |
2888.40/2889.22 c | 326168 | 14274 58960 176694 | 2147483647 326161 45 | 1.991 % |
2899.99/2900.83 c | 326961 | 14274 58960 176694 | 2147483647 326954 45 | 1.991 % |
2910.59/2911.40 c | 327832 | 14274 58960 176694 | 2147483647 327825 45 | 1.991 % |
2918.89/2919.79 c | 328790 | 14274 58960 176694 | 2147483647 328783 45 | 1.991 % |
2933.48/2934.35 c | 329844 | 14274 58960 176694 | 2147483647 329837 45 | 1.991 % |
2949.58/2950.48 c | 331003 | 14274 58960 176694 | 2147483647 330996 45 | 1.991 % |
2967.38/2968.23 c | 332276 | 14274 58960 176694 | 2147483647 332269 45 | 1.991 % |
2986.18/2987.05 c | 333676 | 14274 58960 176694 | 2147483647 333669 45 | 1.991 % |
3001.47/3002.38 c | 335219 | 14274 58960 176694 | 2147483647 335212 45 | 1.991 % |
3024.66/3025.56 c | 336913 | 14274 58960 176694 | 2147483647 336906 45 | 1.991 % |
3052.56/3053.42 c | 338777 | 14274 58960 176694 | 2147483647 338770 45 | 1.991 % |
3081.95/3082.81 c | 340827 | 14274 58960 176694 | 2147483647 340820 44 | 1.991 % |
3111.14/3112.01 c | 343081 | 14274 58960 176694 | 2147483647 343074 44 | 1.991 % |
3148.93/3149.81 c | 345560 | 14274 58960 176694 | 2147483647 345553 44 | 1.991 % |
3187.42/3188.31 c | 348286 | 14274 58960 176694 | 2147483647 348279 44 | 1.991 % |
3226.71/3227.68 c | 351283 | 14274 58960 176694 | 2147483647 351276 45 | 1.991 % |
3267.80/3268.71 c | 354579 | 14274 58960 176694 | 2147483647 354572 44 | 1.991 % |
3269.41/3270.36 c | 354680 | 14274 58960 176694 | 2147483647 354673 44 | 1.991 % |
3271.40/3272.33 c | 354792 | 14274 58960 176694 | 2147483647 354785 44 | 1.991 % |
3273.50/3274.47 c | 354915 | 14274 58960 176694 | 2147483647 354908 44 | 1.991 % |
3275.90/3276.88 c | 355048 | 14274 58960 176694 | 2147483647 355041 44 | 1.991 % |
3278.50/3279.41 c | 355194 | 14274 58960 176694 | 2147483647 355187 44 | 1.991 % |
3281.30/3282.30 c | 355354 | 14274 58960 176694 | 2147483647 355347 44 | 1.991 % |
3283.90/3284.83 c | 355531 | 14274 58960 176694 | 2147483647 355524 44 | 1.991 % |
3286.90/3287.89 c | 355724 | 14274 58960 176694 | 2147483647 355717 44 | 1.991 % |
3289.29/3290.28 c | 355936 | 14274 58960 176694 | 2147483647 355929 44 | 1.991 % |
3292.59/3293.58 c | 356170 | 14274 58960 176694 | 2147483647 356163 44 | 1.991 % |
3296.59/3297.54 c | 356428 | 14274 58960 176694 | 2147483647 356421 44 | 1.991 % |
3301.19/3302.16 c | 356709 | 14274 58960 176694 | 2147483647 356702 44 | 1.991 % |
3303.19/3304.17 c | 357019 | 14274 58960 176694 | 2147483647 357012 44 | 1.991 % |
3308.99/3309.98 c | 357358 | 14274 58960 176694 | 2147483647 357351 45 | 1.991 % |
3314.09/3315.05 c | 357730 | 14274 58960 176694 | 2147483647 357723 45 | 1.991 % |
3318.89/3319.81 c | 358140 | 14274 58960 176694 | 2147483647 358133 45 | 1.991 % |
3323.89/3324.81 c | 358589 | 14274 58960 176694 | 2147483647 358582 45 | 1.991 % |
3331.89/3332.84 c | 359082 | 14274 58960 176694 | 2147483647 359075 45 | 1.991 % |
3340.68/3341.62 c | 359624 | 14274 58960 176694 | 2147483647 359617 45 | 1.991 % |
3349.38/3350.39 c | 360220 | 14274 58960 176694 | 2147483647 360213 45 | 1.991 % |
3359.58/3360.54 c | 360876 | 14274 58960 176694 | 2147483647 360869 45 | 1.991 % |
3368.88/3369.84 c | 361597 | 14274 58960 176694 | 2147483647 361590 45 | 1.991 % |
3381.07/3382.00 c | 362389 | 14274 58960 176694 | 2147483647 362382 45 | 1.991 % |
3394.27/3395.24 c | 363261 | 14274 58960 176694 | 2147483647 363254 44 | 1.991 % |
3409.16/3410.11 c | 364221 | 14274 58960 176694 | 2147483647 364214 44 | 1.991 % |
3423.56/3424.54 c | 365275 | 14274 58960 176694 | 2147483647 365268 44 | 1.991 % |
3440.46/3441.41 c | 366434 | 14274 58960 176694 | 2147483647 366427 44 | 1.991 % |
3459.85/3460.84 c | 367707 | 14274 58960 176694 | 2147483647 367700 44 | 1.991 % |
3478.65/3479.64 c | 369107 | 14274 58960 176694 | 2147483647 369100 44 | 1.991 % |
3501.64/3502.63 c | 370648 | 14274 58960 176694 | 2147483647 370641 44 | 1.991 % |
3526.53/3527.51 c | 372343 | 14274 58960 176694 | 2147483647 372336 44 | 1.991 % |
3555.43/3556.45 c | 374206 | 14274 58960 176694 | 2147483647 374199 44 | 1.991 % |
3582.93/3583.94 c | 376256 | 14274 58960 176694 | 2147483647 376249 44 | 1.991 % |
3617.61/3618.65 c | 378509 | 14274 58960 176694 | 2147483647 378502 44 | 1.991 % |
3655.91/3656.90 c | 380987 | 14274 58960 176694 | 2147483647 380980 44 | 1.991 % |
3698.88/3699.95 c | 383712 | 14274 58960 176694 | 2147483647 383705 44 | 1.991 % |
3743.48/3744.57 c | 386710 | 14274 58960 176694 | 2147483647 386703 44 | 1.991 % |
3793.83/3794.90 c | 390007 | 14274 58960 176694 | 2147483647 390000 44 | 1.991 % |
3851.80/3852.95 c | 393632 | 14274 58960 176694 | 2147483647 393625 44 | 1.991 % |
3853.21/3854.32 c | 393733 | 14274 58960 176694 | 2147483647 393726 44 | 1.991 % |
3854.90/3856.07 c | 393844 | 14274 58960 176694 | 2147483647 393837 44 | 1.991 % |
3857.10/3858.26 c | 393966 | 14274 58960 176694 | 2147483647 393959 44 | 1.991 % |
3859.40/3860.58 c | 394101 | 14274 58960 176694 | 2147483647 394094 44 | 1.991 % |
3862.00/3863.12 c | 394248 | 14274 58960 176694 | 2147483647 394241 44 | 1.991 % |
3864.70/3865.89 c | 394410 | 14274 58960 176694 | 2147483647 394403 44 | 1.991 % |
3867.20/3868.39 c | 394586 | 14274 58960 176694 | 2147483647 394579 44 | 1.991 % |
3870.60/3871.78 c | 394780 | 14274 58960 176694 | 2147483647 394773 44 | 1.991 % |
3872.90/3874.09 c | 394993 | 14274 58960 176694 | 2147483647 394986 44 | 1.991 % |
3875.20/3876.33 c | 395226 | 14274 58960 176694 | 2147483647 395219 44 | 1.991 % |
3878.79/3879.94 c | 395482 | 14274 58960 176694 | 2147483647 395475 44 | 1.991 % |
3882.50/3883.68 c | 395764 | 14274 58960 176694 | 2147483647 395757 44 | 1.991 % |
3887.60/3888.78 c | 396074 | 14274 58960 176694 | 2147483647 396067 44 | 1.991 % |
3893.30/3894.46 c | 396413 | 14274 58960 176694 | 2147483647 396406 44 | 1.991 % |
3898.30/3899.46 c | 396786 | 14274 58960 176694 | 2147483647 396779 44 | 1.991 % |
3904.80/3905.99 c | 397196 | 14274 58960 176694 | 2147483647 397189 44 | 1.991 % |
3911.99/3913.15 c | 397646 | 14274 58960 176694 | 2147483647 397639 44 | 1.991 % |
3919.39/3920.53 c | 398140 | 14274 58960 176694 | 2147483647 398133 44 | 1.991 % |
3927.29/3928.44 c | 398683 | 14274 58960 176694 | 2147483647 398676 44 | 1.991 % |
3935.59/3936.77 c | 399280 | 14274 58960 176694 | 2147483647 399273 44 | 1.991 % |
3945.88/3947.03 c | 399936 | 14274 58960 176694 | 2147483647 399929 44 | 1.991 % |
3955.98/3957.16 c | 400657 | 14274 58960 176694 | 2147483647 400650 44 | 1.991 % |
3966.78/3967.96 c | 401450 | 14274 58960 176694 | 2147483647 401443 44 | 1.991 % |
3978.47/3979.62 c | 402322 | 14274 58960 176694 | 2147483647 402315 44 | 1.991 % |
3992.87/3994.02 c | 403280 | 14274 58960 176694 | 2147483647 403273 45 | 1.991 % |
4008.37/4009.51 c | 404333 | 14274 58960 176694 | 2147483647 404326 45 | 1.991 % |
4024.56/4025.71 c | 405492 | 14274 58960 176694 | 2147483647 405485 45 | 1.991 % |
4039.76/4040.95 c | 406765 | 14274 58960 176694 | 2147483647 406758 45 | 1.991 % |
4061.45/4062.65 c | 408166 | 14274 58960 176694 | 2147483647 408159 45 | 1.991 % |
4084.35/4085.59 c | 409706 | 14274 58960 176694 | 2147483647 409699 45 | 1.991 % |
4110.44/4111.64 c | 411400 | 14274 58960 176694 | 2147483647 411393 45 | 1.991 % |
4137.53/4138.76 c | 413263 | 14274 58960 176694 | 2147483647 413256 45 | 1.991 % |
4169.43/4170.63 c | 415312 | 14274 58960 176694 | 2147483647 415305 45 | 1.991 % |
4205.52/4206.70 c | 417566 | 14274 58960 176694 | 2147483647 417559 45 | 1.991 % |
4251.40/4252.64 c | 420044 | 14274 58960 176694 | 2147483647 420037 45 | 1.991 % |
4295.00/4296.21 c | 422769 | 14274 58960 176694 | 2147483647 422762 45 | 1.991 % |
4344.58/4345.80 c | 425766 | 14274 58960 176694 | 2147483647 425759 45 | 1.991 % |
4394.97/4396.25 c | 429062 | 14274 58960 176694 | 2147483647 429055 45 | 1.991 % |
4461.36/4462.68 c | 432688 | 14274 58960 176694 | 2147483647 432681 45 | 1.991 % |
4524.74/4526.02 c | 436675 | 14274 58960 176694 | 2147483647 436668 45 | 1.991 % |
4526.54/4527.82 c | 436775 | 14274 58960 176694 | 2147483647 436768 45 | 1.991 % |
4528.54/4529.83 c | 436887 | 14274 58960 176694 | 2147483647 436880 45 | 1.991 % |
4530.64/4531.98 c | 437009 | 14274 58960 176694 | 2147483647 437002 45 | 1.991 % |
4533.04/4534.32 c | 437143 | 14274 58960 176694 | 2147483647 437136 45 | 1.991 % |
4535.33/4536.63 c | 437289 | 14274 58960 176694 | 2147483647 437282 45 | 1.991 % |
4538.63/4539.90 c | 437449 | 14274 58960 176694 | 2147483647 437442 45 | 1.991 % |
4541.93/4543.28 c | 437625 | 14274 58960 176694 | 2147483647 437618 45 | 1.991 % |
4545.73/4547.08 c | 437818 | 14274 58960 176694 | 2147483647 437811 45 | 1.991 % |
4549.73/4551.09 c | 438030 | 14274 58960 176694 | 2147483647 438023 45 | 1.991 % |
4553.83/4555.11 c | 438266 | 14274 58960 176694 | 2147483647 438259 45 | 1.991 % |
4559.23/4560.52 c | 438524 | 14274 58960 176694 | 2147483647 438517 45 | 1.991 % |
4564.33/4565.63 c | 438806 | 14274 58960 176694 | 2147483647 438799 45 | 1.991 % |
4570.13/4571.41 c | 439116 | 14274 58960 176694 | 2147483647 439109 45 | 1.991 % |
4574.92/4576.20 c | 439456 | 14274 58960 176694 | 2147483647 439449 45 | 1.991 % |
4579.22/4580.54 c | 439828 | 14274 58960 176694 | 2147483647 439821 45 | 1.991 % |
4586.62/4587.90 c | 440237 | 14274 58960 176694 | 2147483647 440230 45 | 1.991 % |
4594.32/4595.66 c | 440686 | 14274 58960 176694 | 2147483647 440679 45 | 1.991 % |
4603.12/4604.43 c | 441179 | 14274 58960 176694 | 2147483647 441172 45 | 1.991 % |
4611.91/4613.24 c | 441722 | 14274 58960 176694 | 2147483647 441715 45 | 1.991 % |
4622.01/4623.32 c | 442320 | 14274 58960 176694 | 2147483647 442313 45 | 1.991 % |
4631.21/4632.55 c | 442975 | 14274 58960 176694 | 2147483647 442968 45 | 1.991 % |
4644.10/4645.45 c | 443695 | 14274 58960 176694 | 2147483647 443688 45 | 1.991 % |
4653.10/4654.42 c | 444487 | 14274 58960 176694 | 2147483647 444480 45 | 1.991 % |
4666.01/4667.36 c | 445358 | 14274 58960 176694 | 2147483647 445351 45 | 1.991 % |
4681.20/4682.55 c | 446317 | 14274 58960 176694 | 2147483647 446310 45 | 1.991 % |
4699.00/4700.30 c | 447370 | 14274 58960 176694 | 2147483647 447363 45 | 1.991 % |
4716.69/4718.09 c | 448529 | 14274 58960 176694 | 2147483647 448522 45 | 1.991 % |
4740.08/4741.47 c | 449802 | 14274 58960 176694 | 2147483647 449795 45 | 1.991 % |
4765.58/4766.93 c | 451203 | 14274 58960 176694 | 2147483647 451196 45 | 1.991 % |
4788.58/4789.92 c | 452744 | 14274 58960 176694 | 2147483647 452737 45 | 1.991 % |
4812.37/4813.78 c | 454440 | 14274 58960 176694 | 2147483647 454433 45 | 1.991 % |
4846.26/4847.61 c | 456303 | 14274 58960 176694 | 2147483647 456296 45 | 1.991 % |
4875.55/4876.99 c | 458352 | 14274 58960 176694 | 2147483647 458345 45 | 1.991 % |
4912.65/4914.06 c | 460606 | 14274 58960 176694 | 2147483647 460599 45 | 1.991 % |
4954.73/4956.10 c | 463085 | 14274 58960 176694 | 2147483647 463078 45 | 1.991 % |
5007.71/5009.14 c | 465810 | 14274 58960 176694 | 2147483647 465803 45 | 1.991 % |
5062.41/5063.85 c | 468807 | 14274 58960 176694 | 2147483647 468800 45 | 1.991 % |
5115.59/5117.07 c | 472103 | 14274 58960 176694 | 2147483647 472096 45 | 1.991 % |
5188.68/5190.12 c | 475728 | 14274 58960 176694 | 2147483647 475721 45 | 1.991 % |
5259.46/5260.91 c | 479715 | 14274 58960 176694 | 2147483647 479708 45 | 1.991 % |
5330.04/5331.59 c | 484100 | 14274 58960 176694 | 2147483647 484093 45 | 1.991 % |
5331.74/5333.23 c | 484201 | 14274 58960 176694 | 2147483647 484194 45 | 1.991 % |
5333.64/5335.12 c | 484311 | 14274 58960 176694 | 2147483647 484304 45 | 1.991 % |
5335.64/5337.14 c | 484432 | 14274 58960 176694 | 2147483647 484425 45 | 1.991 % |
5338.13/5339.63 c | 484566 | 14274 58960 176694 | 2147483647 484559 45 | 1.991 % |
5341.43/5342.95 c | 484717 | 14274 58960 176694 | 2147483647 484710 45 | 1.991 % |
5344.54/5346.09 c | 484878 | 14274 58960 176694 | 2147483647 484871 45 | 1.991 % |
5347.53/5349.06 c | 485054 | 14274 58960 176694 | 2147483647 485047 45 | 1.991 % |
5351.43/5352.92 c | 485248 | 14274 58960 176694 | 2147483647 485241 45 | 1.991 % |
5355.33/5356.83 c | 485461 | 14274 58960 176694 | 2147483647 485454 45 | 1.991 % |
5359.23/5360.75 c | 485694 | 14274 58960 176694 | 2147483647 485687 45 | 1.991 % |
5364.03/5365.55 c | 485951 | 14274 58960 176694 | 2147483647 485944 45 | 1.991 % |
5369.93/5371.49 c | 486233 | 14274 58960 176694 | 2147483647 486226 45 | 1.991 % |
5376.02/5377.51 c | 486542 | 14274 58960 176694 | 2147483647 486535 45 | 1.991 % |
5381.63/5383.13 c | 486881 | 14274 58960 176694 | 2147483647 486874 45 | 1.991 % |
5389.13/5390.69 c | 487254 | 14274 58960 176694 | 2147483647 487247 45 | 1.991 % |
5396.03/5397.50 c | 487663 | 14274 58960 176694 | 2147483647 487656 45 | 1.991 % |
5402.73/5404.26 c | 488114 | 14274 58960 176694 | 2147483647 488107 45 | 1.991 % |
5411.92/5413.45 c | 488607 | 14274 58960 176694 | 2147483647 488600 45 | 1.991 % |
5422.62/5424.11 c | 489150 | 14274 58960 176694 | 2147483647 489143 45 | 1.991 % |
5433.71/5435.21 c | 489746 | 14274 58960 176694 | 2147483647 489739 45 | 1.991 % |
5439.51/5441.05 c | 490401 | 14274 58960 176694 | 2147483647 490394 45 | 1.991 % |
5451.21/5452.77 c | 491121 | 14274 58960 176694 | 2147483647 491114 45 | 1.991 % |
5460.00/5461.55 c | 491913 | 14274 58960 176694 | 2147483647 491906 45 | 1.991 % |
5475.31/5476.82 c | 492786 | 14274 58960 176694 | 2147483647 492779 45 | 1.991 % |
5489.40/5491.00 c | 493744 | 14274 58960 176694 | 2147483647 493737 45 | 1.991 % |
5507.60/5509.13 c | 494797 | 14274 58960 176694 | 2147483647 494790 45 | 1.991 % |
5526.89/5528.49 c | 495956 | 14274 58960 176694 | 2147483647 495949 45 | 1.991 % |
5550.19/5551.73 c | 497231 | 14274 58960 176694 | 2147483647 497224 45 | 1.991 % |
5575.48/5577.00 c | 498631 | 14274 58960 176694 | 2147483647 498624 45 | 1.991 % |
5601.47/5603.03 c | 500171 | 14274 58960 176694 | 2147483647 500164 45 | 1.991 % |
5633.36/5634.99 c | 501865 | 14274 58960 176694 | 2147483647 501858 45 | 1.991 % |
5669.06/5670.63 c | 503728 | 14274 58960 176694 | 2147483647 503721 45 | 1.991 % |
5701.14/5702.72 c | 505777 | 14274 58960 176694 | 2147483647 505770 45 | 1.991 % |
5745.23/5746.88 c | 508030 | 14274 58960 176694 | 2147483647 508023 45 | 1.991 % |
5793.53/5795.10 c | 510509 | 14274 58960 176694 | 2147483647 510502 45 | 1.991 % |
5847.01/5848.68 c | 513235 | 14274 58960 176694 | 2147483647 513228 45 | 1.991 % |
5905.79/5907.48 c | 516233 | 14274 58960 176694 | 2147483647 516226 45 | 1.991 % |
5968.98/5970.65 c | 519529 | 14274 58960 176694 | 2147483647 519522 45 | 1.991 % |
6040.26/6041.96 c | 523154 | 14274 58960 176694 | 519995 464866 45 | 1.991 % |
6109.24/6110.95 c | 527142 | 14274 58960 176694 | 519995 468854 45 | 1.991 % |
6183.93/6185.66 c | 531528 | 14274 58960 176694 | 2147483647 473240 45 | 1.991 % |
6272.11/6273.84 c | 536351 | 14274 58960 176694 | 2147483647 478063 45 | 1.991 % |
6274.31/6276.08 c | 536451 | 14274 58960 176694 | 2147483647 478163 45 | 1.991 % |
6276.50/6278.20 c | 536561 | 14274 58960 176694 | 2147483647 478273 45 | 1.991 % |
6279.00/6280.71 c | 536682 | 14274 58960 176694 | 2147483647 478394 45 | 1.991 % |
6281.41/6283.14 c | 536815 | 14274 58960 176694 | 2147483647 478527 45 | 1.991 % |
6284.71/6286.41 c | 536962 | 14274 58960 176694 | 2147483647 478674 45 | 1.991 % |
6287.90/6289.60 c | 537123 | 14274 58960 176694 | 2147483647 478835 45 | 1.991 % |
6291.30/6293.04 c | 537299 | 14274 58960 176694 | 2147483647 479011 45 | 1.991 % |
6295.40/6297.16 c | 537493 | 14274 58960 176694 | 2147483647 479205 45 | 1.991 % |
6299.80/6301.53 c | 537706 | 14274 58960 176694 | 2147483647 479418 45 | 1.991 % |
6304.10/6305.85 c | 537940 | 14274 58960 176694 | 2147483647 479652 45 | 1.991 % |
6309.00/6310.74 c | 538196 | 14274 58960 176694 | 2147483647 479908 45 | 1.991 % |
6313.89/6315.65 c | 538477 | 14274 58960 176694 | 2147483647 480189 45 | 1.991 % |
6319.69/6321.49 c | 538787 | 14274 58960 176694 | 2147483647 480499 45 | 1.991 % |
6324.69/6326.40 c | 539126 | 14274 58960 176694 | 2147483647 480838 45 | 1.991 % |
6331.19/6332.90 c | 539499 | 14274 58960 176694 | 2147483647 481211 45 | 1.991 % |
6338.29/6340.01 c | 539909 | 14274 58960 176694 | 2147483647 481621 45 | 1.991 % |
6345.89/6347.65 c | 540358 | 14274 58960 176694 | 2147483647 482070 45 | 1.991 % |
6353.88/6355.62 c | 540852 | 14274 58960 176694 | 2147483647 482564 45 | 1.991 % |
6364.38/6366.11 c | 541395 | 14274 58960 176694 | 2147483647 483107 45 | 1.991 % |
6373.98/6375.77 c | 541992 | 14274 58960 176694 | 2147483647 483704 45 | 1.991 % |
6385.77/6387.54 c | 542648 | 14274 58960 176694 | 2147483647 484360 45 | 1.991 % |
6398.97/6400.75 c | 543368 | 14274 58960 176694 | 2147483647 485080 45 | 1.991 % |
6413.37/6415.17 c | 544160 | 14274 58960 176694 | 2147483647 485872 45 | 1.991 % |
6427.56/6429.36 c | 545033 | 14274 58960 176694 | 2147483647 486745 45 | 1.991 % |
6446.76/6448.59 c | 545991 | 14274 58960 176694 | 2147483647 487703 45 | 1.991 % |
6464.55/6466.39 c | 547044 | 14274 58960 176694 | 2147483647 488756 45 | 1.991 % |
6486.85/6488.60 c | 548203 | 14274 58960 176694 | 2147483647 489915 45 | 1.991 % |
6511.44/6513.27 c | 549476 | 14274 58960 176694 | 2147483647 491188 45 | 1.991 % |
6533.44/6535.29 c | 550876 | 14274 58960 176694 | 2147483647 492588 45 | 1.991 % |
6554.64/6556.47 c | 552418 | 14274 58960 176694 | 2147483647 494130 45 | 1.991 % |
6584.43/6586.23 c | 554113 | 14274 58960 176694 | 2147483647 495825 45 | 1.991 % |
6615.22/6617.01 c | 555976 | 14274 58960 176694 | 2147483647 497688 45 | 1.991 % |
6646.11/6647.95 c | 558025 | 14274 58960 176694 | 2147483647 499737 45 | 1.991 % |
6689.30/6691.10 c | 560278 | 14274 58960 176694 | 2147483647 501990 45 | 1.991 % |
6738.79/6740.69 c | 562756 | 14274 58960 176694 | 2147483647 504468 45 | 1.991 % |
6781.88/6783.80 c | 565482 | 14274 58960 176694 | 2147483647 507194 45 | 1.991 % |
6838.06/6839.94 c | 568479 | 14274 58960 176694 | 2147483647 510191 45 | 1.991 % |
6896.16/6898.07 c | 571776 | 14274 58960 176694 | 2147483647 513488 45 | 1.991 % |
6963.24/6965.19 c | 575402 | 14274 58960 176694 | 2147483647 517114 45 | 1.991 % |
7032.12/7034.01 c | 579389 | 14274 58960 176694 | 2147483647 521101 45 | 1.991 % |
7115.00/7116.95 c | 583775 | 14274 58960 176694 | 2147483647 525487 45 | 1.991 % |
7201.68/7203.60 c | 588598 | 14274 58960 176694 | 2147483647 530310 45 | 1.991 % |
7307.64/7309.66 c | 593903 | 14274 58960 176694 | 531713 478653 45 | 1.991 % |
7309.34/7311.39 c | 594003 | 14274 58960 176694 | 531713 478753 45 | 1.991 % |
7310.94/7312.98 c | 594113 | 14274 58960 176694 | 531713 478863 45 | 1.991 % |
7313.14/7315.18 c | 594236 | 14274 58960 176694 | 531713 478986 45 | 1.991 % |
7315.44/7317.48 c | 594369 | 14274 58960 176694 | 531713 479119 45 | 1.991 % |
7318.44/7320.43 c | 594515 | 14274 58960 176694 | 531713 479265 45 | 1.991 % |
7321.44/7323.49 c | 594675 | 14274 58960 176694 | 531713 479425 45 | 1.991 % |
7325.04/7327.10 c | 594851 | 14274 58960 176694 | 531713 479601 45 | 1.991 % |
7329.34/7331.30 c | 595045 | 14274 58960 176694 | 531713 479795 45 | 1.991 % |
7333.43/7335.44 c | 595258 | 14274 58960 176694 | 531713 480008 45 | 1.991 % |
7337.53/7339.59 c | 595492 | 14274 58960 176694 | 531713 480242 45 | 1.991 % |
7342.53/7344.52 c | 595750 | 14274 58960 176694 | 531713 480500 45 | 1.991 % |
7347.73/7349.79 c | 596033 | 14274 58960 176694 | 531713 480783 45 | 1.991 % |
7352.73/7354.79 c | 596342 | 14274 58960 176694 | 531713 481092 45 | 1.991 % |
7359.23/7361.29 c | 596682 | 14274 58960 176694 | 531713 481432 45 | 1.991 % |
7366.73/7368.70 c | 597055 | 14274 58960 176694 | 531713 481805 45 | 1.991 % |
7375.12/7377.16 c | 597465 | 14274 58960 176694 | 531713 482215 45 | 1.991 % |
7383.52/7385.58 c | 597914 | 14274 58960 176694 | 531713 482664 45 | 1.991 % |
7392.22/7394.20 c | 598407 | 14274 58960 176694 | 531713 483157 45 | 1.991 % |
7403.72/7405.72 c | 598950 | 14274 58960 176694 | 531713 483700 45 | 1.991 % |
7415.52/7417.59 c | 599546 | 14274 58960 176694 | 531713 484296 45 | 1.991 % |
7427.92/7429.99 c | 600202 | 14274 58960 176694 | 2147483647 484952 45 | 1.991 % |
7440.62/7442.68 c | 600922 | 14274 58960 176694 | 2147483647 485672 45 | 1.991 % |
7452.81/7454.80 c | 601714 | 14274 58960 176694 | 2147483647 486464 45 | 1.991 % |
7465.71/7467.77 c | 602586 | 14274 58960 176694 | 2147483647 487336 45 | 1.991 % |
7480.70/7482.79 c | 603544 | 14274 58960 176694 | 2147483647 488294 45 | 1.991 % |
7502.00/7504.07 c | 604597 | 14274 58960 176694 | 2147483647 489347 45 | 1.991 % |
7525.69/7527.78 c | 605755 | 14274 58960 176694 | 2147483647 490505 45 | 1.991 % |
7549.08/7551.15 c | 607029 | 14274 58960 176694 | 2147483647 491779 45 | 1.991 % |
7575.27/7577.36 c | 608429 | 14274 58960 176694 | 2147483647 493179 45 | 1.991 % |
7603.17/7605.22 c | 609969 | 14274 58960 176694 | 2147483647 494719 45 | 1.991 % |
7634.16/7636.25 c | 611663 | 14274 58960 176694 | 494750 496413 45 | 1.991 % |
7666.45/7668.50 c | 613526 | 14274 58960 176694 | 494750 448635 45 | 1.991 % |
7701.54/7703.64 c | 615575 | 14274 58960 176694 | 494750 450684 45 | 1.991 % |
7740.14/7742.23 c | 617831 | 14274 58960 176694 | 494750 452940 45 | 1.991 % |
7772.33/7774.50 c | 620309 | 14274 58960 176694 | 2147483647 455418 45 | 1.991 % |
7820.52/7822.63 c | 623036 | 14274 58960 176694 | 2147483647 458145 45 | 1.991 % |
7874.40/7876.51 c | 626033 | 14274 58960 176694 | 2147483647 461142 45 | 1.991 % |
7931.29/7933.47 c | 629329 | 14274 58960 176694 | 2147483647 464438 45 | 1.991 % |
7991.07/7993.29 c | 632955 | 14274 58960 176694 | 2147483647 468064 45 | 1.991 % |
8055.65/8057.84 c | 636943 | 14274 58960 176694 | 2147483647 472052 45 | 1.991 % |
8128.04/8130.20 c | 641329 | 14274 58960 176694 | 2147483647 476438 45 | 1.991 % |
8216.42/8218.67 c | 646152 | 14274 58960 176694 | 2147483647 481261 45 | 1.991 % |
8293.80/8296.04 c | 651459 | 14274 58960 176694 | 485109 486568 45 | 1.991 % |
8391.58/8393.85 c | 657295 | 14274 58960 176694 | 485109 428500 45 | 1.991 % |
8393.28/8395.58 c | 657396 | 14274 58960 176694 | 485109 428601 45 | 1.991 % |
8395.48/8397.71 c | 657507 | 14274 58960 176694 | 485109 428712 45 | 1.991 % |
8397.58/8399.85 c | 657628 | 14274 58960 176694 | 485109 428833 45 | 1.991 % |
8400.07/8402.31 c | 657762 | 14274 58960 176694 | 485109 428967 45 | 1.991 % |
8402.67/8404.96 c | 657909 | 14274 58960 176694 | 485109 429114 45 | 1.991 % |
8405.27/8407.52 c | 658069 | 14274 58960 176694 | 485109 429274 45 | 1.991 % |
8408.47/8410.74 c | 658245 | 14274 58960 176694 | 485109 429450 45 | 1.991 % |
8411.27/8413.52 c | 658438 | 14274 58960 176694 | 485109 429643 45 | 1.991 % |
8412.97/8415.23 c | 658650 | 14274 58960 176694 | 485109 429855 45 | 1.991 % |
8416.87/8419.19 c | 658884 | 14274 58960 176694 | 485109 430089 45 | 1.991 % |
8419.17/8421.45 c | 659140 | 14274 58960 176694 | 485109 430345 45 | 1.991 % |
8423.77/8426.02 c | 659422 | 14274 58960 176694 | 485109 430627 45 | 1.991 % |
8429.76/8432.02 c | 659731 | 14274 58960 176694 | 485109 430936 45 | 1.991 % |
8435.36/8437.65 c | 660070 | 14274 58960 176694 | 2147483647 431275 45 | 1.991 % |
8443.36/8445.61 c | 660443 | 14274 58960 176694 | 2147483647 431648 45 | 1.991 % |
8450.86/8453.16 c | 660852 | 14274 58960 176694 | 2147483647 432057 45 | 1.991 % |
8459.06/8461.34 c | 661301 | 14274 58960 176694 | 2147483647 432506 45 | 1.991 % |
8467.26/8469.52 c | 661794 | 14274 58960 176694 | 2147483647 432999 45 | 1.991 % |
8475.95/8478.28 c | 662337 | 14274 58960 176694 | 2147483647 433542 45 | 1.991 % |
8485.55/8487.88 c | 662934 | 14274 58960 176694 | 2147483647 434139 45 | 1.991 % |
8495.35/8497.67 c | 663589 | 14274 58960 176694 | 2147483647 434794 45 | 1.991 % |
8508.74/8511.05 c | 664310 | 14274 58960 176694 | 2147483647 435515 45 | 1.991 % |
8521.84/8524.18 c | 665102 | 14274 58960 176694 | 2147483647 436307 45 | 1.991 % |
8536.24/8538.52 c | 665974 | 14274 58960 176694 | 2147483647 437179 45 | 1.991 % |
8553.54/8555.86 c | 666932 | 14274 58960 176694 | 2147483647 438137 45 | 1.991 % |
8571.73/8574.02 c | 667986 | 14274 58960 176694 | 2147483647 439191 45 | 1.991 % |
8591.03/8593.32 c | 669145 | 14274 58960 176694 | 2147483647 440350 45 | 1.991 % |
8613.02/8615.32 c | 670418 | 14274 58960 176694 | 2147483647 441623 45 | 1.991 % |
8630.72/8633.02 c | 671819 | 14274 58960 176694 | 2147483647 443024 45 | 1.991 % |
8657.51/8659.83 c | 673359 | 14274 58960 176694 | 2147483647 444564 45 | 1.991 % |
8686.90/8689.27 c | 675053 | 14274 58960 176694 | 2147483647 446258 45 | 1.991 % |
8719.89/8722.25 c | 676917 | 14274 58960 176694 | 2147483647 448122 45 | 1.991 % |
8755.28/8757.60 c | 678967 | 14274 58960 176694 | 2147483647 450172 45 | 1.991 % |
8793.18/8795.58 c | 681222 | 14274 58960 176694 | 2147483647 452427 45 | 1.991 % |
8831.57/8833.93 c | 683701 | 14274 58960 176694 | 2147483647 454906 45 | 1.991 % |
8872.86/8875.20 c | 686427 | 14274 58960 176694 | 2147483647 457632 46 | 1.991 % |
8901.25/8903.63 c | 689426 | 14274 58960 176694 | 2147483647 460631 46 | 1.991 % |
8952.84/8955.20 c | 692722 | 14274 58960 176694 | 461205 417585 46 | 1.991 % |
9006.43/9008.81 c | 696347 | 14274 58960 176694 | 461205 421210 46 | 1.991 % |
9074.91/9077.36 c | 700335 | 14274 58960 176694 | 2147483647 425198 46 | 1.991 % |
9145.69/9148.13 c | 704721 | 14274 58960 176694 | 2147483647 429584 46 | 1.991 % |
9226.27/9228.78 c | 709545 | 14274 58960 176694 | 2147483647 434408 46 | 1.991 % |
9324.14/9326.60 c | 714851 | 14274 58960 176694 | 2147483647 439714 46 | 1.991 % |
9429.62/9432.11 c | 720686 | 14274 58960 176694 | 2147483647 445549 46 | 1.991 % |
9545.50/9548.06 c | 727104 | 14274 58960 176694 | 2147483647 451967 46 | 1.991 % |
9547.40/9549.91 c | 727204 | 14274 58960 176694 | 2147483647 452067 46 | 1.991 % |
9549.30/9551.83 c | 727314 | 14274 58960 176694 | 2147483647 452177 46 | 1.991 % |
9551.70/9554.29 c | 727436 | 14274 58960 176694 | 2147483647 452299 46 | 1.991 % |
9554.39/9556.97 c | 727569 | 14274 58960 176694 | 2147483647 452432 46 | 1.991 % |
9557.39/9559.94 c | 727716 | 14274 58960 176694 | 2147483647 452579 46 | 1.991 % |
9559.80/9562.35 c | 727876 | 14274 58960 176694 | 2147483647 452739 46 | 1.991 % |
9562.89/9565.42 c | 728052 | 14274 58960 176694 | 2147483647 452915 46 | 1.991 % |
9566.59/9569.15 c | 728245 | 14274 58960 176694 | 2147483647 453108 46 | 1.991 % |
9570.69/9573.22 c | 728458 | 14274 58960 176694 | 2147483647 453321 46 | 1.991 % |
9574.59/9577.18 c | 728691 | 14274 58960 176694 | 2147483647 453554 46 | 1.991 % |
9579.59/9582.18 c | 728948 | 14274 58960 176694 | 2147483647 453811 46 | 1.991 % |
9585.09/9587.69 c | 729229 | 14274 58960 176694 | 2147483647 454092 46 | 1.991 % |
9590.59/9593.15 c | 729538 | 14274 58960 176694 | 2147483647 454401 46 | 1.991 % |
9598.19/9600.78 c | 729878 | 14274 58960 176694 | 2147483647 454741 46 | 1.991 % |
9605.18/9607.76 c | 730251 | 14274 58960 176694 | 2147483647 455114 46 | 1.991 % |
9612.68/9615.26 c | 730660 | 14274 58960 176694 | 2147483647 455523 46 | 1.991 % |
9620.67/9623.24 c | 731109 | 14274 58960 176694 | 2147483647 455972 46 | 1.991 % |
9629.57/9632.18 c | 731603 | 14274 58960 176694 | 2147483647 456466 46 | 1.991 % |
9639.07/9641.66 c | 732145 | 14274 58960 176694 | 2147483647 457008 46 | 1.991 % |
9650.57/9653.17 c | 732742 | 14274 58960 176694 | 2147483647 457605 46 | 1.991 % |
9663.17/9665.76 c | 733397 | 14274 58960 176694 | 2147483647 458260 46 | 1.991 % |
9676.56/9679.18 c | 734117 | 14274 58960 176694 | 2147483647 458980 46 | 1.991 % |
9691.06/9693.69 c | 734910 | 14274 58960 176694 | 2147483647 459773 46 | 1.991 % |
9707.55/9710.10 c | 735781 | 14274 58960 176694 | 2147483647 460644 46 | 1.991 % |
9726.34/9728.90 c | 736739 | 14274 58960 176694 | 2147483647 461602 46 | 1.991 % |
9744.44/9747.01 c | 737793 | 14274 58960 176694 | 2147483647 462656 46 | 1.991 % |
9763.24/9765.89 c | 738952 | 14274 58960 176694 | 2147483647 463815 46 | 1.991 % |
9786.43/9789.09 c | 740226 | 14274 58960 176694 | 2147483647 465089 46 | 1.991 % |
9810.42/9813.04 c | 741628 | 14274 58960 176694 | 2147483647 466491 46 | 1.991 % |
9842.32/9844.95 c | 743168 | 14274 58960 176694 | 2147483647 468031 46 | 1.991 % |
9871.60/9874.24 c | 744862 | 14274 58960 176694 | 2147483647 469725 46 | 1.991 % |
9901.10/9903.79 c | 746726 | 14274 58960 176694 | 2147483647 471589 46 | 1.991 % |
9936.28/9938.93 c | 748775 | 14274 58960 176694 | 2147483647 473638 46 | 1.991 % |
9968.58/9971.29 c | 751029 | 14274 58960 176694 | 2147483647 475892 46 | 1.991 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837336-1242867571/watcher-1837336-1242867571 -o /tmp/evaluation-result-1837336-1242867571/solver-1837336-1242867571 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837336-1242867571.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.85 0.97 0.94 3/64 23094
/proc/meminfo: memFree=1497696/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=0
/proc/23094/stat : 23094 (SatELiteGTI) R 23092 23094 23057 0 -1 4194304 268 0 0 0 0 0 0 0 19 0 1 0 314790683 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 272467815071 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/23094/statm: 1339 235 195 169 0 50 0
[pid=23095] ppid=23094 vsize=5356 CPUtime=0
/proc/23095/stat : 23095 (SatELiteGTI) R 23094 23094 23057 0 -1 4194368 36 0 0 0 0 0 0 0 19 0 1 0 314790683 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 272467815071 0 65538 4096 65538 0 0 0 17 0 0 0
/proc/23095/statm: 1339 238 198 169 0 50 0
[pid=23096] ppid=23095 vsize=0 CPUtime=0
/proc/23096/stat : 23096 (SatELiteGTI) Z 23095 23094 23057 0 -1 4194380 25 0 0 0 0 0 0 0 19 0 1 0 314790683 0 0 1992294400 0 0 0 0 0 0 0 4096 65538 18446744071563351923 0 0 17 0 0 0
/proc/23096/statm: 0 0 0 0 0 0 0
[pid=23097] ppid=23095 vsize=5356 CPUtime=0
/proc/23097/stat : 23097 (SatELiteGTI) R 23095 23094 23057 0 -1 4194368 14 0 0 0 0 0 0 0 19 0 1 0 314790684 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 272467661533 0 0 4096 65538 0 0 0 17 0 0 0
/proc/23097/statm: 1339 238 198 169 0 50 0
[startup+0.0239851 s]
/proc/loadavg: 0.85 0.97 0.94 3/64 23094
/proc/meminfo: memFree=1497696/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=0
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 314790683 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23094/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101989 s]
/proc/loadavg: 0.85 0.97 0.94 3/64 23094
/proc/meminfo: memFree=1497696/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=0
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 314790683 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23094/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302002 s]
/proc/loadavg: 0.85 0.97 0.94 3/64 23094
/proc/meminfo: memFree=1497696/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=0
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 314790683 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23094/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701028 s]
/proc/loadavg: 0.85 0.97 0.94 3/64 23094
/proc/meminfo: memFree=1497696/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=0
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 314790683 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23094/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50109 s]
/proc/loadavg: 0.85 0.97 0.94 2/66 23099
/proc/meminfo: memFree=1479248/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 5356
[startup+3.10118 s]
/proc/loadavg: 0.85 0.97 0.94 2/66 23100
/proc/meminfo: memFree=1487184/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=6108 CPUtime=1.62
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 1377 0 0 0 162 0 0 0 25 0 1 0 314790830 6254592 1363 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 1527 1363 76 171 0 1354 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11464
[startup+6.30139 s]
/proc/loadavg: 0.86 0.97 0.94 2/66 23100
/proc/meminfo: memFree=1486672/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=6372 CPUtime=4.81
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 1426 0 0 0 481 0 0 0 25 0 1 0 314790830 6524928 1412 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 1593 1412 76 171 0 1420 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11728
[startup+12.7018 s]
/proc/loadavg: 0.87 0.97 0.94 2/66 23100
/proc/meminfo: memFree=1486488/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=6640 CPUtime=11.22
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 1512 0 0 0 1121 1 0 0 25 0 1 0 314790830 6799360 1498 1992294400 134512640 135215339 4294956240 18446744073709551615 134532956 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 1660 1498 76 171 0 1487 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 11996
[startup+25.5016 s]
/proc/loadavg: 0.90 0.97 0.94 2/66 23100
/proc/meminfo: memFree=1485912/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=7304 CPUtime=24.01
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 1667 0 0 0 2400 1 0 0 25 0 1 0 314790830 7479296 1653 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 1826 1653 76 171 0 1653 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 12660
[startup+51.1013 s]
/proc/loadavg: 0.93 0.97 0.94 2/66 23100
/proc/meminfo: memFree=1484760/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=8360 CPUtime=49.61
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 1942 0 0 0 4959 2 0 0 25 0 1 0 314790830 8560640 1928 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 2090 1928 76 171 0 1917 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 13716
[startup+102.307 s]
/proc/loadavg: 0.97 0.97 0.94 2/66 23106
/proc/meminfo: memFree=1482264/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=10800 CPUtime=100.8
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 2555 0 0 0 10076 4 0 0 25 0 1 0 314790830 11059200 2541 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 2700 2541 76 171 0 2527 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 16156
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 23106
/proc/meminfo: memFree=1478808/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=14336 CPUtime=160.77
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 3420 0 0 0 16072 5 0 0 25 0 1 0 314790830 14680064 3406 1992294400 134512640 135215339 4294956240 18446744073709551615 134539397 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 3584 3406 76 171 0 3411 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 19692
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 23106
/proc/meminfo: memFree=1476440/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=16684 CPUtime=220.74
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 3999 0 0 0 22069 5 0 0 25 0 1 0 314790830 17084416 3985 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 4171 3985 76 171 0 3998 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 22040
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 23106
/proc/meminfo: memFree=1473752/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=19260 CPUtime=280.73
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 4660 0 0 0 28067 6 0 0 25 0 1 0 314790830 19722240 4646 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 4815 4646 76 171 0 4642 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 24616
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 23106
/proc/meminfo: memFree=1471704/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=21376 CPUtime=340.72
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 5150 0 0 0 34064 8 0 0 25 0 1 0 314790830 21889024 5136 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 5344 5136 76 171 0 5171 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 26732
[startup+402.301 s]
/proc/loadavg: 1.03 0.99 0.94 2/66 23106
/proc/meminfo: memFree=1469656/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=23428 CPUtime=400.7
################
# More data... #
################
/proc/23100/statm: 32332 31398 76 171 0 32159 0
Current children cumulated CPU time (s) 9399.83
Current children cumulated vsize (KiB) 134684
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 23598
/proc/meminfo: memFree=1364504/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=129328 CPUtime=9458.37
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 31412 0 0 0 945777 60 0 0 25 0 1 0 314790830 132431872 31398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 32332 31398 76 171 0 32159 0
Current children cumulated CPU time (s) 9459.82
Current children cumulated vsize (KiB) 134684
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 23598
/proc/meminfo: memFree=1364504/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=129328 CPUtime=9518.35
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 31412 0 0 0 951775 60 0 0 25 0 1 0 314790830 132431872 31398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528930 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 32332 31398 76 171 0 32159 0
Current children cumulated CPU time (s) 9519.8
Current children cumulated vsize (KiB) 134684
[startup+9582.3 s]
/proc/loadavg: 1.11 1.03 1.00 2/66 23598
/proc/meminfo: memFree=1364504/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=129328 CPUtime=9578.34
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 31412 0 0 0 957774 60 0 0 25 0 1 0 314790830 132431872 31398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 32332 31398 76 171 0 32159 0
Current children cumulated CPU time (s) 9579.79
Current children cumulated vsize (KiB) 134684
[startup+9642.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/66 23598
/proc/meminfo: memFree=1364504/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=129328 CPUtime=9638.32
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 31413 0 0 0 963772 60 0 0 25 0 1 0 314790830 132431872 31399 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 32332 31399 76 171 0 32159 0
Current children cumulated CPU time (s) 9639.77
Current children cumulated vsize (KiB) 134684
[startup+9702.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 23600
/proc/meminfo: memFree=1364312/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=129408 CPUtime=9698.3
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 31421 0 0 0 969770 60 0 0 25 0 1 0 314790830 132513792 31407 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 32352 31407 76 171 0 32179 0
Current children cumulated CPU time (s) 9699.75
Current children cumulated vsize (KiB) 134764
[startup+9762.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 23600
/proc/meminfo: memFree=1364248/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=129408 CPUtime=9758.29
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 31426 0 0 0 975769 60 0 0 25 0 1 0 314790830 132513792 31412 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 32352 31412 76 171 0 32179 0
Current children cumulated CPU time (s) 9759.74
Current children cumulated vsize (KiB) 134764
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23600
/proc/meminfo: memFree=1364376/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=129408 CPUtime=9818.27
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 31430 0 0 0 981767 60 0 0 25 0 1 0 314790830 132513792 31416 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 32352 31416 76 171 0 32179 0
Current children cumulated CPU time (s) 9819.72
Current children cumulated vsize (KiB) 134764
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23600
/proc/meminfo: memFree=1364312/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=129408 CPUtime=9878.26
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 31430 0 0 0 987766 60 0 0 25 0 1 0 314790830 132513792 31416 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 32352 31416 76 171 0 32179 0
Current children cumulated CPU time (s) 9879.71
Current children cumulated vsize (KiB) 134764
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23600
/proc/meminfo: memFree=1364376/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=129408 CPUtime=9938.23
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 31431 0 0 0 993763 60 0 0 25 0 1 0 314790830 132513792 31417 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 32352 31417 76 171 0 32179 0
Current children cumulated CPU time (s) 9939.68
Current children cumulated vsize (KiB) 134764
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23600
/proc/meminfo: memFree=1364312/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=129488 CPUtime=9998.23
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 31439 0 0 0 999762 61 0 0 25 0 1 0 314790830 132595712 31425 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 32372 31425 76 171 0 32199 0
Current children cumulated CPU time (s) 9999.68
Current children cumulated vsize (KiB) 134844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23600
/proc/meminfo: memFree=1364312/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=129488 CPUtime=9998.63
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 31439 0 0 0 999802 61 0 0 25 0 1 0 314790830 132595712 31425 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 32372 31425 76 171 0 32199 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 134844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10002.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23600
/proc/meminfo: memFree=1364312/2055920 swapFree=4179964/4192956
[pid=23094] ppid=23092 vsize=5356 CPUtime=1.45
/proc/23094/stat : 23094 (SatELiteGTI) S 23092 23094 23057 0 -1 4194304 336 4175 0 0 0 0 141 4 16 0 1 0 314790683 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23094/statm: 1339 239 197 169 0 50 0
[pid=23100] ppid=23094 vsize=129488 CPUtime=9998.63
/proc/23100/stat : 23100 (minisat_static) R 23094 23094 23057 0 -1 4194304 31439 0 0 0 999802 61 0 0 25 0 1 0 314790830 132595712 31425 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23100/statm: 32372 31425 76 171 0 32199 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 134844
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23094 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=413785
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=51992
# CPU time returned by wait4() is 1.46578
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10002.7
CPU time (s): 10000.1
CPU user time (s): 9999.43
CPU system time (s): 0.65
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 134844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.41378
system time used= 0.051992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 11
runsolver used 11.6652 second user time and 24.8162 second system time
The end
Begin job on node22 at 2009-05-21 02:59:31
IDJOB=1837336
IDBENCH=70865
IDSOLVER=674
FILE ID=node22/1837336-1242867571
PBS_JOBID= 9328583
Free space on /tmp= 66184 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-33-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837336-1242867571/watcher-1837336-1242867571 -o /tmp/evaluation-result-1837336-1242867571/solver-1837336-1242867571 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837336-1242867571.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= abeb2c5a0bb0ad39fbdbdbc07efbecf7
RANDOM SEED=1258171709
node22.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.232
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.232
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: 1498184 kB
Buffers: 62504 kB
Cached: 437180 kB
SwapCached: 7936 kB
Active: 196636 kB
Inactive: 313080 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1498184 kB
SwapTotal: 4192956 kB
SwapFree: 4179964 kB
Dirty: 3392 kB
Writeback: 0 kB
Mapped: 14448 kB
Slab: 34128 kB
Committed_AS: 1160848 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= 66180 MiB
End job on node22 at 2009-05-21 05:46:16