runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62814 MiB free)
memory of node 1: 64465 MiB (60039 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482217-1751152397/watcher-4482217-1751152397 -o /tmp/evaluation-result-4482217-1751152397/solver-4482217-1751152397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751145766-15273 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=22273662 --ls=360 HOME/instance-4482217-1751152397.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17245, runsolver pid=17242
[startup+0.10007 s]*
/proc/loadavg: 4.06 4.14 4.13 5/264 17246
/proc/meminfo: memFree=125785288/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=43196 memory=21528 CPUtime=0.09 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 4330 0 0 0 9 0 0 0 20 0 1 0 30862222 44232704 5382 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 10799 5382 1024 1200 0 9279 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43196 KiB
Current children cumulated memory: 21528 KiB
[startup+0.205523 s]*
/proc/loadavg: 4.06 4.14 4.13 5/264 17246
/proc/meminfo: memFree=125765316/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=56548 memory=36092 CPUtime=0.19 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 7319 0 0 0 18 1 0 0 20 0 1 0 30862222 57905152 9023 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 14137 9023 1024 1200 0 12617 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 56548 KiB
Current children cumulated memory: 36092 KiB
[startup+0.305467 s]*
/proc/loadavg: 4.06 4.14 4.13 5/264 17246
/proc/meminfo: memFree=125741376/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=79560 memory=55980 CPUtime=0.29 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 12037 0 0 0 27 2 0 0 20 0 1 0 30862222 81469440 13995 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 19890 13995 1024 1200 0 18370 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79560 KiB
Current children cumulated memory: 55980 KiB
[startup+0.700135 s]
/proc/loadavg: 4.06 4.14 4.13 5/264 17246
/proc/meminfo: memFree=125731420/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=95480 memory=77388 CPUtime=0.68 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 14840 0 0 0 65 3 0 0 20 0 1 0 30862222 97771520 19347 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 23870 19347 1024 1200 0 22350 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 95480 KiB
Current children cumulated memory: 77388 KiB
[startup+1.50019 s]
/proc/loadavg: 4.06 4.14 4.13 5/264 17246
/proc/meminfo: memFree=125757516/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=95480 memory=77388 CPUtime=1.48 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 14840 0 0 0 145 3 0 0 20 0 1 0 30862222 97771520 19347 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 23870 19347 1024 1200 0 22350 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 95480 KiB
Current children cumulated memory: 77388 KiB
[startup+3.10545 s]
/proc/loadavg: 4.06 4.14 4.13 5/264 17246
/proc/meminfo: memFree=125784464/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=95480 memory=77388 CPUtime=3.07 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 14847 0 0 0 304 3 0 0 20 0 1 0 30862222 97771520 19347 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 23870 19347 1024 1200 0 22350 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 95480 KiB
Current children cumulated memory: 77388 KiB
[startup+6.30019 s]
/proc/loadavg: 4.14 4.16 4.13 5/264 17246
/proc/meminfo: memFree=125822572/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=95480 memory=77388 CPUtime=6.26 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 14854 0 0 0 623 3 0 0 20 0 1 0 30862222 97771520 19347 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 23870 19347 1024 1200 0 22350 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 95480 KiB
Current children cumulated memory: 77388 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.15 4.13 5/264 17246
/proc/meminfo: memFree=125874608/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=95480 memory=77388 CPUtime=12.63 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 14861 0 0 0 1260 3 0 0 20 0 1 0 30862222 97771520 19347 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 23870 19347 1024 1200 0 22350 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 95480 KiB
Current children cumulated memory: 77388 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.14 4.13 5/264 17291
/proc/meminfo: memFree=126489764/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=95480 memory=77388 CPUtime=25.38 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 14862 0 0 0 2535 3 0 0 20 0 1 0 30862222 97771520 19347 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 23870 19347 1024 1200 0 22350 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 95480 KiB
Current children cumulated memory: 77388 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.15 4.13 5/264 17292
/proc/meminfo: memFree=126481280/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=95480 memory=77388 CPUtime=50.89 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 14875 0 0 0 5086 3 0 0 20 0 1 0 30862222 97771520 19347 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 23870 19347 1024 1200 0 22350 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 95480 KiB
Current children cumulated memory: 77388 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/265 17339
/proc/meminfo: memFree=129296784/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=95480 memory=77388 CPUtime=101.9 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 14889 0 0 0 10187 3 0 0 20 0 1 0 30862222 97771520 19347 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 23870 19347 1024 1200 0 22350 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 95480 KiB
Current children cumulated memory: 77388 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/265 17344
/proc/meminfo: memFree=129258548/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=95480 memory=77388 CPUtime=161.65 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 14896 0 0 0 16162 3 0 0 20 0 1 0 30862222 97771520 19347 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 23870 19347 1024 1200 0 22350 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 95480 KiB
Current children cumulated memory: 77388 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/264 17346
/proc/meminfo: memFree=129266032/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=95480 memory=77388 CPUtime=221.41 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 14903 0 0 0 22138 3 0 0 20 0 1 0 30862222 97771520 19347 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 23870 19347 1024 1200 0 22350 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 95480 KiB
Current children cumulated memory: 77388 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/264 17348
/proc/meminfo: memFree=128868200/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=95480 memory=77388 CPUtime=281.18 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 14917 0 0 0 28115 3 0 0 20 0 1 0 30862222 97771520 19347 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 23870 19347 1024 1200 0 22350 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 95480 KiB
Current children cumulated memory: 77388 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/265 17355
/proc/meminfo: memFree=128854628/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=95480 memory=79948 CPUtime=340.97 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 14934 0 0 0 34094 3 0 0 20 0 1 0 30862222 97771520 19987 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 23870 19987 1024 1200 0 22350 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 95480 KiB
Current children cumulated memory: 79948 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/264 17402
/proc/meminfo: memFree=129248408/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=202336 memory=193720 CPUtime=400.8 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 26523 0 0 0 40072 8 0 0 20 0 1 0 30862222 207192064 48430 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 50584 48430 1248 1200 0 49064 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 202336 KiB
Current children cumulated memory: 193720 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/264 17448
/proc/meminfo: memFree=129248356/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=213092 memory=202596 CPUtime=460.63 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 27216 0 0 0 46052 11 0 0 20 0 1 0 30862222 218206208 50649 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 53273 50649 1248 1200 0 51753 0
################
# More data... #
################
/proc/loadavg: 4.11 4.13 4.10 5/263 17810
/proc/meminfo: memFree=129896112/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=240020 memory=233600 CPUtime=1537.68 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 33583 0 0 0 153737 31 0 0 20 0 1 0 30862222 245780480 58400 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 60005 58400 1248 1200 0 58485 0
Current children cumulated CPU time: 1537.68 s
Current children cumulated vsize: 240020 KiB
Current children cumulated memory: 233600 KiB
[startup+1602.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 17817
/proc/meminfo: memFree=129879408/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=245084 memory=234880 CPUtime=1597.53 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 33983 0 0 0 159720 33 0 0 20 0 1 0 30862222 250966016 58720 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 61271 58720 1248 1200 0 59751 0
Current children cumulated CPU time: 1597.53 s
Current children cumulated vsize: 245084 KiB
Current children cumulated memory: 234880 KiB
[startup+1662.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/264 17819
/proc/meminfo: memFree=129891184/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=245084 memory=237516 CPUtime=1657.38 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 34118 0 0 0 165705 33 0 0 20 0 1 0 30862222 250966016 59379 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 61271 59379 1248 1200 0 59751 0
Current children cumulated CPU time: 1657.38 s
Current children cumulated vsize: 245084 KiB
Current children cumulated memory: 237516 KiB
[startup+1722.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 17822
/proc/meminfo: memFree=129890308/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=245084 memory=238668 CPUtime=1717.22 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 34423 0 0 0 171688 34 0 0 20 0 1 0 30862222 250966016 59667 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 61271 59667 1248 1200 0 59751 0
Current children cumulated CPU time: 1717.22 s
Current children cumulated vsize: 245084 KiB
Current children cumulated memory: 238668 KiB
[startup+1782.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 17824
/proc/meminfo: memFree=129879184/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=246796 memory=240332 CPUtime=1777.07 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 34839 0 0 0 177673 34 0 0 20 0 1 0 30862222 252719104 60083 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 61699 60083 1248 1200 0 60179 0
Current children cumulated CPU time: 1777.07 s
Current children cumulated vsize: 246796 KiB
Current children cumulated memory: 240332 KiB
[startup+1842.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 17915
/proc/meminfo: memFree=129889188/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=253500 memory=242892 CPUtime=1836.88 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 35482 0 0 0 183653 35 0 0 20 0 1 0 30862222 259584000 60723 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 63375 60723 1248 1200 0 61855 0
Current children cumulated CPU time: 1836.88 s
Current children cumulated vsize: 253500 KiB
Current children cumulated memory: 242892 KiB
[startup+1899.5 s]
# the end of solver process 17245 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1893.52 s, system=0.380722 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1843.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 17915
/proc/meminfo: memFree=129889188/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=253500 memory=243276 CPUtime=1837.78 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 35578 0 0 0 183742 36 0 0 20 0 1 0 30862222 259584000 60819 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 63375 60819 1248 1200 0 61855 0
Current children cumulated CPU time: 1837.78 s
Current children cumulated vsize: 253500 KiB
Current children cumulated memory: 243276 KiB
[startup+1868.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 17960
/proc/meminfo: memFree=129888980/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=253500 memory=243276 CPUtime=1863.29 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 35578 0 0 0 186292 37 0 0 20 0 1 0 30862222 259584000 60819 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 63375 60819 1248 1200 0 61855 0
Current children cumulated CPU time: 1863.29 s
Current children cumulated vsize: 253500 KiB
Current children cumulated memory: 243276 KiB
[startup+1881.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 17960
/proc/meminfo: memFree=129889012/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=253500 memory=243276 CPUtime=1876.05 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 35578 0 0 0 187568 37 0 0 20 0 1 0 30862222 259584000 60819 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 63375 60819 1248 1200 0 61855 0
Current children cumulated CPU time: 1876.05 s
Current children cumulated vsize: 253500 KiB
Current children cumulated memory: 243276 KiB
[startup+1888 s]*
/proc/loadavg: 4.10 4.11 4.09 5/265 17961
/proc/meminfo: memFree=129889012/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=253500 memory=243276 CPUtime=1882.43 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 35578 0 0 0 188206 37 0 0 20 0 1 0 30862222 259584000 60819 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 63375 60819 1248 1200 0 61855 0
Current children cumulated CPU time: 1882.43 s
Current children cumulated vsize: 253500 KiB
Current children cumulated memory: 243276 KiB
[startup+1894.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 17961
/proc/meminfo: memFree=129889012/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=253500 memory=243276 CPUtime=1888.8 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 35578 0 0 0 188843 37 0 0 20 0 1 0 30862222 259584000 60819 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 63375 60819 1248 1200 0 61855 0
Current children cumulated CPU time: 1888.8 s
Current children cumulated vsize: 253500 KiB
Current children cumulated memory: 243276 KiB
[startup+1897.6 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 17961
/proc/meminfo: memFree=129889012/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=253500 memory=243276 CPUtime=1891.99 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 35578 0 0 0 189162 37 0 0 20 0 1 0 30862222 259584000 60819 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 63375 60819 1248 1200 0 61855 0
Current children cumulated CPU time: 1891.99 s
Current children cumulated vsize: 253500 KiB
Current children cumulated memory: 243276 KiB
[startup+1898.4 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 17961
/proc/meminfo: memFree=129889012/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=253500 memory=243276 CPUtime=1892.79 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 35578 0 0 0 189242 37 0 0 20 0 1 0 30862222 259584000 60819 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 63375 60819 1248 1200 0 61855 0
Current children cumulated CPU time: 1892.79 s
Current children cumulated vsize: 253500 KiB
Current children cumulated memory: 243276 KiB
[startup+1899.2 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 17961
/proc/meminfo: memFree=129889020/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=253500 memory=243276 CPUtime=1893.58 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 35578 0 0 0 189321 37 0 0 20 0 1 0 30862222 259584000 60819 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 63375 60819 1248 1200 0 61855 0
Current children cumulated CPU time: 1893.58 s
Current children cumulated vsize: 253500 KiB
Current children cumulated memory: 243276 KiB
[startup+1899.4 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 17961
/proc/meminfo: memFree=129889020/131250000 swapFree=33010684/33010684
[pid=17245] ppid=17242 vsize=253500 memory=243276 CPUtime=1893.78 cores=0,2
/proc/17245/stat : 17245 (Exact) R 17242 17245 15263 0 -1 4194304 35578 0 0 0 189341 37 0 0 20 0 1 0 30862222 259584000 60819 18446744073709551615 4198400 9112445 140731080586512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 41562112 140731080591676 140731080591853 140731080591853 140731080597455 0
/proc/17245/statm: 63375 60819 1248 1200 0 61855 0
Current children cumulated CPU time: 1893.78 s
Current children cumulated vsize: 253500 KiB
Current children cumulated memory: 243276 KiB
Child status: 30
Real time (s): 1899.5
CPU time (s): 1893.9
CPU user time (s): 1893.52
CPU system time (s): 0.380722
CPU usage (%): 99.7051
Max. virtual memory (cumulated for all children) (KiB): 253500
Max. memory (cumulated for all children) (KiB): 243276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1893.52
system time used= 0.380722
maximum resident set size= 243404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35590
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= 45
involuntary context switches= 2731
# summary of solver processes directly reported to runsolver:
# pid: 17245
# total CPU time (s): 1893.9
# total CPU user time (s): 1893.52
# total CPU system time (s): 0.380722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.43121 second user time and 7.74771 second system time
The end
Begin job on nodeC028 at 2025-06-29 01:13:17
IDJOB=4482217
IDBENCH=147894
IDSOLVER=3317
FILE ID=nodeC028/4482217-1751152397
RUNJOBID= nodeC028-1751145766-15273
SLURM_JOB_ID= 9587451
Free space on /tmp= 432896 MiB
SOLVER NAME= Exact 2025-06-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4482217-1751152397/watcher-4482217-1751152397 -o /tmp/evaluation-result-4482217-1751152397/solver-4482217-1751152397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751145766-15273 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=22273662 --ls=360 HOME/instance-4482217-1751152397.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 392bb637b95a9bbde51dfdce2cdaf17a
RANDOM SEED=22273662
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3560.003
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.059
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.066
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.238
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.156
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.111
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3614.258
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 125802488 kB
MemAvailable: 125544592 kB
Buffers: 3280 kB
Cached: 553260 kB
SwapCached: 0 kB
Active: 4332244 kB
Inactive: 331500 kB
Active(anon): 4125272 kB
Inactive(anon): 0 kB
Active(file): 206972 kB
Inactive(file): 331500 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 12652 kB
Writeback: 0 kB
AnonPages: 4110004 kB
Mapped: 116500 kB
Shmem: 18068 kB
KReclaimable: 85740 kB
Slab: 168032 kB
SReclaimable: 85740 kB
SUnreclaim: 82292 kB
KernelStack: 4272 kB
PageTables: 11128 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 4756192 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2496512 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC028 at 2025-06-29 01:44:57