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 (62313 MiB free)
memory of node 1: 64507 MiB (63460 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544167-1753227938/watcher-4544167-1753227938 -o /tmp/evaluation-result-4544167-1753227938/solver-4544167-1753227938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753227208-168129 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=/tmp/proof-4544167-1753227938 --seed=1586978880 HOME/instance-4544167-1753227938.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=168553, runsolver pid=168550
[startup+0.100059 s]*
/proc/loadavg: 4.19 3.89 3.37 5/265 168554
/proc/meminfo: memFree=128785716/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=40880 memory=17812 CPUtime=0.09 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 4022 0 0 0 9 0 0 0 20 0 1 0 238472646 41861120 4453 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 10220 4453 1024 1201 0 8698 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 17812 KiB
[startup+0.205316 s]*
/proc/loadavg: 4.19 3.89 3.37 5/265 168554
/proc/meminfo: memFree=128785716/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=40880 memory=17812 CPUtime=0.2 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 4022 0 0 0 20 0 0 0 20 0 1 0 238472646 41861120 4453 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 10220 4453 1024 1201 0 8698 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 17812 KiB
[startup+0.304244 s]*
/proc/loadavg: 4.19 3.89 3.37 5/265 168554
/proc/meminfo: memFree=128785716/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=40880 memory=17812 CPUtime=0.3 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 4022 0 0 0 30 0 0 0 20 0 1 0 238472646 41861120 4453 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 10220 4453 1024 1201 0 8698 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 17812 KiB
[startup+0.700094 s]
/proc/loadavg: 4.17 3.90 3.38 5/265 168554
/proc/meminfo: memFree=128786004/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=40880 memory=17812 CPUtime=0.69 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 4022 0 0 0 69 0 0 0 20 0 1 0 238472646 41861120 4453 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 10220 4453 1024 1201 0 8698 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 17812 KiB
[startup+1.50009 s]
/proc/loadavg: 4.17 3.90 3.38 5/265 168554
/proc/meminfo: memFree=128786004/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=40880 memory=17812 CPUtime=1.49 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 4022 0 0 0 149 0 0 0 20 0 1 0 238472646 41861120 4453 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 10220 4453 1024 1201 0 8698 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 17812 KiB
[startup+3.1044 s]
/proc/loadavg: 4.17 3.90 3.38 5/264 168554
/proc/meminfo: memFree=128790144/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=40880 memory=17812 CPUtime=3.09 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 4022 0 0 0 309 0 0 0 20 0 1 0 238472646 41861120 4453 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 10220 4453 1024 1201 0 8698 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 17812 KiB
[startup+6.30009 s]
/proc/loadavg: 4.24 3.92 3.39 5/264 168602
/proc/meminfo: memFree=128800004/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=40880 memory=17812 CPUtime=6.28 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 4022 0 0 0 628 0 0 0 20 0 1 0 238472646 41861120 4453 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 10220 4453 1024 1201 0 8698 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 17812 KiB
[startup+12.7001 s]
/proc/loadavg: 4.22 3.92 3.39 5/264 168602
/proc/meminfo: memFree=128800688/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=40880 memory=17812 CPUtime=12.66 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 4022 0 0 0 1266 0 0 0 20 0 1 0 238472646 41861120 4453 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 10220 4453 1024 1201 0 8698 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 17812 KiB
[startup+25.5001 s]
/proc/loadavg: 4.18 3.92 3.40 5/263 168602
/proc/meminfo: memFree=128800484/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=40880 memory=17812 CPUtime=25.44 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 4022 0 0 0 2544 0 0 0 20 0 1 0 238472646 41861120 4453 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 10220 4453 1024 1201 0 8698 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 17812 KiB
[startup+51.1044 s]
/proc/loadavg: 4.16 3.94 3.42 5/263 168603
/proc/meminfo: memFree=128759532/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=40880 memory=17812 CPUtime=50.99 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 4022 0 0 0 5099 0 0 0 20 0 1 0 238472646 41861120 4453 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 10220 4453 1024 1201 0 8698 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 17812 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 3.97 3.46 5/263 168605
/proc/meminfo: memFree=128765760/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=40880 memory=17812 CPUtime=102.08 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 4022 0 0 0 10208 0 0 0 20 0 1 0 238472646 41861120 4453 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 10220 4453 1024 1201 0 8698 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 17812 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 3.99 3.50 5/263 168607
/proc/meminfo: memFree=128754996/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=40880 memory=18964 CPUtime=161.96 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 4022 0 0 0 16196 0 0 0 20 0 1 0 238472646 41861120 4741 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 10220 4741 1024 1201 0 8698 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 18964 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.01 3.54 5/263 168609
/proc/meminfo: memFree=128771892/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=40880 memory=18964 CPUtime=221.83 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 4022 0 0 0 22183 0 0 0 20 0 1 0 238472646 41861120 4741 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 10220 4741 1024 1201 0 8698 0
Current children cumulated CPU time: 221.83 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 18964 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.02 3.58 5/262 168613
/proc/meminfo: memFree=128772388/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=40880 memory=18964 CPUtime=281.71 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 4022 0 0 0 28171 0 0 0 20 0 1 0 238472646 41861120 4741 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 10220 4741 1024 1201 0 8698 0
Current children cumulated CPU time: 281.71 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 18964 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.03 3.61 5/263 168620
/proc/meminfo: memFree=128772264/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=40880 memory=18964 CPUtime=341.59 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 4022 0 0 0 34159 0 0 0 20 0 1 0 238472646 41861120 4741 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 10220 4741 1024 1201 0 8698 0
Current children cumulated CPU time: 341.59 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 18964 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.05 3.65 5/263 168717
/proc/meminfo: memFree=127278044/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=901604 memory=694072 CPUtime=401.43 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 91973 0 0 0 40089 54 0 0 20 0 1 0 238472646 923242496 173518 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 225401 173518 1280 1201 0 223879 0
Current children cumulated CPU time: 401.43 s
Current children cumulated vsize: 901604 KiB
Current children cumulated memory: 694072 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.09 3.69 5/264 168768
/proc/meminfo: memFree=127350952/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=1001368 memory=782648 CPUtime=461.27 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 112987 0 0 0 46028 99 0 0 20 0 1 0 238472646 1025400832 195662 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 250342 195662 1280 1201 0 248820 0
################
# More data... #
################
Current children cumulated memory: 1248056 KiB
[startup+2862.3 s]
/proc/loadavg: 4.19 4.25 4.17 5/269 169709
/proc/meminfo: memFree=98540684/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=1424272 memory=1257144 CPUtime=2854.8 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 210830 0 0 0 283443 2037 0 0 20 0 1 0 238472646 1458454528 314286 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 356068 314286 1280 1201 0 354546 0
Current children cumulated CPU time: 2854.8 s
Current children cumulated vsize: 1424272 KiB
Current children cumulated memory: 1257144 KiB
[startup+2922.3 s]
/proc/loadavg: 4.22 4.25 4.18 5/267 169712
/proc/meminfo: memFree=97837252/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=1431720 memory=1263800 CPUtime=2914.64 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 212944 0 0 0 289379 2085 0 0 20 0 1 0 238472646 1466081280 315950 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 357930 315950 1280 1201 0 356408 0
Current children cumulated CPU time: 2914.64 s
Current children cumulated vsize: 1431720 KiB
Current children cumulated memory: 1263800 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.23 4.18 5/266 169714
/proc/meminfo: memFree=97223384/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=1432740 memory=1264952 CPUtime=2974.49 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 213506 0 0 0 295317 2132 0 0 20 0 1 0 238472646 1467125760 316238 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 358185 316238 1280 1201 0 356663 0
Current children cumulated CPU time: 2974.49 s
Current children cumulated vsize: 1432740 KiB
Current children cumulated memory: 1264952 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.20 4.17 4/261 169751
/proc/meminfo: memFree=96205124/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=1434108 memory=1272248 CPUtime=3034.33 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 214175 0 0 0 301252 2181 0 0 20 0 1 0 238472646 1468526592 318062 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 358527 318062 1280 1201 0 357005 0
Current children cumulated CPU time: 3034.33 s
Current children cumulated vsize: 1434108 KiB
Current children cumulated memory: 1272248 KiB
[startup+3102.3 s]
/proc/loadavg: 3.09 3.90 4.07 3/254 169786
/proc/meminfo: memFree=96127804/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=1437576 memory=1274680 CPUtime=3094.19 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 215198 0 0 0 307193 2226 0 0 20 0 1 0 238472646 1472077824 318670 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 359394 318670 1280 1201 0 357872 0
Current children cumulated CPU time: 3094.19 s
Current children cumulated vsize: 1437576 KiB
Current children cumulated memory: 1274680 KiB
[startup+3162.3 s]
/proc/loadavg: 2.35 3.55 3.94 2/248 169819
/proc/meminfo: memFree=95420364/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=1444508 memory=1281080 CPUtime=3154.04 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 217217 0 0 0 313130 2274 0 0 20 0 1 0 238472646 1479176192 320270 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 361127 320270 1280 1201 0 359605 0
Current children cumulated CPU time: 3154.04 s
Current children cumulated vsize: 1444508 KiB
Current children cumulated memory: 1281080 KiB
[startup+3222.3 s]
/proc/loadavg: 1.59 3.11 3.76 2/247 169820
/proc/meminfo: memFree=94773880/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=1469996 memory=1300536 CPUtime=3213.89 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 222324 0 0 0 319065 2324 0 0 20 0 1 0 238472646 1505275904 325134 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 367499 325134 1280 1201 0 365977 0
Current children cumulated CPU time: 3213.89 s
Current children cumulated vsize: 1469996 KiB
Current children cumulated memory: 1300536 KiB
[startup+3282.3 s]
/proc/loadavg: 1.35 2.76 3.60 2/247 169822
/proc/meminfo: memFree=94143556/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=1480300 memory=1310008 CPUtime=3273.75 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 225081 0 0 0 325005 2370 0 0 20 0 1 0 238472646 1515827200 327502 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 370075 327502 1280 1201 0 368553 0
Current children cumulated CPU time: 3273.75 s
Current children cumulated vsize: 1480300 KiB
Current children cumulated memory: 1310008 KiB
[startup+3342.3 s]
/proc/loadavg: 1.30 2.48 3.45 2/249 169829
/proc/meminfo: memFree=93439684/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=1496940 memory=1323320 CPUtime=3333.6 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 228924 0 0 0 330942 2418 0 0 20 0 1 0 238472646 1532866560 330830 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 374235 330830 1280 1201 0 372713 0
Current children cumulated CPU time: 3333.6 s
Current children cumulated vsize: 1496940 KiB
Current children cumulated memory: 1323320 KiB
[startup+3402.3 s]
/proc/loadavg: 1.11 2.21 3.29 2/249 169835
/proc/meminfo: memFree=92690068/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=1510852 memory=1334712 CPUtime=3393.45 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 232212 0 0 0 336877 2468 0 0 20 0 1 0 238472646 1547112448 333678 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 377713 333678 1280 1201 0 376191 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 1510852 KiB
Current children cumulated memory: 1334712 KiB
[startup+3462.3 s]
/proc/loadavg: 1.08 2.00 3.15 2/249 169837
/proc/meminfo: memFree=92123416/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=1517984 memory=1340984 CPUtime=3453.31 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 234157 0 0 0 342818 2513 0 0 20 0 1 0 238472646 1554415616 335246 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 379496 335246 1280 1201 0 377974 0
Current children cumulated CPU time: 3453.31 s
Current children cumulated vsize: 1517984 KiB
Current children cumulated memory: 1340984 KiB
[startup+3522.3 s]
/proc/loadavg: 1.18 1.86 3.03 2/249 169839
/proc/meminfo: memFree=91533224/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=1520792 memory=1343672 CPUtime=3513.17 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 235097 0 0 0 348760 2557 0 0 20 0 1 0 238472646 1557291008 335918 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 380198 335918 1280 1201 0 378676 0
Current children cumulated CPU time: 3513.17 s
Current children cumulated vsize: 1520792 KiB
Current children cumulated memory: 1343672 KiB
[startup+3582.3 s]
/proc/loadavg: 1.24 1.75 2.91 2/249 169842
/proc/meminfo: memFree=90959944/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=1521856 memory=1344696 CPUtime=3573.01 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 235846 0 0 0 354704 2597 0 0 20 0 1 0 238472646 1558380544 336174 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 380464 336174 1280 1201 0 378942 0
Current children cumulated CPU time: 3573.01 s
Current children cumulated vsize: 1521856 KiB
Current children cumulated memory: 1344696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 1.16 1.69 2.86 2/249 169843
/proc/meminfo: memFree=90668984/131249988 swapFree=33010160/33010684
[pid=168553] ppid=168550 vsize=1524352 memory=1346744 CPUtime=3600.06 cores=5,7
/proc/168553/stat : 168553 (Exact_proof) R 168550 168553 166575 0 -1 4194304 236621 0 0 0 357388 2618 0 0 20 0 1 0 238472646 1560936448 336686 18446744073709551615 4198400 9115581 140720813276640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 34578432 140720813279468 140720813279717 140720813279717 140720813285321 0
/proc/168553/statm: 381088 336686 1280 1201 0 379566 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1524352 KiB
Current children cumulated memory: 1346744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 168553 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.89 s, system=26.1863 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.41
CPU time (s): 3600.07
CPU user time (s): 3573.89
CPU system time (s): 26.1863
CPU usage (%): 99.7413
Max. virtual memory (cumulated for all children) (KiB): 1524352
Max. memory (cumulated for all children) (KiB): 1346744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.89
system time used= 26.1863
maximum resident set size= 1346744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236623
page faults= 0
swaps= 0
block input operations= 0
block output operations= 71594560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 185
involuntary context switches= 5357
# summary of solver processes directly reported to runsolver:
# pid: 168553
# total CPU time (s): 3600.07
# total CPU user time (s): 3573.89
# total CPU system time (s): 26.1863
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45361 second user time and 14.317 second system time
The end
Begin job on nodeC034 at 2025-07-23 01:45:38
IDJOB=4544167
IDBENCH=174960
IDSOLVER=3325
FILE ID=nodeC034/4544167-1753227938
RUNJOBID= nodeC034-1753227208-168129
SLURM_JOB_ID= 9687808
Free space on /tmp= 433016 MiB
SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/random_rational_opb/normalized-ec_random_rational_random8reg_split_750.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-4544167-1753227938/watcher-4544167-1753227938 -o /tmp/evaluation-result-4544167-1753227938/solver-4544167-1753227938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753227208-168129 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=/tmp/proof-4544167-1753227938 --seed=1586978880 HOME/instance-4544167-1753227938.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9d0f67967ac2bc71f5ce17bb15e814c1
RANDOM SEED=1586978880
nodeC034 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.754
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.53
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.970
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.53
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 : 3598.461
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.53
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.188
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.764
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.53
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.349
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.53
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.871
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.53
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.756
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 128792224 kB
MemAvailable: 129512792 kB
Buffers: 2128 kB
Cached: 1459356 kB
SwapCached: 32 kB
Active: 1340592 kB
Inactive: 338716 kB
Active(anon): 241936 kB
Inactive(anon): 2152 kB
Active(file): 1098656 kB
Inactive(file): 336564 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14660 kB
Writeback: 12 kB
AnonPages: 220884 kB
Mapped: 121616 kB
Shmem: 26264 kB
KReclaimable: 248772 kB
Slab: 347152 kB
SReclaimable: 248772 kB
SUnreclaim: 98380 kB
KernelStack: 4304 kB
PageTables: 3344 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 617520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 81920 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 398076 MiB
End job on nodeC034 at 2025-07-23 02:45:48