runsolver version 3.4.2 (svn: 4680) 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: 64059 MiB (59723 MiB free)
memory of node 1: 64510 MiB (61017 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448939-1721356963/watcher-4448939-1721356963 -o /tmp/evaluation-result-4448939-1721356963/solver-4448939-1721356963 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721353376-979958 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4448939-1721356963.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=983145, runsolver pid=983142
[startup+0.100527 s]*
/proc/loadavg: 4.30 4.16 4.11 5/244 983146
/proc/meminfo: memFree=123631004/131655788 swapFree=131071996/131071996
[pid=983145] ppid=983142 vsize=25336 memory=11032 CPUtime=0.09 cores=0,2
/proc/983145/stat : 983145 (CASHWMaxSAT-Dis) R 983142 983145 979948 0 -1 4194304 2134 0 0 0 9 0 0 0 20 0 1 0 187852437 25944064 2758 134679101440 4194304 14817773 140725583905424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42754048 140725583913956 140725583914071 140725583914071 140725583921087 0
/proc/983145/statm: 6334 2758 878 2594 0 3227 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25336 KiB
Current children cumulated memory: 11032 KiB
[startup+0.213138 s]*
/proc/loadavg: 4.30 4.16 4.11 5/244 983146
/proc/meminfo: memFree=123623984/131655788 swapFree=131071996/131071996
[pid=983145] ppid=983142 vsize=32928 memory=18464 CPUtime=0.21 cores=0,2
/proc/983145/stat : 983145 (CASHWMaxSAT-Dis) R 983142 983145 979948 0 -1 4194304 4247 0 0 0 20 1 0 0 20 0 1 0 187852437 33718272 4616 134679101440 4194304 14817773 140725583905424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42754048 140725583913956 140725583914071 140725583914071 140725583921087 0
/proc/983145/statm: 8232 4616 878 2594 0 5125 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32928 KiB
Current children cumulated memory: 18464 KiB
[startup+0.313032 s]*
/proc/loadavg: 4.30 4.16 4.11 5/244 983146
/proc/meminfo: memFree=123614656/131655788 swapFree=131071996/131071996
[pid=983145] ppid=983142 vsize=42708 memory=27712 CPUtime=0.31 cores=0,2
/proc/983145/stat : 983145 (CASHWMaxSAT-Dis) R 983142 983145 979948 0 -1 4194304 6566 0 0 0 29 2 0 0 20 0 1 0 187852437 43732992 6928 134679101440 4194304 14817773 140725583905424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42754048 140725583913956 140725583914071 140725583914071 140725583921087 0
/proc/983145/statm: 10677 6928 878 2594 0 7570 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42708 KiB
Current children cumulated memory: 27712 KiB
[startup+0.70032 s]
/proc/loadavg: 4.30 4.16 4.11 5/244 983148
/proc/meminfo: memFree=123596896/131655788 swapFree=131071996/131071996
[pid=983145] ppid=983142 vsize=71504 memory=53724 CPUtime=0.68 cores=0,2
/proc/983145/stat : 983145 (CASHWMaxSAT-Dis) R 983142 983145 979948 0 -1 4194304 13083 0 0 0 64 4 0 0 20 0 1 0 187852437 73220096 13431 134679101440 4194304 14817773 140725583905424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42754048 140725583913956 140725583914071 140725583914071 140725583921087 0
/proc/983145/statm: 17876 13431 878 2594 0 14769 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 71504 KiB
Current children cumulated memory: 53724 KiB
[startup+1.5003 s]
/proc/loadavg: 4.30 4.16 4.11 5/244 983148
/proc/meminfo: memFree=123548912/131655788 swapFree=131071996/131071996
[pid=983145] ppid=983142 vsize=138784 memory=117952 CPUtime=1.48 cores=0,2
/proc/983145/stat : 983145 (CASHWMaxSAT-Dis) R 983142 983145 979948 0 -1 4194304 24054 0 0 0 142 6 0 0 20 0 1 0 187852437 142114816 29488 134679101440 4194304 14817773 140725583905424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42754048 140725583913956 140725583914071 140725583914071 140725583921087 0
/proc/983145/statm: 34696 29488 894 2594 0 31589 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 138784 KiB
Current children cumulated memory: 117952 KiB
[startup+3.11315 s]
/proc/loadavg: 4.28 4.16 4.11 5/244 983148
/proc/meminfo: memFree=123405852/131655788 swapFree=131071996/131071996
[pid=983145] ppid=983142 vsize=295408 memory=248264 CPUtime=3.08 cores=0,2
/proc/983145/stat : 983145 (CASHWMaxSAT-Dis) R 983142 983145 979948 0 -1 4194304 44068 0 0 0 297 11 0 0 20 0 1 0 187852437 302497792 62066 134679101440 4194304 14817773 140725583905424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42754048 140725583913956 140725583914071 140725583914071 140725583921087 0
/proc/983145/statm: 73852 62066 926 2594 0 70745 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 295408 KiB
Current children cumulated memory: 248264 KiB
[startup+6.30031 s]
/proc/loadavg: 4.28 4.16 4.11 5/244 983148
/proc/meminfo: memFree=122952652/131655788 swapFree=131071996/131071996
[pid=983145] ppid=983142 vsize=726660 memory=687616 CPUtime=6.26 cores=0,2
/proc/983145/stat : 983145 (CASHWMaxSAT-Dis) R 983142 983145 979948 0 -1 4194304 72628 0 0 0 602 24 0 0 20 0 1 0 187852437 744099840 171904 134679101440 4194304 14817773 140725583905424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42754048 140725583913956 140725583914071 140725583914071 140725583921087 0
/proc/983145/statm: 181665 171904 926 2594 0 178558 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 726660 KiB
Current children cumulated memory: 687616 KiB
[startup+12.7003 s]
/proc/loadavg: 4.23 4.15 4.10 4/241 983255
/proc/meminfo: memFree=122993596/131655788 swapFree=131071996/131071996
[pid=983145] ppid=983142 vsize=1325408 memory=1150144 CPUtime=12.64 cores=0,2
/proc/983145/stat : 983145 (CASHWMaxSAT-Dis) R 983142 983145 979948 0 -1 4194304 120389 0 0 0 1222 42 0 0 20 0 1 0 187852437 1357217792 287536 134679101440 4194304 14817773 140725583905424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42754048 140725583913956 140725583914071 140725583914071 140725583921087 0
/proc/983145/statm: 331352 287536 926 2594 0 328245 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1325408 KiB
Current children cumulated memory: 1150144 KiB
[startup+25.5004 s]
/proc/loadavg: 4.20 4.15 4.10 5/244 983289
/proc/meminfo: memFree=117532568/131655788 swapFree=131071996/131071996
[pid=983145] ppid=983142 vsize=2446652 memory=2258260 CPUtime=25.39 cores=0,2
/proc/983145/stat : 983145 (CASHWMaxSAT-Dis) R 983142 983145 979948 0 -1 4194304 173282 0 0 0 2468 71 0 0 20 0 1 0 187852437 2505371648 564565 134679101440 4194304 14817773 140725583905424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42754048 140725583913956 140725583914071 140725583914071 140725583921087 0
/proc/983145/statm: 611663 564565 926 2594 0 608556 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2446652 KiB
Current children cumulated memory: 2258260 KiB
[startup+51.1134 s]
/proc/loadavg: 4.13 4.13 4.10 5/244 983293
/proc/meminfo: memFree=109884140/131655788 swapFree=131071996/131071996
[pid=983145] ppid=983142 vsize=2856812 memory=2735640 CPUtime=50.91 cores=0,2
/proc/983145/stat : 983145 (CASHWMaxSAT-Dis) R 983142 983145 979948 0 -1 4194304 271520 0 0 0 4992 99 0 0 20 0 1 0 187852437 2925375488 683910 134679101440 4194304 14817773 140725583905424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42754048 140725583913956 140725583914071 140725583914071 140725583921087 0
/proc/983145/statm: 714203 683910 926 2594 0 711096 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2856812 KiB
Current children cumulated memory: 2735640 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/244 983347
/proc/meminfo: memFree=105499352/131655788 swapFree=131071996/131071996
[pid=983145] ppid=983142 vsize=4523912 memory=4361764 CPUtime=101.9 cores=0,2
/proc/983145/stat : 983145 (CASHWMaxSAT-Dis) R 983142 983145 979948 0 -1 4194304 386982 0 0 0 10030 160 0 0 20 0 1 0 187852437 4632485888 1090441 134679101440 4194304 14817773 140725583905424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42754048 140725583913956 140725583914071 140725583914071 140725583921087 0
/proc/983145/statm: 1130978 1090441 926 2594 0 1127871 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 4523912 KiB
Current children cumulated memory: 4361764 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/244 983358
/proc/meminfo: memFree=59569676/131655788 swapFree=131071996/131071996
[pid=983145] ppid=983142 vsize=18456652 memory=16980636 CPUtime=161.68 cores=0,2
/proc/983145/stat : 983145 (CASHWMaxSAT-Dis) R 983142 983145 979948 0 -1 4194304 1722433 0 0 0 15560 608 0 0 20 0 1 0 187852437 18899611648 4245159 134679101440 4194304 14817773 140725583905424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42754048 140725583913956 140725583914071 140725583914071 140725583921087 0
/proc/983145/statm: 4614163 4245159 926 2594 0 4611056 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 18456652 KiB
Current children cumulated memory: 16980636 KiB
[startup+222.3 s]*
/proc/loadavg: 4.08 4.12 4.09 5/241 983369
/proc/meminfo: memFree=41070312/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
heavy processes:
[startup+222.786 s]
# the end of solver process 983145 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=210.097 s, system=11.8538 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+222.413 s]
/proc/loadavg: 4.08 4.12 4.09 5/241 983369
/proc/meminfo: memFree=41070312/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+222.6 s]
/proc/loadavg: 4.08 4.12 4.09 5/241 983369
/proc/meminfo: memFree=41070312/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+222.7 s]
/proc/loadavg: 4.08 4.12 4.09 5/241 983369
/proc/meminfo: memFree=41070312/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 222.786
CPU time (s): 221.951
CPU user time (s): 210.097
CPU system time (s): 11.8538
CPU usage (%): 99.6249
Max. virtual memory (cumulated for all children) (KiB): 31661980
Max. memory (cumulated for all children) (KiB): 29614420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 210.097
system time used= 11.8538
maximum resident set size= 29627492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3280010
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= 138
involuntary context switches= 1571
# summary of solver processes directly reported to runsolver:
# pid: 983145
# total CPU time (s): 221.951
# total CPU user time (s): 210.097
# total CPU system time (s): 11.8538
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0182 second user time and 2.26934 second system time
The end
Begin job on nodeC003 at 2024-07-19 04:42:55
IDJOB=4448939
IDBENCH=160470
IDSOLVER=3075
FILE ID=nodeC003/4448939-1721356963
RUNJOBID= nodeC003-1721353376-979958
SLURM_JOB_ID= 7542767
Free space on /tmp= 723732 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448939-1721356963/watcher-4448939-1721356963 -o /tmp/evaluation-result-4448939-1721356963/solver-4448939-1721356963 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721353376-979958 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4448939-1721356963.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6b93b615aedbdc1b5251d82df8eef612
RANDOM SEED=1464532675
nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.216
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3668.185
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.245
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.342
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3668.288
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3623.928
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.397
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.418
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123639144 kB
MemAvailable: 129316804 kB
Buffers: 526092 kB
Cached: 5927728 kB
SwapCached: 0 kB
Active: 950184 kB
Inactive: 6381208 kB
Active(anon): 1452 kB
Inactive(anon): 913832 kB
Active(file): 948732 kB
Inactive(file): 5467376 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 21820 kB
Writeback: 4 kB
AnonPages: 877164 kB
Mapped: 118448 kB
Shmem: 37704 kB
KReclaimable: 203164 kB
Slab: 318724 kB
SReclaimable: 203164 kB
SUnreclaim: 115560 kB
KernelStack: 3920 kB
PageTables: 10904 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1267616 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 724992 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 275272 kB
DirectMap2M: 31086592 kB
DirectMap1G: 104857600 kB
Free space on /tmp at the end= 723680 MiB
End job on nodeC003 at 2024-07-19 04:46:38