0.00/0.00 c Parsing...
0.06/0.07 c ==============================================================================
0.06/0.07 c | | ORIGINAL | LEARNT | |
0.06/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.06/0.07 c ==============================================================================
0.06/0.07 c | 0 | 108080 283220 | 32423 0 0 nan | 0.000 % |
0.06/0.07 c ==============================================================================
0.06/0.07 c Result : #vars: 784 #clauses: 108080 #literals: 283220
0.06/0.07 c CPU time: 0.05 s
0.06/0.07 c ==============================================================================
0.12/0.16 c This is MiniSat 2.0 beta
0.12/0.16 c WARNING: for repeatability, setting FPU to use double precision
0.12/0.16 c ============================[ Problem Statistics ]=============================
0.12/0.16 c | |
0.12/0.16 c | Number of variables: 784 |
0.12/0.16 c | Number of clauses: 108080 |
0.17/0.22 c | Parsing time: 0.05 s |
0.17/0.22 c ============================[ Search Statistics ]==============================
0.17/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.17/0.22 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.17/0.22 c ===============================================================================
0.17/0.22 c | 0 | 784 108080 283220 | 36026 0 nan | 0.000 % |
0.17/0.32 c | 513 | 784 108080 283220 | 36026 513 49 | 0.000 % |
0.17/0.38 c | 1025 | 784 108080 283220 | 36026 1025 81 | 0.000 % |
0.17/0.46 c | 1539 | 784 108080 283220 | 36026 1539 80 | 0.000 % |
0.17/0.59 c | 2567 | 784 108080 283220 | 36026 2567 73 | 0.000 % |
0.17/0.65 c | 3079 | 784 108080 283220 | 36026 3079 77 | 0.000 % |
0.17/0.72 c | 3592 | 784 108080 283220 | 36026 3592 81 | 0.000 % |
0.17/0.87 c | 4616 | 784 108080 283220 | 36026 4616 81 | 0.000 % |
1.22/1.24 c | 6668 | 784 108080 283220 | 36026 6668 69 | 0.000 % |
1.32/1.37 c | 7181 | 784 108080 283220 | 36026 7181 66 | 0.011 % |
1.42/1.47 c | 7694 | 784 108080 283220 | 36026 7694 65 | 0.012 % |
1.72/1.74 c | 8718 | 784 108080 283220 | 36026 8718 61 | 0.012 % |
1.82/1.87 c | 9230 | 784 108080 283220 | 36026 9230 60 | 0.012 % |
1.92/2.01 c | 9742 | 784 108080 283220 | 36026 9742 58 | 0.012 % |
2.23/2.31 c | 10766 | 784 108080 283220 | 2147483647 10766 55 | 0.012 % |
2.81/2.82 c | 12814 | 784 108080 283220 | 2147483647 12814 52 | 0.011 % |
3.81/3.83 c | 16912 | 784 108080 283220 | 2147483647 16912 49 | 0.011 % |
3.91/3.98 c | 17428 | 784 108080 283220 | 2147483647 17428 48 | 0.011 % |
4.11/4.15 c | 17941 | 784 108080 283220 | 2147483647 17941 48 | 0.011 % |
4.42/4.43 c | 18966 | 784 108080 283220 | 2147483647 18966 47 | 0.011 % |
4.51/4.58 c | 19478 | 784 108080 283220 | 2147483647 19478 46 | 0.011 % |
4.70/4.75 c | 19991 | 784 108080 283220 | 2147483647 19991 46 | 0.011 % |
5.00/5.05 c | 21015 | 784 108080 283220 | 2147483647 21015 45 | 0.011 % |
5.60/5.66 c | 23065 | 784 108080 283220 | 2147483647 23065 50 | 0.000 % |
5.70/5.81 c | 23580 | 784 108080 283220 | 2147483647 23580 51 | 0.000 % |
5.90/5.97 c | 24093 | 784 108080 283220 | 2147483647 24093 52 | 0.000 % |
6.20/6.30 c | 25117 | 784 108080 283220 | 2147483647 25117 53 | 0.000 % |
6.40/6.47 c | 25629 | 784 108080 283220 | 2147483647 25629 53 | 0.011 % |
6.61/6.65 c | 26142 | 784 108080 283220 | 2147483647 26142 52 | 0.011 % |
6.88/7.00 c | 27168 | 784 108080 283220 | 2147483647 27168 51 | 0.011 % |
7.58/7.70 c | 29216 | 784 108080 283220 | 2147483647 29216 50 | 0.011 % |
9.17/9.27 c | 33314 | 784 108080 283220 | 2147483647 33314 48 | 0.011 % |
12.56/12.66 c | 41508 | 784 108080 283220 | 2147483647 41508 45 | 0.011 % |
12.74/12.88 c | 42022 | 784 108080 283220 | 2147483647 42022 45 | 0.000 % |
12.94/13.07 c | 42534 | 784 108080 283220 | 2147483647 42534 46 | 0.000 % |
13.34/13.51 c | 43558 | 784 108080 283220 | 2147483647 43558 46 | 0.000 % |
13.64/13.74 c | 44071 | 784 108080 283220 | 2147483647 44071 47 | 0.000 % |
13.84/13.97 c | 44583 | 784 108080 283220 | 2147483647 44583 47 | 0.000 % |
14.25/14.36 c | 45608 | 784 108080 283220 | 2147483647 45608 48 | 0.000 % |
15.04/15.21 c | 47658 | 784 108080 283220 | 2147483647 47658 48 | 0.011 % |
15.35/15.48 c | 48172 | 784 108080 283220 | 2147483647 48172 48 | 0.000 % |
15.64/15.74 c | 48685 | 784 108080 283220 | 2147483647 48685 48 | 0.011 % |
16.14/16.27 c | 49709 | 784 108080 283220 | 2147483647 49709 47 | 0.011 % |
16.34/16.50 c | 50221 | 784 108080 283220 | 2147483647 50221 47 | 0.011 % |
16.64/16.72 c | 50733 | 784 108080 283220 | 2147483647 50733 47 | 0.011 % |
17.04/17.20 c | 51758 | 784 108080 283220 | 2147483647 51758 47 | 0.011 % |
17.94/18.04 c | 53810 | 784 108080 283220 | 2147483647 53810 46 | 0.011 % |
19.94/20.03 c | 57909 | 784 108080 283220 | 2147483647 57909 46 | 0.011 % |
20.14/20.29 c | 58421 | 784 108080 283220 | 2147483647 58421 45 | 0.011 % |
20.44/20.60 c | 58933 | 784 108080 283220 | 2147483647 58933 45 | 0.011 % |
21.04/21.16 c | 59959 | 784 108080 283220 | 2147483647 59959 45 | 0.011 % |
21.34/21.42 c | 60472 | 784 108080 283220 | 2147483647 60472 45 | 0.011 % |
21.64/21.72 c | 60984 | 784 108080 283220 | 2147483647 60984 45 | 0.000 % |
22.14/22.30 c | 62010 | 784 108080 283220 | 2147483647 62010 45 | 0.011 % |
23.24/23.38 c | 64059 | 784 108080 283220 | 2147483647 64059 46 | 0.000 % |
23.54/23.65 c | 64577 | 784 108080 283220 | 2147483647 64577 46 | 0.000 % |
23.84/23.96 c | 65090 | 784 108080 283220 | 2147483647 65090 46 | 0.000 % |
24.44/24.51 c | 66115 | 784 108080 283220 | 2147483647 66115 47 | 0.000 % |
24.74/24.84 c | 66627 | 784 108080 283220 | 2147483647 66627 47 | 0.011 % |
24.94/25.11 c | 67139 | 784 108080 283220 | 2147483647 67139 47 | 0.011 % |
25.64/25.72 c | 68165 | 784 108080 283220 | 2147483647 68165 47 | 0.011 % |
26.84/26.99 c | 70213 | 784 108080 283220 | 70001 70213 46 | 0.011 % |
29.23/29.36 c | 74313 | 784 108080 283220 | 70001 63779 44 | 0.011 % |
34.44/34.60 c | 82505 | 784 108080 283220 | 69470 59176 42 | 0.000 % |
45.44/45.59 c | 98891 | 784 108080 283220 | 66671 63659 56 | 0.000 % |
45.84/45.96 c | 99403 | 784 108080 283220 | 66671 64171 55 | 0.011 % |
46.24/46.33 c | 99915 | 784 108080 283220 | 66671 64683 55 | 0.010 % |
47.04/47.17 c | 100940 | 784 108080 283220 | 64769 51631 57 | 0.011 % |
47.34/47.51 c | 101454 | 784 108080 283220 | 64769 52145 56 | 0.011 % |
47.74/47.83 c | 101968 | 784 108080 283220 | 64769 52659 56 | 0.010 % |
48.24/48.40 c | 102992 | 784 108080 283220 | 64769 53683 56 | 0.000 % |
49.44/49.59 c | 105042 | 784 108080 283220 | 64769 55733 55 | 0.000 % |
49.84/49.93 c | 105555 | 784 108080 283220 | 64769 56246 56 | 0.000 % |
50.14/50.27 c | 106067 | 784 108080 283220 | 64769 56758 56 | 0.000 % |
50.84/50.99 c | 107092 | 784 108080 283220 | 64769 57783 56 | 0.000 % |
51.14/51.30 c | 107605 | 784 108080 283220 | 64769 58296 57 | 0.000 % |
51.54/51.63 c | 108117 | 784 108080 283220 | 64769 58808 57 | 0.000 % |
52.14/52.22 c | 109143 | 784 108080 283220 | 64769 59834 56 | 0.011 % |
53.44/53.52 c | 111191 | 784 108080 283220 | 60692 49805 57 | 0.011 % |
55.74/55.85 c | 115291 | 784 108080 283220 | 60692 53905 56 | 0.011 % |
56.04/56.16 c | 115805 | 784 108080 283220 | 60692 54419 56 | 0.010 % |
56.34/56.47 c | 116317 | 784 108080 283220 | 60692 54931 56 | 0.000 % |
56.94/57.04 c | 117344 | 784 108080 283220 | 60692 55958 55 | 0.011 % |
57.24/57.34 c | 117856 | 784 108080 283220 | 60692 56470 55 | 0.011 % |
57.54/57.62 c | 118369 | 784 108080 283220 | 60692 56983 55 | 0.000 % |
58.24/58.34 c | 119394 | 784 108080 283220 | 60692 58008 55 | 0.011 % |
60.04/60.13 c | 121445 | 784 108080 283220 | 58618 49271 57 | 0.011 % |
60.34/60.44 c | 121958 | 784 108080 283220 | 58618 49784 57 | 0.011 % |
60.64/60.74 c | 122470 | 784 108080 283220 | 58618 50296 57 | 0.011 % |
61.34/61.49 c | 123494 | 784 108080 283220 | 58618 51320 57 | 0.011 % |
61.74/61.85 c | 124006 | 784 108080 283220 | 58618 51832 57 | 0.011 % |
62.04/62.18 c | 124519 | 784 108080 283220 | 58618 52345 57 | 0.000 % |
62.74/62.85 c | 125545 | 784 108080 283220 | 58618 53371 58 | 0.000 % |
64.34/64.42 c | 127595 | 784 108080 283220 | 58618 55421 59 | 0.000 % |
67.64/67.72 c | 131691 | 784 108080 283220 | 57828 46613 55 | 0.000 % |
73.94/74.10 c | 139886 | 784 108080 283220 | 57828 54808 52 | 0.011 % |
74.54/74.66 c | 140404 | 784 108080 283220 | 54922 41943 47 | 0.011 % |
74.94/75.09 c | 140917 | 784 108080 283220 | 54922 42456 47 | 0.011 % |
75.84/75.92 c | 141941 | 784 108080 283220 | 54922 43480 46 | 0.011 % |
76.14/76.28 c | 142453 | 784 108080 283220 | 54922 43992 46 | 0.011 % |
76.54/76.65 c | 142966 | 784 108080 283220 | 54922 44505 46 | 0.011 % |
77.24/77.37 c | 143991 | 784 108080 283220 | 54922 45530 46 | 0.011 % |
78.54/78.67 c | 146039 | 784 108080 283220 | 54922 47578 45 | 0.012 % |
78.94/79.02 c | 146554 | 784 108080 283220 | 54922 48093 45 | 0.000 % |
79.24/79.33 c | 147066 | 784 108080 283220 | 54922 48605 46 | 0.000 % |
79.74/79.90 c | 148091 | 784 108080 283220 | 54922 49630 47 | 0.000 % |
80.14/80.24 c | 148605 | 784 108080 283220 | 54922 50144 47 | 0.000 % |
80.44/80.56 c | 149118 | 784 108080 283220 | 54922 50657 47 | 0.000 % |
81.04/81.13 c | 150142 | 784 108080 283220 | 51539 51681 47 | 0.011 % |
82.14/82.30 c | 152191 | 784 108080 283220 | 51539 43112 46 | 0.012 % |
84.54/84.69 c | 156289 | 784 108080 283220 | 51539 47210 46 | 0.012 % |
84.84/84.98 c | 156801 | 784 108080 283220 | 51539 47722 46 | 0.011 % |
85.24/85.32 c | 157315 | 784 108080 283220 | 51539 48236 46 | 0.012 % |
85.84/85.92 c | 158340 | 784 108080 283220 | 51539 49261 46 | 0.012 % |
86.14/86.26 c | 158855 | 784 108080 283220 | 51539 49776 45 | 0.012 % |
86.44/86.60 c | 159367 | 784 108080 283220 | 51539 50288 45 | 0.012 % |
87.24/87.37 c | 160393 | 784 108080 283220 | 50922 42211 46 | 0.012 % |
88.64/88.76 c | 162443 | 784 108080 283220 | 50922 44261 45 | 0.011 % |
89.04/89.19 c | 162955 | 784 108080 283220 | 50922 44773 45 | 0.012 % |
89.34/89.47 c | 163470 | 784 108080 283220 | 50922 45288 45 | 0.011 % |
89.94/90.04 c | 164494 | 784 108080 283220 | 50922 46312 45 | 0.011 % |
90.24/90.32 c | 165006 | 784 108080 283220 | 50922 46824 44 | 0.011 % |
90.54/90.62 c | 165519 | 784 108080 283220 | 50922 47337 45 | 0.000 % |
91.14/91.26 c | 166544 | 784 108080 283220 | 50922 48362 45 | 0.000 % |
92.24/92.37 c | 168595 | 784 108080 283220 | 50922 50413 47 | 0.000 % |
94.54/94.61 c | 172691 | 784 108080 283220 | 42745 37873 49 | 0.000 % |
99.64/99.74 c | 180883 | 784 108080 283220 | 37304 31260 54 | 0.000 % |
111.84/111.94 c | 197268 | 784 108080 283220 | 32819 25411 42 | 0.011 % |
128.94/129.04 c | 230037 | 784 108080 283220 | 24062 24099 46 | 0.011 % |
129.14/129.25 c | 230551 | 784 108080 283220 | 24062 21516 49 | 0.000 % |
129.34/129.47 c | 231066 | 784 108080 283220 | 24062 22031 50 | 0.000 % |
129.75/129.85 c | 232093 | 784 108080 283220 | 24062 23058 52 | 0.000 % |
129.94/130.05 c | 232608 | 784 108080 283220 | 24062 23573 53 | 0.000 % |
130.14/130.22 c | 233120 | 784 108080 283220 | 24062 24085 54 | 0.000 % |
130.54/130.60 c | 234144 | 784 108080 283220 | 24062 22701 55 | 0.000 % |
131.34/131.41 c | 236197 | 784 108080 283220 | 24062 22321 55 | 0.010 % |
131.44/131.60 c | 236710 | 784 108080 283220 | 24062 22834 55 | 0.011 % |
131.64/131.80 c | 237222 | 784 108080 283220 | 24062 23346 54 | 0.000 % |
132.14/132.23 c | 238247 | 784 108080 283220 | 24062 24371 53 | 0.011 % |
132.44/132.51 c | 238769 | 784 108080 283220 | 24062 22456 54 | 0.010 % |
132.64/132.73 c | 239281 | 784 108080 283220 | 24062 22968 54 | 0.011 % |
133.05/133.20 c | 240306 | 784 108080 283220 | 2147483647 23993 53 | 0.010 % |
133.94/134.08 c | 242355 | 784 108080 283220 | 2147483647 26042 53 | 0.011 % |
135.74/135.89 c | 246455 | 784 108080 283220 | 2147483647 30142 51 | 0.012 % |
136.04/136.12 c | 246967 | 784 108080 283220 | 2147483647 30654 51 | 0.012 % |
136.24/136.34 c | 247480 | 784 108080 283220 | 2147483647 31167 51 | 0.011 % |
136.64/136.75 c | 248505 | 784 108080 283220 | 2147483647 32192 50 | 0.011 % |
136.84/136.99 c | 249017 | 784 108080 283220 | 2147483647 32704 51 | 0.000 % |
137.14/137.24 c | 249531 | 784 108080 283220 | 2147483647 33218 52 | 0.000 % |
137.64/137.74 c | 250560 | 784 108080 283220 | 2147483647 34247 53 | 0.000 % |
138.74/138.83 c | 252609 | 784 108080 283220 | 2147483647 36296 55 | 0.000 % |
139.04/139.15 c | 253124 | 784 108080 283220 | 2147483647 36811 54 | 0.000 % |
139.34/139.42 c | 253636 | 784 108080 283220 | 2147483647 37323 54 | 0.012 % |
139.84/139.95 c | 254662 | 784 108080 283220 | 2147483647 38349 54 | 0.012 % |
140.14/140.25 c | 255174 | 784 108080 283220 | 2147483647 38861 53 | 0.000 % |
140.44/140.58 c | 255686 | 784 108080 283220 | 2147483647 39373 53 | 0.011 % |
141.04/141.18 c | 256715 | 784 108080 283220 | 2147483647 40402 52 | 0.011 % |
142.34/142.48 c | 258766 | 784 108080 283220 | 2147483647 42453 52 | 0.011 % |
145.04/145.16 c | 262862 | 784 108080 283220 | 43691 40567 49 | 0.011 % |
150.24/150.38 c | 271058 | 784 108080 283220 | 40115 34390 42 | 0.012 % |
150.44/150.60 c | 271572 | 784 108080 283220 | 40115 34904 43 | 0.000 % |
150.65/150.79 c | 272085 | 784 108080 283220 | 40115 35417 44 | 0.000 % |
151.04/151.19 c | 273109 | 784 108080 283220 | 40115 36441 46 | 0.000 % |
151.34/151.43 c | 273622 | 784 108080 283220 | 40115 36954 46 | 0.000 % |
151.54/151.67 c | 274138 | 784 108080 283220 | 40115 37470 46 | 0.011 % |
152.14/152.27 c | 275163 | 784 108080 283220 | 40115 38495 45 | 0.011 % |
153.44/153.57 c | 277215 | 784 108080 283220 | 40115 34599 45 | 0.011 % |
153.74/153.86 c | 277727 | 784 108080 283220 | 40115 35111 45 | 0.011 % |
154.04/154.11 c | 278240 | 784 108080 283220 | 40115 35624 44 | 0.011 % |
154.54/154.62 c | 279264 | 784 108080 283220 | 40115 36648 44 | 0.011 % |
154.74/154.88 c | 279776 | 784 108080 283220 | 40115 37160 44 | 0.011 % |
155.05/155.14 c | 280291 | 784 108080 283220 | 37384 37675 44 | 0.001 % |
155.44/155.60 c | 281315 | 784 108080 283220 | 37384 33306 39 | 0.011 % |
156.44/156.56 c | 283366 | 784 108080 283220 | 37384 35357 38 | 0.000 % |
158.24/158.40 c | 287463 | 784 108080 283220 | 37384 35355 38 | 0.011 % |
158.54/158.64 c | 287975 | 784 108080 283220 | 37384 35867 38 | 0.011 % |
158.74/158.83 c | 288487 | 784 108080 283220 | 37384 36379 38 | 0.011 % |
159.24/159.35 c | 289512 | 784 108080 283220 | 37384 37404 38 | 0.011 % |
159.54/159.63 c | 290024 | 784 108080 283220 | 34118 34138 39 | 0.000 % |
159.84/159.93 c | 290538 | 784 108080 283220 | 34118 31160 40 | 0.000 % |
160.24/160.38 c | 291564 | 784 108080 283220 | 34118 32186 42 | 0.000 % |
161.25/161.33 c | 293613 | 784 108080 283220 | 34118 34235 44 | 0.000 % |
161.45/161.58 c | 294125 | 784 108080 283220 | 34118 31324 45 | 0.000 % |
161.75/161.81 c | 294640 | 784 108080 283220 | 34118 31839 45 | 0.000 % |
162.25/162.32 c | 295666 | 784 108080 283220 | 34118 32865 45 | 0.011 % |
162.45/162.55 c | 296180 | 784 108080 283220 | 34118 33379 44 | 0.011 % |
162.65/162.80 c | 296692 | 784 108080 283220 | 34118 33891 44 | 0.011 % |
163.25/163.31 c | 297717 | 784 108080 283220 | 34118 31494 46 | 0.011 % |
164.25/164.36 c | 299765 | 784 108080 283220 | 34118 33542 45 | 0.011 % |
166.35/166.41 c | 303863 | 784 108080 283220 | 2147483647 37640 45 | 0.011 % |
170.86/170.99 c | 312055 | 784 108080 283220 | 43777 39664 42 | 0.011 % |
181.56/181.63 c | 328440 | 784 108080 283220 | 41087 35938 54 | 0.000 % |
181.86/181.96 c | 328956 | 784 108080 283220 | 41087 36454 54 | 0.012 % |
182.16/182.22 c | 329468 | 784 108080 283220 | 41087 36966 54 | 0.011 % |
182.76/182.87 c | 330494 | 784 108080 283220 | 37498 31276 57 | 0.011 % |
183.16/183.23 c | 331006 | 784 108080 283220 | 37498 31788 57 | 0.011 % |
183.36/183.44 c | 331518 | 784 108080 283220 | 37498 32300 57 | 0.000 % |
184.06/184.16 c | 332543 | 784 108080 283220 | 37498 33325 58 | 0.000 % |
185.46/185.56 c | 334592 | 784 108080 283220 | 37498 35374 59 | 0.000 % |
185.76/185.86 c | 335104 | 784 108080 283220 | 37498 35886 60 | 0.000 % |
186.06/186.21 c | 335617 | 784 108080 283220 | 37498 36399 59 | 0.000 % |
186.76/186.90 c | 336643 | 784 108080 283220 | 37498 37425 59 | 0.011 % |
187.16/187.26 c | 337156 | 784 108080 283220 | 37498 31269 62 | 0.011 % |
187.46/187.57 c | 337668 | 784 108080 283220 | 37498 31781 61 | 0.011 % |
187.96/188.11 c | 338692 | 784 108080 283220 | 37498 32805 60 | 0.011 % |
188.96/189.07 c | 340741 | 784 108080 283220 | 34114 29179 56 | 0.011 % |
191.16/191.23 c | 344837 | 784 108080 283220 | 34114 33275 53 | 0.012 % |
191.36/191.47 c | 345350 | 784 108080 283220 | 34114 33788 53 | 0.012 % |
191.66/191.79 c | 345862 | 784 108080 283220 | 34114 29365 49 | 0.012 % |
192.16/192.29 c | 346886 | 784 108080 283220 | 34114 30389 49 | 0.012 % |
192.46/192.60 c | 347401 | 784 108080 283220 | 34114 30904 49 | 0.011 % |
192.76/192.91 c | 347915 | 784 108080 283220 | 34114 31418 49 | 0.011 % |
193.46/193.54 c | 348939 | 784 108080 283220 | 34114 32442 48 | 0.011 % |
194.76/194.86 c | 350987 | 784 108080 283220 | 33504 29324 42 | 0.011 % |
195.06/195.16 c | 351501 | 784 108080 283220 | 33504 29838 41 | 0.011 % |
195.26/195.39 c | 352013 | 784 108080 283220 | 33504 30350 43 | 0.000 % |
195.76/195.82 c | 353037 | 784 108080 283220 | 33504 31374 44 | 0.000 % |
195.96/196.04 c | 353549 | 784 108080 283220 | 33504 31886 45 | 0.000 % |
196.16/196.26 c | 354061 | 784 108080 283220 | 33504 32398 46 | 0.000 % |
196.66/196.73 c | 355086 | 784 108080 283220 | 33504 33423 47 | 0.000 % |
197.76/197.84 c | 357135 | 784 108080 283220 | 33504 31078 48 | 0.000 % |
199.96/200.05 c | 361232 | 784 108080 283220 | 29639 27105 46 | 0.011 % |
204.06/204.21 c | 369427 | 784 108080 283220 | 29639 27788 46 | 0.011 % |
204.36/204.51 c | 369940 | 784 108080 283220 | 29639 28301 46 | 0.000 % |
204.76/204.84 c | 370452 | 784 108080 283220 | 28361 25022 48 | 0.011 % |
205.36/205.43 c | 371478 | 784 108080 283220 | 28361 26048 47 | 0.000 % |
205.56/205.71 c | 371990 | 784 108080 283220 | 28361 26560 47 | 0.011 % |
205.86/205.97 c | 372502 | 784 108080 283220 | 28361 27072 47 | 0.011 % |
206.36/206.47 c | 373529 | 784 108080 283220 | 28361 28099 48 | 0.000 % |
207.36/207.43 c | 375577 | 784 108080 283220 | 28361 26354 49 | 0.000 % |
207.56/207.68 c | 376090 | 784 108080 283220 | 28361 26867 50 | 0.000 % |
207.86/207.93 c | 376605 | 784 108080 283220 | 28361 27382 51 | 0.000 % |
208.26/208.37 c | 377632 | 784 108080 283220 | 28361 28409 50 | 0.011 % |
208.56/208.62 c | 378144 | 784 108080 283220 | 28361 25635 45 | 0.012 % |
208.76/208.83 c | 378658 | 784 108080 283220 | 28361 26149 45 | 0.011 % |
209.26/209.32 c | 379682 | 784 108080 283220 | 28361 27173 45 | 0.011 % |
210.26/210.34 c | 381732 | 784 108080 283220 | 27492 26233 43 | 0.011 % |
212.06/212.15 c | 385828 | 784 108080 283220 | 27492 27544 43 | 0.011 % |
212.26/212.41 c | 386340 | 784 108080 283220 | 27492 25279 44 | 0.011 % |
212.56/212.66 c | 386855 | 784 108080 283220 | 27492 25794 43 | 0.011 % |
212.96/213.06 c | 387880 | 784 108080 283220 | 27492 26819 44 | 0.011 % |
213.16/213.28 c | 388392 | 784 108080 283220 | 27492 27331 44 | 0.011 % |
213.46/213.55 c | 388904 | 784 108080 283220 | 27492 25072 45 | 0.011 % |
213.86/213.96 c | 389931 | 784 108080 283220 | 27492 26099 45 | 0.011 % |
214.76/214.88 c | 391981 | 784 108080 283220 | 2147483647 28149 44 | 0.011 % |
215.06/215.12 c | 392493 | 784 108080 283220 | 2147483647 28661 44 | 0.011 % |
215.26/215.35 c | 393007 | 784 108080 283220 | 2147483647 29175 43 | 0.011 % |
215.66/215.79 c | 394033 | 784 108080 283220 | 2147483647 30201 46 | 0.000 % |
215.86/216.01 c | 394545 | 784 108080 283220 | 2147483647 30713 47 | 0.000 % |
216.16/216.26 c | 395059 | 784 108080 283220 | 2147483647 31227 47 | 0.000 % |
216.56/216.71 c | 396083 | 784 108080 283220 | 2147483647 32251 50 | 0.000 % |
217.76/217.87 c | 398134 | 784 108080 283220 | 2147483647 34302 52 | 0.000 % |
220.36/220.45 c | 402232 | 784 108080 283220 | 36173 34309 51 | 0.011 % |
225.46/225.54 c | 410424 | 784 108080 283220 | 31244 26667 48 | 0.011 % |
233.76/233.82 c | 426808 | 784 108080 283220 | 27178 26465 52 | 0.000 % |
253.26/253.34 c | 459577 | 784 108080 283220 | 22600 20955 48 | 0.000 % |
287.96/288.03 c | 525114 | 784 108080 283220 | 30623 28319 56 | 0.000 % |
288.17/288.31 c | 525627 | 784 108080 283220 | 30623 28832 56 | 0.011 % |
288.46/288.58 c | 526139 | 784 108080 283220 | 30623 29344 56 | 0.011 % |
289.06/289.13 c | 527164 | 784 108080 283220 | 30623 30369 55 | 0.011 % |
289.36/289.48 c | 527683 | 784 108080 283220 | 30623 30888 54 | 0.000 % |
289.66/289.80 c | 528195 | 784 108080 283220 | 30623 27370 53 | 0.012 % |
290.37/290.42 c | 529220 | 784 108080 283220 | 30623 28395 53 | 0.012 % |
291.67/291.75 c | 531269 | 784 108080 283220 | 29176 26245 50 | 0.012 % |
291.97/292.02 c | 531781 | 784 108080 283220 | 29176 26757 49 | 0.011 % |
292.17/292.30 c | 532298 | 784 108080 283220 | 29176 27274 49 | 0.011 % |
292.77/292.87 c | 533322 | 784 108080 283220 | 29176 28298 48 | 0.012 % |
292.97/293.08 c | 533834 | 784 108080 283220 | 29176 28810 48 | 0.012 % |
293.27/293.36 c | 534350 | 784 108080 283220 | 29176 29326 49 | 0.011 % |
293.87/293.95 c | 535375 | 784 108080 283220 | 29176 26287 47 | 0.012 % |
295.17/295.24 c | 537426 | 784 108080 283220 | 29176 28338 46 | 0.012 % |
297.27/297.35 c | 541526 | 784 108080 283220 | 26571 24302 38 | 0.011 % |
297.47/297.54 c | 542039 | 784 108080 283220 | 26571 24815 39 | 0.000 % |
297.67/297.74 c | 542553 | 784 108080 283220 | 26571 25329 40 | 0.000 % |
297.97/298.11 c | 543577 | 784 108080 283220 | 26571 26353 42 | 0.000 % |
298.17/298.31 c | 544090 | 784 108080 283220 | 26571 26866 43 | 0.000 % |
298.37/298.51 c | 544603 | 784 108080 283220 | 26571 24638 43 | 0.000 % |
298.77/298.86 c | 545630 | 784 108080 283220 | 26571 25665 43 | 0.000 % |
299.57/299.71 c | 547679 | 784 108080 283220 | 26571 25020 42 | 0.000 % |
299.77/299.89 c | 548191 | 784 108080 283220 | 26571 25532 41 | 0.011 % |
299.97/300.07 c | 548703 | 784 108080 283220 | 26571 26044 41 | 0.011 % |
300.37/300.47 c | 549727 | 784 108080 283220 | 26571 24379 42 | 0.011 % |
300.57/300.64 c | 550239 | 784 108080 283220 | 2147483647 24891 42 | 0.000 % |
300.77/300.83 c | 550751 | 784 108080 283220 | 2147483647 25403 42 | 0.000 % |
301.07/301.18 c | 551776 | 784 108080 283220 | 2147483647 26428 41 | 0.011 % |
301.77/301.86 c | 553825 | 784 108080 283220 | 2147483647 28477 41 | 0.010 % |
303.47/303.55 c | 557921 | 784 108080 283220 | 2147483647 32573 40 | 0.011 % |
307.87/307.97 c | 566113 | 784 108080 283220 | 2147483647 40765 44 | 0.012 % |
308.27/308.34 c | 566627 | 784 108080 283220 | 2147483647 41279 44 | 0.012 % |
308.57/308.68 c | 567142 | 784 108080 283220 | 2147483647 41794 44 | 0.012 % |
309.37/309.45 c | 568167 | 784 108080 283220 | 2147483647 42819 44 | 0.013 % |
309.77/309.85 c | 568679 | 784 108080 283220 | 2147483647 43331 44 | 0.013 % |
310.07/310.21 c | 569193 | 784 108080 283220 | 2147483647 43845 43 | 0.013 % |
310.67/310.80 c | 570217 | 784 108080 283220 | 44653 44869 43 | 0.011 % |
311.87/311.95 c | 572266 | 784 108080 283220 | 44653 41040 43 | 0.011 % |
312.17/312.22 c | 572778 | 784 108080 283220 | 44653 41552 43 | 0.011 % |
312.47/312.52 c | 573293 | 784 108080 283220 | 44653 42067 43 | 0.011 % |
313.07/313.13 c | 574318 | 784 108080 283220 | 44653 43092 43 | 0.011 % |
313.47/313.54 c | 574833 | 784 108080 283220 | 44653 43607 43 | 0.011 % |
313.77/313.91 c | 575346 | 784 108080 283220 | 44653 44120 43 | 0.011 % |
314.47/314.57 c | 576372 | 784 108080 283220 | 44653 38511 44 | 0.011 % |
315.57/315.66 c | 578424 | 784 108080 283220 | 44653 40563 43 | 0.011 % |
317.67/317.75 c | 582523 | 784 108080 283220 | 42139 38301 40 | 0.011 % |
317.97/318.03 c | 583037 | 784 108080 283220 | 42139 38815 40 | 0.000 % |
318.17/318.26 c | 583550 | 784 108080 283220 | 42139 39328 41 | 0.000 % |
318.67/318.76 c | 584579 | 784 108080 283220 | 42139 40357 43 | 0.000 % |
318.97/319.11 c | 585092 | 784 108080 283220 | 42139 40870 44 | 0.000 % |
319.27/319.36 c | 585607 | 784 108080 283220 | 42139 41385 44 | 0.000 % |
319.77/319.85 c | 586634 | 784 108080 283220 | 42139 37045 45 | 0.011 % |
320.87/320.99 c | 588683 | 784 108080 283220 | 42139 39094 45 | 0.012 % |
321.17/321.22 c | 589195 | 784 108080 283220 | 42139 39606 45 | 0.012 % |
321.47/321.55 c | 589708 | 784 108080 283220 | 42139 40119 45 | 0.012 % |
322.17/322.24 c | 590733 | 784 108080 283220 | 40412 35494 46 | 0.011 % |
322.47/322.56 c | 591245 | 784 108080 283220 | 40412 36006 46 | 0.012 % |
322.67/322.81 c | 591761 | 784 108080 283220 | 40412 36522 45 | 0.012 % |
323.27/323.32 c | 592786 | 784 108080 283220 | 40412 37547 45 | 0.012 % |
324.37/324.45 c | 594834 | 784 108080 283220 | 40412 39595 45 | 0.012 % |
326.37/326.44 c | 598931 | 784 108080 283220 | 40412 37800 42 | 0.011 % |
330.57/330.62 c | 607125 | 784 108080 283220 | 38870 34968 46 | 0.000 % |
339.07/339.13 c | 623510 | 784 108080 283220 | 36550 34587 41 | 0.011 % |
339.27/339.36 c | 624023 | 784 108080 283220 | 36550 35100 41 | 0.000 % |
339.47/339.58 c | 624536 | 784 108080 283220 | 36550 35613 42 | 0.000 % |
339.97/340.03 c | 625561 | 784 108080 283220 | 36550 36638 44 | 0.000 % |
340.27/340.33 c | 626074 | 784 108080 283220 | 36550 31777 44 | 0.000 % |
340.47/340.58 c | 626591 | 784 108080 283220 | 36550 32294 44 | 0.000 % |
340.97/341.07 c | 627616 | 784 108080 283220 | 36550 33319 46 | 0.000 % |
341.97/342.09 c | 629664 | 784 108080 283220 | 36550 35367 45 | 0.011 % |
342.27/342.37 c | 630177 | 784 108080 283220 | 35703 35880 45 | 0.011 % |
342.57/342.67 c | 630692 | 784 108080 283220 | 35703 31425 44 | 0.011 % |
343.17/343.23 c | 631716 | 784 108080 283220 | 35703 32449 44 | 0.000 % |
343.37/343.47 c | 632229 | 784 108080 283220 | 35703 32962 44 | 0.011 % |
343.57/343.71 c | 632745 | 784 108080 283220 | 35703 33478 44 | 0.011 % |
344.17/344.23 c | 633769 | 784 108080 283220 | 35703 34502 44 | 0.011 % |
345.27/345.39 c | 635817 | 784 108080 283220 | 35703 32110 43 | 0.011 % |
347.57/347.71 c | 639914 | 784 108080 283220 | 35703 31404 44 | 0.012 % |
347.87/347.99 c | 640427 | 784 108080 283220 | 31490 27674 45 | 0.011 % |
348.17/348.26 c | 640942 | 784 108080 283220 | 31490 28189 45 | 0.000 % |
348.77/348.84 c | 641966 | 784 108080 283220 | 31490 29213 45 | 0.012 % |
348.97/349.10 c | 642479 | 784 108080 283220 | 31490 29726 45 | 0.000 % |
349.27/349.37 c | 642993 | 784 108080 283220 | 31490 30240 45 | 0.012 % |
349.87/349.96 c | 644017 | 784 108080 283220 | 31490 31264 45 | 0.012 % |
350.77/350.91 c | 646066 | 784 108080 283220 | 31490 28882 47 | 0.000 % |
351.07/351.19 c | 646579 | 784 108080 283220 | 31490 29395 48 | 0.000 % |
351.37/351.46 c | 647092 | 784 108080 283220 | 31490 29908 48 | 0.000 % |
351.87/351.98 c | 648117 | 784 108080 283220 | 31490 30933 49 | 0.000 % |
352.17/352.26 c | 648630 | 784 108080 283220 | 31490 31446 49 | 0.012 % |
352.47/352.55 c | 649144 | 784 108080 283220 | 31490 27801 45 | 0.012 % |
352.97/353.06 c | 650168 | 784 108080 283220 | 28658 28825 46 | 0.012 % |
353.87/353.99 c | 652218 | 784 108080 283220 | 28658 27248 43 | 0.012 % |
355.87/355.96 c | 656314 | 784 108080 283220 | 28658 28234 42 | 0.013 % |
359.57/359.67 c | 664508 | 784 108080 283220 | 28847 27499 41 | 0.000 % |
359.77/359.87 c | 665024 | 784 108080 283220 | 28847 28015 42 | 0.000 % |
360.07/360.11 c | 665538 | 784 108080 283220 | 28847 28529 43 | 0.000 % |
360.47/360.59 c | 666562 | 784 108080 283220 | 28847 26644 46 | 0.000 % |
360.67/360.80 c | 667074 | 784 108080 283220 | 28847 27156 46 | 0.000 % |
360.87/360.98 c | 667586 | 784 108080 283220 | 28847 27668 48 | 0.000 % |
361.37/361.46 c | 668613 | 784 108080 283220 | 28847 28695 50 | 0.000 % |
362.47/362.51 c | 670663 | 784 108080 283220 | 2147483647 27826 49 | 0.000 % |
362.67/362.76 c | 671175 | 784 108080 283220 | 2147483647 28338 49 | 0.011 % |
362.87/363.01 c | 671687 | 784 108080 283220 | 2147483647 28850 49 | 0.011 % |
363.37/363.51 c | 672711 | 784 108080 283220 | 2147483647 29874 49 | 0.000 % |
363.67/363.74 c | 673224 | 784 108080 283220 | 2147483647 30387 49 | 0.011 % |
363.97/364.09 c | 673736 | 784 108080 283220 | 2147483647 30899 49 | 0.011 % |
364.67/364.72 c | 674763 | 784 108080 283220 | 2147483647 31926 48 | 0.011 % |
365.47/365.60 c | 676813 | 784 108080 283220 | 2147483647 33976 49 | 0.011 % |
367.87/367.97 c | 680911 | 784 108080 283220 | 37165 32650 48 | 0.011 % |
368.07/368.20 c | 681423 | 784 108080 283220 | 37165 33162 48 | 0.011 % |
368.37/368.48 c | 681935 | 784 108080 283220 | 37165 33674 48 | 0.011 % |
368.87/368.99 c | 682961 | 784 108080 283220 | 37165 34700 47 | 0.011 % |
369.17/369.23 c | 683474 | 784 108080 283220 | 37165 35213 48 | 0.011 % |
369.47/369.53 c | 683988 | 784 108080 283220 | 37165 35727 48 | 0.000 % |
369.97/370.02 c | 685014 | 784 108080 283220 | 37165 36753 47 | 0.011 % |
370.97/371.02 c | 687062 | 784 108080 283220 | 37165 33242 53 | 0.000 % |
371.17/371.30 c | 687578 | 784 108080 283220 | 37165 33758 54 | 0.000 % |
371.57/371.66 c | 688091 | 784 108080 283220 | 37165 34271 54 | 0.000 % |
372.17/372.26 c | 689115 | 784 108080 283220 | 37165 35295 55 | 0.000 % |
372.47/372.54 c | 689629 | 784 108080 283220 | 37165 35809 55 | 0.011 % |
372.77/372.85 c | 690141 | 784 108080 283220 | 36180 36321 54 | 0.011 % |
373.37/373.46 c | 691165 | 784 108080 283220 | 36180 31913 56 | 0.000 % |
374.67/374.74 c | 693214 | 784 108080 283220 | 36180 33962 55 | 0.011 % |
376.87/376.97 c | 697310 | 784 108080 283220 | 36180 32373 45 | 0.011 % |
381.47/381.62 c | 705502 | 784 108080 283220 | 35063 35251 47 | 0.011 % |
390.56/390.67 c | 721887 | 784 108080 283220 | 32435 28256 70 | 0.000 % |
409.86/409.91 c | 754655 | 784 108080 283220 | 26661 26185 44 | 0.011 % |
410.16/410.23 c | 755167 | 784 108080 283220 | 26661 26697 44 | 0.011 % |
410.46/410.53 c | 755685 | 784 108080 283220 | 26661 22411 41 | 0.011 % |
410.96/411.03 c | 756711 | 784 108080 283220 | 26661 23437 40 | 0.011 % |
411.16/411.29 c | 757224 | 784 108080 283220 | 26661 23950 40 | 0.011 % |
411.46/411.53 c | 757738 | 784 108080 283220 | 26661 24464 40 | 0.011 % |
411.96/412.02 c | 758763 | 784 108080 283220 | 26661 25489 40 | 0.011 % |
412.86/412.98 c | 760813 | 784 108080 283220 | 26727 23326 37 | 0.011 % |
413.16/413.24 c | 761326 | 784 108080 283220 | 26727 23839 37 | 0.011 % |
413.36/413.49 c | 761840 | 784 108080 283220 | 26727 24353 37 | 0.011 % |
413.96/414.01 c | 762865 | 784 108080 283220 | 26727 25378 37 | 0.011 % |
414.16/414.26 c | 763378 | 784 108080 283220 | 26727 25891 37 | 0.011 % |
414.36/414.48 c | 763891 | 784 108080 283220 | 26727 26404 37 | 0.011 % |
414.76/414.88 c | 764915 | 784 108080 283220 | 26727 24142 35 | 0.011 % |
415.56/415.65 c | 766964 | 784 108080 283220 | 26727 26191 35 | 0.011 % |
417.26/417.31 c | 771060 | 784 108080 283220 | 2147483647 27596 34 | 0.011 % |
417.46/417.52 c | 771573 | 784 108080 283220 | 2147483647 28109 35 | 0.000 % |
417.66/417.75 c | 772087 | 784 108080 283220 | 2147483647 28623 36 | 0.000 % |
418.06/418.14 c | 773112 | 784 108080 283220 | 2147483647 29648 37 | 0.000 % |
418.26/418.34 c | 773624 | 784 108080 283220 | 2147483647 30160 37 | 0.000 % |
418.46/418.56 c | 774136 | 784 108080 283220 | 2147483647 30672 37 | 0.011 % |
418.86/418.93 c | 775160 | 784 108080 283220 | 2147483647 31696 37 | 0.011 % |
419.66/419.72 c | 777209 | 784 108080 283220 | 2147483647 33745 38 | 0.011 % |
419.86/419.92 c | 777722 | 784 108080 283220 | 2147483647 34258 38 | 0.000 % |
420.06/420.14 c | 778237 | 784 108080 283220 | 2147483647 34773 37 | 0.011 % |
420.56/420.61 c | 779262 | 784 108080 283220 | 2147483647 35798 37 | 0.011 % |
420.76/420.84 c | 779774 | 784 108080 283220 | 2147483647 36310 37 | 0.011 % |
421.06/421.11 c | 780288 | 784 108080 283220 | 2147483647 36824 37 | 0.011 % |
421.46/421.58 c | 781312 | 784 108080 283220 | 2147483647 37848 38 | 0.012 % |
422.57/422.61 c | 783362 | 784 108080 283220 | 2147483647 39898 38 | 0.000 % |
424.67/424.75 c | 787460 | 784 108080 283220 | 2147483647 43996 39 | 0.011 % |
428.67/428.79 c | 795653 | 784 108080 283220 | 2147483647 52189 38 | 0.012 % |
428.97/429.08 c | 796167 | 784 108080 283220 | 2147483647 52703 38 | 0.012 % |
429.27/429.35 c | 796680 | 784 108080 283220 | 2147483647 53216 38 | 0.000 % |
429.87/429.92 c | 797707 | 784 108080 283220 | 2147483647 54243 38 | 0.011 % |
430.17/430.22 c | 798219 | 784 108080 283220 | 2147483647 54755 38 | 0.011 % |
430.47/430.54 c | 798731 | 784 108080 283220 | 2147483647 55267 38 | 0.011 % |
431.07/431.17 c | 799755 | 784 108080 283220 | 2147483647 56291 38 | 0.011 % |
432.37/432.50 c | 801804 | 784 108080 283220 | 56536 50455 37 | 0.011 % |
432.67/432.80 c | 802320 | 784 108080 283220 | 56536 50971 37 | 0.000 % |
432.97/433.08 c | 802833 | 784 108080 283220 | 56536 51484 37 | 0.011 % |
433.57/433.65 c | 803858 | 784 108080 283220 | 56536 52509 37 | 0.011 % |
433.87/433.97 c | 804370 | 784 108080 283220 | 56536 53021 37 | 0.011 % |
434.27/434.31 c | 804882 | 784 108080 283220 | 56536 53533 37 | 0.011 % |
434.77/434.88 c | 805906 | 784 108080 283220 | 56536 54557 37 | 0.011 % |
435.97/436.07 c | 807955 | 784 108080 283220 | 56536 56606 37 | 0.011 % |
438.17/438.21 c | 812051 | 784 108080 283220 | 50192 44792 36 | 0.011 % |
438.37/438.46 c | 812564 | 784 108080 283220 | 50192 45305 37 | 0.000 % |
438.67/438.73 c | 813076 | 784 108080 283220 | 50192 45817 37 | 0.000 % |
439.27/439.33 c | 814100 | 784 108080 283220 | 50192 46841 38 | 0.000 % |
439.57/439.63 c | 814614 | 784 108080 283220 | 50192 47355 38 | 0.000 % |
439.77/439.88 c | 815132 | 784 108080 283220 | 50192 47873 39 | 0.000 % |
440.27/440.40 c | 816156 | 784 108080 283220 | 50192 48897 39 | 0.000 % |
441.47/441.59 c | 818207 | 784 108080 283220 | 50192 44236 38 | 0.000 % |
441.77/441.87 c | 818719 | 784 108080 283220 | 50192 44748 38 | 0.011 % |
442.07/442.17 c | 819233 | 784 108080 283220 | 50192 45262 38 | 0.011 % |
442.67/442.71 c | 820257 | 784 108080 283220 | 46031 46286 38 | 0.011 % |
442.97/443.04 c | 820771 | 784 108080 283220 | 46031 40637 38 | 0.011 % |
443.27/443.32 c | 821284 | 784 108080 283220 | 46031 41150 38 | 0.011 % |
443.77/443.86 c | 822308 | 784 108080 283220 | 46031 42174 38 | 0.011 % |
444.97/445.07 c | 824358 | 784 108080 283220 | 46031 44224 38 | 0.011 % |
447.27/447.37 c | 828454 | 784 108080 283220 | 46031 41894 38 | 0.011 % |
451.97/452.07 c | 836646 | 784 108080 283220 | 43440 43527 37 | 0.011 % |
461.77/461.90 c | 853030 | 784 108080 283220 | 37284 33575 41 | 0.000 % |
462.07/462.16 c | 853542 | 784 108080 283220 | 37284 34087 41 | 0.000 % |
462.37/462.43 c | 854054 | 784 108080 283220 | 37284 34599 42 | 0.000 % |
462.87/462.96 c | 855080 | 784 108080 283220 | 37284 35625 44 | 0.000 % |
463.17/463.27 c | 855592 | 784 108080 283220 | 37284 36137 44 | 0.000 % |
463.47/463.56 c | 856105 | 784 108080 283220 | 37284 36650 45 | 0.000 % |
464.07/464.12 c | 857133 | 784 108080 283220 | 37284 31667 46 | 0.012 % |
465.07/465.13 c | 859181 | 784 108080 283220 | 37284 33715 45 | 0.011 % |
465.37/465.44 c | 859694 | 784 108080 283220 | 37284 34228 45 | 0.011 % |
465.57/465.69 c | 860208 | 784 108080 283220 | 34534 34742 45 | 0.012 % |
466.17/466.25 c | 861232 | 784 108080 283220 | 34534 30599 47 | 0.011 % |
466.47/466.53 c | 861744 | 784 108080 283220 | 34534 31111 46 | 0.012 % |
466.67/466.71 c | 862256 | 784 108080 283220 | 34534 31623 46 | 0.000 % |
467.07/467.17 c | 863280 | 784 108080 283220 | 34534 32647 46 | 0.012 % |
468.07/468.16 c | 865329 | 784 108080 283220 | 34534 34696 46 | 0.011 % |
470.17/470.22 c | 869425 | 784 108080 283220 | 34534 34447 46 | 0.011 % |
470.47/470.53 c | 869937 | 784 108080 283220 | 34534 30281 46 | 0.012 % |
470.77/470.84 c | 870449 | 784 108080 283220 | 30346 26579 43 | 0.012 % |
471.27/471.33 c | 871474 | 784 108080 283220 | 30346 27604 42 | 0.012 % |
471.47/471.59 c | 871987 | 784 108080 283220 | 30346 28117 42 | 0.012 % |
471.77/471.84 c | 872499 | 784 108080 283220 | 30346 28629 42 | 0.011 % |
472.27/472.34 c | 873523 | 784 108080 283220 | 30346 29653 42 | 0.000 % |
473.17/473.27 c | 875574 | 784 108080 283220 | 30346 27804 42 | 0.000 % |
473.47/473.58 c | 876086 | 784 108080 283220 | 30346 28316 43 | 0.000 % |
473.77/473.83 c | 876598 | 784 108080 283220 | 30346 28828 44 | 0.000 % |
474.27/474.35 c | 877624 | 784 108080 283220 | 30346 29854 44 | 0.000 % |
474.47/474.60 c | 878137 | 784 108080 283220 | 30346 30367 44 | 0.011 % |
474.77/474.84 c | 878649 | 784 108080 283220 | 30346 27289 40 | 0.011 % |
475.17/475.28 c | 879673 | 784 108080 283220 | 30346 28313 40 | 0.011 % |
476.17/476.29 c | 881723 | 784 108080 283220 | 28641 27041 40 | 0.011 % |
477.97/478.02 c | 885819 | 784 108080 283220 | 28641 28158 42 | 0.011 % |
481.77/481.85 c | 894012 | 784 108080 283220 | 26234 24299 42 | 0.012 % |
481.97/482.05 c | 894524 | 784 108080 283220 | 26234 24811 44 | 0.000 % |
482.17/482.27 c | 895037 | 784 108080 283220 | 26234 25324 45 | 0.000 % |
482.57/482.66 c | 896061 | 784 108080 283220 | 26234 26348 47 | 0.000 % |
482.77/482.88 c | 896574 | 784 108080 283220 | 26234 24227 45 | 0.000 % |
482.97/483.09 c | 897086 | 784 108080 283220 | 26234 24739 46 | 0.000 % |
483.47/483.52 c | 898110 | 784 108080 283220 | 26234 25763 47 | 0.000 % |
484.37/484.42 c | 900158 | 784 108080 283220 | 2147483647 25149 47 | 0.012 % |
484.57/484.67 c | 900670 | 784 108080 283220 | 2147483647 25661 46 | 0.011 % |
484.87/484.93 c | 901183 | 784 108080 283220 | 2147483647 26174 46 | 0.011 % |
485.37/485.50 c | 902207 | 784 108080 283220 | 2147483647 27198 46 | 0.011 % |
485.67/485.79 c | 902719 | 784 108080 283220 | 2147483647 27710 45 | 0.011 % |
485.97/486.05 c | 903231 | 784 108080 283220 | 2147483647 28222 45 | 0.011 % |
486.47/486.60 c | 904263 | 784 108080 283220 | 2147483647 29254 45 | 0.011 % |
487.47/487.54 c | 906312 | 784 108080 283220 | 2147483647 31303 44 | 0.011 % |
489.27/489.39 c | 910409 | 784 108080 283220 | 34991 31682 44 | 0.011 % |
489.57/489.62 c | 910921 | 784 108080 283220 | 34991 32194 44 | 0.000 % |
489.77/489.85 c | 911433 | 784 108080 283220 | 34991 32706 44 | 0.011 % |
490.27/490.33 c | 912461 | 784 108080 283220 | 34991 33734 44 | 0.000 % |
490.47/490.60 c | 912973 | 784 108080 283220 | 34991 34246 44 | 0.011 % |
490.77/490.88 c | 913486 | 784 108080 283220 | 34991 34759 43 | 0.012 % |
491.27/491.38 c | 914512 | 784 108080 283220 | 34991 31741 42 | 0.011 % |
492.17/492.28 c | 916560 | 784 108080 283220 | 34991 33789 46 | 0.000 % |
492.47/492.54 c | 917073 | 784 108080 283220 | 34991 34302 47 | 0.000 % |
492.67/492.77 c | 917586 | 784 108080 283220 | 34991 34815 48 | 0.000 % |
493.27/493.33 c | 918610 | 784 108080 283220 | 34991 32029 50 | 0.000 % |
493.47/493.60 c | 919122 | 784 108080 283220 | 34991 32541 50 | 0.011 % |
493.87/493.91 c | 919637 | 784 108080 283220 | 34991 33056 50 | 0.011 % |
494.47/494.52 c | 920662 | 784 108080 283220 | 33419 30211 48 | 0.011 % |
495.47/495.52 c | 922711 | 784 108080 283220 | 33419 32260 47 | 0.000 % |
497.57/497.61 c | 926810 | 784 108080 283220 | 33419 32426 43 | 0.000 % |
502.27/502.38 c | 935004 | 784 108080 283220 | 31729 28719 45 | 0.012 % |
509.87/509.95 c | 951388 | 784 108080 283220 | 27819 25577 62 | 0.000 % |
526.98/527.05 c | 984158 | 784 108080 283220 | 24264 24420 37 | 0.011 % |
555.09/555.32 c | 1049694 | 783 107804 282500 | 2147483647 31652 71 | 0.128 % |
611.49/611.68 c | 1180768 | 782 107529 281783 | 2147483647 32171 42 | 0.267 % |
611.79/611.94 c | 1181281 | 782 107529 281783 | 2147483647 32684 42 | 0.267 % |
611.99/612.21 c | 1181793 | 782 107529 281783 | 2147483647 33196 42 | 0.267 % |
612.59/612.74 c | 1182817 | 782 107529 281783 | 2147483647 34220 42 | 0.267 % |
612.89/613.03 c | 1183332 | 782 107529 281783 | 2147483647 34735 42 | 0.255 % |
613.19/613.36 c | 1183847 | 782 107529 281783 | 2147483647 35250 42 | 0.268 % |
613.89/614.03 c | 1184873 | 782 107529 281783 | 2147483647 36276 41 | 0.255 % |
614.99/615.21 c | 1186924 | 782 107529 281783 | 2147483647 38327 41 | 0.255 % |
615.29/615.49 c | 1187440 | 782 107529 281783 | 2147483647 38843 41 | 0.278 % |
615.59/615.78 c | 1187952 | 782 107529 281783 | 2147483647 39355 41 | 0.268 % |
616.19/616.38 c | 1188979 | 782 107529 281783 | 2147483647 40382 40 | 0.268 % |
616.49/616.70 c | 1189492 | 782 107529 281783 | 2147483647 40895 40 | 0.268 % |
616.79/616.99 c | 1190004 | 782 107529 281783 | 41403 41407 40 | 0.268 % |
617.19/617.38 c | 1191030 | 782 107529 281783 | 41403 34725 40 | 0.255 % |
617.99/618.12 c | 1193079 | 782 107529 281783 | 41403 36774 42 | 0.255 % |
619.59/619.80 c | 1197177 | 782 107529 281783 | 41403 40872 46 | 0.255 % |
619.79/619.99 c | 1197691 | 782 107529 281783 | 41403 41386 46 | 0.266 % |
620.09/620.29 c | 1198203 | 782 107529 281783 | 41403 36403 45 | 0.266 % |
620.49/620.70 c | 1199228 | 782 107529 281783 | 41403 37428 45 | 0.266 % |
620.79/620.94 c | 1199742 | 782 107529 281783 | 41403 37942 45 | 0.266 % |
620.99/621.21 c | 1200254 | 782 107529 281783 | 38204 38454 45 | 0.266 % |
621.59/621.74 c | 1201278 | 782 107529 281783 | 38204 34396 44 | 0.266 % |
622.39/622.57 c | 1203327 | 782 107529 281783 | 38204 36445 44 | 0.255 % |
622.59/622.79 c | 1203840 | 782 107529 281783 | 38204 36958 44 | 0.266 % |
622.89/623.04 c | 1204352 | 782 107529 281783 | 38204 37470 43 | 0.266 % |
623.29/623.51 c | 1205377 | 782 107529 281783 | 38204 38495 43 | 0.255 % |
623.59/623.78 c | 1205889 | 782 107529 281783 | 38204 33866 44 | 0.255 % |
623.89/624.02 c | 1206404 | 782 107529 281783 | 38204 34381 44 | 0.255 % |
624.39/624.51 c | 1207430 | 782 107529 281783 | 38204 35407 43 | 0.267 % |
625.09/625.26 c | 1209480 | 782 107529 281783 | 38204 37457 42 | 0.267 % |
626.79/626.94 c | 1213576 | 782 107529 281783 | 37978 36748 45 | 0.267 % |
630.29/630.50 c | 1221770 | 782 107529 281783 | 33368 30753 53 | 0.255 % |
630.49/630.70 c | 1222287 | 782 107529 281783 | 33368 31270 53 | 0.266 % |
630.79/630.92 c | 1222801 | 782 107529 281783 | 33368 31784 53 | 0.255 % |
631.19/631.36 c | 1223827 | 782 107529 281783 | 33368 32810 52 | 0.266 % |
631.39/631.58 c | 1224340 | 782 107529 281783 | 33368 33323 52 | 0.266 % |
631.69/631.84 c | 1224854 | 782 107529 281783 | 33368 29634 50 | 0.266 % |
632.09/632.25 c | 1225879 | 782 107529 281783 | 33368 30659 50 | 0.267 % |
632.89/633.10 c | 1227927 | 782 107529 281783 | 33368 32707 49 | 0.266 % |
633.09/633.30 c | 1228439 | 782 107529 281783 | 33368 33219 49 | 0.267 % |
633.39/633.58 c | 1228952 | 782 107529 281783 | 33368 29809 51 | 0.255 % |
633.89/634.06 c | 1229978 | 782 107529 281783 | 33368 30835 50 | 0.266 % |
634.19/634.35 c | 1230490 | 782 107529 281783 | 30861 27793 52 | 0.266 % |
634.39/634.58 c | 1231007 | 782 107529 281783 | 30861 28310 51 | 0.266 % |
634.79/634.96 c | 1232032 | 782 107529 281783 | 30861 29335 53 | 0.255 % |
635.59/635.81 c | 1234080 | 782 107529 281783 | 30861 28270 56 | 0.255 % |
637.09/637.29 c | 1238177 | 782 107529 281783 | 30861 29244 61 | 0.255 % |
637.29/637.51 c | 1238689 | 782 107529 281783 | 30861 29756 61 | 0.255 % |
637.59/637.77 c | 1239203 | 782 107529 281783 | 30861 30270 61 | 0.255 % |
638.09/638.27 c | 1240228 | 782 107529 281783 | 31067 31295 60 | 0.266 % |
638.39/638.55 c | 1240740 | 782 107529 281783 | 31067 28602 57 | 0.266 % |
638.59/638.76 c | 1241252 | 782 107529 281783 | 31067 29114 57 | 0.255 % |
639.09/639.23 c | 1242278 | 782 107529 281783 | 31067 30140 57 | 0.266 % |
640.10/640.28 c | 1244327 | 782 107529 281783 | 31067 28390 51 | 0.267 % |
640.39/640.54 c | 1244843 | 782 107529 281783 | 31067 28906 51 | 0.267 % |
640.59/640.78 c | 1245356 | 782 107529 281783 | 31067 29419 51 | 0.267 % |
641.09/641.23 c | 1246380 | 782 107529 281783 | 31067 30443 50 | 0.267 % |
641.29/641.44 c | 1246893 | 782 107529 281783 | 31067 30956 50 | 0.267 % |
641.49/641.65 c | 1247410 | 782 107529 281783 | 31067 31473 50 | 0.266 % |
641.89/642.07 c | 1248437 | 782 107529 281783 | 31067 28602 48 | 0.266 % |
642.69/642.90 c | 1250488 | 782 107529 281783 | 30165 27020 49 | 0.266 % |
644.29/644.48 c | 1254584 | 782 107529 281783 | 30165 27474 49 | 0.266 % |
647.39/647.59 c | 1262776 | 782 107529 281783 | 29399 28781 51 | 0.256 % |
654.69/654.85 c | 1279162 | 782 107529 281783 | 29195 27638 60 | 0.267 % |
654.89/655.08 c | 1279677 | 782 107529 281783 | 29195 28153 60 | 0.266 % |
655.09/655.31 c | 1280189 | 782 107529 281783 | 28476 28665 59 | 0.267 % |
655.59/655.81 c | 1281213 | 782 107529 281783 | 28476 26043 54 | 0.267 % |
655.89/656.05 c | 1281725 | 782 107529 281783 | 28476 26555 53 | 0.267 % |
656.19/656.33 c | 1282237 | 782 107529 281783 | 28476 27067 53 | 0.266 % |
656.49/656.72 c | 1283261 | 782 107529 281783 | 28476 28091 52 | 0.266 % |
657.29/657.47 c | 1285310 | 782 107529 281783 | 28476 26482 47 | 0.266 % |
657.49/657.67 c | 1285824 | 782 107529 281783 | 28476 26996 47 | 0.266 % |
657.70/657.86 c | 1286336 | 782 107529 281783 | 28476 27508 46 | 0.266 % |
658.09/658.24 c | 1287361 | 782 107529 281783 | 28476 28533 46 | 0.266 % |
658.29/658.44 c | 1287874 | 782 107529 281783 | 28476 25932 46 | 0.266 % |
658.39/658.60 c | 1288386 | 782 107529 281783 | 28476 26444 46 | 0.266 % |
658.80/659.00 c | 1289412 | 782 107529 281783 | 28476 27470 45 | 0.266 % |
659.69/659.82 c | 1291461 | 782 107529 281783 | 2147483647 29519 44 | 0.266 % |
661.39/661.51 c | 1295560 | 782 107529 281783 | 2147483647 33618 45 | 0.266 % |
661.49/661.70 c | 1296073 | 782 107529 281783 | 2147483647 34131 46 | 0.255 % |
661.69/661.88 c | 1296587 | 782 107529 281783 | 2147483647 34645 47 | 0.255 % |
662.10/662.27 c | 1297611 | 782 107529 281783 | 2147483647 35669 47 | 0.255 % |
662.29/662.46 c | 1298125 | 782 107529 281783 | 2147483647 36183 47 | 0.255 % |
662.49/662.70 c | 1298637 | 782 107529 281783 | 2147483647 36695 47 | 0.267 % |
662.99/663.16 c | 1299662 | 782 107529 281783 | 2147483647 37720 47 | 0.267 % |
663.89/664.09 c | 1301711 | 782 107529 281783 | 2147483647 39769 47 | 0.266 % |
664.09/664.30 c | 1302223 | 782 107529 281783 | 2147483647 40281 47 | 0.266 % |
664.30/664.49 c | 1302735 | 782 107529 281783 | 2147483647 40793 47 | 0.266 % |
664.79/664.95 c | 1303759 | 782 107529 281783 | 2147483647 41817 47 | 0.266 % |
664.99/665.18 c | 1304274 | 782 107529 281783 | 2147483647 42332 47 | 0.266 % |
665.29/665.43 c | 1304786 | 782 107529 281783 | 2147483647 42844 47 | 0.266 % |
665.79/665.97 c | 1305812 | 782 107529 281783 | 2147483647 43870 46 | 0.266 % |
666.79/666.97 c | 1307860 | 782 107529 281783 | 2147483647 45918 47 | 0.266 % |
668.79/668.95 c | 1311964 | 782 107529 281783 | 48058 43243 45 | 0.266 % |
672.89/673.07 c | 1320156 | 782 107529 281783 | 44053 44204 42 | 0.266 % |
673.19/673.37 c | 1320668 | 782 107529 281783 | 44053 37898 43 | 0.267 % |
673.39/673.60 c | 1321180 | 782 107529 281783 | 44053 38410 42 | 0.267 % |
673.99/674.14 c | 1322208 | 782 107529 281783 | 44053 39438 42 | 0.267 % |
674.20/674.41 c | 1322722 | 782 107529 281783 | 44053 39952 42 | 0.266 % |
674.49/674.65 c | 1323235 | 782 107529 281783 | 44053 40465 42 | 0.266 % |
674.99/675.18 c | 1324263 | 782 107529 281783 | 44053 41493 42 | 0.266 % |
675.99/676.17 c | 1326313 | 782 107529 281783 | 44053 43543 41 | 0.266 % |
676.19/676.40 c | 1326826 | 782 107529 281783 | 44053 44056 41 | 0.266 % |
676.49/676.68 c | 1327342 | 782 107529 281783 | 44053 37729 41 | 0.266 % |
676.99/677.17 c | 1328368 | 782 107529 281783 | 44053 38755 40 | 0.266 % |
677.29/677.44 c | 1328880 | 782 107529 281783 | 44053 39267 40 | 0.267 % |
677.50/677.64 c | 1329393 | 782 107529 281783 | 44053 39780 40 | 0.266 % |
677.99/678.14 c | 1330417 | 782 107529 281783 | 40387 34829 37 | 0.267 % |
678.79/678.92 c | 1332465 | 782 107529 281783 | 40387 36877 37 | 0.267 % |
680.59/680.76 c | 1336563 | 782 107529 281783 | 40387 35911 35 | 0.267 % |
680.80/680.93 c | 1337076 | 782 107529 281783 | 40387 36424 36 | 0.255 % |
680.99/681.12 c | 1337589 | 782 107529 281783 | 40387 36937 37 | 0.255 % |
681.29/681.48 c | 1338613 | 782 107529 281783 | 40387 37961 38 | 0.255 % |
681.49/681.67 c | 1339126 | 782 107529 281783 | 40387 38474 38 | 0.267 % |
681.69/681.90 c | 1339638 | 782 107529 281783 | 40387 38986 38 | 0.267 % |
682.19/682.34 c | 1340665 | 782 107529 281783 | 39348 35642 37 | 0.255 % |
682.89/683.07 c | 1342713 | 782 107529 281783 | 39348 37690 37 | 0.267 % |
683.09/683.24 c | 1343226 | 782 107529 281783 | 39348 38203 37 | 0.267 % |
683.29/683.43 c | 1343739 | 782 107529 281783 | 39348 38716 37 | 0.266 % |
683.69/683.86 c | 1344763 | 782 107529 281783 | 39348 35785 36 | 0.266 % |
683.90/684.05 c | 1345277 | 782 107529 281783 | 39348 36299 36 | 0.266 % |
684.10/684.23 c | 1345791 | 782 107529 281783 | 39348 36813 36 | 0.266 % |
684.40/684.58 c | 1346816 | 782 107529 281783 | 39348 37838 36 | 0.255 % |
685.30/685.45 c | 1348866 | 782 107529 281783 | 39348 35920 36 | 0.267 % |
687.10/687.22 c | 1352962 | 782 107529 281783 | 2147483647 40016 36 | 0.267 % |
691.10/691.25 c | 1361157 | 782 107529 281783 | 47058 41832 36 | 0.267 % |
701.50/701.71 c | 1377543 | 782 107529 281783 | 42548 42013 37 | 0.267 % |
714.50/714.68 c | 1410312 | 782 107529 281783 | 25785 22770 63 | 0.255 % |
714.80/714.93 c | 1410824 | 782 107529 281783 | 25785 23282 62 | 0.267 % |
715.00/715.19 c | 1411336 | 782 107529 281783 | 25785 23794 61 | 0.267 % |
715.50/715.71 c | 1412360 | 782 107529 281783 | 25785 24818 60 | 0.267 % |
715.80/715.99 c | 1412874 | 782 107529 281783 | 25785 25332 60 | 0.267 % |
716.10/716.24 c | 1413387 | 782 107529 281783 | 25785 25845 60 | 0.255 % |
716.60/716.73 c | 1414411 | 782 107529 281783 | 25785 23389 54 | 0.255 % |
717.50/717.66 c | 1416461 | 782 107529 281783 | 25785 25439 53 | 0.255 % |
717.80/717.93 c | 1416974 | 782 107529 281783 | 25785 25952 53 | 0.267 % |
718.00/718.15 c | 1417486 | 782 107529 281783 | 25785 22973 49 | 0.266 % |
718.40/718.59 c | 1418513 | 782 107529 281783 | 25785 24000 48 | 0.266 % |
718.60/718.80 c | 1419026 | 782 107529 281783 | 25785 24513 49 | 0.255 % |
718.80/718.97 c | 1419542 | 782 107529 281783 | 25785 25029 50 | 0.255 % |
719.20/719.41 c | 1420566 | 782 107529 281783 | 25488 22932 49 | 0.255 % |
719.90/720.06 c | 1422614 | 782 107529 281783 | 25488 24980 54 | 0.255 % |
721.70/721.84 c | 1426713 | 782 107529 281783 | 25488 23812 49 | 0.275 % |
721.90/722.07 c | 1427226 | 782 107529 281783 | 25488 24325 49 | 0.275 % |
722.10/722.31 c | 1427738 | 782 107529 281783 | 25488 24837 49 | 0.267 % |
722.60/722.76 c | 1428763 | 782 107529 281783 | 25488 25862 48 | 0.267 % |
722.80/723.00 c | 1429276 | 782 107529 281783 | 25488 23550 46 | 0.266 % |
723.00/723.18 c | 1429789 | 782 107529 281783 | 25488 24063 46 | 0.267 % |
723.40/723.59 c | 1430813 | 782 107529 281783 | 24277 22569 47 | 0.267 % |
724.20/724.39 c | 1432862 | 782 107529 281783 | 24277 24618 46 | 0.266 % |
724.50/724.62 c | 1433374 | 782 107529 281783 | 24277 22669 46 | 0.267 % |
724.70/724.83 c | 1433886 | 782 107529 281783 | 24277 23181 45 | 0.267 % |
725.10/725.24 c | 1434910 | 782 107529 281783 | 24277 24205 45 | 0.266 % |
725.30/725.49 c | 1435423 | 782 107529 281783 | 24277 22257 45 | 0.266 % |
725.50/725.67 c | 1435935 | 782 107529 281783 | 24277 22769 45 | 0.267 % |
725.90/726.03 c | 1436964 | 782 107529 281783 | 24277 23798 45 | 0.266 % |
726.60/726.81 c | 1439014 | 782 107529 281783 | 24277 23389 42 | 0.267 % |
728.00/728.16 c | 1443112 | 782 107529 281783 | 2147483647 27487 49 | 0.255 % |
731.10/731.30 c | 1451305 | 782 107529 281783 | 2147483647 35680 48 | 0.255 % |
731.40/731.54 c | 1451817 | 782 107529 281783 | 2147483647 36192 48 | 0.267 % |
731.60/731.81 c | 1452333 | 782 107529 281783 | 2147483647 36708 48 | 0.255 % |
732.10/732.28 c | 1453357 | 782 107529 281783 | 2147483647 37732 47 | 0.266 % |
732.30/732.44 c | 1453869 | 782 107529 281783 | 2147483647 38244 47 | 0.266 % |
732.50/732.66 c | 1454382 | 782 107529 281783 | 2147483647 38757 47 | 0.266 % |
732.90/733.12 c | 1455411 | 782 107529 281783 | 2147483647 39786 47 | 0.266 % |
733.90/734.07 c | 1457459 | 782 107529 281783 | 2147483647 41834 46 | 0.266 % |
734.20/734.34 c | 1457971 | 782 107529 281783 | 2147483647 42346 46 | 0.267 % |
734.40/734.60 c | 1458484 | 782 107529 281783 | 2147483647 42859 46 | 0.267 % |
735.00/735.15 c | 1459509 | 782 107529 281783 | 2147483647 43884 46 | 0.267 % |
735.20/735.39 c | 1460021 | 782 107529 281783 | 44377 44396 46 | 0.255 % |
735.50/735.63 c | 1460534 | 782 107529 281783 | 44377 38979 43 | 0.255 % |
735.90/736.05 c | 1461560 | 782 107529 281783 | 44377 40005 44 | 0.255 % |
736.90/737.05 c | 1463608 | 782 107529 281783 | 44377 42053 46 | 0.255 % |
738.90/739.09 c | 1467708 | 782 107529 281783 | 44377 40452 49 | 0.255 % |
739.20/739.40 c | 1468221 | 782 107529 281783 | 44377 40965 49 | 0.266 % |
739.60/739.74 c | 1468734 | 782 107529 281783 | 44377 41478 49 | 0.266 % |
740.20/740.40 c | 1469759 | 782 107529 281783 | 44377 42503 49 | 0.266 % |
740.60/740.74 c | 1470271 | 782 107529 281783 | 42747 43015 49 | 0.266 % |
740.90/741.07 c | 1470788 | 782 107529 281783 | 42747 37234 51 | 0.266 % |
741.40/741.53 c | 1471812 | 782 107529 281783 | 42747 38258 51 | 0.266 % |
742.30/742.47 c | 1473860 | 782 107529 281783 | 42747 40306 50 | 0.255 % |
742.60/742.73 c | 1474373 | 782 107529 281783 | 42747 40819 50 | 0.266 % |
742.89/743.01 c | 1474885 | 782 107529 281783 | 42747 41331 50 | 0.266 % |
743.39/743.60 c | 1475911 | 782 107529 281783 | 42747 42357 49 | 0.266 % |
743.79/743.92 c | 1476424 | 782 107529 281783 | 42747 42870 49 | 0.266 % |
743.99/744.19 c | 1476936 | 782 107529 281783 | 42747 35899 44 | 0.267 % |
744.49/744.63 c | 1477964 | 782 107529 281783 | 42747 36927 44 | 0.266 % |
745.39/745.53 c | 1480012 | 782 107529 281783 | 38963 38975 44 | 0.266 % |
747.29/747.47 c | 1484110 | 782 107529 281783 | 38963 36524 49 | 0.255 % |
751.59/751.77 c | 1492304 | 782 107529 281783 | 35963 31872 45 | 0.266 % |
760.69/760.88 c | 1508688 | 782 107529 281783 | 33480 30116 45 | 0.266 % |
760.99/761.17 c | 1509200 | 782 107529 281783 | 33480 30628 44 | 0.266 % |
761.29/761.45 c | 1509712 | 782 107529 281783 | 33480 31140 44 | 0.266 % |
761.89/762.03 c | 1510736 | 782 107529 281783 | 31428 26341 44 | 0.266 % |
762.09/762.22 c | 1511249 | 782 107529 281783 | 31428 26854 43 | 0.266 % |
762.20/762.40 c | 1511761 | 782 107529 281783 | 31428 27366 43 | 0.267 % |
762.59/762.73 c | 1512785 | 782 107529 281783 | 31428 28390 43 | 0.266 % |
763.39/763.57 c | 1514834 | 782 107529 281783 | 31428 30439 43 | 0.266 % |
763.69/763.81 c | 1515346 | 782 107529 281783 | 31428 30951 42 | 0.266 % |
763.89/764.06 c | 1515860 | 782 107529 281783 | 31428 31465 42 | 0.266 % |
764.40/764.60 c | 1516884 | 782 107529 281783 | 31428 27923 42 | 0.267 % |
764.69/764.84 c | 1517397 | 782 107529 281783 | 31428 28436 42 | 0.266 % |
764.89/765.10 c | 1517909 | 782 107529 281783 | 31428 28948 42 | 0.267 % |
765.39/765.60 c | 1518933 | 782 107529 281783 | 31428 29972 42 | 0.266 % |
766.29/766.48 c | 1520982 | 782 107529 281783 | 31039 27616 38 | 0.267 % |
767.99/768.19 c | 1525078 | 782 107529 281783 | 31039 27858 38 | 0.267 % |
768.19/768.36 c | 1525591 | 782 107529 281783 | 31039 28371 39 | 0.255 % |
768.39/768.54 c | 1526103 | 782 107529 281783 | 31039 28883 40 | 0.255 % |
768.80/768.94 c | 1527127 | 782 107529 281783 | 31039 29907 41 | 0.267 % |
768.99/769.17 c | 1527641 | 782 107529 281783 | 31039 30421 41 | 0.267 % |
769.19/769.39 c | 1528154 | 782 107529 281783 | 31039 30934 41 | 0.267 % |
769.59/769.80 c | 1529179 | 782 107529 281783 | 31039 28310 39 | 0.267 % |
770.29/770.48 c | 1531229 | 782 107529 281783 | 29131 27189 39 | 0.267 % |
770.49/770.66 c | 1531742 | 782 107529 281783 | 29131 27702 38 | 0.267 % |
770.69/770.83 c | 1532256 | 782 107529 281783 | 29131 28216 38 | 0.267 % |
771.00/771.20 c | 1533281 | 782 107529 281783 | 29131 29241 38 | 0.267 % |
771.29/771.41 c | 1533793 | 782 107529 281783 | 29131 26829 39 | 0.266 % |
771.49/771.61 c | 1534305 | 782 107529 281783 | 29131 27341 39 | 0.267 % |
771.89/772.02 c | 1535330 | 782 107529 281783 | 29131 28366 38 | 0.266 % |
772.69/772.84 c | 1537379 | 782 107529 281783 | 29131 27466 39 | 0.266 % |
774.30/774.45 c | 1541476 | 782 107529 281783 | 2147483647 28617 40 | 0.267 % |
777.49/777.67 c | 1549671 | 782 107529 281783 | 2147483647 36812 39 | 0.267 % |
777.69/777.89 c | 1550184 | 782 107529 281783 | 37143 37325 39 | 0.266 % |
777.99/778.13 c | 1550698 | 782 107529 281783 | 37143 33929 40 | 0.267 % |
778.39/778.55 c | 1551726 | 782 107529 281783 | 37143 34957 39 | 0.267 % |
778.59/778.75 c | 1552238 | 782 107529 281783 | 37143 35469 39 | 0.255 % |
778.79/778.98 c | 1552751 | 782 107529 281783 | 37143 35982 39 | 0.255 % |
779.29/779.46 c | 1553776 | 782 107529 281783 | 37143 37007 39 | 0.266 % |
780.19/780.34 c | 1555828 | 782 107529 281783 | 37143 34675 36 | 0.266 % |
780.39/780.53 c | 1556340 | 782 107529 281783 | 37143 35187 36 | 0.266 % |
780.59/780.75 c | 1556852 | 782 107529 281783 | 37143 35699 36 | 0.266 % |
780.99/781.18 c | 1557877 | 782 107529 281783 | 37143 36724 36 | 0.267 % |
781.19/781.34 c | 1558389 | 782 107529 281783 | 37143 37236 36 | 0.266 % |
781.39/781.55 c | 1558902 | 782 107529 281783 | 37143 33661 35 | 0.266 % |
781.69/781.88 c | 1559927 | 782 107529 281783 | 37143 34686 35 | 0.266 % |
782.49/782.63 c | 1561975 | 782 107529 281783 | 34760 33221 36 | 0.266 % |
784.20/784.32 c | 1566071 | 782 107529 281783 | 34760 33803 35 | 0.266 % |
784.39/784.54 c | 1566583 | 782 107529 281783 | 34760 34315 36 | 0.255 % |
784.59/784.74 c | 1567097 | 782 107529 281783 | 34760 34829 37 | 0.255 % |
784.99/785.10 c | 1568121 | 782 107529 281783 | 34760 32371 38 | 0.255 % |
785.09/785.30 c | 1568633 | 782 107529 281783 | 34760 32883 38 | 0.255 % |
785.30/785.49 c | 1569145 | 782 107529 281783 | 34760 33395 38 | 0.266 % |
785.79/785.92 c | 1570169 | 782 107529 281783 | 2147483647 34419 38 | 0.266 % |
786.59/786.78 c | 1572217 | 782 107529 281783 | 2147483647 36467 38 | 0.266 % |
786.79/786.97 c | 1572733 | 782 107529 281783 | 2147483647 36983 38 | 0.266 % |
786.99/787.19 c | 1573246 | 782 107529 281783 | 2147483647 37496 38 | 0.266 % |
787.39/787.56 c | 1574273 | 782 107529 281783 | 2147483647 38523 37 | 0.266 % |
787.59/787.73 c | 1574785 | 782 107529 281783 | 2147483647 39035 37 | 0.266 % |
787.79/787.96 c | 1575297 | 782 107529 281783 | 2147483647 39547 37 | 0.267 % |
788.19/788.37 c | 1576321 | 782 107529 281783 | 2147483647 40571 38 | 0.266 % |
789.19/789.36 c | 1578369 | 782 107529 281783 | 2147483647 42619 38 | 0.267 % |
791.09/791.20 c | 1582466 | 782 107529 281783 | 44251 41494 37 | 0.268 % |
795.20/795.37 c | 1590660 | 782 107529 281783 | 42516 36172 39 | 0.268 % |
803.39/803.56 c | 1607044 | 782 107529 281783 | 37966 31487 48 | 0.255 % |
819.00/819.16 c | 1639814 | 782 107529 281783 | 31249 29347 69 | 0.255 % |
847.10/847.27 c | 1705352 | 782 107529 281783 | 20776 19640 48 | 0.266 % |
847.30/847.51 c | 1705864 | 782 107529 281783 | 20776 20152 48 | 0.266 % |
847.60/847.73 c | 1706377 | 782 107529 281783 | 20776 20665 47 | 0.266 % |
848.00/848.12 c | 1707402 | 782 107529 281783 | 20776 19594 48 | 0.266 % |
848.20/848.35 c | 1707915 | 782 107529 281783 | 20776 20107 47 | 0.266 % |
848.40/848.57 c | 1708429 | 782 107529 281783 | 20776 20621 47 | 0.266 % |
848.80/848.95 c | 1709453 | 782 107529 281783 | 20776 19534 43 | 0.267 % |
849.40/849.59 c | 1711501 | 782 107529 281783 | 2147483647 21582 43 | 0.266 % |
849.60/849.75 c | 1712013 | 782 107529 281783 | 2147483647 22094 44 | 0.255 % |
849.80/849.92 c | 1712526 | 782 107529 281783 | 2147483647 22607 46 | 0.255 % |
850.10/850.29 c | 1713551 | 782 107529 281783 | 2147483647 23632 48 | 0.255 % |
850.30/850.47 c | 1714063 | 782 107529 281783 | 2147483647 24144 49 | 0.255 % |
850.50/850.64 c | 1714577 | 782 107529 281783 | 2147483647 24658 50 | 0.255 % |
850.90/851.01 c | 1715601 | 782 107529 281783 | 2147483647 25682 51 | 0.255 % |
851.60/851.73 c | 1717650 | 782 107529 281783 | 2147483647 27731 51 | 0.255 % |
853.20/853.31 c | 1721748 | 782 107529 281783 | 2147483647 31829 50 | 0.266 % |
853.40/853.54 c | 1722263 | 782 107529 281783 | 2147483647 32344 49 | 0.266 % |
853.60/853.76 c | 1722777 | 782 107529 281783 | 2147483647 32858 50 | 0.255 % |
854.00/854.20 c | 1723805 | 782 107529 281783 | 2147483647 33886 49 | 0.266 % |
854.20/854.40 c | 1724317 | 782 107529 281783 | 2147483647 34398 49 | 0.266 % |
854.40/854.57 c | 1724833 | 782 107529 281783 | 2147483647 34914 49 | 0.266 % |
854.80/854.96 c | 1725858 | 782 107529 281783 | 2147483647 35939 48 | 0.266 % |
855.60/855.80 c | 1727906 | 782 107529 281783 | 2147483647 37987 48 | 0.267 % |
855.90/856.02 c | 1728418 | 782 107529 281783 | 2147483647 38499 47 | 0.266 % |
856.10/856.23 c | 1728931 | 782 107529 281783 | 2147483647 39012 47 | 0.267 % |
856.60/856.72 c | 1729955 | 782 107529 281783 | 2147483647 40036 47 | 0.267 % |
856.80/856.95 c | 1730470 | 782 107529 281783 | 2147483647 40551 47 | 0.267 % |
857.10/857.26 c | 1730983 | 782 107529 281783 | 2147483647 41064 46 | 0.267 % |
857.60/857.73 c | 1732007 | 782 107529 281783 | 2147483647 42088 46 | 0.266 % |
858.40/858.57 c | 1734055 | 782 107529 281783 | 2147483647 44136 48 | 0.255 % |
860.50/860.66 c | 1738151 | 782 107529 281783 | 2147483647 48232 51 | 0.255 % |
865.00/865.13 c | 1746344 | 782 107529 281783 | 50084 49064 48 | 0.266 % |
865.20/865.40 c | 1746856 | 782 107529 281783 | 50084 49576 47 | 0.266 % |
865.50/865.70 c | 1747373 | 782 107529 281783 | 50084 50093 47 | 0.266 % |
866.10/866.28 c | 1748399 | 782 107529 281783 | 50084 42282 49 | 0.267 % |
866.40/866.53 c | 1748911 | 782 107529 281783 | 50084 42794 49 | 0.267 % |
866.70/866.83 c | 1749423 | 782 107529 281783 | 50084 43306 49 | 0.267 % |
867.20/867.40 c | 1750449 | 782 107529 281783 | 43884 36557 43 | 0.267 % |
868.30/868.47 c | 1752498 | 782 107529 281783 | 43884 38606 43 | 0.266 % |
868.60/868.71 c | 1753010 | 782 107529 281783 | 43884 39118 43 | 0.266 % |
868.80/868.94 c | 1753523 | 782 107529 281783 | 43884 39631 43 | 0.255 % |
869.20/869.33 c | 1754547 | 782 107529 281783 | 43884 40655 44 | 0.255 % |
869.40/869.57 c | 1755060 | 782 107529 281783 | 43884 41168 45 | 0.255 % |
869.60/869.79 c | 1755573 | 782 107529 281783 | 43884 41681 46 | 0.255 % |
870.20/870.31 c | 1756598 | 782 107529 281783 | 43884 42706 47 | 0.255 % |
871.20/871.31 c | 1758649 | 782 107529 281783 | 43884 38258 51 | 0.255 % |
873.20/873.38 c | 1762747 | 782 107529 281783 | 39610 36654 52 | 0.266 % |
873.50/873.67 c | 1763259 | 782 107529 281783 | 39610 37166 52 | 0.266 % |
873.70/873.87 c | 1763775 | 782 107529 281783 | 39610 37682 51 | 0.255 % |
874.20/874.36 c | 1764799 | 782 107529 281783 | 39610 38706 51 | 0.267 % |
874.40/874.60 c | 1765311 | 782 107529 281783 | 39610 39218 51 | 0.266 % |
874.70/874.84 c | 1765824 | 782 107529 281783 | 39610 39731 51 | 0.266 % |
875.10/875.28 c | 1766851 | 782 107529 281783 | 39610 34788 46 | 0.266 % |
876.10/876.25 c | 1768899 | 782 107529 281783 | 39610 36836 45 | 0.266 % |
876.40/876.51 c | 1769411 | 782 107529 281783 | 39610 37348 45 | 0.266 % |
876.60/876.77 c | 1769923 | 782 107529 281783 | 39610 37860 45 | 0.266 % |
877.01/877.18 c | 1770950 | 782 107529 281783 | 37941 33284 45 | 0.255 % |
877.21/877.41 c | 1771467 | 782 107529 281783 | 37941 33801 45 | 0.255 % |
877.51/877.66 c | 1771980 | 782 107529 281783 | 37941 34314 45 | 0.266 % |
878.01/878.16 c | 1773004 | 782 107529 281783 | 37941 35338 45 | 0.266 % |
878.91/879.04 c | 1775052 | 782 107529 281783 | 37941 37386 47 | 0.255 % |
880.61/880.75 c | 1779149 | 782 107529 281783 | 37941 36372 50 | 0.255 % |
884.31/884.47 c | 1787341 | 782 107529 281783 | 37224 34076 44 | 0.255 % |
892.41/892.60 c | 1803725 | 782 107529 281783 | 35093 32675 47 | 0.266 % |
892.81/892.95 c | 1804238 | 782 107529 281783 | 35093 33188 47 | 0.266 % |
893.11/893.26 c | 1804750 | 782 107529 281783 | 35093 33700 47 | 0.266 % |
893.81/893.94 c | 1805775 | 782 107529 281783 | 35093 34725 46 | 0.266 % |
894.01/894.16 c | 1806287 | 782 107529 281783 | 35093 35237 46 | 0.266 % |
894.22/894.39 c | 1806802 | 782 107529 281783 | 35093 29268 44 | 0.266 % |
894.61/894.81 c | 1807826 | 782 107529 281783 | 35093 30292 43 | 0.266 % |
895.41/895.53 c | 1809880 | 782 107529 281783 | 35093 32346 43 | 0.267 % |
895.61/895.78 c | 1810393 | 782 107529 281783 | 32467 27803 42 | 0.266 % |
895.81/895.96 c | 1810906 | 782 107529 281783 | 32467 28316 42 | 0.266 % |
896.21/896.35 c | 1811930 | 782 107529 281783 | 32467 29340 42 | 0.267 % |
896.42/896.55 c | 1812443 | 782 107529 281783 | 32467 29853 42 | 0.266 % |
896.61/896.76 c | 1812957 | 782 107529 281783 | 32467 30367 42 | 0.267 % |
897.01/897.17 c | 1813983 | 782 107529 281783 | 32467 31393 41 | 0.267 % |
897.91/898.03 c | 1816033 | 782 107529 281783 | 32467 29498 41 | 0.267 % |
899.31/899.44 c | 1820133 | 782 107529 281783 | 29953 30085 48 | 0.255 % |
899.51/899.66 c | 1820646 | 782 107529 281783 | 29953 27389 47 | 0.266 % |
899.72/899.86 c | 1821158 | 782 107529 281783 | 29953 27901 47 | 0.266 % |
900.11/900.23 c | 1822184 | 782 107529 281783 | 29953 28927 47 | 0.266 % |
900.21/900.41 c | 1822696 | 782 107529 281783 | 29953 29439 46 | 0.266 % |
900.51/900.62 c | 1823209 | 782 107529 281783 | 29953 29952 46 | 0.266 % |
900.91/901.07 c | 1824235 | 782 107529 281783 | 29953 27893 44 | 0.266 % |
901.61/901.73 c | 1826283 | 782 107529 281783 | 29953 29941 44 | 0.266 % |
901.81/901.96 c | 1826799 | 782 107529 281783 | 29953 27444 43 | 0.255 % |
902.01/902.14 c | 1827312 | 782 107529 281783 | 29953 27957 42 | 0.266 % |
902.31/902.48 c | 1828337 | 782 107529 281783 | 29953 28982 42 | 0.266 % |
902.51/902.67 c | 1828850 | 782 107529 281783 | 29953 29495 42 | 0.266 % |
902.71/902.84 c | 1829362 | 782 107529 281783 | 29953 30007 42 | 0.266 % |
903.11/903.27 c | 1830386 | 782 107529 281783 | 2147483647 28031 44 | 0.266 % |
903.91/904.11 c | 1832434 | 782 107529 281783 | 2147483647 30079 43 | 0.266 % |
905.81/905.95 c | 1836533 | 782 107529 281783 | 2147483647 34178 43 | 0.266 % |
909.51/909.66 c | 1844726 | 782 107529 281783 | 37647 37805 54 | 0.255 % |
909.71/909.89 c | 1845241 | 782 107529 281783 | 37647 33061 55 | 0.266 % |
910.01/910.12 c | 1845753 | 782 107529 281783 | 37647 33573 55 | 0.268 % |
910.41/910.61 c | 1846779 | 782 107529 281783 | 37647 34599 54 | 0.268 % |
910.72/910.85 c | 1847292 | 782 107529 281783 | 37647 35112 54 | 0.266 % |
910.91/911.10 c | 1847807 | 782 107529 281783 | 37647 35627 54 | 0.266 % |
911.41/911.53 c | 1848836 | 782 107529 281783 | 37647 36656 53 | 0.266 % |
912.51/912.64 c | 1850885 | 782 107529 281783 | 37822 32989 49 | 0.266 % |
912.71/912.88 c | 1851406 | 782 107529 281783 | 37822 33510 49 | 0.266 % |
913.01/913.11 c | 1851919 | 782 107529 281783 | 37822 34023 49 | 0.266 % |
913.51/913.69 c | 1852944 | 782 107529 281783 | 37822 35048 48 | 0.266 % |
913.81/913.94 c | 1853458 | 782 107529 281783 | 37822 35562 48 | 0.266 % |
914.02/914.19 c | 1853972 | 782 107529 281783 | 37822 36076 48 | 0.266 % |
914.51/914.67 c | 1854996 | 782 107529 281783 | 37822 37100 48 | 0.266 % |
915.61/915.74 c | 1857048 | 782 107529 281783 | 37822 32895 49 | 0.266 % |
917.21/917.41 c | 1861148 | 782 107529 281783 | 35847 31227 56 | 0.255 % |
917.51/917.62 c | 1861662 | 782 107529 281783 | 35847 31741 56 | 0.255 % |
917.71/917.82 c | 1862174 | 782 107529 281783 | 35847 32253 56 | 0.266 % |
918.11/918.25 c | 1863200 | 782 107529 281783 | 35847 33279 55 | 0.266 % |
918.31/918.50 c | 1863712 | 782 107529 281783 | 35847 33791 55 | 0.266 % |
918.61/918.71 c | 1864225 | 782 107529 281783 | 35847 34304 54 | 0.266 % |
919.11/919.25 c | 1865249 | 782 107529 281783 | 35847 35328 54 | 0.266 % |
920.01/920.20 c | 1867298 | 782 107529 281783 | 35847 32013 48 | 0.267 % |
920.31/920.42 c | 1867812 | 782 107529 281783 | 35847 32527 48 | 0.266 % |
920.51/920.63 c | 1868329 | 782 107529 281783 | 35847 33044 48 | 0.266 % |
920.91/921.05 c | 1869359 | 782 107529 281783 | 35847 34074 47 | 0.266 % |
921.11/921.28 c | 1869872 | 782 107529 281783 | 35847 34587 47 | 0.266 % |
921.41/921.56 c | 1870386 | 782 107529 281783 | 34718 30362 41 | 0.266 % |
921.81/921.96 c | 1871410 | 782 107529 281783 | 34718 31386 41 | 0.267 % |
922.61/922.77 c | 1873458 | 782 107529 281783 | 34718 33434 41 | 0.267 % |
924.21/924.35 c | 1877556 | 782 107529 281783 | 34718 33577 40 | 0.266 % |
927.51/927.62 c | 1885750 | 782 107529 281783 | 32389 30876 48 | 0.255 % |
935.01/935.19 c | 1902137 | 782 107529 281783 | 27437 25397 46 | 0.266 % |
947.92/948.08 c | 1934908 | 782 107529 281783 | 22998 22572 49 | 0.267 % |
948.12/948.25 c | 1935420 | 782 107529 281783 | 22998 23084 48 | 0.255 % |
948.32/948.43 c | 1935934 | 782 107529 281783 | 22998 20972 47 | 0.266 % |
948.62/948.77 c | 1936959 | 782 107529 281783 | 22998 21997 46 | 0.266 % |
948.82/948.96 c | 1937471 | 782 107529 281783 | 22998 22509 46 | 0.266 % |
949.02/949.13 c | 1937984 | 782 107529 281783 | 22998 23022 45 | 0.267 % |
949.32/949.47 c | 1939011 | 782 107529 281783 | 22998 21747 43 | 0.267 % |
949.92/950.03 c | 1941061 | 782 107529 281783 | 2147483647 23797 48 | 0.255 % |
950.02/950.21 c | 1941573 | 782 107529 281783 | 2147483647 24309 50 | 0.255 % |
950.22/950.40 c | 1942085 | 782 107529 281783 | 2147483647 24821 51 | 0.255 % |
950.62/950.79 c | 1943110 | 782 107529 281783 | 2147483647 25846 52 | 0.255 % |
950.82/950.95 c | 1943622 | 782 107529 281783 | 2147483647 26358 52 | 0.255 % |
951.02/951.13 c | 1944135 | 782 107529 281783 | 2147483647 26871 52 | 0.267 % |
951.32/951.49 c | 1945163 | 782 107529 281783 | 2147483647 27899 51 | 0.267 % |
952.12/952.27 c | 1947213 | 782 107529 281783 | 2147483647 29949 50 | 0.267 % |
953.82/953.95 c | 1951309 | 782 107529 281783 | 2147483647 34045 48 | 0.267 % |
954.02/954.17 c | 1951822 | 782 107529 281783 | 2147483647 34558 48 | 0.267 % |
954.22/954.39 c | 1952338 | 782 107529 281783 | 2147483647 35074 48 | 0.267 % |
954.72/954.86 c | 1953365 | 782 107529 281783 | 2147483647 36101 48 | 0.267 % |
954.92/955.11 c | 1953880 | 782 107529 281783 | 2147483647 36616 48 | 0.266 % |
955.12/955.31 c | 1954392 | 782 107529 281783 | 2147483647 37128 48 | 0.266 % |
955.62/955.78 c | 1955416 | 782 107529 281783 | 2147483647 38152 48 | 0.267 % |
956.62/956.75 c | 1957465 | 782 107529 281783 | 2147483647 40201 47 | 0.266 % |
956.82/956.98 c | 1957977 | 782 107529 281783 | 2147483647 40713 47 | 0.267 % |
957.12/957.24 c | 1958490 | 782 107529 281783 | 2147483647 41226 47 | 0.266 % |
957.62/957.72 c | 1959514 | 782 107529 281783 | 2147483647 42250 46 | 0.266 % |
957.82/957.96 c | 1960026 | 782 107529 281783 | 42737 42762 47 | 0.255 % |
958.12/958.22 c | 1960538 | 782 107529 281783 | 42737 37580 46 | 0.255 % |
958.52/958.66 c | 1961562 | 782 107529 281783 | 42737 38604 47 | 0.255 % |
959.52/959.62 c | 1963611 | 782 107529 281783 | 42737 40653 50 | 0.255 % |
961.52/961.63 c | 1967711 | 782 107529 281783 | 42737 39398 50 | 0.255 % |
965.52/965.66 c | 1975903 | 782 107529 281783 | 41689 41893 49 | 0.266 % |
965.82/966.00 c | 1976415 | 782 107529 281783 | 41689 35536 44 | 0.255 % |
966.12/966.30 c | 1976929 | 782 107529 281783 | 41689 36050 44 | 0.255 % |
966.62/966.78 c | 1977957 | 782 107529 281783 | 41689 37078 44 | 0.266 % |
966.92/967.07 c | 1978469 | 782 107529 281783 | 41689 37590 44 | 0.255 % |
967.22/967.40 c | 1978982 | 782 107529 281783 | 41689 38103 44 | 0.255 % |
967.72/967.86 c | 1980006 | 782 107529 281783 | 39124 39127 44 | 0.266 % |
968.62/968.78 c | 1982056 | 782 107529 281783 | 39124 34627 47 | 0.255 % |
968.82/969.00 c | 1982568 | 782 107529 281783 | 39124 35139 48 | 0.255 % |
969.12/969.25 c | 1983082 | 782 107529 281783 | 39124 35653 48 | 0.255 % |
969.52/969.71 c | 1984106 | 782 107529 281783 | 39124 36677 50 | 0.255 % |
969.82/969.94 c | 1984621 | 782 107529 281783 | 39124 37192 50 | 0.255 % |
970.02/970.17 c | 1985133 | 782 107529 281783 | 39124 37704 50 | 0.255 % |
970.52/970.63 c | 1986157 | 782 107529 281783 | 39124 38728 50 | 0.266 % |
971.52/971.62 c | 1988205 | 782 107529 281783 | 39124 35038 51 | 0.255 % |
973.42/973.52 c | 1992304 | 782 107529 281783 | 36834 33658 46 | 0.266 % |
973.62/973.74 c | 1992816 | 782 107529 281783 | 36834 34170 46 | 0.255 % |
973.82/973.94 c | 1993329 | 782 107529 281783 | 36834 34683 46 | 0.266 % |
974.12/974.29 c | 1994355 | 782 107529 281783 | 36834 35709 46 | 0.266 % |
974.32/974.51 c | 1994868 | 782 107529 281783 | 36834 36222 45 | 0.267 % |
974.52/974.69 c | 1995380 | 782 107529 281783 | 36834 36734 45 | 0.267 % |
975.02/975.12 c | 1996404 | 782 107529 281783 | 36834 32772 44 | 0.267 % |
975.72/975.91 c | 1998452 | 782 107529 281783 | 36834 34820 44 | 0.266 % |
976.02/976.14 c | 1998968 | 782 107529 281783 | 36834 35336 44 | 0.266 % |
976.22/976.34 c | 1999482 | 782 107529 281783 | 36834 35850 44 | 0.266 % |
976.62/976.77 c | 2000511 | 782 107529 281783 | 36368 32335 44 | 0.267 % |
976.82/976.96 c | 2001024 | 782 107529 281783 | 36368 32848 44 | 0.255 % |
977.02/977.16 c | 2001538 | 782 107529 281783 | 36368 33362 45 | 0.255 % |
977.42/977.54 c | 2002562 | 782 107529 281783 | 36368 34386 47 | 0.255 % |
978.22/978.39 c | 2004610 | 782 107529 281783 | 36368 36434 50 | 0.255 % |
980.02/980.18 c | 2008706 | 782 107529 281783 | 36368 36182 51 | 0.255 % |
983.92/984.09 c | 2016900 | 782 107529 281783 | 32678 30581 47 | 0.266 % |
991.62/991.78 c | 2033284 | 782 107529 281783 | 26058 25460 37 | 0.267 % |
991.82/992.01 c | 2033796 | 782 107529 281783 | 26058 25972 37 | 0.267 % |
992.12/992.26 c | 2034308 | 782 107529 281783 | 26058 23010 36 | 0.267 % |
992.52/992.64 c | 2035332 | 782 107529 281783 | 26058 24034 36 | 0.255 % |
992.72/992.84 c | 2035844 | 782 107529 281783 | 26058 24546 36 | 0.267 % |
992.82/993.01 c | 2036357 | 782 107529 281783 | 26058 25059 37 | 0.267 % |
993.32/993.43 c | 2037381 | 782 107529 281783 | 26058 26083 37 | 0.267 % |
994.22/994.38 c | 2039429 | 782 107529 281783 | 26058 24769 35 | 0.267 % |
994.42/994.60 c | 2039942 | 782 107529 281783 | 26058 25282 35 | 0.255 % |
994.72/994.88 c | 2040455 | 782 107529 281783 | 25341 22402 35 | 0.267 % |
995.22/995.32 c | 2041479 | 782 107529 281783 | 25341 23426 35 | 0.255 % |
995.42/995.52 c | 2041994 | 782 107529 281783 | 25341 23941 35 | 0.267 % |
995.52/995.70 c | 2042507 | 782 107529 281783 | 25341 24454 35 | 0.267 % |
995.82/996.01 c | 2043534 | 782 107529 281783 | 25341 25481 37 | 0.255 % |
996.52/996.68 c | 2045584 | 782 107529 281783 | 25341 24880 41 | 0.255 % |
997.82/998.00 c | 2049680 | 782 107529 281783 | 25341 23842 53 | 0.255 % |
998.02/998.18 c | 2050194 | 782 107529 281783 | 2147483647 24356 53 | 0.266 % |
998.22/998.35 c | 2050706 | 782 107529 281783 | 2147483647 24868 53 | 0.266 % |
998.62/998.72 c | 2051731 | 782 107529 281783 | 2147483647 25893 52 | 0.266 % |
998.82/998.94 c | 2052243 | 782 107529 281783 | 2147483647 26405 52 | 0.266 % |
999.02/999.15 c | 2052755 | 782 107529 281783 | 2147483647 26917 51 | 0.267 % |
999.42/999.57 c | 2053782 | 782 107529 281783 | 2147483647 27944 51 | 0.267 % |
1000.22/1000.39 c | 2055833 | 782 107529 281783 | 2147483647 29995 50 | 0.266 % |
1000.42/1000.60 c | 2056345 | 782 107529 281783 | 2147483647 30507 49 | 0.266 % |
1000.62/1000.80 c | 2056858 | 782 107529 281783 | 2147483647 31020 49 | 0.266 % |
1001.02/1001.13 c | 2057882 | 782 107529 281783 | 2147483647 32044 48 | 0.266 % |
1001.12/1001.31 c | 2058395 | 782 107529 281783 | 2147483647 32557 48 | 0.255 % |
1001.42/1001.52 c | 2058907 | 782 107529 281783 | 2147483647 33069 48 | 0.255 % |
1001.82/1001.97 c | 2059931 | 782 107529 281783 | 2147483647 34093 48 | 0.266 % |
1002.62/1002.74 c | 2061980 | 782 107529 281783 | 2147483647 36142 47 | 0.266 % |
1004.32/1004.51 c | 2066077 | 782 107529 281783 | 2147483647 40239 46 | 0.267 % |
1008.72/1008.86 c | 2074270 | 782 107529 281783 | 44167 42264 58 | 0.255 % |
1009.02/1009.16 c | 2074784 | 782 107529 281783 | 44167 42778 58 | 0.255 % |
1009.32/1009.51 c | 2075297 | 782 107529 281783 | 44167 43291 58 | 0.266 % |
1010.02/1010.19 c | 2076324 | 782 107529 281783 | 44167 44318 57 | 0.266 % |
1010.42/1010.59 c | 2076838 | 782 107529 281783 | 44167 37043 59 | 0.266 % |
1010.82/1010.92 c | 2077351 | 782 107529 281783 | 44167 37556 58 | 0.266 % |
1011.42/1011.57 c | 2078376 | 782 107529 281783 | 44167 38581 58 | 0.266 % |
1012.62/1012.78 c | 2080426 | 782 107529 281783 | 40205 32983 52 | 0.255 % |
1012.92/1013.03 c | 2080938 | 782 107529 281783 | 40205 33495 51 | 0.266 % |
1013.12/1013.31 c | 2081450 | 782 107529 281783 | 40205 34007 51 | 0.266 % |
1013.62/1013.78 c | 2082474 | 782 107529 281783 | 40205 35031 51 | 0.267 % |
1013.92/1014.04 c | 2082986 | 782 107529 281783 | 40205 35543 51 | 0.266 % |
1014.12/1014.30 c | 2083498 | 782 107529 281783 | 40205 36055 50 | 0.266 % |
1014.62/1014.80 c | 2084524 | 782 107529 281783 | 40205 37081 50 | 0.266 % |
1015.62/1015.77 c | 2086574 | 782 107529 281783 | 40205 39131 52 | 0.255 % |
1017.72/1017.89 c | 2090670 | 782 107529 281783 | 35526 29937 65 | 0.255 % |
1018.02/1018.16 c | 2091184 | 782 107529 281783 | 35526 30451 65 | 0.255 % |
1018.32/1018.49 c | 2091697 | 782 107529 281783 | 35526 30964 65 | 0.267 % |
1018.92/1019.08 c | 2092722 | 782 107529 281783 | 35526 31989 64 | 0.267 % |
1019.22/1019.40 c | 2093234 | 782 107529 281783 | 35526 32501 63 | 0.266 % |
1019.52/1019.71 c | 2093746 | 782 107529 281783 | 35526 33013 63 | 0.267 % |
1020.12/1020.31 c | 2094770 | 782 107529 281783 | 35526 34037 62 | 0.267 % |
1021.52/1021.65 c | 2096819 | 782 107529 281783 | 35526 29581 52 | 0.267 % |
1021.82/1021.92 c | 2097332 | 782 107529 281783 | 35526 30094 52 | 0.267 % |
1022.02/1022.16 c | 2097847 | 782 107529 281783 | 35526 30609 52 | 0.266 % |
1022.42/1022.58 c | 2098871 | 782 107529 281783 | 35526 31633 51 | 0.267 % |
1022.62/1022.81 c | 2099385 | 782 107529 281783 | 35526 32147 50 | 0.267 % |
1022.92/1023.06 c | 2099897 | 782 107529 281783 | 35526 32659 50 | 0.267 % |
1023.32/1023.50 c | 2100921 | 782 107529 281783 | 32764 28213 48 | 0.267 % |
1024.22/1024.34 c | 2102972 | 782 107529 281783 | 32764 30264 47 | 0.267 % |
1026.02/1026.16 c | 2107070 | 782 107529 281783 | 32764 29878 46 | 0.266 % |
1029.72/1029.85 c | 2115262 | 782 107529 281783 | 32808 29438 51 | 0.255 % |
1037.62/1037.76 c | 2131648 | 782 107529 281783 | 27910 25721 47 | 0.267 % |
1050.62/1050.72 c | 2164417 | 782 107529 281783 | 24199 23155 33 | 0.267 % |
1082.73/1082.86 c | 2229957 | 782 107529 281783 | 29663 28386 39 | 0.267 % |
1142.72/1142.86 c | 2361033 | 780 106979 280349 | 30228 25029 40 | 0.522 % |
1200.03/1200.12 HOME/SatELiteGTI: line 36: 5840 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820609-1242458373/watcher-1820609-1242458373 -o /tmp/evaluation-result-1820609-1242458373/solver-1820609-1242458373 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820609-1242458373.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 5834
/proc/meminfo: memFree=477372/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2412 CPUtime=0
/proc/5834/stat : 5834 (SatELiteGTI) R 5832 5834 15108 0 -1 4194304 362 645 0 0 0 0 0 0 25 0 1 0 1010335430 2469888 276 4294967295 134512640 135169312 3213464544 3213463312 3084828253 0 0 4 65536 0 0 0 17 0 0 0 0
/proc/5834/statm: 603 276 235 161 0 42 0
[pid=5838] ppid=5834 vsize=0 CPUtime=0
/proc/5838/stat : 5838 (SatELiteGTI) R 5834 5834 15108 0 -1 4194368 65 0 0 0 0 0 0 0 18 0 1 0 1010335430 0 0 4294967295 0 0 0 3213463172 3084966378 0 0 0 0 0 0 0 17 2 0 0 0
/proc/5838/statm: 203 2 0 174 0 28 0
[startup+0.056487 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 5834
/proc/meminfo: memFree=477372/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2412 CPUtime=0
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 368 645 0 0 0 0 0 0 25 0 1 0 1010335430 2469888 276 4294967295 134512640 135169312 3213464544 3213463080 3084963566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5834/statm: 603 276 235 161 0 42 0
[pid=5838] ppid=5834 vsize=5212 CPUtime=0.06
/proc/5838/stat : 5838 (SatELite_releas) R 5834 5834 15108 0 -1 4202496 1149 0 0 0 5 1 0 0 18 0 1 0 1010335430 5337088 1085 4294967295 134512640 135223648 3218936080 3218935032 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5838/statm: 1303 1085 46 174 0 1128 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7624
[startup+0.116458 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 5834
/proc/meminfo: memFree=477372/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2412 CPUtime=0
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 368 645 0 0 0 0 0 0 25 0 1 0 1010335430 2469888 276 4294967295 134512640 135169312 3213464544 3213463080 3084963566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5834/statm: 603 276 235 161 0 42 0
[pid=5838] ppid=5834 vsize=6928 CPUtime=0.12
/proc/5838/stat : 5838 (SatELite_releas) R 5834 5834 15108 0 -1 4202496 1618 0 0 0 10 2 0 0 18 0 1 0 1010335430 7094272 1554 4294967295 134512640 135223648 3218936080 3218932700 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5838/statm: 1732 1554 72 174 0 1557 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9340
[startup+0.316452 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 5834
/proc/meminfo: memFree=477372/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 2416
[startup+0.716421 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 5834
/proc/meminfo: memFree=477372/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 2416
[startup+1.51635 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 5840
/proc/meminfo: memFree=468808/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=8512 CPUtime=1.35
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 2038 0 0 0 135 0 0 0 25 0 1 0 1010335446 8716288 1973 4294967295 134512640 135216591 3213677680 3213675872 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/5840/statm: 2128 1973 75 172 0 1955 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 10928
[startup+3.11623 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 5845
/proc/meminfo: memFree=468188/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=9568 CPUtime=2.94
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 2311 0 0 0 294 0 0 0 25 0 1 0 1010335446 9797632 2246 4294967295 134512640 135216591 3213677680 3213675872 134528894 0 0 0 3 0 0 0 17 1 0 0 0
/proc/5840/statm: 2392 2246 75 172 0 2219 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 11984
[startup+6.31598 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 5845
/proc/meminfo: memFree=465716/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=12576 CPUtime=6.13
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 3054 0 0 0 613 0 0 0 25 0 1 0 1010335446 12877824 2989 4294967295 134512640 135216591 3213677680 3213675872 134528881 0 0 0 3 0 0 0 17 1 0 0 0
/proc/5840/statm: 3144 2989 75 172 0 2971 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 14992
[startup+12.7155 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 5845
/proc/meminfo: memFree=462208/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=15460 CPUtime=12.49
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 3765 0 0 0 1248 1 0 0 25 0 1 0 1010335446 15831040 3700 4294967295 134512640 135216591 3213677680 3213675872 134528984 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5840/statm: 3865 3700 75 172 0 3692 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 17876
[startup+25.5145 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 6028
/proc/meminfo: memFree=455744/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=21556 CPUtime=25.27
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 5285 0 0 0 2525 2 0 0 25 0 1 0 1010335446 22073344 5220 4294967295 134512640 135216591 3213677680 3213675872 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5840/statm: 5389 5220 75 172 0 5216 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 23972
[startup+51.1125 s]
/proc/loadavg: 1.00 1.00 1.00 4/93 6030
/proc/meminfo: memFree=453360/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=24080 CPUtime=50.87
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 5893 0 0 0 5084 3 0 0 25 0 1 0 1010335446 24657920 5828 4294967295 134512640 135216591 3213677680 3213675872 134529023 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5840/statm: 6020 5828 75 172 0 5847 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 26496
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 6217
/proc/meminfo: memFree=453120/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=24080 CPUtime=102.07
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 5903 0 0 0 10204 3 0 0 25 0 1 0 1010335446 24657920 5838 4294967295 134512640 135216591 3213677680 3213675872 134528955 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5840/statm: 6020 5838 75 172 0 5847 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 26496
[startup+162.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 6406
/proc/meminfo: memFree=452980/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=24080 CPUtime=162.08
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 5903 0 0 0 16205 3 0 0 25 0 1 0 1010335446 24657920 5838 4294967295 134512640 135216591 3213677680 3213675872 134529251 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5840/statm: 6020 5838 75 172 0 5847 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 26496
[startup+222.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 6592
/proc/meminfo: memFree=453112/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=24080 CPUtime=222.09
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 5903 0 0 0 22206 3 0 0 25 0 1 0 1010335446 24657920 5838 4294967295 134512640 135216591 3213677680 3213675872 134529243 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5840/statm: 6020 5838 75 172 0 5847 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 26496
[startup+282.315 s]
/proc/loadavg: 1.14 1.04 1.01 2/93 6785
/proc/meminfo: memFree=452104/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=24952 CPUtime=282.09
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 6096 0 0 0 28206 3 0 0 25 0 1 0 1010335446 25550848 6031 4294967295 134512640 135216591 3213677680 3213675872 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5840/statm: 6238 6031 75 172 0 6065 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 27368
[startup+342.32 s]
/proc/loadavg: 1.05 1.03 1.00 2/93 6972
/proc/meminfo: memFree=451872/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=24952 CPUtime=342.1
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 6110 0 0 0 34207 3 0 0 25 0 1 0 1010335446 25550848 6045 4294967295 134512640 135216591 3213677680 3213675872 134528851 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5840/statm: 6238 6045 75 172 0 6065 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 27368
[startup+402.306 s]
/proc/loadavg: 1.02 1.02 1.00 3/93 7160
/proc/meminfo: memFree=451888/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
################
# More data... #
################
/proc/5840/statm: 6455 6236 75 172 0 6282 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 28236
[startup+642.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7911
/proc/meminfo: memFree=450764/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=26692 CPUtime=642.02
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 6504 0 0 0 64196 6 0 0 25 0 1 0 1010335446 27332608 6439 4294967295 134512640 135216591 3213677680 3213675872 134528749 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5840/statm: 6673 6439 75 172 0 6500 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 29108
[startup+702.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8103
/proc/meminfo: memFree=449780/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=27352 CPUtime=702.03
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 6678 0 0 0 70196 7 0 0 25 0 1 0 1010335446 28008448 6613 4294967295 134512640 135216591 3213677680 3213675872 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5840/statm: 6838 6613 75 172 0 6665 0
Current children cumulated CPU time (s) 702.2
Current children cumulated vsize (KiB) 29768
[startup+762.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8292
/proc/meminfo: memFree=449648/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=27496 CPUtime=762.03
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 6699 0 0 0 76195 8 0 0 25 0 1 0 1010335446 28155904 6634 4294967295 134512640 135216591 3213677680 3213675872 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5840/statm: 6874 6634 75 172 0 6701 0
Current children cumulated CPU time (s) 762.2
Current children cumulated vsize (KiB) 29912
[startup+822.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 8478
/proc/meminfo: memFree=448640/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=28312 CPUtime=822.03
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 6910 0 0 0 82195 8 0 0 25 0 1 0 1010335446 28991488 6845 4294967295 134512640 135216591 3213677680 3213675872 134528829 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5840/statm: 7078 6845 75 172 0 6905 0
Current children cumulated CPU time (s) 822.2
Current children cumulated vsize (KiB) 30728
[startup+882.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8667
/proc/meminfo: memFree=446904/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=30160 CPUtime=882.04
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 7353 0 0 0 88196 8 0 0 25 0 1 0 1010335446 30883840 7288 4294967295 134512640 135216591 3213677680 3213675872 134528966 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5840/statm: 7540 7288 75 172 0 7367 0
Current children cumulated CPU time (s) 882.21
Current children cumulated vsize (KiB) 32576
[startup+942.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 8854
/proc/meminfo: memFree=447036/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=30160 CPUtime=942.04
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 7353 0 0 0 94196 8 0 0 25 0 1 0 1010335446 30883840 7288 4294967295 134512640 135216591 3213677680 3213675872 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5840/statm: 7540 7288 75 172 0 7367 0
Current children cumulated CPU time (s) 942.21
Current children cumulated vsize (KiB) 32576
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 9042
/proc/meminfo: memFree=447176/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=30160 CPUtime=1002.05
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 7353 0 0 0 100197 8 0 0 25 0 1 0 1010335446 30883840 7288 4294967295 134512640 135216591 3213677680 3213675872 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5840/statm: 7540 7288 75 172 0 7367 0
Current children cumulated CPU time (s) 1002.22
Current children cumulated vsize (KiB) 32576
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 9235
/proc/meminfo: memFree=446300/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=30952 CPUtime=1062.05
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 7557 0 0 0 106196 9 0 0 25 0 1 0 1010335446 31694848 7492 4294967295 134512640 135216591 3213677680 3213675872 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5840/statm: 7738 7492 75 172 0 7565 0
Current children cumulated CPU time (s) 1062.22
Current children cumulated vsize (KiB) 33368
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 9421
/proc/meminfo: memFree=446276/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=31232 CPUtime=1122.05
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 7625 0 0 0 112196 9 0 0 25 0 1 0 1010335446 31981568 7560 4294967295 134512640 135216591 3213677680 3213675872 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5840/statm: 7808 7560 75 172 0 7635 0
Current children cumulated CPU time (s) 1122.22
Current children cumulated vsize (KiB) 33648
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 9610
/proc/meminfo: memFree=444036/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=33384 CPUtime=1182.05
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 8137 0 0 0 118196 9 0 0 25 0 1 0 1010335446 34185216 8072 4294967295 134512640 135216591 3213677680 3213675872 134528984 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5840/statm: 8346 8072 75 172 0 8173 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 35800
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 9610
/proc/meminfo: memFree=444200/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=33384 CPUtime=1199.86
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 8144 0 0 0 119977 9 0 0 25 0 1 0 1010335446 34185216 8079 4294967295 134512640 135216591 3213677680 3213675872 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5840/statm: 8346 8079 75 172 0 8173 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 35800
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 9610
/proc/meminfo: memFree=444200/2074464 swapFree=1952056/1959888
[pid=5834] ppid=5832 vsize=2416 CPUtime=0.17
/proc/5834/stat : 5834 (SatELiteGTI) S 5832 5834 15108 0 -1 4194304 386 2265 0 0 1 0 14 2 24 0 1 0 1010335430 2473984 277 4294967295 134512640 135169312 3213464544 3213460760 3084963566 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5834/statm: 604 277 235 161 0 43 0
[pid=5840] ppid=5834 vsize=33384 CPUtime=1199.86
/proc/5840/stat : 5840 (minisat_static) R 5834 5834 15108 0 -1 4202496 8144 0 0 0 119977 9 0 0 25 0 1 0 1010335446 34185216 8079 4294967295 134512640 135216591 3213677680 3213675872 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5840/statm: 8346 8079 75 172 0 8173 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 35800
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5834 and gives
# childrusage.ru_utime.tv_sec=1199
# childrusage.ru_utime.tv_usec=920000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=110000
# CPU time returned by wait4() is 1200.03
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.12
CPU time (s): 1200.03
CPU user time (s): 1199.92
CPU system time (s): 0.11
CPU usage (%): 99.9922
Max. virtual memory (cumulated for all children) (KiB): 35800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.92
system time used= 0.11
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11074
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= 24
involuntary context switches= 4691
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on tipi24 at 2009-05-16 09:19:33
IDJOB=1820609
IDBENCH=20492
IDSOLVER=658
FILE ID=tipi24/1820609-1242458373
PBS_JOBID=
Free space on /tmp= 10776 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_28.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820609-1242458373/watcher-1820609-1242458373 -o /tmp/evaluation-result-1820609-1242458373/solver-1820609-1242458373 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820609-1242458373.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2679ca6fb11bcf9f950de09652ce7147
RANDOM SEED= 1863298509
Linux tipi24 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 477404 kB
Buffers: 41224 kB
Cached: 1443144 kB
SwapCached: 3968 kB
Active: 528364 kB
Inactive: 965556 kB
HighTotal: 1178688 kB
HighFree: 78784 kB
LowTotal: 895776 kB
LowFree: 398620 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 3152 kB
Writeback: 0 kB
AnonPages: 8932 kB
Mapped: 3416 kB
Slab: 93976 kB
PageTables: 548 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87796 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 10776 MiB
End job on tipi24 at 2009-05-16 09:39:33