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 409 PB-constraints to clauses...
0.00/0.01 c ============================[ Encoding Statistics ]============================
0.00/0.01 c | Number of variables: 1244 |
0.00/0.01 c | Number of clauses: 12494 |
0.00/0.01 c ===============================================================================
129.99/130.51 c _______________________________________________________________________________
129.99/130.51 c
129.99/130.51 c =======================[ UWrMaxSat resources usage ]===========================
129.99/130.51 c Memory used : 40.00 MB
129.99/130.51 c CPU time : 129.833 s
129.99/130.51 c Constr Enc: Srt/BDD/Add: 1 0 0
129.99/130.51 c _______________________________________________________________________________
129.99/130.51 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 (62070 MiB free)
memory of node 1: 64465 MiB (63956 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516046-1751236431/watcher-4516046-1751236431 -o /tmp/evaluation-result-4516046-1751236431/solver-4516046-1751236431 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751236431-39021 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4516046-1751236431.opb -mem-lim=31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=39070, runsolver pid=39061
[startup+0.100058 s]*
/proc/loadavg: 0.81 2.81 3.66 6/266 39079
/proc/meminfo: memFree=129043128/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=7332 memory=6456 CPUtime=0.09 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 1650 0 0 0 9 0 0 0 20 0 1 0 39320646 7507968 1614 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 1833 1614 544 484 0 1244 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 7332 KiB
Current children cumulated memory: 6456 KiB
[startup+0.204665 s]*
/proc/loadavg: 0.81 2.81 3.66 6/266 39079
/proc/meminfo: memFree=129043128/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=7724 memory=6776 CPUtime=0.2 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 1891 0 0 0 20 0 0 0 20 0 1 0 39320646 7909376 1694 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 1931 1694 544 484 0 1342 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 7724 KiB
Current children cumulated memory: 6776 KiB
[startup+0.30448 s]*
/proc/loadavg: 0.81 2.81 3.66 5/264 39079
/proc/meminfo: memFree=129043128/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=7320 memory=6652 CPUtime=0.3 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 2027 0 0 0 30 0 0 0 20 0 1 0 39320646 7495680 1663 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 1830 1663 544 484 0 1241 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 7320 KiB
Current children cumulated memory: 6652 KiB
[startup+0.700107 s]
/proc/loadavg: 0.81 2.81 3.66 5/262 39087
/proc/meminfo: memFree=129041832/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=8380 memory=7540 CPUtime=0.68 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 2583 0 0 0 67 1 0 0 20 0 1 0 39320646 8581120 1885 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 2095 1885 544 484 0 1506 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 8380 KiB
Current children cumulated memory: 7540 KiB
[startup+1.50011 s]
/proc/loadavg: 0.81 2.81 3.66 5/262 39087
/proc/meminfo: memFree=129037296/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=9160 memory=8388 CPUtime=1.46 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 3637 0 0 0 144 2 0 0 20 0 1 0 39320646 9379840 2097 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 2290 2097 544 484 0 1701 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 9160 KiB
Current children cumulated memory: 8388 KiB
[startup+3.10454 s]
/proc/loadavg: 1.06 2.83 3.66 5/264 39169
/proc/meminfo: memFree=129028064/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=11436 memory=10692 CPUtime=3.04 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 5244 0 0 0 298 6 0 0 20 0 1 0 39320646 11710464 2673 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 2859 2673 544 484 0 2270 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 11436 KiB
Current children cumulated memory: 10692 KiB
[startup+6.3001 s]
/proc/loadavg: 1.06 2.83 3.66 6/266 39259
/proc/meminfo: memFree=129041756/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=12680 memory=11792 CPUtime=6.19 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 8495 0 0 0 608 11 0 0 20 0 1 0 39320646 12984320 2948 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 3170 2948 544 484 0 2581 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 12680 KiB
Current children cumulated memory: 11792 KiB
[startup+12.7001 s]
/proc/loadavg: 1.38 2.87 3.67 6/266 39304
/proc/meminfo: memFree=129029956/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=14928 memory=14132 CPUtime=12.56 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 13151 0 0 0 1242 14 0 0 20 0 1 0 39320646 15286272 3533 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 3732 3533 544 484 0 3143 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 14928 KiB
Current children cumulated memory: 14132 KiB
[startup+25.5001 s]
/proc/loadavg: 1.96 2.92 3.67 6/267 39306
/proc/meminfo: memFree=128998892/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=20256 memory=19388 CPUtime=25.31 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 18458 0 0 0 2517 14 0 0 20 0 1 0 39320646 20742144 4847 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 5064 4847 544 484 0 4475 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 20256 KiB
Current children cumulated memory: 19388 KiB
[startup+51.1047 s]
/proc/loadavg: 2.66 3.01 3.68 6/267 39306
/proc/meminfo: memFree=128959280/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=26076 memory=25220 CPUtime=50.84 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 19404 0 0 0 5069 15 0 0 20 0 1 0 39320646 26701824 6305 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 6519 6305 544 484 0 5930 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 26076 KiB
Current children cumulated memory: 25220 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 3.18 3.71 6/268 39309
/proc/meminfo: memFree=128890624/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=32204 memory=31392 CPUtime=101.88 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 25393 0 0 0 10171 17 0 0 20 0 1 0 39320646 32976896 7848 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 8051 7848 544 484 0 7462 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 32204 KiB
Current children cumulated memory: 31392 KiB
[startup+130.52 s]
# the end of solver process 39070 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=129.833 s, system=0.189447 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 3.46 3.18 3.71 6/268 39309
/proc/meminfo: memFree=128890624/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=32204 memory=31392 CPUtime=101.98 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 25393 0 0 0 10181 17 0 0 20 0 1 0 39320646 32976896 7848 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 8051 7848 544 484 0 7462 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 32204 KiB
Current children cumulated memory: 31392 KiB
[startup+115.2 s]
/proc/loadavg: 3.58 3.22 3.71 6/265 39310
/proc/meminfo: memFree=128904884/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=35332 memory=33668 CPUtime=114.74 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 28491 0 0 0 11456 18 0 0 20 0 1 0 39320646 36179968 8417 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 8833 8417 544 484 0 8244 0
Current children cumulated CPU time: 114.74 s
Current children cumulated vsize: 35332 KiB
Current children cumulated memory: 33668 KiB
[startup+121.6 s]
/proc/loadavg: 3.61 3.23 3.71 6/265 39310
/proc/meminfo: memFree=128903372/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=28760 memory=27948 CPUtime=121.12 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 29107 0 0 0 12094 18 0 0 20 0 1 0 39320646 29450240 6987 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 7190 6987 544 484 0 6601 0
Current children cumulated CPU time: 121.12 s
Current children cumulated vsize: 28760 KiB
Current children cumulated memory: 27948 KiB
[startup+124.8 s]
/proc/loadavg: 3.64 3.25 3.72 6/265 39310
/proc/meminfo: memFree=128895748/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=27800 memory=26860 CPUtime=124.31 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 30319 0 0 0 12413 18 0 0 20 0 1 0 39320646 28467200 6715 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 6950 6715 544 484 0 6361 0
Current children cumulated CPU time: 124.31 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 26860 KiB
[startup+128 s]*
/proc/loadavg: 3.83 3.29 3.73 6/266 39314
/proc/meminfo: memFree=128918652/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=33168 memory=32260 CPUtime=127.5 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 31157 0 0 0 12732 18 0 0 20 0 1 0 39320646 33964032 8065 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 8292 8065 544 484 0 7703 0
Current children cumulated CPU time: 127.5 s
Current children cumulated vsize: 33168 KiB
Current children cumulated memory: 32260 KiB
[startup+129.6 s]
/proc/loadavg: 3.83 3.29 3.73 6/266 39314
/proc/meminfo: memFree=128922828/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=33168 memory=32260 CPUtime=129.09 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 31157 0 0 0 12891 18 0 0 20 0 1 0 39320646 33964032 8065 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 8292 8065 544 484 0 7703 0
Current children cumulated CPU time: 129.09 s
Current children cumulated vsize: 33168 KiB
Current children cumulated memory: 32260 KiB
[startup+130 s]*
/proc/loadavg: 3.83 3.29 3.73 6/266 39314
/proc/meminfo: memFree=128922988/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=33168 memory=32260 CPUtime=129.49 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 31157 0 0 0 12931 18 0 0 20 0 1 0 39320646 33964032 8065 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 8292 8065 544 484 0 7703 0
Current children cumulated CPU time: 129.49 s
Current children cumulated vsize: 33168 KiB
Current children cumulated memory: 32260 KiB
[startup+130.4 s]
/proc/loadavg: 3.83 3.29 3.73 6/266 39314
/proc/meminfo: memFree=128922988/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=33168 memory=32260 CPUtime=129.89 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 31157 0 0 0 12971 18 0 0 20 0 1 0 39320646 33964032 8065 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 8292 8065 544 484 0 7703 0
Current children cumulated CPU time: 129.89 s
Current children cumulated vsize: 33168 KiB
Current children cumulated memory: 32260 KiB
[startup+130.5 s]
/proc/loadavg: 3.83 3.29 3.73 6/266 39314
/proc/meminfo: memFree=128922988/131250000 swapFree=33010684/33010684
[pid=39070] ppid=39061 vsize=33168 memory=32388 CPUtime=129.99 cores=4,6
/proc/39070/stat : 39070 (uwrmaxsat) R 39061 39070 39010 0 -1 4194304 31189 0 0 0 12981 18 0 0 20 0 1 0 39320646 33964032 8097 18446744073709551615 4198400 6176925 140735070478848 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10977280 140735070484842 140735070484969 140735070484969 140735070490571 0
/proc/39070/statm: 8292 8097 544 484 0 7703 0
Current children cumulated CPU time: 129.99 s
Current children cumulated vsize: 33168 KiB
Current children cumulated memory: 32388 KiB
Child status: 20
Real time (s): 130.52
CPU time (s): 130.022
CPU user time (s): 129.833
CPU system time (s): 0.189447
CPU usage (%): 99.6182
Max. virtual memory (cumulated for all children) (KiB): 41248
Max. memory (cumulated for all children) (KiB): 40228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.833
system time used= 0.189447
maximum resident set size= 40228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31189
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= 4
involuntary context switches= 168
# summary of solver processes directly reported to runsolver:
# pid: 39070
# total CPU time (s): 130.022
# total CPU user time (s): 129.833
# total CPU system time (s): 0.189447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.263487 second user time and 0.423124 second system time
The end
Begin job on nodeC016 at 2025-06-30 00:33:51
IDJOB=4516046
IDBENCH=169008
IDSOLVER=3372
FILE ID=nodeC016/4516046-1751236431
RUNJOBID= nodeC016-1751236431-39021
SLURM_JOB_ID= 9587715
Free space on /tmp= 433064 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v2_shuffle/normalized-grid4_51.shuf-3.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516046-1751236431/watcher-4516046-1751236431 -o /tmp/evaluation-result-4516046-1751236431/solver-4516046-1751236431 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751236431-39021 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4516046-1751236431.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bc497e8177732403fc20f4b37a52cb26
RANDOM SEED=1066282617
nodeC016 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.886
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.48
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 : 2863.026
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.48
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.145
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.48
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 : 2623.871
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.48
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 : 3600.279
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.48
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 : 3224.698
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.48
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 : 3599.738
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.48
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 : 1619.946
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129056872 kB
MemAvailable: 129743668 kB
Buffers: 3280 kB
Cached: 1491604 kB
SwapCached: 0 kB
Active: 331524 kB
Inactive: 1235200 kB
Active(anon): 89912 kB
Inactive(anon): 0 kB
Active(file): 241612 kB
Inactive(file): 1235200 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5184 kB
Writeback: 0 kB
AnonPages: 75240 kB
Mapped: 102692 kB
Shmem: 18072 kB
KReclaimable: 98444 kB
Slab: 184636 kB
SReclaimable: 98444 kB
SUnreclaim: 86192 kB
KernelStack: 4056 kB
PageTables: 2372 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 335360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433052 MiB
End job on nodeC016 at 2025-06-30 00:36:02