0.00/0.00 c Parsing...
2.78/2.82 c ==============================================================================
2.78/2.82 c | | ORIGINAL | LEARNT | |
2.78/2.82 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
2.78/2.82 c ==============================================================================
2.78/2.82 c | 0 | 3634676 10547960 | 1090402 0 0 nan | 0.000 % |
40.16/40.26 c | 0 | 3532144 10927904 | -- 0 -- -- | -- | -102383/383223
40.16/40.26 c ==============================================================================
40.16/40.26 c Result : #vars: 168000 #clauses: 3532144 #literals: 10927904
40.16/40.26 c CPU time: 39.605 s
40.16/40.26 c ==============================================================================
43.76/43.82 c This is MiniSat 2.0 beta
43.76/43.82 c WARNING: for repeatability, setting FPU to use double precision
43.76/43.82 c ============================[ Problem Statistics ]=============================
43.76/43.82 c | |
43.76/43.82 c | Number of variables: 168000 |
43.76/43.82 c | Number of clauses: 3532144 |
45.94/46.02 c | Parsing time: 1.93 s |
46.04/46.13 c ============================[ Search Statistics ]==============================
46.04/46.13 c | Conflicts | ORIGINAL | LEARNT | Progress |
46.04/46.13 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
46.04/46.13 c ===============================================================================
46.04/46.13 c | 0 | 168000 3532144 10927904 | 1177381 0 nan | 0.000 % |
46.35/46.48 c | 114 | 168000 3532144 10927904 | 1177381 114 76 | 0.000 % |
46.74/46.80 c | 218 | 168000 3532144 10927904 | 1177381 218 69 | 0.000 % |
46.84/46.98 c | 318 | 168000 3532144 10927904 | 1177381 318 55 | 0.000 % |
47.34/47.43 c | 428 | 168000 3532144 10927904 | 1177381 428 49 | 0.000 % |
47.74/47.82 c | 528 | 168000 3532144 10927904 | 1177381 528 48 | 0.000 % |
48.25/48.33 c | 638 | 168000 3532144 10927904 | 1177381 638 45 | 0.000 % |
48.64/48.76 c | 760 | 168000 3532144 10927904 | 1177381 760 49 | 0.000 % |
48.74/48.89 c | 860 | 168000 3532144 10927904 | 1177381 860 49 | 0.000 % |
49.04/49.11 c | 970 | 168000 3532144 10927904 | 1177381 970 46 | 0.000 % |
49.14/49.21 c | 1092 | 168000 3532144 10927904 | 1177381 1092 45 | 0.000 % |
49.84/50.00 c | 1226 | 168000 3532144 10927904 | 1177381 1226 45 | 0.000 % |
50.14/50.26 c | 1327 | 168000 3532144 10927904 | 1177381 1327 47 | 0.000 % |
50.24/50.39 c | 1439 | 168000 3532144 10927904 | 1177381 1439 46 | 0.000 % |
50.34/50.50 c | 1562 | 168000 3532144 10927904 | 1177381 1562 45 | 0.000 % |
50.84/50.92 c | 1699 | 168000 3532144 10927904 | 1177381 1699 44 | 0.000 % |
51.04/51.18 c | 1847 | 168000 3532144 10927904 | 1177381 1847 45 | 0.000 % |
51.44/51.59 c | 1948 | 168000 3532144 10927904 | 1177381 1948 47 | 0.000 % |
51.64/51.76 c | 2059 | 168000 3532144 10927904 | 1177381 2059 47 | 0.000 % |
52.34/52.46 c | 2181 | 168000 3532144 10927904 | 1177381 2181 46 | 0.000 % |
52.44/52.58 c | 2314 | 168000 3532144 10927904 | 1177381 2314 45 | 0.000 % |
52.54/52.67 c | 2461 | 168000 3532144 10927904 | 1177381 2461 44 | 0.000 % |
52.75/52.82 c | 2621 | 168000 3532144 10927904 | 1177381 2621 45 | 0.000 % |
52.94/53.04 c | 2723 | 168000 3532144 10927904 | 1177381 2723 45 | 0.000 % |
53.24/53.31 c | 2833 | 168000 3532144 10927904 | 1177381 2833 47 | 0.000 % |
53.44/53.51 c | 2956 | 168000 3532144 10927904 | 1177381 2956 47 | 0.000 % |
53.54/53.67 c | 3089 | 168000 3532144 10927904 | 1177381 3089 47 | 0.000 % |
53.84/53.95 c | 3235 | 168000 3532144 10927904 | 1177381 3235 46 | 0.000 % |
54.44/54.50 c | 3397 | 168000 3532144 10927904 | 1177381 3397 46 | 0.000 % |
54.94/55.09 c | 3574 | 168000 3532144 10927904 | 1177381 3574 45 | 0.000 % |
55.24/55.31 c | 3676 | 168000 3532144 10927904 | 1177381 3676 45 | 0.000 % |
55.44/55.55 c | 3786 | 168000 3532144 10927904 | 1177381 3786 44 | 0.000 % |
55.64/55.75 c | 3907 | 168000 3532144 10927904 | 1177381 3907 46 | 0.000 % |
55.84/55.90 c | 4044 | 168000 3532144 10927904 | 1177381 4044 46 | 0.000 % |
56.24/56.30 c | 4190 | 168000 3532144 10927904 | 1177381 4190 46 | 0.000 % |
56.34/56.44 c | 4353 | 168000 3532144 10927904 | 1177381 4353 45 | 0.000 % |
56.54/56.68 c | 4532 | 168000 3532144 10927904 | 1177381 4532 45 | 0.000 % |
57.24/57.30 c | 4727 | 168000 3532144 10927904 | 1177381 4727 46 | 0.000 % |
57.34/57.45 c | 4833 | 168000 3532144 10927904 | 1177381 4833 47 | 0.000 % |
57.44/57.55 c | 4944 | 168000 3532144 10927904 | 1177381 4944 47 | 0.000 % |
57.64/57.71 c | 5065 | 168000 3532144 10927904 | 1177381 5065 46 | 0.000 % |
57.94/58.09 c | 5199 | 168000 3532144 10927904 | 1177381 5199 46 | 0.000 % |
58.14/58.21 c | 5348 | 168000 3532144 10927904 | 1177381 5348 46 | 0.000 % |
58.34/58.42 c | 5509 | 168000 3532144 10927904 | 1177381 5509 47 | 0.000 % |
58.64/58.71 c | 5685 | 168000 3532144 10927904 | 1177381 5685 46 | 0.000 % |
59.04/59.11 c | 5878 | 168000 3532144 10927904 | 1177381 5878 46 | 0.000 % |
59.14/59.30 c | 6090 | 168000 3532144 10927904 | 1177381 6090 47 | 0.000 % |
59.54/59.64 c | 6190 | 168000 3532144 10927904 | 1177381 6190 47 | 0.000 % |
59.74/59.84 c | 6301 | 168000 3532144 10927904 | 1177381 6301 47 | 0.000 % |
59.94/60.05 c | 6422 | 168000 3532144 10927904 | 1177381 6422 47 | 0.000 % |
60.04/60.16 c | 6555 | 168000 3532144 10927904 | 1177381 6555 47 | 0.000 % |
60.74/60.86 c | 6701 | 168000 3532144 10927904 | 1177381 6701 47 | 0.000 % |
60.94/61.07 c | 6861 | 168000 3532144 10927904 | 1177381 6861 47 | 0.000 % |
61.14/61.21 c | 7037 | 168000 3532144 10927904 | 1177381 7037 47 | 0.000 % |
61.63/61.76 c | 7232 | 168000 3532144 10927904 | 1177381 7232 47 | 0.000 % |
61.93/62.02 c | 7445 | 168000 3532144 10927904 | 1177381 7445 47 | 0.000 % |
62.33/62.49 c | 7678 | 168000 3532144 10927904 | 1177381 7678 46 | 0.000 % |
62.54/62.69 c | 7779 | 168000 3532144 10927904 | 1177381 7779 46 | 0.000 % |
63.13/63.24 c | 7891 | 168000 3532144 10927904 | 1177381 7891 46 | 0.000 % |
63.23/63.34 c | 8015 | 168000 3532144 10927904 | 1177381 8015 47 | 0.000 % |
63.53/63.63 c | 8148 | 168000 3532144 10927904 | 1177381 8148 47 | 0.000 % |
63.53/63.68 c | 8294 | 168000 3532144 10927904 | 1177381 8294 47 | 0.000 % |
63.93/64.02 c | 8454 | 168000 3532144 10927904 | 1177381 8454 47 | 0.000 % |
64.33/64.43 c | 8630 | 168000 3532144 10927904 | 1177381 8630 48 | 0.000 % |
64.63/64.73 c | 8823 | 168000 3532144 10927904 | 1177381 8823 48 | 0.000 % |
64.93/65.02 c | 9037 | 168000 3532144 10927904 | 1177381 9037 49 | 0.000 % |
65.13/65.26 c | 9273 | 168000 3532144 10927904 | 1177381 9273 48 | 0.000 % |
65.63/65.76 c | 9530 | 168000 3532144 10927904 | 1177381 9530 48 | 0.000 % |
66.03/66.18 c | 9631 | 168000 3532144 10927904 | 1177381 9631 48 | 0.000 % |
66.43/66.50 c | 9741 | 168000 3532144 10927904 | 1177381 9741 48 | 0.000 % |
66.73/66.84 c | 9863 | 168000 3532144 10927904 | 1177381 9863 48 | 0.000 % |
67.03/67.13 c | 9996 | 168000 3532144 10927904 | 1177381 9996 48 | 0.000 % |
67.92/68.02 c | 10142 | 168000 3532144 10927904 | 2147483647 10142 47 | 0.000 % |
68.22/68.31 c | 10302 | 168000 3532144 10927904 | 2147483647 10302 47 | 0.000 % |
68.52/68.62 c | 10478 | 168000 3532144 10927904 | 2147483647 10478 47 | 0.000 % |
68.92/69.09 c | 10677 | 168000 3532144 10927904 | 2147483647 10677 47 | 0.000 % |
69.23/69.34 c | 10891 | 168000 3532144 10927904 | 2147483647 10891 47 | 0.000 % |
69.62/69.75 c | 11125 | 168000 3532144 10927904 | 2147483647 11125 48 | 0.000 % |
69.93/70.05 c | 11384 | 168000 3532144 10927904 | 2147483647 11384 49 | 0.000 % |
70.34/70.46 c | 11665 | 168000 3532144 10927904 | 2147483647 11665 49 | 0.000 % |
70.63/70.71 c | 11767 | 168000 3532144 10927904 | 2147483647 11767 49 | 0.000 % |
70.73/70.83 c | 11880 | 168000 3532144 10927904 | 2147483647 11880 50 | 0.000 % |
70.93/71.09 c | 12003 | 168000 3532144 10927904 | 2147483647 12003 50 | 0.000 % |
71.43/71.54 c | 12136 | 168000 3532144 10927904 | 2147483647 12136 50 | 0.000 % |
71.63/71.72 c | 12286 | 168000 3532144 10927904 | 2147483647 12286 50 | 0.000 % |
71.83/71.92 c | 12447 | 168000 3532144 10927904 | 2147483647 12447 49 | 0.000 % |
71.93/72.06 c | 12625 | 168000 3532144 10927904 | 2147483647 12625 50 | 0.000 % |
72.13/72.25 c | 12818 | 168000 3532144 10927904 | 2147483647 12818 50 | 0.000 % |
72.33/72.48 c | 13030 | 168000 3532144 10927904 | 2147483647 13030 49 | 0.000 % |
72.73/72.84 c | 13266 | 168000 3532144 10927904 | 2147483647 13266 49 | 0.000 % |
73.03/73.15 c | 13522 | 168000 3532144 10927904 | 2147483647 13522 49 | 0.000 % |
73.33/73.45 c | 13803 | 168000 3532144 10927904 | 2147483647 13803 49 | 0.000 % |
73.63/73.70 c | 14112 | 168000 3532144 10927904 | 2147483647 14112 49 | 0.000 % |
73.83/73.94 c | 14212 | 168000 3532144 10927904 | 2147483647 14212 48 | 0.000 % |
74.03/74.11 c | 14322 | 168000 3532144 10927904 | 2147483647 14322 48 | 0.000 % |
74.13/74.22 c | 14443 | 168000 3532144 10927904 | 2147483647 14443 48 | 0.000 % |
74.22/74.35 c | 14576 | 168000 3532144 10927904 | 2147483647 14576 48 | 0.000 % |
74.42/74.57 c | 14722 | 168000 3532144 10927904 | 2147483647 14722 48 | 0.000 % |
74.63/74.78 c | 14882 | 168000 3532144 10927904 | 2147483647 14882 48 | 0.000 % |
74.82/74.94 c | 15059 | 168000 3532144 10927904 | 2147483647 15059 48 | 0.000 % |
75.63/75.70 c | 15252 | 168000 3532144 10927904 | 2147483647 15252 48 | 0.000 % |
75.93/76.02 c | 15466 | 168000 3532144 10927904 | 2147483647 15466 48 | 0.000 % |
76.22/76.36 c | 15701 | 168000 3532144 10927904 | 2147483647 15701 48 | 0.000 % |
76.42/76.56 c | 15957 | 168000 3532144 10927904 | 2147483647 15957 48 | 0.000 % |
77.12/77.23 c | 16238 | 168000 3532144 10927904 | 2147483647 16238 48 | 0.000 % |
77.62/77.75 c | 16548 | 168000 3532144 10927904 | 2147483647 16548 48 | 0.000 % |
78.42/78.50 c | 16888 | 168000 3532144 10927904 | 2147483647 16888 48 | 0.000 % |
78.42/78.58 c | 16989 | 168000 3532144 10927904 | 2147483647 16989 48 | 0.000 % |
78.62/78.75 c | 17100 | 168000 3532144 10927904 | 2147483647 17100 48 | 0.000 % |
79.02/79.12 c | 17223 | 168000 3532144 10927904 | 2147483647 17223 48 | 0.000 % |
79.22/79.32 c | 17357 | 168000 3532144 10927904 | 2147483647 17357 48 | 0.000 % |
79.42/79.50 c | 17506 | 168000 3532144 10927904 | 2147483647 17506 48 | 0.000 % |
79.83/79.99 c | 17668 | 168000 3532144 10927904 | 2147483647 17668 48 | 0.000 % |
80.02/80.20 c | 17844 | 168000 3532144 10927904 | 2147483647 17844 48 | 0.000 % |
80.23/80.38 c | 18037 | 168000 3532144 10927904 | 2147483647 18037 48 | 0.000 % |
80.62/80.72 c | 18250 | 168000 3532144 10927904 | 2147483647 18250 47 | 0.000 % |
80.82/80.96 c | 18485 | 168000 3532144 10927904 | 2147483647 18485 47 | 0.000 % |
81.12/81.25 c | 18743 | 168000 3532144 10927904 | 2147483647 18743 47 | 0.000 % |
81.33/81.40 c | 19025 | 168000 3532144 10927904 | 2147483647 19025 47 | 0.000 % |
81.62/81.75 c | 19336 | 168000 3532144 10927904 | 2147483647 19336 47 | 0.000 % |
82.12/82.20 c | 19677 | 168000 3532144 10927904 | 2147483647 19677 47 | 0.000 % |
82.33/82.48 c | 20050 | 168000 3532144 10927904 | 2147483647 20050 47 | 0.000 % |
82.62/82.72 c | 20150 | 168000 3532144 10927904 | 2147483647 20150 47 | 0.000 % |
82.72/82.83 c | 20262 | 168000 3532144 10927904 | 2147483647 20262 47 | 0.000 % |
82.92/83.01 c | 20383 | 168000 3532144 10927904 | 2147483647 20383 47 | 0.000 % |
83.02/83.16 c | 20518 | 168000 3532144 10927904 | 2147483647 20518 47 | 0.000 % |
83.32/83.41 c | 20665 | 168000 3532144 10927904 | 2147483647 20665 47 | 0.000 % |
83.43/83.57 c | 20825 | 168000 3532144 10927904 | 2147483647 20825 47 | 0.000 % |
83.62/83.74 c | 21002 | 168000 3532144 10927904 | 2147483647 21002 46 | 0.000 % |
83.82/83.97 c | 21195 | 168000 3532144 10927904 | 2147483647 21195 47 | 0.000 % |
84.02/84.19 c | 21408 | 168000 3532144 10927904 | 2147483647 21408 46 | 0.000 % |
84.32/84.49 c | 21641 | 168000 3532144 10927904 | 2147483647 21641 46 | 0.000 % |
84.62/84.73 c | 21897 | 168000 3532144 10927904 | 2147483647 21897 46 | 0.000 % |
84.82/84.95 c | 22179 | 168000 3532144 10927904 | 2147483647 22179 46 | 0.000 % |
85.12/85.22 c | 22488 | 168000 3532144 10927904 | 2147483647 22488 46 | 0.000 % |
85.42/85.54 c | 22829 | 168000 3532144 10927904 | 2147483647 22829 46 | 0.000 % |
85.72/85.89 c | 23201 | 168000 3532144 10927904 | 2147483647 23201 46 | 0.000 % |
86.12/86.24 c | 23610 | 168000 3532144 10927904 | 2147483647 23610 45 | 0.000 % |
86.32/86.44 c | 23710 | 168000 3532144 10927904 | 2147483647 23710 45 | 0.000 % |
86.52/86.66 c | 23822 | 168000 3532144 10927904 | 2147483647 23822 45 | 0.000 % |
86.72/86.81 c | 23946 | 168000 3532144 10927904 | 2147483647 23946 45 | 0.000 % |
86.92/87.01 c | 24079 | 168000 3532144 10927904 | 2147483647 24079 45 | 0.000 % |
87.12/87.20 c | 24227 | 168000 3532144 10927904 | 2147483647 24227 45 | 0.000 % |
87.32/87.40 c | 24388 | 168000 3532144 10927904 | 2147483647 24388 45 | 0.000 % |
87.52/87.63 c | 24565 | 168000 3532144 10927904 | 2147483647 24565 45 | 0.000 % |
87.82/87.95 c | 24759 | 168000 3532144 10927904 | 2147483647 24759 45 | 0.000 % |
88.22/88.32 c | 24971 | 168000 3532144 10927904 | 2147483647 24971 46 | 0.000 % |
88.62/88.76 c | 25204 | 168000 3532144 10927904 | 2147483647 25204 45 | 0.000 % |
88.92/89.06 c | 25460 | 168000 3532144 10927904 | 2147483647 25460 46 | 0.000 % |
89.31/89.47 c | 25743 | 168000 3532144 10927904 | 2147483647 25743 46 | 0.000 % |
89.61/89.72 c | 26054 | 168000 3532144 10927904 | 2147483647 26054 46 | 0.000 % |
90.12/90.29 c | 26395 | 168000 3532144 10927904 | 2147483647 26395 45 | 0.000 % |
90.81/90.97 c | 26768 | 168000 3532144 10927904 | 2147483647 26768 46 | 0.000 % |
91.51/91.65 c | 27178 | 168000 3532144 10927904 | 2147483647 27178 46 | 0.000 % |
92.11/92.27 c | 27628 | 168000 3532144 10927904 | 2147483647 27628 46 | 0.000 % |
92.21/92.34 c | 27729 | 168000 3532144 10927904 | 2147483647 27729 46 | 0.000 % |
92.52/92.61 c | 27839 | 168000 3532144 10927904 | 2147483647 27839 46 | 0.000 % |
92.82/92.94 c | 27960 | 168000 3532144 10927904 | 2147483647 27960 47 | 0.000 % |
93.02/93.12 c | 28094 | 168000 3532144 10927904 | 2147483647 28094 47 | 0.000 % |
93.22/93.37 c | 28241 | 168000 3532144 10927904 | 2147483647 28241 47 | 0.000 % |
93.52/93.64 c | 28402 | 168000 3532144 10927904 | 2147483647 28402 47 | 0.000 % |
93.72/93.85 c | 28578 | 168000 3532144 10927904 | 2147483647 28578 46 | 0.000 % |
93.92/94.01 c | 28772 | 168000 3532144 10927904 | 2147483647 28772 46 | 0.000 % |
94.02/94.19 c | 28985 | 168000 3532144 10927904 | 2147483647 28985 46 | 0.000 % |
94.32/94.46 c | 29220 | 168000 3532144 10927904 | 2147483647 29220 46 | 0.000 % |
94.62/94.70 c | 29476 | 168000 3532144 10927904 | 2147483647 29476 46 | 0.000 % |
94.82/94.95 c | 29757 | 168000 3532144 10927904 | 2147483647 29757 46 | 0.000 % |
95.02/95.19 c | 30067 | 168000 3532144 10927904 | 2147483647 30067 45 | 0.000 % |
95.32/95.48 c | 30407 | 168000 3532144 10927904 | 2147483647 30407 45 | 0.000 % |
95.62/95.75 c | 30781 | 168000 3532144 10927904 | 2147483647 30781 45 | 0.000 % |
96.02/96.10 c | 31190 | 168000 3532144 10927904 | 2147483647 31190 45 | 0.000 % |
96.32/96.44 c | 31641 | 168000 3532144 10927904 | 2147483647 31641 44 | 0.000 % |
96.62/96.79 c | 32134 | 168000 3532144 10927904 | 2147483647 32134 44 | 0.000 % |
96.82/96.91 c | 32234 | 168000 3532144 10927904 | 2147483647 32234 44 | 0.000 % |
96.92/97.03 c | 32344 | 168000 3532144 10927904 | 2147483647 32344 44 | 0.000 % |
97.02/97.15 c | 32465 | 168000 3532144 10927904 | 2147483647 32465 44 | 0.000 % |
97.12/97.28 c | 32598 | 168000 3532144 10927904 | 2147483647 32598 44 | 0.000 % |
97.32/97.44 c | 32745 | 168000 3532144 10927904 | 2147483647 32745 43 | 0.000 % |
97.52/97.61 c | 32906 | 168000 3532144 10927904 | 2147483647 32906 43 | 0.000 % |
97.82/97.93 c | 33082 | 168000 3532144 10927904 | 2147483647 33082 43 | 0.000 % |
98.32/98.44 c | 33276 | 168000 3532144 10927904 | 2147483647 33276 43 | 0.000 % |
98.62/98.75 c | 33489 | 168000 3532144 10927904 | 2147483647 33489 43 | 0.000 % |
99.32/99.47 c | 33722 | 168000 3532144 10927904 | 2147483647 33722 43 | 0.000 % |
99.82/99.90 c | 33978 | 168000 3532144 10927904 | 2147483647 33978 43 | 0.000 % |
100.31/100.46 c | 34259 | 168000 3532144 10927904 | 2147483647 34259 43 | 0.000 % |
101.22/101.39 c | 34568 | 168000 3532144 10927904 | 2147483647 34568 44 | 0.000 % |
102.22/102.37 c | 34908 | 168000 3532144 10927904 | 2147483647 34908 44 | 0.000 % |
102.51/102.69 c | 35281 | 168000 3532144 10927904 | 2147483647 35281 44 | 0.000 % |
103.11/103.27 c | 35690 | 168000 3532144 10927904 | 2147483647 35690 44 | 0.000 % |
103.71/103.83 c | 36141 | 168000 3532144 10927904 | 2147483647 36141 45 | 0.000 % |
104.21/104.34 c | 36635 | 168000 3532144 10927904 | 2147483647 36635 45 | 0.000 % |
105.01/105.11 c | 37177 | 168000 3532144 10927904 | 2147483647 37177 45 | 0.000 % |
105.11/105.20 c | 37278 | 168000 3532144 10927904 | 2147483647 37278 45 | 0.000 % |
105.31/105.41 c | 37388 | 168000 3532144 10927904 | 2147483647 37388 45 | 0.000 % |
105.41/105.56 c | 37510 | 168000 3532144 10927904 | 2147483647 37510 45 | 0.000 % |
105.71/105.89 c | 37643 | 168000 3532144 10927904 | 2147483647 37643 45 | 0.000 % |
106.11/106.20 c | 37790 | 168000 3532144 10927904 | 2147483647 37790 45 | 0.000 % |
106.21/106.31 c | 37950 | 168000 3532144 10927904 | 2147483647 37950 45 | 0.000 % |
106.51/106.67 c | 38129 | 168000 3532144 10927904 | 2147483647 38129 45 | 0.000 % |
107.31/107.47 c | 38323 | 168000 3532144 10927904 | 2147483647 38323 45 | 0.000 % |
107.61/107.75 c | 38537 | 168000 3532144 10927904 | 2147483647 38537 45 | 0.000 % |
108.31/108.40 c | 38770 | 168000 3532144 10927904 | 2147483647 38770 45 | 0.000 % |
108.61/108.71 c | 39027 | 168000 3532144 10927904 | 2147483647 39027 45 | 0.000 % |
108.91/109.04 c | 39309 | 168000 3532144 10927904 | 2147483647 39309 46 | 0.000 % |
109.21/109.30 c | 39618 | 168000 3532144 10927904 | 2147483647 39618 45 | 0.000 % |
109.61/109.79 c | 39959 | 168000 3532144 10927904 | 2147483647 39959 45 | 0.000 % |
110.01/110.11 c | 40333 | 168000 3532144 10927904 | 2147483647 40333 45 | 0.000 % |
110.41/110.58 c | 40742 | 168000 3532144 10927904 | 2147483647 40742 45 | 0.000 % |
111.01/111.14 c | 41192 | 168000 3532144 10927904 | 2147483647 41192 46 | 0.000 % |
111.50/111.68 c | 41686 | 168000 3532144 10927904 | 2147483647 41686 46 | 0.000 % |
111.90/112.01 c | 42229 | 168000 3532144 10927904 | 2147483647 42229 46 | 0.000 % |
112.50/112.69 c | 42826 | 168000 3532144 10927904 | 2147483647 42826 46 | 0.000 % |
112.60/112.78 c | 42926 | 168000 3532144 10927904 | 2147483647 42926 46 | 0.000 % |
113.00/113.11 c | 43036 | 168000 3532144 10927904 | 2147483647 43036 46 | 0.000 % |
113.21/113.35 c | 43158 | 168000 3532144 10927904 | 2147483647 43158 45 | 0.000 % |
113.40/113.52 c | 43295 | 168000 3532144 10927904 | 2147483647 43295 45 | 0.000 % |
113.60/113.78 c | 43447 | 168000 3532144 10927904 | 2147483647 43447 45 | 0.000 % |
113.90/114.04 c | 43608 | 168000 3532144 10927904 | 2147483647 43608 45 | 0.000 % |
114.31/114.44 c | 43786 | 168000 3532144 10927904 | 2147483647 43786 45 | 0.000 % |
114.60/114.73 c | 43979 | 168000 3532144 10927904 | 2147483647 43979 45 | 0.000 % |
115.10/115.26 c | 44191 | 168000 3532144 10927904 | 2147483647 44191 45 | 0.000 % |
115.31/115.41 c | 44424 | 168000 3532144 10927904 | 2147483647 44424 45 | 0.000 % |
115.60/115.77 c | 44681 | 168000 3532144 10927904 | 2147483647 44681 45 | 0.000 % |
116.00/116.13 c | 44962 | 168000 3532144 10927904 | 2147483647 44962 46 | 0.000 % |
116.30/116.48 c | 45271 | 168000 3532144 10927904 | 2147483647 45271 46 | 0.000 % |
116.80/116.95 c | 45612 | 168000 3532144 10927904 | 2147483647 45612 45 | 0.000 % |
117.20/117.38 c | 45984 | 168000 3532144 10927904 | 2147483647 45984 46 | 0.000 % |
117.61/117.75 c | 46393 | 168000 3532144 10927904 | 2147483647 46393 46 | 0.000 % |
118.30/118.49 c | 46843 | 168000 3532144 10927904 | 2147483647 46843 46 | 0.000 % |
118.50/118.70 c | 47337 | 168000 3532144 10927904 | 2147483647 47337 46 | 0.000 % |
119.00/119.19 c | 47879 | 168000 3532144 10927904 | 2147483647 47879 46 | 0.000 % |
119.30/119.46 c | 48475 | 168000 3532144 10927904 | 2147483647 48475 46 | 0.000 % |
120.10/120.26 c | 49131 | 168000 3532144 10927904 | 2147483647 49131 46 | 0.000 % |
120.30/120.50 c | 49231 | 168000 3532144 10927904 | 2147483647 49231 46 | 0.000 % |
120.50/120.64 c | 49341 | 168000 3532144 10927904 | 2147483647 49341 46 | 0.000 % |
120.70/120.88 c | 49463 | 168000 3532144 10927904 | 2147483647 49463 46 | 0.000 % |
121.00/121.10 c | 49596 | 168000 3532144 10927904 | 2147483647 49596 46 | 0.000 % |
121.30/121.46 c | 49743 | 168000 3532144 10927904 | 2147483647 49743 46 | 0.000 % |
121.50/121.65 c | 49905 | 168000 3532144 10927904 | 2147483647 49905 46 | 0.000 % |
121.70/121.86 c | 50082 | 168000 3532144 10927904 | 2147483647 50082 46 | 0.000 % |
122.40/122.53 c | 50276 | 168000 3532144 10927904 | 2147483647 50276 46 | 0.000 % |
122.80/122.91 c | 50488 | 168000 3532144 10927904 | 2147483647 50488 46 | 0.000 % |
123.60/123.72 c | 50722 | 168000 3532144 10927904 | 2147483647 50722 47 | 0.000 % |
124.10/124.28 c | 50982 | 168000 3532144 10927904 | 2147483647 50982 47 | 0.000 % |
124.40/124.55 c | 51264 | 168000 3532144 10927904 | 2147483647 51264 47 | 0.000 % |
124.80/124.96 c | 51573 | 168000 3532144 10927904 | 2147483647 51573 47 | 0.000 % |
125.80/125.98 c | 51913 | 168000 3532144 10927904 | 2147483647 51913 47 | 0.000 % |
126.30/126.42 c | 52286 | 168000 3532144 10927904 | 2147483647 52286 47 | 0.000 % |
127.11/127.22 c | 52695 | 168000 3532144 10927904 | 2147483647 52695 47 | 0.000 % |
128.10/128.28 c | 53144 | 168000 3532144 10927904 | 2147483647 53144 47 | 0.000 % |
129.00/129.12 c | 53637 | 168000 3532144 10927904 | 2147483647 53637 48 | 0.000 % |
129.50/129.65 c | 54179 | 168000 3532144 10927904 | 2147483647 54179 48 | 0.000 % |
129.90/130.01 c | 54777 | 168000 3532144 10927904 | 2147483647 54777 48 | 0.000 % |
131.91/132.04 c | 55434 | 168000 3532144 10927904 | 2147483647 55434 48 | 0.000 % |
133.00/133.16 c | 56154 | 168000 3532144 10927904 | 2147483647 56154 48 | 0.000 % |
133.30/133.44 c | 56254 | 168000 3532144 10927904 | 2147483647 56254 48 | 0.000 % |
133.50/133.67 c | 56364 | 168000 3532144 10927904 | 2147483647 56364 48 | 0.000 % |
133.70/133.88 c | 56485 | 168000 3532144 10927904 | 2147483647 56485 48 | 0.000 % |
134.00/134.10 c | 56618 | 168000 3532144 10927904 | 2147483647 56618 48 | 0.000 % |
134.50/134.61 c | 56764 | 168000 3532144 10927904 | 2147483647 56764 48 | 0.000 % |
135.80/135.97 c | 56924 | 168000 3532144 10927904 | 2147483647 56924 48 | 0.000 % |
136.10/136.21 c | 57101 | 168000 3532144 10927904 | 2147483647 57101 48 | 0.000 % |
136.50/136.66 c | 57295 | 168000 3532144 10927904 | 2147483647 57295 48 | 0.000 % |
136.90/137.07 c | 57509 | 168000 3532144 10927904 | 2147483647 57509 49 | 0.000 % |
137.30/137.41 c | 57743 | 168000 3532144 10927904 | 2147483647 57743 49 | 0.000 % |
138.00/138.17 c | 57999 | 168000 3532144 10927904 | 2147483647 57999 49 | 0.000 % |
138.50/138.64 c | 58280 | 168000 3532144 10927904 | 2147483647 58280 49 | 0.000 % |
139.40/139.59 c | 58590 | 168000 3532144 10927904 | 2147483647 58590 49 | 0.000 % |
140.60/140.74 c | 58931 | 168000 3532144 10927904 | 2147483647 58931 49 | 0.000 % |
141.10/141.20 c | 59303 | 168000 3532144 10927904 | 2147483647 59303 49 | 0.000 % |
142.40/142.57 c | 59714 | 168000 3532144 10927904 | 2147483647 59714 49 | 0.000 % |
142.90/143.03 c | 60163 | 168000 3532144 10927904 | 2147483647 60163 49 | 0.000 % |
143.49/143.67 c | 60656 | 168000 3532144 10927904 | 2147483647 60656 49 | 0.000 % |
144.69/144.85 c | 61200 | 168000 3532144 10927904 | 2147483647 61200 50 | 0.000 % |
145.39/145.50 c | 61796 | 168000 3532144 10927904 | 2147483647 61796 50 | 0.000 % |
146.09/146.30 c | 62451 | 168000 3532144 10927904 | 2147483647 62451 50 | 0.000 % |
147.69/147.89 c | 63171 | 168000 3532144 10927904 | 2147483647 63171 50 | 0.000 % |
148.69/148.82 c | 63964 | 168000 3532144 10927904 | 2147483647 63964 50 | 0.000 % |
148.99/149.15 c | 64064 | 168000 3532144 10927904 | 2147483647 64064 50 | 0.000 % |
149.49/149.67 c | 64174 | 168000 3532144 10927904 | 2147483647 64174 50 | 0.000 % |
150.09/150.22 c | 64295 | 168000 3532144 10927904 | 2147483647 64295 50 | 0.000 % |
150.49/150.63 c | 64428 | 168000 3532144 10927904 | 2147483647 64428 50 | 0.000 % |
150.99/151.14 c | 64575 | 168000 3532144 10927904 | 2147483647 64575 50 | 0.000 % |
151.49/151.67 c | 64737 | 168000 3532144 10927904 | 2147483647 64737 50 | 0.000 % |
151.99/152.17 c | 64915 | 168000 3532144 10927904 | 2147483647 64915 50 | 0.000 % |
152.29/152.45 c | 65108 | 168000 3532144 10927904 | 2147483647 65108 50 | 0.000 % |
152.89/153.09 c | 65322 | 168000 3532144 10927904 | 2147483647 65322 50 | 0.000 % |
153.39/153.60 c | 65555 | 168000 3532144 10927904 | 2147483647 65555 50 | 0.000 % |
154.29/154.41 c | 65811 | 168000 3532144 10927904 | 2147483647 65811 50 | 0.000 % |
154.89/155.01 c | 66092 | 168000 3532144 10927904 | 2147483647 66092 51 | 0.000 % |
155.59/155.73 c | 66401 | 168000 3532144 10927904 | 2147483647 66401 51 | 0.000 % |
155.79/155.91 c | 66740 | 168000 3532144 10927904 | 2147483647 66740 50 | 0.000 % |
156.78/156.94 c | 67112 | 168000 3532144 10927904 | 2147483647 67112 51 | 0.000 % |
157.38/157.50 c | 67522 | 168000 3532144 10927904 | 2147483647 67522 50 | 0.000 % |
158.39/158.54 c | 67972 | 168000 3532144 10927904 | 2147483647 67972 51 | 0.000 % |
159.49/159.63 c | 68465 | 168000 3532144 10927904 | 2147483647 68465 51 | 0.000 % |
159.99/160.18 c | 69008 | 168000 3532144 10927904 | 2147483647 69008 51 | 0.000 % |
160.89/161.00 c | 69605 | 168000 3532144 10927904 | 2147483647 69605 51 | 0.000 % |
161.79/161.96 c | 70260 | 168000 3532144 10927904 | 2147483647 70260 51 | 0.000 % |
162.39/162.56 c | 70981 | 168000 3532144 10927904 | 2147483647 70981 51 | 0.000 % |
163.39/163.51 c | 71774 | 168000 3532144 10927904 | 2147483647 71774 52 | 0.000 % |
163.89/164.00 c | 72646 | 168000 3532144 10927904 | 2147483647 72646 52 | 0.000 % |
163.99/164.18 c | 72747 | 168000 3532144 10927904 | 2147483647 72747 52 | 0.000 % |
164.49/164.64 c | 72858 | 168000 3532144 10927904 | 2147483647 72858 52 | 0.000 % |
164.69/164.89 c | 72979 | 168000 3532144 10927904 | 2147483647 72979 52 | 0.000 % |
165.19/165.40 c | 73112 | 168000 3532144 10927904 | 2147483647 73112 52 | 0.000 % |
165.99/166.12 c | 73258 | 168000 3532144 10927904 | 2147483647 73258 52 | 0.000 % |
166.59/166.78 c | 73422 | 168000 3532144 10927904 | 2147483647 73422 52 | 0.000 % |
167.19/167.33 c | 73598 | 168000 3532144 10927904 | 2147483647 73598 52 | 0.000 % |
167.69/167.88 c | 73791 | 168000 3532144 10927904 | 2147483647 73791 52 | 0.000 % |
168.09/168.23 c | 74003 | 168000 3532144 10927904 | 2147483647 74003 52 | 0.000 % |
168.58/168.77 c | 74236 | 168000 3532144 10927904 | 2147483647 74236 52 | 0.000 % |
169.08/169.22 c | 74492 | 168000 3532144 10927904 | 2147483647 74492 52 | 0.000 % |
169.78/169.95 c | 74776 | 168000 3532144 10927904 | 2147483647 74776 53 | 0.000 % |
170.38/170.53 c | 75085 | 168000 3532144 10927904 | 2147483647 75085 53 | 0.000 % |
171.48/171.69 c | 75425 | 168000 3532144 10927904 | 2147483647 75425 53 | 0.000 % |
171.98/172.18 c | 75797 | 168000 3532144 10927904 | 2147483647 75797 53 | 0.000 % |
172.58/172.74 c | 76207 | 168000 3532144 10927904 | 2147483647 76207 53 | 0.000 % |
172.88/173.07 c | 76657 | 168000 3532144 10927904 | 2147483647 76657 53 | 0.000 % |
174.28/174.47 c | 77152 | 168000 3532144 10927904 | 2147483647 77152 53 | 0.000 % |
174.78/174.95 c | 77694 | 168000 3532144 10927904 | 2147483647 77694 53 | 0.000 % |
175.28/175.45 c | 78292 | 168000 3532144 10927904 | 2147483647 78292 54 | 0.000 % |
175.98/176.16 c | 78947 | 168000 3532144 10927904 | 2147483647 78947 54 | 0.000 % |
176.48/176.66 c | 79668 | 168000 3532144 10927904 | 2147483647 79668 54 | 0.000 % |
177.68/177.84 c | 80461 | 168000 3532144 10927904 | 2147483647 80461 55 | 0.000 % |
178.88/179.05 c | 81333 | 168000 3532144 10927904 | 2147483647 81333 55 | 0.000 % |
180.38/180.51 c | 82291 | 168000 3532144 10927904 | 2147483647 82291 55 | 0.000 % |
180.38/180.59 c | 82391 | 168000 3532144 10927904 | 2147483647 82391 55 | 0.000 % |
180.78/180.97 c | 82503 | 168000 3532144 10927904 | 2147483647 82503 55 | 0.000 % |
180.98/181.17 c | 82624 | 168000 3532144 10927904 | 2147483647 82624 55 | 0.000 % |
181.38/181.52 c | 82758 | 168000 3532144 10927904 | 2147483647 82758 55 | 0.000 % |
181.58/181.71 c | 82906 | 168000 3532144 10927904 | 2147483647 82906 55 | 0.000 % |
181.88/182.00 c | 83066 | 168000 3532144 10927904 | 2147483647 83066 55 | 0.000 % |
182.38/182.58 c | 83243 | 168000 3532144 10927904 | 2147483647 83243 55 | 0.000 % |
183.07/183.24 c | 83436 | 168000 3532144 10927904 | 2147483647 83436 55 | 0.000 % |
183.48/183.65 c | 83648 | 168000 3532144 10927904 | 2147483647 83648 55 | 0.000 % |
183.97/184.18 c | 83884 | 168000 3532144 10927904 | 2147483647 83884 55 | 0.000 % |
184.37/184.50 c | 84140 | 168000 3532144 10927904 | 2147483647 84140 55 | 0.000 % |
184.97/185.15 c | 84422 | 168000 3532144 10927904 | 2147483647 84422 55 | 0.000 % |
185.67/185.86 c | 84732 | 168000 3532144 10927904 | 2147483647 84732 55 | 0.000 % |
186.78/187.00 c | 85071 | 168000 3532144 10927904 | 2147483647 85071 55 | 0.000 % |
187.88/188.03 c | 85444 | 168000 3532144 10927904 | 2147483647 85444 55 | 0.000 % |
188.38/188.59 c | 85861 | 168000 3532144 10927904 | 2147483647 85861 55 | 0.000 % |
189.08/189.21 c | 86310 | 168000 3532144 10927904 | 2147483647 86310 55 | 0.000 % |
190.58/190.77 c | 86804 | 167999 3532130 10927876 | 2147483647 86803 55 | 0.001 % |
191.68/191.83 c | 87349 | 167998 3532130 10927876 | 2147483647 87347 55 | 0.001 % |
192.18/192.35 c | 87946 | 167998 3532130 10927876 | 2147483647 87944 55 | 0.001 % |
193.87/194.04 c | 88601 | 167998 3532130 10927876 | 2147483647 88599 56 | 0.001 % |
195.37/195.52 c | 89321 | 167998 3532130 10927876 | 2147483647 89319 56 | 0.001 % |
196.97/197.10 c | 90115 | 167998 3532130 10927876 | 2147483647 90113 56 | 0.001 % |
199.27/199.43 c | 90986 | 167998 3532130 10927876 | 2147483647 90984 56 | 0.001 % |
200.17/200.39 c | 91944 | 167998 3532130 10927876 | 2147483647 91942 57 | 0.001 % |
201.57/201.71 c | 92997 | 167998 3532130 10927876 | 2147483647 92995 57 | 0.001 % |
201.77/201.93 c | 93097 | 167998 3532130 10927876 | 2147483647 93095 57 | 0.001 % |
201.97/202.13 c | 93209 | 167998 3532130 10927876 | 2147483647 93207 57 | 0.001 % |
202.57/202.76 c | 93330 | 167998 3532130 10927876 | 2147483647 93328 57 | 0.001 % |
202.77/202.99 c | 93464 | 167998 3532130 10927876 | 2147483647 93462 57 | 0.001 % |
203.17/203.38 c | 93611 | 167998 3532130 10927876 | 2147483647 93609 57 | 0.001 % |
203.57/203.73 c | 93776 | 167998 3532130 10927876 | 2147483647 93774 57 | 0.001 % |
203.77/203.97 c | 93952 | 167998 3532130 10927876 | 2147483647 93950 57 | 0.001 % |
204.87/205.02 c | 94146 | 167998 3532130 10927876 | 2147483647 94144 57 | 0.001 % |
205.17/205.31 c | 94358 | 167998 3532130 10927876 | 2147483647 94356 57 | 0.001 % |
205.67/205.86 c | 94593 | 167998 3532098 10927789 | 2147483647 94591 57 | 0.001 % |
206.27/206.46 c | 94850 | 167998 3532098 10927789 | 2147483647 94848 57 | 0.001 % |
206.57/206.80 c | 95136 | 167998 3532098 10927789 | 2147483647 95134 57 | 0.001 % |
207.27/207.49 c | 95445 | 167998 3532098 10927789 | 2147483647 95443 57 | 0.001 % |
208.66/208.84 c | 95784 | 167998 3532098 10927789 | 2147483647 95782 57 | 0.001 % |
209.26/209.48 c | 96156 | 167998 3532098 10927789 | 2147483647 96154 57 | 0.001 % |
210.06/210.28 c | 96565 | 167998 3532098 10927789 | 2147483647 96563 58 | 0.001 % |
211.07/211.28 c | 97014 | 167998 3532098 10927789 | 2147483647 97012 58 | 0.001 % |
211.66/211.86 c | 97507 | 167998 3532098 10927789 | 2147483647 97505 58 | 0.001 % |
212.46/212.63 c | 98049 | 167998 3532098 10927789 | 2147483647 98047 58 | 0.001 % |
213.27/213.45 c | 98645 | 167998 3532098 10927789 | 2147483647 98643 58 | 0.001 % |
214.86/215.04 c | 99300 | 167998 3532098 10927789 | 2147483647 99298 58 | 0.001 % |
215.86/216.01 c | 100020 | 167998 3532098 10927789 | 2147483647 100018 58 | 0.001 % |
217.26/217.44 c | 100814 | 167998 3532098 10927789 | 2147483647 100812 58 | 0.001 % |
218.26/218.41 c | 101686 | 167998 3532098 10927789 | 2147483647 101684 58 | 0.001 % |
219.16/219.35 c | 102644 | 167998 3532098 10927789 | 2147483647 102642 58 | 0.001 % |
219.87/220.04 c | 103698 | 167998 3532098 10927789 | 2147483647 103696 58 | 0.001 % |
221.26/221.47 c | 104857 | 167998 3532098 10927789 | 2147483647 104855 58 | 0.001 % |
221.56/221.74 c | 104957 | 167998 3532098 10927789 | 2147483647 104955 58 | 0.001 % |
221.76/221.99 c | 105068 | 167998 3532098 10927789 | 2147483647 105066 58 | 0.001 % |
222.06/222.27 c | 105190 | 167998 3532098 10927789 | 2147483647 105188 58 | 0.001 % |
222.36/222.53 c | 105323 | 167998 3532098 10927789 | 2147483647 105321 58 | 0.001 % |
222.66/222.84 c | 105470 | 167998 3532098 10927789 | 2147483647 105468 58 | 0.001 % |
223.26/223.48 c | 105631 | 167998 3532098 10927789 | 2147483647 105629 58 | 0.001 % |
223.56/223.72 c | 105811 | 167998 3532098 10927789 | 2147483647 105809 58 | 0.001 % |
224.06/224.22 c | 106007 | 167998 3532098 10927789 | 2147483647 106005 58 | 0.001 % |
224.66/224.82 c | 106219 | 167998 3532098 10927789 | 2147483647 106217 58 | 0.001 % |
225.16/225.30 c | 106452 | 167998 3532098 10927789 | 2147483647 106450 58 | 0.001 % |
226.06/226.21 c | 106709 | 167998 3532098 10927789 | 2147483647 106707 58 | 0.001 % |
226.36/226.53 c | 106990 | 167998 3532098 10927789 | 2147483647 106988 58 | 0.001 % |
227.16/227.39 c | 107299 | 167998 3532098 10927789 | 2147483647 107297 58 | 0.001 % |
227.56/227.79 c | 107639 | 167998 3532098 10927789 | 2147483647 107637 58 | 0.001 % |
228.75/228.96 c | 108013 | 167998 3532098 10927789 | 2147483647 108011 58 | 0.001 % |
229.55/229.74 c | 108423 | 167998 3532098 10927789 | 2147483647 108421 58 | 0.001 % |
230.35/230.52 c | 108874 | 167998 3532098 10927789 | 2147483647 108872 58 | 0.001 % |
231.35/231.54 c | 109367 | 167998 3532098 10927789 | 2147483647 109365 58 | 0.001 % |
232.45/232.66 c | 109909 | 167998 3532098 10927789 | 2147483647 109907 58 | 0.001 % |
233.45/233.65 c | 110505 | 167998 3532098 10927789 | 2147483647 110503 59 | 0.001 % |
234.95/235.18 c | 111164 | 167998 3532098 10927789 | 2147483647 111162 59 | 0.001 % |
236.65/236.88 c | 111884 | 167998 3532098 10927789 | 2147483647 111882 59 | 0.001 % |
237.45/237.63 c | 112676 | 167998 3532098 10927789 | 2147483647 112674 59 | 0.001 % |
238.75/238.93 c | 113547 | 167998 3532098 10927789 | 2147483647 113545 59 | 0.001 % |
240.36/240.52 c | 114505 | 167998 3532098 10927789 | 2147483647 114503 60 | 0.001 % |
241.56/241.79 c | 115558 | 167998 3532098 10927789 | 2147483647 115556 60 | 0.001 % |
243.55/243.79 c | 116718 | 167998 3532098 10927789 | 2147483647 116716 61 | 0.001 % |
245.35/245.55 c | 117992 | 167998 3532098 10927789 | 2147483647 117990 61 | 0.001 % |
245.55/245.71 c | 118092 | 167998 3532098 10927789 | 2147483647 118090 61 | 0.001 % |
245.75/245.95 c | 118202 | 167998 3532098 10927789 | 2147483647 118200 61 | 0.001 % |
245.95/246.10 c | 118323 | 167998 3532098 10927789 | 2147483647 118321 61 | 0.001 % |
246.16/246.32 c | 118456 | 167998 3532098 10927789 | 2147483647 118454 61 | 0.001 % |
246.35/246.56 c | 118603 | 167998 3532098 10927789 | 2147483647 118601 62 | 0.001 % |
246.55/246.79 c | 118763 | 167998 3532098 10927789 | 2147483647 118761 62 | 0.001 % |
246.95/247.13 c | 118939 | 167998 3532098 10927789 | 2147483647 118937 62 | 0.001 % |
247.45/247.69 c | 119134 | 167998 3532098 10927789 | 2147483647 119132 62 | 0.001 % |
247.85/248.07 c | 119346 | 167998 3532098 10927789 | 2147483647 119344 62 | 0.001 % |
248.55/248.72 c | 119579 | 167998 3532098 10927789 | 2147483647 119577 62 | 0.001 % |
249.15/249.33 c | 119837 | 167998 3532098 10927789 | 2147483647 119835 62 | 0.001 % |
249.65/249.83 c | 120122 | 167998 3532098 10927789 | 2147483647 120120 62 | 0.001 % |
250.15/250.39 c | 120435 | 167998 3532098 10927789 | 2147483647 120433 62 | 0.001 % |
250.95/251.17 c | 120774 | 167998 3532098 10927789 | 2147483647 120772 62 | 0.001 % |
251.55/251.72 c | 121147 | 167998 3532098 10927789 | 2147483647 121145 62 | 0.001 % |
252.04/252.23 c | 121557 | 167998 3532098 10927789 | 2147483647 121555 62 | 0.001 % |
252.75/252.91 c | 122006 | 167998 3532098 10927789 | 2147483647 122004 62 | 0.001 % |
253.64/253.88 c | 122499 | 167998 3532098 10927789 | 2147483647 122497 62 | 0.001 % |
254.54/254.76 c | 123042 | 167998 3532098 10927789 | 2147483647 123040 62 | 0.001 % |
255.74/255.97 c | 123639 | 167998 3532098 10927789 | 2147483647 123637 62 | 0.001 % |
256.54/256.76 c | 124294 | 167998 3532098 10927789 | 2147483647 124292 62 | 0.001 % |
257.34/257.50 c | 125014 | 167998 3532098 10927789 | 2147483647 125012 62 | 0.001 % |
258.24/258.48 c | 125808 | 167998 3532098 10927789 | 2147483647 125806 63 | 0.001 % |
258.75/258.93 c | 126679 | 167998 3532098 10927789 | 2147483647 126677 62 | 0.001 % |
260.45/260.66 c | 127637 | 167998 3532098 10927789 | 2147483647 127635 62 | 0.001 % |
262.14/262.33 c | 128691 | 167998 3532098 10927789 | 2147483647 128689 63 | 0.001 % |
263.75/263.92 c | 129849 | 167998 3532098 10927789 | 2147483647 129847 63 | 0.001 % |
264.74/265.00 c | 131123 | 167998 3532098 10927789 | 2147483647 131121 63 | 0.001 % |
265.95/266.15 c | 132525 | 167998 3532098 10927789 | 2147483647 132523 63 | 0.001 % |
266.24/266.41 c | 132625 | 167998 3532098 10927789 | 2147483647 132623 63 | 0.001 % |
266.44/266.60 c | 132736 | 167998 3532098 10927789 | 2147483647 132734 63 | 0.001 % |
267.24/267.40 c | 132857 | 167998 3532098 10927789 | 2147483647 132855 63 | 0.001 % |
267.44/267.67 c | 132990 | 167998 3532098 10927789 | 2147483647 132988 63 | 0.001 % |
267.94/268.14 c | 133136 | 167998 3532098 10927789 | 2147483647 133134 63 | 0.001 % |
268.14/268.36 c | 133296 | 167998 3532098 10927789 | 2147483647 133294 63 | 0.001 % |
268.54/268.74 c | 133472 | 167998 3532098 10927789 | 2147483647 133470 63 | 0.001 % |
268.84/269.00 c | 133665 | 167998 3532098 10927789 | 2147483647 133663 63 | 0.001 % |
269.24/269.49 c | 133878 | 167998 3532098 10927789 | 2147483647 133876 63 | 0.001 % |
269.54/269.72 c | 134111 | 167998 3532098 10927789 | 2147483647 134109 63 | 0.001 % |
269.84/270.08 c | 134367 | 167998 3532098 10927789 | 2147483647 134365 63 | 0.001 % |
270.34/270.54 c | 134648 | 167998 3532098 10927789 | 2147483647 134646 63 | 0.001 % |
270.93/271.18 c | 134957 | 167998 3532098 10927789 | 2147483647 134955 63 | 0.001 % |
271.63/271.89 c | 135297 | 167998 3532098 10927789 | 2147483647 135295 63 | 0.001 % |
272.23/272.43 c | 135669 | 167998 3532098 10927789 | 2147483647 135667 63 | 0.001 % |
272.73/272.90 c | 136080 | 167998 3532098 10927789 | 2147483647 136078 64 | 0.001 % |
273.33/273.57 c | 136529 | 167998 3532098 10927789 | 2147483647 136527 64 | 0.001 % |
273.93/274.15 c | 137022 | 167998 3532098 10927789 | 2147483647 137020 64 | 0.001 % |
274.83/275.04 c | 137566 | 167998 3532098 10927789 | 2147483647 137564 64 | 0.001 % |
275.84/276.03 c | 138162 | 167998 3532098 10927789 | 2147483647 138160 63 | 0.001 % |
276.34/276.55 c | 138817 | 167998 3532098 10927789 | 2147483647 138815 63 | 0.001 % |
277.34/277.59 c | 139540 | 167998 3532098 10927789 | 2147483647 139538 63 | 0.001 % |
278.34/278.57 c | 140332 | 167998 3532098 10927789 | 2147483647 140330 65 | 0.001 % |
279.43/279.61 c | 141203 | 167998 3532098 10927789 | 2147483647 141201 65 | 0.001 % |
280.73/280.90 c | 142161 | 167998 3532098 10927789 | 2147483647 142159 65 | 0.001 % |
282.23/282.48 c | 143217 | 167998 3532098 10927789 | 2147483647 143215 65 | 0.001 % |
283.53/283.73 c | 144376 | 167998 3532098 10927789 | 2147483647 144374 65 | 0.001 % |
286.23/286.41 c | 145649 | 167998 3532098 10927789 | 2147483647 145647 65 | 0.001 % |
289.13/289.40 c | 147051 | 167998 3532098 10927789 | 2147483647 147049 65 | 0.001 % |
291.83/292.06 c | 148592 | 167998 3532098 10927789 | 2147483647 148590 65 | 0.001 % |
292.12/292.33 c | 148692 | 167998 3532098 10927789 | 2147483647 148690 65 | 0.001 % |
292.33/292.53 c | 148802 | 167998 3532098 10927789 | 2147483647 148800 65 | 0.001 % |
292.82/293.00 c | 148923 | 167998 3532098 10927789 | 2147483647 148921 65 | 0.001 % |
293.12/293.31 c | 149056 | 167998 3532098 10927789 | 2147483647 149054 65 | 0.001 % |
293.53/293.77 c | 149202 | 167998 3532098 10927789 | 2147483647 149200 65 | 0.001 % |
293.92/294.11 c | 149363 | 167998 3532098 10927789 | 2147483647 149361 65 | 0.001 % |
294.32/294.59 c | 149539 | 167998 3532098 10927789 | 2147483647 149537 65 | 0.001 % |
295.12/295.39 c | 149732 | 167998 3532098 10927789 | 2147483647 149730 65 | 0.001 % |
295.52/295.73 c | 149947 | 167998 3532098 10927789 | 2147483647 149945 65 | 0.001 % |
296.02/296.26 c | 150187 | 167998 3532098 10927789 | 2147483647 150185 65 | 0.001 % |
296.52/296.74 c | 150443 | 167998 3532098 10927789 | 2147483647 150441 65 | 0.001 % |
297.22/297.43 c | 150724 | 167998 3532098 10927789 | 2147483647 150722 65 | 0.001 % |
297.92/298.18 c | 151034 | 167998 3532098 10927789 | 2147483647 151032 65 | 0.001 % |
298.53/298.78 c | 151373 | 167998 3532098 10927789 | 2147483647 151371 65 | 0.001 % |
299.43/299.68 c | 151746 | 167998 3532098 10927789 | 2147483647 151744 65 | 0.001 % |
300.13/300.32 c | 152155 | 167998 3532098 10927789 | 2147483647 152153 65 | 0.001 % |
300.53/300.78 c | 152605 | 167998 3532098 10927789 | 2147483647 152603 65 | 0.001 % |
301.32/301.52 c | 153099 | 167998 3532098 10927789 | 2147483647 153097 65 | 0.001 % |
302.82/303.00 c | 153643 | 167998 3532098 10927789 | 2147483647 153641 65 | 0.001 % |
303.52/303.76 c | 154239 | 167998 3532098 10927789 | 2147483647 154237 65 | 0.001 % |
305.42/305.69 c | 154895 | 167998 3532098 10927789 | 2147483647 154893 65 | 0.001 % |
306.32/306.51 c | 155617 | 167998 3532098 10927789 | 2147483647 155615 66 | 0.001 % |
307.72/307.90 c | 156409 | 167998 3532098 10927789 | 2147483647 156407 66 | 0.001 % |
308.42/308.66 c | 157280 | 167998 3532098 10927789 | 2147483647 157278 66 | 0.001 % |
310.22/310.48 c | 158239 | 167998 3532098 10927789 | 2147483647 158237 66 | 0.001 % |
311.82/312.09 c | 159292 | 167998 3532098 10927789 | 2147483647 159290 66 | 0.001 % |
312.82/313.02 c | 160451 | 167998 3532098 10927789 | 2147483647 160449 67 | 0.001 % |
314.82/315.07 c | 161727 | 167998 3532098 10927789 | 2147483647 161725 67 | 0.001 % |
316.12/316.34 c | 163127 | 167998 3532098 10927789 | 2147483647 163125 68 | 0.001 % |
318.51/318.75 c | 164669 | 167998 3532098 10927789 | 2147483647 164667 68 | 0.001 % |
321.71/321.91 c | 166366 | 167998 3532098 10927789 | 2147483647 166364 68 | 0.001 % |
321.81/322.08 c | 166468 | 167998 3532098 10927789 | 2147483647 166466 68 | 0.001 % |
322.21/322.44 c | 166580 | 167998 3532098 10927789 | 2147483647 166578 68 | 0.001 % |
322.61/322.83 c | 166701 | 167998 3532098 10927789 | 2147483647 166699 68 | 0.001 % |
323.61/323.83 c | 166836 | 167998 3532098 10927789 | 2147483647 166834 68 | 0.001 % |
323.81/324.04 c | 166982 | 167998 3532098 10927789 | 2147483647 166980 68 | 0.001 % |
324.21/324.47 c | 167143 | 167998 3532098 10927789 | 2147483647 167141 68 | 0.001 % |
325.01/325.21 c | 167323 | 167998 3532098 10927789 | 2147483647 167321 68 | 0.001 % |
325.31/325.57 c | 167516 | 167998 3532098 10927789 | 2147483647 167514 68 | 0.001 % |
326.01/326.20 c | 167730 | 167998 3532098 10927789 | 2147483647 167728 68 | 0.001 % |
326.21/326.48 c | 167964 | 167998 3532098 10927789 | 2147483647 167962 68 | 0.001 % |
326.61/326.81 c | 168220 | 167998 3532098 10927789 | 2147483647 168218 68 | 0.001 % |
327.71/327.91 c | 168501 | 167998 3532098 10927789 | 2147483647 168499 68 | 0.001 % |
328.51/328.72 c | 168810 | 167998 3532098 10927789 | 2147483647 168808 68 | 0.001 % |
329.21/329.48 c | 169157 | 167998 3532098 10927789 | 2147483647 169155 69 | 0.001 % |
330.21/330.44 c | 169529 | 167998 3532098 10927789 | 2147483647 169527 68 | 0.001 % |
331.11/331.37 c | 169940 | 167998 3532098 10927789 | 2147483647 169938 69 | 0.001 % |
331.71/331.93 c | 170390 | 167998 3532098 10927789 | 2147483647 170388 69 | 0.001 % |
332.51/332.74 c | 170883 | 167998 3532098 10927789 | 2147483647 170881 69 | 0.001 % |
334.50/334.78 c | 171428 | 167998 3532098 10927789 | 2147483647 171426 69 | 0.001 % |
335.40/335.60 c | 172024 | 167998 3532098 10927789 | 2147483647 172022 69 | 0.001 % |
337.20/337.46 c | 172680 | 167998 3532098 10927789 | 2147483647 172678 69 | 0.001 % |
337.90/338.11 c | 173402 | 167998 3532098 10927789 | 2147483647 173400 69 | 0.001 % |
339.31/339.52 c | 174196 | 167998 3532098 10927789 | 2147483647 174194 69 | 0.001 % |
340.72/340.91 c | 175067 | 167998 3532098 10927789 | 2147483647 175065 69 | 0.001 % |
342.31/342.55 c | 176027 | 167998 3532098 10927789 | 2147483647 176025 69 | 0.001 % |
344.21/344.44 c | 177080 | 167998 3532098 10927789 | 2147483647 177078 69 | 0.001 % |
347.00/347.21 c | 178238 | 167998 3532098 10927789 | 2147483647 178236 69 | 0.001 % |
349.00/349.21 c | 179511 | 167998 3532098 10927789 | 2147483647 179509 69 | 0.001 % |
350.71/350.94 c | 180911 | 167998 3532098 10927789 | 2147483647 180909 70 | 0.001 % |
352.00/352.28 c | 182451 | 167998 3532098 10927789 | 2147483647 182449 70 | 0.001 % |
354.50/354.79 c | 184146 | 167998 3532098 10927789 | 2147483647 184144 70 | 0.001 % |
356.50/356.74 c | 186010 | 167998 3532098 10927789 | 2147483647 186008 70 | 0.001 % |
356.80/357.08 c | 186110 | 167998 3532098 10927789 | 2147483647 186108 70 | 0.001 % |
357.10/357.39 c | 186220 | 167998 3532098 10927789 | 2147483647 186218 70 | 0.001 % |
357.50/357.79 c | 186342 | 167998 3532098 10927789 | 2147483647 186340 70 | 0.001 % |
357.80/358.04 c | 186475 | 167998 3532098 10927789 | 2147483647 186473 70 | 0.001 % |
358.10/358.34 c | 186621 | 167998 3532098 10927789 | 2147483647 186619 70 | 0.001 % |
358.41/358.61 c | 186781 | 167998 3532098 10927789 | 2147483647 186779 70 | 0.001 % |
358.60/358.83 c | 186957 | 167998 3532098 10927789 | 2147483647 186955 70 | 0.001 % |
359.41/359.66 c | 187150 | 167998 3532098 10927789 | 2147483647 187148 70 | 0.001 % |
359.80/360.01 c | 187362 | 167998 3532098 10927789 | 2147483647 187360 70 | 0.001 % |
360.10/360.34 c | 187597 | 167998 3532098 10927789 | 2147483647 187595 70 | 0.001 % |
361.10/361.34 c | 187854 | 167998 3532098 10927789 | 2147483647 187852 70 | 0.001 % |
361.50/361.78 c | 188137 | 167998 3532098 10927789 | 2147483647 188135 70 | 0.001 % |
362.10/362.32 c | 188451 | 167998 3532098 10927789 | 2147483647 188449 70 | 0.001 % |
362.60/362.80 c | 188792 | 167998 3532098 10927789 | 2147483647 188790 70 | 0.001 % |
363.30/363.50 c | 189165 | 167998 3532098 10927789 | 2147483647 189163 70 | 0.001 % |
363.70/363.91 c | 189574 | 167998 3532098 10927789 | 2147483647 189572 70 | 0.001 % |
364.60/364.85 c | 190025 | 167998 3532098 10927789 | 2147483647 190023 70 | 0.001 % |
365.60/365.88 c | 190519 | 167998 3532098 10927789 | 2147483647 190517 70 | 0.001 % |
367.10/367.38 c | 191061 | 167998 3532098 10927789 | 2147483647 191059 70 | 0.001 % |
368.70/368.97 c | 191658 | 167998 3532098 10927789 | 2147483647 191656 70 | 0.001 % |
370.10/370.40 c | 192314 | 167998 3532098 10927789 | 2147483647 192312 70 | 0.001 % |
371.50/371.74 c | 193034 | 167998 3532098 10927789 | 2147483647 193032 70 | 0.001 % |
373.19/373.42 c | 193830 | 167998 3532098 10927789 | 2147483647 193828 70 | 0.001 % |
374.29/374.53 c | 194701 | 167998 3532098 10927789 | 2147483647 194699 71 | 0.001 % |
376.39/376.66 c | 195660 | 167998 3532098 10927789 | 2147483647 195658 71 | 0.001 % |
378.49/378.71 c | 196715 | 167998 3532098 10927789 | 2147483647 196713 71 | 0.001 % |
379.69/379.96 c | 197873 | 167998 3532098 10927789 | 2147483647 197871 72 | 0.001 % |
381.89/382.17 c | 199146 | 167998 3532098 10927789 | 2147483647 199144 72 | 0.001 % |
384.29/384.58 c | 200546 | 167998 3532098 10927789 | 2147483647 200544 72 | 0.001 % |
387.29/387.56 c | 202086 | 167998 3532098 10927789 | 2147483647 202084 72 | 0.001 % |
389.89/390.15 c | 203781 | 167998 3532098 10927789 | 2147483647 203779 73 | 0.001 % |
393.09/393.30 c | 205644 | 167998 3532098 10927789 | 2147483647 205642 73 | 0.001 % |
395.19/395.49 c | 207696 | 167998 3532098 10927789 | 2147483647 207694 75 | 0.001 % |
395.49/395.73 c | 207797 | 167998 3532098 10927789 | 2147483647 207795 75 | 0.001 % |
395.69/396.00 c | 207907 | 167998 3532098 10927789 | 2147483647 207905 75 | 0.001 % |
396.18/396.43 c | 208029 | 167998 3532098 10927789 | 2147483647 208027 75 | 0.001 % |
396.68/396.93 c | 208163 | 167998 3532098 10927789 | 2147483647 208161 75 | 0.001 % |
396.98/397.28 c | 208309 | 167998 3532098 10927789 | 2147483647 208307 75 | 0.001 % |
397.58/397.87 c | 208470 | 167998 3532098 10927789 | 2147483647 208468 75 | 0.001 % |
397.99/398.26 c | 208646 | 167998 3532098 10927789 | 2147483647 208644 75 | 0.001 % |
398.48/398.75 c | 208840 | 167998 3532098 10927789 | 2147483647 208838 75 | 0.001 % |
399.09/399.34 c | 209056 | 167998 3532098 10927789 | 2147483647 209054 75 | 0.001 % |
399.78/400.07 c | 209290 | 167998 3532098 10927789 | 2147483647 209288 75 | 0.001 % |
400.28/400.52 c | 209548 | 167998 3532098 10927789 | 2147483647 209546 75 | 0.001 % |
400.88/401.12 c | 209829 | 167998 3532098 10927789 | 2147483647 209827 75 | 0.001 % |
401.28/401.58 c | 210139 | 167998 3532098 10927789 | 2147483647 210137 75 | 0.001 % |
402.08/402.40 c | 210479 | 167998 3532098 10927789 | 2147483647 210477 75 | 0.001 % |
403.18/403.48 c | 210851 | 167998 3532098 10927789 | 2147483647 210849 75 | 0.001 % |
403.98/404.26 c | 211261 | 167998 3532098 10927789 | 2147483647 211259 75 | 0.001 % |
404.48/404.79 c | 211710 | 167998 3532098 10927789 | 2147483647 211708 75 | 0.001 % |
405.39/405.68 c | 212203 | 167998 3532098 10927789 | 2147483647 212201 75 | 0.001 % |
406.29/406.53 c | 212745 | 167998 3532098 10927789 | 2147483647 212743 75 | 0.001 % |
406.99/407.24 c | 213341 | 167998 3532098 10927789 | 2147483647 213339 75 | 0.001 % |
408.18/408.40 c | 213996 | 167998 3532098 10927789 | 2147483647 213994 76 | 0.001 % |
409.28/409.58 c | 214717 | 167998 3532098 10927789 | 2147483647 214715 76 | 0.001 % |
410.18/410.40 c | 215509 | 167998 3532098 10927789 | 2147483647 215507 76 | 0.001 % |
411.78/412.02 c | 216380 | 167998 3532098 10927789 | 2147483647 216378 76 | 0.001 % |
412.88/413.19 c | 217338 | 167998 3532098 10927789 | 2147483647 217336 76 | 0.001 % |
414.18/414.47 c | 218392 | 167998 3532098 10927789 | 2147483647 218390 76 | 0.001 % |
415.18/415.45 c | 219551 | 167998 3532098 10927789 | 2147483647 219549 76 | 0.001 % |
416.77/417.08 c | 220825 | 167998 3532098 10927789 | 2147483647 220823 77 | 0.001 % |
418.78/419.10 c | 222225 | 167998 3532098 10927789 | 2147483647 222223 77 | 0.001 % |
423.07/423.40 c | 223766 | 167998 3532098 10927789 | 2147483647 223764 77 | 0.001 % |
424.98/425.29 c | 225462 | 167998 3532098 10927789 | 2147483647 225460 77 | 0.001 % |
426.88/427.14 c | 227325 | 167998 3532098 10927789 | 2147483647 227323 77 | 0.001 % |
431.58/431.83 c | 229374 | 167998 3532098 10927789 | 2147483647 229372 77 | 0.001 % |
435.67/435.91 c | 231627 | 167998 3532098 10927789 | 2147483647 231625 77 | 0.001 % |
435.87/436.18 c | 231730 | 167998 3532098 10927789 | 2147483647 231728 77 | 0.001 % |
436.27/436.55 c | 231840 | 167998 3532098 10927789 | 2147483647 231838 77 | 0.001 % |
436.77/437.04 c | 231961 | 167998 3532098 10927789 | 2147483647 231959 77 | 0.001 % |
437.37/437.63 c | 232095 | 167998 3532098 10927789 | 2147483647 232093 77 | 0.001 % |
437.67/437.99 c | 232243 | 167998 3532098 10927789 | 2147483647 232241 77 | 0.001 % |
438.37/438.69 c | 232405 | 167998 3532098 10927789 | 2147483647 232403 77 | 0.001 % |
438.97/439.24 c | 232581 | 167998 3532098 10927789 | 2147483647 232579 77 | 0.001 % |
439.57/439.82 c | 232775 | 167998 3532098 10927789 | 2147483647 232773 77 | 0.001 % |
439.97/440.21 c | 232987 | 167998 3532098 10927789 | 2147483647 232985 77 | 0.001 % |
440.47/440.71 c | 233220 | 167998 3532098 10927789 | 2147483647 233218 77 | 0.001 % |
440.78/441.01 c | 233476 | 167998 3532098 10927789 | 2147483647 233474 77 | 0.001 % |
441.47/441.74 c | 233758 | 167998 3532098 10927789 | 2147483647 233756 77 | 0.001 % |
441.77/442.10 c | 234069 | 167998 3532098 10927789 | 2147483647 234067 77 | 0.001 % |
443.27/443.51 c | 234409 | 167998 3532098 10927789 | 2147483647 234407 77 | 0.001 % |
443.87/444.12 c | 234781 | 167998 3532098 10927789 | 2147483647 234779 77 | 0.001 % |
444.67/444.98 c | 235191 | 167998 3532098 10927789 | 2147483647 235189 77 | 0.001 % |
445.37/445.69 c | 235642 | 167998 3532098 10927789 | 2147483647 235640 77 | 0.001 % |
446.66/446.93 c | 236135 | 167998 3532098 10927789 | 2147483647 236133 77 | 0.001 % |
447.76/448.06 c | 236677 | 167998 3532098 10927789 | 2147483647 236675 77 | 0.001 % |
449.06/449.34 c | 237274 | 167998 3532098 10927789 | 2147483647 237272 77 | 0.001 % |
449.76/450.00 c | 237929 | 167998 3532098 10927789 | 2147483647 237927 78 | 0.001 % |
450.67/450.98 c | 238649 | 167998 3532098 10927789 | 2147483647 238647 78 | 0.001 % |
453.17/453.44 c | 239441 | 167998 3532098 10927789 | 2147483647 239439 78 | 0.001 % |
454.77/455.05 c | 240314 | 167998 3532098 10927789 | 2147483647 240312 78 | 0.001 % |
456.17/456.42 c | 241273 | 167998 3532098 10927789 | 2147483647 241271 78 | 0.001 % |
458.56/458.84 c | 242328 | 167998 3532098 10927789 | 2147483647 242326 79 | 0.001 % |
460.07/460.33 c | 243487 | 167998 3532098 10927789 | 2147483647 243485 79 | 0.001 % |
462.06/462.37 c | 244760 | 167998 3532098 10927789 | 2147483647 244758 80 | 0.001 % |
464.97/465.22 c | 246160 | 167998 3532098 10927789 | 2147483647 246158 80 | 0.001 % |
466.46/466.72 c | 247700 | 167998 3532098 10927789 | 2147483647 247698 80 | 0.001 % |
468.46/468.76 c | 249395 | 167998 3532098 10927789 | 2147483647 249393 80 | 0.001 % |
470.36/470.64 c | 251258 | 167998 3532098 10927789 | 2147483647 251256 80 | 0.001 % |
474.06/474.36 c | 253308 | 167998 3532098 10927789 | 2147483647 253306 81 | 0.001 % |
478.66/478.98 c | 255561 | 167998 3532098 10927789 | 2147483647 255559 81 | 0.001 % |
481.75/482.01 c | 258039 | 167998 3532098 10927789 | 2147483647 258037 84 | 0.001 % |
482.05/482.34 c | 258140 | 167998 3532098 10927789 | 2147483647 258138 84 | 0.001 % |
482.66/482.93 c | 258257 | 167998 3532098 10927789 | 2147483647 258255 84 | 0.001 % |
482.95/483.23 c | 258378 | 167998 3532098 10927789 | 2147483647 258376 84 | 0.001 % |
483.15/483.46 c | 258511 | 167998 3532098 10927789 | 2147483647 258509 84 | 0.001 % |
483.76/484.07 c | 258657 | 167998 3532098 10927789 | 2147483647 258655 84 | 0.001 % |
484.15/484.41 c | 258818 | 167998 3532098 10927789 | 2147483647 258816 84 | 0.001 % |
484.45/484.74 c | 258994 | 167998 3532098 10927789 | 2147483647 258992 84 | 0.001 % |
485.25/485.50 c | 259187 | 167998 3532098 10927789 | 2147483647 259185 84 | 0.001 % |
485.65/485.99 c | 259399 | 167998 3532098 10927789 | 2147483647 259397 84 | 0.001 % |
486.05/486.35 c | 259633 | 167998 3532098 10927789 | 2147483647 259631 84 | 0.001 % |
486.95/487.26 c | 259890 | 167998 3532098 10927789 | 2147483647 259888 84 | 0.001 % |
488.25/488.50 c | 260171 | 167998 3532098 10927789 | 2147483647 260169 84 | 0.001 % |
488.76/489.00 c | 260484 | 167998 3532098 10927789 | 2147483647 260482 84 | 0.001 % |
489.36/489.66 c | 260824 | 167998 3532098 10927789 | 2147483647 260822 84 | 0.001 % |
490.26/490.52 c | 261197 | 167998 3532098 10927789 | 2147483647 261195 84 | 0.001 % |
490.76/491.01 c | 261607 | 167998 3532098 10927789 | 2147483647 261605 84 | 0.001 % |
491.46/491.75 c | 262057 | 167998 3532098 10927789 | 2147483647 262055 84 | 0.001 % |
492.35/492.67 c | 262551 | 167998 3532098 10927789 | 2147483647 262549 84 | 0.001 % |
493.45/493.70 c | 263093 | 167998 3532098 10927789 | 2147483647 263091 85 | 0.001 % |
494.55/494.80 c | 263691 | 167998 3532098 10927789 | 2147483647 263689 85 | 0.001 % |
495.35/495.64 c | 264347 | 167998 3532098 10927789 | 2147483647 264345 85 | 0.001 % |
496.75/497.04 c | 265067 | 167998 3532098 10927789 | 2147483647 265065 85 | 0.001 % |
498.75/499.09 c | 265859 | 167998 3532098 10927789 | 2147483647 265857 85 | 0.001 % |
500.55/500.80 c | 266730 | 167998 3532098 10927789 | 2147483647 266728 85 | 0.001 % |
501.75/502.02 c | 267688 | 167998 3532098 10927789 | 2147483647 267686 85 | 0.001 % |
503.65/503.94 c | 268741 | 167998 3532098 10927789 | 2147483647 268739 85 | 0.001 % |
505.25/505.58 c | 269900 | 167998 3532098 10927789 | 2147483647 269898 86 | 0.001 % |
507.05/507.39 c | 271175 | 167998 3532098 10927789 | 2147483647 271173 86 | 0.001 % |
509.85/510.17 c | 272575 | 167998 3532098 10927789 | 2147483647 272573 86 | 0.001 % |
512.14/512.50 c | 274115 | 167998 3532098 10927789 | 2147483647 274113 86 | 0.001 % |
515.74/516.01 c | 275809 | 167998 3532098 10927789 | 2147483647 275807 86 | 0.001 % |
518.75/519.04 c | 277679 | 167998 3532098 10927789 | 2147483647 277677 86 | 0.001 % |
522.34/522.64 c | 279728 | 167998 3532098 10927789 | 2147483647 279726 86 | 0.001 % |
525.34/525.66 c | 281981 | 167998 3532098 10927789 | 2147483647 281979 86 | 0.001 % |
529.14/529.47 c | 284462 | 167998 3532098 10927789 | 2147483647 284460 86 | 0.001 % |
531.94/532.21 c | 287190 | 167998 3532098 10927789 | 2147483647 287188 87 | 0.001 % |
532.24/532.53 c | 287291 | 167998 3532098 10927789 | 2147483647 287289 87 | 0.001 % |
532.34/532.67 c | 287403 | 167998 3532098 10927789 | 2147483647 287401 87 | 0.001 % |
532.54/532.87 c | 287528 | 167998 3532098 10927789 | 2147483647 287526 87 | 0.001 % |
532.84/533.20 c | 287661 | 167998 3532098 10927789 | 2147483647 287659 87 | 0.001 % |
533.04/533.40 c | 287807 | 167998 3532098 10927789 | 2147483647 287805 87 | 0.001 % |
533.34/533.66 c | 287967 | 167998 3532098 10927789 | 2147483647 287965 87 | 0.001 % |
533.94/534.29 c | 288144 | 167998 3532098 10927789 | 2147483647 288142 87 | 0.001 % |
534.44/534.71 c | 288337 | 167998 3532098 10927789 | 2147483647 288335 87 | 0.001 % |
535.14/535.46 c | 288549 | 167998 3532098 10927789 | 2147483647 288547 87 | 0.001 % |
535.74/536.01 c | 288782 | 167998 3532098 10927789 | 2147483647 288780 87 | 0.001 % |
536.24/536.59 c | 289039 | 167998 3532098 10927789 | 2147483647 289037 87 | 0.001 % |
536.94/537.25 c | 289322 | 167998 3532098 10927789 | 2147483647 289320 87 | 0.001 % |
537.34/537.70 c | 289631 | 167998 3532098 10927789 | 2147483647 289629 87 | 0.001 % |
538.53/538.84 c | 289971 | 167998 3532098 10927789 | 2147483647 289969 87 | 0.001 % |
539.84/540.18 c | 290343 | 167998 3532098 10927789 | 2147483647 290341 87 | 0.001 % |
540.63/540.98 c | 290752 | 167998 3532098 10927789 | 2147483647 290750 87 | 0.001 % |
542.13/542.48 c | 291203 | 167998 3532098 10927789 | 2147483647 291201 87 | 0.001 % |
543.04/543.34 c | 291696 | 167998 3532098 10927789 | 2147483647 291694 87 | 0.001 % |
544.63/544.96 c | 292238 | 167998 3532098 10927789 | 2147483647 292236 87 | 0.001 % |
545.34/545.67 c | 292837 | 167998 3532098 10927789 | 2147483647 292835 87 | 0.001 % |
546.73/547.05 c | 293493 | 167998 3532098 10927789 | 2147483647 293491 87 | 0.001 % |
547.73/548.08 c | 294213 | 167998 3532098 10927789 | 2147483647 294211 87 | 0.001 % |
549.73/550.01 c | 295007 | 167998 3532098 10927789 | 2147483647 295005 87 | 0.001 % |
551.33/551.63 c | 295878 | 167998 3532098 10927789 | 2147483647 295876 87 | 0.001 % |
553.43/553.79 c | 296837 | 167998 3532098 10927789 | 2147483647 296835 87 | 0.001 % |
554.93/555.28 c | 297890 | 167998 3532098 10927789 | 2147483647 297888 87 | 0.001 % |
557.53/557.83 c | 299048 | 167998 3532098 10927789 | 2147483647 299046 88 | 0.001 % |
560.43/560.74 c | 300321 | 167998 3532098 10927789 | 2147483647 300319 88 | 0.001 % |
563.23/563.55 c | 301721 | 167998 3532098 10927789 | 2147483647 301719 88 | 0.001 % |
564.92/565.26 c | 303262 | 167998 3532098 10927789 | 2147483647 303260 88 | 0.001 % |
567.03/567.33 c | 304956 | 167998 3532098 10927789 | 2147483647 304954 88 | 0.001 % |
571.53/571.90 c | 306820 | 167998 3532098 10927789 | 2147483647 306818 88 | 0.001 % |
576.42/576.72 c | 308872 | 167998 3532098 10927789 | 2147483647 308870 88 | 0.001 % |
579.52/579.87 c | 311125 | 167998 3532098 10927789 | 2147483647 311123 90 | 0.001 % |
582.82/583.12 c | 313604 | 167998 3532098 10927789 | 2147483647 313602 90 | 0.001 % |
585.93/586.27 c | 316330 | 167998 3532098 10927789 | 2147483647 316328 90 | 0.001 % |
589.52/589.85 c | 319327 | 167998 3532098 10927789 | 2147483647 319325 91 | 0.001 % |
589.82/590.13 c | 319427 | 167998 3532098 10927789 | 2147483647 319425 91 | 0.001 % |
590.12/590.41 c | 319537 | 167998 3532098 10927789 | 2147483647 319535 91 | 0.001 % |
590.72/591.07 c | 319659 | 167998 3532098 10927789 | 2147483647 319657 91 | 0.001 % |
591.22/591.56 c | 319792 | 167998 3532098 10927789 | 2147483647 319790 91 | 0.001 % |
592.02/592.30 c | 319938 | 167998 3532098 10927789 | 2147483647 319936 91 | 0.001 % |
592.53/592.81 c | 320100 | 167998 3532098 10927789 | 2147483647 320098 91 | 0.001 % |
593.12/593.40 c | 320276 | 167998 3532098 10927789 | 2147483647 320274 91 | 0.001 % |
593.52/593.85 c | 320471 | 167998 3532098 10927789 | 2147483647 320469 91 | 0.001 % |
593.82/594.17 c | 320686 | 167998 3532098 10927789 | 2147483647 320684 91 | 0.001 % |
594.72/595.06 c | 320921 | 167998 3532098 10927789 | 2147483647 320919 91 | 0.001 % |
595.12/595.41 c | 321177 | 167998 3532098 10927789 | 2147483647 321175 91 | 0.001 % |
595.52/595.85 c | 321461 | 167998 3532098 10927789 | 2147483647 321459 91 | 0.001 % |
596.32/596.66 c | 321770 | 167998 3532098 10927789 | 2147483647 321768 91 | 0.001 % |
596.92/597.26 c | 322111 | 167998 3532098 10927789 | 2147483647 322109 92 | 0.001 % |
597.91/598.24 c | 322483 | 167998 3532098 10927789 | 2147483647 322481 92 | 0.001 % |
598.71/599.07 c | 322892 | 167998 3532098 10927789 | 2147483647 322890 92 | 0.001 % |
599.51/599.84 c | 323341 | 167998 3532098 10927789 | 2147483647 323339 92 | 0.001 % |
600.42/600.75 c | 323834 | 167998 3532098 10927789 | 2147483647 323832 92 | 0.001 % |
601.42/601.74 c | 324377 | 167998 3532098 10927789 | 2147483647 324375 92 | 0.001 % |
602.02/602.37 c | 324976 | 167998 3532098 10927789 | 2147483647 324974 92 | 0.001 % |
603.42/603.72 c | 325632 | 167998 3532098 10927789 | 2147483647 325630 92 | 0.001 % |
604.31/604.66 c | 326352 | 167998 3532098 10927789 | 2147483647 326350 92 | 0.001 % |
606.31/606.70 c | 327144 | 167998 3532098 10927789 | 2147483647 327142 92 | 0.001 % |
607.41/607.73 c | 328016 | 167998 3532098 10927789 | 2147483647 328014 92 | 0.001 % |
609.41/609.75 c | 328975 | 167998 3532098 10927789 | 2147483647 328973 92 | 0.001 % |
610.62/610.99 c | 330028 | 167998 3532098 10927789 | 2147483647 330026 92 | 0.001 % |
613.11/613.48 c | 331188 | 167998 3532098 10927789 | 2147483647 331186 93 | 0.001 % |
614.81/615.19 c | 332461 | 167998 3532098 10927789 | 2147483647 332459 92 | 0.001 % |
617.01/617.32 c | 333861 | 167998 3532098 10927789 | 2147483647 333859 92 | 0.001 % |
619.41/619.71 c | 335403 | 167998 3532098 10927789 | 2147483647 335401 92 | 0.001 % |
622.41/622.79 c | 337097 | 167998 3532098 10927789 | 2147483647 337095 92 | 0.001 % |
625.21/625.52 c | 338960 | 167998 3532098 10927789 | 2147483647 338958 94 | 0.001 % |
627.71/628.00 c | 341009 | 167998 3532098 10927789 | 2147483647 341007 94 | 0.001 % |
630.70/631.08 c | 343264 | 167998 3532098 10927789 | 2147483647 343262 95 | 0.001 % |
634.41/634.78 c | 345742 | 167998 3532098 10927789 | 2147483647 345740 95 | 0.001 % |
638.50/638.87 c | 348467 | 167998 3532098 10927789 | 2147483647 348465 95 | 0.001 % |
641.81/642.13 c | 351464 | 167998 3532098 10927789 | 2147483647 351462 95 | 0.001 % |
645.40/645.74 c | 354762 | 167998 3532098 10927789 | 2147483647 354760 95 | 0.001 % |
645.60/645.91 c | 354863 | 167998 3532098 10927789 | 2147483647 354861 95 | 0.001 % |
645.80/646.17 c | 354973 | 167998 3532098 10927789 | 2147483647 354971 95 | 0.001 % |
646.10/646.41 c | 355094 | 167998 3532098 10927789 | 2147483647 355092 95 | 0.001 % |
646.70/647.06 c | 355228 | 167998 3532098 10927789 | 2147483647 355226 95 | 0.001 % |
647.10/647.48 c | 355375 | 167998 3532098 10927789 | 2147483647 355373 95 | 0.001 % |
647.40/647.77 c | 355535 | 167998 3532098 10927789 | 2147483647 355533 95 | 0.001 % |
648.00/648.33 c | 355712 | 167998 3532098 10927789 | 2147483647 355710 95 | 0.001 % |
648.30/648.66 c | 355905 | 167998 3532098 10927789 | 2147483647 355903 95 | 0.001 % |
649.10/649.44 c | 356119 | 167998 3532098 10927789 | 2147483647 356117 95 | 0.001 % |
649.60/649.95 c | 356352 | 167998 3532098 10927789 | 2147483647 356350 95 | 0.001 % |
650.00/650.40 c | 356609 | 167998 3532098 10927789 | 2147483647 356607 95 | 0.001 % |
650.60/650.95 c | 356890 | 167998 3532098 10927789 | 2147483647 356888 95 | 0.001 % |
651.10/651.41 c | 357200 | 167998 3532098 10927789 | 2147483647 357198 95 | 0.001 % |
651.69/652.08 c | 357540 | 167998 3532098 10927789 | 2147483647 357538 95 | 0.001 % |
653.29/653.61 c | 357913 | 167998 3532098 10927789 | 2147483647 357911 95 | 0.001 % |
654.50/654.80 c | 358323 | 167998 3532098 10927789 | 2147483647 358321 95 | 0.001 % |
655.20/655.55 c | 358773 | 167998 3532098 10927789 | 2147483647 358771 95 | 0.001 % |
656.40/656.74 c | 359266 | 167998 3532098 10927789 | 2147483647 359264 95 | 0.001 % |
657.20/657.55 c | 359808 | 167998 3532098 10927789 | 2147483647 359806 95 | 0.001 % |
658.09/658.44 c | 360404 | 167998 3532098 10927789 | 2147483647 360402 95 | 0.001 % |
659.09/659.47 c | 361059 | 167998 3532098 10927789 | 2147483647 361057 95 | 0.001 % |
660.39/660.73 c | 361779 | 167998 3532098 10927789 | 2147483647 361777 95 | 0.001 % |
661.19/661.54 c | 362571 | 167998 3532098 10927789 | 2147483647 362569 95 | 0.001 % |
662.69/663.00 c | 363445 | 167998 3532098 10927789 | 2147483647 363443 95 | 0.001 % |
664.19/664.54 c | 364404 | 167998 3532098 10927789 | 2147483647 364402 95 | 0.001 % |
665.90/666.29 c | 365457 | 167998 3532098 10927789 | 2147483647 365455 95 | 0.001 % |
668.89/669.24 c | 366617 | 167998 3532098 10927789 | 2147483647 366615 95 | 0.001 % |
671.79/672.15 c | 367890 | 167998 3532098 10927789 | 2147483647 367888 95 | 0.001 % |
673.49/673.85 c | 369290 | 167998 3532098 10927789 | 2147483647 369288 95 | 0.001 % |
675.29/675.68 c | 370830 | 167998 3532098 10927789 | 2147483647 370828 95 | 0.001 % |
678.49/678.84 c | 372524 | 167998 3532098 10927789 | 2147483647 372522 95 | 0.001 % |
682.39/682.76 c | 374388 | 167998 3532098 10927789 | 2147483647 374386 95 | 0.001 % |
685.29/685.68 c | 376437 | 167998 3532098 10927789 | 2147483647 376435 96 | 0.001 % |
689.59/689.96 c | 378691 | 167998 3532098 10927789 | 2147483647 378689 96 | 0.001 % |
693.48/693.84 c | 381169 | 167998 3532098 10927789 | 2147483647 381167 96 | 0.001 % |
696.98/697.38 c | 383894 | 167998 3532098 10927789 | 2147483647 383892 96 | 0.001 % |
702.19/702.57 c | 386893 | 167998 3532098 10927789 | 2147483647 386891 96 | 0.001 % |
706.98/707.34 c | 390190 | 167998 3532098 10927789 | 2147483647 390188 100 | 0.001 % |
711.48/711.81 c | 393815 | 167998 3532098 10927789 | 2147483647 393813 99 | 0.001 % |
711.78/712.19 c | 393917 | 167998 3532098 10927789 | 2147483647 393915 99 | 0.001 % |
712.28/712.62 c | 394027 | 167998 3532098 10927789 | 2147483647 394025 99 | 0.001 % |
712.68/713.05 c | 394148 | 167998 3532098 10927789 | 2147483647 394146 99 | 0.001 % |
713.28/713.60 c | 394281 | 167998 3532098 10927789 | 2147483647 394279 99 | 0.001 % |
713.68/714.07 c | 394428 | 167998 3532098 10927789 | 2147483647 394426 99 | 0.001 % |
714.18/714.56 c | 394589 | 167998 3532098 10927789 | 2147483647 394587 99 | 0.001 % |
714.58/714.98 c | 394768 | 167998 3532098 10927789 | 2147483647 394766 99 | 0.001 % |
715.18/715.51 c | 394961 | 167998 3532098 10927789 | 2147483647 394959 99 | 0.001 % |
715.69/716.09 c | 395173 | 167998 3532098 10927789 | 2147483647 395171 99 | 0.001 % |
716.18/716.60 c | 395407 | 167998 3532098 10927789 | 2147483647 395405 99 | 0.001 % |
716.68/717.10 c | 395664 | 167998 3532098 10927789 | 2147483647 395662 99 | 0.001 % |
717.78/718.17 c | 395945 | 167998 3532098 10927789 | 2147483647 395943 99 | 0.001 % |
718.28/718.63 c | 396254 | 167998 3532098 10927789 | 2147483647 396252 99 | 0.001 % |
719.28/719.69 c | 396593 | 167998 3532098 10927789 | 2147483647 396591 99 | 0.001 % |
720.18/720.58 c | 396968 | 167998 3532098 10927789 | 2147483647 396966 99 | 0.001 % |
720.88/721.23 c | 397377 | 167998 3532098 10927789 | 2147483647 397375 99 | 0.001 % |
721.48/721.80 c | 397827 | 167998 3532098 10927789 | 2147483647 397825 99 | 0.001 % |
722.47/722.86 c | 398320 | 167998 3532098 10927789 | 2147483647 398318 99 | 0.001 % |
723.17/723.58 c | 398862 | 167998 3532098 10927789 | 2147483647 398860 99 | 0.001 % |
724.17/724.55 c | 399459 | 167998 3532098 10927789 | 2147483647 399457 99 | 0.001 % |
724.87/725.29 c | 400115 | 167998 3532098 10927789 | 2147483647 400113 99 | 0.001 % |
726.27/726.66 c | 400835 | 167998 3532098 10927789 | 2147483647 400833 99 | 0.001 % |
727.47/727.90 c | 401628 | 167998 3532098 10927789 | 2147483647 401626 99 | 0.001 % |
729.28/729.68 c | 402499 | 167998 3532098 10927789 | 2147483647 402497 99 | 0.001 % |
731.27/731.64 c | 403459 | 167998 3532098 10927789 | 2147483647 403457 99 | 0.001 % |
733.67/734.04 c | 404512 | 167998 3532098 10927789 | 2147483647 404510 99 | 0.001 % |
735.67/736.01 c | 405670 | 167998 3532098 10927789 | 2147483647 405668 99 | 0.001 % |
739.37/739.74 c | 406943 | 167998 3532098 10927789 | 2147483647 406941 99 | 0.001 % |
741.77/742.10 c | 408343 | 167998 3532098 10927789 | 2147483647 408341 99 | 0.001 % |
744.77/745.18 c | 409890 | 167998 3532098 10927789 | 2147483647 409888 99 | 0.001 % |
746.97/747.30 c | 411587 | 167998 3532098 10927789 | 2147483647 411585 99 | 0.001 % |
751.67/752.08 c | 413453 | 167998 3532098 10927789 | 2147483647 413451 99 | 0.001 % |
754.66/755.01 c | 415502 | 167998 3532098 10927789 | 2147483647 415500 99 | 0.001 % |
757.97/758.31 c | 417757 | 167998 3532098 10927789 | 2147483647 417755 99 | 0.001 % |
762.16/762.58 c | 420236 | 167998 3532098 10927789 | 2147483647 420234 99 | 0.001 % |
765.46/765.89 c | 422961 | 167998 3532098 10927789 | 2147483647 422959 100 | 0.001 % |
770.77/771.13 c | 425962 | 167998 3532098 10927789 | 2147483647 425960 99 | 0.001 % |
774.56/774.91 c | 429260 | 167998 3532098 10927789 | 2147483647 429258 100 | 0.001 % |
779.95/780.35 c | 432886 | 167998 3532098 10927789 | 2147483647 432884 100 | 0.001 % |
785.85/786.24 c | 436873 | 167998 3532098 10927789 | 2147483647 436871 100 | 0.001 % |
786.06/786.44 c | 436973 | 167998 3532098 10927789 | 2147483647 436971 100 | 0.001 % |
786.35/786.70 c | 437083 | 167998 3532098 10927789 | 2147483647 437081 100 | 0.001 % |
786.85/787.28 c | 437204 | 167998 3532098 10927789 | 2147483647 437202 100 | 0.001 % |
787.45/787.85 c | 437337 | 167998 3532098 10927789 | 2147483647 437335 100 | 0.001 % |
787.85/788.22 c | 437490 | 167998 3532098 10927789 | 2147483647 437488 100 | 0.001 % |
788.15/788.58 c | 437650 | 167998 3532098 10927789 | 2147483647 437648 100 | 0.001 % |
788.95/789.31 c | 437826 | 167998 3532098 10927789 | 2147483647 437824 100 | 0.001 % |
789.35/789.77 c | 438023 | 167998 3532098 10927789 | 2147483647 438021 100 | 0.001 % |
790.15/790.57 c | 438238 | 167998 3532098 10927789 | 2147483647 438236 100 | 0.001 % |
790.65/791.01 c | 438474 | 167998 3532098 10927789 | 2147483647 438472 100 | 0.001 % |
791.15/791.53 c | 438730 | 167998 3532098 10927789 | 2147483647 438728 100 | 0.001 % |
792.15/792.58 c | 439011 | 167998 3532098 10927789 | 2147483647 439009 100 | 0.001 % |
792.85/793.27 c | 439321 | 167998 3532098 10927789 | 2147483647 439319 100 | 0.001 % |
794.05/794.43 c | 439664 | 167998 3532098 10927789 | 2147483647 439662 100 | 0.001 % |
795.15/795.53 c | 440036 | 167998 3532098 10927789 | 2147483647 440034 100 | 0.001 % |
796.24/796.61 c | 440446 | 167998 3532098 10927789 | 2147483647 440444 100 | 0.001 % |
797.05/797.48 c | 440899 | 167998 3532098 10927789 | 2147483647 440897 100 | 0.001 % |
799.14/799.59 c | 441392 | 167998 3532098 10927789 | 2147483647 441390 100 | 0.001 % |
801.04/801.47 c | 441934 | 167998 3532098 10927789 | 2147483647 441932 100 | 0.001 % |
802.35/802.79 c | 442531 | 167998 3532098 10927789 | 2147483647 442529 100 | 0.001 % |
803.85/804.20 c | 443186 | 167998 3532098 10927789 | 2147483647 443184 100 | 0.001 % |
804.85/805.29 c | 443906 | 167998 3532098 10927789 | 2147483647 443904 100 | 0.001 % |
805.95/806.38 c | 444698 | 167998 3532098 10927789 | 2147483647 444696 100 | 0.001 % |
807.45/807.87 c | 445569 | 167998 3532098 10927789 | 2147483647 445567 100 | 0.001 % |
809.25/809.67 c | 446527 | 167998 3532098 10927789 | 2147483647 446525 100 | 0.001 % |
811.24/811.61 c | 447580 | 167998 3532098 10927789 | 2147483647 447578 100 | 0.001 % |
814.14/814.52 c | 448739 | 167998 3532098 10927789 | 2147483647 448737 100 | 0.001 % |
816.03/816.47 c | 450013 | 167998 3532098 10927789 | 2147483647 450011 101 | 0.001 % |
819.34/819.74 c | 451416 | 167998 3532098 10927789 | 2147483647 451414 101 | 0.001 % |
822.64/823.02 c | 452958 | 167998 3532098 10927789 | 2147483647 452956 101 | 0.001 % |
826.13/826.54 c | 454654 | 167998 3532098 10927789 | 2147483647 454652 102 | 0.001 % |
828.33/828.70 c | 456522 | 167998 3532098 10927789 | 2147483647 456520 102 | 0.001 % |
831.73/832.17 c | 458571 | 167998 3532098 10927789 | 2147483647 458569 102 | 0.001 % |
836.44/836.89 c | 460825 | 167998 3532098 10927789 | 2147483647 460823 102 | 0.001 % |
840.33/840.76 c | 463303 | 167998 3532098 10927789 | 2147483647 463301 103 | 0.001 % |
843.83/844.20 c | 466028 | 167998 3532098 10927789 | 2147483647 466026 104 | 0.001 % |
848.43/848.81 c | 469025 | 167998 3532098 10927789 | 2147483647 469023 104 | 0.001 % |
853.73/854.16 c | 472322 | 167998 3532098 10927789 | 2147483647 472320 106 | 0.001 % |
859.73/860.20 c | 475947 | 167998 3532098 10927789 | 2147483647 475945 107 | 0.001 % |
866.22/866.61 c | 479935 | 167998 3532098 10927789 | 2147483647 479933 107 | 0.001 % |
874.31/874.78 c | 484321 | 167998 3532098 10927789 | 2147483647 484319 107 | 0.001 % |
874.71/875.18 c | 484421 | 167998 3532098 10927789 | 2147483647 484419 107 | 0.001 % |
875.12/875.54 c | 484531 | 167998 3532098 10927789 | 2147483647 484529 107 | 0.001 % |
876.01/876.45 c | 484653 | 167998 3532098 10927789 | 2147483647 484651 107 | 0.001 % |
876.32/876.74 c | 484786 | 167998 3532098 10927789 | 2147483647 484784 107 | 0.001 % |
876.71/877.10 c | 484932 | 167998 3532098 10927789 | 2147483647 484930 107 | 0.001 % |
877.21/877.61 c | 485092 | 167998 3532098 10927789 | 2147483647 485090 107 | 0.001 % |
877.81/878.20 c | 485268 | 167998 3532098 10927789 | 2147483647 485266 107 | 0.001 % |
878.21/878.63 c | 485462 | 167998 3532098 10927789 | 2147483647 485460 107 | 0.001 % |
878.61/879.07 c | 485674 | 167998 3532098 10927789 | 2147483647 485672 107 | 0.001 % |
879.01/879.44 c | 485908 | 167998 3532098 10927789 | 2147483647 485906 107 | 0.001 % |
879.82/880.24 c | 486164 | 167998 3532098 10927789 | 2147483647 486162 107 | 0.001 % |
880.12/880.59 c | 486445 | 167998 3532098 10927789 | 2147483647 486443 106 | 0.001 % |
880.62/881.08 c | 486756 | 167998 3532098 10927789 | 2147483647 486754 106 | 0.001 % |
881.22/881.61 c | 487096 | 167998 3532098 10927789 | 2147483647 487094 106 | 0.001 % |
882.22/882.66 c | 487468 | 167998 3532098 10927789 | 2147483647 487466 106 | 0.001 % |
882.92/883.36 c | 487879 | 167998 3532098 10927789 | 2147483647 487877 106 | 0.001 % |
883.71/884.18 c | 488328 | 167998 3532098 10927789 | 2147483647 488326 106 | 0.001 % |
884.91/885.32 c | 488821 | 167998 3532098 10927789 | 2147483647 488819 106 | 0.001 % |
886.41/886.85 c | 489363 | 167998 3532098 10927789 | 2147483647 489361 106 | 0.001 % |
887.81/888.20 c | 489964 | 167998 3532098 10927789 | 2147483647 489962 106 | 0.001 % |
889.11/889.54 c | 490619 | 167998 3532098 10927789 | 2147483647 490617 107 | 0.001 % |
890.61/891.05 c | 491339 | 167998 3532098 10927789 | 2147483647 491337 107 | 0.001 % |
891.81/892.22 c | 492131 | 167998 3532098 10927789 | 2147483647 492129 107 | 0.001 % |
893.92/894.37 c | 493002 | 167998 3532098 10927789 | 2147483647 493000 107 | 0.001 % |
895.71/896.19 c | 493965 | 167998 3532098 10927789 | 2147483647 493963 107 | 0.001 % |
897.61/898.02 c | 495019 | 167998 3532098 10927789 | 2147483647 495017 107 | 0.001 % |
901.91/902.36 c | 496178 | 167998 3532098 10927789 | 2147483647 496176 107 | 0.001 % |
903.60/904.05 c | 497451 | 167998 3532098 10927789 | 2147483647 497449 107 | 0.001 % |
907.11/907.57 c | 498851 | 167998 3532098 10927789 | 2147483647 498849 107 | 0.001 % |
909.71/910.10 c | 500392 | 167998 3532098 10927789 | 2147483647 500390 107 | 0.001 % |
913.00/913.47 c | 502087 | 167998 3532098 10927789 | 2147483647 502085 107 | 0.001 % |
915.70/916.11 c | 503951 | 167998 3532098 10927789 | 2147483647 503949 107 | 0.001 % |
919.90/920.33 c | 506000 | 167998 3532098 10927789 | 2147483647 505998 108 | 0.001 % |
923.20/923.70 c | 508253 | 167998 3532098 10927789 | 2147483647 508251 108 | 0.001 % |
929.60/930.07 c | 510732 | 167998 3532098 10927789 | 2147483647 510730 108 | 0.001 % |
934.30/934.77 c | 513460 | 167998 3532098 10927789 | 2147483647 513458 109 | 0.001 % |
939.09/939.51 c | 516458 | 167998 3532098 10927789 | 2147483647 516456 109 | 0.001 % |
944.50/944.91 c | 519754 | 167998 3532098 10927789 | 2147483647 519752 109 | 0.001 % |
949.69/950.11 c | 523379 | 167998 3532098 10927789 | 2147483647 523377 109 | 0.001 % |
956.79/957.28 c | 527366 | 167998 3532098 10927789 | 2147483647 527364 109 | 0.001 % |
963.09/963.53 c | 531752 | 167998 3532098 10927789 | 2147483647 531750 109 | 0.001 % |
970.09/970.57 c | 536575 | 167998 3532098 10927789 | 2147483647 536573 109 | 0.001 % |
970.79/971.24 c | 536677 | 167998 3532098 10927789 | 2147483647 536675 109 | 0.001 % |
971.29/971.76 c | 536787 | 167998 3532098 10927789 | 2147483647 536785 109 | 0.001 % |
971.78/972.27 c | 536908 | 167998 3532098 10927789 | 2147483647 536906 109 | 0.001 % |
972.18/972.60 c | 537042 | 167998 3532098 10927789 | 2147483647 537040 109 | 0.001 % |
972.58/973.03 c | 537189 | 167998 3532098 10927789 | 2147483647 537187 109 | 0.001 % |
973.09/973.54 c | 537349 | 167998 3532098 10927789 | 2147483647 537347 109 | 0.001 % |
973.48/973.92 c | 537525 | 167998 3532098 10927789 | 2147483647 537523 109 | 0.001 % |
974.78/975.26 c | 537718 | 167998 3532098 10927789 | 2147483647 537716 109 | 0.001 % |
975.58/976.07 c | 537932 | 167998 3532098 10927789 | 2147483647 537930 109 | 0.001 % |
976.39/976.81 c | 538166 | 167998 3532098 10927789 | 2147483647 538164 109 | 0.001 % |
976.88/977.39 c | 538422 | 167998 3532098 10927789 | 2147483647 538420 109 | 0.001 % |
978.08/978.58 c | 538703 | 167998 3532098 10927789 | 2147483647 538701 109 | 0.001 % |
979.28/979.73 c | 539012 | 167998 3532098 10927789 | 2147483647 539010 109 | 0.001 % |
980.38/980.85 c | 539351 | 167998 3532098 10927789 | 2147483647 539349 109 | 0.001 % |
981.38/981.85 c | 539723 | 167998 3532098 10927789 | 2147483647 539721 109 | 0.001 % |
982.08/982.50 c | 540133 | 167998 3532098 10927789 | 2147483647 540131 109 | 0.001 % |
982.88/983.39 c | 540582 | 167998 3532098 10927789 | 2147483647 540580 109 | 0.001 % |
983.99/984.46 c | 541075 | 167998 3532098 10927789 | 2147483647 541073 109 | 0.001 % |
985.19/985.66 c | 541617 | 167998 3532098 10927789 | 2147483647 541615 109 | 0.001 % |
986.38/986.86 c | 542215 | 167998 3532098 10927789 | 2147483647 542213 109 | 0.001 % |
987.38/987.83 c | 542871 | 167998 3532098 10927789 | 2147483647 542869 109 | 0.001 % |
988.58/989.03 c | 543592 | 167998 3532098 10927789 | 2147483647 543590 109 | 0.001 % |
990.18/990.61 c | 544384 | 167998 3532098 10927789 | 2147483647 544382 109 | 0.001 % |
991.58/992.07 c | 545255 | 167998 3532098 10927789 | 2147483647 545253 109 | 0.001 % |
993.47/993.94 c | 546213 | 167998 3532098 10927789 | 2147483647 546211 109 | 0.001 % |
995.37/995.84 c | 547267 | 167998 3532098 10927789 | 2147483647 547265 109 | 0.001 % |
997.87/998.32 c | 548425 | 167998 3532098 10927789 | 2147483647 548423 109 | 0.001 % |
999.97/1000.44 c | 549698 | 167998 3532098 10927789 | 2147483647 549696 109 | 0.001 % |
1001.88/1002.34 c | 551099 | 167998 3532098 10927789 | 2147483647 551097 109 | 0.001 % |
1006.17/1006.68 c | 552641 | 167998 3532098 10927789 | 2147483647 552639 109 | 0.001 % |
1011.07/1011.59 c | 554335 | 167998 3532098 10927789 | 2147483647 554333 109 | 0.001 % |
1014.57/1015.08 c | 556198 | 167998 3532098 10927789 | 2147483647 556196 111 | 0.001 % |
1016.47/1016.95 c | 558248 | 167998 3532098 10927789 | 2147483647 558246 111 | 0.001 % |
1019.86/1020.30 c | 560501 | 167998 3532098 10927789 | 2147483647 560499 111 | 0.001 % |
1026.57/1027.01 c | 562980 | 167998 3532098 10927789 | 2147483647 562978 111 | 0.001 % |
1030.97/1031.43 c | 565705 | 167998 3532098 10927789 | 2147483647 565703 111 | 0.001 % |
1035.96/1036.48 c | 568703 | 167998 3532098 10927789 | 2147483647 568701 111 | 0.001 % |
1042.16/1042.65 c | 571999 | 167998 3532098 10927789 | 2147483647 571997 111 | 0.001 % |
1048.46/1048.97 c | 575626 | 167998 3532098 10927789 | 2147483647 575624 111 | 0.001 % |
1055.57/1056.10 c | 579613 | 167998 3532098 10927789 | 2147483647 579611 111 | 0.001 % |
1062.65/1063.15 c | 583999 | 167998 3532098 10927789 | 2147483647 583997 112 | 0.001 % |
1072.26/1072.80 c | 588824 | 167998 3532098 10927789 | 2147483647 588822 112 | 0.001 % |
1080.15/1080.69 c | 594130 | 167998 3532098 10927789 | 2147483647 594128 113 | 0.001 % |
1080.45/1080.95 c | 594231 | 167998 3532098 10927789 | 2147483647 594229 113 | 0.001 % |
1080.66/1081.20 c | 594341 | 167998 3532098 10927789 | 2147483647 594339 113 | 0.001 % |
1081.06/1081.53 c | 594462 | 167998 3532098 10927789 | 2147483647 594460 113 | 0.001 % |
1081.46/1081.95 c | 594595 | 167998 3532098 10927789 | 2147483647 594593 113 | 0.001 % |
1081.86/1082.38 c | 594741 | 167998 3532098 10927789 | 2147483647 594739 113 | 0.001 % |
1082.26/1082.75 c | 594901 | 167998 3532098 10927789 | 2147483647 594899 113 | 0.001 % |
1082.56/1083.06 c | 595077 | 167998 3532098 10927789 | 2147483647 595075 113 | 0.001 % |
1083.26/1083.74 c | 595272 | 167998 3532098 10927789 | 2147483647 595270 113 | 0.001 % |
1083.66/1084.11 c | 595487 | 167998 3532098 10927789 | 2147483647 595485 113 | 0.001 % |
1084.16/1084.64 c | 595720 | 167998 3532098 10927789 | 2147483647 595718 113 | 0.001 % |
1084.66/1085.15 c | 595976 | 167998 3532098 10927789 | 2147483647 595974 113 | 0.001 % |
1085.16/1085.69 c | 596260 | 167998 3532098 10927789 | 2147483647 596258 113 | 0.001 % |
1085.85/1086.38 c | 596572 | 167998 3532098 10927789 | 2147483647 596570 113 | 0.001 % |
1086.36/1086.85 c | 596912 | 167998 3532098 10927789 | 2147483647 596910 113 | 0.001 % |
1087.05/1087.54 c | 597284 | 167998 3532098 10927789 | 2147483647 597282 113 | 0.001 % |
1087.75/1088.24 c | 597695 | 167998 3532098 10927789 | 2147483647 597693 112 | 0.001 % |
1088.56/1089.04 c | 598144 | 167998 3532098 10927789 | 2147483647 598142 112 | 0.001 % |
1089.45/1089.90 c | 598640 | 167998 3532098 10927789 | 2147483647 598638 112 | 0.001 % |
1090.35/1090.86 c | 599183 | 167998 3532098 10927789 | 2147483647 599181 112 | 0.001 % |
1091.05/1091.57 c | 599781 | 167998 3532098 10927789 | 2147483647 599779 112 | 0.001 % |
1092.35/1092.85 c | 600436 | 167998 3532098 10927789 | 2147483647 600434 112 | 0.001 % |
1093.65/1094.11 c | 601157 | 167998 3532098 10927789 | 2147483647 601155 112 | 0.001 % |
1094.75/1095.29 c | 601949 | 167998 3532098 10927789 | 2147483647 601947 112 | 0.001 % |
1096.15/1096.60 c | 602820 | 167998 3532098 10927789 | 2147483647 602818 112 | 0.001 % |
1097.64/1098.11 c | 603779 | 167998 3532098 10927789 | 2147483647 603777 112 | 0.001 % |
1099.14/1099.68 c | 604834 | 167998 3532098 10927789 | 2147483647 604832 112 | 0.001 % |
1100.94/1101.45 c | 605992 | 167998 3532098 10927789 | 2147483647 605990 112 | 0.001 % |
1103.24/1103.78 c | 607267 | 167998 3532098 10927789 | 2147483647 607265 111 | 0.001 % |
1105.34/1105.89 c | 608667 | 167998 3532098 10927789 | 2147483647 608665 111 | 0.001 % |
1107.84/1108.35 c | 610207 | 167998 3532098 10927789 | 2147483647 610205 111 | 0.001 % |
1110.94/1111.47 c | 611903 | 167998 3532098 10927789 | 2147483647 611901 111 | 0.001 % |
1113.54/1114.02 c | 613768 | 167998 3532098 10927789 | 2147483647 613766 111 | 0.001 % |
1116.84/1117.31 c | 615817 | 167998 3532098 10927789 | 2147483647 615815 111 | 0.001 % |
1120.54/1121.09 c | 618071 | 167998 3532098 10927789 | 2147483647 618069 110 | 0.001 % |
1126.14/1126.68 c | 620550 | 167998 3532098 10927789 | 2147483647 620548 111 | 0.001 % |
1131.34/1131.89 c | 623275 | 167998 3532098 10927789 | 2147483647 623273 112 | 0.001 % |
1138.73/1139.27 c | 626273 | 167998 3532098 10927789 | 2147483647 626271 112 | 0.001 % |
1145.73/1146.29 c | 629570 | 167998 3532098 10927789 | 2147483647 629568 112 | 0.001 % |
1152.13/1152.69 c | 633196 | 167998 3532098 10927789 | 2147483647 633194 112 | 0.001 % |
1159.43/1159.95 c | 637185 | 167998 3532098 10927789 | 2147483647 637183 112 | 0.001 % |
1168.12/1168.69 c | 641572 | 167998 3532098 10927789 | 2147483647 641570 112 | 0.001 % |
1177.63/1178.12 c | 646395 | 167998 3532098 10927789 | 2147483647 646393 113 | 0.001 % |
1188.31/1188.83 c | 651703 | 167998 3532098 10927789 | 2147483647 651701 113 | 0.001 % |
1199.30/1199.88 c | 657538 | 167998 3532098 10927789 | 2147483647 657536 114 | 0.001 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832127-1242769275/watcher-1832127-1242769275 -o /tmp/evaluation-result-1832127-1242769275/solver-1832127-1242769275 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832127-1242769275.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: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.02 1.02 0.93 2/64 20428
/proc/meminfo: memFree=1794032/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=0
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304955149 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 217051791442 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/20428/statm: 1339 235 195 169 0 50 0
[pid=20429] ppid=20428 vsize=5356 CPUtime=0
/proc/20429/stat : 20429 (SatELiteGTI) S 20428 20428 20308 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 304955149 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/20429/statm: 1339 238 198 169 0 50 0
[pid=20431] ppid=20429 vsize=0 CPUtime=0
/proc/20431/stat : 20431 (sed) R 20429 20428 20308 0 -1 4194308 163 0 0 0 0 0 0 0 22 0 1 0 304955149 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/20431/statm: -- couldn't open statm file --
[startup+0.0849589 s]
/proc/loadavg: 1.02 1.02 0.93 2/64 20428
/proc/meminfo: memFree=1794032/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=0
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304955149 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101959 s]
/proc/loadavg: 1.02 1.02 0.93 2/64 20428
/proc/meminfo: memFree=1794032/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=0
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304955149 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301983 s]
/proc/loadavg: 1.02 1.02 0.93 2/64 20428
/proc/meminfo: memFree=1794032/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=0
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304955149 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701029 s]
/proc/loadavg: 1.02 1.02 0.93 2/64 20428
/proc/meminfo: memFree=1794032/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=0
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304955149 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5011 s]
/proc/loadavg: 1.02 1.02 0.93 2/66 20433
/proc/meminfo: memFree=1712608/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=0
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304955149 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 237 197 169 0 50 0
[pid=20433] ppid=20428 vsize=137056 CPUtime=1.48
/proc/20433/stat : 20433 (SatELite_releas) R 20428 20428 20308 0 -1 4194304 29624 0 0 0 126 22 0 0 25 0 1 0 304955150 140345344 29610 1992294400 134512640 135223648 4294956128 18446744073709551615 134540952 0 0 4096 3 0 0 0 17 1 0 0
/proc/20433/statm: 34264 29612 49 173 0 34089 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 142412
[startup+3.10129 s]
/proc/loadavg: 1.02 1.02 0.93 2/66 20433
/proc/meminfo: memFree=1634592/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=0
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304955149 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 237 197 169 0 50 0
[pid=20433] ppid=20428 vsize=285064 CPUtime=3.07
/proc/20433/stat : 20433 (SatELite_releas) R 20428 20428 20308 0 -1 4194304 67605 0 0 0 265 42 0 0 25 0 1 0 304955150 291905536 67591 1992294400 134512640 135223648 4294956128 18446744073709551615 134549027 0 0 4096 3 0 0 0 17 0 0 0
/proc/20433/statm: 71266 67591 74 173 0 71091 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 290420
[startup+6.30164 s]
/proc/loadavg: 1.02 1.02 0.93 2/66 20433
/proc/meminfo: memFree=1538848/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=0
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304955149 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 237 197 169 0 50 0
[pid=20433] ppid=20428 vsize=285100 CPUtime=6.27
/proc/20433/stat : 20433 (SatELite_releas) R 20428 20428 20308 0 -1 4194304 72721 0 0 0 581 46 0 0 25 0 1 0 304955150 291942400 65094 1992294400 134512640 135223648 4294956128 18446744073709551615 134548331 0 0 4096 3 0 0 0 17 1 0 0
/proc/20433/statm: 71275 65094 76 173 0 71100 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 290456
[startup+12.7014 s]
/proc/loadavg: 1.02 1.02 0.93 2/66 20433
/proc/meminfo: memFree=1510176/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=0
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304955149 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 237 197 169 0 50 0
[pid=20433] ppid=20428 vsize=310624 CPUtime=12.67
/proc/20433/stat : 20433 (SatELite_releas) R 20428 20428 20308 0 -1 4194304 78547 0 0 0 1213 54 0 0 25 0 1 0 304955150 318078976 70920 1992294400 134512640 135223648 4294956128 18446744073709551615 134586676 0 0 4096 3 0 0 0 17 1 0 0
/proc/20433/statm: 77656 70920 76 173 0 77481 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 315980
[startup+25.5018 s]
/proc/loadavg: 1.01 1.02 0.93 2/66 20433
/proc/meminfo: memFree=1475360/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=0
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304955149 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 237 197 169 0 50 0
[pid=20433] ppid=20428 vsize=359108 CPUtime=25.47
/proc/20433/stat : 20433 (SatELite_releas) R 20428 20428 20308 0 -1 4194304 87020 0 0 0 2489 58 0 0 25 0 1 0 304955150 367726592 78825 1992294400 134512640 135223648 4294956128 18446744073709551615 134549033 0 0 4096 3 0 0 0 17 1 0 0
/proc/20433/statm: 89777 78825 76 173 0 89602 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 364464
[startup+51.1016 s]
/proc/loadavg: 1.09 1.03 0.94 2/66 20434
/proc/meminfo: memFree=1547616/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=165868 CPUtime=7.26
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 40530 0 0 0 700 26 0 0 25 0 1 0 304959531 169848832 40508 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 41467 40508 77 171 0 41294 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 171224
[startup+102.305 s]
/proc/loadavg: 1.04 1.03 0.94 2/66 20434
/proc/meminfo: memFree=1539232/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=174252 CPUtime=58.44
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 42627 0 0 0 5814 30 0 0 25 0 1 0 304959531 178434048 42605 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 43563 42605 77 171 0 43390 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 179608
[startup+162.302 s]
/proc/loadavg: 1.01 1.02 0.94 2/66 20436
/proc/meminfo: memFree=1529440/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=184104 CPUtime=118.41
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 45085 0 0 0 11809 32 0 0 25 0 1 0 304959531 188522496 45063 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 46026 45063 77 171 0 45853 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 189460
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 0.94 2/66 20436
/proc/meminfo: memFree=1517600/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=195852 CPUtime=178.38
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 47980 0 0 0 17802 36 0 0 25 0 1 0 304959531 200552448 47958 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 48963 47958 77 171 0 48790 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 201208
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 0.94 2/66 20436
/proc/meminfo: memFree=1503712/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=210200 CPUtime=238.35
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 51525 0 0 0 23796 39 0 0 25 0 1 0 304959531 215244800 51503 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 52550 51503 77 171 0 52377 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 215556
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20436
/proc/meminfo: memFree=1490720/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=222884 CPUtime=298.33
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 54713 0 0 0 29791 42 0 0 25 0 1 0 304959531 228233216 54691 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 55721 54691 77 171 0 55548 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 228240
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20436
/proc/meminfo: memFree=1474848/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=238756 CPUtime=358.3
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 58637 0 0 0 35785 45 0 0 25 0 1 0 304959531 244486144 58615 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
################
# More data... #
################
/proc/20434/statm: 73104 71944 77 171 0 72931 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 297772
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20436
/proc/meminfo: memFree=1398880/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=314388 CPUtime=598.23
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 77481 0 0 0 59757 66 0 0 25 0 1 0 304959531 321933312 77459 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 78597 77459 77 171 0 78424 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 319744
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20436
/proc/meminfo: memFree=1382304/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=331008 CPUtime=658.21
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 81622 0 0 0 65750 71 0 0 25 0 1 0 304959531 338952192 81600 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 82752 81600 77 171 0 82579 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 336364
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20436
/proc/meminfo: memFree=1362848/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=350040 CPUtime=718.19
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 86419 0 0 0 71743 76 0 0 25 0 1 0 304959531 358440960 86397 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 87510 86397 77 171 0 87337 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 355396
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20436
/proc/meminfo: memFree=1345184/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=367780 CPUtime=778.16
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 90844 0 0 0 77736 80 0 0 25 0 1 0 304959531 376606720 90822 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 91945 90822 77 171 0 91772 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 373136
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20436
/proc/meminfo: memFree=1320160/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=393388 CPUtime=838.14
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 97032 0 0 0 83728 86 0 0 25 0 1 0 304959531 402829312 97010 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 98347 97010 77 171 0 98174 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 398744
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20436
/proc/meminfo: memFree=1300512/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=413200 CPUtime=898.12
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 102000 0 0 0 89721 91 0 0 25 0 1 0 304959531 423116800 101978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 103300 101978 77 171 0 103127 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 418556
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20436
/proc/meminfo: memFree=1285856/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=427152 CPUtime=958.1
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 105546 0 0 0 95716 94 0 0 25 0 1 0 304959531 437403648 105524 1992294400 134512640 135215339 4294956240 18446744073709551615 134528930 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 106788 105524 77 171 0 106615 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 432508
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20436
/proc/meminfo: memFree=1264288/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=448808 CPUtime=1018.07
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 110995 0 0 0 101708 99 0 0 25 0 1 0 304959531 459579392 110973 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 112202 110973 77 171 0 112029 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 454164
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20436
/proc/meminfo: memFree=1250912/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=461772 CPUtime=1078.06
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 114280 0 0 0 107702 104 0 0 25 0 1 0 304959531 472854528 114258 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 115443 114258 77 171 0 115270 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 467128
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20436
/proc/meminfo: memFree=1230496/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=481976 CPUtime=1138.03
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 119345 0 0 0 113694 109 0 0 25 0 1 0 304959531 493543424 119323 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/20434/statm: 120494 119323 77 171 0 120321 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 487332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20442
/proc/meminfo: memFree=1222680/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=489376 CPUtime=1156.23
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 121198 0 0 0 115512 111 0 0 25 0 1 0 304959531 501121024 121176 1992294400 134512640 135215339 4294956240 18446744073709551615 134525079 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 122344 121176 77 171 0 122171 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 494732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20442
/proc/meminfo: memFree=1222680/2055920 swapFree=4179328/4192956
[pid=20428] ppid=20426 vsize=5356 CPUtime=43.78
/proc/20428/stat : 20428 (SatELiteGTI) S 20426 20428 20308 0 -1 4194304 336 94982 0 0 0 0 4277 101 16 0 1 0 304955149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 239 197 169 0 50 0
[pid=20434] ppid=20428 vsize=489376 CPUtime=1156.23
/proc/20434/stat : 20434 (minisat_static) R 20428 20428 20308 0 -1 4194304 121198 0 0 0 115512 111 0 0 25 0 1 0 304959531 501121024 121176 1992294400 134512640 135215339 4294956240 18446744073709551615 134525079 0 0 4096 3 0 0 0 17 1 0 0
/proc/20434/statm: 122344 121176 77 171 0 122171 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 494732
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20428 and gives
# childrusage.ru_utime.tv_sec=42
# childrusage.ru_utime.tv_usec=779496
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=18845
# CPU time returned by wait4() is 43.7983
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.01
CPU user time (s): 1197.89
CPU system time (s): 2.12
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 494732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.7795
system time used= 1.01885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95318
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 123
runsolver used 1.38379 second user time and 3.09153 second system time
The end
Begin job on node59 at 2009-05-19 23:41:19
IDJOB=1832127
IDBENCH=20576
IDSOLVER=671
FILE ID=node59/1832127-1242769275
PBS_JOBID= 9322242
Free space on /tmp= 66168 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832127-1242769275/watcher-1832127-1242769275 -o /tmp/evaluation-result-1832127-1242769275/solver-1832127-1242769275 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832127-1242769275.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 580dc3969c4e46e50013253fd4ac9139
RANDOM SEED=1104871197
node59.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1794576 kB
Buffers: 11468 kB
Cached: 205196 kB
SwapCached: 7736 kB
Active: 93012 kB
Inactive: 133444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1794576 kB
SwapTotal: 4192956 kB
SwapFree: 4179328 kB
Dirty: 78352 kB
Writeback: 0 kB
Mapped: 14992 kB
Slab: 20896 kB
Committed_AS: 1046516 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66084 MiB
End job on node59 at 2009-05-20 00:01:22