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 (9782 MiB free)
memory of node 1: 16384 MiB (11581 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394979-1568334743/watcher-4394979-1568334743 -o /tmp/evaluation-result-4394979-1568334743/solver-4394979-1568334743 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568322359-24210 --watchdog 2580 xcsp_picat HOME/instance-4394979-1568334743.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=27824, runsolver pid=27821
Current StackSize limit: 8192 KiB
[startup+0.100202 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27825
/proc/meminfo: memFree=21857476/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=2031716 memory=24236 CPUtime=0.1 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 1638 0 0 0 10 0 0 0 20 0 1 0 409412761 2080477184 6059 33554432000 4194304 5870510 140732749462144 140732749459288 4429003 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 507929 6059 833 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 24236 KiB
[startup+0.210061 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27825
/proc/meminfo: memFree=21845188/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=2031716 memory=36524 CPUtime=0.21 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 1644 0 0 0 21 0 0 0 20 0 1 0 409412761 2080477184 9131 33554432000 4194304 5870510 140732749462144 140732749459288 4694999 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 507929 9131 833 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 36524 KiB
[startup+0.309927 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27825
/proc/meminfo: memFree=21834948/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=2031716 memory=46764 CPUtime=0.31 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 1649 0 0 0 31 0 0 0 20 0 1 0 409412761 2080477184 11691 33554432000 4194304 5870510 140732749462144 140732749459288 4814620 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 507929 11691 833 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 46764 KiB
[startup+0.700426 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27825
/proc/meminfo: memFree=21812420/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=2031716 memory=87724 CPUtime=0.69 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 1669 0 0 0 68 1 0 0 20 0 1 0 409412761 2080477184 21931 33554432000 4194304 5870510 140732749462144 140732749461448 4459079 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 507929 21931 833 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 87724 KiB
[startup+1.50043 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27827
/proc/meminfo: memFree=21758680/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=2031716 memory=173844 CPUtime=1.49 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 1711 0 0 0 147 2 0 0 20 0 1 0 409412761 2080477184 43461 33554432000 4194304 5870510 140732749462144 140732749461448 4491073 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 507929 43461 841 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 173844 KiB
[startup+3.10989 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27827
/proc/meminfo: memFree=21543368/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=2031716 memory=345876 CPUtime=3.1 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 1856 0 0 0 306 4 0 0 20 0 1 0 409412761 2080477184 86469 33554432000 4194304 5870510 140732749462144 140732749461448 4550002 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 507929 86469 841 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 345876 KiB
[startup+6.30042 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27827
/proc/meminfo: memFree=21219180/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=2031716 memory=687980 CPUtime=6.29 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 2359 0 0 0 620 9 0 0 20 0 1 0 409412761 2080477184 171995 33554432000 4194304 5870510 140732749462144 140732749461512 4467367 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 507929 171995 860 410 0 503402 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 687980 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27827
/proc/meminfo: memFree=20131976/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=2031716 memory=1830776 CPUtime=12.69 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 3213 0 0 0 1246 23 0 0 20 0 1 0 409412761 2080477184 457694 33554432000 4194304 5870510 140732749462144 140732749461512 4513193 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 507929 457694 863 410 0 503402 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 1830776 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27827
/proc/meminfo: memFree=19005436/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=3681452 memory=2925096 CPUtime=25.49 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 59081 0 0 0 2507 42 0 0 20 0 1 0 409412761 3769806848 731274 33554432000 4194304 5870510 140732749462144 140732749461032 140161568193509 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 920363 731274 880 410 0 915836 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 3681452 KiB
Current children cumulated memory: 2925096 KiB
[startup+45.3827 s]
# the end of solver process 27824 was just reported to runsolver
# cumulated CPU time of all completed processes: user=44.8463 s, system=0.536003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27827
/proc/meminfo: memFree=19005436/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=3687392 memory=2936044 CPUtime=25.59 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 60776 0 0 0 2517 42 0 0 20 0 1 0 409412761 3775889408 734011 33554432000 4194304 5870510 140732749462144 140732749461032 140161568193509 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 921848 734011 880 410 0 917321 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 3687392 KiB
Current children cumulated memory: 2936044 KiB
[startup+38.4004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27828
/proc/meminfo: memFree=18755684/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=3886304 memory=3118216 CPUtime=38.39 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 86024 0 0 0 3792 47 0 0 20 0 1 0 409412761 3979575296 779554 33554432000 4194304 5870510 140732749462144 140732749460648 5347105 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 971576 779554 936 410 0 967049 0
Current children cumulated CPU time: 38.39 s
Current children cumulated vsize: 3886304 KiB
Current children cumulated memory: 3118216 KiB
[startup+41.6004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27828
/proc/meminfo: memFree=18755684/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=3886304 memory=3118216 CPUtime=41.59 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 86024 0 0 0 4112 47 0 0 20 0 1 0 409412761 3979575296 779554 33554432000 4194304 5870510 140732749462144 140732749460648 5343792 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 971576 779554 936 410 0 967049 0
Current children cumulated CPU time: 41.59 s
Current children cumulated vsize: 3886304 KiB
Current children cumulated memory: 3118216 KiB
[startup+43.2004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27828
/proc/meminfo: memFree=18755684/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=3871720 memory=3104272 CPUtime=43.19 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 86024 0 0 0 4272 47 0 0 20 0 1 0 409412761 3964641280 776068 33554432000 4194304 5870510 140732749462144 140732749460648 140161568184338 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 967930 776068 942 410 0 963403 0
Current children cumulated CPU time: 43.19 s
Current children cumulated vsize: 3871720 KiB
Current children cumulated memory: 3104272 KiB
[startup+44.0004 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27828
/proc/meminfo: memFree=18827404/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=3832372 memory=3045596 CPUtime=44 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 87235 0 0 0 4350 50 0 0 20 0 1 0 409412761 3924348928 761399 33554432000 4194304 5870510 140732749462144 140732749460648 5281852 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 958093 761399 943 410 0 953566 0
Current children cumulated CPU time: 44 s
Current children cumulated vsize: 3832372 KiB
Current children cumulated memory: 3045596 KiB
[startup+44.8004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27828
/proc/meminfo: memFree=18827404/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=3832372 memory=3045596 CPUtime=44.79 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 87235 0 0 0 4429 50 0 0 20 0 1 0 409412761 3924348928 761399 33554432000 4194304 5870510 140732749462144 140732749461400 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 958093 761399 943 410 0 953566 0
Current children cumulated CPU time: 44.79 s
Current children cumulated vsize: 3832372 KiB
Current children cumulated memory: 3045596 KiB
[startup+45.2004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27828
/proc/meminfo: memFree=18827404/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=3832372 memory=3053732 CPUtime=45.19 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 87871 0 0 0 4469 50 0 0 20 0 1 0 409412761 3924348928 763433 33554432000 4194304 5870510 140732749462144 140732749461400 5392280 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 958093 763433 964 410 0 953566 0
Current children cumulated CPU time: 45.19 s
Current children cumulated vsize: 3832372 KiB
Current children cumulated memory: 3053732 KiB
[startup+45.3004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27828
/proc/meminfo: memFree=18827404/32770624 swapFree=66999200/67108860
[pid=27824] ppid=27821 vsize=3832372 memory=3059876 CPUtime=45.29 cores=0,2,4,6
/proc/27824/stat : 27824 (xcsp_picat) R 27821 27824 24179 0 -1 4202496 87949 0 0 0 4479 50 0 0 20 0 1 0 409412761 3924348928 764969 33554432000 4194304 5870510 140732749462144 140732749461400 4479291 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29884416 140732749464607 140732749464685 140732749464685 140732749467594 0
/proc/27824/statm: 958093 764969 964 410 0 953566 0
Current children cumulated CPU time: 45.29 s
Current children cumulated vsize: 3832372 KiB
Current children cumulated memory: 3059876 KiB
Child status: 0
Real time (s): 45.3828
CPU time (s): 45.3823
CPU user time (s): 44.8463
CPU system time (s): 0.536003
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 4043988
Max. memory (cumulated for all children) (KiB): 3195204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.8463
system time used= 0.536003
maximum resident set size= 3215684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88218
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= 37
# summary of solver processes directly reported to runsolver:
# pid: 27824
# total CPU time (s): 45.3823
# total CPU user time (s): 44.8463
# total CPU system time (s): 0.536003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.215106 second user time and 0.370127 second system time
The end
Begin job on node140 at 2019-09-13 02:31:43
IDJOB=4394979
IDBENCH=130848
IDSOLVER=2844
FILE ID=node140/4394979-1568334743
RUNJOBID= node140-1568322359-24210
PBS_JOBID= 21701141
Free space on /tmp= 56864 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-m4D/Subisomorphism-si6-m4Dr4-m1296-04.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394979-1568334743/watcher-4394979-1568334743 -o /tmp/evaluation-result-4394979-1568334743/solver-4394979-1568334743 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568322359-24210 --watchdog 2580 xcsp_picat HOME/instance-4394979-1568334743.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= bed822053ada34bca9e942ef4238d644
RANDOM SEED=1805717237
node140.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.43
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.43
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.43
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.43
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: 21875604 kB
MemAvailable: 31752912 kB
Buffers: 151984 kB
Cached: 9900428 kB
SwapCached: 2820 kB
Active: 1674548 kB
Inactive: 8491872 kB
Active(anon): 110880 kB
Inactive(anon): 43924 kB
Active(file): 1563668 kB
Inactive(file): 8447948 kB
Unevictable: 107728 kB
Mlocked: 107728 kB
SwapTotal: 67108860 kB
SwapFree: 66999200 kB
Dirty: 3116 kB
Writeback: 0 kB
AnonPages: 297644 kB
Mapped: 45780 kB
Shmem: 32176 kB
Slab: 323884 kB
SReclaimable: 294152 kB
SUnreclaim: 29732 kB
KernelStack: 3568 kB
PageTables: 5828 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2632544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 56860 MiB
End job on node140 at 2019-09-13 02:32:28