runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (45950 MiB free)
memory of node 1: 64507 MiB (50787 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546480-1753263535/watcher-4546480-1753263535 -o /tmp/evaluation-result-4546480-1753263535/solver-4546480-1753263535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753259701-187005 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546480-1753263535.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=187934, runsolver pid=187931
[startup+0.100068 s]*
/proc/loadavg: 4.12 4.10 4.05 5/252 187935
/proc/meminfo: memFree=99056300/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=88200 memory=15488 CPUtime=0.09 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 1742 0 0 0 8 1 0 0 20 0 1 0 242033210 90316800 3872 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 22050 3872 2432 595 0 6717 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 88200 KiB
Current children cumulated memory: 15488 KiB
[startup+0.220319 s]*
/proc/loadavg: 4.12 4.10 4.05 5/252 187935
/proc/meminfo: memFree=99056300/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=88200 memory=15488 CPUtime=0.19 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 1742 0 0 0 18 1 0 0 20 0 1 0 242033210 90316800 3872 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 22050 3872 2432 595 0 6717 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 88200 KiB
Current children cumulated memory: 15488 KiB
[startup+0.313019 s]*
/proc/loadavg: 4.12 4.10 4.05 5/252 187935
/proc/meminfo: memFree=99056300/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=88200 memory=15488 CPUtime=0.28 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 1742 0 0 0 27 1 0 0 20 0 1 0 242033210 90316800 3872 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 22050 3872 2432 595 0 6717 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 88200 KiB
Current children cumulated memory: 15488 KiB
[startup+0.70029 s]
/proc/loadavg: 4.12 4.10 4.05 5/252 187935
/proc/meminfo: memFree=99070160/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=88200 memory=15488 CPUtime=0.65 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 1742 0 0 0 64 1 0 0 20 0 1 0 242033210 90316800 3872 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 22050 3872 2432 595 0 6717 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 88200 KiB
Current children cumulated memory: 15488 KiB
[startup+1.50026 s]
/proc/loadavg: 4.12 4.10 4.05 5/252 187935
/proc/meminfo: memFree=99070328/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=88200 memory=15488 CPUtime=1.45 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 1742 0 0 0 144 1 0 0 20 0 1 0 242033210 90316800 3872 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 22050 3872 2432 595 0 6717 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 88200 KiB
Current children cumulated memory: 15488 KiB
[startup+3.11281 s]
/proc/loadavg: 4.11 4.10 4.05 5/252 187935
/proc/meminfo: memFree=99070344/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=88200 memory=15488 CPUtime=3.06 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 1742 0 0 0 305 1 0 0 20 0 1 0 242033210 90316800 3872 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 22050 3872 2432 595 0 6717 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 88200 KiB
Current children cumulated memory: 15488 KiB
[startup+6.30025 s]
/proc/loadavg: 4.11 4.10 4.05 5/252 187935
/proc/meminfo: memFree=99066248/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=91652 memory=25580 CPUtime=6.23 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 2746 0 0 0 621 2 0 0 20 0 1 0 242033210 93851648 6395 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 22913 6395 2432 595 0 7580 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 91652 KiB
Current children cumulated memory: 25580 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.10 4.05 5/252 187936
/proc/meminfo: memFree=99037972/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=99064 memory=43124 CPUtime=12.62 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 4595 0 0 0 1256 6 0 0 20 0 1 0 242033210 101441536 10781 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 24766 10781 2432 595 0 9433 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 99064 KiB
Current children cumulated memory: 43124 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.09 4.04 5/251 187936
/proc/meminfo: memFree=98980888/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=119820 memory=62460 CPUtime=25.38 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 6563 0 0 0 2526 12 0 0 20 0 1 0 242033210 122695680 15615 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 29955 15615 2432 595 0 14622 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 119820 KiB
Current children cumulated memory: 62460 KiB
[startup+51.1137 s]
/proc/loadavg: 4.11 4.10 4.05 5/251 187936
/proc/meminfo: memFree=98873908/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=155252 memory=84348 CPUtime=50.92 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 10388 0 0 0 5069 23 0 0 20 0 1 0 242033210 158978048 21087 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 38813 21087 2432 595 0 23480 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 155252 KiB
Current children cumulated memory: 84348 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/250 187938
/proc/meminfo: memFree=98739128/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=209856 memory=124564 CPUtime=101.96 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 14265 0 0 0 10159 37 0 0 20 0 1 0 242033210 214892544 31141 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 52464 31141 2432 595 0 37131 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 209856 KiB
Current children cumulated memory: 124564 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.10 4.05 5/250 187940
/proc/meminfo: memFree=98728960/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=213352 memory=127764 CPUtime=161.8 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 15072 0 0 0 16122 58 0 0 20 0 1 0 242033210 218472448 31941 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 53338 31941 2432 595 0 38005 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 213352 KiB
Current children cumulated memory: 127764 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.05 5/250 187942
/proc/meminfo: memFree=98700056/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=216100 memory=130452 CPUtime=221.61 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 15758 0 0 0 22081 80 0 0 20 0 1 0 242033210 221286400 32613 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 54025 32613 2432 595 0 38692 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 216100 KiB
Current children cumulated memory: 130452 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/251 187945
/proc/meminfo: memFree=98662468/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=218984 memory=133268 CPUtime=281.41 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 16488 0 0 0 28043 98 0 0 20 0 1 0 242033210 224239616 33317 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 54746 33317 2432 595 0 39413 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 218984 KiB
Current children cumulated memory: 133268 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.06 4/246 187981
/proc/meminfo: memFree=98756408/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=219400 memory=133652 CPUtime=341.22 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 16597 0 0 0 33998 124 0 0 20 0 1 0 242033210 224665600 33413 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 54850 33413 2432 595 0 39517 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 219400 KiB
Current children cumulated memory: 133652 KiB
[startup+402.3 s]
/proc/loadavg: 3.71 4.00 4.02 4/245 187984
/proc/meminfo: memFree=98755080/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=219400 memory=133908 CPUtime=401.02 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 16641 0 0 0 39953 149 0 0 20 0 1 0 242033210 224665600 33477 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 54850 33477 2432 595 0 39517 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 219400 KiB
Current children cumulated memory: 133908 KiB
[startup+462.3 s]
/proc/loadavg: 3.41 3.84 3.97 4/245 187986
/proc/meminfo: memFree=98741820/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=219592 memory=137108 CPUtime=460.84 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 16703 0 0 0 45908 176 0 0 20 0 1 0 242033210 224862208 34277 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 54898 34277 2432 595 0 39565 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
Current children cumulated memory: 165776 KiB
[startup+2862.3 s]
/proc/loadavg: 3.12 3.15 3.21 4/244 188119
/proc/meminfo: memFree=98368744/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=242568 memory=165776 CPUtime=2854.08 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 22112 0 0 0 284182 1226 0 0 20 0 1 0 242033210 248389632 41444 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 60642 41444 2592 595 0 45309 0
Current children cumulated CPU time: 2854.08 s
Current children cumulated vsize: 242568 KiB
Current children cumulated memory: 165776 KiB
[startup+2922.3 s]
/proc/loadavg: 3.15 3.15 3.20 4/244 188126
/proc/meminfo: memFree=98359620/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=242568 memory=165776 CPUtime=2913.88 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 22128 0 0 0 290139 1249 0 0 20 0 1 0 242033210 248389632 41444 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 60642 41444 2592 595 0 45309 0
Current children cumulated CPU time: 2913.88 s
Current children cumulated vsize: 242568 KiB
Current children cumulated memory: 165776 KiB
[startup+2982.3 s]
/proc/loadavg: 3.11 3.14 3.19 4/244 188128
/proc/meminfo: memFree=98362220/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=242568 memory=165904 CPUtime=2973.69 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 22145 0 0 0 296094 1275 0 0 20 0 1 0 242033210 248389632 41476 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 60642 41476 2592 595 0 45309 0
Current children cumulated CPU time: 2973.69 s
Current children cumulated vsize: 242568 KiB
Current children cumulated memory: 165904 KiB
[startup+3042.3 s]
/proc/loadavg: 3.16 3.14 3.19 4/245 188131
/proc/meminfo: memFree=98358688/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=242768 memory=165904 CPUtime=3033.49 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 22163 0 0 0 302042 1307 0 0 20 0 1 0 242033210 248594432 41476 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 60692 41476 2592 595 0 45359 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 242768 KiB
Current children cumulated memory: 165904 KiB
[startup+3102.3 s]
/proc/loadavg: 3.12 3.13 3.18 4/245 188133
/proc/meminfo: memFree=98358688/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=242768 memory=165904 CPUtime=3093.3 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 22163 0 0 0 307996 1334 0 0 20 0 1 0 242033210 248594432 41476 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 60692 41476 2592 595 0 45359 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 242768 KiB
Current children cumulated memory: 165904 KiB
[startup+3162.3 s]
/proc/loadavg: 3.09 3.12 3.17 4/245 188135
/proc/meminfo: memFree=98253512/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=242972 memory=166160 CPUtime=3153.11 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 22213 0 0 0 313933 1378 0 0 20 0 1 0 242033210 248803328 41540 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 60743 41540 2592 595 0 45410 0
Current children cumulated CPU time: 3153.11 s
Current children cumulated vsize: 242972 KiB
Current children cumulated memory: 166160 KiB
[startup+3222.3 s]
/proc/loadavg: 3.15 3.12 3.17 4/244 188137
/proc/meminfo: memFree=98198568/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=242972 memory=166160 CPUtime=3212.91 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 22213 0 0 0 319888 1403 0 0 20 0 1 0 242033210 248803328 41540 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 60743 41540 2592 595 0 45410 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 242972 KiB
Current children cumulated memory: 166160 KiB
[startup+3282.3 s]
/proc/loadavg: 3.11 3.11 3.17 4/244 188139
/proc/meminfo: memFree=98181720/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=244800 memory=167440 CPUtime=3272.72 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 22538 0 0 0 325851 1421 0 0 20 0 1 0 242033210 250675200 41860 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 61200 41860 2592 595 0 45867 0
Current children cumulated CPU time: 3272.72 s
Current children cumulated vsize: 244800 KiB
Current children cumulated memory: 167440 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.12 3.17 4/244 188144
/proc/meminfo: memFree=98159744/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=244800 memory=167440 CPUtime=3332.52 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 22538 0 0 0 331808 1444 0 0 20 0 1 0 242033210 250675200 41860 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 61200 41860 2592 595 0 45867 0
Current children cumulated CPU time: 3332.52 s
Current children cumulated vsize: 244800 KiB
Current children cumulated memory: 167440 KiB
[startup+3402.3 s]
/proc/loadavg: 3.15 3.13 3.17 3/239 188178
/proc/meminfo: memFree=98641100/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=244800 memory=167440 CPUtime=3392.31 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 22553 0 0 0 337760 1471 0 0 20 0 1 0 242033210 250675200 41860 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 61200 41860 2592 595 0 45867 0
Current children cumulated CPU time: 3392.31 s
Current children cumulated vsize: 244800 KiB
Current children cumulated memory: 167440 KiB
[startup+3462.3 s]
/proc/loadavg: 2.03 2.82 3.06 2/233 188210
/proc/meminfo: memFree=99354048/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=244936 memory=167568 CPUtime=3452.11 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 22573 0 0 0 343710 1501 0 0 20 0 1 0 242033210 250814464 41892 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 61234 41892 2592 595 0 45901 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 244936 KiB
Current children cumulated memory: 167568 KiB
[startup+3522.3 s]
/proc/loadavg: 1.49 2.52 2.94 2/233 188212
/proc/meminfo: memFree=99349396/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=245192 memory=168976 CPUtime=3511.88 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 22642 0 0 0 349655 1533 0 0 20 0 1 0 242033210 251076608 42244 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 61298 42244 2592 595 0 45965 0
Current children cumulated CPU time: 3511.88 s
Current children cumulated vsize: 245192 KiB
Current children cumulated memory: 168976 KiB
[startup+3582.3 s]
/proc/loadavg: 1.23 2.26 2.82 2/233 188218
/proc/meminfo: memFree=99350408/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=245192 memory=168976 CPUtime=3571.67 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 22642 0 0 0 355601 1566 0 0 20 0 1 0 242033210 251076608 42244 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 61298 42244 2592 595 0 45965 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 245192 KiB
Current children cumulated memory: 168976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 1.21 2.15 2.77 2/233 188219
/proc/meminfo: memFree=99350408/131382116 swapFree=33010684/33010684
[pid=187934] ppid=187931 vsize=245192 memory=169104 CPUtime=3600.06 cores=5,7
/proc/187934/stat : 187934 (SynLSCD-PS) R 187931 187934 186988 0 -1 4194304 22673 0 0 0 358429 1577 0 0 20 0 1 0 242033210 251076608 42276 18446744073709551615 93908266119168 93908268554585 140736508006112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93908269034744 93908269067776 93908278853632 140736508012925 140736508013063 140736508013063 140736508018667 0
/proc/187934/statm: 61298 42276 2592 595 0 45965 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 245192 KiB
Current children cumulated memory: 169104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.8 s]
# the end of solver process 187934 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.3 s, system=15.7768 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.8
CPU time (s): 3600.08
CPU user time (s): 3584.3
CPU system time (s): 15.7768
CPU usage (%): 99.7029
Max. virtual memory (cumulated for all children) (KiB): 245192
Max. memory (cumulated for all children) (KiB): 169104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.3
system time used= 15.7768
maximum resident set size= 169104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22700
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= 177
involuntary context switches= 19957
# summary of solver processes directly reported to runsolver:
# pid: 187934
# total CPU time (s): 3600.08
# total CPU user time (s): 3584.3
# total CPU system time (s): 15.7768
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9009 second user time and 31.0813 second system time
The end
Begin job on nodeC011 at 2025-07-23 11:38:55
IDJOB=4546480
IDBENCH=176027
IDSOLVER=3422
FILE ID=nodeC011/4546480-1753263535
RUNJOBID= nodeC011-1753259701-187005
SLURM_JOB_ID= 9689166
Free space on /tmp= 432800 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_diag/normalized-16array_diag_less.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-4546480-1753263535/watcher-4546480-1753263535 -o /tmp/evaluation-result-4546480-1753263535/solver-4546480-1753263535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753259701-187005 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546480-1753263535.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 53ff2354521efee3bcd66df24a5554e0
RANDOM SEED=341094989
nodeC011 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 : 3492.098
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 : 6984.20
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 : 3661.516
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 : 6984.20
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.267
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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.309
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 : 6984.20
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 : 3658.344
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 : 6984.20
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.480
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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.953
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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.294
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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 99059772 kB
MemAvailable: 129360064 kB
Buffers: 3276 kB
Cached: 31069460 kB
SwapCached: 0 kB
Active: 1104384 kB
Inactive: 30553768 kB
Active(anon): 609492 kB
Inactive(anon): 2076 kB
Active(file): 494892 kB
Inactive(file): 30551692 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3620 kB
Writeback: 0 kB
AnonPages: 587260 kB
Mapped: 120876 kB
Shmem: 26152 kB
KReclaimable: 186284 kB
Slab: 279576 kB
SReclaimable: 186284 kB
SUnreclaim: 93292 kB
KernelStack: 4080 kB
PageTables: 4416 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 999576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 325632 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: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432808 MiB
End job on nodeC011 at 2025-07-23 12:39:06