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 (45857 MiB free)
memory of node 1: 64507 MiB (50597 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546370-1753259804/watcher-4546370-1753259804 -o /tmp/evaluation-result-4546370-1753259804/solver-4546370-1753259804 -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-4546370-1753259804.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
solver pid=187243, runsolver pid=187240
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 3.39 1.27 0.52 5/254 187244
/proc/meminfo: memFree=98777728/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=84760 memory=11776 CPUtime=0.08 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 830 0 0 0 8 0 0 0 20 0 1 0 241660176 86794240 2944 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 21190 2944 2400 595 0 5857 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 84760 KiB
Current children cumulated memory: 11776 KiB
[startup+0.215667 s]*
/proc/loadavg: 3.39 1.27 0.52 5/254 187244
/proc/meminfo: memFree=98777728/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=84760 memory=11776 CPUtime=0.18 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 830 0 0 0 18 0 0 0 20 0 1 0 241660176 86794240 2944 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 21190 2944 2400 595 0 5857 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 84760 KiB
Current children cumulated memory: 11776 KiB
[startup+0.313747 s]*
/proc/loadavg: 3.39 1.27 0.52 5/254 187244
/proc/meminfo: memFree=98777728/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=84760 memory=11776 CPUtime=0.28 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 830 0 0 0 28 0 0 0 20 0 1 0 241660176 86794240 2944 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 21190 2944 2400 595 0 5857 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 84760 KiB
Current children cumulated memory: 11776 KiB
[startup+0.70024 s]
/proc/loadavg: 3.39 1.27 0.52 5/254 187244
/proc/meminfo: memFree=98777728/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=84760 memory=11776 CPUtime=0.65 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 830 0 0 0 65 0 0 0 20 0 1 0 241660176 86794240 2944 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 21190 2944 2400 595 0 5857 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 84760 KiB
Current children cumulated memory: 11776 KiB
[startup+1.50025 s]
/proc/loadavg: 3.39 1.27 0.52 5/254 187244
/proc/meminfo: memFree=98777728/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=84760 memory=11776 CPUtime=1.45 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 830 0 0 0 145 0 0 0 20 0 1 0 241660176 86794240 2944 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 21190 2944 2400 595 0 5857 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 84760 KiB
Current children cumulated memory: 11776 KiB
[startup+3.11388 s]
/proc/loadavg: 3.44 1.31 0.53 5/254 187244
/proc/meminfo: memFree=98794596/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=84760 memory=11776 CPUtime=3.06 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 830 0 0 0 306 0 0 0 20 0 1 0 241660176 86794240 2944 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 21190 2944 2400 595 0 5857 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 84760 KiB
Current children cumulated memory: 11776 KiB
[startup+6.30024 s]
/proc/loadavg: 3.44 1.31 0.53 5/254 187244
/proc/meminfo: memFree=98807364/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=85784 memory=15908 CPUtime=6.24 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 1364 0 0 0 623 1 0 0 20 0 1 0 241660176 87842816 3977 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 21446 3977 2432 595 0 6113 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 85784 KiB
Current children cumulated memory: 15908 KiB
[startup+12.7002 s]
/proc/loadavg: 3.60 1.42 0.58 5/254 187244
/proc/meminfo: memFree=98857340/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=87756 memory=17856 CPUtime=12.62 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 2811 0 0 0 1252 10 0 0 20 0 1 0 241660176 89862144 4464 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 21939 4464 2432 595 0 6606 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 87756 KiB
Current children cumulated memory: 17856 KiB
[startup+25.5003 s]
/proc/loadavg: 3.66 1.50 0.61 5/253 187244
/proc/meminfo: memFree=98955076/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=89172 memory=19108 CPUtime=25.38 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 6057 0 0 0 2511 27 0 0 20 0 1 0 241660176 91312128 4777 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 22293 4777 2432 595 0 6960 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 89172 KiB
Current children cumulated memory: 19108 KiB
[startup+51.1137 s]
/proc/loadavg: 3.78 1.71 0.71 5/251 187245
/proc/meminfo: memFree=99068600/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=90532 memory=22560 CPUtime=50.92 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 10620 0 0 0 5039 53 0 0 20 0 1 0 241660176 92704768 5640 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 22633 5640 2432 595 0 7300 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 90532 KiB
Current children cumulated memory: 22560 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 2.12 0.91 5/251 187247
/proc/meminfo: memFree=99022708/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=91928 memory=23912 CPUtime=101.94 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 19523 0 0 0 10079 115 0 0 20 0 1 0 241660176 94134272 5978 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 22982 5978 2432 595 0 7649 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 91928 KiB
Current children cumulated memory: 23912 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 2.48 1.11 5/250 187249
/proc/meminfo: memFree=98981800/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=93592 memory=25580 CPUtime=161.73 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 28129 0 0 0 15992 181 0 0 20 0 1 0 241660176 95838208 6395 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 23398 6395 2432 595 0 8065 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 93592 KiB
Current children cumulated memory: 25580 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.78 1.30 5/251 187296
/proc/meminfo: memFree=99200584/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=94260 memory=26248 CPUtime=221.52 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 39330 0 0 0 21887 265 0 0 20 0 1 0 241660176 96522240 6562 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 23565 6562 2432 595 0 8232 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 94260 KiB
Current children cumulated memory: 26248 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.03 1.48 5/251 187388
/proc/meminfo: memFree=99161968/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=94804 memory=26796 CPUtime=281.28 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 50053 0 0 0 27787 341 0 0 20 0 1 0 241660176 97079296 6699 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 23701 6699 2432 595 0 8368 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 94804 KiB
Current children cumulated memory: 26796 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.23 1.65 5/251 187390
/proc/meminfo: memFree=99151796/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=95316 memory=27304 CPUtime=341.11 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 59626 0 0 0 33696 415 0 0 20 0 1 0 241660176 97603584 6826 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 23829 6826 2432 595 0 8496 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 95316 KiB
Current children cumulated memory: 27304 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.38 1.80 5/251 187395
/proc/meminfo: memFree=99142744/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=95732 memory=27720 CPUtime=400.93 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 68147 0 0 0 39601 492 0 0 20 0 1 0 241660176 98029568 6930 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 23933 6930 2432 595 0 8600 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 95732 KiB
Current children cumulated memory: 27720 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.53 1.95 5/252 187442
/proc/meminfo: memFree=99115972/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=96340 memory=28328 CPUtime=460.77 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 77281 0 0 0 45511 566 0 0 20 0 1 0 241660176 98652160 7082 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 24085 7082 2432 595 0 8752 0
Current children cumulated CPU time: 460.77 s
################
# More data... #
################
Current children cumulated memory: 34664 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.15 4.02 5/252 187578
/proc/meminfo: memFree=98935176/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=102740 memory=34728 CPUtime=2853.58 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 397289 0 0 0 281955 3403 0 0 20 0 1 0 241660176 105205760 8682 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 25685 8682 2432 595 0 10352 0
Current children cumulated CPU time: 2853.58 s
Current children cumulated vsize: 102740 KiB
Current children cumulated memory: 34728 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.15 4.02 5/252 187581
/proc/meminfo: memFree=98934844/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=103252 memory=35184 CPUtime=2913.39 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 403673 0 0 0 287867 3472 0 0 20 0 1 0 241660176 105730048 8796 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 25813 8796 2432 595 0 10480 0
Current children cumulated CPU time: 2913.39 s
Current children cumulated vsize: 103252 KiB
Current children cumulated memory: 35184 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.14 4.02 5/250 187587
/proc/meminfo: memFree=98941704/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=103764 memory=35696 CPUtime=2973.19 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 407359 0 0 0 293782 3537 0 0 20 0 1 0 241660176 106254336 8924 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 25941 8924 2432 595 0 10608 0
Current children cumulated CPU time: 2973.19 s
Current children cumulated vsize: 103764 KiB
Current children cumulated memory: 35696 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.14 4.03 5/250 187589
/proc/meminfo: memFree=98933672/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=104020 memory=35824 CPUtime=3032.99 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 411179 0 0 0 299692 3607 0 0 20 0 1 0 241660176 106516480 8956 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 26005 8956 2432 595 0 10672 0
Current children cumulated CPU time: 3032.99 s
Current children cumulated vsize: 104020 KiB
Current children cumulated memory: 35824 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.03 5/250 187591
/proc/meminfo: memFree=98932932/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=104532 memory=36336 CPUtime=3092.79 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 411552 0 0 0 305607 3672 0 0 20 0 1 0 241660176 107040768 9084 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 26133 9084 2432 595 0 10800 0
Current children cumulated CPU time: 3092.79 s
Current children cumulated vsize: 104532 KiB
Current children cumulated memory: 36336 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.13 4.03 5/250 187594
/proc/meminfo: memFree=98928592/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=104660 memory=36336 CPUtime=3152.6 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 411709 0 0 0 311519 3741 0 0 20 0 1 0 241660176 107171840 9084 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 26165 9084 2432 595 0 10832 0
Current children cumulated CPU time: 3152.6 s
Current children cumulated vsize: 104660 KiB
Current children cumulated memory: 36336 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.03 5/250 187596
/proc/meminfo: memFree=98925252/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=104660 memory=36336 CPUtime=3212.43 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 414439 0 0 0 317434 3809 0 0 20 0 1 0 241660176 107171840 9084 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 26165 9084 2432 595 0 10832 0
Current children cumulated CPU time: 3212.43 s
Current children cumulated vsize: 104660 KiB
Current children cumulated memory: 36336 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/250 187598
/proc/meminfo: memFree=98928632/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=104788 memory=36464 CPUtime=3272.27 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 414926 0 0 0 323348 3879 0 0 20 0 1 0 241660176 107302912 9116 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 26197 9116 2432 595 0 10864 0
Current children cumulated CPU time: 3272.27 s
Current children cumulated vsize: 104788 KiB
Current children cumulated memory: 36464 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.04 5/250 187600
/proc/meminfo: memFree=98915856/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=104788 memory=36464 CPUtime=3332.11 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 416018 0 0 0 329267 3944 0 0 20 0 1 0 241660176 107302912 9116 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 26197 9116 2432 595 0 10864 0
Current children cumulated CPU time: 3332.11 s
Current children cumulated vsize: 104788 KiB
Current children cumulated memory: 36464 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/250 187602
/proc/meminfo: memFree=98917016/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=104532 memory=36464 CPUtime=3391.95 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 418903 0 0 0 335173 4022 0 0 20 0 1 0 241660176 107040768 9116 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 26133 9116 2432 595 0 10800 0
Current children cumulated CPU time: 3391.95 s
Current children cumulated vsize: 104532 KiB
Current children cumulated memory: 36464 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/252 187608
/proc/meminfo: memFree=98915692/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=104532 memory=36464 CPUtime=3451.79 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 428276 0 0 0 341094 4085 0 0 20 0 1 0 241660176 107040768 9116 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 26133 9116 2432 595 0 10800 0
Current children cumulated CPU time: 3451.79 s
Current children cumulated vsize: 104532 KiB
Current children cumulated memory: 36464 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/252 187656
/proc/meminfo: memFree=99338524/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=104532 memory=36464 CPUtime=3511.61 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 441562 0 0 0 347004 4157 0 0 20 0 1 0 241660176 107040768 9116 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 26133 9116 2432 595 0 10800 0
Current children cumulated CPU time: 3511.61 s
Current children cumulated vsize: 104532 KiB
Current children cumulated memory: 36464 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.09 4.04 5/252 187702
/proc/meminfo: memFree=99163400/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=104532 memory=36464 CPUtime=3571.39 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 453938 0 0 0 352913 4226 0 0 20 0 1 0 241660176 107040768 9116 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 26133 9116 2432 595 0 10800 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 104532 KiB
Current children cumulated memory: 36464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.08 4.10 4.04 5/252 187707
/proc/meminfo: memFree=99158628/131382116 swapFree=33010684/33010684
[pid=187243] ppid=187240 vsize=104532 memory=36464 CPUtime=3600.01 cores=5,7
/proc/187243/stat : 187243 (SynLSCD-PS) R 187240 187243 186988 0 -1 4194304 460509 0 0 0 355742 4259 0 0 20 0 1 0 241660176 107040768 9116 18446744073709551615 93965011361792 93965013797209 140724256290064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93965014277368 93965014310400 93965024382976 140724256299389 140724256299527 140724256299527 140724256305131 0
/proc/187243/statm: 26133 9116 2432 595 0 10800 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 104532 KiB
Current children cumulated memory: 36464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.02 s]
# the end of solver process 187243 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3557.43 s, system=42.5924 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.02
CPU time (s): 3600.02
CPU user time (s): 3557.43
CPU system time (s): 42.5924
CPU usage (%): 99.6955
Max. virtual memory (cumulated for all children) (KiB): 105044
Max. memory (cumulated for all children) (KiB): 36720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.43
system time used= 42.5924
maximum resident set size= 36848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460540
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144
involuntary context switches= 20070
# summary of solver processes directly reported to runsolver:
# pid: 187243
# total CPU time (s): 3600.02
# total CPU user time (s): 3557.43
# total CPU system time (s): 42.5924
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9154 second user time and 34.4287 second system time
The end
Begin job on nodeC011 at 2025-07-23 10:36:45
IDJOB=4546370
IDBENCH=159141
IDSOLVER=3422
FILE ID=nodeC011/4546370-1753259804
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-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4546370-1753259804/watcher-4546370-1753259804 -o /tmp/evaluation-result-4546370-1753259804/solver-4546370-1753259804 -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-4546370-1753259804.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fdfc61e25e9264eb2f8645fd8f162aaa
RANDOM SEED=1834945035
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 : 3654.564
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 : 3662.320
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.342
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.541
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 : 3492.105
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.291
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.664
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.039
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: 98770432 kB
MemAvailable: 129070060 kB
Buffers: 3276 kB
Cached: 31068916 kB
SwapCached: 0 kB
Active: 1052172 kB
Inactive: 30553224 kB
Active(anon): 557280 kB
Inactive(anon): 2076 kB
Active(file): 494892 kB
Inactive(file): 30551148 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3400 kB
Writeback: 4 kB
AnonPages: 536352 kB
Mapped: 120216 kB
Shmem: 26152 kB
KReclaimable: 186048 kB
Slab: 279252 kB
SReclaimable: 186048 kB
SUnreclaim: 93204 kB
KernelStack: 4064 kB
PageTables: 4256 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 936024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 313344 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= 432796 MiB
End job on nodeC011 at 2025-07-23 11:36:56