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-3730095-1338680619/watcher-3730095-1338680619 -o /tmp/evaluation-result-3730095-1338680619/solver-3730095-1338680619 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3730095-1338680619.opb
running on 4 cores: 1,3,5,7
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.80 3/174 25976
/proc/meminfo: memFree=28385256/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) D 25974 25976 25229 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 334187447 2723840 47 33554432000 134512640 135840783 4287613664 4287611700 11355076 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 665 47 37 325 0 32 0
[startup+0.0666259 s]
/proc/loadavg: 2.00 1.99 1.80 3/174 25976
/proc/meminfo: memFree=28385256/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=41412 CPUtime=0.05 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 1305 0 0 0 5 0 0 0 20 0 1 0 334187447 42405888 1241 33554432000 134512640 135840783 4287613664 4287612352 11867431 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 10353 1241 504 325 0 759 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 41412
[startup+0.100241 s]
/proc/loadavg: 2.00 1.99 1.80 3/174 25976
/proc/meminfo: memFree=28385256/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=42912 CPUtime=0.09 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 1778 0 0 0 9 0 0 0 20 0 1 0 334187447 43941888 1714 33554432000 134512640 135840783 4287613664 4287612480 11867431 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 10728 1714 608 325 0 1134 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42912
[startup+0.300203 s]
/proc/loadavg: 2.00 1.99 1.80 3/174 25976
/proc/meminfo: memFree=28385256/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=52344 CPUtime=0.28 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 4781 0 0 0 28 0 0 0 20 0 1 0 334187447 53600256 4717 33554432000 134512640 135840783 4287613664 4287612480 11867313 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 13086 4717 1268 325 0 3492 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 52344
[startup+0.700198 s]
/proc/loadavg: 2.00 1.99 1.80 3/174 25976
/proc/meminfo: memFree=28385256/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=71080 CPUtime=0.68 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 10813 0 0 0 67 1 0 0 20 0 1 0 334187447 72785920 10749 33554432000 134512640 135840783 4287613664 4287612352 11867431 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 17770 10750 2598 325 0 8176 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 71080
[startup+1.5002 s]
/proc/loadavg: 2.00 1.99 1.80 3/175 25977
/proc/meminfo: memFree=28338616/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=108536 CPUtime=1.48 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 22879 0 0 0 145 3 0 0 20 0 1 0 334187447 111140864 22815 33554432000 134512640 135840783 4287613664 4287612352 11867431 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 27134 22816 5311 325 0 17540 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 108536
[startup+3.10028 s]
/proc/loadavg: 2.00 1.99 1.80 3/175 25977
/proc/meminfo: memFree=28286528/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=168740 CPUtime=3.08 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 50040 0 0 0 300 8 0 0 20 0 1 0 334187447 172789760 41446 33554432000 134512640 135840783 4287613664 4287579180 13464624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 42185 41446 342 325 0 41121 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 168740
[startup+6.30027 s]
/proc/loadavg: 2.00 1.99 1.80 3/175 25977
/proc/meminfo: memFree=28168728/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=220264 CPUtime=6.28 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 62927 0 0 0 617 11 0 0 20 0 1 0 334187447 225550336 54333 33554432000 134512640 135840783 4287613664 4287579004 13464624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 55066 54333 344 325 0 54002 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 220264
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.80 3/175 25977
/proc/meminfo: memFree=28168736/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=220264 CPUtime=12.68 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 62931 0 0 0 1255 13 0 0 20 0 1 0 334187447 225550336 54333 33554432000 134512640 135840783 4287613664 4287579004 13464624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 55066 54333 344 325 0 54002 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 220264
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.80 3/175 25977
/proc/meminfo: memFree=28169208/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=220264 CPUtime=25.47 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 62939 0 0 0 2530 17 0 0 20 0 1 0 334187447 225550336 54333 33554432000 134512640 135840783 4287613664 4287579004 13464624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 55066 54333 344 325 0 54002 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 220264
[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.81 3/175 25977
/proc/meminfo: memFree=28169424/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=220264 CPUtime=51.05 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 62955 0 0 0 5080 25 0 0 20 0 1 0 334187447 225550336 54333 33554432000 134512640 135840783 4287613664 4287579004 13464624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 55066 54333 344 325 0 54002 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 220264
[startup+102.307 s]
/proc/loadavg: 2.04 2.00 1.82 3/175 25977
/proc/meminfo: memFree=28167592/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=220264 CPUtime=102.23 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 62982 0 0 0 10175 48 0 0 20 0 1 0 334187447 225550336 54338 33554432000 134512640 135840783 4287613664 4287579004 13464624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 55066 54338 344 325 0 54002 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 220264
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 1.83 3/175 25978
/proc/meminfo: memFree=28167972/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=220264 CPUtime=162.21 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 63007 0 0 0 16149 72 0 0 20 0 1 0 334187447 225550336 54338 33554432000 134512640 135840783 4287613664 4287579004 13464624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 55066 54338 344 325 0 54002 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 220264
Solver just ended. Dumping a history of the last processes samples
[startup+166.3 s]
/proc/loadavg: 2.04 2.01 1.83 3/175 25978
/proc/meminfo: memFree=28167972/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=220264 CPUtime=166.2 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 63007 0 0 0 16547 73 0 0 20 0 1 0 334187447 225550336 54338 33554432000 134512640 135840783 4287613664 4287579004 13464624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 55066 54338 344 325 0 54002 0
Current children cumulated CPU time (s) 166.2
Current children cumulated vsize (KiB) 220264
[startup+169.5 s]
/proc/loadavg: 2.12 2.03 1.84 3/175 25978
/proc/meminfo: memFree=28167972/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=220264 CPUtime=169.4 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 63007 0 0 0 16866 74 0 0 20 0 1 0 334187447 225550336 54338 33554432000 134512640 135840783 4287613664 4287579004 13464624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 55066 54338 344 325 0 54002 0
Current children cumulated CPU time (s) 169.4
Current children cumulated vsize (KiB) 220264
[startup+171.1 s]
/proc/loadavg: 2.12 2.03 1.84 3/175 25978
/proc/meminfo: memFree=28167972/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=220264 CPUtime=171 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 63008 0 0 0 17026 74 0 0 20 0 1 0 334187447 225550336 54339 33554432000 134512640 135840783 4287613664 4287578964 11872843 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 55066 54339 344 325 0 54002 0
Current children cumulated CPU time (s) 171
Current children cumulated vsize (KiB) 220264
[startup+172.707 s]
/proc/loadavg: 2.12 2.03 1.84 3/175 25978
/proc/meminfo: memFree=28168344/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=169284 CPUtime=172.61 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 63008 0 0 0 17187 74 0 0 20 0 1 0 334187447 173346816 41597 33554432000 134512640 135840783 4287613664 4287576108 14824551 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 42321 41597 344 325 0 41257 0
Current children cumulated CPU time (s) 172.61
Current children cumulated vsize (KiB) 169284
[startup+173.1 s]
/proc/loadavg: 2.12 2.03 1.84 3/175 25978
/proc/meminfo: memFree=28168344/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=209544 CPUtime=173 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 73053 0 0 0 17224 76 0 0 20 0 1 0 334187447 214573056 51642 33554432000 134512640 135840783 4287613664 4287576208 134556004 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 52386 51642 344 325 0 51322 0
Current children cumulated CPU time (s) 173
Current children cumulated vsize (KiB) 209544
[startup+173.3 s]
/proc/loadavg: 2.12 2.03 1.84 3/175 25978
/proc/meminfo: memFree=28168344/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=209544 CPUtime=173.2 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 73054 0 0 0 17244 76 0 0 20 0 1 0 334187447 214573056 51643 33554432000 134512640 135840783 4287613664 4287612868 11853977 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 52386 51643 345 325 0 51322 0
Current children cumulated CPU time (s) 173.2
Current children cumulated vsize (KiB) 209544
[startup+173.4 s]
/proc/loadavg: 2.12 2.03 1.84 3/175 25978
/proc/meminfo: memFree=28168344/32873852 swapFree=7624/7624
[pid=25976] ppid=25974 vsize=209544 CPUtime=173.3 cores=1,3,5,7
/proc/25976/stat : 25976 (bsolo3.0.17) R 25974 25976 25229 0 -1 4202496 73054 0 0 0 17254 76 0 0 20 0 1 0 334187447 214573056 51643 33554432000 134512640 135840783 4287613664 4287612868 11854178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25976/statm: 52386 51643 345 325 0 51322 0
Current children cumulated CPU time (s) 173.3
Current children cumulated vsize (KiB) 209544
Child status: 0
Real time (s): 173.428
CPU time (s): 173.345
CPU user time (s): 172.571
CPU system time (s): 0.773882
CPU usage (%): 99.9519
Max. virtual memory (cumulated for all children) (KiB): 220264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 172.571
system time used= 0.773882
maximum resident set size= 217356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73057
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= 175
runsolver used 0.32495 second user time and 0.731888 second system time
The end
Begin job on node131 at 2012-06-03 01:43:40
IDJOB=3730095
IDBENCH=1384
IDSOLVER=2318
FILE ID=node131/3730095-1338680619
RUNJOBID= node131-1338678620-25249
PBS_JOBID= 14636682
Free space on /tmp= 71364 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_2.opb.PB06.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730095-1338680619/watcher-3730095-1338680619 -o /tmp/evaluation-result-3730095-1338680619/solver-3730095-1338680619 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3730095-1338680619.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 409a20f37901eec51bb3d0d7a35b01e1
RANDOM SEED=326494246
node131.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.805
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 : 5333.61
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.805
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.805
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 : 5331.91
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.805
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.805
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.805
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.805
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.92
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.805
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.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873852 kB
MemFree: 28385256 kB
Buffers: 543952 kB
Cached: 3067124 kB
SwapCached: 2348 kB
Active: 1439812 kB
Inactive: 2188720 kB
Active(anon): 13384 kB
Inactive(anon): 3676 kB
Active(file): 1426428 kB
Inactive(file): 2185044 kB
Unevictable: 7624 kB
Mlocked: 7624 kB
SwapTotal: 67108856 kB
SwapFree: 67099088 kB
Dirty: 40472 kB
Writeback: 0 kB
AnonPages: 33952 kB
Mapped: 15580 kB
Shmem: 0 kB
Slab: 720904 kB
SReclaimable: 163100 kB
SUnreclaim: 557804 kB
KernelStack: 1432 kB
PageTables: 4148 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545780 kB
Committed_AS: 135864 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346360 kB
VmallocChunk: 34341988004 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7872 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71356 MiB
End job on node131 at 2012-06-03 01:46:33