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-3712025-1338185757/watcher-3712025-1338185757 -o /tmp/evaluation-result-3712025-1338185757/solver-3712025-1338185757 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712025-1338185757.wbo
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 2.00 2.00 2/176 32479
/proc/meminfo: memFree=31007864/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 793 0 0 0 0 0 0 0 20 0 1 0 284700079 6356992 713 33554432000 4194304 8973514 140735177544480 140735856475848 7646516 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/32479/statm: 1552 713 423 1167 0 333 0
[startup+0.075967 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 32479
/proc/meminfo: memFree=31007864/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=10304 CPUtime=0.07 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 1869 0 0 0 7 0 0 0 20 0 1 0 284700079 10551296 1789 33554432000 4194304 8973514 140735177544480 140735856475848 4507959 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/32479/statm: 2576 1789 436 1167 0 1357 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10304
[startup+0.100264 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 32479
/proc/meminfo: memFree=31007864/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=10304 CPUtime=0.09 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 1874 0 0 0 9 0 0 0 20 0 1 0 284700079 10551296 1794 33554432000 4194304 8973514 140735177544480 140735856475848 5372798 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/32479/statm: 2576 1794 441 1167 0 1357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10304
[startup+0.300182 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 32479
/proc/meminfo: memFree=31007864/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=11328 CPUtime=0.29 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 1932 0 0 0 29 0 0 0 20 0 1 0 284700079 11599872 1852 33554432000 4194304 8973514 140735177544480 140735856475848 5389352 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/32479/statm: 2832 1852 441 1167 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11328
[startup+0.700238 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 32479
/proc/meminfo: memFree=31007864/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=14400 CPUtime=0.69 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 2926 0 0 0 69 0 0 0 20 0 1 0 284700079 14745600 2846 33554432000 4194304 8973514 140735177544480 140735177543976 4208870 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/32479/statm: 3600 2846 469 1167 0 2381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14400
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32480
/proc/meminfo: memFree=30998036/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=14400 CPUtime=1.49 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 2926 0 0 0 148 1 0 0 20 0 1 0 284700079 14745600 2846 33554432000 4194304 8973514 140735177544480 140735177543976 7732815 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/32479/statm: 3600 2846 469 1167 0 2381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14400
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32480
/proc/meminfo: memFree=30997292/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=15424 CPUtime=3.09 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 3182 0 0 0 308 1 0 0 20 0 1 0 284700079 15794176 3102 33554432000 4194304 8973514 140735177544480 140735177543976 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/32479/statm: 3856 3102 469 1167 0 2637 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15424
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32480
/proc/meminfo: memFree=30996316/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=15424 CPUtime=6.29 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 3182 0 0 0 626 3 0 0 20 0 1 0 284700079 15794176 3102 33554432000 4194304 8973514 140735177544480 140735177543976 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/32479/statm: 3856 3102 469 1167 0 2637 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15424
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32480
/proc/meminfo: memFree=30994836/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=17472 CPUtime=12.69 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 3462 0 0 0 1263 6 0 0 20 0 1 0 284700079 17891328 3383 33554432000 4194304 8973514 140735177544480 140735177527576 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/32479/statm: 4368 3383 469 1167 0 3149 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17472
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32480
/proc/meminfo: memFree=30986092/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=25664 CPUtime=25.48 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 5747 0 0 0 2538 10 0 0 20 0 1 0 284700079 26279936 5668 33554432000 4194304 8973514 140735177544480 140735177543976 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/32479/statm: 6416 5668 470 1167 0 5197 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25664
[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 32480
/proc/meminfo: memFree=30985100/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=26688 CPUtime=51.07 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 6003 0 0 0 5089 18 0 0 20 0 1 0 284700079 27328512 5924 33554432000 4194304 8973514 140735177544480 140735177543976 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/32479/statm: 6672 5924 470 1167 0 5453 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26688
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32480
/proc/meminfo: memFree=30967292/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=37952 CPUtime=102.27 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 8821 0 0 0 10186 41 0 0 20 0 1 0 284700079 38862848 8740 33554432000 4194304 8973514 140735177544480 140735177543976 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/32479/statm: 9488 8740 470 1167 0 8269 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37952
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32480
/proc/meminfo: memFree=30949736/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=44096 CPUtime=127.85 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 10360 0 0 0 12732 53 0 0 20 0 1 0 284700079 45154304 10276 33554432000 4194304 8973514 140735177544480 140735177543976 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/32479/statm: 11024 10276 470 1167 0 9805 0
Current children cumulated CPU time (s) 127.85
Current children cumulated vsize (KiB) 44096
[startup+140.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32480
/proc/meminfo: memFree=30947124/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=45120 CPUtime=140.66 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 10616 0 0 0 14008 58 0 0 20 0 1 0 284700079 46202880 10532 33554432000 4194304 8973514 140735177544480 140735177543976 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/32479/statm: 11280 10532 470 1167 0 10061 0
Current children cumulated CPU time (s) 140.66
Current children cumulated vsize (KiB) 45120
[startup+147.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32480
/proc/meminfo: memFree=30945068/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=47168 CPUtime=147.06 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 11128 0 0 0 14644 62 0 0 20 0 1 0 284700079 48300032 11044 33554432000 4194304 8973514 140735177544480 140735177543976 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/32479/statm: 11792 11044 470 1167 0 10573 0
Current children cumulated CPU time (s) 147.06
Current children cumulated vsize (KiB) 47168
[startup+153.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 32480
/proc/meminfo: memFree=30943704/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=47168 CPUtime=153.45 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 11128 0 0 0 15280 65 0 0 20 0 1 0 284700079 48300032 11044 33554432000 4194304 8973514 140735177544480 140735177543976 7654010 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/32479/statm: 11792 11044 470 1167 0 10573 0
Current children cumulated CPU time (s) 153.45
Current children cumulated vsize (KiB) 47168
[startup+155.106 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 32480
/proc/meminfo: memFree=30943704/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=47168 CPUtime=155.06 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 11128 0 0 0 15440 66 0 0 20 0 1 0 284700079 48300032 11044 33554432000 4194304 8973514 140735177544480 140735177543744 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/32479/statm: 11792 11044 470 1167 0 10573 0
Current children cumulated CPU time (s) 155.06
Current children cumulated vsize (KiB) 47168
[startup+155.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 32480
/proc/meminfo: memFree=30943704/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=48192 CPUtime=155.85 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 11384 0 0 0 15519 66 0 0 20 0 1 0 284700079 49348608 11300 33554432000 4194304 8973514 140735177544480 140735177543976 4481712 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/32479/statm: 12048 11300 470 1167 0 10829 0
Current children cumulated CPU time (s) 155.85
Current children cumulated vsize (KiB) 48192
[startup+156.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 32480
/proc/meminfo: memFree=30942464/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=48192 CPUtime=156.25 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 11384 0 0 0 15559 66 0 0 20 0 1 0 284700079 49348608 11300 33554432000 4194304 8973514 140735177544480 140735177543976 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/32479/statm: 12048 11300 470 1167 0 10829 0
Current children cumulated CPU time (s) 156.25
Current children cumulated vsize (KiB) 48192
[startup+156.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 32480
/proc/meminfo: memFree=30942464/32873844 swapFree=7620/7620
[pid=32479] ppid=32477 vsize=48192 CPUtime=156.66 cores=0,2,4,6
/proc/32479/stat : 32479 (toysat) R 32477 32479 29738 0 -1 4202496 11384 0 0 0 15599 67 0 0 20 0 1 0 284700079 49348608 11300 33554432000 4194304 8973514 140735177544480 140735177543976 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/32479/statm: 12048 11300 470 1167 0 10829 0
Current children cumulated CPU time (s) 156.66
Current children cumulated vsize (KiB) 48192
Child status: 0
Real time (s): 156.794
CPU time (s): 156.756
CPU user time (s): 156.082
CPU system time (s): 0.673897
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 48192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.082
system time used= 0.673897
maximum resident set size= 45216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11388
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= 12
involuntary context switches= 275
runsolver used 0.311952 second user time and 1.43278 second system time
The end
Begin job on node143 at 2012-05-28 08:15:57
IDJOB=3712025
IDBENCH=78961
IDSOLVER=2291
FILE ID=node143/3712025-1338185757
RUNJOBID= node143-1338160335-29754
PBS_JOBID= 14624561
Free space on /tmp= 71656 MiB
SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712025-1338185757/watcher-3712025-1338185757 -o /tmp/evaluation-result-3712025-1338185757/solver-3712025-1338185757 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712025-1338185757.wbo
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= a6a99f7cb7296aed3ef8f4a1cd1ac483
RANDOM SEED=638673055
node143.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.787
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.57
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.787
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.787
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.787
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.787
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.90
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.787
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 : 5298.57
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.787
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.787
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: 32873844 kB
MemFree: 31007484 kB
Buffers: 383912 kB
Cached: 596264 kB
SwapCached: 0 kB
Active: 650576 kB
Inactive: 379176 kB
Active(anon): 40320 kB
Inactive(anon): 11300 kB
Active(file): 610256 kB
Inactive(file): 367876 kB
Unevictable: 7620 kB
Mlocked: 7620 kB
SwapTotal: 67108856 kB
SwapFree: 67108856 kB
Dirty: 7452 kB
Writeback: 8 kB
AnonPages: 56076 kB
Mapped: 16108 kB
Shmem: 200 kB
Slab: 696984 kB
SReclaimable: 139320 kB
SUnreclaim: 557664 kB
KernelStack: 1488 kB
PageTables: 4140 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545776 kB
Committed_AS: 163944 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346368 kB
VmallocChunk: 34341987984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32768 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= 71648 MiB
End job on node143 at 2012-05-28 08:18:34