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 (55993 MiB free)
memory of node 1: 64507 MiB (50138 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513426-1751213309/watcher-4513426-1751213309 -o /tmp/evaluation-result-4513426-1751213309/solver-4513426-1751213309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751204566-29620 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4513426-1751213309 --seed=223417139 HOME/instance-4513426-1751213309.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
Starting watchdog thread
solver pid=31203, runsolver pid=31200
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.14 4.14 4.10 5/267 31204
/proc/meminfo: memFree=108674828/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=29208 memory=5888 CPUtime=0.1 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 596 0 0 0 10 0 0 0 20 0 1 0 37008694 29908992 1472 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 7302 1472 1024 1201 0 5780 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5888 KiB
[startup+0.20553 s]*
/proc/loadavg: 4.14 4.14 4.10 5/267 31204
/proc/meminfo: memFree=108674828/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=29208 memory=5888 CPUtime=0.2 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 596 0 0 0 20 0 0 0 20 0 1 0 37008694 29908992 1472 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 7302 1472 1024 1201 0 5780 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5888 KiB
[startup+0.304924 s]*
/proc/loadavg: 4.14 4.14 4.10 5/267 31204
/proc/meminfo: memFree=108674828/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=29208 memory=5888 CPUtime=0.3 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 596 0 0 0 30 0 0 0 20 0 1 0 37008694 29908992 1472 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 7302 1472 1024 1201 0 5780 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5888 KiB
[startup+0.700105 s]
/proc/loadavg: 4.14 4.14 4.10 5/267 31204
/proc/meminfo: memFree=108674828/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=29208 memory=5888 CPUtime=0.69 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 596 0 0 0 69 0 0 0 20 0 1 0 37008694 29908992 1472 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 7302 1472 1024 1201 0 5780 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5888 KiB
[startup+1.50011 s]
/proc/loadavg: 4.14 4.14 4.10 5/267 31204
/proc/meminfo: memFree=108674844/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=29208 memory=5888 CPUtime=1.49 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 596 0 0 0 149 0 0 0 20 0 1 0 37008694 29908992 1472 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 7302 1472 1024 1201 0 5780 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5888 KiB
[startup+3.10542 s]
/proc/loadavg: 4.13 4.14 4.10 5/267 31204
/proc/meminfo: memFree=108642636/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=29208 memory=5888 CPUtime=3.09 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 596 0 0 0 309 0 0 0 20 0 1 0 37008694 29908992 1472 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 7302 1472 1024 1201 0 5780 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5888 KiB
[startup+6.30012 s]
/proc/loadavg: 4.13 4.14 4.10 5/267 31204
/proc/meminfo: memFree=108586424/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=29208 memory=5888 CPUtime=6.28 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 596 0 0 0 628 0 0 0 20 0 1 0 37008694 29908992 1472 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 7302 1472 1024 1201 0 5780 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5888 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 4.13 4.10 5/267 31204
/proc/meminfo: memFree=108457528/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=29208 memory=5888 CPUtime=12.67 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 596 0 0 0 1267 0 0 0 20 0 1 0 37008694 29908992 1472 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 7302 1472 1024 1201 0 5780 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5888 KiB
[startup+25.5001 s]
/proc/loadavg: 4.16 4.14 4.10 5/267 31204
/proc/meminfo: memFree=108227928/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=29208 memory=5888 CPUtime=25.44 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 596 0 0 0 2544 0 0 0 20 0 1 0 37008694 29908992 1472 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 7302 1472 1024 1201 0 5780 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5888 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.13 4.10 5/269 31207
/proc/meminfo: memFree=107776544/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=29208 memory=5888 CPUtime=50.98 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 596 0 0 0 5098 0 0 0 20 0 1 0 37008694 29908992 1472 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 7302 1472 1024 1201 0 5780 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5888 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/269 31209
/proc/meminfo: memFree=106963584/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=29208 memory=5888 CPUtime=102.06 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 596 0 0 0 10206 0 0 0 20 0 1 0 37008694 29908992 1472 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 7302 1472 1024 1201 0 5780 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5888 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/270 31215
/proc/meminfo: memFree=105956844/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=29208 memory=5888 CPUtime=161.91 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 596 0 0 0 16191 0 0 0 20 0 1 0 37008694 29908992 1472 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 7302 1472 1024 1201 0 5780 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5888 KiB
[startup+222.3 s]
/proc/loadavg: 4.33 4.20 4.12 5/270 31221
/proc/meminfo: memFree=104971676/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=29208 memory=5888 CPUtime=221.77 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 596 0 0 0 22177 0 0 0 20 0 1 0 37008694 29908992 1472 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 7302 1472 1024 1201 0 5780 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5888 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/270 31223
/proc/meminfo: memFree=104087012/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=29208 memory=5888 CPUtime=281.63 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 596 0 0 0 28163 0 0 0 20 0 1 0 37008694 29908992 1472 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 7302 1472 1024 1201 0 5780 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5888 KiB
[startup+342.3 s]
/proc/loadavg: 4.42 4.24 4.14 5/269 31225
/proc/meminfo: memFree=103057852/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=29208 memory=5888 CPUtime=341.48 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 596 0 0 0 34148 0 0 0 20 0 1 0 37008694 29908992 1472 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 7302 1472 1024 1201 0 5780 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5888 KiB
[startup+402.3 s]
/proc/loadavg: 4.41 4.25 4.15 5/268 31227
/proc/meminfo: memFree=101359504/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=186380 memory=161168 CPUtime=401.29 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 21930 0 0 0 40088 41 0 0 20 0 1 0 37008694 190853120 40292 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 46595 40292 1280 1201 0 45073 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 186380 KiB
Current children cumulated memory: 161168 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.22 4.14 5/268 31229
/proc/meminfo: memFree=99729432/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=254200 memory=225664 CPUtime=461.1 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 34212 0 0 0 46017 93 0 0 20 0 1 0 37008694 260300800 56416 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 63550 56416 1280 1201 0 62028 0
Current children cumulated CPU time: 461.1 s
################
# More data... #
################
/proc/loadavg: 3.11 3.60 3.91 4/262 31348
/proc/meminfo: memFree=93455372/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=368260 memory=307252 CPUtime=1358.15 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 42642 0 0 0 134851 964 0 0 20 0 1 0 37008694 377098240 76813 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 92065 76813 1280 1201 0 90543 0
Current children cumulated CPU time: 1358.15 s
Current children cumulated vsize: 368260 KiB
Current children cumulated memory: 307252 KiB
[startup+1422.3 s]
/proc/loadavg: 3.08 3.50 3.85 4/263 31353
/proc/meminfo: memFree=91815108/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=368260 memory=307252 CPUtime=1417.96 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 42647 0 0 0 140768 1028 0 0 20 0 1 0 37008694 377098240 76813 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 92065 76813 1280 1201 0 90543 0
Current children cumulated CPU time: 1417.96 s
Current children cumulated vsize: 368260 KiB
Current children cumulated memory: 307252 KiB
[startup+1482.3 s]
/proc/loadavg: 3.21 3.46 3.81 4/261 31359
/proc/meminfo: memFree=90173272/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=368260 memory=307252 CPUtime=1477.76 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 42774 0 0 0 146686 1090 0 0 20 0 1 0 37008694 377098240 76813 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 92065 76813 1280 1201 0 90543 0
Current children cumulated CPU time: 1477.76 s
Current children cumulated vsize: 368260 KiB
Current children cumulated memory: 307252 KiB
[startup+1542.3 s]
/proc/loadavg: 3.13 3.39 3.77 4/262 31362
/proc/meminfo: memFree=88771600/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=368260 memory=307252 CPUtime=1537.56 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 42777 0 0 0 152612 1144 0 0 20 0 1 0 37008694 377098240 76813 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 92065 76813 1280 1201 0 90543 0
Current children cumulated CPU time: 1537.56 s
Current children cumulated vsize: 368260 KiB
Current children cumulated memory: 307252 KiB
[startup+1602.3 s]
/proc/loadavg: 3.17 3.35 3.73 4/262 31365
/proc/meminfo: memFree=87094324/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=368260 memory=307252 CPUtime=1597.36 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 42903 0 0 0 158525 1211 0 0 20 0 1 0 37008694 377098240 76813 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 92065 76813 1280 1201 0 90543 0
Current children cumulated CPU time: 1597.36 s
Current children cumulated vsize: 368260 KiB
Current children cumulated memory: 307252 KiB
[startup+1662.3 s]
/proc/loadavg: 3.12 3.30 3.69 4/262 31367
/proc/meminfo: memFree=85741840/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=368260 memory=307252 CPUtime=1657.17 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 42908 0 0 0 164454 1263 0 0 20 0 1 0 37008694 377098240 76813 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 92065 76813 1280 1201 0 90543 0
Current children cumulated CPU time: 1657.17 s
Current children cumulated vsize: 368260 KiB
Current children cumulated memory: 307252 KiB
[startup+1722.3 s]
/proc/loadavg: 3.22 3.30 3.66 4/261 31369
/proc/meminfo: memFree=84784864/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=368260 memory=315572 CPUtime=1716.99 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 43001 0 0 0 170394 1305 0 0 20 0 1 0 37008694 377098240 78893 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 92065 78893 1280 1201 0 90543 0
Current children cumulated CPU time: 1716.99 s
Current children cumulated vsize: 368260 KiB
Current children cumulated memory: 315572 KiB
[startup+1782.3 s]
/proc/loadavg: 3.20 3.28 3.63 4/261 31371
/proc/meminfo: memFree=83736776/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=368260 memory=315572 CPUtime=1776.8 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 43001 0 0 0 176330 1350 0 0 20 0 1 0 37008694 377098240 78893 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 92065 78893 1280 1201 0 90543 0
Current children cumulated CPU time: 1776.8 s
Current children cumulated vsize: 368260 KiB
Current children cumulated memory: 315572 KiB
[startup+1798.72 s]
# the end of solver process 31203 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=1773.86 s, system=14.5675 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 3.17 3.27 3.62 4/261 31372
/proc/meminfo: memFree=83586704/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=368260 memory=315572 CPUtime=1786.47 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) R 31200 31203 29607 0 -1 4194304 43096 0 0 0 177289 1358 0 0 20 0 1 0 37008694 377098240 78893 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 92065 78893 1280 1201 0 90543 0
Current children cumulated CPU time: 1786.47 s
Current children cumulated vsize: 368260 KiB
Current children cumulated memory: 315572 KiB
[startup+1795.2 s]
/proc/loadavg: 3.15 3.26 3.62 5/261 31372
/proc/meminfo: memFree=83763740/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=93472 memory=88276 CPUtime=1788.11 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) D 31200 31203 29607 0 -1 4194304 43097 0 0 0 177384 1427 0 0 20 0 1 0 37008694 95715328 22069 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 23368 22069 1280 1201 0 21846 0
Current children cumulated CPU time: 1788.11 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 88276 KiB
[startup+1796.8 s]
/proc/loadavg: 3.15 3.26 3.62 3/261 31372
/proc/meminfo: memFree=83761912/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=93472 memory=88276 CPUtime=1788.21 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) D 31200 31203 29607 0 -1 4194304 43097 0 0 0 177384 1437 0 0 20 0 1 0 37008694 95715328 22069 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 23368 22069 1280 1201 0 21846 0
Current children cumulated CPU time: 1788.21 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 88276 KiB
[startup+1797.6 s]
/proc/loadavg: 3.15 3.26 3.62 4/261 31372
/proc/meminfo: memFree=83773036/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=93472 memory=88276 CPUtime=1788.27 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) D 31200 31203 29607 0 -1 4194304 43097 0 0 0 177386 1441 0 0 20 0 1 0 37008694 95715328 22069 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 23368 22069 1280 1201 0 21846 0
Current children cumulated CPU time: 1788.27 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 88276 KiB
[startup+1798.4 s]
/proc/loadavg: 3.14 3.26 3.61 3/261 31372
/proc/meminfo: memFree=83773280/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=93472 memory=88276 CPUtime=1788.42 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) D 31200 31203 29607 0 -1 4194304 43097 0 0 0 177386 1456 0 0 20 0 1 0 37008694 95715328 22069 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 23368 22069 1280 1201 0 21846 0
Current children cumulated CPU time: 1788.42 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 88276 KiB
[startup+1798.6 s]
/proc/loadavg: 3.14 3.26 3.61 3/261 31372
/proc/meminfo: memFree=83773280/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=93472 memory=88276 CPUtime=1788.42 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) D 31200 31203 29607 0 -1 4194304 43097 0 0 0 177386 1456 0 0 20 0 1 0 37008694 95715328 22069 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 23368 22069 1280 1201 0 21846 0
Current children cumulated CPU time: 1788.42 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 88276 KiB
[startup+1798.7 s]
/proc/loadavg: 3.14 3.26 3.61 3/261 31372
/proc/meminfo: memFree=83773280/131249996 swapFree=33010684/33010684
[pid=31203] ppid=31200 vsize=93472 memory=88276 CPUtime=1788.42 cores=5,7
/proc/31203/stat : 31203 (Exact_proof) D 31200 31203 29607 0 -1 4194304 43097 0 0 0 177386 1456 0 0 20 0 1 0 37008694 95715328 22069 18446744073709551615 4198400 9115581 140730921275840 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 10325008 10415428 39211008 140730921281737 140730921282023 140730921282023 140730921287625 0
/proc/31203/statm: 23368 22069 1280 1201 0 21846 0
Current children cumulated CPU time: 1788.42 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 88276 KiB
Child status: 20
Real time (s): 1798.72
CPU time (s): 1788.43
CPU user time (s): 1773.86
CPU system time (s): 14.5675
CPU usage (%): 99.4276
Max. virtual memory (cumulated for all children) (KiB): 418956
Max. memory (cumulated for all children) (KiB): 315572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.86
system time used= 14.5675
maximum resident set size= 342556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43098
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37030544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100167
involuntary context switches= 10528
# summary of solver processes directly reported to runsolver:
# pid: 31203
# total CPU time (s): 1788.43
# total CPU user time (s): 1773.86
# total CPU system time (s): 14.5675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.34764 second user time and 7.64037 second system time
The end
Begin job on nodeC017 at 2025-06-29 18:08:29
IDJOB=4513426
IDBENCH=162346
IDSOLVER=3325
FILE ID=nodeC017/4513426-1751213309
RUNJOBID= nodeC017-1751204566-29620
SLURM_JOB_ID= 9587616
Free space on /tmp= 432996 MiB
SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x110split.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-4513426-1751213309/watcher-4513426-1751213309 -o /tmp/evaluation-result-4513426-1751213309/solver-4513426-1751213309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751204566-29620 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4513426-1751213309 --seed=223417139 HOME/instance-4513426-1751213309.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1b3727bc41a297c1e3576d09f30c6702
RANDOM SEED=223417139
nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.069
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.053
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.766
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.778
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.050
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.055
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3591.985
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 108678700 kB
MemAvailable: 129381424 kB
Buffers: 2380 kB
Cached: 21480948 kB
SwapCached: 0 kB
Active: 769384 kB
Inactive: 21179500 kB
Active(anon): 483748 kB
Inactive(anon): 16 kB
Active(file): 285636 kB
Inactive(file): 21179484 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 217024 kB
Writeback: 0 kB
AnonPages: 466056 kB
Mapped: 118360 kB
Shmem: 18080 kB
KReclaimable: 153284 kB
Slab: 247796 kB
SReclaimable: 153284 kB
SUnreclaim: 94512 kB
KernelStack: 4320 kB
PageTables: 3848 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 850132 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 376832 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432996 MiB
End job on nodeC017 at 2025-06-29 18:38:28