0.00/0.01 c Outputting solution to console
0.00/0.01 c This is CryptoMiniSat 2.9.0
0.00/0.01 c compiled with gcc version 4.4.5
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3370803-1305392744.cnf'
0.00/0.01 c -- header says num vars: 4740
0.00/0.01 c -- header says num clauses: 45569
0.00/0.01 c -- clauses added: 0 learnts, 45569 normals, 0 xors
0.00/0.01 c -- vars added 4740
0.00/0.01 c Parsing time: 0.01 s
0.00/0.01 c N st 0 0 4740 33500 11653 0 229119 0 no data no data --
0.19/0.28 c asymm cl-useful: 1/7408/33022 lits-rem:1 time: 0.26
0.29/0.36 c Flit: 15 Blit: 17 bXBeca: 0 bXProp: 60 Bins: 0 BRemL: 0 BRemN: 0 P: 4.4M T: 0.08
0.29/0.37 c Replacing 60 vars Replaced 25005 lits Time: 0.00 s
0.29/0.38 c bin-w-bin subsume rem 204 bins time: 0.00 s
0.39/0.43 c subs with bin: 7938 lits-rem: 7 v-fix: 0 time: 0.05 s
0.39/0.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4427 time: 0.01 s
0.39/0.44 c Removed useless bin: 0 fixed: 0 props: 0.80M time: 0.01 s
0.49/0.54 c lits-rem: 0 cl-subs: 71 v-elim: 756 v-fix: 0 time: 0.10 s
0.49/0.55 c Finding binary XORs T: 0.00 s found: 0
0.49/0.56 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan)
0.49/0.56 c calculated reachability. Time: 0.00
0.49/0.56 c Calc default polars - time: 0.00 s pos: 182 undec: 1069 neg: 3489
0.49/0.56 c =========================================================================================
0.49/0.56 c types(t): F = full restart, N = normal restart
0.49/0.56 c types(t): S = simplification begin/end, E = solution found
0.49/0.56 c restart types(rt): st = static, dy = dynamic
0.49/0.56 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.49/0.56 c B st 0 0 3671 26287 8951 0 188640 0 no data no data --
0.69/0.74 c N dy 19 4253 3670 26287 9050 4114 188632 105658 7.81 8.31 --
0.89/0.98 c N dy 43 8779 3670 26287 9127 5827 188630 125169 8.15 8.58 --
1.11/1.19 c N dy 68 12898 3663 26287 9211 5260 188627 76038 8.43 9.00 --
1.39/1.47 c N dy 89 16994 3662 26287 9261 9284 188627 196174 8.38 11.14 --
1.79/1.83 c N dy 109 22046 3660 26287 9333 8241 188627 131187 8.15 8.76 --
1.99/2.05 c F st 129 25001 3653 26287 9360 11154 188627 213970 8.19 no data --
2.10/2.15 c N st 132 26188 3653 26271 9246 12107 188321 244649 8.19 no data --
2.21/2.24 c Finding binary XORs T: 0.00 s found: 0
2.39/2.47 c S st 135 30001 3653 26271 9275 8755 188321 141194 8.19 no data --
2.49/2.52 c S st 135 30506 3653 26271 9298 9234 188320 151608 8.19 no data --
2.49/2.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
2.49/2.52 c Cache BProp: 3 Set: 1 BXProp: 0 T: 0.00
2.69/2.75 c Flit: 8 Blit: 2 bXBeca: 0 bXProp: 1 Bins: 9196 BRemL: 254 BRemN: 2 P: 6.2M T: 0.23
2.69/2.75 c Replacing 1 vars Replaced 41 lits Time: 0.00 s
2.69/2.76 c bin-w-bin subsume rem 10 bins time: 0.00 s
2.79/2.81 c subs with bin: 716 lits-rem: 5731 v-fix: 0 time: 0.04 s
2.79/2.82 c Subs w/ non-existent bins: 65 l-rem: 3288 v-fix: 0 done: 3639 time: 0.01 s
2.79/2.82 c Removed useless bin: 11 fixed: 0 props: 0.29M time: 0.00 s
3.39/3.49 c lits-rem: 460 cl-subs: 3853 v-elim: 81 v-fix: 0 time: 0.66 s
3.79/3.83 c asymm cl-useful: 6/7020/25253 lits-rem:6 time: 0.34
3.79/3.83 c calculated reachability. Time: 0.00
3.79/3.83 c N dy 135 30506 3558 25253 17577 5736 180402 90974 8.19 no data --
3.79/3.83 c Finding binary XORs T: 0.00 s found: 0
4.09/4.12 c N dy 156 34634 3558 25253 17586 9826 180401 202784 8.22 8.74 --
4.40/4.48 c N dy 170 38660 3555 25253 17604 13805 180401 318680 8.16 8.62 --
4.89/4.91 c N dy 194 43293 3553 25253 17626 10146 180401 157463 8.19 8.64 --
5.09/5.14 c S st 204 45763 3553 25253 17637 12585 180401 231680 8.15 6.85 --
5.09/5.19 c S st 204 46264 3553 25253 17640 13080 180401 242220 8.15 no data --
5.19/5.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
5.19/5.20 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.29/5.36 c Flit: 1 Blit: 1 bXBeca: 0 bXProp: 0 Bins: 663 BRemL: 289 BRemN: 0 P: 6.1M T: 0.16
5.29/5.38 c bin-w-bin subsume rem 16 bins time: 0.00 s
5.40/5.44 c subs with bin: 601 lits-rem: 4099 v-fix: 0 time: 0.06 s
5.40/5.45 c Subs w/ non-existent bins: 25 l-rem: 2915 v-fix: 0 done: 2086 time: 0.01 s
5.40/5.45 c Removed useless bin: 2 fixed: 0 props: 0.27M time: 0.00 s
6.19/6.24 c lits-rem: 501 cl-subs: 2180 v-elim: 50 v-fix: 0 time: 0.78 s
6.19/6.24 c vivif2 -- cl tried 25010 cl shrink 76 lits rem 86 time: 0.01
6.19/6.25 c vivif2 -- cl tried 10351 cl shrink 1152 lits rem 3171 time: 0.01
6.39/6.43 c asymm cl-useful: 9/10582/25010 lits-rem:14 time: 0.18
6.39/6.43 c calculated reachability. Time: 0.00
6.39/6.43 c N dy 204 46264 3500 25009 17335 10349 178090 171637 8.15 no data --
6.79/6.80 c N dy 223 50308 3500 25009 17350 14353 178090 282406 8.10 8.53 --
7.09/7.14 c Finding binary XORs T: 0.00 s found: 0
7.19/7.24 c N dy 241 54315 3493 25003 17206 18086 177972 383050 8.11 9.70 --
7.59/7.63 c N dy 257 58510 3493 25003 17216 13116 177972 211493 8.09 8.69 --
7.99/8.05 c E dy 269 62315 3467 25003 17264 16790 177972 296853 8.04 4.40 --
7.99/8.05 c num threads : 1
7.99/8.05 c restarts : 269
7.99/8.05 c dynamic restarts : 257
7.99/8.05 c static restarts : 12
7.99/8.05 c full restarts : 1
7.99/8.05 c total simplify time : 0.01
7.99/8.05 c learnts DL2 : 0
7.99/8.05 c learnts size 2 : 22454
7.99/8.05 c learnts size 1 : 668 (14.09 % of vars)
7.99/8.05 c filedLit time : 0.47 (5.87 % time)
7.99/8.05 c v-elim SatELite : 887 (18.71 % vars)
7.99/8.05 c SatELite time : 1.55 (19.26 % time)
7.99/8.05 c v-elim xor : 0 (0.00 % vars)
7.99/8.05 c xor elim time : 0.00 (0.04 % time)
7.99/8.05 c num binary xor trees : 60
7.99/8.05 c binxor trees' crown : 61 (1.02 leafs/tree)
7.99/8.05 c bin xor find time : 0.01
7.99/8.05 c OTF clause improved : 512 (0.01 clauses/conflict)
7.99/8.05 c OTF impr. size diff : 630 (1.23 lits/clause)
7.99/8.05 c OTF cl watch-shrink : 38257 (0.61 clauses/conflict)
7.99/8.05 c OTF cl watch-sh-lit : 129579 (3.39 lits/clause)
7.99/8.05 c tried to recurMin cls : 26961 (43.27 % of conflicts)
7.99/8.05 c updated cache : 0 (0.00 lits/tried recurMin)
7.99/8.05 c clauses over max glue : 0 (0.00 % of all clauses)
7.99/8.05 c conflicts : 62315 (7749.87 / sec)
7.99/8.05 c decisions : 106624 (2.03 % random)
7.99/8.05 c bogo-props : 431825313 (53704425.95 / sec)
7.99/8.05 c conflict literals : 1680789 (40.78 % deleted)
7.99/8.05 c Memory used : 51.22 MB
7.99/8.05 c CPU time : 8.04 s
7.99/8.05 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3370803-1305392744/watcher-3370803-1305392744 -o /tmp/evaluation-result-3370803-1305392744/solver-3370803-1305392744 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370803-1305392744.cnf
running on 2 cores: 5,7
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.28 3.59 3.85 4/379 15929
/proc/meminfo: memFree=22637944/32951124 swapFree=67111348/67111528
[pid=15929] ppid=15927 vsize=30432 CPUtime=0 cores=5,7
/proc/15929/stat : 15929 (strangenight1-s) R 15927 15929 15158 0 -1 4202496 946 0 0 0 0 0 0 0 22 0 1 0 650872174 31162368 886 33554432000 4194304 4650387 140736221194624 18446744073709551615 4317100 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15929/statm: 7608 887 328 112 0 2573 0
[startup+0.0406301 s]
/proc/loadavg: 2.28 3.59 3.85 4/379 15929
/proc/meminfo: memFree=22637944/32951124 swapFree=67111348/67111528
[pid=15929] ppid=15927 vsize=33072 CPUtime=0.03 cores=5,7
/proc/15929/stat : 15929 (strangenight1-s) R 15927 15929 15158 0 -1 4202496 1861 0 0 0 3 0 0 0 22 0 1 0 650872174 33865728 1701 33554432000 4194304 4650387 140736221194624 18446744073709551615 4370305 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15929/statm: 8268 1701 348 112 0 3233 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 33072
[startup+0.100622 s]
/proc/loadavg: 2.28 3.59 3.85 4/379 15929
/proc/meminfo: memFree=22637944/32951124 swapFree=67111348/67111528
[pid=15929] ppid=15927 vsize=33736 CPUtime=0.09 cores=5,7
/proc/15929/stat : 15929 (strangenight1-s) R 15927 15929 15158 0 -1 4202496 2047 0 0 0 9 0 0 0 22 0 1 0 650872174 34545664 1887 33554432000 4194304 4650387 140736221194624 18446744073709551615 4369365 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15929/statm: 8434 1887 348 112 0 3399 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33736
[startup+0.300599 s]
/proc/loadavg: 2.28 3.59 3.85 4/379 15929
/proc/meminfo: memFree=22637944/32951124 swapFree=67111348/67111528
[pid=15929] ppid=15927 vsize=35952 CPUtime=0.29 cores=5,7
/proc/15929/stat : 15929 (strangenight1-s) R 15927 15929 15158 0 -1 4202496 2666 0 0 0 29 0 0 0 23 0 1 0 650872174 36814848 2046 33554432000 4194304 4650387 140736221194624 18446744073709551615 4370594 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15929/statm: 8988 2046 354 112 0 3953 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35952
[startup+0.700512 s]
/proc/loadavg: 2.28 3.59 3.85 4/379 15929
/proc/meminfo: memFree=22637944/32951124 swapFree=67111348/67111528
[pid=15929] ppid=15927 vsize=45864 CPUtime=0.69 cores=5,7
/proc/15929/stat : 15929 (strangenight1-s) R 15927 15929 15158 0 -1 4202496 5297 0 0 0 69 0 0 0 25 0 1 0 650872174 46964736 4677 33554432000 4194304 4650387 140736221194624 18446744073709551615 4333870 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15929/statm: 11466 4677 378 112 0 6431 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45864
[startup+1.50037 s]
/proc/loadavg: 2.41 3.60 3.85 5/383 15936
/proc/meminfo: memFree=22551720/32951124 swapFree=67111348/67111528
[pid=15929] ppid=15927 vsize=45952 CPUtime=1.49 cores=5,7
/proc/15929/stat : 15929 (strangenight1-s) R 15927 15929 15158 0 -1 4202496 6313 0 0 0 148 1 0 0 25 0 1 0 650872174 47054848 4705 33554432000 4194304 4650387 140736221194624 18446744073709551615 4368052 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15929/statm: 11488 4705 380 112 0 6453 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45952
[startup+3.10108 s]
/proc/loadavg: 2.41 3.60 3.85 5/383 15936
/proc/meminfo: memFree=22456860/32951124 swapFree=67111348/67111528
[pid=15929] ppid=15927 vsize=49896 CPUtime=3.09 cores=5,7
/proc/15929/stat : 15929 (strangenight1-s) R 15927 15929 15158 0 -1 4202496 8352 0 0 0 308 1 0 0 25 0 1 0 650872174 51093504 5617 33554432000 4194304 4650387 140736221194624 18446744073709551615 4438361 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15929/statm: 12474 5617 382 112 0 7439 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49896
[startup+6.30049 s]
/proc/loadavg: 2.62 3.62 3.86 5/383 15936
/proc/meminfo: memFree=22442556/32951124 swapFree=67111348/67111528
[pid=15929] ppid=15927 vsize=52220 CPUtime=6.29 cores=5,7
/proc/15929/stat : 15929 (strangenight1-s) R 15927 15929 15158 0 -1 4202496 9777 0 0 0 628 1 0 0 25 0 1 0 650872174 53473280 6289 33554432000 4194304 4650387 140736221194624 18446744073709551615 4370305 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15929/statm: 13055 6289 382 112 0 8020 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52220
Solver just ended. Dumping a history of the last processes samples
[startup+7.10035 s]
/proc/loadavg: 2.62 3.62 3.86 5/383 15936
/proc/meminfo: memFree=22440572/32951124 swapFree=67111348/67111528
[pid=15929] ppid=15927 vsize=52220 CPUtime=7.09 cores=5,7
/proc/15929/stat : 15929 (strangenight1-s) R 15927 15929 15158 0 -1 4202496 9979 0 0 0 708 1 0 0 25 0 1 0 650872174 53473280 6491 33554432000 4194304 4650387 140736221194624 18446744073709551615 4366799 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15929/statm: 13055 6491 382 112 0 8020 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 52220
[startup+7.50028 s]
/proc/loadavg: 2.62 3.62 3.86 5/383 15936
/proc/meminfo: memFree=22440572/32951124 swapFree=67111348/67111528
[pid=15929] ppid=15927 vsize=52444 CPUtime=7.49 cores=5,7
/proc/15929/stat : 15929 (strangenight1-s) R 15927 15929 15158 0 -1 4202496 10436 0 0 0 748 1 0 0 25 0 1 0 650872174 53702656 6180 33554432000 4194304 4650387 140736221194624 18446744073709551615 4333958 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15929/statm: 13111 6180 382 112 0 8076 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 52444
[startup+7.90021 s]
/proc/loadavg: 2.62 3.62 3.86 5/383 15936
/proc/meminfo: memFree=22437732/32951124 swapFree=67111348/67111528
[pid=15929] ppid=15927 vsize=52444 CPUtime=7.89 cores=5,7
/proc/15929/stat : 15929 (strangenight1-s) R 15927 15929 15158 0 -1 4202496 10537 0 0 0 788 1 0 0 25 0 1 0 650872174 53702656 6281 33554432000 4194304 4650387 140736221194624 18446744073709551615 4364719 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15929/statm: 13111 6281 382 112 0 8076 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 52444
[startup+8.00018 s]
/proc/loadavg: 2.62 3.62 3.86 5/383 15936
/proc/meminfo: memFree=22437732/32951124 swapFree=67111348/67111528
[pid=15929] ppid=15927 vsize=52444 CPUtime=7.99 cores=5,7
/proc/15929/stat : 15929 (strangenight1-s) R 15927 15929 15158 0 -1 4202496 10559 0 0 0 798 1 0 0 25 0 1 0 650872174 53702656 6303 33554432000 4194304 4650387 140736221194624 18446744073709551615 4366784 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15929/statm: 13111 6303 382 112 0 8076 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 52444
Child status: 20
Real time (s): 8.06227
CPU time (s): 8.06177
CPU user time (s): 8.04378
CPU system time (s): 0.017997
CPU usage (%): 99.9939
Max. virtual memory (cumulated for all children) (KiB): 52444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.04378
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10581
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= 6
involuntary context switches= 14
runsolver used 0.024996 second user time and 0.080987 second system time
The end
Begin job on node139 at 2011-05-14 19:05:44
IDJOB=3370803
IDBENCH=83433
IDSOLVER=1847
FILE ID=node139/3370803-1305392744
RUNJOBID= node139-1305392744-15896
PBS_JOBID= 13324418
Free space on /tmp= 73344 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-15.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3370803-1305392744/watcher-3370803-1305392744 -o /tmp/evaluation-result-3370803-1305392744/solver-3370803-1305392744 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370803-1305392744.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= b5f600e7f9b30a5ff851f80fa6100290
RANDOM SEED=109643552
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: 22638372 kB
Buffers: 294020 kB
Cached: 2863396 kB
SwapCached: 0 kB
Active: 7946204 kB
Inactive: 2060888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 22638372 kB
SwapTotal: 67111528 kB
SwapFree: 67111348 kB
Dirty: 19916 kB
Writeback: 0 kB
AnonPages: 6850096 kB
Mapped: 29568 kB
Slab: 203112 kB
PageTables: 39400 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 76836912 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= 73320 MiB
End job on node139 at 2011-05-14 19:05:53