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-3743917-1338798596/watcher-3743917-1338798596 -o /tmp/evaluation-result-3743917-1338798596/solver-3743917-1338798596 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743917-1338798596.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.49 2.28 2.09 3/175 31058
/proc/meminfo: memFree=24986176/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) D 31056 31058 30817 0 -1 4194304 96 0 0 0 0 0 0 0 20 0 1 0 345985322 2723840 48 33554432000 134512640 135840783 4286785328 4286783364 2540484 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/31058/statm: 665 48 37 325 0 32 0
[startup+0.072056 s]
/proc/loadavg: 2.49 2.28 2.09 3/175 31058
/proc/meminfo: memFree=24986176/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=107244 CPUtime=0.06 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) R 31056 31058 30817 0 -1 4202496 1415 0 0 0 6 0 0 0 20 0 1 0 345985322 109817856 1311 33554432000 134512640 135840783 4286785328 4286784272 134524175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31058/statm: 26811 1312 514 325 0 791 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 107244
[startup+0.100225 s]
/proc/loadavg: 2.49 2.28 2.09 3/175 31058
/proc/meminfo: memFree=24986176/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=107780 CPUtime=0.09 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) R 31056 31058 30817 0 -1 4202496 1596 0 0 0 9 0 0 0 20 0 1 0 345985322 110366720 1492 33554432000 134512640 135840783 4286785328 4286784320 134525263 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31058/statm: 26945 1493 581 325 0 925 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 107780
[startup+0.300209 s]
/proc/loadavg: 2.49 2.28 2.09 3/175 31058
/proc/meminfo: memFree=24986176/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=116988 CPUtime=0.28 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) R 31056 31058 30817 0 -1 4202496 4454 0 0 0 28 0 0 0 20 0 1 0 345985322 119795712 4222 33554432000 134512640 135840783 4286785328 4286784016 3050220 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31058/statm: 29247 4223 1046 325 0 3227 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 116988
[startup+0.700203 s]
/proc/loadavg: 2.49 2.28 2.09 3/175 31058
/proc/meminfo: memFree=24986176/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=134076 CPUtime=0.68 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) R 31056 31058 30817 0 -1 4202496 9981 0 0 0 67 1 0 0 20 0 1 0 345985322 137293824 9495 33554432000 134512640 135840783 4286785328 4286784064 3051395 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31058/statm: 33519 9496 1997 325 0 7499 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 134076
[startup+1.50022 s]
/proc/loadavg: 2.49 2.28 2.09 3/176 31059
/proc/meminfo: memFree=24943000/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=168528 CPUtime=1.48 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) R 31056 31058 30817 0 -1 4202496 20624 0 0 0 145 3 0 0 20 0 1 0 345985322 172572672 19517 33554432000 134512640 135840783 4286785328 4286784016 3052721 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31058/statm: 42132 19517 3760 325 0 16112 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 168528
[startup+3.10022 s]
/proc/loadavg: 2.49 2.28 2.09 3/176 31059
/proc/meminfo: memFree=24899340/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=233284 CPUtime=3.08 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) R 31056 31058 30817 0 -1 4202496 39294 0 0 0 302 6 0 0 20 0 1 0 345985322 238882816 38595 33554432000 134512640 135840783 4286785328 4286784016 3052839 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31058/statm: 58321 38595 7232 325 0 32301 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 233284
[startup+6.30023 s]
/proc/loadavg: 2.53 2.29 2.09 3/176 31061
/proc/meminfo: memFree=24783036/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=328104 CPUtime=6.28 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) R 31056 31058 30817 0 -1 4202496 69353 0 0 0 614 14 0 0 20 0 1 0 345985322 335978496 69418 33554432000 134512640 135840783 4286785328 4286784268 1127472 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31058/statm: 82026 69419 13837 325 0 56006 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 328104
[startup+12.7002 s]
/proc/loadavg: 2.49 2.29 2.09 3/176 31061
/proc/meminfo: memFree=24672792/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=424312 CPUtime=12.68 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) R 31056 31058 30817 0 -1 4202496 104771 0 0 0 1248 20 0 0 20 0 1 0 345985322 434495488 104836 33554432000 134512640 135840783 4286785328 4286784160 3052839 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31058/statm: 106078 104837 25229 325 0 80058 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 424312
[startup+25.5003 s]
/proc/loadavg: 2.38 2.27 2.09 3/176 31061
/proc/meminfo: memFree=24446360/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=558492 CPUtime=25.47 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) R 31056 31058 30817 0 -1 4202496 146350 0 0 0 2518 29 0 0 20 0 1 0 345985322 571895808 135197 33554432000 134512640 135840783 4286785328 4274779644 1127472 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31058/statm: 139623 135197 342 325 0 138559 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 558492
[startup+51.1003 s]
/proc/loadavg: 2.25 2.25 2.09 3/176 31061
/proc/meminfo: memFree=24439052/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=558492 CPUtime=51.07 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) R 31056 31058 30817 0 -1 4202496 146350 0 0 0 5068 39 0 0 20 0 1 0 345985322 571895808 135197 33554432000 134512640 135840783 4286785328 4274779644 1127472 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31058/statm: 139623 135197 342 325 0 138559 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 558492
[startup+102.3 s]
/proc/loadavg: 2.11 2.21 2.08 3/175 31061
/proc/meminfo: memFree=24421128/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=558492 CPUtime=102.26 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) R 31056 31058 30817 0 -1 4202496 146350 0 0 0 10175 51 0 0 20 0 1 0 345985322 571895808 135197 33554432000 134512640 135840783 4286785328 4274779644 1127472 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31058/statm: 139623 135197 342 325 0 138559 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 558492
[startup+162.3 s]
/proc/loadavg: 2.04 2.17 2.08 3/175 31061
/proc/meminfo: memFree=24419792/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=558492 CPUtime=162.25 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) R 31056 31058 30817 0 -1 4202496 146350 0 0 0 16160 65 0 0 20 0 1 0 345985322 571895808 135197 33554432000 134512640 135840783 4286785328 4274779644 1127472 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31058/statm: 139623 135197 342 325 0 138559 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 558492
Solver just ended. Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 2.03 2.16 2.07 3/175 31062
/proc/meminfo: memFree=24419528/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=558492 CPUtime=179.15 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) R 31056 31058 30817 0 -1 4202496 146350 0 0 0 17846 69 0 0 20 0 1 0 345985322 571895808 135197 33554432000 134512640 135840783 4286785328 4274779644 1127472 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31058/statm: 139623 135197 342 325 0 138559 0
Current children cumulated CPU time (s) 179.15
Current children cumulated vsize (KiB) 558492
[startup+192 s]
/proc/loadavg: 2.02 2.15 2.07 3/175 31062
/proc/meminfo: memFree=24260004/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=657496 CPUtime=191.62 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) S 31056 31058 30817 0 -1 4204032 172683 0 0 0 19038 124 0 0 20 0 1 0 345985322 673275904 159965 33554432000 134512640 135840783 4286785328 4273779072 134555343 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/31058/statm: 164374 159965 344 325 0 163310 0
Current children cumulated CPU time (s) 191.62
Current children cumulated vsize (KiB) 657496
[startup+198.4 s]
/proc/loadavg: 2.02 2.15 2.07 2/177 31064
/proc/meminfo: memFree=23041964/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=657496 CPUtime=191.87 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) S 31056 31058 30817 0 -1 4204032 172683 0 0 0 19038 149 0 0 20 0 1 0 345985322 673275904 159965 33554432000 134512640 135840783 4286785328 4273779072 134555343 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/31058/statm: 164374 159965 344 325 0 163310 0
Current children cumulated CPU time (s) 191.87
Current children cumulated vsize (KiB) 657496
[startup+204.8 s]
/proc/loadavg: 2.32 2.21 2.09 3/177 31064
/proc/meminfo: memFree=23041948/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=657496 CPUtime=191.87 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) S 31056 31058 30817 0 -1 4204032 172683 0 0 0 19038 149 0 0 20 0 1 0 345985322 673275904 159965 33554432000 134512640 135840783 4286785328 4273779072 134555343 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/31058/statm: 164374 159965 344 325 0 163310 0
Current children cumulated CPU time (s) 191.87
Current children cumulated vsize (KiB) 657496
[startup+206.4 s]
/proc/loadavg: 2.32 2.21 2.09 2/177 31064
/proc/meminfo: memFree=23041700/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=657496 CPUtime=191.87 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) S 31056 31058 30817 0 -1 4204032 172683 0 0 0 19038 149 0 0 20 0 1 0 345985322 673275904 159965 33554432000 134512640 135840783 4286785328 4273779072 134555343 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/31058/statm: 164374 159965 344 325 0 163310 0
Current children cumulated CPU time (s) 191.87
Current children cumulated vsize (KiB) 657496
[startup+207.2 s]
/proc/loadavg: 2.32 2.21 2.09 2/177 31064
/proc/meminfo: memFree=23041700/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=657496 CPUtime=191.87 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) S 31056 31058 30817 0 -1 4204032 172683 0 0 0 19038 149 0 0 20 0 1 0 345985322 673275904 159965 33554432000 134512640 135840783 4286785328 4273779072 134555343 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/31058/statm: 164374 159965 344 325 0 163310 0
Current children cumulated CPU time (s) 191.87
Current children cumulated vsize (KiB) 657496
[startup+207.6 s]
/proc/loadavg: 2.32 2.21 2.09 2/177 31064
/proc/meminfo: memFree=23041700/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=657496 CPUtime=191.87 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) S 31056 31058 30817 0 -1 4204032 172683 0 0 0 19038 149 0 0 20 0 1 0 345985322 673275904 159965 33554432000 134512640 135840783 4286785328 4273779072 134555343 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/31058/statm: 164374 159965 344 325 0 163310 0
Current children cumulated CPU time (s) 191.87
Current children cumulated vsize (KiB) 657496
[startup+207.8 s]
/proc/loadavg: 2.32 2.21 2.09 2/177 31064
/proc/meminfo: memFree=23041700/32873852 swapFree=6856/6856
[pid=31058] ppid=31056 vsize=657496 CPUtime=191.87 cores=0,2,4,6
/proc/31058/stat : 31058 (bsolo3.0.17) S 31056 31058 30817 0 -1 4204032 172683 0 0 0 19038 149 0 0 20 0 1 0 345985322 673275904 159965 33554432000 134512640 135840783 4286785328 4273779072 134555343 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/31058/statm: 164374 159965 344 325 0 163310 0
Current children cumulated CPU time (s) 191.87
Current children cumulated vsize (KiB) 657496
Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 207.864
CPU time (s): 191.923
CPU user time (s): 190.387
CPU system time (s): 1.53577
CPU usage (%): 92.3308
Max. virtual memory (cumulated for all children) (KiB): 690688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 190.387
system time used= 1.53577
maximum resident set size= 673052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172683
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= 156683
involuntary context switches= 268
runsolver used 0.32595 second user time and 0.815875 second system time
The end
Begin job on node129 at 2012-06-04 10:29:59
IDJOB=3743917
IDBENCH=92648
IDSOLVER=2318
FILE ID=node129/3743917-1338798596
RUNJOBID= node129-1338796573-30833
PBS_JOBID= 14636860
Free space on /tmp= 70284 MiB
SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_4_ic.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743917-1338798596/watcher-3743917-1338798596 -o /tmp/evaluation-result-3743917-1338798596/solver-3743917-1338798596 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743917-1338798596.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 7527e2935777236bd1dfaa057aa70f69
RANDOM SEED=1887227919
node129.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.957
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.91
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.957
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.957
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.957
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.957
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.957
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.92
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.957
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.90
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.957
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.90
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873852 kB
MemFree: 24986052 kB
Buffers: 483936 kB
Cached: 5952492 kB
SwapCached: 0 kB
Active: 3427216 kB
Inactive: 3564000 kB
Active(anon): 546828 kB
Inactive(anon): 10748 kB
Active(file): 2880388 kB
Inactive(file): 3553252 kB
Unevictable: 6856 kB
Mlocked: 6856 kB
SwapTotal: 67108856 kB
SwapFree: 67108856 kB
Dirty: 108036 kB
Writeback: 0 kB
AnonPages: 566168 kB
Mapped: 15696 kB
Shmem: 204 kB
Slab: 754164 kB
SReclaimable: 196048 kB
SUnreclaim: 558116 kB
KernelStack: 1440 kB
PageTables: 5152 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545780 kB
Committed_AS: 687192 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346360 kB
VmallocChunk: 34341988004 kB
HardwareCorrupted: 0 kB
AnonHugePages: 86016 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= 69688 MiB
End job on node129 at 2012-06-04 10:33:27