0.00/0.00 c Parsing...
1.42/1.41 c ==============================================================================
1.42/1.41 c | | ORIGINAL | LEARNT | |
1.42/1.41 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.42/1.41 c ==============================================================================
1.42/1.41 c | 0 | 1814188 5280500 | 544256 0 0 nan | 0.000 % |
15.52/15.54 c | 0 | 1789068 5451065 | -- 0 -- -- | -- | -25093/170622
15.52/15.54 c ==============================================================================
15.52/15.54 c Result : #vars: 84942 #clauses: 1789068 #literals: 5451065
15.52/15.54 c CPU time: 15.27 s
15.52/15.54 c ==============================================================================
17.32/17.35 c This is MiniSat 2.0 beta
17.32/17.35 c WARNING: for repeatability, setting FPU to use double precision
17.32/17.35 c ============================[ Problem Statistics ]=============================
17.32/17.35 c | |
17.32/17.35 c | Number of variables: 84942 |
17.32/17.35 c | Number of clauses: 1789068 |
18.42/18.47 c | Parsing time: 1.00 s |
18.52/18.56 c ============================[ Search Statistics ]==============================
18.52/18.56 c | Conflicts | ORIGINAL | LEARNT | Progress |
18.52/18.56 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
18.52/18.56 c ===============================================================================
18.52/18.56 c | 0 | 84942 1789068 5451065 | 596356 0 nan | 0.000 % |
19.91/19.99 c | 514 | 84942 1789068 5451065 | 596356 514 36 | 0.000 % |
21.00/21.03 c | 1026 | 84942 1789068 5451065 | 596356 1026 37 | 0.000 % |
21.60/21.70 c | 1538 | 84942 1789068 5451065 | 596356 1538 49 | 0.000 % |
22.40/22.48 c | 2564 | 84942 1789068 5451065 | 596356 2564 41 | 0.000 % |
23.00/23.04 c | 3077 | 84942 1789068 5451065 | 596356 3077 39 | 0.000 % |
24.00/24.10 c | 3591 | 84942 1789068 5451065 | 596356 3591 41 | 0.000 % |
25.80/25.89 c | 4617 | 84942 1789068 5451065 | 596356 4617 39 | 0.000 % |
28.70/28.73 c | 6665 | 84942 1789068 5451065 | 596356 6665 41 | 0.000 % |
28.90/28.93 c | 7177 | 84942 1789068 5451065 | 596356 7177 41 | 0.000 % |
29.40/29.45 c | 7689 | 84942 1789068 5451065 | 596356 7689 41 | 0.000 % |
30.41/30.46 c | 8714 | 84942 1789068 5451065 | 596356 8714 41 | 0.000 % |
30.91/30.97 c | 9228 | 84942 1789068 5451065 | 596356 9228 41 | 0.000 % |
31.61/31.70 c | 9740 | 84942 1789068 5451065 | 596356 9740 41 | 0.000 % |
32.11/32.19 c | 10765 | 84942 1789068 5451065 | 2147483647 10765 45 | 0.000 % |
34.51/34.61 c | 12813 | 84942 1789068 5451065 | 2147483647 12813 47 | 0.000 % |
39.01/39.02 c | 16909 | 84942 1789068 5451065 | 2147483647 16909 52 | 0.000 % |
39.71/39.77 c | 17421 | 84942 1789068 5451065 | 2147483647 17421 52 | 0.000 % |
40.61/40.64 c | 17933 | 84942 1789068 5451065 | 2147483647 17933 52 | 0.000 % |
42.31/42.38 c | 18957 | 84942 1789068 5451065 | 2147483647 18957 52 | 0.000 % |
42.91/42.94 c | 19473 | 84942 1789068 5451065 | 2147483647 19473 52 | 0.000 % |
44.11/44.18 c | 19985 | 84942 1789068 5451065 | 2147483647 19985 52 | 0.000 % |
45.11/45.21 c | 21009 | 84942 1789068 5451065 | 2147483647 21009 52 | 0.000 % |
47.51/47.56 c | 23058 | 84942 1789068 5451065 | 2147483647 23058 58 | 0.000 % |
48.21/48.31 c | 23571 | 84942 1789068 5451065 | 2147483647 23571 58 | 0.000 % |
49.91/49.97 c | 24083 | 84942 1789068 5451065 | 2147483647 24083 58 | 0.000 % |
51.71/51.81 c | 25108 | 84942 1789068 5451065 | 2147483647 25108 57 | 0.000 % |
53.31/53.39 c | 25622 | 84942 1789068 5451065 | 2147483647 25622 56 | 0.000 % |
54.81/54.91 c | 26135 | 84942 1789068 5451065 | 2147483647 26135 56 | 0.000 % |
56.11/56.12 c | 27159 | 84942 1789068 5451065 | 2147483647 27159 55 | 0.000 % |
56.71/56.76 c | 29207 | 84942 1789068 5451065 | 2147483647 29207 53 | 0.000 % |
60.51/60.53 c | 33303 | 84942 1789068 5451065 | 2147483647 33303 53 | 0.000 % |
69.71/69.80 c | 41496 | 84942 1789068 5451065 | 2147483647 41496 57 | 0.000 % |
70.11/70.15 c | 42012 | 84942 1789068 5451065 | 2147483647 42012 57 | 0.000 % |
70.91/71.00 c | 42526 | 84942 1789068 5451065 | 2147483647 42526 57 | 0.000 % |
73.21/73.29 c | 43550 | 84942 1789068 5451065 | 2147483647 43550 57 | 0.000 % |
73.71/73.74 c | 44063 | 84942 1789068 5451065 | 2147483647 44063 57 | 0.000 % |
74.61/74.67 c | 44576 | 84942 1789068 5451065 | 2147483647 44576 57 | 0.000 % |
76.71/76.71 c | 45601 | 84942 1789068 5451065 | 2147483647 45601 57 | 0.000 % |
77.91/77.94 c | 47649 | 84942 1789068 5451065 | 2147483647 47649 59 | 0.000 % |
78.61/78.69 c | 48161 | 84942 1789068 5451065 | 2147483647 48161 59 | 0.000 % |
79.22/79.24 c | 48673 | 84942 1789068 5451065 | 2147483647 48673 58 | 0.000 % |
81.11/81.16 c | 49697 | 84942 1789068 5451065 | 2147483647 49697 58 | 0.000 % |
81.31/81.40 c | 50212 | 84942 1789068 5451065 | 2147483647 50212 58 | 0.000 % |
81.81/81.87 c | 50727 | 84942 1789068 5451065 | 2147483647 50727 58 | 0.000 % |
82.30/82.32 c | 51752 | 84942 1789068 5451065 | 2147483647 51752 59 | 0.000 % |
82.90/82.95 c | 53800 | 84942 1789068 5451065 | 2147483647 53800 58 | 0.000 % |
88.01/88.04 c | 57896 | 84942 1789068 5451065 | 2147483647 57896 59 | 0.000 % |
88.40/88.47 c | 58408 | 84942 1789068 5451065 | 2147483647 58408 59 | 0.000 % |
88.70/88.75 c | 58920 | 84942 1789068 5451065 | 2147483647 58920 59 | 0.000 % |
89.60/89.64 c | 59944 | 84942 1789068 5451065 | 2147483647 59944 60 | 0.000 % |
89.80/89.86 c | 60456 | 84942 1789068 5451065 | 2147483647 60456 60 | 0.000 % |
90.50/90.60 c | 60969 | 84942 1789068 5451065 | 2147483647 60969 60 | 0.000 % |
91.20/91.29 c | 61994 | 84942 1789068 5451065 | 2147483647 61994 60 | 0.000 % |
93.80/93.89 c | 64043 | 84942 1789068 5451065 | 2147483647 64043 60 | 0.000 % |
94.50/94.51 c | 64556 | 84942 1789068 5451065 | 2147483647 64556 60 | 0.000 % |
95.30/95.31 c | 65069 | 84942 1789068 5451065 | 2147483647 65069 60 | 0.000 % |
96.50/96.52 c | 66093 | 84942 1789068 5451065 | 2147483647 66093 60 | 0.000 % |
97.00/97.01 c | 66606 | 84942 1789068 5451065 | 2147483647 66606 60 | 0.000 % |
97.50/97.53 c | 67118 | 84942 1789068 5451065 | 2147483647 67118 60 | 0.000 % |
98.30/98.38 c | 68142 | 84942 1789068 5451065 | 2147483647 68142 61 | 0.000 % |
100.40/100.46 c | 70190 | 84942 1789068 5451065 | 2147483647 70190 61 | 0.000 % |
103.10/103.15 c | 74287 | 84942 1789068 5451065 | 2147483647 74287 62 | 0.000 % |
106.40/106.42 c | 82480 | 84942 1789068 5451065 | 2147483647 82480 62 | 0.000 % |
119.41/119.51 c | 98866 | 84942 1789068 5451065 | 2147483647 98866 71 | 0.000 % |
119.81/119.82 c | 99378 | 84942 1789068 5451065 | 2147483647 99378 71 | 0.000 % |
120.21/120.25 c | 99890 | 84942 1789068 5451065 | 2147483647 99890 71 | 0.000 % |
120.91/120.95 c | 100914 | 84942 1789068 5451065 | 2147483647 100914 71 | 0.000 % |
121.11/121.15 c | 101426 | 84942 1789068 5451065 | 2147483647 101426 71 | 0.000 % |
121.31/121.41 c | 101939 | 84942 1789068 5451065 | 2147483647 101939 71 | 0.000 % |
122.31/122.32 c | 102963 | 84942 1789068 5451065 | 2147483647 102963 71 | 0.000 % |
123.31/123.35 c | 105013 | 84942 1789068 5451065 | 2147483647 105013 71 | 0.000 % |
123.91/123.93 c | 105527 | 84942 1789068 5451065 | 2147483647 105527 71 | 0.000 % |
124.71/124.79 c | 106039 | 84942 1789068 5451065 | 2147483647 106039 71 | 0.000 % |
127.51/127.52 c | 107064 | 84942 1789068 5451065 | 2147483647 107064 71 | 0.000 % |
128.81/128.83 c | 107576 | 84942 1789068 5451065 | 2147483647 107576 71 | 0.000 % |
129.61/129.71 c | 108089 | 84942 1789068 5451065 | 2147483647 108089 71 | 0.000 % |
131.01/131.10 c | 109113 | 84942 1789068 5451065 | 2147483647 109113 71 | 0.000 % |
133.71/133.76 c | 111163 | 84942 1789068 5451065 | 2147483647 111163 71 | 0.000 % |
136.31/136.38 c | 115259 | 84942 1789068 5451065 | 2147483647 115259 72 | 0.000 % |
136.81/136.82 c | 115774 | 84942 1789068 5451065 | 2147483647 115774 71 | 0.000 % |
137.11/137.13 c | 116287 | 84942 1789068 5451065 | 2147483647 116287 71 | 0.000 % |
139.11/139.21 c | 117312 | 84942 1789068 5451065 | 2147483647 117312 71 | 0.000 % |
139.71/139.74 c | 117825 | 84942 1789068 5451065 | 2147483647 117825 71 | 0.000 % |
140.61/140.65 c | 118341 | 84942 1789068 5451065 | 2147483647 118341 71 | 0.000 % |
141.71/141.77 c | 119365 | 84942 1789068 5451065 | 2147483647 119365 71 | 0.000 % |
143.51/143.52 c | 121415 | 84942 1789068 5451065 | 2147483647 121415 72 | 0.000 % |
143.81/143.86 c | 121928 | 84942 1789068 5451065 | 2147483647 121928 72 | 0.000 % |
144.11/144.20 c | 122440 | 84942 1789068 5451065 | 2147483647 122440 72 | 0.000 % |
145.01/145.05 c | 123467 | 84942 1789068 5451065 | 2147483647 123467 72 | 0.000 % |
145.41/145.50 c | 123980 | 84942 1789068 5451065 | 2147483647 123980 72 | 0.000 % |
146.21/146.25 c | 124493 | 84942 1789068 5451065 | 2147483647 124493 72 | 0.000 % |
146.81/146.82 c | 125517 | 84942 1789068 5451065 | 2147483647 125517 72 | 0.000 % |
148.11/148.21 c | 127566 | 84942 1789068 5451065 | 2147483647 127566 72 | 0.000 % |
152.41/152.48 c | 131663 | 84942 1789068 5451065 | 2147483647 131663 73 | 0.000 % |
169.91/169.99 c | 139856 | 84942 1789068 5451065 | 2147483647 139856 73 | 0.000 % |
170.81/170.83 c | 140369 | 84942 1789068 5451065 | 2147483647 140369 73 | 0.000 % |
171.01/171.09 c | 140881 | 84942 1789068 5451065 | 2147483647 140881 73 | 0.000 % |
172.81/172.83 c | 141905 | 84942 1789068 5451065 | 2147483647 141905 73 | 0.000 % |
173.31/173.38 c | 142419 | 84942 1789068 5451065 | 2147483647 142419 73 | 0.000 % |
173.61/173.69 c | 142931 | 84942 1789068 5451065 | 2147483647 142931 73 | 0.000 % |
174.61/174.66 c | 143956 | 84942 1789068 5451065 | 2147483647 143956 73 | 0.000 % |
176.31/176.39 c | 146004 | 84942 1789068 5451065 | 2147483647 146004 73 | 0.000 % |
177.01/177.11 c | 146516 | 84942 1789068 5451065 | 2147483647 146516 73 | 0.000 % |
177.91/177.94 c | 147032 | 84942 1789068 5451065 | 2147483647 147032 73 | 0.000 % |
178.71/178.79 c | 148057 | 84942 1789068 5451065 | 2147483647 148057 73 | 0.000 % |
179.51/179.50 c | 148569 | 84942 1789068 5451065 | 2147483647 148569 73 | 0.000 % |
180.21/180.26 c | 149082 | 84942 1789068 5451065 | 2147483647 149082 73 | 0.000 % |
184.01/184.01 c | 150106 | 84942 1789068 5451065 | 2147483647 150106 73 | 0.000 % |
185.41/185.49 c | 152155 | 84942 1789068 5451065 | 2147483647 152155 72 | 0.000 % |
190.32/190.36 c | 156251 | 84942 1789068 5451065 | 2147483647 156251 71 | 0.000 % |
190.71/190.80 c | 156763 | 84942 1789068 5451065 | 2147483647 156763 71 | 0.000 % |
191.31/191.37 c | 157277 | 84942 1789068 5451065 | 2147483647 157277 71 | 0.000 % |
192.01/192.06 c | 158301 | 84942 1789068 5451065 | 2147483647 158301 71 | 0.000 % |
193.11/193.15 c | 158813 | 84942 1789068 5451065 | 2147483647 158813 71 | 0.000 % |
193.41/193.46 c | 159326 | 84942 1789068 5451065 | 2147483647 159326 71 | 0.000 % |
194.32/194.39 c | 160350 | 84942 1789068 5451065 | 2147483647 160350 71 | 0.000 % |
196.52/196.59 c | 162398 | 84942 1789068 5451065 | 2147483647 162398 71 | 0.000 % |
197.42/197.45 c | 162910 | 84942 1789068 5451065 | 2147483647 162910 71 | 0.000 % |
197.92/197.97 c | 163422 | 84942 1789068 5451065 | 2147483647 163422 71 | 0.000 % |
199.82/199.84 c | 164446 | 84942 1789068 5451065 | 2147483647 164446 71 | 0.000 % |
200.22/200.27 c | 164958 | 84942 1789068 5451065 | 2147483647 164958 71 | 0.000 % |
200.62/200.67 c | 165470 | 84942 1789068 5451065 | 2147483647 165470 71 | 0.000 % |
202.02/202.06 c | 166494 | 84942 1789068 5451065 | 2147483647 166494 71 | 0.000 % |
204.02/204.07 c | 168543 | 84942 1789068 5451065 | 2147483647 168543 70 | 0.000 % |
209.22/209.22 c | 172640 | 84942 1789068 5451065 | 2147483647 172640 71 | 0.000 % |
213.42/213.47 c | 180832 | 84942 1789068 5451065 | 2147483647 180832 72 | 0.000 % |
221.32/221.33 c | 197217 | 84942 1789068 5451065 | 2147483647 197217 74 | 0.000 % |
263.02/263.08 c | 229985 | 84942 1789068 5451065 | 2147483647 229985 80 | 0.000 % |
263.52/263.54 c | 230497 | 84942 1789068 5451065 | 2147483647 230497 80 | 0.000 % |
264.12/264.16 c | 231009 | 84942 1789068 5451065 | 2147483647 231009 80 | 0.000 % |
265.42/265.43 c | 232034 | 84942 1789068 5451065 | 2147483647 232034 81 | 0.000 % |
266.12/266.11 c | 232546 | 84942 1789068 5451065 | 2147483647 232546 81 | 0.000 % |
266.82/266.86 c | 233059 | 84942 1789068 5451065 | 2147483647 233059 81 | 0.000 % |
267.82/267.85 c | 234084 | 84942 1789068 5451065 | 2147483647 234084 81 | 0.000 % |
270.12/270.11 c | 236134 | 84942 1789068 5451065 | 2147483647 236134 81 | 0.000 % |
270.82/270.86 c | 236647 | 84942 1789068 5451065 | 2147483647 236647 81 | 0.000 % |
271.32/271.38 c | 237160 | 84942 1789068 5451065 | 2147483647 237160 81 | 0.000 % |
272.42/272.43 c | 238184 | 84942 1789068 5451065 | 2147483647 238184 81 | 0.000 % |
272.92/272.98 c | 238698 | 84942 1789068 5451065 | 2147483647 238698 81 | 0.000 % |
273.52/273.59 c | 239212 | 84942 1789068 5451065 | 2147483647 239212 81 | 0.000 % |
274.92/274.91 c | 240237 | 84942 1789068 5451065 | 2147483647 240237 81 | 0.000 % |
277.03/277.06 c | 242285 | 84942 1789068 5451065 | 2147483647 242285 81 | 0.000 % |
280.33/280.34 c | 246382 | 84942 1789068 5451065 | 2147483647 246382 82 | 0.000 % |
280.73/280.76 c | 246896 | 84942 1789068 5451065 | 2147483647 246896 81 | 0.000 % |
281.33/281.32 c | 247410 | 84942 1789068 5451065 | 2147483647 247410 81 | 0.000 % |
282.53/282.52 c | 248434 | 84942 1789068 5451065 | 2147483647 248434 81 | 0.000 % |
283.33/283.37 c | 248947 | 84942 1789068 5451065 | 2147483647 248947 81 | 0.000 % |
283.93/284.01 c | 249460 | 84942 1789068 5451065 | 2147483647 249460 81 | 0.000 % |
285.13/285.18 c | 250484 | 84942 1789068 5451065 | 2147483647 250484 81 | 0.000 % |
286.93/286.99 c | 252532 | 84942 1789068 5451065 | 2147483647 252532 82 | 0.000 % |
287.33/287.41 c | 253044 | 84942 1789068 5451065 | 2147483647 253044 82 | 0.000 % |
288.63/288.71 c | 253556 | 84942 1789068 5451065 | 2147483647 253556 82 | 0.000 % |
289.73/289.77 c | 254581 | 84942 1789068 5451065 | 2147483647 254581 82 | 0.000 % |
290.83/290.82 c | 255096 | 84942 1789068 5451065 | 2147483647 255096 82 | 0.000 % |
292.13/292.12 c | 255608 | 84942 1789068 5451065 | 2147483647 255608 82 | 0.000 % |
294.23/294.30 c | 256632 | 84942 1789068 5451065 | 2147483647 256632 82 | 0.000 % |
297.03/297.06 c | 258682 | 84942 1789068 5451065 | 2147483647 258682 82 | 0.000 % |
300.33/300.41 c | 262779 | 84942 1789068 5451065 | 2147483647 262779 82 | 0.000 % |
307.33/307.33 c | 270972 | 84942 1789068 5451065 | 2147483647 270972 81 | 0.000 % |
308.43/308.43 c | 271485 | 84942 1789068 5451065 | 2147483647 271485 81 | 0.000 % |
309.63/309.62 c | 271997 | 84942 1789068 5451065 | 2147483647 271997 81 | 0.000 % |
311.43/311.47 c | 273022 | 84942 1789068 5451065 | 2147483647 273022 81 | 0.000 % |
311.83/311.90 c | 273534 | 84942 1789068 5451065 | 2147483647 273534 81 | 0.000 % |
312.53/312.54 c | 274046 | 84942 1789068 5451065 | 2147483647 274046 81 | 0.000 % |
313.43/313.47 c | 275070 | 84942 1789068 5451065 | 2147483647 275070 81 | 0.000 % |
315.83/315.86 c | 277120 | 84942 1789068 5451065 | 2147483647 277120 81 | 0.000 % |
316.33/316.39 c | 277632 | 84942 1789068 5451065 | 2147483647 277632 81 | 0.000 % |
316.93/316.95 c | 278144 | 84942 1789068 5451065 | 2147483647 278144 81 | 0.000 % |
318.13/318.16 c | 279168 | 84942 1789068 5451065 | 2147483647 279168 81 | 0.000 % |
318.63/318.68 c | 279683 | 84942 1789068 5451065 | 2147483647 279683 81 | 0.000 % |
319.23/319.26 c | 280195 | 84942 1789068 5451065 | 2147483647 280195 81 | 0.000 % |
320.13/320.12 c | 281219 | 84942 1789068 5451065 | 2147483647 281219 81 | 0.000 % |
321.93/321.99 c | 283267 | 84942 1789068 5451065 | 2147483647 283267 81 | 0.000 % |
326.43/326.44 c | 287363 | 84942 1789068 5451065 | 2147483647 287363 80 | 0.000 % |
326.93/326.98 c | 287875 | 84942 1789068 5451065 | 2147483647 287875 80 | 0.000 % |
327.53/327.56 c | 288387 | 84942 1789068 5451065 | 2147483647 288387 80 | 0.000 % |
328.83/328.84 c | 289411 | 84942 1789068 5451065 | 2147483647 289411 80 | 0.000 % |
329.83/329.82 c | 289923 | 84942 1789068 5451065 | 2147483647 289923 80 | 0.000 % |
331.03/331.05 c | 290435 | 84942 1789068 5451065 | 2147483647 290435 80 | 0.000 % |
331.83/331.87 c | 291461 | 84942 1789068 5451065 | 2147483647 291461 80 | 0.000 % |
334.23/334.30 c | 293509 | 84942 1789068 5451065 | 2147483647 293509 80 | 0.000 % |
335.03/335.09 c | 294023 | 84942 1789068 5451065 | 2147483647 294023 80 | 0.000 % |
336.13/336.13 c | 294536 | 84942 1789068 5451065 | 2147483647 294536 80 | 0.000 % |
337.13/337.20 c | 295560 | 84942 1789068 5451065 | 2147483647 295560 80 | 0.000 % |
338.13/338.15 c | 296072 | 84942 1789068 5451065 | 2147483647 296072 80 | 0.000 % |
338.73/338.81 c | 296584 | 84942 1789068 5451065 | 2147483647 296584 80 | 0.000 % |
339.83/339.88 c | 297608 | 84942 1789068 5451065 | 2147483647 297608 80 | 0.000 % |
342.03/342.09 c | 299656 | 84942 1789068 5451065 | 2147483647 299656 80 | 0.000 % |
346.33/346.32 c | 303752 | 84942 1789068 5451065 | 2147483647 303752 80 | 0.000 % |
355.13/355.16 c | 311946 | 84942 1789068 5451065 | 2147483647 311946 79 | 0.000 % |
371.94/372.00 c | 328331 | 84942 1789068 5451065 | 2147483647 328331 77 | 0.000 % |
372.54/372.56 c | 328846 | 84942 1789068 5451065 | 2147483647 328846 77 | 0.000 % |
373.04/373.03 c | 329358 | 84942 1789068 5451065 | 2147483647 329358 77 | 0.000 % |
373.74/373.79 c | 330383 | 84942 1789068 5451065 | 2147483647 330383 77 | 0.000 % |
374.84/374.84 c | 330896 | 84942 1789068 5451065 | 2147483647 330896 76 | 0.000 % |
375.74/375.79 c | 331408 | 84942 1789068 5451065 | 2147483647 331408 76 | 0.000 % |
377.24/377.28 c | 332433 | 84942 1789068 5451065 | 2147483647 332433 76 | 0.000 % |
379.44/379.47 c | 334481 | 84942 1789068 5451065 | 2147483647 334481 76 | 0.000 % |
379.84/379.83 c | 334993 | 84942 1789068 5451065 | 2147483647 334993 76 | 0.000 % |
380.34/380.39 c | 335505 | 84942 1789068 5451065 | 2147483647 335505 76 | 0.000 % |
381.34/381.39 c | 336534 | 84942 1789068 5451065 | 2147483647 336534 76 | 0.000 % |
381.84/381.81 c | 337046 | 84942 1789068 5451065 | 2147483647 337046 76 | 0.000 % |
382.54/382.53 c | 337559 | 84942 1789068 5451065 | 2147483647 337559 76 | 0.000 % |
383.24/383.23 c | 338583 | 84942 1789068 5451065 | 2147483647 338583 77 | 0.000 % |
385.64/385.66 c | 340634 | 84942 1789068 5451065 | 2147483647 340634 78 | 0.000 % |
389.44/389.51 c | 344730 | 84942 1789068 5451065 | 2147483647 344730 78 | 0.000 % |
390.54/390.52 c | 345242 | 84942 1789068 5451065 | 2147483647 345242 78 | 0.000 % |
391.04/391.05 c | 345754 | 84942 1789068 5451065 | 2147483647 345754 78 | 0.000 % |
392.04/392.11 c | 346778 | 84942 1789068 5451065 | 2147483647 346778 78 | 0.000 % |
393.24/393.22 c | 347290 | 84942 1789068 5451065 | 2147483647 347290 78 | 0.000 % |
394.04/394.04 c | 347803 | 84942 1789068 5451065 | 2147483647 347803 78 | 0.000 % |
395.04/395.02 c | 348827 | 84942 1789068 5451065 | 2147483647 348827 78 | 0.000 % |
397.14/397.16 c | 350875 | 84942 1789068 5451065 | 2147483647 350875 77 | 0.000 % |
397.94/397.98 c | 351387 | 84942 1789068 5451065 | 2147483647 351387 77 | 0.000 % |
398.44/398.42 c | 351900 | 84942 1789068 5451065 | 2147483647 351900 77 | 0.000 % |
399.64/399.62 c | 352925 | 84942 1789068 5451065 | 2147483647 352925 77 | 0.000 % |
400.44/400.41 c | 353440 | 84942 1789068 5451065 | 2147483647 353440 77 | 0.000 % |
400.84/400.90 c | 353953 | 84942 1789068 5451065 | 2147483647 353953 77 | 0.000 % |
402.34/402.38 c | 354979 | 84942 1789068 5451065 | 2147483647 354979 77 | 0.000 % |
404.04/404.01 c | 357027 | 84942 1789068 5451065 | 2147483647 357027 77 | 0.000 % |
409.54/409.54 c | 361126 | 84942 1789068 5451065 | 360003 361126 77 | 0.000 % |
417.54/417.59 c | 369319 | 84942 1789068 5451065 | 360003 320504 78 | 0.000 % |
418.14/418.14 c | 369832 | 84942 1789068 5451065 | 360003 321017 78 | 0.000 % |
418.64/418.67 c | 370345 | 84942 1789068 5451065 | 321185 321530 78 | 0.000 % |
421.74/421.72 c | 371369 | 84942 1789068 5451065 | 321185 290401 77 | 0.000 % |
422.34/422.35 c | 371882 | 84942 1789068 5451065 | 321185 290914 77 | 0.000 % |
422.84/422.82 c | 372404 | 84942 1789068 5451065 | 321185 291436 77 | 0.000 % |
423.64/423.69 c | 373428 | 84942 1789068 5451065 | 321185 292460 77 | 0.000 % |
425.64/425.68 c | 375476 | 84942 1789068 5451065 | 321185 294508 77 | 0.000 % |
426.34/426.34 c | 375991 | 84942 1789068 5451065 | 321185 295023 77 | 0.000 % |
426.85/426.87 c | 376503 | 84942 1789068 5451065 | 321185 295535 77 | 0.000 % |
427.74/427.71 c | 377527 | 84942 1789068 5451065 | 321185 296559 77 | 0.000 % |
428.54/428.58 c | 378041 | 84942 1789068 5451065 | 321185 297073 77 | 0.000 % |
429.14/429.17 c | 378553 | 84942 1789068 5451065 | 321185 297585 78 | 0.000 % |
430.84/430.82 c | 379577 | 84942 1789068 5451065 | 321185 298609 78 | 0.000 % |
433.94/433.97 c | 381625 | 84942 1789068 5451065 | 2147483647 300657 78 | 0.000 % |
438.24/438.27 c | 385721 | 84942 1789068 5451065 | 2147483647 304753 78 | 0.000 % |
438.95/438.93 c | 386234 | 84942 1789068 5451065 | 2147483647 305266 78 | 0.000 % |
439.34/439.40 c | 386748 | 84942 1789068 5451065 | 2147483647 305780 78 | 0.000 % |
440.34/440.32 c | 387773 | 84942 1789068 5451065 | 2147483647 306805 78 | 0.000 % |
440.94/440.95 c | 388285 | 84942 1789068 5451065 | 2147483647 307317 77 | 0.000 % |
441.54/441.61 c | 388797 | 84942 1789068 5451065 | 2147483647 307829 77 | 0.000 % |
442.44/442.46 c | 389821 | 84942 1789068 5451065 | 2147483647 308853 77 | 0.000 % |
444.54/444.57 c | 391869 | 84942 1789068 5451065 | 2147483647 310901 77 | 0.000 % |
445.14/445.12 c | 392382 | 84942 1789068 5451065 | 2147483647 311414 77 | 0.000 % |
445.54/445.52 c | 392894 | 84942 1789068 5451065 | 2147483647 311926 77 | 0.000 % |
446.44/446.46 c | 393918 | 84942 1789068 5451065 | 2147483647 312950 77 | 0.000 % |
447.04/447.04 c | 394430 | 84942 1789068 5451065 | 2147483647 313462 77 | 0.000 % |
447.54/447.59 c | 394945 | 84942 1789068 5451065 | 2147483647 313977 77 | 0.000 % |
448.44/448.49 c | 395971 | 84942 1789068 5451065 | 2147483647 315003 77 | 0.000 % |
450.04/450.06 c | 398019 | 84942 1789068 5451065 | 2147483647 317051 77 | 0.000 % |
453.84/453.83 c | 402117 | 84942 1789068 5451065 | 2147483647 321149 78 | 0.000 % |
461.54/461.57 c | 410309 | 84942 1789068 5451065 | 2147483647 329341 78 | 0.000 % |
477.94/477.93 c | 426693 | 84942 1789068 5451065 | 2147483647 345725 78 | 0.000 % |
518.24/518.24 c | 459462 | 84942 1789068 5451065 | 2147483647 378494 76 | 0.000 % |
597.95/597.96 c | 524999 | 84942 1789068 5451065 | 439032 444031 73 | 0.000 % |
611.56/611.54 c | 525512 | 84942 1789068 5451065 | 439032 352293 76 | 0.000 % |
612.86/612.87 c | 526025 | 84942 1789068 5451065 | 439032 352806 76 | 0.000 % |
614.66/614.68 c | 527050 | 84942 1789068 5451065 | 439032 353831 77 | 0.000 % |
615.86/615.86 c | 527563 | 84942 1789068 5451065 | 439032 354344 77 | 0.000 % |
616.66/616.64 c | 528075 | 84942 1789068 5451065 | 439032 354856 77 | 0.000 % |
617.86/617.91 c | 529099 | 84942 1789068 5451065 | 439032 355880 77 | 0.000 % |
620.76/620.74 c | 531147 | 84942 1789068 5451065 | 356781 357928 76 | 0.000 % |
623.36/623.35 c | 531660 | 84942 1789068 5451065 | 356781 301550 76 | 0.000 % |
624.26/624.28 c | 532172 | 84942 1789068 5451065 | 356781 302062 76 | 0.000 % |
626.26/626.24 c | 533196 | 84942 1789068 5451065 | 356781 303086 76 | 0.000 % |
627.16/627.18 c | 533708 | 84942 1789068 5451065 | 356781 303598 76 | 0.000 % |
627.76/627.77 c | 534224 | 84942 1789068 5451065 | 356781 304114 76 | 0.000 % |
628.96/628.91 c | 535248 | 84942 1789068 5451065 | 356781 305138 76 | 0.000 % |
630.66/630.61 c | 537296 | 84942 1789068 5451065 | 356781 307186 75 | 0.000 % |
636.16/636.13 c | 541393 | 84942 1789068 5451065 | 309890 311283 75 | 0.000 % |
640.26/640.22 c | 541906 | 84942 1789068 5451065 | 309890 270101 71 | 0.000 % |
640.96/640.97 c | 542418 | 84942 1789068 5451065 | 309890 270613 71 | 0.000 % |
641.96/641.99 c | 543443 | 84942 1789068 5451065 | 309890 271638 71 | 0.000 % |
643.36/643.33 c | 543957 | 84942 1789068 5451065 | 309890 272152 71 | 0.000 % |
644.06/644.10 c | 544469 | 84942 1789068 5451065 | 309890 272664 71 | 0.000 % |
645.16/645.16 c | 545493 | 84942 1789068 5451065 | 309890 273688 71 | 0.000 % |
647.06/647.05 c | 547543 | 84942 1789068 5451065 | 309890 275738 71 | 0.000 % |
647.56/647.57 c | 548055 | 84942 1789068 5451065 | 309890 276250 71 | 0.000 % |
649.06/649.07 c | 548569 | 84942 1789068 5451065 | 309890 276764 71 | 0.000 % |
650.96/650.94 c | 549594 | 84942 1789068 5451065 | 309890 277789 71 | 0.000 % |
651.66/651.68 c | 550106 | 84942 1789068 5451065 | 2147483647 278301 71 | 0.000 % |
652.66/652.63 c | 550618 | 84942 1789068 5451065 | 2147483647 278813 71 | 0.000 % |
653.76/653.72 c | 551645 | 84942 1789068 5451065 | 2147483647 279840 71 | 0.000 % |
655.16/655.19 c | 553693 | 84942 1789068 5451065 | 2147483647 281888 71 | 0.000 % |
659.16/659.15 c | 557789 | 84942 1789068 5451065 | 2147483647 285984 70 | 0.000 % |
666.06/666.07 c | 565982 | 84942 1789068 5451065 | 2147483647 294177 70 | 0.000 % |
666.76/666.72 c | 566494 | 84942 1789068 5451065 | 2147483647 294689 70 | 0.000 % |
667.26/667.29 c | 567006 | 84942 1789068 5451065 | 2147483647 295201 70 | 0.000 % |
668.26/668.30 c | 568032 | 84942 1789068 5451065 | 2147483647 296227 70 | 0.000 % |
668.87/668.85 c | 568544 | 84942 1789068 5451065 | 2147483647 296739 70 | 0.000 % |
669.36/669.35 c | 569057 | 84942 1789068 5451065 | 2147483647 297252 70 | 0.000 % |
670.46/670.50 c | 570082 | 84942 1789068 5451065 | 2147483647 298277 70 | 0.000 % |
672.96/672.95 c | 572131 | 84942 1789068 5451065 | 2147483647 300326 70 | 0.000 % |
673.56/673.53 c | 572644 | 84942 1789068 5451065 | 2147483647 300839 70 | 0.000 % |
674.16/674.20 c | 573156 | 84942 1789068 5451065 | 2147483647 301351 70 | 0.000 % |
675.16/675.16 c | 574180 | 84942 1789068 5451065 | 2147483647 302375 70 | 0.000 % |
676.06/676.03 c | 574692 | 84942 1789068 5451065 | 2147483647 302887 70 | 0.000 % |
676.86/676.88 c | 575205 | 84942 1789068 5451065 | 2147483647 303400 70 | 0.000 % |
678.56/678.51 c | 576229 | 84942 1789068 5451065 | 2147483647 304424 70 | 0.000 % |
681.36/681.38 c | 578277 | 84942 1789068 5451065 | 2147483647 306472 70 | 0.000 % |
686.36/686.34 c | 582373 | 84942 1789068 5451065 | 2147483647 310568 69 | 0.000 % |
686.96/686.94 c | 582885 | 84942 1789068 5451065 | 2147483647 311080 69 | 0.000 % |
687.57/687.58 c | 583397 | 84942 1789068 5451065 | 2147483647 311592 69 | 0.000 % |
688.57/688.54 c | 584422 | 84942 1789068 5451065 | 2147483647 312617 69 | 0.000 % |
689.37/689.36 c | 584935 | 84942 1789068 5451065 | 2147483647 313130 69 | 0.000 % |
690.27/690.28 c | 585447 | 84942 1789068 5451065 | 2147483647 313642 69 | 0.000 % |
691.97/691.94 c | 586471 | 84942 1789068 5451065 | 2147483647 314666 69 | 0.000 % |
694.47/694.48 c | 588519 | 84942 1789068 5451065 | 2147483647 316714 69 | 0.000 % |
695.17/695.21 c | 589031 | 84942 1789068 5451065 | 2147483647 317226 69 | 0.000 % |
696.17/696.14 c | 589545 | 84942 1789068 5451065 | 2147483647 317740 69 | 0.000 % |
698.37/698.35 c | 590570 | 84942 1789068 5451065 | 2147483647 318765 69 | 0.000 % |
699.87/699.82 c | 591082 | 84942 1789068 5451065 | 2147483647 319277 69 | 0.000 % |
700.87/700.84 c | 591594 | 84942 1789068 5451065 | 2147483647 319789 69 | 0.000 % |
702.57/702.59 c | 592618 | 84942 1789068 5451065 | 2147483647 320813 70 | 0.000 % |
705.77/705.81 c | 594667 | 84942 1789068 5451065 | 2147483647 322862 70 | 0.000 % |
712.37/712.38 c | 598763 | 84942 1789068 5451065 | 2147483647 326958 69 | 0.000 % |
723.67/723.68 c | 606955 | 84942 1789068 5451065 | 328195 335150 69 | 0.000 % |
749.67/749.65 c | 623339 | 84942 1789068 5451065 | 295722 299061 68 | 0.000 % |
753.47/753.46 c | 623851 | 84942 1789068 5451065 | 295722 259789 64 | 0.000 % |
754.27/754.21 c | 624364 | 84942 1789068 5451065 | 295722 260302 65 | 0.000 % |
755.78/755.80 c | 625388 | 84942 1789068 5451065 | 295722 261326 65 | 0.000 % |
756.47/756.50 c | 625901 | 84942 1789068 5451065 | 295722 261839 64 | 0.000 % |
756.97/756.96 c | 626414 | 84942 1789068 5451065 | 295722 262352 64 | 0.000 % |
757.98/757.97 c | 627438 | 84942 1789068 5451065 | 295722 263376 64 | 0.000 % |
760.07/760.11 c | 629488 | 84942 1789068 5451065 | 295722 265426 64 | 0.000 % |
760.57/760.54 c | 630000 | 84942 1789068 5451065 | 295722 265938 64 | 0.000 % |
761.17/761.21 c | 630512 | 84942 1789068 5451065 | 2147483647 266450 64 | 0.000 % |
762.57/762.55 c | 631536 | 84942 1789068 5451065 | 2147483647 267474 64 | 0.000 % |
763.57/763.55 c | 632048 | 84942 1789068 5451065 | 2147483647 267986 65 | 0.000 % |
765.37/765.36 c | 632560 | 84942 1789068 5451065 | 2147483647 268498 64 | 0.000 % |
766.97/766.95 c | 633584 | 84942 1789068 5451065 | 2147483647 269522 65 | 0.000 % |
768.87/768.83 c | 635632 | 84942 1789068 5451065 | 2147483647 271570 65 | 0.000 % |
773.08/773.02 c | 639728 | 84942 1789068 5451065 | 2147483647 275666 65 | 0.000 % |
773.58/773.54 c | 640240 | 84942 1789068 5451065 | 2147483647 276178 65 | 0.000 % |
774.18/774.15 c | 640752 | 84942 1789068 5451065 | 2147483647 276690 65 | 0.000 % |
775.28/775.28 c | 641780 | 84942 1789068 5451065 | 2147483647 277718 65 | 0.000 % |
775.88/775.83 c | 642292 | 84942 1789068 5451065 | 2147483647 278230 65 | 0.000 % |
777.58/777.59 c | 642808 | 84942 1789068 5451065 | 2147483647 278746 65 | 0.000 % |
778.78/778.80 c | 643838 | 84942 1789068 5451065 | 2147483647 279776 65 | 0.000 % |
781.48/781.42 c | 645887 | 84942 1789068 5451065 | 2147483647 281825 65 | 0.000 % |
781.98/781.97 c | 646399 | 84942 1789068 5451065 | 2147483647 282337 65 | 0.000 % |
782.68/782.66 c | 646912 | 84942 1789068 5451065 | 2147483647 282850 64 | 0.000 % |
783.88/783.82 c | 647936 | 84942 1789068 5451065 | 2147483647 283874 65 | 0.000 % |
784.68/784.70 c | 648451 | 84942 1789068 5451065 | 2147483647 284389 64 | 0.000 % |
785.68/785.65 c | 648964 | 84942 1789068 5451065 | 2147483647 284902 65 | 0.000 % |
787.78/787.73 c | 649988 | 84942 1789068 5451065 | 2147483647 285926 65 | 0.000 % |
790.88/790.84 c | 652037 | 84942 1789068 5451065 | 2147483647 287975 64 | 0.000 % |
798.67/798.67 c | 656134 | 84942 1789068 5451065 | 2147483647 292072 64 | 0.000 % |
814.97/814.93 c | 664327 | 84942 1789068 5451065 | 2147483647 300265 64 | 0.000 % |
815.47/815.41 c | 664839 | 84942 1789068 5451065 | 2147483647 300777 64 | 0.000 % |
816.87/816.84 c | 665351 | 84942 1789068 5451065 | 2147483647 301289 64 | 0.000 % |
818.77/818.70 c | 666377 | 84942 1789068 5451065 | 2147483647 302315 64 | 0.000 % |
820.17/820.19 c | 666890 | 84942 1789068 5451065 | 2147483647 302828 64 | 0.000 % |
820.77/820.72 c | 667402 | 84942 1789068 5451065 | 2147483647 303340 63 | 0.000 % |
822.97/822.95 c | 668427 | 84942 1789068 5451065 | 2147483647 304365 63 | 0.000 % |
826.77/826.74 c | 670476 | 84942 1789068 5451065 | 2147483647 306414 63 | 0.000 % |
827.67/827.64 c | 670990 | 84942 1789068 5451065 | 2147483647 306928 63 | 0.000 % |
828.38/828.39 c | 671503 | 84942 1789068 5451065 | 2147483647 307441 63 | 0.000 % |
830.27/830.20 c | 672527 | 84942 1789068 5451065 | 2147483647 308465 64 | 0.000 % |
831.07/831.07 c | 673039 | 84942 1789068 5451065 | 2147483647 308977 64 | 0.000 % |
831.87/831.84 c | 673551 | 84942 1789068 5451065 | 2147483647 309489 64 | 0.000 % |
833.67/833.61 c | 674575 | 84942 1789068 5451065 | 2147483647 310513 64 | 0.000 % |
836.17/836.11 c | 676625 | 84942 1789068 5451065 | 2147483647 312563 64 | 0.000 % |
841.07/841.01 c | 680721 | 84942 1789068 5451065 | 2147483647 316659 64 | 0.000 % |
841.47/841.50 c | 681233 | 84942 1789068 5451065 | 2147483647 317171 64 | 0.000 % |
842.27/842.25 c | 681745 | 84942 1789068 5451065 | 2147483647 317683 64 | 0.000 % |
843.27/843.24 c | 682769 | 84942 1789068 5451065 | 2147483647 318707 64 | 0.000 % |
844.07/844.04 c | 683282 | 84942 1789068 5451065 | 2147483647 319220 64 | 0.000 % |
844.67/844.61 c | 683795 | 84942 1789068 5451065 | 2147483647 319733 63 | 0.000 % |
846.07/846.05 c | 684820 | 84942 1789068 5451065 | 2147483647 320758 63 | 0.000 % |
848.67/848.65 c | 686868 | 84942 1789068 5451065 | 2147483647 322806 63 | 0.000 % |
849.47/849.46 c | 687380 | 84942 1789068 5451065 | 2147483647 323318 63 | 0.000 % |
850.17/850.15 c | 687892 | 84942 1789068 5451065 | 2147483647 323830 63 | 0.000 % |
851.58/851.54 c | 688916 | 84942 1789068 5451065 | 2147483647 324854 63 | 0.000 % |
852.18/852.14 c | 689428 | 84942 1789068 5451065 | 2147483647 325366 63 | 0.000 % |
852.78/852.80 c | 689941 | 84942 1789068 5451065 | 2147483647 325879 63 | 0.000 % |
854.28/854.25 c | 690966 | 84942 1789068 5451065 | 2147483647 326904 63 | 0.000 % |
856.98/856.98 c | 693015 | 84942 1789068 5451065 | 2147483647 328953 63 | 0.000 % |
861.88/861.90 c | 697112 | 84942 1789068 5451065 | 2147483647 333050 64 | 0.000 % |
872.58/872.54 c | 705305 | 84942 1789068 5451065 | 335938 341243 63 | 0.000 % |
898.28/898.28 c | 721690 | 84942 1789068 5451065 | 302091 303780 64 | 0.000 % |
942.29/942.24 c | 754459 | 84942 1789068 5451065 | 299838 304297 60 | 0.000 % |
952.89/952.83 c | 754972 | 84942 1789068 5451065 | 299838 256883 60 | 0.000 % |
953.79/953.78 c | 755484 | 84942 1789068 5451065 | 299838 257395 60 | 0.000 % |
955.09/955.08 c | 756510 | 84942 1789068 5451065 | 299838 258421 60 | 0.000 % |
955.69/955.70 c | 757022 | 84942 1789068 5451065 | 299838 258933 60 | 0.000 % |
956.39/956.36 c | 757534 | 84942 1789068 5451065 | 299838 259445 60 | 0.000 % |
957.59/957.59 c | 758558 | 84942 1789068 5451065 | 299838 260469 60 | 0.000 % |
960.09/960.03 c | 760607 | 84942 1789068 5451065 | 261912 262518 60 | 0.000 % |
965.69/965.62 c | 761119 | 84942 1789068 5451065 | 261912 226046 59 | 0.000 % |
966.09/966.06 c | 761631 | 84942 1789068 5451065 | 261912 226558 59 | 0.000 % |
967.29/967.27 c | 762656 | 84942 1789068 5451065 | 261912 227583 59 | 0.000 % |
967.89/967.89 c | 763168 | 84942 1789068 5451065 | 261912 228095 59 | 0.000 % |
968.59/968.51 c | 763681 | 84942 1789068 5451065 | 261912 228608 59 | 0.000 % |
969.49/969.43 c | 764705 | 84942 1789068 5451065 | 261912 229632 59 | 0.000 % |
971.69/971.63 c | 766755 | 84942 1789068 5451065 | 261912 231682 59 | 0.000 % |
976.89/976.89 c | 770851 | 84942 1789068 5451065 | 2147483647 235778 59 | 0.000 % |
977.49/977.44 c | 771363 | 84942 1789068 5451065 | 2147483647 236290 59 | 0.000 % |
977.99/977.93 c | 771876 | 84942 1789068 5451065 | 2147483647 236803 59 | 0.000 % |
979.29/979.23 c | 772900 | 84942 1789068 5451065 | 2147483647 237827 59 | 0.000 % |
979.89/979.86 c | 773413 | 84942 1789068 5451065 | 2147483647 238340 59 | 0.000 % |
980.49/980.42 c | 773925 | 84942 1789068 5451065 | 2147483647 238852 59 | 0.000 % |
981.79/981.77 c | 774949 | 84942 1789068 5451065 | 2147483647 239876 59 | 0.000 % |
983.89/983.82 c | 776998 | 84942 1789068 5451065 | 2147483647 241925 59 | 0.000 % |
984.39/984.35 c | 777510 | 84942 1789068 5451065 | 2147483647 242437 59 | 0.000 % |
984.99/984.97 c | 778024 | 84942 1789068 5451065 | 2147483647 242951 59 | 0.000 % |
986.09/986.08 c | 779052 | 84942 1789068 5451065 | 2147483647 243979 60 | 0.000 % |
986.69/986.70 c | 779566 | 84942 1789068 5451065 | 2147483647 244493 60 | 0.000 % |
987.29/987.24 c | 780078 | 84942 1789068 5451065 | 2147483647 245005 60 | 0.000 % |
988.79/988.74 c | 781104 | 84942 1789068 5451065 | 2147483647 246031 60 | 0.000 % |
991.09/991.07 c | 783152 | 84942 1789068 5451065 | 2147483647 248079 60 | 0.000 % |
996.39/996.36 c | 787248 | 84942 1789068 5451065 | 2147483647 252175 60 | 0.000 % |
1007.89/1007.85 c | 795440 | 84942 1789068 5451065 | 2147483647 260367 62 | 0.000 % |
1008.59/1008.55 c | 795952 | 84942 1789068 5451065 | 2147483647 260879 62 | 0.000 % |
1009.09/1009.06 c | 796466 | 84942 1789068 5451065 | 2147483647 261393 62 | 0.000 % |
1010.29/1010.22 c | 797490 | 84942 1789068 5451065 | 2147483647 262417 62 | 0.000 % |
1010.69/1010.69 c | 798002 | 84942 1789068 5451065 | 2147483647 262929 62 | 0.000 % |
1011.49/1011.47 c | 798514 | 84942 1789068 5451065 | 2147483647 263441 62 | 0.000 % |
1012.89/1012.90 c | 799540 | 84942 1789068 5451065 | 2147483647 264467 62 | 0.000 % |
1015.19/1015.12 c | 801588 | 84942 1789068 5451065 | 2147483647 266515 62 | 0.000 % |
1015.90/1015.82 c | 802100 | 84942 1789068 5451065 | 2147483647 267027 62 | 0.000 % |
1016.50/1016.42 c | 802612 | 84942 1789068 5451065 | 2147483647 267539 62 | 0.000 % |
1017.90/1017.88 c | 803637 | 84942 1789068 5451065 | 2147483647 268564 61 | 0.000 % |
1018.50/1018.49 c | 804149 | 84942 1789068 5451065 | 2147483647 269076 61 | 0.000 % |
1019.40/1019.40 c | 804662 | 84942 1789068 5451065 | 2147483647 269589 61 | 0.000 % |
1021.50/1021.46 c | 805686 | 84942 1789068 5451065 | 2147483647 270613 61 | 0.000 % |
1025.60/1025.55 c | 807735 | 84942 1789068 5451065 | 2147483647 272662 61 | 0.000 % |
1030.40/1030.39 c | 811831 | 84942 1789068 5451065 | 2147483647 276758 61 | 0.000 % |
1030.80/1030.74 c | 812344 | 84942 1789068 5451065 | 2147483647 277271 61 | 0.000 % |
1032.00/1031.93 c | 812856 | 84942 1789068 5451065 | 2147483647 277783 61 | 0.000 % |
1032.60/1032.59 c | 813884 | 84942 1789068 5451065 | 2147483647 278811 61 | 0.000 % |
1033.50/1033.41 c | 814396 | 84942 1789068 5451065 | 2147483647 279323 61 | 0.000 % |
1034.10/1034.11 c | 814908 | 84942 1789068 5451065 | 2147483647 279835 61 | 0.000 % |
1035.00/1035.00 c | 815934 | 84942 1789068 5451065 | 2147483647 280861 61 | 0.000 % |
1037.40/1037.32 c | 817983 | 84942 1789068 5451065 | 2147483647 282910 61 | 0.000 % |
1037.70/1037.70 c | 818495 | 84942 1789068 5451065 | 2147483647 283422 61 | 0.000 % |
1038.30/1038.24 c | 819007 | 84942 1789068 5451065 | 2147483647 283934 61 | 0.000 % |
1040.30/1040.24 c | 820031 | 84942 1789068 5451065 | 2147483647 284958 61 | 0.000 % |
1040.90/1040.90 c | 820543 | 84942 1789068 5451065 | 2147483647 285470 61 | 0.000 % |
1041.71/1041.66 c | 821055 | 84942 1789068 5451065 | 2147483647 285982 61 | 0.000 % |
1043.01/1042.95 c | 822079 | 84942 1789068 5451065 | 2147483647 287006 61 | 0.000 % |
1045.51/1045.46 c | 824127 | 84942 1789068 5451065 | 2147483647 289054 61 | 0.000 % |
1051.11/1051.06 c | 828225 | 84942 1789068 5451065 | 2147483647 293152 61 | 0.000 % |
1063.41/1063.38 c | 836417 | 84942 1789068 5451065 | 2147483647 301344 61 | 0.000 % |
1074.61/1074.59 c | 852801 | 84942 1789068 5451065 | 2147483647 317728 63 | 0.000 % |
1075.21/1075.21 c | 853313 | 84942 1789068 5451065 | 2147483647 318240 63 | 0.000 % |
1075.61/1075.56 c | 853825 | 84942 1789068 5451065 | 2147483647 318752 63 | 0.000 % |
1076.01/1075.98 c | 854849 | 84942 1789068 5451065 | 2147483647 319776 63 | 0.000 % |
1077.21/1077.20 c | 855362 | 84942 1789068 5451065 | 2147483647 320289 63 | 0.000 % |
1078.01/1077.96 c | 855875 | 84942 1789068 5451065 | 2147483647 320802 63 | 0.000 % |
1078.81/1078.74 c | 856899 | 84942 1789068 5451065 | 2147483647 321826 63 | 0.000 % |
1080.81/1080.81 c | 858947 | 84942 1789068 5451065 | 2147483647 323874 63 | 0.000 % |
1081.42/1081.36 c | 859459 | 84942 1789068 5451065 | 2147483647 324386 63 | 0.000 % |
1081.91/1081.85 c | 859972 | 84942 1789068 5451065 | 2147483647 324899 63 | 0.000 % |
1083.11/1083.07 c | 860997 | 84942 1789068 5451065 | 2147483647 325924 63 | 0.000 % |
1083.62/1083.56 c | 861525 | 84942 1789068 5451065 | 2147483647 326452 63 | 0.000 % |
1084.51/1084.48 c | 862037 | 84942 1789068 5451065 | 2147483647 326964 63 | 0.000 % |
1085.91/1085.85 c | 863062 | 84942 1789068 5451065 | 2147483647 327989 63 | 0.000 % |
1089.12/1089.08 c | 865110 | 84942 1789068 5451065 | 2147483647 330037 63 | 0.000 % |
1113.32/1113.24 c | 869206 | 74909 1604542 4923772 | 2147483647 73865 61 | 11.812 % |
1114.12/1114.11 c | 869719 | 74909 1604542 4923772 | 2147483647 74378 61 | 11.812 % |
1114.82/1114.77 c | 870234 | 74909 1604542 4923772 | 2147483647 74893 61 | 11.812 % |
1116.42/1116.36 c | 871258 | 74909 1604542 4923772 | 2147483647 75917 61 | 11.812 % |
1116.72/1116.69 c | 871770 | 74909 1604542 4923772 | 2147483647 76429 61 | 11.812 % |
1117.02/1116.97 c | 872283 | 74909 1604542 4923772 | 2147483647 76942 61 | 11.812 % |
1117.72/1117.71 c | 873307 | 74909 1604542 4923772 | 2147483647 77966 61 | 11.812 % |
1119.62/1119.60 c | 875355 | 74909 1604542 4923772 | 2147483647 80014 61 | 11.812 % |
1120.12/1120.05 c | 875867 | 74909 1604542 4923772 | 2147483647 80526 61 | 11.812 % |
1120.32/1120.26 c | 876380 | 74909 1604542 4923772 | 2147483647 81039 61 | 11.812 % |
1121.52/1121.47 c | 877406 | 74909 1604542 4923772 | 2147483647 82065 61 | 11.812 % |
1122.12/1122.03 c | 877919 | 74909 1604542 4923772 | 2147483647 82578 62 | 11.812 % |
1122.22/1122.17 c | 878432 | 74909 1604542 4923772 | 2147483647 83091 61 | 11.812 % |
1124.52/1124.47 c | 879457 | 74909 1604542 4923772 | 2147483647 84116 61 | 11.812 % |
1126.12/1126.06 c | 881505 | 74909 1604542 4923772 | 2147483647 86164 62 | 11.812 % |
1129.92/1129.84 c | 885602 | 74909 1604542 4923772 | 2147483647 90261 63 | 11.812 % |
1136.82/1136.77 c | 893796 | 74909 1604542 4923772 | 2147483647 98455 65 | 11.812 % |
1137.12/1137.09 c | 894309 | 74909 1604542 4923772 | 2147483647 98968 65 | 11.812 % |
1137.92/1137.89 c | 894821 | 74909 1604542 4923772 | 2147483647 99480 65 | 11.812 % |
1138.82/1138.81 c | 895847 | 74909 1604542 4923772 | 2147483647 100506 65 | 11.812 % |
1139.32/1139.23 c | 896359 | 74909 1604542 4923772 | 2147483647 101018 65 | 11.812 % |
1139.82/1139.79 c | 896873 | 74909 1604542 4923772 | 2147483647 101532 65 | 11.812 % |
1140.82/1140.76 c | 897897 | 74909 1604542 4923772 | 2147483647 102556 65 | 11.812 % |
1141.92/1141.87 c | 899946 | 74909 1604542 4923772 | 2147483647 104605 65 | 11.812 % |
1142.52/1142.45 c | 900459 | 74909 1604542 4923772 | 2147483647 105118 65 | 11.812 % |
1143.32/1143.27 c | 900973 | 74909 1604542 4923772 | 2147483647 105632 65 | 11.812 % |
1144.22/1144.13 c | 901997 | 74909 1604542 4923772 | 2147483647 106656 65 | 11.812 % |
1144.62/1144.55 c | 902509 | 74909 1604542 4923772 | 2147483647 107168 65 | 11.812 % |
1145.02/1144.92 c | 903024 | 74909 1604542 4923772 | 2147483647 107683 65 | 11.812 % |
1146.72/1146.71 c | 904048 | 74909 1604542 4923772 | 2147483647 108707 65 | 11.812 % |
1150.02/1149.93 c | 906097 | 74909 1604542 4923772 | 2147483647 110756 65 | 11.812 % |
1153.72/1153.63 c | 910195 | 74909 1604542 4923772 | 2147483647 114854 65 | 11.812 % |
1154.12/1154.04 c | 910708 | 74909 1604542 4923772 | 2147483647 115367 65 | 11.812 % |
1154.62/1154.60 c | 911220 | 74909 1604542 4923772 | 2147483647 115879 65 | 11.812 % |
1155.62/1155.54 c | 912244 | 74909 1604542 4923772 | 2147483647 116903 65 | 11.812 % |
1156.01/1155.95 c | 912756 | 74909 1604542 4923772 | 2147483647 117415 65 | 11.812 % |
1156.22/1156.16 c | 913269 | 74909 1604542 4923772 | 2147483647 117928 65 | 11.812 % |
1157.21/1157.19 c | 914294 | 74909 1604542 4923772 | 2147483647 118953 65 | 11.812 % |
1159.61/1159.51 c | 916342 | 74909 1604542 4923772 | 2147483647 121001 66 | 11.812 % |
1159.81/1159.74 c | 916854 | 74909 1604542 4923772 | 2147483647 121513 66 | 11.812 % |
1160.11/1160.03 c | 917367 | 74909 1604542 4923772 | 2147483647 122026 66 | 11.812 % |
1161.21/1161.19 c | 918392 | 74909 1604542 4923772 | 2147483647 123051 66 | 11.812 % |
1161.91/1161.87 c | 918904 | 74909 1604542 4923772 | 2147483647 123563 66 | 11.812 % |
1162.41/1162.40 c | 919416 | 74909 1604542 4923772 | 2147483647 124075 66 | 11.812 % |
1163.51/1163.44 c | 920440 | 74909 1604542 4923772 | 2147483647 125099 66 | 11.812 % |
1165.41/1165.34 c | 922488 | 74909 1604542 4923772 | 2147483647 127147 66 | 11.812 % |
1167.61/1167.55 c | 926584 | 74909 1604542 4923772 | 2147483647 131243 66 | 11.812 % |
1176.41/1176.36 c | 934776 | 74909 1604542 4923772 | 2147483647 139435 69 | 11.812 % |
1196.82/1196.78 c | 951162 | 74909 1604542 4923772 | 2147483647 155821 73 | 11.812 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821929-1242579870/watcher-1821929-1242579870 -o /tmp/evaluation-result-1821929-1242579870/solver-1821929-1242579870 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821929-1242579870.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 12715
/proc/meminfo: memFree=753612/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2416 CPUtime=0
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 368 644 0 0 0 0 0 0 25 0 1 0 1022488366 2473984 277 4294967295 134512640 135169312 3214333120 3214331656 3085041390 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12715/statm: 604 277 235 161 0 43 0
[pid=12719] ppid=12715 vsize=948 CPUtime=0
/proc/12719/stat : 12719 (SatELite_releas) R 12715 12715 20977 0 -1 4202496 114 0 0 0 0 0 0 0 18 0 1 0 1022488366 970752 49 4294967295 134512640 135223648 3220054560 3220053464 134736942 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12719/statm: 237 53 44 174 0 62 0
[startup+0.026067 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 12715
/proc/meminfo: memFree=753612/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2416 CPUtime=0
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 368 644 0 0 0 0 0 0 25 0 1 0 1022488366 2473984 277 4294967295 134512640 135169312 3214333120 3214331656 3085041390 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12715/statm: 604 277 235 161 0 43 0
[pid=12719] ppid=12715 vsize=3260 CPUtime=0.03
/proc/12719/stat : 12719 (SatELite_releas) R 12715 12715 20977 0 -1 4202496 677 0 0 0 3 0 0 0 18 0 1 0 1022488366 3338240 612 4294967295 134512640 135223648 3220054560 3220053512 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12719/statm: 815 612 46 174 0 640 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5676
[startup+0.116056 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 12715
/proc/meminfo: memFree=753612/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2416 CPUtime=0
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 368 644 0 0 0 0 0 0 25 0 1 0 1022488366 2473984 277 4294967295 134512640 135169312 3214333120 3214331656 3085041390 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12715/statm: 604 277 235 161 0 43 0
[pid=12719] ppid=12715 vsize=12448 CPUtime=0.12
/proc/12719/stat : 12719 (SatELite_releas) R 12715 12715 20977 0 -1 4202496 2621 0 0 0 10 2 0 0 18 0 1 0 1022488366 12746752 2556 4294967295 134512640 135223648 3220054560 3220053512 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12719/statm: 3112 2557 46 174 0 2937 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14864
[startup+0.316037 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 12715
/proc/meminfo: memFree=753612/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2416 CPUtime=0
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 368 644 0 0 0 0 0 0 25 0 1 0 1022488366 2473984 277 4294967295 134512640 135169312 3214333120 3214331656 3085041390 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12715/statm: 604 277 235 161 0 43 0
[pid=12719] ppid=12715 vsize=29272 CPUtime=0.32
/proc/12719/stat : 12719 (SatELite_releas) R 12715 12715 20977 0 -1 4202496 6656 0 0 0 26 6 0 0 18 0 1 0 1022488366 29974528 6591 4294967295 134512640 135223648 3220054560 3220053512 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12719/statm: 7318 6591 46 174 0 7143 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 31688
[startup+0.715998 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 12715
/proc/meminfo: memFree=753612/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2416 CPUtime=0
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 368 644 0 0 0 0 0 0 25 0 1 0 1022488366 2473984 277 4294967295 134512640 135169312 3214333120 3214331656 3085041390 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12715/statm: 604 277 235 161 0 43 0
[pid=12719] ppid=12715 vsize=61692 CPUtime=0.72
/proc/12719/stat : 12719 (SatELite_releas) R 12715 12715 20977 0 -1 4202496 14119 0 0 0 63 9 0 0 18 0 1 0 1022488366 63172608 14054 4294967295 134512640 135223648 3220054560 3220053512 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12719/statm: 15423 14055 46 174 0 15248 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 64108
[startup+1.51592 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 12720
/proc/meminfo: memFree=676816/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2416 CPUtime=0
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 368 644 0 0 0 0 0 0 25 0 1 0 1022488366 2473984 277 4294967295 134512640 135169312 3214333120 3214331656 3085041390 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12715/statm: 604 277 235 161 0 43 0
[pid=12719] ppid=12715 vsize=131640 CPUtime=1.52
/proc/12719/stat : 12719 (SatELite_releas) R 12715 12715 20977 0 -1 4202496 33856 0 0 0 132 20 0 0 20 0 1 0 1022488366 134799360 31064 4294967295 134512640 135223648 3220054560 3220052576 134586887 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12719/statm: 32910 31064 73 174 0 32735 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 134056
[startup+3.11576 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 12720
/proc/meminfo: memFree=623496/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2416 CPUtime=0
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 368 644 0 0 0 0 0 0 25 0 1 0 1022488366 2473984 277 4294967295 134512640 135169312 3214333120 3214331656 3085041390 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12715/statm: 604 277 235 161 0 43 0
[pid=12719] ppid=12715 vsize=148432 CPUtime=3.12
/proc/12719/stat : 12719 (SatELite_releas) R 12715 12715 20977 0 -1 4202496 36381 0 0 0 292 20 0 0 25 0 1 0 1022488366 151994368 33589 4294967295 134512640 135223648 3220054560 3220052576 134586709 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12719/statm: 37108 33589 73 174 0 36933 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 150848
[startup+6.31545 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 12720
/proc/meminfo: memFree=605424/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2416 CPUtime=0
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 368 644 0 0 0 0 0 0 25 0 1 0 1022488366 2473984 277 4294967295 134512640 135169312 3214333120 3214331656 3085041390 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12715/statm: 604 277 235 161 0 43 0
[pid=12719] ppid=12715 vsize=172676 CPUtime=6.32
/proc/12719/stat : 12719 (SatELite_releas) R 12715 12715 20977 0 -1 4202496 39879 0 0 0 609 23 0 0 25 0 1 0 1022488366 176820224 36824 4294967295 134512640 135223648 3220054560 3220052912 134602171 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12719/statm: 43169 36824 91 174 0 42994 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 175092
[startup+12.7148 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 12904
/proc/meminfo: memFree=603800/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2416 CPUtime=0
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 368 644 0 0 0 0 0 0 25 0 1 0 1022488366 2473984 277 4294967295 134512640 135169312 3214333120 3214331656 3085041390 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12715/statm: 604 277 235 161 0 43 0
[pid=12719] ppid=12715 vsize=173700 CPUtime=12.72
/proc/12719/stat : 12719 (SatELite_releas) R 12715 12715 20977 0 -1 4202496 40099 0 0 0 1248 24 0 0 25 0 1 0 1022488366 177868800 37026 4294967295 134512640 135223648 3220054560 3220052656 134586206 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12719/statm: 43425 37026 73 174 0 43250 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 176116
[startup+25.5136 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 12905
/proc/meminfo: memFree=631736/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=86484 CPUtime=8.14
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 20784 0 0 0 799 15 0 0 25 0 1 0 1022490102 88559616 20719 4294967295 134512640 135216591 3213642848 3213641040 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12905/statm: 21621 20719 75 172 0 21448 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 88904
[startup+51.121 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 12907
/proc/meminfo: memFree=625576/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=92792 CPUtime=33.75
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 22347 0 0 0 3358 17 0 0 25 0 1 0 1022490102 95019008 22282 4294967295 134512640 135216591 3213642848 3213641040 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12905/statm: 23198 22282 75 172 0 23025 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 95212
[startup+102.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 13094
/proc/meminfo: memFree=611176/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=107156 CPUtime=84.95
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 25933 0 0 0 8475 20 0 0 25 0 1 0 1022490102 109727744 25868 4294967295 134512640 135216591 3213642848 3213641040 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12905/statm: 26789 25868 75 172 0 26616 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 109576
[startup+162.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13283
/proc/meminfo: memFree=586640/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=131672 CPUtime=144.95
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 32054 0 0 0 14466 29 0 0 25 0 1 0 1022490102 134832128 31989 4294967295 134512640 135216591 3213642848 3213641040 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12905/statm: 32918 31989 75 172 0 32745 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 134092
[startup+222.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 13470
/proc/meminfo: memFree=565212/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=152900 CPUtime=204.96
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 37354 0 0 0 20462 34 0 0 25 0 1 0 1022490102 156569600 37289 4294967295 134512640 135216591 3213642848 3213640848 134527519 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12905/statm: 38225 37289 75 172 0 38052 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 155320
[startup+282.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13659
/proc/meminfo: memFree=541504/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=176924 CPUtime=264.97
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 43291 0 0 0 26452 45 0 0 25 0 1 0 1022490102 181170176 43226 4294967295 134512640 135216591 3213642848 3213641040 134528881 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12905/statm: 44231 43226 75 172 0 44058 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 179344
[startup+342.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13848
/proc/meminfo: memFree=524548/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=193808 CPUtime=324.97
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 47550 0 0 0 32449 48 0 0 25 0 1 0 1022490102 198459392 47485 4294967295 134512640 135216591 3213642848 3213641040 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12905/statm: 48452 47485 75 172 0 48279 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
/proc/12905/statm: 57783 56631 75 172 0 57610 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 233552
[startup+642.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 14791
/proc/meminfo: memFree=483000/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=235792 CPUtime=625
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 57781 0 0 0 62443 57 0 0 25 0 1 0 1022490102 241451008 57716 4294967295 134512640 135216591 3213642848 3213641040 134528948 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12905/statm: 58948 57716 75 172 0 58775 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 238212
[startup+702.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 14978
/proc/meminfo: memFree=482520/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=236336 CPUtime=685.01
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 57925 0 0 0 68444 57 0 0 25 0 1 0 1022490102 242008064 57860 4294967295 134512640 135216591 3213642848 3213640816 134538290 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12905/statm: 59084 57860 75 172 0 58911 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 238756
[startup+762.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 15174
/proc/meminfo: memFree=481528/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=237180 CPUtime=745.02
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 58118 0 0 0 74445 57 0 0 25 0 1 0 1022490102 242872320 58053 4294967295 134512640 135216591 3213642848 3213640848 134527381 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12905/statm: 59295 58053 75 172 0 59122 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 239600
[startup+822.305 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 15361
/proc/meminfo: memFree=480900/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=237872 CPUtime=805.01
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 58284 0 0 0 80443 58 0 0 25 0 1 0 1022490102 243580928 58219 4294967295 134512640 135216591 3213642848 3213641040 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12905/statm: 59468 58219 75 172 0 59295 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 240292
[startup+882.309 s]
/proc/loadavg: 1.00 1.00 1.00 5/95 15548
/proc/meminfo: memFree=480900/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=237952 CPUtime=865.02
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 58312 0 0 0 86444 58 0 0 25 0 1 0 1022490102 243662848 58247 4294967295 134512640 135216591 3213642848 3213641040 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12905/statm: 59488 58247 75 172 0 59315 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 240372
[startup+942.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 15737
/proc/meminfo: memFree=480536/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=238316 CPUtime=925.03
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 58404 0 0 0 92445 58 0 0 25 0 1 0 1022490102 244035584 58339 4294967295 134512640 135216591 3213642848 3213640848 134546193 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12905/statm: 59579 58339 75 172 0 59406 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 240736
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 15924
/proc/meminfo: memFree=480512/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=238316 CPUtime=985.03
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 58404 0 0 0 98445 58 0 0 25 0 1 0 1022490102 244035584 58339 4294967295 134512640 135216591 3213642848 3213641040 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12905/statm: 59579 58339 75 172 0 59406 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 240736
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 16117
/proc/meminfo: memFree=480016/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=238728 CPUtime=1045.05
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 58503 0 0 0 104445 60 0 0 25 0 1 0 1022490102 244457472 58430 4294967295 134512640 135216591 3213642848 3213640816 134538210 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12905/statm: 59682 58430 75 172 0 59509 0
Current children cumulated CPU time (s) 1062.41
Current children cumulated vsize (KiB) 241148
[startup+1122.33 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 16304
/proc/meminfo: memFree=480188/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=238728 CPUtime=1105.06
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 58512 0 0 0 110446 60 0 0 25 0 1 0 1022490102 244457472 58439 4294967295 134512640 135216591 3213642848 3213641040 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12905/statm: 59682 58439 75 172 0 59509 0
Current children cumulated CPU time (s) 1122.42
Current children cumulated vsize (KiB) 241148
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 16491
/proc/meminfo: memFree=479824/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=238728 CPUtime=1165.06
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 58512 0 0 0 116446 60 0 0 25 0 1 0 1022490102 244457472 58439 4294967295 134512640 135216591 3213642848 3213641040 134528948 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12905/statm: 59682 58439 75 172 0 59509 0
Current children cumulated CPU time (s) 1182.42
Current children cumulated vsize (KiB) 241148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 16494
/proc/meminfo: memFree=479824/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=238728 CPUtime=1182.66
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 58512 0 0 0 118206 60 0 0 25 0 1 0 1022490102 244457472 58439 4294967295 134512640 135216591 3213642848 3213641040 134528851 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12905/statm: 59682 58439 75 172 0 59509 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 241148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 16494
/proc/meminfo: memFree=479824/2074464 swapFree=1951864/1959888
[pid=12715] ppid=12713 vsize=2420 CPUtime=17.36
/proc/12715/stat : 12715 (SatELiteGTI) S 12713 12715 20977 0 -1 4194304 386 46505 0 0 0 0 1703 33 24 0 1 0 1022488366 2478080 278 4294967295 134512640 135169312 3214333120 3214329336 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12715/statm: 605 278 235 161 0 44 0
[pid=12905] ppid=12715 vsize=238728 CPUtime=1182.66
/proc/12905/stat : 12905 (minisat_static) R 12715 12715 20977 0 -1 4202496 58512 0 0 0 118206 60 0 0 25 0 1 0 1022490102 244457472 58439 4294967295 134512640 135216591 3213642848 3213641040 134528851 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12905/statm: 59682 58439 75 172 0 59509 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 241148
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12715 and gives
# childrusage.ru_utime.tv_sec=17
# childrusage.ru_utime.tv_usec=30000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=330000
# CPU time returned by wait4() is 17.36
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1199.94
CPU time (s): 1200.02
CPU user time (s): 1199.09
CPU system time (s): 0.93
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 241148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.03
system time used= 0.33
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46891
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 16
runsolver used 0.02 second user time and 0.02 second system time
The end
Begin job on tipi10 at 2009-05-17 19:04:30
IDJOB=1821929
IDBENCH=71736
IDSOLVER=658
FILE ID=tipi10/1821929-1242579870
PBS_JOBID=
Free space on /tmp= 3656 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE06/velev-vliw-uns-4.0-9C1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821929-1242579870/watcher-1821929-1242579870 -o /tmp/evaluation-result-1821929-1242579870/solver-1821929-1242579870 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821929-1242579870.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0c9a15d0f561e9d1bb438b04ae3c31af
RANDOM SEED= 1995036186
Linux tipi10 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.367
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.367
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.367
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.367
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: 753628 kB
Buffers: 50164 kB
Cached: 1150568 kB
SwapCached: 2732 kB
Active: 429856 kB
Inactive: 780824 kB
HighTotal: 1178688 kB
HighFree: 404788 kB
LowTotal: 895776 kB
LowFree: 348840 kB
SwapTotal: 1959888 kB
SwapFree: 1951864 kB
Dirty: 38100 kB
Writeback: 0 kB
AnonPages: 9016 kB
Mapped: 3084 kB
Slab: 101576 kB
PageTables: 540 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90592 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 3617 MiB
End job on tipi10 at 2009-05-17 19:24:35