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 (62667 MiB free)
memory of node 1: 64465 MiB (63877 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514828-1751224189/watcher-4514828-1751224189 -o /tmp/evaluation-result-4514828-1751224189/solver-4514828-1751224189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751220287-29085 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4514828-1751224189.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=30362, runsolver pid=30359
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.14 4.14 4.10 5/250 30363
/proc/meminfo: memFree=129570352/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=27708 memory=13224 CPUtime=0.1 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 2737 0 0 0 9 1 0 0 20 0 1 0 38098316 28372992 3306 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 6927 3306 864 2593 0 3820 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27708 KiB
Current children cumulated memory: 13224 KiB
[startup+0.212893 s]*
/proc/loadavg: 4.14 4.14 4.10 6/250 30363
/proc/meminfo: memFree=129570352/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=28908 memory=14120 CPUtime=0.22 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 2967 0 0 0 21 1 0 0 20 0 1 0 38098316 29601792 3530 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 7227 3530 864 2593 0 4120 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 28908 KiB
Current children cumulated memory: 14120 KiB
[startup+0.312485 s]*
/proc/loadavg: 4.14 4.14 4.10 5/250 30363
/proc/meminfo: memFree=129562288/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=32352 memory=16808 CPUtime=0.31 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 3652 0 0 0 30 1 0 0 20 0 1 0 38098316 33128448 4202 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 8088 4202 864 2593 0 4981 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32352 KiB
Current children cumulated memory: 16808 KiB
[startup+0.700316 s]
/proc/loadavg: 4.14 4.14 4.10 6/250 30363
/proc/meminfo: memFree=129530532/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=90048 memory=74432 CPUtime=0.68 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 13430 0 0 0 64 4 0 0 20 0 1 0 38098316 92209152 18608 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 22512 18608 896 2593 0 19405 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 90048 KiB
Current children cumulated memory: 74432 KiB
[startup+1.50032 s]
/proc/loadavg: 4.14 4.14 4.10 5/250 30363
/proc/meminfo: memFree=129433748/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=318988 memory=279608 CPUtime=1.48 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 28602 0 0 0 137 11 0 0 20 0 1 0 38098316 326643712 69902 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 79747 69902 896 2593 0 76640 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 318988 KiB
Current children cumulated memory: 279608 KiB
[startup+3.11268 s]
/proc/loadavg: 4.14 4.14 4.10 5/250 30363
/proc/meminfo: memFree=128922876/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=792568 memory=691476 CPUtime=3.1 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 82660 0 0 0 286 24 0 0 20 0 1 0 38098316 811589632 172869 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 198142 172869 896 2593 0 195035 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 792568 KiB
Current children cumulated memory: 691476 KiB
[startup+6.30035 s]
/proc/loadavg: 4.12 4.14 4.10 5/250 30363
/proc/meminfo: memFree=128738416/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1013924 memory=947644 CPUtime=6.27 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 96139 0 0 0 594 33 0 0 20 0 1 0 38098316 1038258176 236911 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 253481 236911 960 2593 0 250374 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1013924 KiB
Current children cumulated memory: 947644 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.14 4.10 5/250 30363
/proc/meminfo: memFree=128674268/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=964560 memory=898200 CPUtime=12.65 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 103787 0 0 0 1223 42 0 0 20 0 1 0 38098316 987709440 224550 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 241140 224550 992 2593 0 238033 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 964560 KiB
Current children cumulated memory: 898200 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.13 4.09 5/250 30363
/proc/meminfo: memFree=128691328/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1039584 memory=971664 CPUtime=25.42 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 113091 0 0 0 2480 62 0 0 20 0 1 0 38098316 1064534016 242916 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 259896 242916 992 2593 0 256789 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1039584 KiB
Current children cumulated memory: 971664 KiB
[startup+51.1128 s]
/proc/loadavg: 4.12 4.14 4.10 5/251 30365
/proc/meminfo: memFree=128658324/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=951948 memory=888308 CPUtime=50.96 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 117008 0 0 0 5018 78 0 0 20 0 1 0 38098316 974794752 222077 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 237987 222077 992 2593 0 234880 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 951948 KiB
Current children cumulated memory: 888308 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/251 30368
/proc/meminfo: memFree=128644344/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=953948 memory=890284 CPUtime=102 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 121887 0 0 0 10101 99 0 0 20 0 1 0 38098316 976842752 222571 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 238487 222571 992 2593 0 235380 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 953948 KiB
Current children cumulated memory: 890284 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 30369
/proc/meminfo: memFree=128632368/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=953776 memory=890112 CPUtime=161.84 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 126485 0 0 0 16064 120 0 0 20 0 1 0 38098316 976666624 222528 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 238444 222528 992 2593 0 235337 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 953776 KiB
Current children cumulated memory: 890112 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 30371
/proc/meminfo: memFree=128615172/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=991112 memory=903068 CPUtime=221.66 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 129656 0 0 0 22031 135 0 0 20 0 1 0 38098316 1014898688 225767 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 247778 225767 992 2593 0 244671 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 991112 KiB
Current children cumulated memory: 903068 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/250 30377
/proc/meminfo: memFree=128603772/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1001132 memory=913092 CPUtime=281.47 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 135456 0 0 0 27989 158 0 0 20 0 1 0 38098316 1025159168 228273 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 250283 228273 992 2593 0 247176 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1001132 KiB
Current children cumulated memory: 913092 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/250 30379
/proc/meminfo: memFree=128618272/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=995104 memory=907064 CPUtime=341.29 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 137437 0 0 0 33956 173 0 0 20 0 1 0 38098316 1018986496 226766 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 248776 226766 992 2593 0 245669 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 995104 KiB
Current children cumulated memory: 907064 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/249 30381
/proc/meminfo: memFree=128633696/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=993496 memory=910320 CPUtime=401.12 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 140663 0 0 0 39924 188 0 0 20 0 1 0 38098316 1017339904 227580 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 248374 227580 992 2593 0 245267 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 993496 KiB
Current children cumulated memory: 910320 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/249 30383
/proc/meminfo: memFree=128676612/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=955152 memory=874036 CPUtime=460.96 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 145254 0 0 0 45898 198 0 0 20 0 1 0 38098316 978075648 218509 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 238788 218509 992 2593 0 235681 0
################
# More data... #
################
Current children cumulated memory: 1143616 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/250 30767
/proc/meminfo: memFree=117467432/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1251716 memory=1143828 CPUtime=2914.01 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 245929 0 0 0 290902 499 0 0 20 0 1 0 38098316 1281757184 285957 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 312929 285957 992 2593 0 309822 0
Current children cumulated CPU time: 2914.01 s
Current children cumulated vsize: 1251716 KiB
Current children cumulated memory: 1143828 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 30769
/proc/meminfo: memFree=118572152/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1251716 memory=1143828 CPUtime=2973.84 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 246126 0 0 0 296885 499 0 0 20 0 1 0 38098316 1281757184 285957 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 312929 285957 992 2593 0 309822 0
Current children cumulated CPU time: 2973.84 s
Current children cumulated vsize: 1251716 KiB
Current children cumulated memory: 1143828 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.12 4.10 5/249 30771
/proc/meminfo: memFree=118532208/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1251716 memory=1143828 CPUtime=3033.67 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 246344 0 0 0 302868 499 0 0 20 0 1 0 38098316 1281757184 285957 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 312929 285957 992 2593 0 309822 0
Current children cumulated CPU time: 3033.67 s
Current children cumulated vsize: 1251716 KiB
Current children cumulated memory: 1143828 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/250 30787
/proc/meminfo: memFree=118522396/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1251520 memory=1143632 CPUtime=3093.5 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 247236 0 0 0 308848 502 0 0 20 0 1 0 38098316 1281556480 285908 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 312880 285908 992 2593 0 309773 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 1251520 KiB
Current children cumulated memory: 1143632 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 30789
/proc/meminfo: memFree=117402692/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1251520 memory=1143632 CPUtime=3153.33 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 247520 0 0 0 314831 502 0 0 20 0 1 0 38098316 1281556480 285908 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 312880 285908 992 2593 0 309773 0
Current children cumulated CPU time: 3153.33 s
Current children cumulated vsize: 1251520 KiB
Current children cumulated memory: 1143632 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 30791
/proc/meminfo: memFree=118559708/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1251520 memory=1143632 CPUtime=3213.17 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 247698 0 0 0 320815 502 0 0 20 0 1 0 38098316 1281556480 285908 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 312880 285908 992 2593 0 309773 0
Current children cumulated CPU time: 3213.17 s
Current children cumulated vsize: 1251520 KiB
Current children cumulated memory: 1143632 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 30793
/proc/meminfo: memFree=118071992/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1252760 memory=1144872 CPUtime=3273 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 248334 0 0 0 326795 505 0 0 20 0 1 0 38098316 1282826240 286218 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 313190 286218 992 2593 0 310083 0
Current children cumulated CPU time: 3273 s
Current children cumulated vsize: 1252760 KiB
Current children cumulated memory: 1144872 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/251 30800
/proc/meminfo: memFree=118134768/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1252760 memory=1144872 CPUtime=3332.83 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 248617 0 0 0 332778 505 0 0 20 0 1 0 38098316 1282826240 286218 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 313190 286218 992 2593 0 310083 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 1252760 KiB
Current children cumulated memory: 1144872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 30802
/proc/meminfo: memFree=118102564/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1252760 memory=1144872 CPUtime=3392.66 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 250360 0 0 0 338758 508 0 0 20 0 1 0 38098316 1282826240 286218 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 313190 286218 992 2593 0 310083 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 1252760 KiB
Current children cumulated memory: 1144872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 30804
/proc/meminfo: memFree=118079472/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1252768 memory=1144880 CPUtime=3452.5 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 251020 0 0 0 344738 512 0 0 20 0 1 0 38098316 1282834432 286220 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 313192 286220 992 2593 0 310085 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 1252768 KiB
Current children cumulated memory: 1144880 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/250 30806
/proc/meminfo: memFree=118075628/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1252768 memory=1144880 CPUtime=3512.34 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 251302 0 0 0 350722 512 0 0 20 0 1 0 38098316 1282834432 286220 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 313192 286220 992 2593 0 310085 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 1252768 KiB
Current children cumulated memory: 1144880 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/250 30808
/proc/meminfo: memFree=117909608/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1252768 memory=1144880 CPUtime=3572.17 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 251541 0 0 0 356705 512 0 0 20 0 1 0 38098316 1282834432 286220 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 313192 286220 992 2593 0 310085 0
Current children cumulated CPU time: 3572.17 s
Current children cumulated vsize: 1252768 KiB
Current children cumulated memory: 1144880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 30810
/proc/meminfo: memFree=118075572/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1252768 memory=1144880 CPUtime=3600.09 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 251589 0 0 0 359497 512 0 0 20 0 1 0 38098316 1282834432 286220 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 313192 286220 992 2593 0 310085 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1252768 KiB
Current children cumulated memory: 1144880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 30362 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.98 s, system=5.12584 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 30810
/proc/meminfo: memFree=118075572/131382112 swapFree=33010684/33010684
[pid=30362] ppid=30359 vsize=1252768 memory=1144880 CPUtime=3600.09 cores=5,7
/proc/30362/stat : 30362 (CASHWMaxSAT-Dis) R 30359 30362 29072 0 -1 4194304 251589 0 0 0 359497 512 0 0 20 0 1 0 38098316 1282834432 286220 18446744073709551615 4198400 14817773 140731874391392 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35442688 140731874396522 140731874396637 140731874396637 140731874402239 0
/proc/30362/statm: 313192 286220 992 2593 0 310085 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1252768 KiB
Current children cumulated memory: 1144880 KiB
Child status: 0
Real time (s): 3610.31
CPU time (s): 3600.1
CPU user time (s): 3594.98
CPU system time (s): 5.12584
CPU usage (%): 99.7174
Max. virtual memory (cumulated for all children) (KiB): 1774708
Max. memory (cumulated for all children) (KiB): 1662652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.98
system time used= 5.12584
maximum resident set size= 1662652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251589
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= 92
involuntary context switches= 1954
# summary of solver processes directly reported to runsolver:
# pid: 30362
# total CPU time (s): 3600.1
# total CPU user time (s): 3594.98
# total CPU system time (s): 5.12584
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8614 second user time and 34.5262 second system time
The end
Begin job on nodeC005 at 2025-06-29 21:09:49
IDJOB=4514828
IDBENCH=163961
IDSOLVER=3322
FILE ID=nodeC005/4514828-1751224189
RUNJOBID= nodeC005-1751220287-29085
SLURM_JOB_ID= 9587675
Free space on /tmp= 433016 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2003/normalized-disctom.0.u.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514828-1751224189/watcher-4514828-1751224189 -o /tmp/evaluation-result-4514828-1751224189/solver-4514828-1751224189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751220287-29085 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4514828-1751224189.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f04c7bc93f027c2b63d00aa04181a654
RANDOM SEED=1207783337
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.135
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.442
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.168
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.135
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 : 1197.241
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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: 129587800 kB
MemAvailable: 129719752 kB
Buffers: 3280 kB
Cached: 935592 kB
SwapCached: 0 kB
Active: 520672 kB
Inactive: 687704 kB
Active(anon): 287464 kB
Inactive(anon): 0 kB
Active(file): 233208 kB
Inactive(file): 687704 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14164 kB
Writeback: 0 kB
AnonPages: 271620 kB
Mapped: 114456 kB
Shmem: 17960 kB
KReclaimable: 101336 kB
Slab: 183888 kB
SReclaimable: 101336 kB
SUnreclaim: 82552 kB
KernelStack: 4032 kB
PageTables: 3488 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 619556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 188416 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 22:10:00