0.00/0.00 c Parsing...
0.03/0.08 c ==============================================================================
0.03/0.08 c | | ORIGINAL | LEARNT | |
0.03/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.03/0.08 c ==============================================================================
0.03/0.08 c | 0 | 95200 224450 | 28559 0 0 nan | 0.000 % |
1.22/1.24 c | 0 | 58435 174205 | -- 0 -- -- | -- | -36425/-49269
1.22/1.24 c ==============================================================================
1.22/1.24 c Result : #vars: 14053 #clauses: 58435 #literals: 174205
1.22/1.24 c CPU time: 1.23 s
1.22/1.24 c ==============================================================================
1.22/1.31 c This is MiniSat 2.0 beta
1.22/1.31 c WARNING: for repeatability, setting FPU to use double precision
1.22/1.31 c ============================[ Problem Statistics ]=============================
1.22/1.31 c | |
1.31/1.31 c | Number of variables: 14053 |
1.31/1.31 c | Number of clauses: 58435 |
1.31/1.35 c | Parsing time: 0.04 s |
1.31/1.35 c ============================[ Search Statistics ]==============================
1.31/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.31/1.35 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.31/1.35 c ===============================================================================
1.31/1.35 c | 0 | 14053 58435 174205 | 19478 0 nan | 0.000 % |
1.31/1.52 c | 100 | 14038 58435 174205 | 19478 94 34 | 1.708 % |
1.31/1.99 c | 200 | 13813 57117 170858 | 19478 191 34 | 1.708 % |
2.30/2.39 c | 300 | 13813 57117 170858 | 19478 291 29 | 1.708 % |
2.90/2.93 c | 411 | 13813 57117 170858 | 19478 402 26 | 1.708 % |
3.31/3.35 c | 511 | 13813 57117 170858 | 19478 502 25 | 1.708 % |
3.80/3.84 c | 621 | 13813 57117 170858 | 19478 612 24 | 1.708 % |
4.00/4.06 c | 742 | 13813 57117 170858 | 19478 733 28 | 1.708 % |
4.20/4.28 c | 842 | 13813 57117 170858 | 19478 833 32 | 1.708 % |
4.30/4.35 c | 952 | 13813 57117 170858 | 19478 943 36 | 1.708 % |
4.41/4.43 c | 1073 | 13813 57117 170858 | 19478 1064 39 | 1.708 % |
4.50/4.61 c | 1206 | 13767 56905 170377 | 19478 1196 39 | 2.035 % |
4.90/4.99 c | 1307 | 13767 56905 170377 | 19478 1297 41 | 2.035 % |
5.40/5.44 c | 1418 | 13767 56905 170377 | 19478 1408 40 | 2.035 % |
5.90/5.96 c | 1540 | 13767 56905 170377 | 19478 1530 39 | 2.035 % |
6.50/6.53 c | 1673 | 13767 56905 170377 | 19478 1663 38 | 2.035 % |
7.00/7.10 c | 1819 | 13767 56905 170377 | 19478 1809 37 | 2.035 % |
7.60/7.62 c | 1920 | 13767 56905 170377 | 19478 1910 36 | 2.035 % |
8.00/8.03 c | 2031 | 13767 56905 170377 | 19478 2021 35 | 2.035 % |
8.60/8.64 c | 2153 | 13767 56905 170377 | 19478 2143 35 | 2.035 % |
9.30/9.32 c | 2286 | 13767 56905 170377 | 19478 2276 34 | 2.035 % |
9.80/9.87 c | 2433 | 13767 56905 170377 | 19478 2423 34 | 2.035 % |
10.60/10.63 c | 2596 | 13767 56905 170377 | 19478 2586 33 | 2.035 % |
11.10/11.11 c | 2696 | 13767 56905 170377 | 19478 2686 34 | 2.035 % |
11.40/11.47 c | 2807 | 13767 56905 170377 | 19478 2797 33 | 2.035 % |
11.90/11.92 c | 2928 | 13767 56905 170377 | 19478 2918 33 | 2.035 % |
12.40/12.41 c | 3062 | 13767 56905 170377 | 19478 3052 33 | 2.035 % |
12.70/12.76 c | 3208 | 13767 56905 170377 | 19478 3198 33 | 2.035 % |
13.30/13.37 c | 3369 | 13767 56905 170377 | 19478 3359 33 | 2.035 % |
14.00/14.09 c | 3546 | 13767 56905 170377 | 19478 3536 33 | 2.035 % |
14.50/14.58 c | 3647 | 13767 56905 170377 | 19478 3637 32 | 2.035 % |
15.00/15.08 c | 3758 | 13767 56905 170377 | 19478 3748 32 | 2.035 % |
15.50/15.52 c | 3879 | 13767 56905 170377 | 19478 3869 32 | 2.035 % |
16.00/16.04 c | 4013 | 13767 56905 170377 | 19478 4003 32 | 2.035 % |
16.51/16.60 c | 4159 | 13767 56905 170377 | 19478 4149 32 | 2.035 % |
17.20/17.24 c | 4319 | 13767 56905 170377 | 19478 4309 32 | 2.035 % |
18.10/18.19 c | 4496 | 13767 56905 170377 | 19478 4486 31 | 2.035 % |
18.90/18.93 c | 4689 | 13767 56905 170377 | 19478 4679 31 | 2.035 % |
19.40/19.44 c | 4790 | 13767 56905 170377 | 19478 4780 31 | 2.035 % |
19.90/19.94 c | 4902 | 13767 56905 170377 | 19478 4892 31 | 2.035 % |
20.30/20.37 c | 5024 | 13767 56905 170377 | 19478 5014 31 | 2.035 % |
20.80/20.87 c | 5157 | 13767 56905 170377 | 19478 5147 31 | 2.035 % |
21.40/21.50 c | 5303 | 13767 56905 170377 | 19478 5293 31 | 2.035 % |
22.20/22.22 c | 5463 | 13767 56905 170377 | 19478 5453 31 | 2.035 % |
23.00/23.04 c | 5639 | 13767 56905 170377 | 19478 5629 30 | 2.035 % |
23.90/23.95 c | 5833 | 13767 56905 170377 | 19478 5823 30 | 2.035 % |
24.90/24.95 c | 6045 | 13767 56905 170377 | 19478 6035 30 | 2.035 % |
25.41/25.44 c | 6146 | 13767 56905 170377 | 19478 6136 30 | 2.035 % |
26.01/26.02 c | 6257 | 13767 56905 170377 | 19478 6247 30 | 2.035 % |
26.51/26.56 c | 6378 | 13767 56905 170377 | 19478 6368 29 | 2.035 % |
27.01/27.07 c | 6511 | 13767 56905 170377 | 19478 6501 29 | 2.035 % |
27.71/27.74 c | 6658 | 13767 56905 170377 | 19478 6648 29 | 2.035 % |
28.31/28.37 c | 6818 | 13767 56905 170377 | 19478 6808 29 | 2.035 % |
28.71/28.77 c | 6995 | 13767 56905 170377 | 19478 6985 30 | 2.035 % |
29.61/29.67 c | 7188 | 13716 56688 169877 | 19478 7175 30 | 2.398 % |
30.61/30.66 c | 7400 | 13716 56688 169877 | 19478 7387 29 | 2.398 % |
31.61/31.70 c | 7633 | 13716 56688 169877 | 19478 7620 29 | 2.398 % |
32.11/32.15 c | 7733 | 13716 56688 169877 | 19478 7720 29 | 2.398 % |
32.61/32.66 c | 7845 | 13716 56688 169877 | 19478 7832 29 | 2.398 % |
33.21/33.29 c | 7966 | 13716 56688 169877 | 19478 7953 29 | 2.398 % |
33.81/33.83 c | 8100 | 13716 56688 169877 | 19478 8087 29 | 2.398 % |
34.41/34.45 c | 8246 | 13716 56688 169877 | 19478 8233 29 | 2.398 % |
35.11/35.14 c | 8406 | 13716 56688 169877 | 19478 8393 29 | 2.398 % |
35.91/35.98 c | 8583 | 13716 56688 169877 | 19478 8570 29 | 2.398 % |
36.71/36.78 c | 8777 | 13716 56688 169877 | 19478 8764 29 | 2.398 % |
37.71/37.79 c | 8991 | 13716 56688 169877 | 19478 8978 29 | 2.398 % |
38.81/38.87 c | 9224 | 13667 56476 169393 | 19478 9205 28 | 2.747 % |
39.91/39.96 c | 9481 | 13667 56476 169393 | 19478 9462 28 | 2.747 % |
40.31/40.42 c | 9582 | 13667 56476 169393 | 19478 9563 28 | 2.747 % |
40.91/40.96 c | 9692 | 13667 56476 169393 | 19478 9673 29 | 2.747 % |
41.31/41.37 c | 9813 | 13667 56476 169393 | 19478 9794 29 | 2.747 % |
41.81/41.90 c | 9948 | 13667 56476 169393 | 19478 9929 28 | 2.747 % |
42.41/42.42 c | 10094 | 13667 56476 169393 | 2147483647 10075 29 | 2.747 % |
43.01/43.02 c | 10254 | 13667 56476 169393 | 2147483647 10235 29 | 2.747 % |
43.71/43.80 c | 10431 | 13667 56476 169393 | 2147483647 10412 28 | 2.747 % |
44.41/44.47 c | 10624 | 13667 56476 169393 | 2147483647 10605 28 | 2.747 % |
45.41/45.44 c | 10836 | 13667 56476 169393 | 2147483647 10817 28 | 2.747 % |
46.51/46.52 c | 11071 | 13667 56476 169393 | 2147483647 11052 28 | 2.747 % |
47.61/47.69 c | 11327 | 13667 56476 169393 | 2147483647 11308 28 | 2.747 % |
48.91/48.93 c | 11610 | 13667 56476 169393 | 2147483647 11591 28 | 2.747 % |
49.31/49.37 c | 11711 | 13667 56476 169393 | 2147483647 11692 28 | 2.747 % |
49.71/49.80 c | 11821 | 13667 56476 169393 | 2147483647 11802 28 | 2.747 % |
50.21/50.22 c | 11942 | 13667 56476 169393 | 2147483647 11923 28 | 2.747 % |
50.61/50.68 c | 12077 | 13667 56476 169393 | 2147483647 12058 28 | 2.747 % |
51.21/51.26 c | 12224 | 13667 56476 169393 | 2147483647 12205 28 | 2.747 % |
51.81/51.86 c | 12384 | 13667 56476 169393 | 2147483647 12365 28 | 2.747 % |
52.51/52.60 c | 12560 | 13667 56476 169393 | 2147483647 12541 28 | 2.747 % |
53.21/53.29 c | 12754 | 13667 56476 169393 | 2147483647 12735 28 | 2.747 % |
54.31/54.33 c | 12966 | 13667 56476 169393 | 2147483647 12947 28 | 2.747 % |
55.31/55.40 c | 13199 | 13667 56476 169393 | 2147483647 13180 28 | 2.747 % |
56.51/56.56 c | 13455 | 13667 56476 169393 | 2147483647 13436 28 | 2.747 % |
57.81/57.86 c | 13736 | 13667 56476 169393 | 2147483647 13717 28 | 2.747 % |
58.81/58.90 c | 14047 | 13667 56476 169393 | 2147483647 14028 28 | 2.747 % |
59.21/59.28 c | 14150 | 13667 56476 169393 | 2147483647 14131 28 | 2.747 % |
59.71/59.77 c | 14262 | 13667 56476 169393 | 2147483647 14243 28 | 2.747 % |
60.11/60.18 c | 14384 | 13667 56476 169393 | 2147483647 14365 28 | 2.747 % |
60.61/60.63 c | 14518 | 13667 56476 169393 | 2147483647 14499 28 | 2.747 % |
61.21/61.29 c | 14664 | 13667 56476 169393 | 2147483647 14645 28 | 2.747 % |
62.01/62.03 c | 14825 | 13667 56476 169393 | 2147483647 14806 28 | 2.747 % |
62.81/62.84 c | 15001 | 13667 56476 169393 | 2147483647 14982 28 | 2.747 % |
63.51/63.56 c | 15194 | 13667 56476 169393 | 2147483647 15175 28 | 2.747 % |
64.31/64.37 c | 15407 | 13667 56476 169393 | 2147483647 15388 28 | 2.747 % |
64.81/64.82 c | 15640 | 13667 56476 169393 | 2147483647 15621 29 | 2.747 % |
65.71/65.77 c | 15896 | 13667 56476 169393 | 2147483647 15877 29 | 2.747 % |
67.31/67.33 c | 16178 | 13667 56476 169393 | 2147483647 16159 29 | 2.747 % |
68.51/68.56 c | 16487 | 13667 56476 169393 | 2147483647 16468 29 | 2.747 % |
69.91/69.96 c | 16826 | 13667 56476 169393 | 2147483647 16807 29 | 2.747 % |
70.41/70.47 c | 16927 | 13667 56476 169393 | 2147483647 16908 30 | 2.747 % |
70.91/70.95 c | 17038 | 13667 56476 169393 | 2147483647 17019 30 | 2.747 % |
71.41/71.50 c | 17161 | 13667 56476 169393 | 2147483647 17142 29 | 2.747 % |
72.11/72.14 c | 17294 | 13667 56476 169393 | 2147483647 17275 29 | 2.747 % |
72.71/72.79 c | 17440 | 13667 56476 169393 | 2147483647 17421 29 | 2.747 % |
73.51/73.56 c | 17600 | 13667 56476 169393 | 2147483647 17581 29 | 2.747 % |
74.31/74.40 c | 17777 | 13667 56476 169393 | 2147483647 17758 29 | 2.747 % |
75.31/75.37 c | 17971 | 13667 56476 169393 | 2147483647 17952 29 | 2.747 % |
76.41/76.51 c | 18183 | 13667 56476 169393 | 2147483647 18164 29 | 2.747 % |
77.51/77.59 c | 18416 | 13667 56476 169393 | 2147483647 18397 29 | 2.747 % |
78.91/78.92 c | 18673 | 13667 56476 169393 | 2147483647 18654 29 | 2.747 % |
79.81/79.87 c | 18954 | 13667 56476 169393 | 2147483647 18935 29 | 2.747 % |
81.41/81.42 c | 19263 | 13667 56476 169393 | 2147483647 19244 29 | 2.747 % |
83.11/83.17 c | 19602 | 13667 56476 169393 | 2147483647 19583 29 | 2.747 % |
85.01/85.07 c | 19974 | 13667 56476 169393 | 2147483647 19955 29 | 2.747 % |
85.21/85.31 c | 20074 | 13667 56476 169393 | 2147483647 20055 29 | 2.747 % |
85.71/85.80 c | 20184 | 13667 56476 169393 | 2147483647 20165 29 | 2.747 % |
86.41/86.46 c | 20305 | 13667 56476 169393 | 2147483647 20286 29 | 2.747 % |
87.01/87.03 c | 20438 | 13667 56476 169393 | 2147483647 20419 29 | 2.747 % |
87.61/87.62 c | 20586 | 13667 56476 169393 | 2147483647 20567 29 | 2.747 % |
88.21/88.31 c | 20748 | 13667 56476 169393 | 2147483647 20729 29 | 2.747 % |
89.11/89.17 c | 20925 | 13667 56476 169393 | 2147483647 20906 29 | 2.747 % |
90.21/90.26 c | 21118 | 13667 56476 169393 | 2147483647 21099 29 | 2.747 % |
91.41/91.49 c | 21331 | 13667 56476 169393 | 2147483647 21312 29 | 2.747 % |
92.81/92.90 c | 21564 | 13667 56476 169393 | 2147483647 21545 29 | 2.747 % |
94.11/94.16 c | 21821 | 13667 56476 169393 | 2147483647 21802 29 | 2.747 % |
95.51/95.60 c | 22103 | 13667 56476 169393 | 2147483647 22084 29 | 2.747 % |
97.01/97.05 c | 22413 | 13667 56476 169393 | 2147483647 22394 29 | 2.747 % |
98.61/98.62 c | 22752 | 13667 56476 169393 | 2147483647 22733 29 | 2.747 % |
100.41/100.48 c | 23125 | 13667 56476 169393 | 2147483647 23106 29 | 2.747 % |
102.32/102.38 c | 23535 | 13667 56476 169393 | 2147483647 23516 29 | 2.747 % |
102.81/102.83 c | 23637 | 13667 56476 169393 | 2147483647 23618 29 | 2.747 % |
103.31/103.35 c | 23748 | 13667 56476 169393 | 2147483647 23729 29 | 2.747 % |
103.71/103.80 c | 23869 | 13667 56476 169393 | 2147483647 23850 29 | 2.747 % |
104.21/104.29 c | 24002 | 13667 56476 169393 | 2147483647 23983 29 | 2.747 % |
104.81/104.90 c | 24148 | 13667 56476 169393 | 2147483647 24129 29 | 2.747 % |
105.62/105.66 c | 24308 | 13667 56476 169393 | 2147483647 24289 29 | 2.747 % |
106.41/106.48 c | 24484 | 13667 56476 169393 | 2147483647 24465 29 | 2.747 % |
107.31/107.32 c | 24679 | 13667 56476 169393 | 2147483647 24660 29 | 2.747 % |
108.11/108.12 c | 24891 | 13667 56476 169393 | 2147483647 24872 29 | 2.747 % |
109.21/109.24 c | 25125 | 13667 56476 169393 | 2147483647 25106 29 | 2.747 % |
110.41/110.41 c | 25382 | 13667 56476 169393 | 2147483647 25363 29 | 2.747 % |
111.71/111.76 c | 25664 | 13667 56476 169393 | 2147483647 25645 29 | 2.747 % |
113.21/113.25 c | 25974 | 13667 56476 169393 | 2147483647 25955 29 | 2.747 % |
114.61/114.70 c | 26314 | 13667 56476 169393 | 2147483647 26295 29 | 2.747 % |
116.31/116.34 c | 26686 | 13667 56476 169393 | 2147483647 26667 29 | 2.747 % |
117.80/117.89 c | 27095 | 13667 56476 169393 | 2147483647 27076 29 | 2.747 % |
119.60/119.69 c | 27544 | 13667 56476 169393 | 2147483647 27525 29 | 2.747 % |
120.10/120.12 c | 27646 | 13667 56476 169393 | 2147483647 27627 29 | 2.747 % |
120.60/120.65 c | 27757 | 13667 56476 169393 | 2147483647 27738 29 | 2.747 % |
121.10/121.13 c | 27879 | 13667 56476 169393 | 2147483647 27860 29 | 2.747 % |
121.70/121.78 c | 28013 | 13667 56476 169393 | 2147483647 27994 29 | 2.747 % |
122.20/122.27 c | 28160 | 13667 56476 169393 | 2147483647 28141 29 | 2.747 % |
122.90/122.91 c | 28321 | 13667 56476 169393 | 2147483647 28302 29 | 2.747 % |
123.50/123.55 c | 28497 | 13667 56476 169393 | 2147483647 28478 29 | 2.747 % |
124.50/124.52 c | 28691 | 13667 56476 169393 | 2147483647 28672 29 | 2.747 % |
125.20/125.23 c | 28905 | 13667 56476 169393 | 2147483647 28886 29 | 2.747 % |
126.51/126.57 c | 29139 | 13667 56476 169393 | 2147483647 29120 29 | 2.747 % |
127.80/127.87 c | 29395 | 13667 56476 169393 | 2147483647 29376 29 | 2.747 % |
129.10/129.19 c | 29677 | 13667 56476 169393 | 2147483647 29658 29 | 2.747 % |
130.50/130.51 c | 29986 | 13667 56476 169393 | 2147483647 29967 29 | 2.747 % |
132.01/132.03 c | 30325 | 13667 56476 169393 | 2147483647 30306 29 | 2.747 % |
133.40/133.41 c | 30697 | 13667 56476 169393 | 2147483647 30678 29 | 2.747 % |
135.60/135.68 c | 31107 | 13667 56476 169393 | 2147483647 31088 29 | 2.747 % |
137.90/137.92 c | 31556 | 13667 56476 169393 | 2147483647 31537 29 | 2.747 % |
140.70/140.72 c | 32050 | 13667 56476 169393 | 2147483647 32031 29 | 2.747 % |
140.90/140.99 c | 32151 | 13667 56476 169393 | 2147483647 32132 29 | 2.747 % |
141.30/141.33 c | 32262 | 13667 56476 169393 | 2147483647 32243 29 | 2.747 % |
141.50/141.54 c | 32383 | 13667 56476 169393 | 2147483647 32364 30 | 2.747 % |
142.20/142.26 c | 32516 | 13667 56476 169393 | 2147483647 32497 30 | 2.747 % |
143.01/143.10 c | 32662 | 13667 56476 169393 | 2147483647 32643 29 | 2.747 % |
144.00/144.05 c | 32822 | 13667 56476 169393 | 2147483647 32803 29 | 2.747 % |
144.70/144.79 c | 32999 | 13667 56476 169393 | 2147483647 32980 29 | 2.747 % |
145.80/145.88 c | 33192 | 13667 56476 169393 | 2147483647 33173 30 | 2.747 % |
146.90/146.94 c | 33404 | 13667 56476 169393 | 2147483647 33385 30 | 2.747 % |
148.30/148.34 c | 33638 | 13667 56476 169393 | 2147483647 33619 29 | 2.747 % |
149.50/149.57 c | 33895 | 13667 56476 169393 | 2147483647 33876 29 | 2.747 % |
151.20/151.21 c | 34176 | 13667 56476 169393 | 2147483647 34157 29 | 2.747 % |
152.61/152.64 c | 34485 | 13667 56476 169393 | 2147483647 34466 29 | 2.747 % |
154.51/154.51 c | 34824 | 13667 56476 169393 | 2147483647 34805 29 | 2.747 % |
156.31/156.38 c | 35196 | 13667 56476 169393 | 2147483647 35177 29 | 2.747 % |
158.11/158.18 c | 35608 | 13667 56476 169393 | 2147483647 35589 30 | 2.747 % |
160.61/160.67 c | 36059 | 13667 56476 169393 | 2147483647 36040 30 | 2.747 % |
162.61/162.69 c | 36552 | 13667 56476 169393 | 2147483647 36533 30 | 2.747 % |
165.21/165.25 c | 37094 | 13667 56476 169393 | 2147483647 37075 30 | 2.747 % |
165.61/165.69 c | 37194 | 13667 56476 169393 | 2147483647 37175 30 | 2.747 % |
166.01/166.06 c | 37306 | 13667 56476 169393 | 2147483647 37287 30 | 2.747 % |
166.71/166.73 c | 37427 | 13667 56476 169393 | 2147483647 37408 30 | 2.747 % |
167.31/167.39 c | 37560 | 13667 56476 169393 | 2147483647 37541 30 | 2.747 % |
168.21/168.28 c | 37706 | 13667 56476 169393 | 2147483647 37687 30 | 2.747 % |
169.11/169.12 c | 37867 | 13667 56476 169393 | 2147483647 37848 30 | 2.747 % |
170.01/170.08 c | 38045 | 13667 56476 169393 | 2147483647 38026 30 | 2.747 % |
171.11/171.12 c | 38238 | 13667 56476 169393 | 2147483647 38219 30 | 2.747 % |
172.31/172.40 c | 38450 | 13667 56476 169393 | 2147483647 38431 30 | 2.747 % |
173.61/173.70 c | 38683 | 13667 56476 169393 | 2147483647 38664 30 | 2.747 % |
175.01/175.09 c | 38940 | 13667 56476 169393 | 2147483647 38921 30 | 2.747 % |
176.71/176.74 c | 39222 | 13667 56476 169393 | 2147483647 39203 30 | 2.747 % |
178.41/178.43 c | 39532 | 13667 56476 169393 | 2147483647 39513 30 | 2.747 % |
180.41/180.43 c | 39871 | 13667 56476 169393 | 2147483647 39852 30 | 2.747 % |
182.71/182.77 c | 40244 | 13667 56476 169393 | 2147483647 40225 30 | 2.747 % |
185.21/185.28 c | 40653 | 13667 56476 169393 | 2147483647 40634 29 | 2.747 % |
187.81/187.83 c | 41105 | 13667 56476 169393 | 2147483647 41086 29 | 2.747 % |
190.41/190.47 c | 41599 | 13667 56476 169393 | 2147483647 41580 30 | 2.747 % |
193.61/193.70 c | 42141 | 13667 56476 169393 | 2147483647 42122 29 | 2.747 % |
197.21/197.24 c | 42737 | 13667 56476 169393 | 2147483647 42718 29 | 2.747 % |
197.81/197.87 c | 42837 | 13667 56476 169393 | 2147483647 42818 29 | 2.747 % |
198.11/198.19 c | 42947 | 13667 56476 169393 | 2147483647 42928 30 | 2.747 % |
198.61/198.68 c | 43068 | 13667 56476 169393 | 2147483647 43049 30 | 2.747 % |
199.41/199.43 c | 43202 | 13667 56476 169393 | 2147483647 43183 30 | 2.747 % |
199.81/199.89 c | 43349 | 13667 56476 169393 | 2147483647 43330 30 | 2.747 % |
200.71/200.73 c | 43510 | 13667 56476 169393 | 2147483647 43491 30 | 2.747 % |
201.41/201.48 c | 43687 | 13667 56476 169393 | 2147483647 43668 30 | 2.747 % |
202.61/202.62 c | 43881 | 13667 56476 169393 | 2147483647 43862 30 | 2.747 % |
203.71/203.77 c | 44094 | 13667 56476 169393 | 2147483647 44075 30 | 2.747 % |
205.01/205.10 c | 44327 | 13667 56476 169393 | 2147483647 44308 30 | 2.747 % |
206.31/206.39 c | 44585 | 13667 56476 169393 | 2147483647 44566 30 | 2.747 % |
208.01/208.09 c | 44866 | 13667 56476 169393 | 2147483647 44847 30 | 2.747 % |
209.81/209.83 c | 45176 | 13667 56476 169393 | 2147483647 45157 30 | 2.747 % |
211.51/211.60 c | 45516 | 13667 56476 169393 | 2147483647 45497 30 | 2.747 % |
213.31/213.36 c | 45888 | 13667 56476 169393 | 2147483647 45869 30 | 2.747 % |
215.51/215.56 c | 46299 | 13667 56476 169393 | 2147483647 46280 30 | 2.747 % |
216.91/216.96 c | 46748 | 13667 56476 169393 | 2147483647 46729 30 | 2.747 % |
219.61/219.70 c | 47242 | 13667 56476 169393 | 2147483647 47223 30 | 2.747 % |
222.31/222.32 c | 47784 | 13667 56476 169393 | 2147483647 47765 30 | 2.747 % |
226.11/226.14 c | 48381 | 13667 56476 169393 | 2147483647 48362 30 | 2.747 % |
229.92/229.97 c | 49037 | 13667 56476 169393 | 2147483647 49018 30 | 2.747 % |
230.61/230.61 c | 49137 | 13667 56476 169393 | 2147483647 49118 30 | 2.747 % |
231.21/231.22 c | 49247 | 13667 56476 169393 | 2147483647 49228 30 | 2.747 % |
231.81/231.89 c | 49368 | 13667 56476 169393 | 2147483647 49349 30 | 2.747 % |
232.51/232.51 c | 49502 | 13667 56476 169393 | 2147483647 49483 30 | 2.747 % |
233.41/233.46 c | 49648 | 13667 56476 169393 | 2147483647 49629 30 | 2.747 % |
234.51/234.58 c | 49809 | 13667 56476 169393 | 2147483647 49790 30 | 2.747 % |
235.81/235.88 c | 49987 | 13667 56476 169393 | 2147483647 49968 30 | 2.747 % |
236.81/236.88 c | 50181 | 13667 56476 169393 | 2147483647 50162 30 | 2.747 % |
238.01/238.06 c | 50393 | 13667 56476 169393 | 2147483647 50374 30 | 2.747 % |
239.31/239.37 c | 50627 | 13667 56476 169393 | 2147483647 50608 30 | 2.747 % |
240.81/240.85 c | 50883 | 13667 56476 169393 | 2147483647 50864 30 | 2.747 % |
242.41/242.47 c | 51165 | 13667 56476 169393 | 2147483647 51146 30 | 2.747 % |
244.31/244.37 c | 51474 | 13667 56476 169393 | 2147483647 51455 30 | 2.747 % |
246.11/246.15 c | 51813 | 13667 56476 169393 | 2147483647 51794 30 | 2.747 % |
248.31/248.34 c | 52185 | 13667 56476 169393 | 2147483647 52166 30 | 2.747 % |
250.91/250.95 c | 52595 | 13667 56476 169393 | 2147483647 52576 30 | 2.747 % |
253.11/253.13 c | 53044 | 13667 56476 169393 | 2147483647 53025 30 | 2.747 % |
256.01/256.01 c | 53538 | 13667 56476 169393 | 2147483647 53519 30 | 2.747 % |
259.31/259.37 c | 54081 | 13667 56476 169393 | 2147483647 54062 30 | 2.747 % |
263.01/263.06 c | 54678 | 13667 56476 169393 | 2147483647 54659 30 | 2.747 % |
266.91/266.92 c | 55334 | 13667 56476 169393 | 2147483647 55315 30 | 2.747 % |
271.01/271.07 c | 56055 | 13667 56476 169393 | 2147483647 56036 30 | 2.747 % |
271.72/271.77 c | 56157 | 13667 56476 169393 | 2147483647 56138 30 | 2.747 % |
272.51/272.50 c | 56267 | 13667 56476 169393 | 2147483647 56248 30 | 2.747 % |
273.31/273.32 c | 56389 | 13667 56476 169393 | 2147483647 56370 30 | 2.747 % |
274.11/274.15 c | 56523 | 13667 56476 169393 | 2147483647 56504 30 | 2.747 % |
274.81/274.89 c | 56669 | 13667 56476 169393 | 2147483647 56650 30 | 2.747 % |
275.81/275.81 c | 56830 | 13667 56476 169393 | 2147483647 56811 30 | 2.747 % |
276.61/276.64 c | 57006 | 13667 56476 169393 | 2147483647 56987 30 | 2.747 % |
277.81/277.85 c | 57199 | 13667 56476 169393 | 2147483647 57180 30 | 2.747 % |
279.22/279.23 c | 57411 | 13667 56476 169393 | 2147483647 57392 30 | 2.747 % |
280.62/280.65 c | 57644 | 13667 56476 169393 | 2147483647 57625 30 | 2.747 % |
281.82/281.89 c | 57900 | 13667 56476 169393 | 2147483647 57881 30 | 2.747 % |
283.62/283.61 c | 58181 | 13667 56476 169393 | 2147483647 58162 30 | 2.747 % |
285.22/285.29 c | 58492 | 13667 56476 169393 | 2147483647 58473 30 | 2.747 % |
286.32/286.35 c | 58831 | 13667 56476 169393 | 2147483647 58812 30 | 2.747 % |
288.62/288.67 c | 59205 | 13667 56476 169393 | 2147483647 59186 30 | 2.747 % |
291.02/291.04 c | 59615 | 13667 56476 169393 | 2147483647 59596 30 | 2.747 % |
293.72/293.76 c | 60064 | 13667 56476 169393 | 2147483647 60045 31 | 2.747 % |
296.12/296.15 c | 60558 | 13667 56476 169393 | 2147483647 60539 31 | 2.747 % |
299.82/299.84 c | 61100 | 13667 56476 169393 | 2147483647 61081 31 | 2.747 % |
303.32/303.40 c | 61696 | 13667 56476 169393 | 2147483647 61677 31 | 2.747 % |
307.42/307.50 c | 62352 | 13667 56476 169393 | 2147483647 62333 31 | 2.747 % |
311.82/311.84 c | 63073 | 13667 56476 169393 | 2147483647 63054 31 | 2.747 % |
316.62/316.66 c | 63865 | 13667 56476 169393 | 2147483647 63846 31 | 2.747 % |
317.12/317.17 c | 63966 | 13667 56476 169393 | 2147483647 63947 31 | 2.747 % |
317.82/317.89 c | 64076 | 13667 56476 169393 | 2147483647 64057 31 | 2.747 % |
318.62/318.70 c | 64198 | 13667 56476 169393 | 2147483647 64179 31 | 2.747 % |
319.32/319.35 c | 64331 | 13667 56476 169393 | 2147483647 64312 31 | 2.747 % |
320.32/320.34 c | 64480 | 13667 56476 169393 | 2147483647 64461 31 | 2.747 % |
321.22/321.30 c | 64642 | 13667 56476 169393 | 2147483647 64623 31 | 2.747 % |
322.32/322.38 c | 64819 | 13667 56476 169393 | 2147483647 64800 31 | 2.747 % |
323.42/323.43 c | 65012 | 13667 56476 169393 | 2147483647 64993 31 | 2.747 % |
324.72/324.72 c | 65224 | 13667 56476 169393 | 2147483647 65205 31 | 2.747 % |
326.22/326.29 c | 65458 | 13667 56476 169393 | 2147483647 65439 31 | 2.747 % |
327.92/327.91 c | 65715 | 13667 56476 169393 | 2147483647 65696 31 | 2.747 % |
329.52/329.58 c | 65996 | 13667 56476 169393 | 2147483647 65977 31 | 2.747 % |
331.42/331.48 c | 66305 | 13667 56476 169393 | 2147483647 66286 31 | 2.747 % |
333.32/333.32 c | 66644 | 13667 56476 169393 | 2147483647 66625 31 | 2.747 % |
335.22/335.22 c | 67016 | 13667 56476 169393 | 2147483647 66997 31 | 2.747 % |
338.22/338.21 c | 67425 | 13667 56476 169393 | 2147483647 67406 31 | 2.747 % |
340.62/340.68 c | 67875 | 13667 56476 169393 | 2147483647 67856 31 | 2.747 % |
343.92/343.95 c | 68368 | 13667 56476 169393 | 2147483647 68349 31 | 2.747 % |
347.62/347.69 c | 68911 | 13667 56476 169393 | 2147483647 68892 31 | 2.747 % |
351.12/351.21 c | 69507 | 13667 56476 169393 | 2147483647 69488 31 | 2.747 % |
355.92/355.99 c | 70163 | 13667 56476 169393 | 2147483647 70144 31 | 2.747 % |
360.02/360.07 c | 70885 | 13667 56476 169393 | 2147483647 70866 31 | 2.747 % |
365.02/365.05 c | 71678 | 13667 56476 169393 | 2147483647 71659 31 | 2.747 % |
370.42/370.41 c | 72549 | 13667 56476 169393 | 2147483647 72530 31 | 2.747 % |
371.02/371.04 c | 72649 | 13667 56476 169393 | 2147483647 72630 31 | 2.747 % |
371.72/371.79 c | 72760 | 13667 56476 169393 | 2147483647 72741 31 | 2.747 % |
372.62/372.70 c | 72882 | 13667 56476 169393 | 2147483647 72863 31 | 2.747 % |
373.52/373.58 c | 73015 | 13667 56476 169393 | 2147483647 72996 31 | 2.747 % |
374.62/374.61 c | 73161 | 13667 56476 169393 | 2147483647 73142 31 | 2.747 % |
375.72/375.76 c | 73322 | 13667 56476 169393 | 2147483647 73303 31 | 2.747 % |
377.02/377.03 c | 73499 | 13667 56476 169393 | 2147483647 73480 31 | 2.747 % |
378.32/378.40 c | 73693 | 13667 56476 169393 | 2147483647 73674 31 | 2.747 % |
379.92/379.93 c | 73905 | 13667 56476 169393 | 2147483647 73886 31 | 2.747 % |
381.62/381.71 c | 74138 | 13667 56476 169393 | 2147483647 74119 31 | 2.747 % |
383.32/383.38 c | 74394 | 13667 56476 169393 | 2147483647 74375 31 | 2.747 % |
385.12/385.18 c | 74676 | 13667 56476 169393 | 2147483647 74657 31 | 2.747 % |
387.23/387.28 c | 74987 | 13667 56476 169393 | 2147483647 74968 31 | 2.747 % |
389.82/389.81 c | 75327 | 13667 56476 169393 | 2147483647 75308 31 | 2.747 % |
392.62/392.68 c | 75699 | 13667 56476 169393 | 2147483647 75680 31 | 2.747 % |
394.32/394.38 c | 76108 | 13667 56476 169393 | 2147483647 76089 31 | 2.747 % |
397.13/397.14 c | 76557 | 13667 56476 169393 | 2147483647 76538 31 | 2.747 % |
400.62/400.61 c | 77051 | 13667 56476 169393 | 2147483647 77032 31 | 2.747 % |
404.22/404.29 c | 77595 | 13667 56476 169393 | 2147483647 77576 31 | 2.747 % |
408.63/408.71 c | 78193 | 13667 56476 169393 | 2147483647 78174 31 | 2.747 % |
413.63/413.69 c | 78848 | 13667 56476 169393 | 2147483647 78829 31 | 2.747 % |
418.83/418.89 c | 79569 | 13667 56476 169393 | 2147483647 79550 31 | 2.747 % |
424.43/424.50 c | 80361 | 13667 56476 169393 | 2147483647 80342 31 | 2.747 % |
429.63/429.66 c | 81232 | 13667 56476 169393 | 2147483647 81213 31 | 2.747 % |
436.33/436.33 c | 82190 | 13667 56476 169393 | 2147483647 82171 31 | 2.747 % |
437.03/437.03 c | 82290 | 13667 56476 169393 | 2147483647 82271 31 | 2.747 % |
437.63/437.64 c | 82400 | 13667 56476 169393 | 2147483647 82381 31 | 2.747 % |
438.53/438.52 c | 82522 | 13667 56476 169393 | 2147483647 82503 31 | 2.747 % |
439.53/439.53 c | 82657 | 13667 56476 169393 | 2147483647 82638 31 | 2.747 % |
440.43/440.44 c | 82803 | 13667 56476 169393 | 2147483647 82784 31 | 2.747 % |
441.43/441.50 c | 82963 | 13667 56476 169393 | 2147483647 82944 31 | 2.747 % |
442.73/442.77 c | 83139 | 13667 56476 169393 | 2147483647 83120 31 | 2.747 % |
444.13/444.18 c | 83332 | 13667 56476 169393 | 2147483647 83313 31 | 2.747 % |
445.53/445.56 c | 83546 | 13667 56476 169393 | 2147483647 83527 31 | 2.747 % |
447.33/447.37 c | 83780 | 13667 56476 169393 | 2147483647 83761 31 | 2.747 % |
448.83/448.87 c | 84036 | 13667 56476 169393 | 2147483647 84017 31 | 2.747 % |
450.83/450.83 c | 84318 | 13667 56476 169393 | 2147483647 84299 31 | 2.747 % |
452.93/452.99 c | 84628 | 13667 56476 169393 | 2147483647 84609 31 | 2.747 % |
454.93/454.96 c | 84968 | 13667 56476 169393 | 2147483647 84949 31 | 2.747 % |
457.53/457.56 c | 85341 | 13667 56476 169393 | 2147483647 85322 31 | 2.747 % |
459.83/459.88 c | 85750 | 13667 56476 169393 | 2147483647 85731 31 | 2.747 % |
462.83/462.89 c | 86200 | 13667 56476 169393 | 2147483647 86181 31 | 2.747 % |
466.03/466.07 c | 86694 | 13667 56476 169393 | 2147483647 86675 31 | 2.747 % |
469.53/469.61 c | 87236 | 13667 56476 169393 | 2147483647 87217 31 | 2.747 % |
473.63/473.67 c | 87832 | 13667 56476 169393 | 2147483647 87813 31 | 2.747 % |
478.92/478.95 c | 88487 | 13667 56476 169393 | 2147483647 88468 31 | 2.747 % |
484.22/484.27 c | 89208 | 13667 56476 169393 | 2147483647 89189 31 | 2.747 % |
488.43/488.42 c | 90001 | 13667 56476 169393 | 2147483647 89982 31 | 2.747 % |
493.72/493.80 c | 90874 | 13667 56476 169393 | 2147483647 90855 31 | 2.747 % |
501.02/501.06 c | 91832 | 13667 56476 169393 | 2147483647 91813 31 | 2.747 % |
508.42/508.41 c | 92885 | 13667 56476 169393 | 2147483647 92866 31 | 2.747 % |
509.12/509.20 c | 92986 | 13667 56476 169393 | 2147483647 92967 31 | 2.747 % |
510.12/510.13 c | 93096 | 13667 56476 169393 | 2147483647 93077 31 | 2.747 % |
511.02/511.01 c | 93219 | 13667 56476 169393 | 2147483647 93200 31 | 2.747 % |
511.92/511.95 c | 93352 | 13667 56476 169393 | 2147483647 93333 31 | 2.747 % |
513.32/513.30 c | 93499 | 13667 56476 169393 | 2147483647 93480 31 | 2.747 % |
514.52/514.51 c | 93660 | 13667 56476 169393 | 2147483647 93641 31 | 2.747 % |
515.72/515.80 c | 93836 | 13667 56476 169393 | 2147483647 93817 31 | 2.747 % |
517.22/517.24 c | 94030 | 13667 56476 169393 | 2147483647 94011 31 | 2.747 % |
518.92/518.94 c | 94242 | 13667 56476 169393 | 2147483647 94223 31 | 2.747 % |
520.52/520.51 c | 94475 | 13667 56476 169393 | 2147483647 94456 31 | 2.747 % |
522.53/522.51 c | 94733 | 13667 56476 169393 | 2147483647 94714 31 | 2.747 % |
524.52/524.54 c | 95015 | 13667 56476 169393 | 2147483647 94996 31 | 2.747 % |
526.93/526.96 c | 95324 | 13667 56476 169393 | 2147483647 95305 31 | 2.747 % |
529.62/529.62 c | 95664 | 13667 56476 169393 | 2147483647 95645 31 | 2.747 % |
532.32/532.35 c | 96037 | 13667 56476 169393 | 2147483647 96018 31 | 2.747 % |
535.53/535.55 c | 96446 | 13667 56476 169393 | 2147483647 96427 31 | 2.747 % |
538.83/538.89 c | 96896 | 13667 56476 169393 | 2147483647 96877 31 | 2.747 % |
542.63/542.61 c | 97389 | 13667 56476 169393 | 2147483647 97370 31 | 2.747 % |
546.83/546.88 c | 97933 | 13667 56476 169393 | 2147483647 97914 31 | 2.747 % |
551.23/551.26 c | 98529 | 13667 56476 169393 | 2147483647 98510 31 | 2.747 % |
555.73/555.73 c | 99184 | 13667 56476 169393 | 2147483647 99165 31 | 2.747 % |
561.03/561.07 c | 99904 | 13667 56476 169393 | 2147483647 99885 31 | 2.747 % |
567.23/567.23 c | 100697 | 13667 56476 169393 | 2147483647 100678 31 | 2.747 % |
574.03/574.05 c | 101569 | 13667 56476 169393 | 2147483647 101550 31 | 2.747 % |
581.53/581.57 c | 102527 | 13667 56476 169393 | 2147483647 102508 31 | 2.747 % |
590.03/590.09 c | 103581 | 13667 56476 169393 | 2147483647 103562 31 | 2.747 % |
598.93/598.97 c | 104740 | 13667 56476 169393 | 2147483647 104721 31 | 2.747 % |
599.33/599.40 c | 104840 | 13667 56476 169393 | 2147483647 104821 31 | 2.747 % |
600.23/600.22 c | 104950 | 13667 56476 169393 | 2147483647 104931 31 | 2.747 % |
601.13/601.11 c | 105072 | 13667 56476 169393 | 2147483647 105053 31 | 2.747 % |
602.03/602.09 c | 105205 | 13667 56476 169393 | 2147483647 105186 31 | 2.747 % |
603.43/603.43 c | 105351 | 13667 56476 169393 | 2147483647 105332 31 | 2.747 % |
604.63/604.70 c | 105513 | 13667 56476 169393 | 2147483647 105494 31 | 2.747 % |
606.23/606.21 c | 105689 | 13667 56476 169393 | 2147483647 105670 31 | 2.747 % |
607.83/607.82 c | 105882 | 13667 56476 169393 | 2147483647 105863 31 | 2.747 % |
609.63/609.68 c | 106094 | 13667 56476 169393 | 2147483647 106075 31 | 2.747 % |
611.64/611.63 c | 106328 | 13667 56476 169393 | 2147483647 106309 31 | 2.747 % |
613.73/613.78 c | 106585 | 13667 56476 169393 | 2147483647 106566 31 | 2.747 % |
616.13/616.16 c | 106867 | 13667 56476 169393 | 2147483647 106848 31 | 2.747 % |
618.73/618.79 c | 107176 | 13667 56476 169393 | 2147483647 107157 31 | 2.747 % |
621.63/621.62 c | 107515 | 13667 56476 169393 | 2147483647 107496 31 | 2.747 % |
624.84/624.82 c | 107887 | 13667 56476 169393 | 2147483647 107868 31 | 2.747 % |
627.83/627.89 c | 108297 | 13667 56476 169393 | 2147483647 108278 31 | 2.747 % |
631.93/631.91 c | 108746 | 13667 56476 169393 | 2147483647 108727 31 | 2.747 % |
635.63/635.64 c | 109239 | 13667 56476 169393 | 2147483647 109220 31 | 2.747 % |
638.04/638.07 c | 109781 | 13667 56476 169393 | 2147483647 109762 31 | 2.747 % |
641.13/641.20 c | 110377 | 13667 56476 169393 | 2147483647 110358 31 | 2.747 % |
644.43/644.43 c | 111033 | 13667 56476 169393 | 2147483647 111014 31 | 2.747 % |
649.93/649.90 c | 111754 | 13667 56476 169393 | 2147483647 111735 31 | 2.747 % |
655.93/655.99 c | 112546 | 13667 56476 169393 | 2147483647 112527 31 | 2.747 % |
662.84/662.84 c | 113418 | 13667 56476 169393 | 2147483647 113399 31 | 2.747 % |
670.44/670.47 c | 114377 | 13667 56476 169393 | 2147483647 114358 31 | 2.747 % |
679.44/679.49 c | 115431 | 13667 56476 169393 | 2147483647 115412 31 | 2.747 % |
689.14/689.12 c | 116589 | 13667 56476 169393 | 2147483647 116570 31 | 2.747 % |
698.54/698.59 c | 117862 | 13667 56476 169393 | 2147483647 117843 31 | 2.747 % |
699.44/699.45 c | 117962 | 13667 56476 169393 | 2147483647 117943 31 | 2.747 % |
700.34/700.34 c | 118072 | 13667 56476 169393 | 2147483647 118053 31 | 2.747 % |
701.24/701.30 c | 118194 | 13667 56476 169393 | 2147483647 118175 31 | 2.747 % |
702.44/702.41 c | 118327 | 13667 56476 169393 | 2147483647 118308 31 | 2.747 % |
702.74/702.79 c | 118473 | 13667 56476 169393 | 2147483647 118454 31 | 2.747 % |
703.84/703.90 c | 118633 | 13667 56476 169393 | 2147483647 118614 31 | 2.747 % |
705.34/705.39 c | 118809 | 13667 56476 169393 | 2147483647 118790 31 | 2.747 % |
706.84/706.86 c | 119002 | 13667 56476 169393 | 2147483647 118983 31 | 2.747 % |
708.74/708.76 c | 119214 | 13667 56476 169393 | 2147483647 119195 31 | 2.747 % |
710.34/710.40 c | 119448 | 13667 56476 169393 | 2147483647 119429 31 | 2.747 % |
712.04/712.07 c | 119705 | 13667 56476 169393 | 2147483647 119686 31 | 2.747 % |
714.44/714.47 c | 119987 | 13667 56476 169393 | 2147483647 119968 31 | 2.747 % |
716.64/716.61 c | 120297 | 13667 56476 169393 | 2147483647 120278 31 | 2.747 % |
718.94/718.94 c | 120637 | 13667 56476 169393 | 2147483647 120618 31 | 2.747 % |
722.14/722.19 c | 121009 | 13667 56476 169393 | 2147483647 120990 31 | 2.747 % |
725.54/725.60 c | 121418 | 13667 56476 169393 | 2147483647 121399 31 | 2.747 % |
729.54/729.54 c | 121868 | 13667 56476 169393 | 2147483647 121849 31 | 2.747 % |
733.54/733.55 c | 122361 | 13667 56476 169393 | 2147483647 122342 31 | 2.747 % |
738.04/738.01 c | 122903 | 13667 56476 169393 | 2147483647 122884 31 | 2.747 % |
743.14/743.20 c | 123500 | 13667 56476 169393 | 2147483647 123481 31 | 2.747 % |
748.84/748.89 c | 124155 | 13667 56476 169393 | 2147483647 124136 31 | 2.747 % |
755.44/755.49 c | 124875 | 13667 56476 169393 | 2147483647 124856 31 | 2.747 % |
761.54/761.57 c | 125668 | 13667 56476 169393 | 2147483647 125649 31 | 2.747 % |
768.24/768.28 c | 126539 | 13667 56476 169393 | 2147483647 126520 31 | 2.747 % |
776.84/776.85 c | 127498 | 13667 56476 169393 | 2147483647 127479 31 | 2.747 % |
785.54/785.59 c | 128553 | 13667 56476 169393 | 2147483647 128534 31 | 2.747 % |
795.75/795.79 c | 129711 | 13667 56476 169393 | 2147483647 129692 31 | 2.747 % |
806.15/806.16 c | 130985 | 13667 56476 169393 | 2147483647 130966 31 | 2.747 % |
817.65/817.69 c | 132385 | 13667 56476 169393 | 2147483647 132366 30 | 2.747 % |
818.55/818.56 c | 132485 | 13667 56476 169393 | 2147483647 132466 30 | 2.747 % |
819.55/819.53 c | 132596 | 13667 56476 169393 | 2147483647 132577 30 | 2.747 % |
820.75/820.72 c | 132718 | 13667 56476 169393 | 2147483647 132699 30 | 2.747 % |
821.95/822.00 c | 132852 | 13667 56476 169393 | 2147483647 132833 30 | 2.747 % |
823.35/823.38 c | 132998 | 13667 56476 169393 | 2147483647 132979 30 | 2.747 % |
824.85/824.81 c | 133159 | 13667 56476 169393 | 2147483647 133140 30 | 2.747 % |
826.35/826.39 c | 133336 | 13667 56476 169393 | 2147483647 133317 30 | 2.747 % |
828.25/828.26 c | 133529 | 13667 56476 169393 | 2147483647 133510 30 | 2.747 % |
829.55/829.55 c | 133741 | 13667 56476 169393 | 2147483647 133722 30 | 2.747 % |
831.15/831.11 c | 133974 | 13667 56476 169393 | 2147483647 133955 30 | 2.747 % |
833.34/833.40 c | 134232 | 13667 56476 169393 | 2147483647 134213 30 | 2.747 % |
834.84/834.88 c | 134513 | 13667 56476 169393 | 2147483647 134494 31 | 2.747 % |
838.04/838.08 c | 134823 | 13667 56476 169393 | 2147483647 134804 31 | 2.747 % |
841.34/841.33 c | 135164 | 13667 56476 169393 | 2147483647 135145 31 | 2.747 % |
844.54/844.59 c | 135537 | 13667 56476 169393 | 2147483647 135518 31 | 2.747 % |
848.44/848.42 c | 135946 | 13667 56476 169393 | 2147483647 135927 31 | 2.747 % |
852.44/852.44 c | 136395 | 13667 56476 169393 | 2147483647 136376 31 | 2.747 % |
857.14/857.14 c | 136888 | 13667 56476 169393 | 2147483647 136869 31 | 2.747 % |
862.14/862.16 c | 137430 | 13667 56476 169393 | 2147483647 137411 31 | 2.747 % |
866.85/866.82 c | 138026 | 13667 56476 169393 | 2147483647 138007 31 | 2.747 % |
873.34/873.36 c | 138681 | 13667 56476 169393 | 2147483647 138662 31 | 2.747 % |
880.24/880.24 c | 139401 | 13667 56476 169393 | 2147483647 139382 31 | 2.747 % |
887.44/887.45 c | 140193 | 13667 56476 169393 | 2147483647 140174 31 | 2.747 % |
895.14/895.13 c | 141064 | 13667 56476 169393 | 2147483647 141045 31 | 2.747 % |
904.25/904.26 c | 142022 | 13667 56476 169393 | 2147483647 142003 31 | 2.747 % |
913.25/913.24 c | 143076 | 13667 56476 169393 | 2147483647 143057 31 | 2.747 % |
924.05/924.03 c | 144235 | 13667 56476 169393 | 2147483647 144216 31 | 2.747 % |
936.15/936.15 c | 145508 | 13667 56476 169393 | 2147483647 145489 30 | 2.747 % |
949.66/949.62 c | 146908 | 13667 56476 169393 | 2147483647 146889 30 | 2.747 % |
962.46/962.43 c | 148448 | 13667 56476 169393 | 2147483647 148429 30 | 2.747 % |
963.26/963.29 c | 148548 | 13667 56476 169393 | 2147483647 148529 30 | 2.747 % |
964.36/964.35 c | 148658 | 13667 56476 169393 | 2147483647 148639 30 | 2.747 % |
965.46/965.48 c | 148779 | 13667 56476 169393 | 2147483647 148760 30 | 2.747 % |
966.76/966.76 c | 148912 | 13667 56476 169393 | 2147483647 148893 30 | 2.747 % |
967.96/967.98 c | 149058 | 13667 56476 169393 | 2147483647 149039 30 | 2.747 % |
969.46/969.45 c | 149219 | 13667 56476 169393 | 2147483647 149200 30 | 2.747 % |
971.16/971.21 c | 149396 | 13667 56476 169393 | 2147483647 149377 30 | 2.747 % |
973.16/973.19 c | 149590 | 13667 56476 169393 | 2147483647 149571 30 | 2.747 % |
975.26/975.27 c | 149803 | 13667 56476 169393 | 2147483647 149784 30 | 2.747 % |
977.56/977.57 c | 150036 | 13667 56476 169393 | 2147483647 150017 30 | 2.747 % |
980.06/980.03 c | 150294 | 13667 56476 169393 | 2147483647 150275 30 | 2.747 % |
982.26/982.22 c | 150575 | 13667 56476 169393 | 2147483647 150556 30 | 2.747 % |
985.16/985.21 c | 150886 | 13667 56476 169393 | 2147483647 150867 30 | 2.747 % |
987.87/987.85 c | 151225 | 13667 56476 169393 | 2147483647 151206 30 | 2.747 % |
991.66/991.70 c | 151597 | 13667 56476 169393 | 2147483647 151578 30 | 2.747 % |
995.57/995.59 c | 152007 | 13667 56476 169393 | 2147483647 151988 30 | 2.747 % |
999.97/999.98 c | 152456 | 13667 56476 169393 | 2147483647 152437 30 | 2.747 % |
1004.76/1004.73 c | 152950 | 13667 56476 169393 | 2147483647 152931 30 | 2.747 % |
1010.16/1010.18 c | 153492 | 13667 56476 169393 | 2147483647 153473 30 | 2.747 % |
1016.26/1016.21 c | 154088 | 13667 56476 169393 | 2147483647 154069 30 | 2.747 % |
1022.36/1022.39 c | 154743 | 13667 56476 169393 | 2147483647 154724 30 | 2.747 % |
1028.76/1028.73 c | 155464 | 13667 56476 169393 | 2147483647 155445 30 | 2.747 % |
1035.96/1035.92 c | 156258 | 13667 56476 169393 | 2147483647 156239 30 | 2.747 % |
1043.27/1043.29 c | 157130 | 13667 56476 169393 | 2147483647 157111 30 | 2.747 % |
1052.47/1052.51 c | 158089 | 13667 56476 169393 | 2147483647 158070 30 | 2.747 % |
1063.07/1063.08 c | 159144 | 13667 56476 169393 | 2147483647 159125 30 | 2.747 % |
1074.27/1074.29 c | 160302 | 13667 56476 169393 | 2147483647 160283 30 | 2.747 % |
1087.37/1087.33 c | 161575 | 13667 56476 169393 | 2147483647 161556 30 | 2.747 % |
1100.67/1100.63 c | 162975 | 13667 56476 169393 | 2147483647 162956 30 | 2.747 % |
1115.67/1115.65 c | 164515 | 13667 56476 169393 | 2147483647 164496 30 | 2.747 % |
1131.27/1131.31 c | 166209 | 13667 56476 169393 | 2147483647 166190 30 | 2.747 % |
1132.27/1132.30 c | 166309 | 13667 56476 169393 | 2147483647 166290 30 | 2.747 % |
1133.57/1133.56 c | 166420 | 13667 56476 169393 | 2147483647 166401 30 | 2.747 % |
1134.97/1134.93 c | 166541 | 13667 56476 169393 | 2147483647 166522 30 | 2.747 % |
1136.38/1136.37 c | 166675 | 13667 56476 169393 | 2147483647 166656 30 | 2.747 % |
1137.67/1137.66 c | 166821 | 13667 56476 169393 | 2147483647 166802 30 | 2.747 % |
1139.27/1139.25 c | 166981 | 13667 56476 169393 | 2147483647 166962 30 | 2.747 % |
1141.17/1141.14 c | 167157 | 13667 56476 169393 | 2147483647 167138 30 | 2.747 % |
1142.98/1142.96 c | 167351 | 13667 56476 169393 | 2147483647 167332 30 | 2.747 % |
1145.27/1145.25 c | 167563 | 13667 56476 169393 | 2147483647 167544 30 | 2.747 % |
1147.87/1147.85 c | 167796 | 13667 56476 169393 | 2147483647 167777 30 | 2.747 % |
1150.47/1150.50 c | 168053 | 13667 56476 169393 | 2147483647 168034 30 | 2.747 % |
1153.27/1153.21 c | 168334 | 13667 56476 169393 | 2147483647 168315 30 | 2.747 % |
1155.97/1155.98 c | 168644 | 13667 56476 169393 | 2147483647 168625 30 | 2.747 % |
1157.67/1157.66 c | 168984 | 13667 56476 169393 | 2147483647 168965 30 | 2.747 % |
1161.37/1161.37 c | 169356 | 13667 56476 169393 | 2147483647 169337 30 | 2.747 % |
1165.77/1165.78 c | 169765 | 13667 56476 169393 | 2147483647 169746 30 | 2.747 % |
1170.48/1170.50 c | 170214 | 13667 56476 169393 | 2147483647 170195 30 | 2.747 % |
1175.38/1175.35 c | 170708 | 13667 56476 169393 | 2147483647 170689 30 | 2.747 % |
1180.78/1180.76 c | 171251 | 13667 56476 169393 | 2147483647 171232 30 | 2.747 % |
1186.78/1186.82 c | 171849 | 13667 56476 169393 | 2147483647 171830 30 | 2.747 % |
1193.77/1193.72 c | 172505 | 13667 56476 169393 | 2147483647 172486 30 | 2.747 % |
1200.07/1200.02 HOME/SatELiteGTI: line 36: 20206 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-1821178-1242514797/watcher-1821178-1242514797 -o /tmp/evaluation-result-1821178-1242514797/solver-1821178-1242514797 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821178-1242514797.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.01 1.00 2/96 20200
/proc/meminfo: memFree=951324/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2416 CPUtime=0.01
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 367 646 0 0 0 0 1 0 18 0 1 0 1015978015 2473984 277 4294967295 134512640 135169312 3212913504 3212912040 3085172462 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20200/statm: 604 277 235 161 0 43 0
[pid=20204] ppid=20200 vsize=956 CPUtime=0
/proc/20204/stat : 20204 (SatELite_releas) R 20200 20200 11066 0 -1 4202496 141 0 0 0 0 0 0 0 20 0 1 0 1015978015 978944 78 4294967295 134512640 135223648 3215666672 3215665268 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20204/statm: 239 81 45 174 0 64 0
[startup+0.022943 s]
/proc/loadavg: 1.00 1.01 1.00 2/96 20200
/proc/meminfo: memFree=951324/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2416 CPUtime=0.01
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 367 646 0 0 0 0 1 0 18 0 1 0 1015978015 2473984 277 4294967295 134512640 135169312 3212913504 3212912040 3085172462 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20200/statm: 604 277 235 161 0 43 0
[pid=20204] ppid=20200 vsize=5168 CPUtime=0.02
/proc/20204/stat : 20204 (SatELite_releas) R 20200 20200 11066 0 -1 4202496 1186 0 0 0 2 0 0 0 20 0 1 0 1015978015 5292032 1122 4294967295 134512640 135223648 3215666672 3215665256 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20204/statm: 1325 1123 47 174 0 1150 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7584
[startup+0.112929 s]
/proc/loadavg: 1.00 1.01 1.00 2/96 20200
/proc/meminfo: memFree=951324/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2416 CPUtime=0.01
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 367 646 0 0 0 0 1 0 18 0 1 0 1015978015 2473984 277 4294967295 134512640 135169312 3212913504 3212912040 3085172462 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20200/statm: 604 277 235 161 0 43 0
[pid=20204] ppid=20200 vsize=13976 CPUtime=0.11
/proc/20204/stat : 20204 (SatELite_releas) R 20200 20200 11066 0 -1 4202496 3414 0 0 0 10 1 0 0 21 0 1 0 1015978015 14311424 3239 4294967295 134512640 135223648 3215666672 3215664672 134548987 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20204/statm: 3494 3239 73 174 0 3319 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16392
[startup+0.312917 s]
/proc/loadavg: 1.00 1.01 1.00 2/96 20200
/proc/meminfo: memFree=951324/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2416 CPUtime=0.01
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 367 646 0 0 0 0 1 0 18 0 1 0 1015978015 2473984 277 4294967295 134512640 135169312 3212913504 3212912040 3085172462 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20200/statm: 604 277 235 161 0 43 0
[pid=20204] ppid=20200 vsize=14556 CPUtime=0.31
/proc/20204/stat : 20204 (SatELite_releas) R 20200 20200 11066 0 -1 4202496 3581 0 0 0 30 1 0 0 21 0 1 0 1015978015 14905344 3406 4294967295 134512640 135223648 3215666672 3215664688 134586840 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20204/statm: 3639 3406 73 174 0 3464 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 16972
[startup+0.712895 s]
/proc/loadavg: 1.00 1.01 1.00 2/96 20200
/proc/meminfo: memFree=951324/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2416 CPUtime=0.01
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 367 646 0 0 0 0 1 0 18 0 1 0 1015978015 2473984 277 4294967295 134512640 135169312 3212913504 3212912040 3085172462 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20200/statm: 604 277 235 161 0 43 0
[pid=20204] ppid=20200 vsize=15748 CPUtime=0.71
/proc/20204/stat : 20204 (SatELite_releas) R 20200 20200 11066 0 -1 4202496 3769 0 0 0 70 1 0 0 22 0 1 0 1015978015 16125952 3594 4294967295 134512640 135223648 3215666672 3215664688 134586980 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20204/statm: 3937 3594 73 174 0 3762 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 18164
[startup+1.51285 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 20205
/proc/meminfo: memFree=932808/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 2420
[startup+3.11276 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 20206
/proc/meminfo: memFree=941116/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=5884 CPUtime=1.79
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 1359 0 0 0 178 1 0 0 25 0 1 0 1015978146 6025216 1294 4294967295 134512640 135215339 3217469456 3217467520 134537869 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 1471 1294 72 172 0 1298 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 8304
[startup+6.31259 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 20206
/proc/meminfo: memFree=941116/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=6152 CPUtime=4.99
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 1431 0 0 0 497 2 0 0 25 0 1 0 1015978146 6299648 1366 4294967295 134512640 135215339 3217469456 3217467456 134532704 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 1538 1366 72 172 0 1365 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 8572
[startup+12.7122 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 20206
/proc/meminfo: memFree=941088/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=6416 CPUtime=11.39
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 1492 0 0 0 1137 2 0 0 25 0 1 0 1015978146 6569984 1427 4294967295 134512640 135215339 3217469456 3217467744 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 1604 1427 72 172 0 1431 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 8836
[startup+25.5215 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 20206
/proc/meminfo: memFree=940812/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=6848 CPUtime=24.2
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 1603 0 0 0 2418 2 0 0 25 0 1 0 1015978146 7012352 1538 4294967295 134512640 135215339 3217469456 3217467744 134528849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 1712 1538 72 172 0 1539 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 9268
[startup+51.1201 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 20210
/proc/meminfo: memFree=939680/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=7784 CPUtime=49.8
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 1840 0 0 0 4977 3 0 0 25 0 1 0 1015978146 7970816 1775 4294967295 134512640 135215339 3217469456 3217467744 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 1946 1775 72 172 0 1773 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 10204
[startup+102.327 s]
/proc/loadavg: 1.04 1.01 1.00 3/98 20395
/proc/meminfo: memFree=937456/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=9644 CPUtime=101.01
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 2285 0 0 0 10098 3 0 0 25 0 1 0 1015978146 9875456 2220 4294967295 134512640 135215339 3217469456 3217467744 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 2411 2220 72 172 0 2238 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 12064
[startup+162.314 s]
/proc/loadavg: 1.01 1.01 1.00 3/98 20584
/proc/meminfo: memFree=934968/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=11828 CPUtime=161
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 2839 0 0 0 16097 3 0 0 25 0 1 0 1015978146 12111872 2774 4294967295 134512640 135215339 3217469456 3217467744 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 2957 2774 72 172 0 2784 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 14248
[startup+222.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 20773
/proc/meminfo: memFree=932992/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=14072 CPUtime=221
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 3357 0 0 0 22097 3 0 0 25 0 1 0 1015978146 14409728 3292 4294967295 134512640 135215339 3217469456 3217467744 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 3518 3292 72 172 0 3345 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 16492
[startup+282.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 20964
/proc/meminfo: memFree=931264/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=15592 CPUtime=281.01
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 3761 0 0 0 28098 3 0 0 25 0 1 0 1015978146 15966208 3696 4294967295 134512640 135215339 3217469456 3217467744 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 3898 3696 72 172 0 3725 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 18012
[startup+342.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 21152
/proc/meminfo: memFree=929156/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=17580 CPUtime=341.01
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 4217 0 0 0 34096 5 0 0 25 0 1 0 1015978146 18001920 4152 4294967295 134512640 135215339 3217469456 3217467744 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 4395 4152 72 172 0 4222 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 20000
[startup+402.311 s]
################
# More data... #
################
[pid=20206] ppid=20200 vsize=20488 CPUtime=461.02
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 4970 0 0 0 46095 7 0 0 25 0 1 0 1015978146 20979712 4905 4294967295 134512640 135215339 3217469456 3217467744 134528917 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 5122 4905 72 172 0 4949 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 22908
[startup+522.304 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 21718
/proc/meminfo: memFree=924692/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=22264 CPUtime=521.01
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 5343 0 0 0 52094 7 0 0 25 0 1 0 1015978146 22798336 5278 4294967295 134512640 135215339 3217469456 3217467744 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 5566 5278 72 172 0 5393 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 24684
[startup+582.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 21907
/proc/meminfo: memFree=923204/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=23516 CPUtime=581.02
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 5667 0 0 0 58095 7 0 0 25 0 1 0 1015978146 24080384 5602 4294967295 134512640 135215339 3217469456 3217467744 134528728 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 5879 5602 72 172 0 5706 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 25936
[startup+642.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 22093
/proc/meminfo: memFree=921724/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=24868 CPUtime=641.02
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 6007 0 0 0 64095 7 0 0 25 0 1 0 1015978146 25464832 5942 4294967295 134512640 135215339 3217469456 3217467744 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 6217 5942 72 172 0 6044 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 27288
[startup+702.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 22283
/proc/meminfo: memFree=920724/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=25996 CPUtime=701.03
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 6278 0 0 0 70096 7 0 0 25 0 1 0 1015978146 26619904 6213 4294967295 134512640 135215339 3217469456 3217467744 134528795 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 6499 6213 72 172 0 6326 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 28416
[startup+762.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 22472
/proc/meminfo: memFree=919376/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=27248 CPUtime=761.04
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 6595 0 0 0 76097 7 0 0 25 0 1 0 1015978146 27901952 6530 4294967295 134512640 135215339 3217469456 3217467744 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 6812 6530 72 172 0 6639 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 29668
[startup+822.317 s]
/proc/loadavg: 1.00 1.00 1.00 4/98 22661
/proc/meminfo: memFree=918236/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=28384 CPUtime=821.04
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 6852 0 0 0 82097 7 0 0 25 0 1 0 1015978146 29065216 6787 4294967295 134512640 135215339 3217469456 3217467744 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 7096 6787 72 172 0 6923 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 30804
[startup+882.304 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 22850
/proc/meminfo: memFree=917012/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=29708 CPUtime=881.03
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 7152 0 0 0 88096 7 0 0 25 0 1 0 1015978146 30420992 7087 4294967295 134512640 135215339 3217469456 3217467744 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 7427 7087 72 172 0 7254 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 32128
[startup+942.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 23036
/proc/meminfo: memFree=916020/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=30636 CPUtime=941.05
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 7380 0 0 0 94097 8 0 0 25 0 1 0 1015978146 31371264 7315 4294967295 134512640 135215339 3217469456 3217467744 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 7659 7315 72 172 0 7486 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 33056
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 23222
/proc/meminfo: memFree=915260/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=31572 CPUtime=1001.05
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 7613 0 0 0 100097 8 0 0 25 0 1 0 1015978146 32329728 7548 4294967295 134512640 135215339 3217469456 3217467744 134528734 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 7893 7548 72 172 0 7720 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 33992
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 23418
/proc/meminfo: memFree=914300/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=32756 CPUtime=1061.06
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 7901 0 0 0 106097 9 0 0 25 0 1 0 1015978146 33542144 7836 4294967295 134512640 135215339 3217469456 3217467744 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 8189 7836 72 172 0 8016 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 35176
[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 23607
/proc/meminfo: memFree=913424/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=33644 CPUtime=1121.06
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 8105 0 0 0 112096 10 0 0 25 0 1 0 1015978146 34451456 8040 4294967295 134512640 135215339 3217469456 3217467744 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 8411 8040 72 172 0 8238 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 36064
[startup+1182.33 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 23796
/proc/meminfo: memFree=912284/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=34764 CPUtime=1181.07
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 8386 0 0 0 118097 10 0 0 25 0 1 0 1015978146 35598336 8321 4294967295 134512640 135215339 3217469456 3217467744 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 8691 8321 72 172 0 8518 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 37184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.15 1.03 1.01 3/98 23979
/proc/meminfo: memFree=911428/2074464 swapFree=1950760/1959888
[pid=20200] ppid=20198 vsize=2420 CPUtime=1.31
/proc/20200/stat : 20200 (SatELiteGTI) S 20198 20200 11066 0 -1 4194304 386 4788 0 0 0 0 130 1 18 0 1 0 1015978015 2478080 278 4294967295 134512640 135169312 3212913504 3212909720 3085172462 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20200/statm: 605 278 235 161 0 44 0
[pid=20206] ppid=20200 vsize=35060 CPUtime=1198.76
/proc/20206/stat : 20206 (minisat_static) R 20200 20200 11066 0 -1 4202496 8457 0 0 0 119866 10 0 0 25 0 1 0 1015978146 35901440 8392 4294967295 134512640 135215339 3217469456 3217467744 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20206/statm: 8765 8392 72 172 0 8592 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 37480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.08
CPU user time (s): 1199.96
CPU system time (s): 0.12
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 37480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.96
system time used= 0.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13907
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= 3646
runsolver used 0 second user time and 0.02 second system time
The end
Begin job on tipi23 at 2009-05-17 00:59:57
IDJOB=1821178
IDBENCH=70868
IDSOLVER=657
FILE ID=tipi23/1821178-1242514797
PBS_JOBID=
Free space on /tmp= 8813 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-23-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821178-1242514797/watcher-1821178-1242514797 -o /tmp/evaluation-result-1821178-1242514797/solver-1821178-1242514797 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821178-1242514797.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= aa3fff3e05d3f50a3d088c22afa455ea
RANDOM SEED= 838313672
Linux tipi23 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.377
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.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
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.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
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.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
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.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 951332 kB
Buffers: 33600 kB
Cached: 989076 kB
SwapCached: 3660 kB
Active: 476372 kB
Inactive: 558052 kB
HighTotal: 1178688 kB
HighFree: 313328 kB
LowTotal: 895776 kB
LowFree: 638004 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 3180 kB
Writeback: 64 kB
AnonPages: 11064 kB
Mapped: 4356 kB
Slab: 80976 kB
PageTables: 544 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8813 MiB
End job on tipi23 at 2009-05-17 01:19:57