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: 63794 MiB (37363 MiB free)
memory of node 1: 64507 MiB (53188 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513210-1751212364/watcher-4513210-1751212364 -o /tmp/evaluation-result-4513210-1751212364/solver-4513210-1751212364 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751205287-28582 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4513210-1751212364 --seed=68987132 HOME/instance-4513210-1751212364.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=29555, runsolver pid=29552
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.33 4.19 4.17 5/257 29556
/proc/meminfo: memFree=92704184/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=34528 memory=13388 CPUtime=0.09 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 2601 0 0 0 9 0 0 0 20 0 1 0 36916157 35356672 3347 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 8632 3347 1024 1201 0 7110 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13388 KiB
[startup+0.205426 s]*
/proc/loadavg: 4.33 4.19 4.17 5/257 29556
/proc/meminfo: memFree=92704184/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=34528 memory=13388 CPUtime=0.19 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 2601 0 0 0 19 0 0 0 20 0 1 0 36916157 35356672 3347 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 8632 3347 1024 1201 0 7110 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13388 KiB
[startup+0.305269 s]*
/proc/loadavg: 4.33 4.19 4.17 5/257 29556
/proc/meminfo: memFree=92703944/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=34528 memory=13388 CPUtime=0.29 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 2601 0 0 0 29 0 0 0 20 0 1 0 36916157 35356672 3347 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 8632 3347 1024 1201 0 7110 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13388 KiB
[startup+0.70017 s]
/proc/loadavg: 4.33 4.19 4.17 5/257 29556
/proc/meminfo: memFree=92695880/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=34528 memory=13388 CPUtime=0.68 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 2601 0 0 0 68 0 0 0 20 0 1 0 36916157 35356672 3347 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 8632 3347 1024 1201 0 7110 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13388 KiB
[startup+1.50029 s]
/proc/loadavg: 4.33 4.19 4.17 5/257 29556
/proc/meminfo: memFree=92695880/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=34528 memory=13388 CPUtime=1.48 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 2601 0 0 0 148 0 0 0 20 0 1 0 36916157 35356672 3347 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 8632 3347 1024 1201 0 7110 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13388 KiB
[startup+3.11282 s]
/proc/loadavg: 4.46 4.22 4.18 5/257 29556
/proc/meminfo: memFree=92664124/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=34528 memory=13388 CPUtime=3.09 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 2601 0 0 0 309 0 0 0 20 0 1 0 36916157 35356672 3347 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 8632 3347 1024 1201 0 7110 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13388 KiB
[startup+6.30023 s]
/proc/loadavg: 4.46 4.22 4.18 5/257 29557
/proc/meminfo: memFree=92624560/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=34528 memory=13388 CPUtime=6.27 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 2601 0 0 0 627 0 0 0 20 0 1 0 36916157 35356672 3347 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 8632 3347 1024 1201 0 7110 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13388 KiB
[startup+12.7002 s]
/proc/loadavg: 4.51 4.23 4.19 5/257 29557
/proc/meminfo: memFree=92538064/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=34528 memory=13388 CPUtime=12.66 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 2601 0 0 0 1266 0 0 0 20 0 1 0 36916157 35356672 3347 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 8632 3347 1024 1201 0 7110 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13388 KiB
[startup+25.5003 s]
/proc/loadavg: 4.85 4.32 4.22 5/257 29557
/proc/meminfo: memFree=92342960/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=34528 memory=13388 CPUtime=25.43 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 2601 0 0 0 2543 0 0 0 20 0 1 0 36916157 35356672 3347 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 8632 3347 1024 1201 0 7110 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13388 KiB
[startup+51.1128 s]
/proc/loadavg: 4.98 4.39 4.24 5/257 29557
/proc/meminfo: memFree=91947400/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=34528 memory=13388 CPUtime=50.98 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 2601 0 0 0 5097 1 0 0 20 0 1 0 36916157 35356672 3347 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 8632 3347 1024 1201 0 7110 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13388 KiB
[startup+102.3 s]
/proc/loadavg: 4.54 4.36 4.24 5/258 29565
/proc/meminfo: memFree=91123516/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=34528 memory=13388 CPUtime=102.04 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 2601 0 0 0 10203 1 0 0 20 0 1 0 36916157 35356672 3347 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 8632 3347 1024 1201 0 7110 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13388 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.31 4.23 5/258 29567
/proc/meminfo: memFree=90172276/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=34528 memory=13388 CPUtime=161.9 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 2601 0 0 0 16188 2 0 0 20 0 1 0 36916157 35356672 3347 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 8632 3347 1024 1201 0 7110 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13388 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.28 4.22 7/257 29569
/proc/meminfo: memFree=89135884/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=34528 memory=13388 CPUtime=221.76 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 2601 0 0 0 22174 2 0 0 20 0 1 0 36916157 35356672 3347 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 8632 3347 1024 1201 0 7110 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13388 KiB
[startup+282.3 s]
/proc/loadavg: 4.26 4.29 4.23 5/258 29572
/proc/meminfo: memFree=88142548/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=34528 memory=13388 CPUtime=281.62 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 2601 0 0 0 28160 2 0 0 20 0 1 0 36916157 35356672 3347 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 8632 3347 1024 1201 0 7110 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13388 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.25 4.22 5/259 29575
/proc/meminfo: memFree=87155732/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=34528 memory=13388 CPUtime=341.48 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 2601 0 0 0 34146 2 0 0 20 0 1 0 36916157 35356672 3347 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 8632 3347 1024 1201 0 7110 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13388 KiB
[startup+402.3 s]
/proc/loadavg: 4.66 4.36 4.26 5/259 29579
/proc/meminfo: memFree=85884888/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=63516 memory=57044 CPUtime=401.29 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 9716 0 0 0 40096 33 0 0 20 0 1 0 36916157 65040384 14261 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 15879 14261 1280 1201 0 14357 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 57044 KiB
[startup+462.3 s]
/proc/loadavg: 4.48 4.38 4.27 5/259 29581
/proc/meminfo: memFree=84660968/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=91272 memory=77708 CPUtime=460.85 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 13628 0 0 0 46006 79 0 0 20 0 1 0 36916157 93462528 19427 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 22818 19427 1280 1201 0 21296 0
Current children cumulated CPU time: 460.85 s
################
# More data... #
################
/proc/loadavg: 4.11 4.13 4.16 5/255 29769
/proc/meminfo: memFree=86051320/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=177132 memory=152984 CPUtime=1891.56 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 29651 0 0 0 188189 967 0 0 20 0 1 0 36916157 181383168 38246 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 44283 38246 1280 1201 0 42761 0
Current children cumulated CPU time: 1891.56 s
Current children cumulated vsize: 177132 KiB
Current children cumulated memory: 152984 KiB
[startup+1962.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/256 29772
/proc/meminfo: memFree=84702756/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=181436 memory=156824 CPUtime=1951.18 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 30600 0 0 0 194110 1008 0 0 20 0 1 0 36916157 185790464 39206 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 45359 39206 1280 1201 0 43837 0
Current children cumulated CPU time: 1951.18 s
Current children cumulated vsize: 181436 KiB
Current children cumulated memory: 156824 KiB
[startup+2022.31 s]
/proc/loadavg: 4.07 4.11 4.14 5/256 29774
/proc/meminfo: memFree=83271624/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=181576 memory=156952 CPUtime=2010.72 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 30638 0 0 0 200028 1044 0 0 20 0 1 0 36916157 185933824 39238 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 45394 39238 1280 1201 0 43872 0
Current children cumulated CPU time: 2010.72 s
Current children cumulated vsize: 181576 KiB
Current children cumulated memory: 156952 KiB
[startup+2082.3 s]
/proc/loadavg: 4.18 4.13 4.15 5/253 29804
/proc/meminfo: memFree=93280376/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=182692 memory=157976 CPUtime=2070.3 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 30901 0 0 0 205949 1081 0 0 20 0 1 0 36916157 187076608 39494 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 45673 39494 1280 1201 0 44151 0
Current children cumulated CPU time: 2070.3 s
Current children cumulated vsize: 182692 KiB
Current children cumulated memory: 157976 KiB
[startup+2142.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/253 29806
/proc/meminfo: memFree=89062740/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=183376 memory=158744 CPUtime=2128.34 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 31099 0 0 0 211712 1122 0 0 20 0 1 0 36916157 187777024 39686 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 45844 39686 1280 1201 0 44322 0
Current children cumulated CPU time: 2128.34 s
Current children cumulated vsize: 183376 KiB
Current children cumulated memory: 158744 KiB
[startup+2202.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/253 29808
/proc/meminfo: memFree=84444452/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=184448 memory=159768 CPUtime=2187.62 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 31358 0 0 0 217594 1168 0 0 20 0 1 0 36916157 188874752 39942 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 46112 39942 1280 1201 0 44590 0
Current children cumulated CPU time: 2187.62 s
Current children cumulated vsize: 184448 KiB
Current children cumulated memory: 159768 KiB
[startup+2262.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/251 29810
/proc/meminfo: memFree=80457420/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=185288 memory=160664 CPUtime=2247.13 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 31602 0 0 0 223506 1207 0 0 20 0 1 0 36916157 189734912 40166 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 46322 40166 1280 1201 0 44800 0
Current children cumulated CPU time: 2247.13 s
Current children cumulated vsize: 185288 KiB
Current children cumulated memory: 160664 KiB
[startup+2322.3 s]
/proc/loadavg: 4.22 4.14 4.14 4/251 29856
/proc/meminfo: memFree=94543744/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=186588 memory=162712 CPUtime=2306.6 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 31921 0 0 0 229397 1263 0 0 20 0 1 0 36916157 191066112 40678 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 46647 40678 1280 1201 0 45125 0
Current children cumulated CPU time: 2306.6 s
Current children cumulated vsize: 186588 KiB
Current children cumulated memory: 162712 KiB
[startup+2382.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/257 29880
/proc/meminfo: memFree=105655596/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=187188 memory=163480 CPUtime=2366.2 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 32046 0 0 0 235321 1299 0 0 20 0 1 0 36916157 191680512 40870 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 46797 40870 1280 1201 0 45275 0
Current children cumulated CPU time: 2366.2 s
Current children cumulated vsize: 187188 KiB
Current children cumulated memory: 163480 KiB
[startup+2392.59 s]
# the end of solver process 29555 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2363.28 s, system=13.0728 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2387.2 s]
/proc/loadavg: 4.11 4.13 4.14 5/257 29881
/proc/meminfo: memFree=105598484/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=187188 memory=163480 CPUtime=2371.08 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 32046 0 0 0 235806 1302 0 0 20 0 1 0 36916157 191680512 40870 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 46797 40870 1280 1201 0 45275 0
Current children cumulated CPU time: 2371.08 s
Current children cumulated vsize: 187188 KiB
Current children cumulated memory: 163480 KiB
[startup+2390.4 s]
/proc/loadavg: 4.10 4.12 4.14 5/257 29881
/proc/meminfo: memFree=105558416/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=187188 memory=163480 CPUtime=2374.27 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 32046 0 0 0 236122 1305 0 0 20 0 1 0 36916157 191680512 40870 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 46797 40870 1280 1201 0 45275 0
Current children cumulated CPU time: 2374.27 s
Current children cumulated vsize: 187188 KiB
Current children cumulated memory: 163480 KiB
[startup+2391.2 s]
/proc/loadavg: 4.10 4.12 4.14 5/257 29881
/proc/meminfo: memFree=105550104/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=187188 memory=163480 CPUtime=2375.07 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 32046 0 0 0 236202 1305 0 0 20 0 1 0 36916157 191680512 40870 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 46797 40870 1280 1201 0 45275 0
Current children cumulated CPU time: 2375.07 s
Current children cumulated vsize: 187188 KiB
Current children cumulated memory: 163480 KiB
[startup+2392 s]*
/proc/loadavg: 4.10 4.12 4.14 5/257 29881
/proc/meminfo: memFree=105542040/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=187188 memory=163480 CPUtime=2375.87 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 32046 0 0 0 236282 1305 0 0 20 0 1 0 36916157 191680512 40870 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 46797 40870 1280 1201 0 45275 0
Current children cumulated CPU time: 2375.87 s
Current children cumulated vsize: 187188 KiB
Current children cumulated memory: 163480 KiB
[startup+2392.4 s]
/proc/loadavg: 4.10 4.12 4.14 5/257 29881
/proc/meminfo: memFree=105542040/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=187188 memory=163480 CPUtime=2376.27 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) R 29552 29555 28570 0 -1 4194304 32046 0 0 0 236321 1306 0 0 20 0 1 0 36916157 191680512 40870 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 46797 40870 1280 1201 0 45275 0
Current children cumulated CPU time: 2376.27 s
Current children cumulated vsize: 187188 KiB
Current children cumulated memory: 163480 KiB
[startup+2392.5 s]
/proc/loadavg: 4.10 4.12 4.14 5/257 29881
/proc/meminfo: memFree=105542040/131382112 swapFree=33010684/33010684
[pid=29555] ppid=29552 vsize=129580 memory=124028 CPUtime=2376.34 cores=1,3
/proc/29555/stat : 29555 (Exact_proof) D 29552 29555 28570 0 -1 4194304 32046 0 0 0 236327 1307 0 0 20 0 1 0 36916157 132689920 31007 18446744073709551615 4198400 9115581 140727273777568 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 10325008 10415428 26161152 140727273785546 140727273785831 140727273785831 140727273791433 0
/proc/29555/statm: 32395 31007 1280 1201 0 30873 0
Current children cumulated CPU time: 2376.34 s
Current children cumulated vsize: 129580 KiB
Current children cumulated memory: 124028 KiB
Child status: 30
Real time (s): 2392.59
CPU time (s): 2376.35
CPU user time (s): 2363.28
CPU system time (s): 13.0728
CPU usage (%): 99.3213
Max. virtual memory (cumulated for all children) (KiB): 187188
Max. memory (cumulated for all children) (KiB): 163480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2363.28
system time used= 13.0728
maximum resident set size= 163480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32047
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22024216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1486
involuntary context switches= 3806
# summary of solver processes directly reported to runsolver:
# pid: 29555
# total CPU time (s): 2376.35
# total CPU user time (s): 2363.28
# total CPU system time (s): 13.0728
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8656 second user time and 21.772 second system time
The end
Begin job on nodeC009 at 2025-06-29 17:52:44
IDJOB=4513210
IDBENCH=162295
IDSOLVER=3325
FILE ID=nodeC009/4513210-1751212364
RUNJOBID= nodeC009-1751205287-28582
SLURM_JOB_ID= 9587626
Free space on /tmp= 432636 MiB
SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round22-2.opb
COMMAND LINE= HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513210-1751212364/watcher-4513210-1751212364 -o /tmp/evaluation-result-4513210-1751212364/solver-4513210-1751212364 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751205287-28582 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4513210-1751212364 --seed=68987132 HOME/instance-4513210-1751212364.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4ab683db7c9e99efe1269a989c150a4d
RANDOM SEED=68987132
nodeC009 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 : 3662.204
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.85
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 : 1197.237
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.85
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 : 1197.433
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.85
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 : 3593.875
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.85
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 : 3662.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 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.85
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 : 3691.491
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.85
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.339
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.85
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 : 1197.647
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.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 92733216 kB
MemAvailable: 129409852 kB
Buffers: 3280 kB
Cached: 37426640 kB
SwapCached: 0 kB
Active: 860968 kB
Inactive: 37130016 kB
Active(anon): 578092 kB
Inactive(anon): 968 kB
Active(file): 282876 kB
Inactive(file): 37129048 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 368024 kB
Writeback: 12 kB
AnonPages: 562396 kB
Mapped: 118136 kB
Shmem: 17960 kB
KReclaimable: 208292 kB
Slab: 304132 kB
SReclaimable: 208292 kB
SUnreclaim: 95840 kB
KernelStack: 4144 kB
PageTables: 4044 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 961968 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 438272 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432628 MiB
End job on nodeC009 at 2025-06-29 18:32:37