runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (51598 MiB free)
memory of node 1: 64465 MiB (47372 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546250-1753259755/watcher-4546250-1753259755 -o /tmp/evaluation-result-4546250-1753259755/solver-4546250-1753259755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753259701-167752 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546250-1753259755.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
solver pid=167953, runsolver pid=167950
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 2.89 0.91 0.37 3/247 167954
/proc/meminfo: memFree=101346848/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=17104 memory=640 CPUtime=0 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) D 167950 167953 167733 0 -1 4456448 82 0 0 0 0 0 0 0 20 0 1 0 241654564 17514496 160 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB
[startup+0.213196 s]*
/proc/loadavg: 2.89 0.91 0.37 3/247 167954
/proc/meminfo: memFree=101363368/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=17104 memory=640 CPUtime=0 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) D 167950 167953 167733 0 -1 4456448 82 0 0 0 0 0 0 0 20 0 1 0 241654564 17514496 160 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB
[startup+0.312955 s]*
/proc/loadavg: 2.89 0.91 0.37 3/247 167954
/proc/meminfo: memFree=101363368/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=27832 memory=1408 CPUtime=0 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) D 167950 167953 167733 0 -1 4194304 118 0 0 0 0 0 0 0 20 0 1 0 241654564 28499968 352 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 6958 352 320 595 0 1119 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 1408 KiB
[startup+0.70024 s]
/proc/loadavg: 2.89 0.91 0.37 4/247 167954
/proc/meminfo: memFree=101347252/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=107096 memory=36336 CPUtime=0.32 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 5620 0 0 0 29 3 0 0 20 0 1 0 241654564 109666304 9052 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 26774 9052 2240 595 0 11441 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 107096 KiB
Current children cumulated memory: 36336 KiB
[startup+1.50025 s]
/proc/loadavg: 2.89 0.91 0.37 4/247 167954
/proc/meminfo: memFree=101339692/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=149976 memory=75128 CPUtime=1.11 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 15503 0 0 0 103 8 0 0 20 0 1 0 241654564 153575424 18782 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 37494 18782 2432 595 0 22161 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 149976 KiB
Current children cumulated memory: 75128 KiB
[startup+3.11295 s]
/proc/loadavg: 2.98 0.96 0.39 4/247 167954
/proc/meminfo: memFree=101301364/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=174708 memory=97912 CPUtime=2.72 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 21195 0 0 0 263 9 0 0 20 0 1 0 241654564 178900992 24478 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 43677 24478 2432 595 0 28344 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 174708 KiB
Current children cumulated memory: 97912 KiB
[startup+6.30025 s]
/proc/loadavg: 2.98 0.96 0.39 5/247 167954
/proc/meminfo: memFree=101317936/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=174708 memory=97912 CPUtime=5.89 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 21195 0 0 0 580 9 0 0 20 0 1 0 241654564 178900992 24478 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 43677 24478 2432 595 0 28344 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 174708 KiB
Current children cumulated memory: 97912 KiB
[startup+12.7002 s]
/proc/loadavg: 3.06 1.01 0.41 4/246 167968
/proc/meminfo: memFree=102695340/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=174708 memory=97912 CPUtime=12.28 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 21195 0 0 0 1219 9 0 0 20 0 1 0 241654564 178900992 24478 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 43677 24478 2432 595 0 28344 0
Current children cumulated CPU time: 12.28 s
Current children cumulated vsize: 174708 KiB
Current children cumulated memory: 97912 KiB
[startup+25.5003 s]
/proc/loadavg: 3.20 1.14 0.46 5/250 168005
/proc/meminfo: memFree=102823596/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=188920 memory=112712 CPUtime=25.05 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 24426 0 0 0 2493 12 0 0 20 0 1 0 241654564 193454080 28178 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 47230 28178 2464 595 0 31897 0
Current children cumulated CPU time: 25.05 s
Current children cumulated vsize: 188920 KiB
Current children cumulated memory: 112712 KiB
[startup+51.1129 s]
/proc/loadavg: 3.55 1.39 0.56 5/252 168128
/proc/meminfo: memFree=103023480/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=209428 memory=138432 CPUtime=50.53 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 29842 0 0 0 5036 17 0 0 20 0 1 0 241654564 214454272 34608 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 52357 34608 2496 595 0 37024 0
Current children cumulated CPU time: 50.53 s
Current children cumulated vsize: 209428 KiB
Current children cumulated memory: 138432 KiB
[startup+102.3 s]
/proc/loadavg: 3.88 1.81 0.75 5/252 168129
/proc/meminfo: memFree=103052016/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=215260 memory=149056 CPUtime=101.58 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 31164 0 0 0 10140 18 0 0 20 0 1 0 241654564 220426240 37264 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 53815 37264 2496 595 0 38482 0
Current children cumulated CPU time: 101.58 s
Current children cumulated vsize: 215260 KiB
Current children cumulated memory: 149056 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 2.23 0.96 5/252 168131
/proc/meminfo: memFree=103000148/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=250624 memory=186068 CPUtime=161.42 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 39931 0 0 0 16114 28 0 0 20 0 1 0 241654564 256638976 46517 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 62656 46517 2496 595 0 47323 0
Current children cumulated CPU time: 161.42 s
Current children cumulated vsize: 250624 KiB
Current children cumulated memory: 186068 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 2.58 1.16 5/252 168133
/proc/meminfo: memFree=102951144/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=258012 memory=194004 CPUtime=221.25 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 41914 0 0 0 22097 28 0 0 20 0 1 0 241654564 264204288 48501 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 64503 48501 2496 595 0 49170 0
Current children cumulated CPU time: 221.25 s
Current children cumulated vsize: 258012 KiB
Current children cumulated memory: 194004 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.86 1.35 5/250 168135
/proc/meminfo: memFree=102947440/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=267016 memory=203092 CPUtime=281.08 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 44188 0 0 0 28077 31 0 0 20 0 1 0 241654564 273424384 50773 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 66754 50773 2496 595 0 51421 0
Current children cumulated CPU time: 281.08 s
Current children cumulated vsize: 267016 KiB
Current children cumulated memory: 203092 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.09 1.52 5/250 168137
/proc/meminfo: memFree=102929320/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=280136 memory=218300 CPUtime=340.9 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 47496 0 0 0 34051 39 0 0 20 0 1 0 241654564 286859264 54575 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 70034 54575 2496 595 0 54701 0
Current children cumulated CPU time: 340.9 s
Current children cumulated vsize: 280136 KiB
Current children cumulated memory: 218300 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.29 1.69 5/249 168138
/proc/meminfo: memFree=102912948/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=287448 memory=225340 CPUtime=400.73 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 49260 0 0 0 40032 41 0 0 20 0 1 0 241654564 294346752 56335 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 71862 56335 2496 595 0 56529 0
Current children cumulated CPU time: 400.73 s
Current children cumulated vsize: 287448 KiB
Current children cumulated memory: 225340 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.43 1.84 5/249 168140
/proc/meminfo: memFree=102888292/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=293328 memory=231484 CPUtime=460.56 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 50805 0 0 0 46012 44 0 0 20 0 1 0 241654564 300367872 57871 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 73332 57871 2496 595 0 57999 0
Current children cumulated CPU time: 460.56 s
################
# More data... #
################
Current children cumulated memory: 344584 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.02 5/250 168379
/proc/meminfo: memFree=102974308/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=411964 memory=345992 CPUtime=3033.21 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 77146 0 0 0 303134 187 0 0 20 0 1 0 241654564 421851136 86498 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 102991 86498 2496 595 0 87658 0
Current children cumulated CPU time: 3033.21 s
Current children cumulated vsize: 411964 KiB
Current children cumulated memory: 345992 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.03 5/250 168381
/proc/meminfo: memFree=102955380/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=411964 memory=345992 CPUtime=3093 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 77147 0 0 0 309108 192 0 0 20 0 1 0 241654564 421851136 86498 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 102991 86498 2496 595 0 87658 0
Current children cumulated CPU time: 3093 s
Current children cumulated vsize: 411964 KiB
Current children cumulated memory: 345992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.03 5/250 168383
/proc/meminfo: memFree=102941100/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=413496 memory=347016 CPUtime=3152.79 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 77410 0 0 0 315086 193 0 0 20 0 1 0 241654564 423419904 86754 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 103374 86754 2496 595 0 88041 0
Current children cumulated CPU time: 3152.79 s
Current children cumulated vsize: 413496 KiB
Current children cumulated memory: 347016 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/250 168385
/proc/meminfo: memFree=102949992/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=413496 memory=347400 CPUtime=3212.58 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 77501 0 0 0 321063 195 0 0 20 0 1 0 241654564 423419904 86850 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 103374 86850 2496 595 0 88041 0
Current children cumulated CPU time: 3212.58 s
Current children cumulated vsize: 413496 KiB
Current children cumulated memory: 347400 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/250 168387
/proc/meminfo: memFree=102965016/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=414012 memory=348168 CPUtime=3272.37 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 77697 0 0 0 327031 206 0 0 20 0 1 0 241654564 423948288 87042 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 103503 87042 2496 595 0 88170 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 414012 KiB
Current children cumulated memory: 348168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/250 168389
/proc/meminfo: memFree=102952700/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=415036 memory=349320 CPUtime=3332.15 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 77964 0 0 0 333009 206 0 0 20 0 1 0 241654564 424996864 87330 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 103759 87330 2496 595 0 88426 0
Current children cumulated CPU time: 3332.15 s
Current children cumulated vsize: 415036 KiB
Current children cumulated memory: 349320 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/248 168391
/proc/meminfo: memFree=102942168/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=415864 memory=350088 CPUtime=3391.95 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 78171 0 0 0 338988 207 0 0 20 0 1 0 241654564 425844736 87522 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 103966 87522 2496 595 0 88633 0
Current children cumulated CPU time: 3391.95 s
Current children cumulated vsize: 415864 KiB
Current children cumulated memory: 350088 KiB
[startup+3462.3 s]
/proc/loadavg: 4.41 4.18 4.06 5/248 168393
/proc/meminfo: memFree=102934376/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=417712 memory=351624 CPUtime=3451.74 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 78555 0 0 0 344965 209 0 0 20 0 1 0 241654564 427737088 87906 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 104428 87906 2496 595 0 89095 0
Current children cumulated CPU time: 3451.74 s
Current children cumulated vsize: 417712 KiB
Current children cumulated memory: 351624 KiB
[startup+3522.3 s]
/proc/loadavg: 4.61 4.30 4.11 5/248 168395
/proc/meminfo: memFree=102897120/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=419280 memory=352776 CPUtime=3511.53 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 78833 0 0 0 350942 211 0 0 20 0 1 0 241654564 429342720 88194 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 104820 88194 2496 595 0 89487 0
Current children cumulated CPU time: 3511.53 s
Current children cumulated vsize: 419280 KiB
Current children cumulated memory: 352776 KiB
[startup+3582.3 s]
/proc/loadavg: 4.33 4.27 4.11 5/250 168401
/proc/meminfo: memFree=102871308/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=420216 memory=354440 CPUtime=3571.32 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 79264 0 0 0 356910 222 0 0 20 0 1 0 241654564 430301184 88610 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 105054 88610 2496 595 0 89721 0
Current children cumulated CPU time: 3571.32 s
Current children cumulated vsize: 420216 KiB
Current children cumulated memory: 354440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.20 4.24 4.11 5/250 168402
/proc/meminfo: memFree=102865876/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=421720 memory=355976 CPUtime=3600.02 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 79635 0 0 0 359780 222 0 0 20 0 1 0 241654564 431841280 88994 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 105430 88994 2496 595 0 90097 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 421720 KiB
Current children cumulated memory: 355976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.78 s]
# the end of solver process 167953 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.46 s, system=2.23094 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.20 4.24 4.11 5/250 168402
/proc/meminfo: memFree=102865876/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=391524 memory=334256 CPUtime=3600.11 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 79640 0 0 0 359789 222 0 0 20 0 1 0 241654564 400920576 83564 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 97881 83564 2560 595 0 82548 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 391524 KiB
Current children cumulated memory: 334256 KiB
[startup+3611.6 s]
/proc/loadavg: 4.20 4.24 4.11 5/250 168402
/proc/meminfo: memFree=102865876/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=391524 memory=334256 CPUtime=3600.51 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 79640 0 0 0 359829 222 0 0 20 0 1 0 241654564 400920576 83564 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 97881 83564 2560 595 0 82548 0
Current children cumulated CPU time: 3600.51 s
Current children cumulated vsize: 391524 KiB
Current children cumulated memory: 334256 KiB
[startup+3611.7 s]
/proc/loadavg: 4.20 4.24 4.11 5/250 168402
/proc/meminfo: memFree=102865876/131382120 swapFree=33010160/33010684
[pid=167953] ppid=167950 vsize=391524 memory=334256 CPUtime=3600.61 cores=1,3
/proc/167953/stat : 167953 (SynLSCD-PS) R 167950 167953 167733 0 -1 4194304 79640 0 0 0 359839 222 0 0 20 0 1 0 241654564 400920576 83564 18446744073709551615 93960801292288 93960803727705 140733313439440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93960804207864 93960804240896 93960812863488 140733313444221 140733313444359 140733313444359 140733313449963 0
/proc/167953/statm: 97881 83564 2560 595 0 82548 0
Current children cumulated CPU time: 3600.61 s
Current children cumulated vsize: 391524 KiB
Current children cumulated memory: 334256 KiB
Child status: 0
Real time (s): 3611.78
CPU time (s): 3600.69
CPU user time (s): 3598.46
CPU system time (s): 2.23094
CPU usage (%): 99.6932
Max. virtual memory (cumulated for all children) (KiB): 421720
Max. memory (cumulated for all children) (KiB): 355976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.46
system time used= 2.23094
maximum resident set size= 356232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79666
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= 217
involuntary context switches= 2379
# summary of solver processes directly reported to runsolver:
# pid: 167953
# total CPU time (s): 3600.69
# total CPU user time (s): 3598.46
# total CPU system time (s): 2.23094
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4127 second user time and 33.6622 second system time
The end
Begin job on nodeC003 at 2025-07-23 10:35:56
IDJOB=4546250
IDBENCH=152989
IDSOLVER=3422
FILE ID=nodeC003/4546250-1753259755
RUNJOBID= nodeC003-1753259701-167752
SLURM_JOB_ID= 9689158
Free space on /tmp= 432132 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j90/normalized-j9013_10-sat.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-4546250-1753259755/watcher-4546250-1753259755 -o /tmp/evaluation-result-4546250-1753259755/solver-4546250-1753259755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753259701-167752 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546250-1753259755.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= be0542d3b59031398d11b8d8792cc86e
RANDOM SEED=381433518
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.718
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.168
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.271
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.584
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3659.490
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.247
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.037
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 101315724 kB
MemAvailable: 127753764 kB
Buffers: 2736 kB
Cached: 27198172 kB
SwapCached: 36 kB
Active: 2905804 kB
Inactive: 26092852 kB
Active(anon): 1816260 kB
Inactive(anon): 7604 kB
Active(file): 1089544 kB
Inactive(file): 26085248 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 43680 kB
Writeback: 0 kB
AnonPages: 1800892 kB
Mapped: 116876 kB
Shmem: 26116 kB
KReclaimable: 205748 kB
Slab: 297040 kB
SReclaimable: 205748 kB
SUnreclaim: 91292 kB
KernelStack: 4032 kB
PageTables: 6732 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2413884 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1257472 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432248 MiB
End job on nodeC003 at 2025-07-23 11:36:11