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.30/0.33 c Converting 67525 PB-constraints to clauses...
0.69/0.75 c ============================[ Encoding Statistics ]============================
0.69/0.75 c | Number of variables: 59431 |
0.69/0.75 c | Number of clauses: 148898 |
0.69/0.75 c ===============================================================================
99.50/99.88 c _______________________________________________________________________________
99.50/99.88 c
99.50/99.88 c =======================[ UWrMaxSat resources usage ]===========================
99.50/99.88 c Memory used : 104.00 MB
99.50/99.88 c CPU time : 99.5359 s
99.50/99.88 c Constr Enc: Srt/BDD/Add: 3177 0 0
99.50/99.88 c _______________________________________________________________________________
99.50/99.88 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: 63665 MiB (62315 MiB free)
memory of node 1: 64507 MiB (63288 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491768-1751144221/watcher-4491768-1751144221 -o /tmp/evaluation-result-4491768-1751144221/solver-4491768-1751144221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751144206-14862 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4491768-1751144221.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15188, runsolver pid=15185
[startup+0.100062 s]*
/proc/loadavg: 1.80 2.42 3.70 5/263 15189
/proc/meminfo: memFree=128611052/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=22472 memory=21296 CPUtime=0.09 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 5127 0 0 0 9 0 0 0 20 0 1 0 30101003 23011328 5324 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 5618 5324 448 484 0 5029 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22472 KiB
Current children cumulated memory: 21296 KiB
[startup+0.20476 s]*
/proc/loadavg: 1.80 2.42 3.70 5/263 15189
/proc/meminfo: memFree=128611052/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=42592 memory=41216 CPUtime=0.19 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 10301 0 0 0 18 1 0 0 20 0 1 0 30101003 43614208 10304 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 10648 10304 448 484 0 10059 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42592 KiB
Current children cumulated memory: 41216 KiB
[startup+0.305317 s]*
/proc/loadavg: 2.06 2.46 3.71 5/263 15189
/proc/meminfo: memFree=128602860/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=58540 memory=57088 CPUtime=0.3 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 14256 0 0 0 28 2 0 0 20 0 1 0 30101003 59944960 14272 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 14635 14272 448 484 0 14046 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 58540 KiB
Current children cumulated memory: 57088 KiB
[startup+0.700139 s]
/proc/loadavg: 2.06 2.46 3.71 5/263 15189
/proc/meminfo: memFree=128598764/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=72900 memory=71040 CPUtime=0.69 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 17736 0 0 0 66 3 0 0 20 0 1 0 30101003 74649600 17760 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 18225 17760 448 484 0 17636 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 72900 KiB
Current children cumulated memory: 71040 KiB
[startup+1.50018 s]
/proc/loadavg: 2.06 2.46 3.71 5/263 15189
/proc/meminfo: memFree=128537664/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=93524 memory=90568 CPUtime=1.49 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 23053 0 0 0 145 4 0 0 20 0 1 0 30101003 95768576 22642 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 23381 22642 512 484 0 22792 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 93524 KiB
Current children cumulated memory: 90568 KiB
[startup+3.10564 s]
/proc/loadavg: 2.06 2.46 3.71 5/263 15189
/proc/meminfo: memFree=128477488/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=95348 memory=91440 CPUtime=3.08 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 27228 0 0 0 304 4 0 0 20 0 1 0 30101003 97636352 22860 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 23837 22860 512 484 0 23248 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 95348 KiB
Current children cumulated memory: 91440 KiB
[startup+6.30018 s]
/proc/loadavg: 2.21 2.49 3.71 5/263 15189
/proc/meminfo: memFree=128636044/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=95764 memory=91824 CPUtime=6.27 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 27335 0 0 0 623 4 0 0 20 0 1 0 30101003 98062336 22956 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 23941 22956 512 484 0 23352 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 95764 KiB
Current children cumulated memory: 91824 KiB
[startup+12.7002 s]
/proc/loadavg: 2.28 2.50 3.71 5/263 15460
/proc/meminfo: memFree=128851240/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=96992 memory=93104 CPUtime=12.65 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 27645 0 0 0 1261 4 0 0 20 0 1 0 30101003 99319808 23276 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 24248 23276 512 484 0 23659 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 96992 KiB
Current children cumulated memory: 93104 KiB
[startup+25.5002 s]
/proc/loadavg: 2.62 2.56 3.72 5/263 15505
/proc/meminfo: memFree=128841192/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=98448 memory=94512 CPUtime=25.41 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 28011 0 0 0 2537 4 0 0 20 0 1 0 30101003 100810752 23628 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 24612 23628 512 484 0 24023 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 98448 KiB
Current children cumulated memory: 94512 KiB
[startup+51.1052 s]
/proc/loadavg: 3.24 2.72 3.74 5/264 15825
/proc/meminfo: memFree=129987392/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=101580 memory=97620 CPUtime=50.94 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 31542 0 0 0 5089 5 0 0 20 0 1 0 30101003 104017920 24405 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 25395 24405 512 484 0 24806 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 101580 KiB
Current children cumulated memory: 97620 KiB
[startup+99.8895 s]
# the end of solver process 15188 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=99.536 s, system=0.061836 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 3.24 2.72 3.74 5/264 15825
/proc/meminfo: memFree=129987392/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=101580 memory=97620 CPUtime=51.04 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 31542 0 0 0 5099 5 0 0 20 0 1 0 30101003 104017920 24405 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 25395 24405 512 484 0 24806 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 101580 KiB
Current children cumulated memory: 97620 KiB
[startup+76.8001 s]
/proc/loadavg: 3.43 2.81 3.74 5/266 16008
/proc/meminfo: memFree=130005472/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=103648 memory=99796 CPUtime=76.57 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 32074 0 0 0 7652 5 0 0 20 0 1 0 30101003 106135552 24949 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 25912 24949 512 484 0 25323 0
Current children cumulated CPU time: 76.57 s
Current children cumulated vsize: 103648 KiB
Current children cumulated memory: 99796 KiB
[startup+89.6001 s]
/proc/loadavg: 3.52 2.85 3.74 5/266 16008
/proc/meminfo: memFree=129978964/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=104356 memory=100436 CPUtime=89.32 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 32267 0 0 0 8927 5 0 0 20 0 1 0 30101003 106860544 25109 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 26089 25109 512 484 0 25500 0
Current children cumulated CPU time: 89.32 s
Current children cumulated vsize: 104356 KiB
Current children cumulated memory: 100436 KiB
[startup+96.0001 s]*
/proc/loadavg: 3.67 2.90 3.75 5/266 16008
/proc/meminfo: memFree=129968764/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=104868 memory=100948 CPUtime=95.71 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 32395 0 0 0 9566 5 0 0 20 0 1 0 30101003 107384832 25237 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 26217 25237 512 484 0 25628 0
Current children cumulated CPU time: 95.71 s
Current children cumulated vsize: 104868 KiB
Current children cumulated memory: 100948 KiB
[startup+97.6001 s]
/proc/loadavg: 3.67 2.90 3.75 5/266 16008
/proc/meminfo: memFree=129968764/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=104868 memory=101076 CPUtime=97.31 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 32409 0 0 0 9726 5 0 0 20 0 1 0 30101003 107384832 25269 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 26217 25269 512 484 0 25628 0
Current children cumulated CPU time: 97.31 s
Current children cumulated vsize: 104868 KiB
Current children cumulated memory: 101076 KiB
[startup+99.2001 s]
/proc/loadavg: 3.67 2.90 3.75 5/266 16008
/proc/meminfo: memFree=129977016/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=90216 memory=86576 CPUtime=98.9 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 32417 0 0 0 9884 6 0 0 20 0 1 0 30101003 92381184 21644 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 22554 21644 512 484 0 21965 0
Current children cumulated CPU time: 98.9 s
Current children cumulated vsize: 90216 KiB
Current children cumulated memory: 86576 KiB
[startup+99.6001 s]
/proc/loadavg: 3.67 2.90 3.75 5/266 16008
/proc/meminfo: memFree=129977016/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=90216 memory=86576 CPUtime=99.3 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 32417 0 0 0 9924 6 0 0 20 0 1 0 30101003 92381184 21644 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 22554 21644 512 484 0 21965 0
Current children cumulated CPU time: 99.3 s
Current children cumulated vsize: 90216 KiB
Current children cumulated memory: 86576 KiB
[startup+99.8001 s]
/proc/loadavg: 3.67 2.90 3.75 5/266 16008
/proc/meminfo: memFree=129977016/131249988 swapFree=33010684/33010684
[pid=15188] ppid=15185 vsize=90216 memory=86576 CPUtime=99.5 cores=1,3
/proc/15188/stat : 15188 (uwrmaxsat) R 15185 15188 14850 0 -1 4194304 32417 0 0 0 9944 6 0 0 20 0 1 0 30101003 92381184 21644 18446744073709551615 4198400 6176925 140732266676720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24006656 140732266682730 140732266682857 140732266682857 140732266688459 0
/proc/15188/statm: 22554 21644 512 484 0 21965 0
Current children cumulated CPU time: 99.5 s
Current children cumulated vsize: 90216 KiB
Current children cumulated memory: 86576 KiB
Child status: 20
Real time (s): 99.8896
CPU time (s): 99.5978
CPU user time (s): 99.536
CPU system time (s): 0.061836
CPU usage (%): 99.708
Max. virtual memory (cumulated for all children) (KiB): 107144
Max. memory (cumulated for all children) (KiB): 103224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.536
system time used= 0.061836
maximum resident set size= 103224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32417
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= 32
involuntary context switches= 103
# summary of solver processes directly reported to runsolver:
# pid: 15188
# total CPU time (s): 99.5978
# total CPU user time (s): 99.536
# total CPU system time (s): 0.061836
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.196955 second user time and 0.433666 second system time
The end
Begin job on nodeC034 at 2025-06-28 22:57:02
IDJOB=4491768
IDBENCH=147736
IDSOLVER=3372
FILE ID=nodeC034/4491768-1751144221
RUNJOBID= nodeC034-1751144206-14862
SLURM_JOB_ID= 9587439
Free space on /tmp= 433020 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491768-1751144221/watcher-4491768-1751144221 -o /tmp/evaluation-result-4491768-1751144221/solver-4491768-1751144221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751144206-14862 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4491768-1751144221.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d06d89796adb8259df968e568daeeb68
RANDOM SEED=1138971555
nodeC034 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.801
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.53
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 : 3606.127
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.53
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 : 3562.530
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.53
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.739
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.53
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.663
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.53
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.480
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.53
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 : 3510.407
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.53
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 : 3597.110
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 128618304 kB
MemAvailable: 128247184 kB
Buffers: 3280 kB
Cached: 422652 kB
SwapCached: 0 kB
Active: 1631864 kB
Inactive: 213856 kB
Active(anon): 1437892 kB
Inactive(anon): 0 kB
Active(file): 193972 kB
Inactive(file): 213856 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 46352 kB
Writeback: 0 kB
AnonPages: 1423008 kB
Mapped: 109320 kB
Shmem: 18104 kB
KReclaimable: 84888 kB
Slab: 168072 kB
SReclaimable: 84888 kB
SUnreclaim: 83184 kB
KernelStack: 4272 kB
PageTables: 5712 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1782868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 313344 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC034 at 2025-06-28 22:58:42