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: 63665 MiB (33260 MiB free)
memory of node 1: 64507 MiB (53676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512886-1751209678/watcher-4512886-1751209678 -o /tmp/evaluation-result-4512886-1751209678/solver-4512886-1751209678 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751204566-29620 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4512886-1751209678 --seed=665085310 HOME/instance-4512886-1751209678.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
Current StackSize limit: 8192 KiB
solver pid=30782, runsolver pid=30779
[startup+0.100067 s]*
/proc/loadavg: 4.14 4.11 4.09 5/270 30783
/proc/meminfo: memFree=89011044/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=34544 memory=13292 CPUtime=0.09 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 2603 0 0 0 9 0 0 0 20 0 1 0 36645573 35373056 3323 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 8636 3323 1024 1201 0 7114 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 13292 KiB
[startup+0.205799 s]*
/proc/loadavg: 4.14 4.11 4.09 5/270 30783
/proc/meminfo: memFree=89011044/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=34544 memory=13292 CPUtime=0.2 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 2603 0 0 0 20 0 0 0 20 0 1 0 36645573 35373056 3323 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 8636 3323 1024 1201 0 7114 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 13292 KiB
[startup+0.305683 s]*
/proc/loadavg: 4.14 4.11 4.09 5/270 30783
/proc/meminfo: memFree=89002852/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=34544 memory=13292 CPUtime=0.3 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 2603 0 0 0 30 0 0 0 20 0 1 0 36645573 35373056 3323 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 8636 3323 1024 1201 0 7114 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 13292 KiB
[startup+0.70015 s]
/proc/loadavg: 4.14 4.11 4.09 5/270 30783
/proc/meminfo: memFree=88974564/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=34544 memory=13292 CPUtime=0.69 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 2603 0 0 0 69 0 0 0 20 0 1 0 36645573 35373056 3323 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 8636 3323 1024 1201 0 7114 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 13292 KiB
[startup+1.50019 s]
/proc/loadavg: 4.14 4.11 4.09 5/270 30783
/proc/meminfo: memFree=90037464/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=34544 memory=13292 CPUtime=1.48 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 2603 0 0 0 148 0 0 0 20 0 1 0 36645573 35373056 3323 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 8636 3323 1024 1201 0 7114 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 13292 KiB
[startup+3.1045 s]
/proc/loadavg: 4.13 4.11 4.09 5/270 30783
/proc/meminfo: memFree=90596100/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=34544 memory=13292 CPUtime=3.08 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 2603 0 0 0 308 0 0 0 20 0 1 0 36645573 35373056 3323 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 8636 3323 1024 1201 0 7114 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 13292 KiB
[startup+6.3001 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 30797
/proc/meminfo: memFree=93921288/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=34544 memory=13292 CPUtime=6.27 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 2603 0 0 0 627 0 0 0 20 0 1 0 36645573 35373056 3323 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 8636 3323 1024 1201 0 7114 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 13292 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 30797
/proc/meminfo: memFree=93818992/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=34544 memory=13292 CPUtime=12.66 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 2603 0 0 0 1266 0 0 0 20 0 1 0 36645573 35373056 3323 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 8636 3323 1024 1201 0 7114 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 13292 KiB
[startup+25.5001 s]
/proc/loadavg: 4.17 4.11 4.10 5/270 30828
/proc/meminfo: memFree=98328220/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=34544 memory=13292 CPUtime=25.43 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 2603 0 0 0 2543 0 0 0 20 0 1 0 36645573 35373056 3323 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 8636 3323 1024 1201 0 7114 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 13292 KiB
[startup+51.1048 s]
/proc/loadavg: 4.11 4.10 4.09 5/270 30829
/proc/meminfo: memFree=97959380/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=34544 memory=13292 CPUtime=50.99 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 2603 0 0 0 5099 0 0 0 20 0 1 0 36645573 35373056 3323 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 8636 3323 1024 1201 0 7114 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 13292 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/270 30833
/proc/meminfo: memFree=97354360/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=34544 memory=13292 CPUtime=102.08 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 2603 0 0 0 10208 0 0 0 20 0 1 0 36645573 35373056 3323 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 8636 3323 1024 1201 0 7114 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 13292 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/270 30839
/proc/meminfo: memFree=96475324/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=34544 memory=13292 CPUtime=161.95 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 2603 0 0 0 16195 0 0 0 20 0 1 0 36645573 35373056 3323 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 8636 3323 1024 1201 0 7114 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 13292 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/270 30841
/proc/meminfo: memFree=95302784/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=34544 memory=13292 CPUtime=221.83 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 2603 0 0 0 22183 0 0 0 20 0 1 0 36645573 35373056 3323 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 8636 3323 1024 1201 0 7114 0
Current children cumulated CPU time: 221.83 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 13292 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/270 30843
/proc/meminfo: memFree=93803304/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=34544 memory=13292 CPUtime=281.71 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 2603 0 0 0 28171 0 0 0 20 0 1 0 36645573 35373056 3323 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 8636 3323 1024 1201 0 7114 0
Current children cumulated CPU time: 281.71 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 13292 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 30845
/proc/meminfo: memFree=92180724/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=34544 memory=13292 CPUtime=341.59 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 2603 0 0 0 34159 0 0 0 20 0 1 0 36645573 35373056 3323 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 8636 3323 1024 1201 0 7114 0
Current children cumulated CPU time: 341.59 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 13292 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 30847
/proc/meminfo: memFree=90544380/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=75532 memory=58376 CPUtime=401.27 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 9819 0 0 0 40092 35 0 0 20 0 1 0 36645573 77344768 14594 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 18883 14594 1280 1201 0 17361 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 75532 KiB
Current children cumulated memory: 58376 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 30851
/proc/meminfo: memFree=89057252/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=86408 memory=69128 CPUtime=460.77 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 12506 0 0 0 46000 77 0 0 20 0 1 0 36645573 88481792 17282 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 21602 17282 1280 1201 0 20080 0
################
# More data... #
################
Current children cumulated memory: 184632 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 31072
/proc/meminfo: memFree=85110012/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=204884 memory=185272 CPUtime=2959.43 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 36348 0 0 0 294317 1626 0 0 20 0 1 0 36645573 209801216 46318 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 51221 46318 1280 1201 0 49699 0
Current children cumulated CPU time: 2959.43 s
Current children cumulated vsize: 204884 KiB
Current children cumulated memory: 185272 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/270 31075
/proc/meminfo: memFree=83961280/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=205616 memory=186040 CPUtime=3019.1 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 36532 0 0 0 300251 1659 0 0 20 0 1 0 36645573 210550784 46510 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 51404 46510 1280 1201 0 49882 0
Current children cumulated CPU time: 3019.1 s
Current children cumulated vsize: 205616 KiB
Current children cumulated memory: 186040 KiB
[startup+3102.3 s]
/proc/loadavg: 4.31 4.15 4.10 4/270 31077
/proc/meminfo: memFree=82696776/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=206580 memory=191060 CPUtime=3078.51 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 36779 0 0 0 306156 1695 0 0 20 0 1 0 36645573 211537920 47765 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 51645 47765 1280 1201 0 50123 0
Current children cumulated CPU time: 3078.51 s
Current children cumulated vsize: 206580 KiB
Current children cumulated memory: 191060 KiB
[startup+3162.3 s]
/proc/loadavg: 4.26 4.18 4.12 5/270 31081
/proc/meminfo: memFree=81294596/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=206580 memory=191188 CPUtime=3138.03 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 36807 0 0 0 312071 1732 0 0 20 0 1 0 36645573 211537920 47797 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 51645 47797 1280 1201 0 50123 0
Current children cumulated CPU time: 3138.03 s
Current children cumulated vsize: 206580 KiB
Current children cumulated memory: 191188 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/270 31144
/proc/meminfo: memFree=97856092/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=206848 memory=191316 CPUtime=3197.57 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 36873 0 0 0 317989 1768 0 0 20 0 1 0 36645573 211812352 47829 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 51712 47829 1280 1201 0 50190 0
Current children cumulated CPU time: 3197.57 s
Current children cumulated vsize: 206848 KiB
Current children cumulated memory: 191316 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.14 4.10 5/270 31146
/proc/meminfo: memFree=96815196/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=208884 memory=193236 CPUtime=3257.15 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 37346 0 0 0 323907 1808 0 0 20 0 1 0 36645573 213897216 48309 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 52221 48309 1280 1201 0 50699 0
Current children cumulated CPU time: 3257.15 s
Current children cumulated vsize: 208884 KiB
Current children cumulated memory: 193236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/269 31148
/proc/meminfo: memFree=95820132/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=209868 memory=194388 CPUtime=3316.71 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 37596 0 0 0 329830 1841 0 0 20 0 1 0 36645573 214904832 48597 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 52467 48597 1280 1201 0 50945 0
Current children cumulated CPU time: 3316.71 s
Current children cumulated vsize: 209868 KiB
Current children cumulated memory: 194388 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/269 31150
/proc/meminfo: memFree=94963744/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=211812 memory=196308 CPUtime=3376.3 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 38092 0 0 0 335761 1869 0 0 20 0 1 0 36645573 216895488 49077 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 52953 49077 1280 1201 0 51431 0
Current children cumulated CPU time: 3376.3 s
Current children cumulated vsize: 211812 KiB
Current children cumulated memory: 196308 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/269 31152
/proc/meminfo: memFree=94040152/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=212612 memory=197076 CPUtime=3435.87 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 38306 0 0 0 341684 1903 0 0 20 0 1 0 36645573 217714688 49269 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 53153 49269 1280 1201 0 51631 0
Current children cumulated CPU time: 3435.87 s
Current children cumulated vsize: 212612 KiB
Current children cumulated memory: 197076 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 31154
/proc/meminfo: memFree=93173388/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=214500 memory=198868 CPUtime=3495.49 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 38744 0 0 0 347614 1935 0 0 20 0 1 0 36645573 219648000 49717 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 53625 49717 1280 1201 0 52103 0
Current children cumulated CPU time: 3495.49 s
Current children cumulated vsize: 214500 KiB
Current children cumulated memory: 198868 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 31156
/proc/meminfo: memFree=91992368/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=215116 memory=199508 CPUtime=3555.21 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 38909 0 0 0 353551 1970 0 0 20 0 1 0 36645573 220278784 49877 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 53779 49877 1280 1201 0 52257 0
Current children cumulated CPU time: 3555.21 s
Current children cumulated vsize: 215116 KiB
Current children cumulated memory: 199508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3627.4 s]
/proc/loadavg: 4.24 4.16 4.11 5/267 31159
/proc/meminfo: memFree=90930400/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=215352 memory=199764 CPUtime=3600 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) R 30779 30782 29607 0 -1 4194304 38983 0 0 0 358006 1994 0 0 20 0 1 0 36645573 220520448 49941 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 53838 49941 1280 1201 0 52316 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 215352 KiB
Current children cumulated memory: 199764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3627.76 s]
# the end of solver process 30782 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.07 s, system=19.9685 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3627.6 s]
/proc/loadavg: 4.24 4.16 4.11 5/267 31159
/proc/meminfo: memFree=90930400/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=157736 memory=152292 CPUtime=3600.01 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) D 30779 30782 29607 0 -1 4194304 38984 0 0 0 358006 1995 0 0 20 0 1 0 36645573 161521664 38073 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 39434 38073 1280 1201 0 37912 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 157736 KiB
Current children cumulated memory: 152292 KiB
[startup+3627.7 s]
/proc/loadavg: 4.24 4.16 4.11 5/267 31159
/proc/meminfo: memFree=90930400/131249996 swapFree=33010684/33010684
[pid=30782] ppid=30779 vsize=157736 memory=152292 CPUtime=3600.02 cores=5,7
/proc/30782/stat : 30782 (Exact_proof) D 30779 30782 29607 0 -1 4194304 38984 0 0 0 358007 1995 0 0 20 0 1 0 36645573 161521664 38073 18446744073709551615 4198400 9115581 140722812727600 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 10325008 10415428 28774400 140722812733641 140722812733927 140722812733927 140722812739529 0
/proc/30782/statm: 39434 38073 1280 1201 0 37912 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 157736 KiB
Current children cumulated memory: 152292 KiB
Child status: 0
Real time (s): 3627.76
CPU time (s): 3600.04
CPU user time (s): 3580.07
CPU system time (s): 19.9685
CPU usage (%): 99.2359
Max. virtual memory (cumulated for all children) (KiB): 215352
Max. memory (cumulated for all children) (KiB): 199764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.07
system time used= 19.9685
maximum resident set size= 199764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38985
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35135096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1804
involuntary context switches= 21762
# summary of solver processes directly reported to runsolver:
# pid: 30782
# total CPU time (s): 3600.04
# total CPU user time (s): 3580.07
# total CPU system time (s): 19.9685
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04212 second user time and 14.9891 second system time
The end
Begin job on nodeC017 at 2025-06-29 17:07:58
IDJOB=4512886
IDBENCH=162196
IDSOLVER=3325
FILE ID=nodeC017/4512886-1751209678
RUNJOBID= nodeC017-1751204566-29620
SLURM_JOB_ID= 9587616
Free space on /tmp= 432868 MiB
SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round23-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-4512886-1751209678/watcher-4512886-1751209678 -o /tmp/evaluation-result-4512886-1751209678/solver-4512886-1751209678 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751204566-29620 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4512886-1751209678 --seed=665085310 HOME/instance-4512886-1751209678.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 37b3a609918eb30d871bb851627bd55e
RANDOM SEED=665085310
nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.086
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.083
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3600.505
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3613.781
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.069
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3622.465
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3599.618
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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.076
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 89039952 kB
MemAvailable: 113134632 kB
Buffers: 3280 kB
Cached: 24868596 kB
SwapCached: 0 kB
Active: 16715268 kB
Inactive: 24614868 kB
Active(anon): 16476392 kB
Inactive(anon): 0 kB
Active(file): 238876 kB
Inactive(file): 24614868 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7528240 kB
Writeback: 8 kB
AnonPages: 16461024 kB
Mapped: 118276 kB
Shmem: 18080 kB
KReclaimable: 159952 kB
Slab: 483204 kB
SReclaimable: 159952 kB
SUnreclaim: 323252 kB
KernelStack: 4320 kB
PageTables: 35580 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 19091428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8091648 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC017 at 2025-06-29 18:08:26