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 (41089 MiB free)
memory of node 1: 64510 MiB (43768 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449227-1721361746/watcher-4449227-1721361746 -o /tmp/evaluation-result-4449227-1721361746/solver-4449227-1721361746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721353773-980855 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1933538301 HOME/instance-4449227-1721361746.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=987766, runsolver pid=987763
[startup+0.100603 s]*
/proc/loadavg: 4.11 4.14 4.17 6/244 987767
/proc/meminfo: memFree=86694984/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=221828 memory=199448 CPUtime=0.09 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 738 0 0 0 5 4 0 0 20 0 1 0 188331679 227151872 49862 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 55457 49862 707 746 0 54521 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 221828 KiB
Current children cumulated memory: 199448 KiB
[startup+0.213726 s]*
/proc/loadavg: 4.11 4.14 4.17 5/244 987767
/proc/meminfo: memFree=86476040/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=535584 memory=455348 CPUtime=0.21 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 6943 0 0 0 11 10 0 0 20 0 1 0 188331679 548438016 113837 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 133896 113837 723 746 0 132960 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 535584 KiB
Current children cumulated memory: 455348 KiB
[startup+0.313427 s]*
/proc/loadavg: 4.11 4.14 4.17 5/244 987767
/proc/meminfo: memFree=86084472/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=874072 memory=851704 CPUtime=0.31 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 7945 0 0 0 14 17 0 0 20 0 1 0 188331679 895049728 212926 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 218518 212926 723 746 0 217582 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 874072 KiB
Current children cumulated memory: 851704 KiB
[startup+0.700335 s]
/proc/loadavg: 4.11 4.14 4.17 5/244 987767
/proc/meminfo: memFree=85639724/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=1693616 memory=1671416 CPUtime=0.68 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 9965 0 0 0 35 33 0 0 20 0 1 0 188331679 1734262784 417854 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 423404 417854 739 746 0 422468 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1693616 KiB
Current children cumulated memory: 1671416 KiB
[startup+1.50029 s]
/proc/loadavg: 4.11 4.14 4.17 5/244 987767
/proc/meminfo: memFree=84974700/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=2094460 memory=2079612 CPUtime=1.48 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 79953 0 0 0 102 46 0 0 20 0 1 0 188331679 2144727040 519903 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 523615 519903 771 746 0 522679 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2094460 KiB
Current children cumulated memory: 2079612 KiB
[startup+3.11292 s]
/proc/loadavg: 4.11 4.14 4.17 5/244 987769
/proc/meminfo: memFree=84196416/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=2678940 memory=2666312 CPUtime=3.09 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 223418 0 0 0 243 66 0 0 20 0 1 0 188331679 2743234560 666578 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 669735 666578 771 746 0 668799 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2678940 KiB
Current children cumulated memory: 2666312 KiB
[startup+6.30026 s]
/proc/loadavg: 4.10 4.13 4.17 5/244 987769
/proc/meminfo: memFree=83829008/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=3014164 memory=3007352 CPUtime=6.27 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 289938 0 0 0 549 78 0 0 20 0 1 0 188331679 3086503936 751838 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 753541 751838 771 746 0 752605 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3014164 KiB
Current children cumulated memory: 3007352 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.13 4.16 5/244 987770
/proc/meminfo: memFree=82513064/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=4320000 memory=4243036 CPUtime=12.66 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 505752 0 0 0 1139 127 0 0 20 0 1 0 188331679 4423680000 1060759 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 1080000 1060759 787 746 0 1079064 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 4320000 KiB
Current children cumulated memory: 4243036 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.14 4.17 5/244 987772
/proc/meminfo: memFree=80151444/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=6513256 memory=6398624 CPUtime=25.42 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 823274 0 0 0 2326 216 0 0 20 0 1 0 188331679 6669574144 1599656 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 1628314 1599656 787 746 0 1627378 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 6513256 KiB
Current children cumulated memory: 6398624 KiB
[startup+51.1133 s]
/proc/loadavg: 4.21 4.16 4.17 5/244 987775
/proc/meminfo: memFree=75416856/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=11561192 memory=10640816 CPUtime=50.97 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 1494721 0 0 0 4684 413 0 0 20 0 1 0 188331679 11838660608 2660204 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 2890298 2660204 787 746 0 2889362 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 11561192 KiB
Current children cumulated memory: 10640816 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/242 987786
/proc/meminfo: memFree=65597836/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=20358452 memory=19515588 CPUtime=102.05 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 2932366 0 0 0 9421 784 0 0 20 0 1 0 188331679 20847054848 4878897 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 5089613 4878897 787 746 0 5088677 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 20358452 KiB
Current children cumulated memory: 19515588 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/242 987797
/proc/meminfo: memFree=54289092/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=31601068 memory=29819504 CPUtime=161.91 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 4465614 0 0 0 14962 1229 0 0 20 0 1 0 188331679 32359493632 7454876 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 7900267 7454876 787 746 0 7899331 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 31601068 KiB
Current children cumulated memory: 29819504 KiB
[startup+180.612 s]
# the end of solver process 987766 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=167.297 s, system=12.8906 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.4 s]
/proc/loadavg: 4.14 4.15 4.17 5/242 987797
/proc/meminfo: memFree=61530016/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=22429528 memory=22424788 CPUtime=165.99 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 4468498 0 0 0 15368 1231 0 0 20 0 1 0 188331679 22967836672 5606197 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 5607382 5606197 787 746 0 5606446 0
Current children cumulated CPU time: 165.99 s
Current children cumulated vsize: 22429528 KiB
Current children cumulated memory: 22424788 KiB
[startup+172.8 s]
/proc/loadavg: 4.13 4.14 4.17 5/242 987798
/proc/meminfo: memFree=64288176/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=19160376 memory=19155636 CPUtime=172.39 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 4472741 0 0 0 16003 1236 0 0 20 0 1 0 188331679 19620225024 4788909 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 4790094 4788909 787 746 0 4789158 0
Current children cumulated CPU time: 172.39 s
Current children cumulated vsize: 19160376 KiB
Current children cumulated memory: 19155636 KiB
[startup+176 s]*
/proc/loadavg: 4.12 4.14 4.17 5/242 987798
/proc/meminfo: memFree=63705504/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=19160376 memory=19155636 CPUtime=175.58 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 4472753 0 0 0 16322 1236 0 0 20 0 1 0 188331679 19620225024 4788909 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 4790094 4788909 787 746 0 4789158 0
Current children cumulated CPU time: 175.58 s
Current children cumulated vsize: 19160376 KiB
Current children cumulated memory: 19155636 KiB
[startup+179.2 s]
/proc/loadavg: 4.12 4.14 4.17 5/242 987799
/proc/meminfo: memFree=63687076/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=19160376 memory=19155636 CPUtime=178.77 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 4472798 0 0 0 16640 1237 0 0 20 0 1 0 188331679 19620225024 4788909 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 4790094 4788909 787 746 0 4789158 0
Current children cumulated CPU time: 178.77 s
Current children cumulated vsize: 19160376 KiB
Current children cumulated memory: 19155636 KiB
[startup+180 s]*
/proc/loadavg: 4.11 4.14 4.17 5/242 987799
/proc/meminfo: memFree=63682068/131655788 swapFree=131071996/131071996
[pid=987766] ppid=987763 vsize=19160376 memory=19155636 CPUtime=179.58 cores=4,6
/proc/987766/stat : 987766 (Exact_nosoplex) R 987763 987766 980844 0 -1 4194304 4473902 0 0 0 16720 1238 0 0 20 0 1 0 188331679 19620225024 4788909 134679101440 4194304 7248369 140728999470480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25501696 140728999474091 140728999474270 140728999474270 140728999481286 0
/proc/987766/statm: 4790094 4788909 787 746 0 4789158 0
Current children cumulated CPU time: 179.58 s
Current children cumulated vsize: 19160376 KiB
Current children cumulated memory: 19155636 KiB
[startup+180.4 s]
/proc/loadavg: 4.11 4.14 4.17 5/242 987799
/proc/meminfo: memFree=65269176/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+180.6 s]
/proc/loadavg: 4.11 4.14 4.17 5/242 987799
/proc/meminfo: memFree=65269176/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): 180.612
CPU time (s): 180.187
CPU user time (s): 167.297
CPU system time (s): 12.8906
CPU usage (%): 99.7647
Max. virtual memory (cumulated for all children) (KiB): 31601068
Max. memory (cumulated for all children) (KiB): 29819504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.297
system time used= 12.8906
maximum resident set size= 29819504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4474312
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= 2
involuntary context switches= 227
# summary of solver processes directly reported to runsolver:
# pid: 987766
# total CPU time (s): 180.187
# total CPU user time (s): 167.297
# total CPU system time (s): 12.8906
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.781739 second user time and 1.86354 second system time
The end
Begin job on nodeC012 at 2024-07-19 06:02:40
IDJOB=4449227
IDBENCH=160490
IDSOLVER=3061
FILE ID=nodeC012/4449227-1721361746
RUNJOBID= nodeC012-1721353773-980855
SLURM_JOB_ID= 7542770
Free space on /tmp= 723568 MiB
SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449227-1721361746/watcher-4449227-1721361746 -o /tmp/evaluation-result-4449227-1721361746/solver-4449227-1721361746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721353773-980855 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1933538301 HOME/instance-4449227-1721361746.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8e74907d75b3430f44949ac6e798f9f2
RANDOM SEED=1933538301
nodeC012.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 : 3610.640
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 : 6984.37
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 : 3685.817
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.32
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.587
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 : 6984.37
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.808
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.32
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 : 3492.518
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 : 6984.37
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 : 3685.173
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.32
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.864
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 : 6984.37
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.735
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 86897420 kB
MemAvailable: 89801340 kB
Buffers: 520972 kB
Cached: 3200240 kB
SwapCached: 0 kB
Active: 1098568 kB
Inactive: 42989012 kB
Active(anon): 1440 kB
Inactive(anon): 40402636 kB
Active(file): 1097128 kB
Inactive(file): 2586376 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 140160 kB
Writeback: 0 kB
AnonPages: 40366704 kB
Mapped: 116380 kB
Shmem: 37704 kB
KReclaimable: 120892 kB
Slab: 225664 kB
SReclaimable: 120892 kB
SUnreclaim: 104772 kB
KernelStack: 3936 kB
PageTables: 88328 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 43575024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59360 kB
HardwareCorrupted: 0 kB
AnonHugePages: 15595520 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: 312136 kB
DirectMap2M: 33146880 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723564 MiB
End job on nodeC012 at 2024-07-19 06:05:41