runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (60403 MiB free)
memory of node 1: 64465 MiB (63494 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485758-1751312012/watcher-4485758-1751312012 -o /tmp/evaluation-result-4485758-1751312012/solver-4485758-1751312012 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751304354-45175 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4485758-1751312012 --seed=1842379093 HOME/instance-4485758-1751312012.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=46175, runsolver pid=46172
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.10 4.12 4.14 5/271 46176
/proc/meminfo: memFree=126771656/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=142640 memory=118516 CPUtime=0.1 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 9184 0 0 0 6 4 0 0 20 0 1 0 46880446 146063360 29629 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 35660 29629 992 1201 0 34138 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 142640 KiB
Current children cumulated memory: 118516 KiB
[startup+0.211601 s]*
/proc/loadavg: 4.10 4.12 4.14 5/271 46176
/proc/meminfo: memFree=126725800/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=181560 memory=150492 CPUtime=0.21 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 12046 0 0 0 15 6 0 0 20 0 1 0 46880446 185917440 37623 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 45390 37623 992 1201 0 43868 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 181560 KiB
Current children cumulated memory: 150492 KiB
[startup+0.311561 s]*
/proc/loadavg: 4.10 4.12 4.14 5/271 46176
/proc/meminfo: memFree=126673568/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=224736 memory=190340 CPUtime=0.31 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 16413 0 0 0 23 8 0 0 20 0 1 0 46880446 230129664 47585 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 56184 47585 992 1201 0 54662 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 224736 KiB
Current children cumulated memory: 190340 KiB
[startup+0.700311 s]
/proc/loadavg: 4.10 4.12 4.14 5/271 46176
/proc/meminfo: memFree=126593216/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=331532 memory=293596 CPUtime=0.69 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 33243 0 0 0 55 14 0 0 20 0 1 0 46880446 339488768 73399 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 82883 73399 992 1201 0 81361 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 331532 KiB
Current children cumulated memory: 293596 KiB
[startup+1.50031 s]
/proc/loadavg: 4.10 4.12 4.14 5/271 46176
/proc/meminfo: memFree=126504124/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=469132 memory=436996 CPUtime=1.48 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 52712 0 0 0 128 20 0 0 20 0 1 0 46880446 480391168 109249 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 117283 109249 1024 1201 0 115761 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 469132 KiB
Current children cumulated memory: 436996 KiB
[startup+3.1139 s]
/proc/loadavg: 4.10 4.12 4.14 5/271 46176
/proc/meminfo: memFree=126281348/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=469132 memory=439048 CPUtime=3.1 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 52721 0 0 0 283 27 0 0 20 0 1 0 46880446 480391168 109762 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 117283 109762 1024 1201 0 115761 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 469132 KiB
Current children cumulated memory: 439048 KiB
[startup+6.3003 s]
/proc/loadavg: 4.17 4.14 4.15 5/271 46176
/proc/meminfo: memFree=125933144/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=469132 memory=439048 CPUtime=6.27 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 52735 0 0 0 586 41 0 0 20 0 1 0 46880446 480391168 109762 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 117283 109762 1024 1201 0 115761 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 469132 KiB
Current children cumulated memory: 439048 KiB
[startup+12.7003 s]
/proc/loadavg: 4.24 4.15 4.15 5/271 46176
/proc/meminfo: memFree=124978136/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=469132 memory=439048 CPUtime=12.66 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 52746 0 0 0 1195 71 0 0 20 0 1 0 46880446 480391168 109762 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 117283 109762 1024 1201 0 115761 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 469132 KiB
Current children cumulated memory: 439048 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.14 4.15 5/270 46176
/proc/meminfo: memFree=122680380/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=469132 memory=439048 CPUtime=25.42 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 52754 0 0 0 2414 128 0 0 20 0 1 0 46880446 480391168 109762 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 117283 109762 1024 1201 0 115761 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 469132 KiB
Current children cumulated memory: 439048 KiB
[startup+51.1139 s]
/proc/loadavg: 4.41 4.20 4.17 5/270 46176
/proc/meminfo: memFree=119467700/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=469132 memory=439048 CPUtime=50.96 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 52762 0 0 0 4853 243 0 0 20 0 1 0 46880446 480391168 109762 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 117283 109762 1024 1201 0 115761 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 469132 KiB
Current children cumulated memory: 439048 KiB
[startup+102.3 s]
/proc/loadavg: 4.86 4.35 4.23 5/267 46179
/proc/meminfo: memFree=112663164/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=469132 memory=439048 CPUtime=102.01 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 52770 0 0 0 9730 471 0 0 20 0 1 0 46880446 480391168 109762 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 117283 109762 1024 1201 0 115761 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 469132 KiB
Current children cumulated memory: 439048 KiB
[startup+162.3 s]
/proc/loadavg: 4.44 4.32 4.22 5/262 46181
/proc/meminfo: memFree=104665084/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=469132 memory=439048 CPUtime=161.71 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 52778 0 0 0 15421 750 0 0 20 0 1 0 46880446 480391168 109762 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 117283 109762 1024 1201 0 115761 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 469132 KiB
Current children cumulated memory: 439048 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.30 4.22 5/262 46183
/proc/meminfo: memFree=97291048/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=469132 memory=439048 CPUtime=221.34 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 52782 0 0 0 21091 1043 0 0 20 0 1 0 46880446 480391168 109762 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 117283 109762 1024 1201 0 115761 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 469132 KiB
Current children cumulated memory: 439048 KiB
[startup+282.3 s]
/proc/loadavg: 4.55 4.38 4.25 5/262 46189
/proc/meminfo: memFree=89423312/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=469132 memory=439048 CPUtime=281.02 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 52786 0 0 0 26767 1335 0 0 20 0 1 0 46880446 480391168 109762 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 117283 109762 1024 1201 0 115761 0
Current children cumulated CPU time: 281.02 s
Current children cumulated vsize: 469132 KiB
Current children cumulated memory: 439048 KiB
[startup+342.3 s]
/proc/loadavg: 4.42 4.37 4.26 5/268 46202
/proc/meminfo: memFree=81969000/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=469132 memory=441096 CPUtime=340.69 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 52786 0 0 0 32457 1612 0 0 20 0 1 0 46880446 480391168 110274 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 117283 110274 1024 1201 0 115761 0
Current children cumulated CPU time: 340.69 s
Current children cumulated vsize: 469132 KiB
Current children cumulated memory: 441096 KiB
[startup+402.3 s]
/proc/loadavg: 4.37 4.36 4.26 7/270 46206
/proc/meminfo: memFree=72981248/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=469132 memory=442632 CPUtime=400.31 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 52791 0 0 0 38135 1896 0 0 20 0 1 0 46880446 480391168 110658 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 117283 110658 1024 1201 0 115761 0
Current children cumulated CPU time: 400.31 s
Current children cumulated vsize: 469132 KiB
Current children cumulated memory: 442632 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.33 4.26 5/271 46210
/proc/meminfo: memFree=65439016/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=469132 memory=442632 CPUtime=459.92 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 52796 0 0 0 43814 2178 0 0 20 0 1 0 46880446 480391168 110658 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 117283 110658 1024 1201 0 115761 0
################
# More data... #
################
Current children cumulated memory: 2135064 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.16 4.19 5/257 46365
/proc/meminfo: memFree=1587824/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=2868580 memory=2464772 CPUtime=3024.92 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 738016 0 2 0 291407 11085 0 0 20 0 1 0 46880446 2937425920 616193 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 717145 616193 1248 1201 0 715623 0
Current children cumulated CPU time: 3024.92 s
Current children cumulated vsize: 2868580 KiB
Current children cumulated memory: 2464772 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.16 4.18 5/253 46394
/proc/meminfo: memFree=12786260/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=2986928 memory=2609244 CPUtime=3084.59 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 825857 0 2 0 297338 11121 0 0 20 0 1 0 46880446 3058614272 652311 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 746732 652311 1248 1201 0 745210 0
Current children cumulated CPU time: 3084.59 s
Current children cumulated vsize: 2986928 KiB
Current children cumulated memory: 2609244 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.16 4.18 5/255 46398
/proc/meminfo: memFree=9634268/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=3170008 memory=2833160 CPUtime=3144.16 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 901198 0 2 0 303247 11169 0 0 20 0 1 0 46880446 3246088192 708290 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 792502 708290 1248 1201 0 790980 0
Current children cumulated CPU time: 3144.16 s
Current children cumulated vsize: 3170008 KiB
Current children cumulated memory: 2833160 KiB
[startup+3222.3 s]
/proc/loadavg: 4.36 4.20 4.19 5/255 46400
/proc/meminfo: memFree=6334612/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=3328056 memory=3054340 CPUtime=3203.69 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 980422 0 2 0 309126 11243 0 0 20 0 1 0 46880446 3407929344 763585 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 832014 763585 1248 1201 0 830492 0
Current children cumulated CPU time: 3203.69 s
Current children cumulated vsize: 3328056 KiB
Current children cumulated memory: 3054340 KiB
[startup+3282.3 s]
/proc/loadavg: 4.89 4.38 4.26 5/255 46404
/proc/meminfo: memFree=1752024/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=5519708 memory=4916084 CPUtime=3263.15 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 2153155 0 2 0 314848 11467 0 0 20 0 1 0 46880446 5652180992 1229021 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 1379927 1229021 1248 1201 0 1378405 0
Current children cumulated CPU time: 3263.15 s
Current children cumulated vsize: 5519708 KiB
Current children cumulated memory: 4916084 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.30 4.24 1/243 46473
/proc/meminfo: memFree=57386952/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=5519708 memory=4916084 CPUtime=3320.14 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) D 46172 46175 45162 0 -1 4194304 2214083 0 2 0 320471 11543 0 0 20 0 1 0 46880446 5652180992 1229021 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 1379927 1229021 1248 1201 0 1378405 0
Current children cumulated CPU time: 3320.14 s
Current children cumulated vsize: 5519708 KiB
Current children cumulated memory: 4916084 KiB
[startup+3402.3 s]
/proc/loadavg: 2.88 3.91 4.11 3/243 46475
/proc/meminfo: memFree=55959288/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=5519708 memory=4916084 CPUtime=3371.92 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 2340538 0 2 0 325581 11611 0 0 20 0 1 0 46880446 5652180992 1229021 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 1379927 1229021 1248 1201 0 1378405 0
Current children cumulated CPU time: 3371.92 s
Current children cumulated vsize: 5519708 KiB
Current children cumulated memory: 4916084 KiB
[startup+3462.3 s]
/proc/loadavg: 2.48 3.61 3.99 3/242 46477
/proc/meminfo: memFree=53829584/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=5519708 memory=4916084 CPUtime=3428.43 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 2384335 0 2 0 331179 11664 0 0 20 0 1 0 46880446 5652180992 1229021 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 1379927 1229021 1248 1201 0 1378405 0
Current children cumulated CPU time: 3428.43 s
Current children cumulated vsize: 5519708 KiB
Current children cumulated memory: 4916084 KiB
[startup+3522.3 s]
/proc/loadavg: 2.27 3.34 3.87 3/241 46479
/proc/meminfo: memFree=51837388/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=5520572 memory=4916852 CPUtime=3480.26 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 2418608 0 2 0 336314 11712 0 0 20 0 1 0 46880446 5653065728 1229213 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 1380143 1229213 1248 1201 0 1378621 0
Current children cumulated CPU time: 3480.26 s
Current children cumulated vsize: 5520572 KiB
Current children cumulated memory: 4916852 KiB
[startup+3582.3 s]
/proc/loadavg: 2.19 3.13 3.76 3/240 46481
/proc/meminfo: memFree=49656260/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=5520572 memory=4916980 CPUtime=3539.77 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 2446083 0 2 0 342220 11757 0 0 20 0 1 0 46880446 5653065728 1229245 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 1380143 1229245 1248 1201 0 1378621 0
Current children cumulated CPU time: 3539.77 s
Current children cumulated vsize: 5520572 KiB
Current children cumulated memory: 4916980 KiB
[startup+3642.3 s]
/proc/loadavg: 2.17 2.95 3.66 3/238 46483
/proc/meminfo: memFree=47828528/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=5520572 memory=4917876 CPUtime=3599.33 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 2457739 0 2 0 348134 11799 0 0 20 0 1 0 46880446 5653065728 1229469 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 1380143 1229469 1248 1201 0 1378621 0
Current children cumulated CPU time: 3599.33 s
Current children cumulated vsize: 5520572 KiB
Current children cumulated memory: 4917876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3643 s]*
/proc/loadavg: 2.17 2.95 3.66 3/238 46483
/proc/meminfo: memFree=47796056/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=5520572 memory=4917876 CPUtime=3600.02 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 2457739 0 2 0 348203 11799 0 0 20 0 1 0 46880446 5653065728 1229469 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 1380143 1229469 1248 1201 0 1378621 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 5520572 KiB
Current children cumulated memory: 4917876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3643.5 s]
# the end of solver process 46175 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3482.15 s, system=118.287 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3643.2 s]
/proc/loadavg: 2.17 2.95 3.66 3/238 46483
/proc/meminfo: memFree=47796056/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=3893112 memory=3343220 CPUtime=3600.19 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) R 46172 46175 45162 0 -1 4194304 2483972 0 3 0 348208 11811 0 0 20 0 1 0 46880446 3986546688 835805 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 973278 835805 1280 1201 0 971756 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 3893112 KiB
Current children cumulated memory: 3343220 KiB
[startup+3643.4 s]
/proc/loadavg: 2.17 2.95 3.66 3/238 46483
/proc/meminfo: memFree=47796056/131382116 swapFree=33010160/33010684
[pid=46175] ppid=46172 vsize=2226100 memory=2195120 CPUtime=3600.34 cores=5,7
/proc/46175/stat : 46175 (Exact_proof) D 46172 46175 45162 0 -1 4194304 2496260 0 3 0 348215 11819 0 0 20 0 1 0 46880446 2279526400 548780 18446744073709551615 4198400 9115581 140720613661328 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 10325008 10415428 15351808 140720613669064 140720613669351 140720613669351 140720613674953 0
/proc/46175/statm: 556525 548780 1280 1201 0 555003 0
Current children cumulated CPU time: 3600.34 s
Current children cumulated vsize: 2226100 KiB
Current children cumulated memory: 2195120 KiB
Child status: 0
Real time (s): 3643.5
CPU time (s): 3600.44
CPU user time (s): 3482.15
CPU system time (s): 118.287
CPU usage (%): 98.8182
Max. virtual memory (cumulated for all children) (KiB): 5520572
Max. memory (cumulated for all children) (KiB): 4917876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3482.15
system time used= 118.287
maximum resident set size= 4918004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2496261
page faults= 3
swaps= 0
block input operations= 6432
block output operations= 416918176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1806
involuntary context switches= 19310
# summary of solver processes directly reported to runsolver:
# pid: 46175
# total CPU time (s): 3600.44
# total CPU user time (s): 3482.15
# total CPU system time (s): 118.287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0777 second user time and 36.1449 second system time
The end
Begin job on nodeC004 at 2025-06-30 21:33:33
IDJOB=4485758
IDBENCH=146886
IDSOLVER=3325
FILE ID=nodeC004/4485758-1751312012
RUNJOBID= nodeC004-1751304354-45175
SLURM_JOB_ID= 9594300
Free space on /tmp= 433004 MiB
SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.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-4485758-1751312012/watcher-4485758-1751312012 -o /tmp/evaluation-result-4485758-1751312012/solver-4485758-1751312012 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751304354-45175 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4485758-1751312012 --seed=1842379093 HOME/instance-4485758-1751312012.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6022b5aad9039ac1ca82f9921059af7c
RANDOM SEED=1842379093
nodeC004 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.772
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.74
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 : 3662.192
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.74
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.561
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.74
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 : 1197.819
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.74
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.789
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.74
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 : 1197.208
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.74
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.659
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.74
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 : 1496.765
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 126871212 kB
MemAvailable: 127431108 kB
Buffers: 2720 kB
Cached: 1320644 kB
SwapCached: 20 kB
Active: 2634348 kB
Inactive: 995564 kB
Active(anon): 2318376 kB
Inactive(anon): 6192 kB
Active(file): 315972 kB
Inactive(file): 989372 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 764716 kB
Writeback: 0 kB
AnonPages: 2309692 kB
Mapped: 117172 kB
Shmem: 17956 kB
KReclaimable: 188356 kB
Slab: 295964 kB
SReclaimable: 188356 kB
SUnreclaim: 107608 kB
KernelStack: 4368 kB
PageTables: 7828 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3075760 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149720 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 757760 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433012 MiB
End job on nodeC004 at 2025-06-30 22:34:16