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: 63837 MiB (50302 MiB free)
memory of node 1: 64465 MiB (52439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4547137-1753267009/watcher-4547137-1753267009 -o /tmp/evaluation-result-4547137-1753267009/solver-4547137-1753267009 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753266984-165309 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4547137-1753267009.opb 3600 HOME
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
Starting watchdog thread
solver pid=165786, runsolver pid=165783
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 2.43 2.12 2.15 5/261 165790
/proc/meminfo: memFree=105199812/131382112 swapFree=33001664/33010684
[pid=165786] ppid=165783 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/165786/stat : 165786 (Hybrid-CASHWMax) S 165783 165786 164071 0 -1 4194304 252 107 0 0 0 0 0 0 20 0 1 0 242380427 4427776 768 18446744073709551615 93992015405056 93992016299589 140736157541056 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992016538640 93992016586384 93992017436672 140736157546837 140736157546991 140736157546991 140736157552595 0
/proc/165786/statm: 1081 768 704 219 0 143 0
[pid=165789] ppid=165786 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/165789/stat : 165789 (timeout) S 165786 165789 164071 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 242380429 2723840 352 18446744073709551615 93974872068096 93974872084609 140732196757728 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93974872099376 93974872101464 93974904496128 140732196759966 140732196760096 140732196760096 140732196765671 0
/proc/165789/statm: 665 352 352 5 0 90 0
[pid=165790] ppid=165789 vsize=28500 memory=14080 CPUtime=0.07 cores=0,2
/proc/165790/stat : 165790 (CASHWMaxSAT-Dis) R 165789 165789 164071 0 -1 4194304 2755 0 0 0 7 0 0 0 20 0 1 0 242380430 29184000 3520 18446744073709551615 4198400 14817773 140723476088288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54362112 140723476093348 140723476093465 140723476093465 140723476099040 0
/proc/165790/statm: 7125 3520 864 2593 0 4018 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 35484 KiB
Current children cumulated memory: 18560 KiB
[startup+0.207367 s]*
/proc/loadavg: 2.43 2.12 2.15 5/261 165790
/proc/meminfo: memFree=105189984/131382112 swapFree=33001664/33010684
[pid=165786] ppid=165783 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/165786/stat : 165786 (Hybrid-CASHWMax) S 165783 165786 164071 0 -1 4194304 252 107 0 0 0 0 0 0 20 0 1 0 242380427 4427776 768 18446744073709551615 93992015405056 93992016299589 140736157541056 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992016538640 93992016586384 93992017436672 140736157546837 140736157546991 140736157546991 140736157552595 0
/proc/165786/statm: 1081 768 704 219 0 143 0
[pid=165789] ppid=165786 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/165789/stat : 165789 (timeout) S 165786 165789 164071 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 242380429 2723840 352 18446744073709551615 93974872068096 93974872084609 140732196757728 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93974872099376 93974872101464 93974904496128 140732196759966 140732196760096 140732196760096 140732196765671 0
/proc/165789/statm: 665 352 352 5 0 90 0
[pid=165790] ppid=165789 vsize=34736 memory=20224 CPUtime=0.18 cores=0,2
/proc/165790/stat : 165790 (CASHWMaxSAT-Dis) R 165789 165789 164071 0 -1 4194304 4287 0 0 0 17 1 0 0 20 0 1 0 242380430 35569664 5056 18446744073709551615 4198400 14817773 140723476088288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54362112 140723476093348 140723476093465 140723476093465 140723476099040 0
/proc/165790/statm: 8684 5056 864 2593 0 5577 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 41720 KiB
Current children cumulated memory: 24704 KiB
[startup+0.307077 s]*
/proc/loadavg: 2.43 2.12 2.15 5/261 165790
/proc/meminfo: memFree=105183936/131382112 swapFree=33001664/33010684
[pid=165786] ppid=165783 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/165786/stat : 165786 (Hybrid-CASHWMax) S 165783 165786 164071 0 -1 4194304 252 107 0 0 0 0 0 0 20 0 1 0 242380427 4427776 768 18446744073709551615 93992015405056 93992016299589 140736157541056 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992016538640 93992016586384 93992017436672 140736157546837 140736157546991 140736157546991 140736157552595 0
/proc/165786/statm: 1081 768 704 219 0 143 0
[pid=165789] ppid=165786 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/165789/stat : 165789 (timeout) S 165786 165789 164071 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 242380429 2723840 352 18446744073709551615 93974872068096 93974872084609 140732196757728 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93974872099376 93974872101464 93974904496128 140732196759966 140732196760096 140732196760096 140732196765671 0
/proc/165789/statm: 665 352 352 5 0 90 0
[pid=165790] ppid=165789 vsize=40688 memory=26112 CPUtime=0.28 cores=0,2
/proc/165790/stat : 165790 (CASHWMaxSAT-Dis) R 165789 165789 164071 0 -1 4194304 5769 0 0 0 27 1 0 0 20 0 1 0 242380430 41664512 6528 18446744073709551615 4198400 14817773 140723476088288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54362112 140723476093348 140723476093465 140723476093465 140723476099040 0
/proc/165790/statm: 10172 6528 864 2593 0 7065 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 47672 KiB
Current children cumulated memory: 30592 KiB
[startup+0.700348 s]
/proc/loadavg: 2.55 2.15 2.16 5/261 165790
/proc/meminfo: memFree=105167808/131382112 swapFree=33001664/33010684
[pid=165786] ppid=165783 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/165786/stat : 165786 (Hybrid-CASHWMax) S 165783 165786 164071 0 -1 4194304 252 107 0 0 0 0 0 0 20 0 1 0 242380427 4427776 768 18446744073709551615 93992015405056 93992016299589 140736157541056 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992016538640 93992016586384 93992017436672 140736157546837 140736157546991 140736157546991 140736157552595 0
/proc/165786/statm: 1081 768 704 219 0 143 0
[pid=165789] ppid=165786 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/165789/stat : 165789 (timeout) S 165786 165789 164071 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 242380429 2723840 352 18446744073709551615 93974872068096 93974872084609 140732196757728 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93974872099376 93974872101464 93974904496128 140732196759966 140732196760096 140732196760096 140732196765671 0
/proc/165789/statm: 665 352 352 5 0 90 0
[pid=165790] ppid=165789 vsize=62596 memory=48128 CPUtime=0.66 cores=0,2
/proc/165790/stat : 165790 (CASHWMaxSAT-Dis) R 165789 165789 164071 0 -1 4194304 11252 0 0 0 63 3 0 0 20 0 1 0 242380430 64098304 12032 18446744073709551615 4198400 14817773 140723476088288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54362112 140723476093348 140723476093465 140723476093465 140723476099040 0
/proc/165790/statm: 15649 12032 864 2593 0 12542 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 69580 KiB
Current children cumulated memory: 52608 KiB
[startup+1.5004 s]
/proc/loadavg: 2.55 2.15 2.16 5/261 165790
/proc/meminfo: memFree=105135744/131382112 swapFree=33001664/33010684
[pid=165786] ppid=165783 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/165786/stat : 165786 (Hybrid-CASHWMax) S 165783 165786 164071 0 -1 4194304 252 107 0 0 0 0 0 0 20 0 1 0 242380427 4427776 768 18446744073709551615 93992015405056 93992016299589 140736157541056 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992016538640 93992016586384 93992017436672 140736157546837 140736157546991 140736157546991 140736157552595 0
/proc/165786/statm: 1081 768 704 219 0 143 0
[pid=165789] ppid=165786 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/165789/stat : 165789 (timeout) S 165786 165789 164071 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 242380429 2723840 352 18446744073709551615 93974872068096 93974872084609 140732196757728 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93974872099376 93974872101464 93974904496128 140732196759966 140732196760096 140732196760096 140732196765671 0
/proc/165789/statm: 665 352 352 5 0 90 0
[pid=165790] ppid=165789 vsize=136072 memory=121344 CPUtime=1.46 cores=0,2
/proc/165790/stat : 165790 (CASHWMaxSAT-Dis) R 165789 165789 164071 0 -1 4194304 29554 0 0 0 139 7 0 0 20 0 1 0 242380430 139337728 30336 18446744073709551615 4198400 14817773 140723476088288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54362112 140723476093348 140723476093465 140723476093465 140723476099040 0
/proc/165790/statm: 34067 30336 864 2593 0 30960 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 143056 KiB
Current children cumulated memory: 125824 KiB
[startup+3.11342 s]
/proc/loadavg: 2.55 2.15 2.16 5/261 165790
/proc/meminfo: memFree=104861616/131382112 swapFree=33001664/33010684
[pid=165786] ppid=165783 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/165786/stat : 165786 (Hybrid-CASHWMax) S 165783 165786 164071 0 -1 4194304 252 107 0 0 0 0 0 0 20 0 1 0 242380427 4427776 768 18446744073709551615 93992015405056 93992016299589 140736157541056 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992016538640 93992016586384 93992017436672 140736157546837 140736157546991 140736157546991 140736157552595 0
/proc/165786/statm: 1081 768 704 219 0 143 0
[pid=165789] ppid=165786 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/165789/stat : 165789 (timeout) S 165786 165789 164071 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 242380429 2723840 352 18446744073709551615 93974872068096 93974872084609 140732196757728 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93974872099376 93974872101464 93974904496128 140732196759966 140732196760096 140732196760096 140732196765671 0
/proc/165789/statm: 665 352 352 5 0 90 0
[pid=165790] ppid=165789 vsize=374220 memory=359680 CPUtime=3.07 cores=0,2
/proc/165790/stat : 165790 (CASHWMaxSAT-Dis) R 165789 165789 164071 0 -1 4194304 89161 0 0 0 291 16 0 0 20 0 1 0 242380430 383201280 89920 18446744073709551615 4198400 14817773 140723476088288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54362112 140723476093348 140723476093465 140723476093465 140723476099040 0
/proc/165790/statm: 93555 89920 864 2593 0 90448 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 381204 KiB
Current children cumulated memory: 364160 KiB
[startup+6.30042 s]
/proc/loadavg: 2.67 2.18 2.17 5/261 165790
/proc/meminfo: memFree=104358064/131382112 swapFree=33001664/33010684
[pid=165786] ppid=165783 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/165786/stat : 165786 (Hybrid-CASHWMax) S 165783 165786 164071 0 -1 4194304 252 107 0 0 0 0 0 0 20 0 1 0 242380427 4427776 768 18446744073709551615 93992015405056 93992016299589 140736157541056 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992016538640 93992016586384 93992017436672 140736157546837 140736157546991 140736157546991 140736157552595 0
/proc/165786/statm: 1081 768 704 219 0 143 0
[pid=165789] ppid=165786 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/165789/stat : 165789 (timeout) S 165786 165789 164071 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 242380429 2723840 352 18446744073709551615 93974872068096 93974872084609 140732196757728 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93974872099376 93974872101464 93974904496128 140732196759966 140732196760096 140732196760096 140732196765671 0
/proc/165789/statm: 665 352 352 5 0 90 0
[pid=165790] ppid=165789 vsize=907644 memory=889796 CPUtime=6.24 cores=0,2
/proc/165790/stat : 165790 (CASHWMaxSAT-Dis) R 165789 165789 164071 0 -1 4194304 221154 0 0 0 587 37 0 0 20 0 1 0 242380430 929427456 222449 18446744073709551615 4198400 14817773 140723476088288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54362112 140723476093348 140723476093465 140723476093465 140723476099040 0
/proc/165790/statm: 226911 222449 864 2593 0 223804 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 914628 KiB
Current children cumulated memory: 894276 KiB
[startup+12.7004 s]
/proc/loadavg: 2.78 2.21 2.18 5/261 165790
/proc/meminfo: memFree=103342500/131382112 swapFree=33001664/33010684
[pid=165786] ppid=165783 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/165786/stat : 165786 (Hybrid-CASHWMax) S 165783 165786 164071 0 -1 4194304 252 107 0 0 0 0 0 0 20 0 1 0 242380427 4427776 768 18446744073709551615 93992015405056 93992016299589 140736157541056 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992016538640 93992016586384 93992017436672 140736157546837 140736157546991 140736157546991 140736157552595 0
/proc/165786/statm: 1081 768 704 219 0 143 0
[pid=165789] ppid=165786 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/165789/stat : 165789 (timeout) S 165786 165789 164071 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 242380429 2723840 352 18446744073709551615 93974872068096 93974872084609 140732196757728 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93974872099376 93974872101464 93974904496128 140732196759966 140732196760096 140732196760096 140732196765671 0
/proc/165789/statm: 665 352 352 5 0 90 0
[pid=165790] ppid=165789 vsize=1980848 memory=1959644 CPUtime=12.63 cores=0,2
/proc/165790/stat : 165790 (CASHWMaxSAT-Dis) R 165789 165789 164071 0 -1 4194304 486623 0 0 0 1182 81 0 0 20 0 1 0 242380430 2028388352 489911 18446744073709551615 4198400 14817773 140723476088288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54362112 140723476093348 140723476093465 140723476093465 140723476099040 0
/proc/165790/statm: 495212 489911 864 2593 0 492105 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1987832 KiB
Current children cumulated memory: 1964124 KiB
[startup+25.5005 s]
/proc/loadavg: 2.96 2.27 2.20 4/255 165800
/proc/meminfo: memFree=101434760/131382112 swapFree=33001664/33010684
[pid=165786] ppid=165783 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/165786/stat : 165786 (Hybrid-CASHWMax) S 165783 165786 164071 0 -1 4194304 252 107 0 0 0 0 0 0 20 0 1 0 242380427 4427776 768 18446744073709551615 93992015405056 93992016299589 140736157541056 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992016538640 93992016586384 93992017436672 140736157546837 140736157546991 140736157546991 140736157552595 0
/proc/165786/statm: 1081 768 704 219 0 143 0
[pid=165789] ppid=165786 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/165789/stat : 165789 (timeout) S 165786 165789 164071 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 242380429 2723840 352 18446744073709551615 93974872068096 93974872084609 140732196757728 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93974872099376 93974872101464 93974904496128 140732196759966 140732196760096 140732196760096 140732196765671 0
/proc/165789/statm: 665 352 352 5 0 90 0
[pid=165790] ppid=165789 vsize=3598852 memory=3435780 CPUtime=25.38 cores=0,2
/proc/165790/stat : 165790 (CASHWMaxSAT-Dis) R 165789 165789 164071 0 -1 4194304 672326 0 0 0 2394 144 0 0 20 0 1 0 242380430 3685224448 858945 18446744073709551615 4198400 14817773 140723476088288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54362112 140723476093348 140723476093465 140723476093465 140723476099040 0
/proc/165790/statm: 899713 858945 1216 2593 0 896606 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 3605836 KiB
Current children cumulated memory: 3440260 KiB
[startup+28.1279 s]
# the end of solver process 165786 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=26.1721 s, system=1.67471 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6005 s]
/proc/loadavg: 2.96 2.27 2.20 4/255 165800
/proc/meminfo: memFree=101434760/131382112 swapFree=33001664/33010684
[pid=165786] ppid=165783 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/165786/stat : 165786 (Hybrid-CASHWMax) S 165783 165786 164071 0 -1 4194304 252 107 0 0 0 0 0 0 20 0 1 0 242380427 4427776 768 18446744073709551615 93992015405056 93992016299589 140736157541056 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992016538640 93992016586384 93992017436672 140736157546837 140736157546991 140736157546991 140736157552595 0
/proc/165786/statm: 1081 768 704 219 0 143 0
[pid=165789] ppid=165786 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/165789/stat : 165789 (timeout) S 165786 165789 164071 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 242380429 2723840 352 18446744073709551615 93974872068096 93974872084609 140732196757728 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93974872099376 93974872101464 93974904496128 140732196759966 140732196760096 140732196760096 140732196765671 0
/proc/165789/statm: 665 352 352 5 0 90 0
[pid=165790] ppid=165789 vsize=3913780 memory=3476112 CPUtime=25.48 cores=0,2
/proc/165790/stat : 165790 (CASHWMaxSAT-Dis) R 165789 165789 164071 0 -1 4194304 672683 0 0 0 2403 145 0 0 20 0 1 0 242380430 4007710720 869028 18446744073709551615 4198400 14817773 140723476088288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54362112 140723476093348 140723476093465 140723476093465 140723476099040 0
/proc/165790/statm: 978445 869028 1216 2593 0 975338 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 3920764 KiB
Current children cumulated memory: 3480592 KiB
[startup+27.2004 s]
/proc/loadavg: 3.13 2.31 2.21 4/257 165804
/proc/meminfo: memFree=101376532/131382112 swapFree=33001664/33010684
[pid=165786] ppid=165783 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/165786/stat : 165786 (Hybrid-CASHWMax) S 165783 165786 164071 0 -1 4194304 252 107 0 0 0 0 0 0 20 0 1 0 242380427 4427776 768 18446744073709551615 93992015405056 93992016299589 140736157541056 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992016538640 93992016586384 93992017436672 140736157546837 140736157546991 140736157546991 140736157552595 0
/proc/165786/statm: 1081 768 704 219 0 143 0
[pid=165789] ppid=165786 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/165789/stat : 165789 (timeout) S 165786 165789 164071 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 242380429 2723840 352 18446744073709551615 93974872068096 93974872084609 140732196757728 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93974872099376 93974872101464 93974904496128 140732196759966 140732196760096 140732196760096 140732196765671 0
/proc/165789/statm: 665 352 352 5 0 90 0
[pid=165790] ppid=165789 vsize=3977280 memory=3814280 CPUtime=27.08 cores=0,2
/proc/165790/stat : 165790 (CASHWMaxSAT-Dis) R 165789 165789 164071 0 -1 4194304 673433 0 0 0 2554 154 0 0 20 0 1 0 242380430 4072734720 953570 18446744073709551615 4198400 14817773 140723476088288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54362112 140723476093348 140723476093465 140723476093465 140723476099040 0
/proc/165790/statm: 994320 953570 1216 2593 0 991213 0
Current children cumulated CPU time: 27.08 s
Current children cumulated vsize: 3984264 KiB
Current children cumulated memory: 3818760 KiB
[startup+27.6004 s]
/proc/loadavg: 3.13 2.31 2.21 4/257 165804
/proc/meminfo: memFree=101376532/131382112 swapFree=33001664/33010684
[pid=165786] ppid=165783 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/165786/stat : 165786 (Hybrid-CASHWMax) S 165783 165786 164071 0 -1 4194304 252 107 0 0 0 0 0 0 20 0 1 0 242380427 4427776 768 18446744073709551615 93992015405056 93992016299589 140736157541056 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992016538640 93992016586384 93992017436672 140736157546837 140736157546991 140736157546991 140736157552595 0
/proc/165786/statm: 1081 768 704 219 0 143 0
[pid=165789] ppid=165786 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/165789/stat : 165789 (timeout) S 165786 165789 164071 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 242380429 2723840 352 18446744073709551615 93974872068096 93974872084609 140732196757728 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93974872099376 93974872101464 93974904496128 140732196759966 140732196760096 140732196760096 140732196765671 0
/proc/165789/statm: 665 352 352 5 0 90 0
[pid=165790] ppid=165789 vsize=3913780 memory=3751212 CPUtime=27.48 cores=0,2
/proc/165790/stat : 165790 (CASHWMaxSAT-Dis) R 165789 165789 164071 0 -1 4194304 673554 0 0 0 2594 154 0 0 20 0 1 0 242380430 4007710720 937803 18446744073709551615 4198400 14817773 140723476088288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 54362112 140723476093348 140723476093465 140723476093465 140723476099040 0
/proc/165790/statm: 978445 937803 1216 2593 0 975338 0
Current children cumulated CPU time: 27.48 s
Current children cumulated vsize: 3920764 KiB
Current children cumulated memory: 3755692 KiB
[startup+28.0004 s]*
/proc/loadavg: 3.13 2.31 2.21 3/254 165820
/proc/meminfo: memFree=104902556/131382112 swapFree=33001664/33010684
[pid=165786] ppid=165783 vsize=4324 memory=3072 CPUtime=27.82 cores=0,2
/proc/165786/stat : 165786 (Hybrid-CASHWMax) S 165783 165786 164071 0 -1 4194304 287 674137 0 0 0 0 2616 166 20 0 1 0 242380427 4427776 768 18446744073709551615 93992015405056 93992016299589 140736157541056 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93992016538640 93992016586384 93992017436672 140736157546837 140736157546991 140736157546991 140736157552595 0
/proc/165786/statm: 1081 768 704 219 0 143 0
[pid=165820] ppid=165786 vsize=432 memory=128 CPUtime=0 cores=0,2
/proc/165820/stat : 165820 (cat) D 165786 165786 164071 0 -1 4456448 49 0 0 0 0 0 0 0 20 0 1 0 242383222 442368 32 18446744073709551615 93958256906240 93958256921297 140735060421712 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 93958256933520 93958256935016 93958266843136 140735060429293 140735060429352 140735060429352 140735060434923 0
/proc/165820/statm: 108 32 32 4 0 42 0
Current children cumulated CPU time: 27.82 s
Current children cumulated vsize: 4756 KiB
Current children cumulated memory: 3200 KiB
[startup+28.1133 s]
/proc/loadavg: 3.13 2.31 2.21 3/254 165820
/proc/meminfo: memFree=104902556/131382112 swapFree=33001664/33010684
[pid=165786] ppid=165783 vsize=4324 memory=3072 CPUtime=27.82 cores=0,2
/proc/165786/stat : 165786 (Hybrid-CASHWMax) S 165783 165786 164071 0 -1 4194304 315 674234 0 0 0 0 2616 166 20 0 1 0 242380427 4427776 768 18446744073709551615 93992015405056 93992016299589 140736157541056 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93992016538640 93992016586384 93992017436672 140736157546837 140736157546991 140736157546991 140736157552595 0
/proc/165786/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 27.82 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 28.128
CPU time (s): 27.8468
CPU user time (s): 26.1721
CPU system time (s): 1.67471
CPU usage (%): 99.0004
Max. virtual memory (cumulated for all children) (KiB): 3984264
Max. memory (cumulated for all children) (KiB): 3818760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.1721
system time used= 1.67471
maximum resident set size= 3814280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 674650
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 355
involuntary context switches= 71
# summary of solver processes directly reported to runsolver:
# pid: 165786
# total CPU time (s): 27.8468
# total CPU user time (s): 26.1721
# total CPU system time (s): 1.67471
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.187124 second user time and 0.348979 second system time
The end
Begin job on nodeC005 at 2025-07-23 12:36:50
IDJOB=4547137
IDBENCH=147885
IDSOLVER=3424
FILE ID=nodeC005/4547137-1753267009
RUNJOBID= nodeC005-1753266984-165309
SLURM_JOB_ID= 9689160
Free space on /tmp= 432892 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4547137-1753267009/watcher-4547137-1753267009 -o /tmp/evaluation-result-4547137-1753267009/solver-4547137-1753267009 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753266984-165309 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4547137-1753267009.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3386577d1309ab251b8359303cc2b582
RANDOM SEED=1217507064
nodeC005 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 : 1197.244
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.90
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.935
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.90
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 : 2594.668
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.90
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 : 3700.000
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.90
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 : 3691.793
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.90
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 : 3591.734
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.90
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.540
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.90
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 : 3700.000
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 105207720 kB
MemAvailable: 129574724 kB
Buffers: 12 kB
Cached: 25138240 kB
SwapCached: 776 kB
Active: 780828 kB
Inactive: 24723384 kB
Active(anon): 348148 kB
Inactive(anon): 38380 kB
Active(file): 432680 kB
Inactive(file): 24685004 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33001664 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 134620 kB
Writeback: 8768 kB
AnonPages: 368328 kB
Mapped: 117376 kB
Shmem: 20564 kB
KReclaimable: 177892 kB
Slab: 269180 kB
SReclaimable: 177892 kB
SUnreclaim: 91288 kB
KernelStack: 4176 kB
PageTables: 3944 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 746000 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 88064 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432876 MiB
End job on nodeC005 at 2025-07-23 12:37:19