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 (55057 MiB free)
memory of node 1: 64465 MiB (63528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543073-1753224793/watcher-4543073-1753224793 -o /tmp/evaluation-result-4543073-1753224793/solver-4543073-1753224793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1753224789-160910 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4543073-1753224793.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=161010, runsolver pid=161007
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.36 1.25 1.89 5/265 161011
/proc/meminfo: memFree=121407580/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=42508 memory=27556 CPUtime=0.09 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 6592 0 0 0 8 1 0 0 20 0 1 0 238101823 43528192 6889 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 10627 6889 864 2593 0 7520 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 27556 KiB
[startup+0.205504 s]*
/proc/loadavg: 1.36 1.25 1.89 5/265 161011
/proc/meminfo: memFree=121387356/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=51592 memory=36556 CPUtime=0.2 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 9875 0 0 0 18 2 0 0 20 0 1 0 238101823 52830208 9139 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 12898 9139 896 2593 0 9791 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51592 KiB
Current children cumulated memory: 36556 KiB
[startup+0.305445 s]*
/proc/loadavg: 1.36 1.25 1.89 5/265 161011
/proc/meminfo: memFree=121375764/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=76228 memory=59544 CPUtime=0.3 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 15798 0 0 0 28 2 0 0 20 0 1 0 238101823 78057472 14886 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 19057 14886 896 2593 0 15950 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 76228 KiB
Current children cumulated memory: 59544 KiB
[startup+0.700181 s]
/proc/loadavg: 1.36 1.25 1.89 5/265 161011
/proc/meminfo: memFree=121358628/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=100908 memory=82356 CPUtime=0.68 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 20716 0 0 0 65 3 0 0 20 0 1 0 238101823 103329792 20589 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 25227 20589 960 2593 0 22120 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 100908 KiB
Current children cumulated memory: 82356 KiB
[startup+1.50017 s]
/proc/loadavg: 1.36 1.25 1.89 5/265 161011
/proc/meminfo: memFree=121324476/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=107024 memory=89136 CPUtime=1.49 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 23281 0 0 0 145 4 0 0 20 0 1 0 238101823 109592576 22284 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 26756 22284 992 2593 0 23649 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 107024 KiB
Current children cumulated memory: 89136 KiB
[startup+3.10536 s]
/proc/loadavg: 1.57 1.30 1.91 5/265 161011
/proc/meminfo: memFree=121322684/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=108564 memory=90720 CPUtime=3.08 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 24830 0 0 0 304 4 0 0 20 0 1 0 238101823 111169536 22680 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 27141 22680 992 2593 0 24034 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 108564 KiB
Current children cumulated memory: 90720 KiB
[startup+6.30016 s]
/proc/loadavg: 1.57 1.30 1.91 5/265 161011
/proc/meminfo: memFree=121317644/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=102900 memory=84964 CPUtime=6.27 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 25829 0 0 0 622 5 0 0 20 0 1 0 238101823 105369600 21241 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 25725 21241 992 2593 0 22618 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 102900 KiB
Current children cumulated memory: 84964 KiB
[startup+12.7001 s]
/proc/loadavg: 1.76 1.34 1.92 5/265 161011
/proc/meminfo: memFree=121325876/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=117880 memory=100032 CPUtime=12.65 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 27209 0 0 0 1259 6 0 0 20 0 1 0 238101823 120709120 25008 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 29470 25008 992 2593 0 26363 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 117880 KiB
Current children cumulated memory: 100032 KiB
[startup+25.5002 s]
/proc/loadavg: 2.26 1.47 1.95 5/265 161012
/proc/meminfo: memFree=121299400/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=137952 memory=120172 CPUtime=25.42 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 29117 0 0 0 2534 8 0 0 20 0 1 0 238101823 141262848 30043 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 34488 30043 992 2593 0 31381 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 137952 KiB
Current children cumulated memory: 120172 KiB
[startup+51.1054 s]
/proc/loadavg: 2.92 1.69 2.01 5/265 161012
/proc/meminfo: memFree=121276840/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=154664 memory=137016 CPUtime=50.96 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 36333 0 0 0 5083 13 0 0 20 0 1 0 238101823 158375936 34254 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 38666 34254 992 2593 0 35559 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 154664 KiB
Current children cumulated memory: 137016 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.07 2.12 5/267 161017
/proc/meminfo: memFree=121171008/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=182704 memory=165188 CPUtime=102.01 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 44314 0 0 0 10181 20 0 0 20 0 1 0 238101823 187088896 41297 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 45676 41297 992 2593 0 42569 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 182704 KiB
Current children cumulated memory: 165188 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.44 2.25 5/268 161020
/proc/meminfo: memFree=121078392/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=182704 memory=165360 CPUtime=161.84 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 47596 0 0 0 16158 26 0 0 20 0 1 0 238101823 187088896 41340 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 45676 41340 992 2593 0 42569 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 182704 KiB
Current children cumulated memory: 165360 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.74 2.37 5/269 161023
/proc/meminfo: memFree=121074188/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=182704 memory=165388 CPUtime=221.65 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 49513 0 0 0 22134 31 0 0 20 0 1 0 238101823 187088896 41347 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 45676 41347 992 2593 0 42569 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 182704 KiB
Current children cumulated memory: 165388 KiB
[startup+282.3 s]
/proc/loadavg: 4.40 3.07 2.50 5/269 161025
/proc/meminfo: memFree=120945016/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=226432 memory=209076 CPUtime=281.47 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 51647 0 0 0 28110 37 0 0 20 0 1 0 238101823 231866368 52269 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 56608 52269 992 2593 0 53501 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 226432 KiB
Current children cumulated memory: 209076 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 3.26 2.60 5/267 161027
/proc/meminfo: memFree=120915524/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=182704 memory=165504 CPUtime=341.28 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 53045 0 0 0 34086 42 0 0 20 0 1 0 238101823 187088896 41376 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 45676 41376 992 2593 0 42569 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 182704 KiB
Current children cumulated memory: 165504 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.42 2.71 5/265 161029
/proc/meminfo: memFree=120901468/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=231332 memory=214180 CPUtime=401.08 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 57467 0 0 0 40056 52 0 0 20 0 1 0 238101823 236883968 53545 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 57833 53545 992 2593 0 54726 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 231332 KiB
Current children cumulated memory: 214180 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.55 2.79 5/264 161031
/proc/meminfo: memFree=120852448/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=237492 memory=220420 CPUtime=460.89 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 62041 0 0 0 46029 60 0 0 20 0 1 0 238101823 243191808 55105 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 59373 55105 992 2593 0 56266 0
################
# More data... #
################
Current children cumulated memory: 327572 KiB
[startup+2862.3 s]
/proc/loadavg: 4.47 4.22 4.06 5/265 161162
/proc/meminfo: memFree=120381652/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=351416 memory=336792 CPUtime=2854.64 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 157698 0 0 0 285104 360 0 0 20 0 1 0 238101823 359849984 84198 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 87854 84198 992 2593 0 84747 0
Current children cumulated CPU time: 2854.64 s
Current children cumulated vsize: 351416 KiB
Current children cumulated memory: 336792 KiB
[startup+2922.3 s]
/proc/loadavg: 4.79 4.35 4.11 5/265 161164
/proc/meminfo: memFree=120347420/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=354336 memory=339712 CPUtime=2914.49 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 159164 0 0 0 291082 367 0 0 20 0 1 0 238101823 362840064 84928 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 88584 84928 992 2593 0 85477 0
Current children cumulated CPU time: 2914.49 s
Current children cumulated vsize: 354336 KiB
Current children cumulated memory: 339712 KiB
[startup+2982.3 s]
/proc/loadavg: 4.29 4.28 4.10 5/263 161168
/proc/meminfo: memFree=120348248/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=353700 memory=339128 CPUtime=2974.33 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 160166 0 0 0 297062 371 0 0 20 0 1 0 238101823 362188800 84782 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 88425 84782 992 2593 0 85318 0
Current children cumulated CPU time: 2974.33 s
Current children cumulated vsize: 353700 KiB
Current children cumulated memory: 339128 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.24 4.10 5/263 161174
/proc/meminfo: memFree=120322908/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=348300 memory=333676 CPUtime=3034.17 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 160697 0 0 0 303041 376 0 0 20 0 1 0 238101823 356659200 83419 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 87075 83419 992 2593 0 83968 0
Current children cumulated CPU time: 3034.17 s
Current children cumulated vsize: 348300 KiB
Current children cumulated memory: 333676 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.23 4.10 5/263 161177
/proc/meminfo: memFree=120320836/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=357708 memory=343084 CPUtime=3094.02 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 162231 0 0 0 309020 382 0 0 20 0 1 0 238101823 366292992 85771 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 89427 85771 992 2593 0 86320 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 357708 KiB
Current children cumulated memory: 343084 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.20 4.09 5/263 161179
/proc/meminfo: memFree=120325256/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=366292 memory=351668 CPUtime=3153.87 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 164379 0 0 0 314996 391 0 0 20 0 1 0 238101823 375083008 87917 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 91573 87917 992 2593 0 88466 0
Current children cumulated CPU time: 3153.87 s
Current children cumulated vsize: 366292 KiB
Current children cumulated memory: 351668 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.18 4.09 5/264 161182
/proc/meminfo: memFree=120335696/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=353240 memory=338616 CPUtime=3213.71 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 165297 0 0 0 320975 396 0 0 20 0 1 0 238101823 361717760 84654 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 88310 84654 992 2593 0 85203 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 353240 KiB
Current children cumulated memory: 338616 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/264 161184
/proc/meminfo: memFree=120152520/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=353788 memory=339164 CPUtime=3273.55 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 166662 0 0 0 326954 401 0 0 20 0 1 0 238101823 362278912 84791 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 88447 84791 992 2593 0 85340 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 353788 KiB
Current children cumulated memory: 339164 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/264 161186
/proc/meminfo: memFree=120236904/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=350632 memory=336008 CPUtime=3333.39 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 167713 0 0 0 332933 406 0 0 20 0 1 0 238101823 359047168 84002 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 87658 84002 992 2593 0 84551 0
Current children cumulated CPU time: 3333.39 s
Current children cumulated vsize: 350632 KiB
Current children cumulated memory: 336008 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.13 4.09 5/264 161188
/proc/meminfo: memFree=120238796/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=367348 memory=352848 CPUtime=3393.25 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 169528 0 0 0 338908 417 0 0 20 0 1 0 238101823 376164352 88212 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 91837 88212 992 2593 0 88730 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 367348 KiB
Current children cumulated memory: 352848 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/263 161190
/proc/meminfo: memFree=120208352/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=365012 memory=350388 CPUtime=3453.09 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 170259 0 0 0 344887 422 0 0 20 0 1 0 238101823 373772288 87597 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 91253 87597 992 2593 0 88146 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 365012 KiB
Current children cumulated memory: 350388 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/262 161192
/proc/meminfo: memFree=120175104/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=365596 memory=350972 CPUtime=3512.94 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 171134 0 0 0 350869 425 0 0 20 0 1 0 238101823 374370304 87743 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 91399 87743 992 2593 0 88292 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 365596 KiB
Current children cumulated memory: 350972 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 161197
/proc/meminfo: memFree=120342876/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=367432 memory=352808 CPUtime=3572.77 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 172625 0 0 0 356845 432 0 0 20 0 1 0 238101823 376250368 88202 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 91858 88202 992 2593 0 88751 0
Current children cumulated CPU time: 3572.77 s
Current children cumulated vsize: 367432 KiB
Current children cumulated memory: 352808 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 161338
/proc/meminfo: memFree=121369332/131250000 swapFree=33010416/33010684
[pid=161010] ppid=161007 vsize=376176 memory=361552 CPUtime=3600 cores=5,7
/proc/161010/stat : 161010 (CASHWMaxSAT-Dis) R 161007 161010 160897 0 -1 4194304 173080 0 0 0 359565 435 0 0 20 0 1 0 238101823 385204224 90388 18446744073709551615 4198400 14817773 140731447296464 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46333952 140731447302504 140731447302619 140731447302619 140731447308223 0
/proc/161010/statm: 94044 90388 992 2593 0 90937 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 376176 KiB
Current children cumulated memory: 361552 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 161010 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.66 s, system=4.35586 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.6
CPU time (s): 3600.01
CPU user time (s): 3595.66
CPU system time (s): 4.35586
CPU usage (%): 99.7344
Max. virtual memory (cumulated for all children) (KiB): 540380
Max. memory (cumulated for all children) (KiB): 524856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.66
system time used= 4.35586
maximum resident set size= 524984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173080
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= 53
involuntary context switches= 1781
# summary of solver processes directly reported to runsolver:
# pid: 161010
# total CPU time (s): 3600.01
# total CPU user time (s): 3595.66
# total CPU system time (s): 4.35586
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53962 second user time and 15.639 second system time
The end
Begin job on nodeC028 at 2025-07-23 00:53:13
IDJOB=4543073
IDBENCH=171756
IDSOLVER=3322
FILE ID=nodeC028/4543073-1753224793
RUNJOBID= nodeC028-1753224789-160910
SLURM_JOB_ID= 9687835
Free space on /tmp= 432984 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-original/normalized-php_220_219.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543073-1753224793/watcher-4543073-1753224793 -o /tmp/evaluation-result-4543073-1753224793/solver-4543073-1753224793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1753224789-160910 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4543073-1753224793.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4a5f06b7fb11c81ea5ac116ad2781b11
RANDOM SEED=971001680
nodeC028 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 : 3600.075
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 : 7000.16
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 : 3600.053
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 : 7000.16
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 : 3597.766
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 : 7000.16
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 : 3600.533
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 : 7000.16
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 : 3600.062
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 : 7000.16
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 : 3600.695
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 : 7000.16
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 : 3600.931
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 : 7000.16
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 : 3600.156
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121431712 kB
MemAvailable: 129259764 kB
Buffers: 2132 kB
Cached: 8595464 kB
SwapCached: 4 kB
Active: 1408456 kB
Inactive: 7638268 kB
Active(anon): 467076 kB
Inactive(anon): 8308 kB
Active(file): 941380 kB
Inactive(file): 7629960 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 52048 kB
Writeback: 0 kB
AnonPages: 451184 kB
Mapped: 121176 kB
Shmem: 26256 kB
KReclaimable: 191904 kB
Slab: 287300 kB
SReclaimable: 191904 kB
SUnreclaim: 95396 kB
KernelStack: 4304 kB
PageTables: 3924 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 828356 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 116736 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432972 MiB
End job on nodeC028 at 2025-07-23 01:53:23