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 (61592 MiB free)
memory of node 1: 64465 MiB (63318 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519023-1751547573/watcher-4519023-1751547573 -o /tmp/evaluation-result-4519023-1751547573/solver-4519023-1751547573 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751543957-74339 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4519023-1751547573.opb -mem-lim=31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=74860, runsolver pid=74857
[startup+0.100069 s]*
/proc/loadavg: 4.07 4.08 4.02 5/265 74861
/proc/meminfo: memFree=127901616/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=17192 memory=15856 CPUtime=0.09 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 4048 0 0 0 9 0 0 0 20 0 1 0 70434838 17604608 3964 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 4298 3964 544 484 0 3709 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 17192 KiB
Current children cumulated memory: 15856 KiB
[startup+0.20559 s]*
/proc/loadavg: 4.07 4.08 4.02 5/265 74861
/proc/meminfo: memFree=127899628/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=18280 memory=16952 CPUtime=0.2 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 4582 0 0 0 20 0 0 0 20 0 1 0 70434838 18718720 4238 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 4570 4238 544 484 0 3981 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 18280 KiB
Current children cumulated memory: 16952 KiB
[startup+0.305515 s]*
/proc/loadavg: 4.07 4.08 4.02 5/265 74861
/proc/meminfo: memFree=127899628/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=17548 memory=16228 CPUtime=0.29 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 5153 0 0 0 29 0 0 0 20 0 1 0 70434838 17969152 4057 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 4387 4057 544 484 0 3798 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 17548 KiB
Current children cumulated memory: 16228 KiB
[startup+0.700193 s]
/proc/loadavg: 4.07 4.08 4.02 5/265 74861
/proc/meminfo: memFree=127899636/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=19968 memory=18496 CPUtime=0.68 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 6740 0 0 0 68 0 0 0 20 0 1 0 70434838 20447232 4624 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 4992 4624 544 484 0 4403 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 19968 KiB
Current children cumulated memory: 18496 KiB
[startup+1.50018 s]
/proc/loadavg: 4.07 4.08 4.02 5/265 74861
/proc/meminfo: memFree=127894848/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=20224 memory=18732 CPUtime=1.49 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 7638 0 0 0 148 1 0 0 20 0 1 0 70434838 20709376 4683 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 5056 4683 544 484 0 4467 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 20224 KiB
Current children cumulated memory: 18732 KiB
[startup+3.10531 s]
/proc/loadavg: 4.14 4.09 4.02 5/265 74861
/proc/meminfo: memFree=127894952/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=21840 memory=20396 CPUtime=3.08 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 8050 0 0 0 307 1 0 0 20 0 1 0 70434838 22364160 5099 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 5460 5099 544 484 0 4871 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 20396 KiB
[startup+6.30017 s]
/proc/loadavg: 4.14 4.09 4.02 5/265 74861
/proc/meminfo: memFree=127869184/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=24608 memory=23092 CPUtime=6.26 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 10660 0 0 0 625 1 0 0 20 0 1 0 70434838 25198592 5773 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 6152 5773 544 484 0 5563 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 24608 KiB
Current children cumulated memory: 23092 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.09 4.02 5/265 74861
/proc/meminfo: memFree=127860988/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=25396 memory=23940 CPUtime=12.65 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 14174 0 0 0 1263 2 0 0 20 0 1 0 70434838 26005504 5985 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 6349 5985 544 484 0 5760 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 25396 KiB
Current children cumulated memory: 23940 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.02 5/265 74861
/proc/meminfo: memFree=127874884/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=31996 memory=30544 CPUtime=25.41 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 18327 0 0 0 2538 3 0 0 20 0 1 0 70434838 32763904 7636 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 7999 7636 544 484 0 7410 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 30544 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 4.10 4.02 5/265 74862
/proc/meminfo: memFree=127840300/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=31096 memory=29652 CPUtime=50.94 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 20715 0 0 0 5090 4 0 0 20 0 1 0 70434838 31842304 7413 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 7774 7413 544 484 0 7185 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 31096 KiB
Current children cumulated memory: 29652 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/265 74875
/proc/meminfo: memFree=127808380/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=48640 memory=47196 CPUtime=101.97 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 26452 0 0 0 10191 6 0 0 20 0 1 0 70434838 49807360 11799 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 12160 11799 544 484 0 11571 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 48640 KiB
Current children cumulated memory: 47196 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/266 74882
/proc/meminfo: memFree=127789120/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=53824 memory=52384 CPUtime=161.79 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 30678 0 0 0 16171 8 0 0 20 0 1 0 70434838 55115776 13096 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 13456 13096 544 484 0 12867 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 53824 KiB
Current children cumulated memory: 52384 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.09 4.02 5/266 74885
/proc/meminfo: memFree=127744260/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=46444 memory=44944 CPUtime=221.62 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 38113 0 0 0 22151 11 0 0 20 0 1 0 70434838 47558656 11236 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 11611 11236 544 484 0 11022 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 46444 KiB
Current children cumulated memory: 44944 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/265 74887
/proc/meminfo: memFree=127732948/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=67716 memory=66840 CPUtime=281.45 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 42327 0 0 0 28132 13 0 0 20 0 1 0 70434838 69341184 16710 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 16929 16710 544 484 0 16340 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 67716 KiB
Current children cumulated memory: 66840 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.07 4.02 5/265 74892
/proc/meminfo: memFree=127721168/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=87296 memory=86364 CPUtime=341.28 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 46737 0 0 0 34113 15 0 0 20 0 1 0 70434838 89391104 21591 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 21824 21591 544 484 0 21235 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 87296 KiB
Current children cumulated memory: 86364 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/265 74894
/proc/meminfo: memFree=127733100/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=89104 memory=88212 CPUtime=401.12 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 50413 0 0 0 40095 17 0 0 20 0 1 0 70434838 91242496 22053 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 22276 22053 544 484 0 21687 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 89104 KiB
Current children cumulated memory: 88212 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/264 74896
/proc/meminfo: memFree=127740380/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=65036 memory=63204 CPUtime=460.95 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 52011 0 0 0 46076 19 0 0 20 0 1 0 70434838 66596864 15801 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 16259 15801 544 484 0 15670 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
Current children cumulated memory: 123032 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 75064
/proc/meminfo: memFree=127662100/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=127184 memory=124340 CPUtime=2914.05 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 106192 0 0 0 291329 76 0 0 20 0 1 0 70434838 130236416 31085 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 31796 31085 544 484 0 31207 0
Current children cumulated CPU time: 2914.05 s
Current children cumulated vsize: 127184 KiB
Current children cumulated memory: 124340 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 75066
/proc/meminfo: memFree=127655484/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=129008 memory=128212 CPUtime=2973.87 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 107541 0 0 0 297309 78 0 0 20 0 1 0 70434838 132104192 32053 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 32252 32053 544 484 0 31663 0
Current children cumulated CPU time: 2973.87 s
Current children cumulated vsize: 129008 KiB
Current children cumulated memory: 128212 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 75069
/proc/meminfo: memFree=127631820/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=127136 memory=126340 CPUtime=3033.7 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 108988 0 0 0 303290 80 0 0 20 0 1 0 70434838 130187264 31585 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 31784 31585 544 484 0 31195 0
Current children cumulated CPU time: 3033.7 s
Current children cumulated vsize: 127136 KiB
Current children cumulated memory: 126340 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 75072
/proc/meminfo: memFree=127608036/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=128252 memory=127456 CPUtime=3093.52 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 110153 0 0 0 309270 82 0 0 20 0 1 0 70434838 131330048 31864 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 32063 31864 544 484 0 31474 0
Current children cumulated CPU time: 3093.52 s
Current children cumulated vsize: 128252 KiB
Current children cumulated memory: 127456 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 75075
/proc/meminfo: memFree=127616608/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=126228 memory=125432 CPUtime=3153.35 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 111150 0 0 0 315252 83 0 0 20 0 1 0 70434838 129257472 31358 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 31557 31358 544 484 0 30968 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 126228 KiB
Current children cumulated memory: 125432 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 75081
/proc/meminfo: memFree=127614460/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=129760 memory=128776 CPUtime=3213.19 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 112403 0 0 0 321233 86 0 0 20 0 1 0 70434838 132874240 32194 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 32440 32194 544 484 0 31851 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 129760 KiB
Current children cumulated memory: 128776 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 75083
/proc/meminfo: memFree=127634416/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=128420 memory=127560 CPUtime=3273.01 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 113319 0 0 0 327214 87 0 0 20 0 1 0 70434838 131502080 31890 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 32105 31890 544 484 0 31516 0
Current children cumulated CPU time: 3273.01 s
Current children cumulated vsize: 128420 KiB
Current children cumulated memory: 127560 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 75084
/proc/meminfo: memFree=127632348/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=129648 memory=128788 CPUtime=3332.84 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 114712 0 0 0 333195 89 0 0 20 0 1 0 70434838 132759552 32197 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 32412 32197 544 484 0 31823 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 129648 KiB
Current children cumulated memory: 128788 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 75089
/proc/meminfo: memFree=127623596/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=129220 memory=128360 CPUtime=3392.66 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 115713 0 0 0 339175 91 0 0 20 0 1 0 70434838 132321280 32090 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 32305 32090 544 484 0 31716 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 129220 KiB
Current children cumulated memory: 128360 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/264 75091
/proc/meminfo: memFree=127621616/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=128548 memory=127688 CPUtime=3452.48 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 116834 0 0 0 345155 93 0 0 20 0 1 0 70434838 131633152 31922 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 32137 31922 544 484 0 31548 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 128548 KiB
Current children cumulated memory: 127688 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 75094
/proc/meminfo: memFree=127609596/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=132028 memory=131168 CPUtime=3512.31 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 119201 0 0 0 351135 96 0 0 20 0 1 0 70434838 135196672 32792 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 33007 32792 544 484 0 32418 0
Current children cumulated CPU time: 3512.31 s
Current children cumulated vsize: 132028 KiB
Current children cumulated memory: 131168 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 75096
/proc/meminfo: memFree=127601772/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=132948 memory=132088 CPUtime=3572.13 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 120083 0 0 0 357116 97 0 0 20 0 1 0 70434838 136138752 33022 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 33237 33022 544 484 0 32648 0
Current children cumulated CPU time: 3572.13 s
Current children cumulated vsize: 132948 KiB
Current children cumulated memory: 132088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 3.96 4.07 4.08 3/252 75160
/proc/meminfo: memFree=127870028/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=132956 memory=132096 CPUtime=3600.05 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 120266 0 0 0 359907 98 0 0 20 0 1 0 70434838 136146944 33024 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 33239 33024 544 484 0 32650 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 132956 KiB
Current children cumulated memory: 132096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 74860 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.08 s, system=0.989707 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 3.96 4.07 4.08 3/252 75160
/proc/meminfo: memFree=127870028/131250000 swapFree=33007332/33010684
[pid=74860] ppid=74857 vsize=132956 memory=132096 CPUtime=3600.05 cores=0,2
/proc/74860/stat : 74860 (uwrmaxsat) R 74857 74860 73607 0 -1 4194304 120266 0 0 0 359907 98 0 0 20 0 1 0 70434838 136146944 33024 18446744073709551615 4198400 6176925 140735879557296 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12943360 140735879563626 140735879563753 140735879563753 140735879569355 0
/proc/74860/statm: 33239 33024 544 484 0 32650 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 132956 KiB
Current children cumulated memory: 132096 KiB
Child status: 10
Real time (s): 3610.3
CPU time (s): 3600.07
CPU user time (s): 3599.08
CPU system time (s): 0.989707
CPU usage (%): 99.7166
Max. virtual memory (cumulated for all children) (KiB): 207900
Max. memory (cumulated for all children) (KiB): 207004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.08
system time used= 0.989707
maximum resident set size= 207004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120273
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= 20
involuntary context switches= 4582
# summary of solver processes directly reported to runsolver:
# pid: 74860
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.08
# total CPU system time (s): 0.989707
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78503 second user time and 16.1529 second system time
The end
Begin job on nodeC019 at 2025-07-03 14:59:33
IDJOB=4519023
IDBENCH=177142
IDSOLVER=3372
FILE ID=nodeC019/4519023-1751547573
RUNJOBID= nodeC019-1751543957-74339
SLURM_JOB_ID= 9598697
Free space on /tmp= 431636 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_26.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519023-1751547573/watcher-4519023-1751547573 -o /tmp/evaluation-result-4519023-1751547573/solver-4519023-1751547573 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751543957-74339 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4519023-1751547573.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= eab24ff23fe5100b8f4d0b18077a7ab6
RANDOM SEED=1727939963
nodeC019 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 : 3549.493
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.752
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.37
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.687
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.37
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 : 3509.976
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.37
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.684
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.37
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.686
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.37
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.651
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.37
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 : 3700.000
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127909176 kB
MemAvailable: 129490380 kB
Buffers: 904 kB
Cached: 2383740 kB
SwapCached: 440 kB
Active: 475404 kB
Inactive: 2238104 kB
Active(anon): 316328 kB
Inactive(anon): 27736 kB
Active(file): 159076 kB
Inactive(file): 2210368 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5292 kB
Writeback: 0 kB
AnonPages: 331568 kB
Mapped: 110560 kB
Shmem: 15192 kB
KReclaimable: 101996 kB
Slab: 190676 kB
SReclaimable: 101996 kB
SUnreclaim: 88680 kB
KernelStack: 4244 kB
PageTables: 3456 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 665836 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 223232 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431640 MiB
End job on nodeC019 at 2025-07-03 15:59:44