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: 63837 MiB (63007 MiB free)
memory of node 1: 64465 MiB (61667 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516737-1751236703/watcher-4516737-1751236703 -o /tmp/evaluation-result-4516737-1751236703/solver-4516737-1751236703 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751229288-36059 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4516737-1751236703.opb -total-t=3600 -no-par -v0
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
solver pid=37375, runsolver pid=37372
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.10 4.12 4.14 5/251 37376
/proc/meminfo: memFree=127666468/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=30428 memory=11904 CPUtime=0.11 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 2388 0 0 0 10 1 0 0 20 0 1 0 39349455 31158272 2976 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 7607 2976 736 2416 0 4709 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 30428 KiB
Current children cumulated memory: 11904 KiB
[startup+0.213081 s]*
/proc/loadavg: 4.10 4.12 4.14 5/251 37376
/proc/meminfo: memFree=127658656/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=36720 memory=17792 CPUtime=0.21 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 3867 0 0 0 20 1 0 0 20 0 1 0 39349455 37601280 4448 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 9180 4448 736 2416 0 6282 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36720 KiB
Current children cumulated memory: 17792 KiB
[startup+0.313065 s]*
/proc/loadavg: 4.10 4.12 4.14 5/251 37376
/proc/meminfo: memFree=127650812/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=42040 memory=23108 CPUtime=0.32 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 5617 0 0 0 30 2 0 0 20 0 1 0 39349455 43048960 5777 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 10510 5777 768 2416 0 7612 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 23108 KiB
[startup+0.700306 s]
/proc/loadavg: 4.10 4.12 4.14 5/251 37376
/proc/meminfo: memFree=127639220/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=59104 memory=40544 CPUtime=0.69 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 10619 0 0 0 66 3 0 0 20 0 1 0 39349455 60522496 10136 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 14776 10136 768 2416 0 11878 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59104 KiB
Current children cumulated memory: 40544 KiB
[startup+1.50027 s]
/proc/loadavg: 4.10 4.12 4.14 5/251 37376
/proc/meminfo: memFree=127637708/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=62880 memory=44808 CPUtime=1.48 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 12181 0 0 0 145 3 0 0 20 0 1 0 39349455 64389120 11170 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 15720 11202 800 2416 0 12822 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62880 KiB
Current children cumulated memory: 44808 KiB
[startup+3.11305 s]
/proc/loadavg: 4.10 4.12 4.14 5/251 37376
/proc/meminfo: memFree=127630084/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=72676 memory=53348 CPUtime=3.09 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 13833 0 0 0 305 4 0 0 20 0 1 0 39349455 74420224 13337 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 18169 13337 800 2416 0 15271 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 72676 KiB
Current children cumulated memory: 53348 KiB
[startup+6.30027 s]
/proc/loadavg: 4.09 4.12 4.14 5/251 37376
/proc/meminfo: memFree=127616472/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=87724 memory=68792 CPUtime=6.27 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 15156 0 0 0 622 5 0 0 20 0 1 0 39349455 89829376 17198 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 21931 17198 800 2416 0 19033 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 87724 KiB
Current children cumulated memory: 68792 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.12 4.14 5/251 37376
/proc/meminfo: memFree=127527752/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=119880 memory=94384 CPUtime=12.65 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 17707 0 0 0 1259 6 0 0 20 0 1 0 39349455 122757120 23596 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 29970 23596 800 2416 0 27072 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 119880 KiB
Current children cumulated memory: 94384 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.13 4.14 5/251 37376
/proc/meminfo: memFree=127488248/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=167908 memory=143532 CPUtime=25.42 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 21192 0 0 0 2534 8 0 0 20 0 1 0 39349455 171937792 35883 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 41977 35883 800 2416 0 39079 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 167908 KiB
Current children cumulated memory: 143532 KiB
[startup+51.113 s]
/proc/loadavg: 4.09 4.12 4.14 5/251 37377
/proc/meminfo: memFree=127388076/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=195116 memory=175912 CPUtime=50.97 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 23395 0 0 0 5086 11 0 0 20 0 1 0 39349455 199798784 43978 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 48779 43978 800 2416 0 45881 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 195116 KiB
Current children cumulated memory: 175912 KiB
[startup+102.3 s]
/proc/loadavg: 4.61 4.25 4.18 5/252 37381
/proc/meminfo: memFree=127282664/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=268972 memory=250588 CPUtime=102.02 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 25351 0 0 0 10189 13 0 0 20 0 1 0 39349455 275427328 62647 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 67243 62647 800 2416 0 64345 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 268972 KiB
Current children cumulated memory: 250588 KiB
[startup+162.3 s]
/proc/loadavg: 4.46 4.29 4.20 5/252 37383
/proc/meminfo: memFree=127174424/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=338692 memory=312112 CPUtime=161.87 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 38982 0 0 0 16149 38 0 0 20 0 1 0 39349455 346820608 78028 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 84673 78028 800 2416 0 81775 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 338692 KiB
Current children cumulated memory: 312112 KiB
[startup+222.3 s]
/proc/loadavg: 4.85 4.44 4.26 5/251 37385
/proc/meminfo: memFree=127088748/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=338692 memory=314160 CPUtime=221.71 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 57182 0 0 0 22099 72 0 0 20 0 1 0 39349455 346820608 78540 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 84673 78540 800 2416 0 81775 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 338692 KiB
Current children cumulated memory: 314160 KiB
[startup+282.3 s]
/proc/loadavg: 4.42 4.39 4.25 5/251 37387
/proc/meminfo: memFree=127072712/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=338692 memory=320688 CPUtime=281.55 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 84740 0 0 0 28045 110 0 0 20 0 1 0 39349455 346820608 80172 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 84673 80172 800 2416 0 81775 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 338692 KiB
Current children cumulated memory: 320688 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.33 4.24 5/251 37389
/proc/meminfo: memFree=126996140/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=379620 memory=344212 CPUtime=341.4 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 99238 0 0 0 33996 144 0 0 20 0 1 0 39349455 388730880 86053 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 94905 86053 800 2416 0 92007 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 379620 KiB
Current children cumulated memory: 344212 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.29 4.23 5/250 37395
/proc/meminfo: memFree=126910724/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=398356 memory=377584 CPUtime=401.25 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 111965 0 0 0 39952 173 0 0 20 0 1 0 39349455 407916544 94396 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 99589 94396 800 2416 0 96691 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 398356 KiB
Current children cumulated memory: 377584 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.25 4.22 5/250 37397
/proc/meminfo: memFree=126921612/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=407764 memory=385632 CPUtime=461.1 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 124362 0 0 0 45903 207 0 0 20 0 1 0 39349455 417550336 96408 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 101941 96408 800 2416 0 99043 0
Current children cumulated CPU time: 461.1 s
################
# More data... #
################
Current children cumulated memory: 690144 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 37575
/proc/meminfo: memFree=125934444/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=742832 memory=698336 CPUtime=2914.31 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 296323 0 0 0 290473 958 0 0 20 0 1 0 39349455 760659968 174584 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 185708 174584 800 2416 0 182810 0
Current children cumulated CPU time: 2914.31 s
Current children cumulated vsize: 742832 KiB
Current children cumulated memory: 698336 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/251 37578
/proc/meminfo: memFree=125907764/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=742832 memory=700412 CPUtime=2974.12 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 298686 0 0 0 296445 967 0 0 20 0 1 0 39349455 760659968 175103 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 185708 175103 800 2416 0 182810 0
Current children cumulated CPU time: 2974.12 s
Current children cumulated vsize: 742832 KiB
Current children cumulated memory: 700412 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/251 37580
/proc/meminfo: memFree=125880000/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=742832 memory=706584 CPUtime=3033.93 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 300837 0 0 0 302417 976 0 0 20 0 1 0 39349455 760659968 176646 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 185708 176646 800 2416 0 182810 0
Current children cumulated CPU time: 3033.93 s
Current children cumulated vsize: 742832 KiB
Current children cumulated memory: 706584 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 37584
/proc/meminfo: memFree=125856984/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=742832 memory=710692 CPUtime=3093.74 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 302980 0 0 0 308387 987 0 0 20 0 1 0 39349455 760659968 177673 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 185708 177673 800 2416 0 182810 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 742832 KiB
Current children cumulated memory: 710692 KiB
[startup+3162.3 s]
/proc/loadavg: 4.25 4.14 4.10 5/250 37587
/proc/meminfo: memFree=125826020/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=742832 memory=716868 CPUtime=3153.55 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 305356 0 0 0 314358 997 0 0 20 0 1 0 39349455 760659968 179217 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 185708 179217 800 2416 0 182810 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 742832 KiB
Current children cumulated memory: 716868 KiB
[startup+3222.3 s]
/proc/loadavg: 4.70 4.30 4.16 5/250 37589
/proc/meminfo: memFree=125792168/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=742832 memory=718024 CPUtime=3213.37 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 307510 0 0 0 320330 1007 0 0 20 0 1 0 39349455 760659968 179506 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 185708 179506 800 2416 0 182810 0
Current children cumulated CPU time: 3213.37 s
Current children cumulated vsize: 742832 KiB
Current children cumulated memory: 718024 KiB
[startup+3282.3 s]
/proc/loadavg: 4.30 4.26 4.15 5/250 37592
/proc/meminfo: memFree=125674144/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=742832 memory=713928 CPUtime=3273.2 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 309778 0 0 0 326303 1017 0 0 20 0 1 0 39349455 760659968 178482 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 185708 178482 800 2416 0 182810 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 742832 KiB
Current children cumulated memory: 713928 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.24 4.15 5/250 37594
/proc/meminfo: memFree=125804056/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=748176 memory=704336 CPUtime=3333.04 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 315370 0 0 0 332266 1038 0 0 20 0 1 0 39349455 766132224 176084 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 187044 176084 800 2416 0 184146 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 748176 KiB
Current children cumulated memory: 704336 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.21 4.15 5/251 37601
/proc/meminfo: memFree=125809604/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=751092 memory=721228 CPUtime=3392.87 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 319228 0 0 0 338233 1054 0 0 20 0 1 0 39349455 769118208 180307 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 187773 180307 800 2416 0 184875 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 751092 KiB
Current children cumulated memory: 721228 KiB
[startup+3462.3 s]
/proc/loadavg: 3.71 4.09 4.11 4/245 37633
/proc/meminfo: memFree=126095820/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=753452 memory=721280 CPUtime=3452.71 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 323211 0 0 0 344199 1072 0 0 20 0 1 0 39349455 771534848 180320 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 188363 180320 800 2416 0 185465 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 753452 KiB
Current children cumulated memory: 721280 KiB
[startup+3522.3 s]
/proc/loadavg: 3.32 3.90 4.04 4/245 37635
/proc/meminfo: memFree=126089552/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=753452 memory=717184 CPUtime=3512.54 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 325364 0 0 0 350171 1083 0 0 20 0 1 0 39349455 771534848 179296 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 188363 179296 800 2416 0 185465 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 753452 KiB
Current children cumulated memory: 717184 KiB
[startup+3582.3 s]
/proc/loadavg: 3.00 3.72 3.97 3/239 37669
/proc/meminfo: memFree=126942288/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=753888 memory=713476 CPUtime=3572.37 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 327609 0 0 0 356143 1094 0 0 20 0 1 0 39349455 771981312 178369 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 188472 178369 800 2416 0 185574 0
Current children cumulated CPU time: 3572.37 s
Current children cumulated vsize: 753888 KiB
Current children cumulated memory: 713476 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 2.66 3.57 3.91 3/239 37670
/proc/meminfo: memFree=126949468/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=754156 memory=713716 CPUtime=3600.09 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 328877 0 0 0 358910 1099 0 0 20 0 1 0 39349455 772255744 178429 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 188539 178429 800 2416 0 185641 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 754156 KiB
Current children cumulated memory: 713716 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 37375 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.1 s, system=11.0011 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 2.66 3.57 3.91 3/239 37670
/proc/meminfo: memFree=126949468/131382116 swapFree=33010684/33010684
[pid=37375] ppid=37372 vsize=754156 memory=713716 CPUtime=3600.09 cores=0,2
/proc/37375/stat : 37375 (CASHWMaxSAT-Dis) R 37372 37375 36049 0 -1 4194304 328877 0 0 0 358910 1099 0 0 20 0 1 0 39349455 772255744 178429 18446744073709551615 4198400 14093885 140724248106496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34107392 140724248115562 140724248115677 140724248115677 140724248121279 0
/proc/37375/statm: 188539 178429 800 2416 0 185641 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 754156 KiB
Current children cumulated memory: 713716 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.11
CPU user time (s): 3589.1
CPU system time (s): 11.0011
CPU usage (%): 99.7227
Max. virtual memory (cumulated for all children) (KiB): 1098032
Max. memory (cumulated for all children) (KiB): 946940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.1
system time used= 11.0011
maximum resident set size= 946940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328877
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= 64
involuntary context switches= 8200
# summary of solver processes directly reported to runsolver:
# pid: 37375
# total CPU time (s): 3600.11
# total CPU user time (s): 3589.1
# total CPU system time (s): 11.0011
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4698 second user time and 34.0859 second system time
The end
Begin job on nodeC004 at 2025-06-30 00:38:23
IDJOB=4516737
IDBENCH=175756
IDSOLVER=3323
FILE ID=nodeC004/4516737-1751236703
RUNJOBID= nodeC004-1751229288-36059
SLURM_JOB_ID= 9587695
Free space on /tmp= 433020 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-3500.shuf-3.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516737-1751236703/watcher-4516737-1751236703 -o /tmp/evaluation-result-4516737-1751236703/solver-4516737-1751236703 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751229288-36059 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4516737-1751236703.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fa288505787d5078657a2c980732ee18
RANDOM SEED=565522807
nodeC004 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 : 1197.737
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 : 6983.74
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 : 3662.374
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 : 6983.74
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.218
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 : 6983.74
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 : 1197.557
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 : 6983.74
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 : 3591.763
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 : 6983.74
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.353
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 : 6983.74
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 : 6983.74
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.485
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 : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 127666276 kB
MemAvailable: 129300148 kB
Buffers: 3280 kB
Cached: 2436756 kB
SwapCached: 0 kB
Active: 978456 kB
Inactive: 2138532 kB
Active(anon): 694928 kB
Inactive(anon): 0 kB
Active(file): 283528 kB
Inactive(file): 2138532 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13212 kB
Writeback: 32 kB
AnonPages: 675964 kB
Mapped: 112404 kB
Shmem: 17976 kB
KReclaimable: 102876 kB
Slab: 185252 kB
SReclaimable: 102876 kB
SUnreclaim: 82376 kB
KernelStack: 4080 kB
PageTables: 4504 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1027932 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 524288 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433036 MiB
End job on nodeC004 at 2025-06-30 01:38:33