runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3730082-1338680564/watcher-3730082-1338680564 -o /tmp/evaluation-result-3730082-1338680564/solver-3730082-1338680564 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3730082-1338680564.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.99 1.78 3/176 23963
/proc/meminfo: memFree=26827104/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) D 23961 23963 23594 0 -1 4194304 96 0 0 0 0 0 0 0 20 0 1 0 334183889 2723840 48 33554432000 134512640 135840783 4287874336 4287872372 8344516 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/23963/statm: 665 48 37 325 0 32 0
[startup+0.102648 s]
/proc/loadavg: 2.00 1.99 1.78 3/176 23963
/proc/meminfo: memFree=26827104/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=42640 CPUtime=0.09 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 1689 0 0 0 9 0 0 0 20 0 1 0 334183889 43663360 1625 33554432000 134512640 135840783 4287874336 4287873276 9628592 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23963/statm: 10660 1627 589 325 0 1066 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42640
[startup+0.200239 s]
/proc/loadavg: 2.00 1.99 1.78 3/176 23963
/proc/meminfo: memFree=26827104/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=46744 CPUtime=0.18 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 3024 0 0 0 18 0 0 0 20 0 1 0 334183889 47865856 2960 33554432000 134512640 135840783 4287874336 4287873152 8856871 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23963/statm: 11686 2960 881 325 0 2092 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 46744
[startup+0.300224 s]
/proc/loadavg: 2.00 1.99 1.78 3/176 23963
/proc/meminfo: memFree=26827104/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=51116 CPUtime=0.28 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 4418 0 0 0 28 0 0 0 20 0 1 0 334183889 52342784 4354 33554432000 134512640 135840783 4287874336 4287872200 8832510 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23963/statm: 12779 4355 1188 325 0 3185 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 51116
[startup+0.700189 s]
/proc/loadavg: 2.00 1.99 1.78 3/176 23963
/proc/meminfo: memFree=26827104/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=68484 CPUtime=0.69 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 9997 0 0 0 68 1 0 0 20 0 1 0 334183889 70127616 9933 33554432000 134512640 135840783 4287874336 4287873484 9595737 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23963/statm: 17121 9934 2418 325 0 7527 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68484
[startup+1.50019 s]
/proc/loadavg: 2.00 1.99 1.78 3/177 23964
/proc/meminfo: memFree=26779364/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=103208 CPUtime=1.48 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 21159 0 0 0 146 2 0 0 20 0 1 0 334183889 105684992 21095 33554432000 134512640 135840783 4287874336 4287873276 4109360 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23963/statm: 25802 21096 4920 325 0 16208 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 103208
[startup+3.10024 s]
/proc/loadavg: 2.00 1.99 1.78 3/177 23964
/proc/meminfo: memFree=26731740/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=168728 CPUtime=3.08 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 50038 0 0 0 302 6 0 0 20 0 1 0 334183889 172777472 41443 33554432000 134512640 135840783 4287874336 4287839760 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23963/statm: 42182 41443 342 325 0 41118 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 168728
[startup+6.30028 s]
/proc/loadavg: 2.00 1.99 1.78 3/177 23964
/proc/meminfo: memFree=26610464/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=220252 CPUtime=6.28 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 62931 0 0 0 619 9 0 0 20 0 1 0 334183889 225538048 54336 33554432000 134512640 135840783 4287874336 4287839676 4109360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23963/statm: 55063 54336 344 325 0 53999 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 220252
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.79 3/177 23964
/proc/meminfo: memFree=26610604/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=220252 CPUtime=12.67 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 62939 0 0 0 1257 10 0 0 20 0 1 0 334183889 225538048 54336 33554432000 134512640 135840783 4287874336 4287839676 4109360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23963/statm: 55063 54336 344 325 0 53999 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 220252
[startup+25.5004 s]
/proc/loadavg: 2.00 1.99 1.79 3/177 23964
/proc/meminfo: memFree=26609580/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=220252 CPUtime=25.47 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 62947 0 0 0 2533 14 0 0 20 0 1 0 334183889 225538048 54336 33554432000 134512640 135840783 4287874336 4287839664 134545300 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23963/statm: 55063 54336 344 325 0 53999 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 220252
[startup+51.1004 s]
/proc/loadavg: 2.07 2.00 1.80 3/177 23964
/proc/meminfo: memFree=26609672/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=220252 CPUtime=51.05 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 62963 0 0 0 5083 22 0 0 20 0 1 0 334183889 225538048 54336 33554432000 134512640 135840783 4287874336 4287839664 134545187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23963/statm: 55063 54336 344 325 0 53999 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 220252
[startup+102.3 s]
/proc/loadavg: 2.03 2.00 1.81 3/177 23964
/proc/meminfo: memFree=26609344/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=220252 CPUtime=102.23 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 62983 0 0 0 10179 44 0 0 20 0 1 0 334183889 225538048 54340 33554432000 134512640 135840783 4287874336 4287839664 134545221 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23963/statm: 55063 54340 344 325 0 53999 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 220252
Solver just ended. Dumping a history of the last processes samples
[startup+102.406 s]
/proc/loadavg: 2.03 2.00 1.81 3/177 23964
/proc/meminfo: memFree=26609344/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=220252 CPUtime=102.33 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 62983 0 0 0 10189 44 0 0 20 0 1 0 334183889 225538048 54340 33554432000 134512640 135840783 4287874336 4287839676 4109360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23963/statm: 55063 54340 344 325 0 53999 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 220252
[startup+115.2 s]
/proc/loadavg: 2.02 2.00 1.81 3/177 23964
/proc/meminfo: memFree=26609188/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=220252 CPUtime=115.12 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 62996 0 0 0 11463 49 0 0 20 0 1 0 334183889 225538048 54340 33554432000 134512640 135840783 4287874336 4287839676 4109360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23963/statm: 55063 54340 344 325 0 53999 0
Current children cumulated CPU time (s) 115.12
Current children cumulated vsize (KiB) 220252
[startup+128 s]
/proc/loadavg: 2.02 2.00 1.81 3/177 23964
/proc/meminfo: memFree=26609296/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=220252 CPUtime=127.91 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 63004 0 0 0 12738 53 0 0 20 0 1 0 334183889 225538048 54340 33554432000 134512640 135840783 4287874336 4287839676 4109360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23963/statm: 55063 54340 344 325 0 53999 0
Current children cumulated CPU time (s) 127.91
Current children cumulated vsize (KiB) 220252
[startup+134.4 s]
/proc/loadavg: 2.02 2.00 1.81 3/177 23964
/proc/meminfo: memFree=26609596/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=220252 CPUtime=134.3 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 63009 0 0 0 13375 55 0 0 20 0 1 0 334183889 225538048 54340 33554432000 134512640 135840783 4287874336 4287839676 4109360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23963/statm: 55063 54340 344 325 0 53999 0
Current children cumulated CPU time (s) 134.3
Current children cumulated vsize (KiB) 220252
[startup+136 s]
/proc/loadavg: 2.01 2.00 1.82 3/177 23964
/proc/meminfo: memFree=26609596/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=220252 CPUtime=135.9 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 63009 0 0 0 13534 56 0 0 20 0 1 0 334183889 225538048 54340 33554432000 134512640 135840783 4287874336 4287839696 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23963/statm: 55063 54340 344 325 0 53999 0
Current children cumulated CPU time (s) 135.9
Current children cumulated vsize (KiB) 220252
[startup+136.8 s]
/proc/loadavg: 2.01 2.00 1.82 3/177 23964
/proc/meminfo: memFree=26609472/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=220252 CPUtime=136.7 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 63009 0 0 0 13614 56 0 0 20 0 1 0 334183889 225538048 54340 33554432000 134512640 135840783 4287874336 4287839696 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23963/statm: 55063 54340 344 325 0 53999 0
Current children cumulated CPU time (s) 136.7
Current children cumulated vsize (KiB) 220252
[startup+137.606 s]
/proc/loadavg: 2.01 2.00 1.82 3/177 23964
/proc/meminfo: memFree=26620928/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=209544 CPUtime=137.51 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 73055 0 0 0 13694 57 0 0 20 0 1 0 334183889 214573056 51644 33554432000 134512640 135840783 4287874336 4287836812 4109360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23963/statm: 52386 51644 344 325 0 51322 0
Current children cumulated CPU time (s) 137.51
Current children cumulated vsize (KiB) 209544
[startup+137.8 s]
/proc/loadavg: 2.01 2.00 1.82 3/177 23964
/proc/meminfo: memFree=26620928/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=209544 CPUtime=137.7 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 73056 0 0 0 13713 57 0 0 20 0 1 0 334183889 214573056 51645 33554432000 134512640 135840783 4287874336 4287873540 8843516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23963/statm: 52386 51645 345 325 0 51322 0
Current children cumulated CPU time (s) 137.7
Current children cumulated vsize (KiB) 209544
[startup+137.9 s]
/proc/loadavg: 2.01 2.00 1.82 3/177 23964
/proc/meminfo: memFree=26620928/32873648 swapFree=7120/7120
[pid=23963] ppid=23961 vsize=209544 CPUtime=137.8 cores=0,2,4,6
/proc/23963/stat : 23963 (bsolo3.0.17) R 23961 23963 23594 0 -1 4202496 73056 0 0 0 13723 57 0 0 20 0 1 0 334183889 214573056 51645 33554432000 134512640 135840783 4287874336 4287873540 8843573 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23963/statm: 52386 51645 345 325 0 51322 0
Current children cumulated CPU time (s) 137.8
Current children cumulated vsize (KiB) 209544
Child status: 0
Real time (s): 137.912
CPU time (s): 137.823
CPU user time (s): 137.245
CPU system time (s): 0.577912
CPU usage (%): 99.9356
Max. virtual memory (cumulated for all children) (KiB): 220252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.245
system time used= 0.577912
maximum resident set size= 217360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73059
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= 93
involuntary context switches= 159
runsolver used 0.277957 second user time and 0.812876 second system time
The end
Begin job on node114 at 2012-06-03 01:42:45
IDJOB=3730082
IDBENCH=1383
IDSOLVER=2318
FILE ID=node114/3730082-1338680564
RUNJOBID= node114-1338678627-23614
PBS_JOBID= 14636699
Free space on /tmp= 70100 MiB
SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730082-1338680564/watcher-3730082-1338680564 -o /tmp/evaluation-result-3730082-1338680564/solver-3730082-1338680564 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3730082-1338680564.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 051b48fdf5558d73afe4ee3d3cae609a
RANDOM SEED=1646748514
node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/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.242
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.48
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.242
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.242
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5451.90
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.242
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.242
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.242
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.242
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.242
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873648 kB
MemFree: 26827740 kB
Buffers: 885852 kB
Cached: 4176336 kB
SwapCached: 2312 kB
Active: 2594440 kB
Inactive: 2498040 kB
Active(anon): 16764 kB
Inactive(anon): 8444 kB
Active(file): 2577676 kB
Inactive(file): 2489596 kB
Unevictable: 7120 kB
Mlocked: 7120 kB
SwapTotal: 67108856 kB
SwapFree: 67103580 kB
Dirty: 40828 kB
Writeback: 0 kB
AnonPages: 28148 kB
Mapped: 12544 kB
Shmem: 104 kB
Slab: 816476 kB
SReclaimable: 260580 kB
SUnreclaim: 555896 kB
KernelStack: 1448 kB
PageTables: 4112 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545680 kB
Committed_AS: 139960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346400 kB
VmallocChunk: 34341988052 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7680 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 70096 MiB
End job on node114 at 2012-06-03 01:45:03