VeriPB
Running VeriPB version 2.2.1
s VERIFIED BOUNDS INF <= obj <= INF
Verification succeeded.
VeriPB + CakePB
-- veripb --
Running VeriPB version 2.2.1
s VERIFIED BOUNDS INF <= obj <= INF
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS INF <= obj <= INF
--summary--
ALL OK
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: 64096 MiB (57307 MiB free)
memory of node 1: 64473 MiB (44135 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441138-1721761456/watcher-4441138-1721761456 -o /tmp/evaluation-result-4441138-1721761456/solver-4441138-1721761456 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721752159-107567 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441138-1721761456 --seed=214008673 HOME/instance-4441138-1721761456.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=113336, runsolver pid=113333
[startup+0.100083 s]*
/proc/loadavg: 4.23 4.40 4.31 5/247 113337
/proc/meminfo: memFree=103874128/131655788 swapFree=131067352/131071996
[pid=113336] ppid=113333 vsize=26832 memory=4464 CPUtime=0.09 cores=5,7
/proc/113336/stat : 113336 (Exact_veripb2) R 113333 113336 107554 0 -1 4194304 251 0 0 0 8 1 0 0 20 0 1 0 12135504 27475968 1116 134679101440 4194304 8311665 140730182266880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 25190400 140730182275913 140730182276192 140730182276192 140730182283207 0
/proc/113336/statm: 6708 1116 1043 1006 0 5469 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26832 KiB
Current children cumulated memory: 4464 KiB
[startup+0.207949 s]*
/proc/loadavg: 4.23 4.40 4.31 5/247 113337
/proc/meminfo: memFree=103867784/131655788 swapFree=131067352/131071996
[pid=113336] ppid=113333 vsize=26832 memory=5144 CPUtime=0.2 cores=5,7
/proc/113336/stat : 113336 (Exact_veripb2) R 113333 113336 107554 0 -1 4194304 277 0 0 0 18 2 0 0 20 0 1 0 12135504 27475968 1286 134679101440 4194304 8311665 140730182266880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 25190400 140730182275913 140730182276192 140730182276192 140730182283207 0
/proc/113336/statm: 6708 1286 1155 1006 0 5469 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26832 KiB
Current children cumulated memory: 5144 KiB
[startup+0.307701 s]*
/proc/loadavg: 4.23 4.40 4.31 5/247 113337
/proc/meminfo: memFree=103864956/131655788 swapFree=131067352/131071996
[pid=113336] ppid=113333 vsize=26832 memory=5144 CPUtime=0.3 cores=5,7
/proc/113336/stat : 113336 (Exact_veripb2) R 113333 113336 107554 0 -1 4194304 294 0 0 0 27 3 0 0 20 0 1 0 12135504 27475968 1286 134679101440 4194304 8311665 140730182266880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 25190400 140730182275913 140730182276192 140730182276192 140730182283207 0
/proc/113336/statm: 6708 1286 1155 1006 0 5469 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26832 KiB
Current children cumulated memory: 5144 KiB
[startup+0.70031 s]
/proc/loadavg: 4.23 4.40 4.31 5/247 113337
/proc/meminfo: memFree=103860112/131655788 swapFree=131067352/131071996
[pid=113336] ppid=113333 vsize=26964 memory=5408 CPUtime=0.69 cores=5,7
/proc/113336/stat : 113336 (Exact_veripb2) R 113333 113336 107554 0 -1 4194304 386 0 0 0 63 6 0 0 20 0 1 0 12135504 27611136 1352 134679101440 4194304 8311665 140730182266880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 25190400 140730182275913 140730182276192 140730182276192 140730182283207 0
/proc/113336/statm: 6741 1352 1155 1006 0 5502 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 26964 KiB
Current children cumulated memory: 5408 KiB
[startup+1.50033 s]
/proc/loadavg: 4.23 4.40 4.31 5/247 113337
/proc/meminfo: memFree=103839828/131655788 swapFree=131067352/131071996
[pid=113336] ppid=113333 vsize=27380 memory=6200 CPUtime=1.48 cores=5,7
/proc/113336/stat : 113336 (Exact_veripb2) R 113333 113336 107554 0 -1 4194304 570 0 0 0 138 10 0 0 20 0 1 0 12135504 28037120 1550 134679101440 4194304 8311665 140730182266880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 25190400 140730182275913 140730182276192 140730182276192 140730182283207 0
/proc/113336/statm: 6845 1550 1155 1006 0 5606 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 27380 KiB
Current children cumulated memory: 6200 KiB
[startup+3.11272 s]
/proc/loadavg: 4.23 4.40 4.31 5/247 113337
/proc/meminfo: memFree=103757108/131655788 swapFree=131067352/131071996
[pid=113336] ppid=113333 vsize=28052 memory=9464 CPUtime=3.09 cores=5,7
/proc/113336/stat : 113336 (Exact_veripb2) R 113333 113336 107554 0 -1 4194304 861 0 0 0 293 16 0 0 20 0 1 0 12135504 28725248 2366 134679101440 4194304 8311665 140730182266880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 25190400 140730182275913 140730182276192 140730182276192 140730182283207 0
/proc/113336/statm: 7013 2366 1155 1006 0 5774 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 28052 KiB
Current children cumulated memory: 9464 KiB
[startup+6.30033 s]
/proc/loadavg: 4.21 4.40 4.31 5/247 113339
/proc/meminfo: memFree=103640576/131655788 swapFree=131067352/131071996
[pid=113336] ppid=113333 vsize=28244 memory=9708 CPUtime=6.27 cores=5,7
/proc/113336/stat : 113336 (Exact_veripb2) R 113333 113336 107554 0 -1 4194304 961 0 0 0 603 24 0 0 20 0 1 0 12135504 28921856 2427 134679101440 4194304 8311665 140730182266880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 25190400 140730182275913 140730182276192 140730182276192 140730182283207 0
/proc/113336/statm: 7061 2427 1155 1006 0 5822 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 28244 KiB
Current children cumulated memory: 9708 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.39 4.31 5/247 113339
/proc/meminfo: memFree=103436640/131655788 swapFree=131067352/131071996
[pid=113336] ppid=113333 vsize=28500 memory=9976 CPUtime=12.65 cores=5,7
/proc/113336/stat : 113336 (Exact_veripb2) R 113333 113336 107554 0 -1 4194304 1092 0 0 0 1226 39 0 0 20 0 1 0 12135504 29184000 2494 134679101440 4194304 8311665 140730182266880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 25190400 140730182275913 140730182276192 140730182276192 140730182283207 0
/proc/113336/statm: 7125 2494 1155 1006 0 5886 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 28500 KiB
Current children cumulated memory: 9976 KiB
[startup+21.0566 s]
# the end of solver process 113336 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=20.204 s, system=0.604613 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 4.20 4.39 4.31 5/247 113339
/proc/meminfo: memFree=103436640/131655788 swapFree=131067352/131071996
[pid=113336] ppid=113333 vsize=28700 memory=9976 CPUtime=12.75 cores=5,7
/proc/113336/stat : 113336 (Exact_veripb2) R 113333 113336 107554 0 -1 4194304 1111 0 0 0 1236 39 0 0 20 0 1 0 12135504 29388800 2494 134679101440 4194304 8311665 140730182266880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 25190400 140730182275913 140730182276192 140730182276192 140730182283207 0
/proc/113336/statm: 7175 2494 1155 1006 0 5936 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 28700 KiB
Current children cumulated memory: 9976 KiB
[startup+16.0003 s]*
/proc/loadavg: 4.18 4.38 4.30 5/247 113340
/proc/meminfo: memFree=103330344/131655788 swapFree=131067352/131071996
[pid=113336] ppid=113333 vsize=28700 memory=9976 CPUtime=15.95 cores=5,7
/proc/113336/stat : 113336 (Exact_veripb2) R 113333 113336 107554 0 -1 4194304 1131 0 0 0 1547 48 0 0 20 0 1 0 12135504 29388800 2494 134679101440 4194304 8311665 140730182266880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 25190400 140730182275913 140730182276192 140730182276192 140730182283207 0
/proc/113336/statm: 7175 2494 1155 1006 0 5936 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 28700 KiB
Current children cumulated memory: 9976 KiB
[startup+19.2003 s]
/proc/loadavg: 4.18 4.38 4.30 5/247 113340
/proc/meminfo: memFree=103253724/131655788 swapFree=131067352/131071996
[pid=113336] ppid=113333 vsize=28692 memory=10208 CPUtime=19.13 cores=5,7
/proc/113336/stat : 113336 (Exact_veripb2) R 113333 113336 107554 0 -1 4194304 1178 0 0 0 1858 55 0 0 20 0 1 0 12135504 29380608 2552 134679101440 4194304 8311665 140730182266880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 25190400 140730182275913 140730182276192 140730182276192 140730182283207 0
/proc/113336/statm: 7173 2552 1155 1006 0 5934 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 28692 KiB
Current children cumulated memory: 10208 KiB
[startup+20.0003 s]*
/proc/loadavg: 4.17 4.38 4.30 5/247 113340
/proc/meminfo: memFree=103229028/131655788 swapFree=131067352/131071996
[pid=113336] ppid=113333 vsize=28692 memory=10208 CPUtime=19.94 cores=5,7
/proc/113336/stat : 113336 (Exact_veripb2) R 113333 113336 107554 0 -1 4194304 1178 0 0 0 1937 57 0 0 20 0 1 0 12135504 29380608 2552 134679101440 4194304 8311665 140730182266880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 25190400 140730182275913 140730182276192 140730182276192 140730182283207 0
/proc/113336/statm: 7173 2552 1155 1006 0 5934 0
Current children cumulated CPU time: 19.94 s
Current children cumulated vsize: 28692 KiB
Current children cumulated memory: 10208 KiB
[startup+20.8024 s]
/proc/loadavg: 4.17 4.38 4.30 5/247 113340
/proc/meminfo: memFree=103229028/131655788 swapFree=131067352/131071996
[pid=113336] ppid=113333 vsize=28948 memory=10428 CPUtime=20.72 cores=5,7
/proc/113336/stat : 113336 (Exact_veripb2) R 113333 113336 107554 0 -1 4194304 1252 0 0 0 2014 58 0 0 20 0 1 0 12135504 29642752 2607 134679101440 4194304 8311665 140730182266880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 25190400 140730182275913 140730182276192 140730182276192 140730182283207 0
/proc/113336/statm: 7237 2607 1155 1006 0 5998 0
Current children cumulated CPU time: 20.72 s
Current children cumulated vsize: 28948 KiB
Current children cumulated memory: 10428 KiB
[startup+21.0003 s]*
/proc/loadavg: 4.17 4.38 4.30 2/247 113340
/proc/meminfo: memFree=103203636/131655788 swapFree=131067352/131071996
[pid=113336] ppid=113333 vsize=11832 memory=7168 CPUtime=20.8 cores=5,7
/proc/113336/stat : 113336 (Exact_veripb2) D 113333 113336 107554 0 -1 4194304 1255 0 0 0 2020 60 0 0 20 0 1 0 12135504 12115968 1792 134679101440 4194304 8311665 140730182266880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 17 0 0 9173656 9252184 25190400 140730182275913 140730182276192 140730182276192 140730182283207 0
/proc/113336/statm: 2958 1792 1155 1006 0 1719 0
Current children cumulated CPU time: 20.8 s
Current children cumulated vsize: 11832 KiB
Current children cumulated memory: 7168 KiB
Child status: 20
Real time (s): 21.0567
CPU time (s): 20.8086
CPU user time (s): 20.204
CPU system time (s): 0.604613
CPU usage (%): 98.8217
Max. virtual memory (cumulated for all children) (KiB): 28948
Max. memory (cumulated for all children) (KiB): 10428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.204
system time used= 0.604613
maximum resident set size= 10468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1256
page faults= 0
swaps= 0
block input operations= 0
block output operations= 194448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3228
involuntary context switches= 35
# summary of solver processes directly reported to runsolver:
# pid: 113336
# total CPU time (s): 20.8086
# total CPU user time (s): 20.204
# total CPU system time (s): 0.604613
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.14498 second user time and 0.230803 second system time
The end
Begin job on nodeC009 at 2024-07-23 21:04:16
IDJOB=4441138
IDBENCH=147595
IDSOLVER=3081
FILE ID=nodeC009/4441138-1721761456
RUNJOBID= nodeC009-1721752159-107567
SLURM_JOB_ID= 7770655
Free space on /tmp= 723736 MiB
SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_2.opb
COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441138-1721761456/watcher-4441138-1721761456 -o /tmp/evaluation-result-4441138-1721761456/solver-4441138-1721761456 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721752159-107567 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441138-1721761456 --seed=214008673 HOME/instance-4441138-1721761456.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a43d5b92138f857c927653ddd012ddd6
RANDOM SEED=214008673
nodeC009.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 : 3678.360
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.96
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 : 3677.352
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.36
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.416
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.96
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.343
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.36
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 : 3678.390
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.96
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 : 1197.256
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.36
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.438
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.96
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 : 2080.559
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 103878084 kB
MemAvailable: 127473260 kB
Buffers: 174524 kB
Cached: 24227208 kB
SwapCached: 3620 kB
Active: 1066836 kB
Inactive: 26137624 kB
Active(anon): 1744 kB
Inactive(anon): 2838576 kB
Active(file): 1065092 kB
Inactive(file): 23299048 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131067352 kB
Dirty: 261012 kB
Writeback: 8 kB
AnonPages: 2794824 kB
Mapped: 101204 kB
Shmem: 37508 kB
KReclaimable: 142472 kB
Slab: 250932 kB
SReclaimable: 142472 kB
SUnreclaim: 108460 kB
KernelStack: 4016 kB
PageTables: 14764 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3375708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 18848 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2342912 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: 285512 kB
DirectMap2M: 27930624 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC009 at 2024-07-23 21:04:38