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 (62185 MiB free)
memory of node 1: 64507 MiB (62734 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491367-1751386231/watcher-4491367-1751386231 -o /tmp/evaluation-result-4491367-1751386231/solver-4491367-1751386231 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751382616-53783 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4491367-1751386231.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=54478, runsolver pid=54475
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.09 4.11 4.06 5/264 54479
/proc/meminfo: memFree=127901700/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=29208 memory=14848 CPUtime=0.09 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 2965 0 0 0 9 0 0 0 20 0 1 0 54300799 29908992 3712 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 7302 3712 864 2593 0 4195 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 14848 KiB
[startup+0.205443 s]*
/proc/loadavg: 4.09 4.11 4.06 5/264 54479
/proc/meminfo: memFree=127893636/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=39572 memory=25216 CPUtime=0.2 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 5566 0 0 0 19 1 0 0 20 0 1 0 54300799 40521728 6304 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 9893 6304 864 2593 0 6786 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 25216 KiB
[startup+0.305548 s]*
/proc/loadavg: 4.09 4.11 4.06 5/264 54479
/proc/meminfo: memFree=127885572/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=49868 memory=35456 CPUtime=0.3 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 8116 0 0 0 29 1 0 0 20 0 1 0 54300799 51064832 8832 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 12467 8832 864 2593 0 9360 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49868 KiB
Current children cumulated memory: 35456 KiB
[startup+0.700128 s]
/proc/loadavg: 4.09 4.11 4.06 5/264 54479
/proc/meminfo: memFree=127867680/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=85412 memory=69780 CPUtime=0.68 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 17232 0 0 0 66 2 0 0 20 0 1 0 54300799 87461888 17445 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 21353 17445 896 2593 0 18246 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 85412 KiB
Current children cumulated memory: 69780 KiB
[startup+1.50015 s]
/proc/loadavg: 4.08 4.11 4.06 5/264 54479
/proc/meminfo: memFree=127845572/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=146652 memory=129984 CPUtime=1.49 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 26169 0 0 0 143 6 0 0 20 0 1 0 54300799 150171648 32496 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 36663 32496 896 2593 0 33556 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 146652 KiB
Current children cumulated memory: 129984 KiB
[startup+3.10541 s]
/proc/loadavg: 4.08 4.11 4.06 5/264 54479
/proc/meminfo: memFree=127449248/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=443040 memory=394608 CPUtime=3.09 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 59687 0 0 0 294 15 0 0 20 0 1 0 54300799 453672960 98652 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 110760 98652 960 2593 0 107653 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 443040 KiB
Current children cumulated memory: 394608 KiB
[startup+6.30014 s]
/proc/loadavg: 4.08 4.10 4.05 5/264 54479
/proc/meminfo: memFree=127366040/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=491844 memory=435472 CPUtime=6.27 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 64312 0 0 0 610 17 0 0 20 0 1 0 54300799 503648256 108868 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 122961 108868 960 2593 0 119854 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 491844 KiB
Current children cumulated memory: 435472 KiB
[startup+12.7001 s]
/proc/loadavg: 4.15 4.12 4.06 5/264 54480
/proc/meminfo: memFree=127351160/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=491844 memory=435728 CPUtime=12.66 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 64428 0 0 0 1249 17 0 0 20 0 1 0 54300799 503648256 108932 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 122961 108932 960 2593 0 119854 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 491844 KiB
Current children cumulated memory: 435728 KiB
[startup+25.5001 s]
/proc/loadavg: 4.13 4.11 4.06 5/266 54483
/proc/meminfo: memFree=127210484/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=568864 memory=514740 CPUtime=25.42 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 73236 0 0 0 2517 25 0 0 20 0 1 0 54300799 582516736 128685 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 142216 128685 992 2593 0 139109 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 568864 KiB
Current children cumulated memory: 514740 KiB
[startup+51.1055 s]
/proc/loadavg: 4.13 4.12 4.06 5/266 54798
/proc/meminfo: memFree=127384440/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=576388 memory=529116 CPUtime=50.83 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 76596 0 0 0 5042 41 0 0 20 0 1 0 54300799 590221312 132279 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 144097 132279 992 2593 0 140990 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 576388 KiB
Current children cumulated memory: 529116 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.07 5/266 54889
/proc/meminfo: memFree=127304120/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=593224 memory=545500 CPUtime=101.84 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 80548 0 0 0 10136 48 0 0 20 0 1 0 54300799 607461376 136375 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 148306 136375 992 2593 0 145199 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 593224 KiB
Current children cumulated memory: 545500 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/266 55025
/proc/meminfo: memFree=127642968/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=593052 memory=547576 CPUtime=161.66 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 81630 0 0 0 16115 51 0 0 20 0 1 0 54300799 607285248 136894 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 148263 136894 992 2593 0 145156 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 593052 KiB
Current children cumulated memory: 547576 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 4.09 4.06 5/267 55702
/proc/meminfo: memFree=127405492/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=598964 memory=554632 CPUtime=221.34 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 84130 0 0 0 22065 69 0 0 20 0 1 0 54300799 613339136 138658 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 149741 138658 992 2593 0 146634 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 598964 KiB
Current children cumulated memory: 554632 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/267 55704
/proc/meminfo: memFree=127184700/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=620148 memory=575816 CPUtime=281.13 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 86749 0 0 0 28040 73 0 0 20 0 1 0 54300799 635031552 143954 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 155037 143954 992 2593 0 151930 0
Current children cumulated CPU time: 281.13 s
Current children cumulated vsize: 620148 KiB
Current children cumulated memory: 575816 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/264 55750
/proc/meminfo: memFree=126784672/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=619284 memory=574952 CPUtime=340.93 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 87934 0 0 0 34018 75 0 0 20 0 1 0 54300799 634146816 143738 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 154821 143738 992 2593 0 151714 0
Current children cumulated CPU time: 340.93 s
Current children cumulated vsize: 619284 KiB
Current children cumulated memory: 574952 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.11 4.08 5/266 55755
/proc/meminfo: memFree=126635136/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=673316 memory=625424 CPUtime=400.76 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 109546 0 0 0 39996 80 0 0 20 0 1 0 54300799 689475584 156356 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 168329 156356 992 2593 0 165222 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 673316 KiB
Current children cumulated memory: 625424 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/266 55757
/proc/meminfo: memFree=126574508/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=710812 memory=663080 CPUtime=460.58 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 111448 0 0 0 45977 81 0 0 20 0 1 0 54300799 727871488 165770 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 177703 165770 992 2593 0 174596 0
################
# More data... #
################
Current children cumulated memory: 914764 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 55922
/proc/meminfo: memFree=125927756/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=986008 memory=915248 CPUtime=2911.94 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 196650 0 0 0 291031 163 0 0 20 0 1 0 54300799 1009672192 228812 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 246502 228812 992 2593 0 243395 0
Current children cumulated CPU time: 2911.94 s
Current children cumulated vsize: 986008 KiB
Current children cumulated memory: 915248 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 55931
/proc/meminfo: memFree=125886216/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=1072948 memory=961540 CPUtime=2971.78 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 197149 0 0 0 297014 164 0 0 20 0 1 0 54300799 1098698752 240385 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 268237 240385 992 2593 0 265130 0
Current children cumulated CPU time: 2971.78 s
Current children cumulated vsize: 1072948 KiB
Current children cumulated memory: 961540 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 55945
/proc/meminfo: memFree=125824388/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=1089392 memory=1009276 CPUtime=3031.61 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 216842 0 0 0 302990 171 0 0 20 0 1 0 54300799 1115537408 252319 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 272348 252319 992 2593 0 269241 0
Current children cumulated CPU time: 3031.61 s
Current children cumulated vsize: 1089392 KiB
Current children cumulated memory: 1009276 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 55948
/proc/meminfo: memFree=125819644/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=1087892 memory=1009596 CPUtime=3091.44 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 217605 0 0 0 308972 172 0 0 20 0 1 0 54300799 1114001408 252399 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 271973 252399 992 2593 0 268866 0
Current children cumulated CPU time: 3091.44 s
Current children cumulated vsize: 1087892 KiB
Current children cumulated memory: 1009596 KiB
[startup+3162.3 s]
/proc/loadavg: 4.46 4.19 4.12 5/265 55950
/proc/meminfo: memFree=125819156/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=1087892 memory=1009596 CPUtime=3151.27 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 217979 0 0 0 314955 172 0 0 20 0 1 0 54300799 1114001408 252399 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 271973 252399 992 2593 0 268866 0
Current children cumulated CPU time: 3151.27 s
Current children cumulated vsize: 1087892 KiB
Current children cumulated memory: 1009596 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.17 4.12 5/265 55952
/proc/meminfo: memFree=125819284/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=1087892 memory=1009596 CPUtime=3211.11 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 218085 0 0 0 320939 172 0 0 20 0 1 0 54300799 1114001408 252399 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 271973 252399 992 2593 0 268866 0
Current children cumulated CPU time: 3211.11 s
Current children cumulated vsize: 1087892 KiB
Current children cumulated memory: 1009596 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/265 55954
/proc/meminfo: memFree=125806652/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=1095120 memory=1020076 CPUtime=3270.94 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 219540 0 0 0 326920 174 0 0 20 0 1 0 54300799 1121402880 255019 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 273780 255019 992 2593 0 270673 0
Current children cumulated CPU time: 3270.94 s
Current children cumulated vsize: 1095120 KiB
Current children cumulated memory: 1020076 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/264 55956
/proc/meminfo: memFree=125751968/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=1190968 memory=1094380 CPUtime=3330.76 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 222554 0 0 0 332900 176 0 0 20 0 1 0 54300799 1219551232 273595 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 297742 273595 992 2593 0 294635 0
Current children cumulated CPU time: 3330.76 s
Current children cumulated vsize: 1190968 KiB
Current children cumulated memory: 1094380 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/264 55958
/proc/meminfo: memFree=125797024/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=1110212 memory=1039536 CPUtime=3390.59 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 223797 0 0 0 338881 178 0 0 20 0 1 0 54300799 1136857088 259884 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 277553 259884 992 2593 0 274446 0
Current children cumulated CPU time: 3390.59 s
Current children cumulated vsize: 1110212 KiB
Current children cumulated memory: 1039536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/264 55961
/proc/meminfo: memFree=125792084/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=1109492 memory=1038936 CPUtime=3450.43 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 224813 0 0 0 344863 180 0 0 20 0 1 0 54300799 1136119808 259734 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 277373 259734 992 2593 0 274266 0
Current children cumulated CPU time: 3450.43 s
Current children cumulated vsize: 1109492 KiB
Current children cumulated memory: 1038936 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 55962
/proc/meminfo: memFree=125743612/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=1109492 memory=1038936 CPUtime=3510.26 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 224817 0 0 0 350846 180 0 0 20 0 1 0 54300799 1136119808 259734 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 277373 259734 992 2593 0 274266 0
Current children cumulated CPU time: 3510.26 s
Current children cumulated vsize: 1109492 KiB
Current children cumulated memory: 1038936 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/263 55970
/proc/meminfo: memFree=125699272/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=1109436 memory=1038788 CPUtime=3570.09 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 225310 0 0 0 356828 181 0 0 20 0 1 0 54300799 1136062464 259697 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 277359 259697 992 2593 0 274252 0
Current children cumulated CPU time: 3570.09 s
Current children cumulated vsize: 1109436 KiB
Current children cumulated memory: 1038788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 4.01 4.10 4.09 5/264 56018
/proc/meminfo: memFree=126059972/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=1109436 memory=1038788 CPUtime=3600 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 225310 0 0 0 359819 181 0 0 20 0 1 0 54300799 1136062464 259697 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 277359 259697 992 2593 0 274252 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1109436 KiB
Current children cumulated memory: 1038788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.31 s]
# the end of solver process 54478 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.2 s, system=1.82581 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 4.01 4.10 4.09 5/264 56018
/proc/meminfo: memFree=126059972/131249996 swapFree=33010684/33010684
[pid=54478] ppid=54475 vsize=1109436 memory=1038788 CPUtime=3600 cores=0,2
/proc/54478/stat : 54478 (CASHWMaxSAT-Dis) R 54475 54478 53773 0 -1 4194304 225310 0 0 0 359819 181 0 0 20 0 1 0 54300799 1136062464 259697 18446744073709551615 4198400 14817773 140730804289328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44818432 140730804296042 140730804296157 140730804296157 140730804301759 0
/proc/54478/statm: 277359 259697 992 2593 0 274252 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1109436 KiB
Current children cumulated memory: 1038788 KiB
Child status: 10
Real time (s): 3612.31
CPU time (s): 3600.02
CPU user time (s): 3598.2
CPU system time (s): 1.82581
CPU usage (%): 99.6599
Max. virtual memory (cumulated for all children) (KiB): 1252000
Max. memory (cumulated for all children) (KiB): 1155396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.2
system time used= 1.82581
maximum resident set size= 1155396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225319
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= 147
involuntary context switches= 4603
# summary of solver processes directly reported to runsolver:
# pid: 54478
# total CPU time (s): 3600.02
# total CPU user time (s): 3598.2
# total CPU system time (s): 1.82581
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61128 second user time and 15.3146 second system time
The end
Begin job on nodeC021 at 2025-07-01 18:10:31
IDJOB=4491367
IDBENCH=147704
IDSOLVER=3322
FILE ID=nodeC021/4491367-1751386231
RUNJOBID= nodeC021-1751382616-53783
SLURM_JOB_ID= 9598225
Free space on /tmp= 432548 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_16.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491367-1751386231/watcher-4491367-1751386231 -o /tmp/evaluation-result-4491367-1751386231/solver-4491367-1751386231 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751382616-53783 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4491367-1751386231.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0c97dedf99f03a2f12057daa91676c25
RANDOM SEED=1686061448
nodeC021 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 : 3488.997
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.56
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.780
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.56
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.755
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.56
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.634
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.56
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.690
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.56
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.778
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.56
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 : 3606.122
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.266
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127921860 kB
MemAvailable: 128751300 kB
Buffers: 3280 kB
Cached: 1634944 kB
SwapCached: 0 kB
Active: 1356080 kB
Inactive: 1365228 kB
Active(anon): 1101144 kB
Inactive(anon): 0 kB
Active(file): 254936 kB
Inactive(file): 1365228 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44752 kB
Writeback: 0 kB
AnonPages: 1086252 kB
Mapped: 122196 kB
Shmem: 18060 kB
KReclaimable: 96628 kB
Slab: 185144 kB
SReclaimable: 96628 kB
SUnreclaim: 88516 kB
KernelStack: 4272 kB
PageTables: 5180 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1480732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 804864 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432528 MiB
End job on nodeC021 at 2025-07-01 19:10:44