0.00/0.00 c Parsing...
0.07/0.08 c ==============================================================================
0.07/0.08 c | | ORIGINAL | LEARNT | |
0.07/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.07/0.08 c ==============================================================================
0.07/0.08 c | 0 | 94910 223744 | 28472 0 0 nan | 0.000 % |
1.22/1.24 c | 0 | 57628 172230 | -- 0 -- -- | -- | -36942/-50538
1.22/1.24 c ==============================================================================
1.22/1.24 c Result : #vars: 13864 #clauses: 57628 #literals: 172230
1.22/1.24 c CPU time: 1.2 s
1.22/1.24 c ==============================================================================
1.22/1.30 c This is MiniSat 2.0 beta
1.22/1.30 c WARNING: for repeatability, setting FPU to use double precision
1.22/1.30 c ============================[ Problem Statistics ]=============================
1.22/1.30 c | |
1.22/1.31 c | Number of variables: 13864 |
1.22/1.31 c | Number of clauses: 57628 |
1.31/1.34 c | Parsing time: 0.03 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 | 13864 57628 172230 | 19209 0 nan | 0.000 % |
1.31/1.51 c | 100 | 13820 57628 172230 | 19209 95 48 | 1.183 % |
1.31/1.77 c | 201 | 13700 56760 170096 | 19209 191 51 | 1.183 % |
2.13/2.15 c | 302 | 13700 56760 170096 | 19209 292 44 | 1.183 % |
2.52/2.59 c | 413 | 13700 56760 170096 | 19209 403 39 | 1.183 % |
2.62/2.72 c | 514 | 13700 56760 170096 | 19209 504 46 | 1.183 % |
2.92/2.93 c | 624 | 13700 56760 170096 | 19209 614 49 | 1.183 % |
3.31/3.41 c | 746 | 13700 56760 170096 | 19209 736 45 | 1.183 % |
3.81/3.88 c | 846 | 13700 56760 170096 | 19209 836 42 | 1.183 % |
4.21/4.29 c | 956 | 13700 56760 170096 | 19209 946 40 | 1.183 % |
4.80/4.86 c | 1078 | 13700 56760 170096 | 19209 1068 38 | 1.183 % |
5.40/5.48 c | 1211 | 13700 56760 170096 | 19209 1201 36 | 1.183 % |
6.00/6.09 c | 1312 | 13700 56760 170096 | 19209 1302 35 | 1.183 % |
6.60/6.66 c | 1422 | 13700 56760 170096 | 19209 1412 34 | 1.183 % |
7.30/7.37 c | 1544 | 13700 56760 170096 | 19209 1534 33 | 1.183 % |
8.10/8.18 c | 1678 | 13700 56760 170096 | 19209 1668 32 | 1.183 % |
9.00/9.10 c | 1824 | 13700 56760 170096 | 19209 1814 31 | 1.183 % |
9.50/9.53 c | 1924 | 13700 56760 170096 | 19209 1914 31 | 1.183 % |
10.10/10.14 c | 2035 | 13700 56760 170096 | 19209 2025 30 | 1.183 % |
10.80/10.88 c | 2157 | 13700 56760 170096 | 19209 2147 30 | 1.183 % |
11.60/11.63 c | 2290 | 13700 56760 170096 | 19209 2280 30 | 1.183 % |
12.30/12.35 c | 2437 | 13700 56760 170096 | 19209 2427 30 | 1.183 % |
13.10/13.12 c | 2598 | 13700 56760 170096 | 19209 2588 30 | 1.183 % |
13.60/13.64 c | 2698 | 13700 56760 170096 | 19209 2688 29 | 1.183 % |
14.20/14.27 c | 2810 | 13700 56760 170096 | 19209 2800 29 | 1.183 % |
14.80/14.90 c | 2932 | 13700 56760 170096 | 19209 2922 29 | 1.183 % |
15.50/15.55 c | 3065 | 13700 56760 170096 | 19209 3055 29 | 1.183 % |
16.10/16.17 c | 3211 | 13700 56760 170096 | 19209 3201 29 | 1.183 % |
16.90/16.97 c | 3371 | 13700 56760 170096 | 19209 3361 29 | 1.183 % |
17.40/17.51 c | 3547 | 13654 56548 169615 | 19209 3536 29 | 1.515 % |
17.90/18.01 c | 3647 | 13654 56548 169615 | 19209 3636 29 | 1.515 % |
18.20/18.25 c | 3757 | 13654 56548 169615 | 19209 3746 30 | 1.515 % |
18.80/18.87 c | 3880 | 13654 56548 169615 | 19209 3869 30 | 1.515 % |
19.60/19.68 c | 4013 | 13654 56548 169615 | 19209 4002 30 | 1.515 % |
20.50/20.54 c | 4159 | 13654 56548 169615 | 19209 4148 30 | 1.515 % |
21.30/21.37 c | 4320 | 13654 56548 169615 | 19209 4309 29 | 1.515 % |
22.30/22.34 c | 4497 | 13654 56548 169615 | 19209 4486 29 | 1.515 % |
23.30/23.40 c | 4691 | 13654 56548 169615 | 19209 4680 29 | 1.515 % |
23.80/23.91 c | 4791 | 13654 56548 169615 | 19209 4780 29 | 1.515 % |
24.10/24.14 c | 4901 | 13654 56548 169615 | 19209 4890 29 | 1.515 % |
24.80/24.84 c | 5023 | 13654 56548 169615 | 19209 5012 29 | 1.515 % |
25.40/25.47 c | 5156 | 13654 56548 169615 | 19209 5145 29 | 1.515 % |
26.00/26.04 c | 5302 | 13605 56336 169131 | 19209 5286 29 | 1.868 % |
26.70/26.73 c | 5462 | 13605 56336 169131 | 19209 5446 29 | 1.868 % |
27.40/27.43 c | 5640 | 13605 56336 169131 | 19209 5624 29 | 1.868 % |
28.10/28.14 c | 5834 | 13605 56336 169131 | 19209 5818 29 | 1.868 % |
29.10/29.16 c | 6047 | 13605 56336 169131 | 19209 6031 29 | 1.868 % |
29.10/29.20 c | 6150 | 13605 56336 169131 | 19209 6134 30 | 1.868 % |
29.60/29.68 c | 6260 | 13605 56336 169131 | 19209 6244 30 | 1.868 % |
30.00/30.03 c | 6382 | 13605 56336 169131 | 19209 6366 30 | 1.868 % |
30.70/30.80 c | 6515 | 13605 56336 169131 | 19209 6499 30 | 1.868 % |
31.50/31.55 c | 6662 | 13605 56336 169131 | 19209 6646 30 | 1.868 % |
32.30/32.36 c | 6823 | 13605 56336 169131 | 19209 6807 30 | 1.868 % |
33.00/33.09 c | 7000 | 13605 56336 169131 | 19209 6984 30 | 1.868 % |
34.10/34.19 c | 7194 | 13605 56336 169131 | 19209 7178 30 | 1.868 % |
35.20/35.27 c | 7406 | 13605 56336 169131 | 19209 7390 29 | 1.868 % |
36.60/36.68 c | 7639 | 13605 56336 169131 | 19209 7623 29 | 1.868 % |
37.20/37.24 c | 7739 | 13605 56336 169131 | 19209 7723 29 | 1.868 % |
37.70/37.78 c | 7850 | 13605 56336 169131 | 19209 7834 29 | 1.868 % |
38.50/38.57 c | 7972 | 13605 56336 169131 | 19209 7956 29 | 1.868 % |
39.40/39.45 c | 8106 | 13605 56336 169131 | 19209 8090 29 | 1.868 % |
40.10/40.16 c | 8254 | 13605 56336 169131 | 19209 8238 29 | 1.868 % |
40.40/40.44 c | 8414 | 13605 56336 169131 | 19209 8398 29 | 1.868 % |
41.40/41.51 c | 8591 | 13605 56336 169131 | 19209 8575 30 | 1.868 % |
42.50/42.54 c | 8786 | 13605 56336 169131 | 19209 8770 30 | 1.868 % |
43.70/43.73 c | 8999 | 13605 56336 169131 | 19209 8983 29 | 1.868 % |
45.00/45.03 c | 9233 | 13605 56336 169131 | 19209 9217 29 | 1.868 % |
46.10/46.15 c | 9490 | 13605 56336 169131 | 19209 9474 29 | 1.868 % |
46.60/46.69 c | 9590 | 13605 56336 169131 | 19209 9574 29 | 1.868 % |
47.20/47.28 c | 9701 | 13605 56336 169131 | 19209 9685 29 | 1.868 % |
47.90/47.95 c | 9823 | 13605 56336 169131 | 19209 9807 29 | 1.868 % |
48.60/48.69 c | 9956 | 13605 56336 169131 | 19209 9940 29 | 1.868 % |
49.40/49.43 c | 10103 | 13605 56336 169131 | 2147483647 10087 29 | 1.868 % |
50.40/50.50 c | 10263 | 13605 56336 169131 | 2147483647 10247 29 | 1.868 % |
51.60/51.65 c | 10439 | 13605 56336 169131 | 2147483647 10423 29 | 1.868 % |
52.80/52.89 c | 10633 | 13605 56336 169131 | 2147483647 10617 29 | 1.868 % |
53.90/53.95 c | 10845 | 13605 56336 169131 | 2147483647 10829 28 | 1.868 % |
55.20/55.29 c | 11078 | 13605 56336 169131 | 2147483647 11062 28 | 1.868 % |
56.70/56.72 c | 11335 | 13605 56336 169131 | 2147483647 11319 28 | 1.868 % |
58.10/58.21 c | 11616 | 13605 56336 169131 | 2147483647 11600 28 | 1.868 % |
58.70/58.73 c | 11717 | 13605 56336 169131 | 2147483647 11701 28 | 1.868 % |
59.40/59.43 c | 11828 | 13605 56336 169131 | 2147483647 11812 28 | 1.868 % |
60.20/60.22 c | 11949 | 13605 56336 169131 | 2147483647 11933 28 | 1.868 % |
60.90/61.00 c | 12085 | 13605 56336 169131 | 2147483647 12069 28 | 1.868 % |
61.80/61.82 c | 12231 | 13605 56336 169131 | 2147483647 12215 28 | 1.868 % |
62.50/62.55 c | 12392 | 13605 56336 169131 | 2147483647 12376 28 | 1.868 % |
63.20/63.24 c | 12568 | 13605 56336 169131 | 2147483647 12552 28 | 1.868 % |
64.00/64.10 c | 12761 | 13605 56336 169131 | 2147483647 12745 28 | 1.868 % |
65.00/65.11 c | 12973 | 13605 56336 169131 | 2147483647 12957 28 | 1.868 % |
66.30/66.37 c | 13206 | 13605 56336 169131 | 2147483647 13190 28 | 1.868 % |
67.90/68.00 c | 13463 | 13605 56336 169131 | 2147483647 13447 28 | 1.868 % |
69.60/69.67 c | 13745 | 13605 56336 169131 | 2147483647 13729 28 | 1.868 % |
71.60/71.67 c | 14054 | 13605 56336 169131 | 2147483647 14038 28 | 1.868 % |
72.30/72.33 c | 14154 | 13605 56336 169131 | 2147483647 14138 28 | 1.868 % |
72.90/73.00 c | 14264 | 13605 56336 169131 | 2147483647 14248 28 | 1.868 % |
73.71/73.74 c | 14386 | 13605 56336 169131 | 2147483647 14370 28 | 1.868 % |
74.20/74.31 c | 14520 | 13605 56336 169131 | 2147483647 14504 28 | 1.868 % |
74.81/74.90 c | 14666 | 13605 56336 169131 | 2147483647 14650 28 | 1.868 % |
75.70/75.76 c | 14827 | 13605 56336 169131 | 2147483647 14811 28 | 1.868 % |
76.80/76.86 c | 15003 | 13605 56336 169131 | 2147483647 14987 28 | 1.868 % |
78.00/78.09 c | 15197 | 13605 56336 169131 | 2147483647 15181 28 | 1.868 % |
79.40/79.47 c | 15410 | 13605 56336 169131 | 2147483647 15394 28 | 1.868 % |
81.00/81.04 c | 15644 | 13605 56336 169131 | 2147483647 15628 27 | 1.868 % |
82.40/82.42 c | 15900 | 13605 56336 169131 | 2147483647 15884 27 | 1.868 % |
84.00/84.11 c | 16182 | 13605 56336 169131 | 2147483647 16166 27 | 1.868 % |
85.70/85.81 c | 16491 | 13605 56336 169131 | 2147483647 16475 27 | 1.868 % |
87.70/87.80 c | 16830 | 13605 56336 169131 | 2147483647 16814 27 | 1.868 % |
88.40/88.48 c | 16931 | 13605 56336 169131 | 2147483647 16915 27 | 1.868 % |
89.11/89.20 c | 17042 | 13605 56336 169131 | 2147483647 17026 27 | 1.868 % |
89.90/89.98 c | 17164 | 13605 56336 169131 | 2147483647 17148 27 | 1.868 % |
90.60/90.66 c | 17298 | 13605 56336 169131 | 2147483647 17282 27 | 1.868 % |
90.70/90.78 c | 17445 | 13605 56336 169131 | 2147483647 17429 27 | 1.868 % |
91.60/91.70 c | 17606 | 13605 56336 169131 | 2147483647 17590 27 | 1.868 % |
92.30/92.36 c | 17782 | 13605 56336 169131 | 2147483647 17766 27 | 1.868 % |
93.40/93.44 c | 17975 | 13605 56336 169131 | 2147483647 17959 27 | 1.868 % |
94.61/94.66 c | 18187 | 13605 56336 169131 | 2147483647 18171 27 | 1.868 % |
95.90/95.92 c | 18420 | 13605 56336 169131 | 2147483647 18404 27 | 1.868 % |
97.50/97.58 c | 18677 | 13605 56336 169131 | 2147483647 18661 27 | 1.868 % |
99.10/99.14 c | 18958 | 13605 56336 169131 | 2147483647 18942 27 | 1.868 % |
100.70/100.80 c | 19267 | 13605 56336 169131 | 2147483647 19251 27 | 1.868 % |
102.50/102.55 c | 19606 | 13605 56336 169131 | 2147483647 19590 27 | 1.868 % |
104.30/104.32 c | 19978 | 13605 56336 169131 | 2147483647 19962 27 | 1.868 % |
104.90/104.95 c | 20078 | 13605 56336 169131 | 2147483647 20062 27 | 1.868 % |
105.61/105.65 c | 20188 | 13605 56336 169131 | 2147483647 20172 27 | 1.868 % |
106.20/106.27 c | 20311 | 13605 56336 169131 | 2147483647 20295 28 | 1.868 % |
107.00/107.02 c | 20444 | 13605 56336 169131 | 2147483647 20428 28 | 1.868 % |
107.90/107.92 c | 20591 | 13605 56336 169131 | 2147483647 20575 28 | 1.868 % |
108.91/108.95 c | 20752 | 13605 56336 169131 | 2147483647 20736 27 | 1.868 % |
109.90/110.02 c | 20928 | 13605 56336 169131 | 2147483647 20912 27 | 1.868 % |
110.40/110.48 c | 21122 | 13605 56336 169131 | 2147483647 21106 28 | 1.868 % |
111.60/111.66 c | 21334 | 13605 56336 169131 | 2147483647 21318 28 | 1.868 % |
112.70/112.73 c | 21568 | 13605 56336 169131 | 2147483647 21552 28 | 1.868 % |
114.10/114.17 c | 21825 | 13605 56336 169131 | 2147483647 21809 28 | 1.868 % |
115.60/115.70 c | 22107 | 13605 56336 169131 | 2147483647 22091 28 | 1.868 % |
117.51/117.60 c | 22417 | 13605 56336 169131 | 2147483647 22401 28 | 1.868 % |
119.51/119.56 c | 22757 | 13605 56336 169131 | 2147483647 22741 27 | 1.868 % |
121.81/121.86 c | 23130 | 13605 56336 169131 | 2147483647 23114 28 | 1.868 % |
124.21/124.30 c | 23539 | 13605 56336 169131 | 2147483647 23523 28 | 1.868 % |
124.91/124.93 c | 23641 | 13605 56336 169131 | 2147483647 23625 28 | 1.868 % |
125.51/125.62 c | 23752 | 13605 56336 169131 | 2147483647 23736 28 | 1.868 % |
126.31/126.32 c | 23874 | 13605 56336 169131 | 2147483647 23858 28 | 1.868 % |
127.11/127.20 c | 24008 | 13605 56336 169131 | 2147483647 23992 28 | 1.868 % |
128.21/128.29 c | 24156 | 13605 56336 169131 | 2147483647 24140 28 | 1.868 % |
129.31/129.37 c | 24316 | 13605 56336 169131 | 2147483647 24300 27 | 1.868 % |
130.51/130.53 c | 24492 | 13605 56336 169131 | 2147483647 24476 27 | 1.868 % |
131.71/131.81 c | 24686 | 13605 56336 169131 | 2147483647 24670 27 | 1.868 % |
132.71/132.80 c | 24898 | 13605 56336 169131 | 2147483647 24882 28 | 1.868 % |
133.11/133.22 c | 25131 | 13605 56336 169131 | 2147483647 25115 28 | 1.868 % |
134.21/134.30 c | 25387 | 13605 56336 169131 | 2147483647 25371 28 | 1.868 % |
135.81/135.91 c | 25669 | 13605 56336 169131 | 2147483647 25653 28 | 1.868 % |
137.91/137.92 c | 25979 | 13605 56336 169131 | 2147483647 25963 28 | 1.868 % |
139.41/139.47 c | 26318 | 13605 56336 169131 | 2147483647 26302 28 | 1.868 % |
141.50/141.52 c | 26691 | 13605 56336 169131 | 2147483647 26675 28 | 1.868 % |
142.40/142.46 c | 27102 | 13605 56336 169131 | 2147483647 27086 29 | 1.868 % |
145.00/145.08 c | 27551 | 13605 56336 169131 | 2147483647 27535 29 | 1.868 % |
145.50/145.54 c | 27651 | 13605 56336 169131 | 2147483647 27635 29 | 1.868 % |
146.00/146.08 c | 27762 | 13605 56336 169131 | 2147483647 27746 29 | 1.868 % |
146.80/146.82 c | 27883 | 13605 56336 169131 | 2147483647 27867 29 | 1.868 % |
147.40/147.42 c | 28017 | 13605 56336 169131 | 2147483647 28001 29 | 1.868 % |
148.20/148.23 c | 28163 | 13605 56336 169131 | 2147483647 28147 29 | 1.868 % |
149.20/149.27 c | 28324 | 13605 56336 169131 | 2147483647 28308 29 | 1.868 % |
150.30/150.33 c | 28501 | 13605 56336 169131 | 2147483647 28485 29 | 1.868 % |
150.90/150.93 c | 28694 | 13605 56336 169131 | 2147483647 28678 29 | 1.868 % |
151.70/151.80 c | 28906 | 13605 56336 169131 | 2147483647 28890 29 | 1.868 % |
152.89/152.92 c | 29139 | 13605 56336 169131 | 2147483647 29123 29 | 1.868 % |
153.89/154.00 c | 29395 | 13605 56336 169131 | 2147483647 29379 29 | 1.868 % |
155.29/155.38 c | 29678 | 13605 56336 169131 | 2147483647 29662 29 | 1.868 % |
156.89/156.97 c | 29989 | 13605 56336 169131 | 2147483647 29973 29 | 1.868 % |
158.79/158.89 c | 30329 | 13605 56336 169131 | 2147483647 30313 29 | 1.868 % |
160.89/160.96 c | 30701 | 13605 56336 169131 | 2147483647 30685 29 | 1.868 % |
163.19/163.25 c | 31111 | 13605 56336 169131 | 2147483647 31095 30 | 1.868 % |
165.59/165.69 c | 31560 | 13605 56336 169131 | 2147483647 31544 30 | 1.868 % |
168.39/168.44 c | 32056 | 13605 56336 169131 | 2147483647 32040 30 | 1.868 % |
168.99/169.09 c | 32157 | 13605 56336 169131 | 2147483647 32141 29 | 1.868 % |
169.69/169.79 c | 32267 | 13605 56336 169131 | 2147483647 32251 29 | 1.868 % |
170.49/170.55 c | 32388 | 13605 56336 169131 | 2147483647 32372 29 | 1.868 % |
171.39/171.47 c | 32521 | 13605 56336 169131 | 2147483647 32505 29 | 1.868 % |
172.39/172.44 c | 32667 | 13605 56336 169131 | 2147483647 32651 30 | 1.868 % |
173.19/173.30 c | 32827 | 13605 56336 169131 | 2147483647 32811 30 | 1.868 % |
173.69/173.71 c | 33003 | 13605 56336 169131 | 2147483647 32987 30 | 1.868 % |
174.89/174.94 c | 33197 | 13605 56336 169131 | 2147483647 33181 30 | 1.868 % |
176.19/176.21 c | 33410 | 13605 56336 169131 | 2147483647 33394 30 | 1.868 % |
177.49/177.53 c | 33644 | 13605 56336 169131 | 2147483647 33628 30 | 1.868 % |
179.19/179.22 c | 33902 | 13605 56336 169131 | 2147483647 33886 30 | 1.868 % |
180.99/181.07 c | 34185 | 13605 56336 169131 | 2147483647 34169 30 | 1.868 % |
183.09/183.20 c | 34494 | 13605 56336 169131 | 2147483647 34478 30 | 1.868 % |
185.39/185.49 c | 34833 | 13605 56336 169131 | 2147483647 34817 30 | 1.868 % |
187.89/187.99 c | 35206 | 13605 56336 169131 | 2147483647 35190 30 | 1.868 % |
190.79/190.83 c | 35616 | 13605 56336 169131 | 2147483647 35600 30 | 1.868 % |
193.60/193.69 c | 36066 | 13605 56336 169131 | 2147483647 36050 30 | 1.868 % |
196.39/196.48 c | 36559 | 13605 56336 169131 | 2147483647 36543 30 | 1.868 % |
199.89/199.98 c | 37102 | 13605 56336 169131 | 2147483647 37086 30 | 1.868 % |
200.59/200.66 c | 37202 | 13605 56336 169131 | 2147483647 37186 30 | 1.868 % |
201.39/201.42 c | 37312 | 13605 56336 169131 | 2147483647 37296 30 | 1.868 % |
202.19/202.28 c | 37433 | 13605 56336 169131 | 2147483647 37417 30 | 1.868 % |
203.19/203.22 c | 37568 | 13605 56336 169131 | 2147483647 37552 30 | 1.868 % |
204.19/204.23 c | 37714 | 13605 56336 169131 | 2147483647 37698 30 | 1.868 % |
205.09/205.18 c | 37874 | 13605 56336 169131 | 2147483647 37858 30 | 1.868 % |
206.29/206.38 c | 38050 | 13605 56336 169131 | 2147483647 38034 30 | 1.868 % |
207.49/207.54 c | 38244 | 13605 56336 169131 | 2147483647 38228 30 | 1.868 % |
207.79/207.88 c | 38458 | 13605 56336 169131 | 2147483647 38442 30 | 1.868 % |
209.19/209.28 c | 38692 | 13605 56336 169131 | 2147483647 38676 30 | 1.868 % |
210.79/210.83 c | 38949 | 13605 56336 169131 | 2147483647 38933 30 | 1.868 % |
212.79/212.86 c | 39231 | 13605 56336 169131 | 2147483647 39215 30 | 1.868 % |
214.59/214.67 c | 39541 | 13605 56336 169131 | 2147483647 39525 30 | 1.868 % |
216.59/216.63 c | 39881 | 13605 56336 169131 | 2147483647 39865 30 | 1.868 % |
218.79/218.87 c | 40253 | 13605 56336 169131 | 2147483647 40237 30 | 1.868 % |
220.69/220.75 c | 40662 | 13605 56336 169131 | 2147483647 40646 30 | 1.868 % |
223.30/223.31 c | 41112 | 13605 56336 169131 | 2147483647 41096 30 | 1.868 % |
226.09/226.11 c | 41606 | 13605 56336 169131 | 2147483647 41590 30 | 1.868 % |
229.19/229.27 c | 42148 | 13605 56336 169131 | 2147483647 42132 30 | 1.868 % |
232.40/232.41 c | 42745 | 13605 56336 169131 | 2147483647 42729 30 | 1.868 % |
232.70/232.81 c | 42847 | 13605 56336 169131 | 2147483647 42831 30 | 1.868 % |
233.30/233.38 c | 42958 | 13605 56336 169131 | 2147483647 42942 30 | 1.868 % |
233.80/233.84 c | 43080 | 13605 56336 169131 | 2147483647 43064 30 | 1.868 % |
234.70/234.71 c | 43213 | 13605 56336 169131 | 2147483647 43197 30 | 1.868 % |
235.50/235.55 c | 43360 | 13605 56336 169131 | 2147483647 43344 30 | 1.868 % |
236.50/236.55 c | 43521 | 13605 56336 169131 | 2147483647 43505 30 | 1.868 % |
237.20/237.21 c | 43698 | 13605 56336 169131 | 2147483647 43682 30 | 1.868 % |
238.30/238.41 c | 43891 | 13605 56336 169131 | 2147483647 43875 30 | 1.868 % |
239.60/239.69 c | 44104 | 13605 56336 169131 | 2147483647 44088 30 | 1.868 % |
241.10/241.11 c | 44337 | 13605 56336 169131 | 2147483647 44321 30 | 1.868 % |
242.40/242.45 c | 44595 | 13605 56336 169131 | 2147483647 44579 30 | 1.868 % |
244.20/244.21 c | 44877 | 13605 56336 169131 | 2147483647 44861 30 | 1.868 % |
245.70/245.72 c | 45187 | 13605 56336 169131 | 2147483647 45171 30 | 1.868 % |
247.70/247.71 c | 45527 | 13605 56336 169131 | 2147483647 45511 30 | 1.868 % |
250.10/250.11 c | 45899 | 13605 56336 169131 | 2147483647 45883 30 | 1.868 % |
252.30/252.41 c | 46309 | 13605 56336 169131 | 2147483647 46293 30 | 1.868 % |
255.30/255.31 c | 46758 | 13605 56336 169131 | 2147483647 46742 30 | 1.868 % |
258.00/258.06 c | 47252 | 13605 56336 169131 | 2147483647 47236 30 | 1.868 % |
261.50/261.54 c | 47797 | 13605 56336 169131 | 2147483647 47781 30 | 1.868 % |
265.00/265.02 c | 48393 | 13605 56336 169131 | 2147483647 48377 30 | 1.868 % |
268.80/268.85 c | 49048 | 13605 56336 169131 | 2147483647 49032 29 | 1.868 % |
269.40/269.44 c | 49149 | 13605 56336 169131 | 2147483647 49133 29 | 1.868 % |
270.10/270.12 c | 49259 | 13605 56336 169131 | 2147483647 49243 29 | 1.868 % |
270.80/270.88 c | 49381 | 13605 56336 169131 | 2147483647 49365 29 | 1.868 % |
271.60/271.71 c | 49514 | 13605 56336 169131 | 2147483647 49498 29 | 1.868 % |
272.60/272.61 c | 49660 | 13605 56336 169131 | 2147483647 49644 29 | 1.868 % |
273.60/273.67 c | 49820 | 13605 56336 169131 | 2147483647 49804 29 | 1.868 % |
274.50/274.55 c | 49998 | 13605 56336 169131 | 2147483647 49982 29 | 1.868 % |
275.60/275.69 c | 50193 | 13605 56336 169131 | 2147483647 50177 29 | 1.868 % |
277.10/277.11 c | 50405 | 13605 56336 169131 | 2147483647 50389 29 | 1.868 % |
278.50/278.56 c | 50639 | 13605 56336 169131 | 2147483647 50623 29 | 1.868 % |
280.00/280.08 c | 50896 | 13605 56336 169131 | 2147483647 50880 29 | 1.868 % |
281.70/281.72 c | 51178 | 13605 56336 169131 | 2147483647 51162 29 | 1.868 % |
283.00/283.03 c | 51487 | 13605 56336 169131 | 2147483647 51471 29 | 1.868 % |
284.70/284.80 c | 51827 | 13605 56336 169131 | 2147483647 51811 29 | 1.868 % |
286.60/286.66 c | 52199 | 13605 56336 169131 | 2147483647 52183 29 | 1.868 % |
289.00/289.07 c | 52609 | 13605 56336 169131 | 2147483647 52593 29 | 1.868 % |
290.50/290.58 c | 53059 | 13605 56336 169131 | 2147483647 53043 30 | 1.868 % |
292.80/292.89 c | 53552 | 13605 56336 169131 | 2147483647 53536 30 | 1.868 % |
295.90/295.93 c | 54097 | 13605 56336 169131 | 2147483647 54081 30 | 1.868 % |
299.20/299.28 c | 54694 | 13605 56336 169131 | 2147483647 54678 30 | 1.868 % |
303.20/303.29 c | 55350 | 13605 56336 169131 | 2147483647 55334 30 | 1.868 % |
307.80/307.82 c | 56072 | 13605 56336 169131 | 2147483647 56056 30 | 1.868 % |
308.50/308.54 c | 56173 | 13605 56336 169131 | 2147483647 56157 30 | 1.868 % |
309.20/309.28 c | 56284 | 13605 56336 169131 | 2147483647 56268 30 | 1.868 % |
309.90/309.98 c | 56405 | 13605 56336 169131 | 2147483647 56389 30 | 1.868 % |
310.80/310.87 c | 56538 | 13605 56336 169131 | 2147483647 56522 30 | 1.868 % |
311.70/311.80 c | 56684 | 13605 56336 169131 | 2147483647 56668 30 | 1.868 % |
312.70/312.80 c | 56844 | 13605 56336 169131 | 2147483647 56828 30 | 1.868 % |
314.00/314.02 c | 57021 | 13605 56336 169131 | 2147483647 57005 30 | 1.868 % |
315.20/315.28 c | 57214 | 13605 56336 169131 | 2147483647 57198 30 | 1.868 % |
316.30/316.37 c | 57426 | 13605 56336 169131 | 2147483647 57410 30 | 1.868 % |
317.50/317.52 c | 57661 | 13605 56336 169131 | 2147483647 57645 30 | 1.868 % |
318.70/318.73 c | 57918 | 13605 56336 169131 | 2147483647 57902 30 | 1.868 % |
320.20/320.22 c | 58199 | 13605 56336 169131 | 2147483647 58183 30 | 1.868 % |
321.90/321.98 c | 58508 | 13605 56336 169131 | 2147483647 58492 30 | 1.868 % |
323.60/323.64 c | 58848 | 13605 56336 169131 | 2147483647 58832 30 | 1.868 % |
325.90/325.98 c | 59220 | 13605 56336 169131 | 2147483647 59204 30 | 1.868 % |
328.10/328.17 c | 59629 | 13605 56336 169131 | 2147483647 59613 30 | 1.868 % |
331.11/331.18 c | 60078 | 13605 56336 169131 | 2147483647 60062 29 | 1.868 % |
334.60/334.61 c | 60571 | 13605 56336 169131 | 2147483647 60555 29 | 1.868 % |
337.90/337.97 c | 61114 | 13605 56336 169131 | 2147483647 61098 29 | 1.868 % |
341.80/341.82 c | 61710 | 13605 56336 169131 | 2147483647 61694 29 | 1.868 % |
345.80/345.86 c | 62366 | 13605 56336 169131 | 2147483647 62350 29 | 1.868 % |
350.01/350.09 c | 63087 | 13605 56336 169131 | 2147483647 63071 29 | 1.868 % |
355.61/355.63 c | 63879 | 13605 56336 169131 | 2147483647 63863 29 | 1.868 % |
356.11/356.15 c | 63980 | 13605 56336 169131 | 2147483647 63964 29 | 1.868 % |
356.71/356.75 c | 64091 | 13605 56336 169131 | 2147483647 64075 29 | 1.868 % |
357.51/357.58 c | 64213 | 13605 56336 169131 | 2147483647 64197 29 | 1.868 % |
358.41/358.46 c | 64347 | 13605 56336 169131 | 2147483647 64331 29 | 1.868 % |
359.41/359.45 c | 64494 | 13605 56336 169131 | 2147483647 64478 29 | 1.868 % |
360.41/360.51 c | 64655 | 13605 56336 169131 | 2147483647 64639 29 | 1.868 % |
361.71/361.77 c | 64831 | 13605 56336 169131 | 2147483647 64815 29 | 1.868 % |
363.01/363.09 c | 65024 | 13605 56336 169131 | 2147483647 65008 29 | 1.868 % |
364.41/364.46 c | 65236 | 13605 56336 169131 | 2147483647 65220 29 | 1.868 % |
365.31/365.37 c | 65469 | 13605 56336 169131 | 2147483647 65453 29 | 1.868 % |
367.01/367.07 c | 65726 | 13605 56336 169131 | 2147483647 65710 29 | 1.868 % |
369.01/369.11 c | 66009 | 13605 56336 169131 | 2147483647 65993 29 | 1.868 % |
371.11/371.15 c | 66319 | 13605 56336 169131 | 2147483647 66303 29 | 1.868 % |
373.51/373.57 c | 66658 | 13605 56336 169131 | 2147483647 66642 29 | 1.868 % |
376.11/376.18 c | 67030 | 13605 56336 169131 | 2147483647 67014 29 | 1.868 % |
378.91/378.94 c | 67441 | 13605 56336 169131 | 2147483647 67425 29 | 1.868 % |
381.51/381.57 c | 67892 | 13605 56336 169131 | 2147483647 67876 29 | 1.868 % |
384.61/384.65 c | 68385 | 13605 56336 169131 | 2147483647 68369 29 | 1.868 % |
387.91/387.99 c | 68929 | 13605 56336 169131 | 2147483647 68913 29 | 1.868 % |
391.71/391.79 c | 69525 | 13605 56336 169131 | 2147483647 69509 29 | 1.868 % |
395.81/395.86 c | 70180 | 13605 56336 169131 | 2147483647 70164 29 | 1.868 % |
400.31/400.35 c | 70900 | 13605 56336 169131 | 2147483647 70884 29 | 1.868 % |
404.21/404.23 c | 71692 | 13605 56336 169131 | 2147483647 71676 29 | 1.868 % |
410.01/410.01 c | 72563 | 13605 56336 169131 | 2147483647 72547 29 | 1.868 % |
410.61/410.65 c | 72664 | 13605 56336 169131 | 2147483647 72648 29 | 1.868 % |
411.31/411.38 c | 72774 | 13605 56336 169131 | 2147483647 72758 29 | 1.868 % |
412.41/412.41 c | 72895 | 13605 56336 169131 | 2147483647 72879 29 | 1.868 % |
413.31/413.32 c | 73028 | 13605 56336 169131 | 2147483647 73012 29 | 1.868 % |
414.41/414.47 c | 73174 | 13605 56336 169131 | 2147483647 73158 29 | 1.868 % |
415.61/415.62 c | 73334 | 13605 56336 169131 | 2147483647 73318 29 | 1.868 % |
416.81/416.88 c | 73510 | 13605 56336 169131 | 2147483647 73494 29 | 1.868 % |
418.11/418.16 c | 73703 | 13605 56336 169131 | 2147483647 73687 29 | 1.868 % |
419.51/419.61 c | 73916 | 13605 56336 169131 | 2147483647 73900 29 | 1.868 % |
421.11/421.21 c | 74150 | 13605 56336 169131 | 2147483647 74134 29 | 1.868 % |
422.81/422.85 c | 74407 | 13605 56336 169131 | 2147483647 74391 29 | 1.868 % |
424.62/424.69 c | 74689 | 13605 56336 169131 | 2147483647 74673 29 | 1.868 % |
426.61/426.69 c | 74998 | 13605 56336 169131 | 2147483647 74982 29 | 1.868 % |
428.91/429.01 c | 75337 | 13605 56336 169131 | 2147483647 75321 29 | 1.868 % |
431.51/431.52 c | 75709 | 13605 56336 169131 | 2147483647 75693 29 | 1.868 % |
434.31/434.36 c | 76119 | 13605 56336 169131 | 2147483647 76103 29 | 1.868 % |
437.01/437.09 c | 76568 | 13605 56336 169131 | 2147483647 76552 29 | 1.868 % |
439.51/439.60 c | 77061 | 13605 56336 169131 | 2147483647 77045 29 | 1.868 % |
443.11/443.20 c | 77603 | 13605 56336 169131 | 2147483647 77587 29 | 1.868 % |
447.01/447.10 c | 78199 | 13605 56336 169131 | 2147483647 78183 29 | 1.868 % |
450.71/450.72 c | 78854 | 13605 56336 169131 | 2147483647 78838 29 | 1.868 % |
455.31/455.31 c | 79575 | 13605 56336 169131 | 2147483647 79559 29 | 1.868 % |
461.12/461.15 c | 80367 | 13605 56336 169131 | 2147483647 80351 29 | 1.868 % |
467.12/467.20 c | 81238 | 13605 56336 169131 | 2147483647 81222 29 | 1.868 % |
473.32/473.32 c | 82196 | 13605 56336 169131 | 2147483647 82180 29 | 1.868 % |
473.82/473.92 c | 82296 | 13605 56336 169131 | 2147483647 82280 29 | 1.868 % |
474.72/474.74 c | 82406 | 13605 56336 169131 | 2147483647 82390 29 | 1.868 % |
475.62/475.64 c | 82527 | 13605 56336 169131 | 2147483647 82511 29 | 1.868 % |
476.52/476.57 c | 82660 | 13605 56336 169131 | 2147483647 82644 29 | 1.868 % |
477.52/477.54 c | 82807 | 13605 56336 169131 | 2147483647 82791 29 | 1.868 % |
478.52/478.60 c | 82967 | 13605 56336 169131 | 2147483647 82951 29 | 1.868 % |
479.72/479.79 c | 83144 | 13605 56336 169131 | 2147483647 83128 29 | 1.868 % |
481.22/481.27 c | 83338 | 13605 56336 169131 | 2147483647 83322 29 | 1.868 % |
482.82/482.86 c | 83551 | 13605 56336 169131 | 2147483647 83535 29 | 1.868 % |
484.62/484.69 c | 83785 | 13605 56336 169131 | 2147483647 83769 29 | 1.868 % |
486.42/486.47 c | 84041 | 13605 56336 169131 | 2147483647 84025 29 | 1.868 % |
488.52/488.55 c | 84322 | 13605 56336 169131 | 2147483647 84306 29 | 1.868 % |
490.62/490.66 c | 84631 | 13605 56336 169131 | 2147483647 84615 29 | 1.868 % |
492.92/492.97 c | 84970 | 13605 56336 169131 | 2147483647 84954 29 | 1.868 % |
495.72/495.78 c | 85343 | 13605 56336 169131 | 2147483647 85327 29 | 1.868 % |
498.41/498.44 c | 85752 | 13605 56336 169131 | 2147483647 85736 29 | 1.868 % |
501.51/501.54 c | 86201 | 13605 56336 169131 | 2147483647 86185 29 | 1.868 % |
504.11/504.20 c | 86695 | 13605 56336 169131 | 2147483647 86679 29 | 1.868 % |
508.21/508.22 c | 87237 | 13605 56336 169131 | 2147483647 87221 29 | 1.868 % |
512.01/512.07 c | 87834 | 13605 56336 169131 | 2147483647 87818 29 | 1.868 % |
515.91/515.99 c | 88489 | 13605 56336 169131 | 2147483647 88473 29 | 1.868 % |
521.01/521.07 c | 89209 | 13605 56336 169131 | 2147483647 89193 29 | 1.868 % |
526.61/526.61 c | 90002 | 13605 56336 169131 | 2147483647 89986 29 | 1.868 % |
533.11/533.16 c | 90874 | 13605 56336 169131 | 2147483647 90858 29 | 1.868 % |
539.91/539.91 c | 91832 | 13605 56336 169131 | 2147483647 91816 29 | 1.868 % |
546.51/546.59 c | 92885 | 13605 56336 169131 | 2147483647 92869 29 | 1.868 % |
547.31/547.38 c | 92986 | 13605 56336 169131 | 2147483647 92970 29 | 1.868 % |
548.11/548.19 c | 93096 | 13605 56336 169131 | 2147483647 93080 29 | 1.868 % |
549.11/549.18 c | 93218 | 13605 56336 169131 | 2147483647 93202 29 | 1.868 % |
550.21/550.28 c | 93352 | 13605 56336 169131 | 2147483647 93336 29 | 1.868 % |
551.51/551.52 c | 93498 | 13605 56336 169131 | 2147483647 93482 29 | 1.868 % |
552.81/552.81 c | 93659 | 13605 56336 169131 | 2147483647 93643 29 | 1.868 % |
553.71/553.79 c | 93835 | 13605 56336 169131 | 2147483647 93819 29 | 1.868 % |
555.21/555.22 c | 94029 | 13605 56336 169131 | 2147483647 94013 29 | 1.868 % |
556.81/556.88 c | 94242 | 13605 56336 169131 | 2147483647 94226 29 | 1.868 % |
558.41/558.41 c | 94477 | 13605 56336 169131 | 2147483647 94461 29 | 1.868 % |
560.41/560.50 c | 94736 | 13605 56336 169131 | 2147483647 94720 29 | 1.868 % |
562.71/562.78 c | 95017 | 13605 56336 169131 | 2147483647 95001 29 | 1.868 % |
564.91/564.93 c | 95326 | 13605 56336 169131 | 2147483647 95310 29 | 1.868 % |
567.51/567.56 c | 95665 | 13605 56336 169131 | 2147483647 95649 29 | 1.868 % |
570.61/570.67 c | 96037 | 13605 56336 169131 | 2147483647 96021 29 | 1.868 % |
573.71/573.75 c | 96448 | 13605 56336 169131 | 2147483647 96432 29 | 1.868 % |
576.92/576.94 c | 96897 | 13605 56336 169131 | 2147483647 96881 29 | 1.868 % |
581.12/581.17 c | 97390 | 13605 56336 169131 | 2147483647 97374 29 | 1.868 % |
585.22/585.30 c | 97932 | 13605 56336 169131 | 2147483647 97916 29 | 1.868 % |
590.02/590.10 c | 98528 | 13605 56336 169131 | 2147483647 98512 29 | 1.868 % |
595.32/595.38 c | 99184 | 13605 56336 169131 | 2147483647 99168 29 | 1.868 % |
601.02/601.04 c | 99904 | 13605 56336 169131 | 2147483647 99888 29 | 1.868 % |
607.52/607.58 c | 100698 | 13605 56336 169131 | 2147483647 100682 29 | 1.868 % |
614.82/614.82 c | 101570 | 13605 56336 169131 | 2147483647 101554 29 | 1.868 % |
622.22/622.23 c | 102529 | 13605 56336 169131 | 2147483647 102513 29 | 1.868 % |
630.32/630.41 c | 103583 | 13605 56336 169131 | 2147483647 103567 29 | 1.868 % |
638.72/638.77 c | 104743 | 13605 56336 169131 | 2147483647 104727 29 | 1.868 % |
639.62/639.63 c | 104844 | 13605 56336 169131 | 2147483647 104828 29 | 1.868 % |
640.42/640.43 c | 104954 | 13605 56336 169131 | 2147483647 104938 29 | 1.868 % |
641.22/641.22 c | 105075 | 13605 56336 169131 | 2147483647 105059 29 | 1.868 % |
642.32/642.32 c | 105208 | 13605 56336 169131 | 2147483647 105192 29 | 1.868 % |
643.62/643.69 c | 105355 | 13605 56336 169131 | 2147483647 105339 29 | 1.868 % |
645.12/645.12 c | 105515 | 13605 56336 169131 | 2147483647 105499 29 | 1.868 % |
646.62/646.67 c | 105691 | 13605 56336 169131 | 2147483647 105675 29 | 1.868 % |
648.22/648.24 c | 105884 | 13605 56336 169131 | 2147483647 105868 29 | 1.868 % |
649.82/649.89 c | 106096 | 13605 56336 169131 | 2147483647 106080 29 | 1.868 % |
651.82/651.83 c | 106329 | 13605 56336 169131 | 2147483647 106313 29 | 1.868 % |
654.02/654.04 c | 106586 | 13605 56336 169131 | 2147483647 106570 29 | 1.868 % |
656.22/656.26 c | 106867 | 13605 56336 169131 | 2147483647 106851 29 | 1.868 % |
658.72/658.77 c | 107177 | 13605 56336 169131 | 2147483647 107161 29 | 1.868 % |
661.13/661.18 c | 107516 | 13605 56336 169131 | 2147483647 107500 29 | 1.868 % |
664.02/664.10 c | 107889 | 13605 56336 169131 | 2147483647 107873 29 | 1.868 % |
667.12/667.15 c | 108299 | 13605 56336 169131 | 2147483647 108283 29 | 1.868 % |
670.42/670.49 c | 108749 | 13605 56336 169131 | 2147483647 108733 29 | 1.868 % |
674.62/674.64 c | 109245 | 13605 56336 169131 | 2147483647 109229 29 | 1.868 % |
677.32/677.34 c | 109787 | 13605 56336 169131 | 2147483647 109771 29 | 1.868 % |
680.82/680.87 c | 110383 | 13605 56336 169131 | 2147483647 110367 29 | 1.868 % |
685.92/685.97 c | 111039 | 13605 56336 169131 | 2147483647 111023 29 | 1.868 % |
691.93/691.96 c | 111759 | 13605 56336 169131 | 2147483647 111743 29 | 1.868 % |
697.73/697.81 c | 112552 | 13605 56336 169131 | 2147483647 112536 29 | 1.868 % |
704.13/704.18 c | 113423 | 13605 56336 169131 | 2147483647 113407 29 | 1.868 % |
710.83/710.91 c | 114382 | 13605 56336 169131 | 2147483647 114366 29 | 1.868 % |
718.93/718.99 c | 115435 | 13605 56336 169131 | 2147483647 115419 29 | 1.868 % |
727.83/727.88 c | 116594 | 13605 56336 169131 | 2147483647 116578 29 | 1.868 % |
738.13/738.17 c | 117868 | 13605 56336 169131 | 2147483647 117852 29 | 1.868 % |
738.83/738.89 c | 117969 | 13605 56336 169131 | 2147483647 117953 29 | 1.868 % |
739.73/739.78 c | 118080 | 13605 56336 169131 | 2147483647 118064 29 | 1.868 % |
740.83/740.83 c | 118201 | 13605 56336 169131 | 2147483647 118185 29 | 1.868 % |
741.93/741.92 c | 118335 | 13605 56336 169131 | 2147483647 118319 29 | 1.868 % |
743.23/743.25 c | 118482 | 13605 56336 169131 | 2147483647 118466 29 | 1.868 % |
744.43/744.49 c | 118642 | 13605 56336 169131 | 2147483647 118626 29 | 1.868 % |
745.73/745.75 c | 118818 | 13605 56336 169131 | 2147483647 118802 29 | 1.868 % |
747.23/747.29 c | 119011 | 13605 56336 169131 | 2147483647 118995 29 | 1.868 % |
749.03/749.10 c | 119226 | 13605 56336 169131 | 2147483647 119210 29 | 1.868 % |
751.03/751.08 c | 119460 | 13605 56336 169131 | 2147483647 119444 29 | 1.868 % |
753.13/753.13 c | 119716 | 13605 56336 169131 | 2147483647 119700 29 | 1.868 % |
755.43/755.47 c | 119997 | 13605 56336 169131 | 2147483647 119981 29 | 1.868 % |
757.93/757.97 c | 120307 | 13605 56336 169131 | 2147483647 120291 29 | 1.868 % |
760.93/760.96 c | 120646 | 13605 56336 169131 | 2147483647 120630 29 | 1.868 % |
764.43/764.48 c | 121018 | 13605 56336 169131 | 2147483647 121002 29 | 1.868 % |
768.13/768.21 c | 121429 | 13605 56336 169131 | 2147483647 121413 29 | 1.868 % |
772.13/772.14 c | 121878 | 13605 56336 169131 | 2147483647 121862 29 | 1.868 % |
776.64/776.69 c | 122371 | 13605 56336 169131 | 2147483647 122355 29 | 1.868 % |
781.13/781.17 c | 122913 | 13605 56336 169131 | 2147483647 122897 29 | 1.868 % |
786.33/786.33 c | 123509 | 13605 56336 169131 | 2147483647 123493 29 | 1.868 % |
792.23/792.27 c | 124165 | 13605 56336 169131 | 2147483647 124149 29 | 1.868 % |
798.43/798.44 c | 124885 | 13605 56336 169131 | 2147483647 124869 29 | 1.868 % |
804.43/804.48 c | 125678 | 13605 56336 169131 | 2147483647 125662 29 | 1.868 % |
811.14/811.17 c | 126549 | 13605 56336 169131 | 2147483647 126533 29 | 1.868 % |
819.64/819.69 c | 127507 | 13605 56336 169131 | 2147483647 127491 29 | 1.868 % |
828.54/828.60 c | 128561 | 13605 56336 169131 | 2147483647 128545 29 | 1.868 % |
837.84/837.91 c | 129720 | 13605 56336 169131 | 2147483647 129704 29 | 1.868 % |
847.64/847.64 c | 130994 | 13605 56336 169131 | 2147483647 130978 29 | 1.868 % |
859.53/859.51 c | 132394 | 13605 56336 169131 | 2147483647 132378 29 | 1.868 % |
860.43/860.43 c | 132494 | 13605 56336 169131 | 2147483647 132478 29 | 1.868 % |
861.33/861.39 c | 132606 | 13605 56336 169131 | 2147483647 132590 29 | 1.868 % |
862.43/862.46 c | 132728 | 13605 56336 169131 | 2147483647 132712 29 | 1.868 % |
863.63/863.65 c | 132863 | 13605 56336 169131 | 2147483647 132847 29 | 1.868 % |
864.73/864.77 c | 133010 | 13605 56336 169131 | 2147483647 132994 29 | 1.868 % |
866.13/866.17 c | 133171 | 13605 56336 169131 | 2147483647 133155 29 | 1.868 % |
867.63/867.65 c | 133348 | 13605 56336 169131 | 2147483647 133332 29 | 1.868 % |
869.03/869.06 c | 133542 | 13605 56336 169131 | 2147483647 133526 29 | 1.868 % |
870.83/870.84 c | 133755 | 13605 56336 169131 | 2147483647 133739 29 | 1.868 % |
873.03/873.04 c | 133988 | 13605 56336 169131 | 2147483647 133972 29 | 1.868 % |
874.93/874.94 c | 134245 | 13605 56336 169131 | 2147483647 134229 29 | 1.868 % |
877.63/877.66 c | 134527 | 13605 56336 169131 | 2147483647 134511 29 | 1.868 % |
880.63/880.61 c | 134837 | 13605 56336 169131 | 2147483647 134821 29 | 1.868 % |
883.13/883.16 c | 135177 | 13605 56336 169131 | 2147483647 135161 29 | 1.868 % |
886.33/886.31 c | 135550 | 13605 56336 169131 | 2147483647 135534 29 | 1.868 % |
889.43/889.41 c | 135959 | 13605 56336 169131 | 2147483647 135943 29 | 1.868 % |
893.03/893.08 c | 136409 | 13605 56336 169131 | 2147483647 136393 29 | 1.868 % |
896.03/896.08 c | 136902 | 13605 56336 169131 | 2147483647 136886 29 | 1.868 % |
900.73/900.76 c | 137444 | 13605 56336 169131 | 2147483647 137428 29 | 1.868 % |
905.63/905.69 c | 138041 | 13605 56336 169131 | 2147483647 138025 29 | 1.868 % |
912.03/912.04 c | 138696 | 13605 56336 169131 | 2147483647 138680 29 | 1.868 % |
918.54/918.56 c | 139416 | 13605 56336 169131 | 2147483647 139400 29 | 1.868 % |
925.94/925.94 c | 140208 | 13605 56336 169131 | 2147483647 140192 29 | 1.868 % |
933.74/933.74 c | 141079 | 13605 56336 169131 | 2147483647 141063 29 | 1.868 % |
942.74/942.80 c | 142037 | 13605 56336 169131 | 2147483647 142021 29 | 1.868 % |
951.94/951.97 c | 143090 | 13605 56336 169131 | 2147483647 143074 29 | 1.868 % |
961.74/961.76 c | 144248 | 13605 56336 169131 | 2147483647 144232 29 | 1.868 % |
973.14/973.14 c | 145521 | 13605 56336 169131 | 2147483647 145505 29 | 1.868 % |
984.94/985.00 c | 146922 | 13605 56336 169131 | 2147483647 146906 29 | 1.868 % |
998.74/998.74 c | 148462 | 13605 56336 169131 | 2147483647 148446 29 | 1.868 % |
999.64/999.67 c | 148564 | 13605 56336 169131 | 2147483647 148548 29 | 1.868 % |
1000.74/1000.71 c | 148674 | 13605 56336 169131 | 2147483647 148658 29 | 1.868 % |
1001.64/1001.67 c | 148797 | 13605 56336 169131 | 2147483647 148781 29 | 1.868 % |
1003.04/1003.03 c | 148931 | 13605 56336 169131 | 2147483647 148915 29 | 1.868 % |
1004.44/1004.42 c | 149077 | 13605 56336 169131 | 2147483647 149061 29 | 1.868 % |
1005.74/1005.76 c | 149237 | 13605 56336 169131 | 2147483647 149221 29 | 1.868 % |
1007.44/1007.48 c | 149413 | 13605 56336 169131 | 2147483647 149397 28 | 1.868 % |
1009.44/1009.44 c | 149607 | 13605 56336 169131 | 2147483647 149591 28 | 1.868 % |
1011.34/1011.32 c | 149819 | 13605 56336 169131 | 2147483647 149803 28 | 1.868 % |
1013.24/1013.21 c | 150052 | 13605 56336 169131 | 2147483647 150036 28 | 1.868 % |
1015.24/1015.27 c | 150310 | 13605 56336 169131 | 2147483647 150294 29 | 1.868 % |
1017.94/1017.93 c | 150592 | 13605 56336 169131 | 2147483647 150576 29 | 1.868 % |
1020.85/1020.90 c | 150902 | 13605 56336 169131 | 2147483647 150886 29 | 1.868 % |
1024.03/1024.08 c | 151242 | 13605 56336 169131 | 2147483647 151226 28 | 1.868 % |
1027.73/1027.80 c | 151615 | 13605 56336 169131 | 2147483647 151599 28 | 1.868 % |
1032.03/1032.02 c | 152026 | 13605 56336 169131 | 2147483647 152010 28 | 1.868 % |
1036.44/1036.50 c | 152476 | 13605 56336 169131 | 2147483647 152460 28 | 1.868 % |
1041.14/1041.19 c | 152969 | 13605 56336 169131 | 2147483647 152953 28 | 1.868 % |
1046.04/1046.10 c | 153511 | 13605 56336 169131 | 2147483647 153495 28 | 1.868 % |
1051.84/1051.89 c | 154108 | 13605 56336 169131 | 2147483647 154092 28 | 1.868 % |
1057.34/1057.31 c | 154764 | 13605 56336 169131 | 2147483647 154748 28 | 1.868 % |
1063.44/1063.42 c | 155484 | 13605 56336 169131 | 2147483647 155468 28 | 1.868 % |
1070.34/1070.40 c | 156277 | 13605 56336 169131 | 2147483647 156261 29 | 1.868 % |
1076.44/1076.43 c | 157150 | 13605 56336 169131 | 2147483647 157134 29 | 1.868 % |
1084.74/1084.72 c | 158108 | 13605 56336 169131 | 2147483647 158092 29 | 1.868 % |
1095.04/1095.05 c | 159162 | 13605 56336 169131 | 2147483647 159146 29 | 1.868 % |
1103.94/1103.96 c | 160320 | 13605 56336 169131 | 2147483647 160304 29 | 1.868 % |
1115.84/1115.85 c | 161594 | 13605 56336 169131 | 2147483647 161578 29 | 1.868 % |
1130.34/1130.37 c | 162995 | 13605 56336 169131 | 2147483647 162979 29 | 1.868 % |
1144.54/1144.57 c | 164537 | 13605 56336 169131 | 2147483647 164521 29 | 1.868 % |
1161.25/1161.31 c | 166232 | 13605 56336 169131 | 2147483647 166216 29 | 1.868 % |
1162.25/1162.28 c | 166332 | 13605 56336 169131 | 2147483647 166316 29 | 1.868 % |
1163.55/1163.55 c | 166443 | 13605 56336 169131 | 2147483647 166427 29 | 1.868 % |
1164.95/1165.00 c | 166564 | 13605 56336 169131 | 2147483647 166548 29 | 1.868 % |
1166.55/1166.61 c | 166699 | 13605 56336 169131 | 2147483647 166683 29 | 1.868 % |
1167.95/1167.94 c | 166845 | 13605 56336 169131 | 2147483647 166829 29 | 1.868 % |
1169.45/1169.45 c | 167005 | 13605 56336 169131 | 2147483647 166989 29 | 1.868 % |
1171.35/1171.33 c | 167183 | 13605 56336 169131 | 2147483647 167167 29 | 1.868 % |
1173.25/1173.26 c | 167376 | 13605 56336 169131 | 2147483647 167360 29 | 1.868 % |
1175.25/1175.24 c | 167588 | 13605 56336 169131 | 2147483647 167572 29 | 1.868 % |
1177.45/1177.45 c | 167822 | 13605 56336 169131 | 2147483647 167806 29 | 1.868 % |
1179.75/1179.72 c | 168079 | 13605 56336 169131 | 2147483647 168063 29 | 1.868 % |
1182.55/1182.52 c | 168361 | 13605 56336 169131 | 2147483647 168345 29 | 1.868 % |
1185.45/1185.48 c | 168670 | 13605 56336 169131 | 2147483647 168654 29 | 1.868 % |
1188.55/1188.55 c | 169010 | 13605 56336 169131 | 2147483647 168994 29 | 1.868 % |
1192.15/1192.21 c | 169383 | 13605 56336 169131 | 2147483647 169367 29 | 1.868 % |
1196.15/1196.21 c | 169792 | 13605 56336 169131 | 2147483647 169776 29 | 1.868 % |
1200.05/1200.02 HOME/SatELiteGTI: line 36: 1452 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-1821130-1242509665/watcher-1821130-1242509665 -o /tmp/evaluation-result-1821130-1242509665/solver-1821130-1242509665 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821130-1242509665.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.08 1.04 1.01 2/91 1446
/proc/meminfo: memFree=1157528/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2416 CPUtime=0
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 367 642 0 0 0 0 0 0 18 0 1 0 1015466867 2473984 277 4294967295 134512640 135169312 3217651680 3217650216 3085844206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1446/statm: 604 277 235 161 0 43 0
[pid=1450] ppid=1446 vsize=952 CPUtime=0.01
/proc/1450/stat : 1450 (SatELite_releas) R 1446 1446 9090 0 -1 4202496 121 0 0 0 1 0 0 0 18 0 1 0 1015466867 974848 57 4294967295 134512640 135223648 3218983200 3218981796 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1450/statm: 238 59 45 174 0 63 0
[startup+0.064644 s]
/proc/loadavg: 1.08 1.04 1.01 2/91 1446
/proc/meminfo: memFree=1157528/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2416 CPUtime=0
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 367 642 0 0 0 0 0 0 18 0 1 0 1015466867 2473984 277 4294967295 134512640 135169312 3217651680 3217650216 3085844206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1446/statm: 604 277 235 161 0 43 0
[pid=1450] ppid=1446 vsize=10096 CPUtime=0.07
/proc/1450/stat : 1450 (SatELite_releas) R 1446 1446 9090 0 -1 4202496 2342 0 0 0 5 2 0 0 18 0 1 0 1015466867 10338304 2277 4294967295 134512640 135223648 3218983200 3218981784 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1450/statm: 2524 2278 47 174 0 2349 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12512
[startup+0.114642 s]
/proc/loadavg: 1.08 1.04 1.01 2/91 1446
/proc/meminfo: memFree=1157528/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2416 CPUtime=0
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 367 642 0 0 0 0 0 0 18 0 1 0 1015466867 2473984 277 4294967295 134512640 135169312 3217651680 3217650216 3085844206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1446/statm: 604 277 235 161 0 43 0
[pid=1450] ppid=1446 vsize=13912 CPUtime=0.12
/proc/1450/stat : 1450 (SatELite_releas) R 1446 1446 9090 0 -1 4202496 3440 0 0 0 10 2 0 0 18 0 1 0 1015466867 14245888 3236 4294967295 134512640 135223648 3218983200 3218980868 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1450/statm: 3478 3236 73 174 0 3303 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16328
[startup+0.314631 s]
/proc/loadavg: 1.08 1.04 1.01 2/91 1446
/proc/meminfo: memFree=1157528/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2416 CPUtime=0
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 367 642 0 0 0 0 0 0 18 0 1 0 1015466867 2473984 277 4294967295 134512640 135169312 3217651680 3217650216 3085844206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1446/statm: 604 277 235 161 0 43 0
[pid=1450] ppid=1446 vsize=14512 CPUtime=0.32
/proc/1450/stat : 1450 (SatELite_releas) R 1446 1446 9090 0 -1 4202496 3604 0 0 0 29 3 0 0 18 0 1 0 1015466867 14860288 3400 4294967295 134512640 135223648 3218983200 3218981216 134586980 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1450/statm: 3628 3400 73 174 0 3453 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 16928
[startup+0.714612 s]
/proc/loadavg: 1.08 1.04 1.01 2/91 1446
/proc/meminfo: memFree=1157528/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2416 CPUtime=0
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 367 642 0 0 0 0 0 0 18 0 1 0 1015466867 2473984 277 4294967295 134512640 135169312 3217651680 3217650216 3085844206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1446/statm: 604 277 235 161 0 43 0
[pid=1450] ppid=1446 vsize=15716 CPUtime=0.72
/proc/1450/stat : 1450 (SatELite_releas) R 1446 1446 9090 0 -1 4202496 3791 0 0 0 69 3 0 0 18 0 1 0 1015466867 16093184 3587 4294967295 134512640 135223648 3218983200 3218981216 134586647 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1450/statm: 3929 3587 73 174 0 3754 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 18132
[startup+1.51459 s]
/proc/loadavg: 1.08 1.04 1.01 2/93 1451
/proc/meminfo: memFree=1138772/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 2420
[startup+3.12451 s]
/proc/loadavg: 1.08 1.04 1.01 2/93 1452
/proc/meminfo: memFree=1147824/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=6000 CPUtime=1.81
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 1371 0 0 0 180 1 0 0 20 0 1 0 1015466997 6144000 1306 4294967295 134512640 135215339 3219860048 3219858112 134537869 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1452/statm: 1500 1306 72 172 0 1327 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 8420
[startup+6.32435 s]
/proc/loadavg: 1.08 1.04 1.01 2/93 1452
/proc/meminfo: memFree=1147500/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=6000 CPUtime=4.99
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 1396 0 0 0 498 1 0 0 25 0 1 0 1015466997 6144000 1331 4294967295 134512640 135215339 3219860048 3219858336 134528688 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1452/statm: 1500 1331 72 172 0 1327 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 8420
[startup+12.724 s]
/proc/loadavg: 1.07 1.04 1.00 2/93 1453
/proc/meminfo: memFree=1147332/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=6264 CPUtime=11.39
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 1439 0 0 0 1138 1 0 0 25 0 1 0 1015466997 6414336 1374 4294967295 134512640 135215339 3219860048 3219858112 134538050 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1452/statm: 1566 1374 72 172 0 1393 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 8684
[startup+25.5234 s]
/proc/loadavg: 1.06 1.04 1.00 2/93 1455
/proc/meminfo: memFree=1146868/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=6664 CPUtime=24.19
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 1544 0 0 0 2418 1 0 0 25 0 1 0 1015466997 6823936 1479 4294967295 134512640 135215339 3219860048 3219858336 134528635 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1452/statm: 1666 1479 72 172 0 1493 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 9084
[startup+51.1222 s]
/proc/loadavg: 1.04 1.03 1.00 3/93 1639
/proc/meminfo: memFree=1145912/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=7480 CPUtime=49.79
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 1752 0 0 0 4978 1 0 0 25 0 1 0 1015466997 7659520 1687 4294967295 134512640 135215339 3219860048 3219858336 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1452/statm: 1870 1687 72 172 0 1697 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 9900
[startup+102.33 s]
/proc/loadavg: 1.01 1.02 1.00 4/94 1662
/proc/meminfo: memFree=1144480/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=8820 CPUtime=101
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 2092 0 0 0 10098 2 0 0 25 0 1 0 1015466997 9031680 2027 4294967295 134512640 135215339 3219860048 3219858336 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1452/statm: 2205 2027 72 172 0 2032 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 11240
[startup+162.307 s]
/proc/loadavg: 1.09 1.05 1.01 3/93 1835
/proc/meminfo: memFree=1142608/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=11000 CPUtime=160.98
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 2613 0 0 0 16096 2 0 0 25 0 1 0 1015466997 11264000 2548 4294967295 134512640 135215339 3219860048 3219858112 134538089 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1452/statm: 2750 2548 72 172 0 2577 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 13420
[startup+222.304 s]
/proc/loadavg: 1.03 1.04 1.00 2/93 2023
/proc/meminfo: memFree=1141004/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=12628 CPUtime=220.98
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 3033 0 0 0 22095 3 0 0 25 0 1 0 1015466997 12931072 2968 4294967295 134512640 135215339 3219860048 3219858112 134539375 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 3157 2968 72 172 0 2984 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 15048
[startup+282.311 s]
/proc/loadavg: 1.01 1.03 1.00 3/93 2214
/proc/meminfo: memFree=1139748/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=14196 CPUtime=280.99
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 3412 0 0 0 28095 4 0 0 25 0 1 0 1015466997 14536704 3347 4294967295 134512640 135215339 3219860048 3219858336 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 3549 3347 72 172 0 3376 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 16616
[startup+342.308 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 2401
/proc/meminfo: memFree=1137904/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=16068 CPUtime=340.99
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 3859 0 0 0 34095 4 0 0 25 0 1 0 1015466997 16453632 3794 4294967295 134512640 135215339 3219860048 3219858336 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 4017 3794 72 172 0 3844 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 18488
[startup+402.315 s]
################
# More data... #
################
[pid=1452] ppid=1446 vsize=19016 CPUtime=461.01
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 4587 0 0 0 46097 4 0 0 25 0 1 0 1015466997 19472384 4522 4294967295 134512640 135215339 3219860048 3219858336 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 4754 4522 72 172 0 4581 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 21436
[startup+522.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 2977
/proc/meminfo: memFree=1133564/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=20440 CPUtime=521
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 4953 0 0 0 52096 4 0 0 25 0 1 0 1015466997 20930560 4888 4294967295 134512640 135215339 3219860048 3219858336 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 5110 4888 72 172 0 4937 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 22860
[startup+582.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 3172
/proc/meminfo: memFree=1131936/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=22192 CPUtime=581.01
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 5330 0 0 0 58097 4 0 0 25 0 1 0 1015466997 22724608 5265 4294967295 134512640 135215339 3219860048 3219858336 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 5548 5265 72 172 0 5375 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 24612
[startup+642.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 3360
/proc/meminfo: memFree=1130960/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=23212 CPUtime=641.01
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 5589 0 0 0 64097 4 0 0 25 0 1 0 1015466997 23769088 5524 4294967295 134512640 135215339 3219860048 3219858112 134537869 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 5803 5524 72 172 0 5630 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 25632
[startup+702.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 3551
/proc/meminfo: memFree=1129712/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=24472 CPUtime=701.02
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 5897 0 0 0 70096 6 0 0 25 0 1 0 1015466997 25059328 5832 4294967295 134512640 135215339 3219860048 3219858336 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 6118 5832 72 172 0 5945 0
Current children cumulated CPU time (s) 702.33
Current children cumulated vsize (KiB) 26892
[startup+762.328 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 3744
/proc/meminfo: memFree=1128720/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=25612 CPUtime=761.03
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 6197 0 0 0 76097 6 0 0 25 0 1 0 1015466997 26226688 6132 4294967295 134512640 135215339 3219860048 3219858336 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 6403 6132 72 172 0 6230 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 28032
[startup+822.325 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 3952
/proc/meminfo: memFree=1127860/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=26624 CPUtime=821.03
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 6442 0 0 0 82097 6 0 0 25 0 1 0 1015466997 27262976 6377 4294967295 134512640 135215339 3219860048 3219858112 134539387 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 6656 6377 72 172 0 6483 0
Current children cumulated CPU time (s) 822.34
Current children cumulated vsize (KiB) 29044
[startup+882.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 4145
/proc/meminfo: memFree=1126604/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=27692 CPUtime=881.02
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 6705 0 0 0 88095 7 0 0 25 0 1 0 1015466997 28356608 6640 4294967295 134512640 135215339 3219860048 3219858336 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 6923 6640 72 172 0 6750 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 30112
[startup+942.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 4332
/proc/meminfo: memFree=1125256/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=29220 CPUtime=941.03
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 6993 0 0 0 94096 7 0 0 25 0 1 0 1015466997 29921280 6928 4294967295 134512640 135215339 3219860048 3219858336 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 7305 6928 72 172 0 7132 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 31640
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 4521
/proc/meminfo: memFree=1124380/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=29952 CPUtime=1001.03
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 7219 0 0 0 100096 7 0 0 25 0 1 0 1015466997 30670848 7154 4294967295 134512640 135215339 3219860048 3219858336 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 7488 7154 72 172 0 7315 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 32372
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 4707
/proc/meminfo: memFree=1123512/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=31152 CPUtime=1061.03
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 7482 0 0 0 106096 7 0 0 25 0 1 0 1015466997 31899648 7417 4294967295 134512640 135215339 3219860048 3219858336 134528721 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 7788 7417 72 172 0 7615 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 33572
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 4895
/proc/meminfo: memFree=1122280/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=32436 CPUtime=1121.03
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 7800 0 0 0 112094 9 0 0 25 0 1 0 1015466997 33214464 7735 4294967295 134512640 135215339 3219860048 3219858336 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 8109 7735 72 172 0 7936 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 34856
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 5085
/proc/meminfo: memFree=1121148/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=33320 CPUtime=1181.04
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 8042 0 0 0 118095 9 0 0 25 0 1 0 1015466997 34119680 7977 4294967295 134512640 135215339 3219860048 3219858336 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 8330 7977 72 172 0 8157 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 35740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 5268
/proc/meminfo: memFree=1120844/2074464 swapFree=1953004/1959888
[pid=1446] ppid=1444 vsize=2420 CPUtime=1.31
/proc/1446/stat : 1446 (SatELiteGTI) S 1444 1446 9090 0 -1 4194304 386 4807 0 0 0 0 126 5 18 0 1 0 1015466867 2478080 278 4294967295 134512640 135169312 3217651680 3217647896 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1446/statm: 605 278 235 161 0 44 0
[pid=1452] ppid=1446 vsize=33584 CPUtime=1198.74
/proc/1452/stat : 1452 (minisat_static) R 1446 1446 9090 0 -1 4202496 8113 0 0 0 119865 9 0 0 25 0 1 0 1015466997 34390016 8048 4294967295 134512640 135215339 3219860048 3219858336 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1452/statm: 8396 8048 72 172 0 8223 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 36004
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.06
CPU user time (s): 1199.91
CPU system time (s): 0.15
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 36004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.91
system time used= 0.15
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13582
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= 20
involuntary context switches= 1498
runsolver used 0.02 second user time and 0.03 second system time
The end
Begin job on tipi19 at 2009-05-16 23:34:25
IDJOB=1821130
IDBENCH=70848
IDSOLVER=657
FILE ID=tipi19/1821130-1242509665
PBS_JOBID=
Free space on /tmp= 9098 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-22-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821130-1242509665/watcher-1821130-1242509665 -o /tmp/evaluation-result-1821130-1242509665/solver-1821130-1242509665 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821130-1242509665.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 96596d59af0c6949ab68ac8c5abcf28b
RANDOM SEED= 2053933041
Linux tipi19 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.39
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1157792 kB
Buffers: 26544 kB
Cached: 800232 kB
SwapCached: 2992 kB
Active: 167492 kB
Inactive: 668912 kB
HighTotal: 1178688 kB
HighFree: 455612 kB
LowTotal: 895776 kB
LowFree: 702180 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 3108 kB
Writeback: 0 kB
AnonPages: 8896 kB
Mapped: 3272 kB
Slab: 71688 kB
PageTables: 596 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87784 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9098 MiB
End job on tipi19 at 2009-05-16 23:54:26