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-3285469-1303766600.cnf'
0.00/0.00 c -- header says num vars: 756832
0.00/0.00 c -- header says num clauses: 4116966
1.89/1.90 c -- clauses added: 0 learnts, 4116966 normals, 0 xors
1.89/1.90 c -- vars added 756832
1.89/1.90 c Parsing time: 1.74 s
1.89/1.90 c N st 0 0 756832 25526 3002827 0 7134510 0 no data no data --
1.98/2.07 c asymm cl-useful: 0/153/23726 lits-rem:0 time: 0.17
9.69/9.72 c Flit: 135 Blit: 28366 bXBeca: 0 bXProp: 166 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 7.62
9.69/9.79 c Cleaning up after failed var search: 0.06 s
11.39/11.41 c Calc non-exist non-lernt bins v-fix: 0 done: 9084 time: 1.56 s
11.39/11.43 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.01
11.39/11.45 c Subs w/ non-existent bins: 0 time: 0.02 s
11.49/11.56 c Replacing 167 vars Replaced 3425 lits Time: 0.10 s
11.89/11.92 c bin-w-bin subsume rem 160 bins time: 0.24 s
13.19/13.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.37 s
13.39/13.41 c Removed useless bin: 406 fixed: 0 bprops: 10.02M time: 0.12 s
13.79/13.81 c lits-rem: 0 cl-subs: 7 v-elim: 193170 v-fix: 0 time: 0.39 s
13.79/13.81 c learnt bin added due to v-elim: 0
13.79/13.88 c Finding binary XORs T: 0.07 s found: 59
13.89/13.97 c Replacing 59 vars Replaced 10800 lits Time: 0.09 s
14.09/14.10 c Finding non-binary XORs: 0.05 s (found: 0, avg size: nan)
14.09/14.10 c Calc default polars - time: 0.04 s pos: 19434 undec: 512872 neg: 224526
14.09/14.10 c =========================================================================================
14.09/14.10 c types(t): F = full restart, N = normal restart
14.09/14.10 c types(t): S = simplification begin/end, E = solution found
14.09/14.10 c restart types(rt): st = static, dy = dynamic
14.09/14.10 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG
14.09/14.10 c B st 0 0 386281 29000 2226882 0 5396609 0 no data no data --
25.79/25.88 c Decided on dynamic restart strategy
34.20/34.21 c N dy 20 4092 386278 29000 2226908 3703 5396609 5137151 572.10 127.06 --
49.79/49.84 c N dy 48 8156 386230 29000 2226940 5241 5396609 4570431 1083.37 106.00 --
66.00/66.06 c N dy 76 12216 386194 29000 2226962 5096 5396609 1699318 983.86 87.37 --
76.19/76.28 c N dy 104 16245 386187 29000 2227000 8891 5396609 5482726 1034.81 77.66 --
87.09/87.10 c N dy 132 20308 386157 29000 2227019 7461 5396609 3230194 1487.73 75.76 --
99.69/99.76 c N dy 160 24383 385430 29000 2227042 11294 5396609 7606791 1600.60 68.35 --
114.90/114.93 c N dy 188 28442 385401 29000 2227077 8680 5396609 2856231 1188.77 63.37 --
121.59/121.68 c S st 200 30003 385376 29000 2227087 10175 5396609 4821673 1291.63 61.51 --
123.30/123.37 c S st 200 30503 384918 29000 2227090 10659 5396609 4988435 1291.63 61.51 --
123.39/123.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
241.29/241.30 c Flit: 239 Blit: 10012 bXBeca: 0 bXProp: 0 Bin: 55250 BRemL: 175 BRemN: 22440 CBin: 0 P: 60.0M T: 117.83
241.29/241.39 c Cleaning up after failed var search: 0.07 s
243.50/243.55 c Calc non-exist non-lernt bins v-fix: 1 done: 4059 time: 2.06 s
243.50/243.56 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.01
243.60/243.64 c Subs w/ non-existent bins: 813 time: 0.08 s
243.80/243.81 c Replacing 1 vars Replaced 62 lits Time: 0.16 s
244.40/244.42 c bin-w-bin subsume rem 80 bins time: 0.20 s
246.10/246.13 c subs with bin: 416 lits-rem: 23312 v-fix: 0 time: 1.70 s
246.20/246.27 c Removed useless bin: 812 fixed: 0 bprops: 10.02M time: 0.14 s
248.00/248.08 c lits-rem: 59 cl-subs: 2368 v-elim: 91138 v-fix: 0 time: 1.80 s
248.00/248.08 c learnt bin added due to v-elim: 0
248.20/248.25 c asymm cl-useful: 34/177/28042 lits-rem:324 time: 0.17
248.30/248.31 c N dy 200 30503 283254 28042 2125027 7465 5034983 2718045 1291.63 61.51 --
248.30/248.31 c F st 200 30503 283254 28042 2125027 7465 5034983 2718045 1291.63 61.51 --
257.60/257.65 c Decided on dynamic restart strategy
264.60/264.62 c N dy 220 34556 283225 28042 2125037 11322 5034983 9183171 1483.85 61.06 --
265.00/265.00 c Finding binary XORs T: 0.07 s found: 17
276.00/276.08 c N dy 249 38672 283110 28036 2124263 7795 5033355 1235437 727.63 58.27 --
289.90/289.98 c N dy 278 42768 282974 28036 2124275 11685 5033355 6231687 1056.33 56.14 --
302.20/302.25 c S st 299 45754 282907 28036 2124288 14505 5033355 10494300 942.30 54.90 --
305.10/305.16 c S st 299 46254 282895 28036 2124295 14953 5033355 10724743 942.30 54.90 --
305.20/305.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
349.40/349.40 c Flit: 63 Blit: 7697 bXBeca: 0 bXProp: 0 Bin: 21137 BRemL: 510 BRemN: 8130 CBin: 0 P: 60.0M T: 44.12
349.40/349.49 c Cleaning up after failed var search: 0.08 s
351.60/351.63 c Calc non-exist non-lernt bins v-fix: 0 done: 4065 time: 2.05 s
351.60/351.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.01
351.70/351.78 c Subs w/ non-existent bins: 614 time: 0.14 s
351.90/351.99 c Replacing 17 vars Replaced 944 lits Time: 0.20 s
352.90/352.90 c bin-w-bin subsume rem 54 bins time: 0.22 s
354.70/354.71 c subs with bin: 293 lits-rem: 13311 v-fix: 0 time: 1.81 s
354.80/354.85 c Removed useless bin: 604 fixed: 0 bprops: 10.03M time: 0.14 s
360.31/360.37 c lits-rem: 103 cl-subs: 2230 v-elim: 3826 v-fix: 0 time: 5.52 s
360.31/360.37 c learnt bin added due to v-elim: 0
360.61/360.61 c asymm cl-useful: 23/374/27011 lits-rem:39 time: 0.24
360.61/360.67 c N dy 299 46254 271195 27011 2043327 12026 4808323 6465974 942.30 54.90 --
371.91/371.91 c N dy 328 50312 271185 27011 2043346 15922 4808323 10698147 630.54 54.88 --
386.00/386.00 c N dy 357 54399 271151 27011 2043364 11502 4808323 4157859 1261.20 52.58 --
399.01/399.03 c N dy 385 58441 271095 27011 2043379 15314 4808323 10107891 1102.22 52.10 --
411.60/411.62 c N dy 414 62513 271075 27011 2043395 9783 4808323 1577023 1953.43 50.59 --
419.31/419.39 c N dy 442 66555 269396 27011 2043413 13572 4808323 4063557 664.71 49.56 --
427.80/427.88 c S st 463 69381 269393 27011 2043424 16276 4808323 7015090 731.74 48.68 --
429.60/429.60 c S st 463 69883 269393 27011 2043425 16770 4808323 7396926 731.74 48.68 --
429.70/429.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
476.80/476.90 c Flit: 237 Blit: 3132 bXBeca: 0 bXProp: 0 Bin: 18142 BRemL: 150 BRemN: 9266 CBin: 0 P: 60.1M T: 47.19
476.90/476.98 c Cleaning up after failed var search: 0.07 s
479.10/479.11 c Calc non-exist non-lernt bins v-fix: 0 done: 5338 time: 2.08 s
479.10/479.13 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.01
479.20/479.25 c Subs w/ non-existent bins: 422 time: 0.11 s
479.90/479.91 c bin-w-bin subsume rem 9 bins time: 0.19 s
481.81/481.86 c subs with bin: 1399 lits-rem: 12653 v-fix: 0 time: 1.94 s
482.00/482.00 c Removed useless bin: 764 fixed: 0 bprops: 10.01M time: 0.14 s
484.81/484.85 c ORs : 7 avg-s: 2.3 cl-sh: 25 l-rem: 35 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.01
491.31/491.40 c Added 3 vars tried: 80000 time: 6.55
491.41/491.40 c ORs : 3 avg-s: 0.0 cl-sh: 259 l-rem: 259 b-add: 6 v-rep: 0 cl-rem: 1 avg s: 94.0 T: 6.55
491.51/491.52 c lits-rem: 258 cl-subs: 2461 v-elim: 3051 v-fix: 0 time: 9.51 s
491.51/491.52 c learnt bin added due to v-elim: 0
491.71/491.72 c asymm cl-useful: 7/589/26212 lits-rem:61 time: 0.20
491.71/491.78 c N dy 463 69883 262596 26212 1995346 13733 4651133 5058685 731.74 48.68 --
491.71/491.78 c F st 463 69883 262596 26212 1995346 13733 4651133 5058685 731.74 48.68 --
498.81/498.84 c Decided on dynamic restart strategy
504.31/504.30 c Finding binary XORs T: 0.07 s found: 4
507.60/507.69 c N dy 486 74372 262585 26212 1995279 17991 4650917 10925676 1836.54 48.30 --
518.12/518.17 c N dy 520 79176 262554 26212 1995299 12274 4650917 2898806 1394.93 46.89 --
532.10/532.14 c N dy 556 84231 262487 26212 1995313 17108 4650917 7698937 590.55 46.60 --
547.01/547.03 c N dy 595 89682 262391 26212 1995358 22328 4650917 13851022 1091.27 45.39 --
562.01/562.08 c N dy 636 95517 262315 26212 1995386 16521 4650917 6255760 862.70 45.14 --
579.91/579.95 c N dy 680 101728 262252 26212 1995408 22478 4650917 12089735 1222.18 43.80 --
588.61/588.66 c S st 703 104824 262213 26212 1995426 13029 4650917 1350953 476.93 43.30 --
590.11/590.19 c S st 703 105326 262212 26212 1995430 13511 4650917 1587697 476.93 43.30 --
590.21/590.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
620.01/620.09 c Flit: 181 Blit: 1606 bXBeca: 0 bXProp: 0 Bin: 16505 BRemL: 210 BRemN: 5769 CBin: 0 P: 60.1M T: 29.81
620.11/620.10 c Cleaning up after failed var search: 0.00 s
622.11/622.17 c Calc non-exist non-lernt bins v-fix: 0 done: 4483 time: 2.01 s
622.11/622.18 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.01
622.21/622.25 c Subs w/ non-existent bins: 260 time: 0.06 s
622.41/622.41 c Replacing 4 vars Replaced 279 lits Time: 0.15 s
622.71/622.77 c bin-w-bin subsume rem 13 bins time: 0.20 s
624.31/624.38 c subs with bin: 1842 lits-rem: 15814 v-fix: 0 time: 1.61 s
624.51/624.51 c Removed useless bin: 733 fixed: 0 bprops: 10.01M time: 0.12 s
627.21/627.28 c ORs : 11 avg-s: 2.5 cl-sh: 36 l-rem: 64 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.01
663.51/663.59 c Added 0 vars tried: 80000 time: 36.31
663.51/663.59 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: 36.31
663.61/663.67 c lits-rem: 594 cl-subs: 1102 v-elim: 12653 v-fix: 0 time: 39.16 s
663.61/663.67 c learnt bin added due to v-elim: 0
663.81/663.84 c asymm cl-useful: 96/412/25040 lits-rem:535 time: 0.17
663.81/663.89 c N dy 703 105326 258715 25040 1979851 12054 4572095 1415638 476.93 43.30 --
679.01/679.02 c N dy 751 112097 258643 25040 1979875 18543 4572095 7308022 1315.50 42.81 --
695.41/695.42 c N dy 802 119280 258612 25040 1979898 25475 4572094 13057384 951.97 41.70 --
713.01/713.06 c N dy 856 126890 258507 25040 1979927 19437 4572094 6770284 1165.80 40.69 --
734.22/734.26 c N dy 914 135071 258355 25040 1979954 27320 4572094 14387054 874.74 40.35 --
754.62/754.67 c N dy 976 143824 258255 25040 1979984 21331 4572094 7714585 1282.01 39.55 --
776.62/776.60 c Finding binary XORs T: 0.07 s found: 13
780.81/780.87 c N dy 1042 153140 258183 25003 1974081 29824 4558655 17057988 837.45 39.35 --
792.62/792.67 c S st 1076 157989 258163 25003 1974088 19125 4558655 4595990 863.12 39.06 --
794.22/794.28 c S st 1076 158489 258158 25003 1974096 19597 4558655 4847570 863.12 39.06 --
794.32/794.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
809.22/809.22 c Flit: 43 Blit: 764 bXBeca: 0 bXProp: 0 Bin: 13571 BRemL: 147 BRemN: 1078 CBin: 0 P: 60.0M T: 14.84
809.22/809.23 c Cleaning up after failed var search: 0.00 s
811.32/811.35 c Calc non-exist non-lernt bins v-fix: 0 done: 3956 time: 2.07 s
811.32/811.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02
811.42/811.47 c Subs w/ non-existent bins: 171 time: 0.10 s
811.61/811.66 c Replacing 13 vars Replaced 1409 lits Time: 0.17 s
812.12/812.17 c bin-w-bin subsume rem 39 bins time: 0.20 s
814.02/814.00 c subs with bin: 12 lits-rem: 9142 v-fix: 0 time: 1.84 s
814.12/814.13 c Removed useless bin: 729 fixed: 0 bprops: 10.01M time: 0.13 s
816.02/816.03 c ORs : 14 avg-s: 2.5 cl-sh: 38 l-rem: 86 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.02
821.62/821.62 c Added 3 vars tried: 80000 time: 5.59
821.62/821.62 c ORs : 3 avg-s: 0.0 cl-sh: 387 l-rem: 387 b-add: 6 v-rep: 0 cl-rem: 1 avg s: 86.0 T: 5.60
821.72/821.72 c lits-rem: 329 cl-subs: 1683 v-elim: 689 v-fix: 0 time: 7.58 s
821.72/821.72 c learnt bin added due to v-elim: 0
821.92/821.94 c asymm cl-useful: 6/511/24855 lits-rem:58 time: 0.22
821.92/822.00 c N dy 1076 158489 256441 24853 1974384 17749 4528442 4061828 863.12 39.06 --
846.02/846.07 c N dy 1148 168665 256254 24853 1974407 27567 4528441 13093447 918.87 38.94 --
873.12/873.11 c N dy 1224 179471 256102 24853 1974457 21643 4528441 6556759 818.40 38.51 --
904.52/904.54 c N dy 1305 190963 255797 24853 1974494 32657 4528435 17611874 939.36 37.90 --
935.62/935.70 c N dy 1392 203170 255704 24853 1974535 27213 4528435 11799934 1009.53 37.19 --
971.22/971.28 c N dy 1484 216200 255530 24853 1974576 21534 4528435 5048364 1542.02 36.33 --
1007.92/1007.92 c N dy 1581 230102 255431 24853 1974612 34935 4528435 19538486 1007.11 36.13 --
1027.22/1027.25 c S st 1635 237733 255349 24853 1974657 22936 4528435 3823091 803.15 36.11 --
1028.82/1028.88 c S st 1635 238233 255284 24853 1974661 23413 4528435 4066954 803.15 36.11 --
1028.92/1028.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
1039.63/1039.64 c Flit: 60 Blit: 3076 bXBeca: 0 bXProp: 0 Bin: 12983 BRemL: 95 BRemN: 677 CBin: 0 P: 60.0M T: 10.66
1039.72/1039.71 c Cleaning up after failed var search: 0.06 s
1041.83/1041.87 c Calc non-exist non-lernt bins v-fix: 0 done: 4195 time: 2.09 s
1041.83/1041.89 c Cache BProp: 20 Set: 16 BXProp: 0 T: 0.02
1042.02/1042.00 c Subs w/ non-existent bins: 180 time: 0.10 s
1042.42/1042.48 c bin-w-bin subsume rem 20 bins time: 0.20 s
1044.13/1044.19 c subs with bin: 38 lits-rem: 9255 v-fix: 0 time: 1.70 s
1044.33/1044.31 c Removed useless bin: 1085 fixed: 0 bprops: 10.01M time: 0.12 s
1047.23/1047.21 c ORs : 20 avg-s: 2.8 cl-sh: 68 l-rem: 144 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.02
1055.03/1055.00 c Added 2 vars tried: 80000 time: 7.79
1055.03/1055.00 c ORs : 2 avg-s: 0.0 cl-sh: 260 l-rem: 260 b-add: 4 v-rep: 0 cl-rem: 0 avg s: nan T: 7.79
1055.12/1055.10 c lits-rem: 447 cl-subs: 1521 v-elim: 13242 v-fix: 0 time: 10.79 s
1055.12/1055.10 c learnt bin added due to v-elim: 0
1055.32/1055.30 c asymm cl-useful: 7/581/24482 lits-rem:109 time: 0.20
1055.32/1055.36 c N dy 1635 238233 250245 24476 1937195 21129 4421193 3312396 803.15 36.11 --
1063.12/1063.17 c Finding binary XORs T: 0.07 s found: 9
1096.42/1096.44 c N dy 1742 253555 250019 24469 1936331 35929 4419115 18467465 1262.29 35.89 --
1138.93/1138.96 c N dy 1855 269742 249951 24469 1936370 31385 4419115 12526632 653.87 35.32 --
1186.22/1186.29 c N dy 1978 287115 249899 24469 1936406 27051 4419115 6542661 776.10 34.69 --
1234.93/1234.93 c N dy 2108 305518 248791 24469 1936447 22581 4419115 1822751 1002.68 34.21 --
1283.23/1283.22 c N dy 2245 325080 248595 24469 1936507 41389 4419115 20073007 1220.21 33.72 --
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-3285469-1303766600/watcher-3285469-1303766600 -o /tmp/evaluation-result-3285469-1303766600/solver-3285469-1303766600 -C 2400 -W 1300 -M 7680 ./techdemo --threads=1 HOME/instance-3285469-1303766600.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: 1.17 1.31 2.36 4/186 11199
/proc/meminfo: memFree=24928680/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=24388 CPUtime=0 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 1369 0 0 0 0 0 0 0 21 0 1 0 566890899 24973312 1163 33554432000 4194304 4797429 140735339263584 18446744073709551615 4366925 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 6097 1170 346 148 0 1026 0
[startup+0.0521139 s]
/proc/loadavg: 1.17 1.31 2.36 4/186 11199
/proc/meminfo: memFree=24928680/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=40164 CPUtime=0.05 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 6002 0 0 0 4 1 0 0 21 0 1 0 566890899 41127936 4193 33554432000 4194304 4797429 140735339263584 18446744073709551615 4659336 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 10041 4193 348 148 0 4970 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 40164
[startup+0.10107 s]
/proc/loadavg: 1.17 1.31 2.36 4/186 11199
/proc/meminfo: memFree=24928680/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=67824 CPUtime=0.09 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 11636 0 0 0 8 1 0 0 21 0 1 0 566890899 69451776 7993 33554432000 4194304 4797429 140735339263584 18446744073709551615 260905061258 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 16956 7993 350 148 0 11885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67824
[startup+0.301077 s]
/proc/loadavg: 1.17 1.31 2.36 4/186 11199
/proc/meminfo: memFree=24928680/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=104932 CPUtime=0.29 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 22870 0 0 0 26 3 0 0 22 0 1 0 566890899 107450368 15523 33554432000 4194304 4797429 140735339263584 18446744073709551615 4660242 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 26233 15523 350 148 0 21162 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 104932
[startup+0.700927 s]
/proc/loadavg: 1.17 1.31 2.36 4/186 11199
/proc/meminfo: memFree=24928680/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=182188 CPUtime=0.69 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 45319 0 0 0 63 6 0 0 23 0 1 0 566890899 186560512 30504 33554432000 4194304 4797429 140735339263584 18446744073709551615 4431150 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 45547 30504 350 148 0 40476 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 182188
[startup+1.50075 s]
/proc/loadavg: 1.17 1.31 2.36 5/187 11200
/proc/meminfo: memFree=24707976/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=367284 CPUtime=1.49 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 96311 0 0 0 136 13 0 0 25 0 1 0 566890899 376098816 66553 33554432000 4194304 4797429 140735339263584 18446744073709551615 260905054917 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 91821 66554 350 148 0 86750 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 367284
[startup+3.10045 s]
/proc/loadavg: 1.17 1.31 2.36 5/187 11200
/proc/meminfo: memFree=24384900/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=530928 CPUtime=3.09 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 119202 0 0 0 293 16 0 0 25 0 1 0 566890899 543670272 87981 33554432000 4194304 4797429 140735339263584 18446744073709551615 4241128 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 132732 87981 381 148 0 127661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 530928
[startup+6.30087 s]
/proc/loadavg: 1.71 1.42 2.39 5/190 11206
/proc/meminfo: memFree=23752596/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=530928 CPUtime=6.29 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 119202 0 0 0 613 16 0 0 25 0 1 0 566890899 543670272 87981 33554432000 4194304 4797429 140735339263584 18446744073709551615 4240961 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 132732 87981 381 148 0 127661 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 530928
[startup+12.7008 s]
/proc/loadavg: 1.90 1.47 2.40 5/190 11206
/proc/meminfo: memFree=23281544/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=720564 CPUtime=12.69 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 162761 0 0 0 1249 20 0 0 25 0 1 0 566890899 737857536 131540 33554432000 4194304 4797429 140735339263584 18446744073709551615 4520291 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 180141 131540 392 148 0 175070 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 720564
[startup+25.5004 s]
/proc/loadavg: 2.36 1.59 2.43 5/190 11207
/proc/meminfo: memFree=22976260/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=767656 CPUtime=25.49 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 177209 0 0 0 2527 22 0 0 25 0 1 0 566890899 786079744 145964 33554432000 4194304 4797429 140735339263584 18446744073709551615 4341286 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 191914 145964 410 148 0 186843 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 767656
[startup+51.1007 s]
/proc/loadavg: 2.92 1.78 2.47 5/190 11207
/proc/meminfo: memFree=22715368/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=770600 CPUtime=51.09 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 186175 0 0 0 5085 24 0 0 25 0 1 0 566890899 789094400 148056 33554432000 4194304 4797429 140735339263584 18446744073709551615 4341256 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 192650 148056 411 148 0 187579 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 770600
[startup+102.3 s]
/proc/loadavg: 3.57 2.14 2.55 5/190 11209
/proc/meminfo: memFree=22509124/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=773248 CPUtime=102.3 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 207219 0 0 0 10201 29 0 0 25 0 1 0 566890899 791805952 151778 33554432000 4194304 4797429 140735339263584 18446744073709551615 4341100 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 193312 151778 411 148 0 188241 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 773248
[startup+162.3 s]
/proc/loadavg: 3.84 2.47 2.64 5/190 11210
/proc/meminfo: memFree=22170776/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=796940 CPUtime=162.29 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 220736 0 0 0 16199 30 0 0 25 0 1 0 566890899 816066560 154723 33554432000 4194304 4797429 140735339263584 18446744073709551615 4427245 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 199235 154723 414 148 0 194164 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 796940
[startup+222.306 s]
/proc/loadavg: 4.02 2.77 2.73 5/190 11212
/proc/meminfo: memFree=21603180/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=802636 CPUtime=222.3 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 221675 0 0 0 22200 30 0 0 25 0 1 0 566890899 821899264 155662 33554432000 4194304 4797429 140735339263584 18446744073709551615 4259686 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 200659 155662 414 148 0 195588 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 802636
[startup+282.3 s]
/proc/loadavg: 4.00 2.99 2.80 5/190 11214
/proc/meminfo: memFree=21322724/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=1049912 CPUtime=282.3 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 293477 0 0 0 28189 41 0 0 25 0 1 0 566890899 1075109888 212070 33554432000 4194304 4797429 140735339263584 18446744073709551615 4387833 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 262478 212070 415 148 0 257407 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1049912
[startup+342.3 s]
/proc/loadavg: 4.00 3.17 2.87 5/190 11215
/proc/meminfo: memFree=20817068/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=1058204 CPUtime=342.3 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 302650 0 0 0 34186 44 0 0 25 0 1 0 566890899 1083600896 221240 33554432000 4194304 4797429 140735339263584 18446744073709551615 4259083 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 264551 221240 415 148 0 259480 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1058204
[startup+402.3 s]
/proc/loadavg: 4.00 3.32 2.94 5/190 11217
/proc/meminfo: memFree=20494784/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=1310088 CPUtime=402.31 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 379274 0 0 0 40175 56 0 0 25 0 1 0 566890899 1341530112 281447 33554432000 4194304 4797429 140735339263584 18446744073709551615 4423072 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 327522 281447 415 148 0 322451 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1310088
[startup+462.3 s]
/proc/loadavg: 4.04 3.45 3.01 5/190 11218
/proc/meminfo: memFree=20277600/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=1315472 CPUtime=462.3 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 392343 0 0 0 46172 58 0 0 25 0 1 0 566890899 1347043328 279979 33554432000 4194304 4797429 140735339263584 18446744073709551615 4259664 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 328868 279979 415 148 0 323797 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1315472
[startup+522.301 s]
/proc/loadavg: 3.79 3.50 3.05 4/184 11237
/proc/meminfo: memFree=20791708/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=1530892 CPUtime=522.31 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 456074 0 0 0 52165 66 0 0 25 0 1 0 566890899 1567633408 327638 33554432000 4194304 4797429 140735339263584 18446744073709551615 4341270 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 382723 327638 418 148 0 377652 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1530892
[startup+582.301 s]
/proc/loadavg: 3.29 3.41 3.05 4/184 11239
/proc/meminfo: memFree=20699820/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=1529480 CPUtime=582.31 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 479264 0 0 0 58160 71 0 0 25 0 1 0 566890899 1566187520 336179 33554432000 4194304 4797429 140735339263584 18446744073709551615 4424987 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 382370 336179 418 148 0 377299 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1529480
[startup+642.301 s]
/proc/loadavg: 3.10 3.33 3.04 4/184 11240
/proc/meminfo: memFree=20470456/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=1736492 CPUtime=642.31 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 530386 0 0 0 64154 77 0 0 25 0 1 0 566890899 1778167808 372257 33554432000 4194304 4797429 140735339263584 18446744073709551615 4510040 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 434123 372257 418 148 0 429052 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1736492
[startup+702.301 s]
/proc/loadavg: 3.04 3.27 3.04 4/184 11242
/proc/meminfo: memFree=20386888/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=1738532 CPUtime=702.31 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 547288 0 0 0 70150 81 0 0 25 0 1 0 566890899 1780256768 374130 33554432000 4194304 4797429 140735339263584 18446744073709551615 4413824 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 434633 374130 418 148 0 429562 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 1738532
[startup+762.301 s]
/proc/loadavg: 3.01 3.22 3.03 4/184 11243
/proc/meminfo: memFree=20141760/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=1738996 CPUtime=762.32 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 571800 0 0 0 76146 86 0 0 25 0 1 0 566890899 1780731904 381982 33554432000 4194304 4797429 140735339263584 18446744073709551615 4423672 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 434749 381982 418 148 0 429678 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 1738996
[startup+822.301 s]
/proc/loadavg: 3.00 3.17 3.02 4/184 11245
/proc/meminfo: memFree=19742356/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=1951412 CPUtime=822.32 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 634799 0 0 0 82139 93 0 0 25 0 1 0 566890899 1998245888 426299 33554432000 4194304 4797429 140735339263584 18446744073709551615 4424203 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 487853 426299 418 148 0 482782 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 1951412
[startup+882.307 s]
/proc/loadavg: 3.00 3.14 3.02 4/184 11247
/proc/meminfo: memFree=19792288/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=1952060 CPUtime=882.32 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 659225 0 0 0 88135 97 0 0 25 0 1 0 566890899 1998909440 431507 33554432000 4194304 4797429 140735339263584 18446744073709551615 4423583 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 488015 431507 418 148 0 482944 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1952060
[startup+942.301 s]
/proc/loadavg: 3.00 3.11 3.01 4/184 11251
/proc/meminfo: memFree=19828260/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=1950848 CPUtime=942.32 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 682906 0 0 0 94129 103 0 0 25 0 1 0 566890899 1997668352 435631 33554432000 4194304 4797429 140735339263584 18446744073709551615 4341187 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 487712 435631 418 148 0 482641 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1950848
[startup+1002.3 s]
/proc/loadavg: 3.00 3.09 3.01 4/184 11253
/proc/meminfo: memFree=19748980/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=1950688 CPUtime=1002.32 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 708556 0 0 0 100123 109 0 0 25 0 1 0 566890899 1997504512 438483 33554432000 4194304 4797429 140735339263584 18446744073709551615 4341360 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 487672 438483 418 148 0 482601 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1950688
[startup+1062.3 s]
/proc/loadavg: 3.00 3.07 3.00 4/184 11254
/proc/meminfo: memFree=19276612/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=2175668 CPUtime=1062.33 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 772883 0 0 0 106114 119 0 0 25 0 1 0 566890899 2227884032 479455 33554432000 4194304 4797429 140735339263584 18446744073709551615 4423684 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 543917 479455 418 148 0 538846 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2175668
[startup+1122.3 s]
/proc/loadavg: 3.00 3.05 3.00 4/184 11256
/proc/meminfo: memFree=19238332/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=2182440 CPUtime=1122.32 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 798287 0 0 0 112109 123 0 0 25 0 1 0 566890899 2234818560 481510 33554432000 4194304 4797429 140735339263584 18446744073709551615 4424194 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 545610 481510 418 148 0 540539 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2182440
[startup+1182.3 s]
/proc/loadavg: 3.00 3.04 3.00 4/184 11258
/proc/meminfo: memFree=19228128/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=2181864 CPUtime=1182.33 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 820160 0 0 0 118106 127 0 0 25 0 1 0 566890899 2234228736 479819 33554432000 4194304 4797429 140735339263584 18446744073709551615 4377394 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 545466 479819 418 148 0 540395 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2181864
[startup+1242.3 s]
/proc/loadavg: 3.00 3.03 3.00 4/184 11259
/proc/meminfo: memFree=19309840/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=2182096 CPUtime=1242.33 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 842687 0 0 0 124101 132 0 0 25 0 1 0 566890899 2234466304 479500 33554432000 4194304 4797429 140735339263584 18446744073709551615 4424170 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 545524 479500 418 148 0 540453 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2182096
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.92 3.01 2.99 3/182 11262
/proc/meminfo: memFree=20708800/32950928 swapFree=67071984/67111528
[pid=11199] ppid=11197 vsize=2182384 CPUtime=1300.03 cores=0,2
/proc/11199/stat : 11199 (techdemo) R 11197 11199 10018 0 -1 4202496 865799 0 0 0 129866 137 0 0 25 0 1 0 566890899 2234761216 477352 33554432000 4194304 4797429 140735339263584 18446744073709551615 260905090827 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11199/statm: 545596 477352 418 148 0 540525 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 2182384
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.08
CPU time (s): 1300.12
CPU user time (s): 1298.67
CPU system time (s): 1.45778
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2297604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.67
system time used= 1.45778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 865799
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= 7
involuntary context switches= 1783
runsolver used 2.16967 second user time and 4.87826 second system time
The end
Begin job on node116 at 2011-04-25 23:23:22
IDJOB=3285469
IDBENCH=82387
IDSOLVER=1585
FILE ID=node116/3285469-1303766600
RUNJOBID= node116-1303766600-11163
PBS_JOBID= 13157137
Free space on /tmp= 72392 MiB
SOLVER NAME= CryptoMiniSat TechDemo-Alpha-st
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
COMMAND LINE= ./techdemo --threads=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285469-1303766600/watcher-3285469-1303766600 -o /tmp/evaluation-result-3285469-1303766600/solver-3285469-1303766600 -C 2400 -W 1300 -M 7680 ./techdemo --threads=1 HOME/instance-3285469-1303766600.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 5d1253e2dcc0e3e55992672756beadbc
RANDOM SEED=1139525582
node116.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.826
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.65
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.826
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 : 5226.15
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.826
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.75
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.826
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.826
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.77
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.826
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.826
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.826
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: 32950928 kB
MemFree: 24929084 kB
Buffers: 1862792 kB
Cached: 5566492 kB
SwapCached: 9732 kB
Active: 3477272 kB
Inactive: 4120100 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 24929084 kB
SwapTotal: 67111528 kB
SwapFree: 67071984 kB
Dirty: 211280 kB
Writeback: 0 kB
AnonPages: 161728 kB
Mapped: 14820 kB
Slab: 361220 kB
PageTables: 5656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 598676 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= 72328 MiB
End job on node116 at 2011-04-25 23:45:04