runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14552 MiB free)
memory of node 1: 16384 MiB (13088 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407868-1569514122/watcher-4407868-1569514122 -o /var/tmp/evaluation-result-4407868-1569514122/solver-4407868-1569514122 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569505917-18174 --watchdog 2560 xcsp_picat HOME/instance-4407868-1569514122.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19095, runsolver pid=19092
[startup+0.100135 s]*
/proc/loadavg: 2.00 2.01 2.02 3/198 19096
/proc/meminfo: memFree=28290628/32770624 swapFree=66954412/67108860
[pid=19095] ppid=19092 vsize=2044144 memory=19480 CPUtime=0.1 cores=0,2,4,6
/proc/19095/stat : 19095 (xcsp_picat) R 19092 19095 18143 0 -1 4202496 1962 0 0 0 10 0 0 0 20 0 1 0 527667383 2093203456 4870 33554432000 4194304 5870510 140725296957536 140725296956840 5562048 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41472000 140725296960519 140725296960601 140725296960601 140725296963526 0
/proc/19095/statm: 511036 4870 956 410 0 506509 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2044144 KiB
Current children cumulated memory: 19480 KiB
[startup+0.209578 s]*
/proc/loadavg: 2.00 2.01 2.02 3/198 19096
/proc/meminfo: memFree=28290628/32770624 swapFree=66954412/67108860
[pid=19095] ppid=19092 vsize=2044120 memory=19488 CPUtime=0.21 cores=0,2,4,6
/proc/19095/stat : 19095 (xcsp_picat) R 19092 19095 18143 0 -1 4202496 1978 0 0 0 21 0 0 0 20 0 1 0 527667383 2093178880 4872 33554432000 4194304 5870510 140725296957536 140725296956840 5477019 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41472000 140725296960519 140725296960601 140725296960601 140725296963526 0
/proc/19095/statm: 511030 4872 956 410 0 506503 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2044120 KiB
Current children cumulated memory: 19488 KiB
[startup+0.308759 s]*
/proc/loadavg: 2.00 2.01 2.02 3/198 19096
/proc/meminfo: memFree=28290628/32770624 swapFree=66954412/67108860
[pid=19095] ppid=19092 vsize=2044088 memory=19540 CPUtime=0.31 cores=0,2,4,6
/proc/19095/stat : 19095 (xcsp_picat) R 19092 19095 18143 0 -1 4202496 1980 0 0 0 31 0 0 0 20 0 1 0 527667383 2093146112 4885 33554432000 4194304 5870510 140725296957536 140725296956840 5405696 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41472000 140725296960519 140725296960601 140725296960601 140725296963526 0
/proc/19095/statm: 511022 4885 956 410 0 506495 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2044088 KiB
Current children cumulated memory: 19540 KiB
[startup+0.70025 s]
/proc/loadavg: 2.00 2.01 2.02 3/198 19096
/proc/meminfo: memFree=28290364/32770624 swapFree=66954412/67108860
[pid=19095] ppid=19092 vsize=2044148 memory=19480 CPUtime=0.69 cores=0,2,4,6
/proc/19095/stat : 19095 (xcsp_picat) R 19092 19095 18143 0 -1 4202496 2015 0 0 0 69 0 0 0 20 0 1 0 527667383 2093207552 4870 33554432000 4194304 5870510 140725296957536 140725296956840 5562032 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41472000 140725296960519 140725296960601 140725296960601 140725296963526 0
/proc/19095/statm: 511037 4870 956 410 0 506510 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2044148 KiB
Current children cumulated memory: 19480 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.02 3/198 19096
/proc/meminfo: memFree=28287540/32770624 swapFree=66954412/67108860
[pid=19095] ppid=19092 vsize=2044340 memory=19768 CPUtime=1.49 cores=0,2,4,6
/proc/19095/stat : 19095 (xcsp_picat) R 19092 19095 18143 0 -1 4202496 2088 0 0 0 149 0 0 0 20 0 1 0 527667383 2093404160 4942 33554432000 4194304 5870510 140725296957536 140725296956632 5562056 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41472000 140725296960519 140725296960601 140725296960601 140725296963526 0
/proc/19095/statm: 511085 4942 956 410 0 506558 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2044340 KiB
Current children cumulated memory: 19768 KiB
[startup+3.1089 s]
/proc/loadavg: 2.00 2.01 2.02 3/198 19096
/proc/meminfo: memFree=28277736/32770624 swapFree=66954412/67108860
[pid=19095] ppid=19092 vsize=2044328 memory=21536 CPUtime=3.1 cores=0,2,4,6
/proc/19095/stat : 19095 (xcsp_picat) R 19092 19095 18143 0 -1 4202496 2871 0 0 0 309 1 0 0 20 0 1 0 527667383 2093391872 5384 33554432000 4194304 5870510 140725296957536 140725296955864 5477352 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41472000 140725296960519 140725296960601 140725296960601 140725296963526 0
/proc/19095/statm: 511082 5384 982 410 0 506555 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2044328 KiB
Current children cumulated memory: 21536 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.02 3/198 19096
/proc/meminfo: memFree=28266832/32770624 swapFree=66954412/67108860
[pid=19095] ppid=19092 vsize=2045556 memory=25012 CPUtime=6.29 cores=0,2,4,6
/proc/19095/stat : 19095 (xcsp_picat) R 19092 19095 18143 0 -1 4202496 4105 0 0 0 627 2 0 0 20 0 1 0 527667383 2094649344 6253 33554432000 4194304 5870510 140725296957536 140725296956712 5282295 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41472000 140725296960519 140725296960601 140725296960601 140725296963526 0
/proc/19095/statm: 511389 6253 987 410 0 506862 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2045556 KiB
Current children cumulated memory: 25012 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.02 3/198 19096
/proc/meminfo: memFree=28232720/32770624 swapFree=66954412/67108860
[pid=19095] ppid=19092 vsize=2057772 memory=36280 CPUtime=12.69 cores=0,2,4,6
/proc/19095/stat : 19095 (xcsp_picat) R 19092 19095 18143 0 -1 4202496 7488 0 0 0 1267 2 0 0 20 0 1 0 527667383 2107158528 9070 33554432000 4194304 5870510 140725296957536 140725296956104 5282738 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41472000 140725296960519 140725296960601 140725296960601 140725296963526 0
/proc/19095/statm: 514443 9070 988 410 0 509916 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2057772 KiB
Current children cumulated memory: 36280 KiB
[startup+20.1135 s]
# the end of solver process 19095 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20.0725 s, system=0.03599 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 2.00 2.01 2.02 3/198 19096
/proc/meminfo: memFree=28232720/32770624 swapFree=66954412/67108860
[pid=19095] ppid=19092 vsize=2045004 memory=24928 CPUtime=12.79 cores=0,2,4,6
/proc/19095/stat : 19095 (xcsp_picat) R 19092 19095 18143 0 -1 4202496 7763 0 0 0 1277 2 0 0 20 0 1 0 527667383 2094084096 6232 33554432000 4194304 5870510 140725296957536 140725296956104 5562032 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41472000 140725296960519 140725296960601 140725296960601 140725296963526 0
/proc/19095/statm: 511251 6232 988 410 0 506724 0
Current children cumulated CPU time: 12.79 s
Current children cumulated vsize: 2045004 KiB
Current children cumulated memory: 24928 KiB
[startup+16.0002 s]*
/proc/loadavg: 2.00 2.01 2.02 3/198 19096
/proc/meminfo: memFree=28284104/32770624 swapFree=66954412/67108860
[pid=19095] ppid=19092 vsize=2047860 memory=27680 CPUtime=15.99 cores=0,2,4,6
/proc/19095/stat : 19095 (xcsp_picat) R 19092 19095 18143 0 -1 4202496 8153 0 0 0 1597 2 0 0 20 0 1 0 527667383 2097008640 6920 33554432000 4194304 5870510 140725296957536 140725296956248 5282606 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41472000 140725296960519 140725296960601 140725296960601 140725296963526 0
/proc/19095/statm: 511965 6920 988 410 0 507438 0
Current children cumulated CPU time: 15.99 s
Current children cumulated vsize: 2047860 KiB
Current children cumulated memory: 27680 KiB
[startup+17.6003 s]
/proc/loadavg: 2.00 2.01 2.02 3/198 19096
/proc/meminfo: memFree=28277960/32770624 swapFree=66954412/67108860
[pid=19095] ppid=19092 vsize=2056604 memory=35620 CPUtime=17.59 cores=0,2,4,6
/proc/19095/stat : 19095 (xcsp_picat) R 19092 19095 18143 0 -1 4202496 9692 0 0 0 1756 3 0 0 20 0 1 0 527667383 2105962496 8905 33554432000 4194304 5870510 140725296957536 140725296955976 139917956926289 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41472000 140725296960519 140725296960601 140725296960601 140725296963526 0
/proc/19095/statm: 514151 8905 988 410 0 509624 0
Current children cumulated CPU time: 17.59 s
Current children cumulated vsize: 2056604 KiB
Current children cumulated memory: 35620 KiB
[startup+19.2002 s]
/proc/loadavg: 2.00 2.01 2.02 3/198 19096
/proc/meminfo: memFree=28263108/32770624 swapFree=66954412/67108860
[pid=19095] ppid=19092 vsize=2056604 memory=36132 CPUtime=19.19 cores=0,2,4,6
/proc/19095/stat : 19095 (xcsp_picat) R 19092 19095 18143 0 -1 4202496 9835 0 0 0 1916 3 0 0 20 0 1 0 527667383 2105962496 9033 33554432000 4194304 5870510 140725296957536 140725296956104 5283106 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41472000 140725296960519 140725296960601 140725296960601 140725296963526 0
/proc/19095/statm: 514151 9033 988 410 0 509624 0
Current children cumulated CPU time: 19.19 s
Current children cumulated vsize: 2056604 KiB
Current children cumulated memory: 36132 KiB
[startup+19.6002 s]
/proc/loadavg: 2.00 2.01 2.02 3/198 19096
/proc/meminfo: memFree=28263108/32770624 swapFree=66954412/67108860
[pid=19095] ppid=19092 vsize=2061024 memory=40740 CPUtime=19.59 cores=0,2,4,6
/proc/19095/stat : 19095 (xcsp_picat) R 19092 19095 18143 0 -1 4202496 10446 0 0 0 1956 3 0 0 20 0 1 0 527667383 2110488576 10185 33554432000 4194304 5870510 140725296957536 140725296956104 5282606 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41472000 140725296960519 140725296960601 140725296960601 140725296963526 0
/proc/19095/statm: 515256 10185 988 410 0 510729 0
Current children cumulated CPU time: 19.59 s
Current children cumulated vsize: 2061024 KiB
Current children cumulated memory: 40740 KiB
[startup+20.0002 s]*
/proc/loadavg: 2.00 2.01 2.02 3/198 19096
/proc/meminfo: memFree=28260252/32770624 swapFree=66954412/67108860
[pid=19095] ppid=19092 vsize=2052252 memory=32176 CPUtime=19.99 cores=0,2,4,6
/proc/19095/stat : 19095 (xcsp_picat) R 19092 19095 18143 0 -1 4202496 10446 0 0 0 1996 3 0 0 20 0 1 0 527667383 2101506048 8044 33554432000 4194304 5870510 140725296957536 140725296956152 5282295 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41472000 140725296960519 140725296960601 140725296960601 140725296963526 0
/proc/19095/statm: 513063 8044 988 410 0 508536 0
Current children cumulated CPU time: 19.99 s
Current children cumulated vsize: 2052252 KiB
Current children cumulated memory: 32176 KiB
[startup+20.1094 s]
/proc/loadavg: 2.00 2.01 2.02 3/198 19096
/proc/meminfo: memFree=28260252/32770624 swapFree=66954412/67108860
[pid=19095] ppid=19092 vsize=2052252 memory=32176 CPUtime=20.09 cores=0,2,4,6
/proc/19095/stat : 19095 (xcsp_picat) R 19092 19095 18143 0 -1 4202496 10446 0 0 0 2006 3 0 0 20 0 1 0 527667383 2101506048 8044 33554432000 4194304 5870510 140725296957536 140725296956152 5283024 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41472000 140725296960519 140725296960601 140725296960601 140725296963526 0
/proc/19095/statm: 513063 8044 988 410 0 508536 0
Current children cumulated CPU time: 20.09 s
Current children cumulated vsize: 2052252 KiB
Current children cumulated memory: 32176 KiB
Child status: 0
Real time (s): 20.1135
CPU time (s): 20.1085
CPU user time (s): 20.0725
CPU system time (s): 0.03599
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 2061024
Max. memory (cumulated for all children) (KiB): 40740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.0725
system time used= 0.03599
maximum resident set size= 40740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10627
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= 4
involuntary context switches= 44
# summary of solver processes directly reported to runsolver:
# pid: 19095
# total CPU time (s): 20.1085
# total CPU user time (s): 20.0725
# total CPU system time (s): 0.03599
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.092582 second user time and 0.176356 second system time
The end
Begin job on node107 at 2019-09-26 17:06:37
IDJOB=4407868
IDBENCH=140464
IDSOLVER=2873
FILE ID=node107/4407868-1569514122
RUNJOBID= node107-1569505917-18174
PBS_JOBID= 21705798
Free space on /var/tmp= 12560 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-pb-20-10-1.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407868-1569514122/watcher-4407868-1569514122 -o /var/tmp/evaluation-result-4407868-1569514122/solver-4407868-1569514122 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569505917-18174 --watchdog 2560 xcsp_picat HOME/instance-4407868-1569514122.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= ff1bc4a34c66e5e56c53f1f89f42a15d
RANDOM SEED=556009393
node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.11
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
microcode : 0x19
cpu MHz : 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
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
microcode : 0x19
cpu MHz : 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.11
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
microcode : 0x19
cpu MHz : 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
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
microcode : 0x19
cpu MHz : 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.11
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
microcode : 0x19
cpu MHz : 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
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
microcode : 0x19
cpu MHz : 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.11
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
microcode : 0x19
cpu MHz : 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 28304964 kB
MemAvailable: 31468800 kB
Buffers: 120584 kB
Cached: 3201168 kB
SwapCached: 48076 kB
Active: 2319516 kB
Inactive: 1369076 kB
Active(anon): 333504 kB
Inactive(anon): 103252 kB
Active(file): 1986012 kB
Inactive(file): 1265824 kB
Unevictable: 111000 kB
Mlocked: 111000 kB
SwapTotal: 67108860 kB
SwapFree: 66954412 kB
Dirty: 3316 kB
Writeback: 0 kB
AnonPages: 576760 kB
Mapped: 24216 kB
Shmem: 61168 kB
Slab: 368828 kB
SReclaimable: 340460 kB
SUnreclaim: 28368 kB
KernelStack: 3552 kB
PageTables: 5516 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2862372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 444416 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 101760 kB
DirectMap2M: 33443840 kB
Free space on /var/tmp at the end= 12556 MiB
End job on node107 at 2019-09-26 17:06:57