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-3288141-1303772682.cnf'
0.00/0.00 c -- header says num vars: 96095
0.00/0.00 c -- header says num clauses: 285404
0.09/0.11 c -- clauses added: 0 learnts, 285404 normals, 0 xors
0.09/0.11 c -- vars added 96095
0.09/0.11 c Parsing time: 0.10 s
0.09/0.11 c N st 0 0 96095 95134 190268 0 665938 0 no data no data --
0.39/0.40 c asymm cl-useful: 0/7581/95133 lits-rem:0 time: 0.29
9.09/9.17 c Flit: 90 Blit: 9912 bXBeca: 0 bXProp: 4370 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 8.65
9.09/9.19 c Cleaning up after failed var search: 0.01 s
9.19/9.21 c Replacing 4370 vars Replaced 102168 lits Time: 0.02 s
9.19/9.25 c bin-w-bin subsume rem 428 bins time: 0.01 s
9.19/9.28 c subs with bin: 11 lits-rem: 11 v-fix: 0 time: 0.03 s
9.59/9.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 81289 time: 0.34 s
9.69/9.73 c Removed useless bin: 249 fixed: 0 props: 20.00M time: 0.11 s
9.99/10.05 c lits-rem: 0 cl-subs: 9773 v-elim: 27096 v-fix: 0 time: 0.31 s
10.39/10.46 c Finding binary XORs T: 0.41 s found: 2073
10.39/10.48 c Replacing 2073 vars Replaced 17909 lits Time: 0.01 s
10.49/10.58 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan)
10.49/10.58 c calculated reachability. Time: 0.07
10.49/10.59 c Calc default polars - time: 0.01 s pos: 1541 undec: 44366 neg: 50188
10.49/10.59 c =========================================================================================
10.49/10.59 c types(t): F = full restart, N = normal restart
10.49/10.59 c types(t): S = simplification begin/end, E = solution found
10.49/10.59 c restart types(rt): st = static, dy = dynamic
10.49/10.59 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
10.49/10.59 c B st 0 0 52120 79901 103502 0 507855 0 no data no data --
11.89/11.92 c N dy 17 4163 52063 79901 103989 3590 507850 63645 4.62 4.93 --
13.39/13.45 c N dy 50 8212 51916 79901 104259 7311 507850 140984 5.40 5.71 --
14.99/15.09 c N dy 82 12255 51774 79901 104468 11066 507850 234103 6.07 6.87 --
16.89/16.94 c N dy 111 16662 51628 79901 104660 15208 507844 348793 6.36 6.83 --
19.09/19.13 c Finding binary XORs T: 0.29 s found: 1380
19.09/19.15 c Replacing 1380 vars Replaced 26065 lits Time: 0.02 s
19.19/19.25 c N dy 138 20895 49941 75925 100388 9688 479934 112822 6.51 6.89 --
21.19/21.23 c N dy 169 24976 49414 73500 99507 12853 465048 212762 6.67 13.21 --
21.19/21.24 c F st 170 25000 49414 73500 99512 12872 465048 212927 6.67 no data --
24.49/24.58 c N dy 176 30000 49287 72986 99350 17658 462097 443982 6.67 no data --
24.49/24.58 c S st 176 30000 49287 72986 99350 17658 462097 443982 6.67 no data --
24.89/24.91 c S st 176 30506 49194 72986 99419 18051 462097 455728 6.67 no data --
24.89/24.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
24.89/24.94 c Cache BProp: 236 Set: 136 BXProp: 8 T: 0.01
48.89/48.98 c Flit: 505 Blit: 7077 bXBeca: 0 bXProp: 11768 Bins: 30037 BRemL: 3798 BRemN: 1234 P: 200.0M T: 23.96
48.99/49.00 c Cleaning up after failed var search: 0.02 s
48.99/49.05 c Replacing 11776 vars Replaced 297590 lits Time: 0.04 s
48.99/49.09 c bin-w-bin subsume rem 8783 bins time: 0.01 s
49.19/49.24 c subs with bin: 2180 lits-rem: 36149 v-fix: 0 time: 0.15 s
49.29/49.35 c Subs w/ non-existent bins: 511 l-rem: 5976 v-fix: 2 done: 19890 time: 0.11 s
49.39/49.42 c Removed useless bin: 1979 fixed: 0 props: 8.24M time: 0.06 s
49.99/50.02 c lits-rem: 9323 cl-subs: 16286 v-elim: 18916 v-fix: 0 time: 0.59 s
50.70/50.74 c asymm cl-useful: 1347/13118/32399 lits-rem:2019 time: 0.72
50.70/50.79 c calculated reachability. Time: 0.04
50.70/50.79 c N dy 176 30506 9458 32136 20057 4571 156235 37794 6.67 no data --
51.40/51.43 c Finding binary XORs T: 0.64 s found: 534
51.40/51.44 c Replacing 534 vars Replaced 24324 lits Time: 0.01 s
52.29/52.31 c N dy 185 34668 8869 32078 19875 8335 155197 93641 6.48 6.82 --
52.29/52.36 c E dy 187 34885 8852 32078 19885 8532 155197 96808 6.49 4.43 --
52.29/52.36 c num threads : 1
52.29/52.36 c restarts : 187
52.29/52.36 c dynamic restarts : 175
52.29/52.36 c static restarts : 12
52.29/52.36 c full restarts : 1
52.29/52.36 c total simplify time : 1.01
52.29/52.36 c learnts DL2 : 0
52.29/52.36 c learnts size 2 : 245369
52.29/52.36 c learnts size 1 : 22951 (23.88 % of vars)
52.29/52.36 c filedLit time : 32.65 (62.62 % time)
52.29/52.36 c v-elim SatELite : 46012 (47.88 % vars)
52.29/52.36 c SatELite time : 1.26 (2.42 % time)
52.29/52.36 c v-elim xor : 0 (0.00 % vars)
52.29/52.36 c xor elim time : 0.01 (0.03 % time)
52.29/52.36 c num binary xor trees : 5594
52.29/52.36 c binxor trees' crown : 20133 (3.60 leafs/tree)
52.29/52.36 c bin xor find time : 1.34
52.29/52.36 c OTF clause improved : 531 (0.02 clauses/conflict)
52.29/52.36 c OTF impr. size diff : 997 (1.88 lits/clause)
52.29/52.36 c OTF cl watch-shrink : 17195 (0.49 clauses/conflict)
52.29/52.36 c OTF cl watch-sh-lit : 63660 (3.70 lits/clause)
52.29/52.36 c tried to recurMin cls : 17605 (50.47 % of conflicts)
52.29/52.36 c updated cache : 0 (0.00 lits/tried recurMin)
52.29/52.36 c clauses over max glue : 0 (0.00 % of all clauses)
52.29/52.36 c conflicts : 34885 (669.19 / sec)
52.29/52.36 c decisions : 87788 (2.62 % random)
52.29/52.36 c bogo-props : 598217778 (11475482.78 / sec)
52.29/52.36 c conflict literals : 904227 (38.27 % deleted)
52.29/52.36 c Memory used : 766.09 MB
52.29/52.36 c CPU time : 52.13 s
52.29/52.36 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-3288141-1303772682/watcher-3288141-1303772682 -o /tmp/evaluation-result-3288141-1303772682/solver-3288141-1303772682 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3288141-1303772682.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.04 3.98 3.92 5/189 6556
/proc/meminfo: memFree=12423452/32950928 swapFree=67111528/67111528
[pid=6556] ppid=6554 vsize=30840 CPUtime=0 cores=0,2
/proc/6556/stat : 6556 (strangenight1-s) R 6554 6556 4899 0 -1 4202496 998 0 0 0 0 0 0 0 25 0 1 0 567498867 31580160 938 33554432000 4194304 4650387 140735771876000 18446744073709551615 4319071 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6556/statm: 7710 939 328 112 0 2675 0
[startup+0.0954921 s]
/proc/loadavg: 4.04 3.98 3.92 5/189 6556
/proc/meminfo: memFree=12423452/32950928 swapFree=67111528/67111528
[pid=6556] ppid=6554 vsize=63352 CPUtime=0.08 cores=0,2
/proc/6556/stat : 6556 (strangenight1-s) R 6554 6556 4899 0 -1 4202496 10139 0 0 0 7 1 0 0 25 0 1 0 567498867 64872448 7955 33554432000 4194304 4650387 140735771876000 18446744073709551615 4316560 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6556/statm: 15838 7960 329 112 0 10803 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 63352
[startup+0.100496 s]
/proc/loadavg: 4.04 3.98 3.92 5/189 6556
/proc/meminfo: memFree=12423452/32950928 swapFree=67111528/67111528
[pid=6556] ppid=6554 vsize=63352 CPUtime=0.09 cores=0,2
/proc/6556/stat : 6556 (strangenight1-s) R 6554 6556 4899 0 -1 4202496 10402 0 0 0 8 1 0 0 25 0 1 0 567498867 64872448 8209 33554432000 4194304 4650387 140735771876000 18446744073709551615 4519989 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6556/statm: 15838 8210 329 112 0 10803 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63352
[startup+0.300435 s]
/proc/loadavg: 4.04 3.98 3.92 5/189 6556
/proc/meminfo: memFree=12423452/32950928 swapFree=67111528/67111528
[pid=6556] ppid=6554 vsize=69392 CPUtime=0.29 cores=0,2
/proc/6556/stat : 6556 (strangenight1-s) R 6554 6556 4899 0 -1 4202496 12082 0 0 0 28 1 0 0 25 0 1 0 567498867 71057408 9868 33554432000 4194304 4650387 140735771876000 18446744073709551615 4369888 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6556/statm: 17348 9868 348 112 0 12313 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69392
[startup+0.700381 s]
/proc/loadavg: 4.04 3.98 3.92 5/189 6556
/proc/meminfo: memFree=12423452/32950928 swapFree=67111528/67111528
[pid=6556] ppid=6554 vsize=90140 CPUtime=0.69 cores=0,2
/proc/6556/stat : 6556 (strangenight1-s) R 6554 6556 4899 0 -1 4202496 16481 0 0 0 68 1 0 0 25 0 1 0 567498867 92303360 13708 33554432000 4194304 4650387 140735771876000 18446744073709551615 4369154 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6556/statm: 22535 13708 354 112 0 17500 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90140
[startup+1.50024 s]
/proc/loadavg: 4.04 3.98 3.92 5/190 6557
/proc/meminfo: memFree=12352640/32950928 swapFree=67111528/67111528
[pid=6556] ppid=6554 vsize=140716 CPUtime=1.49 cores=0,2
/proc/6556/stat : 6556 (strangenight1-s) R 6554 6556 4899 0 -1 4202496 26626 0 0 0 146 3 0 0 25 0 1 0 567498867 144093184 23853 33554432000 4194304 4650387 140735771876000 18446744073709551615 4369341 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6556/statm: 35179 23853 354 112 0 30144 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140716
[startup+3.10094 s]
/proc/loadavg: 4.04 3.98 3.92 5/190 6557
/proc/meminfo: memFree=12292036/32950928 swapFree=67111528/67111528
[pid=6556] ppid=6554 vsize=245892 CPUtime=3.09 cores=0,2
/proc/6556/stat : 6556 (strangenight1-s) R 6554 6556 4899 0 -1 4202496 49762 0 0 0 303 6 0 0 25 0 1 0 567498867 251793408 46989 33554432000 4194304 4650387 140735771876000 18446744073709551615 4369439 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6556/statm: 61473 46989 354 112 0 56438 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 245892
[startup+6.30034 s]
/proc/loadavg: 4.04 3.98 3.92 5/190 6558
/proc/meminfo: memFree=12088404/32950928 swapFree=67111528/67111528
[pid=6556] ppid=6554 vsize=456124 CPUtime=6.29 cores=0,2
/proc/6556/stat : 6556 (strangenight1-s) R 6554 6556 4899 0 -1 4202496 98575 0 0 0 617 12 0 0 25 0 1 0 567498867 467070976 95802 33554432000 4194304 4650387 140735771876000 18446744073709551615 4369039 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6556/statm: 114031 95802 354 112 0 108996 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 456124
[startup+12.7012 s]
/proc/loadavg: 4.03 3.98 3.92 5/190 6558
/proc/meminfo: memFree=12012276/32950928 swapFree=67111528/67111528
[pid=6556] ppid=6554 vsize=491704 CPUtime=12.7 cores=0,2
/proc/6556/stat : 6556 (strangenight1-s) R 6554 6556 4899 0 -1 4202496 107962 0 0 0 1256 14 0 0 25 0 1 0 567498867 503504896 105189 33554432000 4194304 4650387 140735771876000 18446744073709551615 4366896 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6556/statm: 122926 105189 379 112 0 117891 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 491704
[startup+25.5008 s]
/proc/loadavg: 4.03 3.98 3.92 5/190 6558
/proc/meminfo: memFree=12008536/32950928 swapFree=67111528/67111528
[pid=6556] ppid=6554 vsize=498868 CPUtime=25.49 cores=0,2
/proc/6556/stat : 6556 (strangenight1-s) R 6554 6556 4899 0 -1 4202496 111323 0 0 0 2535 14 0 0 25 0 1 0 567498867 510840832 106545 33554432000 4194304 4650387 140735771876000 18446744073709551615 4230691 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6556/statm: 124717 106545 383 112 0 119682 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 498868
[startup+51.1011 s]
/proc/loadavg: 4.02 3.98 3.92 5/190 6613
/proc/meminfo: memFree=11917804/32950928 swapFree=67111528/67111528
[pid=6556] ppid=6554 vsize=784472 CPUtime=51.1 cores=0,2
/proc/6556/stat : 6556 (strangenight1-s) R 6554 6556 4899 0 -1 4202496 169502 0 0 0 5087 23 0 0 25 0 1 0 567498867 803299328 164724 33554432000 4194304 4650387 140735771876000 18446744073709551615 4528949 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6556/statm: 196118 164724 383 112 0 191083 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 784472
Solver just ended. Dumping a history of the last processes samples
[startup+51.9009 s]
/proc/loadavg: 4.01 3.98 3.92 5/190 6613
/proc/meminfo: memFree=11897108/32950928 swapFree=67111528/67111528
[pid=6556] ppid=6554 vsize=784472 CPUtime=51.9 cores=0,2
/proc/6556/stat : 6556 (strangenight1-s) R 6554 6556 4899 0 -1 4202496 169535 0 0 0 5167 23 0 0 25 0 1 0 567498867 803299328 164757 33554432000 4194304 4650387 140735771876000 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6556/statm: 196118 164757 383 112 0 191083 0
Current children cumulated CPU time (s) 51.9
Current children cumulated vsize (KiB) 784472
[startup+52.3008 s]
/proc/loadavg: 4.01 3.98 3.92 5/190 6613
/proc/meminfo: memFree=11897108/32950928 swapFree=67111528/67111528
[pid=6556] ppid=6554 vsize=784472 CPUtime=52.29 cores=0,2
/proc/6556/stat : 6556 (strangenight1-s) R 6554 6556 4899 0 -1 4202496 169570 0 0 0 5206 23 0 0 25 0 1 0 567498867 803299328 164792 33554432000 4194304 4650387 140735771876000 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6556/statm: 196118 164792 383 112 0 191083 0
Current children cumulated CPU time (s) 52.29
Current children cumulated vsize (KiB) 784472
[startup+52.5008 s]
/proc/loadavg: 4.01 3.98 3.92 5/190 6613
/proc/meminfo: memFree=11897108/32950928 swapFree=67111528/67111528
[pid=6556] ppid=6554 vsize=0 CPUtime=52.5 cores=0,2
/proc/6556/stat : 6556 (strangenight1-s) R 6554 6556 4899 0 -1 4202500 169586 0 0 0 5224 26 0 0 25 0 1 0 567498867 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6556/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 52.5
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 52.5055
CPU time (s): 52.505
CPU user time (s): 52.2401
CPU system time (s): 0.264959
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 784472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.2401
system time used= 0.264959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169586
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= 11
involuntary context switches= 79
runsolver used 0.097985 second user time and 0.19297 second system time
The end
Begin job on node113 at 2011-04-26 01:04:42
IDJOB=3288141
IDBENCH=82489
IDSOLVER=1589
FILE ID=node113/3288141-1303772682
RUNJOBID= node113-1303772383-6227
PBS_JOBID= 13157152
Free space on /tmp= 70940 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288141-1303772682/watcher-3288141-1303772682 -o /tmp/evaluation-result-3288141-1303772682/solver-3288141-1303772682 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3288141-1303772682.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 649b4cf0a21e275b244b1034d05ded52
RANDOM SEED=492379547
node113.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.846
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.69
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.846
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.76
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.846
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.846
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.846
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.74
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.846
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.846
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.83
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.846
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: 32950928 kB
MemFree: 12423608 kB
Buffers: 1853648 kB
Cached: 16899588 kB
SwapCached: 0 kB
Active: 11687708 kB
Inactive: 8246860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 12423608 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10944 kB
Writeback: 0 kB
AnonPages: 1180416 kB
Mapped: 16268 kB
Slab: 525500 kB
PageTables: 7636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1449620 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= 70936 MiB
End job on node113 at 2011-04-26 01:05:35