0.00/0.00 c Parsing...
3.11/3.20 c ==============================================================================
3.11/3.20 c | | ORIGINAL | LEARNT | |
3.11/3.20 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
3.11/3.20 c ==============================================================================
3.11/3.20 c | 0 | 3634676 10547960 | 1090402 0 0 nan | 0.000 % |
53.71/53.78 c | 0 | 3532144 10927904 | -- 0 -- -- | -- | -102383/383223
53.71/53.79 c ==============================================================================
53.71/53.79 c Result : #vars: 168000 #clauses: 3532144 #literals: 10927904
53.71/53.79 c CPU time: 53.1 s
53.71/53.79 c ==============================================================================
57.48/57.54 c This is MiniSat 2.0 beta
57.48/57.54 c WARNING: for repeatability, setting FPU to use double precision
57.48/57.54 c ============================[ Problem Statistics ]=============================
57.48/57.54 c | |
57.48/57.54 c | Number of variables: 168000 |
57.48/57.54 c | Number of clauses: 3532144 |
59.68/59.76 c | Parsing time: 1.98 s |
59.88/59.91 c ============================[ Search Statistics ]==============================
59.88/59.91 c | Conflicts | ORIGINAL | LEARNT | Progress |
59.88/59.91 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
59.88/59.91 c ===============================================================================
59.88/59.91 c | 0 | 168000 3532144 10927904 | 1177381 0 nan | 0.000 % |
60.18/60.22 c | 114 | 168000 3532144 10927904 | 1177381 114 76 | 0.000 % |
60.48/60.53 c | 218 | 168000 3532144 10927904 | 1177381 218 69 | 0.000 % |
60.68/60.72 c | 318 | 168000 3532144 10927904 | 1177381 318 55 | 0.000 % |
61.08/61.17 c | 428 | 168000 3532144 10927904 | 1177381 428 49 | 0.000 % |
61.48/61.55 c | 528 | 168000 3532144 10927904 | 1177381 528 48 | 0.000 % |
61.98/62.02 c | 638 | 168000 3532144 10927904 | 1177381 638 45 | 0.000 % |
62.38/62.42 c | 760 | 168000 3532144 10927904 | 1177381 760 49 | 0.000 % |
62.48/62.54 c | 860 | 168000 3532144 10927904 | 1177381 860 49 | 0.000 % |
62.68/62.75 c | 970 | 168000 3532144 10927904 | 1177381 970 46 | 0.000 % |
62.78/62.85 c | 1092 | 168000 3532144 10927904 | 1177381 1092 45 | 0.000 % |
63.48/63.61 c | 1226 | 168000 3532144 10927904 | 1177381 1226 45 | 0.000 % |
63.78/63.86 c | 1327 | 168000 3532144 10927904 | 1177381 1327 47 | 0.000 % |
63.88/63.99 c | 1439 | 168000 3532144 10927904 | 1177381 1439 46 | 0.000 % |
63.98/64.09 c | 1562 | 168000 3532144 10927904 | 1177381 1562 45 | 0.000 % |
64.38/64.48 c | 1699 | 168000 3532144 10927904 | 1177381 1699 44 | 0.000 % |
64.68/64.73 c | 1847 | 168000 3532144 10927904 | 1177381 1847 45 | 0.000 % |
65.08/65.13 c | 1948 | 168000 3532144 10927904 | 1177381 1948 47 | 0.000 % |
65.18/65.28 c | 2059 | 168000 3532144 10927904 | 1177381 2059 47 | 0.000 % |
65.88/65.93 c | 2181 | 168000 3532144 10927904 | 1177381 2181 46 | 0.000 % |
65.98/66.04 c | 2314 | 168000 3532144 10927904 | 1177381 2314 45 | 0.000 % |
66.08/66.13 c | 2461 | 168000 3532144 10927904 | 1177381 2461 44 | 0.000 % |
66.18/66.27 c | 2621 | 168000 3532144 10927904 | 1177381 2621 45 | 0.000 % |
66.38/66.47 c | 2723 | 168000 3532144 10927904 | 1177381 2723 45 | 0.000 % |
66.68/66.73 c | 2833 | 168000 3532144 10927904 | 1177381 2833 47 | 0.000 % |
66.78/66.91 c | 2956 | 168000 3532144 10927904 | 1177381 2956 47 | 0.000 % |
66.98/67.06 c | 3089 | 168000 3532144 10927904 | 1177381 3089 47 | 0.000 % |
67.28/67.32 c | 3235 | 168000 3532144 10927904 | 1177381 3235 46 | 0.000 % |
67.78/67.83 c | 3397 | 168000 3532144 10927904 | 1177381 3397 46 | 0.000 % |
68.28/68.39 c | 3574 | 168000 3532144 10927904 | 1177381 3574 45 | 0.000 % |
68.48/68.60 c | 3676 | 168000 3532144 10927904 | 1177381 3676 45 | 0.000 % |
68.68/68.81 c | 3786 | 168000 3532144 10927904 | 1177381 3786 44 | 0.000 % |
68.88/69.00 c | 3907 | 168000 3532144 10927904 | 1177381 3907 46 | 0.000 % |
69.08/69.14 c | 4044 | 168000 3532144 10927904 | 1177381 4044 46 | 0.000 % |
69.48/69.52 c | 4190 | 168000 3532144 10927904 | 1177381 4190 46 | 0.000 % |
69.58/69.65 c | 4353 | 168000 3532144 10927904 | 1177381 4353 45 | 0.000 % |
69.78/69.88 c | 4532 | 168000 3532144 10927904 | 1177381 4532 45 | 0.000 % |
70.38/70.48 c | 4727 | 168000 3532144 10927904 | 1177381 4727 46 | 0.000 % |
70.58/70.62 c | 4833 | 168000 3532144 10927904 | 1177381 4833 47 | 0.000 % |
70.68/70.71 c | 4944 | 168000 3532144 10927904 | 1177381 4944 47 | 0.000 % |
70.78/70.86 c | 5065 | 168000 3532144 10927904 | 1177381 5065 46 | 0.000 % |
71.18/71.22 c | 5199 | 168000 3532144 10927904 | 1177381 5199 46 | 0.000 % |
71.28/71.34 c | 5348 | 168000 3532144 10927904 | 1177381 5348 46 | 0.000 % |
71.49/71.53 c | 5509 | 168000 3532144 10927904 | 1177381 5509 47 | 0.000 % |
71.68/71.80 c | 5685 | 168000 3532144 10927904 | 1177381 5685 46 | 0.000 % |
72.08/72.18 c | 5878 | 168000 3532144 10927904 | 1177381 5878 46 | 0.000 % |
72.28/72.36 c | 6090 | 168000 3532144 10927904 | 1177381 6090 47 | 0.000 % |
72.59/72.68 c | 6190 | 168000 3532144 10927904 | 1177381 6190 47 | 0.000 % |
72.78/72.88 c | 6301 | 168000 3532144 10927904 | 1177381 6301 47 | 0.000 % |
72.98/73.07 c | 6422 | 168000 3532144 10927904 | 1177381 6422 47 | 0.000 % |
73.08/73.17 c | 6555 | 168000 3532144 10927904 | 1177381 6555 47 | 0.000 % |
73.78/73.82 c | 6701 | 168000 3532144 10927904 | 1177381 6701 47 | 0.000 % |
73.98/74.02 c | 6861 | 168000 3532144 10927904 | 1177381 6861 47 | 0.000 % |
74.08/74.14 c | 7037 | 168000 3532144 10927904 | 1177381 7037 47 | 0.000 % |
74.58/74.66 c | 7232 | 168000 3532144 10927904 | 1177381 7232 47 | 0.000 % |
74.88/74.91 c | 7445 | 168000 3532144 10927904 | 1177381 7445 47 | 0.000 % |
75.28/75.37 c | 7678 | 168000 3532144 10927904 | 1177381 7678 46 | 0.000 % |
75.48/75.55 c | 7779 | 168000 3532144 10927904 | 1177381 7779 46 | 0.000 % |
75.98/76.06 c | 7891 | 168000 3532144 10927904 | 1177381 7891 46 | 0.000 % |
76.08/76.16 c | 8015 | 168000 3532144 10927904 | 1177381 8015 47 | 0.000 % |
76.38/76.43 c | 8148 | 168000 3532144 10927904 | 1177381 8148 47 | 0.000 % |
76.38/76.47 c | 8294 | 168000 3532144 10927904 | 1177381 8294 47 | 0.000 % |
76.68/76.79 c | 8454 | 168000 3532144 10927904 | 1177381 8454 47 | 0.000 % |
77.08/77.19 c | 8630 | 168000 3532144 10927904 | 1177381 8630 48 | 0.000 % |
77.38/77.47 c | 8823 | 168000 3532144 10927904 | 1177381 8823 48 | 0.000 % |
77.68/77.74 c | 9037 | 168000 3532144 10927904 | 1177381 9037 49 | 0.000 % |
77.88/77.95 c | 9273 | 168000 3532144 10927904 | 1177381 9273 48 | 0.000 % |
78.28/78.41 c | 9530 | 168000 3532144 10927904 | 1177381 9530 48 | 0.000 % |
78.68/78.79 c | 9631 | 168000 3532144 10927904 | 1177381 9631 48 | 0.000 % |
78.98/79.10 c | 9741 | 168000 3532144 10927904 | 1177381 9741 48 | 0.000 % |
79.28/79.41 c | 9863 | 168000 3532144 10927904 | 1177381 9863 48 | 0.000 % |
79.58/79.69 c | 9996 | 168000 3532144 10927904 | 1177381 9996 48 | 0.000 % |
80.48/80.54 c | 10142 | 168000 3532144 10927904 | 2147483647 10142 47 | 0.000 % |
80.68/80.80 c | 10302 | 168000 3532144 10927904 | 2147483647 10302 47 | 0.000 % |
80.98/81.09 c | 10478 | 168000 3532144 10927904 | 2147483647 10478 47 | 0.000 % |
81.48/81.53 c | 10677 | 168000 3532144 10927904 | 2147483647 10677 47 | 0.000 % |
81.68/81.75 c | 10891 | 168000 3532144 10927904 | 2147483647 10891 47 | 0.000 % |
82.08/82.15 c | 11125 | 168000 3532144 10927904 | 2147483647 11125 48 | 0.000 % |
82.38/82.43 c | 11384 | 168000 3532144 10927904 | 2147483647 11384 49 | 0.000 % |
82.78/82.83 c | 11665 | 168000 3532144 10927904 | 2147483647 11665 49 | 0.000 % |
82.98/83.07 c | 11767 | 168000 3532144 10927904 | 2147483647 11767 49 | 0.000 % |
83.08/83.19 c | 11880 | 168000 3532144 10927904 | 2147483647 11880 50 | 0.000 % |
83.38/83.44 c | 12003 | 168000 3532144 10927904 | 2147483647 12003 50 | 0.000 % |
83.78/83.86 c | 12136 | 168000 3532144 10927904 | 2147483647 12136 50 | 0.000 % |
83.98/84.02 c | 12286 | 168000 3532144 10927904 | 2147483647 12286 50 | 0.000 % |
84.08/84.21 c | 12447 | 168000 3532144 10927904 | 2147483647 12447 49 | 0.000 % |
84.28/84.34 c | 12625 | 168000 3532144 10927904 | 2147483647 12625 50 | 0.000 % |
84.48/84.52 c | 12818 | 168000 3532144 10927904 | 2147483647 12818 50 | 0.000 % |
84.69/84.73 c | 13030 | 168000 3532144 10927904 | 2147483647 13030 49 | 0.000 % |
84.98/85.07 c | 13266 | 168000 3532144 10927904 | 2147483647 13266 49 | 0.000 % |
85.28/85.35 c | 13522 | 168000 3532144 10927904 | 2147483647 13522 49 | 0.000 % |
85.58/85.64 c | 13803 | 168000 3532144 10927904 | 2147483647 13803 49 | 0.000 % |
85.79/85.86 c | 14112 | 168000 3532144 10927904 | 2147483647 14112 49 | 0.000 % |
85.98/86.08 c | 14212 | 168000 3532144 10927904 | 2147483647 14212 48 | 0.000 % |
86.18/86.24 c | 14322 | 168000 3532144 10927904 | 2147483647 14322 48 | 0.000 % |
86.28/86.34 c | 14443 | 168000 3532144 10927904 | 2147483647 14443 48 | 0.000 % |
86.38/86.46 c | 14576 | 168000 3532144 10927904 | 2147483647 14576 48 | 0.000 % |
86.58/86.67 c | 14722 | 168000 3532144 10927904 | 2147483647 14722 48 | 0.000 % |
86.78/86.87 c | 14882 | 168000 3532144 10927904 | 2147483647 14882 48 | 0.000 % |
86.98/87.01 c | 15059 | 168000 3532144 10927904 | 2147483647 15059 48 | 0.000 % |
87.68/87.71 c | 15252 | 168000 3532144 10927904 | 2147483647 15252 48 | 0.000 % |
87.88/88.02 c | 15466 | 168000 3532144 10927904 | 2147483647 15466 48 | 0.000 % |
88.28/88.33 c | 15701 | 168000 3532144 10927904 | 2147483647 15701 48 | 0.000 % |
88.48/88.52 c | 15957 | 168000 3532144 10927904 | 2147483647 15957 48 | 0.000 % |
89.09/89.16 c | 16238 | 168000 3532144 10927904 | 2147483647 16238 48 | 0.000 % |
89.58/89.66 c | 16548 | 168000 3532144 10927904 | 2147483647 16548 48 | 0.000 % |
90.28/90.37 c | 16888 | 168000 3532144 10927904 | 2147483647 16888 48 | 0.000 % |
90.38/90.44 c | 16989 | 168000 3532144 10927904 | 2147483647 16989 48 | 0.000 % |
90.48/90.60 c | 17100 | 168000 3532144 10927904 | 2147483647 17100 48 | 0.000 % |
90.88/90.96 c | 17223 | 168000 3532144 10927904 | 2147483647 17223 48 | 0.000 % |
91.08/91.15 c | 17357 | 168000 3532144 10927904 | 2147483647 17357 48 | 0.000 % |
91.29/91.33 c | 17506 | 168000 3532144 10927904 | 2147483647 17506 48 | 0.000 % |
91.68/91.78 c | 17668 | 168000 3532144 10927904 | 2147483647 17668 48 | 0.000 % |
91.88/91.97 c | 17844 | 168000 3532144 10927904 | 2147483647 17844 48 | 0.000 % |
92.08/92.13 c | 18037 | 168000 3532144 10927904 | 2147483647 18037 48 | 0.000 % |
92.39/92.46 c | 18250 | 168000 3532144 10927904 | 2147483647 18250 47 | 0.000 % |
92.58/92.68 c | 18485 | 168000 3532144 10927904 | 2147483647 18485 47 | 0.000 % |
92.88/92.95 c | 18743 | 168000 3532144 10927904 | 2147483647 18743 47 | 0.000 % |
92.98/93.09 c | 19025 | 168000 3532144 10927904 | 2147483647 19025 47 | 0.000 % |
93.38/93.43 c | 19336 | 168000 3532144 10927904 | 2147483647 19336 47 | 0.000 % |
93.78/93.85 c | 19677 | 168000 3532144 10927904 | 2147483647 19677 47 | 0.000 % |
93.98/94.10 c | 20050 | 168000 3532144 10927904 | 2147483647 20050 47 | 0.000 % |
94.28/94.32 c | 20150 | 168000 3532144 10927904 | 2147483647 20150 47 | 0.000 % |
94.38/94.42 c | 20262 | 168000 3532144 10927904 | 2147483647 20262 47 | 0.000 % |
94.48/94.59 c | 20383 | 168000 3532144 10927904 | 2147483647 20383 47 | 0.000 % |
94.68/94.73 c | 20518 | 168000 3532144 10927904 | 2147483647 20518 47 | 0.000 % |
94.88/94.97 c | 20665 | 168000 3532144 10927904 | 2147483647 20665 47 | 0.000 % |
95.08/95.11 c | 20825 | 168000 3532144 10927904 | 2147483647 20825 47 | 0.000 % |
95.18/95.27 c | 21002 | 168000 3532144 10927904 | 2147483647 21002 46 | 0.000 % |
95.38/95.48 c | 21195 | 168000 3532144 10927904 | 2147483647 21195 47 | 0.000 % |
95.58/95.69 c | 21408 | 168000 3532144 10927904 | 2147483647 21408 46 | 0.000 % |
95.88/95.97 c | 21641 | 168000 3532144 10927904 | 2147483647 21641 46 | 0.000 % |
96.08/96.18 c | 21897 | 168000 3532144 10927904 | 2147483647 21897 46 | 0.000 % |
96.28/96.39 c | 22179 | 168000 3532144 10927904 | 2147483647 22179 46 | 0.000 % |
96.58/96.64 c | 22488 | 168000 3532144 10927904 | 2147483647 22488 46 | 0.000 % |
96.88/96.92 c | 22829 | 168000 3532144 10927904 | 2147483647 22829 46 | 0.000 % |
97.18/97.24 c | 23201 | 168000 3532144 10927904 | 2147483647 23201 46 | 0.000 % |
97.48/97.55 c | 23610 | 168000 3532144 10927904 | 2147483647 23610 45 | 0.000 % |
97.68/97.74 c | 23710 | 168000 3532144 10927904 | 2147483647 23710 45 | 0.000 % |
97.89/97.94 c | 23822 | 168000 3532144 10927904 | 2147483647 23822 45 | 0.000 % |
97.98/98.08 c | 23946 | 168000 3532144 10927904 | 2147483647 23946 45 | 0.000 % |
98.18/98.25 c | 24079 | 168000 3532144 10927904 | 2147483647 24079 45 | 0.000 % |
98.38/98.43 c | 24227 | 168000 3532144 10927904 | 2147483647 24227 45 | 0.000 % |
98.58/98.62 c | 24388 | 168000 3532144 10927904 | 2147483647 24388 45 | 0.000 % |
98.78/98.82 c | 24565 | 168000 3532144 10927904 | 2147483647 24565 45 | 0.000 % |
99.08/99.11 c | 24759 | 168000 3532144 10927904 | 2147483647 24759 45 | 0.000 % |
99.38/99.45 c | 24971 | 168000 3532144 10927904 | 2147483647 24971 46 | 0.000 % |
99.77/99.87 c | 25204 | 168000 3532144 10927904 | 2147483647 25204 45 | 0.000 % |
100.08/100.16 c | 25460 | 168000 3532144 10927904 | 2147483647 25460 46 | 0.000 % |
100.47/100.54 c | 25743 | 168000 3532144 10927904 | 2147483647 25743 46 | 0.000 % |
100.67/100.76 c | 26054 | 168000 3532144 10927904 | 2147483647 26054 46 | 0.000 % |
101.18/101.28 c | 26395 | 168000 3532144 10927904 | 2147483647 26395 45 | 0.000 % |
101.87/101.91 c | 26768 | 168000 3532144 10927904 | 2147483647 26768 46 | 0.000 % |
102.47/102.53 c | 27178 | 168000 3532144 10927904 | 2147483647 27178 46 | 0.000 % |
103.07/103.10 c | 27628 | 168000 3532144 10927904 | 2147483647 27628 46 | 0.000 % |
103.07/103.17 c | 27729 | 168000 3532144 10927904 | 2147483647 27729 46 | 0.000 % |
103.38/103.41 c | 27839 | 168000 3532144 10927904 | 2147483647 27839 46 | 0.000 % |
103.67/103.73 c | 27960 | 168000 3532144 10927904 | 2147483647 27960 47 | 0.000 % |
103.87/103.90 c | 28094 | 168000 3532144 10927904 | 2147483647 28094 47 | 0.000 % |
104.07/104.12 c | 28241 | 168000 3532144 10927904 | 2147483647 28241 47 | 0.000 % |
104.27/104.37 c | 28402 | 168000 3532144 10927904 | 2147483647 28402 47 | 0.000 % |
104.48/104.56 c | 28578 | 168000 3532144 10927904 | 2147483647 28578 46 | 0.000 % |
104.57/104.70 c | 28772 | 168000 3532144 10927904 | 2147483647 28772 46 | 0.000 % |
104.77/104.86 c | 28985 | 168000 3532144 10927904 | 2147483647 28985 46 | 0.000 % |
104.97/105.10 c | 29220 | 168000 3532144 10927904 | 2147483647 29220 46 | 0.000 % |
105.27/105.30 c | 29476 | 168000 3532144 10927904 | 2147483647 29476 46 | 0.000 % |
105.47/105.52 c | 29757 | 168000 3532144 10927904 | 2147483647 29757 46 | 0.000 % |
105.67/105.73 c | 30067 | 168000 3532144 10927904 | 2147483647 30067 45 | 0.000 % |
105.87/105.98 c | 30407 | 168000 3532144 10927904 | 2147483647 30407 45 | 0.000 % |
106.17/106.21 c | 30781 | 168000 3532144 10927904 | 2147483647 30781 45 | 0.000 % |
106.47/106.52 c | 31190 | 168000 3532144 10927904 | 2147483647 31190 45 | 0.000 % |
106.77/106.80 c | 31641 | 168000 3532144 10927904 | 2147483647 31641 44 | 0.000 % |
107.07/107.11 c | 32134 | 168000 3532144 10927904 | 2147483647 32134 44 | 0.000 % |
107.17/107.22 c | 32234 | 168000 3532144 10927904 | 2147483647 32234 44 | 0.000 % |
107.27/107.32 c | 32344 | 168000 3532144 10927904 | 2147483647 32344 44 | 0.000 % |
107.37/107.44 c | 32465 | 168000 3532144 10927904 | 2147483647 32465 44 | 0.000 % |
107.47/107.55 c | 32598 | 168000 3532144 10927904 | 2147483647 32598 44 | 0.000 % |
107.57/107.69 c | 32745 | 168000 3532144 10927904 | 2147483647 32745 43 | 0.000 % |
107.78/107.84 c | 32906 | 168000 3532144 10927904 | 2147483647 32906 43 | 0.000 % |
108.07/108.13 c | 33082 | 168000 3532144 10927904 | 2147483647 33082 43 | 0.000 % |
108.57/108.61 c | 33276 | 168000 3532144 10927904 | 2147483647 33276 43 | 0.000 % |
108.77/108.89 c | 33489 | 168000 3532144 10927904 | 2147483647 33489 43 | 0.000 % |
109.47/109.59 c | 33722 | 168000 3532144 10927904 | 2147483647 33722 43 | 0.000 % |
109.87/109.98 c | 33978 | 168000 3532144 10927904 | 2147483647 33978 43 | 0.000 % |
110.47/110.51 c | 34259 | 168000 3532144 10927904 | 2147483647 34259 43 | 0.000 % |
111.27/111.36 c | 34568 | 168000 3532144 10927904 | 2147483647 34568 44 | 0.000 % |
112.18/112.28 c | 34908 | 168000 3532144 10927904 | 2147483647 34908 44 | 0.000 % |
112.47/112.58 c | 35281 | 168000 3532144 10927904 | 2147483647 35281 44 | 0.000 % |
113.07/113.11 c | 35690 | 168000 3532144 10927904 | 2147483647 35690 44 | 0.000 % |
113.57/113.64 c | 36141 | 168000 3532144 10927904 | 2147483647 36141 45 | 0.000 % |
114.07/114.13 c | 36635 | 168000 3532144 10927904 | 2147483647 36635 45 | 0.000 % |
114.77/114.86 c | 37177 | 168000 3532144 10927904 | 2147483647 37177 45 | 0.000 % |
114.87/114.95 c | 37278 | 168000 3532144 10927904 | 2147483647 37278 45 | 0.000 % |
115.07/115.15 c | 37388 | 168000 3532144 10927904 | 2147483647 37388 45 | 0.000 % |
115.17/115.29 c | 37510 | 168000 3532144 10927904 | 2147483647 37510 45 | 0.000 % |
115.48/115.59 c | 37643 | 168000 3532144 10927904 | 2147483647 37643 45 | 0.000 % |
115.77/115.89 c | 37790 | 168000 3532144 10927904 | 2147483647 37790 45 | 0.000 % |
115.87/115.98 c | 37950 | 168000 3532144 10927904 | 2147483647 37950 45 | 0.000 % |
116.27/116.32 c | 38129 | 168000 3532144 10927904 | 2147483647 38129 45 | 0.000 % |
116.98/117.06 c | 38323 | 168000 3532144 10927904 | 2147483647 38323 45 | 0.000 % |
117.28/117.31 c | 38537 | 168000 3532144 10927904 | 2147483647 38537 45 | 0.000 % |
117.88/117.91 c | 38770 | 168000 3532144 10927904 | 2147483647 38770 45 | 0.000 % |
118.08/118.20 c | 39027 | 168000 3532144 10927904 | 2147483647 39027 45 | 0.000 % |
118.38/118.49 c | 39309 | 168000 3532144 10927904 | 2147483647 39309 46 | 0.000 % |
118.68/118.72 c | 39618 | 168000 3532144 10927904 | 2147483647 39618 45 | 0.000 % |
119.08/119.16 c | 39959 | 168000 3532144 10927904 | 2147483647 39959 45 | 0.000 % |
119.38/119.45 c | 40333 | 168000 3532144 10927904 | 2147483647 40333 45 | 0.000 % |
119.78/119.89 c | 40742 | 168000 3532144 10927904 | 2147483647 40742 45 | 0.000 % |
120.38/120.41 c | 41192 | 168000 3532144 10927904 | 2147483647 41192 46 | 0.000 % |
120.88/120.91 c | 41686 | 168000 3532144 10927904 | 2147483647 41686 46 | 0.000 % |
121.18/121.21 c | 42229 | 168000 3532144 10927904 | 2147483647 42229 46 | 0.000 % |
121.78/121.84 c | 42826 | 168000 3532144 10927904 | 2147483647 42826 46 | 0.000 % |
121.88/121.92 c | 42926 | 168000 3532144 10927904 | 2147483647 42926 46 | 0.000 % |
122.18/122.22 c | 43036 | 168000 3532144 10927904 | 2147483647 43036 46 | 0.000 % |
122.38/122.44 c | 43158 | 168000 3532144 10927904 | 2147483647 43158 45 | 0.000 % |
122.48/122.59 c | 43295 | 168000 3532144 10927904 | 2147483647 43295 45 | 0.000 % |
122.78/122.83 c | 43447 | 168000 3532144 10927904 | 2147483647 43447 45 | 0.000 % |
122.98/123.05 c | 43608 | 168000 3532144 10927904 | 2147483647 43608 45 | 0.000 % |
123.38/123.42 c | 43786 | 168000 3532144 10927904 | 2147483647 43786 45 | 0.000 % |
123.58/123.69 c | 43979 | 168000 3532144 10927904 | 2147483647 43979 45 | 0.000 % |
124.08/124.20 c | 44191 | 168000 3532144 10927904 | 2147483647 44191 45 | 0.000 % |
124.28/124.33 c | 44424 | 168000 3532144 10927904 | 2147483647 44424 45 | 0.000 % |
124.58/124.67 c | 44681 | 168000 3532144 10927904 | 2147483647 44681 45 | 0.000 % |
124.98/125.01 c | 44962 | 168000 3532144 10927904 | 2147483647 44962 46 | 0.000 % |
125.28/125.35 c | 45271 | 168000 3532144 10927904 | 2147483647 45271 46 | 0.000 % |
125.68/125.79 c | 45612 | 168000 3532144 10927904 | 2147483647 45612 45 | 0.000 % |
126.08/126.20 c | 45984 | 168000 3532144 10927904 | 2147483647 45984 46 | 0.000 % |
126.48/126.54 c | 46393 | 168000 3532144 10927904 | 2147483647 46393 46 | 0.000 % |
127.18/127.25 c | 46843 | 168000 3532144 10927904 | 2147483647 46843 46 | 0.000 % |
127.38/127.45 c | 47337 | 168000 3532144 10927904 | 2147483647 47337 46 | 0.000 % |
127.78/127.90 c | 47879 | 168000 3532144 10927904 | 2147483647 47879 46 | 0.000 % |
128.08/128.15 c | 48475 | 168000 3532144 10927904 | 2147483647 48475 46 | 0.000 % |
128.78/128.91 c | 49131 | 168000 3532144 10927904 | 2147483647 49131 46 | 0.000 % |
129.08/129.14 c | 49231 | 168000 3532144 10927904 | 2147483647 49231 46 | 0.000 % |
129.18/129.27 c | 49341 | 168000 3532144 10927904 | 2147483647 49341 46 | 0.000 % |
129.38/129.49 c | 49463 | 168000 3532144 10927904 | 2147483647 49463 46 | 0.000 % |
129.58/129.69 c | 49596 | 168000 3532144 10927904 | 2147483647 49596 46 | 0.000 % |
129.98/130.01 c | 49743 | 168000 3532144 10927904 | 2147483647 49743 46 | 0.000 % |
130.08/130.19 c | 49905 | 168000 3532144 10927904 | 2147483647 49905 46 | 0.000 % |
130.28/130.38 c | 50082 | 168000 3532144 10927904 | 2147483647 50082 46 | 0.000 % |
130.98/131.04 c | 50276 | 168000 3532144 10927904 | 2147483647 50276 46 | 0.000 % |
131.28/131.39 c | 50488 | 168000 3532144 10927904 | 2147483647 50488 46 | 0.000 % |
132.08/132.15 c | 50722 | 168000 3532144 10927904 | 2147483647 50722 47 | 0.000 % |
132.58/132.68 c | 50982 | 168000 3532144 10927904 | 2147483647 50982 47 | 0.000 % |
132.88/132.93 c | 51264 | 168000 3532144 10927904 | 2147483647 51264 47 | 0.000 % |
133.28/133.31 c | 51573 | 168000 3532144 10927904 | 2147483647 51573 47 | 0.000 % |
134.18/134.29 c | 51913 | 168000 3532144 10927904 | 2147483647 51913 47 | 0.000 % |
134.58/134.69 c | 52286 | 168000 3532144 10927904 | 2147483647 52286 47 | 0.000 % |
135.38/135.43 c | 52695 | 168000 3532144 10927904 | 2147483647 52695 47 | 0.000 % |
136.38/136.42 c | 53144 | 168000 3532144 10927904 | 2147483647 53144 47 | 0.000 % |
137.08/137.19 c | 53637 | 168000 3532144 10927904 | 2147483647 53637 48 | 0.000 % |
137.58/137.68 c | 54179 | 168000 3532144 10927904 | 2147483647 54179 48 | 0.000 % |
137.88/138.00 c | 54777 | 168000 3532144 10927904 | 2147483647 54777 48 | 0.000 % |
139.88/139.92 c | 55434 | 168000 3532144 10927904 | 2147483647 55434 48 | 0.000 % |
140.88/140.96 c | 56154 | 168000 3532144 10927904 | 2147483647 56154 48 | 0.000 % |
141.18/141.23 c | 56254 | 168000 3532144 10927904 | 2147483647 56254 48 | 0.000 % |
141.38/141.45 c | 56364 | 168000 3532144 10927904 | 2147483647 56364 48 | 0.000 % |
141.58/141.65 c | 56485 | 168000 3532144 10927904 | 2147483647 56485 48 | 0.000 % |
141.78/141.85 c | 56618 | 168000 3532144 10927904 | 2147483647 56618 48 | 0.000 % |
142.28/142.33 c | 56764 | 168000 3532144 10927904 | 2147483647 56764 48 | 0.000 % |
143.48/143.59 c | 56924 | 168000 3532144 10927904 | 2147483647 56924 48 | 0.000 % |
143.78/143.82 c | 57101 | 168000 3532144 10927904 | 2147483647 57101 48 | 0.000 % |
144.18/144.25 c | 57295 | 168000 3532144 10927904 | 2147483647 57295 48 | 0.000 % |
144.58/144.63 c | 57509 | 168000 3532144 10927904 | 2147483647 57509 49 | 0.000 % |
144.88/144.98 c | 57743 | 168000 3532144 10927904 | 2147483647 57743 49 | 0.000 % |
145.58/145.70 c | 57999 | 168000 3532144 10927904 | 2147483647 57999 49 | 0.000 % |
146.08/146.14 c | 58280 | 168000 3532144 10927904 | 2147483647 58280 49 | 0.000 % |
146.98/147.04 c | 58590 | 168000 3532144 10927904 | 2147483647 58590 49 | 0.000 % |
148.08/148.14 c | 58931 | 168000 3532144 10927904 | 2147483647 58931 49 | 0.000 % |
148.48/148.57 c | 59303 | 168000 3532144 10927904 | 2147483647 59303 49 | 0.000 % |
149.78/149.88 c | 59714 | 168000 3532144 10927904 | 2147483647 59714 49 | 0.000 % |
150.18/150.30 c | 60163 | 168000 3532144 10927904 | 2147483647 60163 49 | 0.000 % |
150.78/150.91 c | 60656 | 168000 3532144 10927904 | 2147483647 60656 49 | 0.000 % |
151.98/152.03 c | 61200 | 168000 3532144 10927904 | 2147483647 61200 50 | 0.000 % |
152.58/152.64 c | 61796 | 168000 3532144 10927904 | 2147483647 61796 50 | 0.000 % |
153.28/153.37 c | 62451 | 168000 3532144 10927904 | 2147483647 62451 50 | 0.000 % |
154.78/154.88 c | 63171 | 168000 3532144 10927904 | 2147483647 63171 50 | 0.000 % |
155.68/155.73 c | 63964 | 168000 3532144 10927904 | 2147483647 63964 50 | 0.000 % |
155.98/156.04 c | 64064 | 168000 3532144 10927904 | 2147483647 64064 50 | 0.000 % |
156.48/156.53 c | 64174 | 168000 3532144 10927904 | 2147483647 64174 50 | 0.000 % |
156.98/157.05 c | 64295 | 168000 3532144 10927904 | 2147483647 64295 50 | 0.000 % |
157.38/157.44 c | 64428 | 168000 3532144 10927904 | 2147483647 64428 50 | 0.000 % |
157.88/157.92 c | 64575 | 168000 3532144 10927904 | 2147483647 64575 50 | 0.000 % |
158.38/158.43 c | 64737 | 168000 3532144 10927904 | 2147483647 64737 50 | 0.000 % |
158.78/158.90 c | 64915 | 168000 3532144 10927904 | 2147483647 64915 50 | 0.000 % |
159.08/159.16 c | 65108 | 168000 3532144 10927904 | 2147483647 65108 50 | 0.000 % |
159.68/159.76 c | 65322 | 168000 3532144 10927904 | 2147483647 65322 50 | 0.000 % |
160.18/160.23 c | 65555 | 168000 3532144 10927904 | 2147483647 65555 50 | 0.000 % |
160.98/161.02 c | 65811 | 168000 3532144 10927904 | 2147483647 65811 50 | 0.000 % |
161.48/161.58 c | 66092 | 168000 3532144 10927904 | 2147483647 66092 51 | 0.000 % |
162.18/162.24 c | 66401 | 168000 3532144 10927904 | 2147483647 66401 51 | 0.000 % |
162.38/162.41 c | 66740 | 168000 3532144 10927904 | 2147483647 66740 50 | 0.000 % |
163.28/163.39 c | 67112 | 168000 3532144 10927904 | 2147483647 67112 51 | 0.000 % |
163.88/163.91 c | 67522 | 168000 3532144 10927904 | 2147483647 67522 50 | 0.000 % |
164.78/164.91 c | 67972 | 168000 3532144 10927904 | 2147483647 67972 51 | 0.000 % |
165.88/165.91 c | 68465 | 168000 3532144 10927904 | 2147483647 68465 51 | 0.000 % |
166.38/166.43 c | 69008 | 168000 3532144 10927904 | 2147483647 69008 51 | 0.000 % |
167.08/167.16 c | 69605 | 168000 3532144 10927904 | 2147483647 69605 51 | 0.000 % |
167.98/168.07 c | 70260 | 168000 3532144 10927904 | 2147483647 70260 51 | 0.000 % |
168.58/168.62 c | 70981 | 168000 3532144 10927904 | 2147483647 70981 51 | 0.000 % |
169.48/169.53 c | 71774 | 168000 3532144 10927904 | 2147483647 71774 52 | 0.000 % |
169.88/170.00 c | 72646 | 168000 3532144 10927904 | 2147483647 72646 52 | 0.000 % |
170.08/170.17 c | 72747 | 168000 3532144 10927904 | 2147483647 72747 52 | 0.000 % |
170.58/170.62 c | 72858 | 168000 3532144 10927904 | 2147483647 72858 52 | 0.000 % |
170.78/170.86 c | 72979 | 168000 3532144 10927904 | 2147483647 72979 52 | 0.000 % |
171.28/171.33 c | 73112 | 168000 3532144 10927904 | 2147483647 73112 52 | 0.000 % |
171.98/172.02 c | 73258 | 168000 3532144 10927904 | 2147483647 73258 52 | 0.000 % |
172.58/172.61 c | 73422 | 168000 3532144 10927904 | 2147483647 73422 52 | 0.000 % |
172.98/173.10 c | 73598 | 168000 3532144 10927904 | 2147483647 73598 52 | 0.000 % |
173.58/173.61 c | 73791 | 168000 3532144 10927904 | 2147483647 73791 52 | 0.000 % |
173.88/173.94 c | 74003 | 168000 3532144 10927904 | 2147483647 74003 52 | 0.000 % |
174.38/174.43 c | 74236 | 168000 3532144 10927904 | 2147483647 74236 52 | 0.000 % |
174.78/174.84 c | 74492 | 168000 3532144 10927904 | 2147483647 74492 52 | 0.000 % |
175.48/175.51 c | 74776 | 168000 3532144 10927904 | 2147483647 74776 53 | 0.000 % |
175.98/176.03 c | 75085 | 168000 3532144 10927904 | 2147483647 75085 53 | 0.000 % |
177.08/177.15 c | 75425 | 168000 3532144 10927904 | 2147483647 75425 53 | 0.000 % |
177.48/177.59 c | 75797 | 168000 3532144 10927904 | 2147483647 75797 53 | 0.000 % |
177.98/178.10 c | 76207 | 168000 3532144 10927904 | 2147483647 76207 53 | 0.000 % |
178.28/178.38 c | 76657 | 168000 3532144 10927904 | 2147483647 76657 53 | 0.000 % |
179.68/179.72 c | 77152 | 168000 3532144 10927904 | 2147483647 77152 53 | 0.000 % |
180.08/180.17 c | 77694 | 168000 3532144 10927904 | 2147483647 77694 53 | 0.000 % |
180.58/180.62 c | 78292 | 168000 3532144 10927904 | 2147483647 78292 54 | 0.000 % |
181.18/181.30 c | 78947 | 168000 3532144 10927904 | 2147483647 78947 54 | 0.000 % |
181.68/181.78 c | 79668 | 168000 3532144 10927904 | 2147483647 79668 54 | 0.000 % |
182.78/182.89 c | 80461 | 168000 3532144 10927904 | 2147483647 80461 55 | 0.000 % |
183.98/184.03 c | 81333 | 168000 3532144 10927904 | 2147483647 81333 55 | 0.000 % |
185.28/185.38 c | 82291 | 168000 3532144 10927904 | 2147483647 82291 55 | 0.000 % |
185.38/185.45 c | 82391 | 168000 3532144 10927904 | 2147483647 82391 55 | 0.000 % |
185.68/185.80 c | 82503 | 168000 3532144 10927904 | 2147483647 82503 55 | 0.000 % |
185.89/185.99 c | 82624 | 168000 3532144 10927904 | 2147483647 82624 55 | 0.000 % |
186.28/186.33 c | 82758 | 168000 3532144 10927904 | 2147483647 82758 55 | 0.000 % |
186.38/186.50 c | 82906 | 168000 3532144 10927904 | 2147483647 82906 55 | 0.000 % |
186.68/186.76 c | 83066 | 168000 3532144 10927904 | 2147483647 83066 55 | 0.000 % |
187.28/187.32 c | 83243 | 168000 3532144 10927904 | 2147483647 83243 55 | 0.000 % |
187.88/187.97 c | 83436 | 168000 3532144 10927904 | 2147483647 83436 55 | 0.000 % |
188.28/188.34 c | 83648 | 168000 3532144 10927904 | 2147483647 83648 55 | 0.000 % |
188.78/188.84 c | 83884 | 168000 3532144 10927904 | 2147483647 83884 55 | 0.000 % |
189.08/189.14 c | 84140 | 168000 3532144 10927904 | 2147483647 84140 55 | 0.000 % |
189.68/189.76 c | 84422 | 168000 3532144 10927904 | 2147483647 84422 55 | 0.000 % |
190.38/190.41 c | 84732 | 168000 3532144 10927904 | 2147483647 84732 55 | 0.000 % |
191.39/191.47 c | 85071 | 168000 3532144 10927904 | 2147483647 85071 55 | 0.000 % |
192.38/192.43 c | 85444 | 168000 3532144 10927904 | 2147483647 85444 55 | 0.000 % |
192.88/192.93 c | 85861 | 168000 3532144 10927904 | 2147483647 85861 55 | 0.000 % |
193.38/193.50 c | 86310 | 168000 3532144 10927904 | 2147483647 86310 55 | 0.000 % |
194.98/195.03 c | 86804 | 167999 3532130 10927876 | 2147483647 86803 55 | 0.001 % |
195.98/196.06 c | 87349 | 167998 3532130 10927876 | 2147483647 87347 55 | 0.001 % |
196.48/196.54 c | 87946 | 167998 3532130 10927876 | 2147483647 87944 55 | 0.001 % |
198.08/198.16 c | 88601 | 167998 3532130 10927876 | 2147483647 88599 56 | 0.001 % |
199.48/199.55 c | 89321 | 167998 3532130 10927876 | 2147483647 89319 56 | 0.001 % |
200.98/201.03 c | 90115 | 167998 3532130 10927876 | 2147483647 90113 56 | 0.001 % |
203.18/203.25 c | 90986 | 167998 3532130 10927876 | 2147483647 90984 56 | 0.001 % |
204.08/204.12 c | 91944 | 167998 3532130 10927876 | 2147483647 91942 57 | 0.001 % |
205.28/205.33 c | 92997 | 167998 3532130 10927876 | 2147483647 92995 57 | 0.001 % |
205.48/205.54 c | 93097 | 167998 3532130 10927876 | 2147483647 93095 57 | 0.001 % |
205.58/205.71 c | 93209 | 167998 3532130 10927876 | 2147483647 93207 57 | 0.001 % |
206.28/206.33 c | 93330 | 167998 3532130 10927876 | 2147483647 93328 57 | 0.001 % |
206.48/206.55 c | 93464 | 167998 3532130 10927876 | 2147483647 93462 57 | 0.001 % |
206.88/206.91 c | 93611 | 167998 3532130 10927876 | 2147483647 93609 57 | 0.001 % |
207.18/207.23 c | 93776 | 167998 3532130 10927876 | 2147483647 93774 57 | 0.001 % |
207.38/207.45 c | 93952 | 167998 3532130 10927876 | 2147483647 93950 57 | 0.001 % |
208.38/208.43 c | 94146 | 167998 3532130 10927876 | 2147483647 94144 57 | 0.001 % |
208.58/208.69 c | 94358 | 167998 3532130 10927876 | 2147483647 94356 57 | 0.001 % |
209.18/209.26 c | 94593 | 167998 3532098 10927789 | 2147483647 94591 57 | 0.001 % |
209.78/209.81 c | 94850 | 167998 3532098 10927789 | 2147483647 94848 57 | 0.001 % |
210.09/210.11 c | 95136 | 167998 3532098 10927789 | 2147483647 95134 57 | 0.001 % |
210.68/210.73 c | 95445 | 167998 3532098 10927789 | 2147483647 95443 57 | 0.001 % |
211.88/211.97 c | 95784 | 167998 3532098 10927789 | 2147483647 95782 57 | 0.001 % |
212.48/212.57 c | 96156 | 167998 3532098 10927789 | 2147483647 96154 57 | 0.001 % |
213.28/213.31 c | 96565 | 167998 3532098 10927789 | 2147483647 96563 58 | 0.001 % |
214.08/214.19 c | 97014 | 167998 3532098 10927789 | 2147483647 97012 58 | 0.001 % |
214.58/214.69 c | 97507 | 167998 3532098 10927789 | 2147483647 97505 58 | 0.001 % |
215.38/215.42 c | 98049 | 167998 3532098 10927789 | 2147483647 98047 58 | 0.001 % |
216.08/216.13 c | 98645 | 167998 3532098 10927789 | 2147483647 98643 58 | 0.001 % |
217.58/217.61 c | 99300 | 167998 3532098 10927789 | 2147483647 99298 58 | 0.001 % |
218.38/218.49 c | 100020 | 167998 3532098 10927789 | 2147483647 100018 58 | 0.001 % |
219.68/219.79 c | 100814 | 167998 3532098 10927789 | 2147483647 100812 58 | 0.001 % |
220.58/220.67 c | 101686 | 167998 3532098 10927789 | 2147483647 101684 58 | 0.001 % |
221.48/221.54 c | 102644 | 167998 3532098 10927789 | 2147483647 102642 58 | 0.001 % |
222.08/222.17 c | 103698 | 167998 3532098 10927789 | 2147483647 103696 58 | 0.001 % |
223.38/223.46 c | 104857 | 167998 3532098 10927789 | 2147483647 104855 58 | 0.001 % |
223.68/223.72 c | 104957 | 167998 3532098 10927789 | 2147483647 104955 58 | 0.001 % |
223.88/223.95 c | 105068 | 167998 3532098 10927789 | 2147483647 105066 58 | 0.001 % |
224.08/224.20 c | 105190 | 167998 3532098 10927789 | 2147483647 105188 58 | 0.001 % |
224.39/224.43 c | 105323 | 167998 3532098 10927789 | 2147483647 105321 58 | 0.001 % |
224.68/224.71 c | 105470 | 167998 3532098 10927789 | 2147483647 105468 58 | 0.001 % |
225.18/225.30 c | 105631 | 167998 3532098 10927789 | 2147483647 105629 58 | 0.001 % |
225.49/225.52 c | 105811 | 167998 3532098 10927789 | 2147483647 105809 58 | 0.001 % |
225.88/225.98 c | 106007 | 167998 3532098 10927789 | 2147483647 106005 58 | 0.001 % |
226.48/226.56 c | 106219 | 167998 3532098 10927789 | 2147483647 106217 58 | 0.001 % |
226.88/227.00 c | 106452 | 167998 3532098 10927789 | 2147483647 106450 58 | 0.001 % |
227.78/227.86 c | 106709 | 167998 3532098 10927789 | 2147483647 106707 58 | 0.001 % |
228.08/228.14 c | 106990 | 167998 3532098 10927789 | 2147483647 106988 58 | 0.001 % |
228.88/228.93 c | 107299 | 167998 3532098 10927789 | 2147483647 107297 58 | 0.001 % |
229.18/229.29 c | 107639 | 167998 3532098 10927789 | 2147483647 107637 58 | 0.001 % |
230.28/230.37 c | 108013 | 167998 3532098 10927789 | 2147483647 108011 58 | 0.001 % |
230.99/231.10 c | 108423 | 167998 3532098 10927789 | 2147483647 108421 58 | 0.001 % |
231.69/231.81 c | 108874 | 167998 3532098 10927789 | 2147483647 108872 58 | 0.001 % |
232.69/232.75 c | 109367 | 167998 3532098 10927789 | 2147483647 109365 58 | 0.001 % |
233.69/233.78 c | 109909 | 167998 3532098 10927789 | 2147483647 109907 58 | 0.001 % |
234.59/234.70 c | 110505 | 167998 3532098 10927789 | 2147483647 110503 59 | 0.001 % |
235.99/236.10 c | 111164 | 167998 3532098 10927789 | 2147483647 111162 59 | 0.001 % |
237.59/237.66 c | 111884 | 167998 3532098 10927789 | 2147483647 111882 59 | 0.001 % |
238.29/238.34 c | 112676 | 167998 3532098 10927789 | 2147483647 112674 59 | 0.001 % |
239.49/239.54 c | 113547 | 167998 3532098 10927789 | 2147483647 113545 59 | 0.001 % |
240.89/241.01 c | 114505 | 167998 3532098 10927789 | 2147483647 114503 60 | 0.001 % |
242.09/242.12 c | 115558 | 167998 3532098 10927789 | 2147483647 115556 60 | 0.001 % |
243.99/244.05 c | 116718 | 167998 3532098 10927789 | 2147483647 116716 61 | 0.001 % |
245.59/245.65 c | 117992 | 167998 3532098 10927789 | 2147483647 117990 61 | 0.001 % |
245.69/245.79 c | 118092 | 167998 3532098 10927789 | 2147483647 118090 61 | 0.001 % |
245.89/246.01 c | 118202 | 167998 3532098 10927789 | 2147483647 118200 61 | 0.001 % |
246.09/246.15 c | 118323 | 167998 3532098 10927789 | 2147483647 118321 61 | 0.001 % |
246.29/246.35 c | 118456 | 167998 3532098 10927789 | 2147483647 118454 61 | 0.001 % |
246.49/246.57 c | 118603 | 167998 3532098 10927789 | 2147483647 118601 62 | 0.001 % |
246.69/246.78 c | 118763 | 167998 3532098 10927789 | 2147483647 118761 62 | 0.001 % |
246.99/247.09 c | 118939 | 167998 3532098 10927789 | 2147483647 118937 62 | 0.001 % |
247.49/247.59 c | 119134 | 167998 3532098 10927789 | 2147483647 119132 62 | 0.001 % |
247.89/247.93 c | 119346 | 167998 3532098 10927789 | 2147483647 119344 62 | 0.001 % |
248.49/248.53 c | 119579 | 167998 3532098 10927789 | 2147483647 119577 62 | 0.001 % |
248.99/249.10 c | 119837 | 167998 3532098 10927789 | 2147483647 119835 62 | 0.001 % |
249.49/249.55 c | 120122 | 167998 3532098 10927789 | 2147483647 120120 62 | 0.001 % |
249.99/250.06 c | 120435 | 167998 3532098 10927789 | 2147483647 120433 62 | 0.001 % |
250.69/250.78 c | 120774 | 167998 3532098 10927789 | 2147483647 120772 62 | 0.001 % |
251.19/251.30 c | 121147 | 167998 3532098 10927789 | 2147483647 121145 62 | 0.001 % |
251.69/251.75 c | 121557 | 167998 3532098 10927789 | 2147483647 121555 62 | 0.001 % |
252.29/252.38 c | 122006 | 167998 3532098 10927789 | 2147483647 122004 62 | 0.001 % |
253.19/253.22 c | 122499 | 167998 3532098 10927789 | 2147483647 122497 62 | 0.001 % |
253.99/254.02 c | 123042 | 167998 3532098 10927789 | 2147483647 123040 62 | 0.001 % |
255.09/255.12 c | 123639 | 167998 3532098 10927789 | 2147483647 123637 62 | 0.001 % |
255.79/255.86 c | 124294 | 167998 3532098 10927789 | 2147483647 124292 62 | 0.001 % |
256.49/256.53 c | 125014 | 167998 3532098 10927789 | 2147483647 125012 62 | 0.001 % |
257.39/257.44 c | 125808 | 167998 3532098 10927789 | 2147483647 125806 63 | 0.001 % |
257.79/257.86 c | 126679 | 167998 3532098 10927789 | 2147483647 126677 62 | 0.001 % |
259.39/259.46 c | 127637 | 167998 3532098 10927789 | 2147483647 127635 62 | 0.001 % |
260.99/261.03 c | 128691 | 167998 3532098 10927789 | 2147483647 128689 63 | 0.001 % |
262.39/262.50 c | 129849 | 167998 3532098 10927789 | 2147483647 129847 63 | 0.001 % |
263.39/263.45 c | 131123 | 167998 3532098 10927789 | 2147483647 131121 63 | 0.001 % |
264.39/264.51 c | 132525 | 167998 3532098 10927789 | 2147483647 132523 63 | 0.001 % |
264.69/264.74 c | 132625 | 167998 3532098 10927789 | 2147483647 132623 63 | 0.001 % |
264.89/264.92 c | 132736 | 167998 3532098 10927789 | 2147483647 132734 63 | 0.001 % |
265.59/265.66 c | 132857 | 167998 3532098 10927789 | 2147483647 132855 63 | 0.001 % |
265.89/265.92 c | 132990 | 167998 3532098 10927789 | 2147483647 132988 63 | 0.001 % |
266.29/266.35 c | 133136 | 167998 3532098 10927789 | 2147483647 133134 63 | 0.001 % |
266.49/266.54 c | 133296 | 167998 3532098 10927789 | 2147483647 133294 63 | 0.001 % |
266.79/266.89 c | 133472 | 167998 3532098 10927789 | 2147483647 133470 63 | 0.001 % |
267.09/267.13 c | 133665 | 167998 3532098 10927789 | 2147483647 133663 63 | 0.001 % |
267.49/267.59 c | 133878 | 167998 3532098 10927789 | 2147483647 133876 63 | 0.001 % |
267.69/267.80 c | 134111 | 167998 3532098 10927789 | 2147483647 134109 63 | 0.001 % |
268.09/268.13 c | 134367 | 167998 3532098 10927789 | 2147483647 134365 63 | 0.001 % |
268.49/268.56 c | 134648 | 167998 3532098 10927789 | 2147483647 134646 63 | 0.001 % |
269.09/269.16 c | 134957 | 167998 3532098 10927789 | 2147483647 134955 63 | 0.001 % |
269.79/269.81 c | 135297 | 167998 3532098 10927789 | 2147483647 135295 63 | 0.001 % |
270.29/270.32 c | 135669 | 167998 3532098 10927789 | 2147483647 135667 63 | 0.001 % |
270.69/270.74 c | 136080 | 167998 3532098 10927789 | 2147483647 136078 64 | 0.001 % |
271.29/271.34 c | 136529 | 167998 3532098 10927789 | 2147483647 136527 64 | 0.001 % |
271.79/271.87 c | 137022 | 167998 3532098 10927789 | 2147483647 137020 64 | 0.001 % |
272.59/272.69 c | 137566 | 167998 3532098 10927789 | 2147483647 137564 64 | 0.001 % |
273.49/273.60 c | 138162 | 167998 3532098 10927789 | 2147483647 138160 63 | 0.001 % |
273.99/274.07 c | 138817 | 167998 3532098 10927789 | 2147483647 138815 63 | 0.001 % |
274.99/275.02 c | 139540 | 167998 3532098 10927789 | 2147483647 139538 63 | 0.001 % |
275.89/275.94 c | 140332 | 167998 3532098 10927789 | 2147483647 140330 65 | 0.001 % |
276.79/276.88 c | 141203 | 167998 3532098 10927789 | 2147483647 141201 65 | 0.001 % |
277.99/278.09 c | 142161 | 167998 3532098 10927789 | 2147483647 142159 65 | 0.001 % |
279.49/279.54 c | 143217 | 167998 3532098 10927789 | 2147483647 143215 65 | 0.001 % |
280.49/280.59 c | 144376 | 167998 3532098 10927789 | 2147483647 144374 65 | 0.001 % |
282.99/283.10 c | 145649 | 167998 3532098 10927789 | 2147483647 145647 65 | 0.001 % |
285.79/285.85 c | 147051 | 167998 3532098 10927789 | 2147483647 147049 65 | 0.001 % |
288.29/288.31 c | 148592 | 167998 3532098 10927789 | 2147483647 148590 65 | 0.001 % |
288.49/288.55 c | 148692 | 167998 3532098 10927789 | 2147483647 148690 65 | 0.001 % |
288.69/288.74 c | 148802 | 167998 3532098 10927789 | 2147483647 148800 65 | 0.001 % |
289.09/289.18 c | 148923 | 167998 3532098 10927789 | 2147483647 148921 65 | 0.001 % |
289.39/289.47 c | 149056 | 167998 3532098 10927789 | 2147483647 149054 65 | 0.001 % |
289.79/289.89 c | 149202 | 167998 3532098 10927789 | 2147483647 149200 65 | 0.001 % |
290.09/290.21 c | 149363 | 167998 3532098 10927789 | 2147483647 149361 65 | 0.001 % |
290.59/290.63 c | 149539 | 167998 3532098 10927789 | 2147483647 149537 65 | 0.001 % |
291.29/291.35 c | 149732 | 167998 3532098 10927789 | 2147483647 149730 65 | 0.001 % |
291.59/291.67 c | 149947 | 167998 3532098 10927789 | 2147483647 149945 65 | 0.001 % |
292.09/292.16 c | 150187 | 167998 3532098 10927789 | 2147483647 150185 65 | 0.001 % |
292.49/292.60 c | 150443 | 167998 3532098 10927789 | 2147483647 150441 65 | 0.001 % |
293.19/293.23 c | 150724 | 167998 3532098 10927789 | 2147483647 150722 65 | 0.001 % |
293.89/293.94 c | 151034 | 167998 3532098 10927789 | 2147483647 151032 65 | 0.001 % |
294.39/294.48 c | 151373 | 167998 3532098 10927789 | 2147483647 151371 65 | 0.001 % |
295.29/295.33 c | 151746 | 167998 3532098 10927789 | 2147483647 151744 65 | 0.001 % |
295.79/295.91 c | 152155 | 167998 3532098 10927789 | 2147483647 152153 65 | 0.001 % |
296.29/296.34 c | 152605 | 167998 3532098 10927789 | 2147483647 152603 65 | 0.001 % |
296.99/297.03 c | 153099 | 167998 3532098 10927789 | 2147483647 153097 65 | 0.001 % |
298.29/298.37 c | 153643 | 167998 3532098 10927789 | 2147483647 153641 65 | 0.001 % |
298.99/299.06 c | 154239 | 167998 3532098 10927789 | 2147483647 154237 65 | 0.001 % |
300.79/300.87 c | 154895 | 167998 3532098 10927789 | 2147483647 154893 65 | 0.001 % |
301.59/301.66 c | 155617 | 167998 3532098 10927789 | 2147483647 155615 66 | 0.001 % |
302.89/302.95 c | 156409 | 167998 3532098 10927789 | 2147483647 156407 66 | 0.001 % |
303.60/303.62 c | 157280 | 167998 3532098 10927789 | 2147483647 157278 66 | 0.001 % |
305.29/305.35 c | 158239 | 167998 3532098 10927789 | 2147483647 158237 66 | 0.001 % |
306.79/306.86 c | 159292 | 167998 3532098 10927789 | 2147483647 159290 66 | 0.001 % |
307.59/307.67 c | 160451 | 167998 3532098 10927789 | 2147483647 160449 67 | 0.001 % |
309.49/309.60 c | 161727 | 167998 3532098 10927789 | 2147483647 161725 67 | 0.001 % |
310.69/310.73 c | 163127 | 167998 3532098 10927789 | 2147483647 163125 68 | 0.001 % |
312.99/313.01 c | 164669 | 167998 3532098 10927789 | 2147483647 164667 68 | 0.001 % |
315.89/315.97 c | 166366 | 167998 3532098 10927789 | 2147483647 166364 68 | 0.001 % |
316.09/316.13 c | 166468 | 167998 3532098 10927789 | 2147483647 166466 68 | 0.001 % |
316.39/316.46 c | 166580 | 167998 3532098 10927789 | 2147483647 166578 68 | 0.001 % |
316.69/316.80 c | 166701 | 167998 3532098 10927789 | 2147483647 166699 68 | 0.001 % |
317.69/317.73 c | 166836 | 167998 3532098 10927789 | 2147483647 166834 68 | 0.001 % |
317.90/317.93 c | 166982 | 167998 3532098 10927789 | 2147483647 166980 68 | 0.001 % |
318.29/318.31 c | 167143 | 167998 3532098 10927789 | 2147483647 167141 68 | 0.001 % |
318.89/319.00 c | 167323 | 167998 3532098 10927789 | 2147483647 167321 68 | 0.001 % |
319.29/319.33 c | 167516 | 167998 3532098 10927789 | 2147483647 167514 68 | 0.001 % |
319.79/319.90 c | 167730 | 167998 3532098 10927789 | 2147483647 167728 68 | 0.001 % |
320.10/320.16 c | 167964 | 167998 3532098 10927789 | 2147483647 167962 68 | 0.001 % |
320.39/320.44 c | 168220 | 167998 3532098 10927789 | 2147483647 168218 68 | 0.001 % |
321.39/321.46 c | 168501 | 167998 3532098 10927789 | 2147483647 168499 68 | 0.001 % |
322.09/322.17 c | 168810 | 167998 3532098 10927789 | 2147483647 168808 68 | 0.001 % |
322.79/322.89 c | 169157 | 167998 3532098 10927789 | 2147483647 169155 69 | 0.001 % |
323.69/323.77 c | 169529 | 167998 3532098 10927789 | 2147483647 169527 68 | 0.001 % |
324.59/324.63 c | 169940 | 167998 3532098 10927789 | 2147483647 169938 69 | 0.001 % |
325.09/325.15 c | 170390 | 167998 3532098 10927789 | 2147483647 170388 69 | 0.001 % |
325.79/325.86 c | 170883 | 167998 3532098 10927789 | 2147483647 170881 69 | 0.001 % |
327.69/327.81 c | 171428 | 167998 3532098 10927789 | 2147483647 171426 69 | 0.001 % |
328.49/328.56 c | 172024 | 167998 3532098 10927789 | 2147483647 172022 69 | 0.001 % |
330.29/330.32 c | 172680 | 167998 3532098 10927789 | 2147483647 172678 69 | 0.001 % |
330.79/330.88 c | 173402 | 167998 3532098 10927789 | 2147483647 173400 69 | 0.001 % |
332.20/332.24 c | 174196 | 167998 3532098 10927789 | 2147483647 174194 69 | 0.001 % |
333.49/333.55 c | 175067 | 167998 3532098 10927789 | 2147483647 175065 69 | 0.001 % |
334.99/335.05 c | 176027 | 167998 3532098 10927789 | 2147483647 176025 69 | 0.001 % |
336.69/336.79 c | 177080 | 167998 3532098 10927789 | 2147483647 177078 69 | 0.001 % |
339.19/339.29 c | 178238 | 167998 3532098 10927789 | 2147483647 178236 69 | 0.001 % |
341.09/341.17 c | 179511 | 167998 3532098 10927789 | 2147483647 179509 69 | 0.001 % |
342.69/342.78 c | 180911 | 167998 3532098 10927789 | 2147483647 180909 70 | 0.001 % |
343.89/343.98 c | 182451 | 167998 3532098 10927789 | 2147483647 182449 70 | 0.001 % |
346.20/346.24 c | 184146 | 167998 3532098 10927789 | 2147483647 184144 70 | 0.001 % |
347.90/348.01 c | 186010 | 167998 3532098 10927789 | 2147483647 186008 70 | 0.001 % |
348.20/348.31 c | 186110 | 167998 3532098 10927789 | 2147483647 186108 70 | 0.001 % |
348.50/348.60 c | 186220 | 167998 3532098 10927789 | 2147483647 186218 70 | 0.001 % |
348.90/348.96 c | 186342 | 167998 3532098 10927789 | 2147483647 186340 70 | 0.001 % |
349.10/349.19 c | 186475 | 167998 3532098 10927789 | 2147483647 186473 70 | 0.001 % |
349.40/349.47 c | 186621 | 167998 3532098 10927789 | 2147483647 186619 70 | 0.001 % |
349.70/349.73 c | 186781 | 167998 3532098 10927789 | 2147483647 186779 70 | 0.001 % |
349.90/349.93 c | 186957 | 167998 3532098 10927789 | 2147483647 186955 70 | 0.001 % |
350.60/350.70 c | 187150 | 167998 3532098 10927789 | 2147483647 187148 70 | 0.001 % |
351.00/351.03 c | 187362 | 167998 3532098 10927789 | 2147483647 187360 70 | 0.001 % |
351.30/351.33 c | 187597 | 167998 3532098 10927789 | 2147483647 187595 70 | 0.001 % |
352.20/352.28 c | 187854 | 167998 3532098 10927789 | 2147483647 187852 70 | 0.001 % |
352.60/352.68 c | 188137 | 167998 3532098 10927789 | 2147483647 188135 70 | 0.001 % |
353.10/353.18 c | 188451 | 167998 3532098 10927789 | 2147483647 188449 70 | 0.001 % |
353.60/353.63 c | 188792 | 167998 3532098 10927789 | 2147483647 188790 70 | 0.001 % |
354.20/354.27 c | 189165 | 167998 3532098 10927789 | 2147483647 189163 70 | 0.001 % |
354.60/354.63 c | 189574 | 167998 3532098 10927789 | 2147483647 189572 70 | 0.001 % |
355.50/355.52 c | 190025 | 167998 3532098 10927789 | 2147483647 190023 70 | 0.001 % |
356.40/356.45 c | 190519 | 167998 3532098 10927789 | 2147483647 190517 70 | 0.001 % |
357.80/357.85 c | 191061 | 167998 3532098 10927789 | 2147483647 191059 70 | 0.001 % |
359.20/359.29 c | 191658 | 167998 3532098 10927789 | 2147483647 191656 70 | 0.001 % |
360.50/360.60 c | 192314 | 167998 3532098 10927789 | 2147483647 192312 70 | 0.001 % |
361.70/361.80 c | 193034 | 167998 3532098 10927789 | 2147483647 193032 70 | 0.001 % |
363.20/363.31 c | 193830 | 167998 3532098 10927789 | 2147483647 193828 70 | 0.001 % |
364.20/364.30 c | 194701 | 167998 3532098 10927789 | 2147483647 194699 71 | 0.001 % |
366.20/366.28 c | 195660 | 167998 3532098 10927789 | 2147483647 195658 71 | 0.001 % |
368.10/368.19 c | 196715 | 167998 3532098 10927789 | 2147483647 196713 71 | 0.001 % |
369.30/369.32 c | 197873 | 167998 3532098 10927789 | 2147483647 197871 72 | 0.001 % |
371.30/371.37 c | 199146 | 167998 3532098 10927789 | 2147483647 199144 72 | 0.001 % |
373.60/373.63 c | 200546 | 167998 3532098 10927789 | 2147483647 200544 72 | 0.001 % |
376.30/376.39 c | 202086 | 167998 3532098 10927789 | 2147483647 202084 72 | 0.001 % |
378.70/378.72 c | 203781 | 167998 3532098 10927789 | 2147483647 203779 73 | 0.001 % |
381.60/381.65 c | 205644 | 167998 3532098 10927789 | 2147483647 205642 73 | 0.001 % |
383.50/383.61 c | 207696 | 167998 3532098 10927789 | 2147483647 207694 75 | 0.001 % |
383.80/383.84 c | 207797 | 167998 3532098 10927789 | 2147483647 207795 75 | 0.001 % |
384.00/384.09 c | 207907 | 167998 3532098 10927789 | 2147483647 207905 75 | 0.001 % |
384.40/384.51 c | 208029 | 167998 3532098 10927789 | 2147483647 208027 75 | 0.001 % |
384.90/384.99 c | 208163 | 167998 3532098 10927789 | 2147483647 208161 75 | 0.001 % |
385.20/385.31 c | 208309 | 167998 3532098 10927789 | 2147483647 208307 75 | 0.001 % |
385.80/385.88 c | 208470 | 167998 3532098 10927789 | 2147483647 208468 75 | 0.001 % |
386.10/386.21 c | 208646 | 167998 3532098 10927789 | 2147483647 208644 75 | 0.001 % |
386.60/386.67 c | 208840 | 167998 3532098 10927789 | 2147483647 208838 75 | 0.001 % |
387.20/387.22 c | 209056 | 167998 3532098 10927789 | 2147483647 209054 75 | 0.001 % |
387.80/387.90 c | 209290 | 167998 3532098 10927789 | 2147483647 209288 75 | 0.001 % |
388.20/388.30 c | 209548 | 167998 3532098 10927789 | 2147483647 209546 75 | 0.001 % |
388.80/388.85 c | 209829 | 167998 3532098 10927789 | 2147483647 209827 75 | 0.001 % |
389.20/389.26 c | 210139 | 167998 3532098 10927789 | 2147483647 210137 75 | 0.001 % |
390.00/390.02 c | 210479 | 167998 3532098 10927789 | 2147483647 210477 75 | 0.001 % |
391.00/391.04 c | 210851 | 167998 3532098 10927789 | 2147483647 210849 75 | 0.001 % |
391.70/391.79 c | 211261 | 167998 3532098 10927789 | 2147483647 211259 75 | 0.001 % |
392.20/392.29 c | 211710 | 167998 3532098 10927789 | 2147483647 211708 75 | 0.001 % |
393.10/393.13 c | 212203 | 167998 3532098 10927789 | 2147483647 212201 75 | 0.001 % |
393.90/393.94 c | 212745 | 167998 3532098 10927789 | 2147483647 212743 75 | 0.001 % |
394.50/394.58 c | 213341 | 167998 3532098 10927789 | 2147483647 213339 75 | 0.001 % |
395.60/395.65 c | 213996 | 167998 3532098 10927789 | 2147483647 213994 76 | 0.001 % |
396.70/396.75 c | 214717 | 167998 3532098 10927789 | 2147483647 214715 76 | 0.001 % |
397.40/397.50 c | 215509 | 167998 3532098 10927789 | 2147483647 215507 76 | 0.001 % |
398.90/398.97 c | 216380 | 167998 3532098 10927789 | 2147483647 216378 76 | 0.001 % |
399.90/400.01 c | 217338 | 167998 3532098 10927789 | 2147483647 217336 76 | 0.001 % |
401.10/401.16 c | 218392 | 167998 3532098 10927789 | 2147483647 218390 76 | 0.001 % |
402.00/402.04 c | 219551 | 167998 3532098 10927789 | 2147483647 219549 76 | 0.001 % |
403.50/403.52 c | 220825 | 167998 3532098 10927789 | 2147483647 220823 77 | 0.001 % |
405.20/405.31 c | 222225 | 167998 3532098 10927789 | 2147483647 222223 77 | 0.001 % |
409.40/409.45 c | 223766 | 167998 3532098 10927789 | 2147483647 223764 77 | 0.001 % |
411.20/411.24 c | 225462 | 167998 3532098 10927789 | 2147483647 225460 77 | 0.001 % |
412.80/412.91 c | 227325 | 167998 3532098 10927789 | 2147483647 227323 77 | 0.001 % |
417.30/417.35 c | 229374 | 167998 3532098 10927789 | 2147483647 229372 77 | 0.001 % |
421.10/421.16 c | 231627 | 167998 3532098 10927789 | 2147483647 231625 77 | 0.001 % |
421.31/421.41 c | 231730 | 167998 3532098 10927789 | 2147483647 231728 77 | 0.001 % |
421.70/421.74 c | 231840 | 167998 3532098 10927789 | 2147483647 231838 77 | 0.001 % |
422.10/422.19 c | 231961 | 167998 3532098 10927789 | 2147483647 231959 77 | 0.001 % |
422.70/422.73 c | 232095 | 167998 3532098 10927789 | 2147483647 232093 77 | 0.001 % |
423.00/423.06 c | 232243 | 167998 3532098 10927789 | 2147483647 232241 77 | 0.001 % |
423.60/423.71 c | 232405 | 167998 3532098 10927789 | 2147483647 232403 77 | 0.001 % |
424.20/424.24 c | 232581 | 167998 3532098 10927789 | 2147483647 232579 77 | 0.001 % |
424.70/424.75 c | 232775 | 167998 3532098 10927789 | 2147483647 232773 77 | 0.001 % |
425.10/425.12 c | 232987 | 167998 3532098 10927789 | 2147483647 232985 77 | 0.001 % |
425.50/425.60 c | 233220 | 167998 3532098 10927789 | 2147483647 233218 77 | 0.001 % |
425.80/425.87 c | 233476 | 167998 3532098 10927789 | 2147483647 233474 77 | 0.001 % |
426.50/426.56 c | 233758 | 167998 3532098 10927789 | 2147483647 233756 77 | 0.001 % |
426.81/426.88 c | 234069 | 167998 3532098 10927789 | 2147483647 234067 77 | 0.001 % |
428.10/428.21 c | 234409 | 167998 3532098 10927789 | 2147483647 234407 77 | 0.001 % |
428.70/428.74 c | 234781 | 167998 3532098 10927789 | 2147483647 234779 77 | 0.001 % |
429.50/429.55 c | 235191 | 167998 3532098 10927789 | 2147483647 235189 77 | 0.001 % |
430.11/430.20 c | 235642 | 167998 3532098 10927789 | 2147483647 235640 77 | 0.001 % |
431.30/431.32 c | 236135 | 167998 3532098 10927789 | 2147483647 236133 77 | 0.001 % |
432.31/432.37 c | 236677 | 167998 3532098 10927789 | 2147483647 236675 77 | 0.001 % |
433.50/433.55 c | 237274 | 167998 3532098 10927789 | 2147483647 237272 77 | 0.001 % |
434.10/434.14 c | 237929 | 167998 3532098 10927789 | 2147483647 237927 78 | 0.001 % |
435.00/435.02 c | 238649 | 167998 3532098 10927789 | 2147483647 238647 78 | 0.001 % |
437.20/437.31 c | 239441 | 167998 3532098 10927789 | 2147483647 239439 78 | 0.001 % |
438.70/438.74 c | 240314 | 167998 3532098 10927789 | 2147483647 240312 78 | 0.001 % |
439.90/439.98 c | 241273 | 167998 3532098 10927789 | 2147483647 241271 78 | 0.001 % |
442.21/442.23 c | 242328 | 167998 3532098 10927789 | 2147483647 242326 79 | 0.001 % |
443.50/443.60 c | 243487 | 167998 3532098 10927789 | 2147483647 243485 79 | 0.001 % |
445.40/445.44 c | 244760 | 167998 3532098 10927789 | 2147483647 244758 80 | 0.001 % |
448.00/448.08 c | 246160 | 167998 3532098 10927789 | 2147483647 246158 80 | 0.001 % |
449.40/449.43 c | 247700 | 167998 3532098 10927789 | 2147483647 247698 80 | 0.001 % |
451.20/451.27 c | 249395 | 167998 3532098 10927789 | 2147483647 249393 80 | 0.001 % |
452.80/452.91 c | 251258 | 167998 3532098 10927789 | 2147483647 251256 80 | 0.001 % |
456.30/456.38 c | 253308 | 167998 3532098 10927789 | 2147483647 253306 81 | 0.001 % |
460.60/460.68 c | 255561 | 167998 3532098 10927789 | 2147483647 255559 81 | 0.001 % |
463.60/463.65 c | 258039 | 167998 3532098 10927789 | 2147483647 258037 84 | 0.001 % |
463.90/463.94 c | 258140 | 167998 3532098 10927789 | 2147483647 258138 84 | 0.001 % |
464.40/464.48 c | 258257 | 167998 3532098 10927789 | 2147483647 258255 84 | 0.001 % |
464.70/464.77 c | 258378 | 167998 3532098 10927789 | 2147483647 258376 84 | 0.001 % |
464.90/464.97 c | 258511 | 167998 3532098 10927789 | 2147483647 258509 84 | 0.001 % |
465.50/465.54 c | 258657 | 167998 3532098 10927789 | 2147483647 258655 84 | 0.001 % |
465.80/465.86 c | 258818 | 167998 3532098 10927789 | 2147483647 258816 84 | 0.001 % |
466.10/466.15 c | 258994 | 167998 3532098 10927789 | 2147483647 258992 84 | 0.001 % |
466.80/466.86 c | 259187 | 167998 3532098 10927789 | 2147483647 259185 84 | 0.001 % |
467.30/467.32 c | 259399 | 167998 3532098 10927789 | 2147483647 259397 84 | 0.001 % |
467.60/467.64 c | 259633 | 167998 3532098 10927789 | 2147483647 259631 84 | 0.001 % |
468.40/468.49 c | 259890 | 167998 3532098 10927789 | 2147483647 259888 84 | 0.001 % |
469.60/469.66 c | 260171 | 167998 3532098 10927789 | 2147483647 260169 84 | 0.001 % |
470.10/470.12 c | 260484 | 167998 3532098 10927789 | 2147483647 260482 84 | 0.001 % |
470.60/470.71 c | 260824 | 167998 3532098 10927789 | 2147483647 260822 84 | 0.001 % |
471.40/471.48 c | 261197 | 167998 3532098 10927789 | 2147483647 261195 84 | 0.001 % |
471.90/471.92 c | 261607 | 167998 3532098 10927789 | 2147483647 261605 84 | 0.001 % |
472.50/472.59 c | 262057 | 167998 3532098 10927789 | 2147483647 262055 84 | 0.001 % |
473.40/473.43 c | 262551 | 167998 3532098 10927789 | 2147483647 262549 84 | 0.001 % |
474.30/474.36 c | 263093 | 167998 3532098 10927789 | 2147483647 263091 85 | 0.001 % |
475.30/475.37 c | 263691 | 167998 3532098 10927789 | 2147483647 263689 85 | 0.001 % |
476.00/476.10 c | 264347 | 167998 3532098 10927789 | 2147483647 264345 85 | 0.001 % |
477.30/477.38 c | 265067 | 167998 3532098 10927789 | 2147483647 265065 85 | 0.001 % |
479.20/479.28 c | 265859 | 167998 3532098 10927789 | 2147483647 265857 85 | 0.001 % |
480.80/480.84 c | 266730 | 167998 3532098 10927789 | 2147483647 266728 85 | 0.001 % |
481.90/481.96 c | 267688 | 167998 3532098 10927789 | 2147483647 267686 85 | 0.001 % |
483.70/483.72 c | 268741 | 167998 3532098 10927789 | 2147483647 268739 85 | 0.001 % |
485.10/485.18 c | 269900 | 167998 3532098 10927789 | 2147483647 269898 86 | 0.001 % |
486.80/486.81 c | 271175 | 167998 3532098 10927789 | 2147483647 271173 86 | 0.001 % |
489.20/489.31 c | 272575 | 167998 3532098 10927789 | 2147483647 272573 86 | 0.001 % |
491.40/491.43 c | 274115 | 167998 3532098 10927789 | 2147483647 274113 86 | 0.001 % |
494.60/494.63 c | 275809 | 167998 3532098 10927789 | 2147483647 275807 86 | 0.001 % |
497.40/497.48 c | 277679 | 167998 3532098 10927789 | 2147483647 277677 86 | 0.001 % |
500.80/500.84 c | 279728 | 167998 3532098 10927789 | 2147483647 279726 86 | 0.001 % |
503.70/503.73 c | 281981 | 167998 3532098 10927789 | 2147483647 281979 86 | 0.001 % |
507.30/507.35 c | 284462 | 167998 3532098 10927789 | 2147483647 284460 86 | 0.001 % |
509.80/509.90 c | 287190 | 167998 3532098 10927789 | 2147483647 287188 87 | 0.001 % |
510.10/510.21 c | 287291 | 167998 3532098 10927789 | 2147483647 287289 87 | 0.001 % |
510.30/510.34 c | 287403 | 167998 3532098 10927789 | 2147483647 287401 87 | 0.001 % |
510.50/510.52 c | 287528 | 167998 3532098 10927789 | 2147483647 287526 87 | 0.001 % |
510.80/510.82 c | 287661 | 167998 3532098 10927789 | 2147483647 287659 87 | 0.001 % |
511.00/511.01 c | 287807 | 167998 3532098 10927789 | 2147483647 287805 87 | 0.001 % |
511.20/511.25 c | 287967 | 167998 3532098 10927789 | 2147483647 287965 87 | 0.001 % |
511.80/511.82 c | 288144 | 167998 3532098 10927789 | 2147483647 288142 87 | 0.001 % |
512.10/512.20 c | 288337 | 167998 3532098 10927789 | 2147483647 288335 87 | 0.001 % |
512.80/512.90 c | 288549 | 167998 3532098 10927789 | 2147483647 288547 87 | 0.001 % |
513.30/513.40 c | 288782 | 167998 3532098 10927789 | 2147483647 288780 87 | 0.001 % |
513.90/513.92 c | 289039 | 167998 3532098 10927789 | 2147483647 289037 87 | 0.001 % |
514.50/514.53 c | 289322 | 167998 3532098 10927789 | 2147483647 289320 87 | 0.001 % |
514.90/514.94 c | 289631 | 167998 3532098 10927789 | 2147483647 289629 87 | 0.001 % |
515.90/516.00 c | 289971 | 167998 3532098 10927789 | 2147483647 289969 87 | 0.001 % |
517.20/517.28 c | 290343 | 167998 3532098 10927789 | 2147483647 290341 87 | 0.001 % |
517.90/518.01 c | 290752 | 167998 3532098 10927789 | 2147483647 290750 87 | 0.001 % |
519.40/519.41 c | 291203 | 167998 3532098 10927789 | 2147483647 291201 87 | 0.001 % |
520.10/520.18 c | 291696 | 167998 3532098 10927789 | 2147483647 291694 87 | 0.001 % |
521.60/521.67 c | 292238 | 167998 3532098 10927789 | 2147483647 292236 87 | 0.001 % |
522.20/522.30 c | 292837 | 167998 3532098 10927789 | 2147483647 292835 87 | 0.001 % |
523.50/523.55 c | 293493 | 167998 3532098 10927789 | 2147483647 293491 87 | 0.001 % |
524.40/524.45 c | 294213 | 167998 3532098 10927789 | 2147483647 294211 87 | 0.001 % |
526.20/526.21 c | 295007 | 167998 3532098 10927789 | 2147483647 295005 87 | 0.001 % |
527.60/527.62 c | 295878 | 167998 3532098 10927789 | 2147483647 295876 87 | 0.001 % |
529.60/529.68 c | 296837 | 167998 3532098 10927789 | 2147483647 296835 87 | 0.001 % |
530.90/530.99 c | 297890 | 167998 3532098 10927789 | 2147483647 297888 87 | 0.001 % |
533.30/533.36 c | 299048 | 167998 3532098 10927789 | 2147483647 299046 88 | 0.001 % |
536.10/536.19 c | 300321 | 167998 3532098 10927789 | 2147483647 300319 88 | 0.001 % |
538.70/538.80 c | 301721 | 167998 3532098 10927789 | 2147483647 301719 88 | 0.001 % |
540.30/540.39 c | 303262 | 167998 3532098 10927789 | 2147483647 303260 88 | 0.001 % |
542.31/542.38 c | 304956 | 167998 3532098 10927789 | 2147483647 304954 88 | 0.001 % |
546.50/546.61 c | 306820 | 167998 3532098 10927789 | 2147483647 306818 88 | 0.001 % |
550.90/551.00 c | 308872 | 167998 3532098 10927789 | 2147483647 308870 88 | 0.001 % |
553.80/553.87 c | 311125 | 167998 3532098 10927789 | 2147483647 311123 90 | 0.001 % |
556.90/556.93 c | 313604 | 167998 3532098 10927789 | 2147483647 313602 90 | 0.001 % |
559.80/559.84 c | 316330 | 167998 3532098 10927789 | 2147483647 316328 90 | 0.001 % |
563.00/563.10 c | 319327 | 167998 3532098 10927789 | 2147483647 319325 91 | 0.001 % |
563.30/563.37 c | 319427 | 167998 3532098 10927789 | 2147483647 319425 91 | 0.001 % |
563.60/563.63 c | 319537 | 167998 3532098 10927789 | 2147483647 319535 91 | 0.001 % |
564.20/564.23 c | 319659 | 167998 3532098 10927789 | 2147483647 319657 91 | 0.001 % |
564.60/564.66 c | 319792 | 167998 3532098 10927789 | 2147483647 319790 91 | 0.001 % |
565.30/565.35 c | 319938 | 167998 3532098 10927789 | 2147483647 319936 91 | 0.001 % |
565.80/565.81 c | 320100 | 167998 3532098 10927789 | 2147483647 320098 91 | 0.001 % |
566.30/566.37 c | 320276 | 167998 3532098 10927789 | 2147483647 320274 91 | 0.001 % |
566.70/566.78 c | 320471 | 167998 3532098 10927789 | 2147483647 320469 91 | 0.001 % |
567.00/567.08 c | 320686 | 167998 3532098 10927789 | 2147483647 320684 91 | 0.001 % |
567.90/567.91 c | 320921 | 167998 3532098 10927789 | 2147483647 320919 91 | 0.001 % |
568.20/568.23 c | 321177 | 167998 3532098 10927789 | 2147483647 321175 91 | 0.001 % |
568.60/568.62 c | 321461 | 167998 3532098 10927789 | 2147483647 321459 91 | 0.001 % |
569.30/569.37 c | 321770 | 167998 3532098 10927789 | 2147483647 321768 91 | 0.001 % |
569.90/569.93 c | 322111 | 167998 3532098 10927789 | 2147483647 322109 92 | 0.001 % |
570.80/570.87 c | 322483 | 167998 3532098 10927789 | 2147483647 322481 92 | 0.001 % |
571.60/571.63 c | 322892 | 167998 3532098 10927789 | 2147483647 322890 92 | 0.001 % |
572.30/572.34 c | 323341 | 167998 3532098 10927789 | 2147483647 323339 92 | 0.001 % |
573.11/573.19 c | 323834 | 167998 3532098 10927789 | 2147483647 323832 92 | 0.001 % |
574.01/574.08 c | 324377 | 167998 3532098 10927789 | 2147483647 324375 92 | 0.001 % |
574.61/574.64 c | 324976 | 167998 3532098 10927789 | 2147483647 324974 92 | 0.001 % |
575.91/575.95 c | 325632 | 167998 3532098 10927789 | 2147483647 325630 92 | 0.001 % |
576.81/576.82 c | 326352 | 167998 3532098 10927789 | 2147483647 326350 92 | 0.001 % |
578.71/578.76 c | 327144 | 167998 3532098 10927789 | 2147483647 327142 92 | 0.001 % |
579.61/579.69 c | 328016 | 167998 3532098 10927789 | 2147483647 328014 92 | 0.001 % |
581.51/581.53 c | 328975 | 167998 3532098 10927789 | 2147483647 328973 92 | 0.001 % |
582.61/582.65 c | 330028 | 167998 3532098 10927789 | 2147483647 330026 92 | 0.001 % |
584.91/584.96 c | 331188 | 167998 3532098 10927789 | 2147483647 331186 93 | 0.001 % |
586.41/586.51 c | 332461 | 167998 3532098 10927789 | 2147483647 332459 92 | 0.001 % |
588.41/588.50 c | 333861 | 167998 3532098 10927789 | 2147483647 333859 92 | 0.001 % |
590.61/590.68 c | 335403 | 167998 3532098 10927789 | 2147483647 335401 92 | 0.001 % |
593.51/593.53 c | 337097 | 167998 3532098 10927789 | 2147483647 337095 92 | 0.001 % |
596.01/596.10 c | 338960 | 167998 3532098 10927789 | 2147483647 338958 94 | 0.001 % |
598.31/598.38 c | 341009 | 167998 3532098 10927789 | 2147483647 341007 94 | 0.001 % |
601.21/601.24 c | 343264 | 167998 3532098 10927789 | 2147483647 343262 95 | 0.001 % |
604.61/604.64 c | 345742 | 167998 3532098 10927789 | 2147483647 345740 95 | 0.001 % |
608.31/608.40 c | 348467 | 167998 3532098 10927789 | 2147483647 348465 95 | 0.001 % |
611.31/611.41 c | 351464 | 167998 3532098 10927789 | 2147483647 351462 95 | 0.001 % |
614.71/614.76 c | 354762 | 167998 3532098 10927789 | 2147483647 354760 95 | 0.001 % |
614.91/614.91 c | 354863 | 167998 3532098 10927789 | 2147483647 354861 95 | 0.001 % |
615.11/615.16 c | 354973 | 167998 3532098 10927789 | 2147483647 354971 95 | 0.001 % |
615.31/615.38 c | 355094 | 167998 3532098 10927789 | 2147483647 355092 95 | 0.001 % |
615.91/615.95 c | 355228 | 167998 3532098 10927789 | 2147483647 355226 95 | 0.001 % |
616.31/616.35 c | 355375 | 167998 3532098 10927789 | 2147483647 355373 95 | 0.001 % |
616.51/616.61 c | 355535 | 167998 3532098 10927789 | 2147483647 355533 95 | 0.001 % |
617.11/617.12 c | 355712 | 167998 3532098 10927789 | 2147483647 355710 95 | 0.001 % |
617.31/617.41 c | 355905 | 167998 3532098 10927789 | 2147483647 355903 95 | 0.001 % |
618.11/618.13 c | 356119 | 167998 3532098 10927789 | 2147483647 356117 95 | 0.001 % |
618.51/618.61 c | 356352 | 167998 3532098 10927789 | 2147483647 356350 95 | 0.001 % |
618.91/619.01 c | 356609 | 167998 3532098 10927789 | 2147483647 356607 95 | 0.001 % |
619.51/619.52 c | 356890 | 167998 3532098 10927789 | 2147483647 356888 95 | 0.001 % |
619.91/619.96 c | 357200 | 167998 3532098 10927789 | 2147483647 357198 95 | 0.001 % |
620.51/620.59 c | 357540 | 167998 3532098 10927789 | 2147483647 357538 95 | 0.001 % |
621.91/622.01 c | 357913 | 167998 3532098 10927789 | 2147483647 357911 95 | 0.001 % |
623.11/623.14 c | 358323 | 167998 3532098 10927789 | 2147483647 358321 95 | 0.001 % |
623.81/623.83 c | 358773 | 167998 3532098 10927789 | 2147483647 358771 95 | 0.001 % |
624.91/624.99 c | 359266 | 167998 3532098 10927789 | 2147483647 359264 95 | 0.001 % |
625.71/625.74 c | 359808 | 167998 3532098 10927789 | 2147483647 359806 95 | 0.001 % |
626.51/626.58 c | 360404 | 167998 3532098 10927789 | 2147483647 360402 95 | 0.001 % |
627.51/627.55 c | 361059 | 167998 3532098 10927789 | 2147483647 361057 95 | 0.001 % |
628.71/628.75 c | 361779 | 167998 3532098 10927789 | 2147483647 361777 95 | 0.001 % |
629.41/629.50 c | 362571 | 167998 3532098 10927789 | 2147483647 362569 95 | 0.001 % |
630.81/630.87 c | 363445 | 167998 3532098 10927789 | 2147483647 363443 95 | 0.001 % |
632.21/632.30 c | 364404 | 167998 3532098 10927789 | 2147483647 364402 95 | 0.001 % |
633.91/633.96 c | 365457 | 167998 3532098 10927789 | 2147483647 365455 95 | 0.001 % |
636.71/636.78 c | 366617 | 167998 3532098 10927789 | 2147483647 366615 95 | 0.001 % |
639.51/639.60 c | 367890 | 167998 3532098 10927789 | 2147483647 367888 95 | 0.001 % |
641.11/641.16 c | 369290 | 167998 3532098 10927789 | 2147483647 369288 95 | 0.001 % |
642.81/642.84 c | 370830 | 167998 3532098 10927789 | 2147483647 370828 95 | 0.001 % |
645.81/645.91 c | 372524 | 167998 3532098 10927789 | 2147483647 372522 95 | 0.001 % |
649.61/649.62 c | 374388 | 167998 3532098 10927789 | 2147483647 374386 95 | 0.001 % |
652.32/652.41 c | 376437 | 167998 3532098 10927789 | 2147483647 376435 96 | 0.001 % |
656.41/656.43 c | 378691 | 167998 3532098 10927789 | 2147483647 378689 96 | 0.001 % |
660.02/660.04 c | 381169 | 167998 3532098 10927789 | 2147483647 381167 96 | 0.001 % |
663.32/663.39 c | 383894 | 167998 3532098 10927789 | 2147483647 383892 96 | 0.001 % |
668.31/668.37 c | 386893 | 167998 3532098 10927789 | 2147483647 386891 96 | 0.001 % |
672.81/672.88 c | 390190 | 167998 3532098 10927789 | 2147483647 390188 100 | 0.001 % |
677.01/677.09 c | 393815 | 167998 3532098 10927789 | 2147483647 393813 99 | 0.001 % |
677.41/677.45 c | 393917 | 167998 3532098 10927789 | 2147483647 393915 99 | 0.001 % |
677.81/677.87 c | 394027 | 167998 3532098 10927789 | 2147483647 394025 99 | 0.001 % |
678.21/678.25 c | 394148 | 167998 3532098 10927789 | 2147483647 394146 99 | 0.001 % |
678.72/678.75 c | 394281 | 167998 3532098 10927789 | 2147483647 394279 99 | 0.001 % |
679.11/679.18 c | 394428 | 167998 3532098 10927789 | 2147483647 394426 99 | 0.001 % |
679.61/679.63 c | 394589 | 167998 3532098 10927789 | 2147483647 394587 99 | 0.001 % |
680.01/680.01 c | 394768 | 167998 3532098 10927789 | 2147483647 394766 99 | 0.001 % |
680.41/680.50 c | 394961 | 167998 3532098 10927789 | 2147483647 394959 99 | 0.001 % |
681.01/681.05 c | 395173 | 167998 3532098 10927789 | 2147483647 395171 99 | 0.001 % |
681.51/681.53 c | 395407 | 167998 3532098 10927789 | 2147483647 395405 99 | 0.001 % |
681.91/682.00 c | 395664 | 167998 3532098 10927789 | 2147483647 395662 99 | 0.001 % |
683.01/683.04 c | 395945 | 167998 3532098 10927789 | 2147483647 395943 99 | 0.001 % |
683.41/683.47 c | 396254 | 167998 3532098 10927789 | 2147483647 396252 99 | 0.001 % |
684.41/684.48 c | 396593 | 167998 3532098 10927789 | 2147483647 396591 99 | 0.001 % |
685.32/685.33 c | 396968 | 167998 3532098 10927789 | 2147483647 396966 99 | 0.001 % |
685.91/685.95 c | 397377 | 167998 3532098 10927789 | 2147483647 397375 99 | 0.001 % |
686.42/686.49 c | 397827 | 167998 3532098 10927789 | 2147483647 397825 99 | 0.001 % |
687.42/687.51 c | 398320 | 167998 3532098 10927789 | 2147483647 398318 99 | 0.001 % |
688.12/688.19 c | 398862 | 167998 3532098 10927789 | 2147483647 398860 99 | 0.001 % |
689.02/689.10 c | 399459 | 167998 3532098 10927789 | 2147483647 399457 99 | 0.001 % |
689.72/689.81 c | 400115 | 167998 3532098 10927789 | 2147483647 400113 99 | 0.001 % |
691.02/691.09 c | 400835 | 167998 3532098 10927789 | 2147483647 400833 99 | 0.001 % |
692.22/692.24 c | 401628 | 167998 3532098 10927789 | 2147483647 401626 99 | 0.001 % |
693.82/693.91 c | 402499 | 167998 3532098 10927789 | 2147483647 402497 99 | 0.001 % |
695.72/695.76 c | 403459 | 167998 3532098 10927789 | 2147483647 403457 99 | 0.001 % |
697.92/698.00 c | 404512 | 167998 3532098 10927789 | 2147483647 404510 99 | 0.001 % |
699.82/699.86 c | 405670 | 167998 3532098 10927789 | 2147483647 405668 99 | 0.001 % |
703.32/703.37 c | 406943 | 167998 3532098 10927789 | 2147483647 406941 99 | 0.001 % |
705.42/705.49 c | 408343 | 167998 3532098 10927789 | 2147483647 408341 99 | 0.001 % |
708.42/708.43 c | 409890 | 167998 3532098 10927789 | 2147483647 409888 99 | 0.001 % |
710.32/710.38 c | 411587 | 167998 3532098 10927789 | 2147483647 411585 99 | 0.001 % |
714.92/714.93 c | 413453 | 167998 3532098 10927789 | 2147483647 413451 99 | 0.001 % |
717.72/717.74 c | 415502 | 167998 3532098 10927789 | 2147483647 415500 99 | 0.001 % |
720.92/720.99 c | 417757 | 167998 3532098 10927789 | 2147483647 417755 99 | 0.001 % |
725.22/725.24 c | 420236 | 167998 3532098 10927789 | 2147483647 420234 99 | 0.001 % |
728.32/728.37 c | 422961 | 167998 3532098 10927789 | 2147483647 422959 100 | 0.001 % |
733.32/733.41 c | 425962 | 167998 3532098 10927789 | 2147483647 425960 99 | 0.001 % |
736.92/736.95 c | 429260 | 167998 3532098 10927789 | 2147483647 429258 100 | 0.001 % |
742.12/742.15 c | 432886 | 167998 3532098 10927789 | 2147483647 432884 100 | 0.001 % |
747.71/747.81 c | 436873 | 167998 3532098 10927789 | 2147483647 436871 100 | 0.001 % |
747.91/747.99 c | 436973 | 167998 3532098 10927789 | 2147483647 436971 100 | 0.001 % |
748.21/748.24 c | 437083 | 167998 3532098 10927789 | 2147483647 437081 100 | 0.001 % |
748.71/748.77 c | 437204 | 167998 3532098 10927789 | 2147483647 437202 100 | 0.001 % |
749.31/749.33 c | 437337 | 167998 3532098 10927789 | 2147483647 437335 100 | 0.001 % |
749.61/749.68 c | 437490 | 167998 3532098 10927789 | 2147483647 437488 100 | 0.001 % |
750.01/750.01 c | 437650 | 167998 3532098 10927789 | 2147483647 437648 100 | 0.001 % |
750.71/750.72 c | 437826 | 167998 3532098 10927789 | 2147483647 437824 100 | 0.001 % |
751.11/751.15 c | 438023 | 167998 3532098 10927789 | 2147483647 438021 100 | 0.001 % |
751.91/751.91 c | 438238 | 167998 3532098 10927789 | 2147483647 438236 100 | 0.001 % |
752.31/752.34 c | 438474 | 167998 3532098 10927789 | 2147483647 438472 100 | 0.001 % |
752.81/752.83 c | 438730 | 167998 3532098 10927789 | 2147483647 438728 100 | 0.001 % |
753.81/753.83 c | 439011 | 167998 3532098 10927789 | 2147483647 439009 100 | 0.001 % |
754.41/754.45 c | 439321 | 167998 3532098 10927789 | 2147483647 439319 100 | 0.001 % |
755.51/755.56 c | 439664 | 167998 3532098 10927789 | 2147483647 439662 100 | 0.001 % |
756.51/756.56 c | 440036 | 167998 3532098 10927789 | 2147483647 440034 100 | 0.001 % |
757.61/757.62 c | 440446 | 167998 3532098 10927789 | 2147483647 440444 100 | 0.001 % |
758.41/758.42 c | 440899 | 167998 3532098 10927789 | 2147483647 440897 100 | 0.001 % |
760.41/760.49 c | 441392 | 167998 3532098 10927789 | 2147483647 441390 100 | 0.001 % |
762.21/762.31 c | 441934 | 167998 3532098 10927789 | 2147483647 441932 100 | 0.001 % |
763.51/763.55 c | 442531 | 167998 3532098 10927789 | 2147483647 442529 100 | 0.001 % |
764.81/764.90 c | 443186 | 167998 3532098 10927789 | 2147483647 443184 100 | 0.001 % |
765.91/765.96 c | 443906 | 167998 3532098 10927789 | 2147483647 443904 100 | 0.001 % |
766.91/766.99 c | 444698 | 167998 3532098 10927789 | 2147483647 444696 100 | 0.001 % |
768.31/768.38 c | 445569 | 167998 3532098 10927789 | 2147483647 445567 100 | 0.001 % |
770.11/770.18 c | 446527 | 167998 3532098 10927789 | 2147483647 446525 100 | 0.001 % |
772.01/772.01 c | 447580 | 167998 3532098 10927789 | 2147483647 447578 100 | 0.001 % |
774.71/774.76 c | 448739 | 167998 3532098 10927789 | 2147483647 448737 100 | 0.001 % |
776.51/776.55 c | 450013 | 167998 3532098 10927789 | 2147483647 450011 101 | 0.001 % |
779.71/779.73 c | 451416 | 167998 3532098 10927789 | 2147483647 451414 101 | 0.001 % |
782.91/782.91 c | 452958 | 167998 3532098 10927789 | 2147483647 452956 101 | 0.001 % |
786.21/786.27 c | 454654 | 167998 3532098 10927789 | 2147483647 454652 102 | 0.001 % |
788.21/788.29 c | 456522 | 167998 3532098 10927789 | 2147483647 456520 102 | 0.001 % |
791.51/791.55 c | 458571 | 167998 3532098 10927789 | 2147483647 458569 102 | 0.001 % |
796.11/796.13 c | 460825 | 167998 3532098 10927789 | 2147483647 460823 102 | 0.001 % |
799.91/799.91 c | 463303 | 167998 3532098 10927789 | 2147483647 463301 103 | 0.001 % |
803.12/803.17 c | 466028 | 167998 3532098 10927789 | 2147483647 466026 104 | 0.001 % |
807.72/807.73 c | 469025 | 167998 3532098 10927789 | 2147483647 469023 104 | 0.001 % |
813.02/813.03 c | 472322 | 167998 3532098 10927789 | 2147483647 472320 106 | 0.001 % |
818.91/818.95 c | 475947 | 167998 3532098 10927789 | 2147483647 475945 107 | 0.001 % |
825.21/825.20 c | 479935 | 167998 3532098 10927789 | 2147483647 479933 107 | 0.001 % |
832.91/832.97 c | 484321 | 167998 3532098 10927789 | 2147483647 484319 107 | 0.001 % |
833.31/833.37 c | 484421 | 167998 3532098 10927789 | 2147483647 484419 107 | 0.001 % |
833.71/833.71 c | 484531 | 167998 3532098 10927789 | 2147483647 484529 107 | 0.001 % |
834.51/834.58 c | 484653 | 167998 3532098 10927789 | 2147483647 484651 107 | 0.001 % |
834.81/834.85 c | 484786 | 167998 3532098 10927789 | 2147483647 484784 107 | 0.001 % |
835.11/835.19 c | 484932 | 167998 3532098 10927789 | 2147483647 484930 107 | 0.001 % |
835.61/835.67 c | 485092 | 167998 3532098 10927789 | 2147483647 485090 107 | 0.001 % |
836.21/836.24 c | 485268 | 167998 3532098 10927789 | 2147483647 485266 107 | 0.001 % |
836.61/836.66 c | 485462 | 167998 3532098 10927789 | 2147483647 485460 107 | 0.001 % |
837.01/837.08 c | 485674 | 167998 3532098 10927789 | 2147483647 485672 107 | 0.001 % |
837.41/837.44 c | 485908 | 167998 3532098 10927789 | 2147483647 485906 107 | 0.001 % |
838.21/838.21 c | 486164 | 167998 3532098 10927789 | 2147483647 486162 107 | 0.001 % |
838.51/838.54 c | 486445 | 167998 3532098 10927789 | 2147483647 486443 106 | 0.001 % |
839.01/839.01 c | 486756 | 167998 3532098 10927789 | 2147483647 486754 106 | 0.001 % |
839.51/839.53 c | 487096 | 167998 3532098 10927789 | 2147483647 487094 106 | 0.001 % |
840.51/840.55 c | 487468 | 167998 3532098 10927789 | 2147483647 487466 106 | 0.001 % |
841.21/841.23 c | 487879 | 167998 3532098 10927789 | 2147483647 487877 106 | 0.001 % |
842.01/842.03 c | 488328 | 167998 3532098 10927789 | 2147483647 488326 106 | 0.001 % |
843.11/843.12 c | 488821 | 167998 3532098 10927789 | 2147483647 488819 106 | 0.001 % |
844.51/844.60 c | 489363 | 167998 3532098 10927789 | 2147483647 489361 106 | 0.001 % |
845.81/845.86 c | 489964 | 167998 3532098 10927789 | 2147483647 489962 106 | 0.001 % |
847.11/847.12 c | 490619 | 167998 3532098 10927789 | 2147483647 490617 107 | 0.001 % |
848.51/848.58 c | 491339 | 167998 3532098 10927789 | 2147483647 491337 107 | 0.001 % |
849.61/849.69 c | 492131 | 167998 3532098 10927789 | 2147483647 492129 107 | 0.001 % |
851.71/851.77 c | 493002 | 167998 3532098 10927789 | 2147483647 493000 107 | 0.001 % |
853.51/853.51 c | 493965 | 167998 3532098 10927789 | 2147483647 493963 107 | 0.001 % |
855.21/855.24 c | 495019 | 167998 3532098 10927789 | 2147483647 495017 107 | 0.001 % |
859.41/859.46 c | 496178 | 167998 3532098 10927789 | 2147483647 496176 107 | 0.001 % |
861.01/861.10 c | 497451 | 167998 3532098 10927789 | 2147483647 497449 107 | 0.001 % |
864.51/864.54 c | 498851 | 167998 3532098 10927789 | 2147483647 498849 107 | 0.001 % |
866.91/866.98 c | 500392 | 167998 3532098 10927789 | 2147483647 500390 107 | 0.001 % |
870.11/870.19 c | 502087 | 167998 3532098 10927789 | 2147483647 502085 107 | 0.001 % |
872.71/872.76 c | 503951 | 167998 3532098 10927789 | 2147483647 503949 107 | 0.001 % |
876.91/876.96 c | 506000 | 167998 3532098 10927789 | 2147483647 505998 108 | 0.001 % |
880.21/880.25 c | 508253 | 167998 3532098 10927789 | 2147483647 508251 108 | 0.001 % |
886.41/886.46 c | 510732 | 167998 3532098 10927789 | 2147483647 510730 108 | 0.001 % |
891.02/891.01 c | 513460 | 167998 3532098 10927789 | 2147483647 513458 109 | 0.001 % |
895.51/895.58 c | 516458 | 167998 3532098 10927789 | 2147483647 516456 109 | 0.001 % |
900.71/900.76 c | 519754 | 167998 3532098 10927789 | 2147483647 519752 109 | 0.001 % |
905.71/905.71 c | 523379 | 167998 3532098 10927789 | 2147483647 523377 109 | 0.001 % |
912.61/912.68 c | 527366 | 167998 3532098 10927789 | 2147483647 527364 109 | 0.001 % |
918.72/918.76 c | 531752 | 167998 3532098 10927789 | 2147483647 531750 109 | 0.001 % |
925.62/925.64 c | 536575 | 167998 3532098 10927789 | 2147483647 536573 109 | 0.001 % |
926.22/926.27 c | 536677 | 167998 3532098 10927789 | 2147483647 536675 109 | 0.001 % |
926.72/926.77 c | 536787 | 167998 3532098 10927789 | 2147483647 536785 109 | 0.001 % |
927.22/927.27 c | 536908 | 167998 3532098 10927789 | 2147483647 536906 109 | 0.001 % |
927.52/927.58 c | 537042 | 167998 3532098 10927789 | 2147483647 537040 109 | 0.001 % |
927.92/927.99 c | 537189 | 167998 3532098 10927789 | 2147483647 537187 109 | 0.001 % |
928.42/928.46 c | 537349 | 167998 3532098 10927789 | 2147483647 537347 109 | 0.001 % |
928.82/928.84 c | 537525 | 167998 3532098 10927789 | 2147483647 537523 109 | 0.001 % |
930.12/930.12 c | 537718 | 167998 3532098 10927789 | 2147483647 537716 109 | 0.001 % |
930.82/930.87 c | 537932 | 167998 3532098 10927789 | 2147483647 537930 109 | 0.001 % |
931.52/931.59 c | 538166 | 167998 3532098 10927789 | 2147483647 538164 109 | 0.001 % |
932.12/932.15 c | 538422 | 167998 3532098 10927789 | 2147483647 538420 109 | 0.001 % |
933.22/933.29 c | 538703 | 167998 3532098 10927789 | 2147483647 538701 109 | 0.001 % |
934.42/934.46 c | 539012 | 167998 3532098 10927789 | 2147483647 539010 109 | 0.001 % |
935.62/935.63 c | 539351 | 167998 3532098 10927789 | 2147483647 539349 109 | 0.001 % |
936.52/936.60 c | 539723 | 167998 3532098 10927789 | 2147483647 539721 109 | 0.001 % |
937.22/937.24 c | 540133 | 167998 3532098 10927789 | 2147483647 540131 109 | 0.001 % |
938.12/938.13 c | 540582 | 167998 3532098 10927789 | 2147483647 540580 109 | 0.001 % |
939.12/939.19 c | 541075 | 167998 3532098 10927789 | 2147483647 541073 109 | 0.001 % |
940.32/940.38 c | 541617 | 167998 3532098 10927789 | 2147483647 541615 109 | 0.001 % |
941.52/941.56 c | 542215 | 167998 3532098 10927789 | 2147483647 542213 109 | 0.001 % |
942.42/942.51 c | 542871 | 167998 3532098 10927789 | 2147483647 542869 109 | 0.001 % |
943.62/943.68 c | 543592 | 167998 3532098 10927789 | 2147483647 543590 109 | 0.001 % |
945.22/945.28 c | 544384 | 167998 3532098 10927789 | 2147483647 544382 109 | 0.001 % |
946.72/946.71 c | 545255 | 167998 3532098 10927789 | 2147483647 545253 109 | 0.001 % |
948.52/948.55 c | 546213 | 167998 3532098 10927789 | 2147483647 546211 109 | 0.001 % |
950.42/950.44 c | 547267 | 167998 3532098 10927789 | 2147483647 547265 109 | 0.001 % |
952.82/952.88 c | 548425 | 167998 3532098 10927789 | 2147483647 548423 109 | 0.001 % |
954.92/954.96 c | 549698 | 167998 3532098 10927789 | 2147483647 549696 109 | 0.001 % |
956.72/956.81 c | 551099 | 167998 3532098 10927789 | 2147483647 551097 109 | 0.001 % |
961.02/961.10 c | 552641 | 167998 3532098 10927789 | 2147483647 552639 109 | 0.001 % |
965.82/965.86 c | 554335 | 167998 3532098 10927789 | 2147483647 554333 109 | 0.001 % |
969.22/969.21 c | 556198 | 167998 3532098 10927789 | 2147483647 556196 111 | 0.001 % |
971.02/971.07 c | 558248 | 167998 3532098 10927789 | 2147483647 558246 111 | 0.001 % |
974.32/974.31 c | 560501 | 167998 3532098 10927789 | 2147483647 560499 111 | 0.001 % |
980.92/980.98 c | 562980 | 167998 3532098 10927789 | 2147483647 562978 111 | 0.001 % |
985.22/985.27 c | 565705 | 167998 3532098 10927789 | 2147483647 565703 111 | 0.001 % |
990.32/990.36 c | 568703 | 167998 3532098 10927789 | 2147483647 568701 111 | 0.001 % |
996.52/996.58 c | 571999 | 167998 3532098 10927789 | 2147483647 571997 111 | 0.001 % |
1002.82/1002.87 c | 575626 | 167998 3532098 10927789 | 2147483647 575624 111 | 0.001 % |
1009.83/1009.83 c | 579613 | 167998 3532098 10927789 | 2147483647 579611 111 | 0.001 % |
1016.62/1016.68 c | 583999 | 167998 3532098 10927789 | 2147483647 583997 112 | 0.001 % |
1026.22/1026.25 c | 588824 | 167998 3532098 10927789 | 2147483647 588822 112 | 0.001 % |
1034.03/1034.02 c | 594130 | 167998 3532098 10927789 | 2147483647 594128 113 | 0.001 % |
1034.23/1034.27 c | 594231 | 167998 3532098 10927789 | 2147483647 594229 113 | 0.001 % |
1034.53/1034.53 c | 594341 | 167998 3532098 10927789 | 2147483647 594339 113 | 0.001 % |
1034.83/1034.84 c | 594462 | 167998 3532098 10927789 | 2147483647 594460 113 | 0.001 % |
1035.23/1035.25 c | 594595 | 167998 3532098 10927789 | 2147483647 594593 113 | 0.001 % |
1035.63/1035.67 c | 594741 | 167998 3532098 10927789 | 2147483647 594739 113 | 0.001 % |
1036.03/1036.03 c | 594901 | 167998 3532098 10927789 | 2147483647 594899 113 | 0.001 % |
1036.33/1036.34 c | 595077 | 167998 3532098 10927789 | 2147483647 595075 113 | 0.001 % |
1037.03/1037.02 c | 595272 | 167998 3532098 10927789 | 2147483647 595270 113 | 0.001 % |
1037.33/1037.38 c | 595487 | 167998 3532098 10927789 | 2147483647 595485 113 | 0.001 % |
1037.83/1037.91 c | 595720 | 167998 3532098 10927789 | 2147483647 595718 113 | 0.001 % |
1038.43/1038.42 c | 595976 | 167998 3532098 10927789 | 2147483647 595974 113 | 0.001 % |
1038.93/1038.95 c | 596260 | 167998 3532098 10927789 | 2147483647 596258 113 | 0.001 % |
1039.63/1039.63 c | 596572 | 167998 3532098 10927789 | 2147483647 596570 113 | 0.001 % |
1040.03/1040.09 c | 596912 | 167998 3532098 10927789 | 2147483647 596910 113 | 0.001 % |
1040.73/1040.77 c | 597284 | 167998 3532098 10927789 | 2147483647 597282 113 | 0.001 % |
1041.43/1041.45 c | 597695 | 167998 3532098 10927789 | 2147483647 597693 112 | 0.001 % |
1042.23/1042.24 c | 598144 | 167998 3532098 10927789 | 2147483647 598142 112 | 0.001 % |
1043.03/1043.10 c | 598640 | 167998 3532098 10927789 | 2147483647 598638 112 | 0.001 % |
1044.03/1044.02 c | 599183 | 167998 3532098 10927789 | 2147483647 599181 112 | 0.001 % |
1044.63/1044.71 c | 599781 | 167998 3532098 10927789 | 2147483647 599779 112 | 0.001 % |
1045.93/1045.96 c | 600436 | 167998 3532098 10927789 | 2147483647 600434 112 | 0.001 % |
1047.13/1047.20 c | 601157 | 167998 3532098 10927789 | 2147483647 601155 112 | 0.001 % |
1048.33/1048.36 c | 601949 | 167998 3532098 10927789 | 2147483647 601947 112 | 0.001 % |
1049.63/1049.64 c | 602820 | 167998 3532098 10927789 | 2147483647 602818 112 | 0.001 % |
1051.13/1051.12 c | 603779 | 167998 3532098 10927789 | 2147483647 603777 112 | 0.001 % |
1052.63/1052.68 c | 604834 | 167998 3532098 10927789 | 2147483647 604832 112 | 0.001 % |
1054.43/1054.48 c | 605992 | 167998 3532098 10927789 | 2147483647 605990 112 | 0.001 % |
1056.73/1056.78 c | 607267 | 167998 3532098 10927789 | 2147483647 607265 111 | 0.001 % |
1058.83/1058.87 c | 608667 | 167998 3532098 10927789 | 2147483647 608665 111 | 0.001 % |
1061.23/1061.29 c | 610207 | 167998 3532098 10927789 | 2147483647 610205 111 | 0.001 % |
1064.33/1064.35 c | 611903 | 167998 3532098 10927789 | 2147483647 611901 111 | 0.001 % |
1066.83/1066.92 c | 613768 | 167998 3532098 10927789 | 2147483647 613766 111 | 0.001 % |
1070.13/1070.20 c | 615817 | 167998 3532098 10927789 | 2147483647 615815 111 | 0.001 % |
1073.93/1073.97 c | 618071 | 167998 3532098 10927789 | 2147483647 618069 110 | 0.001 % |
1079.73/1079.73 c | 620550 | 167998 3532098 10927789 | 2147483647 620548 111 | 0.001 % |
1084.93/1084.97 c | 623275 | 167998 3532098 10927789 | 2147483647 623273 112 | 0.001 % |
1092.23/1092.26 c | 626273 | 167998 3532098 10927789 | 2147483647 626271 112 | 0.001 % |
1099.23/1099.29 c | 629570 | 167998 3532098 10927789 | 2147483647 629568 112 | 0.001 % |
1105.63/1105.62 c | 633196 | 167998 3532098 10927789 | 2147483647 633194 112 | 0.001 % |
1112.73/1112.76 c | 637185 | 167998 3532098 10927789 | 2147483647 637183 112 | 0.001 % |
1121.43/1121.42 c | 641572 | 167998 3532098 10927789 | 2147483647 641570 112 | 0.001 % |
1131.03/1131.01 c | 646395 | 167998 3532098 10927789 | 2147483647 646393 113 | 0.001 % |
1141.93/1141.98 c | 651703 | 167998 3532098 10927789 | 2147483647 651701 113 | 0.001 % |
1153.24/1153.29 c | 657538 | 167998 3532098 10927789 | 2147483647 657536 114 | 0.001 % |
1154.14/1154.14 c | 657641 | 167998 3532098 10927789 | 2147483647 657639 114 | 0.001 % |
1154.84/1154.86 c | 657752 | 167998 3532098 10927789 | 2147483647 657750 114 | 0.001 % |
1155.14/1155.18 c | 657874 | 167998 3532098 10927789 | 2147483647 657872 114 | 0.001 % |
1155.44/1155.51 c | 658007 | 167998 3532098 10927789 | 2147483647 658005 114 | 0.001 % |
1156.44/1156.43 c | 658153 | 167998 3532098 10927789 | 2147483647 658151 114 | 0.001 % |
1157.24/1157.27 c | 658319 | 167998 3532098 10927789 | 2147483647 658317 114 | 0.001 % |
1157.74/1157.75 c | 658496 | 167998 3532098 10927789 | 2147483647 658494 114 | 0.001 % |
1158.44/1158.46 c | 658689 | 167998 3532098 10927789 | 2147483647 658687 114 | 0.001 % |
1160.24/1160.29 c | 658901 | 167998 3532098 10927789 | 2147483647 658899 114 | 0.001 % |
1161.44/1161.49 c | 659134 | 167998 3532098 10927789 | 2147483647 659132 114 | 0.001 % |
1162.24/1162.30 c | 659390 | 167998 3532098 10927789 | 2147483647 659388 114 | 0.001 % |
1163.24/1163.29 c | 659674 | 167998 3532098 10927789 | 2147483647 659672 114 | 0.001 % |
1164.04/1164.10 c | 659983 | 167998 3532098 10927789 | 2147483647 659981 114 | 0.001 % |
1164.84/1164.88 c | 660322 | 167998 3532098 10927789 | 2147483647 660320 114 | 0.001 % |
1165.84/1165.86 c | 660698 | 167998 3532098 10927789 | 2147483647 660696 114 | 0.001 % |
1167.34/1167.36 c | 661107 | 167998 3532098 10927789 | 2147483647 661105 114 | 0.001 % |
1168.54/1168.60 c | 661556 | 167998 3532098 10927789 | 2147483647 661554 114 | 0.001 % |
1169.94/1169.93 c | 662050 | 167998 3532098 10927789 | 2147483647 662048 114 | 0.001 % |
1171.24/1171.22 c | 662592 | 167998 3532098 10927789 | 2147483647 662590 114 | 0.001 % |
1173.33/1173.39 c | 663191 | 167998 3532098 10927789 | 2147483647 663189 114 | 0.001 % |
1174.93/1174.97 c | 663848 | 167998 3532098 10927789 | 2147483647 663846 114 | 0.001 % |
1178.53/1178.52 c | 664568 | 167998 3532098 10927789 | 2147483647 664566 114 | 0.001 % |
1180.13/1180.13 c | 665360 | 167998 3532098 10927789 | 2147483647 665358 114 | 0.001 % |
1181.83/1181.87 c | 666233 | 167998 3532098 10927789 | 2147483647 666231 114 | 0.001 % |
1185.13/1185.15 c | 667194 | 167998 3532098 10927789 | 2147483647 667192 114 | 0.001 % |
1187.33/1187.37 c | 668247 | 167998 3532098 10927789 | 2147483647 668245 114 | 0.001 % |
1189.43/1189.43 c | 669406 | 167998 3532098 10927789 | 2147483647 669404 114 | 0.001 % |
1192.13/1192.16 c | 670680 | 167998 3532098 10927789 | 2147483647 670678 114 | 0.001 % |
1194.53/1194.54 c | 672080 | 167998 3532098 10927789 | 2147483647 672078 114 | 0.001 % |
1197.63/1197.64 c | 673620 | 167998 3532098 10927789 | 2147483647 673618 115 | 0.001 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820656-1242463885/watcher-1820656-1242463885 -o /tmp/evaluation-result-1820656-1242463885/solver-1820656-1242463885 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820656-1242463885.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.93 1.00 0.99 3/91 17229
/proc/meminfo: memFree=920456/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=948 CPUtime=0
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 105 0 0 0 0 0 0 0 25 0 1 0 1010889386 970752 41 4294967295 134512640 135223648 3216305808 3216304268 134660511 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17233/statm: 237 49 40 174 0 62 0
[startup+0.038995 s]
/proc/loadavg: 0.93 1.00 0.99 3/91 17229
/proc/meminfo: memFree=920456/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=4228 CPUtime=0.04
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 920 0 0 0 3 1 0 0 25 0 1 0 1010889386 4329472 856 4294967295 134512640 135223648 3216305808 3216304376 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17233/statm: 1057 856 46 174 0 882 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6644
[startup+0.108988 s]
/proc/loadavg: 0.93 1.00 0.99 3/91 17229
/proc/meminfo: memFree=920456/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=9988 CPUtime=0.11
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 2252 0 0 0 10 1 0 0 25 0 1 0 1010889386 10227712 2188 4294967295 134512640 135223648 3216305808 3216304760 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17233/statm: 2497 2189 46 174 0 2322 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12404
[startup+0.308978 s]
/proc/loadavg: 0.93 1.00 0.99 3/91 17229
/proc/meminfo: memFree=920456/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=27300 CPUtime=0.31
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 5942 0 0 0 29 2 0 0 25 0 1 0 1010889386 27955200 5878 4294967295 134512640 135223648 3216305808 3216304544 134540952 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17233/statm: 6825 5879 46 174 0 6650 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 29716
[startup+0.708959 s]
/proc/loadavg: 0.93 1.00 0.99 3/91 17229
/proc/meminfo: memFree=920456/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=51288 CPUtime=0.71
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 12614 0 0 0 65 6 0 0 25 0 1 0 1010889386 52518912 12550 4294967295 134512640 135223648 3216305808 3216304376 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17233/statm: 12822 12550 46 174 0 12647 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 53704
[startup+1.50892 s]
/proc/loadavg: 0.93 1.00 0.99 5/94 17330
/proc/meminfo: memFree=849960/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=117716 CPUtime=1.51
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 26218 0 0 0 128 23 0 0 25 0 1 0 1010889386 120541184 26154 4294967295 134512640 135223648 3216305808 3216304760 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17233/statm: 29429 26154 46 174 0 29254 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 120132
[startup+3.11884 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 17417
/proc/meminfo: memFree=777216/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=235580 CPUtime=3.11
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 56597 0 0 0 268 43 0 0 25 0 1 0 1010889386 241233920 56533 4294967295 134512640 135223648 3216305808 3216304816 134547589 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17233/statm: 58895 56533 47 174 0 58720 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 237996
[startup+6.31874 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 17417
/proc/meminfo: memFree=677096/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=268328 CPUtime=6.31
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 72118 0 0 0 581 50 0 0 25 0 1 0 1010889386 274767872 64441 4294967295 134512640 135223648 3216305808 3216303808 134548987 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17233/statm: 67082 64441 73 174 0 66907 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 270744
[startup+12.7184 s]
/proc/loadavg: 0.94 1.00 0.99 2/93 17417
/proc/meminfo: memFree=650184/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=296868 CPUtime=12.71
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 75397 0 0 0 1216 55 0 0 25 0 1 0 1010889386 303992832 67720 4294967295 134512640 135223648 3216305808 3216303824 134586629 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17233/statm: 74217 67720 73 174 0 74042 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 299284
[startup+25.5178 s]
/proc/loadavg: 0.95 1.00 0.99 2/93 17418
/proc/meminfo: memFree=599688/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=359188 CPUtime=25.51
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 87052 0 0 0 2487 64 0 0 25 0 1 0 1010889386 367808512 78807 4294967295 134512640 135223648 3216305808 3216303616 134549042 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17233/statm: 89797 78807 73 174 0 89622 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 361604
[startup+51.1165 s]
/proc/loadavg: 0.97 1.00 0.99 2/93 17421
/proc/meminfo: memFree=599232/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2416 CPUtime=0
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1010889385 2473984 276 4294967295 134512640 135169312 3217907744 3217906280 3085426414 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17229/statm: 604 276 235 161 0 43 0
[pid=17233] ppid=17229 vsize=359792 CPUtime=51.11
/proc/17233/stat : 17233 (SatELite_releas) R 17229 17229 9090 0 -1 4202496 87183 0 0 0 5047 64 0 0 25 0 1 0 1010889386 368427008 78938 4294967295 134512640 135223648 3216305808 3216304140 134611921 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17233/statm: 89948 78938 73 174 0 89773 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 362208
[startup+102.314 s]
/proc/loadavg: 0.98 1.00 0.99 4/93 17608
/proc/meminfo: memFree=662864/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=172640 CPUtime=44.78
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 42293 0 0 0 4453 25 0 0 25 0 1 0 1010895139 176783360 42219 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 43160 42219 73 172 0 42987 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 175060
[startup+162.311 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 17796
/proc/meminfo: memFree=652676/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=182928 CPUtime=104.78
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 44847 0 0 0 10451 27 0 0 25 0 1 0 1010895139 187318272 44773 4294967295 134512640 135215339 3220554496 3220552784 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 45732 44773 73 172 0 45559 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 185348
[startup+222.308 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 17985
/proc/meminfo: memFree=640260/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=195468 CPUtime=164.78
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 47930 0 0 0 16446 32 0 0 25 0 1 0 1010895139 200159232 47856 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 48867 47856 73 172 0 48694 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 197888
[startup+282.315 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 18176
/proc/meminfo: memFree=625388/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=210736 CPUtime=224.79
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 51712 0 0 0 22445 34 0 0 25 0 1 0 1010895139 215793664 51638 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 52684 51638 73 172 0 52511 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 213156
[startup+342.312 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 18367
/proc/meminfo: memFree=610896/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=225084 CPUtime=284.79
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 55320 0 0 0 28440 39 0 0 25 0 1 0 1010895139 230486016 55246 4294967295 134512640 135215339 3220554496 3220552496 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 56271 55246 73 172 0 56098 0
Current children cumulated CPU time (s) 342.29
################
# More data... #
################
/proc/17422/statm: 70263 69226 73 172 0 70090 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 283472
[startup+582.321 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 19117
/proc/meminfo: memFree=534388/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=302140 CPUtime=524.81
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 74442 0 0 0 52435 46 0 0 25 0 1 0 1010895139 309391360 74368 4294967295 134512640 135215339 3220554496 3220552768 134525025 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 75535 74368 73 172 0 75362 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 304560
[startup+642.318 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 19321
/proc/meminfo: memFree=513672/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=322532 CPUtime=584.81
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 79549 0 0 0 58432 49 0 0 25 0 1 0 1010895139 330272768 79475 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 80633 79475 73 172 0 80460 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 324952
[startup+702.325 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 19507
/proc/meminfo: memFree=492328/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=343588 CPUtime=644.82
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 84828 0 0 0 64429 53 0 0 25 0 1 0 1010895139 351834112 84754 4294967295 134512640 135215339 3220554496 3220552712 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 85897 84754 73 172 0 85724 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 346008
[startup+762.322 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 19695
/proc/meminfo: memFree=475116/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=360760 CPUtime=704.82
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 89127 0 0 0 70426 56 0 0 25 0 1 0 1010895139 369418240 89053 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 90190 89053 73 172 0 90017 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 363180
[startup+822.309 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 19884
/proc/meminfo: memFree=447572/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=389308 CPUtime=764.81
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 96062 0 0 0 76419 62 0 0 25 0 1 0 1010895139 398651392 95988 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 97327 95988 73 172 0 97154 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 391728
[startup+882.306 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 20071
/proc/meminfo: memFree=430352/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=406136 CPUtime=824.81
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 100295 0 0 0 82411 70 0 0 25 0 1 0 1010895139 415883264 100221 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 101534 100221 73 172 0 101361 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 408556
[startup+942.313 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 20260
/proc/meminfo: memFree=413240/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=423204 CPUtime=884.82
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 104573 0 0 0 88409 73 0 0 25 0 1 0 1010895139 433360896 104499 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 105801 104499 73 172 0 105628 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 425624
[startup+1002.31 s]
/proc/loadavg: 1.18 1.06 1.01 2/93 20446
/proc/meminfo: memFree=392152/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=443928 CPUtime=944.82
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 109812 0 0 0 94406 76 0 0 25 0 1 0 1010895139 454582272 109738 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 110982 109738 73 172 0 110809 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 446348
[startup+1062.32 s]
/proc/loadavg: 1.06 1.04 1.01 3/93 20638
/proc/meminfo: memFree=375916/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=460176 CPUtime=1004.83
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 113903 0 0 0 100402 81 0 0 25 0 1 0 1010895139 471220224 113829 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 115044 113829 73 172 0 114871 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 462596
[startup+1122.31 s]
/proc/loadavg: 1.02 1.03 1.00 3/93 20827
/proc/meminfo: memFree=358416/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=477684 CPUtime=1064.83
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 118288 0 0 0 106398 85 0 0 25 0 1 0 1010895139 489148416 118214 4294967295 134512640 135215339 3220554496 3220552784 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 119421 118214 73 172 0 119248 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 480104
[startup+1182.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 21014
/proc/meminfo: memFree=341320/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=494780 CPUtime=1124.83
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 122565 0 0 0 112394 89 0 0 25 0 1 0 1010895139 506654720 122491 4294967295 134512640 135215339 3220554496 3220552784 134528669 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 123695 122491 73 172 0 123522 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 497200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 21016
/proc/meminfo: memFree=334856/2074464 swapFree=1953004/1959888
[pid=17229] ppid=17227 vsize=2420 CPUtime=57.5
/proc/17229/stat : 17229 (SatELiteGTI) S 17227 17229 9090 0 -1 4194304 385 95416 0 0 0 0 5666 84 18 0 1 0 1010889385 2478080 278 4294967295 134512640 135169312 3217907744 3217903960 3085426414 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17229/statm: 605 278 235 161 0 44 0
[pid=17422] ppid=17229 vsize=501172 CPUtime=1142.53
/proc/17422/stat : 17422 (minisat_static) R 17229 17229 9090 0 -1 4202496 124131 0 0 0 114161 92 0 0 25 0 1 0 1010895139 513200128 124057 4294967295 134512640 135215339 3220554496 3220552532 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17422/statm: 125293 124057 73 172 0 125120 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 503592
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17229 and gives
# childrusage.ru_utime.tv_sec=56
# childrusage.ru_utime.tv_usec=660000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=840000
# CPU time returned by wait4() is 57.5
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.03
CPU time (s): 1200.03
CPU user time (s): 1198.27
CPU system time (s): 1.76
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 503592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.66
system time used= 0.84
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95801
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= 21
involuntary context switches= 1769
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi19 at 2009-05-16 10:51:25
IDJOB=1820656
IDBENCH=20576
IDSOLVER=657
FILE ID=tipi19/1820656-1242463885
PBS_JOBID=
Free space on /tmp= 9686 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820656-1242463885/watcher-1820656-1242463885 -o /tmp/evaluation-result-1820656-1242463885/solver-1820656-1242463885 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820656-1242463885.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 580dc3969c4e46e50013253fd4ac9139
RANDOM SEED= 1342263618
Linux tipi19 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.39
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 920860 kB
Buffers: 46120 kB
Cached: 998860 kB
SwapCached: 3036 kB
Active: 403932 kB
Inactive: 650508 kB
HighTotal: 1178688 kB
HighFree: 358180 kB
LowTotal: 895776 kB
LowFree: 562680 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 99880 kB
Writeback: 0 kB
AnonPages: 8860 kB
Mapped: 3428 kB
Slab: 90452 kB
PageTables: 484 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87780 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9602 MiB
End job on tipi19 at 2009-05-16 11:11:33