runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (15390 MiB free)
memory of node 1: 64465 MiB (56148 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517468-1751531389/watcher-4517468-1751531389 -o /tmp/evaluation-result-4517468-1751531389/solver-4517468-1751531389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751527683-73591 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4517468-1751531389 --seed=1435204022 HOME/instance-4517468-1751531389.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.el
Current StackSize limit: 8192 KiB
solver pid=73968, runsolver pid=73965
[startup+0.100066 s]*
/proc/loadavg: 4.12 4.15 4.09 4/266 73969
/proc/meminfo: memFree=73240468/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=63056 memory=32876 CPUtime=0.08 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 7816 0 0 0 7 1 0 0 20 0 1 0 68817598 64569344 8219 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 15764 8219 992 1201 0 14242 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63056 KiB
Current children cumulated memory: 32876 KiB
[startup+0.205626 s]*
/proc/loadavg: 4.12 4.15 4.09 4/266 73969
/proc/meminfo: memFree=73231820/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=48716 memory=29100 CPUtime=0.18 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 8262 0 0 0 17 1 0 0 20 0 1 0 68817598 49885184 7275 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 12179 7275 1024 1201 0 10657 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 29100 KiB
[startup+0.305537 s]*
/proc/loadavg: 4.12 4.15 4.09 4/266 73969
/proc/meminfo: memFree=73237104/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=48716 memory=29100 CPUtime=0.28 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 8262 0 0 0 27 1 0 0 20 0 1 0 68817598 49885184 7275 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 12179 7275 1024 1201 0 10657 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 29100 KiB
[startup+0.700107 s]
/proc/loadavg: 4.12 4.15 4.09 4/266 73969
/proc/meminfo: memFree=73230580/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=48716 memory=29100 CPUtime=0.67 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 8262 0 0 0 66 1 0 0 20 0 1 0 68817598 49885184 7275 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 12179 7275 1024 1201 0 10657 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 29100 KiB
[startup+1.5001 s]
/proc/loadavg: 4.12 4.15 4.09 4/266 73969
/proc/meminfo: memFree=73218636/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=48716 memory=29100 CPUtime=1.47 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 8262 0 0 0 146 1 0 0 20 0 1 0 68817598 49885184 7275 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 12179 7275 1024 1201 0 10657 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 29100 KiB
[startup+3.10431 s]
/proc/loadavg: 4.11 4.15 4.09 4/266 73969
/proc/meminfo: memFree=73181428/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=48716 memory=29100 CPUtime=3.07 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 8262 0 0 0 306 1 0 0 20 0 1 0 68817598 49885184 7275 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 12179 7275 1024 1201 0 10657 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 29100 KiB
[startup+6.30009 s]
/proc/loadavg: 4.11 4.15 4.09 5/265 73995
/proc/meminfo: memFree=73329136/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=48716 memory=29100 CPUtime=6.26 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 8262 0 0 0 625 1 0 0 20 0 1 0 68817598 49885184 7275 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 12179 7275 1024 1201 0 10657 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 29100 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.14 4.09 5/262 73995
/proc/meminfo: memFree=88994860/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=48716 memory=29100 CPUtime=12.65 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 8262 0 0 0 1264 1 0 0 20 0 1 0 68817598 49885184 7275 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 12179 7275 1024 1201 0 10657 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 29100 KiB
[startup+25.5001 s]
/proc/loadavg: 4.15 4.15 4.09 5/267 74015
/proc/meminfo: memFree=117287892/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=48716 memory=29100 CPUtime=25.42 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 8262 0 0 0 2541 1 0 0 20 0 1 0 68817598 49885184 7275 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 12179 7275 1024 1201 0 10657 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 29100 KiB
[startup+51.1047 s]
/proc/loadavg: 4.16 4.16 4.09 5/268 74017
/proc/meminfo: memFree=116401808/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=48716 memory=29100 CPUtime=50.98 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 8265 0 0 0 5097 1 0 0 20 0 1 0 68817598 49885184 7275 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 12179 7275 1024 1201 0 10657 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 29100 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.16 4.09 5/268 74020
/proc/meminfo: memFree=114520732/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=48716 memory=29100 CPUtime=102.08 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 8268 0 0 0 10207 1 0 0 20 0 1 0 68817598 49885184 7275 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 12179 7275 1024 1201 0 10657 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 29100 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/267 74022
/proc/meminfo: memFree=112273564/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=48716 memory=29100 CPUtime=161.98 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 8269 0 0 0 16197 1 0 0 20 0 1 0 68817598 49885184 7275 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 12179 7275 1024 1201 0 10657 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 29100 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/266 74024
/proc/meminfo: memFree=110126324/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=48716 memory=29100 CPUtime=221.87 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 8271 0 0 0 22186 1 0 0 20 0 1 0 68817598 49885184 7275 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 12179 7275 1024 1201 0 10657 0
Current children cumulated CPU time: 221.87 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 29100 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/266 74026
/proc/meminfo: memFree=108091328/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=48716 memory=29100 CPUtime=281.76 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 8272 0 0 0 28175 1 0 0 20 0 1 0 68817598 49885184 7275 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 12179 7275 1024 1201 0 10657 0
Current children cumulated CPU time: 281.76 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 29100 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/267 74034
/proc/meminfo: memFree=105302028/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=48716 memory=29100 CPUtime=341.63 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 8272 0 0 0 34162 1 0 0 20 0 1 0 68817598 49885184 7275 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 12179 7275 1024 1201 0 10657 0
Current children cumulated CPU time: 341.63 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 29100 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/266 74036
/proc/meminfo: memFree=101816920/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=94872 memory=84400 CPUtime=401.29 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 14725 0 0 0 40105 24 0 0 20 0 1 0 68817598 97148928 21100 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 23718 21100 1280 1201 0 22196 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 94872 KiB
Current children cumulated memory: 84400 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 74039
/proc/meminfo: memFree=98868352/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=103920 memory=93360 CPUtime=458.76 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 16996 0 0 0 45822 54 0 0 20 0 1 0 68817598 106414080 23340 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 25980 23340 1280 1201 0 24458 0
Current children cumulated CPU time: 458.76 s
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/269 74405
/proc/meminfo: memFree=79481236/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=160440 memory=153952 CPUtime=3143.83 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 31482 0 0 0 312973 1410 0 0 20 0 1 0 68817598 164290560 38488 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 40110 38488 1280 1201 0 38588 0
Current children cumulated CPU time: 3143.83 s
Current children cumulated vsize: 160440 KiB
Current children cumulated memory: 153952 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 74453
/proc/meminfo: memFree=78482812/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=160440 memory=154080 CPUtime=3203.63 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 31503 0 0 0 318922 1441 0 0 20 0 1 0 68817598 164290560 38520 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 40110 38520 1280 1201 0 38588 0
Current children cumulated CPU time: 3203.63 s
Current children cumulated vsize: 160440 KiB
Current children cumulated memory: 154080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 74455
/proc/meminfo: memFree=77512996/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=161384 memory=154848 CPUtime=3263.42 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 31774 0 0 0 324871 1471 0 0 20 0 1 0 68817598 165257216 38712 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 40346 38712 1280 1201 0 38824 0
Current children cumulated CPU time: 3263.42 s
Current children cumulated vsize: 161384 KiB
Current children cumulated memory: 154848 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 74457
/proc/meminfo: memFree=76585060/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=161704 memory=155232 CPUtime=3323.22 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 31861 0 0 0 330820 1502 0 0 20 0 1 0 68817598 165584896 38808 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 40426 38808 1280 1201 0 38904 0
Current children cumulated CPU time: 3323.22 s
Current children cumulated vsize: 161704 KiB
Current children cumulated memory: 155232 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 74461
/proc/meminfo: memFree=75643988/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=161980 memory=155488 CPUtime=3383.02 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 31930 0 0 0 336769 1533 0 0 20 0 1 0 68817598 165867520 38872 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 40495 38872 1280 1201 0 38973 0
Current children cumulated CPU time: 3383.02 s
Current children cumulated vsize: 161980 KiB
Current children cumulated memory: 155488 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 74467
/proc/meminfo: memFree=74703372/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=162672 memory=156128 CPUtime=3442.81 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 32104 0 0 0 342718 1563 0 0 20 0 1 0 68817598 166576128 39032 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 40668 39032 1280 1201 0 39146 0
Current children cumulated CPU time: 3442.81 s
Current children cumulated vsize: 162672 KiB
Current children cumulated memory: 156128 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 74469
/proc/meminfo: memFree=73888700/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=163392 memory=157024 CPUtime=3502.61 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 32311 0 0 0 348670 1591 0 0 20 0 1 0 68817598 167313408 39256 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 40848 39256 1280 1201 0 39326 0
Current children cumulated CPU time: 3502.61 s
Current children cumulated vsize: 163392 KiB
Current children cumulated memory: 157024 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 74471
/proc/meminfo: memFree=72439392/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=163920 memory=157408 CPUtime=3562.4 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 32424 0 0 0 354621 1619 0 0 20 0 1 0 68817598 167854080 39352 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 40980 39352 1280 1201 0 39458 0
Current children cumulated CPU time: 3562.4 s
Current children cumulated vsize: 163920 KiB
Current children cumulated memory: 157408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3620.11 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 74520
/proc/meminfo: memFree=85016460/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=164248 memory=157536 CPUtime=3600.07 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) R 73965 73968 73578 0 -1 4194304 32438 0 0 0 358369 1638 0 0 20 0 1 0 68817598 168189952 39384 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 41062 39384 1280 1201 0 39540 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 164248 KiB
Current children cumulated memory: 157536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.11 4.11 4.09 4/270 74520
/proc/meminfo: memFree=84952752/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=131500 memory=125936 CPUtime=3600.2 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) D 73965 73968 73578 0 -1 4194304 32439 0 0 0 358370 1650 0 0 20 0 1 0 68817598 134656000 31484 18446744073709551615 4198400 9115581 140724808542032 0 0 256 0 0 8404994 1 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 9
/proc/73968/statm: 32875 31484 1280 1201 0 31353 0
??? kill 73968 sig 9
??? end of watcher thread
[startup+3623.85 s]
# the end of solver process 73968 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3583.7 s, system=16.6103 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3620.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 74520
/proc/meminfo: memFree=85016460/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=131500 memory=125936 CPUtime=3600.2 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) D 73965 73968 73578 0 -1 4194304 32439 0 0 0 358370 1650 0 0 20 0 1 0 68817598 134656000 31484 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 32875 31484 1280 1201 0 31353 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 131500 KiB
Current children cumulated memory: 125936 KiB
[startup+3621.6 s]
/proc/loadavg: 4.11 4.11 4.09 4/270 74520
/proc/meminfo: memFree=84968880/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=131500 memory=125936 CPUtime=3600.2 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) D 73965 73968 73578 0 -1 4194304 32439 0 0 0 358370 1650 0 0 20 0 1 0 68817598 134656000 31484 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 32875 31484 1280 1201 0 31353 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 131500 KiB
Current children cumulated memory: 125936 KiB
[startup+3622 s]*
/proc/loadavg: 4.11 4.11 4.09 4/270 74520
/proc/meminfo: memFree=84952752/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=131500 memory=125936 CPUtime=3600.2 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) D 73965 73968 73578 0 -1 4194304 32439 0 0 0 358370 1650 0 0 20 0 1 0 68817598 134656000 31484 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 32875 31484 1280 1201 0 31353 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 131500 KiB
Current children cumulated memory: 125936 KiB
[startup+3622.1 s]
/proc/loadavg: 4.11 4.11 4.09 4/270 74520
/proc/meminfo: memFree=84952752/131250000 swapFree=33010672/33010684
[pid=73968] ppid=73965 vsize=131500 memory=125936 CPUtime=3600.2 cores=5,7
/proc/73968/stat : 73968 (Exact_proof) D 73965 73968 73578 0 -1 4194304 32439 0 0 0 358370 1650 0 0 20 0 1 0 68817598 134656000 31484 18446744073709551615 4198400 9115581 140724808542032 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 10325008 10415428 16900096 140724808546504 140724808546791 140724808546791 140724808552393 0
/proc/73968/statm: 32875 31484 1280 1201 0 31353 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 131500 KiB
Current children cumulated memory: 125936 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3623.85
CPU time (s): 3600.31
CPU user time (s): 3583.7
CPU system time (s): 16.6103
CPU usage (%): 99.3504
Max. virtual memory (cumulated for all children) (KiB): 164248
Max. memory (cumulated for all children) (KiB): 157536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.7
system time used= 16.6103
maximum resident set size= 157536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32439
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35028224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35986
involuntary context switches= 5529
# summary of solver processes directly reported to runsolver:
# pid: 73968
# total CPU time (s): 3600.31
# total CPU user time (s): 3583.7
# total CPU system time (s): 16.6103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64942 second user time and 13.8703 second system time
The end
Begin job on nodeC026 at 2025-07-03 10:29:50
IDJOB=4517468
IDBENCH=176097
IDSOLVER=3325
FILE ID=nodeC026/4517468-1751531389
RUNJOBID= nodeC026-1751527683-73591
SLURM_JOB_ID= 9598662
Free space on /tmp= 430556 MiB
SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=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-4517468-1751531389/watcher-4517468-1751531389 -o /tmp/evaluation-result-4517468-1751531389/solver-4517468-1751531389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751527683-73591 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4517468-1751531389 --seed=1435204022 HOME/instance-4517468-1751531389.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8
RANDOM SEED=1435204022
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.953
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.779
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.976
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3599.515
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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.592
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3598.992
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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.744
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3599.791
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 73254852 kB
MemAvailable: 128972088 kB
Buffers: 2128 kB
Cached: 56423684 kB
SwapCached: 4 kB
Active: 1159488 kB
Inactive: 55745988 kB
Active(anon): 485216 kB
Inactive(anon): 12560 kB
Active(file): 674272 kB
Inactive(file): 55733428 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 67572 kB
Writeback: 7232752 kB
AnonPages: 482364 kB
Mapped: 113948 kB
Shmem: 18076 kB
KReclaimable: 297548 kB
Slab: 660980 kB
SReclaimable: 297548 kB
SUnreclaim: 363432 kB
KernelStack: 4320 kB
PageTables: 3864 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 813892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 413696 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430552 MiB
End job on nodeC026 at 2025-07-03 11:30:14