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: 63794 MiB (12801 MiB free)
memory of node 1: 64507 MiB (16955 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542527-1753207028/watcher-4542527-1753207028 -o /tmp/evaluation-result-4542527-1753207028/solver-4542527-1753207028 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1753198970-158874 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4542527-1753207028.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
Current StackSize limit: 8192 KiB
solver pid=159766, runsolver pid=159763
[startup+0.100075 s]*
/proc/loadavg: 4.19 4.22 4.15 5/250 159767
/proc/meminfo: memFree=30466472/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=26520 memory=11932 CPUtime=0.1 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 2435 0 0 0 10 0 0 0 20 0 1 0 236381729 27156480 2983 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 6630 2983 864 2593 0 3523 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26520 KiB
Current children cumulated memory: 11932 KiB
[startup+0.213454 s]*
/proc/loadavg: 4.19 4.22 4.15 5/250 159767
/proc/meminfo: memFree=30439004/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=47472 memory=32104 CPUtime=0.21 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 8246 0 0 0 20 1 0 0 20 0 1 0 236381729 48611328 8026 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 11868 8026 864 2593 0 8761 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47472 KiB
Current children cumulated memory: 32104 KiB
[startup+0.31331 s]*
/proc/loadavg: 4.19 4.22 4.15 5/250 159767
/proc/meminfo: memFree=30422876/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=70796 memory=55416 CPUtime=0.31 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 13554 0 0 0 29 2 0 0 20 0 1 0 236381729 72495104 13854 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 17699 13854 864 2593 0 14592 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 70796 KiB
Current children cumulated memory: 55416 KiB
[startup+0.700324 s]
/proc/loadavg: 4.25 4.23 4.15 5/250 159767
/proc/meminfo: memFree=30397432/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=134456 memory=115848 CPUtime=0.68 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 26116 0 0 0 64 4 0 0 20 0 1 0 236381729 137682944 28962 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 33614 28962 864 2593 0 30507 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 134456 KiB
Current children cumulated memory: 115848 KiB
[startup+1.50035 s]
/proc/loadavg: 4.25 4.23 4.15 5/250 159767
/proc/meminfo: memFree=30244616/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=274524 memory=253308 CPUtime=1.48 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 48752 0 0 0 138 10 0 0 20 0 1 0 236381729 281112576 63327 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 68631 63327 864 2593 0 65524 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 274524 KiB
Current children cumulated memory: 253308 KiB
[startup+3.11288 s]
/proc/loadavg: 4.25 4.23 4.15 5/250 159767
/proc/meminfo: memFree=29965024/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=553440 memory=528940 CPUtime=3.09 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 90613 0 0 0 288 21 0 0 20 0 1 0 236381729 566722560 132235 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 138360 132235 864 2593 0 135253 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 553440 KiB
Current children cumulated memory: 528940 KiB
[startup+6.30026 s]
/proc/loadavg: 4.23 4.23 4.15 5/250 159767
/proc/meminfo: memFree=29435524/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=1118644 memory=1083920 CPUtime=6.27 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 162538 0 0 0 587 40 0 0 20 0 1 0 236381729 1145491456 270980 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 279661 270980 864 2593 0 276554 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1118644 KiB
Current children cumulated memory: 1083920 KiB
[startup+12.7003 s]
/proc/loadavg: 4.21 4.23 4.15 5/250 159767
/proc/meminfo: memFree=28471920/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=2082684 memory=1989668 CPUtime=12.65 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 263337 0 0 0 1192 73 0 0 20 0 1 0 236381729 2132668416 497417 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 520671 497417 896 2593 0 517564 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2082684 KiB
Current children cumulated memory: 1989668 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.22 4.15 5/250 159767
/proc/meminfo: memFree=27536632/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=3314880 memory=3039196 CPUtime=25.41 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 395174 0 0 0 2430 111 0 0 20 0 1 0 236381729 3394437120 759799 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 828720 759799 896 2593 0 825613 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3314880 KiB
Current children cumulated memory: 3039196 KiB
[startup+51.113 s]
/proc/loadavg: 4.11 4.20 4.14 5/250 159768
/proc/meminfo: memFree=26695500/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=4261780 memory=3945948 CPUtime=50.95 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 512483 0 0 0 4907 188 0 0 20 0 1 0 236381729 4364062720 986487 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 1065445 986487 992 2593 0 1062338 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 4261780 KiB
Current children cumulated memory: 3945948 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.18 4.14 5/250 159769
/proc/meminfo: memFree=25852828/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=4333652 memory=4017832 CPUtime=102 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 532469 0 0 0 9867 333 0 0 20 0 1 0 236381729 4437659648 1004458 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 1083413 1004458 992 2593 0 1080306 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 4333652 KiB
Current children cumulated memory: 4017832 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.16 4.13 5/249 159771
/proc/meminfo: memFree=26843036/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=3918188 memory=3602428 CPUtime=161.82 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 547658 0 0 0 15716 466 0 0 20 0 1 0 236381729 4012224512 900607 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 979547 900607 992 2593 0 976440 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 3918188 KiB
Current children cumulated memory: 3602428 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/250 159774
/proc/meminfo: memFree=26856724/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=3910496 memory=3594468 CPUtime=221.64 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 567350 0 0 0 21610 554 0 0 20 0 1 0 236381729 4004347904 898617 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 977624 898617 992 2593 0 974517 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 3910496 KiB
Current children cumulated memory: 3594468 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/250 159787
/proc/meminfo: memFree=26465636/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=3919368 memory=3607848 CPUtime=281.48 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 573048 0 0 0 27513 635 0 0 20 0 1 0 236381729 4013432832 901962 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 979842 901962 992 2593 0 976735 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 3919368 KiB
Current children cumulated memory: 3607848 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/250 159789
/proc/meminfo: memFree=26686572/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=4068080 memory=3764752 CPUtime=341.31 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 578167 0 0 0 33429 702 0 0 20 0 1 0 236381729 4165713920 941188 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 1017020 941188 992 2593 0 1013913 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 4068080 KiB
Current children cumulated memory: 3764752 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/250 159791
/proc/meminfo: memFree=26472748/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=4432112 memory=4132416 CPUtime=401.14 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 585926 0 0 0 39305 809 0 0 20 0 1 0 236381729 4538482688 1033104 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 1108028 1033104 992 2593 0 1104921 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 4432112 KiB
Current children cumulated memory: 4132416 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/251 159800
/proc/meminfo: memFree=26312044/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=4425420 memory=4127304 CPUtime=460.96 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 594181 0 0 0 45173 923 0 0 20 0 1 0 236381729 4531630080 1031826 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 1106355 1031826 992 2593 0 1103248 0
Current children cumulated CPU time: 460.96 s
################
# More data... #
################
Current children cumulated memory: 3691912 KiB
[startup+2922.3 s]
/proc/loadavg: 1.59 3.20 3.78 2/233 160007
/proc/meminfo: memFree=36779680/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=3989476 memory=3691388 CPUtime=2913.74 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 767633 0 0 0 288080 3294 0 0 20 0 1 0 236381729 4085223424 922847 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 997369 922847 992 2593 0 994262 0
Current children cumulated CPU time: 2913.74 s
Current children cumulated vsize: 3989476 KiB
Current children cumulated memory: 3691388 KiB
[startup+2982.3 s]
/proc/loadavg: 1.28 2.81 3.61 2/232 160009
/proc/meminfo: memFree=36754768/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=3995744 memory=3697656 CPUtime=2973.48 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 771810 0 0 0 294006 3342 0 0 20 0 1 0 236381729 4091641856 924414 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 998936 924414 992 2593 0 995829 0
Current children cumulated CPU time: 2973.48 s
Current children cumulated vsize: 3995744 KiB
Current children cumulated memory: 3697656 KiB
[startup+3042.3 s]
/proc/loadavg: 1.15 2.50 3.45 2/232 160011
/proc/meminfo: memFree=36759876/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=3989428 memory=3691340 CPUtime=3033.24 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 775107 0 0 0 299939 3385 0 0 20 0 1 0 236381729 4085174272 922835 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 997357 922835 992 2593 0 994250 0
Current children cumulated CPU time: 3033.24 s
Current children cumulated vsize: 3989428 KiB
Current children cumulated memory: 3691340 KiB
[startup+3102.3 s]
/proc/loadavg: 1.09 2.23 3.30 2/232 160013
/proc/meminfo: memFree=36757188/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=3994728 memory=3696640 CPUtime=3092.98 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 778249 0 0 0 305869 3429 0 0 20 0 1 0 236381729 4090601472 924160 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 998682 924160 992 2593 0 995575 0
Current children cumulated CPU time: 3092.98 s
Current children cumulated vsize: 3994728 KiB
Current children cumulated memory: 3696640 KiB
[startup+3162.3 s]
/proc/loadavg: 1.08 2.02 3.16 2/232 160015
/proc/meminfo: memFree=36764100/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=4121584 memory=3823432 CPUtime=3152.71 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 781443 0 0 0 311801 3470 0 0 20 0 1 0 236381729 4220502016 955858 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 1030396 955858 992 2593 0 1027289 0
Current children cumulated CPU time: 3152.71 s
Current children cumulated vsize: 4121584 KiB
Current children cumulated memory: 3823432 KiB
[startup+3222.3 s]
/proc/loadavg: 1.07 1.85 3.02 2/231 160017
/proc/meminfo: memFree=36752156/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=3996736 memory=3698648 CPUtime=3212.47 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 785273 0 0 0 317724 3523 0 0 20 0 1 0 236381729 4092657664 924662 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 999184 924662 992 2593 0 996077 0
Current children cumulated CPU time: 3212.47 s
Current children cumulated vsize: 3996736 KiB
Current children cumulated memory: 3698648 KiB
[startup+3282.3 s]
/proc/loadavg: 1.12 1.72 2.90 2/231 160019
/proc/meminfo: memFree=36751504/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=3989092 memory=3691004 CPUtime=3272.21 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 788066 0 0 0 323655 3566 0 0 20 0 1 0 236381729 4084830208 922751 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 997273 922751 992 2593 0 994166 0
Current children cumulated CPU time: 3272.21 s
Current children cumulated vsize: 3989092 KiB
Current children cumulated memory: 3691004 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.60 2.79 2/232 160022
/proc/meminfo: memFree=36762040/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=3997892 memory=3699804 CPUtime=3331.95 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 790580 0 0 0 329597 3598 0 0 20 0 1 0 236381729 4093841408 924951 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 999473 924951 992 2593 0 996366 0
Current children cumulated CPU time: 3331.95 s
Current children cumulated vsize: 3997892 KiB
Current children cumulated memory: 3699804 KiB
[startup+3402.3 s]
/proc/loadavg: 1.14 1.52 2.68 2/232 160024
/proc/meminfo: memFree=36747036/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=3994764 memory=3696676 CPUtime=3391.7 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 794794 0 0 0 335528 3642 0 0 20 0 1 0 236381729 4090638336 924169 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 998691 924169 992 2593 0 995584 0
Current children cumulated CPU time: 3391.7 s
Current children cumulated vsize: 3994764 KiB
Current children cumulated memory: 3696676 KiB
[startup+3462.3 s]
/proc/loadavg: 1.11 1.44 2.58 2/233 160033
/proc/meminfo: memFree=36758644/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=4132788 memory=3836556 CPUtime=3451.44 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 797722 0 0 0 341465 3679 0 0 20 0 1 0 236381729 4231974912 959139 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 1033197 959139 992 2593 0 1030090 0
Current children cumulated CPU time: 3451.44 s
Current children cumulated vsize: 4132788 KiB
Current children cumulated memory: 3836556 KiB
[startup+3522.3 s]
/proc/loadavg: 1.13 1.39 2.49 2/233 160035
/proc/meminfo: memFree=36654020/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=4134000 memory=3838152 CPUtime=3511.21 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 800783 0 0 0 347396 3725 0 0 20 0 1 0 236381729 4233216000 959538 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 1033500 959538 992 2593 0 1030393 0
Current children cumulated CPU time: 3511.21 s
Current children cumulated vsize: 4134000 KiB
Current children cumulated memory: 3838152 KiB
[startup+3582.3 s]
/proc/loadavg: 1.11 1.33 2.40 2/233 160037
/proc/meminfo: memFree=36775092/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=3993112 memory=3697328 CPUtime=3570.97 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 803292 0 0 0 353336 3761 0 0 20 0 1 0 236381729 4088946688 924332 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 998278 924332 992 2593 0 995171 0
Current children cumulated CPU time: 3570.97 s
Current children cumulated vsize: 3993112 KiB
Current children cumulated memory: 3697328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 1.07 1.30 2.36 2/233 160037
/proc/meminfo: memFree=36761408/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=4000000 memory=3704216 CPUtime=3600.07 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 805286 0 0 0 356223 3784 0 0 20 0 1 0 236381729 4096000000 926054 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 1000000 926054 992 2593 0 996893 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4000000 KiB
Current children cumulated memory: 3704216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.55 s]
# the end of solver process 159766 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3562.24 s, system=37.8924 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]
/proc/loadavg: 1.07 1.30 2.36 2/233 160037
/proc/meminfo: memFree=36761408/131382112 swapFree=33009904/33010684
[pid=159766] ppid=159763 vsize=4000000 memory=3704216 CPUtime=3600.07 cores=1,3
/proc/159766/stat : 159766 (CASHWMaxSAT-Dis) R 159763 159766 158854 0 -1 4194304 805286 0 0 0 356223 3784 0 0 20 0 1 0 236381729 4096000000 926054 18446744073709551615 4198400 14817773 140736448689936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 29560832 140736448698728 140736448698843 140736448698843 140736448704447 0
/proc/159766/statm: 1000000 926054 992 2593 0 996893 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4000000 KiB
Current children cumulated memory: 3704216 KiB
Child status: 0
Real time (s): 3611.55
CPU time (s): 3600.13
CPU user time (s): 3562.24
CPU system time (s): 37.8924
CPU usage (%): 99.6838
Max. virtual memory (cumulated for all children) (KiB): 4526924
Max. memory (cumulated for all children) (KiB): 4221488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.24
system time used= 37.8924
maximum resident set size= 4221488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 805286
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= 341
involuntary context switches= 3734
# summary of solver processes directly reported to runsolver:
# pid: 159766
# total CPU time (s): 3600.13
# total CPU user time (s): 3562.24
# total CPU system time (s): 37.8924
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4171 second user time and 33.9254 second system time
The end
Begin job on nodeC001 at 2025-07-22 19:57:08
IDJOB=4542527
IDBENCH=163934
IDSOLVER=3322
FILE ID=nodeC001/4542527-1753207028
RUNJOBID= nodeC001-1753198970-158874
SLURM_JOB_ID= 9687734
Free space on /tmp= 432448 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542527-1753207028/watcher-4542527-1753207028 -o /tmp/evaluation-result-4542527-1753207028/solver-4542527-1753207028 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1753198970-158874 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4542527-1753207028.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8e56f9e5ad0cb5cee4856e95cb4d672
RANDOM SEED=8278923
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.080
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.739
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.347
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.078
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.698
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.713
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.789
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.639
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 30470252 kB
MemAvailable: 119798472 kB
Buffers: 1668 kB
Cached: 87896024 kB
SwapCached: 132 kB
Active: 10753392 kB
Inactive: 87010264 kB
Active(anon): 9864380 kB
Inactive(anon): 27560 kB
Active(file): 889012 kB
Inactive(file): 86982704 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 68428 kB
Writeback: 4 kB
AnonPages: 9868904 kB
Mapped: 120176 kB
Shmem: 25976 kB
KReclaimable: 2517632 kB
Slab: 2647916 kB
SReclaimable: 2517632 kB
SUnreclaim: 130284 kB
KernelStack: 4032 kB
PageTables: 22480 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 10728408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5150720 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432608 MiB
End job on nodeC001 at 2025-07-22 20:57:20