runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (49218 MiB free)
memory of node 1: 64465 MiB (50870 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541905-1753202597/watcher-4541905-1753202597 -o /tmp/evaluation-result-4541905-1753202597/solver-4541905-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753198970-155344 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=/tmp/proof-4541905-1753202597 --seed=359947374 HOME/instance-4541905-1753202597.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=155757, runsolver pid=155751
Current StackSize limit: 8192 KiB
[startup+0.100074 s]*
/proc/loadavg: 4.18 4.22 4.15 5/252 155768
/proc/meminfo: memFree=102477104/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=29936 memory=6756 CPUtime=0.1 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 926 0 0 0 10 0 0 0 20 0 1 0 235938391 30654464 1689 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 7484 1689 1024 1201 0 5962 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 6756 KiB
[startup+0.21392 s]*
/proc/loadavg: 4.18 4.22 4.15 5/254 155773
/proc/meminfo: memFree=102471532/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=29936 memory=6756 CPUtime=0.21 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 926 0 0 0 21 0 0 0 20 0 1 0 235938391 30654464 1689 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 7484 1689 1024 1201 0 5962 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 6756 KiB
[startup+0.313339 s]*
/proc/loadavg: 4.18 4.22 4.15 5/254 155773
/proc/meminfo: memFree=102471532/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=29936 memory=6756 CPUtime=0.31 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 926 0 0 0 31 0 0 0 20 0 1 0 235938391 30654464 1689 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 7484 1689 1024 1201 0 5962 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 6756 KiB
[startup+0.700237 s]
/proc/loadavg: 4.18 4.22 4.15 5/254 155773
/proc/meminfo: memFree=102471532/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=29936 memory=6756 CPUtime=0.69 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 926 0 0 0 69 0 0 0 20 0 1 0 235938391 30654464 1689 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 7484 1689 1024 1201 0 5962 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 6756 KiB
[startup+1.50022 s]
/proc/loadavg: 4.18 4.22 4.15 5/254 155773
/proc/meminfo: memFree=102471468/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=29936 memory=6756 CPUtime=1.48 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 926 0 0 0 148 0 0 0 20 0 1 0 235938391 30654464 1689 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 7484 1689 1024 1201 0 5962 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 6756 KiB
[startup+3.11206 s]
/proc/loadavg: 4.17 4.21 4.15 5/254 155773
/proc/meminfo: memFree=102471672/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=29936 memory=6756 CPUtime=3.09 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 926 0 0 0 309 0 0 0 20 0 1 0 235938391 30654464 1689 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 7484 1689 1024 1201 0 5962 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 6756 KiB
[startup+6.30021 s]
/proc/loadavg: 4.17 4.21 4.15 5/254 155773
/proc/meminfo: memFree=102471680/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=29936 memory=6756 CPUtime=6.28 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 926 0 0 0 628 0 0 0 20 0 1 0 235938391 30654464 1689 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 7484 1689 1024 1201 0 5962 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 6756 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.21 4.15 5/254 155773
/proc/meminfo: memFree=102472148/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=29936 memory=6756 CPUtime=12.66 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 926 0 0 0 1266 0 0 0 20 0 1 0 235938391 30654464 1689 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 7484 1689 1024 1201 0 5962 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 6756 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.21 4.15 5/254 155773
/proc/meminfo: memFree=102472660/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=29936 memory=6756 CPUtime=25.44 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 926 0 0 0 2544 0 0 0 20 0 1 0 235938391 30654464 1689 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 7484 1689 1024 1201 0 5962 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 6756 KiB
[startup+51.1121 s]
/proc/loadavg: 4.13 4.20 4.15 5/254 155773
/proc/meminfo: memFree=102473416/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=29936 memory=6756 CPUtime=51 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 926 0 0 0 5100 0 0 0 20 0 1 0 235938391 30654464 1689 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 7484 1689 1024 1201 0 5962 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 6756 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.20 4.15 5/254 155776
/proc/meminfo: memFree=102475460/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=29936 memory=6756 CPUtime=102.09 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 926 0 0 0 10209 0 0 0 20 0 1 0 235938391 30654464 1689 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 7484 1689 1024 1201 0 5962 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 6756 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/250 155778
/proc/meminfo: memFree=102476980/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=29936 memory=6756 CPUtime=161.98 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 926 0 0 0 16198 0 0 0 20 0 1 0 235938391 30654464 1689 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 7484 1689 1024 1201 0 5962 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 6756 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.16 4.14 5/250 155780
/proc/meminfo: memFree=102477988/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=29936 memory=6756 CPUtime=221.87 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 926 0 0 0 22187 0 0 0 20 0 1 0 235938391 30654464 1689 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 7484 1689 1024 1201 0 5962 0
Current children cumulated CPU time: 221.87 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 6756 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.14 4.13 5/250 155782
/proc/meminfo: memFree=102478760/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=29936 memory=6756 CPUtime=281.75 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 926 0 0 0 28175 0 0 0 20 0 1 0 235938391 30654464 1689 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 7484 1689 1024 1201 0 5962 0
Current children cumulated CPU time: 281.75 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 6756 KiB
[startup+342.3 s]
/proc/loadavg: 4.61 4.27 4.18 5/249 155784
/proc/meminfo: memFree=102480020/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=29936 memory=6756 CPUtime=341.64 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 926 0 0 0 34164 0 0 0 20 0 1 0 235938391 30654464 1689 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 7484 1689 1024 1201 0 5962 0
Current children cumulated CPU time: 341.64 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 6756 KiB
[startup+402.3 s]
/proc/loadavg: 4.52 4.31 4.20 5/249 155786
/proc/meminfo: memFree=100154072/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=43380 memory=31960 CPUtime=401.48 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 4481 0 0 0 40113 35 0 0 20 0 1 0 235938391 44421120 7990 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 10845 7990 1280 1201 0 9323 0
Current children cumulated CPU time: 401.48 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 31960 KiB
[startup+462.3 s]
/proc/loadavg: 4.43 4.33 4.21 5/249 155788
/proc/meminfo: memFree=97664984/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=47632 memory=39868 CPUtime=461.3 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 5427 0 0 0 46041 89 0 0 20 0 1 0 235938391 48775168 9967 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 11908 9967 1280 1201 0 10386 0
Current children cumulated CPU time: 461.3 s
################
# More data... #
################
Current children cumulated memory: 203892 KiB
[startup+2922.3 s]
/proc/loadavg: 4.24 4.30 4.35 5/253 155924
/proc/meminfo: memFree=27242752/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=239144 memory=212360 CPUtime=2914.37 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 35938 0 0 0 290107 1330 0 0 20 0 1 0 235938391 244883456 53090 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 59786 53090 1280 1201 0 58264 0
Current children cumulated CPU time: 2914.37 s
Current children cumulated vsize: 239144 KiB
Current children cumulated memory: 212360 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.28 4.33 5/253 155926
/proc/meminfo: memFree=25638776/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=240432 memory=217684 CPUtime=2974.2 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 36245 0 0 0 296086 1334 0 0 20 0 1 0 235938391 246202368 54421 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 60108 54421 1280 1201 0 58586 0
Current children cumulated CPU time: 2974.2 s
Current children cumulated vsize: 240432 KiB
Current children cumulated memory: 217684 KiB
[startup+3042.3 s]
/proc/loadavg: 4.31 4.30 4.34 5/253 155934
/proc/meminfo: memFree=24235320/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=241784 memory=223072 CPUtime=3034.03 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 36589 0 0 0 302062 1341 0 0 20 0 1 0 235938391 247586816 55768 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 60446 55768 1280 1201 0 58924 0
Current children cumulated CPU time: 3034.03 s
Current children cumulated vsize: 241784 KiB
Current children cumulated memory: 223072 KiB
[startup+3102.3 s]
/proc/loadavg: 4.42 4.32 4.34 5/251 155936
/proc/meminfo: memFree=22437964/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=243088 memory=228516 CPUtime=3093.86 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 36922 0 0 0 308010 1376 0 0 20 0 1 0 235938391 248922112 57129 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 60772 57129 1280 1201 0 59250 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 243088 KiB
Current children cumulated memory: 228516 KiB
[startup+3162.3 s]
/proc/loadavg: 4.35 4.31 4.34 5/251 155938
/proc/meminfo: memFree=20499128/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=243088 memory=228516 CPUtime=3153.7 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 36922 0 0 0 313973 1397 0 0 20 0 1 0 235938391 248922112 57129 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 60772 57129 1280 1201 0 59250 0
Current children cumulated CPU time: 3153.7 s
Current children cumulated vsize: 243088 KiB
Current children cumulated memory: 228516 KiB
[startup+3222.3 s]
/proc/loadavg: 4.27 4.30 4.33 5/250 155940
/proc/meminfo: memFree=19181992/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=245720 memory=231076 CPUtime=3213.53 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 37611 0 0 0 319942 1411 0 0 20 0 1 0 235938391 251617280 57769 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 61430 57769 1280 1201 0 59908 0
Current children cumulated CPU time: 3213.53 s
Current children cumulated vsize: 245720 KiB
Current children cumulated memory: 231076 KiB
[startup+3282.3 s]
/proc/loadavg: 4.25 4.29 4.33 5/250 155943
/proc/meminfo: memFree=17659524/131382120 swapFree=33010416/33010684
[pid=155757] ppid=155751 vsize=249484 memory=234916 CPUtime=3273.36 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 38615 0 0 0 325913 1423 0 0 20 0 1 0 235938391 255471616 58729 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 62371 58729 1280 1201 0 60849 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 249484 KiB
Current children cumulated memory: 234916 KiB
[startup+3342.3 s]
/proc/loadavg: 4.33 4.31 4.33 5/252 155948
/proc/meminfo: memFree=15371888/131382120 swapFree=33010160/33010684
[pid=155757] ppid=155751 vsize=251872 memory=237348 CPUtime=3333.2 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 39222 0 0 0 331885 1435 0 0 20 0 1 0 235938391 257916928 59337 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 62968 59337 1280 1201 0 61446 0
Current children cumulated CPU time: 3333.2 s
Current children cumulated vsize: 251872 KiB
Current children cumulated memory: 237348 KiB
[startup+3402.3 s]
/proc/loadavg: 4.62 4.39 4.36 5/252 155950
/proc/meminfo: memFree=11454688/131382120 swapFree=33010160/33010684
[pid=155757] ppid=155751 vsize=253264 memory=238884 CPUtime=3393.03 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 39578 0 0 0 337859 1444 0 0 20 0 1 0 235938391 259342336 59721 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 63316 59721 1280 1201 0 61794 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 253264 KiB
Current children cumulated memory: 238884 KiB
[startup+3462.3 s]
/proc/loadavg: 4.66 4.43 4.38 5/252 155952
/proc/meminfo: memFree=5653832/131382120 swapFree=33010160/33010684
[pid=155757] ppid=155751 vsize=260212 memory=245156 CPUtime=3452.88 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 41152 0 0 0 343835 1453 0 0 20 0 1 0 235938391 266457088 61289 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 65053 61289 1280 1201 0 63531 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 260212 KiB
Current children cumulated memory: 245156 KiB
[startup+3522.3 s]
/proc/loadavg: 4.76 4.50 4.41 5/252 155954
/proc/meminfo: memFree=1945848/131382120 swapFree=33010160/33010684
[pid=155757] ppid=155751 vsize=271752 memory=257956 CPUtime=3512.73 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 44385 0 0 0 349807 1466 0 0 20 0 1 0 235938391 278274048 64489 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 67938 64489 1280 1201 0 66416 0
Current children cumulated CPU time: 3512.73 s
Current children cumulated vsize: 271752 KiB
Current children cumulated memory: 257956 KiB
[startup+3582.3 s]
/proc/loadavg: 4.61 4.49 4.41 5/251 155956
/proc/meminfo: memFree=2006496/131382120 swapFree=33010160/33010684
[pid=155757] ppid=155751 vsize=350336 memory=273864 CPUtime=3572.56 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 70464 0 0 0 355778 1478 0 0 20 0 1 0 235938391 358744064 68466 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 87584 68466 1280 1201 0 86062 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 350336 KiB
Current children cumulated memory: 273864 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.60 4.51 4.41 5/251 155964
/proc/meminfo: memFree=1853036/131382120 swapFree=33010160/33010684
[pid=155757] ppid=155751 vsize=355664 memory=282144 CPUtime=3600.09 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 72021 0 0 0 358527 1482 0 0 20 0 1 0 235938391 364199936 70536 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 88916 70536 1280 1201 0 87394 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 355664 KiB
Current children cumulated memory: 282144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.92 s]
# the end of solver process 155757 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.29 s, system=14.8272 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.60 4.51 4.41 5/251 155964
/proc/meminfo: memFree=1853036/131382120 swapFree=33010160/33010684
[pid=155757] ppid=155751 vsize=355664 memory=282144 CPUtime=3600.09 cores=0,2
/proc/155757/stat : 155757 (Exact_proof) R 155751 155757 155326 0 -1 4194304 72021 0 0 0 358527 1482 0 0 20 0 1 0 235938391 364199936 70536 18446744073709551615 4198400 9115581 140724829349264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 45907968 140724829354221 140724829354469 140724829354469 140724829360073 0
/proc/155757/statm: 88916 70536 1280 1201 0 87394 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 355664 KiB
Current children cumulated memory: 282144 KiB
Child status: 0
Real time (s): 3609.92
CPU time (s): 3600.11
CPU user time (s): 3585.29
CPU system time (s): 14.8272
CPU usage (%): 99.7283
Max. virtual memory (cumulated for all children) (KiB): 442808
Max. memory (cumulated for all children) (KiB): 294920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.29
system time used= 14.8272
maximum resident set size= 366216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72022
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26881624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61
involuntary context switches= 8105
# summary of solver processes directly reported to runsolver:
# pid: 155757
# total CPU time (s): 3600.11
# total CPU user time (s): 3585.29
# total CPU system time (s): 14.8272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9969 second user time and 33.7951 second system time
The end
Begin job on nodeC003 at 2025-07-22 18:43:17
IDJOB=4541905
IDBENCH=163589
IDSOLVER=3325
FILE ID=nodeC003/4541905-1753202597
RUNJOBID= nodeC003-1753198970-155344
SLURM_JOB_ID= 9687736
Free space on /tmp= 432256 MiB
SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_comm/arraycomm/normalized-17arraycomm_less.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-4541905-1753202597/watcher-4541905-1753202597 -o /tmp/evaluation-result-4541905-1753202597/solver-4541905-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753198970-155344 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=/tmp/proof-4541905-1753202597 --seed=359947374 HOME/instance-4541905-1753202597.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b58fe33c06849f09284e381ad8dcab3a
RANDOM SEED=359947374
nodeC003 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 : 1197.167
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.44
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 : 1197.024
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.44
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.054
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.44
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 : 2494.086
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.44
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 : 1197.950
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.44
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 : 1197.178
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.44
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 : 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 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.44
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 : 1895.661
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 102484568 kB
MemAvailable: 129869980 kB
Buffers: 2736 kB
Cached: 28156148 kB
SwapCached: 32 kB
Active: 748584 kB
Inactive: 27487384 kB
Active(anon): 95604 kB
Inactive(anon): 7600 kB
Active(file): 652980 kB
Inactive(file): 27479784 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15656 kB
Writeback: 0 kB
AnonPages: 80212 kB
Mapped: 112172 kB
Shmem: 26120 kB
KReclaimable: 184548 kB
Slab: 276516 kB
SReclaimable: 184548 kB
SUnreclaim: 91968 kB
KernelStack: 3952 kB
PageTables: 2988 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 393388 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 315248 MiB
End job on nodeC003 at 2025-07-22 19:43:27