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 (60056 MiB free)
memory of node 1: 64507 MiB (62938 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485295-1751297700/watcher-4485295-1751297700 -o /tmp/evaluation-result-4485295-1751297700/solver-4485295-1751297700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751290134-37754 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4485295-1751297700.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
Starting watchdog thread
solver pid=38668, runsolver pid=38665
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.08 4.09 4.09 5/262 38669
/proc/meminfo: memFree=125928940/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=42512 memory=27724 CPUtime=0.1 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 6637 0 0 0 9 1 0 0 20 0 1 0 45449929 43532288 6931 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 10628 6931 864 2593 0 7521 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42512 KiB
Current children cumulated memory: 27724 KiB
[startup+0.20561 s]*
/proc/loadavg: 4.08 4.09 4.09 5/262 38669
/proc/meminfo: memFree=125921128/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=60268 memory=43404 CPUtime=0.2 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 10553 0 0 0 18 2 0 0 20 0 1 0 45449929 61714432 10851 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 15067 10851 864 2593 0 11960 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60268 KiB
Current children cumulated memory: 43404 KiB
[startup+0.305509 s]*
/proc/loadavg: 4.08 4.09 4.09 5/262 38669
/proc/meminfo: memFree=125913064/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=68480 memory=49676 CPUtime=0.3 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 12140 0 0 0 28 2 0 0 20 0 1 0 45449929 70123520 12419 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 17120 12419 864 2593 0 14013 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 68480 KiB
Current children cumulated memory: 49676 KiB
[startup+0.700191 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 38669
/proc/meminfo: memFree=125896936/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=100608 memory=77584 CPUtime=0.69 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 18584 0 0 0 66 3 0 0 20 0 1 0 45449929 103022592 19396 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 25152 19396 864 2593 0 22045 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 77584 KiB
[startup+1.50016 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 38669
/proc/meminfo: memFree=125860836/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=149900 memory=126932 CPUtime=1.49 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 27430 0 0 0 143 6 0 0 20 0 1 0 45449929 153497600 31733 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 37475 31733 896 2593 0 34368 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 149900 KiB
Current children cumulated memory: 126932 KiB
[startup+3.10555 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 38669
/proc/meminfo: memFree=125792224/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=241536 memory=213836 CPUtime=3.08 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 33946 0 0 0 300 8 0 0 20 0 1 0 45449929 247332864 53459 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 60384 53459 896 2593 0 57277 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 241536 KiB
Current children cumulated memory: 213836 KiB
[startup+6.30015 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 38669
/proc/meminfo: memFree=125138012/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=967184 memory=908236 CPUtime=6.28 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 113573 0 0 0 598 30 0 0 20 0 1 0 45449929 990396416 227059 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 241796 227059 896 2593 0 238689 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 967184 KiB
Current children cumulated memory: 908236 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 38669
/proc/meminfo: memFree=124549500/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1547284 memory=1450588 CPUtime=12.65 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 171145 0 0 0 1217 48 0 0 20 0 1 0 45449929 1584418816 362647 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 386821 362647 960 2593 0 383714 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1547284 KiB
Current children cumulated memory: 1450588 KiB
[startup+25.5001 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 38669
/proc/meminfo: memFree=124335188/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1735760 memory=1590340 CPUtime=25.42 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 182508 0 0 0 2469 73 0 0 20 0 1 0 45449929 1777418240 397585 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 433940 397585 992 2593 0 430833 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1735760 KiB
Current children cumulated memory: 1590340 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 38669
/proc/meminfo: memFree=124362724/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1586204 memory=1449972 CPUtime=50.95 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 203029 0 0 0 4978 117 0 0 20 0 1 0 45449929 1624272896 362493 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 396551 362493 992 2593 0 393444 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1586204 KiB
Current children cumulated memory: 1449972 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 38671
/proc/meminfo: memFree=124302520/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1744320 memory=1601868 CPUtime=102 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 208799 0 0 0 10057 143 0 0 20 0 1 0 45449929 1786183680 399955 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 436080 400467 992 2593 0 432973 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1744320 KiB
Current children cumulated memory: 1601868 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 38673
/proc/meminfo: memFree=124196504/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1591544 memory=1465924 CPUtime=161.84 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 217056 0 0 0 16007 177 0 0 20 0 1 0 45449929 1629741056 366481 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 397886 366481 992 2593 0 394779 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1591544 KiB
Current children cumulated memory: 1465924 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.16 4.11 5/264 38683
/proc/meminfo: memFree=124176460/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1591504 memory=1465884 CPUtime=221.68 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 221504 0 0 0 21966 202 0 0 20 0 1 0 45449929 1629700096 366471 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 397876 366471 992 2593 0 394769 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1591504 KiB
Current children cumulated memory: 1465884 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/264 38685
/proc/meminfo: memFree=124125892/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1591980 memory=1466360 CPUtime=281.51 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 225897 0 0 0 27922 229 0 0 20 0 1 0 45449929 1630187520 366590 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 397995 366590 992 2593 0 394888 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1591980 KiB
Current children cumulated memory: 1466360 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 38687
/proc/meminfo: memFree=124024904/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1592692 memory=1467072 CPUtime=341.35 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 231338 0 0 0 33874 261 0 0 20 0 1 0 45449929 1630916608 366768 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 398173 366768 992 2593 0 395066 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 1592692 KiB
Current children cumulated memory: 1467072 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/264 38689
/proc/meminfo: memFree=123989704/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1594100 memory=1468500 CPUtime=401.19 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 235362 0 0 0 39836 283 0 0 20 0 1 0 45449929 1632358400 367125 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 398525 367125 992 2593 0 395418 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 1594100 KiB
Current children cumulated memory: 1468500 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 38691
/proc/meminfo: memFree=123941368/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1596272 memory=1470672 CPUtime=461.02 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 238679 0 0 0 45798 304 0 0 20 0 1 0 45449929 1634582528 367668 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 399068 367668 992 2593 0 395961 0
Current children cumulated CPU time: 461.02 s
################
# More data... #
################
Current children cumulated memory: 1490840 KiB
[startup+2922.3 s]
/proc/loadavg: 3.13 3.57 3.87 4/256 38842
/proc/meminfo: memFree=125154240/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1603096 memory=1491868 CPUtime=2913.46 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 320134 0 0 0 290667 679 0 0 20 0 1 0 45449929 1641570304 372967 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 400774 372967 992 2593 0 397667 0
Current children cumulated CPU time: 2913.46 s
Current children cumulated vsize: 1603096 KiB
Current children cumulated memory: 1491868 KiB
[startup+2982.3 s]
/proc/loadavg: 3.16 3.50 3.83 4/256 38844
/proc/meminfo: memFree=125143144/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1602772 memory=1491544 CPUtime=2973.31 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 320857 0 0 0 296648 683 0 0 20 0 1 0 45449929 1641238528 372886 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 400693 372886 992 2593 0 397586 0
Current children cumulated CPU time: 2973.31 s
Current children cumulated vsize: 1602772 KiB
Current children cumulated memory: 1491544 KiB
[startup+3042.3 s]
/proc/loadavg: 3.12 3.42 3.78 4/256 38846
/proc/meminfo: memFree=125144820/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1603160 memory=1492316 CPUtime=3033.17 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 321690 0 0 0 302630 687 0 0 20 0 1 0 45449929 1641635840 373079 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 400790 373079 992 2593 0 397683 0
Current children cumulated CPU time: 3033.17 s
Current children cumulated vsize: 1603160 KiB
Current children cumulated memory: 1492316 KiB
[startup+3102.3 s]
/proc/loadavg: 3.09 3.36 3.73 4/256 38848
/proc/meminfo: memFree=125139652/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1604716 memory=1495920 CPUtime=3093.03 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 323491 0 0 0 308608 695 0 0 20 0 1 0 45449929 1643229184 373980 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 401179 373980 992 2593 0 398072 0
Current children cumulated CPU time: 3093.03 s
Current children cumulated vsize: 1604716 KiB
Current children cumulated memory: 1495920 KiB
[startup+3162.3 s]
/proc/loadavg: 3.14 3.32 3.70 4/256 38850
/proc/meminfo: memFree=125145244/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1602292 memory=1493496 CPUtime=3152.89 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 324990 0 0 0 314586 703 0 0 20 0 1 0 45449929 1640747008 373374 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 400573 373374 992 2593 0 397466 0
Current children cumulated CPU time: 3152.89 s
Current children cumulated vsize: 1602292 KiB
Current children cumulated memory: 1493496 KiB
[startup+3222.3 s]
/proc/loadavg: 3.10 3.27 3.65 4/256 38852
/proc/meminfo: memFree=125144004/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1603196 memory=1494400 CPUtime=3212.75 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 325918 0 0 0 320568 707 0 0 20 0 1 0 45449929 1641672704 373600 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 400799 373600 992 2593 0 397692 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 1603196 KiB
Current children cumulated memory: 1494400 KiB
[startup+3282.3 s]
/proc/loadavg: 2.77 3.17 3.59 2/246 38924
/proc/meminfo: memFree=127786732/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1603912 memory=1495116 CPUtime=3272.6 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 327240 0 0 0 326545 715 0 0 20 0 1 0 45449929 1642405888 373779 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 400978 373779 992 2593 0 397871 0
Current children cumulated CPU time: 3272.6 s
Current children cumulated vsize: 1603912 KiB
Current children cumulated memory: 1495116 KiB
[startup+3342.3 s]
/proc/loadavg: 1.75 2.80 3.44 2/246 38927
/proc/meminfo: memFree=127786736/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1603996 memory=1495200 CPUtime=3332.47 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 328382 0 0 0 332528 719 0 0 20 0 1 0 45449929 1642491904 373800 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 400999 373800 992 2593 0 397892 0
Current children cumulated CPU time: 3332.47 s
Current children cumulated vsize: 1603996 KiB
Current children cumulated memory: 1495200 KiB
[startup+3402.3 s]
/proc/loadavg: 1.27 2.47 3.28 2/246 38929
/proc/meminfo: memFree=127785364/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1605220 memory=1496424 CPUtime=3392.33 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 329291 0 0 0 338510 723 0 0 20 0 1 0 45449929 1643745280 374106 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 401305 374106 992 2593 0 398198 0
Current children cumulated CPU time: 3392.33 s
Current children cumulated vsize: 1605220 KiB
Current children cumulated memory: 1496424 KiB
[startup+3462.3 s]
/proc/loadavg: 1.21 2.23 3.15 2/246 38931
/proc/meminfo: memFree=127785588/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1605044 memory=1496248 CPUtime=3452.19 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 330168 0 0 0 344492 727 0 0 20 0 1 0 45449929 1643565056 374062 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 401261 374062 992 2593 0 398154 0
Current children cumulated CPU time: 3452.19 s
Current children cumulated vsize: 1605044 KiB
Current children cumulated memory: 1496248 KiB
[startup+3522.3 s]
/proc/loadavg: 1.13 2.02 3.02 2/246 38933
/proc/meminfo: memFree=127783320/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1605872 memory=1497076 CPUtime=3512.05 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 330628 0 0 0 350474 731 0 0 20 0 1 0 45449929 1644412928 374269 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 401468 374269 992 2593 0 398361 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 1605872 KiB
Current children cumulated memory: 1497076 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.85 2.89 2/244 38935
/proc/meminfo: memFree=127760656/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1629564 memory=1520768 CPUtime=3571.9 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 334723 0 0 0 356441 749 0 0 20 0 1 0 45449929 1668673536 380192 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 407391 380192 992 2593 0 404284 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 1629564 KiB
Current children cumulated memory: 1520768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 1.05 1.77 2.83 2/244 38935
/proc/meminfo: memFree=127747892/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1642436 memory=1533640 CPUtime=3600.03 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 335888 0 0 0 359250 753 0 0 20 0 1 0 45449929 1681854464 383410 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 410609 383410 992 2593 0 407502 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1642436 KiB
Current children cumulated memory: 1533640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 38668 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.51 s, system=7.5431 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 1.05 1.77 2.83 2/244 38935
/proc/meminfo: memFree=127747892/131250000 swapFree=33010684/33010684
[pid=38668] ppid=38665 vsize=1642436 memory=1533640 CPUtime=3600.03 cores=1,3
/proc/38668/stat : 38668 (CASHWMaxSAT-Dis) R 38665 38668 37742 0 -1 4194304 335888 0 0 0 359250 753 0 0 20 0 1 0 45449929 1681854464 383410 18446744073709551615 4198400 14817773 140728356684144 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42713088 140728356686186 140728356686301 140728356686301 140728356691903 0
/proc/38668/statm: 410609 383410 992 2593 0 407502 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1642436 KiB
Current children cumulated memory: 1533640 KiB
Child status: 0
Real time (s): 3610.5
CPU time (s): 3600.05
CPU user time (s): 3592.51
CPU system time (s): 7.5431
CPU usage (%): 99.7104
Max. virtual memory (cumulated for all children) (KiB): 1905032
Max. memory (cumulated for all children) (KiB): 1787500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.51
system time used= 7.5431
maximum resident set size= 1787500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335888
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= 189
involuntary context switches= 1759
# summary of solver processes directly reported to runsolver:
# pid: 38668
# total CPU time (s): 3600.05
# total CPU user time (s): 3592.51
# total CPU system time (s): 7.5431
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01052 second user time and 15.9682 second system time
The end
Begin job on nodeC027 at 2025-06-30 17:35:00
IDJOB=4485295
IDBENCH=146784
IDSOLVER=3322
FILE ID=nodeC027/4485295-1751297700
RUNJOBID= nodeC027-1751290134-37754
SLURM_JOB_ID= 9594240
Free space on /tmp= 433012 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485295-1751297700/watcher-4485295-1751297700 -o /tmp/evaluation-result-4485295-1751297700/solver-4485295-1751297700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751290134-37754 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4485295-1751297700.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 46c70d7f28752ee0ae29660ce5b35655
RANDOM SEED=2109513106
nodeC027 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.560
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.29
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.599
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.29
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 : 3594.999
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.29
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 : 3626.313
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.29
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.607
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.29
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.612
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.29
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 : 3599.396
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.29
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 : 3599.976
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 125946280 kB
MemAvailable: 126443244 kB
Buffers: 3280 kB
Cached: 1299528 kB
SwapCached: 0 kB
Active: 3661768 kB
Inactive: 1042928 kB
Active(anon): 3419956 kB
Inactive(anon): 0 kB
Active(file): 241812 kB
Inactive(file): 1042928 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18216 kB
Writeback: 0 kB
AnonPages: 3405028 kB
Mapped: 130684 kB
Shmem: 18068 kB
KReclaimable: 102528 kB
Slab: 188424 kB
SReclaimable: 102528 kB
SUnreclaim: 85896 kB
KernelStack: 4256 kB
PageTables: 10112 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 4295812 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1677312 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC027 at 2025-06-30 18:35:11