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 (60621 MiB free)
memory of node 1: 64465 MiB (59382 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519575-1751558570/watcher-4519575-1751558570 -o /tmp/evaluation-result-4519575-1751558570/solver-4519575-1751558570 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751554029-80501 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4519575-1751558570.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=81116, runsolver pid=81113
[startup+0.100065 s]*
/proc/loadavg: 4.16 4.12 4.14 5/265 81117
/proc/meminfo: memFree=122884328/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=11912 memory=10920 CPUtime=0.09 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 2726 0 0 0 9 0 0 0 20 0 1 0 71534491 12197888 2730 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 2978 2730 544 484 0 2389 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 11912 KiB
Current children cumulated memory: 10920 KiB
[startup+0.205604 s]*
/proc/loadavg: 4.16 4.12 4.14 5/265 81117
/proc/meminfo: memFree=122884328/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=13184 memory=12184 CPUtime=0.2 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 3543 0 0 0 20 0 0 0 20 0 1 0 71534491 13500416 3046 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 3296 3046 544 484 0 2707 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 13184 KiB
Current children cumulated memory: 12184 KiB
[startup+0.30545 s]*
/proc/loadavg: 4.16 4.12 4.14 5/265 81117
/proc/meminfo: memFree=122884328/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=14396 memory=13360 CPUtime=0.29 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 4287 0 0 0 29 0 0 0 20 0 1 0 71534491 14741504 3340 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 3599 3340 544 484 0 3010 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14396 KiB
Current children cumulated memory: 13360 KiB
[startup+0.700141 s]
/proc/loadavg: 4.16 4.12 4.14 5/265 81117
/proc/meminfo: memFree=122884328/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=13564 memory=12584 CPUtime=0.69 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 5492 0 0 0 68 1 0 0 20 0 1 0 71534491 13889536 3146 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 3391 3146 544 484 0 2802 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 13564 KiB
Current children cumulated memory: 12584 KiB
[startup+1.50012 s]
/proc/loadavg: 4.16 4.12 4.14 5/265 81117
/proc/meminfo: memFree=122888424/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=14080 memory=13124 CPUtime=1.49 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 8166 0 0 0 148 1 0 0 20 0 1 0 71534491 14417920 3281 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 3520 3281 544 484 0 2931 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 14080 KiB
Current children cumulated memory: 13124 KiB
[startup+3.10535 s]
/proc/loadavg: 4.16 4.12 4.14 5/265 81117
/proc/meminfo: memFree=122888424/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=14472 memory=13576 CPUtime=3.08 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 11725 0 0 0 307 1 0 0 20 0 1 0 71534491 14819328 3394 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 3618 3394 544 484 0 3029 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 14472 KiB
Current children cumulated memory: 13576 KiB
[startup+6.30018 s]
/proc/loadavg: 4.14 4.12 4.14 5/265 81117
/proc/meminfo: memFree=122650224/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=22392 memory=21496 CPUtime=6.27 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 17401 0 0 0 625 2 0 0 20 0 1 0 71534491 22929408 5374 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 5598 5374 544 484 0 5009 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 22392 KiB
Current children cumulated memory: 21496 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.13 5/265 81118
/proc/meminfo: memFree=122882544/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=22892 memory=22136 CPUtime=12.65 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 21587 0 0 0 1262 3 0 0 20 0 1 0 71534491 23441408 5534 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 5723 5534 544 484 0 5134 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 22892 KiB
Current children cumulated memory: 22136 KiB
[startup+25.5001 s]
/proc/loadavg: 4.10 4.11 4.13 5/265 81118
/proc/meminfo: memFree=122803720/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=61180 memory=60292 CPUtime=25.42 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 27141 0 0 0 2536 6 0 0 20 0 1 0 71534491 62648320 15073 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 15295 15073 544 484 0 14706 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 61180 KiB
Current children cumulated memory: 60292 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.12 4.13 5/265 81118
/proc/meminfo: memFree=122411792/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=83456 memory=82564 CPUtime=50.96 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 28146 0 0 0 5090 6 0 0 20 0 1 0 71534491 85458944 20641 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 20864 20641 544 484 0 20275 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 83456 KiB
Current children cumulated memory: 82564 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/265 81120
/proc/meminfo: memFree=122773208/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=78320 memory=77568 CPUtime=102.02 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 31265 0 0 0 10193 9 0 0 20 0 1 0 71534491 80199680 19392 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 19580 19392 544 484 0 18991 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 78320 KiB
Current children cumulated memory: 77568 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/264 81122
/proc/meminfo: memFree=122699240/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=124864 memory=123908 CPUtime=161.86 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 33946 0 0 0 16173 13 0 0 20 0 1 0 71534491 127860736 30977 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 31216 30977 544 484 0 30627 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 124864 KiB
Current children cumulated memory: 123908 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/263 81124
/proc/meminfo: memFree=122644436/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=159772 memory=158908 CPUtime=221.69 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 35689 0 0 0 22154 15 0 0 20 0 1 0 71534491 163606528 39727 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 39943 39727 544 484 0 39354 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 159772 KiB
Current children cumulated memory: 158908 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/263 81126
/proc/meminfo: memFree=122626036/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=158580 memory=157700 CPUtime=281.52 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 40733 0 0 0 28131 21 0 0 20 0 1 0 71534491 162385920 39425 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 39645 39425 544 484 0 39056 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 158580 KiB
Current children cumulated memory: 157700 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/263 81128
/proc/meminfo: memFree=122659276/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=153928 memory=152732 CPUtime=341.36 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 43590 0 0 0 34108 28 0 0 20 0 1 0 71534491 157622272 38183 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 38482 38183 544 484 0 37893 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 153928 KiB
Current children cumulated memory: 152732 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.08 4.10 5/265 81134
/proc/meminfo: memFree=122624860/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=138972 memory=138108 CPUtime=401.19 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 46446 0 0 0 40087 32 0 0 20 0 1 0 71534491 142307328 34527 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 34743 34527 544 484 0 34154 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 138972 KiB
Current children cumulated memory: 138108 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 4.16 4.12 5/265 81136
/proc/meminfo: memFree=122668092/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=141680 memory=140796 CPUtime=461.04 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 47966 0 0 0 46070 34 0 0 20 0 1 0 71534491 145080320 35199 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 35420 35199 544 484 0 34831 0
Current children cumulated CPU time: 461.04 s
################
# More data... #
################
Current children cumulated memory: 265172 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/265 81434
/proc/meminfo: memFree=128468020/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=275300 memory=273520 CPUtime=2854.53 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 160371 0 0 0 285227 226 0 0 20 0 1 0 71534491 281907200 68380 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 68825 68380 544 484 0 68236 0
Current children cumulated CPU time: 2854.53 s
Current children cumulated vsize: 275300 KiB
Current children cumulated memory: 273520 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/264 81436
/proc/meminfo: memFree=128364656/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=318376 memory=316696 CPUtime=2914.36 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 161497 0 0 0 291206 230 0 0 20 0 1 0 71534491 326017024 79174 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 79594 79174 544 484 0 79005 0
Current children cumulated CPU time: 2914.36 s
Current children cumulated vsize: 318376 KiB
Current children cumulated memory: 316696 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/265 81443
/proc/meminfo: memFree=128282700/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=357104 memory=355132 CPUtime=2974.19 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 166982 0 0 0 297180 239 0 0 20 0 1 0 71534491 365674496 88783 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 89276 88783 544 484 0 88687 0
Current children cumulated CPU time: 2974.19 s
Current children cumulated vsize: 357104 KiB
Current children cumulated memory: 355132 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/265 81445
/proc/meminfo: memFree=128218676/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=342948 memory=340976 CPUtime=3034.01 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 168043 0 0 0 303157 244 0 0 20 0 1 0 71534491 351178752 85244 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 85737 85244 544 484 0 85148 0
Current children cumulated CPU time: 3034.01 s
Current children cumulated vsize: 342948 KiB
Current children cumulated memory: 340976 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/264 81447
/proc/meminfo: memFree=128226660/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=324124 memory=322152 CPUtime=3093.84 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 170357 0 0 0 309133 251 0 0 20 0 1 0 71534491 331902976 80538 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 81031 80538 544 484 0 80442 0
Current children cumulated CPU time: 3093.84 s
Current children cumulated vsize: 324124 KiB
Current children cumulated memory: 322152 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 81450
/proc/meminfo: memFree=128152932/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=329540 memory=327568 CPUtime=3153.67 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 171593 0 0 0 315111 256 0 0 20 0 1 0 71534491 337448960 81892 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 82385 81892 544 484 0 81796 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 329540 KiB
Current children cumulated memory: 327568 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/265 81452
/proc/meminfo: memFree=128203076/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=302856 memory=300884 CPUtime=3213.5 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 173609 0 0 0 321087 263 0 0 20 0 1 0 71534491 310124544 75221 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 75714 75221 544 484 0 75125 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 302856 KiB
Current children cumulated memory: 300884 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 81454
/proc/meminfo: memFree=128217552/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=318900 memory=316928 CPUtime=3273.33 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 175523 0 0 0 327064 269 0 0 20 0 1 0 71534491 326553600 79232 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 79725 79232 544 484 0 79136 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 318900 KiB
Current children cumulated memory: 316928 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 81456
/proc/meminfo: memFree=128137876/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=358560 memory=357100 CPUtime=3333.16 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 177490 0 0 0 333040 276 0 0 20 0 1 0 71534491 367165440 89275 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 89640 89275 544 484 0 89051 0
Current children cumulated CPU time: 3333.16 s
Current children cumulated vsize: 358560 KiB
Current children cumulated memory: 357100 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 81458
/proc/meminfo: memFree=128086804/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=366036 memory=362632 CPUtime=3393.02 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 178146 0 0 0 339022 280 0 0 20 0 1 0 71534491 374820864 90658 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 91509 90658 544 484 0 90920 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 366036 KiB
Current children cumulated memory: 362632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 81463
/proc/meminfo: memFree=127991192/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=305948 memory=302972 CPUtime=3452.87 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 180789 0 0 0 344999 288 0 0 20 0 1 0 71534491 313290752 75743 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 76487 75743 544 484 0 75898 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 305948 KiB
Current children cumulated memory: 302972 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 81476
/proc/meminfo: memFree=128088708/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=296604 memory=293500 CPUtime=3512.73 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 181796 0 0 0 350981 292 0 0 20 0 1 0 71534491 303722496 73375 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 74151 73375 544 484 0 73562 0
Current children cumulated CPU time: 3512.73 s
Current children cumulated vsize: 296604 KiB
Current children cumulated memory: 293500 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/264 81483
/proc/meminfo: memFree=128029372/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=345372 memory=342268 CPUtime=3572.58 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 183137 0 0 0 356962 296 0 0 20 0 1 0 71534491 353660928 85567 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 86343 85567 544 484 0 85754 0
Current children cumulated CPU time: 3572.58 s
Current children cumulated vsize: 345372 KiB
Current children cumulated memory: 342268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 81484
/proc/meminfo: memFree=128092364/131249996 swapFree=33006296/33010684
[pid=81116] ppid=81113 vsize=345372 memory=342268 CPUtime=3600.01 cores=4,6
/proc/81116/stat : 81116 (uwrmaxsat) R 81113 81116 80490 0 -1 4194304 183137 0 0 0 359705 296 0 0 20 0 1 0 71534491 353660928 85567 18446744073709551615 4198400 6176925 140734359499296 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26075136 140734359505258 140734359505385 140734359505385 140734359510987 0
/proc/81116/statm: 86343 85567 544 484 0 85754 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 345372 KiB
Current children cumulated memory: 342268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 81116 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3597.06 s, system=2.96131 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.8
CPU time (s): 3600.02
CPU user time (s): 3597.06
CPU system time (s): 2.96131
CPU usage (%): 99.729
Max. virtual memory (cumulated for all children) (KiB): 513576
Max. memory (cumulated for all children) (KiB): 503428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.06
system time used= 2.96131
maximum resident set size= 510596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183143
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= 47
involuntary context switches= 3157
# summary of solver processes directly reported to runsolver:
# pid: 81116
# total CPU time (s): 3600.02
# total CPU user time (s): 3597.06
# total CPU system time (s): 2.96131
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54265 second user time and 14.8904 second system time
The end
Begin job on nodeC015 at 2025-07-03 18:02:50
IDJOB=4519575
IDBENCH=177275
IDSOLVER=3372
FILE ID=nodeC015/4519575-1751558570
RUNJOBID= nodeC015-1751554029-80501
SLURM_JOB_ID= 9598741
Free space on /tmp= 432280 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519575-1751558570/watcher-4519575-1751558570 -o /tmp/evaluation-result-4519575-1751558570/solver-4519575-1751558570 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751554029-80501 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4519575-1751558570.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c7d48d7b52922a8c66e4a5b5da991f51
RANDOM SEED=44676589
nodeC015 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 : 3600.052
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 : 7000.14
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.995
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 : 7000.14
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 : 3600.020
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 : 7000.14
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 : 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 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 : 7000.14
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.010
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 : 7000.14
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 : 3600.100
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.072
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 : 7000.14
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 : 3615.920
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 122884328 kB
MemAvailable: 123603920 kB
Buffers: 1508 kB
Cached: 1502688 kB
SwapCached: 3880 kB
Active: 6393932 kB
Inactive: 1264836 kB
Active(anon): 6119916 kB
Inactive(anon): 48808 kB
Active(file): 274016 kB
Inactive(file): 1216028 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2596 kB
Writeback: 0 kB
AnonPages: 6152072 kB
Mapped: 107008 kB
Shmem: 14152 kB
KReclaimable: 137572 kB
Slab: 228252 kB
SReclaimable: 137572 kB
SUnreclaim: 90680 kB
KernelStack: 4272 kB
PageTables: 15056 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 6980124 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3467264 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432360 MiB
End job on nodeC015 at 2025-07-03 19:03:00