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 (62813 MiB free)
memory of node 1: 64507 MiB (63993 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509879-1751188354/watcher-4509879-1751188354 -o /tmp/evaluation-result-4509879-1751188354/solver-4509879-1751188354 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751180026-25206 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1658111911 --ls=360 --inp-dombreaklim=0 HOME/instance-4509879-1751188354.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
Current StackSize limit: 8192 KiB
solver pid=26332, runsolver pid=26329
[startup+0.100007 s]*
/proc/loadavg: 4.08 4.12 4.09 5/265 26333
/proc/meminfo: memFree=129850452/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=29660 memory=6144 CPUtime=0.09 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 658 0 0 0 9 0 0 0 20 0 1 0 34513290 30371840 1536 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 7415 1536 1024 1200 0 5895 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 6144 KiB
[startup+0.204979 s]*
/proc/loadavg: 4.08 4.12 4.09 5/265 26333
/proc/meminfo: memFree=129850452/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=29660 memory=6144 CPUtime=0.19 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 658 0 0 0 19 0 0 0 20 0 1 0 34513290 30371840 1536 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 7415 1536 1024 1200 0 5895 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 6144 KiB
[startup+0.304702 s]*
/proc/loadavg: 4.08 4.12 4.09 5/265 26333
/proc/meminfo: memFree=129850452/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=29660 memory=6144 CPUtime=0.29 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 658 0 0 0 29 0 0 0 20 0 1 0 34513290 30371840 1536 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 7415 1536 1024 1200 0 5895 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 6144 KiB
[startup+0.700095 s]
/proc/loadavg: 4.08 4.12 4.09 5/265 26333
/proc/meminfo: memFree=129850452/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=29660 memory=6144 CPUtime=0.68 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 658 0 0 0 68 0 0 0 20 0 1 0 34513290 30371840 1536 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 7415 1536 1024 1200 0 5895 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 6144 KiB
[startup+1.50009 s]
/proc/loadavg: 4.08 4.12 4.09 5/265 26333
/proc/meminfo: memFree=129850452/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=29660 memory=6144 CPUtime=1.48 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 658 0 0 0 148 0 0 0 20 0 1 0 34513290 30371840 1536 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 7415 1536 1024 1200 0 5895 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 6144 KiB
[startup+3.1045 s]
/proc/loadavg: 4.07 4.12 4.09 5/265 26333
/proc/meminfo: memFree=129851020/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=29660 memory=6144 CPUtime=3.08 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 658 0 0 0 308 0 0 0 20 0 1 0 34513290 30371840 1536 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 7415 1536 1024 1200 0 5895 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 6144 KiB
[startup+6.30009 s]
/proc/loadavg: 4.07 4.12 4.09 5/265 26333
/proc/meminfo: memFree=129851020/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=29660 memory=6144 CPUtime=6.27 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 658 0 0 0 627 0 0 0 20 0 1 0 34513290 30371840 1536 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 7415 1536 1024 1200 0 5895 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 6144 KiB
[startup+12.7001 s]
/proc/loadavg: 4.06 4.11 4.09 5/265 26333
/proc/meminfo: memFree=129851288/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=29660 memory=6144 CPUtime=12.65 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 658 0 0 0 1265 0 0 0 20 0 1 0 34513290 30371840 1536 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 7415 1536 1024 1200 0 5895 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 6144 KiB
[startup+25.5001 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 26333
/proc/meminfo: memFree=129851304/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=29660 memory=6144 CPUtime=25.43 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 658 0 0 0 2543 0 0 0 20 0 1 0 34513290 30371840 1536 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 7415 1536 1024 1200 0 5895 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 6144 KiB
[startup+51.1045 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 26334
/proc/meminfo: memFree=129853100/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=29660 memory=7936 CPUtime=50.98 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 661 0 0 0 5098 0 0 0 20 0 1 0 34513290 30371840 1984 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 7415 1984 1024 1200 0 5895 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 7936 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 26335
/proc/meminfo: memFree=129853500/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=29660 memory=7936 CPUtime=102.08 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 664 0 0 0 10208 0 0 0 20 0 1 0 34513290 30371840 1984 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 7415 1984 1024 1200 0 5895 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 7936 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 26337
/proc/meminfo: memFree=129866496/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=29660 memory=7936 CPUtime=161.96 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 665 0 0 0 16196 0 0 0 20 0 1 0 34513290 30371840 1984 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 7415 1984 1024 1200 0 5895 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 7936 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 26339
/proc/meminfo: memFree=129840688/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=29660 memory=7936 CPUtime=221.85 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 667 0 0 0 22185 0 0 0 20 0 1 0 34513290 30371840 1984 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 7415 1984 1024 1200 0 5895 0
Current children cumulated CPU time: 221.85 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 7936 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 26342
/proc/meminfo: memFree=129851364/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=29660 memory=7936 CPUtime=281.73 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 668 0 0 0 28173 0 0 0 20 0 1 0 34513290 30371840 1984 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 7415 1984 1024 1200 0 5895 0
Current children cumulated CPU time: 281.73 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 7936 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 26344
/proc/meminfo: memFree=129845980/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=29660 memory=7936 CPUtime=341.62 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 669 0 0 0 34162 0 0 0 20 0 1 0 34513290 30371840 1984 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 7415 1984 1024 1200 0 5895 0
Current children cumulated CPU time: 341.62 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 7936 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 26346
/proc/meminfo: memFree=129814852/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=42308 memory=25444 CPUtime=401.48 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 3908 0 0 0 40117 31 0 0 20 0 1 0 34513290 43323392 6361 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 10577 6361 1248 1200 0 9057 0
Current children cumulated CPU time: 401.48 s
Current children cumulated vsize: 42308 KiB
Current children cumulated memory: 25444 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/264 26393
/proc/meminfo: memFree=129913008/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=46676 memory=29796 CPUtime=461.31 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 4981 0 0 0 46051 80 0 0 20 0 1 0 34513290 47796224 7449 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 11669 7449 1248 1200 0 10149 0
Current children cumulated CPU time: 461.31 s
################
# More data... #
################
Current children cumulated memory: 69392 KiB
[startup+2862.3 s]
/proc/loadavg: 3.19 3.48 3.80 4/258 26556
/proc/meminfo: memFree=129939788/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=84244 memory=69776 CPUtime=2855.26 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 52987 0 0 0 283646 1880 0 0 20 0 1 0 34513290 86265856 17444 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 21061 17444 1248 1200 0 19541 0
Current children cumulated CPU time: 2855.26 s
Current children cumulated vsize: 84244 KiB
Current children cumulated memory: 69776 KiB
[startup+2922.3 s]
/proc/loadavg: 3.13 3.40 3.76 4/258 26570
/proc/meminfo: memFree=129934776/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=84436 memory=70032 CPUtime=2915.08 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 53059 0 0 0 289587 1921 0 0 20 0 1 0 34513290 86462464 17508 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 21109 17508 1248 1200 0 19589 0
Current children cumulated CPU time: 2915.08 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 70032 KiB
[startup+2982.3 s]
/proc/loadavg: 3.09 3.34 3.71 4/258 26572
/proc/meminfo: memFree=129933640/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=85012 memory=70544 CPUtime=2974.91 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 53184 0 0 0 295528 1963 0 0 20 0 1 0 34513290 87052288 17636 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 21253 17636 1248 1200 0 19733 0
Current children cumulated CPU time: 2974.91 s
Current children cumulated vsize: 85012 KiB
Current children cumulated memory: 70544 KiB
[startup+3042.3 s]
/proc/loadavg: 3.09 3.29 3.67 4/259 26581
/proc/meminfo: memFree=129941324/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=85204 memory=70672 CPUtime=3034.73 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 53232 0 0 0 301467 2006 0 0 20 0 1 0 34513290 87248896 17668 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 21301 17668 1248 1200 0 19781 0
Current children cumulated CPU time: 3034.73 s
Current children cumulated vsize: 85204 KiB
Current children cumulated memory: 70672 KiB
[startup+3102.3 s]
/proc/loadavg: 3.08 3.25 3.63 4/258 26583
/proc/meminfo: memFree=129941484/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=85204 memory=70800 CPUtime=3094.56 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 53256 0 0 0 307407 2049 0 0 20 0 1 0 34513290 87248896 17700 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 21301 17700 1248 1200 0 19781 0
Current children cumulated CPU time: 3094.56 s
Current children cumulated vsize: 85204 KiB
Current children cumulated memory: 70800 KiB
[startup+3162.3 s]
/proc/loadavg: 3.15 3.24 3.60 4/259 26586
/proc/meminfo: memFree=129945448/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=85396 memory=70928 CPUtime=3154.38 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 53308 0 0 0 313343 2095 0 0 20 0 1 0 34513290 87445504 17732 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 21349 17732 1248 1200 0 19829 0
Current children cumulated CPU time: 3154.38 s
Current children cumulated vsize: 85396 KiB
Current children cumulated memory: 70928 KiB
[startup+3222.3 s]
/proc/loadavg: 3.05 3.19 3.56 4/259 26589
/proc/meminfo: memFree=129944564/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=86548 memory=72080 CPUtime=3214.21 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 53596 0 0 0 319280 2141 0 0 20 0 1 0 34513290 88625152 18020 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 21637 18020 1248 1200 0 20117 0
Current children cumulated CPU time: 3214.21 s
Current children cumulated vsize: 86548 KiB
Current children cumulated memory: 72080 KiB
[startup+3282.3 s]
/proc/loadavg: 3.06 3.17 3.53 4/260 26592
/proc/meminfo: memFree=129944376/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=87700 memory=73232 CPUtime=3274.03 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 53884 0 0 0 325217 2186 0 0 20 0 1 0 34513290 89804800 18308 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 21925 18308 1248 1200 0 20405 0
Current children cumulated CPU time: 3274.03 s
Current children cumulated vsize: 87700 KiB
Current children cumulated memory: 73232 KiB
[startup+3342.3 s]
/proc/loadavg: 3.04 3.15 3.50 3/253 26625
/proc/meminfo: memFree=129976368/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=87892 memory=73488 CPUtime=3333.86 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 53932 0 0 0 331153 2233 0 0 20 0 1 0 34513290 90001408 18372 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 21973 18372 1248 1200 0 20453 0
Current children cumulated CPU time: 3333.86 s
Current children cumulated vsize: 87892 KiB
Current children cumulated memory: 73488 KiB
[startup+3402.3 s]
/proc/loadavg: 2.43 2.95 3.41 3/253 26627
/proc/meminfo: memFree=129976084/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=88084 memory=73616 CPUtime=3393.69 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 53980 0 0 0 337094 2275 0 0 20 0 1 0 34513290 90198016 18404 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 22021 18404 1248 1200 0 20501 0
Current children cumulated CPU time: 3393.69 s
Current children cumulated vsize: 88084 KiB
Current children cumulated memory: 73616 KiB
[startup+3462.3 s]
/proc/loadavg: 2.23 2.79 3.32 3/252 26629
/proc/meminfo: memFree=129972588/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=88084 memory=73616 CPUtime=3453.52 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 54009 0 0 0 343032 2320 0 0 20 0 1 0 34513290 90198016 18404 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 22021 18404 1248 1200 0 20501 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 88084 KiB
Current children cumulated memory: 73616 KiB
[startup+3522.3 s]
/proc/loadavg: 2.14 2.66 3.24 3/252 26631
/proc/meminfo: memFree=129978028/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=88276 memory=73872 CPUtime=3513.35 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 54057 0 0 0 348971 2364 0 0 20 0 1 0 34513290 90394624 18468 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 22069 18468 1248 1200 0 20549 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 88276 KiB
Current children cumulated memory: 73872 KiB
[startup+3582.3 s]
/proc/loadavg: 2.10 2.55 3.17 3/251 26634
/proc/meminfo: memFree=129978764/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=88564 memory=74000 CPUtime=3573.18 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 54109 0 0 0 354911 2407 0 0 20 0 1 0 34513290 90689536 18500 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 22141 18500 1248 1200 0 20621 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 88564 KiB
Current children cumulated memory: 74000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 2.12 2.52 3.14 3/251 26634
/proc/meminfo: memFree=129978512/131250000 swapFree=33010684/33010684
[pid=26332] ppid=26329 vsize=88756 memory=74256 CPUtime=3600 cores=5,7
/proc/26332/stat : 26332 (Exact) R 26329 26332 25193 0 -1 4194304 54157 0 0 0 357572 2428 0 0 20 0 1 0 34513290 90886144 18564 18446744073709551615 4198400 9112445 140726369916896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42770432 140726369921318 140726369921517 140726369921517 140726369927119 0
/proc/26332/statm: 22189 18564 1248 1200 0 20669 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 88756 KiB
Current children cumulated memory: 74256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.2 s]
# the end of solver process 26332 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.73 s, system=24.2844 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.2
CPU time (s): 3600.01
CPU user time (s): 3575.73
CPU system time (s): 24.2844
CPU usage (%): 99.7454
Max. virtual memory (cumulated for all children) (KiB): 88756
Max. memory (cumulated for all children) (KiB): 74256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.73
system time used= 24.2844
maximum resident set size= 74384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54159
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= 32
involuntary context switches= 2292
# summary of solver processes directly reported to runsolver:
# pid: 26332
# total CPU time (s): 3600.01
# total CPU user time (s): 3575.73
# total CPU system time (s): 24.2844
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97149 second user time and 12.9588 second system time
The end
Begin job on nodeC018 at 2025-06-29 11:12:34
IDJOB=4509879
IDBENCH=159173
IDSOLVER=3319
FILE ID=nodeC018/4509879-1751188354
RUNJOBID= nodeC018-1751180026-25206
SLURM_JOB_ID= 9587544
Free space on /tmp= 433040 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-pmg-14-UNSAT.shuffled-as.sat05-3942.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509879-1751188354/watcher-4509879-1751188354 -o /tmp/evaluation-result-4509879-1751188354/solver-4509879-1751188354 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751180026-25206 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1658111911 --ls=360 --inp-dombreaklim=0 HOME/instance-4509879-1751188354.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e5c6ae9ee6fd03a9aee6a0d19e002873
RANDOM SEED=1658111911
nodeC018 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 : 3599.817
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.66
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.572
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.66
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 : 3490.336
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.66
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 : 3599.499
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.66
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.832
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.66
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 : 3658.562
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.66
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 : 3599.587
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.66
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 : 3599.836
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129850404 kB
MemAvailable: 129530160 kB
Buffers: 3280 kB
Cached: 489872 kB
SwapCached: 0 kB
Active: 550608 kB
Inactive: 232704 kB
Active(anon): 308236 kB
Inactive(anon): 0 kB
Active(file): 242372 kB
Inactive(file): 232704 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7196 kB
Writeback: 0 kB
AnonPages: 292900 kB
Mapped: 117068 kB
Shmem: 18076 kB
KReclaimable: 87440 kB
Slab: 170884 kB
SReclaimable: 87440 kB
SUnreclaim: 83444 kB
KernelStack: 4288 kB
PageTables: 3536 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 670976 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC018 at 2025-06-29 12:12:44