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-3732584-1338704809/watcher-3732584-1338704809 -o /tmp/evaluation-result-3732584-1338704809/solver-3732584-1338704809 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3732584-1338704809.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: 1.99 1.98 1.99 3/176 8639
/proc/meminfo: memFree=26707056/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 336605297 11186176 269 33554432000 134512640 137136520 4293140192 4293136492 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 2731 270 188 641 0 2087 0
[startup+0.0359561 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 8639
/proc/meminfo: memFree=26707056/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=12732 CPUtime=0.02 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 666 0 0 0 2 0 0 0 20 0 1 0 336605297 13037568 598 33554432000 134512640 137136520 4293140192 4293138224 135337216 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3183 598 285 641 0 2539 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12732
[startup+0.100213 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 8639
/proc/meminfo: memFree=26707056/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=12896 CPUtime=0.09 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 871 0 0 0 9 0 0 0 20 0 1 0 336605297 13205504 669 33554432000 134512640 137136520 4293140192 4293138040 135464015 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3224 669 285 641 0 2580 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12896
[startup+0.300182 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 8639
/proc/meminfo: memFree=26707056/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=12384 CPUtime=0.28 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 2149 0 0 0 28 0 0 0 20 0 1 0 336605297 12681216 500 33554432000 134512640 137136520 4293140192 4293137776 135378664 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3096 500 291 641 0 2452 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12384
[startup+0.700177 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 8639
/proc/meminfo: memFree=26707056/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=12944 CPUtime=0.69 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 5313 0 0 0 68 1 0 0 20 0 1 0 336605297 13254656 601 33554432000 134512640 137136520 4293140192 4293138040 135464202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3236 601 291 641 0 2592 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12944
[startup+1.50018 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8640
/proc/meminfo: memFree=26706188/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=13044 CPUtime=1.48 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 12635 0 0 0 147 1 0 0 20 0 1 0 336605297 13357056 593 33554432000 134512640 137136520 4293140192 4293138032 135455322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3261 593 292 641 0 2617 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13044
[startup+3.10018 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8640
/proc/meminfo: memFree=26705460/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=13072 CPUtime=3.09 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 26287 0 0 0 305 4 0 0 20 0 1 0 336605297 13385728 552 33554432000 134512640 137136520 4293140192 4293138032 135455552 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3268 552 292 641 0 2624 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13072
[startup+6.30018 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8640
/proc/meminfo: memFree=26704716/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=13264 CPUtime=6.29 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 58142 0 0 0 620 9 0 0 20 0 1 0 336605297 13582336 607 33554432000 134512640 137136520 4293140192 4293138128 135467968 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3316 607 292 641 0 2672 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13264
[startup+12.7002 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8640
/proc/meminfo: memFree=26704732/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=13544 CPUtime=12.68 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 118492 0 0 0 1251 17 0 0 20 0 1 0 336605297 13869056 624 33554432000 134512640 137136520 4293140192 4293138268 136698750 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3386 624 292 641 0 2742 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13544
[startup+25.5002 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8641
/proc/meminfo: memFree=26699672/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=13732 CPUtime=25.48 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 228033 0 0 0 2514 34 0 0 20 0 1 0 336605297 14061568 734 33554432000 134512640 137136520 4293140192 4293138032 135455040 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3433 734 292 641 0 2789 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13732
[startup+51.1002 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8641
/proc/meminfo: memFree=26698736/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=13892 CPUtime=51.07 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 434664 0 0 0 5040 67 0 0 20 0 1 0 336605297 14225408 733 33554432000 134512640 137136520 4293140192 4293138032 135455576 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3473 733 292 641 0 2829 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13892
Solver just ended. Dumping a history of the last processes samples
[startup+57.5002 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8641
/proc/meminfo: memFree=26697868/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=14152 CPUtime=57.47 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 488478 0 0 0 5671 76 0 0 20 0 1 0 336605297 14491648 833 33554432000 134512640 137136520 4293140192 4293138040 135464202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3538 833 292 641 0 2894 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 14152
[startup+59.1002 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8641
/proc/meminfo: memFree=26697868/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=14088 CPUtime=59.07 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 503072 0 0 0 5829 78 0 0 20 0 1 0 336605297 14426112 765 33554432000 134512640 137136520 4293140192 4293137984 135079066 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3522 765 292 641 0 2878 0
Current children cumulated CPU time (s) 59.07
Current children cumulated vsize (KiB) 14088
[startup+59.9002 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8641
/proc/meminfo: memFree=26697496/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=13944 CPUtime=59.87 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 514631 0 0 0 5908 79 0 0 20 0 1 0 336605297 14278656 762 33554432000 134512640 137136520 4293140192 4293137984 135078647 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3486 762 292 641 0 2842 0
Current children cumulated CPU time (s) 59.87
Current children cumulated vsize (KiB) 13944
[startup+60.3002 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8641
/proc/meminfo: memFree=26697496/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=14108 CPUtime=60.27 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 517353 0 0 0 5947 80 0 0 20 0 1 0 336605297 14446592 767 33554432000 134512640 137136520 4293140192 4293138076 135438854 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3527 767 292 641 0 2883 0
Current children cumulated CPU time (s) 60.27
Current children cumulated vsize (KiB) 14108
[startup+60.5059 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8641
/proc/meminfo: memFree=26696628/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=14044 CPUtime=60.48 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 519180 0 0 0 5968 80 0 0 20 0 1 0 336605297 14381056 782 33554432000 134512640 137136520 4293140192 4293138032 135455330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3511 783 292 641 0 2867 0
Current children cumulated CPU time (s) 60.48
Current children cumulated vsize (KiB) 14044
[startup+60.6002 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8641
/proc/meminfo: memFree=26696628/32873844 swapFree=7628/7628
[pid=8639] ppid=8637 vsize=12608 CPUtime=60.57 cores=0,2,4,6
/proc/8639/stat : 8639 (bsolo) R 8637 8639 8349 0 -1 4202496 519929 0 0 0 5977 80 0 0 20 0 1 0 336605297 12910592 691 33554432000 134512640 137136520 4293140192 4293138088 136504572 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8639/statm: 3309 699 292 641 0 2665 0
Current children cumulated CPU time (s) 60.57
Current children cumulated vsize (KiB) 12608
Child status: 0
Real time (s): 60.6324
CPU time (s): 60.6128
CPU user time (s): 59.8039
CPU system time (s): 0.808877
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 14408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.8039
system time used= 0.808877
maximum resident set size= 3980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 520339
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= 2
involuntary context switches= 145
runsolver used 0.095985 second user time and 0.240963 second system time
The end
Begin job on node145 at 2012-06-03 08:26:49
IDJOB=3732584
IDBENCH=2129
IDSOLVER=2320
FILE ID=node145/3732584-1338704809
RUNJOBID= node145-1338702833-8365
PBS_JOBID= 14636715
Free space on /tmp= 70920 MiB
SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh217.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732584-1338704809/watcher-3732584-1338704809 -o /tmp/evaluation-result-3732584-1338704809/solver-3732584-1338704809 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3732584-1338704809.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 5f8256f2423d7410846942dcc96981a5
RANDOM SEED=715257428
node145.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 : 2667.149
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 : 5334.29
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 : 2667.149
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 : 2667.149
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 : 5313.38
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 : 2667.149
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 : 2667.149
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 : 2667.149
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 : 2667.149
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 : 2667.149
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.89
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873844 kB
MemFree: 26707452 kB
Buffers: 434100 kB
Cached: 4814192 kB
SwapCached: 0 kB
Active: 1704576 kB
Inactive: 3605204 kB
Active(anon): 52696 kB
Inactive(anon): 10916 kB
Active(file): 1651880 kB
Inactive(file): 3594288 kB
Unevictable: 7628 kB
Mlocked: 7628 kB
SwapTotal: 67108856 kB
SwapFree: 67108856 kB
Dirty: 3960 kB
Writeback: 0 kB
AnonPages: 70476 kB
Mapped: 14864 kB
Shmem: 200 kB
Slab: 716980 kB
SReclaimable: 158324 kB
SUnreclaim: 558656 kB
KernelStack: 1448 kB
PageTables: 3812 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545776 kB
Committed_AS: 184444 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346368 kB
VmallocChunk: 34341987984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 47104 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7872 kB
DirectMap2M: 33538048 kB
CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3732584-1338704809.opb
Free space on /tmp at the end= 70920 MiB
End job on node145 at 2012-06-03 08:27:50