0.00/0.00 c Parsing...
1.31/1.33 c ==============================================================================
1.31/1.33 c | | ORIGINAL | LEARNT | |
1.31/1.33 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.31/1.33 c ==============================================================================
1.31/1.33 c | 0 | 1598300 4617402 | 479489 0 0 nan | 0.000 % |
15.51/15.52 c | 0 | 1545697 4776410 | -- 0 -- -- | -- | -52460/161443
15.51/15.52 c ==============================================================================
15.51/15.52 c Result : #vars: 83095 #clauses: 1545697 #literals: 4776410
15.51/15.52 c CPU time: 15.22 s
15.51/15.52 c ==============================================================================
17.11/17.12 c This is MiniSat 2.0 beta
17.11/17.12 c WARNING: for repeatability, setting FPU to use double precision
17.11/17.12 c ============================[ Problem Statistics ]=============================
17.11/17.12 c | |
17.11/17.12 c | Number of variables: 83095 |
17.11/17.12 c | Number of clauses: 1545697 |
18.11/18.11 c | Parsing time: 0.88 s |
18.11/18.19 c ============================[ Search Statistics ]==============================
18.11/18.19 c | Conflicts | ORIGINAL | LEARNT | Progress |
18.11/18.19 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
18.11/18.19 c ===============================================================================
18.11/18.19 c | 0 | 83095 1545697 4776410 | 515232 0 nan | 0.000 % |
18.72/18.73 c | 513 | 83095 1545697 4776410 | 515232 513 52 | 0.000 % |
19.21/19.29 c | 1025 | 83095 1545697 4776410 | 515232 1025 54 | 0.000 % |
19.82/19.84 c | 1538 | 83095 1545697 4776410 | 515232 1538 59 | 0.000 % |
20.71/20.75 c | 2565 | 83095 1545697 4776410 | 515232 2565 53 | 0.000 % |
21.11/21.13 c | 3079 | 83095 1545697 4776410 | 515232 3079 51 | 0.000 % |
21.51/21.58 c | 3592 | 83095 1545697 4776410 | 515232 3592 52 | 0.000 % |
22.41/22.45 c | 4619 | 83095 1545697 4776410 | 515232 4619 53 | 0.000 % |
23.02/23.08 c | 6671 | 83095 1545697 4776410 | 515232 6671 52 | 0.000 % |
23.22/23.27 c | 7183 | 83095 1545697 4776410 | 515232 7183 52 | 0.000 % |
23.52/23.51 c | 7696 | 83095 1545697 4776410 | 515232 7696 51 | 0.000 % |
24.02/24.10 c | 8720 | 83095 1545697 4776410 | 515232 8720 50 | 0.000 % |
24.42/24.43 c | 9232 | 83095 1545697 4776410 | 515232 9232 50 | 0.000 % |
24.72/24.78 c | 9744 | 83095 1545697 4776410 | 515232 9744 49 | 0.000 % |
25.02/25.06 c | 10772 | 83095 1545697 4776410 | 2147483647 10772 49 | 0.000 % |
26.22/26.24 c | 12821 | 83095 1545697 4776410 | 2147483647 12821 49 | 0.000 % |
28.02/28.02 c | 16918 | 83095 1545697 4776410 | 2147483647 16918 51 | 0.000 % |
28.22/28.26 c | 17430 | 83095 1545697 4776410 | 2147483647 17430 50 | 0.000 % |
28.52/28.57 c | 17943 | 83095 1545697 4776410 | 2147483647 17943 50 | 0.000 % |
29.02/29.05 c | 18967 | 83095 1545697 4776410 | 2147483647 18967 50 | 0.000 % |
29.22/29.30 c | 19480 | 83095 1545697 4776410 | 2147483647 19480 50 | 0.000 % |
29.52/29.54 c | 19992 | 83095 1545697 4776410 | 2147483647 19992 51 | 0.000 % |
30.22/30.27 c | 21017 | 83095 1545697 4776410 | 2147483647 21017 51 | 0.000 % |
31.32/31.36 c | 23065 | 83095 1545697 4776410 | 2147483647 23065 53 | 0.000 % |
31.82/31.82 c | 23578 | 83095 1545697 4776410 | 2147483647 23578 53 | 0.000 % |
32.22/32.26 c | 24092 | 83095 1545697 4776410 | 2147483647 24092 53 | 0.000 % |
33.22/33.21 c | 25118 | 83095 1545697 4776410 | 2147483647 25118 52 | 0.000 % |
33.52/33.52 c | 25630 | 83095 1545697 4776410 | 2147483647 25630 52 | 0.000 % |
33.72/33.80 c | 26142 | 83095 1545697 4776410 | 2147483647 26142 52 | 0.000 % |
34.22/34.25 c | 27167 | 83095 1545697 4776410 | 2147483647 27167 52 | 0.000 % |
35.22/35.23 c | 29215 | 83095 1545697 4776410 | 2147483647 29215 51 | 0.000 % |
37.22/37.31 c | 33313 | 83095 1545697 4776410 | 2147483647 33313 51 | 0.000 % |
40.72/40.79 c | 41505 | 83095 1545697 4776410 | 2147483647 41505 49 | 0.000 % |
41.22/41.21 c | 42017 | 83095 1545697 4776410 | 2147483647 42017 49 | 0.000 % |
41.62/41.62 c | 42529 | 83095 1545697 4776410 | 2147483647 42529 49 | 0.000 % |
42.32/42.33 c | 43553 | 83095 1545697 4776410 | 2147483647 43553 49 | 0.000 % |
42.82/42.83 c | 44066 | 83095 1545697 4776410 | 2147483647 44066 49 | 0.000 % |
43.22/43.29 c | 44578 | 83095 1545697 4776410 | 2147483647 44578 49 | 0.000 % |
43.72/43.72 c | 45605 | 83095 1545697 4776410 | 2147483647 45605 50 | 0.000 % |
44.82/44.84 c | 47653 | 83095 1545697 4776410 | 2147483647 47653 49 | 0.000 % |
45.02/45.09 c | 48165 | 83095 1545697 4776410 | 2147483647 48165 49 | 0.000 % |
45.22/45.29 c | 48677 | 83095 1545697 4776410 | 2147483647 48677 49 | 0.000 % |
45.72/45.75 c | 49704 | 83095 1545697 4776410 | 2147483647 49704 49 | 0.000 % |
46.02/46.03 c | 50216 | 83095 1545697 4776410 | 2147483647 50216 49 | 0.000 % |
46.32/46.34 c | 50730 | 83095 1545697 4776410 | 2147483647 50730 49 | 0.000 % |
46.72/46.79 c | 51754 | 83095 1545697 4776410 | 2147483647 51754 48 | 0.000 % |
47.42/47.46 c | 53802 | 83095 1545697 4776410 | 2147483647 53802 48 | 0.000 % |
49.32/49.39 c | 57899 | 83095 1545697 4776410 | 2147483647 57899 49 | 0.000 % |
49.72/49.79 c | 58413 | 83095 1545697 4776410 | 2147483647 58413 49 | 0.000 % |
50.12/50.13 c | 58926 | 83095 1545697 4776410 | 2147483647 58926 48 | 0.000 % |
51.12/51.16 c | 59950 | 83095 1545697 4776410 | 2147483647 59950 49 | 0.000 % |
51.62/51.69 c | 60462 | 83095 1545697 4776410 | 2147483647 60462 49 | 0.000 % |
52.12/52.16 c | 60975 | 83095 1545697 4776410 | 2147483647 60975 49 | 0.000 % |
52.92/52.93 c | 61999 | 83095 1545697 4776410 | 2147483647 61999 49 | 0.000 % |
54.82/54.81 c | 64047 | 83095 1545697 4776410 | 2147483647 64047 50 | 0.000 % |
55.32/55.37 c | 64560 | 83095 1545697 4776410 | 2147483647 64560 51 | 0.000 % |
56.02/56.02 c | 65073 | 83095 1545697 4776410 | 2147483647 65073 51 | 0.000 % |
56.82/56.84 c | 66097 | 83095 1545697 4776410 | 2147483647 66097 51 | 0.000 % |
57.42/57.43 c | 66610 | 83095 1545697 4776410 | 2147483647 66610 51 | 0.000 % |
58.02/58.08 c | 67122 | 83095 1545697 4776410 | 2147483647 67122 51 | 0.000 % |
58.72/58.79 c | 68147 | 83095 1545697 4776410 | 2147483647 68147 51 | 0.000 % |
60.92/60.93 c | 70196 | 83095 1545697 4776410 | 2147483647 70196 51 | 0.000 % |
62.82/62.87 c | 74293 | 83095 1545697 4776410 | 2147483647 74293 52 | 0.000 % |
65.72/65.74 c | 82485 | 83095 1545697 4776410 | 2147483647 82485 53 | 0.000 % |
72.92/72.92 c | 98871 | 83095 1545697 4776410 | 2147483647 98871 54 | 0.000 % |
73.62/73.64 c | 99387 | 83095 1545697 4776410 | 2147483647 99387 54 | 0.000 % |
74.02/74.08 c | 99901 | 83095 1545697 4776410 | 2147483647 99901 55 | 0.000 % |
75.02/75.05 c | 100928 | 83095 1545697 4776410 | 2147483647 100928 55 | 0.000 % |
75.72/75.73 c | 101441 | 83095 1545697 4776410 | 2147483647 101441 55 | 0.000 % |
76.32/76.40 c | 101954 | 83095 1545697 4776410 | 2147483647 101954 55 | 0.000 % |
77.22/77.30 c | 102978 | 83095 1545697 4776410 | 2147483647 102978 55 | 0.000 % |
79.62/79.70 c | 105029 | 83095 1545697 4776410 | 2147483647 105029 55 | 0.000 % |
80.52/80.55 c | 105541 | 83095 1545697 4776410 | 2147483647 105541 56 | 0.000 % |
81.52/81.51 c | 106056 | 83095 1545697 4776410 | 2147483647 106056 56 | 0.000 % |
82.82/82.83 c | 107081 | 83095 1545697 4776410 | 2147483647 107081 56 | 0.000 % |
83.62/83.68 c | 107593 | 83095 1545697 4776410 | 2147483647 107593 56 | 0.000 % |
84.22/84.30 c | 108105 | 83095 1545697 4776410 | 2147483647 108105 56 | 0.000 % |
84.62/84.65 c | 109131 | 83095 1545697 4776410 | 2147483647 109131 56 | 0.000 % |
86.22/86.28 c | 111179 | 83095 1545697 4776410 | 2147483647 111179 56 | 0.000 % |
89.13/89.20 c | 115278 | 83095 1545697 4776410 | 2147483647 115278 56 | 0.000 % |
89.82/89.90 c | 115792 | 83095 1545697 4776410 | 2147483647 115792 56 | 0.000 % |
90.32/90.32 c | 116305 | 83095 1545697 4776410 | 2147483647 116305 56 | 0.000 % |
91.92/91.97 c | 117329 | 83095 1545697 4776410 | 2147483647 117329 56 | 0.000 % |
92.62/92.65 c | 117841 | 83095 1545697 4776410 | 2147483647 117841 56 | 0.000 % |
93.22/93.21 c | 118353 | 83095 1545697 4776410 | 2147483647 118353 56 | 0.000 % |
94.82/94.87 c | 119377 | 83095 1545697 4776410 | 2147483647 119377 56 | 0.000 % |
96.83/96.86 c | 121425 | 83095 1545697 4776410 | 2147483647 121425 57 | 0.000 % |
97.62/97.66 c | 121938 | 83095 1545697 4776410 | 2147483647 121938 57 | 0.000 % |
98.92/98.95 c | 122454 | 83095 1545697 4776410 | 2147483647 122454 57 | 0.000 % |
100.62/100.65 c | 123478 | 83095 1545697 4776410 | 2147483647 123478 57 | 0.000 % |
101.52/101.59 c | 123993 | 83095 1545697 4776410 | 2147483647 123993 57 | 0.000 % |
101.92/101.95 c | 124505 | 83095 1545697 4776410 | 2147483647 124505 57 | 0.000 % |
103.32/103.36 c | 125529 | 83095 1545697 4776410 | 2147483647 125529 57 | 0.000 % |
105.12/105.19 c | 127577 | 83095 1545697 4776410 | 2147483647 127577 58 | 0.000 % |
109.02/109.08 c | 131673 | 83095 1545697 4776410 | 2147483647 131673 59 | 0.000 % |
117.02/117.07 c | 139866 | 83095 1545697 4776410 | 2147483647 139866 60 | 0.000 % |
117.62/117.65 c | 140378 | 83095 1545697 4776410 | 2147483647 140378 61 | 0.000 % |
118.12/118.15 c | 140891 | 83095 1545697 4776410 | 2147483647 140891 61 | 0.000 % |
119.32/119.39 c | 141917 | 83095 1545697 4776410 | 2147483647 141917 61 | 0.000 % |
119.82/119.89 c | 142433 | 83095 1545697 4776410 | 2147483647 142433 61 | 0.000 % |
120.32/120.33 c | 142946 | 83095 1545697 4776410 | 2147483647 142946 61 | 0.000 % |
121.12/121.14 c | 143972 | 83095 1545697 4776410 | 2147483647 143972 61 | 0.000 % |
122.82/122.85 c | 146020 | 83095 1545697 4776410 | 2147483647 146020 61 | 0.000 % |
123.52/123.53 c | 146532 | 83095 1545697 4776410 | 2147483647 146532 61 | 0.000 % |
123.92/123.98 c | 147045 | 83095 1545697 4776410 | 2147483647 147045 61 | 0.000 % |
125.02/125.07 c | 148070 | 83095 1545697 4776410 | 2147483647 148070 61 | 0.000 % |
125.52/125.55 c | 148582 | 83095 1545697 4776410 | 2147483647 148582 61 | 0.000 % |
126.53/126.56 c | 149094 | 83095 1545697 4776410 | 2147483647 149094 61 | 0.000 % |
127.32/127.36 c | 150118 | 83095 1545697 4776410 | 2147483647 150118 61 | 0.000 % |
129.72/129.80 c | 152166 | 83095 1545697 4776410 | 2147483647 152166 62 | 0.000 % |
134.62/134.66 c | 156262 | 83095 1545697 4776410 | 2147483647 156262 62 | 0.000 % |
135.22/135.22 c | 156774 | 83095 1545697 4776410 | 2147483647 156774 62 | 0.000 % |
136.23/136.27 c | 157286 | 83095 1545697 4776410 | 2147483647 157286 62 | 0.000 % |
137.83/137.88 c | 158311 | 83095 1545697 4776410 | 2147483647 158311 62 | 0.000 % |
138.13/138.21 c | 158824 | 83095 1545697 4776410 | 2147483647 158824 62 | 0.000 % |
138.93/138.99 c | 159336 | 83095 1545697 4776410 | 2147483647 159336 62 | 0.000 % |
140.03/140.08 c | 160360 | 83095 1545697 4776410 | 2147483647 160360 62 | 0.000 % |
141.13/141.20 c | 162410 | 83095 1545697 4776410 | 2147483647 162410 62 | 0.000 % |
141.53/141.54 c | 162923 | 83095 1545697 4776410 | 2147483647 162923 62 | 0.000 % |
142.53/142.61 c | 163435 | 83095 1545697 4776410 | 2147483647 163435 62 | 0.000 % |
143.43/143.49 c | 164459 | 83095 1545697 4776410 | 2147483647 164459 62 | 0.000 % |
144.13/144.19 c | 164971 | 83095 1545697 4776410 | 2147483647 164971 62 | 0.000 % |
144.93/145.00 c | 165483 | 83095 1545697 4776410 | 2147483647 165483 62 | 0.000 % |
146.73/146.75 c | 166507 | 83095 1545697 4776410 | 2147483647 166507 63 | 0.000 % |
149.33/149.33 c | 168555 | 83095 1545697 4776410 | 2147483647 168555 64 | 0.000 % |
152.33/152.41 c | 172651 | 83095 1545697 4776410 | 2147483647 172651 63 | 0.000 % |
159.13/159.13 c | 180844 | 83095 1545697 4776410 | 2147483647 180844 65 | 0.000 % |
167.73/167.75 c | 197228 | 83095 1545697 4776410 | 2147483647 197228 66 | 0.000 % |
196.22/196.27 c | 229996 | 83095 1545697 4776410 | 2147483647 229996 74 | 0.000 % |
197.02/197.02 c | 230508 | 83095 1545697 4776410 | 2147483647 230508 74 | 0.000 % |
198.22/198.25 c | 231022 | 83095 1545697 4776410 | 2147483647 231022 75 | 0.000 % |
199.42/199.49 c | 232046 | 83095 1545697 4776410 | 2147483647 232046 74 | 0.000 % |
200.52/200.54 c | 232558 | 83095 1545697 4776410 | 2147483647 232558 74 | 0.000 % |
201.22/201.21 c | 233070 | 83095 1545697 4776410 | 2147483647 233070 74 | 0.000 % |
202.82/202.82 c | 234094 | 83095 1545697 4776410 | 2147483647 234094 75 | 0.000 % |
205.32/205.33 c | 236142 | 83095 1545697 4776410 | 2147483647 236142 74 | 0.000 % |
206.02/206.00 c | 236657 | 83095 1545697 4776410 | 2147483647 236657 74 | 0.000 % |
207.22/207.26 c | 237169 | 83095 1545697 4776410 | 2147483647 237169 74 | 0.000 % |
208.52/208.52 c | 238195 | 83095 1545697 4776410 | 2147483647 238195 74 | 0.000 % |
209.52/209.51 c | 238707 | 83095 1545697 4776410 | 2147483647 238707 74 | 0.000 % |
209.92/209.93 c | 239220 | 83095 1545697 4776410 | 2147483647 239220 75 | 0.000 % |
211.02/211.03 c | 240245 | 83095 1545697 4776410 | 2147483647 240245 75 | 0.000 % |
213.12/213.19 c | 242293 | 83095 1545697 4776410 | 2147483647 242293 75 | 0.000 % |
218.12/218.10 c | 246389 | 83095 1545697 4776410 | 2147483647 246389 76 | 0.000 % |
218.82/218.86 c | 246901 | 83095 1545697 4776410 | 2147483647 246901 76 | 0.000 % |
219.22/219.29 c | 247413 | 83095 1545697 4776410 | 2147483647 247413 76 | 0.000 % |
220.72/220.72 c | 248437 | 83095 1545697 4776410 | 2147483647 248437 76 | 0.000 % |
221.02/221.08 c | 248950 | 83095 1545697 4776410 | 2147483647 248950 76 | 0.000 % |
221.42/221.45 c | 249462 | 83095 1545697 4776410 | 2147483647 249462 76 | 0.000 % |
223.02/223.07 c | 250486 | 83095 1545697 4776410 | 2147483647 250486 76 | 0.000 % |
225.42/225.44 c | 252534 | 83095 1545697 4776410 | 2147483647 252534 76 | 0.000 % |
225.92/225.94 c | 253046 | 83095 1545697 4776410 | 2147483647 253046 76 | 0.000 % |
226.63/226.63 c | 253559 | 83095 1545697 4776410 | 2147483647 253559 76 | 0.000 % |
227.73/227.80 c | 254583 | 83095 1545697 4776410 | 2147483647 254583 76 | 0.000 % |
228.32/228.39 c | 255096 | 83095 1545697 4776410 | 2147483647 255096 76 | 0.000 % |
228.72/228.78 c | 255609 | 83095 1545697 4776410 | 2147483647 255609 76 | 0.000 % |
229.52/229.59 c | 256633 | 83095 1545697 4776410 | 2147483647 256633 76 | 0.000 % |
231.22/231.23 c | 258682 | 83095 1545697 4776410 | 2147483647 258682 75 | 0.000 % |
234.12/234.14 c | 262779 | 83095 1545697 4776410 | 2147483647 262779 75 | 0.000 % |
239.62/239.66 c | 270973 | 83095 1545697 4776410 | 2147483647 270973 73 | 0.000 % |
240.02/240.05 c | 271486 | 83095 1545697 4776410 | 2147483647 271486 73 | 0.000 % |
240.32/240.39 c | 271998 | 83095 1545697 4776410 | 2147483647 271998 73 | 0.000 % |
241.02/241.09 c | 273022 | 83095 1545697 4776410 | 2147483647 273022 73 | 0.000 % |
241.52/241.52 c | 273534 | 83095 1545697 4776410 | 2147483647 273534 73 | 0.000 % |
241.92/241.95 c | 274047 | 83095 1545697 4776410 | 2147483647 274047 73 | 0.000 % |
242.62/242.62 c | 275071 | 83095 1545697 4776410 | 2147483647 275071 73 | 0.000 % |
244.32/244.37 c | 277120 | 83095 1545697 4776410 | 2147483647 277120 73 | 0.000 % |
244.72/244.76 c | 277634 | 83095 1545697 4776410 | 2147483647 277634 73 | 0.000 % |
245.22/245.29 c | 278147 | 83095 1545697 4776410 | 2147483647 278147 73 | 0.000 % |
246.02/246.03 c | 279171 | 83095 1545697 4776410 | 2147483647 279171 73 | 0.000 % |
246.52/246.53 c | 279683 | 83095 1545697 4776410 | 2147483647 279683 72 | 0.000 % |
246.92/246.96 c | 280196 | 83095 1545697 4776410 | 2147483647 280196 72 | 0.000 % |
247.72/247.75 c | 281220 | 83095 1545697 4776410 | 2147483647 281220 72 | 0.000 % |
249.13/249.15 c | 283268 | 83095 1545697 4776410 | 2147483647 283268 72 | 0.000 % |
252.13/252.16 c | 287364 | 83095 1545697 4776410 | 2147483647 287364 71 | 0.000 % |
252.53/252.57 c | 287876 | 83095 1545697 4776410 | 2147483647 287876 71 | 0.000 % |
252.93/253.00 c | 288388 | 83095 1545697 4776410 | 2147483647 288388 71 | 0.000 % |
253.93/253.98 c | 289412 | 83095 1545697 4776410 | 2147483647 289412 71 | 0.000 % |
254.43/254.46 c | 289925 | 83095 1545697 4776410 | 2147483647 289925 71 | 0.000 % |
254.93/254.99 c | 290438 | 83095 1545697 4776410 | 2147483647 290438 71 | 0.000 % |
255.73/255.75 c | 291464 | 83095 1545697 4776410 | 2147483647 291464 70 | 0.000 % |
257.63/257.62 c | 293512 | 83095 1545697 4776410 | 2147483647 293512 70 | 0.000 % |
258.03/258.08 c | 294024 | 83095 1545697 4776410 | 2147483647 294024 70 | 0.000 % |
258.53/258.60 c | 294536 | 83095 1545697 4776410 | 2147483647 294536 70 | 0.000 % |
259.33/259.40 c | 295560 | 83095 1545697 4776410 | 2147483647 295560 70 | 0.000 % |
259.83/259.83 c | 296072 | 83095 1545697 4776410 | 2147483647 296072 70 | 0.000 % |
260.23/260.29 c | 296584 | 83095 1545697 4776410 | 2147483647 296584 70 | 0.000 % |
261.83/261.88 c | 297608 | 83095 1545697 4776410 | 2147483647 297608 70 | 0.000 % |
264.83/264.84 c | 299656 | 83095 1545697 4776410 | 2147483647 299656 70 | 0.000 % |
269.43/269.44 c | 303752 | 83095 1545697 4776410 | 2147483647 303752 69 | 0.000 % |
276.53/276.59 c | 311944 | 83095 1545697 4776410 | 2147483647 311944 69 | 0.000 % |
291.73/291.80 c | 328329 | 83095 1545697 4776410 | 2147483647 328329 68 | 0.000 % |
292.63/292.65 c | 328843 | 83095 1545697 4776410 | 2147483647 328843 68 | 0.000 % |
293.23/293.30 c | 329355 | 83095 1545697 4776410 | 2147483647 329355 68 | 0.000 % |
294.03/294.10 c | 330379 | 83095 1545697 4776410 | 2147483647 330379 68 | 0.000 % |
294.53/294.54 c | 330893 | 83095 1545697 4776410 | 2147483647 330893 68 | 0.000 % |
295.03/295.07 c | 331406 | 83095 1545697 4776410 | 2147483647 331406 68 | 0.000 % |
296.23/296.31 c | 332431 | 83095 1545697 4776410 | 2147483647 332431 68 | 0.000 % |
298.33/298.35 c | 334479 | 83095 1545697 4776410 | 2147483647 334479 68 | 0.000 % |
298.93/299.00 c | 334992 | 83095 1545697 4776410 | 2147483647 334992 68 | 0.000 % |
299.43/299.49 c | 335505 | 83095 1545697 4776410 | 2147483647 335505 68 | 0.000 % |
301.53/301.59 c | 336530 | 83095 1545697 4776410 | 2147483647 336530 68 | 0.000 % |
302.73/302.74 c | 337043 | 83095 1545697 4776410 | 2147483647 337043 68 | 0.000 % |
303.83/303.89 c | 337555 | 83095 1545697 4776410 | 2147483647 337555 68 | 0.000 % |
305.73/305.72 c | 338579 | 83095 1545697 4776410 | 2147483647 338579 68 | 0.000 % |
308.13/308.19 c | 340627 | 83095 1545697 4776410 | 2147483647 340627 68 | 0.000 % |
312.53/312.53 c | 344723 | 83095 1545697 4776410 | 2147483647 344723 68 | 0.000 % |
313.33/313.38 c | 345237 | 83095 1545697 4776410 | 2147483647 345237 68 | 0.000 % |
314.03/314.06 c | 345749 | 83095 1545697 4776410 | 2147483647 345749 68 | 0.000 % |
315.23/315.24 c | 346773 | 83095 1545697 4776410 | 2147483647 346773 68 | 0.000 % |
315.93/315.94 c | 347286 | 83095 1545697 4776410 | 2147483647 347286 68 | 0.000 % |
316.43/316.47 c | 347798 | 83095 1545697 4776410 | 2147483647 347798 68 | 0.000 % |
317.53/317.60 c | 348823 | 83095 1545697 4776410 | 2147483647 348823 68 | 0.000 % |
320.43/320.44 c | 350871 | 83095 1545697 4776410 | 2147483647 350871 68 | 0.000 % |
321.13/321.15 c | 351383 | 83095 1545697 4776410 | 2147483647 351383 68 | 0.000 % |
321.73/321.76 c | 351895 | 83095 1545697 4776410 | 2147483647 351895 68 | 0.000 % |
322.93/323.00 c | 352920 | 83095 1545697 4776410 | 2147483647 352920 68 | 0.000 % |
323.73/323.71 c | 353432 | 83095 1545697 4776410 | 2147483647 353432 68 | 0.000 % |
324.43/324.45 c | 353944 | 83095 1545697 4776410 | 2147483647 353944 68 | 0.000 % |
325.93/325.95 c | 354968 | 83095 1545697 4776410 | 2147483647 354968 68 | 0.000 % |
329.43/329.44 c | 357016 | 83095 1545697 4776410 | 2147483647 357016 68 | 0.000 % |
333.13/333.18 c | 361113 | 83095 1545697 4776410 | 2147483647 361113 69 | 0.000 % |
340.43/340.46 c | 369308 | 83095 1545697 4776410 | 2147483647 369308 69 | 0.000 % |
340.73/340.77 c | 369822 | 83095 1545697 4776410 | 2147483647 369822 69 | 0.000 % |
341.73/341.73 c | 370335 | 83095 1545697 4776410 | 2147483647 370335 69 | 0.000 % |
343.13/343.20 c | 371361 | 83095 1545697 4776410 | 2147483647 371361 69 | 0.000 % |
344.03/344.01 c | 371873 | 83095 1545697 4776410 | 2147483647 371873 69 | 0.000 % |
344.73/344.72 c | 372389 | 83095 1545697 4776410 | 2147483647 372389 69 | 0.000 % |
346.33/346.33 c | 373415 | 83095 1545697 4776410 | 2147483647 373415 69 | 0.000 % |
348.74/348.79 c | 375465 | 83095 1545697 4776410 | 2147483647 375465 69 | 0.000 % |
349.43/349.44 c | 375977 | 83095 1545697 4776410 | 2147483647 375977 69 | 0.000 % |
350.43/350.41 c | 376490 | 83095 1545697 4776410 | 2147483647 376490 69 | 0.000 % |
351.83/351.86 c | 377517 | 83095 1545697 4776410 | 2147483647 377517 69 | 0.000 % |
352.73/352.81 c | 378029 | 83095 1545697 4776410 | 2147483647 378029 69 | 0.000 % |
353.63/353.64 c | 378541 | 83095 1545697 4776410 | 2147483647 378541 69 | 0.000 % |
355.43/355.49 c | 379566 | 83095 1545697 4776410 | 2147483647 379566 70 | 0.000 % |
359.33/359.37 c | 381614 | 83095 1545697 4776410 | 2147483647 381614 70 | 0.000 % |
362.34/362.38 c | 385712 | 83095 1545697 4776410 | 2147483647 385712 70 | 0.000 % |
362.94/363.00 c | 386224 | 83095 1545697 4776410 | 2147483647 386224 69 | 0.000 % |
364.54/364.58 c | 386736 | 83095 1545697 4776410 | 2147483647 386736 69 | 0.000 % |
365.64/365.69 c | 387760 | 83095 1545697 4776410 | 2147483647 387760 70 | 0.000 % |
366.34/366.36 c | 388272 | 83095 1545697 4776410 | 2147483647 388272 70 | 0.000 % |
367.14/367.21 c | 388784 | 83095 1545697 4776410 | 2147483647 388784 70 | 0.000 % |
369.04/369.08 c | 389809 | 83095 1545697 4776410 | 2147483647 389809 70 | 0.000 % |
370.74/370.77 c | 391857 | 83095 1545697 4776410 | 2147483647 391857 70 | 0.000 % |
371.84/371.89 c | 392370 | 83095 1545697 4776410 | 2147483647 392370 70 | 0.000 % |
372.94/372.93 c | 392884 | 83095 1545697 4776410 | 2147483647 392884 70 | 0.000 % |
373.94/373.96 c | 393909 | 83095 1545697 4776410 | 2147483647 393909 71 | 0.000 % |
374.84/374.83 c | 394421 | 83095 1545697 4776410 | 2147483647 394421 71 | 0.000 % |
375.64/375.69 c | 394935 | 83095 1545697 4776410 | 2147483647 394935 71 | 0.000 % |
376.94/376.92 c | 395959 | 83095 1545697 4776410 | 2147483647 395959 71 | 0.000 % |
378.94/379.01 c | 398007 | 83095 1545697 4776410 | 2147483647 398007 71 | 0.000 % |
384.44/384.45 c | 402103 | 83095 1545697 4776410 | 2147483647 402103 72 | 0.000 % |
393.04/393.09 c | 410295 | 83095 1545697 4776410 | 2147483647 410295 72 | 0.000 % |
412.24/412.23 c | 426679 | 83095 1545697 4776410 | 2147483647 426679 73 | 0.000 % |
449.44/449.50 c | 459448 | 83095 1545697 4776410 | 2147483647 459448 77 | 0.000 % |
529.55/529.57 c | 524984 | 83095 1545697 4776410 | 2147483647 524984 87 | 0.000 % |
530.35/530.40 c | 525496 | 83095 1545697 4776410 | 2147483647 525496 87 | 0.000 % |
531.45/531.48 c | 526008 | 83095 1545697 4776410 | 2147483647 526008 87 | 0.000 % |
533.35/533.37 c | 527032 | 83095 1545697 4776410 | 2147483647 527032 87 | 0.000 % |
534.25/534.30 c | 527544 | 83095 1545697 4776410 | 2147483647 527544 87 | 0.000 % |
535.85/535.86 c | 528058 | 83095 1545697 4776410 | 2147483647 528058 87 | 0.000 % |
538.14/538.17 c | 529082 | 83095 1545697 4776410 | 2147483647 529082 87 | 0.000 % |
543.45/543.43 c | 531130 | 83095 1545697 4776410 | 2147483647 531130 87 | 0.000 % |
544.55/544.53 c | 531642 | 83095 1545697 4776410 | 2147483647 531642 87 | 0.000 % |
545.04/545.08 c | 532155 | 83095 1545697 4776410 | 2147483647 532155 87 | 0.000 % |
546.04/546.04 c | 533179 | 83095 1545697 4776410 | 2147483647 533179 87 | 0.000 % |
547.24/547.28 c | 533692 | 83095 1545697 4776410 | 2147483647 533692 87 | 0.000 % |
548.74/548.77 c | 534205 | 83095 1545697 4776410 | 2147483647 534205 87 | 0.000 % |
550.14/550.15 c | 535229 | 83095 1545697 4776410 | 2147483647 535229 87 | 0.000 % |
551.74/551.73 c | 537277 | 83095 1545697 4776410 | 2147483647 537277 87 | 0.000 % |
558.44/558.43 c | 541373 | 83095 1545697 4776410 | 2147483647 541373 87 | 0.000 % |
559.24/559.24 c | 541886 | 83095 1545697 4776410 | 2147483647 541886 87 | 0.000 % |
560.54/560.51 c | 542404 | 83095 1545697 4776410 | 2147483647 542404 87 | 0.000 % |
562.04/562.07 c | 543428 | 83095 1545697 4776410 | 2147483647 543428 87 | 0.000 % |
563.14/563.14 c | 543940 | 83095 1545697 4776410 | 2147483647 543940 87 | 0.000 % |
563.84/563.83 c | 544454 | 83095 1545697 4776410 | 2147483647 544454 87 | 0.000 % |
564.94/564.96 c | 545478 | 83095 1545697 4776410 | 2147483647 545478 87 | 0.000 % |
569.14/569.16 c | 547534 | 83095 1545697 4776410 | 2147483647 547534 87 | 0.000 % |
570.14/570.18 c | 548046 | 83095 1545697 4776410 | 2147483647 548046 87 | 0.000 % |
571.34/571.34 c | 548558 | 83095 1545697 4776410 | 2147483647 548558 88 | 0.000 % |
573.24/573.27 c | 549585 | 83095 1545697 4776410 | 2147483647 549585 88 | 0.000 % |
574.94/574.91 c | 550097 | 83095 1545697 4776410 | 2147483647 550097 88 | 0.000 % |
576.84/576.82 c | 550609 | 83095 1545697 4776410 | 2147483647 550609 87 | 0.000 % |
579.44/579.42 c | 551633 | 83095 1545697 4776410 | 2147483647 551633 88 | 0.000 % |
582.64/582.61 c | 553681 | 83095 1545697 4776410 | 2147483647 553681 88 | 0.000 % |
589.15/589.16 c | 557777 | 83095 1545697 4776410 | 2147483647 557777 88 | 0.000 % |
602.35/602.37 c | 565969 | 83095 1545697 4776410 | 2147483647 565969 90 | 0.000 % |
603.25/603.25 c | 566483 | 83095 1545697 4776410 | 2147483647 566483 90 | 0.000 % |
604.25/604.30 c | 566996 | 83095 1545697 4776410 | 2147483647 566996 90 | 0.000 % |
606.45/606.42 c | 568021 | 83095 1545697 4776410 | 2147483647 568021 90 | 0.000 % |
607.85/607.82 c | 568533 | 83095 1545697 4776410 | 2147483647 568533 90 | 0.000 % |
609.25/609.24 c | 569045 | 83095 1545697 4776410 | 2147483647 569045 90 | 0.000 % |
611.25/611.30 c | 570069 | 83095 1545697 4776410 | 570000 570069 90 | 0.000 % |
624.05/624.10 c | 572117 | 83095 1545697 4776410 | 570000 500718 95 | 0.000 % |
625.05/625.04 c | 572629 | 83095 1545697 4776410 | 570000 501230 95 | 0.000 % |
625.85/625.90 c | 573142 | 83095 1545697 4776410 | 570000 501743 95 | 0.000 % |
627.45/627.49 c | 574166 | 83095 1545697 4776410 | 570000 502767 95 | 0.000 % |
628.15/628.13 c | 574678 | 83095 1545697 4776410 | 570000 503279 95 | 0.000 % |
628.95/628.95 c | 575193 | 83095 1545697 4776410 | 570000 503794 95 | 0.000 % |
630.15/630.14 c | 576218 | 83095 1545697 4776410 | 570000 504819 95 | 0.000 % |
632.55/632.59 c | 578266 | 83095 1545697 4776410 | 570000 506867 95 | 0.000 % |
637.25/637.24 c | 582362 | 83095 1545697 4776410 | 2147483647 510963 95 | 0.000 % |
637.85/637.87 c | 582877 | 83095 1545697 4776410 | 2147483647 511478 95 | 0.000 % |
638.65/638.63 c | 583390 | 83095 1545697 4776410 | 2147483647 511991 95 | 0.000 % |
639.55/639.60 c | 584415 | 83095 1545697 4776410 | 2147483647 513016 95 | 0.000 % |
640.65/640.63 c | 584928 | 83095 1545697 4776410 | 2147483647 513529 95 | 0.000 % |
641.45/641.44 c | 585440 | 83095 1545697 4776410 | 2147483647 514041 95 | 0.000 % |
642.35/642.38 c | 586464 | 83095 1545697 4776410 | 2147483647 515065 94 | 0.000 % |
644.85/644.89 c | 588512 | 83095 1545697 4776410 | 2147483647 517113 94 | 0.000 % |
645.95/645.95 c | 589025 | 83095 1545697 4776410 | 2147483647 517626 94 | 0.000 % |
646.75/646.79 c | 589537 | 83095 1545697 4776410 | 2147483647 518138 95 | 0.000 % |
648.85/648.89 c | 590561 | 83095 1545697 4776410 | 2147483647 519162 95 | 0.000 % |
650.25/650.26 c | 591073 | 83095 1545697 4776410 | 2147483647 519674 95 | 0.000 % |
651.15/651.16 c | 591586 | 83095 1545697 4776410 | 2147483647 520187 95 | 0.000 % |
653.65/653.66 c | 592610 | 83095 1545697 4776410 | 2147483647 521211 95 | 0.000 % |
656.65/656.67 c | 594659 | 83095 1545697 4776410 | 2147483647 523260 94 | 0.000 % |
661.25/661.27 c | 598756 | 83095 1545697 4776410 | 2147483647 527357 95 | 0.000 % |
668.25/668.26 c | 606948 | 83095 1545697 4776410 | 2147483647 535549 95 | 0.000 % |
686.46/686.49 c | 623333 | 83095 1545697 4776410 | 2147483647 551934 94 | 0.000 % |
687.45/687.46 c | 623846 | 83095 1545697 4776410 | 2147483647 552447 94 | 0.000 % |
688.55/688.57 c | 624358 | 83095 1545697 4776410 | 2147483647 552959 94 | 0.000 % |
689.65/689.62 c | 625384 | 83095 1545697 4776410 | 2147483647 553985 94 | 0.000 % |
690.15/690.14 c | 625896 | 83095 1545697 4776410 | 2147483647 554497 94 | 0.000 % |
691.55/691.54 c | 626409 | 83095 1545697 4776410 | 2147483647 555010 94 | 0.000 % |
693.55/693.57 c | 627434 | 83095 1545697 4776410 | 2147483647 556035 94 | 0.000 % |
696.65/696.63 c | 629482 | 83095 1545697 4776410 | 2147483647 558083 94 | 0.000 % |
697.46/697.49 c | 629994 | 83095 1545697 4776410 | 2147483647 558595 94 | 0.000 % |
698.35/698.41 c | 630506 | 83095 1545697 4776410 | 2147483647 559107 94 | 0.000 % |
700.25/700.24 c | 631531 | 83095 1545697 4776410 | 2147483647 560132 94 | 0.000 % |
702.16/702.13 c | 632043 | 83095 1545697 4776410 | 2147483647 560644 94 | 0.000 % |
703.16/703.21 c | 632555 | 83095 1545697 4776410 | 2147483647 561156 94 | 0.000 % |
706.16/706.20 c | 633579 | 83095 1545697 4776410 | 2147483647 562180 94 | 0.000 % |
710.46/710.46 c | 635627 | 83095 1545697 4776410 | 2147483647 564228 94 | 0.000 % |
716.46/716.46 c | 639723 | 83095 1545697 4776410 | 2147483647 568324 95 | 0.000 % |
717.76/717.75 c | 640235 | 83095 1545697 4776410 | 2147483647 568836 95 | 0.000 % |
718.86/718.90 c | 640747 | 83095 1545697 4776410 | 2147483647 569348 95 | 0.000 % |
720.76/720.79 c | 641771 | 83095 1545697 4776410 | 2147483647 570372 95 | 0.000 % |
721.86/721.88 c | 642283 | 83095 1545697 4776410 | 2147483647 570884 95 | 0.000 % |
722.96/722.96 c | 642795 | 83095 1545697 4776410 | 2147483647 571396 95 | 0.000 % |
724.06/724.12 c | 643820 | 83095 1545697 4776410 | 2147483647 572421 95 | 0.000 % |
728.86/728.84 c | 645868 | 83095 1545697 4776410 | 2147483647 574469 95 | 0.000 % |
729.66/729.63 c | 646380 | 83095 1545697 4776410 | 2147483647 574981 95 | 0.000 % |
730.86/730.86 c | 646893 | 83095 1545697 4776410 | 2147483647 575494 95 | 0.000 % |
732.66/732.63 c | 647919 | 83095 1545697 4776410 | 2147483647 576520 96 | 0.000 % |
734.16/734.15 c | 648431 | 83095 1545697 4776410 | 2147483647 577032 96 | 0.000 % |
735.56/735.61 c | 648943 | 83095 1545697 4776410 | 2147483647 577544 96 | 0.000 % |
737.46/737.44 c | 649967 | 83095 1545697 4776410 | 2147483647 578568 96 | 0.000 % |
741.26/741.29 c | 652015 | 83095 1545697 4776410 | 2147483647 580616 96 | 0.000 % |
748.36/748.32 c | 656112 | 83095 1545697 4776410 | 2147483647 584713 95 | 0.000 % |
763.16/763.16 c | 664304 | 83095 1545697 4776410 | 2147483647 592905 96 | 0.000 % |
764.56/764.58 c | 664816 | 83095 1545697 4776410 | 2147483647 593417 96 | 0.000 % |
766.26/766.31 c | 665329 | 83095 1545697 4776410 | 2147483647 593930 96 | 0.000 % |
768.06/768.04 c | 666354 | 83095 1545697 4776410 | 2147483647 594955 96 | 0.000 % |
769.06/769.09 c | 666866 | 83095 1545697 4776410 | 2147483647 595467 96 | 0.000 % |
770.56/770.55 c | 667378 | 83095 1545697 4776410 | 2147483647 595979 96 | 0.000 % |
772.15/772.14 c | 668404 | 83095 1545697 4776410 | 2147483647 597005 97 | 0.000 % |
777.35/777.38 c | 670453 | 83095 1545697 4776410 | 598602 599054 97 | 0.000 % |
782.16/782.14 c | 670966 | 83095 1545697 4776410 | 598602 513997 99 | 0.000 % |
783.45/783.42 c | 671478 | 83095 1545697 4776410 | 598602 514509 99 | 0.000 % |
785.15/785.19 c | 672502 | 83095 1545697 4776410 | 598602 515533 99 | 0.000 % |
786.56/786.53 c | 673014 | 83095 1545697 4776410 | 598602 516045 99 | 0.000 % |
787.75/787.76 c | 673526 | 83095 1545697 4776410 | 598602 516557 99 | 0.000 % |
790.15/790.14 c | 674551 | 83095 1545697 4776410 | 598602 517582 99 | 0.000 % |
793.16/793.12 c | 676599 | 83095 1545697 4776410 | 598602 519630 99 | 0.000 % |
799.95/799.93 c | 680696 | 83095 1545697 4776410 | 523033 523727 100 | 0.000 % |
804.45/804.48 c | 681209 | 83095 1545697 4776410 | 523033 461868 105 | 0.000 % |
805.85/805.88 c | 681721 | 83095 1545697 4776410 | 523033 462380 105 | 0.000 % |
807.05/807.08 c | 682745 | 83095 1545697 4776410 | 523033 463404 105 | 0.000 % |
807.75/807.78 c | 683257 | 83095 1545697 4776410 | 523033 463916 105 | 0.000 % |
808.75/808.73 c | 683772 | 83095 1545697 4776410 | 523033 464431 105 | 0.000 % |
810.95/810.93 c | 684796 | 83095 1545697 4776410 | 523033 465455 105 | 0.000 % |
813.95/813.94 c | 686844 | 83095 1545697 4776410 | 523033 467503 105 | 0.000 % |
815.26/815.24 c | 687356 | 83095 1545697 4776410 | 523033 468015 105 | 0.000 % |
816.06/816.11 c | 687869 | 83095 1545697 4776410 | 523033 468528 105 | 0.000 % |
817.86/817.82 c | 688894 | 83095 1545697 4776410 | 523033 469553 105 | 0.000 % |
818.96/818.97 c | 689407 | 83095 1545697 4776410 | 523033 470066 105 | 0.000 % |
819.76/819.75 c | 689920 | 83095 1545697 4776410 | 523033 470579 105 | 0.000 % |
820.76/820.75 c | 690944 | 83095 1545697 4776410 | 2147483647 471603 105 | 0.000 % |
824.66/824.65 c | 692995 | 83095 1545697 4776410 | 2147483647 473654 106 | 0.000 % |
830.56/830.53 c | 697091 | 83095 1545697 4776410 | 2147483647 477750 106 | 0.000 % |
839.66/839.65 c | 705283 | 83095 1545697 4776410 | 2147483647 485942 105 | 0.000 % |
866.66/866.66 c | 721668 | 83095 1545697 4776410 | 500659 502327 106 | 0.000 % |
912.15/912.16 c | 754436 | 83095 1545697 4776410 | 2147483647 459559 103 | 0.000 % |
912.85/912.86 c | 754949 | 83095 1545697 4776410 | 2147483647 460072 103 | 0.000 % |
914.35/914.32 c | 755461 | 83095 1545697 4776410 | 2147483647 460584 103 | 0.000 % |
915.85/915.82 c | 756485 | 83095 1545697 4776410 | 2147483647 461608 103 | 0.000 % |
917.05/917.01 c | 756997 | 83095 1545697 4776410 | 2147483647 462120 103 | 0.000 % |
917.85/917.89 c | 757510 | 83095 1545697 4776410 | 2147483647 462633 103 | 0.000 % |
919.95/919.98 c | 758534 | 83095 1545697 4776410 | 2147483647 463657 103 | 0.000 % |
924.25/924.23 c | 760582 | 83095 1545697 4776410 | 2147483647 465705 103 | 0.000 % |
925.25/925.25 c | 761094 | 83095 1545697 4776410 | 2147483647 466217 103 | 0.000 % |
926.35/926.36 c | 761606 | 83095 1545697 4776410 | 2147483647 466729 103 | 0.000 % |
928.96/928.98 c | 762630 | 83095 1545697 4776410 | 2147483647 467753 103 | 0.000 % |
929.86/929.88 c | 763142 | 83095 1545697 4776410 | 2147483647 468265 103 | 0.000 % |
930.86/930.88 c | 763654 | 83095 1545697 4776410 | 2147483647 468777 103 | 0.000 % |
932.56/932.54 c | 764678 | 83095 1545697 4776410 | 2147483647 469801 103 | 0.000 % |
935.66/935.66 c | 766726 | 83095 1545697 4776410 | 2147483647 471849 103 | 0.000 % |
942.36/942.37 c | 770822 | 83095 1545697 4776410 | 2147483647 475945 103 | 0.000 % |
943.56/943.56 c | 771334 | 83095 1545697 4776410 | 2147483647 476457 103 | 0.000 % |
944.76/944.79 c | 771847 | 83095 1545697 4776410 | 2147483647 476970 103 | 0.000 % |
946.76/946.75 c | 772871 | 83095 1545697 4776410 | 2147483647 477994 103 | 0.000 % |
947.56/947.56 c | 773384 | 83095 1545697 4776410 | 2147483647 478507 103 | 0.000 % |
948.46/948.49 c | 773896 | 83095 1545697 4776410 | 2147483647 479019 103 | 0.000 % |
950.16/950.20 c | 774920 | 83095 1545697 4776410 | 2147483647 480043 103 | 0.000 % |
952.66/952.69 c | 776969 | 83095 1545697 4776410 | 2147483647 482092 103 | 0.000 % |
953.96/953.97 c | 777481 | 83095 1545697 4776410 | 2147483647 482604 103 | 0.000 % |
955.06/955.07 c | 777994 | 83095 1545697 4776410 | 2147483647 483117 103 | 0.000 % |
956.46/956.48 c | 779018 | 83095 1545697 4776410 | 2147483647 484141 103 | 0.000 % |
957.46/957.49 c | 779531 | 83095 1545697 4776410 | 2147483647 484654 103 | 0.000 % |
958.76/958.77 c | 780043 | 83095 1545697 4776410 | 2147483647 485166 103 | 0.000 % |
961.36/961.35 c | 781067 | 83095 1545697 4776410 | 2147483647 486190 103 | 0.000 % |
964.56/964.51 c | 783115 | 83095 1545697 4776410 | 2147483647 488238 103 | 0.000 % |
972.56/972.56 c | 787211 | 83095 1545697 4776410 | 2147483647 492334 104 | 0.000 % |
985.56/985.54 c | 795403 | 83095 1545697 4776410 | 2147483647 500526 104 | 0.000 % |
987.16/987.11 c | 795915 | 83095 1545697 4776410 | 2147483647 501038 104 | 0.000 % |
988.16/988.11 c | 796427 | 83095 1545697 4776410 | 2147483647 501550 104 | 0.000 % |
990.26/990.28 c | 797451 | 83095 1545697 4776410 | 2147483647 502574 104 | 0.000 % |
991.76/991.80 c | 797964 | 83095 1545697 4776410 | 2147483647 503087 104 | 0.000 % |
992.46/992.41 c | 798476 | 83095 1545697 4776410 | 2147483647 503599 104 | 0.000 % |
994.16/994.14 c | 799501 | 83095 1545697 4776410 | 2147483647 504624 104 | 0.000 % |
999.86/999.81 c | 801549 | 83095 1545697 4776410 | 2147483647 506672 104 | 0.000 % |
1001.16/1001.17 c | 802061 | 83095 1545697 4776410 | 2147483647 507184 104 | 0.000 % |
1002.26/1002.30 c | 802573 | 83095 1545697 4776410 | 2147483647 507696 104 | 0.000 % |
1003.96/1003.94 c | 803597 | 83095 1545697 4776410 | 2147483647 508720 104 | 0.000 % |
1004.86/1004.84 c | 804109 | 83095 1545697 4776410 | 2147483647 509232 104 | 0.000 % |
1005.56/1005.60 c | 804621 | 83095 1545697 4776410 | 2147483647 509744 104 | 0.000 % |
1006.66/1006.70 c | 805645 | 83095 1545697 4776410 | 2147483647 510768 104 | 0.000 % |
1009.16/1009.16 c | 807693 | 83095 1545697 4776410 | 2147483647 512816 104 | 0.000 % |
1013.46/1013.49 c | 811789 | 83095 1545697 4776410 | 2147483647 516912 103 | 0.000 % |
1014.27/1014.22 c | 812301 | 83095 1545697 4776410 | 2147483647 517424 103 | 0.000 % |
1014.96/1014.99 c | 812814 | 83095 1545697 4776410 | 2147483647 517937 103 | 0.000 % |
1016.16/1016.13 c | 813839 | 83095 1545697 4776410 | 2147483647 518962 103 | 0.000 % |
1016.86/1016.82 c | 814352 | 83095 1545697 4776410 | 2147483647 519475 103 | 0.000 % |
1017.46/1017.50 c | 814864 | 83095 1545697 4776410 | 2147483647 519987 103 | 0.000 % |
1018.86/1018.86 c | 815889 | 83095 1545697 4776410 | 2147483647 521012 103 | 0.000 % |
1021.16/1021.16 c | 817937 | 83095 1545697 4776410 | 2147483647 523060 103 | 0.000 % |
1021.97/1021.95 c | 818449 | 83095 1545697 4776410 | 2147483647 523572 103 | 0.000 % |
1022.56/1022.60 c | 818962 | 83095 1545697 4776410 | 2147483647 524085 103 | 0.000 % |
1023.76/1023.77 c | 819988 | 83095 1545697 4776410 | 2147483647 525111 103 | 0.000 % |
1024.46/1024.41 c | 820501 | 83095 1545697 4776410 | 2147483647 525624 103 | 0.000 % |
1025.06/1025.05 c | 821013 | 83095 1545697 4776410 | 2147483647 526136 103 | 0.000 % |
1026.66/1026.62 c | 822037 | 83095 1545697 4776410 | 2147483647 527160 103 | 0.000 % |
1028.86/1028.86 c | 824085 | 83095 1545697 4776410 | 2147483647 529208 103 | 0.000 % |
1035.96/1035.93 c | 828182 | 83095 1545697 4776410 | 2147483647 533305 102 | 0.000 % |
1040.97/1040.97 c | 836374 | 83095 1545697 4776410 | 2147483647 541497 103 | 0.000 % |
1059.27/1059.30 c | 852759 | 83095 1545697 4776410 | 555123 557882 104 | 0.000 % |
1066.27/1066.25 c | 853271 | 83095 1545697 4776410 | 555123 463516 107 | 0.000 % |
1067.67/1067.61 c | 853784 | 83095 1545697 4776410 | 555123 464029 107 | 0.000 % |
1069.57/1069.53 c | 854809 | 83095 1545697 4776410 | 555123 465054 107 | 0.000 % |
1070.87/1070.88 c | 855322 | 83095 1545697 4776410 | 555123 465567 107 | 0.000 % |
1072.47/1072.51 c | 855834 | 83095 1545697 4776410 | 555123 466079 106 | 0.000 % |
1074.27/1074.25 c | 856859 | 83095 1545697 4776410 | 555123 467104 106 | 0.000 % |
1078.07/1078.06 c | 858907 | 83095 1545697 4776410 | 555123 469152 106 | 0.000 % |
1078.87/1078.88 c | 859419 | 83095 1545697 4776410 | 555123 469664 106 | 0.000 % |
1079.47/1079.48 c | 859932 | 83095 1545697 4776410 | 555123 470177 106 | 0.000 % |
1081.17/1081.14 c | 860956 | 83095 1545697 4776410 | 2147483647 471201 106 | 0.000 % |
1082.17/1082.12 c | 861468 | 83095 1545697 4776410 | 2147483647 471713 106 | 0.000 % |
1083.27/1083.25 c | 861980 | 83095 1545697 4776410 | 2147483647 472225 106 | 0.000 % |
1084.57/1084.53 c | 863004 | 83095 1545697 4776410 | 2147483647 473249 106 | 0.000 % |
1087.47/1087.51 c | 865053 | 83095 1545697 4776410 | 2147483647 475298 107 | 0.000 % |
1092.97/1092.97 c | 869150 | 83095 1545697 4776410 | 2147483647 479395 107 | 0.000 % |
1093.97/1093.97 c | 869662 | 83095 1545697 4776410 | 2147483647 479907 107 | 0.000 % |
1094.67/1094.70 c | 870174 | 83095 1545697 4776410 | 2147483647 480419 107 | 0.000 % |
1095.77/1095.80 c | 871198 | 83095 1545697 4776410 | 2147483647 481443 107 | 0.000 % |
1096.37/1096.39 c | 871711 | 83095 1545697 4776410 | 2147483647 481956 107 | 0.000 % |
1097.27/1097.31 c | 872223 | 83095 1545697 4776410 | 2147483647 482468 107 | 0.000 % |
1098.17/1098.20 c | 873248 | 83095 1545697 4776410 | 2147483647 483493 106 | 0.000 % |
1100.17/1100.18 c | 875298 | 83095 1545697 4776410 | 2147483647 485543 106 | 0.000 % |
1101.07/1101.02 c | 875811 | 83095 1545697 4776410 | 2147483647 486056 106 | 0.000 % |
1101.47/1101.45 c | 876324 | 83095 1545697 4776410 | 2147483647 486569 106 | 0.000 % |
1102.47/1102.43 c | 877348 | 83095 1545697 4776410 | 2147483647 487593 106 | 0.000 % |
1103.07/1103.04 c | 877860 | 83095 1545697 4776410 | 2147483647 488105 106 | 0.000 % |
1103.47/1103.49 c | 878373 | 83095 1545697 4776410 | 2147483647 488618 106 | 0.000 % |
1104.77/1104.79 c | 879397 | 83095 1545697 4776410 | 2147483647 489642 106 | 0.000 % |
1106.87/1106.90 c | 881446 | 83095 1545697 4776410 | 2147483647 491691 105 | 0.000 % |
1110.37/1110.40 c | 885542 | 83095 1545697 4776410 | 2147483647 495787 105 | 0.000 % |
1123.87/1123.86 c | 893734 | 83095 1545697 4776410 | 2147483647 503979 108 | 0.000 % |
1125.38/1125.38 c | 894247 | 83095 1545697 4776410 | 2147483647 504492 108 | 0.000 % |
1126.77/1126.80 c | 894759 | 83095 1545697 4776410 | 2147483647 505004 108 | 0.000 % |
1129.57/1129.58 c | 895783 | 83095 1545697 4776410 | 2147483647 506028 108 | 0.000 % |
1130.57/1130.58 c | 896298 | 83095 1545697 4776410 | 2147483647 506543 108 | 0.000 % |
1131.77/1131.79 c | 896810 | 83095 1545697 4776410 | 2147483647 507055 108 | 0.000 % |
1133.67/1133.68 c | 897837 | 83095 1545697 4776410 | 2147483647 508082 108 | 0.000 % |
1136.57/1136.55 c | 899885 | 83095 1545697 4776410 | 2147483647 510130 108 | 0.000 % |
1137.57/1137.59 c | 900398 | 83095 1545697 4776410 | 2147483647 510643 108 | 0.000 % |
1138.58/1138.54 c | 900910 | 83095 1545697 4776410 | 2147483647 511155 108 | 0.000 % |
1140.57/1140.61 c | 901934 | 83095 1545697 4776410 | 2147483647 512179 108 | 0.000 % |
1142.07/1142.06 c | 902446 | 83095 1545697 4776410 | 2147483647 512691 108 | 0.000 % |
1143.47/1143.46 c | 902961 | 83095 1545697 4776410 | 2147483647 513206 108 | 0.000 % |
1144.87/1144.89 c | 903985 | 83095 1545697 4776410 | 2147483647 514230 108 | 0.000 % |
1148.17/1148.12 c | 906033 | 83095 1545697 4776410 | 2147483647 516278 108 | 0.000 % |
1153.17/1153.14 c | 910129 | 83095 1545697 4776410 | 2147483647 520374 108 | 0.000 % |
1153.98/1153.97 c | 910643 | 83095 1545697 4776410 | 2147483647 520888 108 | 0.000 % |
1154.58/1154.62 c | 911156 | 83095 1545697 4776410 | 2147483647 521401 108 | 0.000 % |
1156.18/1156.14 c | 912181 | 83095 1545697 4776410 | 2147483647 522426 108 | 0.000 % |
1156.68/1156.68 c | 912693 | 83095 1545697 4776410 | 2147483647 522938 108 | 0.000 % |
1157.58/1157.56 c | 913205 | 83095 1545697 4776410 | 2147483647 523450 108 | 0.000 % |
1159.78/1159.77 c | 914229 | 83095 1545697 4776410 | 2147483647 524474 108 | 0.000 % |
1163.28/1163.31 c | 916279 | 83095 1545697 4776410 | 2147483647 526524 107 | 0.000 % |
1164.28/1164.32 c | 916792 | 83095 1545697 4776410 | 2147483647 527037 107 | 0.000 % |
1165.68/1165.70 c | 917304 | 83095 1545697 4776410 | 2147483647 527549 107 | 0.000 % |
1167.18/1167.17 c | 918329 | 83095 1545697 4776410 | 2147483647 528574 107 | 0.000 % |
1167.88/1167.86 c | 918842 | 83095 1545697 4776410 | 2147483647 529087 107 | 0.000 % |
1169.08/1169.10 c | 919354 | 83095 1545697 4776410 | 2147483647 529599 107 | 0.000 % |
1170.38/1170.33 c | 920378 | 83095 1545697 4776410 | 2147483647 530623 107 | 0.000 % |
1173.28/1173.29 c | 922426 | 83095 1545697 4776410 | 2147483647 532671 107 | 0.000 % |
1178.58/1178.54 c | 926523 | 83095 1545697 4776410 | 2147483647 536768 107 | 0.000 % |
1193.98/1193.99 c | 934716 | 83095 1545697 4776410 | 2147483647 544961 110 | 0.000 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820669-1242465583/watcher-1820669-1242465583 -o /tmp/evaluation-result-1820669-1242465583/solver-1820669-1242465583 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820669-1242465583.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 23333
/proc/meminfo: memFree=1407556/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2412 CPUtime=0
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 368 642 0 0 0 0 0 0 25 0 1 0 1011059404 2469888 276 4294967295 134512640 135169312 3214787888 3214786424 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23333/statm: 603 276 235 161 0 42 0
[pid=23337] ppid=23333 vsize=952 CPUtime=0
/proc/23337/stat : 23337 (SatELite_releas) R 23333 23333 10114 0 -1 4202496 119 0 0 0 0 0 0 0 25 0 1 0 1011059405 974848 54 4294967295 134512640 135223648 3219577264 3219576196 134737406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23337/statm: 238 56 46 174 0 63 0
[startup+0.068237 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 23333
/proc/meminfo: memFree=1407556/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2412 CPUtime=0
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 368 642 0 0 0 0 0 0 25 0 1 0 1011059404 2469888 276 4294967295 134512640 135169312 3214787888 3214786424 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23333/statm: 603 276 235 161 0 42 0
[pid=23337] ppid=23333 vsize=7112 CPUtime=0.07
/proc/23337/stat : 23337 (SatELite_releas) R 23333 23333 10114 0 -1 4202496 1512 0 0 0 2 5 0 0 25 0 1 0 1011059405 7282688 1447 4294967295 134512640 135223648 3219577264 3219575764 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23337/statm: 1778 1447 46 174 0 1603 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9524
[startup+0.108235 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 23333
/proc/meminfo: memFree=1407556/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2412 CPUtime=0
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 368 642 0 0 0 0 0 0 25 0 1 0 1011059404 2469888 276 4294967295 134512640 135169312 3214787888 3214786424 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23333/statm: 603 276 235 161 0 42 0
[pid=23337] ppid=23333 vsize=10000 CPUtime=0.11
/proc/23337/stat : 23337 (SatELite_releas) R 23333 23333 10114 0 -1 4202496 2235 0 0 0 5 6 0 0 25 0 1 0 1011059405 10240000 2170 4294967295 134512640 135223648 3219577264 3219576216 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23337/statm: 2500 2170 46 174 0 2325 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12412
[startup+0.308225 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 23333
/proc/meminfo: memFree=1407556/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2412 CPUtime=0
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 368 642 0 0 0 0 0 0 25 0 1 0 1011059404 2469888 276 4294967295 134512640 135169312 3214787888 3214786424 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23333/statm: 603 276 235 161 0 42 0
[pid=23337] ppid=23333 vsize=27232 CPUtime=0.31
/proc/23337/stat : 23337 (SatELite_releas) R 23333 23333 10114 0 -1 4202496 5964 0 0 0 25 6 0 0 25 0 1 0 1011059405 27885568 5900 4294967295 134512640 135223648 3219577264 3219576144 134543504 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23337/statm: 6808 5901 46 174 0 6633 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 29644
[startup+0.708205 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 23333
/proc/meminfo: memFree=1407556/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2412 CPUtime=0
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 368 642 0 0 0 0 0 0 25 0 1 0 1011059404 2469888 276 4294967295 134512640 135169312 3214787888 3214786424 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23333/statm: 603 276 235 161 0 42 0
[pid=23337] ppid=23333 vsize=58736 CPUtime=0.71
/proc/23337/stat : 23337 (SatELite_releas) R 23333 23333 10114 0 -1 4202496 13227 0 0 0 59 12 0 0 25 0 1 0 1011059405 60145664 13162 4294967295 134512640 135223648 3219577264 3219576216 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23337/statm: 14684 13163 46 174 0 14509 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 61148
[startup+1.50817 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 23338
/proc/meminfo: memFree=1334148/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2412 CPUtime=0
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 368 642 0 0 0 0 0 0 25 0 1 0 1011059404 2469888 276 4294967295 134512640 135169312 3214787888 3214786424 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23333/statm: 603 276 235 161 0 42 0
[pid=23337] ppid=23333 vsize=117504 CPUtime=1.51
/proc/23337/stat : 23337 (SatELite_releas) R 23333 23333 10114 0 -1 4202496 30799 0 0 0 128 23 0 0 25 0 1 0 1011059405 120324096 27560 4294967295 134512640 135223648 3219577264 3219574752 134577121 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23337/statm: 29376 27560 71 174 0 29201 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 119916
[startup+3.10809 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 23338
/proc/meminfo: memFree=1291616/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2412 CPUtime=0
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 368 642 0 0 0 0 0 0 25 0 1 0 1011059404 2469888 276 4294967295 134512640 135169312 3214787888 3214786424 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23333/statm: 603 276 235 161 0 42 0
[pid=23337] ppid=23333 vsize=133868 CPUtime=3.11
/proc/23337/stat : 23337 (SatELite_releas) R 23333 23333 10114 0 -1 4202496 33512 0 0 0 287 24 0 0 25 0 1 0 1011059405 137080832 30065 4294967295 134512640 135223648 3219577264 3219575264 134549033 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23337/statm: 33467 30065 73 174 0 33292 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 136280
[startup+6.30793 s]
/proc/loadavg: 0.94 0.98 0.99 4/95 23338
/proc/meminfo: memFree=1277016/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2412 CPUtime=0
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 368 642 0 0 0 0 0 0 25 0 1 0 1011059404 2469888 276 4294967295 134512640 135169312 3214787888 3214786424 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23333/statm: 603 276 235 161 0 42 0
[pid=23337] ppid=23333 vsize=143576 CPUtime=6.31
/proc/23337/stat : 23337 (SatELite_releas) R 23333 23333 10114 0 -1 4202496 35742 0 0 0 605 26 0 0 25 0 1 0 1011059405 147021824 32295 4294967295 134512640 135223648 3219577264 3219575360 134598413 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23337/statm: 35894 32295 73 174 0 35719 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 145988
[startup+12.7076 s]
/proc/loadavg: 0.94 0.98 0.99 2/95 23344
/proc/meminfo: memFree=1263012/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2412 CPUtime=0
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 368 642 0 0 0 0 0 0 25 0 1 0 1011059404 2469888 276 4294967295 134512640 135169312 3214787888 3214786424 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23333/statm: 603 276 235 161 0 42 0
[pid=23337] ppid=23333 vsize=168416 CPUtime=12.71
/proc/23337/stat : 23337 (SatELite_releas) R 23333 23333 10114 0 -1 4202496 39451 0 0 0 1242 29 0 0 25 0 1 0 1011059405 172457984 35575 4294967295 134512640 135223648 3219577264 3219575280 134548984 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23337/statm: 42104 35575 73 174 0 41929 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 170828
[startup+25.517 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 23346
/proc/meminfo: memFree=1296712/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=76712 CPUtime=8.4
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 18884 0 0 0 828 12 0 0 25 0 1 0 1011061117 78553088 18819 4294967295 134512640 135216591 3215754848 3215753040 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 19178 18819 75 172 0 19005 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 79128
[startup+51.1157 s]
/proc/loadavg: 0.97 0.98 0.99 3/95 23530
/proc/meminfo: memFree=1285344/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=88232 CPUtime=34
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 21729 0 0 0 3382 18 0 0 25 0 1 0 1011061117 90349568 21664 4294967295 134512640 135216591 3215754848 3215753040 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 22058 21664 75 172 0 21885 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 90648
[startup+102.323 s]
/proc/loadavg: 1.10 1.01 1.00 3/95 23535
/proc/meminfo: memFree=1265564/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=108048 CPUtime=85.21
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 26663 0 0 0 8498 23 0 0 25 0 1 0 1011061117 110641152 26598 4294967295 134512640 135216591 3215754848 3215753040 134528881 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 27012 26598 75 172 0 26839 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 110464
[startup+162.32 s]
/proc/loadavg: 1.04 1.01 1.00 3/95 23722
/proc/meminfo: memFree=1243300/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=130616 CPUtime=145.21
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 32273 0 0 0 14494 27 0 0 25 0 1 0 1011061117 133750784 32208 4294967295 134512640 135216591 3215754848 3215753040 134528948 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 32654 32208 75 172 0 32481 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 133032
[startup+222.307 s]
/proc/loadavg: 1.01 1.00 1.00 3/95 23910
/proc/meminfo: memFree=1213548/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=160124 CPUtime=205.2
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 39615 0 0 0 20485 35 0 0 25 0 1 0 1011061117 163966976 39550 4294967295 134512640 135216591 3215754848 3215753024 134525814 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 40031 39550 75 172 0 39858 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 162540
[startup+282.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24097
/proc/meminfo: memFree=1198652/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=175776 CPUtime=265.21
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 43329 0 0 0 26481 40 0 0 25 0 1 0 1011061117 179994624 43264 4294967295 134512640 135216591 3215754848 3215753040 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 43944 43264 75 172 0 43771 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 178192
[startup+342.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24288
/proc/meminfo: memFree=1181736/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=192692 CPUtime=325.21
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 47579 0 0 0 32479 42 0 0 25 0 1 0 1011061117 197316608 47514 4294967295 134512640 135216591 3215754848 3215752848 134527541 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 48173 47514 75 172 0 48000 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
/proc/23345/statm: 68006 67203 75 172 0 67833 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 274440
[startup+582.31 s]
/proc/loadavg: 1.13 1.05 1.02 2/95 25042
/proc/meminfo: memFree=1084224/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=290712 CPUtime=565.22
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 71979 0 0 0 56462 60 0 0 25 0 1 0 1011061117 297689088 71914 4294967295 134512640 135216591 3215754848 3215753024 134525581 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 72678 71914 75 172 0 72505 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 293128
[startup+642.317 s]
/proc/loadavg: 1.18 1.07 1.02 2/95 25231
/proc/meminfo: memFree=1071500/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=303064 CPUtime=625.23
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 75042 0 0 0 62462 61 0 0 25 0 1 0 1011061117 310337536 74977 4294967295 134512640 135216591 3215754848 3215753040 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 75766 74977 75 172 0 75593 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 305480
[startup+702.324 s]
/proc/loadavg: 1.13 1.07 1.02 2/95 25419
/proc/meminfo: memFree=1064928/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=310084 CPUtime=685.24
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 76741 0 0 0 68462 62 0 0 25 0 1 0 1011061117 317526016 76676 4294967295 134512640 135216591 3215754848 3215753040 134528974 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 77521 76676 75 172 0 77348 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 312500
[startup+762.321 s]
/proc/loadavg: 1.05 1.06 1.01 2/95 25611
/proc/meminfo: memFree=1047272/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=327620 CPUtime=745.24
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 81150 0 0 0 74460 64 0 0 25 0 1 0 1011061117 335482880 81085 4294967295 134512640 135216591 3215754848 3215753040 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 81905 81085 75 172 0 81732 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 330036
[startup+822.318 s]
/proc/loadavg: 1.02 1.04 1.01 2/95 25798
/proc/meminfo: memFree=1043304/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=331468 CPUtime=805.24
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 82108 0 0 0 80458 66 0 0 25 0 1 0 1011061117 339423232 82043 4294967295 134512640 135216591 3215754848 3215752816 134538716 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 82867 82043 75 172 0 82694 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 333884
[startup+882.315 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 25985
/proc/meminfo: memFree=1043312/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=331468 CPUtime=865.24
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 82111 0 0 0 86458 66 0 0 25 0 1 0 1011061117 339423232 82046 4294967295 134512640 135216591 3215754848 3215753040 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 82867 82046 75 172 0 82694 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 333884
[startup+942.312 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 26174
/proc/meminfo: memFree=1043172/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=331468 CPUtime=925.24
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 82124 0 0 0 92458 66 0 0 25 0 1 0 1011061117 339423232 82059 4294967295 134512640 135216591 3215754848 3215753040 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 82867 82059 75 172 0 82694 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 333884
[startup+1002.31 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 26362
/proc/meminfo: memFree=1043172/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=331548 CPUtime=985.24
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 82165 0 0 0 98458 66 0 0 25 0 1 0 1011061117 339505152 82100 4294967295 134512640 135216591 3215754848 3215753040 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 82887 82100 75 172 0 82714 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 333964
[startup+1062.32 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 26549
/proc/meminfo: memFree=1040808/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=333924 CPUtime=1045.25
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 82750 0 0 0 104458 67 0 0 25 0 1 0 1011061117 341938176 82685 4294967295 134512640 135216591 3215754848 3215752960 134534669 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 83481 82685 75 172 0 83308 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 336340
[startup+1122.31 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 26737
/proc/meminfo: memFree=1040568/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=334168 CPUtime=1105.25
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 82800 0 0 0 110458 67 0 0 25 0 1 0 1011061117 342188032 82735 4294967295 134512640 135216591 3215754848 3215753040 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 83542 82735 75 172 0 83369 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 336584
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 26928
/proc/meminfo: memFree=1040584/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=334368 CPUtime=1165.26
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 82821 0 0 0 116458 68 0 0 25 0 1 0 1011061117 342392832 82756 4294967295 134512640 135216591 3215754848 3215753040 134528826 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 83592 82756 75 172 0 83419 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 336784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27113
/proc/meminfo: memFree=1031340/2074464 swapFree=1950876/1959888
[pid=23333] ppid=23331 vsize=2416 CPUtime=17.12
/proc/23333/stat : 23333 (SatELiteGTI) S 23331 23333 10114 0 -1 4194304 386 43479 0 0 0 0 1675 37 18 0 1 0 1011059404 2473984 277 4294967295 134512640 135169312 3214787888 3214784104 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23333/statm: 604 277 235 161 0 43 0
[pid=23345] ppid=23333 vsize=343212 CPUtime=1182.96
/proc/23345/stat : 23345 (minisat_static) R 23333 23333 10114 0 -1 4202496 85058 0 0 0 118223 73 0 0 25 0 1 0 1011061117 351449088 84993 4294967295 134512640 135216591 3215754848 3215753040 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23345/statm: 85803 84993 75 172 0 85630 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 345628
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23333 and gives
# childrusage.ru_utime.tv_sec=16
# childrusage.ru_utime.tv_usec=750000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=370000
# CPU time returned by wait4() is 17.12
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.05
CPU time (s): 1200.08
CPU user time (s): 1198.98
CPU system time (s): 1.1
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 345628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.75
system time used= 0.37
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43865
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= 13
involuntary context switches= 132
runsolver used 0.01 second user time and 0.05 second system time
The end
Begin job on tipi13 at 2009-05-16 11:19:43
IDJOB=1820669
IDBENCH=20578
IDSOLVER=658
FILE ID=tipi13/1820669-1242465583
PBS_JOBID=
Free space on /tmp= 7726 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq4.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820669-1242465583/watcher-1820669-1242465583 -o /tmp/evaluation-result-1820669-1242465583/solver-1820669-1242465583 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820669-1242465583.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6fcbaf8c6c7ed0c41d8ac12258cafaee
RANDOM SEED= 2099261006
Linux tipi13 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.475
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.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
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.475
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.475
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: 1407556 kB
Buffers: 10700 kB
Cached: 561684 kB
SwapCached: 3556 kB
Active: 141800 kB
Inactive: 440224 kB
HighTotal: 1178688 kB
HighFree: 661836 kB
LowTotal: 895776 kB
LowFree: 745720 kB
SwapTotal: 1959888 kB
SwapFree: 1950876 kB
Dirty: 33640 kB
Writeback: 0 kB
AnonPages: 8572 kB
Mapped: 2956 kB
Slab: 75824 kB
PageTables: 500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90600 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 7692 MiB
End job on tipi13 at 2009-05-16 11:39:48