runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61992 MiB free)
memory of node 1: 64465 MiB (62029 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546306-1753259923/watcher-4546306-1753259923 -o /tmp/evaluation-result-4546306-1753259923/solver-4546306-1753259923 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1753259701-164125 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546306-1753259923.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=164590, runsolver pid=164587
[startup+0.100063 s]*
/proc/loadavg: 4.03 2.20 0.95 5/264 164591
/proc/meminfo: memFree=126978736/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=102428 memory=31452 CPUtime=0.09 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 6211 0 0 0 8 1 0 0 20 0 1 0 241670134 104886272 7863 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 25607 7863 2400 595 0 10274 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 102428 KiB
Current children cumulated memory: 31452 KiB
[startup+0.20569 s]*
/proc/loadavg: 4.03 2.20 0.95 5/264 164591
/proc/meminfo: memFree=126978736/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=109452 memory=37468 CPUtime=0.19 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 7704 0 0 0 18 1 0 0 20 0 1 0 241670134 112078848 9367 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 27363 9367 2400 595 0 12030 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109452 KiB
Current children cumulated memory: 37468 KiB
[startup+0.305648 s]*
/proc/loadavg: 4.03 2.20 0.95 5/264 164591
/proc/meminfo: memFree=126978736/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=109452 memory=37468 CPUtime=0.29 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 7704 0 0 0 28 1 0 0 20 0 1 0 241670134 112078848 9367 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 27363 9367 2400 595 0 12030 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 109452 KiB
Current children cumulated memory: 37468 KiB
[startup+0.700183 s]
/proc/loadavg: 4.03 2.20 0.95 5/264 164591
/proc/meminfo: memFree=126978736/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=109452 memory=37468 CPUtime=0.68 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 7704 0 0 0 67 1 0 0 20 0 1 0 241670134 112078848 9367 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 27363 9367 2400 595 0 12030 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109452 KiB
Current children cumulated memory: 37468 KiB
[startup+1.50017 s]
/proc/loadavg: 4.03 2.20 0.95 5/264 164591
/proc/meminfo: memFree=126978736/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=109452 memory=37468 CPUtime=1.48 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 7704 0 0 0 147 1 0 0 20 0 1 0 241670134 112078848 9367 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 27363 9367 2400 595 0 12030 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109452 KiB
Current children cumulated memory: 37468 KiB
[startup+3.10551 s]
/proc/loadavg: 4.03 2.23 0.97 5/264 164592
/proc/meminfo: memFree=126955484/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=109452 memory=37468 CPUtime=3.08 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 7704 0 0 0 307 1 0 0 20 0 1 0 241670134 112078848 9367 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 27363 9367 2400 595 0 12030 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 109452 KiB
Current children cumulated memory: 37468 KiB
[startup+6.30017 s]
/proc/loadavg: 4.03 2.23 0.97 5/264 164592
/proc/meminfo: memFree=126953720/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=109452 memory=37468 CPUtime=6.27 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 7704 0 0 0 626 1 0 0 20 0 1 0 241670134 112078848 9367 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 27363 9367 2400 595 0 12030 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 109452 KiB
Current children cumulated memory: 37468 KiB
[startup+12.7002 s]
/proc/loadavg: 4.03 2.29 1.00 5/264 164592
/proc/meminfo: memFree=126952312/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=109980 memory=38108 CPUtime=12.65 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 7856 0 0 0 1264 1 0 0 20 0 1 0 241670134 112619520 9527 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 27495 9527 2432 595 0 12162 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 109980 KiB
Current children cumulated memory: 38108 KiB
[startup+25.5002 s]
/proc/loadavg: 4.02 2.34 1.03 5/264 164592
/proc/meminfo: memFree=126939296/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=113572 memory=50068 CPUtime=25.41 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 8812 0 0 0 2538 3 0 0 20 0 1 0 241670134 116297728 12517 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 28393 12517 2432 595 0 13060 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 113572 KiB
Current children cumulated memory: 50068 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 2.49 1.12 5/264 164592
/proc/meminfo: memFree=126930300/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=114324 memory=50836 CPUtime=50.95 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 9005 0 0 0 5089 6 0 0 20 0 1 0 241670134 117067776 12709 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 28581 12709 2432 595 0 13248 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 114324 KiB
Current children cumulated memory: 50836 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 2.74 1.28 5/265 164595
/proc/meminfo: memFree=126908044/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=116560 memory=53140 CPUtime=102.01 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 9581 0 0 0 10189 12 0 0 20 0 1 0 241670134 119357440 13285 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 29140 13285 2432 595 0 13807 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 116560 KiB
Current children cumulated memory: 53140 KiB
[startup+162.3 s]
/proc/loadavg: 4.42 3.08 1.49 5/263 164597
/proc/meminfo: memFree=126869380/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=117324 memory=53908 CPUtime=161.85 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 9796 0 0 0 16167 18 0 0 20 0 1 0 241670134 120139776 13477 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 29331 13477 2432 595 0 13998 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 117324 KiB
Current children cumulated memory: 53908 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 3.27 1.65 5/264 164644
/proc/meminfo: memFree=117576860/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=117912 memory=54548 CPUtime=221.69 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 9952 0 0 0 22145 24 0 0 20 0 1 0 241670134 120741888 13637 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 29478 13637 2432 595 0 14145 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 117912 KiB
Current children cumulated memory: 54548 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.42 1.81 5/265 164647
/proc/meminfo: memFree=108436340/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=118744 memory=55316 CPUtime=281.52 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 10144 0 0 0 28119 33 0 0 20 0 1 0 241670134 121593856 13829 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 29686 13829 2432 595 0 14353 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 118744 KiB
Current children cumulated memory: 55316 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.56 1.96 5/265 164694
/proc/meminfo: memFree=126372792/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=119224 memory=55828 CPUtime=341.35 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 10282 0 0 0 34095 40 0 0 20 0 1 0 241670134 122085376 13957 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 29806 13957 2432 595 0 14473 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 119224 KiB
Current children cumulated memory: 55828 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.66 2.09 5/264 164696
/proc/meminfo: memFree=126799688/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=119680 memory=56212 CPUtime=401.19 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 10366 0 0 0 40072 47 0 0 20 0 1 0 241670134 122552320 14053 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 29920 14053 2432 595 0 14587 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 56212 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.74 2.22 5/265 164705
/proc/meminfo: memFree=126791892/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=120184 memory=56724 CPUtime=461.02 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 10495 0 0 0 46049 53 0 0 20 0 1 0 241670134 123068416 14181 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 30046 14181 2432 595 0 14713 0
Current children cumulated CPU time: 461.02 s
################
# More data... #
################
Current children cumulated memory: 72440 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.15 4.02 5/265 164852
/proc/meminfo: memFree=126648164/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=128380 memory=72440 CPUtime=2914.62 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 12644 0 0 0 291103 359 0 0 20 0 1 0 241670134 131461120 18110 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 32095 18110 2432 595 0 16762 0
Current children cumulated CPU time: 2914.62 s
Current children cumulated vsize: 128380 KiB
Current children cumulated memory: 72440 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.12 4.01 5/265 164854
/proc/meminfo: memFree=126654048/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=128380 memory=72568 CPUtime=2974.46 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 12675 0 0 0 297082 364 0 0 20 0 1 0 241670134 131461120 18142 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 32095 18142 2432 595 0 16762 0
Current children cumulated CPU time: 2974.46 s
Current children cumulated vsize: 128380 KiB
Current children cumulated memory: 72568 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.13 4.02 5/265 164856
/proc/meminfo: memFree=126646924/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=128536 memory=72696 CPUtime=3034.31 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 12685 0 0 0 303060 371 0 0 20 0 1 0 241670134 131620864 18174 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 32134 18174 2432 595 0 16801 0
Current children cumulated CPU time: 3034.31 s
Current children cumulated vsize: 128536 KiB
Current children cumulated memory: 72696 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.02 5/264 164858
/proc/meminfo: memFree=126641956/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=128536 memory=72696 CPUtime=3094.15 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 12704 0 0 0 309038 377 0 0 20 0 1 0 241670134 131620864 18174 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 32134 18174 2432 595 0 16801 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 128536 KiB
Current children cumulated memory: 72696 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.02 5/262 164860
/proc/meminfo: memFree=126641100/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=128756 memory=72952 CPUtime=3154 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 12767 0 0 0 315015 385 0 0 20 0 1 0 241670134 131846144 18238 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 32189 18238 2432 595 0 16856 0
Current children cumulated CPU time: 3154 s
Current children cumulated vsize: 128756 KiB
Current children cumulated memory: 72952 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/263 164863
/proc/meminfo: memFree=126640908/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=129040 memory=73080 CPUtime=3213.84 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 12816 0 0 0 320992 392 0 0 20 0 1 0 241670134 132136960 18270 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 32260 18270 2432 595 0 16927 0
Current children cumulated CPU time: 3213.84 s
Current children cumulated vsize: 129040 KiB
Current children cumulated memory: 73080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/263 164865
/proc/meminfo: memFree=126633780/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=129040 memory=73208 CPUtime=3273.7 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 12842 0 0 0 326970 400 0 0 20 0 1 0 241670134 132136960 18302 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 32260 18302 2432 595 0 16927 0
Current children cumulated CPU time: 3273.7 s
Current children cumulated vsize: 129040 KiB
Current children cumulated memory: 73208 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.13 4.03 5/263 164867
/proc/meminfo: memFree=126632908/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=129184 memory=73336 CPUtime=3333.54 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 12852 0 0 0 332946 408 0 0 20 0 1 0 241670134 132284416 18334 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 32296 18334 2432 595 0 16963 0
Current children cumulated CPU time: 3333.54 s
Current children cumulated vsize: 129184 KiB
Current children cumulated memory: 73336 KiB
[startup+3402.3 s]
/proc/loadavg: 4.30 4.18 4.06 5/263 164914
/proc/meminfo: memFree=126944228/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=129184 memory=73336 CPUtime=3393.39 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 12871 0 0 0 338925 414 0 0 20 0 1 0 241670134 132284416 18334 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 32296 18334 2432 595 0 16963 0
Current children cumulated CPU time: 3393.39 s
Current children cumulated vsize: 129184 KiB
Current children cumulated memory: 73336 KiB
[startup+3462.3 s]
/proc/loadavg: 4.31 4.20 4.07 5/265 164968
/proc/meminfo: memFree=123667156/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=129336 memory=73464 CPUtime=3453.24 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 12899 0 0 0 344902 422 0 0 20 0 1 0 241670134 132440064 18366 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 32334 18366 2432 595 0 17001 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 129336 KiB
Current children cumulated memory: 73464 KiB
[startup+3522.3 s]
/proc/loadavg: 4.34 4.23 4.09 4/261 164979
/proc/meminfo: memFree=126126444/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=129336 memory=73592 CPUtime=3513.08 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 12919 0 0 0 350879 429 0 0 20 0 1 0 241670134 132440064 18398 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 32334 18398 2432 595 0 17001 0
Current children cumulated CPU time: 3513.08 s
Current children cumulated vsize: 129336 KiB
Current children cumulated memory: 73592 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.19 4.09 5/266 165153
/proc/meminfo: memFree=113094608/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=129520 memory=73592 CPUtime=3572.92 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 12937 0 0 0 356853 439 0 0 20 0 1 0 241670134 132628480 18398 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 32380 18398 2432 595 0 17047 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 129520 KiB
Current children cumulated memory: 73592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.23 4.20 4.09 5/266 165154
/proc/meminfo: memFree=113094300/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=129520 memory=73592 CPUtime=3600.05 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 12937 0 0 0 359564 441 0 0 20 0 1 0 241670134 132628480 18398 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 32380 18398 2432 595 0 17047 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 129520 KiB
Current children cumulated memory: 73592 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 164590 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.65 s, system=4.41469 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.23 4.20 4.09 5/266 165154
/proc/meminfo: memFree=113094300/131249996 swapFree=33000896/33010684
[pid=164590] ppid=164587 vsize=129520 memory=73592 CPUtime=3600.05 cores=1,3
/proc/164590/stat : 164590 (SynLSCD-PS) R 164587 164590 164106 0 -1 4194304 12937 0 0 0 359564 441 0 0 20 0 1 0 241670134 132628480 18398 18446744073709551615 94602375323648 94602377759065 140736009706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94602378239224 94602378272256 94602411683840 140736009714045 140736009714183 140736009714183 140736009719787 0
/proc/164590/statm: 32380 18398 2432 595 0 17047 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 129520 KiB
Current children cumulated memory: 73592 KiB
Child status: 0
Real time (s): 3609.51
CPU time (s): 3600.07
CPU user time (s): 3595.65
CPU system time (s): 4.41469
CPU usage (%): 99.7385
Max. virtual memory (cumulated for all children) (KiB): 129520
Max. memory (cumulated for all children) (KiB): 73592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.65
system time used= 4.41469
maximum resident set size= 73976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12969
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150
involuntary context switches= 4630
# summary of solver processes directly reported to runsolver:
# pid: 164590
# total CPU time (s): 3600.07
# total CPU user time (s): 3595.65
# total CPU system time (s): 4.41469
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99005 second user time and 15.7539 second system time
The end
Begin job on nodeC023 at 2025-07-23 10:38:43
IDJOB=4546306
IDBENCH=160409
IDSOLVER=3422
FILE ID=nodeC023/4546306-1753259923
RUNJOBID= nodeC023-1753259701-164125
SLURM_JOB_ID= 9689178
Free space on /tmp= 433020 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb
COMMAND LINE= ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4546306-1753259923/watcher-4546306-1753259923 -o /tmp/evaluation-result-4546306-1753259923/solver-4546306-1753259923 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1753259701-164125 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546306-1753259923.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 60aa0ac85dc632e57e54cb255f142331
RANDOM SEED=748932326
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.950
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3598.390
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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.216
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.874
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.905
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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.234
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.586
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3609.833
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126998216 kB
MemAvailable: 128735700 kB
Buffers: 16 kB
Cached: 2479500 kB
SwapCached: 2872 kB
Active: 1629360 kB
Inactive: 1807584 kB
Active(anon): 923188 kB
Inactive(anon): 55056 kB
Active(file): 706172 kB
Inactive(file): 1752528 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33000896 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7624 kB
Writeback: 0 kB
AnonPages: 957700 kB
Mapped: 114704 kB
Shmem: 20816 kB
KReclaimable: 236044 kB
Slab: 332444 kB
SReclaimable: 236044 kB
SUnreclaim: 96400 kB
KernelStack: 4224 kB
PageTables: 5344 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1408384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 323584 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC023 at 2025-07-23 11:38:52