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 (62238 MiB free)
memory of node 1: 64465 MiB (63911 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519024-1751546167/watcher-4519024-1751546167 -o /tmp/evaluation-result-4519024-1751546167/solver-4519024-1751546167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751546167-87567 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4519024-1751546167.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=87613, runsolver pid=87607
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.86 1.11 1.87 5/265 87626
/proc/meminfo: memFree=129127984/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=35160 memory=19144 CPUtime=0.09 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 5007 0 0 0 9 0 0 0 20 0 1 0 70295450 36003840 4786 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 8790 4786 1216 3139 0 5078 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35160 KiB
Current children cumulated memory: 19144 KiB
[startup+0.205327 s]*
/proc/loadavg: 0.86 1.11 1.87 5/265 87626
/proc/meminfo: memFree=129113872/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=36248 memory=20284 CPUtime=0.2 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 5542 0 0 0 20 0 0 0 20 0 1 0 70295450 37117952 5071 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 9062 5071 1216 3139 0 5350 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 20284 KiB
[startup+0.304985 s]*
/proc/loadavg: 0.86 1.11 1.87 5/265 87626
/proc/meminfo: memFree=129110672/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=36540 memory=20328 CPUtime=0.3 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 6326 0 0 0 30 0 0 0 20 0 1 0 70295450 37416960 5082 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 9135 5082 1216 3139 0 5423 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36540 KiB
Current children cumulated memory: 20328 KiB
[startup+0.700133 s]
/proc/loadavg: 0.86 1.11 1.87 5/265 87626
/proc/meminfo: memFree=129109916/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=37936 memory=21860 CPUtime=0.68 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 7709 0 0 0 68 0 0 0 20 0 1 0 70295450 38846464 5465 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 9484 5465 1216 3139 0 5772 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 21860 KiB
[startup+1.50012 s]
/proc/loadavg: 0.86 1.11 1.87 5/265 87626
/proc/meminfo: memFree=129105884/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=38248 memory=22168 CPUtime=1.48 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 8606 0 0 0 148 0 0 0 20 0 1 0 70295450 39165952 5542 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 9562 5542 1216 3139 0 5850 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38248 KiB
Current children cumulated memory: 22168 KiB
[startup+3.10508 s]
/proc/loadavg: 1.11 1.16 1.88 5/265 87626
/proc/meminfo: memFree=129100364/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=37740 memory=21796 CPUtime=3.09 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 9713 0 0 0 308 1 0 0 20 0 1 0 70295450 38645760 5449 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 9435 5449 1216 3139 0 5723 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 37740 KiB
Current children cumulated memory: 21796 KiB
[startup+6.30017 s]
/proc/loadavg: 1.11 1.16 1.88 5/265 87671
/proc/meminfo: memFree=129059044/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=42548 memory=26388 CPUtime=6.25 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 11797 0 0 0 623 2 0 0 20 0 1 0 70295450 43569152 6597 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 10637 6597 1216 3139 0 6925 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 26388 KiB
[startup+12.7001 s]
/proc/loadavg: 1.63 1.27 1.91 5/265 87671
/proc/meminfo: memFree=129048764/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=42996 memory=26924 CPUtime=12.63 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 15599 0 0 0 1260 3 0 0 20 0 1 0 70295450 44027904 6731 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 10749 6731 1216 3139 0 7037 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 42996 KiB
Current children cumulated memory: 26924 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 1.36 1.93 5/265 87671
/proc/meminfo: memFree=129026052/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=55744 memory=39572 CPUtime=25.4 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 19066 0 0 0 2535 5 0 0 20 0 1 0 70295450 57081856 9893 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 13936 9893 1216 3139 0 10224 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 55744 KiB
Current children cumulated memory: 39572 KiB
[startup+51.1052 s]
/proc/loadavg: 2.68 1.57 1.99 5/265 87671
/proc/meminfo: memFree=128992552/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=52932 memory=36900 CPUtime=50.93 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 21985 0 0 0 5087 6 0 0 20 0 1 0 70295450 54202368 9225 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 13233 9225 1216 3139 0 9521 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 52932 KiB
Current children cumulated memory: 36900 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.00 2.11 5/264 87673
/proc/meminfo: memFree=128926880/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=55432 memory=39936 CPUtime=101.96 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 25134 0 0 0 10189 7 0 0 20 0 1 0 70295450 56762368 9984 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 13858 9984 1216 3139 0 10146 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 55432 KiB
Current children cumulated memory: 39936 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.38 2.24 5/265 87680
/proc/meminfo: memFree=128876508/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=62752 memory=47128 CPUtime=161.77 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 35782 0 0 0 16165 12 0 0 20 0 1 0 70295450 64258048 11782 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 15688 11782 1216 3139 0 11976 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 62752 KiB
Current children cumulated memory: 47128 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.71 2.36 5/266 87683
/proc/meminfo: memFree=128811192/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=63376 memory=47636 CPUtime=221.58 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 41382 0 0 0 22144 14 0 0 20 0 1 0 70295450 64897024 11909 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 15844 11909 1216 3139 0 12132 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 63376 KiB
Current children cumulated memory: 47636 KiB
[startup+282.3 s]
/proc/loadavg: 4.03 2.95 2.47 5/266 87685
/proc/meminfo: memFree=128806656/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=86208 memory=70484 CPUtime=281.39 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 46262 0 0 0 28122 17 0 0 20 0 1 0 70295450 88276992 17621 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 21552 17621 1216 3139 0 17840 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 86208 KiB
Current children cumulated memory: 70484 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 3.16 2.57 5/264 87731
/proc/meminfo: memFree=128818796/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=94408 memory=78676 CPUtime=341.19 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 48866 0 0 0 34098 21 0 0 20 0 1 0 70295450 96673792 19669 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 23602 19669 1216 3139 0 19890 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 94408 KiB
Current children cumulated memory: 78676 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.34 2.67 5/264 87733
/proc/meminfo: memFree=128815972/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=88376 memory=72764 CPUtime=401.02 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 51501 0 0 0 40079 23 0 0 20 0 1 0 70295450 90497024 18191 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 22094 18191 1216 3139 0 18382 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 88376 KiB
Current children cumulated memory: 72764 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.48 2.76 5/263 87735
/proc/meminfo: memFree=128792352/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=108552 memory=92940 CPUtime=460.85 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 56360 0 0 0 46059 26 0 0 20 0 1 0 70295450 111157248 23235 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 27138 23235 1216 3139 0 23426 0
Current children cumulated CPU time: 460.85 s
################
# More data... #
################
Current children cumulated memory: 121780 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/263 87996
/proc/meminfo: memFree=121404676/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=140516 memory=121228 CPUtime=2853.1 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 117336 0 0 0 285219 91 0 0 20 0 1 0 70295450 143888384 30307 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 35129 30307 1216 3139 0 31417 0
Current children cumulated CPU time: 2853.1 s
Current children cumulated vsize: 140516 KiB
Current children cumulated memory: 121228 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/263 87998
/proc/meminfo: memFree=121398392/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=140324 memory=121036 CPUtime=2912.92 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 118475 0 0 0 291199 93 0 0 20 0 1 0 70295450 143691776 30259 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 35081 30259 1216 3139 0 31369 0
Current children cumulated CPU time: 2912.92 s
Current children cumulated vsize: 140324 KiB
Current children cumulated memory: 121036 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/264 88001
/proc/meminfo: memFree=121412560/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=140032 memory=120744 CPUtime=2972.75 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 119829 0 0 0 297180 95 0 0 20 0 1 0 70295450 143392768 30186 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 35008 30186 1216 3139 0 31296 0
Current children cumulated CPU time: 2972.75 s
Current children cumulated vsize: 140032 KiB
Current children cumulated memory: 120744 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.02 5/265 88004
/proc/meminfo: memFree=121413108/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=140844 memory=121556 CPUtime=3032.57 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 121605 0 0 0 303160 97 0 0 20 0 1 0 70295450 144224256 30389 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 35211 30389 1216 3139 0 31499 0
Current children cumulated CPU time: 3032.57 s
Current children cumulated vsize: 140844 KiB
Current children cumulated memory: 121556 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.11 4.03 5/265 88008
/proc/meminfo: memFree=121409984/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=150724 memory=131184 CPUtime=3092.4 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 124182 0 0 0 309140 100 0 0 20 0 1 0 70295450 154341376 32796 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 37681 32796 1216 3139 0 33969 0
Current children cumulated CPU time: 3092.4 s
Current children cumulated vsize: 150724 KiB
Current children cumulated memory: 131184 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/264 88010
/proc/meminfo: memFree=121399428/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=148804 memory=129356 CPUtime=3152.22 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 124969 0 0 0 315121 101 0 0 20 0 1 0 70295450 152375296 32339 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 37201 32339 1216 3139 0 33489 0
Current children cumulated CPU time: 3152.22 s
Current children cumulated vsize: 148804 KiB
Current children cumulated memory: 129356 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/265 88017
/proc/meminfo: memFree=121362092/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=149556 memory=130108 CPUtime=3212.05 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 126572 0 0 0 321102 103 0 0 20 0 1 0 70295450 153145344 32527 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 37389 32527 1216 3139 0 33677 0
Current children cumulated CPU time: 3212.05 s
Current children cumulated vsize: 149556 KiB
Current children cumulated memory: 130108 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.12 4.04 5/264 88019
/proc/meminfo: memFree=121373532/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=150032 memory=130584 CPUtime=3271.88 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 127674 0 0 0 327082 106 0 0 20 0 1 0 70295450 153632768 32646 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 37508 32646 1216 3139 0 33796 0
Current children cumulated CPU time: 3271.88 s
Current children cumulated vsize: 150032 KiB
Current children cumulated memory: 130584 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.03 5/265 88022
/proc/meminfo: memFree=121378328/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=150204 memory=130756 CPUtime=3331.7 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 129272 0 0 0 333062 108 0 0 20 0 1 0 70295450 153808896 32689 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 37551 32689 1216 3139 0 33839 0
Current children cumulated CPU time: 3331.7 s
Current children cumulated vsize: 150204 KiB
Current children cumulated memory: 130756 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/265 88024
/proc/meminfo: memFree=121388020/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=150048 memory=130600 CPUtime=3391.53 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 130051 0 0 0 339044 109 0 0 20 0 1 0 70295450 153649152 32650 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 37512 32650 1216 3139 0 33800 0
Current children cumulated CPU time: 3391.53 s
Current children cumulated vsize: 150048 KiB
Current children cumulated memory: 130600 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.04 5/265 88026
/proc/meminfo: memFree=121396076/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=151044 memory=131596 CPUtime=3451.35 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 131822 0 0 0 345024 111 0 0 20 0 1 0 70295450 154669056 32899 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 37761 32899 1216 3139 0 34049 0
Current children cumulated CPU time: 3451.35 s
Current children cumulated vsize: 151044 KiB
Current children cumulated memory: 131596 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/264 88028
/proc/meminfo: memFree=121393288/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=149924 memory=130476 CPUtime=3511.18 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 133042 0 0 0 351004 114 0 0 20 0 1 0 70295450 153522176 32619 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 37481 32619 1216 3139 0 33769 0
Current children cumulated CPU time: 3511.18 s
Current children cumulated vsize: 149924 KiB
Current children cumulated memory: 130476 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/264 88030
/proc/meminfo: memFree=121389076/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=151940 memory=132492 CPUtime=3571.01 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 134041 0 0 0 356986 115 0 0 20 0 1 0 70295450 155586560 33123 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 37985 33123 1216 3139 0 34273 0
Current children cumulated CPU time: 3571.01 s
Current children cumulated vsize: 151940 KiB
Current children cumulated memory: 132492 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.07 4.09 4.04 4/260 88039
/proc/meminfo: memFree=121545780/131249992 swapFree=33010160/33010684
[pid=87613] ppid=87607 vsize=151608 memory=132288 CPUtime=3600.02 cores=4,6
/proc/87613/stat : 87613 (uwrmaxsat-scip) R 87607 87613 87556 0 -1 4194304 134593 0 0 0 359886 116 0 0 20 0 1 0 70295450 155246592 33072 18446744073709551615 4198400 17051741 140736410076864 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 47869952 140736410081594 140736410081764 140736410081764 140736410087366 0
/proc/87613/statm: 37902 33072 1216 3139 0 34190 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 151608 KiB
Current children cumulated memory: 132288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.4 s]
# the end of solver process 87613 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.87 s, system=1.16529 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.4
CPU time (s): 3600.04
CPU user time (s): 3598.87
CPU system time (s): 1.16529
CPU usage (%): 99.6852
Max. virtual memory (cumulated for all children) (KiB): 227244
Max. memory (cumulated for all children) (KiB): 211488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.87
system time used= 1.16529
maximum resident set size= 211488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134600
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= 19
involuntary context switches= 20132
# summary of solver processes directly reported to runsolver:
# pid: 87613
# total CPU time (s): 3600.04
# total CPU user time (s): 3598.87
# total CPU system time (s): 1.16529
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30842 second user time and 15.8588 second system time
The end
Begin job on nodeC025 at 2025-07-03 14:36:07
IDJOB=4519024
IDBENCH=177142
IDSOLVER=3373
FILE ID=nodeC025/4519024-1751546167
RUNJOBID= nodeC025-1751546167-87567
SLURM_JOB_ID= 9598716
Free space on /tmp= 432980 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_26.opb
COMMAND LINE= HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519024-1751546167/watcher-4519024-1751546167 -o /tmp/evaluation-result-4519024-1751546167/solver-4519024-1751546167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751546167-87567 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4519024-1751546167.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= eab24ff23fe5100b8f4d0b18077a7ab6
RANDOM SEED=198894145
nodeC025 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 : 3598.786
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.67
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.804
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.67
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 : 3599.842
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.67
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 : 3598.866
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.67
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 : 3598.524
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.67
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.262
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.67
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.813
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.67
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.812
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 129176016 kB
MemAvailable: 129772200 kB
Buffers: 2128 kB
Cached: 1387592 kB
SwapCached: 200 kB
Active: 316356 kB
Inactive: 1140892 kB
Active(anon): 63800 kB
Inactive(anon): 21584 kB
Active(file): 252556 kB
Inactive(file): 1119308 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 66420 kB
Writeback: 0 kB
AnonPages: 70360 kB
Mapped: 102616 kB
Shmem: 17856 kB
KReclaimable: 127120 kB
Slab: 216448 kB
SReclaimable: 127120 kB
SUnreclaim: 89328 kB
KernelStack: 4024 kB
PageTables: 2392 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 329372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432876 MiB
End job on nodeC025 at 2025-07-03 15:36:19