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-3281007-1303750849.cnf'
0.00/0.00 c -- header says num vars: 263022
0.00/0.00 c -- header says num clauses: 782329
0.39/0.48 c -- clauses added: 0 learnts, 782329 normals, 0 xors
0.39/0.48 c -- vars added 263022
0.39/0.48 c Parsing time: 0.42 s
0.39/0.48 c N st 0 0 263022 260776 521552 0 1825432 0 no data no data --
0.79/0.85 c asymm cl-useful: 521/17530/260775 lits-rem:1563 time: 0.36
12.39/12.47 c Flit: 1335 Blit: 6059 bXBeca: 0 bXProp: 14205 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 11.60
12.49/12.50 c Cleaning up after failed var search: 0.03 s
12.59/12.69 c Calc non-exist non-lernt bins v-fix: 0 done: 30569 time: 0.17 s
12.59/12.69 c Cache BProp: 0 Set: 0 BXProp: 626 T: 0.00
12.69/12.70 c Subs w/ non-existent bins: 77 time: 0.01 s
12.69/12.76 c Replacing 14831 vars Replaced 247338 lits Time: 0.05 s
12.79/12.87 c bin-w-bin subsume rem 758 bins time: 0.05 s
12.89/12.96 c subs with bin: 19 lits-rem: 19 v-fix: 0 time: 0.09 s
13.09/13.12 c Removed useless bin: 78 fixed: 0 bprops: 10.00M time: 0.16 s
13.99/14.03 c lits-rem: 0 cl-subs: 75 v-elim: 79801 v-fix: 0 time: 0.88 s
13.99/14.03 c learnt bin added due to v-elim: 0
13.99/14.06 c Finding binary XORs T: 0.04 s found: 1641
14.09/14.10 c Replacing 1641 vars Replaced 20785 lits Time: 0.04 s
14.20/14.26 c Finding non-binary XORs: 0.13 s (found: 54, avg size: 3.0)
14.20/14.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 12 locsubst: 74 time: 0.03
14.30/14.30 c Calc default polars - time: 0.02 s pos: 42057 undec: 106095 neg: 114870
14.30/14.30 c =========================================================================================
14.30/14.30 c types(t): F = full restart, N = normal restart
14.30/14.30 c types(t): S = simplification begin/end, E = solution found
14.30/14.30 c restart types(rt): st = static, dy = dynamic
14.30/14.30 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG
14.30/14.30 c B st 0 0 157786 246468 289323 0 1449542 0 no data no data --
15.09/15.13 c Decided on dynamic restart strategy
15.79/15.89 c N dy 20 4024 157782 246468 289448 3785 1449542 47764 11.89 6.22 --
17.39/17.49 c N dy 49 8094 157752 246468 289525 7590 1449542 89208 9.81 6.21 --
19.29/19.33 c N dy 77 12107 157729 246468 289580 11433 1449542 142860 17.68 6.58 --
21.09/21.18 c N dy 106 16169 157652 246468 289620 15302 1449542 198830 15.91 6.75 --
22.99/23.06 c N dy 136 20246 157649 246468 289657 9724 1449542 57446 15.53 6.89 --
24.69/24.71 c N dy 166 24427 157642 246468 289688 13692 1449542 115885 16.12 7.00 --
26.39/26.42 c N dy 196 28521 157621 246468 289730 17551 1449542 174607 21.75 7.07 --
27.19/27.21 c S st 207 30000 157621 246468 289735 18967 1449542 197615 14.59 7.09 --
27.50/27.58 c S st 207 30501 157619 246468 289775 19417 1449542 204382 14.59 7.09 --
27.59/27.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 74 time: 0.03
39.79/39.81 c Flit: 266 Blit: 477 bXBeca: 0 bXProp: 2754 Bin: 13609 BRemL: 500 BRemN: 214 CBin: 0 P: 60.0M T: 12.19
39.79/39.84 c Cleaning up after failed var search: 0.03 s
39.99/40.05 c Calc non-exist non-lernt bins v-fix: 0 done: 30402 time: 0.21 s
39.99/40.06 c Cache BProp: 2 Set: 1 BXProp: 328 T: 0.01
40.09/40.10 c Subs w/ non-existent bins: 350 time: 0.04 s
40.09/40.18 c Replacing 3098 vars Replaced 85426 lits Time: 0.08 s
40.19/40.29 c bin-w-bin subsume rem 1719 bins time: 0.04 s
40.29/40.39 c subs with bin: 712 lits-rem: 8808 v-fix: 0 time: 0.10 s
40.49/40.59 c Removed useless bin: 140 fixed: 2 bprops: 10.00M time: 0.20 s
42.09/42.19 c lits-rem: 1903 cl-subs: 18167 v-elim: 101963 v-fix: 0 time: 1.58 s
42.09/42.19 c learnt bin added due to v-elim: 0
42.39/42.43 c asymm cl-useful: 305/2522/242821 lits-rem:602 time: 0.24
42.39/42.43 c Added XOR as norm:33
42.39/42.45 c N dy 207 30501 51045 242923 61304 2407 1169720 25461 14.59 7.09 --
42.39/42.45 c F st 207 30501 51045 242923 61304 2407 1169720 25461 14.59 7.09 --
42.80/42.89 c Decided on dynamic restart strategy
43.19/43.21 c N dy 227 34534 51045 242923 61316 5842 1169720 69846 14.79 7.10 --
43.90/44.00 c N dy 257 38669 51045 242923 61328 9386 1169720 111822 11.49 7.08 --
45.00/45.00 c N dy 287 42730 50960 242923 61361 12848 1169720 155051 12.04 7.03 --
45.69/45.71 c S st 310 45751 50960 242923 61372 15495 1169720 189861 12.49 7.01 --
45.89/45.91 c S st 310 46252 50959 242923 61411 15943 1169720 195827 12.49 7.01 --
45.89/45.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
45.89/45.94 c Cache BProp: 1 Set: 0 BXProp: 0 T: 0.00
53.59/53.63 c Flit: 131 Blit: 215 bXBeca: 0 bXProp: 968 Bin: 7192 BRemL: 2228 BRemN: 340 CBin: 0 P: 60.0M T: 7.68
53.59/53.66 c Cleaning up after failed var search: 0.03 s
53.80/53.82 c Calc non-exist non-lernt bins v-fix: 0 done: 31033 time: 0.16 s
53.80/53.83 c Cache BProp: 135 Set: 0 BXProp: 10 T: 0.01
53.99/54.02 c Subs w/ non-existent bins: 1544 time: 0.18 s
53.99/54.07 c Replacing 978 vars Replaced 40767 lits Time: 0.05 s
54.09/54.15 c bin-w-bin subsume rem 882 bins time: 0.02 s
54.19/54.22 c subs with bin: 824 lits-rem: 12818 v-fix: 0 time: 0.07 s
54.19/54.27 c Removed useless bin: 93 fixed: 0 bprops: 1.65M time: 0.05 s
55.29/55.39 c lits-rem: 2687 cl-subs: 10908 v-elim: 27183 v-fix: 0 time: 1.12 s
55.29/55.39 c learnt bin added due to v-elim: 0
55.49/55.54 c vivif2 -- cl tried 209542 cl shrink 6163 lits rem 10143 time: 0.15
55.49/55.57 c vivif2 -- cl tried 6835 cl shrink 1749 lits rem 3568 time: 0.02
55.69/55.79 c asymm cl-useful: 96/2935/209057 lits-rem:201 time: 0.22
55.79/55.83 c calculated reachability. Time: 0.03
55.79/55.84 c N dy 310 46252 34876 209048 43596 6759 1049541 73091 12.49 7.01 --
56.59/56.62 c N dy 340 50355 34873 209048 43623 10269 1049541 107690 8.83 6.91 --
57.20/57.27 c Finding binary XORs T: 0.15 s found: 70
57.69/57.77 c N dy 371 54464 34804 208598 43498 13741 1046788 145285 9.88 6.86 --
58.59/58.68 c N dy 401 58576 34802 208598 43532 17368 1046788 187713 9.42 6.81 --
59.59/59.64 c N dy 431 62614 34798 208598 43551 20935 1046788 233041 14.74 6.81 --
60.59/60.63 c N dy 461 66660 34793 208598 43577 24505 1046786 276467 13.00 6.80 --
61.29/61.31 c S st 482 69378 34793 208598 43592 14454 1046786 108396 12.37 6.79 --
61.39/61.48 c S st 482 69881 34791 208598 43609 14929 1046786 113687 12.37 6.79 --
61.50/61.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
61.50/61.51 c Cache BProp: 92 Set: 0 BXProp: 1 T: 0.01
67.19/67.20 c Flit: 61 Blit: 31 bXBeca: 0 bXProp: 157 Bin: 4257 BRemL: 1675 BRemN: 236 CBin: 0 P: 60.0M T: 5.69
67.29/67.34 c Calc non-exist non-lernt bins v-fix: 0 done: 31171 time: 0.13 s
67.29/67.34 c Cache BProp: 84 Set: 0 BXProp: 0 T: 0.01
67.39/67.49 c Subs w/ non-existent bins: 1207 time: 0.14 s
67.49/67.55 c Replacing 228 vars Replaced 10351 lits Time: 0.05 s
67.59/67.62 c bin-w-bin subsume rem 599 bins time: 0.01 s
67.59/67.67 c subs with bin: 701 lits-rem: 1896 v-fix: 0 time: 0.05 s
67.69/67.70 c Removed useless bin: 92 fixed: 0 bprops: 0.90M time: 0.03 s
71.89/71.91 c ORs : 9297 avg-s: 2.1 cl-sh: 2814 l-rem: 3483 b-add: 281 v-rep: 0 cl-rem: 171 avg s: 4.6 T: 3.61
95.89/95.93 c Added 1 vars tried: 80000 time: 24.03
95.89/95.93 c ORs : 1 avg-s: 0.0 cl-sh: 166 l-rem: 166 b-add: 2 v-rep: 0 cl-rem: 0 avg s: nan T: 24.03
95.89/95.99 c lits-rem: 851 cl-subs: 3510 v-elim: 9666 v-fix: 0 time: 28.29 s
95.89/95.99 c learnt bin added due to v-elim: 0
96.09/96.11 c vivif2 -- cl tried 199136 cl shrink 1179 lits rem 1700 time: 0.12
96.09/96.14 c vivif2 -- cl tried 12214 cl shrink 793 lits rem 1223 time: 0.03
96.29/96.33 c asymm cl-useful: 41/9178/199042 lits-rem:73 time: 0.19
96.29/96.37 c calculated reachability. Time: 0.03
96.29/96.37 c N dy 482 69881 33370 199039 42895 12160 996631 94426 12.37 6.79 --
96.29/96.37 c F st 482 69881 33370 199039 42895 12160 996631 94426 12.37 6.79 --
96.70/96.79 c Decided on dynamic restart strategy
97.29/97.34 c N dy 506 74369 33365 199039 42916 16187 996631 158775 11.33 6.84 --
98.39/98.45 c N dy 542 79233 33361 199039 42941 20504 996631 212963 13.99 6.82 --
99.69/99.73 c N dy 579 84373 33360 199039 42967 25135 996631 279197 16.15 6.83 --
100.99/101.06 c N dy 619 89792 33360 199039 42997 30001 996631 345979 13.90 6.84 --
102.49/102.52 c N dy 662 95549 33355 199039 43021 19215 996631 145905 10.71 6.83 --
103.89/103.90 c N dy 708 101765 33354 199039 43050 24793 996631 227252 11.90 6.85 --
104.59/104.69 c S st 730 104821 33354 199039 43061 27521 996631 261762 13.50 6.86 --
104.89/104.90 c S st 730 105324 33353 199039 43080 27993 996631 266328 13.50 6.86 --
104.89/104.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
104.89/104.93 c Cache BProp: 80 Set: 0 BXProp: 0 T: 0.01
110.59/110.60 c Flit: 40 Blit: 30 bXBeca: 0 bXProp: 124 Bin: 3350 BRemL: 1192 BRemN: 173 CBin: 0 P: 60.0M T: 5.67
110.69/110.74 c Calc non-exist non-lernt bins v-fix: 0 done: 31188 time: 0.13 s
110.69/110.75 c Cache BProp: 91 Set: 0 BXProp: 0 T: 0.01
110.89/110.94 c Subs w/ non-existent bins: 702 time: 0.19 s
110.89/110.99 c Replacing 124 vars Replaced 6598 lits Time: 0.05 s
111.00/111.07 c bin-w-bin subsume rem 450 bins time: 0.01 s
111.10/111.13 c subs with bin: 502 lits-rem: 1785 v-fix: 0 time: 0.06 s
111.10/111.16 c Removed useless bin: 33 fixed: 0 bprops: 0.86M time: 0.03 s
115.79/115.82 c ORs : 9786 avg-s: 2.1 cl-sh: 587 l-rem: 725 b-add: 80 v-rep: 0 cl-rem: 106 avg s: 4.5 T: 3.83
141.99/142.02 c Added 0 vars tried: 80000 time: 26.20
141.99/142.02 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: 26.20
141.99/142.08 c lits-rem: 1556 cl-subs: 4118 v-elim: 8196 v-fix: 0 time: 30.92 s
141.99/142.08 c learnt bin added due to v-elim: 0
142.19/142.22 c vivif2 -- cl tried 195522 cl shrink 756 lits rem 1049 time: 0.14
142.19/142.29 c vivif2 -- cl tried 23842 cl shrink 1614 lits rem 2249 time: 0.07
142.39/142.48 c asymm cl-useful: 44/7374/195478 lits-rem:84 time: 0.19
142.49/142.52 c calculated reachability. Time: 0.03
142.49/142.53 c N dy 730 105324 32714 195473 43308 23793 978033 226452 13.50 6.86 --
144.10/144.12 c Finding binary XORs T: 0.14 s found: 3
144.49/144.58 c N dy 780 112147 32714 195473 43338 29895 978033 308617 12.37 6.86 --
146.39/146.46 c N dy 832 119335 32714 195473 43354 18376 978033 118103 12.65 6.89 --
148.59/148.63 c N dy 888 127032 32714 195473 43380 25294 978033 207651 11.87 6.88 --
150.80/150.84 c N dy 949 135227 32712 195473 43412 32761 978033 325660 18.70 6.93 --
153.10/153.13 c N dy 1011 143913 32707 195473 43426 20731 978033 127977 13.14 6.95 --
155.60/155.62 c N dy 1078 153182 32705 195473 43452 29099 978033 247961 15.18 6.99 --
156.80/156.89 c S st 1113 157986 32705 195473 43462 33413 978033 311308 13.98 7.01 --
157.10/157.15 c S st 1113 158487 32703 195473 43478 33872 978033 314975 13.98 7.01 --
157.10/157.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
157.10/157.18 c Cache BProp: 76 Set: 0 BXProp: 1 T: 0.01
162.89/162.99 c Flit: 21 Blit: 2 bXBeca: 0 bXProp: 73 Bin: 2052 BRemL: 1018 BRemN: 53 CBin: 0 P: 60.0M T: 5.81
163.09/163.13 c Calc non-exist non-lernt bins v-fix: 0 done: 31206 time: 0.14 s
163.09/163.14 c Cache BProp: 78 Set: 0 BXProp: 0 T: 0.01
163.29/163.34 c Subs w/ non-existent bins: 446 time: 0.20 s
163.39/163.40 c Replacing 77 vars Replaced 3271 lits Time: 0.05 s
163.39/163.48 c bin-w-bin subsume rem 220 bins time: 0.01 s
163.49/163.55 c subs with bin: 497 lits-rem: 1117 v-fix: 0 time: 0.06 s
163.49/163.58 c Removed useless bin: 25 fixed: 0 bprops: 0.86M time: 0.03 s
168.39/168.48 c ORs : 10137 avg-s: 2.1 cl-sh: 219 l-rem: 267 b-add: 17 v-rep: 1 cl-rem: 22 avg s: 4.2 T: 3.97
194.80/194.85 c Added 0 vars tried: 80000 time: 26.37
194.80/194.85 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: 26.37
194.90/194.92 c lits-rem: 2297 cl-subs: 4382 v-elim: 7968 v-fix: 0 time: 31.34 s
194.90/194.92 c learnt bin added due to v-elim: 0
195.00/195.08 c vivif2 -- cl tried 192593 cl shrink 730 lits rem 1070 time: 0.16
195.10/195.16 c vivif2 -- cl tried 29338 cl shrink 1513 lits rem 2729 time: 0.09
195.30/195.37 c asymm cl-useful: 115/4695/192522 lits-rem:229 time: 0.21
195.40/195.41 c calculated reachability. Time: 0.03
195.40/195.42 c N dy 1113 158487 32195 192509 43242 29236 962192 266231 13.98 7.01 --
198.00/198.08 c N dy 1188 168665 32164 192509 43279 38392 962192 397379 14.45 7.02 --
200.69/200.70 c N dy 1266 179536 32025 192509 43334 27382 962192 217525 12.44 7.05 --
203.70/203.74 c N dy 1350 191025 31870 192509 43383 37867 962191 377325 13.75 7.09 --
206.70/206.71 c N dy 1437 203316 31709 192509 43443 26737 962191 202468 21.04 7.15 --
209.70/209.74 c N dy 1527 216389 31625 192509 43505 38689 962191 401035 14.66 7.21 --
213.30/213.31 c N dy 1626 230345 30999 179365 40862 45456 895929 566162 13.29 7.28 --
214.90/214.98 c S st 1677 237732 30986 179365 40904 28977 895929 217697 13.46 7.32 --
215.20/215.21 c S st 1677 238234 30975 179365 40923 29428 895929 223307 13.46 7.32 --
215.20/215.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
215.20/215.25 c Cache BProp: 29 Set: 0 BXProp: 10 T: 0.01
221.79/221.83 c Flit: 70 Blit: 838 bXBeca: 0 bXProp: 2329 Bin: 6982 BRemL: 3700 BRemN: 2469 CBin: 0 P: 60.0M T: 6.58
221.79/221.86 c Cleaning up after failed var search: 0.02 s
221.99/222.04 c Calc non-exist non-lernt bins v-fix: 0 done: 29807 time: 0.17 s
221.99/222.04 c Cache BProp: 195 Set: 0 BXProp: 1 T: 0.01
222.20/222.24 c Subs w/ non-existent bins: 7013 time: 0.20 s
222.29/222.31 c Replacing 2341 vars Replaced 122082 lits Time: 0.06 s
222.29/222.38 c bin-w-bin subsume rem 1148 bins time: 0.01 s
222.39/222.43 c subs with bin: 2056 lits-rem: 5654 v-fix: 0 time: 0.05 s
222.39/222.46 c Removed useless bin: 56 fixed: 13 bprops: 0.69M time: 0.03 s
225.89/225.98 c ORs : 6720 avg-s: 2.1 cl-sh: 786 l-rem: 875 b-add: 165 v-rep: 5 cl-rem: 211 avg s: 4.2 T: 2.62
237.39/237.44 c Added 0 vars tried: 80000 time: 11.47
237.39/237.44 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: 11.47
237.39/237.49 c lits-rem: 3507 cl-subs: 13509 v-elim: 12112 v-fix: 0 time: 15.03 s
237.39/237.49 c learnt bin added due to v-elim: 0
237.50/237.60 c vivif2 -- cl tried 138424 cl shrink 1346 lits rem 1855 time: 0.10
237.60/237.64 c vivif2 -- cl tried 17645 cl shrink 1728 lits rem 2632 time: 0.04
237.69/237.79 c asymm cl-useful: 69/4205/138315 lits-rem:81 time: 0.15
237.79/237.82 c calculated reachability. Time: 0.02
237.79/237.82 c N dy 1677 238234 23154 138312 29282 17516 691325 133705 13.46 7.32 --
240.49/240.53 c N dy 1785 253581 23143 138312 29396 31517 691325 360579 14.28 7.41 --
243.70/243.78 c N dy 1901 269885 23128 138312 29472 23520 691325 132142 15.07 7.51 --
246.70/246.79 c N dy 2023 287118 23066 138312 29598 39096 691325 395380 15.12 7.57 --
247.30/247.37 c E dy 2044 289902 22991 138312 29633 41596 691325 431546 12.39 7.57 --
247.30/247.38 c num threads : 1
247.30/247.38 c restarts : 2044
247.30/247.38 c dynamic restarts : 2026
247.30/247.38 c static restarts : 18
247.30/247.38 c full restarts : 2
247.30/247.38 c total simplify time : 0.35
247.30/247.38 c learnts DL2 : 0
247.30/247.38 c learnts size 2 : 612819
247.30/247.38 c learnts size 1 : 17471 (6.64 % of vars)
247.30/247.38 c filedLit time : 55.33 (22.38 % time)
247.30/247.38 c v-elim SatELite : 201062 (76.44 % vars)
247.30/247.38 c SatELite time : 108.43 (43.87 % time)
247.30/247.38 c v-elim xor : 12 (0.00 % vars)
247.30/247.38 c xor elim time : 0.20 (0.08 % time)
247.30/247.38 c num binary xor trees : 5804
247.30/247.38 c binxor trees' crown : 23323 (4.02 leafs/tree)
247.30/247.38 c bin xor find time : 0.32
247.30/247.38 c OTF clause subsumed : 26227 (0.09 clauses/conflict)
247.30/247.38 c OTF subs. size diff : 27333 (1.04 lits/clause)
247.30/247.38 c OTF cl watch-shrink : 91819 (0.32 clauses/conflict)
247.30/247.38 c OTF cl watch-sh-lit : 262083 (2.85 lits/clause)
247.30/247.38 c tried to recurMin cls : 243558 (84.01 % of conflicts)
247.30/247.38 c updated cache : 1 (0.00 lits/tried recurMin)
247.30/247.38 c OTF Gate-Rem cl : 11648 (0.04 clauses/conflict)
247.30/247.38 c OTF Gate-rem lits : 15502 (1.33 lits/confl)
247.30/247.38 c clauses over max glue : 0 (0.00 % of all clauses)
247.30/247.38 c conflicts : 289902 (1172.75 / sec)
247.30/247.38 c decisions : 3020027 (1.83 % random)
247.30/247.38 c bogo-props : 2222205506 (8989598.30 / sec)
247.30/247.38 c props : 201411272 (814779.02 / sec)
247.30/247.38 c conflict literals : 4094314 (22.00 % deleted)
247.30/247.38 c Memory used : 548.44 MB
247.30/247.38 c CPU time : 247.20 s
247.30/247.38 s UNSATISFIABLE
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-3281007-1303750849/watcher-3281007-1303750849 -o /tmp/evaluation-result-3281007-1303750849/solver-3281007-1303750849 -C 2400 -W 1300 -M 7680 ./techdemo --threads=1 HOME/instance-3281007-1303750849.cnf
running on 2 cores: 1,3
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: 2.24 3.54 3.71 3/184 6496
/proc/meminfo: memFree=15942148/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=29868 CPUtime=0 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 1020 0 0 0 0 0 0 0 21 0 1 0 486682737 30584832 925 33554432000 4194304 4797429 140736549328128 18446744073709551615 4409872 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 7516 933 348 148 0 2445 0
[startup+0.069147 s]
/proc/loadavg: 2.24 3.54 3.71 3/184 6496
/proc/meminfo: memFree=15942148/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=50132 CPUtime=0.06 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 7051 0 0 0 6 0 0 0 21 0 1 0 486682737 51335168 5170 33554432000 4194304 4797429 140736549328128 18446744073709551615 4366925 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 12533 5174 349 148 0 7462 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 50132
[startup+0.101134 s]
/proc/loadavg: 2.24 3.54 3.71 3/184 6496
/proc/meminfo: memFree=15942148/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=54948 CPUtime=0.09 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 9130 0 0 0 9 0 0 0 21 0 1 0 486682737 56266752 7191 33554432000 4194304 4797429 140736549328128 18446744073709551615 4366925 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 13737 7193 349 148 0 8666 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54948
[startup+0.301096 s]
/proc/loadavg: 2.24 3.54 3.71 3/184 6496
/proc/meminfo: memFree=15942148/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=124996 CPUtime=0.29 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 28208 0 0 0 25 4 0 0 22 0 1 0 486682737 127995904 20575 33554432000 4194304 4797429 140736549328128 18446744073709551615 4367649 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 31249 20577 349 148 0 26178 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 124996
[startup+0.701023 s]
/proc/loadavg: 2.24 3.54 3.71 3/184 6496
/proc/meminfo: memFree=15942148/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=194432 CPUtime=0.69 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 47133 0 0 0 63 6 0 0 23 0 1 0 486682737 199098368 32055 33554432000 4194304 4797429 140736549328128 18446744073709551615 4428580 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 48608 32055 373 148 0 43537 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 194432
[startup+1.50087 s]
/proc/loadavg: 2.24 3.54 3.71 4/185 6497
/proc/meminfo: memFree=15755396/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=306160 CPUtime=1.49 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 50204 0 0 0 143 6 0 0 25 0 1 0 486682737 313507840 33851 33554432000 4194304 4797429 140736549328128 18446744073709551615 4427946 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 76540 33851 382 148 0 71469 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 306160
[startup+3.10059 s]
/proc/loadavg: 2.24 3.54 3.71 5/190 6507
/proc/meminfo: memFree=15669120/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=306160 CPUtime=3.09 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 50204 0 0 0 303 6 0 0 25 0 1 0 486682737 313507840 33851 33554432000 4194304 4797429 140736549328128 18446744073709551615 4427384 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 76540 33851 382 148 0 71469 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 306160
[startup+6.30099 s]
/proc/loadavg: 2.46 3.57 3.71 5/190 6507
/proc/meminfo: memFree=15532692/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=306160 CPUtime=6.29 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 50204 0 0 0 623 6 0 0 25 0 1 0 486682737 313507840 33851 33554432000 4194304 4797429 140736549328128 18446744073709551615 4427326 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 76540 33851 382 148 0 71469 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 306160
[startup+12.7008 s]
/proc/loadavg: 2.59 3.57 3.72 5/191 6508
/proc/meminfo: memFree=15468268/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=314800 CPUtime=12.69 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 52345 0 0 0 1262 7 0 0 25 0 1 0 486682737 322355200 35992 33554432000 4194304 4797429 140736549328128 18446744073709551615 4642182 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 78700 35992 383 148 0 73629 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 314800
[startup+25.5005 s]
/proc/loadavg: 2.90 3.59 3.72 5/191 6509
/proc/meminfo: memFree=15332388/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=411356 CPUtime=25.49 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 79274 0 0 0 2539 10 0 0 25 0 1 0 486682737 421228544 58913 33554432000 4194304 4797429 140736549328128 18446744073709551615 4423672 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 102839 58913 414 148 0 97768 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 411356
[startup+51.1008 s]
/proc/loadavg: 3.34 3.64 3.73 5/190 6517
/proc/meminfo: memFree=15191208/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=523004 CPUtime=51.09 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 109399 0 0 0 5095 14 0 0 25 0 1 0 486682737 535556096 88677 33554432000 4194304 4797429 140736549328128 18446744073709551615 4430179 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 130751 88677 416 148 0 125680 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 523004
[startup+102.306 s]
/proc/loadavg: 3.71 3.69 3.74 5/190 6519
/proc/meminfo: memFree=15128660/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=537956 CPUtime=102.3 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 115956 0 0 0 10215 15 0 0 25 0 1 0 486682737 550866944 90443 33554432000 4194304 4797429 140736549328128 18446744073709551615 4424610 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 134489 90443 419 148 0 129418 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 537956
[startup+162.301 s]
/proc/loadavg: 3.89 3.75 3.75 5/190 6520
/proc/meminfo: memFree=15088792/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=547272 CPUtime=162.29 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 120700 0 0 0 16213 16 0 0 25 0 1 0 486682737 560406528 92873 33554432000 4194304 4797429 140736549328128 18446744073709551615 4428203 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 136818 92873 419 148 0 131747 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 547272
[startup+222.301 s]
/proc/loadavg: 3.96 3.79 3.76 5/190 6525
/proc/meminfo: memFree=15061856/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=562796 CPUtime=222.29 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 128476 0 0 0 22212 17 0 0 25 0 1 0 486682737 576303104 96023 33554432000 4194304 4797429 140736549328128 18446744073709551615 4685091 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 140699 96023 419 148 0 135628 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 562796
Solver just ended. Dumping a history of the last processes samples
[startup+230.301 s]
/proc/loadavg: 3.96 3.80 3.77 5/190 6525
/proc/meminfo: memFree=15047332/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=562796 CPUtime=230.29 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 128566 0 0 0 23012 17 0 0 25 0 1 0 486682737 576303104 96107 33554432000 4194304 4797429 140736549328128 18446744073709551615 4510043 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 140699 96107 419 148 0 135628 0
Current children cumulated CPU time (s) 230.29
Current children cumulated vsize (KiB) 562796
[startup+236.701 s]
/proc/loadavg: 3.97 3.80 3.77 5/190 6525
/proc/meminfo: memFree=15037160/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=562796 CPUtime=236.69 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 128566 0 0 0 23652 17 0 0 25 0 1 0 486682737 576303104 96107 33554432000 4194304 4797429 140736549328128 18446744073709551615 4510040 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 140699 96107 419 148 0 135628 0
Current children cumulated CPU time (s) 236.69
Current children cumulated vsize (KiB) 562796
[startup+243.107 s]
/proc/loadavg: 3.97 3.80 3.77 5/190 6526
/proc/meminfo: memFree=15033936/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=562796 CPUtime=243.11 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 129118 0 0 0 24293 18 0 0 25 0 1 0 486682737 576303104 96633 33554432000 4194304 4797429 140736549328128 18446744073709551615 4351624 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 140699 96633 419 148 0 135628 0
Current children cumulated CPU time (s) 243.11
Current children cumulated vsize (KiB) 562796
[startup+246.3 s]
/proc/loadavg: 3.97 3.81 3.77 5/190 6526
/proc/meminfo: memFree=15028604/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=561596 CPUtime=246.3 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 130541 0 0 0 24612 18 0 0 25 0 1 0 486682737 575074304 95995 33554432000 4194304 4797429 140736549328128 18446744073709551615 4488475 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 140399 95995 419 148 0 135328 0
Current children cumulated CPU time (s) 246.3
Current children cumulated vsize (KiB) 561596
[startup+247.101 s]
/proc/loadavg: 3.97 3.81 3.77 5/190 6526
/proc/meminfo: memFree=15028604/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=561596 CPUtime=247.1 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 130612 0 0 0 24692 18 0 0 25 0 1 0 486682737 575074304 96061 33554432000 4194304 4797429 140736549328128 18446744073709551615 4424784 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 140399 96061 419 148 0 135328 0
Current children cumulated CPU time (s) 247.1
Current children cumulated vsize (KiB) 561596
[startup+247.507 s]
/proc/loadavg: 3.97 3.81 3.77 5/190 6526
/proc/meminfo: memFree=15037964/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=537016 CPUtime=247.49 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 130634 0 0 0 24731 18 0 0 25 0 1 0 486682737 549904384 92999 33554432000 4194304 4797429 140736549328128 18446744073709551615 212687324264 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 134254 92999 424 148 0 129183 0
Current children cumulated CPU time (s) 247.49
Current children cumulated vsize (KiB) 537016
[startup+247.701 s]
/proc/loadavg: 3.97 3.81 3.77 5/190 6526
/proc/meminfo: memFree=15037964/32951124 swapFree=67111528/67111528
[pid=6496] ppid=6494 vsize=493304 CPUtime=247.69 cores=1,3
/proc/6496/stat : 6496 (techdemo) R 6494 6496 5847 0 -1 4202496 130634 0 0 0 24751 18 0 0 25 0 1 0 486682737 505143296 86834 33554432000 4194304 4797429 140736549328128 18446744073709551615 212687333138 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6496/statm: 123326 86834 424 148 0 118255 0
Current children cumulated CPU time (s) 247.69
Current children cumulated vsize (KiB) 493304
Child status: 20
Real time (s): 247.732
CPU time (s): 247.727
CPU user time (s): 247.523
CPU system time (s): 0.203968
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 660652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.523
system time used= 0.203968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130635
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= 9
involuntary context switches= 282
runsolver used 0.413937 second user time and 0.951855 second system time
The end
Begin job on node139 at 2011-04-25 19:00:50
IDJOB=3281007
IDBENCH=20495
IDSOLVER=1585
FILE ID=node139/3281007-1303750849
RUNJOBID= node139-1303750849-6466
PBS_JOBID= 13154023
Free space on /tmp= 72472 MiB
SOLVER NAME= CryptoMiniSat TechDemo-Alpha-st
BENCH NAME= SAT07/industrial/manolios/manol-pipe-f7idw.cnf
COMMAND LINE= ./techdemo --threads=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281007-1303750849/watcher-3281007-1303750849 -o /tmp/evaluation-result-3281007-1303750849/solver-3281007-1303750849 -C 2400 -W 1300 -M 7680 ./techdemo --threads=1 HOME/instance-3281007-1303750849.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= e11b8f7666247454d93edb47f1646e2c
RANDOM SEED=412971572
node139.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.852
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.70
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.852
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 : 5332.75
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.852
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.74
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.852
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.852
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 : 5321.49
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.852
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.852
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.82
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.852
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 15942304 kB
Buffers: 2146120 kB
Cached: 14228460 kB
SwapCached: 0 kB
Active: 9918116 kB
Inactive: 6568000 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 15942304 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 45116 kB
Writeback: 0 kB
AnonPages: 110776 kB
Mapped: 15660 kB
Slab: 460216 kB
PageTables: 5128 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 298936 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= 72452 MiB
End job on node139 at 2011-04-25 19:04:58