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 (63040 MiB free)
memory of node 1: 64465 MiB (63902 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510667-1751198189/watcher-4510667-1751198189 -o /tmp/evaluation-result-4510667-1751198189/solver-4510667-1751198189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751194487-24988 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510667-1751198189.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25858, runsolver pid=25855
[startup+0.100058 s]*
/proc/loadavg: 4.08 4.09 4.05 5/264 25859
/proc/meminfo: memFree=129981832/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=93124 memory=20412 CPUtime=0.08 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 3143 0 0 0 7 1 0 0 20 0 1 0 35497546 95358976 5103 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 23281 5103 2464 595 0 7948 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20412 KiB
[startup+0.205453 s]*
/proc/loadavg: 4.08 4.09 4.05 5/264 25859
/proc/meminfo: memFree=129981832/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=93124 memory=20412 CPUtime=0.19 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 3143 0 0 0 17 2 0 0 20 0 1 0 35497546 95358976 5103 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 23281 5103 2464 595 0 7948 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20412 KiB
[startup+0.304548 s]*
/proc/loadavg: 4.08 4.09 4.05 5/264 25859
/proc/meminfo: memFree=129981832/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=93124 memory=20412 CPUtime=0.29 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 3143 0 0 0 26 3 0 0 20 0 1 0 35497546 95358976 5103 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 23281 5103 2464 595 0 7948 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20412 KiB
[startup+0.700097 s]
/proc/loadavg: 4.08 4.09 4.05 5/264 25859
/proc/meminfo: memFree=129981832/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=93124 memory=20412 CPUtime=0.67 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 3143 0 0 0 63 4 0 0 20 0 1 0 35497546 95358976 5103 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 23281 5103 2464 595 0 7948 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20412 KiB
[startup+1.50009 s]
/proc/loadavg: 4.07 4.09 4.05 5/264 25859
/proc/meminfo: memFree=129981832/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=93124 memory=20412 CPUtime=1.48 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 3143 0 0 0 137 11 0 0 20 0 1 0 35497546 95358976 5103 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 23281 5103 2464 595 0 7948 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20412 KiB
[startup+3.10461 s]
/proc/loadavg: 4.07 4.09 4.05 5/264 25859
/proc/meminfo: memFree=129981832/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=93124 memory=20412 CPUtime=3.07 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 3143 0 0 0 285 22 0 0 20 0 1 0 35497546 95358976 5103 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 23281 5103 2464 595 0 7948 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20412 KiB
[startup+6.3001 s]
/proc/loadavg: 4.15 4.11 4.05 5/264 25859
/proc/meminfo: memFree=129977736/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=93124 memory=20412 CPUtime=6.26 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 3143 0 0 0 582 44 0 0 20 0 1 0 35497546 95358976 5103 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 23281 5103 2464 595 0 7948 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20412 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.10 4.05 5/264 25859
/proc/meminfo: memFree=129977736/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=93124 memory=20412 CPUtime=12.66 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 3143 0 0 0 1176 90 0 0 20 0 1 0 35497546 95358976 5103 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 23281 5103 2464 595 0 7948 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20412 KiB
[startup+25.5001 s]
/proc/loadavg: 4.11 4.10 4.05 5/264 25904
/proc/meminfo: memFree=129974080/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=95988 memory=25788 CPUtime=25.42 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 3990 0 0 0 2366 176 0 0 20 0 1 0 35497546 98291712 6447 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 23997 6447 2464 595 0 8664 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 95988 KiB
Current children cumulated memory: 25788 KiB
[startup+51.1047 s]
/proc/loadavg: 4.07 4.09 4.05 5/264 25995
/proc/meminfo: memFree=129954028/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=97152 memory=27068 CPUtime=50.98 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 4273 0 0 0 4759 339 0 0 20 0 1 0 35497546 99483648 6767 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 24288 6767 2464 595 0 8955 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 97152 KiB
Current children cumulated memory: 27068 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/264 25997
/proc/meminfo: memFree=129965504/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=98968 memory=28988 CPUtime=102.07 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 4729 0 0 0 9542 665 0 0 20 0 1 0 35497546 101343232 7247 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 24742 7247 2464 595 0 9409 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 98968 KiB
Current children cumulated memory: 28988 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/264 26043
/proc/meminfo: memFree=129940944/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=101020 memory=31036 CPUtime=161.96 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 5249 0 0 0 15156 1040 0 0 20 0 1 0 35497546 103444480 7759 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 25255 7759 2464 595 0 9922 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 101020 KiB
Current children cumulated memory: 31036 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.06 5/263 26045
/proc/meminfo: memFree=129935932/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=101932 memory=31932 CPUtime=221.84 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 5478 0 0 0 20752 1432 0 0 20 0 1 0 35497546 104378368 7983 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 25483 7983 2464 595 0 10150 0
Current children cumulated CPU time: 221.84 s
Current children cumulated vsize: 101932 KiB
Current children cumulated memory: 31932 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.08 4.05 5/263 26058
/proc/meminfo: memFree=129919580/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=102084 memory=32188 CPUtime=281.73 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 5542 0 0 0 26338 1835 0 0 20 0 1 0 35497546 104534016 8047 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 25521 8047 2464 595 0 10188 0
Current children cumulated CPU time: 281.73 s
Current children cumulated vsize: 102084 KiB
Current children cumulated memory: 32188 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/262 26060
/proc/meminfo: memFree=129919340/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=103756 memory=33852 CPUtime=341.61 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 5972 0 0 0 31969 2192 0 0 20 0 1 0 35497546 106246144 8463 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 25939 8463 2464 595 0 10606 0
Current children cumulated CPU time: 341.61 s
Current children cumulated vsize: 103756 KiB
Current children cumulated memory: 33852 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.09 4.06 5/262 26061
/proc/meminfo: memFree=129918984/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=104160 memory=34236 CPUtime=401.49 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 6068 0 0 0 37564 2585 0 0 20 0 1 0 35497546 106659840 8559 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 26040 8559 2464 595 0 10707 0
Current children cumulated CPU time: 401.49 s
Current children cumulated vsize: 104160 KiB
Current children cumulated memory: 34236 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/263 26066
/proc/meminfo: memFree=129914308/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=104972 memory=35004 CPUtime=461.37 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 6247 0 0 0 43176 2961 0 0 20 0 1 0 35497546 107491328 8751 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 26243 8751 2464 595 0 10910 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 26821
/proc/meminfo: memFree=129910540/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=117108 memory=47164 CPUtime=3035.35 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 9373 0 0 0 284524 19011 0 0 20 0 1 0 35497546 119918592 11791 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 29277 11791 2464 595 0 13944 0
Current children cumulated CPU time: 3035.35 s
Current children cumulated vsize: 117108 KiB
Current children cumulated memory: 47164 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 26824
/proc/meminfo: memFree=129852124/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=117252 memory=47292 CPUtime=3095.18 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 9426 0 0 0 290199 19319 0 0 20 0 1 0 35497546 120066048 11823 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 29313 11823 2464 595 0 13980 0
Current children cumulated CPU time: 3095.18 s
Current children cumulated vsize: 117252 KiB
Current children cumulated memory: 47292 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 26827
/proc/meminfo: memFree=129847716/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=117252 memory=47292 CPUtime=3155.01 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 9426 0 0 0 295758 19743 0 0 20 0 1 0 35497546 120066048 11823 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 29313 11823 2464 595 0 13980 0
Current children cumulated CPU time: 3155.01 s
Current children cumulated vsize: 117252 KiB
Current children cumulated memory: 47292 KiB
[startup+3222.3 s]
/proc/loadavg: 4.31 4.16 4.11 5/265 26829
/proc/meminfo: memFree=129839860/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=117428 memory=47420 CPUtime=3214.84 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 9458 0 0 0 301353 20131 0 0 20 0 1 0 35497546 120246272 11855 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 29357 11855 2464 595 0 14024 0
Current children cumulated CPU time: 3214.84 s
Current children cumulated vsize: 117428 KiB
Current children cumulated memory: 47420 KiB
[startup+3282.3 s]
/proc/loadavg: 4.29 4.18 4.12 5/265 26832
/proc/meminfo: memFree=129807468/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=117428 memory=47420 CPUtime=3274.67 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 9458 0 0 0 306922 20545 0 0 20 0 1 0 35497546 120246272 11855 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 29357 11855 2464 595 0 14024 0
Current children cumulated CPU time: 3274.67 s
Current children cumulated vsize: 117428 KiB
Current children cumulated memory: 47420 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.10 5/264 26834
/proc/meminfo: memFree=129815076/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=117428 memory=47548 CPUtime=3334.5 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 9474 0 0 0 312515 20935 0 0 20 0 1 0 35497546 120246272 11887 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 29357 11887 2464 595 0 14024 0
Current children cumulated CPU time: 3334.5 s
Current children cumulated vsize: 117428 KiB
Current children cumulated memory: 47548 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.17 4.11 5/263 26836
/proc/meminfo: memFree=129819140/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=117572 memory=47676 CPUtime=3394.33 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 9498 0 0 0 318123 21310 0 0 20 0 1 0 35497546 120393728 11919 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 29393 11919 2464 595 0 14060 0
Current children cumulated CPU time: 3394.33 s
Current children cumulated vsize: 117572 KiB
Current children cumulated memory: 47676 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/263 26838
/proc/meminfo: memFree=129818512/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=117572 memory=47676 CPUtime=3454.17 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 9498 0 0 0 323713 21704 0 0 20 0 1 0 35497546 120393728 11919 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 29393 11919 2464 595 0 14060 0
Current children cumulated CPU time: 3454.17 s
Current children cumulated vsize: 117572 KiB
Current children cumulated memory: 47676 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/262 26840
/proc/meminfo: memFree=129819092/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=117572 memory=47676 CPUtime=3514 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 9518 0 0 0 329298 22102 0 0 20 0 1 0 35497546 120393728 11919 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 29393 11919 2464 595 0 14060 0
Current children cumulated CPU time: 3514 s
Current children cumulated vsize: 117572 KiB
Current children cumulated memory: 47676 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 26846
/proc/meminfo: memFree=129818472/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=117572 memory=47676 CPUtime=3573.83 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 9518 0 0 0 334865 22518 0 0 20 0 1 0 35497546 120393728 11919 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 29393 11919 2464 595 0 14060 0
Current children cumulated CPU time: 3573.83 s
Current children cumulated vsize: 117572 KiB
Current children cumulated memory: 47676 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 26847
/proc/meminfo: memFree=129810432/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=117748 memory=47804 CPUtime=3600.05 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 9530 0 0 0 337307 22698 0 0 20 0 1 0 35497546 120573952 11951 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 29437 11951 2464 595 0 14104 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 117748 KiB
Current children cumulated memory: 47804 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3610.6 s]
# the end of solver process 25858 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3374.92 s, system=227.137 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 26847
/proc/meminfo: memFree=129810432/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=117748 memory=47804 CPUtime=3601.06 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 9530 0 0 0 337399 22707 0 0 20 0 1 0 35497546 120573952 11951 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 29437 11951 2464 595 0 14104 0
Current children cumulated CPU time: 3601.06 s
Current children cumulated vsize: 117748 KiB
Current children cumulated memory: 47804 KiB
[startup+3610.4 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 26847
/proc/meminfo: memFree=129806336/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=117748 memory=47804 CPUtime=3601.85 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 9530 0 0 0 337473 22712 0 0 20 0 1 0 35497546 120573952 11951 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 29437 11951 2464 595 0 14104 0
Current children cumulated CPU time: 3601.85 s
Current children cumulated vsize: 117748 KiB
Current children cumulated memory: 47804 KiB
[startup+3610.6 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 26847
/proc/meminfo: memFree=129806336/131250000 swapFree=33010684/33010684
[pid=25858] ppid=25855 vsize=117748 memory=47804 CPUtime=3602.05 cores=5,7
/proc/25858/stat : 25858 (SynLSCD-PS) R 25855 25858 24975 0 -1 4194304 9530 0 0 0 337492 22713 0 0 20 0 1 0 35497546 120573952 11951 18446744073709551615 94616505708544 94616508143545 140724211152064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616508624120 94616508657152 94616523796480 140724211161440 140724211161576 140724211161576 140724211167178 0
/proc/25858/statm: 29437 11951 2464 595 0 14104 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 117748 KiB
Current children cumulated memory: 47804 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3610.6
CPU time (s): 3602.06
CPU user time (s): 3374.92
CPU system time (s): 227.137
CPU usage (%): 99.7634
Max. virtual memory (cumulated for all children) (KiB): 117748
Max. memory (cumulated for all children) (KiB): 47804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3374.92
system time used= 227.137
maximum resident set size= 47804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9530
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= 144
involuntary context switches= 2622
# summary of solver processes directly reported to runsolver:
# pid: 25858
# total CPU time (s): 3602.06
# total CPU user time (s): 3374.92
# total CPU system time (s): 227.137
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.1948 second user time and 13.0562 second system time
The end
Begin job on nodeC026 at 2025-06-29 13:56:29
IDJOB=4510667
IDBENCH=160381
IDSOLVER=3370
FILE ID=nodeC026/4510667-1751198189
RUNJOBID= nodeC026-1751194487-24988
SLURM_JOB_ID= 9587598
Free space on /tmp= 433048 MiB
SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x100split.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-4510667-1751198189/watcher-4510667-1751198189 -o /tmp/evaluation-result-4510667-1751198189/solver-4510667-1751198189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751194487-24988 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510667-1751198189.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e27638fbedede025521b1384f289f9e5
RANDOM SEED=66762482
nodeC026 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.781
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.756
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.59
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.162
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.59
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 : 3701.901
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.59
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.801
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.59
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 : 3599.890
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.59
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 : 3495.621
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.784
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129990036 kB
MemAvailable: 129747236 kB
Buffers: 3280 kB
Cached: 566892 kB
SwapCached: 0 kB
Active: 349364 kB
Inactive: 344296 kB
Active(anon): 141568 kB
Inactive(anon): 0 kB
Active(file): 207796 kB
Inactive(file): 344296 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3624 kB
Writeback: 0 kB
AnonPages: 126372 kB
Mapped: 114420 kB
Shmem: 18080 kB
KReclaimable: 88696 kB
Slab: 174428 kB
SReclaimable: 88696 kB
SUnreclaim: 85732 kB
KernelStack: 4256 kB
PageTables: 3380 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 511400 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 45056 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC026 at 2025-06-29 14:56:40