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 (62741 MiB free)
memory of node 1: 64465 MiB (63852 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514036-1751220437/watcher-4514036-1751220437 -o /tmp/evaluation-result-4514036-1751220437/solver-4514036-1751220437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751220287-29085 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4514036-1751220437.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=29415, runsolver pid=29412
[startup+0.100068 s]*
/proc/loadavg: 3.90 2.34 2.45 5/255 29416
/proc/meminfo: memFree=129632212/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=19200 memory=5376 CPUtime=0.09 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 508 0 0 0 9 0 0 0 20 0 1 0 37723134 19660800 1344 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 4800 1344 960 2593 0 1693 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 19200 KiB
Current children cumulated memory: 5376 KiB
[startup+0.213313 s]*
/proc/loadavg: 3.90 2.34 2.45 5/255 29416
/proc/meminfo: memFree=129632212/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=19532 memory=5576 CPUtime=0.19 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 648 0 0 0 19 0 0 0 20 0 1 0 37723134 20000768 1394 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 4883 1394 960 2593 0 1776 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 19532 KiB
Current children cumulated memory: 5576 KiB
[startup+0.314921 s]*
/proc/loadavg: 3.90 2.34 2.45 5/255 29416
/proc/meminfo: memFree=129632212/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=19516 memory=5644 CPUtime=0.28 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 699 0 0 0 28 0 0 0 20 0 1 0 37723134 19984384 1411 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 4879 1411 992 2593 0 1772 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 19516 KiB
Current children cumulated memory: 5644 KiB
[startup+0.700191 s]
/proc/loadavg: 3.90 2.34 2.45 5/255 29416
/proc/meminfo: memFree=129632212/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=21372 memory=7564 CPUtime=0.62 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 1373 0 0 0 62 0 0 0 20 0 1 0 37723134 21884928 1891 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 5343 1891 992 2593 0 2236 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 21372 KiB
Current children cumulated memory: 7564 KiB
[startup+1.50015 s]
/proc/loadavg: 3.90 2.34 2.45 5/255 29416
/proc/meminfo: memFree=129632212/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=21968 memory=8204 CPUtime=1.41 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 2234 0 0 0 141 0 0 0 20 0 1 0 37723134 22495232 2051 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 5492 2051 992 2593 0 2385 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 21968 KiB
Current children cumulated memory: 8204 KiB
[startup+3.10529 s]
/proc/loadavg: 3.90 2.34 2.45 5/255 29416
/proc/meminfo: memFree=129627812/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=23304 memory=9452 CPUtime=3.01 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 5161 0 0 0 300 1 0 0 20 0 1 0 37723134 23863296 2363 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 5826 2363 992 2593 0 2719 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 23304 KiB
Current children cumulated memory: 9452 KiB
[startup+6.30013 s]
/proc/loadavg: 3.90 2.37 2.46 5/255 29416
/proc/meminfo: memFree=129628064/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=28344 memory=14516 CPUtime=6.17 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 8150 0 0 0 616 1 0 0 20 0 1 0 37723134 29024256 3629 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 7086 3629 992 2593 0 3979 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 28344 KiB
Current children cumulated memory: 14516 KiB
[startup+12.7003 s]
/proc/loadavg: 3.91 2.40 2.47 5/255 29416
/proc/meminfo: memFree=129627244/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=31724 memory=17840 CPUtime=12.54 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 13077 0 0 0 1252 2 0 0 20 0 1 0 37723134 32485376 4460 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 7931 4460 992 2593 0 4824 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 31724 KiB
Current children cumulated memory: 17840 KiB
[startup+25.5003 s]
/proc/loadavg: 3.93 2.48 2.49 5/255 29416
/proc/meminfo: memFree=129620532/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=39804 memory=25808 CPUtime=25.3 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 17254 0 0 0 2527 3 0 0 20 0 1 0 37723134 40759296 6452 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 9951 6452 992 2593 0 6844 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 39804 KiB
Current children cumulated memory: 25808 KiB
[startup+51.1131 s]
/proc/loadavg: 4.02 2.62 2.54 5/255 29417
/proc/meminfo: memFree=129591068/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=53208 memory=39276 CPUtime=50.84 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 19090 0 0 0 5081 3 0 0 20 0 1 0 37723134 54484992 9819 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 13302 9819 992 2593 0 10195 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 53208 KiB
Current children cumulated memory: 39276 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 2.85 2.62 5/253 29418
/proc/meminfo: memFree=129571156/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=57128 memory=43180 CPUtime=101.9 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 23714 0 0 0 10184 6 0 0 20 0 1 0 37723134 58499072 10795 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 14282 10795 992 2593 0 11175 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 57128 KiB
Current children cumulated memory: 43180 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.07 2.72 5/250 29423
/proc/meminfo: memFree=129532784/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=64048 memory=50092 CPUtime=161.73 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 26260 0 0 0 16166 7 0 0 20 0 1 0 37723134 65585152 12523 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 16012 12523 992 2593 0 12905 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 64048 KiB
Current children cumulated memory: 50092 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.26 2.81 5/250 29425
/proc/meminfo: memFree=129511640/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=70204 memory=56236 CPUtime=221.56 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 27814 0 0 0 22148 8 0 0 20 0 1 0 37723134 71888896 14059 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 17551 14059 992 2593 0 14444 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 70204 KiB
Current children cumulated memory: 56236 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.41 2.89 5/252 29430
/proc/meminfo: memFree=129492788/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=75412 memory=61440 CPUtime=281.38 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 28627 0 0 0 28130 8 0 0 20 0 1 0 37723134 77221888 15360 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 18853 15360 992 2593 0 15746 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 75412 KiB
Current children cumulated memory: 61440 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.55 2.97 5/252 29432
/proc/meminfo: memFree=129475828/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=75152 memory=61164 CPUtime=341.21 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 32651 0 0 0 34111 10 0 0 20 0 1 0 37723134 76955648 15291 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 18788 15291 992 2593 0 15681 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 75152 KiB
Current children cumulated memory: 61164 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 3.64 3.04 5/252 29438
/proc/meminfo: memFree=129466356/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=81400 memory=67500 CPUtime=401.04 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 35004 0 0 0 40092 12 0 0 20 0 1 0 37723134 83353600 16875 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 20350 16875 992 2593 0 17243 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 81400 KiB
Current children cumulated memory: 67500 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 3.72 3.11 5/252 29440
/proc/meminfo: memFree=129436720/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=96940 memory=83112 CPUtime=460.87 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 35864 0 0 0 46074 13 0 0 20 0 1 0 37723134 99266560 20778 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 24235 20778 992 2593 0 21128 0
Current children cumulated CPU time: 460.87 s
################
# More data... #
################
Current children cumulated memory: 114812 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.17 4.09 5/250 29550
/proc/meminfo: memFree=129229980/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=166932 memory=152944 CPUtime=2913.48 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 70247 0 0 0 291299 49 0 0 20 0 1 0 37723134 170938368 38236 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 41733 38236 992 2593 0 38626 0
Current children cumulated CPU time: 2913.48 s
Current children cumulated vsize: 166932 KiB
Current children cumulated memory: 152944 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/250 29552
/proc/meminfo: memFree=129238224/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=166932 memory=152944 CPUtime=2973.31 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 70248 0 0 0 297282 49 0 0 20 0 1 0 37723134 170938368 38236 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 41733 38236 992 2593 0 38626 0
Current children cumulated CPU time: 2973.31 s
Current children cumulated vsize: 166932 KiB
Current children cumulated memory: 152944 KiB
[startup+3042.3 s]
/proc/loadavg: 4.04 4.12 4.08 5/250 29554
/proc/meminfo: memFree=129234848/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=157696 memory=143392 CPUtime=3033.14 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 73306 0 0 0 303262 52 0 0 20 0 1 0 37723134 161480704 35848 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 39424 35848 992 2593 0 36317 0
Current children cumulated CPU time: 3033.14 s
Current children cumulated vsize: 157696 KiB
Current children cumulated memory: 143392 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/249 29556
/proc/meminfo: memFree=129264068/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=123080 memory=109136 CPUtime=3092.97 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 75843 0 0 0 309241 56 0 0 20 0 1 0 37723134 126033920 27284 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 30770 27284 992 2593 0 27663 0
Current children cumulated CPU time: 3092.97 s
Current children cumulated vsize: 123080 KiB
Current children cumulated memory: 109136 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/251 29562
/proc/meminfo: memFree=129254180/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=173700 memory=159728 CPUtime=3152.79 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 76745 0 0 0 315222 57 0 0 20 0 1 0 37723134 177868800 39932 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 43425 39932 992 2593 0 40318 0
Current children cumulated CPU time: 3152.79 s
Current children cumulated vsize: 173700 KiB
Current children cumulated memory: 159728 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 29564
/proc/meminfo: memFree=129267868/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=128240 memory=114296 CPUtime=3212.61 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 80123 0 0 0 321201 60 0 0 20 0 1 0 37723134 131317760 28574 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 32060 28574 992 2593 0 28953 0
Current children cumulated CPU time: 3212.61 s
Current children cumulated vsize: 128240 KiB
Current children cumulated memory: 114296 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 29577
/proc/meminfo: memFree=129202500/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=189872 memory=175880 CPUtime=3272.45 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 81734 0 0 0 327183 62 0 0 20 0 1 0 37723134 194428928 43970 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 47468 43970 992 2593 0 44361 0
Current children cumulated CPU time: 3272.45 s
Current children cumulated vsize: 189872 KiB
Current children cumulated memory: 175880 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/251 29579
/proc/meminfo: memFree=129202956/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=158276 memory=144332 CPUtime=3332.27 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 82347 0 0 0 333164 63 0 0 20 0 1 0 37723134 162074624 36083 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 39569 36083 992 2593 0 36462 0
Current children cumulated CPU time: 3332.27 s
Current children cumulated vsize: 158276 KiB
Current children cumulated memory: 144332 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/251 29585
/proc/meminfo: memFree=129223064/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=158756 memory=144716 CPUtime=3392.1 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 83153 0 0 0 339145 65 0 0 20 0 1 0 37723134 162566144 36179 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 39689 36179 992 2593 0 36582 0
Current children cumulated CPU time: 3392.1 s
Current children cumulated vsize: 158756 KiB
Current children cumulated memory: 144716 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/245 29595
/proc/meminfo: memFree=129337472/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=190748 memory=176756 CPUtime=3451.91 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 84000 0 0 0 345125 66 0 0 20 0 1 0 37723134 195325952 44189 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 47687 44189 992 2593 0 44580 0
Current children cumulated CPU time: 3451.91 s
Current children cumulated vsize: 190748 KiB
Current children cumulated memory: 176756 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/249 29858
/proc/meminfo: memFree=129495700/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=160504 memory=146048 CPUtime=3511.68 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 87176 0 0 0 351094 74 0 0 20 0 1 0 37723134 164356096 36512 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 40126 36512 992 2593 0 37019 0
Current children cumulated CPU time: 3511.68 s
Current children cumulated vsize: 160504 KiB
Current children cumulated memory: 146048 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/249 29860
/proc/meminfo: memFree=129476156/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=182432 memory=130220 CPUtime=3571.5 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 89545 0 0 0 357073 77 0 0 20 0 1 0 37723134 186810368 32555 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 45608 32555 992 2593 0 42501 0
Current children cumulated CPU time: 3571.5 s
Current children cumulated vsize: 182432 KiB
Current children cumulated memory: 130220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.19 4.15 4.10 5/249 29861
/proc/meminfo: memFree=129481256/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=122608 memory=108664 CPUtime=3600.01 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 90341 0 0 0 359923 78 0 0 20 0 1 0 37723134 125550592 27166 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 30652 27166 992 2593 0 27545 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 122608 KiB
Current children cumulated memory: 108664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.9 s]
# the end of solver process 29415 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.24 s, system=0.781127 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.19 4.15 4.10 5/249 29861
/proc/meminfo: memFree=129481256/131382112 swapFree=33010684/33010684
[pid=29415] ppid=29412 vsize=122608 memory=108664 CPUtime=3600.01 cores=5,7
/proc/29415/stat : 29415 (CASHWMaxSAT-Dis) R 29412 29415 29072 0 -1 4194304 90341 0 0 0 359923 78 0 0 20 0 1 0 37723134 125550592 27166 18446744073709551615 4198400 14817773 140734739046384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55234560 140734739052906 140734739053021 140734739053021 140734739058623 0
/proc/29415/statm: 30652 27166 992 2593 0 27545 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 122608 KiB
Current children cumulated memory: 108664 KiB
Child status: 0
Real time (s): 3610.9
CPU time (s): 3600.02
CPU user time (s): 3599.24
CPU system time (s): 0.781127
CPU usage (%): 99.6986
Max. virtual memory (cumulated for all children) (KiB): 209336
Max. memory (cumulated for all children) (KiB): 194972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.24
system time used= 0.781127
maximum resident set size= 203048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90341
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= 34
involuntary context switches= 2010
# summary of solver processes directly reported to runsolver:
# pid: 29415
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.24
# total CPU system time (s): 0.781127
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8475 second user time and 35.6131 second system time
The end
Begin job on nodeC005 at 2025-06-29 20:07:17
IDJOB=4514036
IDBENCH=162599
IDSOLVER=3322
FILE ID=nodeC005/4514036-1751220437
RUNJOBID= nodeC005-1751220287-29085
SLURM_JOB_ID= 9587675
Free space on /tmp= 433020 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/rand6reg/normalized-rand6reg-v071-n1.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514036-1751220437/watcher-4514036-1751220437 -o /tmp/evaluation-result-4514036-1751220437/solver-4514036-1751220437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751220287-29085 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4514036-1751220437.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6929a7343695a3957aad0265eef3dd9c
RANDOM SEED=1771922259
nodeC005 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 : 3662.477
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.90
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 : 3691.530
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.90
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.754
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.90
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.389
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.90
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 : 3662.521
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.90
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 : 3700.000
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.90
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.90
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.246
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129632212 kB
MemAvailable: 129758248 kB
Buffers: 3280 kB
Cached: 929696 kB
SwapCached: 0 kB
Active: 447020 kB
Inactive: 681808 kB
Active(anon): 213812 kB
Inactive(anon): 0 kB
Active(file): 233208 kB
Inactive(file): 681808 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13812 kB
Writeback: 0 kB
AnonPages: 198996 kB
Mapped: 114476 kB
Shmem: 17960 kB
KReclaimable: 101296 kB
Slab: 183764 kB
SReclaimable: 101296 kB
SUnreclaim: 82468 kB
KernelStack: 4112 kB
PageTables: 3344 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 546316 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 116736 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC005 at 2025-06-29 21:07:29