1823.32/1828.40 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
1823.32/1828.40 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
1823.72/1828.82 c Starting SCIP solver (with time-limit = 1800s) ...
3600.07/3610.00 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (48038 MiB free)
memory of node 1: 64465 MiB (61412 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499141-1751469189/watcher-4499141-1751469189 -o /tmp/evaluation-result-4499141-1751469189/solver-4499141-1751469189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751465576-64378 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4499141-1751469189.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=64760, runsolver pid=64757
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.09 4.05 5/262 64761
/proc/meminfo: memFree=112069672/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=41964 memory=26276 CPUtime=0.09 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 5590 0 0 0 9 0 0 0 20 0 1 0 62597595 42971136 6569 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 10491 6569 896 2593 0 7384 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41964 KiB
Current children cumulated memory: 26276 KiB
[startup+0.20558 s]*
/proc/loadavg: 4.10 4.09 4.05 5/262 64761
/proc/meminfo: memFree=112058332/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=71588 memory=55208 CPUtime=0.2 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 10067 0 0 0 18 2 0 0 20 0 1 0 62597595 73306112 13802 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 17897 13802 896 2593 0 14790 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71588 KiB
Current children cumulated memory: 55208 KiB
[startup+0.305526 s]*
/proc/loadavg: 4.10 4.09 4.05 5/262 64761
/proc/meminfo: memFree=112033820/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=94824 memory=73432 CPUtime=0.3 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 11623 0 0 0 28 2 0 0 20 0 1 0 62597595 97099776 18358 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 23706 18358 896 2593 0 20599 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 94824 KiB
Current children cumulated memory: 73432 KiB
[startup+0.700181 s]
/proc/loadavg: 4.10 4.09 4.05 5/262 64761
/proc/meminfo: memFree=111949076/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=167644 memory=141612 CPUtime=0.68 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 25259 0 0 0 64 4 0 0 20 0 1 0 62597595 171667456 35403 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 41911 35403 960 2593 0 38804 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 167644 KiB
Current children cumulated memory: 141612 KiB
[startup+1.50016 s]
/proc/loadavg: 4.10 4.09 4.05 5/262 64761
/proc/meminfo: memFree=111929444/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=195380 memory=166320 CPUtime=1.48 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 26836 0 0 0 143 5 0 0 20 0 1 0 62597595 200069120 41580 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 48845 41580 960 2593 0 45738 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 195380 KiB
Current children cumulated memory: 166320 KiB
[startup+3.10543 s]
/proc/loadavg: 4.10 4.09 4.05 5/262 64761
/proc/meminfo: memFree=111880568/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=222908 memory=195968 CPUtime=3.08 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 28124 0 0 0 302 6 0 0 20 0 1 0 62597595 228257792 48992 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 55727 48992 960 2593 0 52620 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 222908 KiB
Current children cumulated memory: 195968 KiB
[startup+6.30015 s]
/proc/loadavg: 4.09 4.08 4.05 5/262 64761
/proc/meminfo: memFree=111864280/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=232240 memory=205248 CPUtime=6.27 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 28445 0 0 0 621 6 0 0 20 0 1 0 62597595 237813760 51312 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 58060 51312 960 2593 0 54953 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 232240 KiB
Current children cumulated memory: 205248 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.08 4.05 5/263 64792
/proc/meminfo: memFree=111746292/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=232240 memory=205248 CPUtime=12.65 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 28468 0 0 0 1259 6 0 0 20 0 1 0 62597595 237813760 51312 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 58060 51312 960 2593 0 54953 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 232240 KiB
Current children cumulated memory: 205248 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.05 5/263 64792
/proc/meminfo: memFree=111757948/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=219372 memory=192340 CPUtime=25.41 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 30041 0 0 0 2533 8 0 0 20 0 1 0 62597595 224636928 48085 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 54843 48085 960 2593 0 51736 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 219372 KiB
Current children cumulated memory: 192340 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.09 4.05 5/263 64793
/proc/meminfo: memFree=111706492/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=232984 memory=206036 CPUtime=50.94 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 30916 0 0 0 5086 8 0 0 20 0 1 0 62597595 238575616 51509 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 58246 51509 960 2593 0 55139 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 232984 KiB
Current children cumulated memory: 206036 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/259 64802
/proc/meminfo: memFree=123902088/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=227920 memory=202272 CPUtime=101.98 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 33643 0 0 0 10187 11 0 0 20 0 1 0 62597595 233390080 50568 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 56980 50568 960 2593 0 53873 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 227920 KiB
Current children cumulated memory: 202272 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.10 4.06 5/263 64840
/proc/meminfo: memFree=123729824/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=242756 memory=217120 CPUtime=161.8 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 34830 0 0 0 16169 11 0 0 20 0 1 0 62597595 248582144 54280 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 60689 54280 960 2593 0 57582 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 242756 KiB
Current children cumulated memory: 217120 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/263 64842
/proc/meminfo: memFree=123733920/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=243952 memory=218400 CPUtime=221.62 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 35163 0 0 0 22150 12 0 0 20 0 1 0 62597595 249806848 54600 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 60988 54600 960 2593 0 57881 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 243952 KiB
Current children cumulated memory: 218400 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.06 5/265 64938
/proc/meminfo: memFree=122923036/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=290324 memory=264744 CPUtime=281.44 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 37265 0 0 0 28129 15 0 0 20 0 1 0 62597595 297291776 66186 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 72581 66186 960 2593 0 69474 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 290324 KiB
Current children cumulated memory: 264744 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.12 4.07 5/266 64945
/proc/meminfo: memFree=122970952/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=232324 memory=208308 CPUtime=341.24 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 41617 0 0 0 34105 19 0 0 20 0 1 0 62597595 237899776 52077 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 58081 52077 960 2593 0 54974 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 232324 KiB
Current children cumulated memory: 208308 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/266 64947
/proc/meminfo: memFree=122988624/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=233596 memory=209568 CPUtime=401.08 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 43914 0 0 0 40085 23 0 0 20 0 1 0 62597595 239202304 52392 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 58399 52392 960 2593 0 55292 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 233596 KiB
Current children cumulated memory: 209568 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/265 64949
/proc/meminfo: memFree=122940220/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=256760 memory=232736 CPUtime=460.92 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 45106 0 0 0 46068 24 0 0 20 0 1 0 62597595 262922240 58184 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 64190 58184 960 2593 0 61083 0
################
# More data... #
################
Current children cumulated memory: 1760096 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 65285
/proc/meminfo: memFree=109956308/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=1990864 memory=1776108 CPUtime=2854.29 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 340993 0 0 0 285297 132 0 0 20 0 1 0 62597595 2038644736 444027 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 497716 444027 2688 2593 0 494609 0
Current children cumulated CPU time: 2854.29 s
Current children cumulated vsize: 1990864 KiB
Current children cumulated memory: 1776108 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 65298
/proc/meminfo: memFree=109689300/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=2066620 memory=1782016 CPUtime=2914.14 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 341507 0 0 0 291281 133 0 0 20 0 1 0 62597595 2116218880 445504 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 516655 445504 2688 2593 0 513548 0
Current children cumulated CPU time: 2914.14 s
Current children cumulated vsize: 2066620 KiB
Current children cumulated memory: 1782016 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 65300
/proc/meminfo: memFree=109517444/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=2101604 memory=1782016 CPUtime=2973.99 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 341592 0 0 0 297266 133 0 0 20 0 1 0 62597595 2152042496 445504 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 525401 445504 2688 2593 0 522294 0
Current children cumulated CPU time: 2973.99 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 1782016 KiB
[startup+3042.3 s]
/proc/loadavg: 4.28 4.12 4.10 5/264 65302
/proc/meminfo: memFree=109912464/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=2171636 memory=1782016 CPUtime=3033.84 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 341747 0 0 0 303251 133 0 0 20 0 1 0 62597595 2223755264 445504 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 542909 445504 2688 2593 0 539802 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 2171636 KiB
Current children cumulated memory: 1782016 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/263 65304
/proc/meminfo: memFree=109885848/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=2270076 memory=1810336 CPUtime=3093.69 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 342269 0 0 0 309235 134 0 0 20 0 1 0 62597595 2324557824 452584 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 567519 452584 2688 2593 0 564412 0
Current children cumulated CPU time: 3093.69 s
Current children cumulated vsize: 2270076 KiB
Current children cumulated memory: 1810336 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 65306
/proc/meminfo: memFree=109856368/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=2270076 memory=1810336 CPUtime=3153.53 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 342318 0 0 0 315219 134 0 0 20 0 1 0 62597595 2324557824 452584 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 567519 452584 2688 2593 0 564412 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 2270076 KiB
Current children cumulated memory: 1810336 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 65308
/proc/meminfo: memFree=109860796/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=2270076 memory=1810336 CPUtime=3213.38 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 342345 0 0 0 321204 134 0 0 20 0 1 0 62597595 2324557824 452584 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 567519 452584 2688 2593 0 564412 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 2270076 KiB
Current children cumulated memory: 1810336 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 65310
/proc/meminfo: memFree=109878752/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=2270076 memory=1810336 CPUtime=3273.22 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 342458 0 0 0 327188 134 0 0 20 0 1 0 62597595 2324557824 452584 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 567519 452584 2688 2593 0 564412 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 2270076 KiB
Current children cumulated memory: 1810336 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 65314
/proc/meminfo: memFree=109847276/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=2270076 memory=1810336 CPUtime=3333.07 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 342511 0 0 0 333172 135 0 0 20 0 1 0 62597595 2324557824 452584 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 567519 452584 2688 2593 0 564412 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 2270076 KiB
Current children cumulated memory: 1810336 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 65321
/proc/meminfo: memFree=109333300/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=2662292 memory=2198632 CPUtime=3392.9 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 437137 0 0 0 339141 149 0 0 20 0 1 0 62597595 2726187008 549658 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 665573 549658 2688 2593 0 662466 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 2662292 KiB
Current children cumulated memory: 2198632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 65324
/proc/meminfo: memFree=109454296/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=2662292 memory=2198632 CPUtime=3452.73 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 437212 0 0 0 345124 149 0 0 20 0 1 0 62597595 2726187008 549658 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 665573 549658 2688 2593 0 662466 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 2662292 KiB
Current children cumulated memory: 2198632 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 65326
/proc/meminfo: memFree=109458172/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=2662292 memory=2198632 CPUtime=3512.58 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 437216 0 0 0 351109 149 0 0 20 0 1 0 62597595 2726187008 549658 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 665573 549658 2688 2593 0 662466 0
Current children cumulated CPU time: 3512.58 s
Current children cumulated vsize: 2662292 KiB
Current children cumulated memory: 2198632 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/263 65328
/proc/meminfo: memFree=109226008/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=2662292 memory=2198632 CPUtime=3572.44 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 437258 0 0 0 357094 150 0 0 20 0 1 0 62597595 2726187008 549658 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 665573 549658 2688 2593 0 662466 0
Current children cumulated CPU time: 3572.44 s
Current children cumulated vsize: 2662292 KiB
Current children cumulated memory: 2198632 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.38 4.16 4.11 5/263 65330
/proc/meminfo: memFree=109539640/131250000 swapFree=33010684/33010684
[pid=64760] ppid=64757 vsize=2662292 memory=2198632 CPUtime=3600.07 cores=1,3
/proc/64760/stat : 64760 (CASHWMaxSAT-Dis) R 64757 64760 64366 0 -1 4194304 437258 0 0 0 359857 150 0 0 20 0 1 0 62597595 2726187008 549658 18446744073709551615 4198400 14817773 140722176790752 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52047872 140722176792938 140722176793053 140722176793053 140722176798655 0
/proc/64760/statm: 665573 549658 2688 2593 0 662466 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2662292 KiB
Current children cumulated memory: 2198632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.07 s]
# the end of solver process 64760 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.58 s, system=1.56253 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.07
CPU time (s): 3600.14
CPU user time (s): 3598.58
CPU system time (s): 1.56253
CPU usage (%): 99.7251
Max. virtual memory (cumulated for all children) (KiB): 2662292
Max. memory (cumulated for all children) (KiB): 2198632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.58
system time used= 1.56253
maximum resident set size= 2198632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 437259
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= 39
involuntary context switches= 1551
# summary of solver processes directly reported to runsolver:
# pid: 64760
# total CPU time (s): 3600.14
# total CPU user time (s): 3598.58
# total CPU system time (s): 1.56253
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66488 second user time and 15.9057 second system time
The end
Begin job on nodeC026 at 2025-07-02 17:13:10
IDJOB=4499141
IDBENCH=148772
IDSOLVER=3322
FILE ID=nodeC026/4499141-1751469189
RUNJOBID= nodeC026-1751465576-64378
SLURM_JOB_ID= 9598481
Free space on /tmp= 430340 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499141-1751469189/watcher-4499141-1751469189 -o /tmp/evaluation-result-4499141-1751469189/solver-4499141-1751469189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751465576-64378 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4499141-1751469189.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=1663853282
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.868
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.789
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3616.795
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.814
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.793
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.793
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3527.423
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3574.510
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 112077436 kB
MemAvailable: 117384012 kB
Buffers: 3280 kB
Cached: 6101336 kB
SwapCached: 0 kB
Active: 12643144 kB
Inactive: 5830444 kB
Active(anon): 12387056 kB
Inactive(anon): 0 kB
Active(file): 256088 kB
Inactive(file): 5830444 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 36824 kB
Writeback: 0 kB
AnonPages: 12370024 kB
Mapped: 113772 kB
Shmem: 18080 kB
KReclaimable: 118568 kB
Slab: 208288 kB
SReclaimable: 118568 kB
SUnreclaim: 89720 kB
KernelStack: 4272 kB
PageTables: 27304 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 14077196 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5820416 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430420 MiB
End job on nodeC026 at 2025-07-02 18:13:20