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 (15293 MiB free)
memory of node 1: 16384 MiB (10282 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395079-1568339878/watcher-4395079-1568339878 -o /tmp/evaluation-result-4395079-1568339878/solver-4395079-1568339878 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568318150-27186 --watchdog 2580 xcsp_picat HOME/instance-4395079-1568339878.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
Current StackSize limit: 8192 KiB
solver pid=31686, runsolver pid=31683
[startup+0.100111 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 31687
/proc/meminfo: memFree=26084404/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2031716 memory=23768 CPUtime=0.1 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 2068 0 0 0 10 0 0 0 20 0 1 0 410243870 2080477184 5942 33554432000 4194304 5870510 140722754969776 140722754969080 140472815606784 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 507929 5942 848 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 23768 KiB
[startup+0.209968 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 31687
/proc/meminfo: memFree=25975788/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2039612 memory=34008 CPUtime=0.21 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 3065 0 0 0 19 2 0 0 20 0 1 0 410243870 2088562688 8502 33554432000 4194304 5870510 140722754969776 140722754969080 140472815628167 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 509903 8502 898 410 0 505376 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039612 KiB
Current children cumulated memory: 34008 KiB
[startup+0.309675 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 31687
/proc/meminfo: memFree=25886732/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2036508 memory=34400 CPUtime=0.31 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 3428 0 0 0 27 4 0 0 20 0 1 0 410243870 2085384192 8600 33554432000 4194304 5870510 140722754969776 140722754969080 5298726 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 509127 8600 908 410 0 504600 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036508 KiB
Current children cumulated memory: 34400 KiB
[startup+0.700247 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31687
/proc/meminfo: memFree=25712280/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2038172 memory=35960 CPUtime=0.69 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 3819 0 0 0 65 4 0 0 20 0 1 0 410243870 2087088128 8990 33554432000 4194304 5870510 140722754969776 140722754969080 5282251 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 509543 8990 934 410 0 505016 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2038172 KiB
Current children cumulated memory: 35960 KiB
[startup+1.50026 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31687
/proc/meminfo: memFree=25278852/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2043360 memory=39836 CPUtime=1.49 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 4803 0 0 0 145 4 0 0 20 0 1 0 410243870 2092400640 9959 33554432000 4194304 5870510 140722754969776 140722754968072 5283064 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 510840 9959 934 410 0 506313 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2043360 KiB
Current children cumulated memory: 39836 KiB
[startup+3.10987 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31687
/proc/meminfo: memFree=23701220/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2056148 memory=49672 CPUtime=3.1 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 8935 0 0 0 305 5 0 0 20 0 1 0 410243870 2105495552 12418 33554432000 4194304 5870510 140722754969776 140722754968728 5282759 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 514037 12418 935 410 0 509510 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2056148 KiB
Current children cumulated memory: 49672 KiB
[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31687
/proc/meminfo: memFree=25401744/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2068796 memory=63324 CPUtime=6.28 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 13248 0 0 0 623 5 0 0 20 0 1 0 410243870 2118447104 15831 33554432000 4194304 5870510 140722754969776 140722754968136 5282759 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 517199 15831 935 410 0 512672 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2068796 KiB
Current children cumulated memory: 63324 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31687
/proc/meminfo: memFree=24650312/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2070284 memory=67572 CPUtime=12.69 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 17540 0 0 0 1262 7 0 0 20 0 1 0 410243870 2119970816 16893 33554432000 4194304 5870510 140722754969776 140722754968728 5282738 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 517571 16893 935 410 0 513044 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2070284 KiB
Current children cumulated memory: 67572 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31688
/proc/meminfo: memFree=27050536/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2119604 memory=113200 CPUtime=25.48 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 21433 0 0 0 2539 9 0 0 20 0 1 0 410243870 2170474496 28300 33554432000 4194304 5870510 140722754969776 140722754968792 5282736 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 529901 28300 935 410 0 525374 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2119604 KiB
Current children cumulated memory: 113200 KiB
[startup+51.1099 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31690
/proc/meminfo: memFree=23523928/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2119388 memory=117740 CPUtime=51.09 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 40037 0 0 0 5097 12 0 0 20 0 1 0 410243870 2170253312 29435 33554432000 4194304 5870510 140722754969776 140722754968344 5282738 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 529847 29435 935 410 0 525320 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2119388 KiB
Current children cumulated memory: 117740 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31695
/proc/meminfo: memFree=24958540/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2119388 memory=117740 CPUtime=102.27 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 45197 0 0 0 10213 14 0 0 20 0 1 0 410243870 2170253312 29435 33554432000 4194304 5870510 140722754969776 140722754968216 5282721 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 529847 29435 935 410 0 525320 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2119388 KiB
Current children cumulated memory: 117740 KiB
[startup+121.428 s]
# the end of solver process 31686 was just reported to runsolver
# cumulated CPU time of all completed processes: user=121.233 s, system=0.170967 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31695
/proc/meminfo: memFree=24958540/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2119388 memory=117740 CPUtime=102.37 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 45197 0 0 0 10223 14 0 0 20 0 1 0 410243870 2170253312 29435 33554432000 4194304 5870510 140722754969776 140722754968216 5282736 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 529847 29435 935 410 0 525320 0
Current children cumulated CPU time: 102.37 s
Current children cumulated vsize: 2119388 KiB
Current children cumulated memory: 117740 KiB
[startup+115.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31695
/proc/meminfo: memFree=23402164/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2119388 memory=117740 CPUtime=115.17 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 46135 0 0 0 11502 15 0 0 20 0 1 0 410243870 2170253312 29435 33554432000 4194304 5870510 140722754969776 140722754968216 5282747 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 529847 29435 935 410 0 525320 0
Current children cumulated CPU time: 115.17 s
Current children cumulated vsize: 2119388 KiB
Current children cumulated memory: 117740 KiB
[startup+118.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31695
/proc/meminfo: memFree=25062312/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2119388 memory=117740 CPUtime=118.37 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 46526 0 0 0 11821 16 0 0 20 0 1 0 410243870 2170253312 29435 33554432000 4194304 5870510 140722754969776 140722754968792 5282736 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 529847 29435 935 410 0 525320 0
Current children cumulated CPU time: 118.37 s
Current children cumulated vsize: 2119388 KiB
Current children cumulated memory: 117740 KiB
[startup+120 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 31696
/proc/meminfo: memFree=23393196/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2119388 memory=117740 CPUtime=119.98 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 46526 0 0 0 11982 16 0 0 20 0 1 0 410243870 2170253312 29435 33554432000 4194304 5870510 140722754969776 140722754968792 5262655 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 529847 29435 935 410 0 525320 0
Current children cumulated CPU time: 119.98 s
Current children cumulated vsize: 2119388 KiB
Current children cumulated memory: 117740 KiB
[startup+120.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31696
/proc/meminfo: memFree=23393196/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2168708 memory=149772 CPUtime=120.76 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 46911 0 0 0 12060 16 0 0 20 0 1 0 410243870 2220756992 37443 33554432000 4194304 5870510 140722754969776 140722754968792 5262751 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 542177 37443 935 410 0 537650 0
Current children cumulated CPU time: 120.76 s
Current children cumulated vsize: 2168708 KiB
Current children cumulated memory: 149772 KiB
[startup+121.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31697
/proc/meminfo: memFree=27059412/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2168708 memory=151820 CPUtime=121.16 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 46912 0 0 0 12100 16 0 0 20 0 1 0 410243870 2220756992 37955 33554432000 4194304 5870510 140722754969776 140722754968792 5262594 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 542177 37955 935 410 0 537650 0
Current children cumulated CPU time: 121.16 s
Current children cumulated vsize: 2168708 KiB
Current children cumulated memory: 151820 KiB
[startup+121.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31697
/proc/meminfo: memFree=27059412/32770624 swapFree=66921188/67108860
[pid=31686] ppid=31683 vsize=2168708 memory=151820 CPUtime=121.36 cores=0,2,4,6
/proc/31686/stat : 31686 (xcsp_picat) R 31683 31686 27155 0 -1 4202496 46913 0 0 0 12120 16 0 0 20 0 1 0 410243870 2220756992 37955 33554432000 4194304 5870510 140722754969776 140722754968216 5262756 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 25464832 140722754978847 140722754978925 140722754978925 140722754981834 0
/proc/31686/statm: 542177 37955 935 410 0 537650 0
Current children cumulated CPU time: 121.36 s
Current children cumulated vsize: 2168708 KiB
Current children cumulated memory: 151820 KiB
Child status: 0
Real time (s): 121.428
CPU time (s): 121.404
CPU user time (s): 121.233
CPU system time (s): 0.170967
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 2168708
Max. memory (cumulated for all children) (KiB): 155908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 121.233
system time used= 0.170967
maximum resident set size= 170240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47140
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= 122
# summary of solver processes directly reported to runsolver:
# pid: 31686
# total CPU time (s): 121.404
# total CPU user time (s): 121.233
# total CPU system time (s): 0.170967
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.512948 second user time and 0.920677 second system time
The end
Begin job on node107 at 2019-09-13 02:56:02
IDJOB=4395079
IDBENCH=135026
IDSOLVER=2844
FILE ID=node107/4395079-1568339878
RUNJOBID= node107-1568318150-27186
PBS_JOBID= 21701137
Free space on /tmp= 55660 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K097.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395079-1568339878/watcher-4395079-1568339878 -o /tmp/evaluation-result-4395079-1568339878/solver-4395079-1568339878 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568318150-27186 --watchdog 2580 xcsp_picat HOME/instance-4395079-1568339878.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= c736c64a10dc2dd55507b217b8552514
RANDOM SEED=552233873
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: 26206908 kB
MemAvailable: 26606820 kB
Buffers: 127356 kB
Cached: 541680 kB
SwapCached: 80168 kB
Active: 5617268 kB
Inactive: 349528 kB
Active(anon): 5226848 kB
Inactive(anon): 100396 kB
Active(file): 390420 kB
Inactive(file): 249132 kB
Unevictable: 110040 kB
Mlocked: 110040 kB
SwapTotal: 67108860 kB
SwapFree: 66921188 kB
Dirty: 3500 kB
Writeback: 0 kB
AnonPages: 5373964 kB
Mapped: 34396 kB
Shmem: 20928 kB
Slab: 181012 kB
SReclaimable: 152392 kB
SUnreclaim: 28620 kB
KernelStack: 3536 kB
PageTables: 15424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 8549984 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5320704 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 /tmp at the end= 55656 MiB
End job on node107 at 2019-09-13 02:58:04