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 WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3290441-1303785444.cnf'
0.00/0.00 c -- header says num vars: 4740
0.00/0.00 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.36 c Replacing 60 vars Replaced 25005 lits Time: 0.00 s
0.29/0.37 c bin-w-bin subsume rem 204 bins time: 0.00 s
0.39/0.42 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.00 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.54 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.73 c N dy 19 4253 3670 26287 9050 4114 188632 105658 7.81 8.31 --
0.89/0.97 c N dy 43 8779 3670 26287 9127 5827 188630 125169 8.15 8.58 --
1.10/1.17 c N dy 68 12898 3663 26287 9211 5260 188627 76038 8.43 9.00 --
1.39/1.45 c N dy 89 16994 3662 26287 9261 9284 188627 196174 8.38 11.14 --
1.79/1.81 c N dy 109 22046 3660 26287 9333 8241 188627 131187 8.15 8.76 --
1.99/2.02 c F st 129 25001 3653 26287 9360 11154 188627 213970 8.19 no data --
2.09/2.12 c N st 132 26188 3653 26271 9246 12107 188321 244649 8.19 no data --
2.19/2.20 c Finding binary XORs T: 0.00 s found: 0
2.39/2.44 c S st 135 30001 3653 26271 9275 8755 188321 141194 8.19 no data --
2.39/2.49 c S st 135 30506 3653 26271 9298 9234 188320 151608 8.19 no data --
2.39/2.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
2.39/2.49 c Cache BProp: 3 Set: 1 BXProp: 0 T: 0.00
2.69/2.72 c Flit: 8 Blit: 2 bXBeca: 0 bXProp: 1 Bins: 9196 BRemL: 254 BRemN: 2 P: 6.2M T: 0.23
2.69/2.72 c Replacing 1 vars Replaced 41 lits Time: 0.00 s
2.69/2.73 c bin-w-bin subsume rem 10 bins time: 0.00 s
2.69/2.78 c subs with bin: 716 lits-rem: 5731 v-fix: 0 time: 0.04 s
2.69/2.79 c Subs w/ non-existent bins: 65 l-rem: 3288 v-fix: 0 done: 3639 time: 0.01 s
2.69/2.79 c Removed useless bin: 11 fixed: 0 props: 0.29M time: 0.00 s
3.39/3.47 c lits-rem: 460 cl-subs: 3853 v-elim: 81 v-fix: 0 time: 0.67 s
3.79/3.81 c asymm cl-useful: 6/7020/25253 lits-rem:6 time: 0.34
3.79/3.81 c calculated reachability. Time: 0.00
3.79/3.81 c N dy 135 30506 3558 25253 17577 5736 180402 90974 8.19 no data --
3.79/3.81 c Finding binary XORs T: 0.00 s found: 0
4.09/4.10 c N dy 156 34634 3558 25253 17586 9826 180401 202784 8.22 8.74 --
4.39/4.46 c N dy 170 38660 3555 25253 17604 13805 180401 318680 8.16 8.62 --
4.90/4.90 c N dy 194 43293 3553 25253 17626 10146 180401 157463 8.19 8.64 --
5.10/5.13 c S st 204 45763 3553 25253 17637 12585 180401 231680 8.15 6.85 --
5.10/5.19 c S st 204 46264 3553 25253 17640 13080 180401 242220 8.15 no data --
5.10/5.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
5.10/5.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.30/5.35 c Flit: 1 Blit: 1 bXBeca: 0 bXProp: 0 Bins: 663 BRemL: 289 BRemN: 0 P: 6.1M T: 0.16
5.30/5.37 c bin-w-bin subsume rem 16 bins time: 0.00 s
5.40/5.43 c subs with bin: 601 lits-rem: 4099 v-fix: 0 time: 0.06 s
5.40/5.44 c Subs w/ non-existent bins: 25 l-rem: 2915 v-fix: 0 done: 2086 time: 0.01 s
5.40/5.44 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.79 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.40/6.44 c asymm cl-useful: 9/10582/25010 lits-rem:14 time: 0.18
6.40/6.44 c calculated reachability. Time: 0.00
6.40/6.44 c N dy 204 46264 3500 25009 17335 10349 178090 171637 8.15 no data --
6.79/6.81 c N dy 223 50308 3500 25009 17350 14353 178090 282406 8.10 8.53 --
7.09/7.16 c Finding binary XORs T: 0.00 s found: 0
7.19/7.26 c N dy 241 54315 3493 25003 17206 18086 177972 383050 8.11 9.70 --
7.60/7.66 c N dy 257 58510 3493 25003 17216 13116 177972 211493 8.09 8.69 --
7.99/8.08 c E dy 269 62315 3467 25003 17264 16790 177972 296853 8.04 4.40 --
7.99/8.08 c num threads : 1
7.99/8.08 c restarts : 269
7.99/8.08 c dynamic restarts : 257
7.99/8.08 c static restarts : 12
7.99/8.08 c full restarts : 1
7.99/8.08 c total simplify time : 0.01
7.99/8.08 c learnts DL2 : 0
7.99/8.08 c learnts size 2 : 22454
7.99/8.08 c learnts size 1 : 668 (14.09 % of vars)
7.99/8.08 c filedLit time : 0.47 (5.80 % time)
7.99/8.08 c v-elim SatELite : 887 (18.71 % vars)
7.99/8.08 c SatELite time : 1.57 (19.46 % time)
7.99/8.08 c v-elim xor : 0 (0.00 % vars)
7.99/8.08 c xor elim time : 0.00 (0.04 % time)
7.99/8.08 c num binary xor trees : 60
7.99/8.08 c binxor trees' crown : 61 (1.02 leafs/tree)
7.99/8.08 c bin xor find time : 0.01
7.99/8.08 c OTF clause improved : 512 (0.01 clauses/conflict)
7.99/8.08 c OTF impr. size diff : 630 (1.23 lits/clause)
7.99/8.08 c OTF cl watch-shrink : 38257 (0.61 clauses/conflict)
7.99/8.08 c OTF cl watch-sh-lit : 129579 (3.39 lits/clause)
7.99/8.08 c tried to recurMin cls : 26961 (43.27 % of conflicts)
7.99/8.08 c updated cache : 0 (0.00 lits/tried recurMin)
7.99/8.08 c clauses over max glue : 0 (0.00 % of all clauses)
7.99/8.08 c conflicts : 62315 (7720.11 / sec)
7.99/8.08 c decisions : 106624 (2.03 % random)
7.99/8.08 c bogo-props : 431825313 (53498204.98 / sec)
7.99/8.08 c conflict literals : 1680789 (40.78 % deleted)
7.99/8.08 c Memory used : 51.22 MB
7.99/8.08 c CPU time : 8.07 s
7.99/8.08 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-3290441-1303785444/watcher-3290441-1303785444 -o /tmp/evaluation-result-3290441-1303785444/solver-3290441-1303785444 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3290441-1303785444.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: 3.18 3.82 3.67 2/179 11200
/proc/meminfo: memFree=14691308/32950928 swapFree=67111528/67111528
[pid=11200] ppid=11198 vsize=30436 CPUtime=0 cores=1,3
/proc/11200/stat : 11200 (strangenight1-s) R 11198 11200 10378 0 -1 4202496 920 0 0 0 0 0 0 0 23 0 1 0 490143193 31166464 860 33554432000 4194304 4650387 140734923195744 18446744073709551615 4317100 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11200/statm: 7609 864 328 112 0 2574 0
[startup+0.042249 s]
/proc/loadavg: 3.18 3.82 3.67 2/179 11200
/proc/meminfo: memFree=14691308/32950928 swapFree=67111528/67111528
[pid=11200] ppid=11198 vsize=33340 CPUtime=0.03 cores=1,3
/proc/11200/stat : 11200 (strangenight1-s) R 11198 11200 10378 0 -1 4202496 1942 0 0 0 3 0 0 0 23 0 1 0 490143193 34140160 1783 33554432000 4194304 4650387 140734923195744 18446744073709551615 235594527429 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11200/statm: 8335 1784 348 112 0 3300 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 33340
[startup+0.10031 s]
/proc/loadavg: 3.18 3.82 3.67 2/179 11200
/proc/meminfo: memFree=14691308/32950928 swapFree=67111528/67111528
[pid=11200] ppid=11198 vsize=33740 CPUtime=0.09 cores=1,3
/proc/11200/stat : 11200 (strangenight1-s) R 11198 11200 10378 0 -1 4202496 2047 0 0 0 9 0 0 0 23 0 1 0 490143193 34549760 1887 33554432000 4194304 4650387 140734923195744 18446744073709551615 4369049 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11200/statm: 8435 1887 348 112 0 3400 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33740
[startup+0.300209 s]
/proc/loadavg: 3.18 3.82 3.67 2/179 11200
/proc/meminfo: memFree=14691308/32950928 swapFree=67111528/67111528
[pid=11200] ppid=11198 vsize=35956 CPUtime=0.29 cores=1,3
/proc/11200/stat : 11200 (strangenight1-s) R 11198 11200 10378 0 -1 4202496 2666 0 0 0 29 0 0 0 25 0 1 0 490143193 36818944 2046 33554432000 4194304 4650387 140734923195744 18446744073709551615 4370665 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11200/statm: 8989 2046 354 112 0 3954 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35956
[startup+0.700138 s]
/proc/loadavg: 3.18 3.82 3.67 2/179 11200
/proc/meminfo: memFree=14691308/32950928 swapFree=67111528/67111528
[pid=11200] ppid=11198 vsize=45868 CPUtime=0.69 cores=1,3
/proc/11200/stat : 11200 (strangenight1-s) R 11198 11200 10378 0 -1 4202496 5301 0 0 0 69 0 0 0 25 0 1 0 490143193 46968832 4681 33554432000 4194304 4650387 140734923195744 18446744073709551615 4363318 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11200/statm: 11467 4681 378 112 0 6432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45868
[startup+1.501 s]
/proc/loadavg: 3.18 3.82 3.67 5/190 11221
/proc/meminfo: memFree=14577216/32950928 swapFree=67111528/67111528
[pid=11200] ppid=11198 vsize=45956 CPUtime=1.49 cores=1,3
/proc/11200/stat : 11200 (strangenight1-s) R 11198 11200 10378 0 -1 4202496 6321 0 0 0 149 0 0 0 25 0 1 0 490143193 47058944 4713 33554432000 4194304 4650387 140734923195744 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11200/statm: 11489 4713 380 112 0 6454 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45956
[startup+3.10072 s]
/proc/loadavg: 3.18 3.82 3.67 5/190 11221
/proc/meminfo: memFree=14484588/32950928 swapFree=67111528/67111528
[pid=11200] ppid=11198 vsize=49900 CPUtime=3.09 cores=1,3
/proc/11200/stat : 11200 (strangenight1-s) R 11198 11200 10378 0 -1 4202496 8355 0 0 0 309 0 0 0 25 0 1 0 490143193 51097600 5620 33554432000 4194304 4650387 140734923195744 18446744073709551615 4432344 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11200/statm: 12475 5620 382 112 0 7440 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49900
[startup+6.30015 s]
/proc/loadavg: 3.25 3.82 3.68 5/190 11221
/proc/meminfo: memFree=14466548/32950928 swapFree=67111528/67111528
[pid=11200] ppid=11198 vsize=52224 CPUtime=6.29 cores=1,3
/proc/11200/stat : 11200 (strangenight1-s) R 11198 11200 10378 0 -1 4202496 9777 0 0 0 628 1 0 0 25 0 1 0 490143193 53477376 6289 33554432000 4194304 4650387 140734923195744 18446744073709551615 4370675 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11200/statm: 13056 6289 382 112 0 8021 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52224
Solver just ended. Dumping a history of the last processes samples
[startup+7.10107 s]
/proc/loadavg: 3.25 3.82 3.68 5/190 11221
/proc/meminfo: memFree=14465928/32950928 swapFree=67111528/67111528
[pid=11200] ppid=11198 vsize=52224 CPUtime=7.09 cores=1,3
/proc/11200/stat : 11200 (strangenight1-s) R 11198 11200 10378 0 -1 4202496 9975 0 0 0 708 1 0 0 25 0 1 0 490143193 53477376 6487 33554432000 4194304 4650387 140734923195744 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11200/statm: 13056 6487 382 112 0 8021 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 52224
[startup+7.50094 s]
/proc/loadavg: 3.25 3.82 3.68 5/190 11221
/proc/meminfo: memFree=14465928/32950928 swapFree=67111528/67111528
[pid=11200] ppid=11198 vsize=52448 CPUtime=7.49 cores=1,3
/proc/11200/stat : 11200 (strangenight1-s) R 11198 11200 10378 0 -1 4202496 10432 0 0 0 748 1 0 0 25 0 1 0 490143193 53706752 6176 33554432000 4194304 4650387 140734923195744 18446744073709551615 4365314 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11200/statm: 13112 6176 382 112 0 8077 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 52448
[startup+7.90087 s]
/proc/loadavg: 3.25 3.82 3.68 5/190 11221
/proc/meminfo: memFree=14462484/32950928 swapFree=67111528/67111528
[pid=11200] ppid=11198 vsize=52448 CPUtime=7.89 cores=1,3
/proc/11200/stat : 11200 (strangenight1-s) R 11198 11200 10378 0 -1 4202496 10533 0 0 0 788 1 0 0 25 0 1 0 490143193 53706752 6277 33554432000 4194304 4650387 140734923195744 18446744073709551615 4366868 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11200/statm: 13112 6277 382 112 0 8077 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 52448
[startup+8.00085 s]
/proc/loadavg: 3.25 3.82 3.68 5/190 11221
/proc/meminfo: memFree=14462484/32950928 swapFree=67111528/67111528
[pid=11200] ppid=11198 vsize=52448 CPUtime=7.99 cores=1,3
/proc/11200/stat : 11200 (strangenight1-s) R 11198 11200 10378 0 -1 4202496 10553 0 0 0 798 1 0 0 25 0 1 0 490143193 53706752 6297 33554432000 4194304 4650387 140734923195744 18446744073709551615 4364806 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11200/statm: 13112 6297 382 112 0 8077 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 52448
Child status: 20
Real time (s): 8.08944
CPU time (s): 8.08977
CPU user time (s): 8.07477
CPU system time (s): 0.014997
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 52448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.07477
system time used= 0.014997
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= 13
runsolver used 0.017997 second user time and 0.031995 second system time
The end
Begin job on node120 at 2011-04-26 04:37:24
IDJOB=3290441
IDBENCH=83433
IDSOLVER=1589
FILE ID=node120/3290441-1303785444
RUNJOBID= node120-1303785444-11180
PBS_JOBID= 13157233
Free space on /tmp= 72436 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-15.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290441-1303785444/watcher-3290441-1303785444 -o /tmp/evaluation-result-3290441-1303785444/solver-3290441-1303785444 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3290441-1303785444.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= b5f600e7f9b30a5ff851f80fa6100290
RANDOM SEED=723676435
node120.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.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
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.07
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.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
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.809
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.78
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.809
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.809
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.809
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: 14691588 kB
Buffers: 2470060 kB
Cached: 15152176 kB
SwapCached: 0 kB
Active: 10375224 kB
Inactive: 7313408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 14691588 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 13756 kB
Writeback: 0 kB
AnonPages: 65040 kB
Mapped: 15468 kB
Slab: 505748 kB
PageTables: 4712 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 220372 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= 72400 MiB
End job on node120 at 2011-04-26 04:37:32