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 (15367 MiB free)
memory of node 1: 16384 MiB (15526 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395342-1568331609/watcher-4395342-1568331609 -o /tmp/evaluation-result-4395342-1568331609/solver-4395342-1568331609 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16007 --watchdog 2580 xcsp_picat HOME/instance-4395342-1568331609.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=18637, runsolver pid=18634
Current StackSize limit: 8192 KiB
[startup+0.100386 s]*
/proc/loadavg: 2.00 2.00 2.04 3/199 18638
/proc/meminfo: memFree=31617912/32770624 swapFree=66993804/67108860
[pid=18637] ppid=18634 vsize=2044036 memory=22040 CPUtime=0.09 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 1590 0 0 0 9 0 0 0 20 0 1 0 409412356 2093092864 5510 33554432000 4194304 5870510 140737140649280 140737140639768 5476925 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 511009 5510 956 410 0 506482 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2044036 KiB
Current children cumulated memory: 22040 KiB
[startup+0.209612 s]*
/proc/loadavg: 2.00 2.00 2.04 5/199 18638
/proc/meminfo: memFree=31617512/32770624 swapFree=66993804/67108860
[pid=18637] ppid=18634 vsize=2044144 memory=22108 CPUtime=0.2 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 1610 0 0 0 20 0 0 0 20 0 1 0 409412356 2093203456 5527 33554432000 4194304 5870510 140737140649280 140737140639768 5477019 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 511036 5527 956 410 0 506509 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2044144 KiB
Current children cumulated memory: 22108 KiB
[startup+0.309091 s]*
/proc/loadavg: 2.00 2.00 2.04 3/199 18638
/proc/meminfo: memFree=31617256/32770624 swapFree=66993804/67108860
[pid=18637] ppid=18634 vsize=2043976 memory=22056 CPUtime=0.3 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 1612 0 0 0 30 0 0 0 20 0 1 0 409412356 2093031424 5514 33554432000 4194304 5870510 140737140649280 140737140639768 5477241 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 510994 5514 956 410 0 506467 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2043976 KiB
Current children cumulated memory: 22056 KiB
[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18638
/proc/meminfo: memFree=31617256/32770624 swapFree=66993804/67108860
[pid=18637] ppid=18634 vsize=2044160 memory=22212 CPUtime=0.68 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 1664 0 0 0 68 0 0 0 20 0 1 0 409412356 2093219840 5553 33554432000 4194304 5870510 140737140649280 140737140648040 5562052 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 511040 5553 956 410 0 506513 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2044160 KiB
Current children cumulated memory: 22212 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18638
/proc/meminfo: memFree=31617256/32770624 swapFree=66993804/67108860
[pid=18637] ppid=18634 vsize=2044248 memory=22380 CPUtime=1.48 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 1727 0 0 0 148 0 0 0 20 0 1 0 409412356 2093309952 5595 33554432000 4194304 5870510 140737140649280 140737140647976 5562032 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 511062 5595 956 410 0 506535 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2044248 KiB
Current children cumulated memory: 22380 KiB
[startup+3.10893 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18638
/proc/meminfo: memFree=31617012/32770624 swapFree=66993804/67108860
[pid=18637] ppid=18634 vsize=2044616 memory=22676 CPUtime=3.09 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 2122 0 0 0 309 0 0 0 20 0 1 0 409412356 2093686784 5669 33554432000 4194304 5870510 140737140649280 140737140647976 5575118 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 511154 5669 956 410 0 506627 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2044616 KiB
Current children cumulated memory: 22676 KiB
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18638
/proc/meminfo: memFree=31608392/32770624 swapFree=66993804/67108860
[pid=18637] ppid=18634 vsize=2049004 memory=31372 CPUtime=6.29 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 5253 0 0 0 628 1 0 0 20 0 1 0 409412356 2098180096 7843 33554432000 4194304 5870510 140737140649280 140737140647720 5277212 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 512251 7843 989 410 0 507724 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2049004 KiB
Current children cumulated memory: 31372 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18638
/proc/meminfo: memFree=31607192/32770624 swapFree=66993804/67108860
[pid=18637] ppid=18634 vsize=2048896 memory=31408 CPUtime=12.68 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 9281 0 0 0 1266 2 0 0 20 0 1 0 409412356 2098069504 7852 33554432000 4194304 5870510 140737140649280 140737140648280 5476990 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 512224 7852 989 410 0 507697 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2048896 KiB
Current children cumulated memory: 31408 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18640
/proc/meminfo: memFree=31616204/32770624 swapFree=66993804/67108860
[pid=18637] ppid=18634 vsize=2045344 memory=23536 CPUtime=25.48 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 16575 0 0 0 2545 3 0 0 20 0 1 0 409412356 2094432256 5884 33554432000 4194304 5870510 140737140649280 140737140648376 140227408301959 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 511336 5884 989 410 0 506809 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2045344 KiB
Current children cumulated memory: 23536 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18648
/proc/meminfo: memFree=31590844/32770624 swapFree=66993812/67108860
[pid=18637] ppid=18634 vsize=2065544 memory=47880 CPUtime=51.09 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 24057 0 0 0 5104 5 0 0 20 0 1 0 409412356 2115117056 11970 33554432000 4194304 5870510 140737140649280 140737140647848 5282578 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 516386 11970 989 410 0 511859 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2065544 KiB
Current children cumulated memory: 47880 KiB
[startup+69.5358 s]
# the end of solver process 18637 was just reported to runsolver
# cumulated CPU time of all completed processes: user=69.4547 s, system=0.071995 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18648
/proc/meminfo: memFree=31590844/32770624 swapFree=66993812/67108860
[pid=18637] ppid=18634 vsize=2065544 memory=47880 CPUtime=51.18 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 24057 0 0 0 5113 5 0 0 20 0 1 0 409412356 2115117056 11970 33554432000 4194304 5870510 140737140649280 140737140647848 5274828 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 516386 11970 989 410 0 511859 0
Current children cumulated CPU time: 51.18 s
Current children cumulated vsize: 2065544 KiB
Current children cumulated memory: 47880 KiB
[startup+57.6002 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18648
/proc/meminfo: memFree=31590844/32770624 swapFree=66993812/67108860
[pid=18637] ppid=18634 vsize=2047588 memory=30068 CPUtime=57.58 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 28264 0 0 0 5753 5 0 0 20 0 1 0 409412356 2096730112 7517 33554432000 4194304 5870510 140737140649280 140737140647720 5477031 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 511897 7517 989 410 0 507370 0
Current children cumulated CPU time: 57.58 s
Current children cumulated vsize: 2047588 KiB
Current children cumulated memory: 30068 KiB
[startup+64.0002 s]*
/proc/loadavg: 2.00 2.00 2.04 3/199 18649
/proc/meminfo: memFree=31603808/32770624 swapFree=66993812/67108860
[pid=18637] ppid=18634 vsize=2054004 memory=35116 CPUtime=63.99 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 29204 0 0 0 6393 6 0 0 20 0 1 0 409412356 2103300096 8779 33554432000 4194304 5870510 140737140649280 140737140647720 5298780 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 513501 8779 989 410 0 508974 0
Current children cumulated CPU time: 63.99 s
Current children cumulated vsize: 2054004 KiB
Current children cumulated memory: 35116 KiB
[startup+67.2002 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18651
/proc/meminfo: memFree=31586976/32770624 swapFree=66993812/67108860
[pid=18637] ppid=18634 vsize=2072724 memory=50244 CPUtime=67.18 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 30487 0 0 0 6712 6 0 0 20 0 1 0 409412356 2122469376 12561 33554432000 4194304 5870510 140737140649280 140737140647848 5282345 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 518181 12561 989 410 0 513654 0
Current children cumulated CPU time: 67.18 s
Current children cumulated vsize: 2072724 KiB
Current children cumulated memory: 50244 KiB
[startup+68.8002 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18651
/proc/meminfo: memFree=31585180/32770624 swapFree=66993812/67108860
[pid=18637] ppid=18634 vsize=2077144 memory=55088 CPUtime=68.78 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 30649 0 0 0 6872 6 0 0 20 0 1 0 409412356 2126995456 13772 33554432000 4194304 5870510 140737140649280 140737140647848 5282574 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 519286 13772 989 410 0 514759 0
Current children cumulated CPU time: 68.78 s
Current children cumulated vsize: 2077144 KiB
Current children cumulated memory: 55088 KiB
[startup+69.2002 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18651
/proc/meminfo: memFree=31582076/32770624 swapFree=66993812/67108860
[pid=18637] ppid=18634 vsize=2077144 memory=56404 CPUtime=69.18 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 31007 0 0 0 6912 6 0 0 20 0 1 0 409412356 2126995456 14101 33554432000 4194304 5870510 140737140649280 140737140647848 5281947 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 519286 14101 989 410 0 514759 0
Current children cumulated CPU time: 69.18 s
Current children cumulated vsize: 2077144 KiB
Current children cumulated memory: 56404 KiB
[startup+69.4002 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18651
/proc/meminfo: memFree=31582076/32770624 swapFree=66993812/67108860
[pid=18637] ppid=18634 vsize=2077144 memory=56896 CPUtime=69.38 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 31101 0 0 0 6932 6 0 0 20 0 1 0 409412356 2126995456 14224 33554432000 4194304 5870510 140737140649280 140737140647848 5282778 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 519286 14224 989 410 0 514759 0
Current children cumulated CPU time: 69.38 s
Current children cumulated vsize: 2077144 KiB
Current children cumulated memory: 56896 KiB
[startup+69.5003 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18651
/proc/meminfo: memFree=31582076/32770624 swapFree=66993812/67108860
[pid=18637] ppid=18634 vsize=2077144 memory=56896 CPUtime=69.48 cores=0,2,4,6
/proc/18637/stat : 18637 (xcsp_picat) R 18634 18637 15976 0 -1 4202496 31101 0 0 0 6942 6 0 0 20 0 1 0 409412356 2126995456 14224 33554432000 4194304 5870510 140737140649280 140737140647848 140227407852400 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21803008 140737140651039 140737140651117 140737140651117 140737140654026 0
/proc/18637/statm: 519286 14224 989 410 0 514759 0
Current children cumulated CPU time: 69.48 s
Current children cumulated vsize: 2077144 KiB
Current children cumulated memory: 56896 KiB
Child status: 0
Real time (s): 69.5358
CPU time (s): 69.5267
CPU user time (s): 69.4547
CPU system time (s): 0.071995
CPU usage (%): 99.9868
Max. virtual memory (cumulated for all children) (KiB): 2077144
Max. memory (cumulated for all children) (KiB): 56896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.4547
system time used= 0.071995
maximum resident set size= 57040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31174
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= 102
# summary of solver processes directly reported to runsolver:
# pid: 18637
# total CPU time (s): 69.5267
# total CPU user time (s): 69.4547
# total CPU system time (s): 0.071995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.288311 second user time and 0.487146 second system time
The end
Begin job on node102 at 2019-09-13 01:39:24
IDJOB=4395342
IDBENCH=126794
IDSOLVER=2844
FILE ID=node102/4395342-1568331609
RUNJOBID= node102-1568323474-16007
PBS_JOBID= 21701144
Free space on /tmp= 56904 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-pb-30-15-1.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395342-1568331609/watcher-4395342-1568331609 -o /tmp/evaluation-result-4395342-1568331609/solver-4395342-1568331609 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16007 --watchdog 2580 xcsp_picat HOME/instance-4395342-1568331609.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 1892dc6bbe7f4411da75bff22067cf15
RANDOM SEED=592530849
node102.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.13
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.54
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.13
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.54
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.13
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.54
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.13
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.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31636016 kB
MemAvailable: 31810280 kB
Buffers: 122528 kB
Cached: 341536 kB
SwapCached: 10972 kB
Active: 324700 kB
Inactive: 265796 kB
Active(anon): 122360 kB
Inactive(anon): 33404 kB
Active(file): 202340 kB
Inactive(file): 232392 kB
Unevictable: 110464 kB
Mlocked: 110464 kB
SwapTotal: 67108860 kB
SwapFree: 66993804 kB
Dirty: 3184 kB
Writeback: 0 kB
AnonPages: 308156 kB
Mapped: 34884 kB
Shmem: 20840 kB
Slab: 139144 kB
SReclaimable: 110732 kB
SUnreclaim: 28412 kB
KernelStack: 3760 kB
PageTables: 6004 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2637276 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 118144 kB
DirectMap2M: 33427456 kB
Free space on /tmp at the end= 56900 MiB
End job on node102 at 2019-09-13 01:40:34