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 (50713 MiB free)
memory of node 1: 64465 MiB (55296 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517735-1751528846/watcher-4517735-1751528846 -o /tmp/evaluation-result-4517735-1751528846/solver-4517735-1751528846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751521621-71836 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4517735-1751528846.opb -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
Linux 5.14.0-503.14.1.el
solver pid=73101, runsolver pid=73098
Current StackSize limit: 8192 KiB
[startup+0.100049 s]*
/proc/loadavg: 4.11 4.11 4.09 5/265 73102
/proc/meminfo: memFree=108546012/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=15508 memory=14824 CPUtime=0.09 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 3576 0 0 0 9 0 0 0 20 0 1 0 68563200 15880192 3706 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 3877 3706 544 484 0 3288 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 15508 KiB
Current children cumulated memory: 14824 KiB
[startup+0.205428 s]*
/proc/loadavg: 4.10 4.11 4.09 5/265 73102
/proc/meminfo: memFree=108546012/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=16260 memory=15428 CPUtime=0.2 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 4292 0 0 0 20 0 0 0 20 0 1 0 68563200 16650240 3857 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 4065 3857 544 484 0 3476 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 16260 KiB
Current children cumulated memory: 15428 KiB
[startup+0.304706 s]*
/proc/loadavg: 4.10 4.11 4.09 5/265 73102
/proc/meminfo: memFree=108546012/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=16464 memory=15804 CPUtime=0.3 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 4618 0 0 0 30 0 0 0 20 0 1 0 68563200 16859136 3951 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 4116 3951 544 484 0 3527 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 16464 KiB
Current children cumulated memory: 15804 KiB
[startup+0.700129 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 73102
/proc/meminfo: memFree=108555412/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=17128 memory=16376 CPUtime=0.68 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 6124 0 0 0 68 0 0 0 20 0 1 0 68563200 17539072 4094 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 4282 4094 544 484 0 3693 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 17128 KiB
Current children cumulated memory: 16376 KiB
[startup+1.50013 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 73102
/proc/meminfo: memFree=108555160/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=17780 memory=17120 CPUtime=1.49 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 7395 0 0 0 148 1 0 0 20 0 1 0 68563200 18206720 4280 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 4445 4280 544 484 0 3856 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 17780 KiB
Current children cumulated memory: 17120 KiB
[startup+3.1053 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 73102
/proc/meminfo: memFree=108547360/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=17736 memory=17088 CPUtime=3.09 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 9521 0 0 0 308 1 0 0 20 0 1 0 68563200 18161664 4272 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 4434 4272 544 484 0 3845 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 17736 KiB
Current children cumulated memory: 17088 KiB
[startup+6.30013 s]
/proc/loadavg: 4.17 4.13 4.10 5/265 73102
/proc/meminfo: memFree=108531048/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=22312 memory=21540 CPUtime=6.28 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 13120 0 0 0 626 2 0 0 20 0 1 0 68563200 22847488 5385 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 5578 5385 544 484 0 4989 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 22312 KiB
Current children cumulated memory: 21540 KiB
[startup+12.7001 s]
/proc/loadavg: 4.16 4.13 4.09 5/265 73102
/proc/meminfo: memFree=108527284/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=22240 memory=21496 CPUtime=12.66 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 18264 0 0 0 1263 3 0 0 20 0 1 0 68563200 22773760 5374 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 5560 5374 544 484 0 4971 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 22240 KiB
Current children cumulated memory: 21496 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 73102
/proc/meminfo: memFree=108508192/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=28884 memory=28152 CPUtime=25.42 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 24635 0 0 0 2537 5 0 0 20 0 1 0 68563200 29577216 7038 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 7221 7038 544 484 0 6632 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 28884 KiB
Current children cumulated memory: 28152 KiB
[startup+51.1053 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 73147
/proc/meminfo: memFree=108678608/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=36940 memory=36196 CPUtime=50.97 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 29963 0 0 0 5090 7 0 0 20 0 1 0 68563200 37826560 9049 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 9235 9049 544 484 0 8646 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 36940 KiB
Current children cumulated memory: 36196 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 73238
/proc/meminfo: memFree=108588256/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=58040 memory=57360 CPUtime=102 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 36931 0 0 0 10188 12 0 0 20 0 1 0 68563200 59432960 14340 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 14510 14340 544 484 0 13921 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 58040 KiB
Current children cumulated memory: 57360 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 73284
/proc/meminfo: memFree=105233692/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=58496 memory=57848 CPUtime=161.82 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 41400 0 0 0 16168 14 0 0 20 0 1 0 68563200 59899904 14462 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 14624 14462 544 484 0 14035 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 58496 KiB
Current children cumulated memory: 57848 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 73288
/proc/meminfo: memFree=105108052/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=44464 memory=43944 CPUtime=221.69 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 43262 0 0 0 22154 15 0 0 20 0 1 0 68563200 45531136 10986 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 11116 10986 544 484 0 10527 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 44464 KiB
Current children cumulated memory: 43944 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 73290
/proc/meminfo: memFree=105094348/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=77460 memory=76812 CPUtime=281.55 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 48322 0 0 0 28137 18 0 0 20 0 1 0 68563200 79319040 19203 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 19365 19203 544 484 0 18776 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 77460 KiB
Current children cumulated memory: 76812 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 73381
/proc/meminfo: memFree=104964932/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=80328 memory=79608 CPUtime=341.38 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 50669 0 0 0 34119 19 0 0 20 0 1 0 68563200 82255872 19902 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 20082 19902 544 484 0 19493 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 80328 KiB
Current children cumulated memory: 79608 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 73383
/proc/meminfo: memFree=104929360/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=91792 memory=91128 CPUtime=401.2 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 52038 0 0 0 40101 19 0 0 20 0 1 0 68563200 93995008 22782 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 22948 22782 544 484 0 22359 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 91792 KiB
Current children cumulated memory: 91128 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 73387
/proc/meminfo: memFree=105003112/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=64764 memory=64244 CPUtime=461.03 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 55198 0 0 0 46081 22 0 0 20 0 1 0 68563200 66318336 16061 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 16191 16061 544 484 0 15602 0
Current children cumulated CPU time: 461.03 s
################
# More data... #
################
Current children cumulated memory: 141224 KiB
[startup+2922.3 s]
/proc/loadavg: 3.43 3.96 4.05 4/257 73545
/proc/meminfo: memFree=103882332/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=150088 memory=148680 CPUtime=2913.72 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 116542 0 0 0 291254 118 0 0 20 0 1 0 68563200 153690112 37170 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 37522 37170 544 484 0 36933 0
Current children cumulated CPU time: 2913.72 s
Current children cumulated vsize: 150088 KiB
Current children cumulated memory: 148680 KiB
[startup+2982.3 s]
/proc/loadavg: 3.28 3.81 3.99 4/257 73547
/proc/meminfo: memFree=103886612/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=155316 memory=153908 CPUtime=2973.56 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 118387 0 0 0 297234 122 0 0 20 0 1 0 68563200 159043584 38477 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 38829 38477 544 484 0 38240 0
Current children cumulated CPU time: 2973.56 s
Current children cumulated vsize: 155316 KiB
Current children cumulated memory: 153908 KiB
[startup+3042.3 s]
/proc/loadavg: 3.16 3.68 3.93 4/257 73549
/proc/meminfo: memFree=103602032/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=154336 memory=152928 CPUtime=3033.42 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 120130 0 0 0 303216 126 0 0 20 0 1 0 68563200 158040064 38232 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 38584 38232 544 484 0 37995 0
Current children cumulated CPU time: 3033.42 s
Current children cumulated vsize: 154336 KiB
Current children cumulated memory: 152928 KiB
[startup+3102.3 s]
/proc/loadavg: 3.10 3.57 3.88 4/257 73551
/proc/meminfo: memFree=103734156/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=155636 memory=154228 CPUtime=3093.28 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 122579 0 0 0 309197 131 0 0 20 0 1 0 68563200 159371264 38557 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 38909 38557 544 484 0 38320 0
Current children cumulated CPU time: 3093.28 s
Current children cumulated vsize: 155636 KiB
Current children cumulated memory: 154228 KiB
[startup+3162.3 s]
/proc/loadavg: 3.13 3.49 3.83 4/257 73553
/proc/meminfo: memFree=103735816/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=148948 memory=147540 CPUtime=3153.13 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 124532 0 0 0 315178 135 0 0 20 0 1 0 68563200 152522752 36885 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 37237 36885 544 484 0 36648 0
Current children cumulated CPU time: 3153.13 s
Current children cumulated vsize: 148948 KiB
Current children cumulated memory: 147540 KiB
[startup+3222.3 s]
/proc/loadavg: 3.10 3.42 3.78 4/257 73555
/proc/meminfo: memFree=103626080/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=151788 memory=150380 CPUtime=3212.98 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 126953 0 0 0 321158 140 0 0 20 0 1 0 68563200 155430912 37595 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 37947 37595 544 484 0 37358 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 151788 KiB
Current children cumulated memory: 150380 KiB
[startup+3282.3 s]
/proc/loadavg: 3.15 3.37 3.74 4/256 73557
/proc/meminfo: memFree=103734832/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=153796 memory=152388 CPUtime=3272.82 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 128821 0 0 0 327138 144 0 0 20 0 1 0 68563200 157487104 38097 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 38449 38097 544 484 0 37860 0
Current children cumulated CPU time: 3272.82 s
Current children cumulated vsize: 153796 KiB
Current children cumulated memory: 152388 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.31 3.70 4/256 73559
/proc/meminfo: memFree=103736628/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=151552 memory=150144 CPUtime=3332.68 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 131304 0 0 0 333119 149 0 0 20 0 1 0 68563200 155189248 37536 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 37888 37536 544 484 0 37299 0
Current children cumulated CPU time: 3332.68 s
Current children cumulated vsize: 151552 KiB
Current children cumulated memory: 150144 KiB
[startup+3402.3 s]
/proc/loadavg: 3.08 3.27 3.66 4/256 73561
/proc/meminfo: memFree=103724652/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=159124 memory=157716 CPUtime=3392.54 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 133075 0 0 0 339101 153 0 0 20 0 1 0 68563200 162942976 39429 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 39781 39429 544 484 0 39192 0
Current children cumulated CPU time: 3392.54 s
Current children cumulated vsize: 159124 KiB
Current children cumulated memory: 157716 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.25 3.63 4/257 73566
/proc/meminfo: memFree=103459612/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=163928 memory=162900 CPUtime=3452.39 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 136687 0 0 0 345081 158 0 0 20 0 1 0 68563200 167862272 40725 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 40982 40725 544 484 0 40393 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 163928 KiB
Current children cumulated memory: 162900 KiB
[startup+3522.3 s]
/proc/loadavg: 3.10 3.22 3.59 4/257 73572
/proc/meminfo: memFree=103517524/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=152196 memory=151228 CPUtime=3512.25 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 138401 0 0 0 351063 162 0 0 20 0 1 0 68563200 155848704 37807 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 38049 37807 544 484 0 37460 0
Current children cumulated CPU time: 3512.25 s
Current children cumulated vsize: 152196 KiB
Current children cumulated memory: 151228 KiB
[startup+3582.3 s]
/proc/loadavg: 3.15 3.21 3.56 4/257 73574
/proc/meminfo: memFree=103553304/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=160988 memory=159960 CPUtime=3572.12 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 140629 0 0 0 357046 166 0 0 20 0 1 0 68563200 164851712 39990 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 40247 39990 544 484 0 39658 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 160988 KiB
Current children cumulated memory: 159960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 3.10 3.19 3.54 4/257 73574
/proc/meminfo: memFree=103655508/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=166244 memory=165216 CPUtime=3600.05 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 141179 0 0 0 359837 168 0 0 20 0 1 0 68563200 170233856 41304 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 41561 41304 544 484 0 40972 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 166244 KiB
Current children cumulated memory: 165216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 73101 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.38 s, system=1.6855 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 3.10 3.19 3.54 4/257 73574
/proc/meminfo: memFree=103655508/131249988 swapFree=33010416/33010684
[pid=73101] ppid=73098 vsize=166244 memory=165216 CPUtime=3600.05 cores=4,6
/proc/73101/stat : 73101 (uwrmaxsat) R 73098 73101 71825 0 -1 4194304 141179 0 0 0 359837 168 0 0 20 0 1 0 68563200 170233856 41304 18446744073709551615 4198400 6176925 140734415457120 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 33337344 140734415460714 140734415460841 140734415460841 140734415466443 0
/proc/73101/statm: 41561 41304 544 484 0 40972 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 166244 KiB
Current children cumulated memory: 165216 KiB
Child status: 10
Real time (s): 3610.3
CPU time (s): 3600.06
CPU user time (s): 3598.38
CPU system time (s): 1.6855
CPU usage (%): 99.7164
Max. virtual memory (cumulated for all children) (KiB): 218116
Max. memory (cumulated for all children) (KiB): 215832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.38
system time used= 1.6855
maximum resident set size= 221140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141180
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= 21
involuntary context switches= 1822
# summary of solver processes directly reported to runsolver:
# pid: 73101
# total CPU time (s): 3600.06
# total CPU user time (s): 3598.38
# total CPU system time (s): 1.6855
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73251 second user time and 15.7209 second system time
The end
Begin job on nodeC031 at 2025-07-03 09:47:27
IDJOB=4517735
IDBENCH=176167
IDSOLVER=3372
FILE ID=nodeC031/4517735-1751528846
RUNJOBID= nodeC031-1751521621-71836
SLURM_JOB_ID= 9598645
Free space on /tmp= 432088 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=7.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517735-1751528846/watcher-4517735-1751528846 -o /tmp/evaluation-result-4517735-1751528846/solver-4517735-1751528846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751521621-71836 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4517735-1751528846.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bf082a5f314776883f0e32420df0edd0
RANDOM SEED=778388010
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.891
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.78
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.882
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.78
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 : 3614.591
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.78
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 : 3683.446
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.78
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 : 3600.107
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.78
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.895
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.78
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 : 3676.834
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.78
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 : 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 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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 108554064 kB
MemAvailable: 129306648 kB
Buffers: 2128 kB
Cached: 21437404 kB
SwapCached: 12 kB
Active: 785752 kB
Inactive: 21030700 kB
Active(anon): 384504 kB
Inactive(anon): 10468 kB
Active(file): 401248 kB
Inactive(file): 21020232 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5776 kB
Writeback: 0 kB
AnonPages: 376920 kB
Mapped: 110648 kB
Shmem: 18052 kB
KReclaimable: 340688 kB
Slab: 432764 kB
SReclaimable: 340688 kB
SUnreclaim: 92076 kB
KernelStack: 4304 kB
PageTables: 3684 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 715896 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 264192 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432088 MiB
End job on nodeC031 at 2025-07-03 10:47:37