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 (30600 MiB free)
memory of node 1: 64465 MiB (35038 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513174-1751212309/watcher-4513174-1751212309 -o /tmp/evaluation-result-4513174-1751212309/solver-4513174-1751212309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751204866-26898 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4513174-1751212309 --seed=937133296 HOME/instance-4513174-1751212309.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=28202, runsolver pid=28199
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.10 4.10 4.10 5/269 28203
/proc/meminfo: memFree=67212512/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=34528 memory=13480 CPUtime=0.09 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 2625 0 0 0 9 0 0 0 20 0 1 0 36905474 35356672 3370 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 8632 3370 1024 1201 0 7110 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13480 KiB
[startup+0.205662 s]*
/proc/loadavg: 4.10 4.10 4.10 5/269 28203
/proc/meminfo: memFree=67204484/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=34528 memory=13480 CPUtime=0.2 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 2625 0 0 0 20 0 0 0 20 0 1 0 36905474 35356672 3370 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 8632 3370 1024 1201 0 7110 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13480 KiB
[startup+0.305612 s]*
/proc/loadavg: 4.10 4.10 4.10 5/269 28203
/proc/meminfo: memFree=67196420/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=34528 memory=13480 CPUtime=0.3 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 2625 0 0 0 30 0 0 0 20 0 1 0 36905474 35356672 3370 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 8632 3370 1024 1201 0 7110 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13480 KiB
[startup+0.700169 s]
/proc/loadavg: 4.10 4.10 4.10 6/269 28203
/proc/meminfo: memFree=67180292/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=34528 memory=13480 CPUtime=0.69 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 2625 0 0 0 69 0 0 0 20 0 1 0 36905474 35356672 3370 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 8632 3370 1024 1201 0 7110 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13480 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 4.10 4.10 5/269 28203
/proc/meminfo: memFree=67140008/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=34528 memory=13480 CPUtime=1.48 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 2625 0 0 0 148 0 0 0 20 0 1 0 36905474 35356672 3370 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 8632 3370 1024 1201 0 7110 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13480 KiB
[startup+3.10548 s]
/proc/loadavg: 4.10 4.10 4.10 5/269 28203
/proc/meminfo: memFree=66942804/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=34528 memory=13480 CPUtime=3.09 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 2625 0 0 0 309 0 0 0 20 0 1 0 36905474 35356672 3370 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 8632 3370 1024 1201 0 7110 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13480 KiB
[startup+6.30016 s]
/proc/loadavg: 4.10 4.09 4.10 5/269 28203
/proc/meminfo: memFree=66694676/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=34528 memory=13480 CPUtime=6.27 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 2625 0 0 0 627 0 0 0 20 0 1 0 36905474 35356672 3370 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 8632 3370 1024 1201 0 7110 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13480 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.10 5/269 28203
/proc/meminfo: memFree=66141600/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=34528 memory=13480 CPUtime=12.66 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 2625 0 0 0 1266 0 0 0 20 0 1 0 36905474 35356672 3370 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 8632 3370 1024 1201 0 7110 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13480 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.10 5/269 28203
/proc/meminfo: memFree=64871248/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=34528 memory=13480 CPUtime=25.43 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 2625 0 0 0 2543 0 0 0 20 0 1 0 36905474 35356672 3370 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 8632 3370 1024 1201 0 7110 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13480 KiB
[startup+51.1056 s]
/proc/loadavg: 4.04 4.08 4.09 5/270 28205
/proc/meminfo: memFree=63437180/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=34528 memory=13480 CPUtime=50.96 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 2625 0 0 0 5096 0 0 0 20 0 1 0 36905474 35356672 3370 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 8632 3370 1024 1201 0 7110 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13480 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/271 28211
/proc/meminfo: memFree=60206420/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=34528 memory=13480 CPUtime=102 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 2625 0 0 0 10200 0 0 0 20 0 1 0 36905474 35356672 3370 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 8632 3370 1024 1201 0 7110 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13480 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/270 28213
/proc/meminfo: memFree=57336688/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=34528 memory=13480 CPUtime=161.82 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 2625 0 0 0 16182 0 0 0 20 0 1 0 36905474 35356672 3370 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 8632 3370 1024 1201 0 7110 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13480 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 28215
/proc/meminfo: memFree=65089864/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=34528 memory=13480 CPUtime=221.63 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 2625 0 0 0 22163 0 0 0 20 0 1 0 36905474 35356672 3370 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 8632 3370 1024 1201 0 7110 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13480 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 28263
/proc/meminfo: memFree=115238000/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=34528 memory=13480 CPUtime=281.5 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 2625 0 0 0 28150 0 0 0 20 0 1 0 36905474 35356672 3370 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 8632 3370 1024 1201 0 7110 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13480 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 28265
/proc/meminfo: memFree=114492044/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=34528 memory=13480 CPUtime=341.37 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 2625 0 0 0 34137 0 0 0 20 0 1 0 36905474 35356672 3370 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 8632 3370 1024 1201 0 7110 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 13480 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 28267
/proc/meminfo: memFree=113561772/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=63008 memory=56824 CPUtime=400.93 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 9687 0 0 0 40062 31 0 0 20 0 1 0 36905474 64520192 14206 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 15752 14206 1280 1201 0 14230 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 63008 KiB
Current children cumulated memory: 56824 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 28272
/proc/meminfo: memFree=112523468/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=88056 memory=75108 CPUtime=460.33 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 12962 0 0 0 45959 74 0 0 20 0 1 0 36905474 90169344 18777 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 22014 18777 1280 1201 0 20492 0
################
# More data... #
################
Current children cumulated memory: 177796 KiB
[startup+2862.3 s]
/proc/loadavg: 3.13 3.38 3.77 4/263 28672
/proc/meminfo: memFree=87678296/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=198664 memory=179332 CPUtime=2839.27 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 35050 0 0 0 282418 1509 0 0 20 0 1 0 36905474 203431936 44833 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 49666 44833 1280 1201 0 48144 0
Current children cumulated CPU time: 2839.27 s
Current children cumulated vsize: 198664 KiB
Current children cumulated memory: 179332 KiB
[startup+2922.3 s]
/proc/loadavg: 3.09 3.32 3.73 4/265 28678
/proc/meminfo: memFree=86732844/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=199364 memory=180100 CPUtime=2898.82 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 35231 0 0 0 288335 1547 0 0 20 0 1 0 36905474 204148736 45025 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 49841 45025 1280 1201 0 48319 0
Current children cumulated CPU time: 2898.82 s
Current children cumulated vsize: 199364 KiB
Current children cumulated memory: 180100 KiB
[startup+2982.3 s]
/proc/loadavg: 3.13 3.29 3.69 4/266 28681
/proc/meminfo: memFree=85754480/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=199364 memory=180100 CPUtime=2958.34 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 35242 0 0 0 294245 1589 0 0 20 0 1 0 36905474 204148736 45025 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 49841 45025 1280 1201 0 48319 0
Current children cumulated CPU time: 2958.34 s
Current children cumulated vsize: 199364 KiB
Current children cumulated memory: 180100 KiB
[startup+3042.3 s]
/proc/loadavg: 3.05 3.24 3.64 4/266 28683
/proc/meminfo: memFree=84821808/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=200248 memory=180996 CPUtime=3017.89 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 35458 0 0 0 300162 1627 0 0 20 0 1 0 36905474 205053952 45249 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 50062 45249 1280 1201 0 48540 0
Current children cumulated CPU time: 3017.89 s
Current children cumulated vsize: 200248 KiB
Current children cumulated memory: 180996 KiB
[startup+3102.3 s]
/proc/loadavg: 3.12 3.22 3.61 4/265 28691
/proc/meminfo: memFree=83916792/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=200944 memory=181636 CPUtime=3077.46 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 35695 0 0 0 306088 1658 0 0 20 0 1 0 36905474 205766656 45409 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 50236 45409 1280 1201 0 48714 0
Current children cumulated CPU time: 3077.46 s
Current children cumulated vsize: 200944 KiB
Current children cumulated memory: 181636 KiB
[startup+3162.3 s]
/proc/loadavg: 3.10 3.20 3.58 4/265 28694
/proc/meminfo: memFree=82987560/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=201648 memory=182404 CPUtime=3136.92 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 35881 0 0 0 311997 1695 0 0 20 0 1 0 36905474 206487552 45601 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 50412 45601 1280 1201 0 48890 0
Current children cumulated CPU time: 3136.92 s
Current children cumulated vsize: 201648 KiB
Current children cumulated memory: 182404 KiB
[startup+3222.3 s]
/proc/loadavg: 2.93 3.14 3.53 3/254 28754
/proc/meminfo: memFree=113285540/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=202688 memory=183428 CPUtime=3196.48 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 36134 0 0 0 317918 1730 0 0 20 0 1 0 36905474 207552512 45857 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 50672 45857 1280 1201 0 49150 0
Current children cumulated CPU time: 3196.48 s
Current children cumulated vsize: 202688 KiB
Current children cumulated memory: 183428 KiB
[startup+3282.3 s]
/proc/loadavg: 2.48 2.96 3.44 3/254 28757
/proc/meminfo: memFree=109584952/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=202688 memory=183428 CPUtime=3255.99 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 36134 0 0 0 323833 1766 0 0 20 0 1 0 36905474 207552512 45857 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 50672 45857 1280 1201 0 49150 0
Current children cumulated CPU time: 3255.99 s
Current children cumulated vsize: 202688 KiB
Current children cumulated memory: 183428 KiB
[startup+3342.3 s]
/proc/loadavg: 2.22 2.80 3.36 3/254 28759
/proc/meminfo: memFree=105516996/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=203412 memory=184068 CPUtime=3315.52 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 36308 0 0 0 329748 1804 0 0 20 0 1 0 36905474 208293888 46017 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 50853 46017 1280 1201 0 49331 0
Current children cumulated CPU time: 3315.52 s
Current children cumulated vsize: 203412 KiB
Current children cumulated memory: 184068 KiB
[startup+3402.3 s]
/proc/loadavg: 2.20 2.68 3.28 3/253 28761
/proc/meminfo: memFree=102614848/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=203708 memory=184324 CPUtime=3374.92 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 36395 0 0 0 335652 1840 0 0 20 0 1 0 36905474 208596992 46081 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 50927 46081 1280 1201 0 49405 0
Current children cumulated CPU time: 3374.92 s
Current children cumulated vsize: 203708 KiB
Current children cumulated memory: 184324 KiB
[startup+3462.3 s]
/proc/loadavg: 2.07 2.56 3.20 3/254 28766
/proc/meminfo: memFree=99647964/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=204268 memory=184964 CPUtime=3434.54 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 36538 0 0 0 341583 1871 0 0 20 0 1 0 36905474 209170432 46241 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 51067 46241 1280 1201 0 49545 0
Current children cumulated CPU time: 3434.54 s
Current children cumulated vsize: 204268 KiB
Current children cumulated memory: 184964 KiB
[startup+3522.3 s]
/proc/loadavg: 2.07 2.47 3.12 3/256 28772
/proc/meminfo: memFree=96754772/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=205468 memory=186244 CPUtime=3494.06 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 36857 0 0 0 347502 1904 0 0 20 0 1 0 36905474 210399232 46561 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 51367 46561 1280 1201 0 49845 0
Current children cumulated CPU time: 3494.06 s
Current children cumulated vsize: 205468 KiB
Current children cumulated memory: 186244 KiB
[startup+3582.3 s]
/proc/loadavg: 1.52 2.24 3.00 2/255 28780
/proc/meminfo: memFree=110122772/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=207872 memory=188420 CPUtime=3553.65 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 37423 0 0 0 353430 1935 0 0 20 0 1 0 36905474 212860928 47105 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 51968 47105 1280 1201 0 50446 0
Current children cumulated CPU time: 3553.65 s
Current children cumulated vsize: 207872 KiB
Current children cumulated memory: 188420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3629 s]*
/proc/loadavg: 1.31 2.08 2.91 2/255 28782
/proc/meminfo: memFree=109933860/131249992 swapFree=33010160/33010684
[pid=28202] ppid=28199 vsize=209044 memory=193628 CPUtime=3600.08 cores=5,7
/proc/28202/stat : 28202 (Exact_proof) R 28199 28202 26880 0 -1 4194304 37717 0 0 0 358050 1958 0 0 20 0 1 0 36905474 214061056 48407 18446744073709551615 4198400 9115581 140728544870368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 37351424 140728544872649 140728544872935 140728544872935 140728544878537 0
/proc/28202/statm: 52261 48407 1280 1201 0 50739 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 209044 KiB
Current children cumulated memory: 193628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3629.05 s]
# the end of solver process 28202 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.51 s, system=19.5922 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3629.05
CPU time (s): 3600.11
CPU user time (s): 3580.51
CPU system time (s): 19.5922
CPU usage (%): 99.2024
Max. virtual memory (cumulated for all children) (KiB): 209044
Max. memory (cumulated for all children) (KiB): 193628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.51
system time used= 19.5922
maximum resident set size= 193628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37719
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35493640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 360
involuntary context switches= 22307
# summary of solver processes directly reported to runsolver:
# pid: 28202
# total CPU time (s): 3600.11
# total CPU user time (s): 3580.51
# total CPU system time (s): 19.5922
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34136 second user time and 14.3371 second system time
The end
Begin job on nodeC035 at 2025-06-29 17:51:49
IDJOB=4513174
IDBENCH=162289
IDSOLVER=3325
FILE ID=nodeC035/4513174-1751212309
RUNJOBID= nodeC035-1751204866-26898
SLURM_JOB_ID= 9587620
Free space on /tmp= 432912 MiB
SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round22-0.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-4513174-1751212309/watcher-4513174-1751212309 -o /tmp/evaluation-result-4513174-1751212309/solver-4513174-1751212309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751204866-26898 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4513174-1751212309 --seed=937133296 HOME/instance-4513174-1751212309.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3e8b284557ab3bc728bad30e424c83e1
RANDOM SEED=937133296
nodeC035 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.744
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.51
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.701
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.511
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.51
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 : 3624.965
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.806
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.51
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.780
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.51
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 : 3521.539
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.897
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 67214052 kB
MemAvailable: 100654564 kB
Buffers: 1840 kB
Cached: 34154804 kB
SwapCached: 12 kB
Active: 29187856 kB
Inactive: 33868800 kB
Active(anon): 28905992 kB
Inactive(anon): 12136 kB
Active(file): 281864 kB
Inactive(file): 33856664 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2383416 kB
Writeback: 4 kB
AnonPages: 28902836 kB
Mapped: 118292 kB
Shmem: 18044 kB
KReclaimable: 282448 kB
Slab: 447076 kB
SReclaimable: 282448 kB
SUnreclaim: 164628 kB
KernelStack: 4320 kB
PageTables: 61056 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 31055112 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5513216 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC035 at 2025-06-29 18:52:19