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: 63665 MiB (61980 MiB free)
memory of node 1: 64507 MiB (59242 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515616-1751232024/watcher-4515616-1751232024 -o /tmp/evaluation-result-4515616-1751232024/solver-4515616-1751232024 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751227908-28508 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=923057302 --ls=0 --inp-dombreaklim=0 HOME/instance-4515616-1751232024.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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=29906, runsolver pid=29903
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.10 4.12 4.09 5/269 29907
/proc/meminfo: memFree=124082320/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=92676 memory=67192 CPUtime=0.09 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 14360 0 0 0 7 2 0 0 20 0 1 0 38882284 94900224 16798 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 23169 16798 1024 1200 0 21649 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 92676 KiB
Current children cumulated memory: 67192 KiB
[startup+0.205694 s]*
/proc/loadavg: 4.10 4.12 4.09 5/269 29907
/proc/meminfo: memFree=124062348/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=111956 memory=91200 CPUtime=0.2 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 19329 0 0 0 17 3 0 0 20 0 1 0 38882284 114642944 22800 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 27989 22800 1024 1200 0 26469 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111956 KiB
Current children cumulated memory: 91200 KiB
[startup+0.305531 s]*
/proc/loadavg: 4.10 4.12 4.09 5/269 29907
/proc/meminfo: memFree=124046220/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=123356 memory=102080 CPUtime=0.29 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 22048 0 0 0 26 3 0 0 20 0 1 0 38882284 126316544 25520 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 30839 25520 1024 1200 0 29319 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 123356 KiB
Current children cumulated memory: 102080 KiB
[startup+0.700173 s]
/proc/loadavg: 4.10 4.12 4.09 5/269 29907
/proc/meminfo: memFree=124006024/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=166128 memory=144824 CPUtime=0.69 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 32145 0 0 0 63 6 0 0 20 0 1 0 38882284 170115072 36206 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 41532 36206 1280 1200 0 40012 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 166128 KiB
Current children cumulated memory: 144824 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.12 4.09 5/269 29907
/proc/meminfo: memFree=123997968/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=168540 memory=151300 CPUtime=1.48 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 32746 0 0 0 142 6 0 0 20 0 1 0 38882284 172584960 37825 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 42135 37825 1280 1200 0 40615 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 168540 KiB
Current children cumulated memory: 151300 KiB
[startup+3.10535 s]
/proc/loadavg: 4.10 4.12 4.09 5/269 29907
/proc/meminfo: memFree=123998220/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=173380 memory=156292 CPUtime=3.08 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 33972 0 0 0 302 6 0 0 20 0 1 0 38882284 177541120 39073 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 43345 39073 1280 1200 0 41825 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 173380 KiB
Current children cumulated memory: 156292 KiB
[startup+6.30018 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 29907
/proc/meminfo: memFree=123974280/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=183280 memory=166148 CPUtime=6.27 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 36457 0 0 0 620 7 0 0 20 0 1 0 38882284 187678720 41537 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 45820 41537 1280 1200 0 44300 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 183280 KiB
Current children cumulated memory: 166148 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 29907
/proc/meminfo: memFree=123950844/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=194708 memory=177540 CPUtime=12.65 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 39314 0 0 0 1258 7 0 0 20 0 1 0 38882284 199380992 44385 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 48677 44385 1280 1200 0 47157 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 194708 KiB
Current children cumulated memory: 177540 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 29907
/proc/meminfo: memFree=123928000/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=212472 memory=195076 CPUtime=25.42 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 43708 0 0 0 2532 10 0 0 20 0 1 0 38882284 217571328 48769 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 53118 48769 1280 1200 0 51598 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 212472 KiB
Current children cumulated memory: 195076 KiB
[startup+51.1053 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 29907
/proc/meminfo: memFree=123869916/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=238880 memory=222924 CPUtime=50.95 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 50169 0 0 0 5082 13 0 0 20 0 1 0 38882284 244613120 55731 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 59720 55731 1280 1200 0 58200 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 238880 KiB
Current children cumulated memory: 222924 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 29909
/proc/meminfo: memFree=123741312/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=270892 memory=254284 CPUtime=102 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 58019 0 0 0 10186 14 0 0 20 0 1 0 38882284 277393408 63571 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 67723 63571 1280 1200 0 66203 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 270892 KiB
Current children cumulated memory: 254284 KiB
[startup+162.3 s]
/proc/loadavg: 4.42 4.22 4.13 5/263 29911
/proc/meminfo: memFree=123637248/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=314640 memory=296868 CPUtime=161.84 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 68168 0 0 0 16160 24 0 0 20 0 1 0 38882284 322191360 74217 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 78660 74217 1280 1200 0 77140 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 314640 KiB
Current children cumulated memory: 296868 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.20 4.12 5/263 29913
/proc/meminfo: memFree=123472196/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=345664 memory=327460 CPUtime=221.67 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 75846 0 0 0 22142 25 0 0 20 0 1 0 38882284 353959936 81865 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 86416 81865 1280 1200 0 84896 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 345664 KiB
Current children cumulated memory: 327460 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.19 4.12 5/263 29916
/proc/meminfo: memFree=123323828/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=397896 memory=377252 CPUtime=281.5 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 88272 0 0 0 28119 31 0 0 20 0 1 0 38882284 407445504 94313 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 99474 94313 1312 1200 0 97954 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 397896 KiB
Current children cumulated memory: 377252 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.17 4.12 5/264 29921
/proc/meminfo: memFree=123276384/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=418184 memory=397092 CPUtime=341.34 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 93215 0 0 0 34100 34 0 0 20 0 1 0 38882284 428220416 99273 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 104546 99273 1312 1200 0 103026 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 418184 KiB
Current children cumulated memory: 397092 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/264 29923
/proc/meminfo: memFree=123208660/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=443356 memory=420644 CPUtime=401.17 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 99121 0 0 0 40076 41 0 0 20 0 1 0 38882284 453996544 105161 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 110839 105161 1312 1200 0 109319 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 443356 KiB
Current children cumulated memory: 420644 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/264 29927
/proc/meminfo: memFree=123140744/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=469920 memory=445732 CPUtime=461.01 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 105422 0 0 0 46059 42 0 0 20 0 1 0 38882284 481198080 111433 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 117480 111433 1312 1200 0 115960 0
################
# More data... #
################
Current children cumulated memory: 1015836 KiB
[startup+2922.3 s]
/proc/loadavg: 3.10 3.13 3.41 4/259 30143
/proc/meminfo: memFree=123455408/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=1061664 memory=1018396 CPUtime=2914.03 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 248384 0 0 0 291194 209 0 0 20 0 1 0 38882284 1087143936 254599 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 265416 254599 1312 1200 0 263896 0
Current children cumulated CPU time: 2914.03 s
Current children cumulated vsize: 1061664 KiB
Current children cumulated memory: 1018396 KiB
[startup+2982.3 s]
/proc/loadavg: 3.08 3.12 3.38 4/259 30147
/proc/meminfo: memFree=123447712/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=1071788 memory=1027996 CPUtime=2973.86 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 250799 0 0 0 297176 210 0 0 20 0 1 0 38882284 1097510912 256999 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 267947 256999 1312 1200 0 266427 0
Current children cumulated CPU time: 2973.86 s
Current children cumulated vsize: 1071788 KiB
Current children cumulated memory: 1027996 KiB
[startup+3042.3 s]
/proc/loadavg: 3.12 3.12 3.37 4/258 30150
/proc/meminfo: memFree=123431784/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=1079848 memory=1036060 CPUtime=3033.69 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 252817 0 0 0 303158 211 0 0 20 0 1 0 38882284 1105764352 259015 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 269962 259015 1312 1200 0 268442 0
Current children cumulated CPU time: 3033.69 s
Current children cumulated vsize: 1079848 KiB
Current children cumulated memory: 1036060 KiB
[startup+3102.3 s]
/proc/loadavg: 3.09 3.11 3.35 4/257 30152
/proc/meminfo: memFree=123395276/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=1109788 memory=1064476 CPUtime=3093.51 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 259932 0 0 0 309139 212 0 0 20 0 1 0 38882284 1136422912 266119 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 277447 266119 1312 1200 0 275927 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 1109788 KiB
Current children cumulated memory: 1064476 KiB
[startup+3162.3 s]
/proc/loadavg: 2.11 2.84 3.24 2/245 30215
/proc/meminfo: memFree=128248652/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=1143324 memory=1094172 CPUtime=3153.36 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 267353 0 0 0 315122 214 0 0 20 0 1 0 38882284 1170763776 273543 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 285831 273543 1312 1200 0 284311 0
Current children cumulated CPU time: 3153.36 s
Current children cumulated vsize: 1143324 KiB
Current children cumulated memory: 1094172 KiB
[startup+3222.3 s]
/proc/loadavg: 1.47 2.52 3.10 2/245 30217
/proc/meminfo: memFree=128229684/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=1163332 memory=1114780 CPUtime=3213.2 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 272230 0 0 0 321103 217 0 0 20 0 1 0 38882284 1191251968 278695 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 290833 278695 1312 1200 0 289313 0
Current children cumulated CPU time: 3213.2 s
Current children cumulated vsize: 1163332 KiB
Current children cumulated memory: 1114780 KiB
[startup+3282.3 s]
/proc/loadavg: 1.21 2.25 2.97 2/245 30219
/proc/meminfo: memFree=128197436/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=1190072 memory=1142556 CPUtime=3273.03 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 278889 0 0 0 327082 221 0 0 20 0 1 0 38882284 1218633728 285639 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 297518 285639 1312 1200 0 295998 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 1190072 KiB
Current children cumulated memory: 1142556 KiB
[startup+3342.3 s]
/proc/loadavg: 1.18 2.05 2.86 2/245 30223
/proc/meminfo: memFree=128182316/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=1212556 memory=1165340 CPUtime=3332.89 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 284428 0 0 0 333061 228 0 0 20 0 1 0 38882284 1241657344 291335 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 303139 291335 1312 1200 0 301619 0
Current children cumulated CPU time: 3332.89 s
Current children cumulated vsize: 1212556 KiB
Current children cumulated memory: 1165340 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.87 2.74 2/244 30225
/proc/meminfo: memFree=128165368/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=1223312 memory=1176220 CPUtime=3392.75 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 287140 0 0 0 339044 231 0 0 20 0 1 0 38882284 1252671488 294055 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 305828 294055 1312 1200 0 304308 0
Current children cumulated CPU time: 3392.75 s
Current children cumulated vsize: 1223312 KiB
Current children cumulated memory: 1176220 KiB
[startup+3462.3 s]
/proc/loadavg: 1.16 1.74 2.64 2/246 30231
/proc/meminfo: memFree=128165464/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=1225400 memory=1178268 CPUtime=3452.59 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 287785 0 0 0 345025 234 0 0 20 0 1 0 38882284 1254809600 294567 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 306350 294567 1312 1200 0 304830 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 1225400 KiB
Current children cumulated memory: 1178268 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 1.62 2.54 2/247 30234
/proc/meminfo: memFree=128157724/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=1232452 memory=1184540 CPUtime=3512.45 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 289401 0 0 0 350994 251 0 0 20 0 1 0 38882284 1262030848 296135 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 308113 296135 1312 1200 0 306593 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 1232452 KiB
Current children cumulated memory: 1184540 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.52 2.45 2/247 30238
/proc/meminfo: memFree=128138772/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=1232452 memory=1184668 CPUtime=3572.32 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 289408 0 0 0 356957 275 0 0 20 0 1 0 38882284 1262030848 296167 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 308113 296167 1312 1200 0 306593 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 1232452 KiB
Current children cumulated memory: 1184668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.1 s]
/proc/loadavg: 1.12 1.49 2.41 2/247 30238
/proc/meminfo: memFree=128129932/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=1236872 memory=1191708 CPUtime=3600.07 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 290751 0 0 0 359729 278 0 0 20 0 1 0 38882284 1266556928 297927 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 309218 297927 1312 1200 0 307698 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1236872 KiB
Current children cumulated memory: 1191708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.18 s]
# the end of solver process 29906 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.34 s, system=2.81275 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.1 s]
/proc/loadavg: 1.12 1.49 2.41 2/247 30238
/proc/meminfo: memFree=128129932/131250000 swapFree=33010684/33010684
[pid=29906] ppid=29903 vsize=1236872 memory=1191708 CPUtime=3600.07 cores=0,2
/proc/29906/stat : 29906 (Exact) R 29903 29906 28498 0 -1 4194304 290751 0 0 0 359729 278 0 0 20 0 1 0 38882284 1266556928 297927 18446744073709551615 4198400 9112445 140720372864512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28938240 140720372869417 140720372869613 140720372869613 140720372875215 0
/proc/29906/statm: 309218 297927 1312 1200 0 307698 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1236872 KiB
Current children cumulated memory: 1191708 KiB
Child status: 0
Real time (s): 3610.18
CPU time (s): 3600.15
CPU user time (s): 3597.34
CPU system time (s): 2.81275
CPU usage (%): 99.7222
Max. virtual memory (cumulated for all children) (KiB): 1236872
Max. memory (cumulated for all children) (KiB): 1191708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.34
system time used= 2.81275
maximum resident set size= 1191708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290762
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= 69
involuntary context switches= 8120
# summary of solver processes directly reported to runsolver:
# pid: 29906
# total CPU time (s): 3600.15
# total CPU user time (s): 3597.34
# total CPU system time (s): 2.81275
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.15405 second user time and 13.4367 second system time
The end
Begin job on nodeC027 at 2025-06-29 23:20:24
IDJOB=4515616
IDBENCH=165325
IDSOLVER=3318
FILE ID=nodeC027/4515616-1751232024
RUNJOBID= nodeC027-1751227908-28508
SLURM_JOB_ID= 9587688
Free space on /tmp= 433028 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-1.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515616-1751232024/watcher-4515616-1751232024 -o /tmp/evaluation-result-4515616-1751232024/solver-4515616-1751232024 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751227908-28508 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=923057302 --ls=0 --inp-dombreaklim=0 HOME/instance-4515616-1751232024.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2ed11ed0a65f838ec27d78822f3aa2f3
RANDOM SEED=923057302
nodeC027 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 : 3598.031
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 : 6999.29
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 : 3599.631
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 : 6999.29
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 : 3599.601
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 : 6999.29
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 : 3605.892
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 : 6999.29
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 : 3599.708
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 : 6999.29
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 : 3599.640
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 : 6999.29
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 : 3593.406
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 : 6999.29
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 : 3931.910
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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 124133176 kB
MemAvailable: 124556284 kB
Buffers: 3280 kB
Cached: 1227000 kB
SwapCached: 0 kB
Active: 5549456 kB
Inactive: 970396 kB
Active(anon): 5307644 kB
Inactive(anon): 0 kB
Active(file): 241812 kB
Inactive(file): 970396 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8820 kB
Writeback: 0 kB
AnonPages: 5292824 kB
Mapped: 119264 kB
Shmem: 18072 kB
KReclaimable: 99880 kB
Slab: 185728 kB
SReclaimable: 99880 kB
SUnreclaim: 85848 kB
KernelStack: 4364 kB
PageTables: 13876 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 6201708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3160064 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC027 at 2025-06-30 00:20:34