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: 63794 MiB (60466 MiB free)
memory of node 1: 64507 MiB (61369 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517836-1751532832/watcher-4517836-1751532832 -o /tmp/evaluation-result-4517836-1751532832/solver-4517836-1751532832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751524921-74591 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4517836-1751532832 --seed=318705703 HOME/instance-4517836-1751532832.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=75938, runsolver pid=75935
[startup+0.100071 s]*
/proc/loadavg: 4.22 4.17 4.17 6/261 75939
/proc/meminfo: memFree=124747588/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=33008 memory=11960 CPUtime=0.1 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 2692 0 0 0 10 0 0 0 20 0 1 0 68962560 33800192 2990 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 8252 2990 1024 1201 0 6730 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 11960 KiB
[startup+0.213496 s]*
/proc/loadavg: 4.22 4.17 4.17 5/261 75939
/proc/meminfo: memFree=124731460/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=33008 memory=11960 CPUtime=0.21 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 2692 0 0 0 21 0 0 0 20 0 1 0 68962560 33800192 2990 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 8252 2990 1024 1201 0 6730 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 11960 KiB
[startup+0.313253 s]*
/proc/loadavg: 4.22 4.17 4.17 5/261 75939
/proc/meminfo: memFree=124731460/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=33008 memory=11960 CPUtime=0.31 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 2692 0 0 0 31 0 0 0 20 0 1 0 68962560 33800192 2990 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 8252 2990 1024 1201 0 6730 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 11960 KiB
[startup+0.700245 s]
/proc/loadavg: 4.22 4.17 4.17 5/261 75939
/proc/meminfo: memFree=124723396/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=33008 memory=11960 CPUtime=0.68 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 2692 0 0 0 68 0 0 0 20 0 1 0 68962560 33800192 2990 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 8252 2990 1024 1201 0 6730 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 11960 KiB
[startup+1.50025 s]
/proc/loadavg: 4.22 4.17 4.17 5/261 75939
/proc/meminfo: memFree=124715332/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=33008 memory=11960 CPUtime=1.48 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 2692 0 0 0 148 0 0 0 20 0 1 0 68962560 33800192 2990 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 8252 2990 1024 1201 0 6730 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 11960 KiB
[startup+3.11263 s]
/proc/loadavg: 4.20 4.17 4.17 5/261 75939
/proc/meminfo: memFree=124683128/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=33008 memory=11960 CPUtime=3.09 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 2692 0 0 0 309 0 0 0 20 0 1 0 68962560 33800192 2990 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 8252 2990 1024 1201 0 6730 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 11960 KiB
[startup+6.30023 s]
/proc/loadavg: 4.20 4.17 4.17 4/261 75939
/proc/meminfo: memFree=124685016/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=33008 memory=11960 CPUtime=6.27 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 2692 0 0 0 627 0 0 0 20 0 1 0 68962560 33800192 2990 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 8252 2990 1024 1201 0 6730 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 11960 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.17 4.17 5/261 75940
/proc/meminfo: memFree=124604560/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=33008 memory=11960 CPUtime=12.67 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 2692 0 0 0 1266 1 0 0 20 0 1 0 68962560 33800192 2990 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 8252 2990 1024 1201 0 6730 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 11960 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.16 4.17 5/261 75940
/proc/meminfo: memFree=124492036/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=33008 memory=11960 CPUtime=25.44 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 2692 0 0 0 2543 1 0 0 20 0 1 0 68962560 33800192 2990 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 8252 2990 1024 1201 0 6730 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 11960 KiB
[startup+51.1126 s]
/proc/loadavg: 4.15 4.16 4.17 5/261 75940
/proc/meminfo: memFree=124117504/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=33008 memory=11960 CPUtime=50.98 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 2692 0 0 0 5097 1 0 0 20 0 1 0 68962560 33800192 2990 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 8252 2990 1024 1201 0 6730 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 11960 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/261 75942
/proc/meminfo: memFree=123443760/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=33008 memory=11960 CPUtime=102.05 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 2692 0 0 0 10203 2 0 0 20 0 1 0 68962560 33800192 2990 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 8252 2990 1024 1201 0 6730 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 11960 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/260 75948
/proc/meminfo: memFree=122697772/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=33008 memory=11960 CPUtime=161.9 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 2692 0 0 0 16188 2 0 0 20 0 1 0 68962560 33800192 2990 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 8252 2990 1024 1201 0 6730 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 11960 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/259 75950
/proc/meminfo: memFree=122023452/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=33008 memory=11960 CPUtime=221.77 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 2697 0 0 0 22175 2 0 0 20 0 1 0 68962560 33800192 2990 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 8252 2990 1024 1201 0 6730 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 11960 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/257 75953
/proc/meminfo: memFree=121226452/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=33008 memory=11960 CPUtime=281.63 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 2699 0 0 0 28160 3 0 0 20 0 1 0 68962560 33800192 2990 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 8252 2990 1024 1201 0 6730 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 11960 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/257 75955
/proc/meminfo: memFree=120543276/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=33008 memory=11960 CPUtime=341.49 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 2700 0 0 0 34146 3 0 0 20 0 1 0 68962560 33800192 2990 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 8252 2990 1024 1201 0 6730 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 33008 KiB
Current children cumulated memory: 11960 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/258 75960
/proc/meminfo: memFree=119563184/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=54188 memory=35964 CPUtime=401.11 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 7463 0 0 0 40077 34 0 0 20 0 1 0 68962560 55488512 8991 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 13547 8991 1280 1201 0 12025 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 54188 KiB
Current children cumulated memory: 35964 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/257 75973
/proc/meminfo: memFree=118470840/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=59644 memory=43576 CPUtime=460.53 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 8872 0 0 0 45981 72 0 0 20 0 1 0 68962560 61075456 10894 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 14911 10894 1280 1201 0 13389 0
Current children cumulated CPU time: 460.53 s
################
# More data... #
################
/proc/loadavg: 4.18 4.15 4.15 5/256 75984
/proc/meminfo: memFree=113906888/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=70824 memory=54584 CPUtime=695.11 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 11678 0 0 0 69297 214 0 0 20 0 1 0 68962560 72523776 13646 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 17706 13646 1280 1201 0 16184 0
Current children cumulated CPU time: 695.11 s
Current children cumulated vsize: 70824 KiB
Current children cumulated memory: 54584 KiB
[startup+762.3 s]
/proc/loadavg: 4.11 4.13 4.14 4/258 75992
/proc/meminfo: memFree=112670160/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=71588 memory=55480 CPUtime=753.85 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) D 75935 75938 74579 0 -1 4194304 11904 0 0 0 75133 252 0 0 20 0 1 0 68962560 73306112 13870 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 17897 13870 1280 1201 0 16375 0
Current children cumulated CPU time: 753.85 s
Current children cumulated vsize: 71588 KiB
Current children cumulated memory: 55480 KiB
[startup+822.3 s]
/proc/loadavg: 4.27 4.17 4.15 5/258 75994
/proc/meminfo: memFree=111555700/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=73688 memory=59420 CPUtime=811.35 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 12398 0 0 0 80844 291 0 0 20 0 1 0 68962560 75456512 14855 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 18422 14855 1280 1201 0 16900 0
Current children cumulated CPU time: 811.35 s
Current children cumulated vsize: 73688 KiB
Current children cumulated memory: 59420 KiB
[startup+882.3 s]
/proc/loadavg: 4.15 4.15 4.15 5/257 75996
/proc/meminfo: memFree=110437096/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=74940 memory=60700 CPUtime=870.97 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 12716 0 0 0 86766 331 0 0 20 0 1 0 68962560 76738560 15175 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 18735 15175 1280 1201 0 17213 0
Current children cumulated CPU time: 870.97 s
Current children cumulated vsize: 74940 KiB
Current children cumulated memory: 60700 KiB
[startup+942.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/257 75998
/proc/meminfo: memFree=109373916/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=76092 memory=61852 CPUtime=930.55 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 13003 0 0 0 92683 372 0 0 20 0 1 0 68962560 77918208 15463 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 19023 15463 1280 1201 0 17501 0
Current children cumulated CPU time: 930.55 s
Current children cumulated vsize: 76092 KiB
Current children cumulated memory: 61852 KiB
[startup+1002.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/258 76004
/proc/meminfo: memFree=108420380/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=76712 memory=62620 CPUtime=985.92 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 13183 0 0 0 98185 407 0 0 20 0 1 0 68962560 78553088 15655 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 19178 15655 1280 1201 0 17656 0
Current children cumulated CPU time: 985.92 s
Current children cumulated vsize: 76712 KiB
Current children cumulated memory: 62620 KiB
[startup+1062.3 s]
/proc/loadavg: 4.21 4.16 4.14 5/258 76008
/proc/meminfo: memFree=107350036/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=77892 memory=63644 CPUtime=1045.49 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 13456 0 0 0 104097 452 0 0 20 0 1 0 68962560 79761408 15911 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 19473 15911 1280 1201 0 17951 0
Current children cumulated CPU time: 1045.49 s
Current children cumulated vsize: 77892 KiB
Current children cumulated memory: 63644 KiB
[startup+1122.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/258 76010
/proc/meminfo: memFree=106307188/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=78936 memory=64668 CPUtime=1105.06 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 13739 0 0 0 110012 494 0 0 20 0 1 0 68962560 80830464 16167 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 19734 16167 1280 1201 0 18212 0
Current children cumulated CPU time: 1105.06 s
Current children cumulated vsize: 78936 KiB
Current children cumulated memory: 64668 KiB
[startup+1182.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/258 76012
/proc/meminfo: memFree=105118404/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=80720 memory=66460 CPUtime=1164.58 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 14188 0 0 0 115918 540 0 0 20 0 1 0 68962560 82657280 16615 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 20180 16615 1280 1201 0 18658 0
Current children cumulated CPU time: 1164.58 s
Current children cumulated vsize: 80720 KiB
Current children cumulated memory: 66460 KiB
[startup+1201.48 s]
# the end of solver process 75938 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1177.95 s, system=5.554 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.13 4.14 4.14 5/258 76012
/proc/meminfo: memFree=104940764/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=80852 memory=66588 CPUtime=1172.66 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 14221 0 0 0 116720 546 0 0 20 0 1 0 68962560 82792448 16647 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 20213 16647 1280 1201 0 18691 0
Current children cumulated CPU time: 1172.66 s
Current children cumulated vsize: 80852 KiB
Current children cumulated memory: 66588 KiB
[startup+1196.8 s]
/proc/loadavg: 4.20 4.16 4.14 5/259 76013
/proc/meminfo: memFree=104835848/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=80852 memory=66588 CPUtime=1178.89 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 14221 0 0 0 117338 551 0 0 20 0 1 0 68962560 82792448 16647 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 20213 16647 1280 1201 0 18691 0
Current children cumulated CPU time: 1178.89 s
Current children cumulated vsize: 80852 KiB
Current children cumulated memory: 66588 KiB
[startup+1200 s]*
/proc/loadavg: 4.18 4.15 4.14 5/259 76013
/proc/meminfo: memFree=104771784/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=80852 memory=66588 CPUtime=1182.1 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 14221 0 0 0 117657 553 0 0 20 0 1 0 68962560 82792448 16647 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 20213 16647 1280 1201 0 18691 0
Current children cumulated CPU time: 1182.1 s
Current children cumulated vsize: 80852 KiB
Current children cumulated memory: 66588 KiB
[startup+1200.8 s]
/proc/loadavg: 4.18 4.15 4.14 5/259 76013
/proc/meminfo: memFree=104771784/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=80852 memory=66588 CPUtime=1182.88 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 14221 0 0 0 117735 553 0 0 20 0 1 0 68962560 82792448 16647 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 20213 16647 1280 1201 0 18691 0
Current children cumulated CPU time: 1182.88 s
Current children cumulated vsize: 80852 KiB
Current children cumulated memory: 66588 KiB
[startup+1201.2 s]
/proc/loadavg: 4.18 4.15 4.14 5/259 76013
/proc/meminfo: memFree=104747592/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=80852 memory=66588 CPUtime=1183.28 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 14221 0 0 0 117774 554 0 0 20 0 1 0 68962560 82792448 16647 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 20213 16647 1280 1201 0 18691 0
Current children cumulated CPU time: 1183.28 s
Current children cumulated vsize: 80852 KiB
Current children cumulated memory: 66588 KiB
[startup+1201.4 s]
/proc/loadavg: 4.18 4.15 4.14 5/259 76013
/proc/meminfo: memFree=104747592/131382120 swapFree=33010416/33010684
[pid=75938] ppid=75935 vsize=80852 memory=66588 CPUtime=1183.48 cores=1,3
/proc/75938/stat : 75938 (Exact_proof) R 75935 75938 74579 0 -1 4194304 14221 0 0 0 117794 554 0 0 20 0 1 0 68962560 82792448 16647 18446744073709551615 4198400 9115581 140725718300960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 14577664 140725718309065 140725718309351 140725718309351 140725718314953 0
/proc/75938/statm: 20213 16647 1280 1201 0 18691 0
Current children cumulated CPU time: 1183.48 s
Current children cumulated vsize: 80852 KiB
Current children cumulated memory: 66588 KiB
Child status: 30
Real time (s): 1201.48
CPU time (s): 1183.5
CPU user time (s): 1177.95
CPU system time (s): 5.554
CPU usage (%): 98.5039
Max. virtual memory (cumulated for all children) (KiB): 80852
Max. memory (cumulated for all children) (KiB): 66588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1177.95
system time used= 5.554
maximum resident set size= 66588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14224
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9782992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1442
involuntary context switches= 1487
# summary of solver processes directly reported to runsolver:
# pid: 75938
# total CPU time (s): 1183.5
# total CPU user time (s): 1177.95
# total CPU system time (s): 5.554
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79854 second user time and 11.2834 second system time
The end
Begin job on nodeC006 at 2025-07-03 10:53:52
IDJOB=4517836
IDBENCH=176189
IDSOLVER=3325
FILE ID=nodeC006/4517836-1751532832
RUNJOBID= nodeC006-1751524921-74591
SLURM_JOB_ID= 9598654
Free space on /tmp= 432140 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=14-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-4517836-1751532832/watcher-4517836-1751532832 -o /tmp/evaluation-result-4517836-1751532832/solver-4517836-1751532832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751524921-74591 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4517836-1751532832 --seed=318705703 HOME/instance-4517836-1751532832.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0eb4af5d9d6a7991e65a6bdba739f56a
RANDOM SEED=318705703
nodeC006 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 : 3660.194
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.32
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 : 1895.472
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.32
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.208
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.32
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.474
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.32
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 : 3660.235
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.32
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 : 3661.550
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.32
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.393
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.32
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.690
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 124759244 kB
MemAvailable: 129807404 kB
Buffers: 2128 kB
Cached: 5817496 kB
SwapCached: 12 kB
Active: 665060 kB
Inactive: 5352576 kB
Active(anon): 205008 kB
Inactive(anon): 11076 kB
Active(file): 460052 kB
Inactive(file): 5341500 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 228704 kB
Writeback: 4 kB
AnonPages: 201204 kB
Mapped: 119424 kB
Shmem: 17948 kB
KReclaimable: 172084 kB
Slab: 264896 kB
SReclaimable: 172084 kB
SUnreclaim: 92812 kB
KernelStack: 4192 kB
PageTables: 3492 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 571956 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149608 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 122880 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432132 MiB
End job on nodeC006 at 2025-07-03 11:13:54