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 (60535 MiB free)
memory of node 1: 64465 MiB (64033 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493576-1751139781/watcher-4493576-1751139781 -o /tmp/evaluation-result-4493576-1751139781/solver-4493576-1751139781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751133631-11244 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4493576-1751139781 --seed=89245473 HOME/instance-4493576-1751139781.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=12969, runsolver pid=12966
Current StackSize limit: 8192 KiB
[startup+0.100105 s]*
/proc/loadavg: 4.12 4.13 4.15 5/259 12979
/proc/meminfo: memFree=127553680/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=28248 memory=4864 CPUtime=0.1 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 331 0 0 0 10 0 0 0 20 0 1 0 29656897 28925952 1216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 7062 1216 1024 1201 0 5540 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4864 KiB
[startup+0.213734 s]*
/proc/loadavg: 4.12 4.13 4.15 5/259 12979
/proc/meminfo: memFree=127553680/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=28248 memory=4864 CPUtime=0.22 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 331 0 0 0 22 0 0 0 20 0 1 0 29656897 28925952 1216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 7062 1216 1024 1201 0 5540 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4864 KiB
[startup+0.313495 s]*
/proc/loadavg: 4.12 4.13 4.15 5/259 12979
/proc/meminfo: memFree=127553680/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=28248 memory=4864 CPUtime=0.32 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 331 0 0 0 32 0 0 0 20 0 1 0 29656897 28925952 1216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 7062 1216 1024 1201 0 5540 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4864 KiB
[startup+0.700351 s]
/proc/loadavg: 4.11 4.13 4.15 5/259 12979
/proc/meminfo: memFree=127553680/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=28248 memory=4864 CPUtime=0.69 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 331 0 0 0 69 0 0 0 20 0 1 0 29656897 28925952 1216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 7062 1216 1024 1201 0 5540 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4864 KiB
[startup+1.50034 s]
/proc/loadavg: 4.11 4.13 4.15 5/259 12979
/proc/meminfo: memFree=127553828/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=28248 memory=4864 CPUtime=1.49 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 331 0 0 0 149 0 0 0 20 0 1 0 29656897 28925952 1216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 7062 1216 1024 1201 0 5540 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4864 KiB
[startup+3.11314 s]
/proc/loadavg: 4.11 4.13 4.15 5/259 12979
/proc/meminfo: memFree=127537716/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=28248 memory=4864 CPUtime=3.1 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 331 0 0 0 310 0 0 0 20 0 1 0 29656897 28925952 1216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 7062 1216 1024 1201 0 5540 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4864 KiB
[startup+6.30035 s]
/proc/loadavg: 4.10 4.13 4.15 5/259 12979
/proc/meminfo: memFree=127509764/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=28248 memory=4864 CPUtime=6.28 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 331 0 0 0 628 0 0 0 20 0 1 0 29656897 28925952 1216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 7062 1216 1024 1201 0 5540 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4864 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.12 4.15 5/259 12979
/proc/meminfo: memFree=127485572/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=28248 memory=4864 CPUtime=12.67 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 331 0 0 0 1267 0 0 0 20 0 1 0 29656897 28925952 1216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 7062 1216 1024 1201 0 5540 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4864 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.14 4.15 5/259 12980
/proc/meminfo: memFree=127443392/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=28248 memory=4864 CPUtime=25.45 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 331 0 0 0 2545 0 0 0 20 0 1 0 29656897 28925952 1216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 7062 1216 1024 1201 0 5540 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4864 KiB
[startup+51.1132 s]
/proc/loadavg: 4.16 4.14 4.15 5/259 12981
/proc/meminfo: memFree=127118152/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=28248 memory=4864 CPUtime=51.01 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 331 0 0 0 5101 0 0 0 20 0 1 0 29656897 28925952 1216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 7062 1216 1024 1201 0 5540 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4864 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/258 12983
/proc/meminfo: memFree=126624316/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=28248 memory=4864 CPUtime=102.11 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 331 0 0 0 10211 0 0 0 20 0 1 0 29656897 28925952 1216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 7062 1216 1024 1201 0 5540 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4864 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/258 12985
/proc/meminfo: memFree=125902616/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=28248 memory=4864 CPUtime=161.99 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 331 0 0 0 16199 0 0 0 20 0 1 0 29656897 28925952 1216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 7062 1216 1024 1201 0 5540 0
Current children cumulated CPU time: 161.99 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4864 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/258 12987
/proc/meminfo: memFree=125270320/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=28248 memory=4864 CPUtime=221.85 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 331 0 0 0 22185 0 0 0 20 0 1 0 29656897 28925952 1216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 7062 1216 1024 1201 0 5540 0
Current children cumulated CPU time: 221.85 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4864 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/258 12989
/proc/meminfo: memFree=124478292/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=28248 memory=4864 CPUtime=281.7 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 331 0 0 0 28170 0 0 0 20 0 1 0 29656897 28925952 1216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 7062 1216 1024 1201 0 5540 0
Current children cumulated CPU time: 281.7 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4864 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/265 13000
/proc/meminfo: memFree=123695476/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=28248 memory=4864 CPUtime=341.55 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 331 0 0 0 34155 0 0 0 20 0 1 0 29656897 28925952 1216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 7062 1216 1024 1201 0 5540 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4864 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.12 5/265 13002
/proc/meminfo: memFree=122876768/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=77716 memory=60544 CPUtime=401.33 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 9193 0 0 0 40086 47 0 0 20 0 1 0 29656897 79581184 15136 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 19429 15136 1280 1201 0 17907 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 77716 KiB
Current children cumulated memory: 60544 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.09 4.11 5/266 13049
/proc/meminfo: memFree=122204912/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=90580 memory=76056 CPUtime=461.14 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 11561 0 0 0 46018 96 0 0 20 0 1 0 29656897 92753920 19014 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 22645 19014 1280 1201 0 21123 0
Current children cumulated CPU time: 461.14 s
################
# More data... #
################
/proc/loadavg: 4.28 4.26 4.18 5/261 13058
/proc/meminfo: memFree=119984656/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=120908 memory=83104 CPUtime=640.3 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 13228 0 0 0 63770 260 0 0 20 0 1 0 29656897 123809792 20776 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 30227 20776 1280 1201 0 28705 0
Current children cumulated CPU time: 640.3 s
Current children cumulated vsize: 120908 KiB
Current children cumulated memory: 83104 KiB
[startup+702.3 s]
/proc/loadavg: 4.16 4.23 4.18 5/262 13064
/proc/meminfo: memFree=119278508/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=121292 memory=83488 CPUtime=699.92 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 13343 0 0 0 69659 333 0 0 20 0 1 0 29656897 124203008 20872 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 30323 20872 1280 1201 0 28801 0
Current children cumulated CPU time: 699.92 s
Current children cumulated vsize: 121292 KiB
Current children cumulated memory: 83488 KiB
[startup+762.3 s]
/proc/loadavg: 4.11 4.20 4.17 5/260 13066
/proc/meminfo: memFree=118278688/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=121868 memory=88864 CPUtime=759.73 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) D 12966 12969 11228 0 -1 4194304 13500 0 0 0 75568 405 0 0 20 0 1 0 29656897 124792832 22216 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 30467 22216 1280 1201 0 28945 0
Current children cumulated CPU time: 759.73 s
Current children cumulated vsize: 121868 KiB
Current children cumulated memory: 88864 KiB
[startup+822.3 s]
/proc/loadavg: 4.08 4.17 4.16 5/259 13068
/proc/meminfo: memFree=117461952/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=122636 memory=95776 CPUtime=819.42 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 13657 0 0 0 81466 476 0 0 20 0 1 0 29656897 125579264 23944 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 30659 23944 1280 1201 0 29137 0
Current children cumulated CPU time: 819.42 s
Current children cumulated vsize: 122636 KiB
Current children cumulated memory: 95776 KiB
[startup+882.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/259 13070
/proc/meminfo: memFree=116565948/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=122828 memory=95904 CPUtime=879.12 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 13688 0 0 0 87360 552 0 0 20 0 1 0 29656897 125775872 23976 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 30707 23976 1280 1201 0 29185 0
Current children cumulated CPU time: 879.12 s
Current children cumulated vsize: 122828 KiB
Current children cumulated memory: 95904 KiB
[startup+942.3 s]
/proc/loadavg: 4.07 4.14 4.15 5/257 13107
/proc/meminfo: memFree=117707152/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=123788 memory=96416 CPUtime=938.86 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 13842 0 0 0 93257 629 0 0 20 0 1 0 29656897 126758912 24104 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 30947 24104 1280 1201 0 29425 0
Current children cumulated CPU time: 938.86 s
Current children cumulated vsize: 123788 KiB
Current children cumulated memory: 96416 KiB
[startup+1002.3 s]
/proc/loadavg: 4.18 4.16 4.16 5/261 13122
/proc/meminfo: memFree=116935504/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=124172 memory=96672 CPUtime=998.61 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 13909 0 0 0 99160 701 0 0 20 0 1 0 29656897 127152128 24168 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 31043 24168 1280 1201 0 29521 0
Current children cumulated CPU time: 998.61 s
Current children cumulated vsize: 124172 KiB
Current children cumulated memory: 96672 KiB
[startup+1062.3 s]
/proc/loadavg: 4.06 4.13 4.15 5/261 13124
/proc/meminfo: memFree=116218548/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=124364 memory=96800 CPUtime=1058.33 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 13946 0 0 0 105060 773 0 0 20 0 1 0 29656897 127348736 24200 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 31091 24200 1280 1201 0 29569 0
Current children cumulated CPU time: 1058.33 s
Current children cumulated vsize: 124364 KiB
Current children cumulated memory: 96800 KiB
[startup+1122.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/262 13138
/proc/meminfo: memFree=115605320/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=124940 memory=97184 CPUtime=1118.1 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 14044 0 0 0 110963 847 0 0 20 0 1 0 29656897 127938560 24296 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 31235 24296 1280 1201 0 29713 0
Current children cumulated CPU time: 1118.1 s
Current children cumulated vsize: 124940 KiB
Current children cumulated memory: 97184 KiB
[startup+1182.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/262 13140
/proc/meminfo: memFree=114745232/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=125324 memory=97440 CPUtime=1177.81 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 14144 0 0 0 116861 920 0 0 20 0 1 0 29656897 128331776 24360 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 31331 24360 1280 1201 0 29809 0
Current children cumulated CPU time: 1177.81 s
Current children cumulated vsize: 125324 KiB
Current children cumulated memory: 97440 KiB
[startup+1187.2 s]
# the end of solver process 12969 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1173.34 s, system=9.29458 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1184 s]*
/proc/loadavg: 4.10 4.12 4.14 5/262 13141
/proc/meminfo: memFree=114713004/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=125324 memory=97440 CPUtime=1179.52 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 14144 0 0 0 117029 923 0 0 20 0 1 0 29656897 128331776 24360 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 31331 24360 1280 1201 0 29809 0
Current children cumulated CPU time: 1179.52 s
Current children cumulated vsize: 125324 KiB
Current children cumulated memory: 97440 KiB
[startup+1185.6 s]
/proc/loadavg: 4.10 4.12 4.14 5/262 13141
/proc/meminfo: memFree=114713652/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=125324 memory=97440 CPUtime=1181.1 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 14144 0 0 0 117185 925 0 0 20 0 1 0 29656897 128331776 24360 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 31331 24360 1280 1201 0 29809 0
Current children cumulated CPU time: 1181.1 s
Current children cumulated vsize: 125324 KiB
Current children cumulated memory: 97440 KiB
[startup+1186.4 s]
/proc/loadavg: 4.10 4.12 4.14 5/262 13141
/proc/meminfo: memFree=114713880/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=125324 memory=97440 CPUtime=1181.89 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 14144 0 0 0 117263 926 0 0 20 0 1 0 29656897 128331776 24360 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 31331 24360 1280 1201 0 29809 0
Current children cumulated CPU time: 1181.89 s
Current children cumulated vsize: 125324 KiB
Current children cumulated memory: 97440 KiB
[startup+1186.8 s]
/proc/loadavg: 4.10 4.12 4.14 5/262 13141
/proc/meminfo: memFree=114713880/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=125324 memory=97440 CPUtime=1182.29 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) R 12966 12969 11228 0 -1 4194304 14144 0 0 0 117302 927 0 0 20 0 1 0 29656897 128331776 24360 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 31331 24360 1280 1201 0 29809 0
Current children cumulated CPU time: 1182.29 s
Current children cumulated vsize: 125324 KiB
Current children cumulated memory: 97440 KiB
[startup+1187.2 s]
/proc/loadavg: 4.10 4.12 4.14 5/262 13141
/proc/meminfo: memFree=114697752/131382120 swapFree=33010684/33010684
[pid=12969] ppid=12966 vsize=71500 memory=65020 CPUtime=1182.62 cores=4,6
/proc/12969/stat : 12969 (Exact_proof) D 12966 12969 11228 0 -1 4194304 14144 0 0 0 117333 929 0 0 20 0 1 0 29656897 73216000 16255 18446744073709551615 4198400 9115581 140731213950496 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 10325008 10415428 39288832 140731213953226 140731213953511 140731213953511 140731213959113 0
/proc/12969/statm: 17875 16255 1280 1201 0 16353 0
Current children cumulated CPU time: 1182.62 s
Current children cumulated vsize: 71500 KiB
Current children cumulated memory: 65020 KiB
Child status: 30
Real time (s): 1187.2
CPU time (s): 1182.63
CPU user time (s): 1173.34
CPU system time (s): 9.29458
CPU usage (%): 99.6152
Max. virtual memory (cumulated for all children) (KiB): 125324
Max. memory (cumulated for all children) (KiB): 97440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1173.34
system time used= 9.29458
maximum resident set size= 108024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14145
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3048
involuntary context switches= 1211
# summary of solver processes directly reported to runsolver:
# pid: 12969
# total CPU time (s): 1182.63
# total CPU user time (s): 1173.34
# total CPU system time (s): 9.29458
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.32069 second user time and 12.7271 second system time
The end
Begin job on nodeC002 at 2025-06-28 21:43:01
IDJOB=4493576
IDBENCH=147867
IDSOLVER=3325
FILE ID=nodeC002/4493576-1751139781
RUNJOBID= nodeC002-1751133631-11244
SLURM_JOB_ID= 9587402
Free space on /tmp= 433036 MiB
SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army11.17ls.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-4493576-1751139781/watcher-4493576-1751139781 -o /tmp/evaluation-result-4493576-1751139781/solver-4493576-1751139781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751133631-11244 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4493576-1751139781 --seed=89245473 HOME/instance-4493576-1751139781.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 577423e4c806b19b8b5f6a5daee1c614
RANDOM SEED=89245473
nodeC002 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.515
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.81
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 : 3491.894
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.81
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.636
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.81
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.136
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.81
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 : 1796.218
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.81
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 : 3591.672
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.81
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.229
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.310
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127553300 kB
MemAvailable: 129555192 kB
Buffers: 3280 kB
Cached: 2811848 kB
SwapCached: 0 kB
Active: 660424 kB
Inactive: 2613796 kB
Active(anon): 477100 kB
Inactive(anon): 0 kB
Active(file): 183324 kB
Inactive(file): 2613796 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 170308 kB
Writeback: 0 kB
AnonPages: 461528 kB
Mapped: 111620 kB
Shmem: 17960 kB
KReclaimable: 88796 kB
Slab: 175084 kB
SReclaimable: 88796 kB
SUnreclaim: 86288 kB
KernelStack: 4096 kB
PageTables: 3756 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 926036 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 385024 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC002 at 2025-06-28 22:02:48