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 (61736 MiB free)
memory of node 1: 64465 MiB (63609 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546252-1753259757/watcher-4546252-1753259757 -o /tmp/evaluation-result-4546252-1753259757/solver-4546252-1753259757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1753259701-174383 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546252-1753259757.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=174541, runsolver pid=174538
[startup+0.100059 s]*
/proc/loadavg: 2.64 0.82 0.34 3/261 174542
/proc/meminfo: memFree=128350216/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=17104 memory=640 CPUtime=0 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) D 174538 174541 174365 0 -1 4456448 80 0 0 0 0 0 0 0 20 0 1 0 241652623 17514496 160 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB
[startup+0.205391 s]*
/proc/loadavg: 2.64 0.82 0.34 3/261 174542
/proc/meminfo: memFree=128350216/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=17104 memory=640 CPUtime=0 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) D 174538 174541 174365 0 -1 4456448 80 0 0 0 0 0 0 0 20 0 1 0 241652623 17514496 160 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB
[startup+0.305531 s]*
/proc/loadavg: 2.64 0.82 0.34 3/261 174542
/proc/meminfo: memFree=128350216/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=17104 memory=640 CPUtime=0 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) D 174538 174541 174365 0 -1 4456448 80 0 0 0 0 0 0 0 20 0 1 0 241652623 17514496 160 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB
[startup+0.700175 s]
/proc/loadavg: 2.64 0.82 0.34 4/261 174542
/proc/meminfo: memFree=128334340/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=143128 memory=71896 CPUtime=0.27 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 15209 0 0 0 25 2 0 0 20 0 1 0 241652623 146563072 17974 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 35782 17974 2400 595 0 20449 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 143128 KiB
Current children cumulated memory: 71896 KiB
[startup+1.50013 s]
/proc/loadavg: 2.64 0.82 0.34 4/261 174542
/proc/meminfo: memFree=128279276/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=175900 memory=99288 CPUtime=1.07 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 22044 0 0 0 103 4 0 0 20 0 1 0 241652623 180121600 24822 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 43975 24822 2432 595 0 28642 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 175900 KiB
Current children cumulated memory: 99288 KiB
[startup+3.10545 s]
/proc/loadavg: 2.75 0.87 0.36 4/261 174546
/proc/meminfo: memFree=128303668/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=175900 memory=99288 CPUtime=2.67 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 22044 0 0 0 263 4 0 0 20 0 1 0 241652623 180121600 24822 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 43975 24822 2432 595 0 28642 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 175900 KiB
Current children cumulated memory: 99288 KiB
[startup+6.30013 s]
/proc/loadavg: 2.75 0.87 0.36 3/259 174571
/proc/meminfo: memFree=128292736/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=175900 memory=99288 CPUtime=5.86 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 22044 0 0 0 582 4 0 0 20 0 1 0 241652623 180121600 24822 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 43975 24822 2432 595 0 28642 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 175900 KiB
Current children cumulated memory: 99288 KiB
[startup+12.7001 s]
/proc/loadavg: 2.85 0.93 0.38 4/261 174587
/proc/meminfo: memFree=127997356/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=175900 memory=99288 CPUtime=12.24 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 22044 0 0 0 1220 4 0 0 20 0 1 0 241652623 180121600 24822 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 43975 24822 2432 595 0 28642 0
Current children cumulated CPU time: 12.24 s
Current children cumulated vsize: 175900 KiB
Current children cumulated memory: 99288 KiB
[startup+25.5002 s]
/proc/loadavg: 3.26 1.11 0.45 5/265 174624
/proc/meminfo: memFree=127888276/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=188756 memory=114628 CPUtime=25 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 25296 0 0 0 2495 5 0 0 20 0 1 0 241652623 193286144 28657 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 47189 28657 2496 595 0 31856 0
Current children cumulated CPU time: 25 s
Current children cumulated vsize: 188756 KiB
Current children cumulated memory: 114628 KiB
[startup+51.1056 s]
/proc/loadavg: 3.83 1.42 0.57 5/265 174624
/proc/meminfo: memFree=127778868/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=212872 memory=140156 CPUtime=50.53 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 31155 0 0 0 5044 9 0 0 20 0 1 0 241652623 217980928 35039 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 53218 35039 2496 595 0 37885 0
Current children cumulated CPU time: 50.53 s
Current children cumulated vsize: 212872 KiB
Current children cumulated memory: 140156 KiB
[startup+102.3 s]
/proc/loadavg: 3.93 1.82 0.76 5/265 174626
/proc/meminfo: memFree=127638144/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=231240 memory=158460 CPUtime=101.59 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 35766 0 0 0 10147 12 0 0 20 0 1 0 241652623 236789760 39615 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 57810 39615 2496 595 0 42477 0
Current children cumulated CPU time: 101.59 s
Current children cumulated vsize: 231240 KiB
Current children cumulated memory: 158460 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 2.25 0.97 5/265 174628
/proc/meminfo: memFree=127585628/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=245936 memory=173948 CPUtime=161.43 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 39615 0 0 0 16127 16 0 0 20 0 1 0 241652623 251838464 43487 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 61484 43487 2496 595 0 46151 0
Current children cumulated CPU time: 161.43 s
Current children cumulated vsize: 245936 KiB
Current children cumulated memory: 173948 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.59 1.17 5/265 174630
/proc/meminfo: memFree=127522616/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=262312 memory=192208 CPUtime=221.26 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 43698 0 0 0 22106 20 0 0 20 0 1 0 241652623 268607488 48052 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 65578 48052 2496 595 0 50245 0
Current children cumulated CPU time: 221.26 s
Current children cumulated vsize: 262312 KiB
Current children cumulated memory: 192208 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.86 1.36 5/263 174677
/proc/meminfo: memFree=128367024/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=277268 memory=208080 CPUtime=281.1 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 47353 0 0 0 28086 24 0 0 20 0 1 0 241652623 283922432 52020 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 69317 52020 2496 595 0 53984 0
Current children cumulated CPU time: 281.1 s
Current children cumulated vsize: 277268 KiB
Current children cumulated memory: 208080 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 3.10 1.53 5/263 174814
/proc/meminfo: memFree=121086416/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=290472 memory=224720 CPUtime=340.91 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 50534 0 0 0 34063 28 0 0 20 0 1 0 241652623 297443328 56180 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 72618 56180 2496 595 0 57285 0
Current children cumulated CPU time: 340.91 s
Current children cumulated vsize: 290472 KiB
Current children cumulated memory: 224720 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.29 1.70 5/263 174816
/proc/meminfo: memFree=111052012/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=296364 memory=231760 CPUtime=400.75 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 52239 0 0 0 40043 32 0 0 20 0 1 0 241652623 303476736 57940 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 74091 57940 2496 595 0 58758 0
Current children cumulated CPU time: 400.75 s
Current children cumulated vsize: 296364 KiB
Current children cumulated memory: 231760 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.45 1.85 5/264 174864
/proc/meminfo: memFree=120224448/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=305496 memory=240976 CPUtime=460.58 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 54522 0 0 0 46024 34 0 0 20 0 1 0 241652623 312827904 60244 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 76374 60244 2496 595 0 61041 0
Current children cumulated CPU time: 460.58 s
################
# More data... #
################
Current children cumulated memory: 368076 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.10 4.01 5/265 175154
/proc/meminfo: memFree=128221256/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=431488 memory=368588 CPUtime=3033.54 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 83683 0 0 0 303185 169 0 0 20 0 1 0 241652623 441843712 92147 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 107872 92147 2496 595 0 92539 0
Current children cumulated CPU time: 3033.54 s
Current children cumulated vsize: 431488 KiB
Current children cumulated memory: 368588 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.01 5/265 175156
/proc/meminfo: memFree=128226488/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=432176 memory=369100 CPUtime=3093.41 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 83796 0 0 0 309169 172 0 0 20 0 1 0 241652623 442548224 92275 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 108044 92275 2496 595 0 92711 0
Current children cumulated CPU time: 3093.41 s
Current children cumulated vsize: 432176 KiB
Current children cumulated memory: 369100 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.08 4.00 5/264 175158
/proc/meminfo: memFree=128221820/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=432652 memory=369868 CPUtime=3153.25 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 84006 0 0 0 315151 174 0 0 20 0 1 0 241652623 443035648 92467 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 108163 92467 2496 595 0 92830 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 432652 KiB
Current children cumulated memory: 369868 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/264 175160
/proc/meminfo: memFree=128224452/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=433168 memory=370380 CPUtime=3213.12 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 84266 0 0 0 321135 177 0 0 20 0 1 0 241652623 443564032 92595 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 108292 92595 2496 595 0 92959 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 433168 KiB
Current children cumulated memory: 370380 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.01 5/264 175163
/proc/meminfo: memFree=128218312/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=435096 memory=372300 CPUtime=3272.96 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 84742 0 0 0 327115 181 0 0 20 0 1 0 241652623 445538304 93075 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 108774 93075 2496 595 0 93441 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 435096 KiB
Current children cumulated memory: 372300 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.01 5/263 175165
/proc/meminfo: memFree=128218876/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=435860 memory=372812 CPUtime=3332.82 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 84891 0 0 0 333098 184 0 0 20 0 1 0 241652623 446320640 93203 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 108965 93203 2496 595 0 93632 0
Current children cumulated CPU time: 3332.82 s
Current children cumulated vsize: 435860 KiB
Current children cumulated memory: 372812 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/263 175168
/proc/meminfo: memFree=128219992/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=436632 memory=373836 CPUtime=3392.67 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 85143 0 0 0 339082 185 0 0 20 0 1 0 241652623 447111168 93459 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 109158 93459 2496 595 0 93825 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 436632 KiB
Current children cumulated memory: 373836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.01 5/264 175171
/proc/meminfo: memFree=128213336/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=437008 memory=374092 CPUtime=3452.52 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 85191 0 0 0 345065 187 0 0 20 0 1 0 241652623 447496192 93523 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 109252 93523 2496 595 0 93919 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 437008 KiB
Current children cumulated memory: 374092 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/264 175173
/proc/meminfo: memFree=128199024/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=438740 memory=375628 CPUtime=3512.38 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 85399 0 0 0 351048 190 0 0 20 0 1 0 241652623 449269760 93907 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 109685 93907 2496 595 0 94352 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 438740 KiB
Current children cumulated memory: 375628 KiB
[startup+3582.3 s]
/proc/loadavg: 4.31 4.16 4.04 5/264 175175
/proc/meminfo: memFree=128195956/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=438884 memory=376140 CPUtime=3572.23 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 85530 0 0 0 357032 191 0 0 20 0 1 0 241652623 449417216 94035 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 109721 94035 2496 595 0 94388 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 438884 KiB
Current children cumulated memory: 376140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.25 4.16 4.05 5/263 175175
/proc/meminfo: memFree=128205252/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=440748 memory=377420 CPUtime=3600.07 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 85851 0 0 0 359814 193 0 0 20 0 1 0 241652623 451325952 94355 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 110187 94355 2496 595 0 94854 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 440748 KiB
Current children cumulated memory: 377420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 174541 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.85 s, system=1.93716 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.25 4.16 4.05 5/263 175175
/proc/meminfo: memFree=128205252/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=410552 memory=351752 CPUtime=3600.27 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 85857 0 0 0 359834 193 0 0 20 0 1 0 241652623 420405248 87938 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 102638 87938 2592 595 0 87305 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 410552 KiB
Current children cumulated memory: 351752 KiB
[startup+3610.8 s]
/proc/loadavg: 4.25 4.16 4.05 5/263 175175
/proc/meminfo: memFree=128205252/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=410552 memory=351752 CPUtime=3600.66 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 85857 0 0 0 359873 193 0 0 20 0 1 0 241652623 420405248 87938 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 102638 87938 2592 595 0 87305 0
Current children cumulated CPU time: 3600.66 s
Current children cumulated vsize: 410552 KiB
Current children cumulated memory: 351752 KiB
[startup+3610.9 s]
/proc/loadavg: 4.25 4.16 4.05 5/263 175175
/proc/meminfo: memFree=128205252/131250000 swapFree=33008356/33010684
[pid=174541] ppid=174538 vsize=394788 memory=338592 CPUtime=3600.76 cores=4,6
/proc/174541/stat : 174541 (SynLSCD-PS) R 174538 174541 174365 0 -1 4194304 85857 0 0 0 359883 193 0 0 20 0 1 0 241652623 404262912 84648 18446744073709551615 94560135241728 94560137677145 140722101379520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560138157304 94560138190336 94560151265280 140722101381501 140722101381639 140722101381639 140722101387243 0
/proc/174541/statm: 98697 84648 2592 595 0 83364 0
Current children cumulated CPU time: 3600.76 s
Current children cumulated vsize: 394788 KiB
Current children cumulated memory: 338592 KiB
Child status: 0
Real time (s): 3610.91
CPU time (s): 3600.78
CPU user time (s): 3598.85
CPU system time (s): 1.93716
CPU usage (%): 99.7196
Max. virtual memory (cumulated for all children) (KiB): 440748
Max. memory (cumulated for all children) (KiB): 377420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.85
system time used= 1.93716
maximum resident set size= 377804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85882
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= 253
involuntary context switches= 3794
# summary of solver processes directly reported to runsolver:
# pid: 174541
# total CPU time (s): 3600.78
# total CPU user time (s): 3598.85
# total CPU system time (s): 1.93716
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12564 second user time and 14.2502 second system time
The end
Begin job on nodeC014 at 2025-07-23 10:35:58
IDJOB=4546252
IDBENCH=153060
IDSOLVER=3422
FILE ID=nodeC014/4546252-1753259757
RUNJOBID= nodeC014-1753259701-174383
SLURM_JOB_ID= 9689169
Free space on /tmp= 432832 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j90/normalized-j9029_2-sat.opb
COMMAND LINE= ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4546252-1753259757/watcher-4546252-1753259757 -o /tmp/evaluation-result-4546252-1753259757/solver-4546252-1753259757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1753259701-174383 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546252-1753259757.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9dbe363344c0fe5585984e30a944da25
RANDOM SEED=554905260
nodeC014 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 : 3600.010
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 : 7000.23
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 : 3600.190
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 : 7000.23
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 : 3598.289
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 : 7000.23
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 : 3709.673
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 : 7000.23
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.199
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 : 7000.23
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 : 3600.121
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 : 7000.23
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 : 3788.317
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 : 7000.23
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 : 3608.607
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 : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128354312 kB
MemAvailable: 128848172 kB
Buffers: 696 kB
Cached: 1238640 kB
SwapCached: 1624 kB
Active: 1685968 kB
Inactive: 418632 kB
Active(anon): 864180 kB
Inactive(anon): 25696 kB
Active(file): 821788 kB
Inactive(file): 392936 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 6092 kB
Writeback: 0 kB
AnonPages: 866716 kB
Mapped: 117136 kB
Shmem: 24612 kB
KReclaimable: 236752 kB
Slab: 332976 kB
SReclaimable: 236752 kB
SUnreclaim: 96224 kB
KernelStack: 4224 kB
PageTables: 4892 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1268520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 389120 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432844 MiB
End job on nodeC014 at 2025-07-23 11:36:11