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 (12402 MiB free)
memory of node 1: 16384 MiB (12011 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407624-1569511166/watcher-4407624-1569511166 -o /var/tmp/evaluation-result-4407624-1569511166/solver-4407624-1569511166 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1569505940-32389 --watchdog 2560 xcsp_picat HOME/instance-4407624-1569511166.xml
running on 4 cores: 1,3,5,7
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
solver pid=498, runsolver pid=495
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 2.00 1.99 1.62 3/198 499
/proc/meminfo: memFree=24982228/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2044020 memory=21900 CPUtime=0.1 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 1559 0 0 0 10 0 0 0 20 0 1 0 527374310 2093076480 5475 33554432000 4194304 5870510 140723032980080 140723032977224 140022543452249 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 511005 5475 957 410 0 506478 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2044020 KiB
Current children cumulated memory: 21900 KiB
[startup+0.2098 s]*
/proc/loadavg: 2.00 1.99 1.62 3/198 499
/proc/meminfo: memFree=24982228/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2044136 memory=21900 CPUtime=0.21 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 1605 0 0 0 21 0 0 0 20 0 1 0 527374310 2093195264 5475 33554432000 4194304 5870510 140723032980080 140723032977224 5477374 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 511034 5475 957 410 0 506507 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2044136 KiB
Current children cumulated memory: 21900 KiB
[startup+0.308855 s]*
/proc/loadavg: 2.00 1.99 1.62 3/198 499
/proc/meminfo: memFree=24982228/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2044392 memory=22312 CPUtime=0.31 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 1649 0 0 0 31 0 0 0 20 0 1 0 527374310 2093457408 5578 33554432000 4194304 5870510 140723032980080 140723032977224 5478371 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 511098 5578 957 410 0 506571 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2044392 KiB
Current children cumulated memory: 22312 KiB
[startup+0.700277 s]
/proc/loadavg: 2.00 1.99 1.62 3/198 499
/proc/meminfo: memFree=24981112/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2046844 memory=25420 CPUtime=0.69 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 2461 0 0 0 69 0 0 0 20 0 1 0 527374310 2095968256 6355 33554432000 4194304 5870510 140723032980080 140723032979320 140022543453157 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 511711 6355 957 410 0 507184 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2046844 KiB
Current children cumulated memory: 25420 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 1.99 1.62 3/198 499
/proc/meminfo: memFree=24977788/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2047004 memory=28928 CPUtime=1.49 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 3855 0 0 0 149 0 0 0 20 0 1 0 527374310 2096132096 7232 33554432000 4194304 5870510 140723032980080 140723032978152 140022543453157 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 511751 7232 989 410 0 507224 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2047004 KiB
Current children cumulated memory: 28928 KiB
[startup+3.10953 s]
/proc/loadavg: 1.84 1.95 1.62 3/198 499
/proc/meminfo: memFree=24970852/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2052604 memory=34212 CPUtime=3.1 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 6973 0 0 0 309 1 0 0 20 0 1 0 527374310 2101866496 8553 33554432000 4194304 5870510 140723032980080 140723032978440 5281739 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 513151 8553 989 410 0 508624 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2052604 KiB
Current children cumulated memory: 34212 KiB
[startup+6.30028 s]
/proc/loadavg: 1.84 1.95 1.62 3/198 499
/proc/meminfo: memFree=24952508/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2071904 memory=51488 CPUtime=6.29 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 8796 0 0 0 628 1 0 0 20 0 1 0 527374310 2121629696 12872 33554432000 4194304 5870510 140723032980080 140723032978520 5278116 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 517976 12872 989 410 0 513449 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2071904 KiB
Current children cumulated memory: 51488 KiB
[startup+12.7003 s]
/proc/loadavg: 1.87 1.96 1.62 3/198 499
/proc/meminfo: memFree=24961120/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2066032 memory=45820 CPUtime=12.69 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 16247 0 0 0 1267 2 0 0 20 0 1 0 527374310 2115616768 11455 33554432000 4194304 5870510 140723032980080 140723032978648 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 516508 11455 989 410 0 511981 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2066032 KiB
Current children cumulated memory: 45820 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 1.96 1.62 3/198 499
/proc/meminfo: memFree=24958932/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2062824 memory=44608 CPUtime=25.49 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 22674 0 0 0 2545 4 0 0 20 0 1 0 527374310 2112331776 11152 33554432000 4194304 5870510 140723032980080 140723032978520 5282736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 515706 11152 996 410 0 511179 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2062824 KiB
Current children cumulated memory: 44608 KiB
[startup+51.1095 s]
/proc/loadavg: 1.93 1.96 1.63 3/198 502
/proc/meminfo: memFree=24946572/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2074924 memory=56588 CPUtime=51.11 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 34776 0 0 0 5104 7 0 0 20 0 1 0 527374310 2124722176 14147 33554432000 4194304 5870510 140723032980080 140723032978648 5308341 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 518731 14147 996 410 0 514204 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2074924 KiB
Current children cumulated memory: 56588 KiB
[startup+82.6812 s]
# the end of solver process 498 was just reported to runsolver
# cumulated CPU time of all completed processes: user=82.6085 s, system=0.082009 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 1.93 1.96 1.63 3/198 502
/proc/meminfo: memFree=24946572/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2074924 memory=56588 CPUtime=51.2 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 34776 0 0 0 5113 7 0 0 20 0 1 0 527374310 2124722176 14147 33554432000 4194304 5870510 140723032980080 140723032978648 5282464 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 518731 14147 996 410 0 514204 0
Current children cumulated CPU time: 51.2 s
Current children cumulated vsize: 2074924 KiB
Current children cumulated memory: 56588 KiB
[startup+64.0004 s]*
/proc/loadavg: 1.94 1.96 1.64 3/198 503
/proc/meminfo: memFree=24929588/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2098020 memory=73400 CPUtime=64 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 40852 0 0 0 6393 7 0 0 20 0 1 0 527374310 2148372480 18350 33554432000 4194304 5870510 140723032980080 140723032978520 5272443 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 524505 18350 996 410 0 519978 0
Current children cumulated CPU time: 64 s
Current children cumulated vsize: 2098020 KiB
Current children cumulated memory: 73400 KiB
[startup+70.4004 s]
/proc/loadavg: 1.95 1.96 1.64 3/198 503
/proc/meminfo: memFree=24929760/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2098020 memory=73400 CPUtime=70.39 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 41006 0 0 0 7032 7 0 0 20 0 1 0 527374310 2148372480 18350 33554432000 4194304 5870510 140723032980080 140723032978520 5262763 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 524505 18350 996 410 0 519978 0
Current children cumulated CPU time: 70.39 s
Current children cumulated vsize: 2098020 KiB
Current children cumulated memory: 73400 KiB
[startup+76.8004 s]
/proc/loadavg: 1.95 1.96 1.64 3/199 506
/proc/meminfo: memFree=24921588/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2099592 memory=80888 CPUtime=76.8 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 41377 0 0 0 7673 7 0 0 20 0 1 0 527374310 2149982208 20222 33554432000 4194304 5870510 140723032980080 140723032978648 5283090 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 524898 20222 996 410 0 520371 0
Current children cumulated CPU time: 76.8 s
Current children cumulated vsize: 2099592 KiB
Current children cumulated memory: 80888 KiB
[startup+80.0004 s]*
/proc/loadavg: 1.95 1.96 1.64 3/199 506
/proc/meminfo: memFree=24921604/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2099592 memory=80940 CPUtime=80 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 41580 0 0 0 7993 7 0 0 20 0 1 0 527374310 2149982208 20235 33554432000 4194304 5870510 140723032980080 140723032978648 5272202 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 524898 20235 996 410 0 520371 0
Current children cumulated CPU time: 80 s
Current children cumulated vsize: 2099592 KiB
Current children cumulated memory: 80940 KiB
[startup+81.6004 s]
/proc/loadavg: 1.95 1.96 1.64 3/199 506
/proc/meminfo: memFree=24921728/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2099592 memory=80940 CPUtime=81.6 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 41581 0 0 0 8153 7 0 0 20 0 1 0 527374310 2149982208 20235 33554432000 4194304 5870510 140723032980080 140723032978648 5283064 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 524898 20235 996 410 0 520371 0
Current children cumulated CPU time: 81.6 s
Current children cumulated vsize: 2099592 KiB
Current children cumulated memory: 80940 KiB
[startup+82.4004 s]
/proc/loadavg: 1.96 1.96 1.65 3/199 506
/proc/meminfo: memFree=24921916/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2099592 memory=80940 CPUtime=82.4 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 41618 0 0 0 8233 7 0 0 20 0 1 0 527374310 2149982208 20235 33554432000 4194304 5870510 140723032980080 140723032978648 5308205 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 524898 20235 996 410 0 520371 0
Current children cumulated CPU time: 82.4 s
Current children cumulated vsize: 2099592 KiB
Current children cumulated memory: 80940 KiB
[startup+82.6004 s]
/proc/loadavg: 1.96 1.96 1.65 3/199 506
/proc/meminfo: memFree=24921916/32770624 swapFree=66957812/67108860
[pid=498] ppid=495 vsize=2099592 memory=80940 CPUtime=82.6 cores=1,3,5,7
/proc/498/stat : 498 (xcsp_picat) R 495 498 32357 0 -1 4202496 41618 0 0 0 8253 7 0 0 20 0 1 0 527374310 2149982208 20235 33554432000 4194304 5870510 140723032980080 140723032978648 5282755 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24596480 140723032986631 140723032986713 140723032986713 140723032989638 0
/proc/498/statm: 524898 20235 996 410 0 520371 0
Current children cumulated CPU time: 82.6 s
Current children cumulated vsize: 2099592 KiB
Current children cumulated memory: 80940 KiB
Child status: 0
Real time (s): 82.6813
CPU time (s): 82.6905
CPU user time (s): 82.6085
CPU system time (s): 0.082009
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 2099592
Max. memory (cumulated for all children) (KiB): 80940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.6085
system time used= 0.082009
maximum resident set size= 80980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41729
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= 80
# summary of solver processes directly reported to runsolver:
# pid: 498
# total CPU time (s): 82.6905
# total CPU user time (s): 82.6085
# total CPU system time (s): 0.082009
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.353884 second user time and 0.62802 second system time
The end
Begin job on node105 at 2019-09-26 16:17:44
IDJOB=4407624
IDBENCH=126793
IDSOLVER=2873
FILE ID=node105/4407624-1569511166
RUNJOBID= node105-1569505940-32389
PBS_JOBID= 21705800
Free space on /var/tmp= 13172 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-10-30-1.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407624-1569511166/watcher-4407624-1569511166 -o /var/tmp/evaluation-result-4407624-1569511166/solver-4407624-1569511166 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1569505940-32389 --watchdog 2560 xcsp_picat HOME/instance-4407624-1569511166.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 4c43adae21bac384dbb29a10e46c8da1
RANDOM SEED=1961754025
node105.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 : 5333.00
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 : 5333.00
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 : 5333.00
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 : 5333.00
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: 24999948 kB
MemAvailable: 30703528 kB
Buffers: 162488 kB
Cached: 5687556 kB
SwapCached: 48112 kB
Active: 3946836 kB
Inactive: 3034224 kB
Active(anon): 1098776 kB
Inactive(anon): 103288 kB
Active(file): 2848060 kB
Inactive(file): 2930936 kB
Unevictable: 110920 kB
Mlocked: 110920 kB
SwapTotal: 67108860 kB
SwapFree: 66957812 kB
Dirty: 3184 kB
Writeback: 0 kB
AnonPages: 1236332 kB
Mapped: 23880 kB
Shmem: 62560 kB
Slab: 381860 kB
SReclaimable: 353044 kB
SUnreclaim: 28816 kB
KernelStack: 3744 kB
PageTables: 7648 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 3811480 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 811008 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /var/tmp at the end= 13168 MiB
End job on node105 at 2019-09-26 16:19:07