1.79/1.82 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.79/1.82 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
542.49/544.17 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
542.57/544.21 c Starting SCIP solver (with time-limit = 1800s) ...
2337.98/2344.22 c SCIP timeout with lower and upper bounds: [1992, 9223372036854775807]
3600.07/3609.40 s UNKNOWN
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: 63794 MiB (62046 MiB free)
memory of node 1: 64507 MiB (63826 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486860-1751328024/watcher-4486860-1751328024 -o /tmp/evaluation-result-4486860-1751328024/solver-4486860-1751328024 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751327994-48435 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4486860-1751328024.opb -total-t=3600 -no-par -v0
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
solver pid=48672, runsolver pid=48669
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 2.27 2.35 3.61 5/251 48673
/proc/meminfo: memFree=128887868/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=30036 memory=11648 CPUtime=0.1 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 2280 0 0 0 9 1 0 0 20 0 1 0 48482090 30756864 2912 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 7509 2912 736 2416 0 4611 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30036 KiB
Current children cumulated memory: 11648 KiB
[startup+0.213511 s]*
/proc/loadavg: 2.27 2.35 3.61 5/251 48673
/proc/meminfo: memFree=128873756/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=37396 memory=18944 CPUtime=0.21 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 4118 0 0 0 20 1 0 0 20 0 1 0 48482090 38293504 4736 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 9349 4736 736 2416 0 6451 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37396 KiB
Current children cumulated memory: 18944 KiB
[startup+0.313262 s]*
/proc/loadavg: 2.27 2.35 3.61 5/251 48673
/proc/meminfo: memFree=128873756/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=44204 memory=25600 CPUtime=0.32 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 5787 0 0 0 30 2 0 0 20 0 1 0 48482090 45264896 6400 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 11051 6400 736 2416 0 8153 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 44204 KiB
Current children cumulated memory: 25600 KiB
[startup+0.700297 s]
/proc/loadavg: 2.27 2.35 3.61 5/251 48673
/proc/meminfo: memFree=128857628/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=71228 memory=52736 CPUtime=0.69 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 12558 0 0 0 65 4 0 0 20 0 1 0 48482090 72937472 13184 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 17807 13184 736 2416 0 14909 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71228 KiB
Current children cumulated memory: 52736 KiB
[startup+1.5003 s]
/proc/loadavg: 2.27 2.35 3.61 5/251 48673
/proc/meminfo: memFree=128841500/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=80216 memory=64812 CPUtime=1.49 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 15735 0 0 0 144 5 0 0 20 0 1 0 48482090 82141184 16203 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 20054 16203 800 2416 0 17156 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 80216 KiB
Current children cumulated memory: 64812 KiB
[startup+3.11324 s]
/proc/loadavg: 2.41 2.38 3.62 5/251 48673
/proc/meminfo: memFree=128813336/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=87396 memory=72808 CPUtime=3.09 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 17189 0 0 0 304 5 0 0 20 0 1 0 48482090 89493504 18202 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 21849 18202 800 2416 0 18951 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 87396 KiB
Current children cumulated memory: 72808 KiB
[startup+6.30031 s]
/proc/loadavg: 2.41 2.38 3.62 5/251 48673
/proc/meminfo: memFree=128784916/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=117848 memory=103832 CPUtime=6.27 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 18678 0 0 0 621 6 0 0 20 0 1 0 48482090 120676352 25958 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 29462 25958 800 2416 0 26564 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 117848 KiB
Current children cumulated memory: 103832 KiB
[startup+12.7003 s]
/proc/loadavg: 2.73 2.45 3.63 5/251 48673
/proc/meminfo: memFree=128770492/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=117848 memory=103832 CPUtime=12.66 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 20360 0 0 0 1256 10 0 0 20 0 1 0 48482090 120676352 25958 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 29462 25958 800 2416 0 26564 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 117848 KiB
Current children cumulated memory: 103832 KiB
[startup+25.5003 s]
/proc/loadavg: 2.93 2.50 3.63 5/251 48673
/proc/meminfo: memFree=128742644/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=117848 memory=103832 CPUtime=25.42 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 23369 0 0 0 2526 16 0 0 20 0 1 0 48482090 120676352 25958 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 29462 25958 800 2416 0 26564 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 117848 KiB
Current children cumulated memory: 103832 KiB
[startup+51.1132 s]
/proc/loadavg: 3.29 2.62 3.64 5/252 48690
/proc/meminfo: memFree=128741960/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=167168 memory=131728 CPUtime=50.96 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 29097 0 0 0 5068 28 0 0 20 0 1 0 48482090 171180032 32932 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 41792 32932 800 2416 0 38894 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 167168 KiB
Current children cumulated memory: 131728 KiB
[startup+102.3 s]
/proc/loadavg: 3.83 2.89 3.67 5/253 48695
/proc/meminfo: memFree=128622040/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=167420 memory=142220 CPUtime=102.03 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 38840 0 0 0 10152 51 0 0 20 0 1 0 48482090 171438080 35555 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 41855 35555 800 2416 0 38957 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 167420 KiB
Current children cumulated memory: 142220 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 3.11 3.70 5/252 48701
/proc/meminfo: memFree=128534776/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=129772 memory=115756 CPUtime=161.87 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 49428 0 0 0 16113 74 0 0 20 0 1 0 48482090 132886528 28939 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 32443 28939 800 2416 0 29545 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 129772 KiB
Current children cumulated memory: 115756 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.27 3.73 5/253 49423
/proc/meminfo: memFree=128741788/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=129772 memory=115756 CPUtime=221.51 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 58614 0 0 0 22034 117 0 0 20 0 1 0 48482090 132886528 28939 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 32443 28939 800 2416 0 29545 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 129772 KiB
Current children cumulated memory: 115756 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.42 3.75 5/253 49559
/proc/meminfo: memFree=128685012/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=148448 memory=134432 CPUtime=281.32 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 70937 0 0 0 27987 145 0 0 20 0 1 0 48482090 152010752 33608 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 37112 33608 800 2416 0 34214 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 148448 KiB
Current children cumulated memory: 134432 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.55 3.77 5/251 49560
/proc/meminfo: memFree=128633528/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=148448 memory=134432 CPUtime=341.17 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 80028 0 0 0 33953 164 0 0 20 0 1 0 48482090 152010752 33608 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 37112 33608 800 2416 0 34214 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 148448 KiB
Current children cumulated memory: 134432 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.64 3.80 5/251 49562
/proc/meminfo: memFree=128628248/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=148448 memory=134432 CPUtime=401.03 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 86406 0 0 0 39924 179 0 0 20 0 1 0 48482090 152010752 33608 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 37112 33608 800 2416 0 34214 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 148448 KiB
Current children cumulated memory: 134432 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.73 3.82 5/251 49564
/proc/meminfo: memFree=128580444/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=197768 memory=182808 CPUtime=460.88 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 99815 0 0 0 45883 205 0 0 20 0 1 0 48482090 202514432 45702 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 49442 45702 800 2416 0 46544 0
################
# More data... #
################
Current children cumulated memory: 1344500 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/251 49681
/proc/meminfo: memFree=127652320/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=2236468 memory=1344500 CPUtime=2854.87 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 285325 0 0 0 285213 274 0 0 20 0 1 0 48482090 2290143232 336125 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 559117 336125 2528 2416 0 556219 0
Current children cumulated CPU time: 2854.87 s
Current children cumulated vsize: 2236468 KiB
Current children cumulated memory: 1344500 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.05 5/249 49683
/proc/meminfo: memFree=127651320/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=2236468 memory=1344500 CPUtime=2914.72 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 285411 0 0 0 291198 274 0 0 20 0 1 0 48482090 2290143232 336125 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 559117 336125 2528 2416 0 556219 0
Current children cumulated CPU time: 2914.72 s
Current children cumulated vsize: 2236468 KiB
Current children cumulated memory: 1344500 KiB
[startup+2982.3 s]
/proc/loadavg: 4.44 4.17 4.08 5/250 49686
/proc/meminfo: memFree=127652084/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=2236468 memory=1344500 CPUtime=2974.57 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 285464 0 0 0 297183 274 0 0 20 0 1 0 48482090 2290143232 336125 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 559117 336125 2528 2416 0 556219 0
Current children cumulated CPU time: 2974.57 s
Current children cumulated vsize: 2236468 KiB
Current children cumulated memory: 1344500 KiB
[startup+3042.3 s]
/proc/loadavg: 4.62 4.29 4.13 5/251 49691
/proc/meminfo: memFree=127650884/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=2236468 memory=1344500 CPUtime=3034.43 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 285561 0 0 0 303169 274 0 0 20 0 1 0 48482090 2290143232 336125 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 559117 336125 2528 2416 0 556219 0
Current children cumulated CPU time: 3034.43 s
Current children cumulated vsize: 2236468 KiB
Current children cumulated memory: 1344500 KiB
[startup+3102.3 s]
/proc/loadavg: 4.27 4.25 4.12 5/251 49693
/proc/meminfo: memFree=127651592/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=2236468 memory=1344500 CPUtime=3094.28 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 285591 0 0 0 309154 274 0 0 20 0 1 0 48482090 2290143232 336125 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 559117 336125 2528 2416 0 556219 0
Current children cumulated CPU time: 3094.28 s
Current children cumulated vsize: 2236468 KiB
Current children cumulated memory: 1344500 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.23 4.12 5/251 49697
/proc/meminfo: memFree=127651420/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=2236468 memory=1344500 CPUtime=3154.14 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 285752 0 0 0 315140 274 0 0 20 0 1 0 48482090 2290143232 336125 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 559117 336125 2528 2416 0 556219 0
Current children cumulated CPU time: 3154.14 s
Current children cumulated vsize: 2236468 KiB
Current children cumulated memory: 1344500 KiB
[startup+3222.3 s]
/proc/loadavg: 4.69 4.36 4.18 5/251 49703
/proc/meminfo: memFree=127663080/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=2236468 memory=1344500 CPUtime=3213.99 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 285778 0 0 0 321125 274 0 0 20 0 1 0 48482090 2290143232 336125 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 559117 336125 2528 2416 0 556219 0
Current children cumulated CPU time: 3213.99 s
Current children cumulated vsize: 2236468 KiB
Current children cumulated memory: 1344500 KiB
[startup+3282.3 s]
/proc/loadavg: 4.47 4.37 4.19 5/250 49705
/proc/meminfo: memFree=127645092/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=2236468 memory=1344500 CPUtime=3273.85 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 285902 0 0 0 327111 274 0 0 20 0 1 0 48482090 2290143232 336125 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 559117 336125 2528 2416 0 556219 0
Current children cumulated CPU time: 3273.85 s
Current children cumulated vsize: 2236468 KiB
Current children cumulated memory: 1344500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.31 4.18 5/250 49708
/proc/meminfo: memFree=127645076/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=2236468 memory=1344500 CPUtime=3333.7 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 285958 0 0 0 333096 274 0 0 20 0 1 0 48482090 2290143232 336125 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 559117 336125 2528 2416 0 556219 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 2236468 KiB
Current children cumulated memory: 1344500 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.27 4.17 5/251 49711
/proc/meminfo: memFree=127609148/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=2236468 memory=1387508 CPUtime=3393.56 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 286170 0 0 0 339081 275 0 0 20 0 1 0 48482090 2290143232 346877 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 559117 346877 2528 2416 0 556219 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 2236468 KiB
Current children cumulated memory: 1387508 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.23 4.17 5/251 49713
/proc/meminfo: memFree=127604052/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=2236468 memory=1387508 CPUtime=3453.42 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 286201 0 0 0 345067 275 0 0 20 0 1 0 48482090 2290143232 346877 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 559117 346877 2528 2416 0 556219 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 2236468 KiB
Current children cumulated memory: 1387508 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.20 4.16 5/251 49715
/proc/meminfo: memFree=127605024/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=2236468 memory=1387508 CPUtime=3513.27 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 286348 0 0 0 351052 275 0 0 20 0 1 0 48482090 2290143232 346877 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 559117 346877 2528 2416 0 556219 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 2236468 KiB
Current children cumulated memory: 1387508 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.19 4.16 5/251 49732
/proc/meminfo: memFree=128292708/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=2236468 memory=1387508 CPUtime=3573.12 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 286383 0 0 0 357036 276 0 0 20 0 1 0 48482090 2290143232 346877 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 559117 346877 2528 2416 0 556219 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 2236468 KiB
Current children cumulated memory: 1387508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 3.98 4.15 4.15 5/251 50169
/proc/meminfo: memFree=127873084/131382116 swapFree=33010684/33010684
[pid=48672] ppid=48669 vsize=2236468 memory=1387508 CPUtime=3600.07 cores=1,3
/proc/48672/stat : 48672 (CASHWMaxSAT-Dis) R 48669 48672 48423 0 -1 4194304 286384 0 0 0 359724 283 0 0 20 0 1 0 48482090 2290143232 346877 18446744073709551615 4198400 14093885 140726295547280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53706752 140726295550314 140726295550429 140726295550429 140726295556031 0
/proc/48672/statm: 559117 346877 2528 2416 0 556219 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2236468 KiB
Current children cumulated memory: 1387508 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 48672 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.24 s, system=2.84007 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.4
CPU time (s): 3600.08
CPU user time (s): 3597.24
CPU system time (s): 2.84007
CPU usage (%): 99.7417
Max. virtual memory (cumulated for all children) (KiB): 2842212
Max. memory (cumulated for all children) (KiB): 1765220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.24
system time used= 2.84007
maximum resident set size= 1765220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286384
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= 61
involuntary context switches= 2629
# summary of solver processes directly reported to runsolver:
# pid: 48672
# total CPU time (s): 3600.08
# total CPU user time (s): 3597.24
# total CPU system time (s): 2.84007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.183 second user time and 35.195 second system time
The end
Begin job on nodeC011 at 2025-07-01 02:00:24
IDJOB=4486860
IDBENCH=147077
IDSOLVER=3323
FILE ID=nodeC011/4486860-1751328024
RUNJOBID= nodeC011-1751327994-48435
SLURM_JOB_ID= 9594372
Free space on /tmp= 433012 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.18.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486860-1751328024/watcher-4486860-1751328024 -o /tmp/evaluation-result-4486860-1751328024/solver-4486860-1751328024 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751327994-48435 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4486860-1751328024.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 95947120f800d2178fb6b614b0e3950b
RANDOM SEED=117046351
nodeC011 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 : 0xb00001f
cpu MHz : 3640.723
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 pti 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 : 6984.20
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 : 1197.286
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 pti 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 : 6984.20
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.429
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 pti 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 : 6984.20
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 : 3700.000
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 pti 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 : 6984.20
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 : 3574.222
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 pti 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 : 6984.20
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 : 3662.773
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 pti 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 : 6984.20
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 : 3700.000
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 pti 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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.861
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 pti 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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 128893728 kB
MemAvailable: 128811276 kB
Buffers: 3280 kB
Cached: 725388 kB
SwapCached: 0 kB
Active: 1514980 kB
Inactive: 426388 kB
Active(anon): 1230660 kB
Inactive(anon): 0 kB
Active(file): 284320 kB
Inactive(file): 426388 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 56940 kB
Writeback: 0 kB
AnonPages: 1215832 kB
Mapped: 125908 kB
Shmem: 17960 kB
KReclaimable: 92548 kB
Slab: 174088 kB
SReclaimable: 92548 kB
SUnreclaim: 81540 kB
KernelStack: 4048 kB
PageTables: 5416 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1687324 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 350208 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC011 at 2025-07-01 03:00:33