runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62540 MiB free)
memory of node 1: 64507 MiB (62889 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522756-1751598143/watcher-4522756-1751598143 -o /tmp/evaluation-result-4522756-1751598143/solver-4522756-1751598143 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751598143-84716 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4522756-1751598143.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=84767, runsolver pid=84763
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 0.77 1.03 1.22 6/252 84776
/proc/meminfo: memFree=128354604/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=55312 memory=31892 CPUtime=0.1 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 7650 0 0 0 9 1 0 0 20 0 1 0 75493301 56639488 7973 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 13828 7973 736 2416 0 10930 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55312 KiB
Current children cumulated memory: 31892 KiB
[startup+0.213202 s]*
/proc/loadavg: 0.77 1.03 1.22 5/252 84776
/proc/meminfo: memFree=128315292/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=70468 memory=48668 CPUtime=0.22 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 12198 0 0 0 20 2 0 0 20 0 1 0 75493301 72159232 12167 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 17617 12167 736 2416 0 14719 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 70468 KiB
Current children cumulated memory: 48668 KiB
[startup+0.313567 s]*
/proc/loadavg: 0.77 1.03 1.22 5/252 84776
/proc/meminfo: memFree=128295636/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=86940 memory=63388 CPUtime=0.32 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 15892 0 0 0 29 3 0 0 20 0 1 0 75493301 89026560 15847 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 21735 15847 736 2416 0 18837 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 86940 KiB
Current children cumulated memory: 63388 KiB
[startup+0.700262 s]
/proc/loadavg: 0.77 1.03 1.22 5/252 84776
/proc/meminfo: memFree=128209956/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=156416 memory=132596 CPUtime=0.69 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 33421 0 0 0 63 6 0 0 20 0 1 0 75493301 160169984 33149 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 39104 33149 736 2416 0 36206 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 156416 KiB
Current children cumulated memory: 132596 KiB
[startup+1.50027 s]
/proc/loadavg: 0.77 1.03 1.22 5/252 84776
/proc/meminfo: memFree=128005196/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=273660 memory=245440 CPUtime=1.49 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 60710 0 0 0 138 11 0 0 20 0 1 0 75493301 280227840 61360 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 68415 61360 736 2416 0 65517 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 273660 KiB
Current children cumulated memory: 245440 KiB
[startup+3.11265 s]
/proc/loadavg: 0.77 1.03 1.22 5/252 84776
/proc/meminfo: memFree=127216880/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=432452 memory=404288 CPUtime=3.09 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 100433 0 0 0 289 20 0 0 20 0 1 0 75493301 442830848 101072 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 108113 101072 736 2416 0 105215 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 432452 KiB
Current children cumulated memory: 404288 KiB
[startup+6.30027 s]
/proc/loadavg: 1.11 1.09 1.24 5/252 84777
/proc/meminfo: memFree=126122236/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=730252 memory=701968 CPUtime=6.27 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 174337 0 0 0 591 36 0 0 20 0 1 0 75493301 747778048 175492 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 182563 175492 736 2416 0 179665 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 730252 KiB
Current children cumulated memory: 701968 KiB
[startup+12.7003 s]
/proc/loadavg: 1.42 1.16 1.26 5/252 84777
/proc/meminfo: memFree=124446928/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1261120 memory=1221440 CPUtime=12.64 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 284291 0 0 0 1205 59 0 0 20 0 1 0 75493301 1291386880 305360 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 315280 305360 768 2416 0 312382 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1261120 KiB
Current children cumulated memory: 1221440 KiB
[startup+25.5003 s]
/proc/loadavg: 2.07 1.31 1.31 5/252 84777
/proc/meminfo: memFree=122261696/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1917772 memory=1782620 CPUtime=25.4 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 361939 0 0 0 2455 85 0 0 20 0 1 0 75493301 1963798528 445655 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 479443 445655 992 2416 0 476545 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1917772 KiB
Current children cumulated memory: 1782620 KiB
[startup+51.1129 s]
/proc/loadavg: 2.79 1.55 1.39 5/252 84777
/proc/meminfo: memFree=121239264/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1768012 CPUtime=50.93 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 363206 0 0 0 5006 87 0 0 20 0 1 0 75493301 1971281920 442003 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 442003 1024 2416 0 478372 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1768012 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.93 1.53 5/252 84779
/proc/meminfo: memFree=118972940/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1768012 CPUtime=101.94 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 363249 0 0 0 10107 87 0 0 20 0 1 0 75493301 1971281920 442003 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 442003 1024 2416 0 478372 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1768012 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.34 1.69 5/251 84781
/proc/meminfo: memFree=116729876/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1768012 CPUtime=161.74 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 363285 0 0 0 16087 87 0 0 20 0 1 0 75493301 1971281920 442003 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 442003 1024 2416 0 478372 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1768012 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 2.69 1.86 5/252 84788
/proc/meminfo: memFree=114472684/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1768012 CPUtime=221.54 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 363321 0 0 0 22067 87 0 0 20 0 1 0 75493301 1971281920 442003 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 442003 1024 2416 0 478372 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1768012 KiB
[startup+282.3 s]
/proc/loadavg: 4.66 3.11 2.06 5/252 84790
/proc/meminfo: memFree=112385384/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1768012 CPUtime=281.34 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 363321 0 0 0 28047 87 0 0 20 0 1 0 75493301 1971281920 442003 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 442003 1024 2416 0 478372 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1768012 KiB
[startup+342.3 s]
/proc/loadavg: 4.34 3.31 2.19 5/250 84792
/proc/meminfo: memFree=110556788/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1768012 CPUtime=341.14 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 363321 0 0 0 34027 87 0 0 20 0 1 0 75493301 1971281920 442003 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 442003 1024 2416 0 478372 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1768012 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.45 2.31 5/250 84794
/proc/meminfo: memFree=108522756/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1768012 CPUtime=400.95 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 363361 0 0 0 40007 88 0 0 20 0 1 0 75493301 1971281920 442003 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 442003 1024 2416 0 478372 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1768012 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.58 2.43 5/250 84798
/proc/meminfo: memFree=108497956/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1768012 CPUtime=460.74 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 363364 0 0 0 45986 88 0 0 20 0 1 0 75493301 1971281920 442003 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 442003 1024 2416 0 478372 0
################
# More data... #
################
Current children cumulated memory: 1777612 KiB
[startup+2922.3 s]
/proc/loadavg: 4.53 4.42 4.15 5/250 84912
/proc/meminfo: memFree=108475400/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1777612 CPUtime=2913.02 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 370116 0 0 0 291212 90 0 0 20 0 1 0 75493301 1971281920 444403 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 444403 1024 2416 0 478372 0
Current children cumulated CPU time: 2913.02 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1777612 KiB
[startup+2982.3 s]
/proc/loadavg: 4.24 4.36 4.15 5/250 84914
/proc/meminfo: memFree=108476104/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1779660 CPUtime=2972.84 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 370141 0 0 0 297194 90 0 0 20 0 1 0 75493301 1971281920 444915 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 444915 1024 2416 0 478372 0
Current children cumulated CPU time: 2972.84 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1779660 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.32 4.15 5/250 84916
/proc/meminfo: memFree=108483416/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1779660 CPUtime=3032.66 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 370272 0 0 0 303176 90 0 0 20 0 1 0 75493301 1971281920 444915 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 444915 1024 2416 0 478372 0
Current children cumulated CPU time: 3032.66 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1779660 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.28 4.14 5/250 84918
/proc/meminfo: memFree=108489604/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1779660 CPUtime=3092.49 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 370692 0 0 0 309159 90 0 0 20 0 1 0 75493301 1971281920 444915 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 444915 1024 2416 0 478372 0
Current children cumulated CPU time: 3092.49 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1779660 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.24 4.14 5/249 84920
/proc/meminfo: memFree=108488368/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1779660 CPUtime=3152.32 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 371192 0 0 0 315142 90 0 0 20 0 1 0 75493301 1971281920 444915 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 444915 1024 2416 0 478372 0
Current children cumulated CPU time: 3152.32 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1779660 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.21 4.13 5/250 84927
/proc/meminfo: memFree=108469352/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1779660 CPUtime=3212.14 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 371275 0 0 0 321124 90 0 0 20 0 1 0 75493301 1971281920 444915 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 444915 1024 2416 0 478372 0
Current children cumulated CPU time: 3212.14 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1779660 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.18 4.12 5/250 84929
/proc/meminfo: memFree=108459676/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1779660 CPUtime=3271.97 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 371303 0 0 0 327107 90 0 0 20 0 1 0 75493301 1971281920 444915 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 444915 1024 2416 0 478372 0
Current children cumulated CPU time: 3271.97 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1779660 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/250 84931
/proc/meminfo: memFree=108464348/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1779660 CPUtime=3331.79 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 371494 0 0 0 333089 90 0 0 20 0 1 0 75493301 1971281920 444915 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 444915 1024 2416 0 478372 0
Current children cumulated CPU time: 3331.79 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1779660 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/250 84933
/proc/meminfo: memFree=108464624/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1779660 CPUtime=3391.62 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 371867 0 0 0 339072 90 0 0 20 0 1 0 75493301 1971281920 444915 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 444915 1024 2416 0 478372 0
Current children cumulated CPU time: 3391.62 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1779660 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/251 84938
/proc/meminfo: memFree=108439136/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1779660 CPUtime=3451.44 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 372387 0 0 0 345054 90 0 0 20 0 1 0 75493301 1971281920 444915 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 444915 1024 2416 0 478372 0
Current children cumulated CPU time: 3451.44 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1779660 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/250 84951
/proc/meminfo: memFree=108436960/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1779660 CPUtime=3511.27 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 372430 0 0 0 351037 90 0 0 20 0 1 0 75493301 1971281920 444915 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 444915 1024 2416 0 478372 0
Current children cumulated CPU time: 3511.27 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1779660 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.12 4.11 5/250 84953
/proc/meminfo: memFree=108428628/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1779660 CPUtime=3571.09 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 372449 0 0 0 357019 90 0 0 20 0 1 0 75493301 1971281920 444915 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 444915 1024 2416 0 478372 0
Current children cumulated CPU time: 3571.09 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1779660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/246 84962
/proc/meminfo: memFree=117173552/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1781708 CPUtime=3600.01 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 372454 0 0 0 359911 90 0 0 20 0 1 0 75493301 1971281920 445427 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 445427 1024 2416 0 478372 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1781708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.31 s]
# the end of solver process 84767 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.11 s, system=0.912856 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/246 84962
/proc/meminfo: memFree=117173552/131382112 swapFree=33009904/33010684
[pid=84767] ppid=84763 vsize=1925080 memory=1781708 CPUtime=3600.01 cores=0,2
/proc/84767/stat : 84767 (CASHWMaxSAT-Dis) R 84763 84767 84706 0 -1 4194304 372454 0 0 0 359911 90 0 0 20 0 1 0 75493301 1971281920 445427 18446744073709551615 4198400 14093885 140732272807952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41959424 140732272810346 140732272810461 140732272810461 140732272816063 0
/proc/84767/statm: 481270 445427 1024 2416 0 478372 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1925080 KiB
Current children cumulated memory: 1781708 KiB
Child status: 0
Real time (s): 3611.31
CPU time (s): 3600.03
CPU user time (s): 3599.11
CPU system time (s): 0.912856
CPU usage (%): 99.6876
Max. virtual memory (cumulated for all children) (KiB): 2086500
Max. memory (cumulated for all children) (KiB): 1951176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.11
system time used= 0.912856
maximum resident set size= 1951176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372454
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= 277
involuntary context switches= 7822
# summary of solver processes directly reported to runsolver:
# pid: 84767
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.11
# total CPU system time (s): 0.912856
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4794 second user time and 34.0212 second system time
The end
Begin job on nodeC001 at 2025-07-04 05:02:24
IDJOB=4522756
IDBENCH=179299
IDSOLVER=3323
FILE ID=nodeC001/4522756-1751598143
RUNJOBID= nodeC001-1751598143-84716
SLURM_JOB_ID= 9598870
Free space on /tmp= 432356 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/SMTI_PBO/SMTI_25000_10_0.85_7.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522756-1751598143/watcher-4522756-1751598143 -o /tmp/evaluation-result-4522756-1751598143/solver-4522756-1751598143 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751598143-84716 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4522756-1751598143.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8be5b5d8bca4d85bc85c3eef1683fb22
RANDOM SEED=518060505
nodeC001 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 : 2793.396
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.49
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 : 1795.772
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.49
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.397
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.49
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.295
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.49
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 : 1895.515
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.49
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 : 2892.101
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.49
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 : 1197.627
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.49
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.172
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128455476 kB
MemAvailable: 129803992 kB
Buffers: 1668 kB
Cached: 2133180 kB
SwapCached: 128 kB
Active: 425540 kB
Inactive: 1895308 kB
Active(anon): 175688 kB
Inactive(anon): 28088 kB
Active(file): 249852 kB
Inactive(file): 1867220 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 182168 kB
Writeback: 0 kB
AnonPages: 189292 kB
Mapped: 109496 kB
Shmem: 17776 kB
KReclaimable: 141756 kB
Slab: 227552 kB
SReclaimable: 141756 kB
SUnreclaim: 85796 kB
KernelStack: 4000 kB
PageTables: 3192 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 535444 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432328 MiB
End job on nodeC001 at 2025-07-04 06:02:36