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 (63201 MiB free)
memory of node 1: 64465 MiB (63781 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509874-1751179114/watcher-4509874-1751179114 -o /tmp/evaluation-result-4509874-1751179114/solver-4509874-1751179114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751170366-18596 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4509874-1751179114.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=19981, runsolver pid=19978
Current StackSize limit: 8192 KiB
[startup+0.100105 s]*
/proc/loadavg: 4.32 4.27 4.17 5/251 19982
/proc/meminfo: memFree=130029996/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=84764 memory=12160 CPUtime=0.09 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 839 0 0 0 7 2 0 0 20 0 1 0 33590229 86798336 3040 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 21191 3040 2496 595 0 5858 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 12160 KiB
[startup+0.213103 s]*
/proc/loadavg: 4.32 4.27 4.17 5/251 19982
/proc/meminfo: memFree=130029996/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=84764 memory=12160 CPUtime=0.2 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 839 0 0 0 16 4 0 0 20 0 1 0 33590229 86798336 3040 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 21191 3040 2496 595 0 5858 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 12160 KiB
[startup+0.313208 s]*
/proc/loadavg: 4.32 4.27 4.17 5/251 19982
/proc/meminfo: memFree=130029996/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=84764 memory=12160 CPUtime=0.3 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 839 0 0 0 24 6 0 0 20 0 1 0 33590229 86798336 3040 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 21191 3040 2496 595 0 5858 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 12160 KiB
[startup+0.700307 s]
/proc/loadavg: 4.32 4.27 4.17 5/251 19982
/proc/meminfo: memFree=130029996/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=84764 memory=12160 CPUtime=0.68 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 839 0 0 0 53 15 0 0 20 0 1 0 33590229 86798336 3040 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 21191 3040 2496 595 0 5858 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 12160 KiB
[startup+1.5003 s]
/proc/loadavg: 4.32 4.27 4.17 5/251 19982
/proc/meminfo: memFree=130029996/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=84764 memory=12160 CPUtime=1.47 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 839 0 0 0 117 30 0 0 20 0 1 0 33590229 86798336 3040 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 21191 3040 2496 595 0 5858 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 12160 KiB
[startup+3.11251 s]
/proc/loadavg: 4.32 4.27 4.17 5/251 19982
/proc/meminfo: memFree=130029996/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=84764 memory=12160 CPUtime=3.09 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 839 0 0 0 246 63 0 0 20 0 1 0 33590229 86798336 3040 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 21191 3040 2496 595 0 5858 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 12160 KiB
[startup+6.30031 s]
/proc/loadavg: 4.30 4.26 4.17 5/251 19982
/proc/meminfo: memFree=130029996/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=84764 memory=12160 CPUtime=6.27 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 839 0 0 0 505 122 0 0 20 0 1 0 33590229 86798336 3040 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 21191 3040 2496 595 0 5858 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 12160 KiB
[startup+12.7003 s]
/proc/loadavg: 4.27 4.26 4.17 5/251 19982
/proc/meminfo: memFree=130029996/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=87228 memory=17896 CPUtime=12.65 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 2584 0 0 0 1107 158 0 0 20 0 1 0 33590229 89321472 4474 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 21807 4474 2560 595 0 6474 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 87228 KiB
Current children cumulated memory: 17896 KiB
[startup+25.5003 s]
/proc/loadavg: 4.21 4.24 4.16 5/251 19983
/proc/meminfo: memFree=130030248/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=88308 memory=18836 CPUtime=25.42 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 4494 0 0 0 2238 304 0 0 20 0 1 0 33590229 90427392 4709 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 22077 4709 2560 595 0 6744 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 88308 KiB
Current children cumulated memory: 18836 KiB
[startup+51.114 s]
/proc/loadavg: 4.21 4.24 4.16 5/251 19983
/proc/meminfo: memFree=130030524/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=89412 memory=19952 CPUtime=50.97 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 7781 0 0 0 4519 578 0 0 20 0 1 0 33590229 91557888 4988 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 22353 4988 2560 595 0 7020 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 89412 KiB
Current children cumulated memory: 19952 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.22 4.16 5/251 19986
/proc/meminfo: memFree=130032280/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=90836 memory=21388 CPUtime=102.03 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 12746 0 0 0 9091 1112 0 0 20 0 1 0 33590229 93016064 5347 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 22709 5347 2560 595 0 7376 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 90836 KiB
Current children cumulated memory: 21388 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.19 4.15 5/251 19988
/proc/meminfo: memFree=130033300/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=92372 memory=24960 CPUtime=161.87 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 18950 0 0 0 14547 1640 0 0 20 0 1 0 33590229 94588928 6240 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 23093 6240 2560 595 0 7760 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 92372 KiB
Current children cumulated memory: 24960 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.18 4.15 5/251 19990
/proc/meminfo: memFree=130031064/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=92916 memory=25604 CPUtime=221.71 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 24923 0 0 0 19901 2270 0 0 20 0 1 0 33590229 95145984 6401 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 23229 6401 2560 595 0 7896 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 92916 KiB
Current children cumulated memory: 25604 KiB
[startup+282.3 s]
/proc/loadavg: 4.68 4.32 4.20 5/250 19994
/proc/meminfo: memFree=130022904/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=94068 memory=26660 CPUtime=281.55 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 33497 0 0 0 25508 2647 0 0 20 0 1 0 33590229 96325632 6665 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 23517 6665 2560 595 0 8184 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 94068 KiB
Current children cumulated memory: 26660 KiB
[startup+342.3 s]
/proc/loadavg: 4.47 4.33 4.22 5/250 19996
/proc/meminfo: memFree=130024164/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=94196 memory=26788 CPUtime=341.4 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 39799 0 0 0 30844 3296 0 0 20 0 1 0 33590229 96456704 6697 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 23549 6697 2560 595 0 8216 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 94196 KiB
Current children cumulated memory: 26788 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 4.29 4.20 5/250 20003
/proc/meminfo: memFree=130021832/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=94260 memory=26916 CPUtime=401.24 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 45859 0 0 0 36328 3796 0 0 20 0 1 0 33590229 96522240 6729 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 23565 6729 2560 595 0 8232 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 94260 KiB
Current children cumulated memory: 26916 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.26 4.20 5/250 20005
/proc/meminfo: memFree=130027600/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=94260 memory=26852 CPUtime=461.09 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 51891 0 0 0 41738 4371 0 0 20 0 1 0 33590229 96522240 6713 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 23565 6713 2560 595 0 8232 0
Current children cumulated CPU time: 461.09 s
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 1.15 1.29 2.26 2/233 20230
/proc/meminfo: memFree=130275212/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=100184 memory=32776 CPUtime=3094.32 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 336322 0 0 0 284664 24768 0 0 20 0 1 0 33590229 102588416 8194 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 25046 8194 2560 595 0 9713 0
Current children cumulated CPU time: 3094.32 s
Current children cumulated vsize: 100184 KiB
Current children cumulated memory: 32776 KiB
[startup+3162.3 s]
/proc/loadavg: 1.10 1.25 2.19 2/232 20233
/proc/meminfo: memFree=130275212/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=100248 memory=32840 CPUtime=3154.15 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 342800 0 0 0 290299 25116 0 0 20 0 1 0 33590229 102653952 8210 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 25062 8210 2560 595 0 9729 0
Current children cumulated CPU time: 3154.15 s
Current children cumulated vsize: 100248 KiB
Current children cumulated memory: 32840 KiB
[startup+3222.3 s]
/proc/loadavg: 1.08 1.21 2.11 2/232 20235
/proc/meminfo: memFree=130275260/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=100312 memory=32904 CPUtime=3213.98 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 348402 0 0 0 295693 25705 0 0 20 0 1 0 33590229 102719488 8226 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 25078 8226 2560 595 0 9745 0
Current children cumulated CPU time: 3213.98 s
Current children cumulated vsize: 100312 KiB
Current children cumulated memory: 32904 KiB
[startup+3282.3 s]
/proc/loadavg: 1.13 1.20 2.05 2/233 20240
/proc/meminfo: memFree=130275308/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=100568 memory=33160 CPUtime=3273.83 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 354596 0 0 0 301195 26188 0 0 20 0 1 0 33590229 102981632 8290 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 25142 8290 2560 595 0 9809 0
Current children cumulated CPU time: 3273.83 s
Current children cumulated vsize: 100568 KiB
Current children cumulated memory: 33160 KiB
[startup+3342.3 s]
/proc/loadavg: 1.10 1.18 1.99 2/232 20242
/proc/meminfo: memFree=130275308/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=100568 memory=33160 CPUtime=3333.67 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 359620 0 0 0 306608 26759 0 0 20 0 1 0 33590229 102981632 8290 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 25142 8290 2560 595 0 9809 0
Current children cumulated CPU time: 3333.67 s
Current children cumulated vsize: 100568 KiB
Current children cumulated memory: 33160 KiB
[startup+3402.3 s]
/proc/loadavg: 1.14 1.18 1.94 2/232 20244
/proc/meminfo: memFree=130275056/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=100760 memory=33352 CPUtime=3393.51 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 367374 0 0 0 312284 27067 0 0 20 0 1 0 33590229 103178240 8338 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 25190 8338 2560 595 0 9857 0
Current children cumulated CPU time: 3393.51 s
Current children cumulated vsize: 100760 KiB
Current children cumulated memory: 33352 KiB
[startup+3462.3 s]
/proc/loadavg: 1.11 1.16 1.88 2/233 20251
/proc/meminfo: memFree=130276036/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=101048 memory=33640 CPUtime=3453.33 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 376576 0 0 0 318194 27139 0 0 20 0 1 0 33590229 103473152 8410 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 25262 8410 2560 595 0 9929 0
Current children cumulated CPU time: 3453.33 s
Current children cumulated vsize: 101048 KiB
Current children cumulated memory: 33640 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.14 1.83 2/233 20253
/proc/meminfo: memFree=130275032/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=101112 memory=33744 CPUtime=3513.17 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 382450 0 0 0 323614 27703 0 0 20 0 1 0 33590229 103538688 8436 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 25278 8436 2560 595 0 9945 0
Current children cumulated CPU time: 3513.17 s
Current children cumulated vsize: 101112 KiB
Current children cumulated memory: 33744 KiB
[startup+3582.3 s]
/proc/loadavg: 1.13 1.14 1.78 2/232 20255
/proc/meminfo: memFree=130275316/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=101176 memory=33872 CPUtime=3573.01 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 389136 0 0 0 329161 28140 0 0 20 0 1 0 33590229 103604224 8468 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 25294 8468 2560 595 0 9961 0
Current children cumulated CPU time: 3573.01 s
Current children cumulated vsize: 101176 KiB
Current children cumulated memory: 33872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 1.08 1.13 1.76 2/232 20256
/proc/meminfo: memFree=130275316/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=101176 memory=33872 CPUtime=3600.04 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 391688 0 0 0 331599 28405 0 0 20 0 1 0 33590229 103604224 8468 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 25294 8468 2560 595 0 9961 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 101176 KiB
Current children cumulated memory: 33872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.4 s]
# the end of solver process 19981 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3317.59 s, system=284.456 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 1.08 1.13 1.76 2/232 20256
/proc/meminfo: memFree=130275316/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=101176 memory=33872 CPUtime=3600.24 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 391688 0 0 0 331616 28408 0 0 20 0 1 0 33590229 103604224 8468 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 25294 8468 2560 595 0 9961 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 101176 KiB
Current children cumulated memory: 33872 KiB
[startup+3610.4 s]
/proc/loadavg: 1.08 1.13 1.76 2/232 20256
/proc/meminfo: memFree=130275316/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=101176 memory=33872 CPUtime=3601.03 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 391688 0 0 0 331679 28424 0 0 20 0 1 0 33590229 103604224 8468 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 25294 8468 2560 595 0 9961 0
Current children cumulated CPU time: 3601.03 s
Current children cumulated vsize: 101176 KiB
Current children cumulated memory: 33872 KiB
[startup+3611.2 s]
/proc/loadavg: 1.16 1.15 1.76 2/232 20256
/proc/meminfo: memFree=130275316/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=101176 memory=33872 CPUtime=3601.83 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 391688 0 0 0 331743 28440 0 0 20 0 1 0 33590229 103604224 8468 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 25294 8468 2560 595 0 9961 0
Current children cumulated CPU time: 3601.83 s
Current children cumulated vsize: 101176 KiB
Current children cumulated memory: 33872 KiB
[startup+3611.4 s]
/proc/loadavg: 1.16 1.15 1.76 2/232 20256
/proc/meminfo: memFree=130275316/131382120 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=101176 memory=33872 CPUtime=3602.03 cores=1,3
/proc/19981/stat : 19981 (SynLSCD) R 19978 19981 18584 0 -1 4194304 391688 0 0 0 331758 28445 0 0 20 0 1 0 33590229 103604224 8468 18446744073709551615 94372660797440 94372663231593 140727832900624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94372663713016 94372663746048 94372698025984 140727832901990 140727832902123 140727832902123 140727832907725 0
/proc/19981/statm: 25294 8468 2560 595 0 9961 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 101176 KiB
Current children cumulated memory: 33872 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.4
CPU time (s): 3602.04
CPU user time (s): 3317.59
CPU system time (s): 284.456
CPU usage (%): 99.7409
Max. virtual memory (cumulated for all children) (KiB): 101176
Max. memory (cumulated for all children) (KiB): 33872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3317.59
system time used= 284.456
maximum resident set size= 34000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391688
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= 146
involuntary context switches= 1271
# summary of solver processes directly reported to runsolver:
# pid: 19981
# total CPU time (s): 3602.04
# total CPU user time (s): 3317.59
# total CPU system time (s): 284.456
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9406 second user time and 31.987 second system time
The end
Begin job on nodeC002 at 2025-06-29 08:38:34
IDJOB=4509874
IDBENCH=159141
IDSOLVER=3369
FILE ID=nodeC002/4509874-1751179114
RUNJOBID= nodeC002-1751170366-18596
SLURM_JOB_ID= 9587526
Free space on /tmp= 433048 MiB
SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509874-1751179114/watcher-4509874-1751179114 -o /tmp/evaluation-result-4509874-1751179114/solver-4509874-1751179114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751170366-18596 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4509874-1751179114.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fdfc61e25e9264eb2f8645fd8f162aaa
RANDOM SEED=234923534
nodeC002 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 : 3662.719
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.81
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.224
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.81
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.484
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.81
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.943
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.81
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 : 3662.651
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.81
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 : 3591.685
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.81
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.571
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.81
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.222
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130029996 kB
MemAvailable: 129675008 kB
Buffers: 3280 kB
Cached: 455440 kB
SwapCached: 0 kB
Active: 605500 kB
Inactive: 208280 kB
Active(anon): 373024 kB
Inactive(anon): 0 kB
Active(file): 232476 kB
Inactive(file): 208280 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3756 kB
Writeback: 0 kB
AnonPages: 357864 kB
Mapped: 113872 kB
Shmem: 17960 kB
KReclaimable: 85140 kB
Slab: 166720 kB
SReclaimable: 85140 kB
SUnreclaim: 81580 kB
KernelStack: 4096 kB
PageTables: 3864 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 742384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 272384 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC002 at 2025-06-29 09:38:46