0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00 c Setting memory limit to 31000MB.
0.00/0.00 c Parsing PB file...
0.00/0.00 c Converting 380 PB-constraints to clauses...
0.00/0.00 c ============================[ Encoding Statistics ]============================
0.00/0.00 c | Number of variables: 185 |
0.00/0.00 c | Number of clauses: 380 |
0.00/0.00 c ===============================================================================
72.39/72.69 c _______________________________________________________________________________
72.39/72.69 c
72.39/72.69 c =======================[ UWrMaxSat resources usage ]===========================
72.39/72.69 c Memory used : 38.00 MB
72.39/72.69 c CPU time : 72.3735 s
72.39/72.69 c _______________________________________________________________________________
72.39/72.69 s UNSATISFIABLE
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: 63708 MiB (63010 MiB free)
memory of node 1: 64465 MiB (63948 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510020-1751192867/watcher-4510020-1751192867 -o /tmp/evaluation-result-4510020-1751192867/solver-4510020-1751192867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751192867-25924 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4510020-1751192867.opb -mem-lim=31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25979, runsolver pid=25974
[startup+0.100057 s]*
/proc/loadavg: 0.52 0.94 1.50 6/265 25982
/proc/meminfo: memFree=130003520/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=4320 memory=3836 CPUtime=0.1 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 605 0 0 0 10 0 0 0 20 0 1 0 34965234 4423680 959 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 1080 959 544 484 0 491 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 4320 KiB
Current children cumulated memory: 3836 KiB
[startup+0.205289 s]*
/proc/loadavg: 0.52 0.94 1.50 6/265 25982
/proc/meminfo: memFree=130002764/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=4948 memory=4504 CPUtime=0.2 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 995 0 0 0 20 0 0 0 20 0 1 0 34965234 5066752 1126 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 1237 1126 544 484 0 648 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 4948 KiB
Current children cumulated memory: 4504 KiB
[startup+0.304866 s]*
/proc/loadavg: 0.52 0.94 1.50 6/265 25982
/proc/meminfo: memFree=130002260/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=4732 memory=4216 CPUtime=0.3 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 1136 0 0 0 30 0 0 0 20 0 1 0 34965234 4845568 1054 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 1183 1054 544 484 0 594 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 4732 KiB
Current children cumulated memory: 4216 KiB
[startup+0.700098 s]
/proc/loadavg: 0.52 0.94 1.50 6/265 25982
/proc/meminfo: memFree=129998708/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=5916 memory=5512 CPUtime=0.69 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 2159 0 0 0 69 0 0 0 20 0 1 0 34965234 6057984 1378 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 1479 1378 544 484 0 890 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 5916 KiB
Current children cumulated memory: 5512 KiB
[startup+1.5001 s]
/proc/loadavg: 0.52 0.94 1.50 6/265 25982
/proc/meminfo: memFree=129994424/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=8364 memory=7832 CPUtime=1.49 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 3315 0 0 0 149 0 0 0 20 0 1 0 34965234 8564736 1958 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 2091 1958 544 484 0 1502 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 8364 KiB
Current children cumulated memory: 7832 KiB
[startup+3.10534 s]
/proc/loadavg: 0.80 0.99 1.51 6/265 25982
/proc/meminfo: memFree=129975076/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=9680 memory=9188 CPUtime=3.08 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 6077 0 0 0 308 0 0 0 20 0 1 0 34965234 9912320 2297 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 2420 2297 544 484 0 1831 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 9680 KiB
Current children cumulated memory: 9188 KiB
[startup+6.30011 s]
/proc/loadavg: 0.80 0.99 1.51 6/265 25982
/proc/meminfo: memFree=129965516/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=11160 memory=10492 CPUtime=6.27 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 11239 0 0 0 626 1 0 0 20 0 1 0 34965234 11427840 2623 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 2790 2623 544 484 0 2201 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 11160 KiB
Current children cumulated memory: 10492 KiB
[startup+12.7001 s]
/proc/loadavg: 1.05 1.04 1.53 6/265 25982
/proc/meminfo: memFree=129947120/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=18092 memory=17316 CPUtime=12.65 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 22405 0 0 0 1262 3 0 0 20 0 1 0 34965234 18526208 4329 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 4523 4329 544 484 0 3934 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 18092 KiB
Current children cumulated memory: 17316 KiB
[startup+25.5001 s]
/proc/loadavg: 1.79 1.20 1.57 6/266 25984
/proc/meminfo: memFree=129932364/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=21748 memory=19352 CPUtime=25.42 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 29406 0 0 0 2538 4 0 0 20 0 1 0 34965234 22269952 4838 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 5437 4838 544 484 0 4848 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 21748 KiB
Current children cumulated memory: 19352 KiB
[startup+51.1056 s]
/proc/loadavg: 2.54 1.43 1.64 6/266 25984
/proc/meminfo: memFree=129893648/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=27972 memory=27632 CPUtime=50.96 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 46244 0 0 0 5087 9 0 0 20 0 1 0 34965234 28643328 6908 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 6993 6908 544 484 0 6404 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 27632 KiB
[startup+72.6961 s]
# the end of solver process 25979 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=72.3739 s, system=0.121635 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 2.54 1.43 1.64 6/266 25984
/proc/meminfo: memFree=129893648/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=27972 memory=27632 CPUtime=51.06 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 46244 0 0 0 5097 9 0 0 20 0 1 0 34965234 28643328 6908 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 6993 6908 544 484 0 6404 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 27632 KiB
[startup+64.0001 s]*
/proc/loadavg: 2.87 1.56 1.68 7/266 25988
/proc/meminfo: memFree=129885560/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=33916 memory=32296 CPUtime=63.82 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 54920 0 0 0 6371 11 0 0 20 0 1 0 34965234 34729984 8074 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 8479 8074 544 484 0 7890 0
Current children cumulated CPU time: 63.82 s
Current children cumulated vsize: 33916 KiB
Current children cumulated memory: 32296 KiB
[startup+67.2001 s]
/proc/loadavg: 2.87 1.56 1.68 6/266 25988
/proc/meminfo: memFree=129879520/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=31844 memory=31296 CPUtime=67 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 55592 0 0 0 6689 11 0 0 20 0 1 0 34965234 32608256 7824 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 7961 7824 544 484 0 7372 0
Current children cumulated CPU time: 67 s
Current children cumulated vsize: 31844 KiB
Current children cumulated memory: 31296 KiB
[startup+70.4001 s]
/proc/loadavg: 3.04 1.61 1.69 6/266 25988
/proc/meminfo: memFree=129877000/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=37308 memory=36756 CPUtime=70.2 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 56467 0 0 0 7008 12 0 0 20 0 1 0 34965234 38203392 9189 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 9327 9189 544 484 0 8738 0
Current children cumulated CPU time: 70.2 s
Current children cumulated vsize: 37308 KiB
Current children cumulated memory: 36756 KiB
[startup+72.0001 s]*
/proc/loadavg: 3.04 1.61 1.69 7/266 25988
/proc/meminfo: memFree=129877008/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=37308 memory=36756 CPUtime=71.8 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 56467 0 0 0 7168 12 0 0 20 0 1 0 34965234 38203392 9189 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 9327 9189 544 484 0 8738 0
Current children cumulated CPU time: 71.8 s
Current children cumulated vsize: 37308 KiB
Current children cumulated memory: 36756 KiB
[startup+72.4001 s]
/proc/loadavg: 3.04 1.61 1.69 7/266 25988
/proc/meminfo: memFree=129877008/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=22692 memory=22352 CPUtime=72.19 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 56467 0 0 0 7207 12 0 0 20 0 1 0 34965234 23236608 5588 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 5673 5588 544 484 0 5084 0
Current children cumulated CPU time: 72.19 s
Current children cumulated vsize: 22692 KiB
Current children cumulated memory: 22352 KiB
[startup+72.6001 s]
/proc/loadavg: 3.04 1.61 1.69 7/266 25988
/proc/meminfo: memFree=129877008/131249988 swapFree=33010684/33010684
[pid=25979] ppid=25974 vsize=22692 memory=22352 CPUtime=72.39 cores=1,3
/proc/25979/stat : 25979 (uwrmaxsat) R 25974 25979 25912 0 -1 4194304 56467 0 0 0 7227 12 0 0 20 0 1 0 34965234 23236608 5588 18446744073709551615 4198400 6176925 140732462829680 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20553728 140732462836074 140732462836201 140732462836201 140732462841803 0
/proc/25979/statm: 5673 5588 544 484 0 5084 0
Current children cumulated CPU time: 72.39 s
Current children cumulated vsize: 22692 KiB
Current children cumulated memory: 22352 KiB
Child status: 20
Real time (s): 72.6961
CPU time (s): 72.4955
CPU user time (s): 72.3739
CPU system time (s): 0.121635
CPU usage (%): 99.7241
Max. virtual memory (cumulated for all children) (KiB): 37308
Max. memory (cumulated for all children) (KiB): 36756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.3739
system time used= 0.121635
maximum resident set size= 37988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56467
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= 97
# summary of solver processes directly reported to runsolver:
# pid: 25979
# total CPU time (s): 72.4955
# total CPU user time (s): 72.3739
# total CPU system time (s): 0.121635
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.162598 second user time and 0.30262 second system time
The end
Begin job on nodeC031 at 2025-06-29 12:27:47
IDJOB=4510020
IDBENCH=159423
IDSOLVER=3372
FILE ID=nodeC031/4510020-1751192867
RUNJOBID= nodeC031-1751192867-25924
SLURM_JOB_ID= 9587586
Free space on /tmp= 433060 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-46.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510020-1751192867/watcher-4510020-1751192867 -o /tmp/evaluation-result-4510020-1751192867/solver-4510020-1751192867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751192867-25924 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4510020-1751192867.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d0c8f70b306f746a2531c5dc399515b9
RANDOM SEED=1167178360
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 0xb00002a
cpu MHz : 3599.943
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 0xb00002a
cpu MHz : 3599.885
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 0xb00002a
cpu MHz : 3599.686
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 0xb00002a
cpu MHz : 3599.889
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 0xb00002a
cpu MHz : 3599.227
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 0xb00002a
cpu MHz : 3599.881
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 0xb00002a
cpu MHz : 3600.516
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 0xb00002a
cpu MHz : 3599.876
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 130013832 kB
MemAvailable: 129758576 kB
Buffers: 3280 kB
Cached: 554508 kB
SwapCached: 0 kB
Active: 301768 kB
Inactive: 335508 kB
Active(anon): 97552 kB
Inactive(anon): 0 kB
Active(file): 204216 kB
Inactive(file): 335508 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10368 kB
Writeback: 0 kB
AnonPages: 82668 kB
Mapped: 102736 kB
Shmem: 18064 kB
KReclaimable: 88520 kB
Slab: 174176 kB
SReclaimable: 88520 kB
SUnreclaim: 85656 kB
KernelStack: 3856 kB
PageTables: 2704 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 342312 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433052 MiB
End job on nodeC031 at 2025-06-29 12:29:00