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: 63665 MiB (57541 MiB free)
memory of node 1: 64507 MiB (45496 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521881-1751573012/watcher-4521881-1751573012 -o /tmp/evaluation-result-4521881-1751573012/solver-4521881-1751573012 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751565552-79536 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4521881-1751573012.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=80810, runsolver pid=80807
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.11 4.10 4.09 5/265 80811
/proc/meminfo: memFree=105502464/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=36776 memory=21340 CPUtime=0.1 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 5030 0 0 0 9 1 0 0 20 0 1 0 72980112 37658624 5335 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 9194 5335 864 2593 0 6087 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36776 KiB
Current children cumulated memory: 21340 KiB
[startup+0.205524 s]*
/proc/loadavg: 4.11 4.10 4.09 5/265 80811
/proc/meminfo: memFree=105482808/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=54212 memory=37924 CPUtime=0.2 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 9713 0 0 0 19 1 0 0 20 0 1 0 72980112 55513088 9481 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 13553 9481 864 2593 0 10446 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54212 KiB
Current children cumulated memory: 37924 KiB
[startup+0.305399 s]*
/proc/loadavg: 4.11 4.10 4.09 5/265 80811
/proc/meminfo: memFree=105466868/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=78488 memory=60480 CPUtime=0.3 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 15340 0 0 0 28 2 0 0 20 0 1 0 72980112 80371712 15120 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 19622 15120 864 2593 0 16515 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78488 KiB
Current children cumulated memory: 60480 KiB
[startup+0.700131 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 80811
/proc/meminfo: memFree=105422576/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=145080 memory=124452 CPUtime=0.69 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 28792 0 0 0 64 5 0 0 20 0 1 0 72980112 148561920 31113 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 36270 31113 864 2593 0 33163 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 145080 KiB
Current children cumulated memory: 124452 KiB
[startup+1.50017 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 80811
/proc/meminfo: memFree=105336952/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=282808 memory=253068 CPUtime=1.48 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 50219 0 0 0 138 10 0 0 20 0 1 0 72980112 289595392 63267 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 70702 63267 864 2593 0 67595 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 282808 KiB
Current children cumulated memory: 253068 KiB
[startup+3.10541 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 80812
/proc/meminfo: memFree=105015496/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=561692 memory=517636 CPUtime=3.09 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 86273 0 0 0 289 20 0 0 20 0 1 0 72980112 575172608 129409 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 140423 129409 864 2593 0 137316 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 561692 KiB
Current children cumulated memory: 517636 KiB
[startup+6.30016 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 80813
/proc/meminfo: memFree=104521956/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=1106888 memory=1034100 CPUtime=6.28 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 151073 0 0 0 589 39 0 0 20 0 1 0 72980112 1133453312 258525 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 276722 258525 864 2593 0 273615 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1106888 KiB
Current children cumulated memory: 1034100 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 80813
/proc/meminfo: memFree=103498908/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=2188744 memory=2052696 CPUtime=12.66 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 289264 0 0 0 1188 78 0 0 20 0 1 0 72980112 2241273856 513174 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 547186 513174 864 2593 0 544079 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2188744 KiB
Current children cumulated memory: 2052696 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 80813
/proc/meminfo: memFree=101600776/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=4099236 memory=3818808 CPUtime=25.42 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 486138 0 0 0 2396 146 0 0 20 0 1 0 72980112 4197617664 954702 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1024809 954702 896 2593 0 1021702 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4099236 KiB
Current children cumulated memory: 3818808 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 80813
/proc/meminfo: memFree=100852116/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=4986684 memory=4616456 CPUtime=50.94 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 556196 0 0 0 4916 178 0 0 20 0 1 0 72980112 5106364416 1154114 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1246671 1154114 896 2593 0 1243564 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 4986684 KiB
Current children cumulated memory: 4616456 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 80862
/proc/meminfo: memFree=97236772/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7842432 memory=7507236 CPUtime=101.97 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 984056 0 0 0 9866 331 0 0 20 0 1 0 72980112 8030650368 1876809 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1960608 1876809 992 2593 0 1957501 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 7842432 KiB
Current children cumulated memory: 7507236 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 80864
/proc/meminfo: memFree=97375780/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7535760 memory=7190508 CPUtime=161.76 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 998200 0 0 0 15705 471 0 0 20 0 1 0 72980112 7716618240 1797627 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1883940 1797627 992 2593 0 1880833 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 7535760 KiB
Current children cumulated memory: 7190508 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 80866
/proc/meminfo: memFree=97281392/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7537308 memory=7192008 CPUtime=221.55 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1012007 0 0 0 21519 636 0 0 20 0 1 0 72980112 7718203392 1798002 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1884327 1798002 992 2593 0 1881220 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 7537308 KiB
Current children cumulated memory: 7192008 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 80868
/proc/meminfo: memFree=97204288/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7837824 memory=7493388 CPUtime=281.34 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1024264 0 0 0 27348 786 0 0 20 0 1 0 72980112 8025931776 1873347 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1959456 1873347 992 2593 0 1956349 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 7837824 KiB
Current children cumulated memory: 7493388 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 80870
/proc/meminfo: memFree=96167788/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=8384336 memory=8039928 CPUtime=341.13 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1034098 0 0 0 33200 913 0 0 20 0 1 0 72980112 8585560064 2009982 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 2096084 2009982 992 2593 0 2092977 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 8384336 KiB
Current children cumulated memory: 8039928 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 80873
/proc/meminfo: memFree=97052768/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7540508 memory=7196576 CPUtime=400.92 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1043762 0 0 0 39066 1026 0 0 20 0 1 0 72980112 7721480192 1799144 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1885127 1799144 992 2593 0 1882020 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 7540508 KiB
Current children cumulated memory: 7196576 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 80875
/proc/meminfo: memFree=96179460/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=8389376 memory=8045528 CPUtime=460.72 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1052088 0 0 0 44929 1143 0 0 20 0 1 0 72980112 8590721024 2011382 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 2097344 2011382 992 2593 0 2094237 0
Current children cumulated CPU time: 460.72 s
################
# More data... #
################
Current children cumulated memory: 8100652 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/262 81083
/proc/meminfo: memFree=96218444/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7580832 memory=7239320 CPUtime=2913.51 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1317762 0 0 0 287136 4215 0 0 20 0 1 0 72980112 7762771968 1809830 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1895208 1809830 992 2593 0 1892101 0
Current children cumulated CPU time: 2913.51 s
Current children cumulated vsize: 7580832 KiB
Current children cumulated memory: 7239320 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/262 81085
/proc/meminfo: memFree=96171948/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7582036 memory=7240524 CPUtime=2973.29 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1322433 0 0 0 293072 4257 0 0 20 0 1 0 72980112 7764004864 1810131 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1895509 1810131 992 2593 0 1892402 0
Current children cumulated CPU time: 2973.29 s
Current children cumulated vsize: 7582036 KiB
Current children cumulated memory: 7240524 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.12 4.09 5/262 81087
/proc/meminfo: memFree=96180884/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7590192 memory=7248680 CPUtime=3033.07 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1327107 0 0 0 299008 4299 0 0 20 0 1 0 72980112 7772356608 1812170 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1897548 1812170 992 2593 0 1894441 0
Current children cumulated CPU time: 3033.07 s
Current children cumulated vsize: 7590192 KiB
Current children cumulated memory: 7248680 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 81095
/proc/meminfo: memFree=96138708/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7584056 memory=7242544 CPUtime=3092.85 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1332370 0 0 0 304944 4341 0 0 20 0 1 0 72980112 7766073344 1810636 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1896014 1810636 992 2593 0 1892907 0
Current children cumulated CPU time: 3092.85 s
Current children cumulated vsize: 7584056 KiB
Current children cumulated memory: 7242544 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 81100
/proc/meminfo: memFree=96135300/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7577448 memory=7235936 CPUtime=3152.64 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1336440 0 0 0 310880 4384 0 0 20 0 1 0 72980112 7759306752 1808984 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1894362 1808984 992 2593 0 1891255 0
Current children cumulated CPU time: 3152.64 s
Current children cumulated vsize: 7577448 KiB
Current children cumulated memory: 7235936 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 81102
/proc/meminfo: memFree=96074144/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7581304 memory=7239792 CPUtime=3212.43 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1342184 0 0 0 316809 4434 0 0 20 0 1 0 72980112 7763255296 1809948 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1895326 1809948 992 2593 0 1892219 0
Current children cumulated CPU time: 3212.43 s
Current children cumulated vsize: 7581304 KiB
Current children cumulated memory: 7239792 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 81104
/proc/meminfo: memFree=96081980/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7583560 memory=7242048 CPUtime=3272.22 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1345908 0 0 0 322764 4458 0 0 20 0 1 0 72980112 7765565440 1810512 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1895890 1810512 992 2593 0 1892783 0
Current children cumulated CPU time: 3272.22 s
Current children cumulated vsize: 7583560 KiB
Current children cumulated memory: 7242048 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 81106
/proc/meminfo: memFree=96077556/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7583452 memory=7241940 CPUtime=3332.01 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1350017 0 0 0 328700 4501 0 0 20 0 1 0 72980112 7765454848 1810485 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1895863 1810485 992 2593 0 1892756 0
Current children cumulated CPU time: 3332.01 s
Current children cumulated vsize: 7583452 KiB
Current children cumulated memory: 7241940 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 81108
/proc/meminfo: memFree=96014844/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7577808 memory=7236296 CPUtime=3391.8 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1354670 0 0 0 334637 4543 0 0 20 0 1 0 72980112 7759675392 1809074 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1894452 1809074 992 2593 0 1891345 0
Current children cumulated CPU time: 3391.8 s
Current children cumulated vsize: 7577808 KiB
Current children cumulated memory: 7236296 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 81121
/proc/meminfo: memFree=96006268/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7587300 memory=7245788 CPUtime=3451.58 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1359091 0 0 0 340572 4586 0 0 20 0 1 0 72980112 7769395200 1811447 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1896825 1811447 992 2593 0 1893718 0
Current children cumulated CPU time: 3451.58 s
Current children cumulated vsize: 7587300 KiB
Current children cumulated memory: 7245788 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 81123
/proc/meminfo: memFree=95049584/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7586488 memory=7247024 CPUtime=3511.37 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1363559 0 0 0 346509 4628 0 0 20 0 1 0 72980112 7768563712 1811756 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1896622 1811756 992 2593 0 1893515 0
Current children cumulated CPU time: 3511.37 s
Current children cumulated vsize: 7586488 KiB
Current children cumulated memory: 7247024 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 81125
/proc/meminfo: memFree=95871168/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7580976 memory=7241512 CPUtime=3571.17 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1367240 0 0 0 352455 4662 0 0 20 0 1 0 72980112 7762919424 1810378 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1895244 1810378 992 2593 0 1892137 0
Current children cumulated CPU time: 3571.17 s
Current children cumulated vsize: 7580976 KiB
Current children cumulated memory: 7241512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 81125
/proc/meminfo: memFree=95845384/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7588344 memory=7248880 CPUtime=3600.06 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1370352 0 0 0 355310 4696 0 0 20 0 1 0 72980112 7770464256 1812220 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1897086 1812220 992 2593 0 1893979 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 7588344 KiB
Current children cumulated memory: 7248880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.39 s]
# the end of solver process 80810 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3553.11 s, system=47.0528 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 81125
/proc/meminfo: memFree=95845384/131249988 swapFree=33010160/33010684
[pid=80810] ppid=80807 vsize=7588344 memory=7248880 CPUtime=3600.06 cores=0,2
/proc/80810/stat : 80810 (CASHWMaxSAT-Dis) R 80807 80810 79526 0 -1 4194304 1370352 0 0 0 355310 4696 0 0 20 0 1 0 72980112 7770464256 1812220 18446744073709551615 4198400 14817773 140734080040896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42356736 140734080043370 140734080043485 140734080043485 140734080049087 0
/proc/80810/statm: 1897086 1812220 992 2593 0 1893979 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 7588344 KiB
Current children cumulated memory: 7248880 KiB
Child status: 0
Real time (s): 3611.39
CPU time (s): 3600.16
CPU user time (s): 3553.11
CPU system time (s): 47.0528
CPU usage (%): 99.689
Max. virtual memory (cumulated for all children) (KiB): 8550332
Max. memory (cumulated for all children) (KiB): 8205020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.11
system time used= 47.0528
maximum resident set size= 8205020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1370352
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= 268
involuntary context switches= 8016
# summary of solver processes directly reported to runsolver:
# pid: 80810
# total CPU time (s): 3600.16
# total CPU user time (s): 3553.11
# total CPU system time (s): 47.0528
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25295 second user time and 15.9565 second system time
The end
Begin job on nodeC034 at 2025-07-03 22:03:33
IDJOB=4521881
IDBENCH=178517
IDSOLVER=3322
FILE ID=nodeC034/4521881-1751573012
RUNJOBID= nodeC034-1751565552-79536
SLURM_JOB_ID= 9598773
Free space on /tmp= 430988 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521881-1751573012/watcher-4521881-1751573012 -o /tmp/evaluation-result-4521881-1751573012/solver-4521881-1751573012 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751565552-79536 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4521881-1751573012.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8dda82f4961ecebecfcf9bee24c61458
RANDOM SEED=1812350634
nodeC034 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.750
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.53
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.758
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.53
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 : 3618.381
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.53
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.503
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.53
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.767
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.53
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.751
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.53
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 : 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 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.53
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 : 3597.660
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 105510276 kB
MemAvailable: 128880604 kB
Buffers: 2128 kB
Cached: 24108660 kB
SwapCached: 36 kB
Active: 1356860 kB
Inactive: 23634044 kB
Active(anon): 893976 kB
Inactive(anon): 4208 kB
Active(file): 462884 kB
Inactive(file): 23629836 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 126332 kB
Writeback: 4 kB
AnonPages: 881552 kB
Mapped: 136464 kB
Shmem: 18068 kB
KReclaimable: 233292 kB
Slab: 325944 kB
SReclaimable: 233292 kB
SUnreclaim: 92652 kB
KernelStack: 4288 kB
PageTables: 4808 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1263776 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 540672 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430964 MiB
End job on nodeC034 at 2025-07-03 23:03:44