0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 2.9.0
0.00/0.00 c compiled with gcc version 4.4.5
0.00/0.00 c Using 1 thread(s)
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3281789-1303753085.cnf'
0.00/0.00 c -- header says num vars: 310434
0.00/0.00 c -- header says num clauses: 923497
0.59/0.60 c -- clauses added: 0 learnts, 923497 normals, 0 xors
0.59/0.60 c -- vars added 310434
0.59/0.60 c Parsing time: 0.53 s
0.59/0.60 c N st 0 0 310434 307832 615664 0 2154824 0 no data no data --
1.00/1.02 c asymm cl-useful: 568/11472/307831 lits-rem:1704 time: 0.41
12.99/13.00 c Flit: 3156 Blit: 10699 bXBeca: 0 bXProp: 13153 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 11.95
12.99/13.04 c Cleaning up after failed var search: 0.04 s
13.39/13.40 c Calc non-exist non-lernt bins v-fix: 0 done: 29407 time: 0.34 s
13.39/13.40 c Cache BProp: 0 Set: 0 BXProp: 446 T: 0.01
13.39/13.44 c Subs w/ non-existent bins: 303 time: 0.04 s
13.49/13.51 c Replacing 13599 vars Replaced 247985 lits Time: 0.06 s
13.59/13.67 c bin-w-bin subsume rem 822 bins time: 0.06 s
13.69/13.79 c subs with bin: 236 lits-rem: 200 v-fix: 0 time: 0.13 s
13.89/13.98 c Removed useless bin: 228 fixed: 0 bprops: 10.00M time: 0.19 s
15.09/15.16 c lits-rem: 0 cl-subs: 9 v-elim: 94295 v-fix: 0 time: 1.15 s
15.09/15.16 c learnt bin added due to v-elim: 0
15.19/15.22 c Finding binary XORs T: 0.05 s found: 7336
15.19/15.28 c Replacing 7336 vars Replaced 107424 lits Time: 0.07 s
15.49/15.50 c Finding non-binary XORs: 0.17 s (found: 124, avg size: 3.0)
15.49/15.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
15.49/15.55 c Calc default polars - time: 0.03 s pos: 47177 undec: 130773 neg: 132484
15.49/15.55 c =========================================================================================
15.49/15.55 c types(t): F = full restart, N = normal restart
15.49/15.55 c types(t): S = simplification begin/end, E = solution found
15.49/15.55 c restart types(rt): st = static, dy = dynamic
15.49/15.55 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG
15.49/15.55 c B st 0 0 181104 286392 329786 0 1662044 0 no data no data --
16.50/16.54 c Decided on dynamic restart strategy
17.50/17.56 c N dy 20 4077 181087 286392 329891 3826 1662044 57883 12.63 7.96 --
19.99/20.09 c N dy 48 8090 181078 286392 329950 7687 1662044 107720 14.40 7.41 --
22.89/22.97 c N dy 77 12133 180965 286392 330014 11541 1662044 157188 10.86 7.22 --
25.69/25.75 c N dy 106 16249 180957 286392 330073 15484 1662044 216205 18.28 7.44 --
28.60/28.63 c N dy 135 20300 180857 286392 330140 9795 1662044 58309 12.50 7.37 --
31.69/31.70 c N dy 164 24355 180857 286392 330184 13710 1662044 110542 13.49 7.30 --
34.19/34.25 c N dy 194 28458 180738 286392 330236 17626 1662044 161893 12.81 7.24 --
35.20/35.28 c S st 206 30000 180733 286392 330243 19113 1662044 184277 12.84 7.26 --
35.79/35.86 c S st 206 30500 180728 286392 330291 19516 1662044 188754 12.84 7.26 --
35.89/35.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
52.49/52.51 c Flit: 165 Blit: 760 bXBeca: 0 bXProp: 3584 Bin: 18994 BRemL: 1778 BRemN: 298 CBin: 0 P: 60.0M T: 16.60
52.49/52.55 c Cleaning up after failed var search: 0.03 s
52.69/52.76 c Calc non-exist non-lernt bins v-fix: 0 done: 30471 time: 0.21 s
52.69/52.77 c Cache BProp: 0 Set: 0 BXProp: 12 T: 0.01
52.79/52.84 c Subs w/ non-existent bins: 293 time: 0.06 s
52.89/52.91 c Replacing 3596 vars Replaced 94536 lits Time: 0.07 s
52.99/53.05 c bin-w-bin subsume rem 1075 bins time: 0.04 s
53.09/53.17 c subs with bin: 862 lits-rem: 6835 v-fix: 0 time: 0.11 s
53.29/53.39 c Removed useless bin: 212 fixed: 7 bprops: 10.00M time: 0.23 s
55.39/55.42 c lits-rem: 1418 cl-subs: 18526 v-elim: 116719 v-fix: 0 time: 2.01 s
55.39/55.42 c learnt bin added due to v-elim: 0
55.59/55.67 c asymm cl-useful: 266/3555/282542 lits-rem:363 time: 0.24
55.59/55.67 c Added XOR as norm:124
55.69/55.70 c N dy 206 30500 58425 283038 68827 1747 1352818 20106 12.84 7.26 --
55.69/55.70 c F st 206 30500 58425 283038 68827 1747 1352818 20106 12.84 7.26 --
56.29/56.37 c Decided on dynamic restart strategy
56.79/56.85 c N dy 226 34514 58425 283038 68854 5126 1352818 60752 10.24 7.23 --
57.89/57.97 c N dy 256 38543 58425 283038 68876 8532 1352818 99790 11.87 7.17 --
59.19/59.24 c N dy 285 42561 58425 283038 68903 11859 1352818 136459 9.02 7.08 --
60.19/60.29 c S st 309 45750 58425 283038 68917 14565 1352816 170124 9.79 7.07 --
60.49/60.54 c S st 309 46254 58421 283038 68937 15027 1352816 175535 9.79 7.07 --
60.49/60.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
60.49/60.59 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.01
69.49/69.58 c Flit: 33 Blit: 55 bXBeca: 0 bXProp: 696 Bin: 6885 BRemL: 1886 BRemN: 414 CBin: 0 P: 60.0M T: 8.98
69.69/69.74 c Calc non-exist non-lernt bins v-fix: 0 done: 31171 time: 0.16 s
69.69/69.76 c Cache BProp: 42 Set: 0 BXProp: 0 T: 0.02
69.89/69.99 c Subs w/ non-existent bins: 1304 time: 0.23 s
69.99/70.08 c Replacing 696 vars Replaced 30738 lits Time: 0.08 s
70.09/70.19 c bin-w-bin subsume rem 564 bins time: 0.02 s
70.19/70.27 c subs with bin: 889 lits-rem: 10389 v-fix: 0 time: 0.08 s
70.30/70.33 c Removed useless bin: 189 fixed: 0 bprops: 2.05M time: 0.06 s
71.69/71.76 c lits-rem: 2303 cl-subs: 10936 v-elim: 31743 v-fix: 0 time: 1.42 s
71.69/71.76 c learnt bin added due to v-elim: 0
71.89/71.97 c vivif2 -- cl tried 257666 cl shrink 7588 lits rem 11430 time: 0.21
71.89/71.99 c vivif2 -- cl tried 4901 cl shrink 1271 lits rem 2802 time: 0.02
72.20/72.27 c asymm cl-useful: 57/4538/256978 lits-rem:148 time: 0.28
72.30/72.33 c calculated reachability. Time: 0.04
72.30/72.33 c N dy 309 46254 41409 256972 51918 4829 1286841 58584 9.79 7.07 --
73.29/73.32 c N dy 339 50343 41397 256972 51959 8385 1286838 99460 11.74 7.03 --
74.39/74.41 c N dy 369 54388 41390 256972 51990 11889 1286838 136244 9.99 6.96 --
75.49/75.50 c N dy 399 58441 41385 256972 52024 15446 1286838 175032 10.05 6.91 --
75.80/75.89 c Finding binary XORs T: 0.19 s found: 31
76.79/76.83 c N dy 429 62490 41343 256522 51845 18981 1283631 216884 10.27 6.90 --
77.89/77.95 c N dy 459 66533 41331 256522 51876 22588 1283631 258148 10.66 6.86 --
78.80/78.89 c S st 481 69381 41329 256522 51890 12809 1283631 90621 12.22 6.88 --
79.00/79.09 c S st 481 69881 41329 256522 51913 13281 1283631 95337 12.22 6.88 --
79.10/79.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
79.10/79.14 c Cache BProp: 14 Set: 0 BXProp: 0 T: 0.01
86.30/86.34 c Flit: 37 Blit: 44 bXBeca: 0 bXProp: 88 Bin: 4062 BRemL: 1608 BRemN: 334 CBin: 0 P: 60.0M T: 7.21
86.40/86.49 c Calc non-exist non-lernt bins v-fix: 0 done: 31243 time: 0.14 s
86.50/86.50 c Cache BProp: 19 Set: 0 BXProp: 0 T: 0.01
86.60/86.68 c Subs w/ non-existent bins: 1263 time: 0.18 s
86.70/86.76 c Replacing 119 vars Replaced 7618 lits Time: 0.06 s
86.80/86.85 c bin-w-bin subsume rem 422 bins time: 0.02 s
86.90/86.91 c subs with bin: 607 lits-rem: 1452 v-fix: 0 time: 0.06 s
86.90/86.96 c Removed useless bin: 129 fixed: 0 bprops: 1.30M time: 0.05 s
92.30/92.40 c ORs : 9642 avg-s: 2.1 cl-sh: 3261 l-rem: 4090 b-add: 248 v-rep: 1 cl-rem: 240 avg s: 6.4 T: 4.78
120.10/120.12 c Added 1 vars tried: 80000 time: 27.72
120.10/120.12 c ORs : 1 avg-s: 0.0 cl-sh: 87 l-rem: 87 b-add: 2 v-rep: 0 cl-rem: 7 avg s: 4.0 T: 27.72
120.20/120.20 c lits-rem: 722 cl-subs: 3314 v-elim: 10675 v-fix: 0 time: 33.24 s
120.20/120.20 c learnt bin added due to v-elim: 0
120.30/120.38 c vivif2 -- cl tried 249067 cl shrink 1137 lits rem 1568 time: 0.18
120.40/120.41 c vivif2 -- cl tried 10513 cl shrink 565 lits rem 793 time: 0.03
120.70/120.71 c asymm cl-useful: 87/2668/248938 lits-rem:137 time: 0.30
120.70/120.76 c calculated reachability. Time: 0.03
120.70/120.76 c N dy 481 69881 40338 248935 51921 10467 1240691 79846 12.22 6.88 --
120.70/120.76 c F st 481 69881 40338 248935 51921 10467 1240691 79846 12.22 6.88 --
120.80/120.80 c Replacing 1 vars Replaced 92 lits Time: 0.04 s
121.30/121.33 c Decided on dynamic restart strategy
122.00/122.02 c N dy 505 74438 40330 248935 51947 14489 1240679 125676 8.95 6.85 --
123.40/123.48 c N dy 542 79307 40322 248935 51977 18875 1240679 180313 12.56 6.86 --
125.00/125.00 c N dy 580 84472 40321 248935 52006 23420 1240679 231059 10.28 6.84 --
126.60/126.61 c N dy 619 89970 40321 248935 52018 28306 1240679 293553 11.59 6.85 --
128.30/128.32 c N dy 661 95722 40319 248935 52044 17721 1240679 133814 14.78 6.84 --
130.20/130.22 c N dy 706 101952 40315 248935 52069 23263 1240679 199748 11.36 6.83 --
131.20/131.20 c S st 728 104821 40311 248935 52080 25812 1240678 228111 10.10 6.81 --
131.39/131.45 c S st 728 105321 40310 248935 52099 26282 1240677 233234 10.10 6.81 --
131.39/131.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
131.39/131.49 c Cache BProp: 19 Set: 0 BXProp: 0 T: 0.01
138.99/139.09 c Flit: 25 Blit: 30 bXBeca: 0 bXProp: 107 Bin: 3734 BRemL: 1905 BRemN: 212 CBin: 0 P: 60.0M T: 7.59
139.19/139.23 c Calc non-exist non-lernt bins v-fix: 0 done: 31260 time: 0.14 s
139.19/139.25 c Cache BProp: 21 Set: 0 BXProp: 0 T: 0.01
139.39/139.49 c Subs w/ non-existent bins: 539 time: 0.25 s
139.49/139.57 c Replacing 107 vars Replaced 4315 lits Time: 0.07 s
139.60/139.68 c bin-w-bin subsume rem 331 bins time: 0.02 s
139.70/139.76 c subs with bin: 465 lits-rem: 1527 v-fix: 0 time: 0.08 s
139.79/139.80 c Removed useless bin: 74 fixed: 0 bprops: 1.18M time: 0.05 s
146.59/146.68 c ORs : 11703 avg-s: 2.1 cl-sh: 410 l-rem: 514 b-add: 49 v-rep: 0 cl-rem: 29 avg s: 5.0 T: 5.86
176.20/176.29 c Added 1 vars tried: 80000 time: 29.61
176.20/176.29 c ORs : 1 avg-s: 0.0 cl-sh: 97 l-rem: 97 b-add: 2 v-rep: 0 cl-rem: 3 avg s: 3.0 T: 29.61
176.30/176.38 c lits-rem: 1495 cl-subs: 4133 v-elim: 9942 v-fix: 0 time: 36.57 s
176.30/176.38 c learnt bin added due to v-elim: 0
176.50/176.57 c vivif2 -- cl tried 244493 cl shrink 760 lits rem 1036 time: 0.20
176.60/176.65 c vivif2 -- cl tried 22267 cl shrink 1002 lits rem 1375 time: 0.08
176.90/176.93 c asymm cl-useful: 102/1827/244414 lits-rem:154 time: 0.28
176.90/176.99 c calculated reachability. Time: 0.04
176.90/176.99 c N dy 728 105321 39600 244411 51831 22221 1216786 197877 10.10 6.81 --
179.20/179.30 c N dy 778 112089 39600 244411 51865 28254 1216786 272450 10.64 6.81 --
181.60/181.61 c N dy 832 119277 39600 244411 51899 34730 1216786 353671 11.15 6.81 --
184.00/184.03 c N dy 890 126996 39596 244411 51930 23720 1216786 190664 10.42 6.80 --
186.60/186.63 c N dy 951 135183 39591 244411 51969 31077 1216785 289810 11.36 6.82 --
189.39/189.49 c N dy 1015 143856 39590 244411 51998 38845 1216785 394277 11.10 6.83 --
192.41/192.47 c N dy 1084 153140 39590 244411 52046 27456 1216785 212147 11.71 6.83 --
194.00/194.05 c S st 1120 157982 39590 244411 52055 31827 1216784 277513 14.24 6.86 --
194.20/194.29 c S st 1120 158485 39589 244411 52070 32298 1216784 281736 14.24 6.86 --
194.30/194.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
194.30/194.34 c Cache BProp: 21 Set: 0 BXProp: 0 T: 0.01
201.70/201.76 c Flit: 15 Blit: 10 bXBeca: 0 bXProp: 98 Bin: 3440 BRemL: 1494 BRemN: 102 CBin: 0 P: 60.0M T: 7.42
201.90/201.90 c Calc non-exist non-lernt bins v-fix: 0 done: 31254 time: 0.14 s
201.90/201.92 c Cache BProp: 21 Set: 0 BXProp: 0 T: 0.01
202.10/202.17 c Subs w/ non-existent bins: 506 time: 0.26 s
202.20/202.25 c Replacing 98 vars Replaced 5995 lits Time: 0.07 s
202.30/202.35 c bin-w-bin subsume rem 163 bins time: 0.02 s
202.40/202.42 c subs with bin: 527 lits-rem: 1870 v-fix: 0 time: 0.07 s
202.40/202.47 c Removed useless bin: 39 fixed: 0 bprops: 1.15M time: 0.04 s
209.20/209.25 c ORs : 11646 avg-s: 2.1 cl-sh: 170 l-rem: 196 b-add: 26 v-rep: 1 cl-rem: 32 avg s: 3.8 T: 5.81
238.70/238.78 c Added 1 vars tried: 80000 time: 29.53
238.70/238.79 c ORs : 1 avg-s: 0.0 cl-sh: 146 l-rem: 146 b-add: 2 v-rep: 0 cl-rem: 1 avg s: 3.0 T: 29.53
238.80/238.86 c lits-rem: 1281 cl-subs: 3895 v-elim: 9013 v-fix: 0 time: 36.40 s
238.80/238.86 c learnt bin added due to v-elim: 0
239.00/239.07 c vivif2 -- cl tried 242322 cl shrink 569 lits rem 716 time: 0.20
239.10/239.17 c vivif2 -- cl tried 28164 cl shrink 1370 lits rem 2125 time: 0.10
239.40/239.45 c asymm cl-useful: 52/1626/242216 lits-rem:66 time: 0.28
239.50/239.50 c calculated reachability. Time: 0.04
239.50/239.51 c N dy 1120 158485 39251 242216 52721 28105 1205176 243176 14.24 6.86 --
240.60/240.61 c Finding binary XORs T: 0.18 s found: 2
243.00/243.00 c N dy 1196 168691 39251 242216 52750 37283 1205176 361075 13.10 6.85 --
246.50/246.58 c N dy 1277 179531 39247 242216 52792 26166 1205176 187610 13.43 6.85 --
250.39/250.44 c N dy 1362 191034 39243 242216 52826 36473 1205175 308114 10.26 6.83 --
254.69/254.79 c N dy 1453 203292 39243 242216 52861 25451 1205175 172330 12.33 6.85 --
259.10/259.12 c N dy 1546 216346 39230 242216 52884 37319 1205175 336506 13.88 6.87 --
264.50/264.54 c N dy 1647 230199 39229 242216 52922 26556 1205174 177139 11.24 6.86 --
267.20/267.26 c S st 1703 237727 39228 242216 52941 33384 1205174 276045 16.25 6.88 --
267.50/267.57 c S st 1703 238227 39228 242216 52952 33856 1205174 280198 16.25 6.88 --
267.60/267.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
267.60/267.61 c Cache BProp: 21 Set: 0 BXProp: 1 T: 0.01
275.80/275.87 c Flit: 6 Blit: 0 bXBeca: 0 bXProp: 34 Bin: 3022 BRemL: 1550 BRemN: 111 CBin: 0 P: 60.0M T: 8.26
276.00/276.03 c Calc non-exist non-lernt bins v-fix: 0 done: 31223 time: 0.16 s
276.00/276.05 c Cache BProp: 21 Set: 0 BXProp: 0 T: 0.01
276.30/276.34 c Subs w/ non-existent bins: 227 time: 0.29 s
276.40/276.42 c Replacing 38 vars Replaced 2457 lits Time: 0.07 s
276.50/276.53 c bin-w-bin subsume rem 91 bins time: 0.02 s
276.60/276.61 c subs with bin: 480 lits-rem: 1497 v-fix: 0 time: 0.08 s
276.60/276.66 c Removed useless bin: 21 fixed: 0 bprops: 1.12M time: 0.05 s
283.60/283.69 c ORs : 11775 avg-s: 2.1 cl-sh: 174 l-rem: 182 b-add: 38 v-rep: 2 cl-rem: 30 avg s: 4.2 T: 5.92
316.40/316.41 c Added 0 vars tried: 80000 time: 32.71
316.40/316.41 c ORs : 0 avg-s: nan cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 32.71
316.50/316.50 c lits-rem: 1512 cl-subs: 3696 v-elim: 8677 v-fix: 0 time: 39.84 s
316.50/316.50 c learnt bin added due to v-elim: 0
316.70/316.73 c vivif2 -- cl tried 241107 cl shrink 416 lits rem 541 time: 0.23
316.80/316.85 c vivif2 -- cl tried 29798 cl shrink 1634 lits rem 2612 time: 0.12
317.10/317.11 c asymm cl-useful: 45/4242/241063 lits-rem:74 time: 0.26
317.10/317.17 c calculated reachability. Time: 0.04
317.10/317.18 c N dy 1703 238227 39085 241061 54023 29682 1199031 245176 16.25 6.88 --
322.90/322.94 c N dy 1813 253497 38770 241061 54066 43516 1199031 433805 12.93 6.89 --
328.70/328.75 c N dy 1932 269780 38292 230221 51917 28336 1150345 192585 9.83 6.90 --
335.70/335.73 c N dy 2059 287089 38256 230221 52006 44056 1150345 410767 14.39 6.92 --
340.40/340.43 c Finding binary XORs T: 0.20 s found: 879
340.50/340.50 c Replacing 881 vars Replaced 68554 lits Time: 0.07 s
342.90/342.90 c N dy 2195 305440 37346 228690 49671 34875 1139201 276203 14.73 6.95 --
350.00/350.04 c N dy 2339 324966 37324 228690 49755 26529 1139197 147520 16.38 6.98 --
357.51/357.52 c N dy 2486 345027 37265 228690 49843 44795 1139197 408025 14.16 7.02 --
362.00/362.03 c S st 2575 357341 37260 228690 49897 28869 1139197 169529 11.80 7.05 --
362.30/362.35 c S st 2575 357842 37253 228690 49919 29311 1139197 172899 11.80 7.05 --
362.30/362.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
362.30/362.39 c Cache BProp: 88 Set: 29 BXProp: 4 T: 0.01
373.40/373.46 c Flit: 97 Blit: 167 bXBeca: 0 bXProp: 913 Bin: 7423 BRemL: 4326 BRemN: 349 CBin: 0 P: 60.0M T: 11.05
373.40/373.49 c Cleaning up after failed var search: 0.03 s
373.80/373.84 c Calc non-exist non-lernt bins v-fix: 3 done: 30100 time: 0.34 s
373.80/373.86 c Cache BProp: 139 Set: 0 BXProp: 92 T: 0.01
374.20/374.25 c Subs w/ non-existent bins: 5544 time: 0.39 s
374.30/374.35 c Replacing 1001 vars Replaced 84352 lits Time: 0.09 s
374.40/374.45 c bin-w-bin subsume rem 1984 bins time: 0.02 s
374.50/374.52 c subs with bin: 3029 lits-rem: 7660 v-fix: 0 time: 0.07 s
374.50/374.57 c Removed useless bin: 121 fixed: 7 bprops: 1.08M time: 0.05 s
380.11/380.10 techdemo: Solver.cpp:229: XorClause* Solver::addXorClauseInt(T&, bool, uint32_t, bool) [with T = vec<Lit>]: Assertion `qhead == trail.size()' failed.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3281789-1303753085/watcher-3281789-1303753085 -o /tmp/evaluation-result-3281789-1303753085/solver-3281789-1303753085 -C 2400 -W 1300 -M 7680 ./techdemo --threads=1 HOME/instance-3281789-1303753085.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.16 3.39 3.13 4/189 19982
/proc/meminfo: memFree=13011712/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=29680 CPUtime=0 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 962 0 0 0 0 0 0 0 18 0 1 0 467724143 30392320 899 33554432000 4194304 4797429 140734743533824 18446744073709551615 4678563 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 7420 899 348 148 0 2349 0
[startup+0.0552559 s]
/proc/loadavg: 4.16 3.39 3.13 4/189 19982
/proc/meminfo: memFree=13011712/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=42460 CPUtime=0.04 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 5013 0 0 0 4 0 0 0 18 0 1 0 467724143 43479040 4061 33554432000 4194304 4797429 140734743533824 18446744073709551615 4367912 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 10615 4064 349 148 0 5544 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 42460
[startup+0.100247 s]
/proc/loadavg: 4.16 3.39 3.13 4/189 19982
/proc/meminfo: memFree=13011712/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=54520 CPUtime=0.09 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 8639 0 0 0 8 1 0 0 18 0 1 0 467724143 55828480 6717 33554432000 4194304 4797429 140734743533824 18446744073709551615 264726065861 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 13630 6721 349 148 0 8559 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54520
[startup+0.300215 s]
/proc/loadavg: 4.16 3.39 3.13 4/189 19982
/proc/meminfo: memFree=13011712/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=116168 CPUtime=0.29 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 26545 0 0 0 26 3 0 0 18 0 1 0 467724143 118956032 18955 33554432000 4194304 4797429 140734743533824 18446744073709551615 4366467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 29042 18956 349 148 0 23971 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 116168
[startup+0.701113 s]
/proc/loadavg: 4.16 3.39 3.13 4/189 19982
/proc/meminfo: memFree=13011712/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=196080 CPUtime=0.69 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 50955 0 0 0 62 7 0 0 18 0 1 0 467724143 200785920 35740 33554432000 4194304 4797429 140734743533824 18446744073709551615 4430179 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 49020 35740 373 148 0 43949 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 196080
[startup+1.50098 s]
/proc/loadavg: 4.16 3.39 3.13 5/190 19983
/proc/meminfo: memFree=12869596/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=313504 CPUtime=1.49 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 54582 0 0 0 142 7 0 0 19 0 1 0 467724143 321028096 37862 33554432000 4194304 4797429 140734743533824 18446744073709551615 4427245 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 78376 37862 381 148 0 73305 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 313504
[startup+3.10069 s]
/proc/loadavg: 4.16 3.39 3.13 5/190 19983
/proc/meminfo: memFree=12860420/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=313504 CPUtime=3.09 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 54583 0 0 0 302 7 0 0 25 0 1 0 467724143 321028096 37863 33554432000 4194304 4797429 140734743533824 18446744073709551615 4427256 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 78376 37863 382 148 0 73305 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 313504
[startup+6.30109 s]
/proc/loadavg: 4.15 3.40 3.14 5/190 19983
/proc/meminfo: memFree=12860676/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=313504 CPUtime=6.29 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 54583 0 0 0 622 7 0 0 25 0 1 0 467724143 321028096 37863 33554432000 4194304 4797429 140734743533824 18446744073709551615 4427848 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 78376 37863 382 148 0 73305 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 313504
[startup+12.7009 s]
/proc/loadavg: 4.21 3.43 3.15 5/190 19984
/proc/meminfo: memFree=12860188/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=313504 CPUtime=12.69 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 54743 0 0 0 1262 7 0 0 25 0 1 0 467724143 321028096 38023 33554432000 4194304 4797429 140734743533824 18446744073709551615 4241128 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 78376 38023 382 148 0 73305 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 313504
[startup+25.5005 s]
/proc/loadavg: 4.17 3.45 3.16 5/190 19984
/proc/meminfo: memFree=12672548/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=442448 CPUtime=25.49 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 88252 0 0 0 2538 11 0 0 25 0 1 0 467724143 453066752 71092 33554432000 4194304 4797429 140734743533824 18446744073709551615 4425558 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 110612 71092 414 148 0 105541 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 442448
[startup+51.1006 s]
/proc/loadavg: 4.11 3.50 3.18 5/190 19985
/proc/meminfo: memFree=12653752/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=460788 CPUtime=51.09 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 94609 0 0 0 5098 11 0 0 25 0 1 0 467724143 471846912 73447 33554432000 4194304 4797429 140734743533824 18446744073709551615 4428646 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 115197 73447 415 148 0 110126 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 460788
[startup+102.307 s]
/proc/loadavg: 4.05 3.57 3.22 5/190 19986
/proc/meminfo: memFree=12512976/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=592396 CPUtime=102.3 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 130950 0 0 0 10213 17 0 0 25 0 1 0 467724143 606613504 103948 33554432000 4194304 4797429 140734743533824 18446744073709551615 4510043 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 148099 103948 419 148 0 143028 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 592396
[startup+162.301 s]
/proc/loadavg: 4.02 3.65 3.27 5/190 19988
/proc/meminfo: memFree=12338716/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=597248 CPUtime=162.3 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 132704 0 0 0 16213 17 0 0 25 0 1 0 467724143 611581952 105677 33554432000 4194304 4797429 140734743533824 18446744073709551615 4510043 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 149312 105677 419 148 0 144241 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 597248
[startup+222.3 s]
/proc/loadavg: 4.00 3.71 3.31 5/190 19989
/proc/meminfo: memFree=12137196/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=600700 CPUtime=222.3 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 136151 0 0 0 22212 18 0 0 25 0 1 0 467724143 615116800 106281 33554432000 4194304 4797429 140734743533824 18446744073709551615 4510040 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 150175 106281 419 148 0 145104 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 600700
[startup+282.301 s]
/proc/loadavg: 4.00 3.76 3.35 5/190 19991
/proc/meminfo: memFree=12112504/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=608684 CPUtime=282.3 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 140573 0 0 0 28211 19 0 0 25 0 1 0 467724143 623292416 107796 33554432000 4194304 4797429 140734743533824 18446744073709551615 4510043 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 152171 107796 419 148 0 147100 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 608684
[startup+342.301 s]
/proc/loadavg: 4.00 3.80 3.39 5/190 19992
/proc/meminfo: memFree=12102452/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=609024 CPUtime=342.3 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 143807 0 0 0 34210 20 0 0 25 0 1 0 467724143 623640576 108264 33554432000 4194304 4797429 140734743533824 18446744073709551615 4424170 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 152256 108264 419 148 0 147185 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 609024
Solver just ended. Dumping a history of the last processes samples
[startup+358.301 s]
/proc/loadavg: 4.07 3.83 3.40 5/190 19993
/proc/meminfo: memFree=12010556/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=609024 CPUtime=358.3 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 144482 0 0 0 35809 21 0 0 25 0 1 0 467724143 623640576 108901 33554432000 4194304 4797429 140734743533824 18446744073709551615 4424333 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 152256 108901 419 148 0 147185 0
Current children cumulated CPU time (s) 358.3
Current children cumulated vsize (KiB) 609024
[startup+371.101 s]
/proc/loadavg: 4.06 3.83 3.41 5/190 19993
/proc/meminfo: memFree=11959584/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=641296 CPUtime=371.11 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 154063 0 0 0 37088 23 0 0 25 0 1 0 467724143 656687104 115908 33554432000 4194304 4797429 140734743533824 18446744073709551615 4429737 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 160324 115908 419 148 0 155253 0
Current children cumulated CPU time (s) 371.11
Current children cumulated vsize (KiB) 641296
[startup+377.501 s]
/proc/loadavg: 4.05 3.84 3.41 5/190 19993
/proc/meminfo: memFree=11960080/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=642436 CPUtime=377.5 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 154518 0 0 0 37727 23 0 0 25 0 1 0 467724143 657854464 116354 33554432000 4194304 4797429 140734743533824 18446744073709551615 4510043 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 160609 116354 419 148 0 155538 0
Current children cumulated CPU time (s) 377.5
Current children cumulated vsize (KiB) 642436
[startup+379.101 s]
/proc/loadavg: 4.05 3.84 3.41 5/190 19993
/proc/meminfo: memFree=11959832/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=642436 CPUtime=379.11 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 154518 0 0 0 37887 24 0 0 25 0 1 0 467724143 657854464 116354 33554432000 4194304 4797429 140734743533824 18446744073709551615 4510040 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 160609 116354 419 148 0 155538 0
Current children cumulated CPU time (s) 379.11
Current children cumulated vsize (KiB) 642436
[startup+379.9 s]
/proc/loadavg: 4.05 3.84 3.42 5/190 19993
/proc/meminfo: memFree=11959584/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=642436 CPUtime=379.91 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4202496 154519 0 0 0 37967 24 0 0 25 0 1 0 467724143 657854464 116355 33554432000 4194304 4797429 140734743533824 18446744073709551615 4510043 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 160609 116355 419 148 0 155538 0
Current children cumulated CPU time (s) 379.91
Current children cumulated vsize (KiB) 642436
[startup+380.3 s]
/proc/loadavg: 4.05 3.84 3.42 5/190 19993
/proc/meminfo: memFree=11959584/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=642436 CPUtime=380.3 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4204032 154525 0 0 0 37987 43 0 0 25 0 1 0 467724143 657854464 116361 33554432000 4194304 4797429 140734743533824 18446744073709551615 264725791333 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 160609 116361 425 148 0 155538 0
Current children cumulated CPU time (s) 380.3
Current children cumulated vsize (KiB) 642436
[startup+380.7 s]
/proc/loadavg: 4.05 3.84 3.42 5/190 19993
/proc/meminfo: memFree=11665704/32951124 swapFree=67111528/67111528
[pid=19982] ppid=19980 vsize=642436 CPUtime=380.7 cores=0,2
/proc/19982/stat : 19982 (techdemo) R 19980 19982 18989 0 -1 4204032 154525 0 0 0 37987 83 0 0 25 0 1 0 467724143 657854464 116361 33554432000 4194304 4797429 140734743533824 18446744073709551615 264725791333 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19982/statm: 160609 116361 425 148 0 155538 0
Current children cumulated CPU time (s) 380.7
Current children cumulated vsize (KiB) 642436
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 380.77
CPU time (s): 380.781
CPU user time (s): 379.875
CPU system time (s): 0.905862
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 642436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 379.875
system time used= 0.905862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154525
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= 963
runsolver used 0.664898 second user time and 1.43078 second system time
The end
Begin job on node141 at 2011-04-25 19:38:05
IDJOB=3281789
IDBENCH=69619
IDSOLVER=1585
FILE ID=node141/3281789-1303753085
RUNJOBID= node141-1303752689-19822
PBS_JOBID= 13154021
Free space on /tmp= 71376 MiB
SOLVER NAME= CryptoMiniSat TechDemo-Alpha-st
BENCH NAME= SAT_RACE08/cnf/manol-pipe-f7nidw.cnf
COMMAND LINE= ./techdemo --threads=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281789-1303753085/watcher-3281789-1303753085 -o /tmp/evaluation-result-3281789-1303753085/solver-3281789-1303753085 -C 2400 -W 1300 -M 7680 ./techdemo --threads=1 HOME/instance-3281789-1303753085.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= b950ebec64dc35544d8f8bf6957e7bc2
RANDOM SEED=1314751625
node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5362.96
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 13011744 kB
Buffers: 1634480 kB
Cached: 15610316 kB
SwapCached: 0 kB
Active: 11925068 kB
Inactive: 7432580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 13011744 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 43960 kB
Writeback: 0 kB
AnonPages: 2112608 kB
Mapped: 16632 kB
Slab: 511552 kB
PageTables: 10068 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 3026428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 70916 MiB
End job on node141 at 2011-04-25 19:44:26